(1,16) (2,20) (3,22) (4,15) (5,17) (6,19) (7,23) (8,14) (9,12) (10,25) (11,21) (13,27) (24,30) (26,28) 
nodes: 43401  conflicts: 59  modelTime: 981  solveTime: 134786  totalTime: 135778  modelSize: 72262  readTime: 11 size: 14