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