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