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