(1,24) (2,28) (3,18) (4,13) (5,25) (6,29) (7,12) (8,23) (9,21) (10,19) (11,22) (14,30) (15,27) (16,17) (20,26) 
nodes: 21738  conflicts: 24  modelTime: 1728  solveTime: 135358  totalTime: 137108  modelSize: 72275  readTime: 22 size: 15