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