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