loading SCIP... n: 40 m: 42 packed: 10 density: 76 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 16 27 2 12 35 3 31 38 5 6 37 7 25 34 8 11 21 9 18 24 14 20 29 19 28 32 23 30 33