(1,23) (2,20) (3,28) (4,30) (5,29) (6,26) (7,27) (9,18) (10,19) (11,22) (12,16) (13,21) (14,17) (15,25) 
nodes: 55350  conflicts: 18  modelTime: 660  solveTime: 105572  totalTime: 106237  modelSize: 41293  readTime: 5 size: 14