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