(2,13) (3,18) (5,15) (10,12) 
nodes: 152  conflicts: 62  modelTime: 742  solveTime: 337  totalTime: 1085  modelSize: 20646  readTime: 6 size: 4