(1,23) (2,29) (3,20) (4,22) (5,21) (6,25) (8,18) (9,19) (10,17) (11,26) (12,30) (13,24) (14,27) 
nodes: 37720  conflicts: 47  modelTime: 659  solveTime: 67945  totalTime: 68611  modelSize: 41293  readTime: 7 size: 13