(1,12) (2,19) (3,16) (4,18) (5,20) (6,11) (7,15) (8,14) (10,13) 
nodes: 1273  conflicts: 15  modelTime: 814  solveTime: 1366  totalTime: 2184  modelSize: 20658  readTime: 4 size: 9