(1,26) (2,17) (3,19) (4,27) (5,12) (6,18) (7,22) (8,23) (9,24) (10,20) (11,14) (13,30) (15,29) (16,25) (21,28) 
nodes: 2697  conflicts: 10  modelTime: 1241  solveTime: 22057  totalTime: 23315  modelSize: 72285  readTime: 17 size: 15