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