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