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