(2,28) (3,27) (4,21) (5,18) (6,20) (7,25) (9,30) (11,23) (12,17) (13,29) (14,16) (15,24) 
nodes: 972  conflicts: 65  modelTime: 658  solveTime: 1438  totalTime: 2102  modelSize: 41292  readTime: 6 size: 12