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