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