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