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