(1,19) (4,17) (5,30) (6,22) (7,16) (8,20) (10,29) (11,23) (12,18) (13,21) (14,24) 
nodes: 499  conflicts: 49  modelTime: 659  solveTime: 556  totalTime: 1222  modelSize: 41292  readTime: 7 size: 11