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