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