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