Trace number 4464789

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-30SAT54 3588 3598.41

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_500_10_2.opb
MD5SUM8deb0b9174477a1f2aeb72dadb0281d2
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark53
Best CPU time to get the best result obtained on this benchmark71099.4
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint11
Maximum length of a constraint22
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6328
Sum of products size (including duplicates)12656
Number of different products6328
Sum of products size12656

Solver Data

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.4.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.03	c Default LC presolving (default).
0.00/0.03	c ** Before presolving: virtualMemUsedAtLc = 46850048, getVmSize() = 46850048, SCIPgetMemUsed() = 21648772, SCIPgetMemTotal() = 24244348, SCIPgetMemExternEstim() = 13170617
0.00/0.03	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.08	c ** Estimated virtualMemUsedAtSolver = 34121045, getVmSize() = 55513088, SCIPgetMemUsed() = 21526481, SCIPgetMemTotal() = 31744633, SCIPgetMemExternEstim() = 13170617
0.00/0.08	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.08	c Original Problem   :
0.00/0.08	c   Problem name     : instance-4464789-1722382194
0.00/0.08	c   Variables        : 6828 (500 binary, 0 integer, 6328 implicit integer, 0 continuous)
0.00/0.08	c   Constraints      : 7328
0.00/0.08	c   Objective sense  : minimize
0.00/0.08	c Presolved Problem  :
0.00/0.08	c   Variables        : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.08	c   Constraints      : 500
0.00/0.08	c Constraints        : Number
0.00/0.08	c   logicor          : 500 
0.00/0.08	c ** Instance transfer method used: 0
0.00/0.08	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.00/0.09	c *       0              0           1         1         500.0000                -          -
0.09/0.11	c *       0              0           1         1          58.0000                -          -
10.05/10.11	c        10              2           1         1          58.0000          37.0210     56.67%
15.84/15.96	c        16              3           2         1          58.0000          37.0210     56.67%
21.93/22.09	c        22              5           4         1          58.0000          37.0210     56.67%
29.10/29.22	c        29              8           7         1          58.0000          37.0210     56.67%
34.59/34.79	c        35             18          17         1          58.0000          37.0210     56.67%
41.77/41.94	c        42             48          47         1          58.0000          37.0210     56.67%
46.86/47.00	c        47             66          65         1          58.0000          37.0210     56.67%
53.14/53.35	c        53             88          87         1          58.0000          37.0210     56.67%
58.62/58.82	c        59            107         106         1          58.0000          37.0210     56.67%
64.91/65.14	c        65            114         113         1          58.0000          37.0210     56.67%
70.99/71.23	c        71            121         120         1          58.0000          37.0210     56.67%
77.37/77.60	c        78            131         130         1          58.0000          37.0210     56.67%
84.05/84.36	c        84            139         138         1          58.0000          37.0210     56.67%
89.44/89.72	c        90            147         146         1          58.0000          37.0432     56.57%
94.93/95.28	c        95            161         160         1          58.0000          37.1181     56.26%
100.61/100.98	c       101            178         177         1          58.0000          37.1359     56.18%
112.97/113.30	c       113            201         202         1          58.0000          37.2981     55.50%
113.57/113.93	c *     114            201         202         1          54.0000          37.2981     44.78%
118.17/118.58	c       119            207         206         1          54.0000          37.2981     44.78%
124.65/125.01	c       125            223         222         1          54.0000          37.3890     44.43%
130.33/130.76	c       131            252         251         1          54.0000          37.5604     43.77%
136.72/137.13	c       137            273         272         1          54.0000          37.5896     43.66%
141.99/142.42	c       142            292         291         1          54.0000          37.6851     43.29%
148.17/148.69	c       149            317         316         1          54.0000          37.7585     43.01%
154.45/154.94	c       155            330         329         1          54.0000          37.7585     43.01%
159.64/160.13	c       160            336         335         1          54.0000          37.7585     43.01%
166.31/166.86	c       167            359         358         1          54.0000          37.7783     42.94%
171.70/172.25	c       172            371         370         1          54.0000          37.7850     42.91%
176.88/177.41	c       177            389         388         1          54.0000          37.8386     42.71%
182.57/183.16	c       183            399         398         1          54.0000          37.8386     42.71%
189.04/189.62	c       190            424         423         1          54.0000          37.8848     42.54%
194.63/195.25	c       195            437         436         1          54.0000          37.8848     42.54%
200.71/201.33	c       201            461         460         1          54.0000          37.8848     42.54%
207.99/208.67	c       209            475         474         1          54.0000          37.8848     42.54%
213.27/213.92	c       214            488         487         1          54.0000          37.8848     42.54%
218.36/219.08	c       219            500         499         1          54.0000          37.8848     42.54%
223.35/224.10	c       224            510         509         1          54.0000          37.8848     42.54%
228.53/229.24	c       229            522         521         1          54.0000          37.8848     42.54%
233.51/234.28	c       234            547         546         1          54.0000          37.8848     42.54%
239.29/240.02	c       240            566         565         1          54.0000          37.8909     42.51%
245.18/245.97	c       246            575         574         1          54.0000          37.9238     42.39%
250.76/251.51	c       252            591         590         1          54.0000          37.9238     42.39%
255.84/256.67	c       257            617         616         1          54.0000          37.9347     42.35%
261.42/262.21	c       262            632         631         1          54.0000          37.9351     42.35%
266.81/267.60	c       268            646         645         1          54.0000          37.9432     42.32%
271.99/272.88	c       273            658         657         1          54.0000          37.9432     42.32%
277.37/278.20	c       278            673         672         1          54.0000          37.9432     42.32%
282.56/283.44	c       283            692         691         1          54.0000          37.9857     42.16%
288.14/289.03	c       289            707         706         1          54.0000          38.0025     42.10%
293.12/294.10	c       294            731         730         1          54.0000          38.0025     42.10%
298.21/299.13	c       299            752         751         1          54.0000          38.0289     42.00%
303.68/304.69	c       305            774         773         1          54.0000          38.0289     42.00%
309.96/310.91	c       311            798         797         1          54.0000          38.0289     42.00%
315.15/316.12	c       316            817         816         1          54.0000          38.0512     41.91%
320.82/321.85	c       322            849         848         1          54.0000          38.0595     41.88%
325.80/326.86	c       327            867         866         1          54.0000          38.0595     41.88%
330.88/331.92	c       332            887         886         1          54.0000          38.0984     41.74%
336.36/337.49	c       337            905         904         1          54.0000          38.0984     41.74%
342.54/343.62	c       344            928         927         1          54.0000          38.1278     41.63%
348.41/349.54	c       350            953         952         1          54.0000          38.1393     41.59%
353.80/354.98	c       355            979         978         1          54.0000          38.1526     41.54%
359.18/360.39	c       360           1002        1001         1          54.0000          38.2088     41.33%
364.65/365.83	c       366           1030        1029         1          54.0000          38.2229     41.28%
370.73/371.97	c       372           1049        1048         1          54.0000          38.2229     41.28%
378.50/379.77	c       380           1051           1         1          54.0000          38.2229     41.28%
383.88/385.12	c       385           1057           7         1          54.0000          38.2229     41.28%
389.46/390.76	c       391           1061          11         1          54.0000          38.2229     41.28%
395.93/397.27	c       397           1065          15         1          54.0000          38.2229     41.28%
402.11/403.41	c       403           1070          20         1          54.0000          38.2229     41.28%
407.29/408.62	c       409           1079          29         1          54.0000          38.2229     41.28%
412.37/413.71	c       414           1096          46         1          54.0000          38.2229     41.28%
418.66/420.04	c       420           1123          73         1          54.0000          38.2229     41.28%
424.03/425.46	c       425           1139          89         1          54.0000          38.2229     41.28%
429.72/431.11	c       431           1161         111         1          54.0000          38.2229     41.28%
435.19/436.60	c       437           1191         141         1          54.0000          38.2229     41.28%
441.08/442.56	c       443           1210         160         1          54.0000          38.2229     41.28%
446.16/447.60	c       448           1220         170         1          54.0000          38.2229     41.28%
452.93/454.46	c       454           1236         186         1          54.0000          38.2229     41.28%
458.71/460.21	c       460           1255         205         1          54.0000          38.2229     41.28%
464.70/466.28	c       466           1273         223         1          54.0000          38.2229     41.28%
470.18/471.72	c       472           1287         237         1          54.0000          38.2229     41.28%
476.56/478.15	c       478           1308         258         1          54.0000          38.2229     41.28%
481.73/483.38	c       483           1327         277         1          54.0000          38.2229     41.28%
487.61/489.24	c       489           1347         297         1          54.0000          38.2229     41.28%
493.09/494.78	c       495           1364         314         1          54.0000          38.2229     41.28%
499.19/500.86	c       501           1386         336         1          54.0000          38.2229     41.28%
505.07/506.70	c       507           1398         348         1          54.0000          38.2229     41.28%
510.85/512.58	c       513           1423         373         1          54.0000          38.2229     41.28%
516.84/518.57	c       519           1445         395         1          54.0000          38.2229     41.28%
524.12/525.86	c       526           1451         401         1          54.0000          38.2229     41.28%
529.31/531.04	c       531           1470         420         1          54.0000          38.2229     41.28%
534.59/536.39	c       536           1487         437         1          54.0000          38.2229     41.28%
541.57/543.37	c       543           1510         460         1          54.0000          38.2229     41.28%
547.36/549.11	c       549           1531         481         1          54.0000          38.2229     41.28%
552.64/554.47	c       554           1550         500         1          54.0000          38.2229     41.28%
559.02/560.81	c       561           1577         527         1          54.0000          38.2229     41.28%
564.91/566.79	c       567           1600         550         1          54.0000          38.2229     41.28%
570.79/572.64	c       573           1619         569         1          54.0000          38.2229     41.28%
576.98/578.82	c       579           1644         594         1          54.0000          38.2229     41.28%
582.76/584.60	c       585           1673         623         1          54.0000          38.2229     41.28%
588.85/590.77	c       591           1688         638         1          54.0000          38.2229     41.28%
595.23/597.11	c       597           1710         660         1          54.0000          38.2229     41.28%
600.52/602.42	c       602           1726         676         1          54.0000          38.2657     41.12%
606.20/608.15	c       608           1751         701         1          54.0000          38.2657     41.12%
611.78/613.77	c       614           1764         714         1          54.0000          38.3018     40.99%
618.27/620.26	c       620           1787         737         1          54.0000          38.3018     40.99%
623.65/625.66	c       626           1805         755         1          54.0000          38.3079     40.96%
629.23/631.22	c       631           1823         773         1          54.0000          38.3079     40.96%
634.92/636.94	c       637           1848         798         1          54.0000          38.3130     40.94%
640.90/642.93	c       643           1876         826         1          54.0000          38.3264     40.90%
646.88/648.99	c       649           1911         861         1          54.0000          38.3435     40.83%
652.38/654.42	c       654           1937         887         1          54.0000          38.3550     40.79%
657.97/660.06	c       660           1957         907         1          54.0000          38.3550     40.79%
663.14/665.27	c       665           1982         932         1          54.0000          38.4092     40.59%
669.03/671.18	c       671           2006         956         1          54.0000          38.4092     40.59%
674.21/676.30	c       676           2029         979         1          54.0000          38.4096     40.59%
679.90/682.00	c       682           2062        1012         1          54.0000          38.4200     40.55%
684.89/687.08	c       687           2084        1034         1          54.0000          38.4200     40.55%
690.66/692.80	c       693           2112        1062         1          54.0000          38.4200     40.55%
697.65/699.84	c       700           2144        1094         1          54.0000          38.4354     40.50%
702.93/705.19	c       705           2171        1121         1          54.0000          38.4513     40.44%
708.81/711.09	c       711           2188        1138         1          54.0000          38.4513     40.44%
714.59/716.87	c       717           2208        1158         1          54.0000          38.4666     40.38%
720.27/722.58	c       723           2230        1180         1          54.0000          38.4887     40.30%
725.65/727.91	c       728           2260        1210         1          54.0000          38.4894     40.30%
731.63/733.95	c       734           2299        1249         1          54.0000          38.4990     40.26%
737.51/739.88	c       740           2329        1279         1          54.0000          38.5038     40.25%
743.09/745.41	c       745           2365        1315         1          54.0000          38.5038     40.25%
748.67/751.03	c       751           2391        1341         1          54.0000          38.5168     40.20%
755.15/757.50	c       758           2421        1371         1          54.0000          38.5168     40.20%
760.53/762.96	c       763           2442        1392         1          54.0000          38.5197     40.19%
766.11/768.55	c       769           2463        1413         1          54.0000          38.5197     40.19%
771.69/774.19	c       774           2478        1428         1          54.0000          38.5197     40.19%
777.47/779.97	c       780           2514        1464         1          54.0000          38.5221     40.18%
782.76/785.22	c       785           2532        1482         1          54.0000          38.5221     40.18%
788.54/791.00	c       791           2566        1516         1          54.0000          38.5221     40.18%
793.62/796.15	c       796           2600        1550         1          54.0000          38.5221     40.18%
800.40/802.97	c       803           2627        1577         1          54.0000          38.5221     40.18%
806.38/808.90	c       809           2664        1614         1          54.0000          38.5493     40.08%
812.26/814.83	c       815           2685        1635         1          54.0000          38.5508     40.07%
818.04/820.67	c       821           2701        1651         1          54.0000          38.5604     40.04%
823.44/826.06	c       826           2729        1679         1          54.0000          38.5683     40.01%
828.91/831.56	c       832           2759        1709         1          54.0000          38.5683     40.01%
835.19/837.87	c       838           2775        1725         1          54.0000          38.5765     39.98%
841.06/843.77	c       844           2805        1755         1          54.0000          38.5765     39.98%
847.24/849.96	c       850           2831        1781         1          54.0000          38.5780     39.98%
853.02/855.73	c       856           2850        1800         1          54.0000          38.5780     39.98%
858.10/860.88	c       861           2866        1816         1          54.0000          38.5780     39.98%
864.78/867.57	c       868           2894        1844         1          54.0000          38.6008     39.89%
870.76/873.58	c       874           2931        1881         1          54.0000          38.6008     39.89%
876.95/879.78	c       880           2958        1908         1          54.0000          38.6131     39.85%
882.53/885.36	c       885           2986        1936         1          54.0000          38.6131     39.85%
888.70/891.54	c       892           3026        1976         1          54.0000          38.6131     39.85%
893.88/896.71	c       897           3051        2001         1          54.0000          38.6240     39.81%
899.46/902.38	c       902           3090        2040         1          54.0000          38.6272     39.80%
905.54/908.41	c       908           3127        2077         1          54.0000          38.6272     39.80%
911.13/914.04	c       914           3168        2118         1          54.0000          38.6341     39.77%
916.90/919.85	c       920           3203        2153         1          54.0000          38.6341     39.77%
923.48/926.49	c       926           3224        2174         1          54.0000          38.6341     39.77%
929.06/932.00	c       932           3272        2222         1          54.0000          38.6411     39.75%
934.84/937.88	c       938           3293        2243         1          54.0000          38.6411     39.75%
941.62/944.64	c       945           3318        2268         1          54.0000          38.6450     39.73%
947.11/950.13	c       950           3349        2299         1          54.0000          38.6450     39.73%
952.79/955.88	c       956           3355        2305         1          54.0000          38.6450     39.73%
958.37/961.41	c       961           3391        2341         1          54.0000          38.6612     39.67%
964.15/967.26	c       967           3424        2374         1          54.0000          38.6612     39.67%
969.53/972.60	c       973           3451        2401         1          54.0000          38.6691     39.65%
974.72/977.85	c       978           3480        2430         1          54.0000          38.6691     39.65%
980.40/983.50	c       984           3502        2452         1          54.0000          38.6691     39.65%
985.70/988.85	c       989           3527        2477         1          54.0000          38.6762     39.62%
993.67/996.81	c       997           3560        2510         1          54.0000          38.6762     39.62%
999.16/1002.32	c      1002           3597        2547         1          54.0000          38.6762     39.62%
1005.14/1008.35	c      1008           3630        2580         1          54.0000          38.6784     39.61%
1010.23/1013.42	c      1013           3667        2617         1          54.0000          38.6784     39.61%
1016.11/1019.31	c      1019           3695        2647         1          54.0000          38.6784     39.61%
1021.30/1024.57	c      1025           3713        2663         1          54.0000          38.6784     39.61%
1027.48/1030.79	c      1031           3741        2691         1          54.0000          38.6816     39.60%
1033.56/1036.83	c      1037           3783        2733         1          54.0000          38.6816     39.60%
1039.34/1042.70	c      1043           3811        2761         1          54.0000          38.6875     39.58%
1045.13/1048.40	c      1048           3836        2786         1          54.0000          38.6875     39.58%
1051.31/1054.60	c      1055           3857        2807         1          54.0000          38.6875     39.58%
1056.89/1060.29	c      1060           3885        2835         1          54.0000          38.6887     39.58%
1063.57/1066.97	c      1067           3916        2866         1          54.0000          38.6887     39.58%
1069.56/1072.97	c      1073           3945        2895         1          54.0000          38.6887     39.58%
1074.65/1078.03	c      1078           3982        2932         1          54.0000          38.6887     39.58%
1080.13/1083.56	c      1084           4005        2955         1          54.0000          38.7083     39.50%
1085.42/1088.82	c      1089           4039        2989         1          54.0000          38.7269     39.44%
1091.00/1094.46	c      1094           4081        3031         1          54.0000          38.7283     39.43%
1096.29/1099.75	c      1100           4113        3063         1          54.0000          38.7283     39.43%
1102.57/1106.05	c      1106           4152        3102         1          54.0000          38.7283     39.43%
1108.56/1112.03	c      1112           4188        3138         1          54.0000          38.7296     39.43%
1114.14/1117.64	c      1118           4223        3173         1          54.0000          38.7296     39.43%
1119.72/1123.21	c      1123           4243        3193         1          54.0000          38.7446     39.37%
1125.11/1128.65	c      1129           4260        3210         1          54.0000          38.7446     39.37%
1130.39/1133.99	c      1134           4291        3241         1          54.0000          38.7450     39.37%
1136.17/1139.77	c      1140           4326        3276         1          54.0000          38.7481     39.36%
1141.66/1145.20	c      1145           4347        3297         1          54.0000          38.7509     39.35%
1147.85/1151.41	c      1151           4379        3329         1          54.0000          38.7509     39.35%
1153.33/1156.99	c      1157           4408        3358         1          54.0000          38.7509     39.35%
1158.81/1162.43	c      1162           4436        3386         1          54.0000          38.7623     39.31%
1164.79/1168.43	c      1168           4463        3413         1          54.0000          38.7738     39.27%
1171.18/1174.85	c      1175           4495        3445         1          54.0000          38.7751     39.26%
1176.76/1180.44	c      1180           4531        3481         1          54.0000          38.7816     39.24%
1181.94/1185.63	c      1186           4559        3509         1          54.0000          38.7816     39.24%
1187.23/1190.98	c      1191           4597        3547         1          54.0000          38.7816     39.24%
1192.51/1196.26	c      1196           4631        3581         1          54.0000          38.7895     39.21%
1198.60/1202.32	c      1202           4665        3615         1          54.0000          38.7907     39.21%
1203.69/1207.44	c      1207           4709        3659         1          54.0000          38.7935     39.20%
1209.37/1213.13	c      1213           4743        3693         1          54.0000          38.7979     39.18%
1214.95/1218.72	c      1219           4764        3714         1          54.0000          38.7979     39.18%
1220.44/1224.26	c      1224           4785        3735         1          54.0000          38.7979     39.18%
1226.62/1230.43	c      1230           4812        3762         1          54.0000          38.7979     39.18%
1232.50/1236.30	c      1236           4838        3788         1          54.0000          38.7979     39.18%
1237.99/1241.87	c      1242           4886        3836         1          54.0000          38.7986     39.18%
1243.87/1247.76	c      1248           4908        3858         1          54.0000          38.7986     39.18%
1249.56/1253.47	c      1253           4941        3891         1          54.0000          38.8055     39.16%
1255.04/1258.97	c      1259           4963        3913         1          54.0000          38.8055     39.16%
1260.33/1264.30	c      1264           5012        3962         1          54.0000          38.8065     39.15%
1265.42/1269.39	c      1269           5034        3984         1          54.0000          38.8065     39.15%
1270.51/1274.41	c      1274           5071        4021         1          54.0000          38.8086     39.14%
1275.69/1279.64	c      1280           5112        4062         1          54.0000          38.8086     39.14%
1281.57/1285.51	c      1286           5154        4104         1          54.0000          38.8134     39.13%
1287.16/1291.12	c      1291           5202        4152         1          54.0000          38.8134     39.13%
1292.24/1296.24	c      1296           5232        4182         1          54.0000          38.8134     39.13%
1298.04/1302.08	c      1302           5265        4215         1          54.0000          38.8134     39.13%
1303.72/1307.71	c      1308           5307        4257         1          54.0000          38.8195     39.11%
1309.50/1313.59	c      1314           5337        4287         1          54.0000          38.8195     39.11%
1314.98/1319.00	c      1319           5389        4339         1          54.0000          38.8195     39.11%
1320.76/1324.89	c      1325           5410        4360         1          54.0000          38.8222     39.10%
1326.25/1330.31	c      1330           5438        4388         1          54.0000          38.8222     39.10%
1332.23/1336.37	c      1336           5481        4431         1          54.0000          38.8222     39.10%
1338.11/1342.23	c      1342           5507        4457         1          54.0000          38.8270     39.08%
1343.60/1347.78	c      1348           5560        4510         1          54.0000          38.8270     39.08%
1350.18/1354.33	c      1354           5591        4541         1          54.0000          38.8270     39.08%
1356.16/1360.34	c      1360           5626        4576         1          54.0000          38.8270     39.08%
1361.35/1365.55	c      1366           5670        4620         1          54.0000          38.8307     39.07%
1367.33/1371.51	c      1372           5697        4647         1          54.0000          38.8307     39.07%
1373.71/1377.93	c      1378           5719        4669         1          54.0000          38.8322     39.06%
1378.90/1383.19	c      1383           5741        4691         1          54.0000          38.8401     39.03%
1384.28/1388.58	c      1389           5763        4713         1          54.0000          38.8401     39.03%
1389.66/1393.96	c      1394           5821        4771         1          54.0000          38.8408     39.03%
1394.75/1399.08	c      1399           5851        4801         1          54.0000          38.8408     39.03%
1399.93/1404.29	c      1404           5905        4855         1          54.0000          38.8408     39.03%
1405.72/1410.07	c      1410           5951        4901         1          54.0000          38.8416     39.03%
1411.31/1415.64	c      1416           5997        4947         1          54.0000          38.8416     39.03%
1416.49/1420.89	c      1421           6031        4981         1          54.0000          38.8438     39.02%
1422.47/1426.81	c      1427           6061        5011         1          54.0000          38.8544     38.98%
1427.66/1432.05	c      1432           6076        5026         1          54.0000          38.8544     38.98%
1432.65/1437.09	c      1437           6116        5066         1          54.0000          38.8562     38.97%
1438.43/1442.82	c      1443           6149        5099         1          54.0000          38.8598     38.96%
1444.41/1448.87	c      1449           6196        5146         1          54.0000          38.8625     38.95%
1450.20/1454.66	c      1455           6236        5186         1          54.0000          38.8625     38.95%
1455.48/1459.93	c      1460           6268        5218         1          54.0000          38.8625     38.95%
1461.06/1465.51	c      1466           6310        5260         1          54.0000          38.8629     38.95%
1466.06/1470.54	c      1471           6336        5286         1          54.0000          38.8630     38.95%
1471.44/1475.93	c      1476           6382        5332         1          54.0000          38.8639     38.95%
1477.23/1481.77	c      1482           6414        5364         1          54.0000          38.8639     38.95%
1482.81/1487.33	c      1487           6431        5381         1          54.0000          38.8651     38.94%
1488.39/1492.95	c      1493           6452        5402         1          54.0000          38.8673     38.93%
1493.58/1498.15	c      1498           6482        5432         1          54.0000          38.8673     38.93%
1499.66/1504.22	c      1504           6529        5479         1          54.0000          38.8673     38.93%
1504.75/1509.36	c      1509           6560        5510         1          54.0000          38.8673     38.93%
1511.13/1515.71	c      1516           6602        5552         1          54.0000          38.8730     38.91%
1517.51/1522.12	c      1522           6635        5585         1          54.0000          38.8730     38.91%
1523.19/1527.82	c      1528           6681        5631         1          54.0000          38.8762     38.90%
1529.08/1533.73	c      1534           6717        5667         1          54.0000          38.8772     38.90%
1534.67/1539.37	c      1539           6764        5714         1          54.0000          38.8774     38.90%
1540.36/1545.08	c      1545           6799        5749         1          54.0000          38.8774     38.90%
1545.74/1550.43	c      1550           6836        5786         1          54.0000          38.8783     38.89%
1551.72/1556.43	c      1556           6890        5840         1          54.0000          38.8783     38.89%
1557.21/1561.95	c      1562           6945        5895         1          54.0000          38.8841     38.87%
1562.59/1567.39	c      1567           6997        5947         1          54.0000          38.8845     38.87%
1568.97/1573.70	c      1574           7043        5993         1          54.0000          38.8845     38.87%
1575.05/1579.81	c      1580           7076        6026         1          54.0000          38.8845     38.87%
1580.14/1584.97	c      1585           7131        6081         1          54.0000          38.8845     38.87%
1585.73/1590.50	c      1590           7158        6108         1          54.0000          38.8845     38.87%
1590.71/1595.53	c      1596           7186        6136         1          54.0000          38.8878     38.86%
1596.00/1600.85	c      1601           7222        6172         1          54.0000          38.8915     38.85%
1601.78/1606.64	c      1607           7280        6230         1          54.0000          38.8915     38.85%
1607.66/1612.55	c      1613           7317        6267         1          54.0000          38.8915     38.85%
1613.65/1618.58	c      1619           7358        6308         1          54.0000          38.8915     38.85%
1619.43/1624.36	c      1624           7390        6340         1          54.0000          38.8919     38.85%
1624.42/1629.40	c      1629           7428        6378         1          54.0000          38.8929     38.84%
1630.21/1635.18	c      1635           7474        6424         1          54.0000          38.8952     38.83%
1635.98/1640.95	c      1641           7523        6473         1          54.0000          38.9066     38.79%
1641.37/1646.32	c      1646           7575        6525         1          54.0000          38.9066     38.79%
1647.55/1652.58	c      1653           7628        6578         1          54.0000          38.9066     38.79%
1653.53/1658.58	c      1659           7680        6630         1          54.0000          38.9066     38.79%
1658.92/1663.94	c      1664           7710        6660         1          54.0000          38.9131     38.77%
1664.71/1669.73	c      1670           7749        6699         1          54.0000          38.9137     38.77%
1670.00/1675.08	c      1675           7784        6734         1          54.0000          38.9137     38.77%
1675.48/1680.53	c      1681           7830        6780         1          54.0000          38.9208     38.74%
1680.97/1686.07	c      1686           7870        6820         1          54.0000          38.9219     38.74%
1687.14/1692.29	c      1692           7934        6884         1          54.0000          38.9230     38.74%
1692.53/1697.68	c      1698           7974        6924         1          54.0000          38.9253     38.73%
1697.61/1702.73	c      1703           8002        6952         1          54.0000          38.9300     38.71%
1703.60/1708.71	c      1709           8064        7014         1          54.0000          38.9314     38.71%
1708.78/1713.91	c      1714           8112        7062         1          54.0000          38.9314     38.71%
1715.26/1720.47	c      1720           8161        7111         1          54.0000          38.9320     38.70%
1720.55/1725.70	c      1726           8200        7150         1          54.0000          38.9320     38.70%
1725.63/1730.81	c      1731           8248        7198         1          54.0000          38.9322     38.70%
1730.72/1735.99	c      1736           8285        7235         1          54.0000          38.9322     38.70%
1736.21/1741.45	c      1741           8335        7285         1          54.0000          38.9322     38.70%
1741.59/1746.87	c      1747           8395        7345         1          54.0000          38.9346     38.69%
1747.48/1752.74	c      1753           8451        7401         1          54.0000          38.9346     38.69%
1753.06/1758.37	c      1758           8500        7450         1          54.0000          38.9346     38.69%
1758.75/1764.02	c      1764           8548        7498         1          54.0000          38.9346     38.69%
1763.93/1769.24	c      1769           8608        7558         1          54.0000          38.9346     38.69%
1770.12/1775.44	c      1775           8629        7579         1          54.0000          38.9346     38.69%
1775.30/1780.63	c      1781           8675        7625         1          54.0000          38.9352     38.69%
1780.88/1786.28	c      1786           8732        7682         1          54.0000          38.9362     38.69%
1786.67/1792.01	c      1792           8771        7721         1          54.0000          38.9362     38.69%
1792.45/1797.82	c      1798           8824        7774         1          54.0000          38.9372     38.69%
1798.53/1803.92	c      1804           8867        7817         1          54.0000          38.9372     38.69%
1804.12/1809.52	c      1810           8926        7876         1          54.0000          38.9407     38.67%
1809.71/1815.16	c      1815           8961        7911         1          54.0000          38.9426     38.67%
1815.28/1820.77	c      1821           9006        7956         1          54.0000          38.9426     38.67%
1820.67/1826.14	c      1826           9051        8001         1          54.0000          38.9434     38.66%
1826.56/1832.07	c      1832           9098        8048         1          54.0000          38.9444     38.66%
1832.14/1837.60	c      1838           9157        8107         1          54.0000          38.9444     38.66%
1838.02/1843.53	c      1844           9195        8145         1          54.0000          38.9444     38.66%
1843.10/1848.67	c      1849           9237        8187         1          54.0000          38.9444     38.66%
1848.60/1854.15	c      1854           9299        8249         1          54.0000          38.9444     38.66%
1854.67/1860.24	c      1860           9341        8291         1          54.0000          38.9455     38.66%
1859.96/1865.56	c      1866           9387        8337         1          54.0000          38.9455     38.66%
1865.85/1871.42	c      1871           9429        8379         1          54.0000          38.9476     38.65%
1871.03/1876.68	c      1877           9473        8423         1          54.0000          38.9476     38.65%
1876.32/1881.92	c      1882           9523        8473         1          54.0000          38.9479     38.65%
1881.30/1886.93	c      1887           9571        8521         1          54.0000          38.9492     38.64%
1887.18/1892.89	c      1893           9616        8566         1          54.0000          38.9492     38.64%
1893.16/1898.88	c      1899           9661        8611         1          54.0000          38.9500     38.64%
1898.45/1904.17	c      1904           9702        8652         1          54.0000          38.9544     38.62%
1903.94/1909.63	c      1910           9743        8693         1          54.0000          38.9544     38.62%
1909.22/1914.95	c      1915           9784        8734         1          54.0000          38.9550     38.62%
1914.31/1920.05	c      1920           9827        8777         1          54.0000          38.9550     38.62%
1919.99/1925.74	c      1926           9868        8818         1          54.0000          38.9550     38.62%
1926.17/1931.97	c      1932           9908        8858         1          54.0000          38.9566     38.62%
1931.56/1937.38	c      1937           9961        8911         1          54.0000          38.9570     38.61%
1937.25/1943.01	c      1943          10010        8960         1          54.0000          38.9570     38.61%
1942.43/1948.23	c      1948          10069        9019         1          54.0000          38.9587     38.61%
1947.81/1953.65	c      1954          10111        9061         1          54.0000          38.9592     38.61%
1954.30/1960.17	c      1960          10158        9108         1          54.0000          38.9667     38.58%
1959.78/1965.61	c      1966          10187        9137         1          54.0000          38.9667     38.58%
1965.67/1971.51	c      1972          10257        9207         1          54.0000          38.9670     38.58%
1970.95/1976.86	c      1977          10292        9242         1          54.0000          38.9728     38.56%
1976.63/1982.52	c      1983          10343        9293         1          54.0000          38.9728     38.56%
1982.31/1988.23	c      1988          10403        9353         1          54.0000          38.9741     38.55%
1988.50/1994.46	c      1994          10454        9404         1          54.0000          38.9741     38.55%
1994.19/2000.13	c      2000          10512        9462         1          54.0000          38.9771     38.54%
2000.26/2006.25	c      2006          10546        9496         1          54.0000          38.9789     38.54%
2005.45/2011.45	c      2011          10574        9524         1          54.0000          38.9789     38.54%
2010.93/2016.92	c      2017          10632        9582         1          54.0000          38.9789     38.54%
2016.52/2022.54	c      2023          10692        9642         1          54.0000          38.9791     38.54%
2022.01/2028.04	c      2028          10737        9687         1          54.0000          38.9795     38.53%
2027.00/2033.07	c      2033          10768        9718         1          54.0000          38.9795     38.53%
2032.68/2038.74	c      2039          10815        9765         1          54.0000          38.9800     38.53%
2037.86/2043.90	c      2044          10835        9785         1          54.0000          38.9800     38.53%
2042.85/2048.91	c      2049          10889        9839         1          54.0000          38.9814     38.53%
2048.33/2054.43	c      2054          10935        9885         1          54.0000          38.9825     38.52%
2053.51/2059.63	c      2060          10968        9918         1          54.0000          38.9836     38.52%
2059.10/2065.24	c      2065          11033        9983         1          54.0000          38.9836     38.52%
2064.78/2070.92	c      2071          11084       10034         1          54.0000          38.9838     38.52%
2070.46/2076.64	c      2077          11150       10100         1          54.0000          38.9838     38.52%
2076.15/2082.39	c      2082          11203       10153         1          54.0000          38.9848     38.52%
2081.34/2087.52	c      2088          11247       10197         1          54.0000          38.9848     38.52%
2086.53/2092.71	c      2093          11296       10246         1          54.0000          38.9852     38.51%
2092.41/2098.61	c      2099          11353       10303         1          54.0000          38.9857     38.51%
2098.19/2104.42	c      2104          11397       10347         1          54.0000          38.9857     38.51%
2103.38/2109.62	c      2110          11467       10417         1          54.0000          38.9910     38.49%
2109.36/2115.60	c      2116          11511       10461         1          54.0000          38.9917     38.49%
2114.74/2121.08	c      2121          11534       10484         1          54.0000          38.9938     38.48%
2120.73/2127.06	c      2127          11580       10530         1          54.0000          38.9938     38.48%
2126.11/2132.48	c      2132          11620       10570         1          54.0000          38.9960     38.48%
2132.19/2138.51	c      2139          11681       10631         1          54.0000          39.0021     38.45%
2137.87/2144.21	c      2144          11727       10677         1          54.0000          39.0030     38.45%
2144.16/2150.56	c      2151          11756       10706         1          54.0000          39.0034     38.45%
2149.34/2155.72	c      2156          11811       10761         1          54.0000          39.0055     38.44%
2155.52/2161.94	c      2162          11853       10803         1          54.0000          39.0056     38.44%
2161.41/2167.87	c      2168          11908       10858         1          54.0000          39.0082     38.43%
2166.49/2172.92	c      2173          11952       10902         1          54.0000          39.0124     38.42%
2172.17/2178.61	c      2179          12006       10956         1          54.0000          39.0124     38.42%
2177.36/2183.85	c      2184          12040       10990         1          54.0000          39.0140     38.41%
2182.44/2188.91	c      2189          12081       11031         1          54.0000          39.0182     38.40%
2188.42/2194.98	c      2195          12126       11076         1          54.0000          39.0196     38.39%
2193.90/2200.45	c      2200          12170       11120         1          54.0000          39.0196     38.39%
2199.29/2205.87	c      2206          12224       11174         1          54.0000          39.0198     38.39%
2205.08/2211.67	c      2212          12258       11208         1          54.0000          39.0208     38.39%
2211.06/2217.61	c      2218          12310       11260         1          54.0000          39.0208     38.39%
2217.04/2223.63	c      2224          12381       11331         1          54.0000          39.0262     38.37%
2222.53/2229.10	c      2229          12431       11381         1          54.0000          39.0270     38.37%
2227.71/2234.38	c      2234          12485       11435         1          54.0000          39.0284     38.36%
2233.39/2240.03	c      2240          12525       11475         1          54.0000          39.0284     38.36%
2238.57/2245.28	c      2245          12585       11535         1          54.0000          39.0289     38.36%
2243.97/2250.60	c      2251          12627       11577         1          54.0000          39.0289     38.36%
2249.55/2256.24	c      2256          12689       11639         1          54.0000          39.0292     38.36%
2255.33/2262.04	c      2262          12744       11694         1          54.0000          39.0292     38.36%
2260.81/2267.53	c      2268          12772       11722         1          54.0000          39.0292     38.36%
2266.79/2273.53	c      2274          12843       11793         1          54.0000          39.0328     38.35%
2272.08/2278.82	c      2279          12879       11829         1          54.0000          39.0328     38.35%
2277.37/2284.11	c      2284          12931       11881         1          54.0000          39.0366     38.33%
2282.64/2289.49	c      2289          12973       11923         1          54.0000          39.0366     38.33%
2288.62/2295.42	c      2295          13015       11965         1          54.0000          39.0400     38.32%
2294.52/2301.31	c      2301          13053       12003         1          54.0000          39.0432     38.31%
2300.50/2307.34	c      2307          13116       12066         1          54.0000          39.0432     38.31%
2305.78/2312.63	c      2313          13172       12122         1          54.0000          39.0432     38.31%
2310.77/2317.66	c      2318          13216       12166         1          54.0000          39.0432     38.31%
2316.55/2323.44	c      2323          13271       12221         1          54.0000          39.0480     38.29%
2322.83/2329.78	c      2330          13340       12290         1          54.0000          39.0493     38.29%
2327.91/2334.88	c      2335          13374       12324         1          54.0000          39.0510     38.28%
2333.30/2340.22	c      2340          13430       12380         1          54.0000          39.0510     38.28%
2338.38/2345.38	c      2345          13468       12418         1          54.0000          39.0510     38.28%
2343.76/2350.71	c      2351          13491       12441         1          54.0000          39.0514     38.28%
2349.25/2356.27	c      2356          13545       12495         1          54.0000          39.0516     38.28%
2354.84/2361.88	c      2362          13594       12544         1          54.0000          39.0517     38.28%
2360.42/2367.46	c      2367          13656       12606         1          54.0000          39.0524     38.28%
2365.91/2372.91	c      2373          13717       12667         1          54.0000          39.0532     38.27%
2371.39/2378.40	c      2378          13766       12716         1          54.0000          39.0532     38.27%
2376.98/2384.03	c      2384          13816       12766         1          54.0000          39.0532     38.27%
2382.96/2390.00	c      2390          13869       12819         1          54.0000          39.0532     38.27%
2388.94/2396.03	c      2396          13888       12838         1          54.0000          39.0532     38.27%
2394.93/2402.04	c      2402          13922       12872         1          54.0000          39.0532     38.27%
2400.20/2407.39	c      2407          13951       12901         1          54.0000          39.0532     38.27%
2405.59/2412.75	c      2413          13978       12928         1          54.0000          39.0558     38.26%
2411.37/2418.53	c      2419          14021       12971         1          54.0000          39.0558     38.26%
2416.86/2424.07	c      2424          14049       12999         1          54.0000          39.0563     38.26%
2422.84/2430.10	c      2430          14103       13053         1          54.0000          39.0563     38.26%
2427.92/2435.17	c      2435          14151       13101         1          54.0000          39.0580     38.26%
2433.60/2440.88	c      2441          14188       13138         1          54.0000          39.0580     38.26%
2439.29/2446.55	c      2447          14246       13196         1          54.0000          39.0589     38.25%
2444.28/2451.57	c      2452          14292       13242         1          54.0000          39.0589     38.25%
2449.57/2456.83	c      2457          14330       13280         1          54.0000          39.0589     38.25%
2454.65/2461.91	c      2462          14389       13339         1          54.0000          39.0597     38.25%
2460.34/2467.63	c      2468          14439       13389         1          54.0000          39.0597     38.25%
2465.62/2472.99	c      2473          14492       13442         1          54.0000          39.0597     38.25%
2471.00/2478.33	c      2478          14551       13501         1          54.0000          39.0597     38.25%
2476.09/2483.45	c      2483          14595       13545         1          54.0000          39.0616     38.24%
2481.17/2488.58	c      2489          14644       13594         1          54.0000          39.0651     38.23%
2486.86/2494.24	c      2494          14687       13637         1          54.0000          39.0651     38.23%
2492.14/2499.54	c      2500          14726       13676         1          54.0000          39.0651     38.23%
2497.13/2504.54	c      2505          14761       13711         1          54.0000          39.0651     38.23%
2503.11/2510.52	c      2511          14822       13772         1          54.0000          39.0651     38.23%
2508.49/2515.97	c      2516          14887       13837         1          54.0000          39.0653     38.23%
2513.68/2521.12	c      2521          14918       13868         1          54.0000          39.0660     38.23%
2519.07/2526.56	c      2527          14962       13912         1          54.0000          39.0661     38.23%
2524.45/2531.91	c      2532          14998       13948         1          54.0000          39.0661     38.23%
2529.93/2537.40	c      2537          15054       14004         1          54.0000          39.0661     38.23%
2535.62/2543.17	c      2543          15105       14055         1          54.0000          39.0674     38.22%
2541.39/2548.90	c      2549          15152       14102         1          54.0000          39.0714     38.21%
2546.88/2554.47	c      2554          15213       14163         1          54.0000          39.0714     38.21%
2552.86/2560.45	c      2560          15249       14199         1          54.0000          39.0727     38.20%
2558.55/2566.13	c      2566          15305       14255         1          54.0000          39.0728     38.20%
2564.33/2571.95	c      2572          15344       14294         1          54.0000          39.0728     38.20%
2570.11/2577.75	c      2578          15401       14351         1          54.0000          39.0728     38.20%
2575.40/2583.07	c      2583          15450       14400         1          54.0000          39.0728     38.20%
2580.78/2588.44	c      2588          15499       14449         1          54.0000          39.0728     38.20%
2587.66/2595.35	c      2595          15555       14505         1          54.0000          39.0728     38.20%
2592.64/2600.37	c      2600          15607       14557         1          54.0000          39.0739     38.20%
2597.93/2605.69	c      2606          15649       14599         1          54.0000          39.0757     38.19%
2603.81/2611.53	c      2612          15704       14654         1          54.0000          39.0758     38.19%
2608.89/2616.68	c      2617          15755       14705         1          54.0000          39.0768     38.19%
2614.38/2622.15	c      2622          15815       14765         1          54.0000          39.0768     38.19%
2622.15/2629.99	c      2630          15874       14824         1          54.0000          39.0768     38.19%
2627.94/2635.78	c      2636          15924       14874         1          54.0000          39.0768     38.19%
2633.72/2641.52	c      2642          15971       14921         1          54.0000          39.0786     38.18%
2638.71/2646.58	c      2647          16022       14972         1          54.0000          39.0795     38.18%
2644.59/2652.46	c      2652          16077       15027         1          54.0000          39.0795     38.18%
2650.67/2658.50	c      2658          16127       15077         1          54.0000          39.0811     38.17%
2656.46/2664.33	c      2664          16185       15135         1          54.0000          39.0811     38.17%
2662.15/2670.00	c      2670          16236       15186         1          54.0000          39.0811     38.17%
2667.43/2675.35	c      2675          16300       15250         1          54.0000          39.0811     38.17%
2672.91/2680.86	c      2681          16351       15301         1          54.0000          39.0829     38.17%
2678.79/2686.77	c      2687          16398       15348         1          54.0000          39.0829     38.17%
2684.37/2692.38	c      2692          16437       15387         1          54.0000          39.0829     38.17%
2689.56/2697.56	c      2698          16477       15427         1          54.0000          39.0831     38.17%
2694.75/2702.76	c      2703          16539       15489         1          54.0000          39.0847     38.16%
2699.83/2707.81	c      2708          16570       15520         1          54.0000          39.0847     38.16%
2705.12/2713.14	c      2713          16636       15586         1          54.0000          39.0850     38.16%
2710.50/2718.54	c      2719          16687       15637         1          54.0000          39.0873     38.15%
2715.78/2723.83	c      2724          16750       15700         1          54.0000          39.0876     38.15%
2720.87/2728.99	c      2729          16792       15742         1          54.0000          39.0876     38.15%
2727.36/2735.49	c      2735          16846       15796         1          54.0000          39.0895     38.14%
2733.04/2741.19	c      2741          16911       15861         1          54.0000          39.0903     38.14%
2739.32/2747.44	c      2747          16975       15925         1          54.0000          39.0921     38.14%
2745.20/2753.38	c      2753          17026       15976         1          54.0000          39.0936     38.13%
2750.29/2758.49	c      2758          17062       16012         1          54.0000          39.0936     38.13%
2755.77/2763.98	c      2764          17106       16056         1          54.0000          39.0945     38.13%
2760.96/2769.14	c      2769          17156       16106         1          54.0000          39.0945     38.13%
2767.33/2775.50	c      2776          17231       16181         1          54.0000          39.0964     38.12%
2772.42/2780.60	c      2781          17281       16231         1          54.0000          39.0964     38.12%
2778.00/2786.24	c      2786          17332       16282         1          54.0000          39.0964     38.12%
2783.79/2792.00	c      2792          17377       16327         1          54.0000          39.0964     38.12%
2789.77/2798.01	c      2798          17429       16379         1          54.0000          39.0985     38.11%
2795.25/2803.57	c      2804          17473       16423         1          54.0000          39.0985     38.11%
2800.74/2809.04	c      2809          17521       16471         1          54.0000          39.0985     38.11%
2806.32/2814.61	c      2815          17581       16531         1          54.0000          39.0987     38.11%
2812.21/2820.56	c      2821          17616       16566         1          54.0000          39.1006     38.11%
2817.49/2825.87	c      2826          17661       16611         1          54.0000          39.1006     38.11%
2823.68/2832.08	c      2832          17727       16677         1          54.0000          39.1016     38.10%
2829.06/2837.47	c      2837          17778       16728         1          54.0000          39.1017     38.10%
2834.35/2842.78	c      2843          17803       16753         1          54.0000          39.1024     38.10%
2839.73/2848.16	c      2848          17843       16793         1          54.0000          39.1024     38.10%
2844.92/2853.35	c      2853          17906       16856         1          54.0000          39.1024     38.10%
2850.70/2859.14	c      2859          17974       16924         1          54.0000          39.1028     38.10%
2855.88/2864.31	c      2864          18019       16969         1          54.0000          39.1028     38.10%
2860.87/2869.37	c      2869          18076       17026         1          54.0000          39.1029     38.10%
2866.76/2875.26	c      2875          18122       17072         1          54.0000          39.1029     38.10%
2872.54/2881.06	c      2881          18169       17119         1          54.0000          39.1033     38.10%
2878.43/2886.97	c      2887          18224       17174         1          54.0000          39.1037     38.09%
2883.71/2892.23	c      2892          18291       17241         1          54.0000          39.1037     38.09%
2888.80/2897.38	c      2897          18327       17277         1          54.0000          39.1059     38.09%
2894.48/2903.03	c      2903          18385       17335         1          54.0000          39.1062     38.09%
2899.57/2908.13	c      2908          18431       17381         1          54.0000          39.1065     38.08%
2905.45/2914.05	c      2914          18482       17432         1          54.0000          39.1080     38.08%
2911.14/2919.76	c      2920          18526       17476         1          54.0000          39.1080     38.08%
2917.22/2925.82	c      2926          18570       17520         1          54.0000          39.1084     38.08%
2922.90/2931.56	c      2932          18624       17574         1          54.0000          39.1084     38.08%
2928.89/2937.58	c      2938          18658       17608         1          54.0000          39.1088     38.08%
2934.18/2942.82	c      2943          18695       17645         1          54.0000          39.1088     38.08%
2939.97/2948.62	c      2949          18761       17711         1          54.0000          39.1098     38.07%
2945.35/2954.00	c      2954          18802       17752         1          54.0000          39.1098     38.07%
2951.23/2959.90	c      2960          18863       17813         1          54.0000          39.1105     38.07%
2956.42/2965.19	c      2965          18911       17861         1          54.0000          39.1105     38.07%
2962.19/2970.95	c      2971          18974       17924         1          54.0000          39.1114     38.07%
2968.38/2977.17	c      2977          19029       17979         1          54.0000          39.1114     38.07%
2973.66/2982.45	c      2982          19083       18033         1          54.0000          39.1119     38.07%
2978.85/2987.66	c      2988          19153       18103         1          54.0000          39.1119     38.07%
2984.44/2993.23	c      2993          19201       18151         1          54.0000          39.1119     38.07%
2990.23/2999.02	c      2999          19252       18202         1          54.0000          39.1126     38.06%
2995.41/3004.28	c      3004          19319       18269         1          54.0000          39.1126     38.06%
3000.79/3009.68	c      3010          19348       18298         1          54.0000          39.1139     38.06%
3006.07/3014.93	c      3015          19420       18370         1          54.0000          39.1139     38.06%
3011.97/3020.83	c      3021          19472       18422         1          54.0000          39.1151     38.05%
3017.05/3025.98	c      3026          19525       18475         1          54.0000          39.1164     38.05%
3023.14/3032.05	c      3032          19582       18532         1          54.0000          39.1164     38.05%
3028.52/3037.43	c      3037          19633       18583         1          54.0000          39.1164     38.05%
3034.30/3043.20	c      3043          19693       18643         1          54.0000          39.1165     38.05%
3039.59/3048.50	c      3049          19741       18691         1          54.0000          39.1165     38.05%
3045.57/3054.51	c      3055          19800       18750         1          54.0000          39.1202     38.04%
3050.85/3059.84	c      3060          19847       18797         1          54.0000          39.1202     38.04%
3056.74/3065.79	c      3066          19889       18839         1          54.0000          39.1233     38.03%
3062.32/3071.31	c      3071          19946       18896         1          54.0000          39.1243     38.02%
3068.30/3077.30	c      3077          19997       18947         1          54.0000          39.1243     38.02%
3074.00/3083.03	c      3083          20041       18991         1          54.0000          39.1267     38.01%
3079.28/3088.34	c      3088          20096       19046         1          54.0000          39.1268     38.01%
3084.57/3093.62	c      3094          20147       19097         1          54.0000          39.1268     38.01%
3091.05/3100.12	c      3100          20211       19161         1          54.0000          39.1272     38.01%
3096.43/3105.54	c      3106          20275       19225         1          54.0000          39.1272     38.01%
3101.92/3111.08	c      3111          20331       19281         1          54.0000          39.1288     38.01%
3107.41/3116.57	c      3117          20380       19330         1          54.0000          39.1291     38.00%
3112.90/3122.02	c      3122          20428       19378         1          54.0000          39.1291     38.00%
3118.17/3127.37	c      3127          20496       19446         1          54.0000          39.1297     38.00%
3124.05/3133.20	c      3133          20548       19498         1          54.0000          39.1299     38.00%
3130.04/3139.24	c      3139          20591       19541         1          54.0000          39.1299     38.00%
3135.83/3145.06	c      3145          20639       19589         1          54.0000          39.1311     38.00%
3141.71/3150.95	c      3151          20678       19628         1          54.0000          39.1320     37.99%
3147.40/3156.67	c      3157          20741       19691         1          54.0000          39.1335     37.99%
3152.98/3162.28	c      3162          20801       19751         1          54.0000          39.1342     37.99%
3158.96/3168.23	c      3168          20880       19830         1          54.0000          39.1343     37.99%
3164.05/3173.39	c      3173          20934       19884         1          54.0000          39.1343     37.99%
3169.14/3178.43	c      3178          20977       19927         1          54.0000          39.1347     37.98%
3174.22/3183.56	c      3184          21011       19961         1          54.0000          39.1349     37.98%
3179.31/3188.61	c      3189          21051       20001         1          54.0000          39.1349     37.98%
3184.29/3193.64	c      3194          21107       20057         1          54.0000          39.1356     37.98%
3190.17/3199.55	c      3200          21163       20113         1          54.0000          39.1356     37.98%
3195.56/3204.93	c      3205          21216       20166         1          54.0000          39.1357     37.98%
3201.05/3210.49	c      3210          21277       20227         1          54.0000          39.1371     37.98%
3207.04/3216.46	c      3216          21345       20295         1          54.0000          39.1376     37.97%
3212.32/3221.74	c      3222          21392       20342         1          54.0000          39.1376     37.97%
3217.71/3227.14	c      3227          21450       20400         1          54.0000          39.1380     37.97%
3222.70/3232.17	c      3232          21487       20437         1          54.0000          39.1384     37.97%
3228.68/3238.18	c      3238          21537       20487         1          54.0000          39.1391     37.97%
3233.96/3243.43	c      3243          21591       20541         1          54.0000          39.1398     37.97%
3239.54/3249.09	c      3249          21631       20581         1          54.0000          39.1398     37.97%
3246.03/3255.59	c      3256          21671       20621         1          54.0000          39.1415     37.96%
3251.21/3260.77	c      3261          21720       20670         1          54.0000          39.1415     37.96%
3257.19/3266.78	c      3267          21777       20727         1          54.0000          39.1415     37.96%
3262.38/3271.92	c      3272          21816       20766         1          54.0000          39.1430     37.96%
3267.96/3277.57	c      3278          21861       20811         1          54.0000          39.1440     37.95%
3273.74/3283.31	c      3283          21906       20856         1          54.0000          39.1440     37.95%
3279.03/3288.61	c      3289          21970       20920         1          54.0000          39.1440     37.95%
3285.02/3294.61	c      3295          22020       20970         1          54.0000          39.1451     37.95%
3290.01/3299.67	c      3300          22072       21022         1          54.0000          39.1453     37.95%
3295.19/3304.88	c      3305          22116       21066         1          54.0000          39.1457     37.95%
3300.57/3310.25	c      3310          22172       21122         1          54.0000          39.1461     37.94%
3305.86/3315.56	c      3316          22228       21178         1          54.0000          39.1461     37.94%
3310.94/3320.69	c      3321          22264       21214         1          54.0000          39.1461     37.94%
3316.53/3326.29	c      3326          22343       21293         1          54.0000          39.1462     37.94%
3321.81/3331.55	c      3332          22407       21357         1          54.0000          39.1462     37.94%
3327.50/3337.21	c      3337          22439       21389         1          54.0000          39.1469     37.94%
3332.69/3342.44	c      3342          22461       21411         1          54.0000          39.1479     37.94%
3338.17/3347.91	c      3348          22503       21453         1          54.0000          39.1505     37.93%
3343.36/3353.13	c      3353          22562       21512         1          54.0000          39.1505     37.93%
3348.74/3358.50	c      3358          22618       21568         1          54.0000          39.1509     37.93%
3354.12/3364.00	c      3364          22675       21625         1          54.0000          39.1514     37.93%
3360.01/3369.82	c      3370          22747       21697         1          54.0000          39.1527     37.92%
3365.59/3375.42	c      3375          22797       21747         1          54.0000          39.1531     37.92%
3371.48/3381.36	c      3381          22844       21794         1          54.0000          39.1531     37.92%
3376.46/3386.38	c      3386          22882       21832         1          54.0000          39.1531     37.92%
3381.65/3391.50	c      3392          22937       21887         1          54.0000          39.1531     37.92%
3386.63/3396.59	c      3397          22990       21940         1          54.0000          39.1533     37.92%
3391.72/3401.68	c      3402          23029       21979         1          54.0000          39.1540     37.92%
3396.91/3406.88	c      3407          23082       22032         1          54.0000          39.1540     37.92%
3402.89/3412.84	c      3413          23140       22090         1          54.0000          39.1555     37.91%
3408.19/3418.19	c      3418          23203       22153         1          54.0000          39.1555     37.91%
3413.86/3423.89	c      3424          23240       22190         1          54.0000          39.1555     37.91%
3419.55/3429.50	c      3430          23281       22231         1          54.0000          39.1555     37.91%
3424.73/3434.77	c      3435          23322       22272         1          54.0000          39.1555     37.91%
3430.32/3440.37	c      3440          23386       22336         1          54.0000          39.1555     37.91%
3435.80/3445.87	c      3446          23438       22388         1          54.0000          39.1571     37.91%
3441.78/3451.89	c      3452          23493       22443         1          54.0000          39.1571     37.91%
3447.57/3457.64	c      3458          23542       22492         1          54.0000          39.1575     37.90%
3452.96/3463.07	c      3463          23616       22566         1          54.0000          39.1592     37.90%
3458.94/3469.00	c      3469          23663       22613         1          54.0000          39.1592     37.90%
3464.22/3474.34	c      3474          23714       22664         1          54.0000          39.1592     37.90%
3469.51/3479.63	c      3480          23773       22723         1          54.0000          39.1592     37.90%
3474.90/3485.04	c      3485          23822       22772         1          54.0000          39.1599     37.90%
3480.38/3490.52	c      3491          23862       22812         1          54.0000          39.1600     37.90%
3485.97/3496.14	c      3496          23918       22868         1          54.0000          39.1600     37.90%
3491.64/3501.88	c      3502          23980       22930         1          54.0000          39.1600     37.90%
3496.83/3507.03	c      3507          24011       22961         1          54.0000          39.1615     37.89%
3502.02/3512.23	c      3512          24077       23027         1          54.0000          39.1615     37.89%
3508.10/3518.38	c      3518          24117       23067         1          54.0000          39.1617     37.89%
3514.48/3524.74	c      3525          24177       23127         1          54.0000          39.1629     37.89%
3519.97/3530.26	c      3530          24241       23191         1          54.0000          39.1639     37.88%
3525.75/3536.10	c      3536          24303       23253         1          54.0000          39.1639     37.88%
3531.74/3542.02	c      3542          24356       23306         1          54.0000          39.1656     37.88%
3537.32/3547.67	c      3548          24419       23369         1          54.0000          39.1656     37.88%
3542.50/3552.86	c      3553          24464       23414         1          54.0000          39.1668     37.87%
3548.08/3558.43	c      3558          24519       23469         1          54.0000          39.1669     37.87%
3553.87/3564.21	c      3564          24583       23533         1          54.0000          39.1669     37.87%
3559.66/3570.08	c      3570          24630       23580         1          54.0000          39.1669     37.87%
3565.24/3575.69	c      3576          24665       23615         1          54.0000          39.1676     37.87%
3571.02/3581.42	c      3581          24716       23666         1          54.0000          39.1683     37.87%
3576.51/3586.97	c      3587          24767       23717         1          54.0000          39.1693     37.86%
3581.71/3592.16	c      3592          24812       23762         1          54.0000          39.1705     37.86%
3587.38/3597.83	c      3598          24869       23819         1          54.0000          39.1708     37.86%
3587.88/3598.38	c SCIP Status        : c solving was interrupted [hard time limit reached]
3587.88/3598.38	c Total Time         : 3598.39
3587.88/3598.38	c   solving          : 3598.39
3587.88/3598.38	c   presolving       : 0.04 (included in solving)
3587.88/3598.38	c B&B Tree           :
3587.88/3598.38	c   nodes (total)    : 1
3587.88/3598.38	c Solution           :
3587.88/3598.38	c   Solutions found  : 3
3587.88/3598.38	c   Primal Bound     : +5.40000000000000e+01
3587.88/3598.38	c   Dual Bound       : +3.91708144594156e+01
3587.88/3598.38	c Gap                : 37.85774 %
3587.88/3598.38	c * Warning: final gap: 3.78577e-01 is greater than SCIPepsilon: 1.00000e-09
3587.98/3598.40	o 54
3587.98/3598.40	s SATISFIABLE
3587.98/3598.40	v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 
3587.98/3598.40	v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 
3587.98/3598.40	v -x458 -x457 -x456 -x455 x454 x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 x438 -x437 
3587.98/3598.40	v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 
3587.98/3598.40	v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 
3587.98/3598.40	v -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 
3587.98/3598.40	v -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 
3587.98/3598.40	v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 
3587.98/3598.40	v -x332 x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 x316 -x315 -x314 -x313 -x312 
3587.98/3598.40	v -x311 -x310 -x309 -x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 x292 -x291 
3587.98/3598.40	v -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 
3587.98/3598.40	v -x269 -x268 -x267 -x266 -x265 x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 
3587.98/3598.40	v -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 x230 -x229 -x228 -x227 
3587.98/3598.40	v -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 
3587.98/3598.40	v -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 -x186 
3587.98/3598.40	v -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 
3587.98/3598.40	v -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 
3587.98/3598.40	v -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 
3587.98/3598.40	v -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 x103 -x102 x101 -x100 
3587.98/3598.40	v -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 x91 -x90 -x89 -x88 -x87 x86 x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 
3587.98/3598.40	v x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 x63 -x62 -x61 x60 x59 -x58 -x57 -x56 -x55 x54 x53 x52 -x51 -x50 -x49 -x48 
3587.98/3598.40	v -x47 x46 x45 -x44 x43 -x42 -x41 x40 -x39 -x38 x37 -x36 -x35 -x34 x33 x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 
3587.98/3598.40	v x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 x12 x11 x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 x2 -x1 

Verifier Data

OK	54

Watcher Data

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: 63931 MiB (50316 MiB free)
  memory of node 1: 64510 MiB (61940 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464789-1722382194/watcher-4464789-1722382194 -o /tmp/evaluation-result-4464789-1722382194/solver-4464789-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722378594-30601 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464789-1722382194.opb -qsol -t 3600 -sth 1 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=33078, runsolver pid=33075

[startup+0.101061 s]*
/proc/loadavg: 4.22 4.21 4.09 5/266 33081
/proc/meminfo: memFree=114911076/131524600 swapFree=131071216/131071996
[pid=33078] ppid=33075 vsize=138240 memory=49696 CPUtime=0.09 cores=4,6
/proc/33078/stat : 33078 (fscip) S 33075 33078 30590 0 -1 1077936128 10045 0 0 0 8 1 0 0 20 0 3 0 4817700 141557760 12424 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
/proc/33078/statm: 34560 12424 2742 3035 0 16125 0
[pid=33078/tid=33080] ppid=33075 vsize=138240 memory=4026561586 CPUtime=0.01 cores=4,6
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 30590 0 -1 4194368 1419 0 0 0 1 0 0 0 20 0 3 0 4817708 141557760 12424 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
[pid=33078/tid=33081] ppid=33075 vsize=138240 memory=228556276070 CPUtime=0 cores=4,6
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 30590 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4817709 141557760 12424 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 138240 KiB
Current children cumulated memory: 49696 KiB

[startup+0.20606 s]*
/proc/loadavg: 4.22 4.21 4.09 5/266 33081
/proc/meminfo: memFree=114907024/131524600 swapFree=131071216/131071996
[pid=33078] ppid=33075 vsize=138724 memory=53244 CPUtime=0.19 cores=4,6
/proc/33078/stat : 33078 (fscip) S 33075 33078 30590 0 -1 1077936128 10788 0 0 0 18 1 0 0 20 0 3 0 4817700 142053376 13311 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
/proc/33078/statm: 34681 13311 2918 3035 0 16886 0
[pid=33078/tid=33080] ppid=33075 vsize=138724 memory=664970838410264707 CPUtime=0.11 cores=4,6
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 30590 0 -1 4194368 2162 0 0 0 11 0 0 0 20 0 3 0 4817708 142053376 13311 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
[pid=33078/tid=33081] ppid=33075 vsize=138724 memory=103357 CPUtime=0 cores=4,6
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 30590 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4817709 142053376 13311 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 138724 KiB
Current children cumulated memory: 53244 KiB

[startup+0.30606 s]*
/proc/loadavg: 4.22 4.21 4.09 5/266 33081
/proc/meminfo: memFree=114906016/131524600 swapFree=131071216/131071996
[pid=33078] ppid=33075 vsize=139180 memory=53772 CPUtime=0.28 cores=4,6
/proc/33078/stat : 33078 (fscip) S 33075 33078 30590 0 -1 1077936128 10893 0 0 0 27 1 0 0 20 0 3 0 4817700 142520320 13443 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
/proc/33078/statm: 34795 13443 2918 3035 0 17058 0
[pid=33078/tid=33080] ppid=33075 vsize=139180 memory=-5155630185003445125 CPUtime=0.2 cores=4,6
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 30590 0 -1 4194368 2267 0 0 0 20 0 0 0 20 0 3 0 4817708 142520320 13443 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
[pid=33078/tid=33081] ppid=33075 vsize=139180 memory=0 CPUtime=0 cores=4,6
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 30590 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4817709 142520320 13443 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 139180 KiB
Current children cumulated memory: 53772 KiB

[startup+0.700211 s]
/proc/loadavg: 4.22 4.21 4.09 5/266 33081
/proc/meminfo: memFree=114905372/131524600 swapFree=131071216/131071996
[pid=33078] ppid=33075 vsize=139984 memory=54528 CPUtime=0.67 cores=4,6
/proc/33078/stat : 33078 (fscip) S 33075 33078 30590 0 -1 1077936128 11173 0 0 0 66 1 0 0 20 0 3 0 4817700 143343616 13632 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
/proc/33078/statm: 34996 13632 2918 3035 0 17317 0
[pid=33078/tid=33080] ppid=33075 vsize=139984 memory=0 CPUtime=0.59 cores=4,6
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 30590 0 -1 4194368 2547 0 0 0 59 0 0 0 20 0 3 0 4817708 143343616 13632 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
[pid=33078/tid=33081] ppid=33075 vsize=139984 memory=0 CPUtime=0 cores=4,6
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 30590 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4817709 143343616 13632 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 139984 KiB
Current children cumulated memory: 54528 KiB

[startup+1.50021 s]
/proc/loadavg: 4.22 4.21 4.09 5/266 33081
/proc/meminfo: memFree=114901124/131524600 swapFree=131071216/131071996
[pid=33078] ppid=33075 vsize=149108 memory=89880 CPUtime=1.48 cores=4,6
/proc/33078/stat : 33078 (fscip) S 33075 33078 30590 0 -1 1077936128 22639 0 0 0 145 3 0 0 20 0 3 0 4817700 152686592 22470 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
/proc/33078/statm: 37277 22470 2950 3035 0 26161 0
[pid=33078/tid=33080] ppid=33075 vsize=149108 memory=0 CPUtime=1.39 cores=4,6
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 30590 0 -1 4194368 14013 0 0 0 138 1 0 0 20 0 3 0 4817708 152686592 22470 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
[pid=33078/tid=33081] ppid=33075 vsize=149108 memory=0 CPUtime=0 cores=4,6
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 30590 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4817709 152686592 22470 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 149108 KiB
Current children cumulated memory: 89880 KiB

[startup+3.10535 s]
/proc/loadavg: 4.20 4.20 4.09 5/264 33129
/proc/meminfo: memFree=116733696/131524600 swapFree=131071216/131071996
[pid=33078] ppid=33075 vsize=214644 memory=164208 CPUtime=3.08 cores=4,6
/proc/33078/stat : 33078 (fscip) S 33075 33078 30590 0 -1 1077936128 41255 0 0 0 302 6 0 0 20 0 3 0 4817700 219795456 41052 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
/proc/33078/statm: 53661 41052 2950 3035 0 45014 0
[pid=33078/tid=33080] ppid=33075 vsize=214644 memory=2273 CPUtime=2.99 cores=4,6
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 30590 0 -1 4194368 32627 0 0 0 295 4 0 0 20 0 3 0 4817708 219795456 41052 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
[pid=33078/tid=33081] ppid=33075 vsize=214644 memory=0 CPUtime=0 cores=4,6
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 30590 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4817709 219795456 41052 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 214644 KiB
Current children cumulated memory: 164208 KiB

[startup+6.30018 s]
/proc/loadavg: 4.20 4.20 4.09 5/264 33175
/proc/meminfo: memFree=121717852/131524600 swapFree=131071216/131071996
[pid=33078] ppid=33075 vsize=214644 memory=165884 CPUtime=6.26 cores=4,6
/proc/33078/stat : 33078 (fscip) S 33075 33078 30590 0 -1 1077936128 43814 0 0 0 620 6 0 0 20 0 3 0 4817700 219795456 41471 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
/proc/33078/statm: 53661 41471 2950 3035 0 45639 0
[pid=33078/tid=33080] ppid=33075 vsize=214644 memory=-5155630185003445125 CPUtime=6.17 cores=4,6
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 30590 0 -1 4194368 35180 0 0 0 613 4 0 0 20 0 3 0 4817708 219795456 41471 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
[pid=33078/tid=33081] ppid=33075 vsize=214644 memory=165884 CPUtime=0 cores=4,6
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 30590 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4817709 219795456 41471 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 214644 KiB
Current children cumulated memory: 165884 KiB

[startup+12.7002 s]
/proc/loadavg: 4.19 4.20 4.09 5/266 33422
/proc/meminfo: memFree=121354828/131524600 swapFree=131071216/131071996
[pid=33078] ppid=33075 vsize=215412 memory=165976 CPUtime=12.64 cores=4,6
/proc/33078/stat : 33078 (fscip) S 33075 33078 30590 0 -1 1077936128 48045 0 0 0 1258 6 0 0 20 0 3 0 4817700 220581888 41494 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
/proc/33078/statm: 53853 41494 2950 3035 0 45831 0
[pid=33078/tid=33080] ppid=33075 vsize=215412 memory=165920 CPUtime=12.56 cores=4,6
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 30590 0 -1 4194368 39369 0 0 0 1251 5 0 0 20 0 3 0 4817708 220581888 41494 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
[pid=33078/tid=33081] ppid=33075 vsize=215412 memory=-7667778057160188281 CPUtime=0 cores=4,6
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 30590 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4817709 220581888 41494 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 215412 KiB
Current children cumulated memory: 165976 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.19 4.09 5/270 33428
/proc/meminfo: memFree=118362584/131524600 swapFree=131071216/131071996
[pid=33078] ppid=33075 vsize=215412 memory=168908 CPUtime=25.41 cores=4,6
/proc/33078/stat : 33078 (fscip) S 33075 33078 30590 0 -1 1077936128 55860 0 0 0 2534 7 0 0 20 0 3 0 4817700 220581888 42227 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
/proc/33078/statm: 53853 42227 2998 3035 0 45831 0
[pid=33078/tid=33080] ppid=33075 vsize=215412 memory=-7667778057160188281 CPUtime=25.32 cores=4,6
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 30590 0 -1 4194368 47130 0 0 0 2527 5 0 0 20 0 3 0 4817708 220581888 42227 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
[pid=33078/tid=33081] ppid=33075 vsize=215412 memory=165908 CPUtime=0 cores=4,6
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 30590 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 4817709 220581888 42227 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 215412 KiB
Current children cumulated memory: 168908 KiB

[startup+51.1054 s]
/proc/loadavg: 4.16 4.19 4.09 5/269 33432
/proc/meminfo: memFree=118219588/131524600 swapFree=131071216/131071996
[pid=33078] ppid=33075 vsize=346484 memory=260836 CPUtime=50.95 cores=4,6
/proc/33078/stat : 33078 (fscip) S 33075 33078 30590 0 -1 1077936128 118189 0 0 0 5082 13 0 0 20 0 3 0 4817700 354799616 65209 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
/proc/33078/statm: 86621 65209 2998 3035 0 68882 0
[pid=33078/tid=33080] ppid=33075 vsize=346484 memory=0 CPUtime=50.86 cores=4,6
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 30590 0 -1 4194368 109396 0 0 0 5075 11 0 0 20 0 3 0 4817708 354799616 65209 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
[pid=33078/tid=33081] ppid=33075 vsize=346484 memory=11400 CPUtime=0 cores=4,6
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 30590 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 4817709 354799616 65209 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 346484 KiB
Current children cumulated memory: 260836 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.17 4.09 5/269 33442
/proc/meminfo: memFree=118161992/131524600 swapFree=131071216/131071996
[pid=33078] ppid=33075 vsize=345932 memory=293756 CPUtime=102.01 cores=4,6
/proc/33078/stat : 33078 (fscip) S 33075 33078 30590 0 -1 1077936128 167620 0 0 0 10184 17 0 0 20 0 3 0 4817700 354234368 73439 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
/proc/33078/statm: 86483 73439 2998 3035 0 76757 0
[pid=33078/tid=33080] ppid=33075 vsize=345932 memory=16104 CPUtime=101.92 cores=4,6
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 30590 0 -1 4194368 158788 0 0 0 10177 15 0 0 20 0 3 0 4817708 354234368 73439 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
[pid=33078/tid=33081] ppid=33075 vsize=345932 memory=-7667778057160188281 CPUtime=0 cores=4,6
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 30590 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 4817709 354234368 73439 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 345932 KiB
Current children cumulated memory: 293756 KiB

[startup+162.3 s]
/proc/loadavg: 4.20 4.19 4.10 5/268 33500
/proc/meminfo: memFree=117408348/131524600 swapFree=131071216/131071996
[pid=33078] ppid=33075 vsize=345932 memory=302100 CPUtime=161.83 cores=4,6
/proc/33078/stat : 33078 (fscip) S 33075 33078 30590 0 -1 1077936128 207308 0 0 0 16163 20 0 0 20 0 3 0 4817700 354234368 75525 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
/proc/33078/statm: 86483 75525 2998 3035 0 79040 0
[pid=33078/tid=33080] ppid=33075 vsize=345932 memory=301980 CPUtime=161.73 cores=4,6
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 30590 0 -1 4194368 198367 0 0 0 16155 18 0 0 20 0 3 0 4817708 354234368 75525 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
[pid=33078/tid=33081] ppid=33075 vsize=345932 memory=301556 CPUtime=0 cores=4,6
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 30590 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 4817709 354234368 75525 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 345932 KiB

################
# More data... #
################

[pid=33078] ppid=33075 vsize=478812 memory=409224 CPUtime=3392.42 cores=4,6
/proc/33078/stat : 33078 (fscip) S 33075 33078 30590 0 -1 1077936128 1523425 0 0 0 339104 138 0 0 20 0 3 0 4817700 490303488 102306 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
/proc/33078/statm: 119703 102306 2998 3035 0 105240 0
[pid=33078/tid=33080] ppid=33075 vsize=478812 memory=11400 CPUtime=3392.13 cores=4,6
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 30590 0 -1 4194368 1513351 0 0 0 339084 129 0 0 20 0 3 0 4817708 490303488 102306 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
[pid=33078/tid=33081] ppid=33075 vsize=478812 memory=409224 CPUtime=0.03 cores=4,6
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 30590 0 -1 1077936192 169 0 0 0 1 2 0 0 20 0 3 0 4817709 490303488 102306 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
Current children cumulated CPU time: 3392.42 s
Current children cumulated vsize: 478812 KiB
Current children cumulated memory: 409224 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/266 35105
/proc/meminfo: memFree=110057588/131524600 swapFree=131071216/131071996
[pid=33078] ppid=33075 vsize=478812 memory=411024 CPUtime=3452.26 cores=4,6
/proc/33078/stat : 33078 (fscip) S 33075 33078 30590 0 -1 1077936128 1544065 0 0 0 345085 141 0 0 20 0 3 0 4817700 490303488 102756 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
/proc/33078/statm: 119703 102756 2998 3035 0 105731 0
[pid=33078/tid=33080] ppid=33075 vsize=478812 memory=11400 CPUtime=3451.96 cores=4,6
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 30590 0 -1 4194368 1533971 0 0 0 345065 131 0 0 20 0 3 0 4817708 490303488 102756 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
[pid=33078/tid=33081] ppid=33075 vsize=478812 memory=11400 CPUtime=0.03 cores=4,6
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 30590 0 -1 1077936192 171 0 0 0 1 2 0 0 20 0 3 0 4817709 490303488 102756 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
Current children cumulated CPU time: 3452.26 s
Current children cumulated vsize: 478812 KiB
Current children cumulated memory: 411024 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/268 35286
/proc/meminfo: memFree=109989440/131524600 swapFree=131071216/131071996
[pid=33078] ppid=33075 vsize=478812 memory=411028 CPUtime=3512.09 cores=4,6
/proc/33078/stat : 33078 (fscip) S 33075 33078 30590 0 -1 1077936128 1563158 0 0 0 351067 142 0 0 20 0 3 0 4817700 490303488 102757 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
/proc/33078/statm: 119703 102757 2998 3035 0 105731 0
[pid=33078/tid=33080] ppid=33075 vsize=478812 memory=14648 CPUtime=3511.79 cores=4,6
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 30590 0 -1 4194368 1553042 0 0 0 351047 132 0 0 20 0 3 0 4817708 490303488 102757 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
[pid=33078/tid=33081] ppid=33075 vsize=478812 memory=411024 CPUtime=0.03 cores=4,6
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 30590 0 -1 1077936192 173 0 0 0 1 2 0 0 20 0 3 0 4817709 490303488 102757 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
Current children cumulated CPU time: 3512.09 s
Current children cumulated vsize: 478812 KiB
Current children cumulated memory: 411028 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/268 35297
/proc/meminfo: memFree=109977968/131524600 swapFree=131071216/131071996
[pid=33078] ppid=33075 vsize=478812 memory=411056 CPUtime=3571.92 cores=4,6
/proc/33078/stat : 33078 (fscip) S 33075 33078 30590 0 -1 1077936128 1584469 0 0 0 357048 144 0 0 20 0 3 0 4817700 490303488 102764 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
/proc/33078/statm: 119703 102764 2998 3035 0 105731 0
[pid=33078/tid=33080] ppid=33075 vsize=478812 memory=11400 CPUtime=3571.61 cores=4,6
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 30590 0 -1 4194368 1574330 0 0 0 357027 134 0 0 20 0 3 0 4817708 490303488 102764 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
[pid=33078/tid=33081] ppid=33075 vsize=478812 memory=411056 CPUtime=0.04 cores=4,6
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 30590 0 -1 1077936192 175 0 0 0 1 3 0 0 20 0 3 0 4817709 490303488 102764 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
Current children cumulated CPU time: 3571.92 s
Current children cumulated vsize: 478812 KiB
Current children cumulated memory: 411056 KiB

[startup+3598.41 s]
# the end of solver process 33078 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3586.54 s, system=1.46549 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3584 s]*
/proc/loadavg: 4.08 4.12 4.09 5/268 35298
/proc/meminfo: memFree=109893788/131524600 swapFree=131071216/131071996
[pid=33078] ppid=33075 vsize=478812 memory=411056 CPUtime=3573.62 cores=4,6
/proc/33078/stat : 33078 (fscip) S 33075 33078 30590 0 -1 1077936128 1584474 0 0 0 357218 144 0 0 20 0 3 0 4817700 490303488 102764 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
/proc/33078/statm: 119703 102764 2998 3035 0 105731 0
[pid=33078/tid=33080] ppid=33075 vsize=478812 memory=-7307490086970549114 CPUtime=3573.31 cores=4,6
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 30590 0 -1 4194368 1574335 0 0 0 357197 134 0 0 20 0 3 0 4817708 490303488 102764 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
[pid=33078/tid=33081] ppid=33075 vsize=478812 memory=2720 CPUtime=0.04 cores=4,6
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 30590 0 -1 1077936192 175 0 0 0 1 3 0 0 20 0 3 0 4817709 490303488 102764 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
Current children cumulated CPU time: 3573.62 s
Current children cumulated vsize: 478812 KiB
Current children cumulated memory: 411056 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.11 4.09 5/268 35299
/proc/meminfo: memFree=109893336/131524600 swapFree=131071216/131071996
[pid=33078] ppid=33075 vsize=478812 memory=411056 CPUtime=3580.01 cores=4,6
/proc/33078/stat : 33078 (fscip) S 33075 33078 30590 0 -1 1077936128 1585466 0 0 0 357856 145 0 0 20 0 3 0 4817700 490303488 102764 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
/proc/33078/statm: 119703 102764 2998 3035 0 105731 0
[pid=33078/tid=33080] ppid=33075 vsize=478812 memory=411056 CPUtime=3579.7 cores=4,6
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 30590 0 -1 4194368 1575327 0 0 0 357835 135 0 0 20 0 3 0 4817708 490303488 102764 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
[pid=33078/tid=33081] ppid=33075 vsize=478812 memory=411056 CPUtime=0.04 cores=4,6
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 30590 0 -1 1077936192 175 0 0 0 1 3 0 0 20 0 3 0 4817709 490303488 102764 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
Current children cumulated CPU time: 3580.01 s
Current children cumulated vsize: 478812 KiB
Current children cumulated memory: 411056 KiB

[startup+3593.6 s]
/proc/loadavg: 4.08 4.11 4.09 5/268 35299
/proc/meminfo: memFree=109893364/131524600 swapFree=131071216/131071996
[pid=33078] ppid=33075 vsize=478812 memory=411056 CPUtime=3583.2 cores=4,6
/proc/33078/stat : 33078 (fscip) S 33075 33078 30590 0 -1 1077936128 1585568 0 0 0 358175 145 0 0 20 0 3 0 4817700 490303488 102764 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
/proc/33078/statm: 119703 102764 2998 3035 0 105731 0
[pid=33078/tid=33080] ppid=33075 vsize=478812 memory=14648 CPUtime=3582.89 cores=4,6
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 30590 0 -1 4194368 1575429 0 0 0 358154 135 0 0 20 0 3 0 4817708 490303488 102764 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
[pid=33078/tid=33081] ppid=33075 vsize=478812 memory=12264 CPUtime=0.04 cores=4,6
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 30590 0 -1 1077936192 175 0 0 0 1 3 0 0 20 0 3 0 4817709 490303488 102764 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
Current children cumulated CPU time: 3583.2 s
Current children cumulated vsize: 478812 KiB
Current children cumulated memory: 411056 KiB

[startup+3596.8 s]
/proc/loadavg: 4.07 4.11 4.09 5/268 35299
/proc/meminfo: memFree=109893392/131524600 swapFree=131071216/131071996
[pid=33078] ppid=33075 vsize=478812 memory=411056 CPUtime=3586.39 cores=4,6
/proc/33078/stat : 33078 (fscip) S 33075 33078 30590 0 -1 1077936128 1585591 0 0 0 358494 145 0 0 20 0 3 0 4817700 490303488 102764 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
/proc/33078/statm: 119703 102764 2998 3035 0 105731 0
[pid=33078/tid=33080] ppid=33075 vsize=478812 memory=411056 CPUtime=3586.08 cores=4,6
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 30590 0 -1 4194368 1575452 0 0 0 358473 135 0 0 20 0 3 0 4817708 490303488 102764 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
[pid=33078/tid=33081] ppid=33075 vsize=478812 memory=411056 CPUtime=0.04 cores=4,6
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 30590 0 -1 1077936192 175 0 0 0 1 3 0 0 20 0 3 0 4817709 490303488 102764 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
Current children cumulated CPU time: 3586.39 s
Current children cumulated vsize: 478812 KiB
Current children cumulated memory: 411056 KiB

[startup+3597.6 s]
/proc/loadavg: 4.07 4.11 4.09 5/268 35301
/proc/meminfo: memFree=109893420/131524600 swapFree=131071216/131071996
[pid=33078] ppid=33075 vsize=478812 memory=411056 CPUtime=3587.19 cores=4,6
/proc/33078/stat : 33078 (fscip) S 33075 33078 30590 0 -1 1077936128 1585592 0 0 0 358574 145 0 0 20 0 3 0 4817700 490303488 102764 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
/proc/33078/statm: 119703 102764 2998 3035 0 105731 0
[pid=33078/tid=33080] ppid=33075 vsize=478812 memory=16104 CPUtime=3586.88 cores=4,6
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 30590 0 -1 4194368 1575453 0 0 0 358553 135 0 0 20 0 3 0 4817708 490303488 102764 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
[pid=33078/tid=33081] ppid=33075 vsize=478812 memory=2336 CPUtime=0.04 cores=4,6
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 30590 0 -1 1077936192 175 0 0 0 1 3 0 0 20 0 3 0 4817709 490303488 102764 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
Current children cumulated CPU time: 3587.19 s
Current children cumulated vsize: 478812 KiB
Current children cumulated memory: 411056 KiB

[startup+3598 s]*
/proc/loadavg: 4.07 4.11 4.09 5/268 35301
/proc/meminfo: memFree=109893416/131524600 swapFree=131071216/131071996
[pid=33078] ppid=33075 vsize=478812 memory=411056 CPUtime=3587.59 cores=4,6
/proc/33078/stat : 33078 (fscip) R 33075 33078 30590 0 -1 1077936128 1586020 0 0 0 358614 145 0 0 20 0 3 0 4817700 490303488 102764 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
/proc/33078/statm: 119703 102764 2998 3035 0 105731 0
[pid=33078/tid=33080] ppid=33075 vsize=478812 memory=2720 CPUtime=3587.28 cores=4,6
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 30590 0 -1 4194368 1575881 0 0 0 358593 135 0 0 20 0 3 0 4817708 490303488 102764 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
[pid=33078/tid=33081] ppid=33075 vsize=478812 memory=4980 CPUtime=0.04 cores=4,6
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 30590 0 -1 1077936192 175 0 0 0 1 3 0 0 20 0 3 0 4817709 490303488 102764 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
Current children cumulated CPU time: 3587.59 s
Current children cumulated vsize: 478812 KiB
Current children cumulated memory: 411056 KiB

[startup+3598.4 s]
/proc/loadavg: 4.07 4.11 4.09 5/268 35301
/proc/meminfo: memFree=109893416/131524600 swapFree=131071216/131071996
[pid=33078] ppid=33075 vsize=324652 memory=279524 CPUtime=3587.98 cores=4,6
/proc/33078/stat : 33078 (fscip) R 33075 33078 30590 0 -1 4194304 1590822 0 0 0 358653 145 0 0 20 0 2 0 4817700 332443648 69881 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
/proc/33078/statm: 81163 69881 2998 3035 0 76907 0
[pid=33078/tid=33081] ppid=33075 vsize=324652 memory=12264 CPUtime=0.04 cores=4,6
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 30590 0 -1 1077936192 175 0 0 0 1 3 0 0 20 0 2 0 4817709 332443648 69881 134679101440 4194304 16623229 140731465042688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57221120 140731465049110 140731465049226 140731465049226 140731465056240 0
Current children cumulated CPU time: 3587.98 s
Current children cumulated vsize: 324652 KiB
Current children cumulated memory: 279524 KiB

Child status: 0

Real time (s): 3598.41
CPU time (s): 3588
CPU user time (s): 3586.54
CPU system time (s): 1.46549
CPU usage (%): 99.7108
Max. virtual memory (cumulated for all children) (KiB): 478812
Max. memory (cumulated for all children) (KiB): 411056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.54
system time used= 1.46549
maximum resident set size= 411056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1591099
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= 9818
involuntary context switches= 3208


# summary of solver processes directly reported to runsolver:
#   pid: 33078
#   total CPU time (s): 3588
#   total CPU user time (s): 3586.54
#   total CPU system time (s): 1.46549

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.86276 second user time and 16.6024 second system time

The end

Launcher Data

Begin job on nodeC021 at 2024-07-31 01:29:54
IDJOB=4464789
IDBENCH=148588
IDSOLVER=3092
FILE ID=nodeC021/4464789-1722382194
RUNJOBID= nodeC021-1722378594-30601
SLURM_JOB_ID= 8249844
Free space on /tmp= 889980 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_2.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-4464789-1722382194/watcher-4464789-1722382194 -o /tmp/evaluation-result-4464789-1722382194/solver-4464789-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722378594-30601 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464789-1722382194.opb -qsol -t 3600 -sth 1

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 8deb0b9174477a1f2aeb72dadb0281d2
RANDOM SEED=1367756045

nodeC021.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	: 0xb00002a
cpu MHz		: 3672.477
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.80
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	: 0xb00002a
cpu MHz		: 3682.148
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.98
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	: 0xb00002a
cpu MHz		: 3609.818
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.80
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	: 0xb00002a
cpu MHz		: 3600.183
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.98
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	: 0xb00002a
cpu MHz		: 3670.096
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.80
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	: 0xb00002a
cpu MHz		: 3682.176
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.98
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	: 0xb00002a
cpu MHz		: 3663.553
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.80
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	: 0xb00002a
cpu MHz		: 3599.931
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        114953652 kB
MemAvailable:   122088392 kB
Buffers:          100124 kB
Cached:          7827368 kB
SwapCached:           56 kB
Active:           287032 kB
Inactive:       15696940 kB
Active(anon):       1536 kB
Inactive(anon):  8076212 kB
Active(file):     285496 kB
Inactive(file):  7620728 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:             56480 kB
Writeback:             0 kB
AnonPages:       8053060 kB
Mapped:           124184 kB
Shmem:             21208 kB
KReclaimable:     136328 kB
Slab:             228216 kB
SReclaimable:     136328 kB
SUnreclaim:        91888 kB
KernelStack:        4240 kB
PageTables:        25100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    8462412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             8736 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5117952 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:      226004 kB
DirectMap2M:    15276032 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 889952 MiB
End job on nodeC021 at 2024-07-31 02:29:53