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