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