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