(1,14) (2,22) (3,16) (4,8) (5,23) (6,9) (7,29) (10,27) (11,15) (12,20) (13,30) (17,26) (18,28) (19,21) (24,25) 
nodes: 58252  conflicts: 35  modelTime: 1369  solveTime: 272556  totalTime: 273945  modelSize: 72266  readTime: 19 size: 15