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