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