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