(2,17) (3,24) (4,25) (7,29) (8,30) (10,18) (11,27) (12,20) (14,22) (15,28) 
nodes: 898  conflicts: 84  modelTime: 662  solveTime: 791  totalTime: 1460  modelSize: 41300  readTime: 7 size: 10