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