loading SCIP... n: 40 m: 77 packed: 10 density: 76 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 18 19 4 27 35 5 23 24 7 9 14 8 11 22 10 12 21 13 30 36 15 20 39 26 29 37 28 34 38