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