(2,16) (3,20) (5,28) (6,23) (7,25) (8,29) (9,26) (11,22) (12,19) (13,18) (15,30) 
nodes: 930  conflicts: 66  modelTime: 664  solveTime: 1426  totalTime: 2097  modelSize: 41292  readTime: 7 size: 11