loading SCIP... n: 30 m: 118 packed: 9 density: 90 nodes: 0 solverTime: 93 buildTime: 0 solved: false 0 9 22 1 15 27 2 10 16 3 7 18 5 12 28 6 14 29 8 23 25 11 21 24 13 19 20