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