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