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