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