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