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