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