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