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