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