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