(1,14) (2,5) (3,22) (6,25) (8,28) (9,17) (10,13) (11,16) (18,30) (19,23) (24,27) 
nodes: 159  conflicts: 99  modelTime: 942  solveTime: 2453  totalTime: 3407  modelSize: 72262  readTime: 12 size: 11