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