loading SCIP... n: 40 m: 72 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false 1 6 8 3 4 13 7 11 29 10 26 30 14 15 20 16 27 38 17 19 36 21 34 37 22 23 28 25 32 39