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