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