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