(1,22) (2,20) (3,16) (4,21) (5,30) (6,23) (10,27) (13,25) (14,17) (15,26) 
nodes: 1014  conflicts: 90  modelTime: 663  solveTime: 682  totalTime: 1353  modelSize: 41301  readTime: 7 size: 10