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