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