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