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