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