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