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