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