(1,17) (3,19) (4,18) (6,22) (9,30) (10,20) (11,25) (13,27) (14,26) (15,16) 
nodes: 670  conflicts: 87  modelTime: 669  solveTime: 733  totalTime: 1409  modelSize: 41300  readTime: 7 size: 10