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