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