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