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