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