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