loading SCIP... n: 40 m: 94 packed: 11 density: 84 nodes: 0 solverTime: 109 buildTime: 0 solved: false 0 37 39 1 5 13 2 6 9 3 14 36 7 12 28 8 22 24 11 17 23 16 18 33 20 29 38 25 31 32 27 30 35