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