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