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