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