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