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