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