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