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