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