(1,24) (2,21) (3,19) (5,18) (6,22) (7,27) (8,25) (9,16) (10,29) (14,30) 
nodes: 582  conflicts: 96  modelTime: 747  solveTime: 604  totalTime: 1359  modelSize: 41301  readTime: 8 size: 10