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