(1,16) (2,19) (3,18) (4,11) (6,15) (8,12) (9,17) (10,13) 
nodes: 400  conflicts: 18  modelTime: 687  solveTime: 580  totalTime: 1272  modelSize: 20658  readTime: 5 size: 8