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