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