Trace number 4463979

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-30SAT186 3588.69 3598.23

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
MD5SUM8940813d27fb075f4739eb458e093f9a
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 benchmark176
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables467
Total number of constraints466
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 constraints466
Minimum length of a constraint3
Maximum length of a constraint15
Number of terms in the objective function 467
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 467
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 467
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() = 2291013, SCIPgetMemTotal() = 2870589, SCIPgetMemExternEstim() = 1048576
0.00/0.01	c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.06	c ** Estimated virtualMemUsedAtSolver = 17907712, getVmSize() = 29298688, SCIPgetMemUsed() = 3237756, SCIPgetMemTotal() = 6406084, SCIPgetMemExternEstim() = 1048576
0.00/0.06	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.06	c Original Problem   :
0.00/0.06	c   Problem name     : instance-4463979-1722378596
0.00/0.06	c   Variables        : 467 (467 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06	c   Constraints      : 466
0.00/0.06	c   Objective sense  : minimize
0.00/0.06	c Presolved Problem  :
0.00/0.06	c   Variables        : 467 (467 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06	c   Constraints      : 519
0.00/0.06	c Constraints        : Number
0.00/0.06	c   knapsack         : 424 
0.00/0.06	c   setppc           : 78 
0.00/0.06	c   logicor          : 17 
0.00/0.06	c ** Instance transfer method used: 0
0.00/0.07	c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.08	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.08	c                                Nodes    Active                                            
0.00/0.08	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.10/0.14	c *       0              0           1         1         223.0000                -          -
0.10/0.14	c *       0              0           1         1         209.0000                -          -
5.37/5.46	c         5              2           1         1         209.0000         156.6630     33.41%
11.07/11.13	c        11              7           6         1         209.0000         156.7681     33.32%
16.05/16.18	c        16             13          12         1         209.0000         156.7681     33.32%
17.84/18.01	c *      18             14          13         1         207.0000         156.7681     32.04%
17.84/18.01	c *      18             14          13         1         204.0000         156.7681     30.13%
17.84/18.01	c *      18             14          13         1         200.0000         156.7681     27.58%
17.84/18.01	c *      18             14          13         1         198.0000         156.7681     26.30%
17.84/18.01	c *      18             14          13         1         197.0000         156.7681     25.66%
17.84/18.01	c *      18             14          13         1         196.0000         156.7681     25.03%
17.95/18.01	c *      18             14          13         1         195.0000         156.7681     24.39%
21.23/21.37	c        21             74          73         1         195.0000         156.8237     24.34%
26.93/27.07	c        27            135         134         1         195.0000         156.8273     24.34%
33.02/33.17	c        33            236         235         1         195.0000         156.8273     24.34%
36.69/36.82	c *      37            265         264         1         194.0000         156.8273     23.70%
38.79/38.94	c        39            300         299         1         194.0000         156.8273     23.70%
39.90/40.02	c *      40            300         299         1         193.0000         156.8273     23.07%
39.90/40.02	c *      40            300         299         1         191.0000         156.8273     21.79%
39.90/40.05	c *      40            308         307         1         190.0000         156.8273     21.15%
44.67/44.82	c        45            364         363         1         190.0000         156.8273     21.15%
50.46/50.69	c        51            453         452         1         190.0000         156.8273     21.15%
56.45/56.60	c        57            527         526         1         190.0000         156.8273     21.15%
61.95/62.12	c        62            585         584         1         190.0000         156.8273     21.15%
67.32/67.50	c        68            668         667         1         190.0000         156.8273     21.15%
73.01/73.24	c        73            729         728         1         190.0000         156.8273     21.15%
79.00/79.27	c        79            798         797         1         190.0000         156.8273     21.15%
84.68/84.95	c        85            892         891         1         190.0000         156.8273     21.15%
90.16/90.44	c        90            986         985         1         190.0000         156.8273     21.15%
98.53/98.85	c        99           1051           1         1         190.0000         156.8484     21.14%
103.82/104.19	c       104           1062          12         1         190.0000         156.9397     21.07%
109.39/109.78	c       110           1121          71         1         190.0000         156.9759     21.04%
114.70/115.10	c       115           1185         135         1         190.0000         156.9963     21.02%
120.78/121.17	c       121           1241         191         1         190.0000         156.9963     21.02%
121.78/122.15	c *     122           1241         191         1         189.0000         156.9963     20.38%
127.15/127.51	c       128           1289         239         1         189.0000         156.9963     20.38%
132.74/133.17	c       133           1341         291         1         189.0000         156.9964     20.38%
138.11/138.59	c       139           1450         400         1         189.0000         156.9964     20.38%
143.49/143.91	c       144           1681         589         1         189.0000         157.1524     20.27%
149.37/149.87	c       150           1871         699         1         189.0000         157.2523     20.19%
155.25/155.79	c       156           2075         795         1         189.0000         157.3510     20.11%
160.55/161.10	c       161           2481         865         1         189.0000         157.3598     20.11%
167.81/168.33	c       168           2765         947         1         189.0000         157.4186     20.06%
173.20/173.74	c       174           3051        1041         1         189.0000         157.4633     20.03%
178.98/179.54	c       180           3271        1139         1         189.0000         157.4987     20.00%
184.95/185.54	c       186           3577        1219         1         189.0000         157.5088     19.99%
190.14/190.78	c       191           3824        1292         1         189.0000         157.5249     19.98%
195.43/196.09	c       196           3995        1347         1         189.0000         157.5353     19.97%
200.61/201.25	c       201           4355        1417         1         189.0000         157.5521     19.96%
205.90/206.57	c       207           4511        1475         1         189.0000         157.5741     19.94%
211.08/211.73	c       212           4781        1593         1         189.0000         157.6103     19.92%
216.56/217.28	c       217           5021        1671         1         189.0000         157.6338     19.90%
219.47/220.16	c *     220           5125        1713         1         187.0000         157.6397     18.62%
221.75/222.41	c       222           5281        1662         1         187.0000         157.6476     18.62%
227.23/227.93	c       228           5571        1728         1         187.0000         157.6677     18.60%
232.73/233.43	c       233           5851        1862         1         187.0000         157.6748     18.60%
238.11/238.83	c       239           6033        1938         1         187.0000         157.6909     18.59%
243.31/244.09	c       244           6241        1994         1         187.0000         157.7014     18.58%
248.98/249.79	c       250           6490        2077         1         187.0000         157.7094     18.57%
254.47/255.20	c       255           6821        2172         1         187.0000         157.7180     18.57%
259.45/260.24	c       260           6982        2249         1         187.0000         157.7302     18.56%
265.13/265.95	c       266           7241        2310         1         187.0000         157.7413     18.55%
270.72/271.55	c       272           7501        2414         1         187.0000         157.7604     18.53%
275.81/276.62	c       277           7771        2512         1         187.0000         157.7757     18.52%
281.10/281.91	c       282           8061        2582         1         187.0000         157.7813     18.52%
286.49/287.31	c       287           8283        2658         1         187.0000         157.8134     18.49%
291.97/292.88	c       293           8701        2786         1         187.0000         157.8212     18.49%
297.65/298.58	c       299           8985        2862         1         187.0000         157.8262     18.48%
303.35/304.23	c       304           9351        2980         1         187.0000         157.8366     18.48%
308.53/309.45	c       309           9751        3072         1         187.0000         157.8400     18.47%
314.01/314.98	c       315           9991        3174         1         187.0000         157.8515     18.47%
319.11/320.10	c       320          10221        3242         1         187.0000         157.8602     18.46%
324.58/325.52	c       326          10471        3306         1         187.0000         157.8742     18.45%
330.97/331.99	c       332          10695        3384         1         187.0000         157.8769     18.45%
336.75/337.76	c       338          10981        3490         1         187.0000         157.8862     18.44%
342.14/343.14	c       343          11314        3567         1         187.0000         157.8959     18.43%
347.22/348.20	c       348          11581        3660         1         187.0000         157.9057     18.43%
352.31/353.30	c       353          11871        3746         1         187.0000         157.9116     18.42%
358.19/359.23	c       359          12101        3844         1         187.0000         157.9190     18.42%
363.88/364.95	c       365          12461        3930         1         187.0000         157.9251     18.41%
369.08/370.15	c       370          12681        4012         1         187.0000         157.9301     18.41%
374.16/375.21	c       375          12871        4098         1         187.0000         157.9352     18.40%
379.64/380.70	c       381          13091        4182         1         187.0000         157.9413     18.40%
385.04/386.12	c       386          13471        4258         1         187.0000         157.9505     18.39%
390.21/391.30	c       391          13711        4342         1         187.0000         157.9689     18.38%
395.80/396.97	c       397          14101        4424         1         187.0000         157.9724     18.38%
401.19/402.38	c       402          14621        4538         1         187.0000         157.9774     18.37%
406.38/407.50	c       408          14936        4609         1         187.0000         157.9806     18.37%
412.26/413.48	c       413          15211        4696         1         187.0000         157.9838     18.37%
417.75/418.94	c       419          15563        4784         1         187.0000         157.9880     18.36%
422.93/424.19	c       424          15791        4854         1         187.0000         157.9946     18.36%
428.10/429.36	c       429          15981        4914         1         187.0000         158.0031     18.35%
433.99/435.26	c       435          16211        5004         1         187.0000         158.0080     18.35%
439.28/440.54	c       441          16432        5069         1         187.0000         158.0144     18.34%
444.66/445.95	c       446          16891        5152         1         187.0000         158.0207     18.34%
449.95/451.20	c       451          17091        5238         1         187.0000         158.0250     18.34%
455.75/457.03	c       457          17351        5330         1         187.0000         158.0320     18.33%
461.32/462.60	c       463          17591        5436         1         187.0000         158.0410     18.32%
466.51/467.82	c       468          17735        5506         1         187.0000         158.0487     18.32%
471.50/472.86	c       473          18121        5576         1         187.0000         158.0523     18.32%
476.99/478.30	c       478          18350        5663         1         187.0000         158.0549     18.31%
482.07/483.44	c       483          18741        5730         1         187.0000         158.0610     18.31%
487.26/488.64	c       489          19121        5812         1         187.0000         158.0677     18.30%
492.76/494.15	c       494          19340        5893         1         187.0000         158.0791     18.30%
498.53/500.01	c       500          19696        5973         1         187.0000         158.0833     18.29%
503.61/505.09	c       505          20001        6056         1         187.0000         158.0906     18.29%
509.60/511.09	c       511          20381        6140         1         187.0000         158.0971     18.28%
515.47/516.92	c       517          20647        6238         1         187.0000         158.1034     18.28%
521.76/523.25	c       523          21051        6354         1         187.0000         158.1078     18.27%
527.05/528.53	c       529          21346        6447         1         187.0000         158.1123     18.27%
533.64/535.20	c       535          21835        6522         1         187.0000         158.1208     18.26%
538.71/540.24	c       540          22131        6614         1         187.0000         158.1251     18.26%
543.90/545.47	c       545          22291        6702         1         187.0000         158.1277     18.26%
549.08/550.68	c       551          22601        6802         1         187.0000         158.1365     18.25%
554.59/556.14	c       556          22914        6885         1         187.0000         158.1398     18.25%
559.76/561.39	c       561          23181        6976         1         187.0000         158.1462     18.25%
565.15/566.79	c       567          23401        7084         1         187.0000         158.1505     18.24%
570.83/572.46	c       572          23711        7178         1         187.0000         158.1593     18.24%
576.02/577.64	c       578          24001        7250         1         187.0000         158.1615     18.23%
581.30/582.91	c       583          24161        7324         1         187.0000         158.1703     18.23%
586.28/588.01	c       588          24351        7380         1         187.0000         158.1725     18.23%
591.56/593.28	c       593          24521        7430         1         187.0000         158.1741     18.22%
597.37/599.02	c       599          24635        7478         1         187.0000         158.1746     18.22%
602.84/604.54	c       605          24911        7514         1         187.0000         158.1789     18.22%
609.52/611.28	c       611          25215        7610         1         187.0000         158.1805     18.22%
614.91/616.61	c       617          25395        7682         1         187.0000         158.1808     18.22%
620.69/622.41	c       622          25699        7780         1         187.0000         158.1848     18.22%
625.78/627.58	c       628          25803        7836         1         187.0000         158.1867     18.21%
631.06/632.89	c       633          25961        7886         1         187.0000         158.1923     18.21%
636.56/638.36	c       638          26096        7945         1         187.0000         158.1949     18.21%
643.25/645.10	c       645          26315        8004         1         187.0000         158.1967     18.21%
649.62/651.49	c       651          26535        8058         1         187.0000         158.2011     18.20%
656.10/657.97	c       658          26705        8112         1         187.0000         158.2058     18.20%
662.09/663.90	c       664          26935        8212         1         187.0000         158.2086     18.20%
667.07/669.00	c       669          27011        8256         1         187.0000         158.2113     18.20%
672.96/674.84	c       675          27191        8324         1         187.0000         158.2171     18.19%
678.94/680.87	c       681          27451        8376         1         187.0000         158.2211     18.19%
684.73/686.68	c       687          27555        8434         1         187.0000         158.2303     18.18%
690.13/692.05	c       692          27721        8504         1         187.0000         158.2322     18.18%
695.60/697.57	c       698          27795        8562         1         187.0000         158.2358     18.18%
702.10/704.08	c       704          27965        8626         1         187.0000         158.2393     18.18%
707.38/709.38	c       709          28151        8690         1         187.0000         158.2457     18.17%
712.56/714.51	c       715          28256        8739         1         187.0000         158.2490     18.17%
718.44/720.47	c       720          28445        8788         1         187.0000         158.2508     18.17%
723.93/725.90	c       726          28680        8841         1         187.0000         158.2519     18.17%
729.81/731.89	c       732          28825        8894         1         187.0000         158.2588     18.16%
735.12/737.15	c       737          29001        8936         1         187.0000         158.2612     18.16%
740.39/742.49	c       742          29155        9000         1         187.0000         158.2640     18.16%
745.98/748.01	c       748          29361        9068         1         187.0000         158.2676     18.15%
751.56/753.63	c       754          29455        9122         1         187.0000         158.2701     18.15%
757.06/759.17	c       759          29657        9182         1         187.0000         158.2704     18.15%
763.13/765.24	c       765          29895        9270         1         187.0000         158.2733     18.15%
769.03/771.18	c       771          30009        9324         1         187.0000         158.2748     18.15%
774.50/776.68	c       777          30233        9368         1         187.0000         158.2783     18.15%
780.38/782.52	c       783          30481        9406         1         187.0000         158.2799     18.15%
785.57/787.77	c       788          30689        9464         1         187.0000         158.2803     18.14%
792.45/794.61	c       795          30935        9520         1         187.0000         158.2815     18.14%
797.43/799.69	c       800          31125        9558         1         187.0000         158.2826     18.14%
802.61/804.80	c       805          31361        9610         1         187.0000         158.2872     18.14%
808.10/810.35	c       810          31595        9664         1         187.0000         158.2889     18.14%
813.08/815.37	c       815          31821        9720         1         187.0000         158.2930     18.14%
819.07/821.31	c       821          32067        9766         1         187.0000         158.2959     18.13%
824.87/827.15	c       827          32260        9833         1         187.0000         158.2982     18.13%
830.33/832.68	c       833          32415        9880         1         187.0000         158.2995     18.13%
836.02/838.33	c       838          32525        9940         1         187.0000         158.3020     18.13%
841.90/844.25	c       844          32712        9991         1         187.0000         158.3039     18.13%
847.20/849.51	c       850          32975       10076         1         187.0000         158.3079     18.12%
852.58/854.92	c       855          33291       10124         1         187.0000         158.3091     18.12%
857.97/860.34	c       860          33480       10189         1         187.0000         158.3124     18.12%
863.86/866.25	c       866          33785       10234         1         187.0000         158.3136     18.12%
869.65/872.09	c       872          33885       10282         1         187.0000         158.3158     18.12%
874.74/877.19	c       877          34091       10322         1         187.0000         158.3200     18.12%
880.01/882.44	c       882          34255       10388         1         187.0000         158.3227     18.11%
885.00/887.46	c       887          34518       10499         1         187.0000         158.3248     18.11%
890.59/893.08	c       893          34775       10560         1         187.0000         158.3265     18.11%
896.08/898.55	c       899          35051       10632         1         187.0000         158.3296     18.11%
901.06/903.59	c       904          35291       10694         1         187.0000         158.3334     18.11%
906.66/909.20	c       909          35471       10740         1         187.0000         158.3347     18.10%
912.73/915.20	c       915          35605       10804         1         187.0000         158.3356     18.10%
918.11/920.66	c       921          35731       10848         1         187.0000         158.3363     18.10%
923.52/926.11	c       926          35912       10921         1         187.0000         158.3402     18.10%
928.89/931.46	c       931          36061       10972         1         187.0000         158.3416     18.10%
934.49/937.01	c       937          36291       11048         1         187.0000         158.3433     18.10%
940.06/942.61	c       943          36611       11108         1         187.0000         158.3460     18.10%
945.65/948.22	c       948          36961       11160         1         187.0000         158.3468     18.10%
950.93/953.59	c       954          37213       11228         1         187.0000         158.3476     18.09%
956.12/958.78	c       959          37331       11268         1         187.0000         158.3493     18.09%
961.61/964.25	c       964          37671       11334         1         187.0000         158.3509     18.09%
966.70/969.33	c       969          37775       11394         1         187.0000         158.3541     18.09%
971.88/974.55	c       975          38001       11432         1         187.0000         158.3559     18.09%
977.26/979.99	c       980          38105       11500         1         187.0000         158.3569     18.09%
982.36/985.03	c       985          38241       11560         1         187.0000         158.3598     18.09%
987.35/990.07	c       990          38351       11608         1         187.0000         158.3626     18.08%
992.53/995.20	c       995          38495       11664         1         187.0000         158.3645     18.08%
998.43/1001.13	c      1001          38600       11727         1         187.0000         158.3661     18.08%
1003.51/1006.27	c      1006          38711       11772         1         187.0000         158.3679     18.08%
1009.79/1012.50	c      1012          38991       11878         1         187.0000         158.3732     18.08%
1014.78/1017.57	c      1018          39115       11936         1         187.0000         158.3764     18.07%
1020.06/1022.82	c      1023          39431       12004         1         187.0000         158.3767     18.07%
1025.84/1028.67	c      1029          39525       12062         1         187.0000         158.3824     18.07%
1031.63/1034.40	c      1034          39886       12107         1         187.0000         158.3841     18.07%
1037.34/1040.12	c      1040          40066       12149         1         187.0000         158.3861     18.07%
1042.61/1045.47	c      1045          40275       12228         1         187.0000         158.3879     18.06%
1047.89/1050.75	c      1051          40501       12286         1         187.0000         158.3909     18.06%
1053.19/1056.06	c      1056          40615       12350         1         187.0000         158.3946     18.06%
1058.87/1061.71	c      1062          40825       12398         1         187.0000         158.4012     18.05%
1064.36/1067.23	c      1067          41015       12460         1         187.0000         158.4028     18.05%
1069.64/1072.54	c      1073          41155       12524         1         187.0000         158.4048     18.05%
1075.63/1078.58	c      1079          41305       12580         1         187.0000         158.4082     18.05%
1081.61/1084.57	c      1085          41498       12661         1         187.0000         158.4147     18.04%
1086.80/1089.71	c      1090          41723       12726         1         187.0000         158.4160     18.04%
1091.99/1094.93	c      1095          41921       12792         1         187.0000         158.4190     18.04%
1097.87/1100.87	c      1101          42154       12875         1         187.0000         158.4215     18.04%
1103.36/1106.31	c      1106          42391       12958         1         187.0000         158.4237     18.04%
1108.84/1111.80	c      1112          42591       13008         1         187.0000         158.4289     18.03%
1114.63/1117.69	c      1118          42811       13086         1         187.0000         158.4303     18.03%
1120.03/1123.02	c      1123          43142       13115         1         187.0000         158.4305     18.03%
1125.50/1128.50	c      1128          43336       13201         1         187.0000         158.4315     18.03%
1131.69/1134.76	c      1135          43605       13298         1         187.0000         158.4320     18.03%
1137.68/1140.77	c      1141          44012       13371         1         187.0000         158.4332     18.03%
1143.36/1146.45	c      1146          44292       13429         1         187.0000         158.4337     18.03%
1148.65/1151.72	c      1152          44445       13500         1         187.0000         158.4356     18.03%
1154.33/1157.40	c      1157          44621       13566         1         187.0000         158.4378     18.03%
1159.72/1162.82	c      1163          44751       13626         1         187.0000         158.4390     18.03%
1165.11/1168.27	c      1168          44971       13696         1         187.0000         158.4439     18.02%
1171.09/1174.26	c      1174          45249       13770         1         187.0000         158.4482     18.02%
1176.58/1179.78	c      1180          45471       13834         1         187.0000         158.4497     18.02%
1182.16/1185.34	c      1185          45671       13872         1         187.0000         158.4504     18.02%
1187.35/1190.57	c      1191          45862       13971         1         187.0000         158.4548     18.01%
1192.44/1195.60	c      1196          46011       14022         1         187.0000         158.4562     18.01%
1197.84/1201.01	c      1201          46118       14081         1         187.0000         158.4586     18.01%
1203.21/1206.47	c      1206          46345       14130         1         187.0000         158.4589     18.01%
1208.49/1211.79	c      1212          46531       14198         1         187.0000         158.4635     18.01%
1213.68/1216.99	c      1217          46635       14254         1         187.0000         158.4647     18.01%
1219.46/1222.75	c      1223          46939       14306         1         187.0000         158.4662     18.01%
1224.65/1227.98	c      1228          47101       14368         1         187.0000         158.4720     18.00%
1230.24/1233.59	c      1234          47275       14446         1         187.0000         158.4727     18.00%
1235.52/1238.88	c      1239          47551       14484         1         187.0000         158.4729     18.00%
1241.11/1244.42	c      1244          47912       14543         1         187.0000         158.4737     18.00%
1246.20/1249.57	c      1250          48115       14610         1         187.0000         158.4756     18.00%
1251.99/1255.33	c      1255          48321       14670         1         187.0000         158.4775     18.00%
1257.47/1260.83	c      1261          48455       14728         1         187.0000         158.4788     18.00%
1263.26/1266.61	c      1267          48691       14770         1         187.0000         158.4800     18.00%
1269.24/1272.68	c      1273          48925       14856         1         187.0000         158.4809     18.00%
1274.43/1277.81	c      1278          49120       14913         1         187.0000         158.4830     17.99%
1280.31/1283.73	c      1284          49295       14980         1         187.0000         158.4855     17.99%
1286.10/1289.55	c      1290          49505       15026         1         187.0000         158.4863     17.99%
1291.79/1295.28	c      1295          49908       15069         1         187.0000         158.4872     17.99%
1297.08/1300.54	c      1301          50151       15138         1         187.0000         158.4906     17.99%
1303.06/1306.56	c      1307          50335       15210         1         187.0000         158.4912     17.99%
1308.25/1311.77	c      1312          50571       15254         1         187.0000         158.4917     17.99%
1313.23/1316.78	c      1317          50907       15330         1         187.0000         158.4937     17.99%
1318.53/1322.04	c      1322          51125       15384         1         187.0000         158.4962     17.98%
1323.52/1327.07	c      1327          51271       15450         1         187.0000         158.4984     17.98%
1329.39/1332.96	c      1333          51455       15530         1         187.0000         158.4998     17.98%
1334.88/1338.42	c      1338          51654       15595         1         187.0000         158.5015     17.98%
1340.36/1343.96	c      1344          51785       15648         1         187.0000         158.5033     17.98%
1345.46/1349.03	c      1349          51951       15708         1         187.0000         158.5052     17.98%
1350.74/1354.35	c      1354          52065       15762         1         187.0000         158.5079     17.98%
1356.32/1359.96	c      1360          52360       15805         1         187.0000         158.5098     17.97%
1362.11/1365.79	c      1366          52495       15874         1         187.0000         158.5113     17.97%
1367.90/1371.55	c      1372          52771       15936         1         187.0000         158.5126     17.97%
1373.28/1376.97	c      1377          52961       15970         1         187.0000         158.5130     17.97%
1380.16/1383.86	c      1384          53135       16036         1         187.0000         158.5143     17.97%
1385.15/1388.89	c      1389          53295       16118         1         187.0000         158.5162     17.97%
1390.73/1394.44	c      1394          53435       16192         1         187.0000         158.5184     17.97%
1395.92/1399.62	c      1400          53631       16254         1         187.0000         158.5204     17.97%
1401.50/1405.23	c      1405          53861       16306         1         187.0000         158.5212     17.97%
1407.78/1411.57	c      1412          54101       16422         1         187.0000         158.5238     17.96%
1412.87/1416.68	c      1417          54261       16480         1         187.0000         158.5267     17.96%
1418.27/1422.08	c      1422          54455       16540         1         187.0000         158.5297     17.96%
1423.44/1427.25	c      1427          54585       16596         1         187.0000         158.5311     17.96%
1428.82/1432.60	c      1433          54875       16660         1         187.0000         158.5325     17.96%
1434.11/1437.95	c      1438          55114       16737         1         187.0000         158.5338     17.96%
1439.49/1443.35	c      1443          55481       16784         1         187.0000         158.5353     17.95%
1445.07/1448.98	c      1449          55646       16857         1         187.0000         158.5378     17.95%
1450.85/1454.70	c      1455          55765       16908         1         187.0000         158.5386     17.95%
1455.94/1459.82	c      1460          55925       16968         1         187.0000         158.5399     17.95%
1461.02/1464.92	c      1465          56161       17004         1         187.0000         158.5410     17.95%
1466.01/1469.95	c      1470          56315       17078         1         187.0000         158.5421     17.95%
1472.49/1476.41	c      1476          56525       17144         1         187.0000         158.5428     17.95%
1477.78/1481.70	c      1482          56701       17202         1         187.0000         158.5443     17.95%
1482.76/1486.72	c      1487          56971       17260         1         187.0000         158.5456     17.95%
1488.54/1492.58	c      1493          57135       17314         1         187.0000         158.5473     17.95%
1494.32/1498.33	c      1498          57395       17386         1         187.0000         158.5483     17.95%
1499.70/1503.71	c      1504          57660       17457         1         187.0000         158.5500     17.94%
1505.48/1509.54	c      1510          57866       17543         1         187.0000         158.5517     17.94%
1511.09/1515.18	c      1515          58180       17641         1         187.0000         158.5523     17.94%
1517.25/1521.35	c      1521          58385       17676         1         187.0000         158.5542     17.94%
1523.33/1527.41	c      1527          58631       17734         1         187.0000         158.5560     17.94%
1528.62/1532.80	c      1533          58801       17782         1         187.0000         158.5572     17.94%
1534.59/1538.74	c      1539          58976       17847         1         187.0000         158.5587     17.94%
1539.89/1544.04	c      1544          59139       17900         1         187.0000         158.5609     17.94%
1545.77/1549.97	c      1550          59393       17966         1         187.0000         158.5623     17.93%
1551.64/1555.82	c      1556          59671       18030         1         187.0000         158.5636     17.93%
1557.33/1561.58	c      1562          59851       18104         1         187.0000         158.5653     17.93%
1562.41/1566.60	c      1567          60075       18174         1         187.0000         158.5661     17.93%
1567.59/1571.88	c      1572          60315       18214         1         187.0000         158.5672     17.93%
1573.07/1577.33	c      1577          60555       18290         1         187.0000         158.5693     17.93%
1578.35/1582.62	c      1583          60785       18346         1         187.0000         158.5698     17.93%
1583.44/1587.74	c      1588          60915       18402         1         187.0000         158.5714     17.93%
1589.03/1593.32	c      1593          61205       18490         1         187.0000         158.5727     17.93%
1594.21/1598.54	c      1599          61445       18544         1         187.0000         158.5743     17.93%
1599.41/1603.72	c      1604          61611       18616         1         187.0000         158.5776     17.92%
1605.09/1609.43	c      1609          61807       18694         1         187.0000         158.5792     17.92%
1610.58/1614.92	c      1615          62035       18764         1         187.0000         158.5813     17.92%
1616.36/1620.79	c      1621          62301       18892         1         187.0000         158.5829     17.92%
1622.05/1626.44	c      1626          62528       18965         1         187.0000         158.5833     17.92%
1627.13/1631.56	c      1632          62810       19021         1         187.0000         158.5860     17.92%
1632.22/1636.62	c      1637          63021       19084         1         187.0000         158.5870     17.92%
1637.80/1642.29	c      1642          63251       19126         1         187.0000         158.5877     17.92%
1643.60/1648.11	c      1648          63435       19202         1         187.0000         158.5906     17.91%
1649.59/1654.09	c      1654          63761       19256         1         187.0000         158.5920     17.91%
1654.86/1659.34	c      1659          63995       19318         1         187.0000         158.5926     17.91%
1660.35/1664.87	c      1665          64125       19374         1         187.0000         158.5935     17.91%
1665.44/1669.95	c      1670          64411       19442         1         187.0000         158.5951     17.91%
1671.32/1675.82	c      1676          64541       19490         1         187.0000         158.5961     17.91%
1676.41/1681.01	c      1681          64751       19558         1         187.0000         158.5971     17.91%
1681.50/1686.04	c      1686          64951       19600         1         187.0000         158.5977     17.91%
1686.98/1691.58	c      1692          65211       19678         1         187.0000         158.5994     17.91%
1692.76/1697.34	c      1697          65451       19738         1         187.0000         158.6004     17.91%
1698.36/1702.99	c      1703          65695       19820         1         187.0000         158.6023     17.90%
1703.34/1708.01	c      1708          65934       19897         1         187.0000         158.6032     17.90%
1709.12/1713.78	c      1714          66092       19951         1         187.0000         158.6037     17.90%
1715.10/1719.78	c      1720          66355       20032         1         187.0000         158.6044     17.90%
1721.29/1725.99	c      1726          66741       20126         1         187.0000         158.6053     17.90%
1726.57/1731.20	c      1731          66949       20186         1         187.0000         158.6057     17.90%
1732.38/1737.04	c      1737          67105       20256         1         187.0000         158.6086     17.90%
1738.25/1742.91	c      1743          67386       20333         1         187.0000         158.6114     17.90%
1743.53/1748.25	c      1748          67525       20390         1         187.0000         158.6125     17.90%
1749.02/1753.78	c      1754          67808       20473         1         187.0000         158.6156     17.90%
1754.20/1758.92	c      1759          68041       20512         1         187.0000         158.6165     17.89%
1759.30/1764.02	c      1764          68371       20578         1         187.0000         158.6173     17.89%
1764.68/1769.45	c      1769          68491       20644         1         187.0000         158.6197     17.89%
1770.17/1775.01	c      1775          68601       20706         1         187.0000         158.6203     17.89%
1775.75/1780.56	c      1781          68730       20765         1         187.0000         158.6211     17.89%
1780.84/1785.66	c      1786          68951       20826         1         187.0000         158.6225     17.89%
1785.82/1790.69	c      1791          69095       20866         1         187.0000         158.6228     17.89%
1791.32/1796.16	c      1796          69331       20924         1         187.0000         158.6253     17.89%
1796.70/1801.53	c      1802          69561       20988         1         187.0000         158.6271     17.89%
1802.38/1807.26	c      1807          69792       21067         1         187.0000         158.6276     17.89%
1807.87/1812.71	c      1813          70045       21144         1         187.0000         158.6290     17.89%
1812.96/1817.87	c      1818          70301       21206         1         187.0000         158.6307     17.88%
1818.05/1823.01	c      1823          70571       21238         1         187.0000         158.6310     17.88%
1823.83/1828.77	c      1829          70831       21330         1         187.0000         158.6319     17.88%
1829.81/1834.77	c      1835          71135       21406         1         187.0000         158.6323     17.88%
1835.11/1840.04	c      1840          71301       21464         1         187.0000         158.6337     17.88%
1840.68/1845.61	c      1846          71511       21526         1         187.0000         158.6354     17.88%
1845.77/1850.71	c      1851          71635       21582         1         187.0000         158.6361     17.88%
1851.17/1856.17	c      1856          71791       21640         1         187.0000         158.6389     17.88%
1857.44/1862.45	c      1862          71995       21706         1         187.0000         158.6395     17.88%
1863.23/1868.26	c      1868          72221       21798         1         187.0000         158.6417     17.88%
1868.31/1873.33	c      1873          72381       21852         1         187.0000         158.6433     17.87%
1873.50/1878.56	c      1879          72563       21918         1         187.0000         158.6440     17.87%
1878.69/1883.76	c      1884          72761       21980         1         187.0000         158.6457     17.87%
1884.27/1889.30	c      1889          72981       22034         1         187.0000         158.6469     17.87%
1887.76/1892.88	c *    1893          73085       22070         1         186.0000         158.6470     17.24%
1890.16/1895.26	c      1895          73205       21462         1         186.0000         158.6478     17.24%
1895.64/1900.79	c      1901          73361       21518         1         186.0000         158.6494     17.24%
1900.94/1906.01	c      1906          73501       21564         1         186.0000         158.6498     17.24%
1905.92/1911.04	c      1911          73661       21610         1         186.0000         158.6506     17.24%
1911.69/1916.89	c      1917          73850       21695         1         186.0000         158.6512     17.24%
1917.28/1922.42	c      1922          74081       21718         1         186.0000         158.6526     17.24%
1923.56/1928.77	c      1929          74195       21794         1         186.0000         158.6553     17.24%
1929.55/1934.70	c      1935          74371       21854         1         186.0000         158.6586     17.23%
1935.34/1940.56	c      1941          74515       21900         1         186.0000         158.6597     17.23%
1941.32/1946.53	c      1947          74715       21958         1         186.0000         158.6608     17.23%
1947.50/1952.70	c      1953          74935       22046         1         186.0000         158.6622     17.23%
1952.69/1957.91	c      1958          75101       22068         1         186.0000         158.6639     17.23%
1957.89/1963.11	c      1963          75215       22126         1         186.0000         158.6650     17.23%
1963.57/1968.85	c      1969          75378       22205         1         186.0000         158.6670     17.23%
1969.56/1974.85	c      1975          75611       22288         1         186.0000         158.6688     17.23%
1974.64/1979.95	c      1980          75765       22336         1         186.0000         158.6698     17.22%
1979.93/1985.27	c      1985          75891       22386         1         186.0000         158.6705     17.22%
1985.82/1991.19	c      1991          76025       22446         1         186.0000         158.6717     17.22%
1991.40/1996.70	c      1997          76195       22502         1         186.0000         158.6738     17.22%
1998.19/2003.51	c      2004          76345       22552         1         186.0000         158.6752     17.22%
2003.87/2009.29	c      2009          76518       22619         1         186.0000         158.6766     17.22%
2009.85/2015.21	c      2015          76881       22730         1         186.0000         158.6774     17.22%
2014.84/2020.26	c      2020          77041       22792         1         186.0000         158.6792     17.22%
2020.32/2025.78	c      2026          77231       22860         1         186.0000         158.6799     17.22%
2025.41/2030.88	c      2031          77445       22876         1         186.0000         158.6801     17.22%
2030.90/2036.32	c      2036          77575       22922         1         186.0000         158.6813     17.22%
2036.49/2041.99	c      2042          77781       22972         1         186.0000         158.6824     17.22%
2042.07/2047.54	c      2048          77973       23052         1         186.0000         158.6830     17.21%
2047.85/2053.37	c      2053          78421       23144         1         186.0000         158.6840     17.21%
2053.04/2058.56	c      2059          78585       23208         1         186.0000         158.6848     17.21%
2059.82/2065.33	c      2065          78775       23276         1         186.0000         158.6854     17.21%
2064.81/2070.36	c      2070          78921       23346         1         186.0000         158.6862     17.21%
2070.20/2075.71	c      2076          79035       23396         1         186.0000         158.6873     17.21%
2075.19/2080.74	c      2081          79301       23480         1         186.0000         158.6884     17.21%
2080.18/2085.75	c      2086          79521       23548         1         186.0000         158.6891     17.21%
2085.76/2091.32	c      2091          79641       23620         1         186.0000         158.6902     17.21%
2091.35/2096.93	c      2097          79821       23688         1         186.0000         158.6928     17.21%
2096.63/2102.29	c      2102          79951       23740         1         186.0000         158.6937     17.21%
2102.54/2108.14	c      2108          80085       23802         1         186.0000         158.6943     17.21%
2107.71/2113.33	c      2113          80231       23832         1         186.0000         158.6950     17.21%
2113.80/2119.47	c      2119          80395       23898         1         186.0000         158.6964     17.20%
2118.88/2124.51	c      2125          80631       23972         1         186.0000         158.6977     17.20%
2124.57/2130.21	c      2130          80983       24060         1         186.0000         158.6983     17.20%
2129.55/2135.24	c      2135          81235       24102         1         186.0000         158.6997     17.20%
2134.84/2140.51	c      2140          81479       24168         1         186.0000         158.6999     17.20%
2140.82/2146.51	c      2146          81745       24204         1         186.0000         158.7009     17.20%
2146.51/2152.25	c      2152          81936       24265         1         186.0000         158.7022     17.20%
2151.79/2157.51	c      2158          82171       24326         1         186.0000         158.7033     17.20%
2157.57/2163.32	c      2163          82438       24403         1         186.0000         158.7051     17.20%
2162.75/2168.55	c      2169          82631       24436         1         186.0000         158.7055     17.20%
2168.35/2174.19	c      2174          82851       24506         1         186.0000         158.7072     17.20%
2173.54/2179.37	c      2179          83071       24568         1         186.0000         158.7092     17.20%
2179.12/2184.95	c      2185          83286       24653         1         186.0000         158.7095     17.20%
2184.32/2190.14	c      2190          83435       24690         1         186.0000         158.7102     17.19%
2189.89/2195.75	c      2196          83635       24766         1         186.0000         158.7110     17.19%
2195.48/2201.36	c      2201          83971       24860         1         186.0000         158.7124     17.19%
2200.47/2206.39	c      2206          84121       24936         1         186.0000         158.7132     17.19%
2206.05/2211.94	c      2212          84350       25003         1         186.0000         158.7138     17.19%
2211.15/2217.09	c      2217          84531       25070         1         186.0000         158.7149     17.19%
2216.23/2222.18	c      2222          84691       25124         1         186.0000         158.7154     17.19%
2221.51/2227.48	c      2227          84851       25182         1         186.0000         158.7169     17.19%
2227.30/2233.26	c      2233          85060       25235         1         186.0000         158.7173     17.19%
2232.38/2238.37	c      2238          85211       25298         1         186.0000         158.7185     17.19%
2237.77/2243.72	c      2244          85438       25367         1         186.0000         158.7196     17.19%
2243.46/2249.46	c      2249          85648       25449         1         186.0000         158.7208     17.19%
2248.64/2254.60	c      2255          85901       25516         1         186.0000         158.7222     17.19%
2254.22/2260.28	c      2260          86115       25588         1         186.0000         158.7226     17.19%
2259.31/2265.39	c      2265          86295       25650         1         186.0000         158.7239     17.18%
2264.80/2270.84	c      2271          86501       25712         1         186.0000         158.7260     17.18%
2270.59/2276.60	c      2277          86685       25772         1         186.0000         158.7265     17.18%
2275.67/2281.79	c      2282          87021       25826         1         186.0000         158.7273     17.18%
2281.46/2287.54	c      2288          87245       25898         1         186.0000         158.7279     17.18%
2286.64/2292.71	c      2293          87411       25966         1         186.0000         158.7293     17.18%
2291.63/2297.79	c      2298          87571       26024         1         186.0000         158.7303     17.18%
2297.12/2303.20	c      2303          87685       26078         1         186.0000         158.7308     17.18%
2302.70/2308.82	c      2309          87881       26142         1         186.0000         158.7315     17.18%
2308.01/2314.12	c      2314          88021       26224         1         186.0000         158.7323     17.18%
2313.18/2319.33	c      2319          88212       26291         1         186.0000         158.7334     17.18%
2318.87/2325.07	c      2325          88425       26372         1         186.0000         158.7337     17.18%
2324.05/2330.23	c      2330          88595       26434         1         186.0000         158.7352     17.18%
2329.33/2335.51	c      2336          88810       26495         1         186.0000         158.7364     17.18%
2334.83/2341.02	c      2341          89191       26558         1         186.0000         158.7365     17.18%
2340.10/2346.31	c      2346          89411       26620         1         186.0000         158.7379     17.17%
2345.19/2351.43	c      2351          89565       26674         1         186.0000         158.7384     17.17%
2350.58/2356.83	c      2357          89751       26740         1         186.0000         158.7399     17.17%
2356.17/2362.45	c      2362          89883       26814         1         186.0000         158.7401     17.17%
2361.15/2367.47	c      2367          90045       26852         1         186.0000         158.7405     17.17%
2366.75/2373.10	c      2373          90301       26908         1         186.0000         158.7414     17.17%
2372.63/2378.98	c      2379          90515       26986         1         186.0000         158.7427     17.17%
2377.83/2384.19	c      2384          90801       27042         1         186.0000         158.7436     17.17%
2383.20/2389.52	c      2390          90981       27108         1         186.0000         158.7439     17.17%
2388.70/2395.04	c      2395          91141       27172         1         186.0000         158.7455     17.17%
2394.69/2401.05	c      2401          91349       27230         1         186.0000         158.7472     17.17%
2399.78/2406.13	c      2406          91516       27301         1         186.0000         158.7475     17.17%
2404.95/2411.32	c      2411          91831       27360         1         186.0000         158.7486     17.17%
2410.65/2417.04	c      2417          91975       27430         1         186.0000         158.7496     17.17%
2416.52/2422.92	c      2423          92205       27496         1         186.0000         158.7506     17.16%
2422.00/2428.42	c      2428          92466       27549         1         186.0000         158.7511     17.16%
2427.49/2433.90	c      2434          92671       27602         1         186.0000         158.7519     17.16%
2432.60/2439.06	c      2439          92801       27662         1         186.0000         158.7522     17.16%
2438.37/2444.89	c      2445          92991       27738         1         186.0000         158.7536     17.16%
2443.85/2450.34	c      2450          93151       27812         1         186.0000         158.7542     17.16%
2448.93/2455.40	c      2455          93375       27862         1         186.0000         158.7549     17.16%
2454.23/2460.71	c      2461          93671       27908         1         186.0000         158.7559     17.16%
2459.63/2466.15	c      2466          93805       27968         1         186.0000         158.7564     17.16%
2465.00/2471.56	c      2472          94075       28008         1         186.0000         158.7567     17.16%
2470.50/2477.05	c      2477          94245       28084         1         186.0000         158.7575     17.16%
2476.37/2482.96	c      2483          94521       28172         1         186.0000         158.7588     17.16%
2482.35/2488.96	c      2489          94776       28263         1         186.0000         158.7593     17.16%
2487.94/2494.51	c      2495          95051       28352         1         186.0000         158.7601     17.16%
2493.63/2500.26	c      2500          95237       28442         1         186.0000         158.7610     17.16%
2499.43/2506.10	c      2506          95475       28512         1         186.0000         158.7621     17.16%
2504.80/2511.41	c      2511          95656       28561         1         186.0000         158.7632     17.16%
2510.08/2516.72	c      2517          95815       28628         1         186.0000         158.7636     17.16%
2515.17/2521.81	c      2522          95989       28688         1         186.0000         158.7640     17.16%
2520.75/2527.46	c      2527          96115       28752         1         186.0000         158.7649     17.15%
2526.65/2533.36	c      2533          96284       28829         1         186.0000         158.7659     17.15%
2532.53/2539.23	c      2539          96651       28902         1         186.0000         158.7670     17.15%
2538.51/2545.21	c      2545          96871       28988         1         186.0000         158.7683     17.15%
2543.60/2550.31	c      2550          97171       29052         1         186.0000         158.7690     17.15%
2549.30/2556.09	c      2556          97356       29125         1         186.0000         158.7703     17.15%
2554.57/2561.32	c      2561          97555       29204         1         186.0000         158.7709     17.15%
2560.16/2566.91	c      2567          97742       29277         1         186.0000         158.7717     17.15%
2565.64/2572.43	c      2572          97967       29338         1         186.0000         158.7724     17.15%
2571.43/2578.27	c      2578          98147       29386         1         186.0000         158.7729     17.15%
2576.91/2583.73	c      2584          98401       29450         1         186.0000         158.7739     17.15%
2582.70/2589.55	c      2590          98619       29522         1         186.0000         158.7749     17.15%
2587.79/2594.66	c      2595          98836       29575         1         186.0000         158.7764     17.15%
2592.97/2599.81	c      2600          99031       29630         1         186.0000         158.7781     17.14%
2599.06/2606.01	c      2606          99255       29698         1         186.0000         158.7783     17.14%
2604.15/2611.04	c      2611          99411       29760         1         186.0000         158.7797     17.14%
2609.73/2616.65	c      2617          99571       29840         1         186.0000         158.7802     17.14%
2615.51/2622.42	c      2622          99911       29916         1         186.0000         158.7809     17.14%
2621.00/2627.96	c      2628         100081       29986         1         186.0000         158.7816     17.14%
2626.27/2633.26	c      2633         100225       30060         1         186.0000         158.7830     17.14%
2631.86/2638.89	c      2639         100612       30113         1         186.0000         158.7831     17.14%
2636.94/2643.97	c      2644         100831       30176         1         186.0000         158.7837     17.14%
2642.53/2649.55	c      2650         101055       30252         1         186.0000         158.7842     17.14%
2648.03/2655.09	c      2655         101387       30322         1         186.0000         158.7862     17.14%
2653.70/2660.76	c      2661         101595       30384         1         186.0000         158.7869     17.14%
2659.89/2666.92	c      2667         101925       30450         1         186.0000         158.7872     17.14%
2665.37/2672.49	c      2672         102112       30513         1         186.0000         158.7875     17.14%
2670.65/2677.78	c      2678         102321       30588         1         186.0000         158.7878     17.14%
2676.05/2683.16	c      2683         102401       30642         1         186.0000         158.7889     17.14%
2681.12/2688.29	c      2688         102635       30702         1         186.0000         158.7896     17.14%
2687.11/2694.24	c      2694         102911       30794         1         186.0000         158.7914     17.13%
2693.20/2700.36	c      2700         103121       30842         1         186.0000         158.7921     17.13%
2699.18/2706.32	c      2706         103369       30932         1         186.0000         158.7923     17.13%
2704.47/2711.66	c      2712         103483       31008         1         186.0000         158.7935     17.13%
2709.65/2716.85	c      2717         103731       31066         1         186.0000         158.7944     17.13%
2714.85/2722.04	c      2722         103921       31144         1         186.0000         158.7957     17.13%
2720.03/2727.28	c      2727         104211       31206         1         186.0000         158.7960     17.13%
2725.71/2733.01	c      2733         104355       31278         1         186.0000         158.7965     17.13%
2730.91/2738.14	c      2738         104496       31351         1         186.0000         158.7973     17.13%
2735.98/2743.22	c      2743         104661       31410         1         186.0000         158.7986     17.13%
2741.88/2749.12	c      2749         104865       31482         1         186.0000         158.7997     17.13%
2747.56/2754.83	c      2755         105067       31580         1         186.0000         158.8011     17.13%
2752.55/2759.84	c      2760         105231       31646         1         186.0000         158.8023     17.13%
2758.33/2765.66	c      2766         105431       31722         1         186.0000         158.8032     17.13%
2763.42/2770.75	c      2771         105641       31788         1         186.0000         158.8042     17.13%
2769.30/2776.61	c      2777         105825       31870         1         186.0000         158.8052     17.12%
2774.59/2782.01	c      2782         106056       31929         1         186.0000         158.8057     17.12%
2780.37/2787.73	c      2788         106261       31988         1         186.0000         158.8069     17.12%
2785.86/2793.29	c      2793         106421       32052         1         186.0000         158.8073     17.12%
2790.94/2798.39	c      2798         106572       32125         1         186.0000         158.8079     17.12%
2796.23/2803.65	c      2804         106794       32187         1         186.0000         158.8082     17.12%
2801.51/2808.96	c      2809         106978       32245         1         186.0000         158.8085     17.12%
2807.19/2814.67	c      2815         107191       32308         1         186.0000         158.8088     17.12%
2812.88/2820.31	c      2820         107439       32416         1         186.0000         158.8090     17.12%
2818.07/2825.59	c      2826         107728       32491         1         186.0000         158.8093     17.12%
2823.86/2831.38	c      2831         107918       32571         1         186.0000         158.8105     17.12%
2829.14/2836.62	c      2837         108091       32642         1         186.0000         158.8110     17.12%
2834.43/2841.90	c      2842         108215       32714         1         186.0000         158.8119     17.12%
2839.91/2847.44	c      2847         108511       32792         1         186.0000         158.8134     17.12%
2845.10/2852.68	c      2853         108671       32858         1         186.0000         158.8138     17.12%
2850.69/2858.21	c      2858         108898       32931         1         186.0000         158.8143     17.12%
2856.48/2864.04	c      2864         109162       32983         1         186.0000         158.8151     17.12%
2861.47/2869.05	c      2869         109349       33046         1         186.0000         158.8155     17.12%
2867.04/2874.65	c      2875         109541       33106         1         186.0000         158.8164     17.12%
2872.34/2879.93	c      2880         109751       33174         1         186.0000         158.8168     17.12%
2877.43/2885.04	c      2885         109941       33234         1         186.0000         158.8171     17.12%
2883.42/2891.02	c      2891         110240       33317         1         186.0000         158.8175     17.12%
2888.99/2896.65	c      2897         110395       33378         1         186.0000         158.8186     17.11%
2894.39/2902.06	c      2902         110655       33426         1         186.0000         158.8192     17.11%
2900.16/2907.83	c      2908         110875       33488         1         186.0000         158.8201     17.11%
2905.75/2913.41	c      2913         111087       33568         1         186.0000         158.8210     17.11%
2910.73/2918.46	c      2918         111372       33619         1         186.0000         158.8211     17.11%
2916.13/2923.88	c      2924         111625       33680         1         186.0000         158.8217     17.11%
2921.11/2928.89	c      2929         111811       33738         1         186.0000         158.8224     17.11%
2926.80/2934.55	c      2935         112014       33813         1         186.0000         158.8228     17.11%
2932.39/2940.15	c      2940         112201       33878         1         186.0000         158.8234     17.11%
2938.06/2945.88	c      2946         112416       33961         1         186.0000         158.8249     17.11%
2943.16/2950.91	c      2951         112610       34011         1         186.0000         158.8255     17.11%
2948.54/2956.33	c      2956         112911       34090         1         186.0000         158.8273     17.11%
2953.93/2961.70	c      2962         113121       34172         1         186.0000         158.8279     17.11%
2959.61/2967.49	c      2967         113295       34246         1         186.0000         158.8286     17.11%
2964.90/2972.73	c      2973         113617       34336         1         186.0000         158.8291     17.11%
2969.98/2977.83	c      2978         113822       34395         1         186.0000         158.8295     17.11%
2975.77/2983.64	c      2984         114025       34466         1         186.0000         158.8300     17.11%
2980.95/2988.89	c      2989         114186       34529         1         186.0000         158.8308     17.11%
2986.55/2994.47	c      2994         114511       34618         1         186.0000         158.8316     17.11%
2991.73/2999.68	c      3000         114823       34680         1         186.0000         158.8320     17.10%
2997.61/3005.58	c      3006         115056       34737         1         186.0000         158.8324     17.10%
3003.80/3011.79	c      3012         115315       34818         1         186.0000         158.8327     17.10%
3008.98/3016.93	c      3017         115551       34868         1         186.0000         158.8332     17.10%
3013.97/3021.99	c      3022         115675       34938         1         186.0000         158.8334     17.10%
3020.25/3028.21	c      3028         115855       35020         1         186.0000         158.8341     17.10%
3025.24/3033.24	c      3033         116091       35082         1         186.0000         158.8350     17.10%
3031.05/3039.10	c      3039         116321       35154         1         186.0000         158.8363     17.10%
3036.52/3044.55	c      3045         116665       35218         1         186.0000         158.8368     17.10%
3041.70/3049.76	c      3050         116851       35274         1         186.0000         158.8374     17.10%
3047.59/3055.68	c      3056         117011       35348         1         186.0000         158.8386     17.10%
3052.77/3060.87	c      3061         117168       35417         1         186.0000         158.8390     17.10%
3058.66/3066.74	c      3067         117441       35478         1         186.0000         158.8396     17.10%
3063.75/3071.84	c      3072         117671       35550         1         186.0000         158.8397     17.10%
3069.74/3077.80	c      3078         117831       35620         1         186.0000         158.8408     17.10%
3075.13/3083.23	c      3083         118105       35690         1         186.0000         158.8412     17.10%
3080.51/3088.68	c      3089         118363       35752         1         186.0000         158.8416     17.10%
3085.80/3093.91	c      3094         118511       35810         1         186.0000         158.8430     17.10%
3091.38/3099.50	c      3100         118675       35882         1         186.0000         158.8431     17.10%
3097.07/3105.25	c      3105         118981       35954         1         186.0000         158.8443     17.10%
3102.76/3110.95	c      3111         119215       36018         1         186.0000         158.8447     17.10%
3108.24/3116.48	c      3116         119421       36090         1         186.0000         158.8460     17.09%
3113.43/3121.61	c      3122         119585       36140         1         186.0000         158.8467     17.09%
3118.42/3126.69	c      3127         119848       36185         1         186.0000         158.8470     17.09%
3124.40/3132.65	c      3133         120155       36242         1         186.0000         158.8474     17.09%
3130.19/3138.48	c      3138         120395       36302         1         186.0000         158.8480     17.09%
3136.07/3144.38	c      3144         120665       36370         1         186.0000         158.8481     17.09%
3141.87/3150.17	c      3150         120854       36443         1         186.0000         158.8491     17.09%
3147.45/3155.70	c      3156         121115       36506         1         186.0000         158.8501     17.09%
3152.84/3161.12	c      3161         121335       36572         1         186.0000         158.8507     17.09%
3158.74/3167.06	c      3167         121635       36664         1         186.0000         158.8509     17.09%
3164.41/3172.74	c      3173         121843       36752         1         186.0000         158.8512     17.09%
3169.59/3177.97	c      3178         122161       36812         1         186.0000         158.8519     17.09%
3174.98/3183.38	c      3183         122411       36854         1         186.0000         158.8522     17.09%
3180.06/3188.49	c      3188         122584       36939         1         186.0000         158.8529     17.09%
3185.95/3194.35	c      3194         122782       37007         1         186.0000         158.8536     17.09%
3191.23/3199.68	c      3200         122937       37082         1         186.0000         158.8545     17.09%
3197.43/3205.80	c      3206         123225       37172         1         186.0000         158.8560     17.09%
3202.73/3211.19	c      3211         123435       37224         1         186.0000         158.8565     17.09%
3208.49/3216.92	c      3217         123722       37285         1         186.0000         158.8568     17.09%
3213.59/3222.05	c      3222         123891       37346         1         186.0000         158.8571     17.09%
3218.67/3227.19	c      3227         124101       37410         1         186.0000         158.8583     17.09%
3224.14/3232.63	c      3233         124235       37472         1         186.0000         158.8590     17.08%
3229.53/3238.03	c      3238         124431       37518         1         186.0000         158.8597     17.08%
3234.71/3243.20	c      3243         124625       37562         1         186.0000         158.8599     17.08%
3240.61/3249.18	c      3249         124885       37630         1         186.0000         158.8609     17.08%
3245.97/3254.52	c      3255         125155       37688         1         186.0000         158.8613     17.08%
3251.06/3259.60	c      3260         125331       37756         1         186.0000         158.8620     17.08%
3256.14/3264.75	c      3265         125561       37804         1         186.0000         158.8624     17.08%
3262.02/3270.63	c      3271         125776       37873         1         186.0000         158.8635     17.08%
3268.01/3276.63	c      3277         125990       37963         1         186.0000         158.8641     17.08%
3273.29/3282.01	c      3282         126271       38008         1         186.0000         158.8648     17.08%
3278.49/3287.14	c      3287         126531       38072         1         186.0000         158.8660     17.08%
3283.95/3292.67	c      3293         126827       38110         1         186.0000         158.8664     17.08%
3289.74/3298.44	c      3298         127131       38196         1         186.0000         158.8671     17.08%
3294.73/3303.47	c      3303         127421       38266         1         186.0000         158.8673     17.08%
3300.11/3308.86	c      3309         127657       38338         1         186.0000         158.8678     17.08%
3305.79/3314.53	c      3315         127941       38400         1         186.0000         158.8681     17.08%
3311.29/3320.01	c      3320         128201       38462         1         186.0000         158.8684     17.08%
3316.56/3325.34	c      3325         128368       38535         1         186.0000         158.8688     17.08%
3321.65/3330.40	c      3330         128541       38602         1         186.0000         158.8697     17.08%
3327.93/3336.74	c      3337         128845       38676         1         186.0000         158.8699     17.08%
3333.32/3342.16	c      3342         128981       38738         1         186.0000         158.8707     17.08%
3338.60/3347.45	c      3347         129234       38789         1         186.0000         158.8712     17.08%
3344.38/3353.26	c      3353         129515       38840         1         186.0000         158.8719     17.08%
3349.86/3358.76	c      3359         129771       38918         1         186.0000         158.8728     17.07%
3355.54/3364.49	c      3364         130046       38995         1         186.0000         158.8731     17.07%
3361.43/3370.35	c      3370         130265       39056         1         186.0000         158.8738     17.07%
3366.52/3375.49	c      3375         130461       39116         1         186.0000         158.8745     17.07%
3371.91/3380.85	c      3381         130681       39184         1         186.0000         158.8750     17.07%
3377.10/3386.05	c      3386         130971       39244         1         186.0000         158.8753     17.07%
3382.87/3391.83	c      3392         131312       39305         1         186.0000         158.8755     17.07%
3387.97/3396.94	c      3397         131495       39388         1         186.0000         158.8762     17.07%
3393.75/3402.70	c      3403         131751       39450         1         186.0000         158.8772     17.07%
3399.63/3408.67	c      3409         131911       39522         1         186.0000         158.8777     17.07%
3405.32/3414.39	c      3414         132067       39620         1         186.0000         158.8782     17.07%
3410.51/3419.58	c      3420         132311       39678         1         186.0000         158.8785     17.07%
3415.79/3424.86	c      3425         132531       39742         1         186.0000         158.8787     17.07%
3421.67/3430.77	c      3431         132728       39813         1         186.0000         158.8789     17.07%
3427.65/3436.70	c      3437         132941       39874         1         186.0000         158.8794     17.07%
3433.14/3442.25	c      3442         133195       39928         1         186.0000         158.8800     17.07%
3438.42/3447.56	c      3448         133471       39990         1         186.0000         158.8805     17.07%
3444.01/3453.16	c      3453         133614       40063         1         186.0000         158.8813     17.07%
3449.00/3458.19	c      3458         133795       40124         1         186.0000         158.8818     17.07%
3454.47/3463.61	c      3464         133981       40178         1         186.0000         158.8829     17.07%
3459.55/3468.77	c      3469         134116       40253         1         186.0000         158.8833     17.07%
3465.04/3474.21	c      3474         134491       40338         1         186.0000         158.8837     17.07%
3470.72/3479.92	c      3480         134782       40409         1         186.0000         158.8837     17.07%
3475.92/3485.19	c      3485         134974       40493         1         186.0000         158.8844     17.07%
3481.49/3490.75	c      3491         135175       40558         1         186.0000         158.8848     17.07%
3486.78/3496.06	c      3496         135375       40634         1         186.0000         158.8851     17.07%
3492.05/3501.33	c      3501         135575       40684         1         186.0000         158.8856     17.07%
3497.93/3507.21	c      3507         135729       40764         1         186.0000         158.8862     17.06%
3503.02/3512.39	c      3512         136071       40824         1         186.0000         158.8866     17.06%
3508.71/3518.02	c      3518         136291       40896         1         186.0000         158.8875     17.06%
3514.58/3523.92	c      3524         136492       40965         1         186.0000         158.8880     17.06%
3519.87/3529.29	c      3529         136625       41038         1         186.0000         158.8888     17.06%
3525.85/3535.23	c      3535         136899       41116         1         186.0000         158.8893     17.06%
3531.03/3540.44	c      3540         137091       41170         1         186.0000         158.8904     17.06%
3536.21/3545.62	c      3546         137301       41236         1         186.0000         158.8906     17.06%
3542.09/3551.50	c      3552         137619       41290         1         186.0000         158.8907     17.06%
3547.78/3557.26	c      3557         137890       41367         1         186.0000         158.8912     17.06%
3552.87/3562.34	c      3562         138148       41413         1         186.0000         158.8918     17.06%
3558.94/3568.44	c      3568         138375       41484         1         186.0000         158.8922     17.06%
3564.92/3574.46	c      3574         138528       41561         1         186.0000         158.8932     17.06%
3570.10/3579.69	c      3580         138741       41612         1         186.0000         158.8935     17.06%
3575.19/3584.77	c      3585         138885       41666         1         186.0000         158.8938     17.06%
3581.08/3590.60	c      3591         139111       41720         1         186.0000         158.8944     17.06%
3586.96/3596.59	c      3597         139321       41806         1         186.0000         158.8955     17.06%
3588.65/3598.22	c SCIP Status        : c solving was interrupted [hard time limit reached]
3588.65/3598.22	c Total Time         : 3598.21
3588.65/3598.22	c   solving          : 3598.21
3588.65/3598.22	c   presolving       : 0.05 (included in solving)
3588.65/3598.22	c B&B Tree           :
3588.65/3598.22	c   nodes (total)    : 1
3588.65/3598.22	c Solution           :
3588.65/3598.22	c   Solutions found  : 17
3588.65/3598.22	c   Primal Bound     : +1.86000000000000e+02
3588.65/3598.22	c   Dual Bound       : +1.58895563977266e+02
3588.65/3598.22	c Gap                : 17.05802 %
3588.65/3598.22	c * Warning: final gap: 1.70580e-01 is greater than SCIPepsilon: 1.00000e-09
3588.65/3598.22	o 186
3588.65/3598.22	s SATISFIABLE
3588.65/3598.22	v -x467 x466 -x465 x464 x463 -x462 -x461 x460 -x459 x458 x457 x456 -x455 x454 x453 x452 -x451 -x450 -x449 x448 -x447 x446 x445 -x444 
3588.65/3598.22	v x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 x434 -x433 x432 -x431 x430 x429 -x428 x427 x426 -x425 x424 -x423 -x422 
3588.65/3598.22	v x421 -x420 -x419 -x418 x417 x416 -x415 x414 x413 -x412 x411 x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 x402 x401 -x400 
3588.65/3598.22	v -x399 -x398 -x397 x396 x395 -x394 -x393 x392 x391 -x390 x389 -x388 x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 
3588.65/3598.22	v x377 x376 -x375 x374 x373 -x372 -x371 -x370 -x369 -x368 -x367 x366 x365 x364 -x363 -x362 -x361 -x360 x359 x358 -x357 -x356 -x355 
3588.65/3598.22	v x354 x353 x352 -x351 x350 -x349 -x348 x347 x346 -x345 x344 -x343 -x342 x341 -x340 -x339 -x338 x337 x336 -x335 -x334 x333 
3588.65/3598.22	v x332 -x331 x330 -x329 -x328 x327 -x326 x325 x324 x323 -x322 -x321 -x320 x319 -x318 -x317 -x316 x315 x314 -x313 -x312 -x311 -x310 
3588.65/3598.22	v -x309 x308 x307 x306 -x305 -x304 -x303 -x302 -x301 x300 x299 -x298 -x297 -x296 x295 -x294 x293 x292 -x291 -x290 -x289 x288 
3588.65/3598.22	v -x287 -x286 -x285 x284 x283 x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 x272 -x271 -x270 x269 -x268 -x267 -x266 
3588.65/3598.22	v x265 -x264 x263 x262 -x261 -x260 -x259 x258 x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 x246 x245 x244 -x243 
3588.65/3598.22	v x242 -x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 x233 x232 -x231 -x230 x229 -x228 -x227 -x226 x225 -x224 x223 -x222 -x221 
3588.65/3598.22	v -x220 -x219 -x218 -x217 -x216 x215 x214 x213 -x212 -x211 x210 -x209 x208 -x207 -x206 x205 x204 x203 x202 x201 x200 x199 
3588.65/3598.22	v -x198 -x197 x196 x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 x186 -x185 x184 -x183 x182 -x181 x180 -x179 -x178 x177 x176 
3588.65/3598.22	v -x175 -x174 -x173 -x172 -x171 -x170 x169 x168 x167 -x166 x165 x164 x163 -x162 x161 x160 -x159 -x158 -x157 -x156 x155 x154 
3588.65/3598.22	v x153 -x152 x151 x150 x149 -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 
3588.65/3598.22	v -x131 x130 -x129 x128 x127 -x126 x125 x124 -x123 -x122 x121 -x120 x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 
3588.65/3598.22	v -x109 x108 -x107 -x106 -x105 -x104 x103 -x102 x101 x100 -x99 -x98 x97 -x96 x95 x94 -x93 -x92 x91 -x90 -x89 x88 x87 -x86 x85 -x84 
3588.65/3598.22	v x83 -x82 -x81 x80 -x79 x78 -x77 -x76 -x75 -x74 x73 x72 -x71 -x70 x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 x60 -x59 x58 -x57 
3588.65/3598.22	v -x56 -x55 -x54 x53 x52 x51 -x50 -x49 -x48 x47 -x46 x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 x33 -x32 -x31 
3588.65/3598.22	v -x30 -x29 x28 x27 x26 x25 x24 -x23 x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 x5 -x4 -x3 x2 
3588.65/3598.22	v -x1 

Verifier Data

OK	186

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: 64059 MiB (63047 MiB free)
  memory of node 1: 64510 MiB (60832 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463979-1722378596/watcher-4463979-1722378596 -o /tmp/evaluation-result-4463979-1722378596/solver-4463979-1722378596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722378594-28872 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463979-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=28987, runsolver pid=28984

[startup+0.100099 s]*
/proc/loadavg: 0.40 0.17 0.11 5/249 28990
/proc/meminfo: memFree=126827512/131655788 swapFree=131071996/131071996
[pid=28987] ppid=28984 vsize=112372 memory=25276 CPUtime=0.1 cores=1,3
/proc/28987/stat : 28987 (fscip) S 28984 28987 28860 0 -1 1077936128 3792 0 0 0 9 1 0 0 20 0 3 0 4456547 115068928 6319 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
/proc/28987/statm: 28093 6319 2838 3035 0 9751 0
[pid=28987/tid=28989] ppid=28984 vsize=112372 memory=4026561586 CPUtime=0.03 cores=1,3
/proc/28987/task/28989/stat : 28989 (fscip) R 28984 28987 28860 0 -1 4194368 1382 0 0 0 3 0 0 0 20 0 3 0 4456553 115068928 6319 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
[pid=28987/tid=28990] ppid=28984 vsize=112372 memory=232851243367 CPUtime=0 cores=1,3
/proc/28987/task/28990/stat : 28990 (fscip) S 28984 28987 28860 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456555 115068928 6319 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112372 KiB
Current children cumulated memory: 25276 KiB

[startup+0.213154 s]*
/proc/loadavg: 0.40 0.17 0.11 5/249 28990
/proc/meminfo: memFree=126799872/131655788 swapFree=131071996/131071996
[pid=28987] ppid=28984 vsize=112372 memory=28648 CPUtime=0.21 cores=1,3
/proc/28987/stat : 28987 (fscip) S 28984 28987 28860 0 -1 1077936128 4489 0 0 0 20 1 0 0 20 0 3 0 4456547 115068928 7162 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
/proc/28987/statm: 28093 7162 2966 3035 0 10451 0
[pid=28987/tid=28989] ppid=28984 vsize=112372 memory=664970838410264707 CPUtime=0.13 cores=1,3
/proc/28987/task/28989/stat : 28989 (fscip) R 28984 28987 28860 0 -1 4194368 2079 0 0 0 13 0 0 0 20 0 3 0 4456553 115068928 7162 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
[pid=28987/tid=28990] ppid=28984 vsize=112372 memory=18990 CPUtime=0 cores=1,3
/proc/28987/task/28990/stat : 28990 (fscip) S 28984 28987 28860 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456555 115068928 7162 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 112372 KiB
Current children cumulated memory: 28648 KiB

[startup+0.312909 s]*
/proc/loadavg: 0.40 0.17 0.11 5/249 28990
/proc/meminfo: memFree=126799144/131655788 swapFree=131071996/131071996
[pid=28987] ppid=28984 vsize=112372 memory=28648 CPUtime=0.31 cores=1,3
/proc/28987/stat : 28987 (fscip) S 28984 28987 28860 0 -1 1077936128 4498 0 0 0 30 1 0 0 20 0 3 0 4456547 115068928 7162 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
/proc/28987/statm: 28093 7162 2966 3035 0 10459 0
[pid=28987/tid=28989] ppid=28984 vsize=112372 memory=-5155631280068783237 CPUtime=0.23 cores=1,3
/proc/28987/task/28989/stat : 28989 (fscip) R 28984 28987 28860 0 -1 4194368 2088 0 0 0 23 0 0 0 20 0 3 0 4456553 115068928 7162 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
[pid=28987/tid=28990] ppid=28984 vsize=112372 memory=0 CPUtime=0 cores=1,3
/proc/28987/task/28990/stat : 28990 (fscip) S 28984 28987 28860 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456555 115068928 7162 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 112372 KiB
Current children cumulated memory: 28648 KiB

[startup+0.700411 s]
/proc/loadavg: 0.40 0.17 0.11 5/250 28991
/proc/meminfo: memFree=126760696/131655788 swapFree=131071996/131071996
[pid=28987] ppid=28984 vsize=112372 memory=28912 CPUtime=0.68 cores=1,3
/proc/28987/stat : 28987 (fscip) S 28984 28987 28860 0 -1 1077936128 4548 0 0 0 67 1 0 0 20 0 3 0 4456547 115068928 7228 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
/proc/28987/statm: 28093 7228 2966 3035 0 10541 0
[pid=28987/tid=28989] ppid=28984 vsize=112372 memory=0 CPUtime=0.61 cores=1,3
/proc/28987/task/28989/stat : 28989 (fscip) R 28984 28987 28860 0 -1 4194368 2138 0 0 0 61 0 0 0 20 0 3 0 4456553 115068928 7228 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
[pid=28987/tid=28990] ppid=28984 vsize=112372 memory=0 CPUtime=0 cores=1,3
/proc/28987/task/28990/stat : 28990 (fscip) S 28984 28987 28860 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456555 115068928 7228 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 112372 KiB
Current children cumulated memory: 28912 KiB

[startup+1.50041 s]
/proc/loadavg: 0.40 0.17 0.11 5/251 28992
/proc/meminfo: memFree=126693200/131655788 swapFree=131071996/131071996
[pid=28987] ppid=28984 vsize=117632 memory=45028 CPUtime=1.48 cores=1,3
/proc/28987/stat : 28987 (fscip) S 28984 28987 28860 0 -1 1077936128 10120 0 0 0 146 2 0 0 20 0 3 0 4456547 120455168 11257 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
/proc/28987/statm: 29408 11257 2982 3035 0 14594 0
[pid=28987/tid=28989] ppid=28984 vsize=117632 memory=0 CPUtime=1.4 cores=1,3
/proc/28987/task/28989/stat : 28989 (fscip) R 28984 28987 28860 0 -1 4194368 7705 0 0 0 139 1 0 0 20 0 3 0 4456553 120455168 11257 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
[pid=28987/tid=28990] ppid=28984 vsize=117632 memory=0 CPUtime=0 cores=1,3
/proc/28987/task/28990/stat : 28990 (fscip) S 28984 28987 28860 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4456555 120455168 11257 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 117632 KiB
Current children cumulated memory: 45028 KiB

[startup+3.1127 s]
/proc/loadavg: 0.40 0.17 0.11 5/251 28992
/proc/meminfo: memFree=126514832/131655788 swapFree=131071996/131071996
[pid=28987] ppid=28984 vsize=203248 memory=155096 CPUtime=3.09 cores=1,3
/proc/28987/stat : 28987 (fscip) S 28984 28987 28860 0 -1 1077936128 41978 0 0 0 301 8 0 0 20 0 3 0 4456547 208125952 38774 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
/proc/28987/statm: 50812 38774 2982 3035 0 42796 0
[pid=28987/tid=28989] ppid=28984 vsize=203248 memory=0 CPUtime=3.01 cores=1,3
/proc/28987/task/28989/stat : 28989 (fscip) R 28984 28987 28860 0 -1 4194368 39561 0 0 0 294 7 0 0 20 0 3 0 4456553 208125952 38774 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
[pid=28987/tid=28990] ppid=28984 vsize=203248 memory=0 CPUtime=0 cores=1,3
/proc/28987/task/28990/stat : 28990 (fscip) S 28984 28987 28860 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4456555 208125952 38774 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 203248 KiB
Current children cumulated memory: 155096 KiB

[startup+6.30035 s]
/proc/loadavg: 0.77 0.25 0.14 5/251 28992
/proc/meminfo: memFree=126349632/131655788 swapFree=131071996/131071996
[pid=28987] ppid=28984 vsize=203248 memory=158400 CPUtime=6.27 cores=1,3
/proc/28987/stat : 28987 (fscip) S 28984 28987 28860 0 -1 1077936128 50587 0 0 0 618 9 0 0 20 0 3 0 4456547 208125952 39600 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
/proc/28987/statm: 50812 39600 2982 3035 0 43772 0
[pid=28987/tid=28989] ppid=28984 vsize=203248 memory=-5155631280068783237 CPUtime=6.19 cores=1,3
/proc/28987/task/28989/stat : 28989 (fscip) R 28984 28987 28860 0 -1 4194368 48136 0 0 0 611 8 0 0 20 0 3 0 4456553 208125952 39600 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
[pid=28987/tid=28990] ppid=28984 vsize=203248 memory=-5155631280068783237 CPUtime=0 cores=1,3
/proc/28987/task/28990/stat : 28990 (fscip) S 28984 28987 28860 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 4456555 208125952 39600 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 203248 KiB
Current children cumulated memory: 158400 KiB

[startup+12.7003 s]
/proc/loadavg: 1.03 0.31 0.16 5/251 28993
/proc/meminfo: memFree=126344824/131655788 swapFree=131071996/131071996
[pid=28987] ppid=28984 vsize=203248 memory=158468 CPUtime=12.65 cores=1,3
/proc/28987/stat : 28987 (fscip) S 28984 28987 28860 0 -1 1077936128 56510 0 0 0 1256 9 0 0 20 0 3 0 4456547 208125952 39617 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
/proc/28987/statm: 50812 39617 2998 3035 0 43772 0
[pid=28987/tid=28989] ppid=28984 vsize=203248 memory=-5155631280068783237 CPUtime=12.57 cores=1,3
/proc/28987/task/28989/stat : 28989 (fscip) R 28984 28987 28860 0 -1 4194368 54006 0 0 0 1249 8 0 0 20 0 3 0 4456553 208125952 39617 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
[pid=28987/tid=28990] ppid=28984 vsize=203248 memory=158404 CPUtime=0 cores=1,3
/proc/28987/task/28990/stat : 28990 (fscip) S 28984 28987 28860 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 4456555 208125952 39617 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 203248 KiB
Current children cumulated memory: 158468 KiB

[startup+25.5004 s]
/proc/loadavg: 1.69 0.49 0.22 5/255 29055
/proc/meminfo: memFree=126224216/131655788 swapFree=131071996/131071996
[pid=28987] ppid=28984 vsize=267208 memory=214704 CPUtime=25.42 cores=1,3
/proc/28987/stat : 28987 (fscip) S 28984 28987 28860 0 -1 1077936128 128757 0 0 0 2528 14 0 0 20 0 3 0 4456547 273620992 53676 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
/proc/28987/statm: 66802 53676 2998 3035 0 58212 0
[pid=28987/tid=28989] ppid=28984 vsize=267208 memory=214840 CPUtime=25.34 cores=1,3
/proc/28987/task/28989/stat : 28989 (fscip) R 28984 28987 28860 0 -1 4194368 125999 0 0 0 2521 13 0 0 20 0 3 0 4456553 273620992 53676 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
[pid=28987/tid=28990] ppid=28984 vsize=267208 memory=11488 CPUtime=0 cores=1,3
/proc/28987/task/28990/stat : 28990 (fscip) S 28984 28987 28860 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 4456555 273620992 53676 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 267208 KiB
Current children cumulated memory: 214704 KiB

[startup+51.1126 s]
/proc/loadavg: 2.56 0.79 0.33 5/253 29059
/proc/meminfo: memFree=126196980/131655788 swapFree=131071996/131071996
[pid=28987] ppid=28984 vsize=265160 memory=217788 CPUtime=50.97 cores=1,3
/proc/28987/stat : 28987 (fscip) S 28984 28987 28860 0 -1 1077936128 182153 0 0 0 5079 18 0 0 20 0 3 0 4456547 271523840 54447 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
/proc/28987/statm: 66290 54447 2998 3035 0 58978 0
[pid=28987/tid=28989] ppid=28984 vsize=265160 memory=217780 CPUtime=50.89 cores=1,3
/proc/28987/task/28989/stat : 28989 (fscip) R 28984 28987 28860 0 -1 4194368 179013 0 0 0 5072 17 0 0 20 0 3 0 4456553 271523840 54447 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
[pid=28987/tid=28990] ppid=28984 vsize=265160 memory=16592 CPUtime=0 cores=1,3
/proc/28987/task/28990/stat : 28990 (fscip) S 28984 28987 28860 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 4456555 271523840 54447 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 265160 KiB
Current children cumulated memory: 217788 KiB

[startup+102.3 s]
/proc/loadavg: 3.45 1.31 0.53 6/251 29114
/proc/meminfo: memFree=124240096/131655788 swapFree=131071996/131071996
[pid=28987] ppid=28984 vsize=326600 memory=239328 CPUtime=102.02 cores=1,3
/proc/28987/stat : 28987 (fscip) S 28984 28987 28860 0 -1 1077936128 262309 0 0 0 10177 25 0 0 20 0 3 0 4456547 334438400 59832 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
/proc/28987/statm: 81650 59832 2998 3035 0 63912 0
[pid=28987/tid=28989] ppid=28984 vsize=326600 memory=219208 CPUtime=101.93 cores=1,3
/proc/28987/task/28989/stat : 28989 (fscip) R 28984 28987 28860 0 -1 4194368 259069 0 0 0 10169 24 0 0 20 0 3 0 4456553 334438400 59832 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
[pid=28987/tid=28990] ppid=28984 vsize=326600 memory=16592 CPUtime=0 cores=1,3
/proc/28987/task/28990/stat : 28990 (fscip) S 28984 28987 28860 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 4456555 334438400 59832 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 326600 KiB
Current children cumulated memory: 239328 KiB

[startup+162.3 s]
/proc/loadavg: 3.86 1.83 0.76 5/251 29125
/proc/meminfo: memFree=121375328/131655788 swapFree=131071996/131071996
[pid=28987] ppid=28984 vsize=392136 memory=312392 CPUtime=161.83 cores=1,3
/proc/28987/stat : 28987 (fscip) S 28984 28987 28860 0 -1 1077936128 343787 0 0 0 16149 34 0 0 20 0 3 0 4456547 401547264 78098 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
/proc/28987/statm: 98034 78098 2998 3035 0 81998 0
[pid=28987/tid=28989] ppid=28984 vsize=392136 memory=12136 CPUtime=161.74 cores=1,3
/proc/28987/task/28989/stat : 28989 (fscip) R 28984 28987 28860 0 -1 4194368 340366 0 0 0 16141 33 0 0 20 0 3 0 4456553 401547264 78098 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
[pid=28987/tid=28990] ppid=28984 vsize=392136 memory=11488 CPUtime=0 cores=1,3
/proc/28987/task/28990/stat : 28990 (fscip) S 28984 28987 28860 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 4456555 401547264 78098 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 392136 KiB

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

/proc/28987/statm: 100730 93590 2998 3035 0 96549 0
[pid=28987/tid=28989] ppid=28984 vsize=402920 memory=372060 CPUtime=3392.86 cores=1,3
/proc/28987/task/28989/stat : 28989 (fscip) R 28984 28987 28860 0 -1 4194368 729710 0 0 0 339165 121 0 0 20 0 3 0 4456553 412590080 93590 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
[pid=28987/tid=28990] ppid=28984 vsize=402920 memory=16592 CPUtime=0.05 cores=1,3
/proc/28987/task/28990/stat : 28990 (fscip) S 28984 28987 28860 0 -1 1077936192 193 0 0 0 1 4 0 0 20 0 3 0 4456555 412590080 93590 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
Current children cumulated CPU time: 3393.35 s
Current children cumulated vsize: 402920 KiB
Current children cumulated memory: 374360 KiB

[startup+3462.3 s]
/proc/loadavg: 4.92 4.42 4.20 5/249 30820
/proc/meminfo: memFree=123640300/131655788 swapFree=131071996/131071996
[pid=28987] ppid=28984 vsize=402920 memory=374952 CPUtime=3453.17 cores=1,3
/proc/28987/stat : 28987 (fscip) S 28984 28987 28860 0 -1 1077936128 739330 0 0 0 345177 140 0 0 20 0 3 0 4456547 412590080 93738 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
/proc/28987/statm: 100730 93738 2998 3035 0 96549 0
[pid=28987/tid=28989] ppid=28984 vsize=402920 memory=372060 CPUtime=3452.67 cores=1,3
/proc/28987/task/28989/stat : 28989 (fscip) R 28984 28987 28860 0 -1 4194368 734509 0 0 0 345145 122 0 0 20 0 3 0 4456553 412590080 93738 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
[pid=28987/tid=28990] ppid=28984 vsize=402920 memory=11488 CPUtime=0.05 cores=1,3
/proc/28987/task/28990/stat : 28990 (fscip) S 28984 28987 28860 0 -1 1077936192 196 0 0 0 1 4 0 0 20 0 3 0 4456555 412590080 93738 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
Current children cumulated CPU time: 3453.17 s
Current children cumulated vsize: 402920 KiB
Current children cumulated memory: 374952 KiB

[startup+3522.3 s]
/proc/loadavg: 4.45 4.39 4.20 5/249 30999
/proc/meminfo: memFree=123620220/131655788 swapFree=131071996/131071996
[pid=28987] ppid=28984 vsize=402920 memory=375012 CPUtime=3512.99 cores=1,3
/proc/28987/stat : 28987 (fscip) S 28984 28987 28860 0 -1 1077936128 743721 0 0 0 351156 143 0 0 20 0 3 0 4456547 412590080 93753 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
/proc/28987/statm: 100730 93753 2998 3035 0 96549 0
[pid=28987/tid=28989] ppid=28984 vsize=402920 memory=372084 CPUtime=3512.49 cores=1,3
/proc/28987/task/28989/stat : 28989 (fscip) R 28984 28987 28860 0 -1 4194368 738881 0 0 0 351124 125 0 0 20 0 3 0 4456553 412590080 93753 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
[pid=28987/tid=28990] ppid=28984 vsize=402920 memory=11488 CPUtime=0.05 cores=1,3
/proc/28987/task/28990/stat : 28990 (fscip) S 28984 28987 28860 0 -1 1077936192 198 0 0 0 1 4 0 0 20 0 3 0 4456555 412590080 93753 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
Current children cumulated CPU time: 3512.99 s
Current children cumulated vsize: 402920 KiB
Current children cumulated memory: 375012 KiB

[startup+3582.3 s]
/proc/loadavg: 4.88 4.50 4.25 5/248 31010
/proc/meminfo: memFree=123597764/131655788 swapFree=131071996/131071996
[pid=28987] ppid=28984 vsize=402920 memory=375324 CPUtime=3572.8 cores=1,3
/proc/28987/stat : 28987 (fscip) S 28984 28987 28860 0 -1 1077936128 749416 0 0 0 357136 144 0 0 20 0 3 0 4456547 412590080 93831 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
/proc/28987/statm: 100730 93831 2998 3035 0 96624 0
[pid=28987/tid=28989] ppid=28984 vsize=402920 memory=0 CPUtime=3572.29 cores=1,3
/proc/28987/task/28989/stat : 28989 (fscip) R 28984 28987 28860 0 -1 4194368 744554 0 0 0 357103 126 0 0 20 0 3 0 4456553 412590080 93831 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
[pid=28987/tid=28990] ppid=28984 vsize=402920 memory=-7017853435446911608 CPUtime=0.05 cores=1,3
/proc/28987/task/28990/stat : 28990 (fscip) S 28984 28987 28860 0 -1 1077936192 201 0 0 0 1 4 0 0 20 0 3 0 4456555 412590080 93831 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
Current children cumulated CPU time: 3572.8 s
Current children cumulated vsize: 402920 KiB
Current children cumulated memory: 375324 KiB

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

# cumulated CPU time of all completed processes:  user=3587.23 s, system=1.46502 s

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

[startup+3584 s]*
/proc/loadavg: 4.88 4.50 4.25 6/248 31010
/proc/meminfo: memFree=123597436/131655788 swapFree=131071996/131071996
[pid=28987] ppid=28984 vsize=402920 memory=375324 CPUtime=3574.5 cores=1,3
/proc/28987/stat : 28987 (fscip) S 28984 28987 28860 0 -1 1077936128 749431 0 0 0 357306 144 0 0 20 0 3 0 4456547 412590080 93831 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
/proc/28987/statm: 100730 93831 2998 3035 0 96624 0
[pid=28987/tid=28989] ppid=28984 vsize=402920 memory=-7449917524697768825 CPUtime=3573.99 cores=1,3
/proc/28987/task/28989/stat : 28989 (fscip) R 28984 28987 28860 0 -1 4194368 744569 0 0 0 357273 126 0 0 20 0 3 0 4456553 412590080 93831 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
[pid=28987/tid=28990] ppid=28984 vsize=402920 memory=-7738211608633177791 CPUtime=0.05 cores=1,3
/proc/28987/task/28990/stat : 28990 (fscip) S 28984 28987 28860 0 -1 1077936192 201 0 0 0 1 4 0 0 20 0 3 0 4456555 412590080 93831 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
Current children cumulated CPU time: 3574.5 s
Current children cumulated vsize: 402920 KiB
Current children cumulated memory: 375324 KiB

[startup+3590.4 s]
/proc/loadavg: 4.90 4.52 4.26 5/248 31011
/proc/meminfo: memFree=123596152/131655788 swapFree=131071996/131071996
[pid=28987] ppid=28984 vsize=402920 memory=375352 CPUtime=3580.88 cores=1,3
/proc/28987/stat : 28987 (fscip) S 28984 28987 28860 0 -1 1077936128 749576 0 0 0 357943 145 0 0 20 0 3 0 4456547 412590080 93838 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
/proc/28987/statm: 100730 93838 2998 3035 0 96624 0
[pid=28987/tid=28989] ppid=28984 vsize=402920 memory=0 CPUtime=3580.36 cores=1,3
/proc/28987/task/28989/stat : 28989 (fscip) R 28984 28987 28860 0 -1 4194368 744714 0 0 0 357910 126 0 0 20 0 3 0 4456553 412590080 93838 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
[pid=28987/tid=28990] ppid=28984 vsize=402920 memory=375324 CPUtime=0.05 cores=1,3
/proc/28987/task/28990/stat : 28990 (fscip) S 28984 28987 28860 0 -1 1077936192 201 0 0 0 1 4 0 0 20 0 3 0 4456555 412590080 93838 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
Current children cumulated CPU time: 3580.88 s
Current children cumulated vsize: 402920 KiB
Current children cumulated memory: 375352 KiB

[startup+3593.6 s]
/proc/loadavg: 4.90 4.52 4.26 5/248 31011
/proc/meminfo: memFree=123595256/131655788 swapFree=131071996/131071996
[pid=28987] ppid=28984 vsize=402920 memory=375352 CPUtime=3584.07 cores=1,3
/proc/28987/stat : 28987 (fscip) S 28984 28987 28860 0 -1 1077936128 749727 0 0 0 358262 145 0 0 20 0 3 0 4456547 412590080 93838 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
/proc/28987/statm: 100730 93838 2998 3035 0 96624 0
[pid=28987/tid=28989] ppid=28984 vsize=402920 memory=375352 CPUtime=3583.55 cores=1,3
/proc/28987/task/28989/stat : 28989 (fscip) R 28984 28987 28860 0 -1 4194368 744862 0 0 0 358229 126 0 0 20 0 3 0 4456553 412590080 93838 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
[pid=28987/tid=28990] ppid=28984 vsize=402920 memory=11744 CPUtime=0.05 cores=1,3
/proc/28987/task/28990/stat : 28990 (fscip) S 28984 28987 28860 0 -1 1077936192 203 0 0 0 1 4 0 0 20 0 3 0 4456555 412590080 93838 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
Current children cumulated CPU time: 3584.07 s
Current children cumulated vsize: 402920 KiB
Current children cumulated memory: 375352 KiB

[startup+3596.8 s]
/proc/loadavg: 4.99 4.55 4.27 6/247 31012
/proc/meminfo: memFree=123593996/131655788 swapFree=131071996/131071996
[pid=28987] ppid=28984 vsize=402920 memory=375352 CPUtime=3587.26 cores=1,3
/proc/28987/stat : 28987 (fscip) S 28984 28987 28860 0 -1 1077936128 749759 0 0 0 358581 145 0 0 20 0 3 0 4456547 412590080 93838 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
/proc/28987/statm: 100730 93838 2998 3035 0 96624 0
[pid=28987/tid=28989] ppid=28984 vsize=402920 memory=375324 CPUtime=3586.74 cores=1,3
/proc/28987/task/28989/stat : 28989 (fscip) R 28984 28987 28860 0 -1 4194368 744894 0 0 0 358548 126 0 0 20 0 3 0 4456553 412590080 93838 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
[pid=28987/tid=28990] ppid=28984 vsize=402920 memory=11488 CPUtime=0.05 cores=1,3
/proc/28987/task/28990/stat : 28990 (fscip) S 28984 28987 28860 0 -1 1077936192 203 0 0 0 1 4 0 0 20 0 3 0 4456555 412590080 93838 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
Current children cumulated CPU time: 3587.26 s
Current children cumulated vsize: 402920 KiB
Current children cumulated memory: 375352 KiB

[startup+3597.6 s]
/proc/loadavg: 4.99 4.55 4.27 5/246 31058
/proc/meminfo: memFree=124085092/131655788 swapFree=131071996/131071996
[pid=28987] ppid=28984 vsize=402920 memory=375352 CPUtime=3588.05 cores=1,3
/proc/28987/stat : 28987 (fscip) S 28984 28987 28860 0 -1 1077936128 751847 0 0 0 358660 145 0 0 20 0 3 0 4456547 412590080 93838 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
/proc/28987/statm: 100730 93838 2998 3035 0 96624 0
[pid=28987/tid=28989] ppid=28984 vsize=402920 memory=2448 CPUtime=3587.54 cores=1,3
/proc/28987/task/28989/stat : 28989 (fscip) R 28984 28987 28860 0 -1 4194368 746982 0 0 0 358627 127 0 0 20 0 3 0 4456553 412590080 93838 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
[pid=28987/tid=28990] ppid=28984 vsize=402920 memory=2268 CPUtime=0.05 cores=1,3
/proc/28987/task/28990/stat : 28990 (fscip) S 28984 28987 28860 0 -1 1077936192 203 0 0 0 1 4 0 0 20 0 3 0 4456555 412590080 93838 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
Current children cumulated CPU time: 3588.05 s
Current children cumulated vsize: 402920 KiB
Current children cumulated memory: 375352 KiB

[startup+3598 s]*
/proc/loadavg: 4.99 4.55 4.27 5/241 31096
/proc/meminfo: memFree=124136544/131655788 swapFree=131071996/131071996
[pid=28987] ppid=28984 vsize=402920 memory=375352 CPUtime=3588.46 cores=1,3
/proc/28987/stat : 28987 (fscip) S 28984 28987 28860 0 -1 1077936128 752060 0 0 0 358701 145 0 0 20 0 3 0 4456547 412590080 93838 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
/proc/28987/statm: 100730 93838 2998 3035 0 96624 0
[pid=28987/tid=28989] ppid=28984 vsize=402920 memory=8039887049847963817 CPUtime=3587.95 cores=1,3
/proc/28987/task/28989/stat : 28989 (fscip) R 28984 28987 28860 0 -1 4194368 747192 0 0 0 358668 127 0 0 20 0 3 0 4456553 412590080 93838 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
[pid=28987/tid=28990] ppid=28984 vsize=402920 memory=375352 CPUtime=0.05 cores=1,3
/proc/28987/task/28990/stat : 28990 (fscip) S 28984 28987 28860 0 -1 1077936192 203 0 0 0 1 4 0 0 20 0 3 0 4456555 412590080 93838 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
Current children cumulated CPU time: 3588.46 s
Current children cumulated vsize: 402920 KiB
Current children cumulated memory: 375352 KiB

[startup+3598.2 s]
/proc/loadavg: 4.99 4.55 4.27 5/241 31096
/proc/meminfo: memFree=124136544/131655788 swapFree=131071996/131071996
[pid=28987] ppid=28984 vsize=400864 memory=373296 CPUtime=3588.65 cores=1,3
/proc/28987/stat : 28987 (fscip) S 28984 28987 28860 0 -1 1077936128 754961 0 0 0 358720 145 0 0 20 0 3 0 4456547 410484736 93324 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
/proc/28987/statm: 100216 93324 2998 3035 0 96110 0
[pid=28987/tid=28989] ppid=28984 vsize=400864 memory=4732 CPUtime=3588.14 cores=1,3
/proc/28987/task/28989/stat : 28989 (fscip) R 28984 28987 28860 0 -1 4194368 750093 0 0 0 358687 127 0 0 20 0 3 0 4456553 410484736 93324 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
[pid=28987/tid=28990] ppid=28984 vsize=400864 memory=1333236 CPUtime=0.05 cores=1,3
/proc/28987/task/28990/stat : 28990 (fscip) S 28984 28987 28860 0 -1 1077936192 203 0 0 0 1 4 0 0 20 0 3 0 4456555 410484736 93324 134679101440 4194304 16623229 140727752955264 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26099712 140727752963098 140727752963214 140727752963214 140727752970224 0
Current children cumulated CPU time: 3588.65 s
Current children cumulated vsize: 400864 KiB
Current children cumulated memory: 373296 KiB

Child status: 0

Real time (s): 3598.23
CPU time (s): 3588.69
CPU user time (s): 3587.23
CPU system time (s): 1.46502
CPU usage (%): 99.735
Max. virtual memory (cumulated for all children) (KiB): 468456
Max. memory (cumulated for all children) (KiB): 376908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.23
system time used= 1.46502
maximum resident set size= 377172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 755201
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= 12789
involuntary context switches= 1912


# summary of solver processes directly reported to runsolver:
#   pid: 28987
#   total CPU time (s): 3588.69
#   total CPU user time (s): 3587.23
#   total CPU system time (s): 1.46502

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7002 second user time and 32.708 second system time

The end

Launcher Data

Begin job on nodeC010 at 2024-07-31 00:29:56
IDJOB=4463979
IDBENCH=147542
IDSOLVER=3092
FILE ID=nodeC010/4463979-1722378596
RUNJOBID= nodeC010-1722378594-28872
SLURM_JOB_ID= 8249840
Free space on /tmp= 723692 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_19.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-4463979-1722378596/watcher-4463979-1722378596 -o /tmp/evaluation-result-4463979-1722378596/solver-4463979-1722378596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722378594-28872 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4463979-1722378596.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 8940813d27fb075f4739eb458e093f9a
RANDOM SEED=1453536771

nodeC010.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		: 2992.809
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.21
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.132
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.33
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.127
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.21
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.126
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.33
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		: 2992.807
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.21
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		: 3192.328
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.33
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.208
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.21
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.164
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.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126870580 kB
MemAvailable:   129727744 kB
Buffers:           84052 kB
Cached:          3615524 kB
SwapCached:            0 kB
Active:           246324 kB
Inactive:        4103676 kB
Active(anon):       1952 kB
Inactive(anon):   678056 kB
Active(file):     244372 kB
Inactive(file):  3425620 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            115700 kB
Writeback:             0 kB
AnonPages:        650840 kB
Mapped:           126344 kB
Shmem:             29504 kB
KReclaimable:      54404 kB
Slab:             129768 kB
SReclaimable:      54404 kB
SUnreclaim:        75364 kB
KernelStack:        3952 kB
PageTables:        10684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     911172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6880 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 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:      146248 kB
DirectMap2M:     8146944 kB
DirectMap1G:    127926272 kB

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