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