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