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