(1,17) (4,30) (5,29) (6,18) (8,25) (10,23) (12,21) (13,24) (14,28) 
nodes: 930  conflicts: 83  modelTime: 673  solveTime: 865  totalTime: 1546  modelSize: 41300  readTime: 8 size: 9