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