(1,24) (2,14) (3,15) (4,5) (6,20) (7,23) (8,29) (9,21) (10,25) (11,22) (12,19) (13,18) (16,30) (17,28) (26,27) 
nodes: 17165  conflicts: 33  modelTime: 965  solveTime: 59860  totalTime: 60836  modelSize: 72270  readTime: 11 size: 15