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