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