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