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