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