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