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