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