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