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