(2,22) (5,18) (6,20) (8,26) (9,23) (10,17) (11,24) (12,29) (14,27) (15,30) 
nodes: 1082  conflicts: 90  modelTime: 668  solveTime: 1118  totalTime: 1793  modelSize: 41300  readTime: 7 size: 10