(1,15) (2,29) (3,28) (4,7) (5,24) (6,14) (9,22) (10,20) (11,27) (13,21) (16,25) (17,26) (18,23) (19,30) 
nodes: 19872  conflicts: 40  modelTime: 1726  solveTime: 87741  totalTime: 89487  modelSize: 72265  readTime: 20 size: 14