(2,29) (4,17) (6,27) (9,30) (10,28) (11,24) (12,22) (13,21) (14,18) (15,16) 
nodes: 608  conflicts: 79  modelTime: 681  solveTime: 658  totalTime: 1347  modelSize: 41300  readTime: 8 size: 10