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