(1,24) (2,19) (3,9) (4,13) (5,7) (6,30) (8,10) (11,12) (14,18) (15,17) (16,29) (20,25) (21,28) (22,23) (26,27) 
nodes: 6439  conflicts: 19  modelTime: 1092  solveTime: 32074  totalTime: 33204  modelSize: 72263  readTime: 38 size: 15