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