(1,29) (2,26) (3,19) (5,16) (7,17) (8,30) (9,21) (10,24) (12,22) (14,25) 
nodes: 1545  conflicts: 75  modelTime: 793  solveTime: 1452  totalTime: 2252  modelSize: 41293  readTime: 7 size: 10