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