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