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