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