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