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