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