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