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