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