(1,13) (3,12) (4,15) (5,14) (7,16) (8,18) (9,11) 
nodes: 359  conflicts: 30  modelTime: 574  solveTime: 424  totalTime: 1001  modelSize: 20646  readTime: 3 size: 7