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