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