(1,27) (2,19) (3,5) (4,17) (6,16) (7,20) (8,28) (9,11) (10,12) (13,25) (14,18) (15,22) (21,29) (23,26) (24,30) 
nodes: 116386  conflicts: 8  modelTime: 955  solveTime: 572969  totalTime: 573932  modelSize: 72264  readTime: 8 size: 15