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