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