(1,18) (3,15) (4,13) (5,11) (6,19) (8,12) (9,14) (10,17) 
nodes: 242  conflicts: 27  modelTime: 722  solveTime: 573  totalTime: 1301  modelSize: 20658  readTime: 5 size: 8