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