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