loading SCIP... n: 40 m: 55 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 11 31 1 6 9 2 21 33 4 17 23 7 25 34 8 15 18 12 30 36 22 35 37 24 27 38 26 29 39