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