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