loading SCIP... n: 40 m: 87 packed: 11 density: 84 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 3 12 2 6 27 4 35 37 7 17 32 8 26 38 10 19 23 13 28 33 15 25 29 16 20 30 21 22 39 24 34 36