(1,14) (2,27) (3,26) (4,16) (5,18) (6,7) (8,19) (9,29) (10,13) (11,23) (12,24) (15,22) (17,28) (20,30) (21,25) 
nodes: 72321  conflicts: 34  modelTime: 1457  solveTime: 266033  totalTime: 267509  modelSize: 72269  readTime: 19 size: 15