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