(3,12) (4,11) (5,16) (6,17) (7,20) (8,15) (9,18) (10,19) 
nodes: 264  conflicts: 22  modelTime: 722  solveTime: 654  totalTime: 1381  modelSize: 20646  readTime: 5 size: 8