(1,25) (2,29) (3,28) (4,21) (5,10) (6,30) (7,18) (8,12) (9,23) (11,24) (13,15) (14,26) (16,19) (17,22) (20,27) 
nodes: 28325  conflicts: 68  modelTime: 955  solveTime: 154787  totalTime: 155753  modelSize: 72262  readTime: 11 size: 15