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