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