(1,16) (2,20) (3,19) (5,23) (6,25) (7,22) (8,17) (9,28) (10,26) (11,21) (12,29) (13,27) (14,24) (15,18) 
nodes: 39098  conflicts: 36  modelTime: 656  solveTime: 98981  totalTime: 99642  modelSize: 41292  readTime: 5 size: 14