(1,28) (2,26) (3,22) (4,24) (5,30) (7,20) (8,29) (9,27) (10,19) (11,16) (12,17) (13,25) (14,23) (15,18) 
nodes: 60811  conflicts: 29  modelTime: 1177  solveTime: 168182  totalTime: 169369  modelSize: 41293  readTime: 10 size: 14