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