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