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