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