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