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