loading SCIP... n: 40 m: 36 packed: 10 density: 76 nodes: 0 solverTime: 15 buildTime: 0 solved: false 1 8 27 2 7 14 3 10 20 4 22 28 6 13 36 11 26 29 12 18 33 15 24 39 19 34 38 23 35 37