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