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