loading SCIP... n: 40 m: 49 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 12 19 1 9 21 2 10 27 7 13 34 8 16 36 11 18 29 14 20 35 15 23 31 24 25 30 37 38 39