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