(1,27) (2,29) (4,25) (5,19) (7,30) (9,22) (10,28) (11,17) (13,16) (15,18) 
nodes: 699  conflicts: 76  modelTime: 1055  solveTime: 1470  totalTime: 2533  modelSize: 41293  readTime: 7 size: 10