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