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