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