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