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