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