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