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