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