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