loading SCIP... n: 40 m: 81 packed: 11 density: 84 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 24 38 2 10 30 3 9 34 4 19 35 5 6 32 7 11 29 8 20 27 15 33 36 16 22 39 18 23 28 25 26 31