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