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