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