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