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