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