(1,6) (2,17) (3,12) (4,20) (5,30) (7,16) (8,25) (9,14) (10,21) (11,18) (13,24) (15,27) (19,26) (22,23) (28,29) 
nodes: 23596  conflicts: 7  modelTime: 1563  solveTime: 128183  totalTime: 129784  modelSize: 72264  readTime: 38 size: 15