loading SCIP... n: 40 m: 58 packed: 11 density: 84 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 1 19 2 7 33 3 18 29 4 8 39 5 34 37 9 15 36 11 14 28 12 13 32 17 30 31 20 24 38 23 25 26