loading SCIP... n: 40 m: 26 packed: 8 density: 61 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 20 36 1 21 33 2 12 17 4 16 39 5 7 30 8 9 28 14 23 24 22 32 35