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