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