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