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