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