(1,2) (3,25) (4,21) (5,12) (6,8) (7,22) (9,30) (10,17) (11,28) (14,20) (15,27) (16,26) (18,23) 
nodes: 20397  conflicts: 71  modelTime: 951  solveTime: 107239  totalTime: 108202  modelSize: 72262  readTime: 12 size: 13