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