(1,23) (2,17) (3,25) (4,21) (5,18) (6,29) (7,27) (8,16) (10,22) (11,24) (12,30) (13,28) (14,19) (15,26) 
nodes: 33209  conflicts: 19  modelTime: 662  solveTime: 71584  totalTime: 72252  modelSize: 41293  readTime: 6 size: 14