Trace number 4463977

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-30SAT191 3586.51 3598.24

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
MD5SUM15e811bd466a2fe28afb8f0d217d004b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark183
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables476
Total number of constraints476
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 constraints476
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 476
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 476
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 476
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.01	c Default LC presolving (default).
0.00/0.01	c ** Before presolving: virtualMemUsedAtLc = 24424448, getVmSize() = 24424448, SCIPgetMemUsed() = 2320693, SCIPgetMemTotal() = 2907149, SCIPgetMemExternEstim() = 1048576
0.00/0.01	c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.07	c ** Estimated virtualMemUsedAtSolver = 18019669, getVmSize() = 29634560, SCIPgetMemUsed() = 3297959, SCIPgetMemTotal() = 6614919, SCIPgetMemExternEstim() = 1048576
0.00/0.07	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.07	c Original Problem   :
0.00/0.07	c   Problem name     : instance-4463977-1722378596
0.00/0.07	c   Variables        : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.07	c   Constraints      : 476
0.00/0.07	c   Objective sense  : minimize
0.00/0.07	c Presolved Problem  :
0.00/0.07	c   Variables        : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.07	c   Constraints      : 554
0.00/0.07	c Constraints        : Number
0.00/0.07	c   knapsack         : 432 
0.00/0.07	c   setppc           : 105 
0.00/0.07	c   logicor          : 17 
0.00/0.07	c ** Instance transfer method used: 0
0.00/0.08	c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.09	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.09	c                                Nodes    Active                                            
0.00/0.09	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.10/0.15	c *       0              0           1         1         217.0000                -          -
0.10/0.15	c *       0              0           1         1         206.0000                -          -
6.37/6.46	c         6              2           1         1         206.0000         164.3526     25.34%
11.85/11.94	c        12              9           8         1         206.0000         164.5029     25.23%
17.23/17.33	c        17             13          12         1         206.0000         164.5029     25.23%
19.43/19.50	c *      20             15          14         1         205.0000         164.5029     24.62%
22.52/22.64	c        23             85          84         1         205.0000         164.5307     24.60%
24.71/24.89	c *      25             93          92         1         204.0000         164.5307     23.99%
27.50/27.69	c *      28            138         137         1         202.0000         164.5307     22.77%
27.50/27.69	c        28            138         137         1         202.0000         164.5307     22.77%
27.50/27.69	c *      28            138         137         1         199.0000         164.5307     20.95%
33.38/33.52	c        34            272         271         1         199.0000         164.5307     20.95%
38.57/38.76	c        39            337         336         1         199.0000         164.6260     20.88%
40.87/41.09	c *      41            362         361         1         196.0000         164.6847     19.02%
43.75/43.99	c        44            382         381         1         196.0000         164.6991     19.00%
49.53/49.76	c        50            456         455         1         196.0000         164.7828     18.94%
55.21/55.40	c        55            522         521         1         196.0000         164.8659     18.88%
60.29/60.51	c        61            588         587         1         196.0000         164.8981     18.86%
65.37/65.66	c        66            658         657         1         196.0000         164.9295     18.84%
71.16/71.50	c        72            760         759         1         196.0000         165.0010     18.79%
76.34/76.68	c        77            829         828         1         196.0000         165.0370     18.76%
82.13/82.48	c        82            922         921         1         196.0000         165.0370     18.76%
87.61/87.94	c        88           1008        1007         1         196.0000         165.0370     18.76%
94.00/94.34	c        94           1052           2         1         196.0000         165.0370     18.76%
99.70/100.03	c       100           1058           8         1         196.0000         165.0370     18.76%
105.16/105.57	c       106           1075          25         1         196.0000         165.0370     18.76%
111.14/111.58	c       112           1106          56         1         196.0000         165.0370     18.76%
116.93/117.34	c       117           1177         127         1         196.0000         165.0370     18.76%
122.51/122.94	c       123           1538         366         1         196.0000         165.0370     18.76%
127.79/128.23	c       128           1926         454         1         196.0000         165.0370     18.76%
133.78/134.25	c       134           2178         530         1         196.0000         165.0440     18.76%
139.46/139.96	c       140           2522         598         1         196.0000         165.0676     18.74%
144.84/145.34	c       145           2811         665         1         196.0000         165.1301     18.69%
150.22/150.75	c       151           2945         739         1         196.0000         165.1674     18.67%
155.52/156.01	c       156           3107         803         1         196.0000         165.2363     18.62%
156.80/157.32	c *     157           3125         815         1         195.0000         165.2381     18.01%
160.79/161.31	c       161           3245         828         1         195.0000         165.2641     17.99%
166.07/166.60	c       167           3431         890         1         195.0000         165.2800     17.98%
171.06/171.62	c       172           3655         970         1         195.0000         165.2914     17.97%
176.34/176.95	c       177           3851        1056         1         195.0000         165.3239     17.95%
181.82/182.47	c       182           4105        1146         1         195.0000         165.3371     17.94%
188.19/188.82	c       189           4471        1212         1         195.0000         165.3494     17.93%
193.18/193.87	c       194           4731        1302         1         195.0000         165.3598     17.92%
198.66/199.34	c       199           4899        1370         1         195.0000         165.3742     17.91%
204.54/205.21	c       205           5125        1434         1         195.0000         165.3925     17.90%
209.52/210.26	c       210           5341        1494         1         195.0000         165.4037     17.89%
214.81/215.58	c       216           5559        1574         1         195.0000         165.4192     17.88%
220.68/221.48	c       221           5971        1652         1         195.0000         165.4421     17.87%
226.06/226.89	c       227           6211        1754         1         195.0000         165.4492     17.86%
232.45/233.23	c       233           6611        1920         1         195.0000         165.4551     17.86%
237.63/238.41	c       238           6915        2038         1         195.0000         165.4633     17.85%
243.11/243.94	c       244           7125        2134         1         195.0000         165.4743     17.84%
249.49/250.36	c       250           7335        2212         1         195.0000         165.4788     17.84%
254.97/255.87	c       256           7661        2282         1         195.0000         165.4932     17.83%
260.17/261.09	c       261           7867        2378         1         195.0000         165.5095     17.82%
265.54/266.46	c       266           8427        2544         1         195.0000         165.5264     17.81%
271.41/272.33	c       272           8909        2676         1         195.0000         165.5345     17.80%
276.79/277.79	c       278           9271        2802         1         195.0000         165.5410     17.80%
281.88/282.84	c       283           9421        2860         1         195.0000         165.5492     17.79%
287.76/288.76	c       289           9764        2941         1         195.0000         165.5613     17.78%
293.25/294.22	c       294          10164        2995         1         195.0000         165.5613     17.78%
298.23/299.26	c       299          10691        3064         1         195.0000         165.5719     17.77%
303.42/304.47	c       304          11000        3155         1         195.0000         165.5818     17.77%
308.70/309.78	c       310          11351        3214         1         195.0000         165.5961     17.76%
315.09/316.13	c       316          11585        3290         1         195.0000         165.5990     17.75%
320.35/321.49	c       322          11825        3342         1         195.0000         165.6010     17.75%
325.54/326.62	c       327          12095        3402         1         195.0000         165.6042     17.75%
330.93/332.02	c       332          12291        3444         1         195.0000         165.6088     17.75%
336.70/337.81	c       338          12415        3502         1         195.0000         165.6192     17.74%
342.59/343.77	c       344          12615        3552         1         195.0000         165.6285     17.73%
348.08/349.28	c       349          12811        3596         1         195.0000         165.6330     17.73%
353.16/354.35	c       354          13011        3638         1         195.0000         165.6347     17.73%
358.55/359.71	c       360          13134        3697         1         195.0000         165.6370     17.73%
365.13/366.33	c       366          13275        3760         1         195.0000         165.6441     17.72%
370.82/372.01	c       372          13451        3820         1         195.0000         165.6488     17.72%
376.40/377.60	c       378          13586        3881         1         195.0000         165.6550     17.71%
382.08/383.30	c       383          13741        3928         1         195.0000         165.6594     17.71%
387.57/388.81	c       389          14011        4016         1         195.0000         165.6660     17.71%
393.25/394.57	c       395          14165        4076         1         195.0000         165.6670     17.71%
399.03/400.38	c       400          14391        4126         1         195.0000         165.6706     17.70%
404.42/405.75	c       406          14481        4172         1         195.0000         165.6747     17.70%
406.62/407.93	c *     408          14561        4194         1         193.0000         165.6755     16.49%
410.31/411.62	c       412          14641        3736         1         193.0000         165.6807     16.49%
416.29/417.64	c       418          14891        3774         1         193.0000         165.6922     16.48%
421.87/423.20	c       423          14975        3826         1         193.0000         165.6944     16.48%
427.06/428.46	c       428          15085        3884         1         193.0000         165.6970     16.48%
432.24/433.67	c       434          15191        3926         1         193.0000         165.7006     16.48%
437.33/438.77	c       439          15341        3966         1         193.0000         165.7028     16.47%
443.01/444.46	c       444          15554        4047         1         193.0000         165.7048     16.47%
448.11/449.51	c       450          15795        4110         1         193.0000         165.7063     16.47%
454.09/455.51	c       456          15915        4158         1         193.0000         165.7113     16.47%
459.17/460.63	c       461          16084        4207         1         193.0000         165.7135     16.47%
464.86/466.30	c       466          16221        4252         1         193.0000         165.7153     16.46%
470.55/472.05	c       472          16335        4314         1         193.0000         165.7192     16.46%
475.72/477.22	c       477          16445        4356         1         193.0000         165.7226     16.46%
480.81/482.30	c       482          16605        4396         1         193.0000         165.7241     16.46%
486.20/487.75	c       488          16761        4452         1         193.0000         165.7253     16.46%
491.88/493.41	c       493          16991        4528         1         193.0000         165.7285     16.46%
497.48/499.08	c       499          17194        4585         1         193.0000         165.7312     16.45%
503.15/504.77	c       505          17511        4764         1         193.0000         165.7361     16.45%
508.84/510.44	c       510          17751        4858         1         193.0000         165.7466     16.44%
514.82/516.48	c       516          18091        4994         1         193.0000         165.7513     16.44%
520.01/521.61	c       522          18205        5036         1         193.0000         165.7517     16.44%
525.29/527.01	c       527          18425        5098         1         193.0000         165.7578     16.43%
530.58/532.23	c       532          18575        5134         1         193.0000         165.7615     16.43%
536.06/537.73	c       538          18775        5184         1         193.0000         165.7634     16.43%
541.24/542.97	c       543          18975        5220         1         193.0000         165.7661     16.43%
547.22/548.97	c       549          19145        5278         1         193.0000         165.7724     16.42%
553.21/554.91	c       555          19339        5338         1         193.0000         165.7774     16.42%
559.30/561.09	c       561          19741        5378         1         193.0000         165.7791     16.42%
564.97/566.77	c       567          19933        5432         1         193.0000         165.7829     16.42%
570.56/572.34	c       572          20068        5477         1         193.0000         165.7856     16.42%
575.84/577.67	c       578          20185        5540         1         193.0000         165.7909     16.41%
581.62/583.48	c       583          20469        5606         1         193.0000         165.7927     16.41%
586.91/588.70	c       589          20671        5672         1         193.0000         165.7950     16.41%
592.09/593.90	c       594          20765        5714         1         193.0000         165.7953     16.41%
597.68/599.53	c       600          20881        5762         1         193.0000         165.8024     16.40%
603.06/604.92	c       605          21034        5813         1         193.0000         165.8088     16.40%
608.15/610.11	c       610          21173        5862         1         193.0000         165.8146     16.40%
613.32/615.22	c       615          21320        5893         1         193.0000         165.8178     16.39%
618.91/620.80	c       621          21515        5938         1         193.0000         165.8207     16.39%
625.29/627.25	c       627          21725        6026         1         193.0000         165.8235     16.39%
630.67/632.69	c       633          21903        6086         1         193.0000         165.8268     16.39%
635.95/637.91	c       638          22031        6150         1         193.0000         165.8309     16.38%
641.24/643.22	c       643          22181        6202         1         193.0000         165.8332     16.38%
646.62/648.63	c       649          22361        6244         1         193.0000         165.8394     16.38%
651.60/653.66	c       654          22452        6297         1         193.0000         165.8405     16.38%
657.10/659.19	c       659          22555        6348         1         193.0000         165.8435     16.37%
662.77/664.84	c       665          22901        6398         1         193.0000         165.8493     16.37%
667.97/670.05	c       670          23091        6452         1         193.0000         165.8541     16.37%
673.14/675.25	c       675          23227        6492         1         193.0000         165.8548     16.37%
678.32/680.47	c       680          23411        6534         1         193.0000         165.8592     16.36%
684.30/686.40	c       686          23650        6603         1         193.0000         165.8629     16.36%
685.40/687.54	c *     688          23683        6618         1         191.0000         165.8641     15.15%
690.17/692.31	c       692          23755        6231         1         191.0000         165.8665     15.15%
695.86/698.08	c       698          23915        6271         1         191.0000         165.8676     15.15%
701.53/703.79	c       704          24017        6311         1         191.0000         165.8698     15.15%
707.40/709.64	c       710          24275        6353         1         191.0000         165.8767     15.15%
713.38/715.62	c       716          24388        6404         1         191.0000         165.8856     15.14%
718.36/720.69	c       721          24571        6453         1         191.0000         165.8904     15.14%
723.64/725.90	c       726          24682        6510         1         191.0000         165.8917     15.14%
728.74/731.05	c       731          24815        6565         1         191.0000         165.8927     15.13%
734.00/736.32	c       736          24981        6619         1         191.0000         165.8991     15.13%
739.08/741.40	c       741          25161        6671         1         191.0000         165.9021     15.13%
744.77/747.16	c       747          25295        6727         1         191.0000         165.9036     15.13%
750.65/753.05	c       753          25415        6773         1         191.0000         165.9066     15.13%
756.11/758.58	c       759          25600        6812         1         191.0000         165.9088     15.12%
761.19/763.62	c       764          25701        6843         1         191.0000         165.9113     15.12%
767.16/769.69	c       770          25835        6899         1         191.0000         165.9158     15.12%
772.36/774.88	c       775          26081        6945         1         191.0000         165.9175     15.12%
778.25/780.72	c       781          26236        6996         1         191.0000         165.9223     15.11%
783.92/786.41	c       786          26475        7075         1         191.0000         165.9228     15.11%
789.11/791.69	c       792          26644        7132         1         191.0000         165.9240     15.11%
795.60/798.12	c       798          26825        7189         1         191.0000         165.9270     15.11%
800.59/803.15	c       803          26955        7259         1         191.0000         165.9293     15.11%
806.05/808.63	c       809          27191        7335         1         191.0000         165.9314     15.11%
811.13/813.77	c       814          27303        7391         1         191.0000         165.9327     15.11%
816.32/818.95	c       819          27382        7430         1         191.0000         165.9333     15.11%
822.09/824.73	c       825          27571        7467         1         191.0000         165.9353     15.11%
827.27/829.97	c       830          27721        7509         1         191.0000         165.9382     15.10%
833.15/835.87	c       836          27904        7564         1         191.0000         165.9412     15.10%
838.62/841.38	c       841          28053        7637         1         191.0000         165.9445     15.10%
844.70/847.50	c       848          28295        7725         1         191.0000         165.9477     15.10%
850.09/852.88	c       853          28495        7811         1         191.0000         165.9521     15.09%
855.56/858.35	c       858          28695        7899         1         191.0000         165.9552     15.09%
861.74/864.58	c       865          28945        7999         1         191.0000         165.9603     15.09%
867.81/870.61	c       871          29195        8077         1         191.0000         165.9649     15.08%
872.89/875.70	c       876          29365        8135         1         191.0000         165.9688     15.08%
878.47/881.36	c       881          29455        8181         1         191.0000         165.9700     15.08%
884.05/886.97	c       887          29596        8238         1         191.0000         165.9722     15.08%
889.43/892.35	c       892          29788        8260         1         191.0000         165.9755     15.08%
895.50/898.46	c       898          29925        8327         1         191.0000         165.9785     15.08%
900.99/903.97	c       904          30101        8365         1         191.0000         165.9802     15.07%
906.26/909.29	c       909          30265        8411         1         191.0000         165.9840     15.07%
912.06/915.07	c       915          30371        8455         1         191.0000         165.9892     15.07%
917.83/920.88	c       921          30571        8513         1         191.0000         165.9931     15.07%
923.42/926.44	c       926          30671        8563         1         191.0000         165.9958     15.06%
929.01/932.07	c       932          30891        8617         1         191.0000         165.9995     15.06%
934.39/937.44	c       937          30994        8692         1         191.0000         166.0017     15.06%
940.17/943.22	c       943          31095        8741         1         191.0000         166.0059     15.06%
945.45/948.58	c       949          31356        8840         1         191.0000         166.0076     15.05%
951.34/954.40	c       954          31725        8895         1         191.0000         166.0087     15.05%
956.33/959.49	c       959          31965        8961         1         191.0000         166.0098     15.05%
962.02/965.17	c       965          32212        9028         1         191.0000         166.0117     15.05%
967.20/970.38	c       970          32355        9087         1         191.0000         166.0146     15.05%
972.59/975.72	c       976          32551        9125         1         191.0000         166.0195     15.05%
977.67/980.82	c       981          32673        9177         1         191.0000         166.0240     15.04%
983.26/986.41	c       986          32891        9235         1         191.0000         166.0276     15.04%
988.44/991.62	c       992          33071        9269         1         191.0000         166.0321     15.04%
993.62/996.85	c       997          33198        9318         1         191.0000         166.0347     15.04%
998.62/1001.86	c      1002          33391        9367         1         191.0000         166.0388     15.03%
1004.20/1007.40	c      1007          33585        9421         1         191.0000         166.0404     15.03%
1009.59/1012.80	c      1013          33732        9460         1         191.0000         166.0420     15.03%
1015.27/1018.55	c      1019          33900        9502         1         191.0000         166.0439     15.03%
1020.86/1024.19	c      1024          34085        9545         1         191.0000         166.0469     15.03%
1025.93/1029.21	c      1029          34201        9589         1         191.0000         166.0508     15.03%
1031.21/1034.51	c      1035          34442        9600         1         191.0000         166.0516     15.02%
1036.99/1040.33	c      1040          34585        9631         1         191.0000         166.0560     15.02%
1042.68/1046.09	c      1046          34891        9673         1         191.0000         166.0617     15.02%
1047.76/1051.19	c      1051          35053        9735         1         191.0000         166.0642     15.02%
1053.22/1056.62	c      1057          35165        9771         1         191.0000         166.0650     15.02%
1059.10/1062.50	c      1063          35283        9837         1         191.0000         166.0674     15.01%
1064.49/1067.95	c      1068          35475        9875         1         191.0000         166.0712     15.01%
1070.46/1073.90	c      1074          35665        9921         1         191.0000         166.0731     15.01%
1075.56/1079.06	c      1079          35851        9965         1         191.0000         166.0745     15.01%
1081.02/1084.50	c      1084          35965       10023         1         191.0000         166.0754     15.01%
1086.10/1089.65	c      1090          36121       10075         1         191.0000         166.0786     15.01%
1091.38/1095.01	c      1095          36291       10125         1         191.0000         166.0808     15.00%
1096.86/1100.46	c      1100          36431       10177         1         191.0000         166.0850     15.00%
1102.04/1105.63	c      1106          36515       10229         1         191.0000         166.0865     15.00%
1107.54/1111.13	c      1111          36665       10295         1         191.0000         166.0875     15.00%
1113.41/1117.02	c      1117          36950       10344         1         191.0000         166.0914     15.00%
1118.58/1122.21	c      1122          37031       10387         1         191.0000         166.0921     15.00%
1124.65/1128.39	c      1128          37195       10437         1         191.0000         166.0979     14.99%
1129.83/1133.54	c      1134          37401       10475         1         191.0000         166.0995     14.99%
1135.32/1139.07	c      1139          37645       10531         1         191.0000         166.1015     14.99%
1141.30/1145.06	c      1145          37775       10587         1         191.0000         166.1040     14.99%
1146.39/1150.13	c      1150          38041       10653         1         191.0000         166.1063     14.99%
1152.15/1155.98	c      1156          38261       10719         1         191.0000         166.1070     14.99%
1158.13/1161.92	c      1162          38428       10768         1         191.0000         166.1083     14.99%
1163.41/1167.24	c      1167          38565       10831         1         191.0000         166.1087     14.98%
1168.99/1172.85	c      1173          38791       10891         1         191.0000         166.1139     14.98%
1175.36/1179.23	c      1179          39025       10955         1         191.0000         166.1152     14.98%
1180.74/1184.61	c      1185          39211       11001         1         191.0000         166.1180     14.98%
1187.13/1191.02	c      1191          39461       11095         1         191.0000         166.1198     14.98%
1192.79/1196.77	c      1197          39725       11173         1         191.0000         166.1214     14.98%
1198.37/1202.38	c      1202          39855       11233         1         191.0000         166.1237     14.97%
1203.95/1207.97	c      1208          40004       11308         1         191.0000         166.1252     14.97%
1209.83/1213.86	c      1214          40255       11373         1         191.0000         166.1284     14.97%
1215.02/1219.03	c      1219          40395       11435         1         191.0000         166.1304     14.97%
1220.29/1224.38	c      1224          40634       11506         1         191.0000         166.1321     14.97%
1225.57/1229.62	c      1230          40755       11565         1         191.0000         166.1371     14.97%
1230.95/1235.09	c      1235          40921       11607         1         191.0000         166.1422     14.96%
1236.43/1240.52	c      1241          41045       11669         1         191.0000         166.1470     14.96%
1242.30/1246.41	c      1246          41321       11773         1         191.0000         166.1509     14.96%
1249.37/1253.57	c      1254          41495       11839         1         191.0000         166.1523     14.95%
1255.15/1259.33	c      1259          41670       11908         1         191.0000         166.1562     14.95%
1260.63/1264.87	c      1265          41838       11966         1         191.0000         166.1570     14.95%
1266.51/1270.79	c      1271          42125       12033         1         191.0000         166.1595     14.95%
1271.59/1275.82	c      1276          42491       12067         1         191.0000         166.1599     14.95%
1277.07/1281.32	c      1281          42598       12112         1         191.0000         166.1605     14.95%
1282.54/1286.82	c      1287          42775       12155         1         191.0000         166.1654     14.95%
1288.22/1292.50	c      1293          43036       12190         1         191.0000         166.1666     14.94%
1293.40/1297.76	c      1298          43251       12237         1         191.0000         166.1670     14.94%
1299.27/1303.67	c      1304          43421       12277         1         191.0000         166.1681     14.94%
1304.46/1308.81	c      1309          43511       12321         1         191.0000         166.1702     14.94%
1309.44/1313.83	c      1314          43731       12353         1         191.0000         166.1716     14.94%
1314.52/1318.95	c      1319          43851       12395         1         191.0000         166.1725     14.94%
1320.00/1324.44	c      1324          43985       12473         1         191.0000         166.1743     14.94%
1325.68/1330.19	c      1330          44137       12551         1         191.0000         166.1769     14.94%
1331.25/1335.75	c      1336          44461       12613         1         191.0000         166.1802     14.94%
1336.65/1341.17	c      1341          44571       12667         1         191.0000         166.1828     14.93%
1341.81/1346.38	c      1346          44696       12728         1         191.0000         166.1845     14.93%
1346.79/1351.40	c      1351          44971       12783         1         191.0000         166.1866     14.93%
1352.58/1357.15	c      1357          45151       12839         1         191.0000         166.1893     14.93%
1357.95/1362.53	c      1363          45359       12895         1         191.0000         166.1896     14.93%
1363.13/1367.71	c      1368          45481       12953         1         191.0000         166.1913     14.93%
1368.21/1372.83	c      1373          45671       13017         1         191.0000         166.1945     14.93%
1373.50/1378.17	c      1378          45821       13063         1         191.0000         166.1958     14.92%
1379.17/1383.82	c      1384          46049       13135         1         191.0000         166.1959     14.92%
1384.25/1388.92	c      1389          46165       13191         1         191.0000         166.1988     14.92%
1389.83/1394.58	c      1395          46359       13247         1         191.0000         166.1992     14.92%
1395.60/1400.39	c      1400          46661       13297         1         191.0000         166.2007     14.92%
1401.49/1406.22	c      1406          46841       13339         1         191.0000         166.2024     14.92%
1407.47/1412.24	c      1412          46961       13399         1         191.0000         166.2033     14.92%
1412.45/1417.26	c      1417          47065       13449         1         191.0000         166.2058     14.92%
1417.93/1422.73	c      1423          47238       13514         1         191.0000         166.2076     14.92%
1423.32/1428.12	c      1428          47501       13567         1         191.0000         166.2094     14.92%
1428.48/1433.30	c      1433          47605       13629         1         191.0000         166.2115     14.91%
1434.36/1439.25	c      1439          47835       13727         1         191.0000         166.2144     14.91%
1440.14/1445.10	c      1445          48042       13806         1         191.0000         166.2176     14.91%
1445.72/1450.62	c      1451          48212       13856         1         191.0000         166.2199     14.91%
1451.50/1456.41	c      1456          48475       13895         1         191.0000         166.2203     14.91%
1457.19/1462.12	c      1462          48671       13945         1         191.0000         166.2224     14.91%
1462.25/1467.29	c      1467          48825       14013         1         191.0000         166.2243     14.90%
1467.93/1472.90	c      1473          49081       14073         1         191.0000         166.2255     14.90%
1473.62/1478.68	c      1479          49191       14139         1         191.0000         166.2291     14.90%
1479.01/1484.04	c      1484          49403       14197         1         191.0000         166.2297     14.90%
1484.09/1489.19	c      1489          49511       14239         1         191.0000         166.2312     14.90%
1489.96/1495.06	c      1495          49725       14307         1         191.0000         166.2316     14.90%
1495.53/1500.68	c      1501          49970       14368         1         191.0000         166.2337     14.90%
1501.50/1506.67	c      1507          50241       14433         1         191.0000         166.2357     14.90%
1507.28/1512.47	c      1512          50400       14490         1         191.0000         166.2365     14.90%
1512.87/1518.04	c      1518          50551       14549         1         191.0000         166.2405     14.89%
1517.95/1523.15	c      1523          50725       14601         1         191.0000         166.2433     14.89%
1523.52/1528.71	c      1529          50931       14653         1         191.0000         166.2447     14.89%
1528.81/1534.01	c      1534          51071       14717         1         191.0000         166.2458     14.89%
1534.38/1539.66	c      1540          51185       14773         1         191.0000         166.2476     14.89%
1540.36/1545.60	c      1546          51453       14831         1         191.0000         166.2497     14.89%
1545.44/1550.71	c      1551          51721       14865         1         191.0000         166.2518     14.89%
1551.31/1556.60	c      1557          51915       14925         1         191.0000         166.2534     14.88%
1556.81/1562.11	c      1562          52035       14981         1         191.0000         166.2561     14.88%
1562.47/1567.89	c      1568          52220       15050         1         191.0000         166.2570     14.88%
1567.55/1572.98	c      1573          52295       15089         1         191.0000         166.2574     14.88%
1572.64/1578.06	c      1578          52471       15125         1         191.0000         166.2593     14.88%
1578.63/1584.02	c      1584          52628       15204         1         191.0000         166.2605     14.88%
1583.99/1589.47	c      1589          52935       15243         1         191.0000         166.2615     14.88%
1589.47/1594.99	c      1595          53115       15307         1         191.0000         166.2626     14.88%
1595.56/1601.04	c      1601          53335       15369         1         191.0000         166.2640     14.88%
1600.93/1606.46	c      1606          53591       15457         1         191.0000         166.2646     14.88%
1606.71/1612.27	c      1612          53851       15527         1         191.0000         166.2676     14.88%
1611.99/1617.50	c      1618          54041       15593         1         191.0000         166.2698     14.87%
1617.17/1622.74	c      1623          54291       15641         1         191.0000         166.2709     14.87%
1623.14/1628.71	c      1629          54493       15693         1         191.0000         166.2715     14.87%
1628.33/1633.96	c      1634          54760       15770         1         191.0000         166.2727     14.87%
1634.21/1639.82	c      1640          54975       15817         1         191.0000         166.2740     14.87%
1640.08/1645.75	c      1646          55211       15871         1         191.0000         166.2759     14.87%
1645.76/1651.42	c      1651          55365       15933         1         191.0000         166.2795     14.87%
1651.45/1657.17	c      1657          55595       15985         1         191.0000         166.2807     14.87%
1656.52/1662.25	c      1662          55791       16025         1         191.0000         166.2812     14.87%
1661.60/1667.30	c      1667          55991       16069         1         191.0000         166.2817     14.87%
1667.48/1673.21	c      1673          56201       16137         1         191.0000         166.2822     14.86%
1672.76/1678.54	c      1679          56401       16205         1         191.0000         166.2839     14.86%
1678.44/1684.25	c      1684          56568       16258         1         191.0000         166.2855     14.86%
1683.72/1689.57	c      1690          56771       16307         1         191.0000         166.2885     14.86%
1690.00/1695.81	c      1696          57065       16353         1         191.0000         166.2901     14.86%
1695.29/1701.14	c      1701          57291       16411         1         191.0000         166.2916     14.86%
1701.05/1707.01	c      1707          57445       16469         1         191.0000         166.2949     14.86%
1706.63/1712.55	c      1713          57806       16538         1         191.0000         166.2955     14.86%
1712.51/1718.44	c      1718          57991       16599         1         191.0000         166.2987     14.85%
1717.99/1723.93	c      1724          58241       16671         1         191.0000         166.3011     14.85%
1723.08/1729.07	c      1729          58421       16733         1         191.0000         166.3015     14.85%
1728.74/1734.73	c      1735          58741       16775         1         191.0000         166.3023     14.85%
1734.71/1740.78	c      1741          59045       16835         1         191.0000         166.3031     14.85%
1740.59/1746.64	c      1747          59307       16885         1         191.0000         166.3046     14.85%
1745.99/1752.04	c      1752          59499       16951         1         191.0000         166.3062     14.85%
1751.45/1757.54	c      1758          59741       16997         1         191.0000         166.3117     14.84%
1757.13/1763.27	c      1763          59905       17043         1         191.0000         166.3123     14.84%
1762.81/1768.95	c      1769          60095       17107         1         191.0000         166.3133     14.84%
1768.29/1774.40	c      1774          60341       17157         1         191.0000         166.3144     14.84%
1773.57/1779.71	c      1780          60551       17227         1         191.0000         166.3166     14.84%
1778.86/1785.05	c      1785          60668       17288         1         191.0000         166.3183     14.84%
1784.03/1790.26	c      1790          60899       17335         1         191.0000         166.3198     14.84%
1789.20/1795.45	c      1795          61065       17391         1         191.0000         166.3211     14.84%
1794.28/1800.59	c      1801          61241       17443         1         191.0000         166.3228     14.84%
1799.89/1806.19	c      1806          61514       17500         1         191.0000         166.3238     14.84%
1806.35/1812.61	c      1813          61785       17555         1         191.0000         166.3252     14.84%
1811.74/1818.10	c      1818          61981       17609         1         191.0000         166.3271     14.83%
1816.82/1823.16	c      1823          62121       17675         1         191.0000         166.3278     14.83%
1822.48/1828.88	c      1829          62317       17725         1         191.0000         166.3283     14.83%
1828.16/1834.52	c      1835          62495       17809         1         191.0000         166.3324     14.83%
1833.24/1839.64	c      1840          62655       17859         1         191.0000         166.3325     14.83%
1838.32/1844.71	c      1845          62871       17897         1         191.0000         166.3346     14.83%
1843.72/1850.15	c      1850          63121       17943         1         191.0000         166.3350     14.83%
1849.78/1856.24	c      1856          63335       17991         1         191.0000         166.3364     14.83%
1854.96/1861.46	c      1861          63580       18036         1         191.0000         166.3375     14.83%
1860.65/1867.19	c      1867          63821       18103         1         191.0000         166.3382     14.83%
1865.72/1872.21	c      1872          64111       18137         1         191.0000         166.3391     14.83%
1870.90/1877.41	c      1877          64322       18190         1         191.0000         166.3406     14.82%
1876.38/1882.90	c      1883          64527       18265         1         191.0000         166.3419     14.82%
1882.16/1888.76	c      1889          64811       18331         1         191.0000         166.3425     14.82%
1887.24/1893.85	c      1894          65001       18395         1         191.0000         166.3438     14.82%
1892.92/1899.58	c      1900          65158       18476         1         191.0000         166.3454     14.82%
1898.10/1904.70	c      1905          65301       18519         1         191.0000         166.3463     14.82%
1903.28/1909.92	c      1910          65475       18583         1         191.0000         166.3472     14.82%
1909.16/1915.83	c      1916          65766       18646         1         191.0000         166.3504     14.82%
1915.24/1922.01	c      1922          65975       18703         1         191.0000         166.3529     14.82%
1920.81/1927.51	c      1928          66133       18751         1         191.0000         166.3540     14.82%
1926.00/1932.72	c      1933          66285       18835         1         191.0000         166.3555     14.81%
1931.58/1938.36	c      1938          66555       18905         1         191.0000         166.3575     14.81%
1937.15/1943.90	c      1944          66695       18977         1         191.0000         166.3594     14.81%
1942.34/1949.12	c      1949          66871       19051         1         191.0000         166.3620     14.81%
1947.41/1954.25	c      1954          67109       19105         1         191.0000         166.3647     14.81%
1953.00/1959.89	c      1960          67325       19159         1         191.0000         166.3655     14.81%
1959.07/1965.94	c      1966          67525       19225         1         191.0000         166.3680     14.81%
1964.55/1971.45	c      1971          67795       19271         1         191.0000         166.3694     14.80%
1969.82/1976.77	c      1977          68052       19330         1         191.0000         166.3707     14.80%
1975.22/1982.12	c      1982          68262       19390         1         191.0000         166.3715     14.80%
1980.68/1987.68	c      1988          68611       19445         1         191.0000         166.3729     14.80%
1985.87/1992.82	c      1993          68738       19512         1         191.0000         166.3739     14.80%
1991.06/1998.10	c      1998          68921       19569         1         191.0000         166.3747     14.80%
1996.43/2003.41	c      2003          69071       19621         1         191.0000         166.3755     14.80%
2001.61/2008.61	c      2009          69281       19663         1         191.0000         166.3766     14.80%
2007.58/2014.69	c      2015          69525       19725         1         191.0000         166.3771     14.80%
2012.76/2019.83	c      2020          69731       19773         1         191.0000         166.3775     14.80%
2018.45/2025.54	c      2026          69895       19855         1         191.0000         166.3790     14.80%
2023.53/2030.69	c      2031          70045       19907         1         191.0000         166.3802     14.80%
2029.50/2036.61	c      2037          70291       19977         1         191.0000         166.3814     14.80%
2034.58/2041.79	c      2042          70541       20033         1         191.0000         166.3826     14.80%
2040.47/2047.65	c      2048          70771       20109         1         191.0000         166.3835     14.80%
2045.75/2052.99	c      2053          70946       20170         1         191.0000         166.3841     14.79%
2051.72/2058.93	c      2059          71121       20235         1         191.0000         166.3856     14.79%
2057.41/2064.63	c      2065          71361       20293         1         191.0000         166.3874     14.79%
2063.08/2070.30	c      2070          71631       20347         1         191.0000         166.3885     14.79%
2068.67/2075.99	c      2076          71891       20395         1         191.0000         166.3891     14.79%
2074.65/2082.01	c      2082          72105       20441         1         191.0000         166.3893     14.79%
2080.02/2087.35	c      2087          72345       20483         1         191.0000         166.3915     14.79%
2085.51/2092.84	c      2093          72508       20550         1         191.0000         166.3922     14.79%
2091.19/2098.53	c      2099          72735       20607         1         191.0000         166.3928     14.79%
2096.98/2104.37	c      2104          72915       20653         1         191.0000         166.3941     14.79%
2102.46/2109.80	c      2110          73120       20714         1         191.0000         166.3959     14.79%
2107.55/2114.99	c      2115          73315       20757         1         191.0000         166.3968     14.79%
2112.83/2120.24	c      2120          73520       20812         1         191.0000         166.3989     14.78%
2118.82/2126.20	c      2126          73815       20889         1         191.0000         166.3999     14.78%
2124.20/2131.61	c      2132          74167       20941         1         191.0000         166.4010     14.78%
2130.09/2137.50	c      2138          74355       21011         1         191.0000         166.4017     14.78%
2135.17/2142.69	c      2143          74555       21083         1         191.0000         166.4041     14.78%
2141.06/2148.58	c      2149          74761       21163         1         191.0000         166.4061     14.78%
2146.14/2153.62	c      2154          74911       21233         1         191.0000         166.4090     14.78%
2151.32/2158.87	c      2159          75196       21286         1         191.0000         166.4094     14.78%
2156.42/2163.95	c      2164          75501       21329         1         191.0000         166.4103     14.78%
2162.10/2169.69	c      2170          75691       21389         1         191.0000         166.4117     14.78%
2167.49/2175.09	c      2175          75931       21427         1         191.0000         166.4124     14.78%
2172.58/2180.16	c      2180          76131       21487         1         191.0000         166.4135     14.77%
2178.56/2186.17	c      2186          76285       21555         1         191.0000         166.4145     14.77%
2184.63/2192.25	c      2192          76515       21629         1         191.0000         166.4157     14.77%
2190.11/2197.77	c      2198          76790       21668         1         191.0000         166.4175     14.77%
2195.19/2202.88	c      2203          76885       21727         1         191.0000         166.4191     14.77%
2200.57/2208.21	c      2208          77091       21763         1         191.0000         166.4205     14.77%
2205.86/2213.59	c      2214          77279       21825         1         191.0000         166.4215     14.77%
2211.84/2219.57	c      2220          77535       21887         1         191.0000         166.4226     14.77%
2217.63/2225.32	c      2225          77735       21941         1         191.0000         166.4233     14.77%
2223.21/2230.95	c      2231          78034       22028         1         191.0000         166.4242     14.77%
2228.30/2236.11	c      2236          78211       22067         1         191.0000         166.4249     14.77%
2234.30/2242.06	c      2242          78391       22139         1         191.0000         166.4259     14.77%
2239.67/2247.42	c      2247          78621       22205         1         191.0000         166.4276     14.76%
2244.95/2252.75	c      2253          78824       22272         1         191.0000         166.4278     14.76%
2250.04/2257.81	c      2258          78940       22328         1         191.0000         166.4283     14.76%
2255.42/2263.28	c      2263          79211       22393         1         191.0000         166.4286     14.76%
2260.70/2268.56	c      2269          79321       22463         1         191.0000         166.4306     14.76%
2265.80/2273.62	c      2274          79461       22519         1         191.0000         166.4320     14.76%
2270.78/2278.63	c      2279          79647       22579         1         191.0000         166.4331     14.76%
2276.18/2284.03	c      2284          79935       22621         1         191.0000         166.4335     14.76%
2281.55/2289.42	c      2289          80173       22683         1         191.0000         166.4355     14.76%
2287.24/2295.11	c      2295          80455       22747         1         191.0000         166.4362     14.76%
2292.41/2300.33	c      2300          80771       22785         1         191.0000         166.4367     14.76%
2297.90/2305.85	c      2306          80935       22841         1         191.0000         166.4387     14.76%
2303.88/2311.80	c      2312          81196       22918         1         191.0000         166.4406     14.76%
2309.76/2317.78	c      2318          81485       22991         1         191.0000         166.4417     14.75%
2315.06/2323.04	c      2323          81765       23073         1         191.0000         166.4423     14.75%
2320.14/2328.14	c      2328          82021       23125         1         191.0000         166.4434     14.75%
2325.82/2333.85	c      2334          82159       23193         1         191.0000         166.4442     14.75%
2331.20/2339.22	c      2339          82385       23261         1         191.0000         166.4451     14.75%
2337.10/2345.15	c      2345          82641       23347         1         191.0000         166.4481     14.75%
2342.27/2350.37	c      2350          82749       23401         1         191.0000         166.4490     14.75%
2347.55/2355.62	c      2356          82955       23445         1         191.0000         166.4497     14.75%
2352.54/2360.66	c      2361          83171       23481         1         191.0000         166.4524     14.75%
2358.33/2366.46	c      2366          83386       23560         1         191.0000         166.4536     14.75%
2363.81/2371.94	c      2372          83671       23609         1         191.0000         166.4546     14.75%
2369.01/2377.13	c      2377          83861       23651         1         191.0000         166.4550     14.75%
2374.19/2382.30	c      2382          83991       23701         1         191.0000         166.4562     14.74%
2379.57/2387.72	c      2388          84281       23757         1         191.0000         166.4571     14.74%
2384.65/2392.86	c      2393          84405       23821         1         191.0000         166.4580     14.74%
2389.85/2398.05	c      2398          84550       23876         1         191.0000         166.4589     14.74%
2395.72/2403.93	c      2404          84721       23931         1         191.0000         166.4611     14.74%
2401.20/2409.45	c      2409          84921       23985         1         191.0000         166.4628     14.74%
2406.49/2414.79	c      2415          85061       24039         1         191.0000         166.4638     14.74%
2411.97/2420.26	c      2420          85195       24109         1         191.0000         166.4650     14.74%
2417.36/2425.63	c      2426          85424       24178         1         191.0000         166.4659     14.74%
2422.45/2430.73	c      2431          85591       24223         1         191.0000         166.4673     14.74%
2427.93/2436.27	c      2436          85770       24282         1         191.0000         166.4682     14.74%
2433.41/2441.77	c      2442          86001       24341         1         191.0000         166.4696     14.74%
2439.29/2447.61	c      2448          86215       24405         1         191.0000         166.4707     14.73%
2444.68/2453.01	c      2453          86451       24465         1         191.0000         166.4726     14.73%
2449.77/2458.13	c      2458          86795       24535         1         191.0000         166.4737     14.73%
2455.76/2464.13	c      2464          87147       24645         1         191.0000         166.4753     14.73%
2461.63/2470.03	c      2470          87340       24734         1         191.0000         166.4767     14.73%
2466.81/2475.22	c      2475          87537       24809         1         191.0000         166.4777     14.73%
2472.99/2481.45	c      2481          87735       24869         1         191.0000         166.4782     14.73%
2478.87/2487.33	c      2487          87961       24933         1         191.0000         166.4792     14.73%
2484.35/2492.87	c      2493          88125       24987         1         191.0000         166.4797     14.73%
2489.44/2497.99	c      2498          88451       25065         1         191.0000         166.4802     14.73%
2495.43/2503.92	c      2504          88759       25141         1         191.0000         166.4811     14.73%
2501.11/2509.65	c      2510          88931       25221         1         191.0000         166.4821     14.73%
2507.50/2516.03	c      2516          89105       25279         1         191.0000         166.4825     14.73%
2512.97/2521.55	c      2522          89331       25357         1         191.0000         166.4842     14.73%
2518.75/2527.31	c      2527          89548       25438         1         191.0000         166.4849     14.73%
2523.83/2532.48	c      2532          89761       25499         1         191.0000         166.4853     14.72%
2529.33/2537.98	c      2538          90065       25593         1         191.0000         166.4861     14.72%
2534.71/2543.36	c      2543          90215       25667         1         191.0000         166.4871     14.72%
2540.50/2549.19	c      2549          90455       25739         1         191.0000         166.4879     14.72%
2546.48/2555.13	c      2555          90704       25802         1         191.0000         166.4887     14.72%
2552.25/2561.01	c      2561          90980       25870         1         191.0000         166.4892     14.72%
2557.53/2566.27	c      2566          91115       25941         1         191.0000         166.4901     14.72%
2563.23/2571.93	c      2572          91480       25998         1         191.0000         166.4915     14.72%
2568.61/2577.37	c      2577          91661       26041         1         191.0000         166.4927     14.72%
2574.00/2582.79	c      2583          91851       26099         1         191.0000         166.4939     14.72%
2579.48/2588.25	c      2588          92101       26193         1         191.0000         166.4952     14.72%
2584.96/2593.75	c      2594          92389       26245         1         191.0000         166.4955     14.72%
2590.06/2598.88	c      2599          92525       26317         1         191.0000         166.4973     14.72%
2596.04/2604.89	c      2605          92821       26389         1         191.0000         166.4983     14.72%
2601.72/2610.57	c      2611          93056       26464         1         191.0000         166.4993     14.72%
2606.91/2615.75	c      2616          93185       26527         1         191.0000         166.5000     14.71%
2612.39/2621.28	c      2621          93421       26589         1         191.0000         166.5014     14.71%
2617.88/2626.75	c      2627          93671       26637         1         191.0000         166.5024     14.71%
2623.28/2632.18	c      2632          93830       26694         1         191.0000         166.5028     14.71%
2628.75/2637.66	c      2638          94141       26735         1         191.0000         166.5031     14.71%
2633.73/2642.68	c      2643          94371       26801         1         191.0000         166.5035     14.71%
2638.82/2647.73	c      2648          94541       26867         1         191.0000         166.5048     14.71%
2644.12/2653.04	c      2653          94672       26944         1         191.0000         166.5063     14.71%
2650.10/2659.03	c      2659          94855       27021         1         191.0000         166.5081     14.71%
2655.08/2664.05	c      2664          95065       27073         1         191.0000         166.5088     14.71%
2660.35/2669.38	c      2669          95339       27115         1         191.0000         166.5095     14.71%
2665.64/2674.60	c      2675          95550       27168         1         191.0000         166.5097     14.71%
2671.14/2680.14	c      2680          95710       27228         1         191.0000         166.5101     14.71%
2677.03/2686.07	c      2686          95941       27281         1         191.0000         166.5114     14.71%
2683.11/2692.11	c      2692          96105       27351         1         191.0000         166.5120     14.71%
2689.38/2698.44	c      2698          96311       27435         1         191.0000         166.5165     14.70%
2694.46/2703.57	c      2704          96515       27489         1         191.0000         166.5168     14.70%
2699.64/2708.75	c      2709          96766       27538         1         191.0000         166.5173     14.70%
2705.32/2714.41	c      2714          97051       27601         1         191.0000         166.5187     14.70%
2711.11/2720.29	c      2720          97375       27659         1         191.0000         166.5191     14.70%
2716.91/2726.09	c      2726          97715       27695         1         191.0000         166.5198     14.70%
2723.08/2732.25	c      2732          97935       27765         1         191.0000         166.5215     14.70%
2728.56/2737.77	c      2738          98141       27843         1         191.0000         166.5232     14.70%
2733.76/2742.92	c      2743          98285       27913         1         191.0000         166.5237     14.70%
2739.54/2748.77	c      2749          98513       27985         1         191.0000         166.5241     14.70%
2744.94/2754.13	c      2754          98811       28029         1         191.0000         166.5255     14.70%
2750.51/2759.77	c      2760          99051       28095         1         191.0000         166.5260     14.70%
2755.80/2765.08	c      2765          99321       28149         1         191.0000         166.5262     14.70%
2761.09/2770.38	c      2770          99601       28259         1         191.0000         166.5268     14.70%
2766.78/2776.06	c      2776          99991       28343         1         191.0000         166.5273     14.70%
2771.96/2781.21	c      2781         100342       28406         1         191.0000         166.5277     14.70%
2777.94/2787.20	c      2787         100541       28495         1         191.0000         166.5297     14.69%
2783.23/2792.52	c      2793         100791       28551         1         191.0000         166.5302     14.69%
2788.82/2798.12	c      2798         101005       28637         1         191.0000         166.5309     14.69%
2794.81/2804.13	c      2804         101205       28721         1         191.0000         166.5315     14.69%
2800.48/2809.81	c      2810         101444       28790         1         191.0000         166.5321     14.69%
2805.77/2815.16	c      2815         101621       28869         1         191.0000         166.5334     14.69%
2811.15/2820.52	c      2821         101805       28951         1         191.0000         166.5336     14.69%
2816.34/2825.74	c      2826         102081       29031         1         191.0000         166.5352     14.69%
2821.52/2830.90	c      2831         102215       29097         1         191.0000         166.5354     14.69%
2827.20/2836.60	c      2837         102431       29169         1         191.0000         166.5366     14.69%
2832.70/2842.13	c      2842         102591       29245         1         191.0000         166.5375     14.69%
2838.28/2847.79	c      2848         102905       29301         1         191.0000         166.5382     14.69%
2843.86/2853.30	c      2853         103311       29377         1         191.0000         166.5396     14.69%
2849.44/2858.95	c      2859         103561       29453         1         191.0000         166.5402     14.69%
2855.13/2864.65	c      2865         103775       29517         1         191.0000         166.5405     14.69%
2860.21/2869.74	c      2870         103945       29587         1         191.0000         166.5411     14.69%
2865.79/2875.32	c      2875         104158       29658         1         191.0000         166.5424     14.69%
2871.19/2880.77	c      2881         104599       29717         1         191.0000         166.5430     14.69%
2876.58/2886.16	c      2886         104852       29812         1         191.0000         166.5436     14.68%
2882.05/2891.60	c      2892         105171       29849         1         191.0000         166.5447     14.68%
2887.14/2896.73	c      2897         105351       29921         1         191.0000         166.5463     14.68%
2892.53/2902.17	c      2902         105541       30003         1         191.0000         166.5472     14.68%
2897.81/2907.40	c      2907         105725       30087         1         191.0000         166.5484     14.68%
2903.51/2913.14	c      2913         106049       30161         1         191.0000         166.5494     14.68%
2909.39/2919.04	c      2919         106235       30253         1         191.0000         166.5497     14.68%
2914.37/2924.08	c      2924         106435       30325         1         191.0000         166.5519     14.68%
2919.74/2929.48	c      2929         106651       30413         1         191.0000         166.5534     14.68%
2925.23/2934.91	c      2935         106880       30500         1         191.0000         166.5543     14.68%
2930.51/2940.21	c      2940         107105       30561         1         191.0000         166.5552     14.68%
2935.89/2945.62	c      2946         107295       30611         1         191.0000         166.5557     14.68%
2941.56/2951.32	c      2951         107641       30665         1         191.0000         166.5561     14.68%
2946.54/2956.38	c      2956         107811       30733         1         191.0000         166.5571     14.68%
2951.62/2961.48	c      2961         108149       30803         1         191.0000         166.5575     14.68%
2956.81/2966.69	c      2967         108547       30849         1         191.0000         166.5579     14.67%
2962.69/2972.59	c      2973         108762       30916         1         191.0000         166.5584     14.67%
2968.37/2978.29	c      2978         108971       30991         1         191.0000         166.5593     14.67%
2974.65/2984.54	c      2985         109155       31067         1         191.0000         166.5603     14.67%
2980.32/2990.28	c      2990         109505       31129         1         191.0000         166.5605     14.67%
2986.40/2996.36	c      2996         109725       31217         1         191.0000         166.5611     14.67%
2991.58/3001.53	c      3002         109925       31297         1         191.0000         166.5618     14.67%
2996.96/3006.93	c      3007         110115       31365         1         191.0000         166.5625     14.67%
3002.34/3012.33	c      3012         110318       31440         1         191.0000         166.5642     14.67%
3007.62/3017.69	c      3018         110661       31481         1         191.0000         166.5646     14.67%
3012.90/3022.91	c      3023         110901       31559         1         191.0000         166.5653     14.67%
3018.27/3028.34	c      3028         111101       31627         1         191.0000         166.5666     14.67%
3023.36/3033.44	c      3033         111225       31699         1         191.0000         166.5675     14.67%
3028.74/3038.81	c      3039         111481       31747         1         191.0000         166.5679     14.67%
3033.94/3044.04	c      3044         111786       31820         1         191.0000         166.5683     14.67%
3039.80/3050.01	c      3050         112025       31895         1         191.0000         166.5693     14.67%
3045.89/3056.02	c      3056         112211       31943         1         191.0000         166.5703     14.67%
3051.16/3061.33	c      3061         112365       32017         1         191.0000         166.5710     14.67%
3056.55/3066.75	c      3067         112721       32107         1         191.0000         166.5723     14.66%
3062.33/3072.55	c      3073         112972       32208         1         191.0000         166.5732     14.66%
3068.32/3078.54	c      3079         113240       32292         1         191.0000         166.5749     14.66%
3073.51/3083.78	c      3084         113491       32371         1         191.0000         166.5753     14.66%
3078.99/3089.24	c      3089         113771       32463         1         191.0000         166.5756     14.66%
3084.58/3094.82	c      3095         114001       32529         1         191.0000         166.5770     14.66%
3090.56/3100.83	c      3101         114280       32596         1         191.0000         166.5778     14.66%
3095.86/3106.17	c      3106         114531       32657         1         191.0000         166.5785     14.66%
3101.64/3111.90	c      3112         114691       32735         1         191.0000         166.5792     14.66%
3107.52/3117.80	c      3118         114905       32789         1         191.0000         166.5800     14.66%
3113.20/3123.56	c      3124         115216       32866         1         191.0000         166.5814     14.66%
3119.29/3129.60	c      3130         115375       32933         1         191.0000         166.5821     14.66%
3124.57/3134.96	c      3135         115591       33019         1         191.0000         166.5831     14.66%
3130.25/3140.68	c      3141         115826       33090         1         191.0000         166.5837     14.66%
3135.35/3145.71	c      3146         116031       33151         1         191.0000         166.5842     14.66%
3140.43/3150.85	c      3151         116211       33209         1         191.0000         166.5848     14.66%
3146.01/3156.48	c      3156         116465       33263         1         191.0000         166.5850     14.66%
3151.40/3161.84	c      3162         116771       33325         1         191.0000         166.5852     14.66%
3156.88/3167.39	c      3167         116971       33397         1         191.0000         166.5860     14.66%
3162.27/3172.72	c      3173         117233       33459         1         191.0000         166.5864     14.66%
3167.36/3177.83	c      3178         117421       33523         1         191.0000         166.5888     14.65%
3172.45/3182.96	c      3183         117581       33597         1         191.0000         166.5897     14.65%
3178.65/3189.13	c      3189         117791       33675         1         191.0000         166.5907     14.65%
3184.32/3194.82	c      3195         118011       33741         1         191.0000         166.5914     14.65%
3189.80/3200.32	c      3200         118348       33788         1         191.0000         166.5924     14.65%
3195.50/3206.08	c      3206         118571       33857         1         191.0000         166.5930     14.65%
3200.88/3211.47	c      3211         118745       33939         1         191.0000         166.5932     14.65%
3206.48/3217.05	c      3217         119127       33971         1         191.0000         166.5933     14.65%
3212.05/3222.63	c      3223         119341       34015         1         191.0000         166.5940     14.65%
3217.23/3227.80	c      3228         119555       34073         1         191.0000         166.5942     14.65%
3222.82/3233.49	c      3234         119721       34151         1         191.0000         166.5957     14.65%
3228.69/3239.30	c      3239         119891       34225         1         191.0000         166.5961     14.65%
3233.67/3244.34	c      3244         120101       34279         1         191.0000         166.5966     14.65%
3238.76/3249.45	c      3249         120321       34349         1         191.0000         166.5971     14.65%
3243.84/3254.59	c      3255         120515       34419         1         191.0000         166.5979     14.65%
3248.92/3259.65	c      3260         120812       34474         1         191.0000         166.5983     14.65%
3254.60/3265.35	c      3265         121025       34543         1         191.0000         166.5988     14.65%
3260.79/3271.51	c      3272         121321       34597         1         191.0000         166.5994     14.65%
3265.76/3276.58	c      3277         121605       34661         1         191.0000         166.5998     14.65%
3271.14/3281.97	c      3282         121799       34733         1         191.0000         166.6007     14.65%
3277.24/3288.07	c      3288         122141       34823         1         191.0000         166.6013     14.64%
3283.20/3294.02	c      3294         122396       34918         1         191.0000         166.6017     14.64%
3288.29/3299.14	c      3299         122541       34997         1         191.0000         166.6019     14.64%
3293.37/3304.26	c      3304         122685       35069         1         191.0000         166.6022     14.64%
3298.45/3309.35	c      3309         122858       35142         1         191.0000         166.6028     14.64%
3304.25/3315.15	c      3315         123149       35185         1         191.0000         166.6031     14.64%
3309.24/3320.17	c      3320         123305       35267         1         191.0000         166.6035     14.64%
3314.41/3325.38	c      3325         123529       35327         1         191.0000         166.6040     14.64%
3319.99/3330.91	c      3331         123731       35399         1         191.0000         166.6057     14.64%
3324.99/3335.95	c      3336         123861       35451         1         191.0000         166.6066     14.64%
3330.77/3341.79	c      3342         124071       35531         1         191.0000         166.6074     14.64%
3336.07/3347.02	c      3347         124271       35593         1         191.0000         166.6083     14.64%
3341.06/3352.03	c      3352         124531       35649         1         191.0000         166.6087     14.64%
3346.23/3357.21	c      3357         124801       35717         1         191.0000         166.6092     14.64%
3352.21/3363.21	c      3363         124979       35785         1         191.0000         166.6102     14.64%
3357.51/3368.58	c      3369         125171       35851         1         191.0000         166.6109     14.64%
3363.39/3374.45	c      3374         125366       35938         1         191.0000         166.6123     14.64%
3368.87/3379.99	c      3380         125582       35994         1         191.0000         166.6134     14.64%
3374.26/3385.39	c      3385         125841       36049         1         191.0000         166.6150     14.64%
3380.54/3391.66	c      3392         125955       36117         1         191.0000         166.6160     14.63%
3385.93/3397.09	c      3397         126200       36180         1         191.0000         166.6169     14.63%
3391.21/3402.38	c      3402         126420       36244         1         191.0000         166.6178     14.63%
3396.50/3407.63	c      3408         126631       36315         1         191.0000         166.6191     14.63%
3402.18/3413.37	c      3413         126785       36403         1         191.0000         166.6202     14.63%
3407.27/3418.41	c      3418         126932       36456         1         191.0000         166.6205     14.63%
3412.45/3423.67	c      3424         127095       36519         1         191.0000         166.6207     14.63%
3418.24/3429.42	c      3429         127311       36589         1         191.0000         166.6212     14.63%
3424.12/3435.39	c      3435         127551       36675         1         191.0000         166.6219     14.63%
3429.61/3440.89	c      3441         127807       36751         1         191.0000         166.6226     14.63%
3434.91/3446.14	c      3446         128176       36814         1         191.0000         166.6228     14.63%
3440.48/3451.75	c      3452         128361       36887         1         191.0000         166.6235     14.63%
3446.26/3457.57	c      3458         128635       36949         1         191.0000         166.6242     14.63%
3451.85/3463.16	c      3463         128896       37026         1         191.0000         166.6249     14.63%
3457.23/3468.55	c      3469         129071       37101         1         191.0000         166.6259     14.63%
3462.41/3473.72	c      3474         129391       37155         1         191.0000         166.6267     14.63%
3468.30/3479.64	c      3480         129541       37223         1         191.0000         166.6283     14.63%
3473.58/3484.96	c      3485         129731       37303         1         191.0000         166.6294     14.63%
3479.07/3490.49	c      3490         129941       37379         1         191.0000         166.6299     14.63%
3484.25/3495.68	c      3496         130301       37423         1         191.0000         166.6306     14.62%
3489.93/3501.32	c      3501         130571       37505         1         191.0000         166.6311     14.62%
3495.21/3506.63	c      3507         130782       37568         1         191.0000         166.6315     14.62%
3500.98/3512.48	c      3512         131055       37641         1         191.0000         166.6317     14.62%
3506.86/3518.32	c      3518         131332       37718         1         191.0000         166.6325     14.62%
3512.73/3524.29	c      3524         131551       37781         1         191.0000         166.6336     14.62%
3517.81/3529.36	c      3529         131805       37839         1         191.0000         166.6341     14.62%
3522.99/3534.58	c      3535         132061       37891         1         191.0000         166.6347     14.62%
3528.67/3540.20	c      3540         132317       37969         1         191.0000         166.6349     14.62%
3533.75/3545.37	c      3545         132521       38047         1         191.0000         166.6355     14.62%
3539.14/3550.75	c      3551         132751       38117         1         191.0000         166.6359     14.62%
3544.81/3556.46	c      3556         133001       38201         1         191.0000         166.6361     14.62%
3550.78/3562.41	c      3562         133245       38263         1         191.0000         166.6368     14.62%
3555.87/3567.54	c      3568         133413       38321         1         191.0000         166.6372     14.62%
3561.05/3572.74	c      3573         133641       38383         1         191.0000         166.6383     14.62%
3566.63/3578.32	c      3578         133887       38467         1         191.0000         166.6393     14.62%
3571.91/3583.65	c      3584         134251       38529         1         191.0000         166.6395     14.62%
3576.89/3588.69	c      3589         134441       38579         1         191.0000         166.6398     14.62%
3582.17/3594.01	c      3594         134721       38615         1         191.0000         166.6404     14.62%
3586.46/3598.24	c SCIP Status        : c solving was interrupted [hard time limit reached]
3586.46/3598.24	c Total Time         : 3598.23
3586.46/3598.24	c   solving          : 3598.23
3586.46/3598.24	c   presolving       : 0.06 (included in solving)
3586.46/3598.24	c B&B Tree           :
3586.46/3598.24	c   nodes (total)    : 1
3586.46/3598.24	c Solution           :
3586.46/3598.24	c   Solutions found  : 11
3586.46/3598.24	c   Primal Bound     : +1.91000000000000e+02
3586.46/3598.24	c   Dual Bound       : +1.66640540661112e+02
3586.46/3598.24	c Gap                : 14.61797 %
3586.46/3598.24	c * Warning: final gap: 1.46180e-01 is greater than SCIPepsilon: 1.00000e-09
3586.46/3598.24	o 191
3586.46/3598.24	s SATISFIABLE
3586.46/3598.24	v x476 x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 x467 -x466 x465 x464 -x463 x462 x461 -x460 x459 -x458 -x457 -x456 -x455 x454 
3586.46/3598.24	v x453 x452 x451 x450 x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 x441 x440 -x439 x438 x437 x436 -x435 -x434 -x433 -x432 x431 
3586.46/3598.24	v x430 -x429 -x428 x427 x426 x425 -x424 x423 -x422 x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 x413 -x412 x411 -x410 -x409 
3586.46/3598.24	v x408 x407 -x406 -x405 x404 -x403 -x402 x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 -x391 -x390 x389 -x388 x387 
3586.46/3598.24	v x386 x385 x384 x383 x382 -x381 -x380 x379 x378 x377 x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 -x368 x367 x366 -x365 -x364 
3586.46/3598.24	v -x363 -x362 x361 x360 -x359 x358 x357 x356 -x355 x354 -x353 x352 -x351 -x350 x349 -x348 -x347 -x346 -x345 x344 x343 x342 -x341 
3586.46/3598.24	v -x340 x339 -x338 -x337 x336 -x335 -x334 -x333 x332 x331 -x330 -x329 -x328 x327 -x326 -x325 -x324 -x323 x322 x321 -x320 x319 
3586.46/3598.24	v -x318 -x317 -x316 -x315 x314 -x313 -x312 x311 -x310 -x309 x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 
3586.46/3598.24	v -x296 -x295 -x294 x293 -x292 -x291 -x290 -x289 -x288 x287 -x286 -x285 -x284 x283 -x282 -x281 x280 -x279 x278 x277 -x276 
3586.46/3598.24	v -x275 x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 -x258 -x257 x256 x255 -x254 
3586.46/3598.24	v x253 -x252 -x251 x250 x249 -x248 -x247 -x246 x245 x244 -x243 -x242 -x241 x240 x239 -x238 -x237 x236 -x235 x234 x233 -x232 -x231 
3586.46/3598.24	v x230 -x229 x228 x227 -x226 -x225 -x224 x223 -x222 x221 -x220 x219 -x218 -x217 x216 -x215 -x214 x213 x212 x211 -x210 -x209 
3586.46/3598.24	v -x208 x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 x199 x198 x197 x196 x195 x194 -x193 -x192 x191 x190 -x189 x188 x187 -x186 
3586.46/3598.24	v -x185 x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 
3586.46/3598.24	v x163 -x162 x161 x160 -x159 x158 -x157 x156 x155 -x154 x153 x152 x151 -x150 x149 -x148 x147 -x146 -x145 -x144 x143 x142 -x141 
3586.46/3598.24	v -x140 -x139 -x138 x137 x136 x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 x127 x126 -x125 -x124 x123 x122 -x121 x120 -x119 
3586.46/3598.24	v -x118 -x117 -x116 x115 x114 -x113 -x112 -x111 x110 x109 -x108 x107 x106 -x105 x104 -x103 -x102 -x101 x100 x99 -x98 x97 x96 
3586.46/3598.24	v -x95 x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 x80 x79 -x78 -x77 -x76 x75 x74 -x73 x72 -x71 x70 -x69 
3586.46/3598.24	v -x68 -x67 -x66 -x65 x64 -x63 x62 -x61 x60 x59 x58 -x57 -x56 x55 -x54 -x53 x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 
3586.46/3598.24	v -x41 -x40 x39 x38 -x37 -x36 x35 x34 x33 -x32 -x31 x30 -x29 x28 -x27 x26 x25 x24 -x23 -x22 x21 -x20 x19 x18 -x17 -x16 x15 
3586.46/3598.24	v -x14 x13 -x12 -x11 -x10 -x9 x8 x7 x6 -x5 -x4 x3 -x2 x1 

Verifier Data

OK	191

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: 64096 MiB (63598 MiB free)
  memory of node 1: 64473 MiB (62462 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=28243, runsolver pid=28240

[startup+0.100096 s]*
/proc/loadavg: 0.43 0.16 0.11 5/250 28260
/proc/meminfo: memFree=129056128/131655788 swapFree=131071728/131071996
[pid=28243] ppid=28240 vsize=112580 memory=24632 CPUtime=0.1 cores=1,3
/proc/28243/stat : 28243 (fscip) S 28240 28243 27997 0 -1 1077936128 3661 0 0 0 9 1 0 0 20 0 3 0 4229988 115281920 6158 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
/proc/28243/statm: 28145 6158 2806 3035 0 9600 0
[pid=28243/tid=28257] ppid=28240 vsize=112580 memory=4026531959 CPUtime=0.02 cores=1,3
/proc/28243/task/28257/stat : 28257 (fscip) R 28240 28243 27997 0 -1 4194368 1182 0 0 0 2 0 0 0 20 0 3 0 4229996 115281920 6158 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
[pid=28243/tid=28259] ppid=28240 vsize=112580 memory=219966342441 CPUtime=0 cores=1,3
/proc/28243/task/28259/stat : 28259 (fscip) S 28240 28243 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4229997 115281920 6158 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112580 KiB
Current children cumulated memory: 24632 KiB

[startup+0.214525 s]*
/proc/loadavg: 0.43 0.16 0.11 5/250 28262
/proc/meminfo: memFree=129040784/131655788 swapFree=131071728/131071996
[pid=28243] ppid=28240 vsize=112580 memory=28792 CPUtime=0.21 cores=1,3
/proc/28243/stat : 28243 (fscip) S 28240 28243 27997 0 -1 1077936128 4587 0 0 0 20 1 0 0 20 0 3 0 4229988 115281920 7198 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
/proc/28243/statm: 28145 7198 2934 3035 0 10529 0
[pid=28243/tid=28257] ppid=28240 vsize=112580 memory=7945036259700375671 CPUtime=0.13 cores=1,3
/proc/28243/task/28257/stat : 28257 (fscip) R 28240 28243 27997 0 -1 4194368 2108 0 0 0 13 0 0 0 20 0 3 0 4229996 115281920 7198 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
[pid=28243/tid=28259] ppid=28240 vsize=112580 memory=1617 CPUtime=0 cores=1,3
/proc/28243/task/28259/stat : 28259 (fscip) S 28240 28243 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4229997 115281920 7198 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 112580 KiB
Current children cumulated memory: 28792 KiB

[startup+0.31379 s]*
/proc/loadavg: 0.43 0.16 0.11 5/250 28263
/proc/meminfo: memFree=129010960/131655788 swapFree=131071728/131071996
[pid=28243] ppid=28240 vsize=112580 memory=29056 CPUtime=0.31 cores=1,3
/proc/28243/stat : 28243 (fscip) S 28240 28243 27997 0 -1 1077936128 4594 0 0 0 30 1 0 0 20 0 3 0 4229988 115281920 7264 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
/proc/28243/statm: 28145 7264 2934 3035 0 10534 0
[pid=28243/tid=28257] ppid=28240 vsize=112580 memory=-8990767739041718176 CPUtime=0.23 cores=1,3
/proc/28243/task/28257/stat : 28257 (fscip) R 28240 28243 27997 0 -1 4194368 2115 0 0 0 23 0 0 0 20 0 3 0 4229996 115281920 7264 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
[pid=28243/tid=28259] ppid=28240 vsize=112580 memory=-5155633492094381189 CPUtime=0 cores=1,3
/proc/28243/task/28259/stat : 28259 (fscip) S 28240 28243 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4229997 115281920 7264 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 112580 KiB
Current children cumulated memory: 29056 KiB

[startup+0.70038 s]
/proc/loadavg: 0.43 0.16 0.11 5/251 28268
/proc/meminfo: memFree=129010492/131655788 swapFree=131071728/131071996
[pid=28243] ppid=28240 vsize=112580 memory=29056 CPUtime=0.68 cores=1,3
/proc/28243/stat : 28243 (fscip) S 28240 28243 27997 0 -1 1077936128 4645 0 0 0 67 1 0 0 20 0 3 0 4229988 115281920 7264 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
/proc/28243/statm: 28145 7264 2934 3035 0 10594 0
[pid=28243/tid=28257] ppid=28240 vsize=112580 memory=0 CPUtime=0.6 cores=1,3
/proc/28243/task/28257/stat : 28257 (fscip) R 28240 28243 27997 0 -1 4194368 2166 0 0 0 60 0 0 0 20 0 3 0 4229996 115281920 7264 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
[pid=28243/tid=28259] ppid=28240 vsize=112580 memory=0 CPUtime=0 cores=1,3
/proc/28243/task/28259/stat : 28259 (fscip) S 28240 28243 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4229997 115281920 7264 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 112580 KiB
Current children cumulated memory: 29056 KiB

[startup+1.50042 s]
/proc/loadavg: 0.43 0.16 0.11 5/256 28273
/proc/meminfo: memFree=128943036/131655788 swapFree=131071728/131071996
[pid=28243] ppid=28240 vsize=117840 memory=44832 CPUtime=1.48 cores=1,3
/proc/28243/stat : 28243 (fscip) S 28240 28243 27997 0 -1 1077936128 10123 0 0 0 146 2 0 0 20 0 3 0 4229988 120668160 11208 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
/proc/28243/statm: 29460 11208 2950 3035 0 14568 0
[pid=28243/tid=28257] ppid=28240 vsize=117840 memory=0 CPUtime=1.4 cores=1,3
/proc/28243/task/28257/stat : 28257 (fscip) R 28240 28243 27997 0 -1 4194368 7647 0 0 0 139 1 0 0 20 0 3 0 4229996 120668160 11208 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
[pid=28243/tid=28259] ppid=28240 vsize=117840 memory=0 CPUtime=0 cores=1,3
/proc/28243/task/28259/stat : 28259 (fscip) S 28240 28243 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4229997 120668160 11208 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 117840 KiB
Current children cumulated memory: 44832 KiB

[startup+3.11429 s]
/proc/loadavg: 0.43 0.16 0.11 5/256 28275
/proc/meminfo: memFree=128018548/131655788 swapFree=131071728/131071996
[pid=28243] ppid=28240 vsize=204480 memory=156320 CPUtime=3.08 cores=1,3
/proc/28243/stat : 28243 (fscip) S 28240 28243 27997 0 -1 1077936128 39337 0 0 0 302 6 0 0 20 0 3 0 4229988 209387520 39080 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
/proc/28243/statm: 51120 39080 2950 3035 0 43146 0
[pid=28243/tid=28257] ppid=28240 vsize=204480 memory=-5155635695412604037 CPUtime=3 cores=1,3
/proc/28243/task/28257/stat : 28257 (fscip) R 28240 28243 27997 0 -1 4194368 36856 0 0 0 295 5 0 0 20 0 3 0 4229996 209387520 39080 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
[pid=28243/tid=28259] ppid=28240 vsize=204480 memory=0 CPUtime=0 cores=1,3
/proc/28243/task/28259/stat : 28259 (fscip) S 28240 28243 27997 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4229997 209387520 39080 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 204480 KiB
Current children cumulated memory: 156320 KiB

[startup+6.30037 s]
/proc/loadavg: 0.72 0.22 0.13 5/256 28275
/proc/meminfo: memFree=127769000/131655788 swapFree=131071728/131071996
[pid=28243] ppid=28240 vsize=204480 memory=160644 CPUtime=6.27 cores=1,3
/proc/28243/stat : 28243 (fscip) S 28240 28243 27997 0 -1 1077936128 42366 0 0 0 620 7 0 0 20 0 3 0 4229988 209387520 40161 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
/proc/28243/statm: 51120 40161 2950 3035 0 44491 0
[pid=28243/tid=28257] ppid=28240 vsize=204480 memory=0 CPUtime=6.18 cores=1,3
/proc/28243/task/28257/stat : 28257 (fscip) R 28240 28243 27997 0 -1 4194368 39879 0 0 0 612 6 0 0 20 0 3 0 4229996 209387520 40161 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
[pid=28243/tid=28259] ppid=28240 vsize=204480 memory=16216 CPUtime=0 cores=1,3
/proc/28243/task/28259/stat : 28259 (fscip) S 28240 28243 27997 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4229997 209387520 40161 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 204480 KiB
Current children cumulated memory: 160644 KiB

[startup+12.7004 s]
/proc/loadavg: 0.98 0.28 0.15 5/256 28276
/proc/meminfo: memFree=127382736/131655788 swapFree=131071728/131071996
[pid=28243] ppid=28240 vsize=204480 memory=160840 CPUtime=12.64 cores=1,3
/proc/28243/stat : 28243 (fscip) S 28240 28243 27997 0 -1 1077936128 47026 0 0 0 1257 7 0 0 20 0 3 0 4229988 209387520 40210 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
/proc/28243/statm: 51120 40210 2998 3035 0 44491 0
[pid=28243/tid=28257] ppid=28240 vsize=204480 memory=29320 CPUtime=12.56 cores=1,3
/proc/28243/task/28257/stat : 28257 (fscip) R 28240 28243 27997 0 -1 4194368 44472 0 0 0 1250 6 0 0 20 0 3 0 4229996 209387520 40210 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
[pid=28243/tid=28259] ppid=28240 vsize=204480 memory=0 CPUtime=0 cores=1,3
/proc/28243/task/28259/stat : 28259 (fscip) S 28240 28243 27997 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 4229997 209387520 40210 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 204480 KiB
Current children cumulated memory: 160840 KiB

[startup+25.5004 s]
/proc/loadavg: 1.65 0.47 0.22 5/256 28278
/proc/meminfo: memFree=125677960/131655788 swapFree=131071728/131071996
[pid=28243] ppid=28240 vsize=267416 memory=189988 CPUtime=25.41 cores=1,3
/proc/28243/stat : 28243 (fscip) S 28240 28243 27997 0 -1 1077936128 105130 0 0 0 2530 11 0 0 20 0 3 0 4229988 273833984 47497 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
/proc/28243/statm: 66854 47497 2998 3035 0 52036 0
[pid=28243/tid=28257] ppid=28240 vsize=267416 memory=192416 CPUtime=25.32 cores=1,3
/proc/28243/task/28257/stat : 28257 (fscip) R 28240 28243 27997 0 -1 4194368 102196 0 0 0 2522 10 0 0 20 0 3 0 4229996 273833984 47497 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
[pid=28243/tid=28259] ppid=28240 vsize=267416 memory=3534 CPUtime=0 cores=1,3
/proc/28243/task/28259/stat : 28259 (fscip) S 28240 28243 27997 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4229997 273833984 47497 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 267416 KiB
Current children cumulated memory: 189988 KiB

[startup+51.1134 s]
/proc/loadavg: 2.45 0.75 0.32 5/260 28343
/proc/meminfo: memFree=122683384/131655788 swapFree=131071728/131071996
[pid=28243] ppid=28240 vsize=266392 memory=192520 CPUtime=50.95 cores=1,3
/proc/28243/stat : 28243 (fscip) S 28240 28243 27997 0 -1 1077936128 145993 0 0 0 5080 15 0 0 20 0 3 0 4229988 272785408 48130 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
/proc/28243/statm: 66598 48130 2998 3035 0 52735 0
[pid=28243/tid=28257] ppid=28240 vsize=266392 memory=192516 CPUtime=50.85 cores=1,3
/proc/28243/task/28257/stat : 28257 (fscip) R 28240 28243 27997 0 -1 4194368 142809 0 0 0 5072 13 0 0 20 0 3 0 4229996 272785408 48130 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
[pid=28243/tid=28259] ppid=28240 vsize=266392 memory=192480 CPUtime=0 cores=1,3
/proc/28243/task/28259/stat : 28259 (fscip) S 28240 28243 27997 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 4229997 272785408 48130 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 266392 KiB
Current children cumulated memory: 192520 KiB

[startup+102.3 s]
/proc/loadavg: 3.38 1.27 0.52 5/260 28354
/proc/meminfo: memFree=122218940/131655788 swapFree=131071728/131071996
[pid=28243] ppid=28240 vsize=264812 memory=224020 CPUtime=101.98 cores=1,3
/proc/28243/stat : 28243 (fscip) S 28240 28243 27997 0 -1 1077936128 224018 0 0 0 10177 21 0 0 20 0 3 0 4229988 271167488 56005 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
/proc/28243/statm: 66203 56005 2998 3035 0 60423 0
[pid=28243/tid=28257] ppid=28240 vsize=264812 memory=221956 CPUtime=101.88 cores=1,3
/proc/28243/task/28257/stat : 28257 (fscip) R 28240 28243 27997 0 -1 4194368 220741 0 0 0 10169 19 0 0 20 0 3 0 4229996 271167488 56005 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
[pid=28243/tid=28259] ppid=28240 vsize=264812 memory=0 CPUtime=0 cores=1,3
/proc/28243/task/28259/stat : 28259 (fscip) S 28240 28243 27997 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 4229997 271167488 56005 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 264812 KiB
Current children cumulated memory: 224020 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 1.82 0.76 5/260 28366
/proc/meminfo: memFree=121949628/131655788 swapFree=131071728/131071996
[pid=28243] ppid=28240 vsize=395884 memory=331136 CPUtime=161.79 cores=1,3
/proc/28243/stat : 28243 (fscip) S 28240 28243 27997 0 -1 1077936128 300970 0 0 0 16148 31 0 0 20 0 3 0 4229988 405385216 82784 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
/proc/28243/statm: 98971 82784 2998 3035 0 87516 0
[pid=28243/tid=28257] ppid=28240 vsize=395884 memory=1840 CPUtime=161.69 cores=1,3
/proc/28243/task/28257/stat : 28257 (fscip) R 28240 28243 27997 0 -1 4194368 297492 0 0 0 16140 29 0 0 20 0 3 0 4229996 405385216 82784 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
[pid=28243/tid=28259] ppid=28240 vsize=395884 memory=331136 CPUtime=0 cores=1,3
/proc/28243/task/28259/stat : 28259 (fscip) S 28240 28243 27997 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 4229997 405385216 82784 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 395884 KiB

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

/proc/28243/statm: 118475 99869 2998 3035 0 102828 0
[pid=28243/tid=28257] ppid=28240 vsize=473900 memory=399432 CPUtime=3390.71 cores=1,3
/proc/28243/task/28257/stat : 28257 (fscip) R 28240 28243 27997 0 -1 4194368 618476 0 0 0 338955 116 0 0 20 0 3 0 4229996 485273600 99869 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
[pid=28243/tid=28259] ppid=28240 vsize=473900 memory=399432 CPUtime=0.04 cores=1,3
/proc/28243/task/28259/stat : 28259 (fscip) S 28240 28243 27997 0 -1 1077936192 157 0 0 0 1 3 0 0 20 0 3 0 4229997 485273600 99869 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
Current children cumulated CPU time: 3391.21 s
Current children cumulated vsize: 473900 KiB
Current children cumulated memory: 399476 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/253 29934
/proc/meminfo: memFree=120774956/131655788 swapFree=131071728/131071996
[pid=28243] ppid=28240 vsize=473900 memory=402200 CPUtime=3451.04 cores=1,3
/proc/28243/stat : 28243 (fscip) S 28240 28243 27997 0 -1 1077936128 630555 0 0 0 344969 135 0 0 20 0 3 0 4229988 485273600 100550 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
/proc/28243/statm: 118475 100550 2998 3035 0 103289 0
[pid=28243/tid=28257] ppid=28240 vsize=473900 memory=399432 CPUtime=3450.54 cores=1,3
/proc/28243/task/28257/stat : 28257 (fscip) R 28240 28243 27997 0 -1 4194368 626532 0 0 0 344936 118 0 0 20 0 3 0 4229996 485273600 100550 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
[pid=28243/tid=28259] ppid=28240 vsize=473900 memory=399516 CPUtime=0.04 cores=1,3
/proc/28243/task/28259/stat : 28259 (fscip) S 28240 28243 27997 0 -1 1077936192 159 0 0 0 1 3 0 0 20 0 3 0 4229997 485273600 100550 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
Current children cumulated CPU time: 3451.04 s
Current children cumulated vsize: 473900 KiB
Current children cumulated memory: 402200 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/254 30114
/proc/meminfo: memFree=120771312/131655788 swapFree=131071728/131071996
[pid=28243] ppid=28240 vsize=473900 memory=402224 CPUtime=3510.84 cores=1,3
/proc/28243/stat : 28243 (fscip) S 28240 28243 27997 0 -1 1077936128 637305 0 0 0 350947 137 0 0 20 0 3 0 4229988 485273600 100556 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
/proc/28243/statm: 118475 100556 2998 3035 0 103289 0
[pid=28243/tid=28257] ppid=28240 vsize=473900 memory=11536 CPUtime=3510.33 cores=1,3
/proc/28243/task/28257/stat : 28257 (fscip) R 28240 28243 27997 0 -1 4194368 633273 0 0 0 350914 119 0 0 20 0 3 0 4229996 485273600 100556 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
[pid=28243/tid=28259] ppid=28240 vsize=473900 memory=402200 CPUtime=0.05 cores=1,3
/proc/28243/task/28259/stat : 28259 (fscip) S 28240 28243 27997 0 -1 1077936192 161 0 0 0 1 4 0 0 20 0 3 0 4229997 485273600 100556 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
Current children cumulated CPU time: 3510.84 s
Current children cumulated vsize: 473900 KiB
Current children cumulated memory: 402224 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/254 30125
/proc/meminfo: memFree=120768764/131655788 swapFree=131071728/131071996
[pid=28243] ppid=28240 vsize=473900 memory=403852 CPUtime=3570.62 cores=1,3
/proc/28243/stat : 28243 (fscip) S 28240 28243 27997 0 -1 1077936128 646779 0 0 0 356921 141 0 0 20 0 3 0 4229988 485273600 100963 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
/proc/28243/statm: 118475 100963 2998 3035 0 103689 0
[pid=28243/tid=28257] ppid=28240 vsize=473900 memory=11536 CPUtime=3570.09 cores=1,3
/proc/28243/task/28257/stat : 28257 (fscip) R 28240 28243 27997 0 -1 4194368 642738 0 0 0 356887 122 0 0 20 0 3 0 4229996 485273600 100963 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
[pid=28243/tid=28259] ppid=28240 vsize=473900 memory=1888 CPUtime=0.05 cores=1,3
/proc/28243/task/28259/stat : 28259 (fscip) S 28240 28243 27997 0 -1 1077936192 163 0 0 0 1 4 0 0 20 0 3 0 4229997 485273600 100963 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
Current children cumulated CPU time: 3570.62 s
Current children cumulated vsize: 473900 KiB
Current children cumulated memory: 403852 KiB

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

# cumulated CPU time of all completed processes:  user=3585.07 s, system=1.43385 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.13 4.09 5/254 30125
/proc/meminfo: memFree=120768792/131655788 swapFree=131071728/131071996
[pid=28243] ppid=28240 vsize=473900 memory=403852 CPUtime=3572.32 cores=1,3
/proc/28243/stat : 28243 (fscip) S 28240 28243 27997 0 -1 1077936128 646820 0 0 0 357091 141 0 0 20 0 3 0 4229988 485273600 100963 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
/proc/28243/statm: 118475 100963 2998 3035 0 103689 0
[pid=28243/tid=28257] ppid=28240 vsize=473900 memory=-7522256593712405882 CPUtime=3571.8 cores=1,3
/proc/28243/task/28257/stat : 28257 (fscip) R 28240 28243 27997 0 -1 4194368 642777 0 0 0 357058 122 0 0 20 0 3 0 4229996 485273600 100963 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
[pid=28243/tid=28259] ppid=28240 vsize=473900 memory=-4050210904893801877 CPUtime=0.05 cores=1,3
/proc/28243/task/28259/stat : 28259 (fscip) S 28240 28243 27997 0 -1 1077936192 165 0 0 0 1 4 0 0 20 0 3 0 4229997 485273600 100963 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
Current children cumulated CPU time: 3572.32 s
Current children cumulated vsize: 473900 KiB
Current children cumulated memory: 403852 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.13 4.09 5/254 30125
/proc/meminfo: memFree=120768748/131655788 swapFree=131071728/131071996
[pid=28243] ppid=28240 vsize=473900 memory=403852 CPUtime=3578.69 cores=1,3
/proc/28243/stat : 28243 (fscip) S 28240 28243 27997 0 -1 1077936128 648149 0 0 0 357728 141 0 0 20 0 3 0 4229988 485273600 100963 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
/proc/28243/statm: 118475 100963 2998 3035 0 103689 0
[pid=28243/tid=28257] ppid=28240 vsize=473900 memory=11536 CPUtime=3578.16 cores=1,3
/proc/28243/task/28257/stat : 28257 (fscip) R 28240 28243 27997 0 -1 4194368 644106 0 0 0 357694 122 0 0 20 0 3 0 4229996 485273600 100963 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
[pid=28243/tid=28259] ppid=28240 vsize=473900 memory=-7522256593712408188 CPUtime=0.05 cores=1,3
/proc/28243/task/28259/stat : 28259 (fscip) S 28240 28243 27997 0 -1 1077936192 165 0 0 0 1 4 0 0 20 0 3 0 4229997 485273600 100963 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
Current children cumulated CPU time: 3578.69 s
Current children cumulated vsize: 473900 KiB
Current children cumulated memory: 403852 KiB

[startup+3593.6 s]
/proc/loadavg: 4.09 4.13 4.09 5/254 30126
/proc/meminfo: memFree=120767264/131655788 swapFree=131071728/131071996
[pid=28243] ppid=28240 vsize=473900 memory=403852 CPUtime=3581.87 cores=1,3
/proc/28243/stat : 28243 (fscip) S 28240 28243 27997 0 -1 1077936128 648302 0 0 0 358046 141 0 0 20 0 3 0 4229988 485273600 100963 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
/proc/28243/statm: 118475 100963 2998 3035 0 103689 0
[pid=28243/tid=28257] ppid=28240 vsize=473900 memory=403852 CPUtime=3581.35 cores=1,3
/proc/28243/task/28257/stat : 28257 (fscip) R 28240 28243 27997 0 -1 4194368 644259 0 0 0 358013 122 0 0 20 0 3 0 4229996 485273600 100963 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
[pid=28243/tid=28259] ppid=28240 vsize=473900 memory=403852 CPUtime=0.05 cores=1,3
/proc/28243/task/28259/stat : 28259 (fscip) S 28240 28243 27997 0 -1 1077936192 165 0 0 0 1 4 0 0 20 0 3 0 4229997 485273600 100963 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
Current children cumulated CPU time: 3581.87 s
Current children cumulated vsize: 473900 KiB
Current children cumulated memory: 403852 KiB

[startup+3596.8 s]
/proc/loadavg: 4.16 4.14 4.09 5/254 30126
/proc/meminfo: memFree=120767264/131655788 swapFree=131071728/131071996
[pid=28243] ppid=28240 vsize=473900 memory=403852 CPUtime=3585.06 cores=1,3
/proc/28243/stat : 28243 (fscip) S 28240 28243 27997 0 -1 1077936128 648680 0 0 0 358365 141 0 0 20 0 3 0 4229988 485273600 100963 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
/proc/28243/statm: 118475 100963 2998 3035 0 103689 0
[pid=28243/tid=28257] ppid=28240 vsize=473900 memory=403852 CPUtime=3584.54 cores=1,3
/proc/28243/task/28257/stat : 28257 (fscip) R 28240 28243 27997 0 -1 4194368 644637 0 0 0 358331 123 0 0 20 0 3 0 4229996 485273600 100963 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
[pid=28243/tid=28259] ppid=28240 vsize=473900 memory=11536 CPUtime=0.05 cores=1,3
/proc/28243/task/28259/stat : 28259 (fscip) S 28240 28243 27997 0 -1 1077936192 165 0 0 0 1 4 0 0 20 0 3 0 4229997 485273600 100963 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
Current children cumulated CPU time: 3585.06 s
Current children cumulated vsize: 473900 KiB
Current children cumulated memory: 403852 KiB

[startup+3597.6 s]
/proc/loadavg: 4.16 4.14 4.09 5/254 30126
/proc/meminfo: memFree=120767272/131655788 swapFree=131071728/131071996
[pid=28243] ppid=28240 vsize=473900 memory=403852 CPUtime=3585.86 cores=1,3
/proc/28243/stat : 28243 (fscip) S 28240 28243 27997 0 -1 1077936128 648704 0 0 0 358445 141 0 0 20 0 3 0 4229988 485273600 100963 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
/proc/28243/statm: 118475 100963 2998 3035 0 103689 0
[pid=28243/tid=28257] ppid=28240 vsize=473900 memory=11536 CPUtime=3585.34 cores=1,3
/proc/28243/task/28257/stat : 28257 (fscip) R 28240 28243 27997 0 -1 4194368 644661 0 0 0 358411 123 0 0 20 0 3 0 4229996 485273600 100963 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
[pid=28243/tid=28259] ppid=28240 vsize=473900 memory=12856 CPUtime=0.05 cores=1,3
/proc/28243/task/28259/stat : 28259 (fscip) S 28240 28243 27997 0 -1 1077936192 165 0 0 0 1 4 0 0 20 0 3 0 4229997 485273600 100963 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
Current children cumulated CPU time: 3585.86 s
Current children cumulated vsize: 473900 KiB
Current children cumulated memory: 403852 KiB

[startup+3598 s]*
/proc/loadavg: 4.16 4.14 4.09 5/254 30126
/proc/meminfo: memFree=120767280/131655788 swapFree=131071728/131071996
[pid=28243] ppid=28240 vsize=473900 memory=403852 CPUtime=3586.27 cores=1,3
/proc/28243/stat : 28243 (fscip) S 28240 28243 27997 0 -1 1077936128 649045 0 0 0 358486 141 0 0 20 0 3 0 4229988 485273600 100963 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
/proc/28243/statm: 118475 100963 2998 3035 0 103689 0
[pid=28243/tid=28257] ppid=28240 vsize=473900 memory=-7522256593712405882 CPUtime=3585.75 cores=1,3
/proc/28243/task/28257/stat : 28257 (fscip) R 28240 28243 27997 0 -1 4194368 645002 0 0 0 358452 123 0 0 20 0 3 0 4229996 485273600 100963 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
[pid=28243/tid=28259] ppid=28240 vsize=473900 memory=-4050210904893801877 CPUtime=0.05 cores=1,3
/proc/28243/task/28259/stat : 28259 (fscip) S 28240 28243 27997 0 -1 1077936192 165 0 0 0 1 4 0 0 20 0 3 0 4229997 485273600 100963 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
Current children cumulated CPU time: 3586.27 s
Current children cumulated vsize: 473900 KiB
Current children cumulated memory: 403852 KiB

[startup+3598.2 s]
/proc/loadavg: 4.16 4.14 4.09 5/254 30126
/proc/meminfo: memFree=120767280/131655788 swapFree=131071728/131071996
[pid=28243] ppid=28240 vsize=471844 memory=401796 CPUtime=3586.46 cores=1,3
/proc/28243/stat : 28243 (fscip) S 28240 28243 27997 0 -1 1077936128 653827 0 0 0 358504 142 0 0 20 0 3 0 4229988 483168256 100449 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
/proc/28243/statm: 117961 100449 2998 3035 0 103175 0
[pid=28243/tid=28257] ppid=28240 vsize=471844 memory=2656 CPUtime=3585.93 cores=1,3
/proc/28243/task/28257/stat : 28257 (fscip) R 28240 28243 27997 0 -1 4194368 649795 0 0 0 358470 123 0 0 20 0 3 0 4229996 483168256 100449 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
[pid=28243/tid=28259] ppid=28240 vsize=471844 memory=4908 CPUtime=0.05 cores=1,3
/proc/28243/task/28259/stat : 28259 (fscip) S 28240 28243 27997 0 -1 1077936192 165 0 0 0 1 4 0 0 20 0 3 0 4229997 483168256 100449 134679101440 4194304 16623229 140729171093632 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37556224 140729171096598 140729171096714 140729171096714 140729171103728 0
Current children cumulated CPU time: 3586.46 s
Current children cumulated vsize: 471844 KiB
Current children cumulated memory: 401796 KiB

Child status: 0

Real time (s): 3598.24
CPU time (s): 3586.51
CPU user time (s): 3585.07
CPU system time (s): 1.43385
CPU usage (%): 99.6738
Max. virtual memory (cumulated for all children) (KiB): 473900
Max. memory (cumulated for all children) (KiB): 403852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.07
system time used= 1.43385
maximum resident set size= 403852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 655214
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= 12567
involuntary context switches= 1970


# summary of solver processes directly reported to runsolver:
#   pid: 28243
#   total CPU time (s): 3586.51
#   total CPU user time (s): 3585.07
#   total CPU system time (s): 1.43385

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4743 second user time and 34.337 second system time

The end

Launcher Data

Begin job on nodeC011 at 2024-07-31 00:29:56
IDJOB=4463977
IDBENCH=147547
IDSOLVER=3092
FILE ID=nodeC011/4463977-1722378596
RUNJOBID= nodeC011-1722378594-28009
SLURM_JOB_ID= 8249841
Free space on /tmp= 723784 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463977-1722378596/watcher-4463977-1722378596 -o /tmp/evaluation-result-4463977-1722378596/solver-4463977-1722378596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722378594-28009 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4463977-1722378596.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 15e811bd466a2fe28afb8f0d217d004b
RANDOM SEED=1453536771

nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.143
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.135
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.137
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.142
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.138
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.184
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.141
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.135
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129096956 kB
MemAvailable:   130033248 kB
Buffers:           83100 kB
Cached:          1698136 kB
SwapCached:           12 kB
Active:           249984 kB
Inactive:        1880740 kB
Active(anon):       1868 kB
Inactive(anon):   376792 kB
Active(file):     248116 kB
Inactive(file):  1503948 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:             91688 kB
Writeback:             0 kB
AnonPages:        347240 kB
Mapped:            92004 kB
Shmem:             29468 kB
KReclaimable:      48856 kB
Slab:             124632 kB
SReclaimable:      48856 kB
SUnreclaim:        75776 kB
KernelStack:        3728 kB
PageTables:         8872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     782516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6752 kB
HardwareCorrupted:     0 kB
AnonHugePages:    221184 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:      156488 kB
DirectMap2M:     9185280 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 723656 MiB
End job on nodeC011 at 2024-07-31 01:29:55