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