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