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