loading SCIP... n: 40 m: 27 packed: 8 density: 61 nodes: 0 solverTime: 31 buildTime: 0 solved: false 1 4 30 2 8 25 3 31 33 9 12 34 10 28 32 13 16 29 14 21 36 20 23 27