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