loading SCIP... n: 40 m: 72 packed: 10 density: 76 nodes: 0 solverTime: 109 buildTime: 0 solved: false 0 10 37 1 5 16 2 34 39 3 4 8 6 9 17 7 20 32 13 27 29 18 21 35 23 26 36 25 30 33