loading SCIP... n: 30 m: 401 packed: 10 density: 100 nodes: 0 solverTime: 250 buildTime: 0 solved: true 0 20 28 1 7 22 2 12 16 3 6 27 4 15 18 5 23 24 8 17 21 9 14 19 10 11 25 13 26 29