(1,30) (2,19) (3,25) (4,24) (5,23) (6,29) (7,17) (9,22) (10,26) (12,16) (13,28) (14,21) 
nodes: 963  conflicts: 63  modelTime: 659  solveTime: 1215  totalTime: 1881  modelSize: 41293  readTime: 7 size: 12