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