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