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