(1,25) (2,30) (4,15) (5,18) (6,19) (7,13) (8,26) (9,23) (10,17) (12,16) (14,22) (20,28) (21,29) (24,27) 
nodes: 3540  conflicts: 60  modelTime: 1731  solveTime: 19737  totalTime: 21488  modelSize: 72262  readTime: 20 size: 14