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