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