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