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