(1,8) (2,25) (3,16) (4,17) (5,18) (6,21) (7,13) (9,24) (10,30) (11,20) (12,19) (15,28) (22,27) (26,29) 
nodes: 35349  conflicts: 63  modelTime: 1207  solveTime: 122369  totalTime: 123596  modelSize: 72264  readTime: 19 size: 14