Getting search pattern...
Done

Preprocessing...
Done

Width: 44
Height: 44
Duration: 5

Number of undetermined cells: 2788
Number of variables: 7095
Number of clauses: 463098

x = 44, y = 44, rule = B3/S23
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbooobbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbobbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbobbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbboobbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbboobbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbobbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbooobbbbbobbobbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbobbbbbbbobbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbobbooooobobbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbobbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbboobbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb!


Writing JLS status file...
Done

Unsatisfiable

Total solver time: 126907.39026927948
