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