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