loading SCIP... n: 40 m: 94 packed: 12 density: 92 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 30 33 1 25 28 2 8 16 3 7 31 4 10 17 5 32 39 6 9 36 12 21 24 14 15 19 22 23 27 26 29 34 35 37 38