0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 35172352, getVmSize() = 35172352, SCIPgetMemUsed() = 9075522, SCIPgetMemTotal() = 13337442, SCIPgetMemExternEstim() = 4730807
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
1.48/1.51 c ** Estimated virtualMemUsedAtSolver = 35001685, getVmSize() = 69832704, SCIPgetMemUsed() = 32400715, SCIPgetMemTotal() = 46585171, SCIPgetMemExternEstim() = 4730807
1.48/1.51 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
1.48/1.51 c Original Problem :
1.48/1.51 c Problem name : instance-4464124-1722382195
1.48/1.51 c Variables : 2130 (2130 binary, 0 integer, 0 implicit integer, 0 continuous)
1.48/1.51 c Constraints : 2495
1.48/1.51 c Objective sense : minimize
1.48/1.51 c Presolved Problem :
1.48/1.51 c Variables : 1505 (1505 binary, 0 integer, 0 implicit integer, 0 continuous)
1.48/1.51 c Constraints : 686
1.48/1.51 c Constraints : Number
1.48/1.51 c knapsack : 320
1.48/1.51 c setppc : 47
1.48/1.51 c orbitope : 319
1.48/1.51 c ** Instance transfer method used: 0
1.48/1.52 c ** ParaScipInstance copy increased the number of variables. **
1.48/1.54 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.48/1.54 c Nodes Active
1.48/1.54 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.55/5.61 c 6 108 99 1 - 5.0000 -
10.54/10.66 c 11 1035 320 1 - 5.0000 -
15.73/15.82 c 16 1721 6 1 - 5.0000 -
20.80/20.95 c 21 2059 286 1 - 5.0000 -
25.90/26.02 c 26 3061 430 1 - 5.0000 -
30.98/31.12 c 31 3696 692 1 - 5.0000 -
35.96/36.16 c 36 4598 906 1 - 5.0000 -
41.03/41.27 c 41 5511 1163 1 - 5.0000 -
46.12/46.34 c 46 6460 1393 1 - 5.0000 -
51.20/51.40 c 51 7219 1673 1 - 5.0000 -
56.19/56.48 c 56 8113 1938 1 - 5.0000 -
61.26/61.55 c 62 8889 2144 1 - 5.0000 -
66.35/66.62 c 67 9737 2425 1 - 5.0000 -
71.43/71.72 c 72 10456 2609 1 - 5.0000 -
76.61/76.92 c 77 11196 2879 1 - 5.0000 -
81.71/82.07 c 82 12000 3120 1 - 5.0000 -
86.79/87.16 c 87 12771 3428 1 - 5.0000 -
91.86/92.22 c 92 13803 3749 1 - 5.0000 -
96.84/97.29 c 97 14933 4136 1 - 5.0000 -
101.93/102.35 c 102 15811 4423 1 - 5.0000 -
107.02/107.41 c 107 16693 4682 1 - 5.0000 -
112.00/112.47 c 112 17508 4919 1 - 5.0000 -
117.09/117.54 c 118 18587 5221 1 - 5.0000 -
122.18/122.65 c 123 19460 5717 1 - 5.0000 -
127.26/127.74 c 128 20394 6222 1 - 5.0000 -
132.25/132.79 c 133 21306 6699 1 - 5.0000 -
137.34/137.88 c 138 22229 7078 1 - 5.0000 -
142.43/142.94 c 143 23185 7441 1 - 5.0000 -
147.41/147.99 c 148 24181 7796 1 - 5.0000 -
152.51/153.04 c 153 25078 8167 1 - 5.0000 -
157.60/158.13 c 158 26047 8452 1 - 5.0000 -
162.67/163.20 c 163 27262 8831 1 - 5.0000 -
167.66/168.26 c 168 28321 9157 1 - 5.0000 -
172.75/173.31 c 173 29319 9499 1 - 5.0000 -
177.73/178.37 c 178 30274 9768 1 - 5.0000 -
182.82/183.42 c 183 31157 10057 1 - 5.0000 -
187.81/188.49 c 188 32147 10432 1 - 5.0000 -
192.90/193.54 c 194 33351 10699 1 - 5.0000 -
197.98/198.64 c 199 34309 10968 1 - 5.0000 -
202.97/203.69 c 204 35374 11222 1 - 5.0000 -
208.06/208.74 c 209 36379 11490 1 - 5.0000 -
213.14/213.81 c 214 37347 11761 1 - 5.0000 -
218.13/218.85 c 219 38203 12112 1 - 5.0000 -
223.22/223.90 c 224 39114 12356 1 - 5.0000 -
228.20/228.96 c 229 40110 12651 1 - 5.0000 -
233.29/234.04 c 234 41094 12960 1 - 5.0000 -
238.39/239.14 c 239 42079 13313 1 - 5.0000 -
243.56/244.35 c 244 43133 13615 1 - 5.0000 -
248.65/249.41 c 249 44168 13960 1 - 5.0000 -
253.64/254.46 c 254 45206 14313 1 - 5.0000 -
258.73/259.51 c 260 46247 14730 1 - 5.0000 -
263.71/264.56 c 265 47250 15020 1 - 5.0000 -
268.79/269.64 c 270 48353 15352 1 - 5.0000 -
273.89/274.70 c 275 49360 15731 1 - 5.0000 -
278.97/279.83 c 280 50374 16096 1 - 5.0000 -
283.96/284.88 c 285 51445 16395 1 - 5.0000 -
289.04/289.93 c 290 52511 16688 1 - 5.0000 -
294.03/294.98 c 295 53528 17090 1 - 5.0000 -
299.23/300.13 c 300 54609 17401 1 - 5.0000 -
304.21/305.19 c 305 55629 17771 1 - 5.0000 -
309.29/310.25 c 310 56633 18128 1 - 5.0000 -
314.36/315.31 c 315 57580 18443 1 - 5.0000 -
319.45/320.42 c 320 58589 18835 1 - 5.0000 -
324.54/325.51 c 326 59672 19149 1 - 5.0000 -
329.52/330.58 c 331 60756 19459 1 - 5.0000 -
334.80/335.82 c 336 61728 19830 1 - 5.0000 -
339.89/340.91 c 341 62818 20141 1 - 5.0000 -
344.86/345.98 c 346 63749 20406 1 - 5.0000 -
349.95/351.02 c 351 64817 20746 1 - 5.0000 -
354.93/356.10 c 356 65715 21051 1 - 5.0000 -
360.01/361.18 c 361 66712 21363 1 - 5.0000 -
365.09/366.24 c 366 67716 21651 1 - 5.0000 -
370.17/371.33 c 371 68736 21938 1 - 5.0000 -
375.15/376.38 c 376 69772 22258 1 - 5.0000 -
380.23/381.46 c 381 70740 22571 1 - 5.0000 -
385.31/386.52 c 387 71717 22914 1 - 5.0000 -
390.40/391.62 c 392 72666 23193 1 - 5.0000 -
395.47/396.70 c 397 73626 23438 1 - 5.0000 -
400.46/401.75 c 402 74479 23756 1 - 5.0000 -
405.53/406.82 c 407 75409 24047 1 - 5.0000 -
410.92/412.29 c 412 76292 24253 1 - 5.0000 -
416.00/417.38 c 417 77200 24586 1 - 5.0000 -
421.08/422.48 c 422 78040 24916 1 - 5.0000 -
426.16/427.54 c 428 78981 25256 1 - 5.0000 -
431.24/432.63 c 433 79889 25545 1 - 5.0000 -
436.32/437.72 c 438 80840 25806 1 - 5.0000 -
441.30/442.78 c 443 81714 26124 1 - 5.0000 -
446.39/447.82 c 448 82626 26471 1 - 5.0000 -
451.37/452.87 c 453 83554 26750 1 - 5.0000 -
456.44/457.95 c 458 84444 27087 1 - 5.0000 -
461.54/463.03 c 463 85346 27358 1 - 5.0000 -
466.52/468.09 c 468 86234 27706 1 - 5.0000 -
471.60/473.16 c 473 87088 28042 1 - 5.0000 -
476.66/478.20 c 478 87981 28425 1 - 5.0000 -
481.64/483.29 c 483 88848 28727 1 - 5.0000 -
486.72/488.38 c 488 89736 29060 1 - 5.0000 -
491.81/493.45 c 493 90546 29488 1 - 5.0000 -
496.89/498.52 c 499 91588 29823 1 - 5.0000 -
501.97/503.64 c 504 92541 30167 1 - 5.0000 -
507.05/508.74 c 509 93476 30459 1 - 5.0000 -
512.13/513.80 c 514 94471 30730 1 - 5.0000 -
517.11/518.84 c 519 95537 31049 1 - 5.0000 -
522.10/523.89 c 524 96517 31371 1 - 5.0000 -
527.18/528.95 c 529 97396 31667 1 - 5.0000 -
532.27/534.04 c 534 98290 31968 1 - 5.0000 -
537.35/539.15 c 539 99244 32293 1 - 5.0000 -
542.42/544.21 c 544 100188 32624 1 - 5.0000 -
547.40/549.26 c 549 101128 32975 1 - 5.0000 -
552.58/554.42 c 554 102124 33296 1 - 5.0000 -
557.56/559.48 c 559 102963 33679 1 - 5.0000 -
562.65/564.52 c 565 103947 34018 1 - 5.0000 -
567.63/569.58 c 570 104843 34364 1 - 5.0000 -
572.70/574.64 c 575 105682 34695 1 - 5.0000 -
577.69/579.68 c 580 106576 35004 1 - 5.0000 -
582.77/584.74 c 585 107473 35309 1 - 5.0000 -
587.85/589.83 c 590 108396 35676 1 - 5.0000 -
592.93/594.90 c 595 109252 35932 1 - 5.0000 -
597.92/599.98 c 600 110213 36227 1 - 5.0000 -
603.01/605.04 c 605 111110 36581 1 - 5.0000 -
608.09/610.12 c 610 112030 36913 1 - 5.0000 -
613.07/615.18 c 615 112940 37232 1 - 5.0000 -
618.13/620.23 c 620 113919 37544 1 - 5.0000 -
623.22/625.34 c 625 114803 37862 1 - 5.0000 -
628.30/630.41 c 630 115759 38207 1 - 5.0000 -
633.28/635.47 c 635 116694 38516 1 - 5.0000 -
638.36/640.53 c 641 117578 38859 1 - 5.0000 -
643.44/645.63 c 646 118439 39167 1 - 5.0000 -
648.43/650.67 c 651 119214 39423 1 - 5.0000 -
653.50/655.74 c 656 120094 39661 1 - 5.0000 -
658.49/660.79 c 661 120964 39928 1 - 5.0000 -
663.57/665.85 c 666 121858 40216 1 - 5.0000 -
668.65/670.90 c 671 122768 40498 1 - 5.0000 -
673.62/675.98 c 676 123589 40696 1 - 5.0000 -
678.72/681.03 c 681 124521 41096 1 - 5.0000 -
683.70/686.09 c 686 125452 41345 1 - 5.0000 -
688.79/691.19 c 691 126264 41588 1 - 5.0000 -
693.85/696.27 c 696 127236 41862 1 - 5.0000 -
698.93/701.35 c 701 128057 42124 1 - 5.0000 -
704.01/706.44 c 706 128840 42436 1 - 5.0000 -
709.10/711.54 c 712 129650 42689 1 - 5.0000 -
714.18/716.60 c 717 130496 42999 1 - 5.0000 -
719.16/721.66 c 722 131365 43231 1 - 5.0000 -
724.24/726.72 c 727 132122 43557 1 - 5.0000 -
729.23/731.77 c 732 132958 43914 1 - 5.0000 -
734.30/736.82 c 737 133885 44172 1 - 5.0000 -
739.28/741.89 c 742 134757 44409 1 - 5.0000 -
744.37/746.97 c 747 135606 44655 1 - 5.0000 -
749.46/752.05 c 752 136607 45046 1 - 5.0000 -
754.44/757.09 c 757 137418 45335 1 - 5.0000 -
759.52/762.15 c 762 138429 45549 1 - 5.0000 -
764.59/767.21 c 767 139362 45729 1 - 5.0000 -
769.67/772.30 c 772 140140 45821 1 - 5.0000 -
774.66/777.38 c 777 141133 46137 1 - 5.0000 -
779.73/782.44 c 782 142202 46390 1 - 5.0000 -
784.72/787.48 c 787 143211 46670 1 - 5.0000 -
789.79/792.56 c 793 144158 46952 1 - 5.0000 -
794.87/797.63 c 798 145117 47232 1 - 5.0000 -
799.85/802.69 c 803 146076 47634 1 - 5.0000 -
804.93/807.74 c 808 146951 47999 1 - 5.0000 -
809.91/812.78 c 813 147835 48229 1 - 5.0000 -
814.99/817.87 c 818 148736 48564 1 - 5.0000 -
820.07/822.99 c 823 149642 48828 1 - 5.0000 -
825.27/828.11 c 828 150629 49184 1 - 5.0000 -
830.25/833.18 c 833 151689 49484 1 - 5.0000 -
835.32/838.27 c 838 152584 49739 1 - 5.0000 -
840.41/843.32 c 843 153608 50112 1 - 5.0000 -
845.38/848.38 c 848 154575 50353 1 - 5.0000 -
850.46/853.44 c 853 155526 50659 1 - 5.0000 -
855.55/858.53 c 859 156473 50978 1 - 5.0000 -
860.53/863.58 c 864 157342 51325 1 - 5.0000 -
865.61/868.65 c 869 158267 51603 1 - 5.0000 -
870.68/873.75 c 874 159203 51987 1 - 5.0000 -
875.77/878.86 c 879 160244 52355 1 - 5.0000 -
880.85/883.92 c 884 161160 52678 1 - 5.0000 -
885.83/888.97 c 889 162151 52975 1 - 5.0000 -
890.92/894.02 c 894 163057 53341 1 - 5.0000 -
895.90/899.10 c 899 164073 53690 1 - 5.0000 -
900.99/904.15 c 904 165056 53958 1 - 5.0000 -
906.05/909.23 c 909 166075 54277 1 - 5.0000 -
911.04/914.29 c 914 167020 54512 1 - 5.0000 -
916.12/919.37 c 919 167964 54819 1 - 5.0000 -
921.20/924.47 c 924 168905 55164 1 - 5.0000 -
926.28/929.53 c 930 169893 55473 1 - 5.0000 -
931.36/934.60 c 935 170958 55796 1 - 5.0000 -
936.34/939.69 c 940 171921 56042 1 - 5.0000 -
941.42/944.75 c 945 172911 56297 1 - 5.0000 -
946.51/949.80 c 950 173865 56597 1 - 5.0000 -
951.49/954.85 c 955 174852 56871 1 - 5.0000 -
956.57/960.01 c 960 175767 57156 1 - 5.0000 -
961.67/965.05 c 965 176713 57490 1 - 5.0000 -
966.75/970.13 c 970 177653 57783 1 - 5.0000 -
971.82/975.22 c 975 178604 58102 1 - 5.0000 -
976.80/980.29 c 980 179617 58441 1 - 5.0000 -
981.88/985.36 c 985 180589 58752 1 - 5.0000 -
986.97/990.41 c 990 181505 59070 1 - 5.0000 -
991.94/995.46 c 995 182491 59360 1 - 5.0000 -
997.03/1000.53 c 1001 183517 59680 1 - 5.0000 -
1002.10/1005.60 c 1006 184433 60021 1 - 5.0000 -
1007.09/1010.65 c 1011 185437 60289 1 - 5.0000 -
1012.18/1015.72 c 1016 186450 60632 1 - 5.0000 -
1017.15/1020.79 c 1021 187319 60912 1 - 5.0000 -
1022.33/1025.90 c 1026 188215 61165 1 - 5.0000 -
1027.32/1030.99 c 1031 189224 61394 1 - 5.0000 -
1032.41/1036.05 c 1036 190112 61741 1 - 5.0000 -
1037.49/1041.11 c 1041 190989 62105 1 - 5.0000 -
1042.47/1046.15 c 1046 191945 62453 1 - 5.0000 -
1047.54/1051.20 c 1051 192875 62802 1 - 5.0000 -
1052.52/1056.25 c 1056 193855 63070 1 - 5.0000 -
1057.70/1061.41 c 1061 194733 63404 1 - 5.0000 -
1062.69/1066.47 c 1066 195735 63682 1 - 5.0000 -
1067.77/1071.55 c 1072 196702 63993 1 - 5.0000 -
1072.85/1076.62 c 1077 197673 64232 1 - 5.0000 -
1077.83/1081.67 c 1082 198633 64525 1 - 5.0000 -
1082.91/1086.73 c 1087 199539 64901 1 - 5.0000 -
1087.99/1091.81 c 1092 200552 65177 1 - 5.0000 -
1092.97/1096.86 c 1097 201466 65465 1 - 5.0000 -
1098.06/1101.94 c 1102 202394 65727 1 - 5.0000 -
1103.04/1106.99 c 1107 203361 66033 1 - 5.0000 -
1108.13/1112.10 c 1112 204291 66285 1 - 5.0000 -
1113.21/1117.17 c 1117 205218 66556 1 - 5.0000 -
1118.28/1122.21 c 1122 206153 66798 1 - 5.0000 -
1123.27/1127.26 c 1127 207191 67166 1 - 5.0000 -
1128.35/1132.35 c 1132 208139 67490 1 - 5.0000 -
1133.43/1137.47 c 1137 209054 67807 1 - 5.0000 -
1138.52/1142.52 c 1143 210011 68101 1 - 5.0000 -
1143.50/1147.58 c 1148 211029 68390 1 - 5.0000 -
1148.58/1152.64 c 1153 212065 68677 1 - 5.0000 -
1153.66/1157.71 c 1158 213017 69007 1 - 5.0000 -
1158.64/1162.78 c 1163 213858 69350 1 - 5.0000 -
1163.73/1167.83 c 1168 214702 69608 1 - 5.0000 -
1168.71/1172.89 c 1173 215685 69899 1 - 5.0000 -
1173.78/1178.00 c 1178 216768 70206 1 - 5.0000 -
1178.88/1183.07 c 1183 217706 70469 1 - 5.0000 -
1183.95/1188.15 c 1188 218639 70757 1 - 5.0000 -
1188.94/1193.19 c 1193 219621 70958 1 - 5.0000 -
1194.01/1198.29 c 1198 220578 71239 1 - 5.0000 -
1199.19/1203.45 c 1203 221517 71551 1 - 5.0000 -
1204.27/1208.50 c 1209 222516 71860 1 - 5.0000 -
1209.25/1213.59 c 1214 223479 72114 1 - 5.0000 -
1214.34/1218.65 c 1219 224470 72383 1 - 5.0000 -
1219.42/1223.73 c 1224 225515 72675 1 - 5.0000 -
1224.50/1228.80 c 1229 226452 72982 1 - 5.0000 -
1229.48/1233.87 c 1234 227452 73230 1 - 5.0000 -
1234.56/1238.91 c 1239 228400 73495 1 - 5.0000 -
1239.54/1243.96 c 1244 229406 73891 1 - 5.0000 -
1244.64/1249.03 c 1249 230344 74212 1 - 5.0000 -
1249.72/1254.13 c 1254 231284 74533 1 - 5.0000 -
1254.70/1259.19 c 1259 232148 74815 1 - 5.0000 -
1259.87/1264.30 c 1264 233017 75188 1 - 5.0000 -
1264.85/1269.34 c 1269 233943 75490 1 - 5.0000 -
1269.93/1274.40 c 1274 234873 75817 1 - 5.0000 -
1274.92/1279.46 c 1279 235804 76077 1 - 5.0000 -
1279.99/1284.59 c 1285 236767 76337 1 - 5.0000 -
1285.08/1289.69 c 1290 237718 76640 1 - 5.0000 -
1290.26/1294.81 c 1295 238695 76891 1 - 5.0000 -
1295.24/1299.88 c 1300 239683 77178 1 - 5.0000 -
1300.32/1304.94 c 1305 240668 77490 1 - 5.0000 -
1305.42/1310.02 c 1310 241636 77824 1 - 5.0000 -
1310.50/1315.15 c 1315 242651 78070 1 - 5.0000 -
1315.57/1320.21 c 1320 243581 78341 1 - 5.0000 -
1320.55/1325.27 c 1325 244544 78597 1 - 5.0000 -
1325.63/1330.34 c 1330 245509 78862 1 - 5.0000 -
1330.71/1335.44 c 1335 246423 79136 1 - 5.0000 -
1335.80/1340.53 c 1341 247376 79375 1 - 5.0000 -
1340.78/1345.57 c 1346 248223 79702 1 - 5.0000 -
1345.86/1350.62 c 1351 249086 79936 1 - 5.0000 -
1350.84/1355.67 c 1356 249975 80182 1 - 5.0000 -
1356.02/1360.89 c 1361 250787 80523 1 - 5.0000 -
1361.10/1365.97 c 1366 251729 80901 1 - 5.0000 -
1366.19/1371.05 c 1371 252686 81203 1 - 5.0000 -
1371.27/1376.12 c 1376 253678 81495 1 - 5.0000 -
1376.25/1381.18 c 1381 254568 81807 1 - 5.0000 -
1381.32/1386.23 c 1386 255544 82006 1 - 5.0000 -
1386.30/1391.29 c 1391 256386 82263 1 - 5.0000 -
1391.38/1396.35 c 1396 257385 82474 1 - 5.0000 -
1396.47/1401.40 c 1401 258208 82748 1 - 5.0000 -
1401.44/1406.47 c 1406 259154 82956 1 - 5.0000 -
1406.53/1411.53 c 1412 260063 83226 1 - 5.0000 -
1411.61/1416.61 c 1417 261051 83506 1 - 5.0000 -
1416.79/1421.82 c 1422 261889 83815 1 - 5.0000 -
1421.77/1426.86 c 1427 262810 84111 1 - 5.0000 -
1426.86/1431.92 c 1432 263683 84460 1 - 5.0000 -
1431.84/1436.97 c 1437 264572 84746 1 - 5.0000 -
1436.93/1442.04 c 1442 265504 84992 1 - 5.0000 -
1441.91/1447.09 c 1447 266404 85246 1 - 5.0000 -
1447.00/1452.16 c 1452 267273 85533 1 - 5.0000 -
1452.06/1457.20 c 1457 268104 85766 1 - 5.0000 -
1457.04/1462.26 c 1462 269039 86036 1 - 5.0000 -
1462.12/1467.35 c 1467 269917 86300 1 - 5.0000 -
1467.20/1472.40 c 1472 270847 86558 1 - 5.0000 -
1472.19/1477.47 c 1477 271716 86878 1 - 5.0000 -
1477.27/1482.52 c 1483 272528 87138 1 - 5.0000 -
1482.25/1487.58 c 1488 273533 87460 1 - 5.0000 -
1487.33/1492.63 c 1493 274526 87739 1 - 5.0000 -
1492.41/1497.71 c 1498 275597 88007 1 - 5.0000 -
1497.40/1502.79 c 1503 276682 88313 1 - 5.0000 -
1502.48/1507.84 c 1508 277612 88574 1 - 5.0000 -
1507.46/1512.90 c 1513 278572 88866 1 - 5.0000 -
1512.55/1517.94 c 1518 279484 89141 1 - 5.0000 -
1517.52/1523.01 c 1523 280419 89372 1 - 5.0000 -
1522.61/1528.10 c 1528 281319 89670 1 - 5.0000 -
1527.70/1533.15 c 1533 282280 89962 1 - 5.0000 -
1532.77/1538.22 c 1538 283165 90178 1 - 5.0000 -
1537.75/1543.29 c 1543 284041 90522 1 - 5.0000 -
1542.84/1548.40 c 1548 284954 90737 1 - 5.0000 -
1547.92/1553.44 c 1553 285925 91027 1 - 5.0000 -
1553.01/1558.55 c 1559 286812 91339 1 - 5.0000 -
1558.10/1563.60 c 1564 287773 91591 1 - 5.0000 -
1563.07/1568.66 c 1569 288713 91843 1 - 5.0000 -
1568.16/1573.74 c 1574 289604 92161 1 - 5.0000 -
1573.14/1578.78 c 1579 290510 92429 1 - 5.0000 -
1578.23/1583.86 c 1584 291484 92733 1 - 5.0000 -
1583.32/1588.91 c 1589 292425 92963 1 - 5.0000 -
1588.30/1593.98 c 1594 293330 93240 1 - 5.0000 -
1593.40/1599.04 c 1599 294302 93496 1 - 5.0000 -
1598.38/1604.08 c 1604 295242 93758 1 - 5.0000 -
1603.55/1609.28 c 1609 296150 93958 1 - 5.0000 -
1608.64/1614.38 c 1614 297011 94235 1 - 5.0000 -
1613.72/1619.46 c 1619 297977 94478 1 - 5.0000 -
1618.82/1624.59 c 1625 299049 94808 1 - 5.0000 -
1623.89/1629.64 c 1630 300050 95109 1 - 5.0000 -
1629.08/1634.80 c 1635 300933 95409 1 - 5.0000 -
1634.07/1639.88 c 1640 301819 95688 1 - 5.0000 -
1639.15/1644.98 c 1645 302722 96012 1 - 5.0000 -
1644.24/1650.04 c 1650 303641 96262 1 - 5.0000 -
1649.23/1655.09 c 1655 304525 96529 1 - 5.0000 -
1654.32/1660.15 c 1660 305331 96740 1 - 5.0000 -
1659.30/1665.19 c 1665 306275 96968 1 - 5.0000 -
1664.37/1670.29 c 1670 307213 97185 1 - 5.0000 -
1669.45/1675.34 c 1675 308092 97398 1 - 5.0000 -
1674.44/1680.40 c 1680 308982 97620 1 - 5.0000 -
1679.53/1685.45 c 1685 309926 97855 1 - 5.0000 -
1684.62/1690.52 c 1691 310736 98020 1 - 5.0000 -
1689.70/1695.63 c 1696 311563 98252 1 - 5.0000 -
1694.68/1700.69 c 1701 312420 98477 1 - 5.0000 -
1699.77/1705.75 c 1706 313279 98825 1 - 5.0000 -
1704.85/1710.88 c 1711 314162 99148 1 - 5.0000 -
1709.94/1715.94 c 1716 315018 99392 1 - 5.0000 -
1715.03/1721.02 c 1721 316009 99653 1 - 5.0000 -
1720.01/1726.07 c 1726 316978 99924 1 - 5.0000 -
1725.10/1731.12 c 1731 317752 100180 1 - 5.0000 -
1730.09/1736.19 c 1736 318654 100464 1 - 5.0000 -
1735.16/1741.27 c 1741 319591 100724 1 - 5.0000 -
1740.25/1746.32 c 1746 320482 101016 1 - 5.0000 -
1745.33/1751.40 c 1751 321431 101290 1 - 5.0000 -
1750.41/1756.50 c 1756 322397 101559 1 - 5.0000 -
1755.41/1761.54 c 1762 323341 101781 1 - 5.0000 -
1760.39/1766.59 c 1767 324268 102065 1 - 5.0000 -
1765.47/1771.64 c 1772 325254 102384 1 - 5.0000 -
1770.56/1776.73 c 1777 326048 102661 1 - 5.0000 -
1775.54/1781.79 c 1782 326943 102990 1 - 5.0000 -
1780.63/1786.89 c 1787 327862 103277 1 - 5.0000 -
1785.71/1792.01 c 1792 328640 103597 1 - 5.0000 -
1790.80/1797.04 c 1797 329519 103831 1 - 5.0000 -
1795.78/1802.11 c 1802 330403 104016 1 - 5.0000 -
1800.87/1807.15 c 1807 331264 104199 1 - 5.0000 -
1806.04/1812.36 c 1812 332143 104586 1 - 5.0000 -
1811.13/1817.42 c 1817 333005 104795 1 - 5.0000 -
1816.21/1822.50 c 1823 333929 105011 1 - 5.0000 -
1821.19/1827.56 c 1828 334851 105255 1 - 5.0000 -
1826.28/1832.63 c 1833 335794 105502 1 - 5.0000 -
1831.26/1837.69 c 1838 336684 105766 1 - 5.0000 -
1836.44/1842.80 c 1843 337507 106158 1 - 5.0000 -
1841.44/1847.84 c 1848 338523 106424 1 - 5.0000 -
1846.42/1852.89 c 1853 339381 106708 1 - 5.0000 -
1851.50/1857.96 c 1858 340253 106907 1 - 5.0000 -
1856.59/1863.04 c 1863 341164 107239 1 - 5.0000 -
1861.68/1868.14 c 1868 342023 107493 1 - 5.0000 -
1866.75/1873.28 c 1873 342755 107833 1 - 5.0000 -
1871.83/1878.33 c 1878 343605 108130 1 - 5.0000 -
1876.82/1883.38 c 1883 344579 108500 1 - 5.0000 -
1881.91/1888.43 c 1888 345424 108785 1 - 5.0000 -
1886.99/1893.59 c 1894 346343 109073 1 - 5.0000 -
1892.08/1898.69 c 1899 347268 109260 1 - 5.0000 -
1897.17/1903.75 c 1904 348132 109493 1 - 5.0000 -
1902.25/1908.82 c 1909 349124 109772 1 - 5.0000 -
1907.23/1913.86 c 1914 350052 110004 1 - 5.0000 -
1912.32/1918.91 c 1919 350885 110221 1 - 5.0000 -
1917.30/1923.99 c 1924 351742 110539 1 - 5.0000 -
1922.39/1929.05 c 1929 352671 110785 1 - 5.0000 -
1927.57/1934.24 c 1934 353491 111039 1 - 5.0000 -
1932.55/1939.30 c 1939 354340 111343 1 - 5.0000 -
1937.64/1944.39 c 1944 355219 111606 1 - 5.0000 -
1942.82/1949.52 c 1950 355994 111783 1 - 5.0000 -
1947.90/1954.60 c 1955 356890 111980 1 - 5.0000 -
1952.89/1959.67 c 1960 357785 112201 1 - 5.0000 -
1957.97/1964.73 c 1965 358663 112442 1 - 5.0000 -
1963.06/1969.81 c 1970 359531 112687 1 - 5.0000 -
1968.05/1974.89 c 1975 360411 112976 1 - 5.0000 -
1973.13/1979.97 c 1980 361345 113265 1 - 5.0000 -
1978.23/1985.07 c 1985 362191 113467 1 - 5.0000 -
1983.31/1990.12 c 1990 363186 113692 1 - 5.0000 -
1988.38/1995.22 c 1995 364083 113938 1 - 5.0000 -
1993.37/2000.29 c 2000 365007 114163 1 - 5.0000 -
1998.46/2005.37 c 2005 365994 114380 1 - 5.0000 -
2003.63/2010.50 c 2011 366765 114758 1 - 5.0000 -
2008.72/2015.66 c 2016 367626 114953 1 - 5.0000 -
2013.80/2020.70 c 2021 368465 115236 1 - 5.0000 -
2018.79/2025.77 c 2026 369381 115481 1 - 5.0000 -
2023.88/2030.82 c 2031 370313 115721 1 - 5.0000 -
2028.87/2035.88 c 2036 371228 115922 1 - 5.0000 -
2033.94/2040.94 c 2041 372103 116076 1 - 5.0000 -
2039.04/2046.01 c 2046 373045 116296 1 - 5.0000 -
2044.02/2051.05 c 2051 373883 116507 1 - 5.0000 -
2049.11/2056.12 c 2056 374738 116757 1 - 5.0000 -
2054.10/2061.16 c 2061 375580 117016 1 - 5.0000 -
2059.17/2066.22 c 2066 376472 117227 1 - 5.0000 -
2064.15/2071.27 c 2071 377322 117397 1 - 5.0000 -
2069.23/2076.33 c 2076 378264 117588 1 - 5.0000 -
2074.22/2081.39 c 2081 379212 117849 1 - 5.0000 -
2079.30/2086.43 c 2086 380151 118064 1 - 5.0000 -
2084.29/2091.49 c 2092 381165 118316 1 - 5.0000 -
2089.37/2096.56 c 2097 382047 118550 1 - 5.0000 -
2094.46/2101.61 c 2102 383074 118821 1 - 5.0000 -
2099.45/2106.67 c 2107 383961 119095 1 - 5.0000 -
2104.72/2111.98 c 2112 384793 119346 1 - 5.0000 -
2109.82/2117.06 c 2117 385747 119564 1 - 5.0000 -
2114.91/2122.13 c 2122 386649 119891 1 - 5.0000 -
2119.90/2127.17 c 2127 387522 120083 1 - 5.0000 -
2124.97/2132.26 c 2132 388441 120361 1 - 5.0000 -
2130.06/2137.30 c 2137 389296 120542 1 - 5.0000 -
2135.04/2142.39 c 2142 390205 120749 1 - 5.0000 -
2140.12/2147.44 c 2147 391088 121042 1 - 5.0000 -
2145.21/2152.50 c 2153 391866 121427 1 - 5.0000 -
2150.20/2157.56 c 2158 392724 121837 1 - 5.0000 -
2155.28/2162.61 c 2163 393655 122079 1 - 5.0000 -
2160.27/2167.68 c 2168 394685 122333 1 - 5.0000 -
2165.36/2172.77 c 2173 395614 122561 1 - 5.0000 -
2170.45/2177.82 c 2178 396531 122805 1 - 5.0000 -
2175.43/2182.89 c 2183 397612 123098 1 - 5.0000 -
2180.52/2187.96 c 2188 398549 123419 1 - 5.0000 -
2185.61/2193.05 c 2193 399479 123678 1 - 5.0000 -
2190.70/2198.13 c 2198 400495 123912 1 - 5.0000 -
2195.78/2203.22 c 2203 401372 124119 1 - 5.0000 -
2200.76/2208.28 c 2208 402309 124371 1 - 5.0000 -
2205.85/2213.32 c 2213 403268 124658 1 - 5.0000 -
2210.83/2218.39 c 2218 404054 124880 1 - 5.0000 -
2215.92/2223.49 c 2224 404988 125115 1 - 5.0000 -
2221.00/2228.54 c 2229 405910 125323 1 - 5.0000 -
2226.09/2233.60 c 2234 406806 125507 1 - 5.0000 -
2231.07/2238.69 c 2239 407742 125737 1 - 5.0000 -
2236.26/2243.83 c 2244 408664 126098 1 - 5.0000 -
2241.34/2248.96 c 2249 409520 126322 1 - 5.0000 -
2246.44/2254.02 c 2254 410456 126581 1 - 5.0000 -
2251.53/2259.13 c 2259 411283 126854 1 - 5.0000 -
2256.61/2264.20 c 2264 412265 127060 1 - 5.0000 -
2261.59/2269.28 c 2269 413242 127301 1 - 5.0000 -
2266.68/2274.36 c 2274 414184 127599 1 - 5.0000 -
2271.77/2279.44 c 2279 415134 127806 1 - 5.0000 -
2276.75/2284.49 c 2284 416096 128043 1 - 5.0000 -
2281.83/2289.56 c 2290 417022 128251 1 - 5.0000 -
2286.92/2294.61 c 2295 418030 128491 1 - 5.0000 -
2291.91/2299.67 c 2300 418966 128769 1 - 5.0000 -
2297.00/2304.72 c 2305 419839 128987 1 - 5.0000 -
2301.99/2309.78 c 2310 420702 129193 1 - 5.0000 -
2307.07/2314.84 c 2315 421600 129469 1 - 5.0000 -
2312.16/2319.91 c 2320 422506 129703 1 - 5.0000 -
2317.26/2325.02 c 2325 423489 129960 1 - 5.0000 -
2322.24/2330.07 c 2330 424513 130260 1 - 5.0000 -
2327.33/2335.13 c 2335 425477 130442 1 - 5.0000 -
2332.31/2340.18 c 2340 426406 130672 1 - 5.0000 -
2337.39/2345.25 c 2345 427345 130916 1 - 5.0000 -
2342.47/2350.31 c 2350 428152 131132 1 - 5.0000 -
2347.56/2355.40 c 2355 428923 131309 1 - 5.0000 -
2352.55/2360.44 c 2360 429849 131520 1 - 5.0000 -
2357.53/2365.49 c 2366 430757 131743 1 - 5.0000 -
2362.71/2370.62 c 2371 431683 131984 1 - 5.0000 -
2367.69/2375.67 c 2376 432547 132197 1 - 5.0000 -
2372.78/2380.73 c 2381 433359 132440 1 - 5.0000 -
2377.87/2385.80 c 2386 434213 132640 1 - 5.0000 -
2382.85/2390.85 c 2391 435092 132847 1 - 5.0000 -
2387.93/2395.93 c 2396 436036 133044 1 - 5.0000 -
2392.92/2401.01 c 2401 436946 133292 1 - 5.0000 -
2398.01/2406.05 c 2406 437832 133551 1 - 5.0000 -
2402.99/2411.11 c 2411 438706 133754 1 - 5.0000 -
2408.08/2416.15 c 2416 439533 133961 1 - 5.0000 -
2413.16/2421.24 c 2421 440413 134141 1 - 5.0000 -
2418.24/2426.31 c 2426 441319 134336 1 - 5.0000 -
2423.22/2431.35 c 2431 442287 134678 1 - 5.0000 -
2428.30/2436.41 c 2436 443294 134887 1 - 5.0000 -
2433.28/2441.47 c 2441 444187 135080 1 - 5.0000 -
2438.37/2446.52 c 2447 445145 135267 1 - 5.0000 -
2443.45/2451.60 c 2452 446114 135461 1 - 5.0000 -
2448.42/2456.68 c 2457 447051 135715 1 - 5.0000 -
2453.51/2461.76 c 2462 447922 135915 1 - 5.0000 -
2458.59/2466.81 c 2467 448786 136128 1 - 5.0000 -
2463.67/2471.90 c 2472 449754 136402 1 - 5.0000 -
2468.77/2477.01 c 2477 450681 136576 1 - 5.0000 -
2473.75/2482.07 c 2482 451518 136802 1 - 5.0000 -
2478.84/2487.12 c 2487 452378 137137 1 - 5.0000 -
2483.82/2492.18 c 2492 453193 137333 1 - 5.0000 -
2488.90/2497.22 c 2497 454000 137574 1 - 5.0000 -
2493.88/2502.27 c 2502 454858 137743 1 - 5.0000 -
2498.97/2507.36 c 2507 455712 137969 1 - 5.0000 -
2504.05/2512.45 c 2512 456537 138177 1 - 5.0000 -
2509.14/2517.50 c 2518 457417 138329 1 - 5.0000 -
2514.22/2522.60 c 2523 458296 138643 1 - 5.0000 -
2519.20/2527.68 c 2528 459170 138835 1 - 5.0000 -
2524.29/2532.75 c 2533 460043 138997 1 - 5.0000 -
2529.38/2537.82 c 2538 460965 139238 1 - 5.0000 -
2534.36/2542.87 c 2543 461827 139423 1 - 5.0000 -
2539.44/2547.93 c 2548 462641 139651 1 - 5.0000 -
2544.54/2553.07 c 2553 463556 139922 1 - 5.0000 -
2549.63/2558.15 c 2558 464393 140129 1 - 5.0000 -
2554.70/2563.23 c 2563 465250 140333 1 - 5.0000 -
2559.79/2568.30 c 2568 466090 140550 1 - 5.0000 -
2564.87/2573.42 c 2573 466939 140780 1 - 5.0000 -
2569.96/2578.56 c 2579 467750 141015 1 - 5.0000 -
2575.04/2583.62 c 2584 468644 141196 1 - 5.0000 -
2580.03/2588.67 c 2589 469488 141434 1 - 5.0000 -
2585.11/2593.73 c 2594 470358 141661 1 - 5.0000 -
2590.20/2598.81 c 2599 471248 141840 1 - 5.0000 -
2595.18/2603.88 c 2604 472231 142134 1 - 5.0000 -
2600.27/2608.94 c 2609 473057 142371 1 - 5.0000 -
2605.25/2613.99 c 2614 473910 142570 1 - 5.0000 -
2610.34/2619.04 c 2619 474690 142776 1 - 5.0000 -
2615.33/2624.10 c 2624 475583 142958 1 - 5.0000 -
2620.41/2629.16 c 2629 476478 143125 1 - 5.0000 -
2625.49/2634.26 c 2634 477341 143328 1 - 5.0000 -
2630.67/2639.42 c 2639 478299 143577 1 - 5.0000 -
2635.76/2644.59 c 2645 479224 143773 1 - 5.0000 -
2640.84/2649.64 c 2650 480085 143926 1 - 5.0000 -
2645.82/2654.69 c 2655 481011 144163 1 - 5.0000 -
2650.91/2659.78 c 2660 481881 144405 1 - 5.0000 -
2656.00/2664.85 c 2665 482727 144585 1 - 5.0000 -
2661.08/2669.93 c 2670 483567 144840 1 - 5.0000 -
2666.27/2675.15 c 2675 484412 145049 1 - 5.0000 -
2671.35/2680.22 c 2680 485269 145301 1 - 5.0000 -
2676.33/2685.27 c 2685 486079 145528 1 - 5.0000 -
2681.42/2690.33 c 2690 486894 145806 1 - 5.0000 -
2686.41/2695.38 c 2695 487725 146235 1 - 5.0000 -
2691.49/2700.49 c 2700 488624 146441 1 - 5.0000 -
2696.57/2705.54 c 2706 489487 146636 1 - 5.0000 -
2701.66/2710.65 c 2711 490381 146826 1 - 5.0000 -
2706.74/2715.70 c 2716 491280 147048 1 - 5.0000 -
2711.73/2720.79 c 2721 492176 147323 1 - 5.0000 -
2716.81/2725.84 c 2726 493059 147528 1 - 5.0000 -
2721.90/2730.90 c 2731 493894 147759 1 - 5.0000 -
2726.88/2735.95 c 2736 494772 147941 1 - 5.0000 -
2732.08/2741.12 c 2741 495586 148110 1 - 5.0000 -
2737.06/2746.19 c 2746 496506 148349 1 - 5.0000 -
2742.14/2751.25 c 2751 497388 148545 1 - 5.0000 -
2747.22/2756.33 c 2756 498312 148755 1 - 5.0000 -
2752.32/2761.41 c 2761 499087 149159 1 - 5.0000 -
2757.30/2766.49 c 2766 499956 149357 1 - 5.0000 -
2762.38/2771.60 c 2772 500825 149550 1 - 5.0000 -
2767.47/2776.66 c 2777 501656 149725 1 - 5.0000 -
2772.56/2781.71 c 2782 502521 149894 1 - 5.0000 -
2777.64/2786.80 c 2787 503433 150075 1 - 5.0000 -
2782.62/2791.85 c 2792 504228 150178 1 - 5.0000 -
2787.71/2796.91 c 2797 505046 150367 1 - 5.0000 -
2792.70/2801.97 c 2802 505936 150541 1 - 5.0000 -
2797.80/2807.03 c 2807 506707 150837 1 - 5.0000 -
2802.77/2812.11 c 2812 507587 151054 1 - 5.0000 -
2807.87/2817.15 c 2817 508413 151281 1 - 5.0000 -
2812.94/2822.22 c 2822 509278 151549 1 - 5.0000 -
2818.02/2827.37 c 2827 510132 151681 1 - 5.0000 -
2823.11/2832.45 c 2832 510960 151870 1 - 5.0000 -
2828.19/2837.53 c 2838 511758 152105 1 - 5.0000 -
2833.28/2842.65 c 2843 512617 152296 1 - 5.0000 -
2838.36/2847.72 c 2848 513510 152498 1 - 5.0000 -
2843.35/2852.76 c 2853 514369 152726 1 - 5.0000 -
2848.53/2857.98 c 2858 515225 152884 1 - 5.0000 -
2853.62/2863.04 c 2863 516087 153158 1 - 5.0000 -
2858.71/2868.11 c 2868 516948 153310 1 - 5.0000 -
2863.70/2873.16 c 2873 517796 153474 1 - 5.0000 -
2868.77/2878.22 c 2878 518549 153662 1 - 5.0000 -
2873.85/2883.30 c 2883 519477 153871 1 - 5.0000 -
2878.84/2888.35 c 2888 520321 154113 1 - 5.0000 -
2883.93/2893.44 c 2893 521233 154268 1 - 5.0000 -
2888.91/2898.49 c 2898 522083 154513 1 - 5.0000 -
2894.00/2903.58 c 2904 522908 154781 1 - 5.0000 -
2899.08/2908.66 c 2909 523798 154990 1 - 5.0000 -
2904.17/2913.72 c 2914 524540 155152 1 - 5.0000 -
2909.15/2918.79 c 2919 525374 155388 1 - 5.0000 -
2914.24/2923.84 c 2924 526198 155564 1 - 5.0000 -
2919.32/2928.90 c 2929 527086 155771 1 - 5.0000 -
2924.41/2934.02 c 2934 528062 156057 1 - 5.0000 -
2929.50/2939.13 c 2939 528906 156294 1 - 5.0000 -
2934.57/2944.21 c 2944 529812 156506 1 - 5.0000 -
2939.66/2949.30 c 2949 530634 156709 1 - 5.0000 -
2944.75/2954.41 c 2954 531390 156944 1 - 5.0000 -
2949.73/2959.46 c 2959 532224 157159 1 - 5.0000 -
2954.81/2964.53 c 2965 533099 157327 1 - 5.0000 -
2959.80/2969.57 c 2970 533990 157501 1 - 5.0000 -
2964.88/2974.69 c 2975 534839 157720 1 - 5.0000 -
2969.97/2979.77 c 2980 535671 157950 1 - 5.0000 -
2975.05/2984.86 c 2985 536572 158102 1 - 5.0000 -
2980.14/2989.92 c 2990 537439 158253 1 - 5.0000 -
2985.13/2994.98 c 2995 538222 158493 1 - 5.0000 -
2990.22/3000.09 c 3000 538977 158663 1 - 5.0000 -
2995.30/3005.15 c 3005 539757 158825 1 - 5.0000 -
3000.38/3010.21 c 3010 540630 158981 1 - 5.0000 -
3005.37/3015.26 c 3015 541475 159167 1 - 5.0000 -
3010.44/3020.31 c 3020 542383 159355 1 - 5.0000 -
3015.43/3025.38 c 3025 543291 159515 1 - 5.0000 -
3020.51/3030.43 c 3030 544162 159757 1 - 5.0000 -
3025.50/3035.48 c 3035 545005 159933 1 - 5.0000 -
3030.58/3040.53 c 3041 545828 160109 1 - 5.0000 -
3035.57/3045.58 c 3046 546713 160262 1 - 5.0000 -
3040.65/3050.65 c 3051 547595 160492 1 - 5.0000 -
3045.74/3055.72 c 3056 548406 160744 1 - 5.0000 -
3050.73/3060.78 c 3061 549220 160935 1 - 5.0000 -
3055.81/3065.84 c 3066 550075 161113 1 - 5.0000 -
3060.90/3070.90 c 3071 550974 161280 1 - 5.0000 -
3065.88/3075.95 c 3076 551735 161427 1 - 5.0000 -
3070.98/3081.07 c 3081 552650 161619 1 - 5.0000 -
3076.07/3086.13 c 3086 553488 161810 1 - 5.0000 -
3081.14/3091.20 c 3091 554370 161976 1 - 5.0000 -
3086.12/3096.26 c 3096 555319 162215 1 - 5.0000 -
3091.20/3101.31 c 3101 556202 162425 1 - 5.0000 -
3096.19/3106.38 c 3106 556975 162587 1 - 5.0000 -
3101.28/3111.43 c 3111 557800 162794 1 - 5.0000 -
3106.27/3116.48 c 3116 558710 162930 1 - 5.0000 -
3111.34/3121.56 c 3122 559557 163128 1 - 5.0000 -
3116.43/3126.65 c 3127 560360 163410 1 - 5.0000 -
3121.51/3131.72 c 3132 561133 163689 1 - 5.0000 -
3126.49/3136.78 c 3137 561985 163850 1 - 5.0000 -
3131.58/3141.82 c 3142 562830 164053 1 - 5.0000 -
3136.66/3146.90 c 3147 563672 164289 1 - 5.0000 -
3141.63/3151.96 c 3152 564499 164457 1 - 5.0000 -
3146.73/3157.05 c 3157 565387 164600 1 - 5.0000 -
3151.81/3162.15 c 3162 566287 164780 1 - 5.0000 -
3156.88/3167.20 c 3167 567092 164939 1 - 5.0000 -
3161.87/3172.25 c 3172 567922 165171 1 - 5.0000 -
3166.94/3177.35 c 3177 568688 165350 1 - 5.0000 -
3172.03/3182.42 c 3182 569472 165646 1 - 5.0000 -
3177.01/3187.46 c 3187 570305 165806 1 - 5.0000 -
3182.09/3192.53 c 3193 571167 166001 1 - 5.0000 -
3187.07/3197.58 c 3198 571996 166212 1 - 5.0000 -
3192.15/3202.67 c 3203 572891 166351 1 - 5.0000 -
3197.23/3207.73 c 3208 573827 166614 1 - 5.0000 -
3202.21/3212.79 c 3213 574727 166803 1 - 5.0000 -
3207.39/3218.01 c 3218 575563 166985 1 - 5.0000 -
3212.48/3223.05 c 3223 576374 167121 1 - 5.0000 -
3217.47/3228.10 c 3228 577306 167307 1 - 5.0000 -
3222.55/3233.15 c 3233 578156 167463 1 - 5.0000 -
3227.62/3238.23 c 3238 579004 167653 1 - 5.0000 -
3232.60/3243.27 c 3243 579882 167880 1 - 5.0000 -
3237.68/3248.32 c 3248 580681 168189 1 - 5.0000 -
3242.76/3253.43 c 3253 581549 168372 1 - 5.0000 -
3247.75/3258.48 c 3258 582417 168521 1 - 5.0000 -
3252.82/3263.53 c 3264 583298 168722 1 - 5.0000 -
3257.91/3268.60 c 3269 584226 168906 1 - 5.0000 -
3262.99/3273.75 c 3274 585097 169094 1 - 5.0000 -
3268.07/3278.83 c 3279 585863 169349 1 - 5.0000 -
3273.05/3283.89 c 3284 586677 169499 1 - 5.0000 -
3278.13/3288.96 c 3289 587530 169723 1 - 5.0000 -
3283.23/3294.01 c 3294 588321 169962 1 - 5.0000 -
3288.31/3299.11 c 3299 589197 170133 1 - 5.0000 -
3293.38/3304.25 c 3304 590120 170341 1 - 5.0000 -
3298.46/3309.30 c 3309 590930 170533 1 - 5.0000 -
3303.44/3314.35 c 3314 591741 170777 1 - 5.0000 -
3308.52/3319.41 c 3319 592565 171014 1 - 5.0000 -
3313.50/3324.49 c 3324 593405 171137 1 - 5.0000 -
3318.58/3329.58 c 3330 594291 171382 1 - 5.0000 -
3323.67/3334.63 c 3335 595174 171553 1 - 5.0000 -
3328.65/3339.70 c 3340 596064 171741 1 - 5.0000 -
3333.72/3344.78 c 3345 596871 171904 1 - 5.0000 -
3338.81/3349.85 c 3350 597717 172091 1 - 5.0000 -
3343.89/3354.93 c 3355 598611 172243 1 - 5.0000 -
3348.88/3359.99 c 3360 599476 172440 1 - 5.0000 -
3353.97/3365.05 c 3365 600313 172665 1 - 5.0000 -
3359.05/3370.11 c 3370 601193 172842 1 - 5.0000 -
3364.04/3375.17 c 3375 602071 172959 1 - 5.0000 -
3369.11/3380.23 c 3380 602907 173167 1 - 5.0000 -
3374.20/3385.39 c 3385 603754 173390 1 - 5.0000 -
3379.27/3390.44 c 3390 604553 173577 1 - 5.0000 -
3384.36/3395.50 c 3396 605311 173864 1 - 5.0000 -
3389.34/3400.56 c 3401 606173 174046 1 - 5.0000 -
3394.43/3405.68 c 3406 606998 174250 1 - 5.0000 -
3399.52/3410.72 c 3411 607889 174358 1 - 5.0000 -
3404.51/3415.79 c 3416 608749 174525 1 - 5.0000 -
3409.69/3420.90 c 3421 609558 174690 1 - 5.0000 -
3414.68/3425.95 c 3426 610446 174842 1 - 5.0000 -
3419.77/3431.04 c 3431 611327 175018 1 - 5.0000 -
3424.86/3436.15 c 3436 612076 175172 1 - 5.0000 -
3429.93/3441.22 c 3441 612908 175372 1 - 5.0000 -
3434.92/3446.30 c 3446 613779 175546 1 - 5.0000 -
3440.00/3451.39 c 3451 614558 175720 1 - 5.0000 -
3445.09/3456.47 c 3456 615396 175909 1 - 5.0000 -
3450.17/3461.53 c 3462 616264 176092 1 - 5.0000 -
3455.16/3466.59 c 3467 617126 176305 1 - 5.0000 -
3460.24/3471.65 c 3472 617967 176484 1 - 5.0000 -
3465.33/3476.72 c 3477 618821 176678 1 - 5.0000 -
3470.51/3481.97 c 3482 619576 176794 1 - 5.0000 -
3475.61/3487.02 c 3487 620472 176974 1 - 5.0000 -
3480.69/3492.12 c 3492 621369 177127 1 - 5.0000 -
3485.68/3497.16 c 3497 622222 177387 1 - 5.0000 -
3490.76/3502.21 c 3502 623144 177592 1 - 5.0000 -
3495.74/3507.28 c 3507 624036 177800 1 - 5.0000 -
3500.83/3512.34 c 3512 624910 177992 1 - 5.0000 -
3505.91/3517.40 c 3517 625730 178148 1 - 5.0000 -
3510.90/3522.45 c 3522 626560 178280 1 - 5.0000 -
3515.99/3527.53 c 3528 627397 178471 1 - 5.0000 -
3520.97/3532.58 c 3533 628202 178646 1 - 5.0000 -
3526.16/3537.71 c 3538 629017 178824 1 - 5.0000 -
3531.14/3542.76 c 3543 629933 179056 1 - 5.0000 -
3536.23/3547.81 c 3548 630827 179197 1 - 5.0000 -
3541.21/3552.89 c 3553 631685 179352 1 - 5.0000 -
3546.30/3558.01 c 3558 632548 179610 1 - 5.0000 -
3551.39/3563.07 c 3563 633417 179824 1 - 5.0000 -
3556.48/3568.15 c 3568 634346 180068 1 - 5.0000 -
3561.55/3573.23 c 3573 635022 180569 1 - 5.0000 -
3566.63/3578.34 c 3578 635968 180787 1 - 5.0000 -
3571.72/3583.42 c 3583 636701 181032 1 - 5.0000 -
3576.80/3588.50 c 3589 637480 181273 1 - 5.0000 -
3581.79/3593.56 c 3594 638290 181357 1 - 5.0000 -
3586.98/3598.73 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.98/3598.73 c Total Time : 3598.7300
3586.98/3598.73 c solving : 3598.7300
3586.98/3598.73 c presolving : 1.4696 (included in solving)
3586.98/3598.73 c B&B Tree :
3586.98/3598.73 c nodes (total) : 1
3586.98/3598.73 c Solution :
3586.98/3598.73 c Solutions found : 0
3586.98/3598.73 c Primal Bound : -
3586.98/3598.73 c Dual Bound : +5.00000000000000e+00
3586.98/3598.73 c Gap : -
3586.98/3598.75 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (50639 MiB free)
memory of node 1: 64473 MiB (61862 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464124-1722382195/watcher-4464124-1722382195 -o /tmp/evaluation-result-4464124-1722382195/solver-4464124-1722382195 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722378594-29037 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464124-1722382195.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31242, runsolver pid=31239
[startup+0.100882 s]*
/proc/loadavg: 4.15 4.25 4.14 5/245 31253
/proc/meminfo: memFree=115208532/131655788 swapFree=131071216/131071996
[pid=31242] ppid=31239 vsize=38856 memory=28568 CPUtime=0.1 cores=4,6
/proc/31242/stat : 31242 (fscip) R 31239 31242 29026 0 -1 4194304 4861 0 0 0 9 1 0 0 20 0 1 0 4590958 39788544 7142 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
/proc/31242/statm: 9714 7142 2694 3035 0 6110 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38856 KiB
Current children cumulated memory: 28568 KiB
[startup+0.213476 s]*
/proc/loadavg: 4.15 4.25 4.14 5/245 31253
/proc/meminfo: memFree=115252080/131655788 swapFree=131071216/131071996
[pid=31242] ppid=31239 vsize=43196 memory=32504 CPUtime=0.21 cores=4,6
/proc/31242/stat : 31242 (fscip) R 31239 31242 29026 0 -1 4194304 5842 0 0 0 20 1 0 0 20 0 1 0 4590958 44232704 8126 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
/proc/31242/statm: 10799 8126 2774 3035 0 7195 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43196 KiB
Current children cumulated memory: 32504 KiB
[startup+0.313138 s]*
/proc/loadavg: 4.15 4.25 4.14 6/245 31253
/proc/meminfo: memFree=115319112/131655788 swapFree=131071216/131071996
[pid=31242] ppid=31239 vsize=50108 memory=36260 CPUtime=0.31 cores=4,6
/proc/31242/stat : 31242 (fscip) R 31239 31242 29026 0 -1 4194304 6720 0 0 0 30 1 0 0 20 0 1 0 4590958 51310592 9065 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
/proc/31242/statm: 12527 9065 2790 3035 0 8923 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 50108 KiB
Current children cumulated memory: 36260 KiB
[startup+0.700334 s]
/proc/loadavg: 4.15 4.25 4.14 5/243 31267
/proc/meminfo: memFree=116328580/131655788 swapFree=131071216/131071996
[pid=31242] ppid=31239 vsize=52156 memory=37844 CPUtime=0.68 cores=4,6
/proc/31242/stat : 31242 (fscip) R 31239 31242 29026 0 -1 4194304 7158 0 0 0 67 1 0 0 20 0 1 0 4590958 53407744 9461 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
/proc/31242/statm: 13039 9461 2790 3035 0 9435 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52156 KiB
Current children cumulated memory: 37844 KiB
[startup+1.50035 s]
/proc/loadavg: 4.15 4.25 4.14 5/242 31267
/proc/meminfo: memFree=116518824/131655788 swapFree=131071216/131071996
[pid=31242] ppid=31239 vsize=65732 memory=51044 CPUtime=1.48 cores=4,6
/proc/31242/stat : 31242 (fscip) R 31239 31242 29026 0 -1 4194304 10458 0 0 0 146 2 0 0 20 0 1 0 4590958 67309568 12761 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
/proc/31242/statm: 16433 12761 2790 3035 0 12829 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 65732 KiB
Current children cumulated memory: 51044 KiB
[startup+3.11261 s]
/proc/loadavg: 4.15 4.25 4.14 5/242 31311
/proc/meminfo: memFree=119536992/131655788 swapFree=131071216/131071996
[pid=31242] ppid=31239 vsize=161376 memory=102240 CPUtime=3.07 cores=4,6
/proc/31242/stat : 31242 (fscip) S 31239 31242 29026 0 -1 1077936128 28058 0 0 0 301 6 0 0 20 0 3 0 4590958 165249024 25560 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
/proc/31242/statm: 40344 25560 2950 3035 0 30101 0
[pid=31242/tid=31268] ppid=31239 vsize=161376 memory=198340509722 CPUtime=1.56 cores=4,6
/proc/31242/task/31268/stat : 31268 (fscip) R 31239 31242 29026 0 -1 4194368 15401 0 0 0 153 3 0 0 20 0 3 0 4591110 165249024 25560 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
[pid=31242/tid=31269] ppid=31239 vsize=161376 memory=0 CPUtime=0 cores=4,6
/proc/31242/task/31269/stat : 31269 (fscip) S 31239 31242 29026 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4591113 165249024 25560 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 161376 KiB
Current children cumulated memory: 102240 KiB
[startup+6.30036 s]
/proc/loadavg: 4.14 4.25 4.14 5/248 31320
/proc/meminfo: memFree=119345640/131655788 swapFree=131071216/131071996
[pid=31242] ppid=31239 vsize=226912 memory=137148 CPUtime=6.25 cores=4,6
/proc/31242/stat : 31242 (fscip) S 31239 31242 29026 0 -1 1077936128 37776 0 0 0 617 8 0 0 20 0 3 0 4590958 232357888 34287 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
/proc/31242/statm: 56728 34287 2998 3035 0 38982 0
[pid=31242/tid=31268] ppid=31239 vsize=226912 memory=126172 CPUtime=4.74 cores=4,6
/proc/31242/task/31268/stat : 31268 (fscip) R 31239 31242 29026 0 -1 4194368 25096 0 0 0 469 5 0 0 20 0 3 0 4591110 232357888 34287 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
[pid=31242/tid=31269] ppid=31239 vsize=226912 memory=0 CPUtime=0 cores=4,6
/proc/31242/task/31269/stat : 31269 (fscip) S 31239 31242 29026 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4591113 232357888 34287 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 226912 KiB
Current children cumulated memory: 137148 KiB
[startup+12.7004 s]
/proc/loadavg: 4.21 4.26 4.14 5/244 31446
/proc/meminfo: memFree=118577332/131655788 swapFree=131071216/131071996
[pid=31242] ppid=31239 vsize=226912 memory=146728 CPUtime=12.64 cores=4,6
/proc/31242/stat : 31242 (fscip) S 31239 31242 29026 0 -1 1077936128 74627 0 0 0 1253 11 0 0 20 0 3 0 4590958 232357888 36682 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
/proc/31242/statm: 56728 36682 2998 3035 0 40911 0
[pid=31242/tid=31268] ppid=31239 vsize=226912 memory=137388 CPUtime=11.12 cores=4,6
/proc/31242/task/31268/stat : 31268 (fscip) R 31239 31242 29026 0 -1 4194368 61913 0 0 0 1104 8 0 0 20 0 3 0 4591110 232357888 36682 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
[pid=31242/tid=31269] ppid=31239 vsize=226912 memory=12132 CPUtime=0 cores=4,6
/proc/31242/task/31269/stat : 31269 (fscip) S 31239 31242 29026 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 4591113 232357888 36682 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 226912 KiB
Current children cumulated memory: 146728 KiB
[startup+25.5004 s]
/proc/loadavg: 4.16 4.25 4.14 5/252 31461
/proc/meminfo: memFree=113886408/131655788 swapFree=131071216/131071996
[pid=31242] ppid=31239 vsize=226912 memory=194596 CPUtime=25.39 cores=4,6
/proc/31242/stat : 31242 (fscip) S 31239 31242 29026 0 -1 1077936128 140182 0 0 0 2521 18 0 0 20 0 3 0 4590958 232357888 48649 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
/proc/31242/statm: 56728 48649 2998 3035 0 52781 0
[pid=31242/tid=31268] ppid=31239 vsize=226912 memory=12360 CPUtime=23.87 cores=4,6
/proc/31242/task/31268/stat : 31268 (fscip) R 31239 31242 29026 0 -1 4194368 127436 0 0 0 2372 15 0 0 20 0 3 0 4591110 232357888 48649 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
[pid=31242/tid=31269] ppid=31239 vsize=226912 memory=664844110611613945 CPUtime=0 cores=4,6
/proc/31242/task/31269/stat : 31269 (fscip) S 31239 31242 29026 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4591113 232357888 48649 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 226912 KiB
Current children cumulated memory: 194596 KiB
[startup+51.1129 s]
/proc/loadavg: 4.17 4.24 4.14 5/252 31466
/proc/meminfo: memFree=104473236/131655788 swapFree=131071216/131071996
[pid=31242] ppid=31239 vsize=292748 memory=198272 CPUtime=50.91 cores=4,6
/proc/31242/stat : 31242 (fscip) S 31239 31242 29026 0 -1 1077936128 206417 0 0 0 5067 24 0 0 20 0 3 0 4590958 299773952 49568 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
/proc/31242/statm: 73187 49568 2998 3035 0 54309 0
[pid=31242/tid=31268] ppid=31239 vsize=292748 memory=5512 CPUtime=49.39 cores=4,6
/proc/31242/task/31268/stat : 31268 (fscip) R 31239 31242 29026 0 -1 4194368 193623 0 0 0 4918 21 0 0 20 0 3 0 4591110 299773952 49568 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
[pid=31242/tid=31269] ppid=31239 vsize=292748 memory=197000 CPUtime=0 cores=4,6
/proc/31242/task/31269/stat : 31269 (fscip) S 31239 31242 29026 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4591113 299773952 49568 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 292748 KiB
Current children cumulated memory: 198272 KiB
[startup+102.3 s]
/proc/loadavg: 4.27 4.25 4.15 5/252 31474
/proc/meminfo: memFree=103597772/131655788 swapFree=131071216/131071996
[pid=31242] ppid=31239 vsize=292748 memory=206172 CPUtime=101.93 cores=4,6
/proc/31242/stat : 31242 (fscip) S 31239 31242 29026 0 -1 1077936128 223849 0 0 0 10164 29 0 0 20 0 3 0 4590958 299773952 51543 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
/proc/31242/statm: 73187 51543 3286 3035 0 54855 0
[pid=31242/tid=31268] ppid=31239 vsize=292748 memory=-7524225819037752701 CPUtime=100.4 cores=4,6
/proc/31242/task/31268/stat : 31268 (fscip) R 31239 31242 29026 0 -1 4194368 211016 0 0 0 10014 26 0 0 20 0 3 0 4591110 299773952 51543 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
[pid=31242/tid=31269] ppid=31239 vsize=292748 memory=12132 CPUtime=0 cores=4,6
/proc/31242/task/31269/stat : 31269 (fscip) S 31239 31242 29026 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 4591113 299773952 51543 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 292748 KiB
Current children cumulated memory: 206172 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.22 4.14 5/252 31485
/proc/meminfo: memFree=103582440/131655788 swapFree=131071216/131071996
[pid=31242] ppid=31239 vsize=292748 memory=212900 CPUtime=161.77 cores=4,6
/proc/31242/stat : 31242 (fscip) S 31239 31242 29026 0 -1 1077936128 229164 0 0 0 16144 33 0 0 20 0 3 0 4590958 299773952 53225 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
/proc/31242/statm: 73187 53225 3286 3035 0 55642 0
[pid=31242/tid=31268] ppid=31239 vsize=292748 memory=211068 CPUtime=160.24 cores=4,6
/proc/31242/task/31268/stat : 31268 (fscip) R 31239 31242 29026 0 -1 4194368 216299 0 0 0 15994 30 0 0 20 0 3 0 4591110 299773952 53225 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
[pid=31242/tid=31269] ppid=31239 vsize=292748 memory=202324 CPUtime=0 cores=4,6
/proc/31242/task/31269/stat : 31269 (fscip) S 31239 31242 29026 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 4591113 299773952 53225 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 292748 KiB
Current children cumulated memory: 212900 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.18 4.13 5/252 31496
/proc/meminfo: memFree=103549388/131655788 swapFree=131071216/131071996
[pid=31242] ppid=31239 vsize=292748 memory=235792 CPUtime=221.62 cores=4,6
/proc/31242/stat : 31242 (fscip) S 31239 31242 29026 0 -1 1077936128 240166 0 0 0 22122 40 0 0 20 0 3 0 4590958 299773952 58948 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
/proc/31242/statm: 73187 58948 3286 3035 0 61371 0
[pid=31242/tid=31268] ppid=31239 vsize=292748 memory=235696 CPUtime=220.08 cores=4,6
/proc/31242/task/31268/stat : 31268 (fscip) R 31239 31242 29026 0 -1 4194368 227287 0 0 0 21972 36 0 0 20 0 3 0 4591110 299773952 58948 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
[pid=31242/tid=31269] ppid=31239 vsize=292748 memory=235772 CPUtime=0 cores=4,6
/proc/31242/task/31269/stat : 31269 (fscip) S 31239 31242 29026 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 4591113 299773952 58948 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 292748 KiB
Current children cumulated memory: 235792 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.17 4.13 5/252 31506
/proc/meminfo: memFree=95826032/131655788 swapFree=131071216/131071996
[pid=31242] ppid=31239 vsize=292748 memory=246088 CPUtime=281.46 cores=4,6
################
# More data... #
################
/proc/31242/statm: 240657 217412 3318 3035 0 223548 0
[pid=31242/tid=31268] ppid=31239 vsize=962628 memory=867700 CPUtime=3449.09 cores=4,6
/proc/31242/task/31268/stat : 31268 (fscip) R 31239 31242 29026 0 -1 4194368 1783934 0 0 0 344349 560 0 0 20 0 3 0 4591110 985731072 217412 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
[pid=31242/tid=31269] ppid=31239 vsize=962628 memory=867780 CPUtime=0.05 cores=4,6
/proc/31242/task/31269/stat : 31269 (fscip) S 31239 31242 29026 0 -1 1077936192 53 0 0 0 1 4 0 0 20 0 3 0 4591113 985731072 217412 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
Current children cumulated CPU time: 3450.97 s
Current children cumulated vsize: 962628 KiB
Current children cumulated memory: 869648 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/252 33394
/proc/meminfo: memFree=105017616/131655788 swapFree=131071216/131071996
[pid=31242] ppid=31239 vsize=962628 memory=877648 CPUtime=3510.8 cores=4,6
/proc/31242/stat : 31242 (fscip) S 31239 31242 29026 0 -1 1077936128 1839328 0 0 0 350491 589 0 0 20 0 3 0 4590958 985731072 219412 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
/proc/31242/statm: 240657 219412 3318 3035 0 225584 0
[pid=31242/tid=31268] ppid=31239 vsize=962628 memory=12132 CPUtime=3508.92 cores=4,6
/proc/31242/task/31268/stat : 31268 (fscip) R 31239 31242 29026 0 -1 4194368 1825567 0 0 0 350319 573 0 0 20 0 3 0 4591110 985731072 219412 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
[pid=31242/tid=31269] ppid=31239 vsize=962628 memory=876460 CPUtime=0.05 cores=4,6
/proc/31242/task/31269/stat : 31269 (fscip) S 31239 31242 29026 0 -1 1077936192 54 0 0 0 1 4 0 0 20 0 3 0 4591113 985731072 219412 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
Current children cumulated CPU time: 3510.8 s
Current children cumulated vsize: 962628 KiB
Current children cumulated memory: 877648 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.14 4.16 5/252 33406
/proc/meminfo: memFree=105005944/131655788 swapFree=131071216/131071996
[pid=31242] ppid=31239 vsize=962628 memory=886408 CPUtime=3570.62 cores=4,6
/proc/31242/stat : 31242 (fscip) S 31239 31242 29026 0 -1 1077936128 1880717 0 0 0 356462 600 0 0 20 0 3 0 4590958 985731072 221602 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
/proc/31242/statm: 240657 221602 3318 3035 0 227852 0
[pid=31242/tid=31268] ppid=31239 vsize=962628 memory=12132 CPUtime=3568.73 cores=4,6
/proc/31242/task/31268/stat : 31268 (fscip) R 31239 31242 29026 0 -1 4194368 1866939 0 0 0 356290 583 0 0 20 0 3 0 4591110 985731072 221602 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
[pid=31242/tid=31269] ppid=31239 vsize=962628 memory=16000 CPUtime=0.06 cores=4,6
/proc/31242/task/31269/stat : 31269 (fscip) S 31239 31242 29026 0 -1 1077936192 55 0 0 0 2 4 0 0 20 0 3 0 4591113 985731072 221602 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
Current children cumulated CPU time: 3570.62 s
Current children cumulated vsize: 962628 KiB
Current children cumulated memory: 886408 KiB
[startup+3598.8 s]
# the end of solver process 31242 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.91 s, system=6.17488 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.16 4.14 4.16 5/252 33406
/proc/meminfo: memFree=105005836/131655788 swapFree=131071216/131071996
[pid=31242] ppid=31239 vsize=962628 memory=886412 CPUtime=3572.33 cores=4,6
/proc/31242/stat : 31242 (fscip) S 31239 31242 29026 0 -1 1077936128 1881497 0 0 0 356633 600 0 0 20 0 3 0 4590958 985731072 221603 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
/proc/31242/statm: 240657 221603 3318 3035 0 227852 0
[pid=31242/tid=31268] ppid=31239 vsize=962628 memory=5512 CPUtime=3570.44 cores=4,6
/proc/31242/task/31268/stat : 31268 (fscip) R 31239 31242 29026 0 -1 4194368 1867719 0 0 0 356461 583 0 0 20 0 3 0 4591110 985731072 221603 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
[pid=31242/tid=31269] ppid=31239 vsize=962628 memory=16000 CPUtime=0.06 cores=4,6
/proc/31242/task/31269/stat : 31269 (fscip) S 31239 31242 29026 0 -1 1077936192 55 0 0 0 2 4 0 0 20 0 3 0 4591113 985731072 221603 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
Current children cumulated CPU time: 3572.33 s
Current children cumulated vsize: 962628 KiB
Current children cumulated memory: 886412 KiB
[startup+3590.4 s]
/proc/loadavg: 4.22 4.16 4.16 5/252 33408
/proc/meminfo: memFree=105005796/131655788 swapFree=131071216/131071996
[pid=31242] ppid=31239 vsize=962628 memory=886476 CPUtime=3578.7 cores=4,6
/proc/31242/stat : 31242 (fscip) S 31239 31242 29026 0 -1 1077936128 1883968 0 0 0 357268 602 0 0 20 0 3 0 4590958 985731072 221619 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
/proc/31242/statm: 240657 221619 3318 3035 0 227852 0
[pid=31242/tid=31268] ppid=31239 vsize=962628 memory=886408 CPUtime=3576.81 cores=4,6
/proc/31242/task/31268/stat : 31268 (fscip) R 31239 31242 29026 0 -1 4194368 1870190 0 0 0 357096 585 0 0 20 0 3 0 4591110 985731072 221619 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
[pid=31242/tid=31269] ppid=31239 vsize=962628 memory=12132 CPUtime=0.06 cores=4,6
/proc/31242/task/31269/stat : 31269 (fscip) S 31239 31242 29026 0 -1 1077936192 55 0 0 0 2 4 0 0 20 0 3 0 4591113 985731072 221619 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
Current children cumulated CPU time: 3578.7 s
Current children cumulated vsize: 962628 KiB
Current children cumulated memory: 886476 KiB
[startup+3593.6 s]
/proc/loadavg: 4.21 4.16 4.16 5/252 33408
/proc/meminfo: memFree=105005432/131655788 swapFree=131071216/131071996
[pid=31242] ppid=31239 vsize=962628 memory=886944 CPUtime=3581.89 cores=4,6
/proc/31242/stat : 31242 (fscip) S 31239 31242 29026 0 -1 1077936128 1885776 0 0 0 357587 602 0 0 20 0 3 0 4590958 985731072 221736 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
/proc/31242/statm: 240657 221736 3318 3035 0 227967 0
[pid=31242/tid=31268] ppid=31239 vsize=962628 memory=886412 CPUtime=3580 cores=4,6
/proc/31242/task/31268/stat : 31268 (fscip) R 31239 31242 29026 0 -1 4194368 1871998 0 0 0 357415 585 0 0 20 0 3 0 4591110 985731072 221736 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
[pid=31242/tid=31269] ppid=31239 vsize=962628 memory=-7524225819037752701 CPUtime=0.06 cores=4,6
/proc/31242/task/31269/stat : 31269 (fscip) S 31239 31242 29026 0 -1 1077936192 55 0 0 0 2 4 0 0 20 0 3 0 4591113 985731072 221736 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
Current children cumulated CPU time: 3581.89 s
Current children cumulated vsize: 962628 KiB
Current children cumulated memory: 886944 KiB
[startup+3596.8 s]
/proc/loadavg: 4.19 4.15 4.16 5/252 33408
/proc/meminfo: memFree=105005228/131655788 swapFree=131071216/131071996
[pid=31242] ppid=31239 vsize=962628 memory=886956 CPUtime=3585.08 cores=4,6
/proc/31242/stat : 31242 (fscip) S 31239 31242 29026 0 -1 1077936128 1892079 0 0 0 357905 603 0 0 20 0 3 0 4590958 985731072 221739 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
/proc/31242/statm: 240657 221739 3318 3035 0 227967 0
[pid=31242/tid=31268] ppid=31239 vsize=962628 memory=12132 CPUtime=3583.19 cores=4,6
/proc/31242/task/31268/stat : 31268 (fscip) R 31239 31242 29026 0 -1 4194368 1878301 0 0 0 357733 586 0 0 20 0 3 0 4591110 985731072 221739 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
[pid=31242/tid=31269] ppid=31239 vsize=962628 memory=886432 CPUtime=0.06 cores=4,6
/proc/31242/task/31269/stat : 31269 (fscip) S 31239 31242 29026 0 -1 1077936192 55 0 0 0 2 4 0 0 20 0 3 0 4591113 985731072 221739 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
Current children cumulated CPU time: 3585.08 s
Current children cumulated vsize: 962628 KiB
Current children cumulated memory: 886956 KiB
[startup+3597.6 s]
/proc/loadavg: 4.19 4.15 4.16 5/252 33408
/proc/meminfo: memFree=105005228/131655788 swapFree=131071216/131071996
[pid=31242] ppid=31239 vsize=962628 memory=886960 CPUtime=3585.88 cores=4,6
/proc/31242/stat : 31242 (fscip) S 31239 31242 29026 0 -1 1077936128 1892773 0 0 0 357985 603 0 0 20 0 3 0 4590958 985731072 221740 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
/proc/31242/statm: 240657 221740 3318 3035 0 227967 0
[pid=31242/tid=31268] ppid=31239 vsize=962628 memory=5512 CPUtime=3583.99 cores=4,6
/proc/31242/task/31268/stat : 31268 (fscip) R 31239 31242 29026 0 -1 4194368 1878995 0 0 0 357813 586 0 0 20 0 3 0 4591110 985731072 221740 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
[pid=31242/tid=31269] ppid=31239 vsize=962628 memory=16000 CPUtime=0.06 cores=4,6
/proc/31242/task/31269/stat : 31269 (fscip) S 31239 31242 29026 0 -1 1077936192 55 0 0 0 2 4 0 0 20 0 3 0 4591113 985731072 221740 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
Current children cumulated CPU time: 3585.88 s
Current children cumulated vsize: 962628 KiB
Current children cumulated memory: 886960 KiB
[startup+3598.4 s]
/proc/loadavg: 4.19 4.15 4.16 5/252 33408
/proc/meminfo: memFree=105005236/131655788 swapFree=131071216/131071996
[pid=31242] ppid=31239 vsize=962628 memory=886964 CPUtime=3586.68 cores=4,6
/proc/31242/stat : 31242 (fscip) S 31239 31242 29026 0 -1 1077936128 1986069 0 0 0 358059 609 0 0 20 0 3 0 4590958 985731072 221741 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
/proc/31242/statm: 240657 221741 3318 3035 0 227967 0
[pid=31242/tid=31268] ppid=31239 vsize=962628 memory=12132 CPUtime=3584.79 cores=4,6
/proc/31242/task/31268/stat : 31268 (fscip) R 31239 31242 29026 0 -1 4194368 1972313 0 0 0 357887 592 0 0 20 0 3 0 4591110 985731072 221741 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
[pid=31242/tid=31269] ppid=31239 vsize=962628 memory=886960 CPUtime=0.06 cores=4,6
/proc/31242/task/31269/stat : 31269 (fscip) S 31239 31242 29026 0 -1 1077936192 55 0 0 0 2 4 0 0 20 0 3 0 4591113 985731072 221741 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
Current children cumulated CPU time: 3586.68 s
Current children cumulated vsize: 962628 KiB
Current children cumulated memory: 886964 KiB
[startup+3598.6 s]
/proc/loadavg: 4.19 4.15 4.16 5/252 33408
/proc/meminfo: memFree=105005236/131655788 swapFree=131071216/131071996
[pid=31242] ppid=31239 vsize=962628 memory=886964 CPUtime=3586.88 cores=4,6
/proc/31242/stat : 31242 (fscip) S 31239 31242 29026 0 -1 1077936128 2015006 0 0 0 358077 611 0 0 20 0 3 0 4590958 985731072 221741 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
/proc/31242/statm: 240657 221741 3318 3035 0 227967 0
[pid=31242/tid=31268] ppid=31239 vsize=962628 memory=886956 CPUtime=3584.99 cores=4,6
/proc/31242/task/31268/stat : 31268 (fscip) R 31239 31242 29026 0 -1 4194368 2001225 0 0 0 357905 594 0 0 20 0 3 0 4591110 985731072 221741 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
[pid=31242/tid=31269] ppid=31239 vsize=962628 memory=1640 CPUtime=0.06 cores=4,6
/proc/31242/task/31269/stat : 31269 (fscip) S 31239 31242 29026 0 -1 1077936192 55 0 0 0 2 4 0 0 20 0 3 0 4591113 985731072 221741 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
Current children cumulated CPU time: 3586.88 s
Current children cumulated vsize: 962628 KiB
Current children cumulated memory: 886964 KiB
[startup+3598.7 s]
/proc/loadavg: 4.19 4.15 4.16 5/252 33408
/proc/meminfo: memFree=105005236/131655788 swapFree=131071216/131071996
[pid=31242] ppid=31239 vsize=962628 memory=886964 CPUtime=3586.98 cores=4,6
/proc/31242/stat : 31242 (fscip) S 31239 31242 29026 0 -1 1077936128 2023752 0 0 0 358086 612 0 0 20 0 3 0 4590958 985731072 221741 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
/proc/31242/statm: 240657 221741 3318 3035 0 227967 0
[pid=31242/tid=31268] ppid=31239 vsize=962628 memory=886412 CPUtime=3585.09 cores=4,6
/proc/31242/task/31268/stat : 31268 (fscip) R 31239 31242 29026 0 -1 4194368 2009971 0 0 0 357914 595 0 0 20 0 3 0 4591110 985731072 221741 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
[pid=31242/tid=31269] ppid=31239 vsize=962628 memory=886460 CPUtime=0.06 cores=4,6
/proc/31242/task/31269/stat : 31269 (fscip) S 31239 31242 29026 0 -1 1077936192 55 0 0 0 2 4 0 0 20 0 3 0 4591113 985731072 221741 134679101440 4194304 16623229 140725062807504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31543296 140725062816790 140725062816906 140725062816906 140725062823920 0
Current children cumulated CPU time: 3586.98 s
Current children cumulated vsize: 962628 KiB
Current children cumulated memory: 886964 KiB
Child status: 0
Real time (s): 3598.8
CPU time (s): 3587.09
CPU user time (s): 3580.91
CPU system time (s): 6.17488
CPU usage (%): 99.6745
Max. virtual memory (cumulated for all children) (KiB): 962628
Max. memory (cumulated for all children) (KiB): 886964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.91
system time used= 6.17488
maximum resident set size= 886964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2025915
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10774
involuntary context switches= 4797
# summary of solver processes directly reported to runsolver:
# pid: 31242
# total CPU time (s): 3587.09
# total CPU user time (s): 3580.91
# total CPU system time (s): 6.17488
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1586 second user time and 37.0018 second system time
The end
Begin job on nodeC003 at 2024-07-31 01:29:55
IDJOB=4464124
IDBENCH=148770
IDSOLVER=3092
FILE ID=nodeC003/4464124-1722382195
RUNJOBID= nodeC003-1722378594-29037
SLURM_JOB_ID= 8249833
Free space on /tmp= 723648 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx49.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464124-1722382195/watcher-4464124-1722382195 -o /tmp/evaluation-result-4464124-1722382195/solver-4464124-1722382195 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722378594-29037 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464124-1722382195.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a
RANDOM SEED=1367756045
nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3672.510
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3614.816
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.346
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.175
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.177
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.179
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.180
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.183
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 115199240 kB
MemAvailable: 125510844 kB
Buffers: 89136 kB
Cached: 11048636 kB
SwapCached: 16 kB
Active: 343376 kB
Inactive: 15655224 kB
Active(anon): 1424 kB
Inactive(anon): 4880608 kB
Active(file): 341952 kB
Inactive(file): 10774616 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 57028 kB
Writeback: 12 kB
AnonPages: 4860884 kB
Mapped: 112912 kB
Shmem: 21156 kB
KReclaimable: 70472 kB
Slab: 146728 kB
SReclaimable: 70472 kB
SUnreclaim: 76256 kB
KernelStack: 3824 kB
PageTables: 18844 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 3924968 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6784 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3837952 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 277320 kB
DirectMap2M: 6967296 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 723620 MiB
End job on nodeC003 at 2024-07-31 02:29:54