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