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