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