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