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