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