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