loading SCIP... n: 40 m: 56 packed: 9 density: 69 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 24 37 1 11 34 2 8 20 5 13 22 10 33 36 12 16 26 14 27 31 15 21 23 19 28 38