0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
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.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
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.2.1 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.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 24408064, getVmSize() = 24408064, SCIPgetMemUsed() = 2320613, SCIPgetMemTotal() = 2907149, SCIPgetMemExternEstim() = 1048576
0.00/0.01 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.06 c ** Estimated virtualMemUsedAtSolver = 18008746, getVmSize() = 29618176, SCIPgetMemUsed() = 3297879, SCIPgetMemTotal() = 6614919, SCIPgetMemExternEstim() = 1048576
0.00/0.06 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.06 c Original Problem :
0.00/0.06 c Problem name : instance-4434645-1721084942
0.00/0.06 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 476
0.00/0.06 c Objective sense : minimize
0.00/0.06 c Presolved Problem :
0.00/0.06 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 554
0.00/0.06 c Constraints : Number
0.00/0.06 c knapsack : 432
0.00/0.06 c setppc : 105
0.00/0.06 c logicor : 17
0.00/0.06 c ** Instance transfer method used: 0
0.00/0.07 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.08 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.08 c Nodes Active
0.00/0.08 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.10/0.11 c * 0 0 1 1 217.0000 - -
0.10/0.11 c * 0 0 1 1 206.0000 - -
5.87/5.91 c 6 2 1 1 206.0000 164.3526 25.34%
11.07/11.19 c 11 9 8 1 206.0000 164.5029 25.23%
16.25/16.37 c 16 13 12 1 206.0000 164.5029 25.23%
18.34/18.47 c * 18 15 14 1 205.0000 164.5029 24.62%
21.43/21.56 c 22 86 85 1 205.0000 164.5307 24.60%
23.63/23.75 c * 24 93 92 1 204.0000 164.5307 23.99%
26.43/26.50 c * 26 138 137 1 202.0000 164.5307 22.77%
26.43/26.50 c * 26 138 137 1 199.0000 164.5307 20.95%
26.72/26.85 c 27 177 176 1 199.0000 164.5307 20.95%
32.21/32.35 c 32 273 272 1 199.0000 164.5307 20.95%
37.49/37.69 c 38 342 341 1 199.0000 164.6793 20.84%
39.38/39.52 c * 40 362 361 1 196.0000 164.6847 19.02%
43.08/43.27 c 43 402 401 1 196.0000 164.7102 19.00%
48.46/48.63 c 49 462 461 1 196.0000 164.7894 18.94%
54.26/54.41 c 54 537 536 1 196.0000 164.8659 18.88%
60.24/60.48 c 60 613 612 1 196.0000 164.9162 18.85%
65.43/65.66 c 66 700 699 1 196.0000 164.9381 18.83%
71.41/71.61 c 72 797 796 1 196.0000 165.0081 18.78%
77.50/77.70 c 78 883 882 1 196.0000 165.0370 18.76%
82.68/82.96 c 83 973 972 1 196.0000 165.0370 18.76%
89.57/89.88 c 90 1051 1 1 196.0000 165.0370 18.76%
95.16/95.46 c 95 1056 6 1 196.0000 165.0370 18.76%
100.76/101.05 c 101 1069 19 1 196.0000 165.0370 18.76%
106.93/107.29 c 107 1099 49 1 196.0000 165.0370 18.76%
112.61/112.95 c 113 1167 117 1 196.0000 165.0370 18.76%
118.00/118.39 c 118 1481 345 1 196.0000 165.0370 18.76%
123.39/123.73 c 124 1845 447 1 196.0000 165.0370 18.76%
128.97/129.37 c 129 2114 524 1 196.0000 165.0440 18.76%
134.45/134.81 c 135 2511 587 1 196.0000 165.0676 18.74%
140.14/140.57 c 141 2705 665 1 196.0000 165.1163 18.70%
145.93/146.32 c 146 2947 737 1 196.0000 165.1674 18.67%
151.02/151.48 c 151 3108 802 1 196.0000 165.2363 18.62%
152.32/152.75 c * 153 3125 815 1 195.0000 165.2381 18.01%
156.21/156.64 c 157 3245 828 1 195.0000 165.2641 17.99%
161.39/161.80 c 162 3431 890 1 195.0000 165.2800 17.98%
167.28/167.75 c 168 3710 991 1 195.0000 165.3058 17.96%
172.96/173.41 c 173 3899 1084 1 195.0000 165.3245 17.95%
178.85/179.40 c 179 4298 1183 1 195.0000 165.3407 17.94%
184.34/184.83 c 185 4561 1250 1 195.0000 165.3552 17.93%
189.82/190.31 c 190 4771 1332 1 195.0000 165.3721 17.92%
195.62/196.17 c 196 5029 1396 1 195.0000 165.3878 17.90%
201.50/202.06 c 202 5221 1464 1 195.0000 165.3997 17.90%
206.88/207.42 c 207 5491 1534 1 195.0000 165.4182 17.88%
212.77/213.31 c 213 5801 1624 1 195.0000 165.4313 17.87%
217.86/218.46 c 218 6083 1708 1 195.0000 165.4458 17.86%
223.55/224.11 c 224 6371 1810 1 195.0000 165.4535 17.86%
229.13/229.73 c 230 6791 2000 1 195.0000 165.4592 17.85%
234.71/235.35 c 235 7051 2080 1 195.0000 165.4712 17.85%
237.11/237.79 c * 238 7171 2118 1 194.0000 165.4743 17.24%
239.70/240.37 c 240 7301 2095 1 194.0000 165.4765 17.24%
245.09/245.77 c 246 7485 2157 1 194.0000 165.4788 17.24%
250.58/251.29 c 251 7721 2265 1 194.0000 165.4932 17.23%
256.26/256.98 c 257 8043 2361 1 194.0000 165.5098 17.21%
261.95/262.65 c 263 8211 2439 1 194.0000 165.5282 17.20%
267.23/267.97 c 268 8581 2525 1 194.0000 165.5342 17.20%
272.51/273.25 c 273 8837 2605 1 194.0000 165.5410 17.19%
277.80/278.52 c 279 9057 2693 1 194.0000 165.5613 17.18%
282.78/283.53 c 284 9335 2745 1 194.0000 165.5613 17.18%
288.29/289.02 c 289 9571 2805 1 194.0000 165.5818 17.16%
293.28/294.09 c 294 9831 2869 1 194.0000 165.5925 17.16%
299.15/299.99 c 300 10151 2945 1 194.0000 165.5988 17.15%
305.24/306.05 c 306 10461 3011 1 194.0000 165.6032 17.15%
311.11/311.94 c 312 10781 3083 1 194.0000 165.6094 17.14%
316.70/317.54 c 318 11064 3172 1 194.0000 165.6264 17.13%
321.69/322.56 c 323 11330 3230 1 194.0000 165.6295 17.13%
326.87/327.71 c 328 11604 3284 1 194.0000 165.6340 17.13%
332.86/333.79 c 334 11865 3365 1 194.0000 165.6357 17.12%
338.94/339.81 c 340 12082 3450 1 194.0000 165.6447 17.12%
344.63/345.51 c 346 12315 3543 1 194.0000 165.6546 17.11%
350.62/351.59 c 352 12601 3627 1 194.0000 165.6660 17.10%
356.31/357.28 c 357 12801 3731 1 194.0000 165.6755 17.10%
361.49/362.45 c 362 13091 3847 1 194.0000 165.6855 17.09%
367.09/368.02 c 368 13373 3929 1 194.0000 165.6922 17.08%
372.36/373.33 c 373 13704 4018 1 194.0000 165.6944 17.08%
378.25/379.23 c 379 13933 4121 1 194.0000 165.6996 17.08%
384.24/385.20 c 385 14241 4211 1 194.0000 165.7010 17.08%
389.83/390.85 c 391 14581 4275 1 194.0000 165.7074 17.07%
394.81/395.89 c 396 14801 4337 1 194.0000 165.7124 17.07%
399.89/401.01 c 401 14981 4443 1 194.0000 165.7137 17.07%
405.17/406.22 c 406 15095 4501 1 194.0000 165.7147 17.07%
410.96/412.05 c 412 15351 4581 1 194.0000 165.7249 17.06%
416.43/417.58 c 418 15576 4656 1 194.0000 165.7325 17.06%
421.72/422.88 c 423 15758 4730 1 194.0000 165.7391 17.05%
427.10/428.27 c 428 16091 4777 1 194.0000 165.7434 17.05%
432.90/434.05 c 434 16331 4857 1 194.0000 165.7517 17.04%
438.17/439.35 c 439 16661 5015 1 194.0000 165.7651 17.03%
443.55/444.77 c 445 16991 5117 1 194.0000 165.7739 17.03%
448.94/450.16 c 450 17329 5225 1 194.0000 165.7782 17.02%
454.71/455.95 c 456 17681 5295 1 194.0000 165.7807 17.02%
460.79/462.02 c 462 18001 5363 1 194.0000 165.7858 17.02%
465.79/467.10 c 467 18501 5473 1 194.0000 165.7909 17.01%
471.46/472.76 c 473 18663 5561 1 194.0000 165.7963 17.01%
477.45/478.75 c 479 19070 5648 1 194.0000 165.7986 17.01%
482.64/483.95 c 484 19511 5747 1 194.0000 165.8061 17.00%
487.82/489.16 c 489 19811 5831 1 194.0000 165.8171 17.00%
493.60/494.90 c 495 19985 5905 1 194.0000 165.8233 16.99%
498.89/500.20 c 500 20461 6025 1 194.0000 165.8325 16.99%
504.57/505.99 c 506 21051 6215 1 194.0000 165.8353 16.98%
509.66/511.03 c 511 21271 6291 1 194.0000 165.8400 16.98%
515.23/516.63 c 517 21591 6373 1 194.0000 165.8455 16.98%
520.22/521.63 c 522 21841 6455 1 194.0000 165.8497 16.97%
525.21/526.68 c 527 22071 6551 1 194.0000 165.8571 16.97%
531.00/532.40 c 532 22531 6689 1 194.0000 165.8674 16.96%
536.39/537.81 c 538 22721 6777 1 194.0000 165.8767 16.95%
541.97/543.47 c 543 23001 6869 1 194.0000 165.8894 16.95%
547.35/548.86 c 549 23281 6957 1 194.0000 165.8962 16.94%
552.84/554.33 c 554 23541 7061 1 194.0000 165.9074 16.93%
558.03/559.57 c 560 23811 7119 1 194.0000 165.9124 16.93%
563.92/565.42 c 565 23971 7169 1 194.0000 165.9191 16.92%
569.11/570.69 c 571 24092 7222 1 194.0000 165.9204 16.92%
574.99/576.58 c 577 24434 7304 1 194.0000 165.9219 16.92%
580.58/582.14 c 582 24595 7351 1 194.0000 165.9260 16.92%
585.86/587.43 c 587 24835 7401 1 194.0000 165.9272 16.92%
592.34/593.97 c 594 25105 7571 1 194.0000 165.9302 16.92%
599.44/601.05 c 601 25315 7655 1 194.0000 165.9331 16.91%
605.42/607.08 c 607 25485 7719 1 194.0000 165.9348 16.91%
610.42/612.09 c 612 25685 7783 1 194.0000 165.9380 16.91%
615.89/617.59 c 618 25872 7854 1 194.0000 165.9406 16.91%
621.18/622.85 c 623 26241 7939 1 194.0000 165.9432 16.91%
626.26/627.98 c 628 26371 7997 1 194.0000 165.9456 16.91%
632.05/633.76 c 634 26545 8065 1 194.0000 165.9477 16.90%
637.45/639.12 c 639 26755 8153 1 194.0000 165.9500 16.90%
643.12/644.86 c 645 26935 8185 1 194.0000 165.9537 16.90%
648.71/650.47 c 650 27240 8230 1 194.0000 165.9560 16.90%
654.10/655.82 c 656 27421 8291 1 194.0000 165.9633 16.89%
659.29/661.01 c 661 27591 8341 1 194.0000 165.9661 16.89%
665.16/666.95 c 667 27985 8437 1 194.0000 165.9704 16.89%
670.26/672.08 c 672 28181 8481 1 194.0000 165.9744 16.89%
676.24/678.10 c 678 28435 8539 1 194.0000 165.9769 16.88%
681.72/683.54 c 684 28792 8612 1 194.0000 165.9774 16.88%
687.02/688.81 c 689 29051 8677 1 194.0000 165.9856 16.88%
692.21/694.03 c 694 29251 8733 1 194.0000 165.9881 16.88%
698.19/700.05 c 700 29415 8799 1 194.0000 165.9913 16.87%
704.07/705.92 c 706 29525 8859 1 194.0000 165.9923 16.87%
709.95/711.87 c 712 29635 8905 1 194.0000 165.9949 16.87%
715.74/717.61 c 718 29755 8967 1 194.0000 165.9973 16.87%
721.42/723.36 c 723 30065 9063 1 194.0000 166.0014 16.87%
726.62/728.54 c 729 30245 9125 1 194.0000 166.0062 16.86%
731.61/733.57 c 734 30535 9187 1 194.0000 166.0085 16.86%
736.79/738.77 c 739 30731 9231 1 194.0000 166.0105 16.86%
742.28/744.21 c 744 30941 9301 1 194.0000 166.0110 16.86%
748.08/750.05 c 750 31075 9359 1 194.0000 166.0143 16.86%
753.35/755.32 c 755 31323 9413 1 194.0000 166.0160 16.86%
758.74/760.74 c 761 31681 9439 1 194.0000 166.0172 16.86%
763.83/765.82 c 766 31971 9493 1 194.0000 166.0178 16.85%
769.71/771.72 c 772 32085 9559 1 194.0000 166.0209 16.85%
776.02/778.04 c 778 32285 9609 1 194.0000 166.0230 16.85%
781.19/783.22 c 783 32535 9659 1 194.0000 166.0257 16.85%
786.28/788.37 c 788 32655 9705 1 194.0000 166.0279 16.85%
791.98/794.05 c 794 32881 9753 1 194.0000 166.0298 16.85%
796.96/799.08 c 799 33014 9814 1 194.0000 166.0341 16.84%
802.73/804.90 c 805 33310 9870 1 194.0000 166.0399 16.84%
808.53/810.67 c 811 33535 9913 1 194.0000 166.0435 16.84%
813.93/816.08 c 816 33831 9997 1 194.0000 166.0447 16.84%
819.80/821.90 c 822 34025 10067 1 194.0000 166.0470 16.83%
825.39/827.60 c 828 34181 10111 1 194.0000 166.0490 16.83%
831.57/833.74 c 834 34345 10167 1 194.0000 166.0515 16.83%
836.56/838.74 c 839 34621 10249 1 194.0000 166.0560 16.83%
842.54/844.76 c 845 34885 10325 1 194.0000 166.0586 16.83%
847.73/850.01 c 850 35074 10396 1 194.0000 166.0643 16.82%
853.11/855.32 c 855 35185 10439 1 194.0000 166.0657 16.82%
858.20/860.45 c 860 35285 10495 1 194.0000 166.0711 16.82%
863.80/866.08 c 866 35445 10559 1 194.0000 166.0737 16.82%
870.07/872.34 c 872 35725 10621 1 194.0000 166.0759 16.81%
875.88/878.17 c 878 35912 10690 1 194.0000 166.0833 16.81%
881.35/883.66 c 884 36085 10747 1 194.0000 166.0899 16.80%
886.64/888.97 c 889 36235 10831 1 194.0000 166.0938 16.80%
891.84/894.17 c 894 36508 10874 1 194.0000 166.0982 16.80%
897.32/899.64 c 900 36711 10921 1 194.0000 166.1002 16.80%
903.20/905.56 c 906 36892 10982 1 194.0000 166.1025 16.80%
908.39/910.80 c 911 36971 11035 1 194.0000 166.1056 16.79%
913.69/916.03 c 916 37211 11103 1 194.0000 166.1083 16.79%
919.36/921.77 c 922 37341 11161 1 194.0000 166.1114 16.79%
925.05/927.44 c 927 37635 11215 1 194.0000 166.1151 16.79%
930.83/933.25 c 933 37924 11286 1 194.0000 166.1179 16.78%
936.73/939.17 c 939 38130 11366 1 194.0000 166.1198 16.78%
941.72/944.19 c 944 38461 11405 1 194.0000 166.1214 16.78%
946.90/949.35 c 949 38657 11477 1 194.0000 166.1224 16.78%
952.49/954.93 c 955 38911 11529 1 194.0000 166.1247 16.78%
957.59/960.07 c 960 39079 11591 1 194.0000 166.1251 16.78%
962.97/965.44 c 965 39301 11651 1 194.0000 166.1265 16.78%
968.25/970.70 c 971 39431 11725 1 194.0000 166.1323 16.77%
973.34/975.84 c 976 39631 11793 1 194.0000 166.1370 16.77%
979.33/981.86 c 982 39775 11883 1 194.0000 166.1403 16.77%
984.53/987.02 c 987 39981 11947 1 194.0000 166.1422 16.77%
990.10/992.64 c 993 40155 12015 1 194.0000 166.1445 16.77%
995.68/998.25 c 998 40411 12093 1 194.0000 166.1475 16.76%
1001.07/1003.60 c 1004 40505 12151 1 194.0000 166.1509 16.76%
1006.56/1009.18 c 1009 40685 12225 1 194.0000 166.1535 16.76%
1012.45/1015.02 c 1015 40844 12290 1 194.0000 166.1552 16.76%
1018.12/1020.70 c 1021 41044 12352 1 194.0000 166.1573 16.76%
1023.71/1026.35 c 1026 41395 12425 1 194.0000 166.1594 16.76%
1029.00/1031.62 c 1032 41661 12477 1 194.0000 166.1614 16.75%
1034.19/1036.86 c 1037 41954 12556 1 194.0000 166.1622 16.75%
1039.78/1042.41 c 1042 42171 12617 1 194.0000 166.1644 16.75%
1044.86/1047.53 c 1048 42350 12686 1 194.0000 166.1666 16.75%
1050.46/1053.12 c 1053 42731 12807 1 194.0000 166.1692 16.75%
1056.44/1059.16 c 1059 42965 12897 1 194.0000 166.1698 16.75%
1061.82/1064.56 c 1065 43297 12991 1 194.0000 166.1714 16.75%
1067.51/1070.22 c 1070 43620 13050 1 194.0000 166.1725 16.75%
1072.99/1075.71 c 1076 43839 13133 1 194.0000 166.1747 16.74%
1078.58/1081.32 c 1081 44085 13185 1 194.0000 166.1772 16.74%
1084.17/1086.98 c 1087 44523 13235 1 194.0000 166.1798 16.74%
1089.76/1092.53 c 1093 44911 13319 1 194.0000 166.1849 16.74%
1095.65/1098.43 c 1098 45125 13371 1 194.0000 166.1868 16.74%
1100.83/1103.62 c 1104 45401 13437 1 194.0000 166.1880 16.74%
1106.91/1109.76 c 1110 45745 13505 1 194.0000 166.1893 16.73%
1112.22/1115.05 c 1115 45951 13561 1 194.0000 166.1906 16.73%
1118.20/1121.08 c 1121 46141 13639 1 194.0000 166.1928 16.73%
1123.48/1126.30 c 1126 46251 13691 1 194.0000 166.1938 16.73%
1128.56/1131.44 c 1131 46361 13749 1 194.0000 166.1969 16.73%
1133.65/1136.55 c 1137 46505 13813 1 194.0000 166.1990 16.73%
1139.64/1142.57 c 1143 46741 13907 1 194.0000 166.2022 16.73%
1144.82/1147.77 c 1148 46881 13969 1 194.0000 166.2048 16.72%
1150.22/1153.14 c 1153 47241 14033 1 194.0000 166.2071 16.72%
1156.00/1158.95 c 1159 47412 14088 1 194.0000 166.2102 16.72%
1161.88/1164.85 c 1165 47595 14139 1 194.0000 166.2127 16.72%
1167.18/1170.16 c 1170 47721 14199 1 194.0000 166.2171 16.71%
1172.76/1175.77 c 1176 48006 14266 1 194.0000 166.2183 16.71%
1177.84/1180.88 c 1181 48381 14339 1 194.0000 166.2217 16.71%
1183.23/1186.29 c 1186 48525 14405 1 194.0000 166.2228 16.71%
1188.62/1191.69 c 1192 48661 14485 1 194.0000 166.2268 16.71%
1194.50/1197.58 c 1198 48915 14535 1 194.0000 166.2275 16.71%
1199.79/1202.81 c 1203 49111 14609 1 194.0000 166.2302 16.71%
1205.57/1208.68 c 1209 49358 14682 1 194.0000 166.2319 16.70%
1210.65/1213.74 c 1214 49681 14747 1 194.0000 166.2360 16.70%
1216.23/1219.31 c 1219 49985 14801 1 194.0000 166.2378 16.70%
1221.32/1224.48 c 1224 50184 14862 1 194.0000 166.2407 16.70%
1226.91/1230.07 c 1230 50431 14921 1 194.0000 166.2458 16.69%
1232.68/1235.85 c 1236 50575 14991 1 194.0000 166.2464 16.69%
1237.77/1241.00 c 1241 50911 15059 1 194.0000 166.2487 16.69%
1243.35/1246.58 c 1247 51341 15253 1 194.0000 166.2499 16.69%
1248.43/1251.62 c 1252 51451 15313 1 194.0000 166.2523 16.69%
1253.42/1256.64 c 1257 51681 15365 1 194.0000 166.2547 16.69%
1258.41/1261.65 c 1262 51851 15433 1 194.0000 166.2574 16.69%
1264.09/1267.38 c 1267 52081 15497 1 194.0000 166.2597 16.68%
1269.79/1273.10 c 1273 52217 15559 1 194.0000 166.2615 16.68%
1275.26/1278.52 c 1279 52435 15617 1 194.0000 166.2635 16.68%
1280.24/1283.55 c 1284 52628 15690 1 194.0000 166.2658 16.68%
1285.74/1289.11 c 1289 52891 15783 1 194.0000 166.2691 16.68%
1291.61/1294.94 c 1295 53061 15847 1 194.0000 166.2712 16.68%
1297.19/1300.58 c 1301 53254 15916 1 194.0000 166.2726 16.68%
1303.07/1306.41 c 1306 53453 15993 1 194.0000 166.2738 16.67%
1308.16/1311.55 c 1312 53801 16077 1 194.0000 166.2753 16.67%
1313.43/1316.88 c 1317 54091 16135 1 194.0000 166.2762 16.67%
1319.22/1322.68 c 1323 54335 16213 1 194.0000 166.2779 16.67%
1324.80/1328.28 c 1328 54525 16287 1 194.0000 166.2791 16.67%
1329.98/1333.40 c 1333 54791 16349 1 194.0000 166.2823 16.67%
1335.17/1338.68 c 1339 55080 16438 1 194.0000 166.2841 16.67%
1341.25/1344.73 c 1345 55391 16537 1 194.0000 166.2861 16.67%
1347.33/1350.84 c 1351 55515 16601 1 194.0000 166.2869 16.67%
1353.22/1356.78 c 1357 55711 16687 1 194.0000 166.2886 16.66%
1358.90/1362.47 c 1362 55901 16743 1 194.0000 166.2907 16.66%
1364.59/1368.14 c 1368 56055 16825 1 194.0000 166.2937 16.66%
1370.16/1373.74 c 1374 56371 16889 1 194.0000 166.2952 16.66%
1376.04/1379.69 c 1380 56655 16951 1 194.0000 166.2999 16.66%
1381.44/1385.08 c 1385 56898 17022 1 194.0000 166.3024 16.65%
1387.52/1391.17 c 1391 57085 17073 1 194.0000 166.3053 16.65%
1392.90/1396.55 c 1397 57251 17141 1 194.0000 166.3086 16.65%
1398.78/1402.44 c 1402 57665 17207 1 194.0000 166.3097 16.65%
1403.96/1407.63 c 1408 57891 17299 1 194.0000 166.3114 16.65%
1409.15/1412.82 c 1413 58051 17359 1 194.0000 166.3128 16.65%
1414.23/1417.90 c 1418 58301 17421 1 194.0000 166.3142 16.65%
1419.61/1423.33 c 1423 58501 17505 1 194.0000 166.3162 16.65%
1425.09/1428.80 c 1429 58671 17593 1 194.0000 166.3175 16.64%
1430.48/1434.26 c 1434 58921 17659 1 194.0000 166.3189 16.64%
1435.56/1439.30 c 1439 59121 17717 1 194.0000 166.3206 16.64%
1441.05/1444.80 c 1445 59273 17783 1 194.0000 166.3211 16.64%
1446.13/1449.96 c 1450 59542 17848 1 194.0000 166.3241 16.64%
1451.62/1455.42 c 1455 59811 17915 1 194.0000 166.3253 16.64%
1456.90/1460.75 c 1461 59935 17975 1 194.0000 166.3269 16.64%
1461.99/1465.89 c 1466 60183 18033 1 194.0000 166.3283 16.64%
1466.08/1469.95 c * 1470 60365 18083 1 193.0000 166.3305 16.03%
1467.29/1471.12 c 1471 60481 17592 1 193.0000 166.3310 16.03%
1472.67/1476.52 c 1477 60651 17628 1 193.0000 166.3317 16.03%
1477.66/1481.56 c 1482 60801 17670 1 193.0000 166.3335 16.03%
1483.75/1487.65 c 1488 60895 17732 1 193.0000 166.3353 16.03%
1488.83/1492.71 c 1493 61071 17760 1 193.0000 166.3379 16.03%
1494.01/1497.98 c 1498 61201 17802 1 193.0000 166.3395 16.03%
1499.21/1503.17 c 1503 61398 17843 1 193.0000 166.3399 16.03%
1504.38/1508.37 c 1508 61535 17898 1 193.0000 166.3415 16.03%
1510.08/1514.02 c 1514 61781 17954 1 193.0000 166.3427 16.03%
1515.86/1519.87 c 1520 62098 18055 1 193.0000 166.3436 16.02%
1521.25/1525.25 c 1525 62326 18125 1 193.0000 166.3444 16.02%
1526.82/1530.84 c 1531 62501 18200 1 193.0000 166.3461 16.02%
1532.51/1536.57 c 1537 62641 18264 1 193.0000 166.3486 16.02%
1538.19/1542.25 c 1542 62931 18332 1 193.0000 166.3497 16.02%
1543.38/1547.44 c 1547 63088 18431 1 193.0000 166.3501 16.02%
1548.76/1552.88 c 1553 63301 18534 1 193.0000 166.3519 16.02%
1554.15/1558.21 c 1558 63490 18611 1 193.0000 166.3527 16.02%
1559.15/1563.28 c 1563 63741 18690 1 193.0000 166.3539 16.02%
1564.34/1568.48 c 1568 63931 18762 1 193.0000 166.3561 16.02%
1569.52/1573.62 c 1574 64191 18850 1 193.0000 166.3565 16.02%
1574.61/1578.78 c 1579 64421 18918 1 193.0000 166.3575 16.02%
1580.30/1584.41 c 1584 64555 19002 1 193.0000 166.3597 16.01%
1585.29/1589.46 c 1589 64911 19094 1 193.0000 166.3617 16.01%
1592.07/1596.21 c 1596 65155 19202 1 193.0000 166.3621 16.01%
1597.16/1601.36 c 1601 65371 19304 1 193.0000 166.3634 16.01%
1602.24/1606.41 c 1606 65701 19402 1 193.0000 166.3654 16.01%
1607.43/1611.68 c 1612 65937 19478 1 193.0000 166.3679 16.01%
1612.93/1617.14 c 1617 66201 19552 1 193.0000 166.3695 16.01%
1618.41/1622.68 c 1623 66435 19638 1 193.0000 166.3713 16.01%
1623.90/1628.17 c 1628 66713 19728 1 193.0000 166.3735 16.00%
1629.08/1633.34 c 1633 67011 19816 1 193.0000 166.3749 16.00%
1634.27/1638.58 c 1639 67281 19902 1 193.0000 166.3756 16.00%
1639.95/1644.25 c 1644 67575 20004 1 193.0000 166.3772 16.00%
1645.45/1649.78 c 1650 67969 20088 1 193.0000 166.3785 16.00%
1651.14/1655.41 c 1655 68271 20192 1 193.0000 166.3797 16.00%
1656.32/1660.62 c 1661 68479 20270 1 193.0000 166.3807 16.00%
1661.72/1666.02 c 1666 68711 20352 1 193.0000 166.3838 16.00%
1667.59/1671.95 c 1672 69019 20430 1 193.0000 166.3846 16.00%
1672.69/1677.11 c 1677 69198 20491 1 193.0000 166.3873 15.99%
1678.47/1682.83 c 1683 69555 20560 1 193.0000 166.3885 15.99%
1684.15/1688.50 c 1688 69781 20644 1 193.0000 166.3910 15.99%
1689.54/1693.99 c 1694 69935 20710 1 193.0000 166.3912 15.99%
1694.93/1699.39 c 1699 70151 20750 1 193.0000 166.3921 15.99%
1700.92/1705.31 c 1705 70391 20824 1 193.0000 166.3932 15.99%
1706.00/1710.49 c 1710 70671 20904 1 193.0000 166.3953 15.99%
1711.29/1715.73 c 1716 70861 20980 1 193.0000 166.3963 15.99%
1716.70/1721.14 c 1721 71125 21028 1 193.0000 166.3979 15.99%
1721.97/1726.44 c 1726 71481 21118 1 193.0000 166.4030 15.98%
1727.26/1731.78 c 1732 71727 21196 1 193.0000 166.4044 15.98%
1733.04/1737.54 c 1738 72035 21268 1 193.0000 166.4053 15.98%
1738.23/1742.70 c 1743 72253 21338 1 193.0000 166.4055 15.98%
1743.31/1747.89 c 1748 72587 21416 1 193.0000 166.4080 15.98%
1749.09/1753.61 c 1754 72776 21481 1 193.0000 166.4089 15.98%
1754.48/1759.05 c 1759 72955 21530 1 193.0000 166.4098 15.98%
1759.86/1764.49 c 1764 73200 21597 1 193.0000 166.4106 15.98%
1765.74/1770.38 c 1770 73461 21688 1 193.0000 166.4120 15.98%
1771.33/1775.99 c 1776 73641 21756 1 193.0000 166.4127 15.98%
1777.12/1781.76 c 1782 73925 21814 1 193.0000 166.4136 15.98%
1782.20/1786.85 c 1787 74254 21895 1 193.0000 166.4141 15.98%
1787.28/1791.97 c 1792 74561 22010 1 193.0000 166.4154 15.97%
1792.27/1796.98 c 1797 74695 22086 1 193.0000 166.4158 15.97%
1797.95/1802.68 c 1803 75038 22159 1 193.0000 166.4190 15.97%
1803.24/1807.99 c 1808 75151 22212 1 193.0000 166.4204 15.97%
1808.43/1813.18 c 1813 75281 22282 1 193.0000 166.4228 15.97%
1814.10/1818.83 c 1819 75501 22362 1 193.0000 166.4249 15.97%
1819.69/1824.44 c 1824 75776 22447 1 193.0000 166.4267 15.97%
1825.28/1830.06 c 1830 75941 22510 1 193.0000 166.4292 15.97%
1831.15/1835.97 c 1836 76210 22579 1 193.0000 166.4317 15.96%
1836.83/1841.60 c 1842 76607 22652 1 193.0000 166.4328 15.96%
1842.02/1846.87 c 1847 76861 22720 1 193.0000 166.4337 15.96%
1847.40/1852.21 c 1852 77361 22790 1 193.0000 166.4350 15.96%
1852.59/1857.42 c 1857 77546 22855 1 193.0000 166.4363 15.96%
1858.47/1863.38 c 1863 77846 22961 1 193.0000 166.4373 15.96%
1864.65/1869.57 c 1870 78301 23044 1 193.0000 166.4389 15.96%
1869.93/1874.84 c 1875 78525 23118 1 193.0000 166.4402 15.96%
1876.01/1880.95 c 1881 78755 23172 1 193.0000 166.4414 15.96%
1881.99/1886.97 c 1887 79105 23252 1 193.0000 166.4422 15.96%
1887.78/1892.79 c 1893 79465 23346 1 193.0000 166.4423 15.96%
1893.26/1898.26 c 1898 79879 23406 1 193.0000 166.4432 15.96%
1898.25/1903.29 c 1903 80085 23454 1 193.0000 166.4443 15.95%
1903.73/1908.72 c 1909 80301 23528 1 193.0000 166.4468 15.95%
1908.71/1913.79 c 1914 80601 23616 1 193.0000 166.4479 15.95%
1914.30/1919.32 c 1919 80875 23688 1 193.0000 166.4491 15.95%
1919.38/1924.42 c 1924 81151 23760 1 193.0000 166.4521 15.95%
1925.07/1930.16 c 1930 81349 23836 1 193.0000 166.4533 15.95%
1930.25/1935.38 c 1935 81551 23894 1 193.0000 166.4553 15.95%
1936.23/1941.38 c 1941 81925 23970 1 193.0000 166.4567 15.95%
1942.03/1947.16 c 1947 82221 24050 1 193.0000 166.4580 15.95%
1947.91/1953.08 c 1953 82435 24132 1 193.0000 166.4593 15.94%
1953.37/1958.52 c 1959 82661 24212 1 193.0000 166.4612 15.94%
1959.16/1964.36 c 1964 82915 24314 1 193.0000 166.4620 15.94%
1965.04/1970.25 c 1970 83254 24375 1 193.0000 166.4640 15.94%
1970.52/1975.79 c 1976 83602 24461 1 193.0000 166.4640 15.94%
1975.71/1980.94 c 1981 84061 24486 1 193.0000 166.4642 15.94%
1981.29/1986.55 c 1987 84391 24560 1 193.0000 166.4653 15.94%
1986.47/1991.73 c 1992 84631 24618 1 193.0000 166.4669 15.94%
1992.35/1997.62 c 1998 84949 24706 1 193.0000 166.4677 15.94%
1997.94/2003.29 c 2003 85236 24817 1 193.0000 166.4695 15.94%
2003.74/2009.08 c 2009 85537 24892 1 193.0000 166.4706 15.94%
2009.51/2014.88 c 2015 85861 24962 1 193.0000 166.4720 15.94%
2015.28/2020.61 c 2021 86065 25034 1 193.0000 166.4726 15.94%
2020.78/2026.13 c 2026 86285 25104 1 193.0000 166.4746 15.93%
2026.16/2031.58 c 2032 86621 25162 1 193.0000 166.4758 15.93%
2031.34/2036.77 c 2037 86821 25246 1 193.0000 166.4766 15.93%
2036.52/2041.98 c 2042 87081 25318 1 193.0000 166.4773 15.93%
2042.50/2047.93 c 2048 87342 25417 1 193.0000 166.4777 15.93%
2048.28/2053.73 c 2054 87617 25496 1 193.0000 166.4782 15.93%
2054.07/2059.57 c 2060 87875 25564 1 193.0000 166.4791 15.93%
2059.36/2064.88 c 2065 88101 25648 1 193.0000 166.4806 15.93%
2065.04/2070.57 c 2071 88281 25718 1 193.0000 166.4814 15.93%
2070.83/2076.33 c 2076 88431 25798 1 193.0000 166.4824 15.93%
2076.11/2081.64 c 2082 88563 25846 1 193.0000 166.4828 15.93%
2081.89/2087.46 c 2087 88905 25926 1 193.0000 166.4840 15.93%
2087.37/2092.92 c 2093 89160 26001 1 193.0000 166.4852 15.93%
2092.65/2098.27 c 2098 89442 26079 1 193.0000 166.4859 15.93%
2098.33/2103.94 c 2104 89841 26164 1 193.0000 166.4879 15.92%
2103.32/2108.97 c 2109 90091 26240 1 193.0000 166.4894 15.92%
2108.70/2114.31 c 2114 90431 26318 1 193.0000 166.4903 15.92%
2114.08/2119.70 c 2120 90601 26392 1 193.0000 166.4917 15.92%
2119.47/2125.13 c 2125 90971 26502 1 193.0000 166.4922 15.92%
2124.76/2130.45 c 2130 91187 26572 1 193.0000 166.4930 15.92%
2130.64/2136.37 c 2136 91531 26642 1 193.0000 166.4939 15.92%
2135.83/2141.53 c 2142 91693 26720 1 193.0000 166.4947 15.92%
2142.61/2148.34 c 2148 92035 26788 1 193.0000 166.4960 15.92%
2148.10/2153.83 c 2154 92381 26844 1 193.0000 166.4967 15.92%
2153.19/2158.99 c 2159 92614 26929 1 193.0000 166.4978 15.92%
2158.28/2164.04 c 2164 92891 26988 1 193.0000 166.4986 15.92%
2164.06/2169.84 c 2170 93315 27056 1 193.0000 166.4993 15.92%
2169.15/2174.93 c 2175 93531 27116 1 193.0000 166.5004 15.92%
2174.43/2180.27 c 2180 93841 27176 1 193.0000 166.5027 15.91%
2180.33/2186.15 c 2186 94051 27252 1 193.0000 166.5037 15.91%
2185.61/2191.43 c 2191 94261 27348 1 193.0000 166.5050 15.91%
2191.00/2196.82 c 2197 94661 27426 1 193.0000 166.5067 15.91%
2196.48/2202.37 c 2202 94825 27504 1 193.0000 166.5072 15.91%
2201.67/2207.58 c 2208 95071 27594 1 193.0000 166.5083 15.91%
2207.36/2213.27 c 2213 95367 27696 1 193.0000 166.5090 15.91%
2212.55/2218.40 c 2218 95702 27771 1 193.0000 166.5095 15.91%
2218.43/2224.35 c 2224 95941 27858 1 193.0000 166.5108 15.91%
2224.62/2230.53 c 2231 96265 27932 1 193.0000 166.5110 15.91%
2229.71/2235.64 c 2236 96581 27990 1 193.0000 166.5115 15.91%
2235.30/2241.23 c 2241 96959 28058 1 193.0000 166.5118 15.91%
2240.88/2246.88 c 2247 97221 28150 1 193.0000 166.5126 15.91%
2247.08/2253.02 c 2253 97415 28224 1 193.0000 166.5139 15.91%
2252.17/2258.11 c 2258 97709 28310 1 193.0000 166.5152 15.91%
2257.16/2263.14 c 2263 98051 28374 1 193.0000 166.5164 15.90%
2262.23/2268.21 c 2268 98185 28450 1 193.0000 166.5175 15.90%
2267.72/2273.76 c 2274 98541 28518 1 193.0000 166.5186 15.90%
2272.91/2278.99 c 2279 98701 28612 1 193.0000 166.5196 15.90%
2278.01/2284.06 c 2284 98981 28678 1 193.0000 166.5202 15.90%
2283.29/2289.34 c 2289 99231 28742 1 193.0000 166.5213 15.90%
2289.27/2295.39 c 2295 99405 28836 1 193.0000 166.5230 15.90%
2294.46/2300.53 c 2301 99721 28908 1 193.0000 166.5245 15.90%
2300.06/2306.13 c 2306 100011 29000 1 193.0000 166.5254 15.90%
2305.73/2311.86 c 2312 100195 29078 1 193.0000 166.5260 15.90%
2310.82/2316.97 c 2317 100431 29146 1 193.0000 166.5278 15.90%
2316.02/2322.16 c 2322 100641 29218 1 193.0000 166.5292 15.90%
2321.60/2327.77 c 2328 100945 29298 1 193.0000 166.5295 15.90%
2327.48/2333.66 c 2334 101381 29394 1 193.0000 166.5308 15.89%
2333.27/2339.47 c 2339 101607 29476 1 193.0000 166.5312 15.89%
2338.45/2344.67 c 2345 101921 29542 1 193.0000 166.5322 15.89%
2343.86/2350.09 c 2350 102341 29624 1 193.0000 166.5329 15.89%
2348.95/2355.16 c 2355 102463 29672 1 193.0000 166.5333 15.89%
2353.93/2360.17 c 2360 102838 29717 1 193.0000 166.5341 15.89%
2359.41/2365.65 c 2366 103035 29796 1 193.0000 166.5353 15.89%
2364.70/2371.01 c 2371 103305 29856 1 193.0000 166.5360 15.89%
2369.98/2376.27 c 2376 103541 29936 1 193.0000 166.5370 15.89%
2375.17/2381.49 c 2381 103815 29998 1 193.0000 166.5374 15.89%
2380.26/2386.59 c 2387 104119 30054 1 193.0000 166.5379 15.89%
2385.55/2391.87 c 2392 104338 30127 1 193.0000 166.5393 15.89%
2391.93/2398.21 c 2398 104711 30260 1 193.0000 166.5403 15.89%
2397.32/2403.67 c 2404 105071 30344 1 193.0000 166.5409 15.89%
2402.91/2409.28 c 2409 105324 30425 1 193.0000 166.5417 15.89%
2408.39/2414.79 c 2415 105801 30478 1 193.0000 166.5439 15.89%
2414.28/2420.67 c 2421 106115 30550 1 193.0000 166.5446 15.88%
2419.96/2426.34 c 2426 106420 30641 1 193.0000 166.5458 15.88%
2425.85/2432.25 c 2432 106810 30731 1 193.0000 166.5465 15.88%
2431.65/2438.11 c 2438 107061 30828 1 193.0000 166.5479 15.88%
2437.03/2443.45 c 2443 107275 30896 1 193.0000 166.5480 15.88%
2442.42/2448.86 c 2449 107435 31000 1 193.0000 166.5486 15.88%
2447.81/2454.24 c 2454 107765 31048 1 193.0000 166.5496 15.88%
2453.19/2459.65 c 2460 108151 31170 1 193.0000 166.5504 15.88%
2458.38/2464.86 c 2465 108431 31248 1 193.0000 166.5507 15.88%
2463.97/2470.48 c 2470 108751 31324 1 193.0000 166.5516 15.88%
2469.25/2475.71 c 2476 109255 31396 1 193.0000 166.5521 15.88%
2474.24/2480.78 c 2481 109591 31462 1 193.0000 166.5526 15.88%
2479.83/2486.32 c 2486 109936 31539 1 193.0000 166.5536 15.88%
2484.92/2491.45 c 2491 110161 31614 1 193.0000 166.5543 15.88%
2490.80/2497.36 c 2497 110415 31696 1 193.0000 166.5550 15.88%
2495.89/2502.40 c 2502 110672 31765 1 193.0000 166.5564 15.88%
2501.18/2507.73 c 2508 110984 31871 1 193.0000 166.5573 15.88%
2506.58/2513.17 c 2513 111251 31962 1 193.0000 166.5583 15.88%
2511.86/2518.45 c 2518 111539 32032 1 193.0000 166.5588 15.87%
2517.55/2524.13 c 2524 111901 32110 1 193.0000 166.5600 15.87%
2522.83/2529.45 c 2529 112161 32196 1 193.0000 166.5607 15.87%
2528.71/2535.35 c 2535 112355 32256 1 193.0000 166.5615 15.87%
2533.90/2540.56 c 2541 112585 32332 1 193.0000 166.5624 15.87%
2539.88/2546.56 c 2547 112841 32428 1 193.0000 166.5639 15.87%
2545.08/2551.78 c 2552 113121 32514 1 193.0000 166.5653 15.87%
2550.38/2557.09 c 2557 113294 32605 1 193.0000 166.5665 15.87%
2555.65/2562.32 c 2562 113601 32692 1 193.0000 166.5673 15.87%
2561.74/2568.47 c 2568 113941 32768 1 193.0000 166.5676 15.87%
2566.92/2573.60 c 2574 114205 32844 1 193.0000 166.5694 15.87%
2572.61/2579.33 c 2579 114551 32918 1 193.0000 166.5702 15.87%
2577.90/2584.68 c 2585 114942 32989 1 193.0000 166.5713 15.87%
2583.58/2590.33 c 2590 115291 33052 1 193.0000 166.5717 15.87%
2589.07/2595.84 c 2596 115591 33154 1 193.0000 166.5727 15.87%
2594.46/2601.23 c 2601 115835 33242 1 193.0000 166.5729 15.87%
2599.74/2606.53 c 2607 116211 33302 1 193.0000 166.5743 15.86%
2605.53/2612.37 c 2612 116455 33382 1 193.0000 166.5749 15.86%
2610.51/2617.38 c 2617 116731 33450 1 193.0000 166.5752 15.86%
2615.60/2622.40 c 2622 116845 33526 1 193.0000 166.5758 15.86%
2620.89/2627.71 c 2628 117006 33567 1 193.0000 166.5761 15.86%
2626.18/2633.01 c 2633 117251 33640 1 193.0000 166.5778 15.86%
2631.46/2638.37 c 2638 117395 33698 1 193.0000 166.5784 15.86%
2637.05/2643.91 c 2644 117601 33754 1 193.0000 166.5789 15.86%
2642.44/2649.36 c 2649 117731 33834 1 193.0000 166.5799 15.86%
2647.83/2654.79 c 2655 117958 33931 1 193.0000 166.5804 15.86%
2653.81/2660.73 c 2661 118215 34014 1 193.0000 166.5814 15.86%
2659.21/2666.16 c 2666 118535 34100 1 193.0000 166.5818 15.86%
2664.98/2671.95 c 2672 118911 34182 1 193.0000 166.5827 15.86%
2669.97/2676.98 c 2677 119268 34229 1 193.0000 166.5830 15.86%
2675.96/2683.01 c 2683 119535 34294 1 193.0000 166.5842 15.86%
2681.05/2688.09 c 2688 119761 34362 1 193.0000 166.5853 15.86%
2686.52/2693.50 c 2694 119995 34446 1 193.0000 166.5862 15.86%
2692.31/2699.30 c 2699 120301 34554 1 193.0000 166.5867 15.86%
2697.90/2704.94 c 2705 120551 34628 1 193.0000 166.5877 15.85%
2702.89/2709.99 c 2710 120811 34732 1 193.0000 166.5880 15.85%
2707.99/2715.06 c 2715 121081 34820 1 193.0000 166.5891 15.85%
2713.76/2720.88 c 2721 121301 34926 1 193.0000 166.5902 15.85%
2718.96/2726.02 c 2726 121638 35017 1 193.0000 166.5910 15.85%
2725.13/2732.23 c 2732 121945 35106 1 193.0000 166.5925 15.85%
2730.22/2737.30 c 2737 122321 35188 1 193.0000 166.5933 15.85%
2735.21/2742.39 c 2742 122571 35252 1 193.0000 166.5953 15.85%
2740.30/2747.47 c 2747 122781 35312 1 193.0000 166.5959 15.85%
2745.68/2752.84 c 2753 123131 35418 1 193.0000 166.5962 15.85%
2750.98/2758.11 c 2758 123385 35474 1 193.0000 166.5973 15.85%
2755.97/2763.13 c 2763 123641 35562 1 193.0000 166.5979 15.85%
2761.45/2768.66 c 2769 123981 35646 1 193.0000 166.5985 15.85%
2767.03/2774.21 c 2774 124271 35712 1 193.0000 166.5990 15.85%
2772.42/2779.61 c 2780 124577 35798 1 193.0000 166.5997 15.85%
2777.61/2784.84 c 2785 124891 35870 1 193.0000 166.6005 15.85%
2783.19/2790.45 c 2790 125289 35948 1 193.0000 166.6016 15.85%
2788.80/2796.03 c 2796 125485 36028 1 193.0000 166.6028 15.84%
2793.97/2801.21 c 2801 125751 36092 1 193.0000 166.6039 15.84%
2799.96/2807.20 c 2807 125915 36180 1 193.0000 166.6052 15.84%
2805.54/2812.83 c 2813 126321 36272 1 193.0000 166.6058 15.84%
2810.63/2817.98 c 2818 126721 36344 1 193.0000 166.6064 15.84%
2816.51/2823.86 c 2824 126975 36430 1 193.0000 166.6071 15.84%
2822.10/2829.40 c 2829 127201 36522 1 193.0000 166.6075 15.84%
2827.80/2835.11 c 2835 127551 36596 1 193.0000 166.6080 15.84%
2833.47/2840.81 c 2841 127747 36680 1 193.0000 166.6085 15.84%
2839.25/2846.68 c 2847 128171 36752 1 193.0000 166.6094 15.84%
2845.24/2852.66 c 2853 128506 36851 1 193.0000 166.6099 15.84%
2850.93/2858.30 c 2858 128681 36932 1 193.0000 166.6101 15.84%
2856.63/2864.01 c 2864 128895 37018 1 193.0000 166.6115 15.84%
2862.00/2869.46 c 2869 129187 37078 1 193.0000 166.6118 15.84%
2867.48/2874.97 c 2875 129434 37143 1 193.0000 166.6122 15.84%
2873.47/2880.97 c 2881 129667 37228 1 193.0000 166.6129 15.84%
2878.67/2886.12 c 2886 129951 37304 1 193.0000 166.6133 15.84%
2884.34/2891.90 c 2892 130176 37397 1 193.0000 166.6142 15.84%
2890.44/2897.92 c 2898 130561 37494 1 193.0000 166.6151 15.84%
2895.63/2903.11 c 2903 130701 37568 1 193.0000 166.6156 15.84%
2901.21/2908.79 c 2909 130991 37680 1 193.0000 166.6160 15.84%
2906.70/2914.24 c 2914 131215 37750 1 193.0000 166.6162 15.84%
2912.08/2919.69 c 2920 131601 37830 1 193.0000 166.6170 15.83%
2917.26/2924.81 c 2925 131881 37910 1 193.0000 166.6174 15.83%
2922.94/2930.52 c 2931 132271 38000 1 193.0000 166.6181 15.83%
2928.93/2936.57 c 2937 132521 38080 1 193.0000 166.6190 15.83%
2934.82/2942.45 c 2942 132795 38176 1 193.0000 166.6200 15.83%
2940.51/2948.20 c 2948 133148 38257 1 193.0000 166.6203 15.83%
2945.79/2953.47 c 2953 133431 38316 1 193.0000 166.6206 15.83%
2950.98/2958.69 c 2959 133672 38391 1 193.0000 166.6217 15.83%
2956.57/2964.22 c 2964 134065 38466 1 193.0000 166.6229 15.83%
2961.76/2969.40 c 2969 134351 38524 1 193.0000 166.6241 15.83%
2967.04/2974.79 c 2975 134621 38614 1 193.0000 166.6249 15.83%
2972.23/2980.01 c 2980 134841 38698 1 193.0000 166.6251 15.83%
2978.22/2985.99 c 2986 135145 38802 1 193.0000 166.6263 15.83%
2983.32/2991.11 c 2991 135421 38868 1 193.0000 166.6267 15.83%
2989.30/2997.11 c 2997 135723 38970 1 193.0000 166.6272 15.83%
2994.78/3002.59 c 3003 136031 39052 1 193.0000 166.6281 15.83%
3000.67/3008.41 c 3008 136225 39138 1 193.0000 166.6283 15.83%
3005.95/3013.71 c 3014 136501 39212 1 193.0000 166.6287 15.83%
3010.94/3018.72 c 3019 136791 39286 1 193.0000 166.6293 15.83%
3016.12/3023.91 c 3024 137121 39364 1 193.0000 166.6297 15.83%
3021.51/3029.38 c 3029 137305 39452 1 193.0000 166.6301 15.83%
3026.99/3034.81 c 3035 137636 39525 1 193.0000 166.6304 15.83%
3031.97/3039.88 c 3040 137851 39612 1 193.0000 166.6311 15.82%
3037.27/3045.13 c 3045 138211 39678 1 193.0000 166.6319 15.82%
3042.93/3050.83 c 3051 138621 39756 1 193.0000 166.6328 15.82%
3048.81/3056.71 c 3057 138831 39842 1 193.0000 166.6337 15.82%
3053.90/3061.81 c 3062 139021 39912 1 193.0000 166.6343 15.82%
3058.99/3066.95 c 3067 139401 39974 1 193.0000 166.6345 15.82%
3064.68/3072.69 c 3073 139681 40032 1 193.0000 166.6353 15.82%
3070.19/3078.11 c 3078 139911 40116 1 193.0000 166.6360 15.82%
3075.56/3083.53 c 3084 140205 40202 1 193.0000 166.6365 15.82%
3081.35/3089.35 c 3089 140541 40272 1 193.0000 166.6377 15.82%
3086.43/3094.44 c 3094 140761 40352 1 193.0000 166.6383 15.82%
3091.72/3099.75 c 3100 141011 40436 1 193.0000 166.6389 15.82%
3097.61/3105.66 c 3106 141304 40511 1 193.0000 166.6394 15.82%
3103.10/3111.12 c 3111 141521 40588 1 193.0000 166.6399 15.82%
3108.48/3116.53 c 3117 141691 40676 1 193.0000 166.6405 15.82%
3113.67/3121.71 c 3122 141921 40770 1 193.0000 166.6415 15.82%
3118.76/3126.86 c 3127 142221 40832 1 193.0000 166.6417 15.82%
3123.85/3131.97 c 3132 142476 40913 1 193.0000 166.6420 15.82%
3129.63/3137.71 c 3138 142755 41010 1 193.0000 166.6433 15.82%
3135.61/3143.72 c 3144 142961 41112 1 193.0000 166.6441 15.82%
3140.80/3148.95 c 3149 143210 41199 1 193.0000 166.6444 15.82%
3146.18/3154.32 c 3154 143556 41297 1 193.0000 166.6448 15.82%
3152.07/3160.26 c 3160 143899 41384 1 193.0000 166.6456 15.81%
3157.35/3165.53 c 3166 144166 41455 1 193.0000 166.6467 15.81%
3162.44/3170.69 c 3171 144513 41524 1 193.0000 166.6472 15.81%
3168.73/3176.92 c 3177 144751 41594 1 193.0000 166.6480 15.81%
3174.21/3182.47 c 3182 144961 41660 1 193.0000 166.6489 15.81%
3179.71/3187.96 c 3188 145151 41760 1 193.0000 166.6497 15.81%
3185.50/3193.71 c 3194 145441 41840 1 193.0000 166.6503 15.81%
3191.28/3199.59 c 3200 145675 41922 1 193.0000 166.6505 15.81%
3196.66/3205.01 c 3205 146032 42051 1 193.0000 166.6509 15.81%
3201.75/3210.08 c 3210 146215 42134 1 193.0000 166.6523 15.81%
3206.94/3215.27 c 3215 146540 42201 1 193.0000 166.6528 15.81%
3212.73/3221.01 c 3221 146745 42294 1 193.0000 166.6535 15.81%
3218.01/3226.34 c 3226 147001 42370 1 193.0000 166.6544 15.81%
3223.59/3231.93 c 3232 147201 42458 1 193.0000 166.6549 15.81%
3228.58/3236.94 c 3237 147421 42530 1 193.0000 166.6553 15.81%
3233.68/3242.08 c 3242 147671 42600 1 193.0000 166.6558 15.81%
3239.15/3247.57 c 3248 147951 42686 1 193.0000 166.6566 15.81%
3244.55/3253.01 c 3253 148371 42764 1 193.0000 166.6569 15.81%
3250.43/3258.88 c 3259 148729 42832 1 193.0000 166.6576 15.81%
3256.12/3264.58 c 3265 149081 42908 1 193.0000 166.6583 15.81%
3262.11/3270.59 c 3271 149291 42996 1 193.0000 166.6589 15.81%
3267.19/3275.68 c 3276 149571 43080 1 193.0000 166.6601 15.80%
3272.98/3281.45 c 3281 149953 43174 1 193.0000 166.6606 15.80%
3278.37/3286.88 c 3287 150185 43248 1 193.0000 166.6615 15.80%
3284.05/3292.51 c 3293 150431 43310 1 193.0000 166.6619 15.80%
3288.44/3296.93 c * 3297 150671 43376 1 192.0000 166.6622 15.20%
3289.04/3297.55 c 3298 150694 41742 1 192.0000 166.6622 15.20%
3289.43/3297.97 c * 3298 150694 41742 1 191.0000 166.6622 14.60%
3289.55/3298.04 c * 3298 150694 41742 1 190.0000 166.6622 14.00%
3294.12/3302.64 c 3303 150891 39782 1 190.0000 166.6629 14.00%
3299.20/3307.70 c 3308 151101 39852 1 190.0000 166.6637 14.00%
3304.29/3312.90 c 3313 151285 39922 1 190.0000 166.6642 14.00%
3310.08/3318.62 c 3319 151565 40044 1 190.0000 166.6644 14.00%
3315.06/3323.64 c 3324 151761 40146 1 190.0000 166.6655 14.00%
3320.64/3329.24 c 3329 151962 40233 1 190.0000 166.6658 14.00%
3326.43/3335.03 c 3335 152171 40320 1 190.0000 166.6661 14.00%
3331.81/3340.43 c 3340 152381 40422 1 190.0000 166.6676 14.00%
3337.51/3346.17 c 3346 152635 40506 1 190.0000 166.6679 14.00%
3342.98/3351.62 c 3352 152951 40568 1 190.0000 166.6685 14.00%
3348.37/3357.09 c 3357 153161 40622 1 190.0000 166.6695 14.00%
3353.84/3362.52 c 3363 153509 40726 1 190.0000 166.6703 14.00%
3359.03/3367.72 c 3368 153661 40790 1 190.0000 166.6707 14.00%
3364.71/3373.41 c 3373 153825 40852 1 190.0000 166.6711 14.00%
3371.09/3379.80 c 3380 154015 40940 1 190.0000 166.6725 14.00%
3376.47/3385.23 c 3385 154271 41018 1 190.0000 166.6735 14.00%
3382.46/3391.22 c 3391 154516 41127 1 190.0000 166.6742 13.99%
3387.84/3396.63 c 3397 154714 41193 1 190.0000 166.6746 13.99%
3392.92/3401.77 c 3402 155001 41244 1 190.0000 166.6751 13.99%
3398.01/3406.85 c 3407 155202 41317 1 190.0000 166.6755 13.99%
3403.09/3411.97 c 3412 155455 41398 1 190.0000 166.6762 13.99%
3408.08/3416.98 c 3417 155671 41476 1 190.0000 166.6771 13.99%
3413.66/3422.58 c 3423 155800 41541 1 190.0000 166.6777 13.99%
3418.74/3427.62 c 3428 156051 41604 1 190.0000 166.6783 13.99%
3424.24/3433.19 c 3433 156178 41691 1 190.0000 166.6790 13.99%
3429.41/3438.37 c 3438 156458 41771 1 190.0000 166.6792 13.99%
3435.20/3444.14 c 3444 156651 41834 1 190.0000 166.6802 13.99%
3440.28/3449.23 c 3449 156801 41916 1 190.0000 166.6806 13.99%
3445.26/3454.24 c 3454 156921 41986 1 190.0000 166.6815 13.99%
3450.54/3459.58 c 3460 157161 42056 1 190.0000 166.6830 13.99%
3456.42/3465.40 c 3465 157421 42154 1 190.0000 166.6836 13.99%
3462.21/3471.30 c 3471 157671 42246 1 190.0000 166.6844 13.99%
3468.29/3477.30 c 3477 157831 42326 1 190.0000 166.6850 13.99%
3473.99/3483.07 c 3483 158021 42406 1 190.0000 166.6859 13.99%
3479.26/3488.38 c 3488 158150 42475 1 190.0000 166.6863 13.99%
3484.54/3493.68 c 3494 158434 42547 1 190.0000 166.6874 13.99%
3489.83/3498.98 c 3499 158661 42622 1 190.0000 166.6885 13.99%
3494.92/3504.08 c 3504 158911 42702 1 190.0000 166.6890 13.98%
3500.49/3509.66 c 3510 159211 42768 1 190.0000 166.6897 13.98%
3506.17/3515.32 c 3515 159465 42852 1 190.0000 166.6905 13.98%
3511.26/3520.44 c 3520 159691 42916 1 190.0000 166.6909 13.98%
3516.85/3526.09 c 3526 159855 43004 1 190.0000 166.6914 13.98%
3522.12/3531.36 c 3531 160117 43090 1 190.0000 166.6917 13.98%
3527.41/3536.65 c 3537 160321 43156 1 190.0000 166.6927 13.98%
3533.40/3542.61 c 3543 160545 43254 1 190.0000 166.6932 13.98%
3538.48/3547.75 c 3548 160791 43346 1 190.0000 166.6943 13.98%
3543.96/3553.21 c 3553 160968 43427 1 190.0000 166.6946 13.98%
3549.75/3559.09 c 3559 161315 43516 1 190.0000 166.6953 13.98%
3554.84/3564.19 c 3564 161532 43589 1 190.0000 166.6959 13.98%
3560.21/3569.50 c 3570 161901 43606 1 190.0000 166.6965 13.98%
3565.49/3574.83 c 3575 162121 43672 1 190.0000 166.6967 13.98%
3571.37/3580.70 c 3581 162399 43750 1 190.0000 166.6972 13.98%
3576.67/3586.09 c 3586 162757 43816 1 190.0000 166.6973 13.98%
3581.84/3591.21 c 3591 162961 43894 1 190.0000 166.6980 13.98%
3587.52/3596.97 c 3597 163250 43981 1 190.0000 166.6983 13.98%
3590.72/3600.17 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.72/3600.17 c Total Time : 3600.17
3590.72/3600.17 c solving : 3600.17
3590.72/3600.17 c presolving : 0.05 (included in solving)
3590.72/3600.17 c B&B Tree :
3590.72/3600.17 c nodes (total) : 1
3590.72/3600.17 c Solution :
3590.72/3600.17 c Solutions found : 14
3590.72/3600.17 c Primal Bound : +1.90000000000000e+02
3590.72/3600.17 c Dual Bound : +1.66698428011482e+02
3590.72/3600.17 c Gap : 13.97828 %
3590.72/3600.17 c * Warning: final gap: 1.39783e-01 is greater than SCIPepsilon: 1.00000e-09
3590.72/3600.18 o 190
3590.72/3600.18 s SATISFIABLE
3590.72/3600.18 v -x476 x475 -x474 -x473 -x472 -x471 -x470 -x469 x468 -x467 -x466 x465 x464 -x463 -x462 -x461 -x460 x459 -x458 -x457 -x456 x455 x454
3590.72/3600.18 v x453 x452 x451 x450 x449 -x448 -x447 -x446 -x445 x444 x443 x442 x441 x440 -x439 x438 -x437 x436 -x435 -x434 -x433 -x432 -x431
3590.72/3600.18 v x430 -x429 x428 x427 x426 x425 -x424 x423 x422 x421 -x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 -x412 x411 -x410 -x409
3590.72/3600.18 v -x408 x407 -x406 x405 -x404 -x403 -x402 x401 -x400 -x399 -x398 -x397 -x396 x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387
3590.72/3600.18 v x386 x385 x384 x383 -x382 -x381 -x380 x379 x378 x377 x376 -x375 x374 x373 -x372 -x371 -x370 -x369 x368 x367 -x366 -x365 -x364
3590.72/3600.18 v -x363 x362 x361 x360 -x359 x358 x357 x356 -x355 -x354 -x353 -x352 -x351 -x350 x349 -x348 -x347 -x346 -x345 x344 -x343 x342
3590.72/3600.18 v -x341 -x340 x339 -x338 -x337 x336 -x335 -x334 -x333 x332 x331 -x330 -x329 -x328 x327 -x326 -x325 -x324 -x323 x322 -x321 x320
3590.72/3600.18 v x319 -x318 -x317 x316 -x315 x314 -x313 -x312 x311 -x310 -x309 -x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 x300 -x299 -x298
3590.72/3600.18 v -x297 -x296 -x295 -x294 x293 -x292 x291 -x290 -x289 -x288 x287 x286 x285 -x284 x283 -x282 -x281 -x280 -x279 x278 x277 -x276
3590.72/3600.18 v -x275 x274 -x273 x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 x264 -x263 x262 x261 -x260 -x259 -x258 -x257 x256 x255 -x254
3590.72/3600.18 v x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 x245 x244 -x243 -x242 -x241 x240 -x239 -x238 x237 x236 -x235 x234 x233 -x232
3590.72/3600.18 v -x231 x230 -x229 -x228 x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 x219 -x218 x217 x216 -x215 -x214 x213 -x212 x211 -x210
3590.72/3600.18 v x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 x201 -x200 x199 x198 x197 x196 x195 -x194 -x193 -x192 x191 x190 -x189 -x188 x187
3590.72/3600.18 v -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 x178 x177 x176 -x175 -x174 -x173 x172 -x171 x170 -x169 -x168 -x167 x166 -x165
3590.72/3600.18 v -x164 x163 -x162 x161 x160 -x159 -x158 -x157 x156 -x155 -x154 x153 x152 -x151 x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142
3590.72/3600.18 v -x141 -x140 x139 -x138 x137 x136 x135 -x134 -x133 x132 -x131 -x130 x129 -x128 x127 x126 -x125 -x124 -x123 x122 -x121 x120
3590.72/3600.18 v -x119 -x118 -x117 -x116 x115 x114 -x113 x112 -x111 x110 x109 -x108 x107 x106 -x105 -x104 -x103 -x102 -x101 x100 x99 -x98 x97
3590.72/3600.18 v -x96 -x95 x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 x80 -x79 -x78 -x77 -x76 x75 -x74 x73 x72 -x71 x70
3590.72/3600.18 v -x69 -x68 x67 -x66 -x65 x64 x63 x62 -x61 -x60 -x59 x58 -x57 -x56 x55 x54 x53 x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43
3590.72/3600.18 v -x42 -x41 x40 x39 x38 -x37 -x36 x35 x34 x33 -x32 -x31 x30 -x29 x28 x27 x26 x25 -x24 -x23 x22 x21 -x20 x19 -x18 -x17 -x16 -x15
3590.72/3600.18 v -x14 x13 -x12 -x11 -x10 -x9 x8 x7 x6 x5 x4 x3 x2 x1
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: 64059 MiB (62390 MiB free)
memory of node 1: 64510 MiB (63303 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434645-1721084942/watcher-4434645-1721084942 -o /tmp/evaluation-result-4434645-1721084942/solver-4434645-1721084942 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721081354-814856 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434645-1721084942.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=817232, runsolver pid=817228
[startup+0.100096 s]*
/proc/loadavg: 4.13 4.12 4.09 5/251 817238
/proc/meminfo: memFree=128668980/131655788 swapFree=131071996/131071996
[pid=817232] ppid=817228 vsize=112564 memory=30680 CPUtime=0.1 cores=1,3
/proc/817232/stat : 817232 (fscip) R 817228 817232 814844 0 -1 1077936128 4529 0 0 0 10 0 0 0 20 0 3 0 160650916 115265536 7670 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
/proc/817232/statm: 28141 7670 2894 3032 0 10477 0
[pid=817232/tid=817237] ppid=817228 vsize=112564 memory=4026561586 CPUtime=0.03 cores=1,3
/proc/817232/task/817237/stat : 817237 (fscip) R 817228 817232 814844 0 -1 4194368 2072 0 0 0 3 0 0 0 20 0 3 0 160650923 115265536 7670 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
[pid=817232/tid=817238] ppid=817228 vsize=112564 memory=232851243367 CPUtime=0 cores=1,3
/proc/817232/task/817238/stat : 817238 (fscip) S 817228 817232 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160650924 115265536 7670 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112564 KiB
Current children cumulated memory: 30680 KiB
[startup+0.212737 s]*
/proc/loadavg: 4.13 4.12 4.09 5/251 817238
/proc/meminfo: memFree=128666356/131655788 swapFree=131071996/131071996
[pid=817232] ppid=817228 vsize=112564 memory=30680 CPUtime=0.21 cores=1,3
/proc/817232/stat : 817232 (fscip) S 817228 817232 814844 0 -1 1077936128 4582 0 0 0 21 0 0 0 20 0 3 0 160650916 115265536 7670 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
/proc/817232/statm: 28141 7670 2894 3032 0 10528 0
[pid=817232/tid=817237] ppid=817228 vsize=112564 memory=8737651120394928259 CPUtime=0.14 cores=1,3
/proc/817232/task/817237/stat : 817237 (fscip) R 817228 817232 814844 0 -1 4194368 2107 0 0 0 14 0 0 0 20 0 3 0 160650923 115265536 7670 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
[pid=817232/tid=817238] ppid=817228 vsize=112564 memory=5822 CPUtime=0 cores=1,3
/proc/817232/task/817238/stat : 817238 (fscip) S 817228 817232 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160650924 115265536 7670 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 112564 KiB
Current children cumulated memory: 30680 KiB
[startup+0.311841 s]*
/proc/loadavg: 4.13 4.12 4.09 5/251 817238
/proc/meminfo: memFree=128666184/131655788 swapFree=131071996/131071996
[pid=817232] ppid=817228 vsize=112564 memory=30680 CPUtime=0.31 cores=1,3
/proc/817232/stat : 817232 (fscip) S 817228 817232 814844 0 -1 1077936128 4582 0 0 0 31 0 0 0 20 0 3 0 160650916 115265536 7670 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
/proc/817232/statm: 28141 7670 2894 3032 0 10528 0
[pid=817232/tid=817237] ppid=817228 vsize=112564 memory=-6586625975291919204 CPUtime=0.24 cores=1,3
/proc/817232/task/817237/stat : 817237 (fscip) R 817228 817232 814844 0 -1 4194368 2107 0 0 0 24 0 0 0 20 0 3 0 160650923 115265536 7670 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
[pid=817232/tid=817238] ppid=817228 vsize=112564 memory=0 CPUtime=0 cores=1,3
/proc/817232/task/817238/stat : 817238 (fscip) S 817228 817232 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160650924 115265536 7670 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 112564 KiB
Current children cumulated memory: 30680 KiB
[startup+0.700316 s]
/proc/loadavg: 4.13 4.12 4.09 5/251 817238
/proc/meminfo: memFree=128664192/131655788 swapFree=131071996/131071996
[pid=817232] ppid=817228 vsize=112564 memory=31208 CPUtime=0.69 cores=1,3
/proc/817232/stat : 817232 (fscip) S 817228 817232 814844 0 -1 1077936128 4667 0 0 0 68 1 0 0 20 0 3 0 160650916 115265536 7802 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
/proc/817232/statm: 28141 7802 2894 3032 0 10669 0
[pid=817232/tid=817237] ppid=817228 vsize=112564 memory=0 CPUtime=0.61 cores=1,3
/proc/817232/task/817237/stat : 817237 (fscip) R 817228 817232 814844 0 -1 4194368 2192 0 0 0 61 0 0 0 20 0 3 0 160650923 115265536 7802 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
[pid=817232/tid=817238] ppid=817228 vsize=112564 memory=0 CPUtime=0 cores=1,3
/proc/817232/task/817238/stat : 817238 (fscip) S 817228 817232 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160650924 115265536 7802 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 112564 KiB
Current children cumulated memory: 31208 KiB
[startup+1.50043 s]
/proc/loadavg: 4.13 4.12 4.09 5/251 817238
/proc/meminfo: memFree=128613368/131655788 swapFree=131071996/131071996
[pid=817232] ppid=817228 vsize=137904 memory=74660 CPUtime=1.48 cores=1,3
/proc/817232/stat : 817232 (fscip) S 817228 817232 814844 0 -1 1077936128 19241 0 0 0 146 2 0 0 20 0 3 0 160650916 141213696 18665 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
/proc/817232/statm: 34476 18665 2910 3032 0 21644 0
[pid=817232/tid=817237] ppid=817228 vsize=137904 memory=0 CPUtime=1.41 cores=1,3
/proc/817232/task/817237/stat : 817237 (fscip) R 817228 817232 814844 0 -1 4194368 16768 0 0 0 139 2 0 0 20 0 3 0 160650923 141213696 18721 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
[pid=817232/tid=817238] ppid=817228 vsize=137904 memory=0 CPUtime=0 cores=1,3
/proc/817232/task/817238/stat : 817238 (fscip) S 817228 817232 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160650924 141213696 18721 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 137904 KiB
Current children cumulated memory: 74660 KiB
[startup+3.11258 s]
/proc/loadavg: 4.12 4.12 4.09 5/251 817238
/proc/meminfo: memFree=128153484/131655788 swapFree=131071996/131071996
[pid=817232] ppid=817228 vsize=204464 memory=158760 CPUtime=3.09 cores=1,3
/proc/817232/stat : 817232 (fscip) S 817228 817232 814844 0 -1 1077936128 41189 0 0 0 304 5 0 0 20 0 3 0 160650916 209371136 39690 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
/proc/817232/statm: 51116 39690 2910 3032 0 43483 0
[pid=817232/tid=817237] ppid=817228 vsize=204464 memory=2273 CPUtime=3.01 cores=1,3
/proc/817232/task/817237/stat : 817237 (fscip) R 817228 817232 814844 0 -1 4194368 38712 0 0 0 297 4 0 0 20 0 3 0 160650923 209371136 39690 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
[pid=817232/tid=817238] ppid=817228 vsize=204464 memory=0 CPUtime=0 cores=1,3
/proc/817232/task/817238/stat : 817238 (fscip) S 817228 817232 814844 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 160650924 209371136 39690 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 204464 KiB
Current children cumulated memory: 158760 KiB
[startup+6.3003 s]
/proc/loadavg: 4.12 4.12 4.09 5/251 817238
/proc/meminfo: memFree=128141956/131655788 swapFree=131071996/131071996
[pid=817232] ppid=817228 vsize=204464 memory=162460 CPUtime=6.27 cores=1,3
/proc/817232/stat : 817232 (fscip) S 817228 817232 814844 0 -1 1077936128 45458 0 0 0 621 6 0 0 20 0 3 0 160650916 209371136 40615 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
/proc/817232/statm: 51116 40615 2910 3032 0 44492 0
[pid=817232/tid=817237] ppid=817228 vsize=204464 memory=162364 CPUtime=6.19 cores=1,3
/proc/817232/task/817237/stat : 817237 (fscip) R 817228 817232 814844 0 -1 4194368 42944 0 0 0 614 5 0 0 20 0 3 0 160650923 209371136 40615 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
[pid=817232/tid=817238] ppid=817228 vsize=204464 memory=-6586625975291919204 CPUtime=0 cores=1,3
/proc/817232/task/817238/stat : 817238 (fscip) S 817228 817232 814844 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 160650924 209371136 40615 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 204464 KiB
Current children cumulated memory: 162460 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.12 4.09 5/251 817240
/proc/meminfo: memFree=128141584/131655788 swapFree=131071996/131071996
[pid=817232] ppid=817228 vsize=204464 memory=162500 CPUtime=12.66 cores=1,3
/proc/817232/stat : 817232 (fscip) S 817228 817232 814844 0 -1 1077936128 48788 0 0 0 1260 6 0 0 20 0 3 0 160650916 209371136 40625 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
/proc/817232/statm: 51116 40625 2910 3032 0 44492 0
[pid=817232/tid=817237] ppid=817228 vsize=204464 memory=162500 CPUtime=12.58 cores=1,3
/proc/817232/task/817237/stat : 817237 (fscip) R 817228 817232 814844 0 -1 4194368 46243 0 0 0 1253 5 0 0 20 0 3 0 160650923 209371136 40625 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
[pid=817232/tid=817238] ppid=817228 vsize=204464 memory=4044232706736002352 CPUtime=0 cores=1,3
/proc/817232/task/817238/stat : 817238 (fscip) S 817228 817232 814844 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 160650924 209371136 40625 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 204464 KiB
Current children cumulated memory: 162500 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.11 4.09 5/251 817241
/proc/meminfo: memFree=127973344/131655788 swapFree=131071996/131071996
[pid=817232] ppid=817228 vsize=266376 memory=191312 CPUtime=25.43 cores=1,3
/proc/817232/stat : 817232 (fscip) S 817228 817232 814844 0 -1 1077936128 108574 0 0 0 2533 10 0 0 20 0 3 0 160650916 272769024 47828 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
/proc/817232/statm: 66594 47828 2958 3032 0 51844 0
[pid=817232/tid=817237] ppid=817228 vsize=266376 memory=0 CPUtime=25.35 cores=1,3
/proc/817232/task/817237/stat : 817237 (fscip) R 817228 817232 814844 0 -1 4194368 105651 0 0 0 2526 9 0 0 20 0 3 0 160650923 272769024 47828 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
[pid=817232/tid=817238] ppid=817228 vsize=266376 memory=11408 CPUtime=0 cores=1,3
/proc/817232/task/817238/stat : 817238 (fscip) S 817228 817232 814844 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 160650924 272769024 47828 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 266376 KiB
Current children cumulated memory: 191312 KiB
[startup+51.1119 s]
/proc/loadavg: 4.11 4.12 4.09 5/251 817246
/proc/meminfo: memFree=127965660/131655788 swapFree=131071996/131071996
[pid=817232] ppid=817228 vsize=266376 memory=194356 CPUtime=50.97 cores=1,3
/proc/817232/stat : 817232 (fscip) S 817228 817232 814844 0 -1 1077936128 149714 0 0 0 5085 12 0 0 20 0 3 0 160650916 272769024 48589 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
/proc/817232/statm: 66594 48589 2958 3032 0 52735 0
[pid=817232/tid=817237] ppid=817228 vsize=266376 memory=168692 CPUtime=50.88 cores=1,3
/proc/817232/task/817237/stat : 817237 (fscip) R 817228 817232 814844 0 -1 4194368 146551 0 0 0 5077 11 0 0 20 0 3 0 160650923 272769024 48589 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
[pid=817232/tid=817238] ppid=817228 vsize=266376 memory=194356 CPUtime=0 cores=1,3
/proc/817232/task/817238/stat : 817238 (fscip) S 817228 817232 814844 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 160650924 272769024 48589 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 266376 KiB
Current children cumulated memory: 194356 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/253 817258
/proc/meminfo: memFree=127687572/131655788 swapFree=131071996/131071996
[pid=817232] ppid=817228 vsize=330332 memory=261156 CPUtime=102.04 cores=1,3
/proc/817232/stat : 817232 (fscip) S 817228 817232 814844 0 -1 1077936128 256375 0 0 0 10183 21 0 0 20 0 3 0 160650916 338259968 65289 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
/proc/817232/statm: 82583 65289 2958 3032 0 69515 0
[pid=817232/tid=817237] ppid=817228 vsize=330332 memory=223804 CPUtime=101.95 cores=1,3
/proc/817232/task/817237/stat : 817237 (fscip) R 817228 817232 814844 0 -1 4194368 253086 0 0 0 10175 20 0 0 20 0 3 0 160650923 338259968 65289 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
[pid=817232/tid=817238] ppid=817228 vsize=330332 memory=223804 CPUtime=0 cores=1,3
/proc/817232/task/817238/stat : 817238 (fscip) S 817228 817232 814844 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 160650924 338259968 65289 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 330332 KiB
Current children cumulated memory: 261156 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/253 817269
/proc/meminfo: memFree=127532556/131655788 swapFree=131071996/131071996
[pid=817232] ppid=817228 vsize=395868 memory=333284 CPUtime=161.89 cores=1,3
/proc/817232/stat : 817232 (fscip) S 817228 817232 814844 0 -1 1077936128 301963 0 0 0 16162 27 0 0 20 0 3 0 160650916 405368832 83321 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
/proc/817232/statm: 98967 83321 2974 3032 0 87530 0
[pid=817232/tid=817237] ppid=817228 vsize=395868 memory=332972 CPUtime=161.79 cores=1,3
/proc/817232/task/817237/stat : 817237 (fscip) R 817228 817232 814844 0 -1 4194368 298503 0 0 0 16154 25 0 0 20 0 3 0 160650923 405368832 83321 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
[pid=817232/tid=817238] ppid=817228 vsize=395868 memory=11408 CPUtime=0 cores=1,3
/proc/817232/task/817238/stat : 817238 (fscip) S 817228 817232 814844 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 160650924 405368832 83321 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 395868 KiB
################
# More data... #
################
/proc/817232/statm: 118245 103662 2974 3032 0 105914 0
[pid=817232/tid=817237] ppid=817228 vsize=472980 memory=414616 CPUtime=3452.85 cores=1,3
/proc/817232/task/817237/stat : 817237 (fscip) R 817228 817232 814844 0 -1 4194368 658752 0 0 0 345199 86 0 0 20 0 3 0 160650923 484331520 103662 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
[pid=817232/tid=817238] ppid=817228 vsize=472980 memory=7682466449767832474 CPUtime=0.04 cores=1,3
/proc/817232/task/817238/stat : 817238 (fscip) S 817228 817232 814844 0 -1 1077936192 185 0 0 0 1 3 0 0 20 0 3 0 160650924 484331520 103662 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
Current children cumulated CPU time: 3453.33 s
Current children cumulated vsize: 472980 KiB
Current children cumulated memory: 414648 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.15 4.10 5/251 819055
/proc/meminfo: memFree=127253664/131655788 swapFree=131071996/131071996
[pid=817232] ppid=817228 vsize=472980 memory=415156 CPUtime=3513.15 cores=1,3
/proc/817232/stat : 817232 (fscip) S 817228 817232 814844 0 -1 1077936128 666962 0 0 0 351211 104 0 0 20 0 3 0 160650916 484331520 103789 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
/proc/817232/statm: 118245 103789 2974 3032 0 106037 0
[pid=817232/tid=817237] ppid=817228 vsize=472980 memory=12724 CPUtime=3512.66 cores=1,3
/proc/817232/task/817237/stat : 817237 (fscip) R 817228 817232 814844 0 -1 4194368 662164 0 0 0 351179 87 0 0 20 0 3 0 160650923 484331520 103789 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
[pid=817232/tid=817238] ppid=817228 vsize=472980 memory=415156 CPUtime=0.04 cores=1,3
/proc/817232/task/817238/stat : 817238 (fscip) S 817228 817232 814844 0 -1 1077936192 187 0 0 0 1 3 0 0 20 0 3 0 160650924 484331520 103789 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
Current children cumulated CPU time: 3513.15 s
Current children cumulated vsize: 472980 KiB
Current children cumulated memory: 415156 KiB
[startup+3582.3 s]
/proc/loadavg: 4.27 4.16 4.11 5/251 819065
/proc/meminfo: memFree=127250968/131655788 swapFree=131071996/131071996
[pid=817232] ppid=817228 vsize=472980 memory=415156 CPUtime=3572.97 cores=1,3
/proc/817232/stat : 817232 (fscip) S 817228 817232 814844 0 -1 1077936128 671539 0 0 0 357192 105 0 0 20 0 3 0 160650916 484331520 103789 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
/proc/817232/statm: 118245 103789 2974 3032 0 106037 0
[pid=817232/tid=817237] ppid=817228 vsize=472980 memory=28964 CPUtime=3572.48 cores=1,3
/proc/817232/task/817237/stat : 817237 (fscip) R 817228 817232 814844 0 -1 4194368 666720 0 0 0 357160 88 0 0 20 0 3 0 160650923 484331520 103789 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
[pid=817232/tid=817238] ppid=817228 vsize=472980 memory=415156 CPUtime=0.04 cores=1,3
/proc/817232/task/817238/stat : 817238 (fscip) S 817228 817232 814844 0 -1 1077936192 189 0 0 0 1 3 0 0 20 0 3 0 160650924 484331520 103789 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
Current children cumulated CPU time: 3572.97 s
Current children cumulated vsize: 472980 KiB
Current children cumulated memory: 415156 KiB
[startup+3600.19 s]
# the end of solver process 817232 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.74 s, system=1.06561 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.24 4.16 4.11 5/251 819065
/proc/meminfo: memFree=127251056/131655788 swapFree=131071996/131071996
[pid=817232] ppid=817228 vsize=472980 memory=415156 CPUtime=3574.68 cores=1,3
/proc/817232/stat : 817232 (fscip) S 817228 817232 814844 0 -1 1077936128 671548 0 0 0 357363 105 0 0 20 0 3 0 160650916 484331520 103789 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
/proc/817232/statm: 118245 103789 2974 3032 0 106037 0
[pid=817232/tid=817237] ppid=817228 vsize=472980 memory=20468 CPUtime=3574.18 cores=1,3
/proc/817232/task/817237/stat : 817237 (fscip) R 817228 817232 814844 0 -1 4194368 666729 0 0 0 357330 88 0 0 20 0 3 0 160650923 484331520 103789 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
[pid=817232/tid=817238] ppid=817228 vsize=472980 memory=5512 CPUtime=0.04 cores=1,3
/proc/817232/task/817238/stat : 817238 (fscip) S 817228 817232 814844 0 -1 1077936192 189 0 0 0 1 3 0 0 20 0 3 0 160650924 484331520 103789 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
Current children cumulated CPU time: 3574.68 s
Current children cumulated vsize: 472980 KiB
Current children cumulated memory: 415156 KiB
[startup+3590.4 s]
/proc/loadavg: 4.22 4.16 4.11 5/251 819068
/proc/meminfo: memFree=127250996/131655788 swapFree=131071996/131071996
[pid=817232] ppid=817228 vsize=472980 memory=415156 CPUtime=3581.04 cores=1,3
/proc/817232/stat : 817232 (fscip) S 817228 817232 814844 0 -1 1077936128 673378 0 0 0 357999 105 0 0 20 0 3 0 160650916 484331520 103789 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
/proc/817232/statm: 118245 103789 2974 3032 0 106037 0
[pid=817232/tid=817237] ppid=817228 vsize=472980 memory=415156 CPUtime=3580.55 cores=1,3
/proc/817232/task/817237/stat : 817237 (fscip) R 817228 817232 814844 0 -1 4194368 668559 0 0 0 357967 88 0 0 20 0 3 0 160650923 484331520 103789 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
[pid=817232/tid=817238] ppid=817228 vsize=472980 memory=0 CPUtime=0.04 cores=1,3
/proc/817232/task/817238/stat : 817238 (fscip) S 817228 817232 814844 0 -1 1077936192 189 0 0 0 1 3 0 0 20 0 3 0 160650924 484331520 103789 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
Current children cumulated CPU time: 3581.04 s
Current children cumulated vsize: 472980 KiB
Current children cumulated memory: 415156 KiB
[startup+3596.8 s]
/proc/loadavg: 4.21 4.16 4.10 5/251 819068
/proc/meminfo: memFree=127248344/131655788 swapFree=131071996/131071996
[pid=817232] ppid=817228 vsize=472980 memory=415156 CPUtime=3587.42 cores=1,3
/proc/817232/stat : 817232 (fscip) S 817228 817232 814844 0 -1 1077936128 673394 0 0 0 358637 105 0 0 20 0 3 0 160650916 484331520 103789 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
/proc/817232/statm: 118245 103789 2974 3032 0 106037 0
[pid=817232/tid=817237] ppid=817228 vsize=472980 memory=415156 CPUtime=3586.93 cores=1,3
/proc/817232/task/817237/stat : 817237 (fscip) R 817228 817232 814844 0 -1 4194368 668575 0 0 0 358605 88 0 0 20 0 3 0 160650923 484331520 103789 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
[pid=817232/tid=817238] ppid=817228 vsize=472980 memory=140134982658764 CPUtime=0.04 cores=1,3
/proc/817232/task/817238/stat : 817238 (fscip) S 817228 817232 814844 0 -1 1077936192 189 0 0 0 1 3 0 0 20 0 3 0 160650924 484331520 103789 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
Current children cumulated CPU time: 3587.42 s
Current children cumulated vsize: 472980 KiB
Current children cumulated memory: 415156 KiB
[startup+3598.4 s]
/proc/loadavg: 4.19 4.15 4.10 5/251 819068
/proc/meminfo: memFree=127248328/131655788 swapFree=131071996/131071996
[pid=817232] ppid=817228 vsize=472980 memory=415156 CPUtime=3589.02 cores=1,3
/proc/817232/stat : 817232 (fscip) S 817228 817232 814844 0 -1 1077936128 673396 0 0 0 358797 105 0 0 20 0 3 0 160650916 484331520 103789 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
/proc/817232/statm: 118245 103789 2974 3032 0 106037 0
[pid=817232/tid=817237] ppid=817228 vsize=472980 memory=11408 CPUtime=3588.52 cores=1,3
/proc/817232/task/817237/stat : 817237 (fscip) R 817228 817232 814844 0 -1 4194368 668577 0 0 0 358764 88 0 0 20 0 3 0 160650923 484331520 103789 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
[pid=817232/tid=817238] ppid=817228 vsize=472980 memory=41132 CPUtime=0.04 cores=1,3
/proc/817232/task/817238/stat : 817238 (fscip) S 817228 817232 814844 0 -1 1077936192 189 0 0 0 1 3 0 0 20 0 3 0 160650924 484331520 103789 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
Current children cumulated CPU time: 3589.02 s
Current children cumulated vsize: 472980 KiB
Current children cumulated memory: 415156 KiB
[startup+3599.2 s]
/proc/loadavg: 4.19 4.15 4.10 5/251 819068
/proc/meminfo: memFree=127248208/131655788 swapFree=131071996/131071996
[pid=817232] ppid=817228 vsize=472980 memory=415168 CPUtime=3589.81 cores=1,3
/proc/817232/stat : 817232 (fscip) S 817228 817232 814844 0 -1 1077936128 673488 0 0 0 358876 105 0 0 20 0 3 0 160650916 484331520 103792 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
/proc/817232/statm: 118245 103792 2974 3032 0 106037 0
[pid=817232/tid=817237] ppid=817228 vsize=472980 memory=11408 CPUtime=3589.32 cores=1,3
/proc/817232/task/817237/stat : 817237 (fscip) R 817228 817232 814844 0 -1 4194368 668669 0 0 0 358844 88 0 0 20 0 3 0 160650923 484331520 103792 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
[pid=817232/tid=817238] ppid=817228 vsize=472980 memory=41132 CPUtime=0.04 cores=1,3
/proc/817232/task/817238/stat : 817238 (fscip) S 817228 817232 814844 0 -1 1077936192 189 0 0 0 1 3 0 0 20 0 3 0 160650924 484331520 103792 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
Current children cumulated CPU time: 3589.81 s
Current children cumulated vsize: 472980 KiB
Current children cumulated memory: 415168 KiB
[startup+3599.6 s]
/proc/loadavg: 4.19 4.15 4.10 5/251 819068
/proc/meminfo: memFree=127248208/131655788 swapFree=131071996/131071996
[pid=817232] ppid=817228 vsize=472980 memory=415168 CPUtime=3590.21 cores=1,3
/proc/817232/stat : 817232 (fscip) S 817228 817232 814844 0 -1 1077936128 673488 0 0 0 358916 105 0 0 20 0 3 0 160650916 484331520 103792 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
/proc/817232/statm: 118245 103792 2974 3032 0 106037 0
[pid=817232/tid=817237] ppid=817228 vsize=472980 memory=6720668735667387242 CPUtime=3589.72 cores=1,3
/proc/817232/task/817237/stat : 817237 (fscip) R 817228 817232 814844 0 -1 4194368 668669 0 0 0 358884 88 0 0 20 0 3 0 160650923 484331520 103792 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
[pid=817232/tid=817238] ppid=817228 vsize=472980 memory=7682466449767832474 CPUtime=0.04 cores=1,3
/proc/817232/task/817238/stat : 817238 (fscip) S 817228 817232 814844 0 -1 1077936192 189 0 0 0 1 3 0 0 20 0 3 0 160650924 484331520 103792 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
Current children cumulated CPU time: 3590.21 s
Current children cumulated vsize: 472980 KiB
Current children cumulated memory: 415168 KiB
[startup+3600 s]*
/proc/loadavg: 4.19 4.15 4.10 5/251 819069
/proc/meminfo: memFree=127248336/131655788 swapFree=131071996/131071996
[pid=817232] ppid=817228 vsize=472980 memory=415168 CPUtime=3590.62 cores=1,3
/proc/817232/stat : 817232 (fscip) S 817228 817232 814844 0 -1 1077936128 673495 0 0 0 358957 105 0 0 20 0 3 0 160650916 484331520 103792 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
/proc/817232/statm: 118245 103792 2974 3032 0 106037 0
[pid=817232/tid=817237] ppid=817228 vsize=472980 memory=4992 CPUtime=3590.13 cores=1,3
/proc/817232/task/817237/stat : 817237 (fscip) R 817228 817232 814844 0 -1 4194368 668675 0 0 0 358925 88 0 0 20 0 3 0 160650923 484331520 103792 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
[pid=817232/tid=817238] ppid=817228 vsize=472980 memory=415156 CPUtime=0.04 cores=1,3
/proc/817232/task/817238/stat : 817238 (fscip) S 817228 817232 814844 0 -1 1077936192 189 0 0 0 1 3 0 0 20 0 3 0 160650924 484331520 103792 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
Current children cumulated CPU time: 3590.62 s
Current children cumulated vsize: 472980 KiB
Current children cumulated memory: 415168 KiB
[startup+3600.11 s]
/proc/loadavg: 4.19 4.15 4.10 5/251 819069
/proc/meminfo: memFree=127248336/131655788 swapFree=131071996/131071996
[pid=817232] ppid=817228 vsize=471952 memory=414144 CPUtime=3590.72 cores=1,3
/proc/817232/stat : 817232 (fscip) S 817228 817232 814844 0 -1 1077936128 674226 0 0 0 358967 105 0 0 20 0 3 0 160650916 483278848 103536 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
/proc/817232/statm: 117988 103536 2974 3032 0 105780 0
[pid=817232/tid=817237] ppid=817228 vsize=471952 memory=12724 CPUtime=3590.23 cores=1,3
/proc/817232/task/817237/stat : 817237 (fscip) R 817228 817232 814844 0 -1 4194368 669406 0 0 0 358935 88 0 0 20 0 3 0 160650923 483278848 103536 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
[pid=817232/tid=817238] ppid=817228 vsize=471952 memory=11408 CPUtime=0.04 cores=1,3
/proc/817232/task/817238/stat : 817238 (fscip) S 817228 817232 814844 0 -1 1077936192 189 0 0 0 1 3 0 0 20 0 3 0 160650924 483278848 103536 134679101440 4194304 16613245 140734964116288 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29417472 140734964118549 140734964118665 140734964118665 140734964125680 0
Current children cumulated CPU time: 3590.72 s
Current children cumulated vsize: 471952 KiB
Current children cumulated memory: 414144 KiB
Child status: 0
Real time (s): 3600.19
CPU time (s): 3590.81
CPU user time (s): 3589.74
CPU system time (s): 1.06561
CPU usage (%): 99.7395
Max. virtual memory (cumulated for all children) (KiB): 472980
Max. memory (cumulated for all children) (KiB): 415168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.74
system time used= 1.06561
maximum resident set size= 415168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 674633
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= 12779
involuntary context switches= 2044
# summary of solver processes directly reported to runsolver:
# pid: 817232
# total CPU time (s): 3590.81
# total CPU user time (s): 3589.74
# total CPU system time (s): 1.06561
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4303 second user time and 33.9222 second system time
The end
Begin job on nodeC007 at 2024-07-16 01:09:15
IDJOB=4434645
IDBENCH=147547
IDSOLVER=3064
FILE ID=nodeC007/4434645-1721084942
RUNJOBID= nodeC007-1721081354-814856
SLURM_JOB_ID= 7505557
Free space on /tmp= 723700 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.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-4434645-1721084942/watcher-4434645-1721084942 -o /tmp/evaluation-result-4434645-1721084942/solver-4434645-1721084942 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721081354-814856 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434645-1721084942.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 15e811bd466a2fe28afb8f0d217d004b
RANDOM SEED=2059110848
nodeC007.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 : 3491.633
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.25
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 : 3491.629
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.30
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.136
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.25
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.215
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.30
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 : 3491.679
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.25
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 : 3491.696
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.30
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.129
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.25
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.130
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128715244 kB
MemAvailable: 129918244 kB
Buffers: 385304 kB
Cached: 1649344 kB
SwapCached: 0 kB
Active: 684780 kB
Inactive: 1711008 kB
Active(anon): 1436 kB
Inactive(anon): 397084 kB
Active(file): 683344 kB
Inactive(file): 1313924 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112648 kB
Writeback: 20 kB
AnonPages: 360892 kB
Mapped: 136460 kB
Shmem: 37704 kB
KReclaimable: 91528 kB
Slab: 187556 kB
SReclaimable: 91528 kB
SUnreclaim: 96028 kB
KernelStack: 4076 kB
PageTables: 10028 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 737304 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51360 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 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: 248648 kB
DirectMap2M: 22724608 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723672 MiB
End job on nodeC007 at 2024-07-16 02:09:15