(1,18) (4,16) (6,21) (7,28) (9,20) (12,30) (13,17) (14,26) (15,24) 
nodes: 1016  conflicts: 92  modelTime: 659  solveTime: 1385  totalTime: 2050  modelSize: 41292  readTime: 6 size: 9