loading SCIP... n: 40 m: 88 packed: 11 density: 84 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 6 23 1 14 17 2 10 38 4 15 32 5 16 35 8 13 20 9 11 30 12 29 36 18 24 28 19 33 34 22 31 39