(1,25) (2,18) (3,23) (5,19) (6,30) (8,29) (9,28) (10,17) (11,22) (12,26) (13,21) (15,27) 
nodes: 1738  conflicts: 50  modelTime: 659  solveTime: 1594  totalTime: 2259  modelSize: 41292  readTime: 6 size: 12