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