loading SCIP... n: 40 m: 97 packed: 12 density: 92 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 25 34 3 11 29 4 23 32 5 12 19 6 7 14 8 31 37 10 17 22 13 38 39 15 16 21 18 27 30 24 35 36 26 28 33