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