(1,12) (4,11) (5,16) (6,17) (7,20) (8,14) (9,13) (10,18) 
nodes: 152  conflicts: 26  modelTime: 640  solveTime: 365  totalTime: 1010  modelSize: 20646  readTime: 5 size: 8