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