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