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