(2,12) (3,20) (4,13) (6,18) (7,15) (8,19) (9,11) (10,16) 
nodes: 482  conflicts: 28  modelTime: 681  solveTime: 413  totalTime: 1100  modelSize: 20646  readTime: 6 size: 8