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