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