(3,17) (4,24) (5,28) (6,19) (7,29) (8,23) (9,26) (11,22) (12,30) (13,20) (15,21) 
nodes: 246  conflicts: 54  modelTime: 669  solveTime: 496  totalTime: 1173  modelSize: 41292  readTime: 8 size: 11