(1,27) (2,22) (4,16) (7,20) (10,24) (13,26) 
nodes: 447  conflicts: 126  modelTime: 661  solveTime: 878  totalTime: 1545  modelSize: 41300  readTime: 6 size: 6