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