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