Trace number 4463976

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-30SAT183 3588.91 3598.15

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
MD5SUM62fadc113b966a642e431cfbd80ddcdc
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
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables465
Total number of constraints465
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 constraints465
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 465
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 465
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 465
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.00	c Default LC presolving (default).
0.00/0.00	c ** Before presolving: virtualMemUsedAtLc = 24428544, getVmSize() = 24428544, SCIPgetMemUsed() = 2282493, SCIPgetMemTotal() = 2890933, SCIPgetMemExternEstim() = 1048576
0.00/0.00	c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.02	c ** Estimated virtualMemUsedAtSolver = 17995093, getVmSize() = 29556736, SCIPgetMemUsed() = 3241519, SCIPgetMemTotal() = 6544455, SCIPgetMemExternEstim() = 1048576
0.00/0.02	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.02	c Original Problem   :
0.00/0.02	c   Problem name     : instance-4463976-1722378596
0.00/0.02	c   Variables        : 465 (465 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02	c   Constraints      : 465
0.00/0.02	c   Objective sense  : minimize
0.00/0.02	c Presolved Problem  :
0.00/0.02	c   Variables        : 465 (465 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02	c   Constraints      : 543
0.00/0.02	c Constraints        : Number
0.00/0.02	c   knapsack         : 415 
0.00/0.02	c   setppc           : 110 
0.00/0.02	c   logicor          : 18 
0.00/0.02	c ** Instance transfer method used: 0
0.00/0.02	c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.03	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.03	c                                Nodes    Active                                            
0.00/0.03	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.00/0.05	c *       0              0           1         1         214.0000                -          -
0.00/0.05	c *       0              0           1         1         204.0000                -          -
5.37/5.41	c         5              4           3         1         204.0000         159.7492     27.70%
10.86/10.95	c        11             11          10         1         204.0000         159.7492     27.70%
13.95/14.02	c *      14             15          14         1         202.0000         159.7492     26.45%
13.95/14.02	c *      14             15          14         1         197.0000         159.7492     23.32%
13.95/14.03	c *      14             15          14         1         195.0000         159.7492     22.07%
13.95/14.03	c *      14             15          14         1         193.0000         159.7492     20.81%
13.95/14.03	c *      14             15          14         1         192.0000         159.7492     20.19%
15.95/16.08	c        16             46          45         1         192.0000         159.7492     20.19%
21.23/21.35	c        21            114         113         1         192.0000         159.7979     20.15%
23.33/23.42	c *      23            131         130         1         191.0000         159.7979     19.53%
23.33/23.42	c *      23            131         130         1         187.0000         159.7979     17.02%
27.12/27.21	c        27            238         237         1         187.0000         159.8177     17.01%
29.61/29.76	c *      30            262         261         1         186.0000         159.9343     16.30%
32.80/32.94	c        33            295         294         1         186.0000         159.9800     16.26%
37.90/38.03	c        38            355         354         1         186.0000         160.0992     16.18%
42.98/43.18	c        43            401         400         1         186.0000         160.1319     16.15%
48.36/48.58	c        49            440         439         1         186.0000         160.2373     16.08%
53.44/53.64	c        54            469         468         1         186.0000         160.2527     16.07%
58.43/58.69	c        59            499         498         1         186.0000         160.2819     16.05%
64.31/64.54	c        65            541         540         1         186.0000         160.3145     16.02%
69.90/70.14	c        70            582         581         1         186.0000         160.3560     15.99%
75.28/75.54	c        76            622         621         1         186.0000         160.3841     15.97%
81.27/81.52	c        82            673         672         1         186.0000         160.4163     15.95%
86.35/86.65	c        87            720         719         1         186.0000         160.4770     15.90%
91.33/91.69	c        92            762         761         1         186.0000         160.5264     15.87%
97.01/97.36	c        97            813         812         1         186.0000         160.5505     15.85%
102.40/102.79	c       103            862         861         1         186.0000         160.5897     15.82%
108.08/108.49	c       108            909         908         1         186.0000         160.5924     15.82%
113.37/113.78	c       114            958         957         1         186.0000         160.6234     15.80%
118.96/119.31	c       119            999         998         1         186.0000         160.6315     15.79%
124.05/124.40	c       124           1042        1041         1         186.0000         160.6470     15.78%
130.63/131.02	c       131           1051           1         1         186.0000         160.6470     15.78%
136.62/137.06	c       137           1061          11         1         186.0000         160.6470     15.78%
142.50/142.90	c       143           1082          32         1         186.0000         160.6470     15.78%
148.19/148.61	c       149           1159         109         1         186.0000         160.6470     15.78%
153.27/153.75	c       154           1207         157         1         186.0000         160.6470     15.78%
159.35/159.85	c       160           1262         212         1         186.0000         160.6470     15.78%
164.34/164.88	c       165           1302         252         1         186.0000         160.6470     15.78%
170.42/170.95	c       171           1347         297         1         186.0000         160.6470     15.78%
176.01/176.56	c       177           1411         361         1         186.0000         160.6470     15.78%
179.81/180.31	c *     180           1514         466         1         185.0000         160.6470     15.16%
181.51/182.01	c       182           1671         541         1         185.0000         160.6470     15.16%
184.10/184.60	c *     185           1719         569         1         184.0000         160.6470     14.54%
187.09/187.60	c       188           1845         591         1         184.0000         160.6470     14.54%
192.17/192.74	c       193           2041         631         1         184.0000         160.6470     14.54%
197.46/198.01	c       198           2281         697         1         184.0000         160.6470     14.54%
203.45/204.10	c       204           2517         765         1         184.0000         160.6470     14.54%
208.93/209.53	c       210           2725         811         1         184.0000         160.6470     14.54%
211.12/211.78	c *     212           2774         834         1         183.0000         160.6470     13.91%
214.52/215.17	c       215           2865         815         1         183.0000         160.6470     13.91%
219.90/220.53	c       221           2986         872         1         183.0000         160.6470     13.91%
225.08/225.71	c       226           3311         933         1         183.0000         160.6470     13.91%
230.77/231.42	c       231           3522         978         1         183.0000         160.6470     13.91%
236.25/236.92	c       237           3693        1021         1         183.0000         160.6470     13.91%
241.74/242.43	c       242           3822        1064         1         183.0000         160.6470     13.91%
246.83/247.55	c       248           4054        1106         1         183.0000         160.6470     13.91%
252.62/253.38	c       253           4278        1152         1         183.0000         160.6470     13.91%
258.10/258.87	c       259           4542        1202         1         183.0000         160.6470     13.91%
263.79/264.56	c       265           4722        1266         1         183.0000         160.6470     13.91%
269.38/270.12	c       270           4942        1316         1         183.0000         160.6630     13.90%
275.26/276.04	c       276           5260        1390         1         183.0000         160.6935     13.88%
281.35/282.17	c       282           5452        1450         1         183.0000         160.7024     13.88%
286.43/287.26	c       287           5691        1515         1         183.0000         160.7267     13.86%
291.62/292.45	c       292           5831        1559         1         183.0000         160.7363     13.85%
297.40/298.20	c       298           6075        1621         1         183.0000         160.7641     13.83%
303.19/304.03	c       304           6372        1682         1         183.0000         160.7848     13.82%
308.98/309.88	c       310           6586        1738         1         183.0000         160.8011     13.81%
314.86/315.74	c       316           6882        1796         1         183.0000         160.8172     13.79%
320.54/321.44	c       321           7071        1857         1         183.0000         160.8323     13.78%
325.53/326.45	c       326           7231        1889         1         183.0000         160.8427     13.78%
330.72/331.67	c       332           7372        1936         1         183.0000         160.8444     13.77%
336.30/337.26	c       337           7611        1951         1         183.0000         160.8477     13.77%
341.80/342.72	c       343           7814        2022         1         183.0000         160.8563     13.77%
346.98/347.90	c       348           8011        2073         1         183.0000         160.8597     13.76%
352.17/353.19	c       353           8172        2124         1         183.0000         160.8678     13.76%
357.65/358.65	c       359           8335        2167         1         183.0000         160.8744     13.75%
362.94/363.91	c       364           8568        2206         1         183.0000         160.8775     13.75%
368.33/369.30	c       369           8702        2246         1         183.0000         160.8848     13.75%
374.12/375.15	c       375           8952        2334         1         183.0000         160.8902     13.74%
379.20/380.28	c       380           9261        2375         1         183.0000         160.8961     13.74%
384.89/385.91	c       386           9521        2455         1         183.0000         160.9042     13.73%
390.57/391.65	c       392           9762        2530         1         183.0000         160.9130     13.73%
395.86/396.97	c       397          10012        2588         1         183.0000         160.9257     13.72%
401.15/402.22	c       402          10181        2643         1         183.0000         160.9379     13.71%
407.23/408.39	c       408          10311        2699         1         183.0000         160.9424     13.71%
412.71/413.88	c       414          10471        2745         1         183.0000         160.9471     13.70%
418.60/419.71	c       420          10871        2737         1         183.0000         160.9486     13.70%
423.99/425.17	c       425          11003        2783         1         183.0000         160.9539     13.70%
429.57/430.78	c       431          11201        2841         1         183.0000         160.9652     13.69%
435.56/436.75	c       437          11454        2894         1         183.0000         160.9742     13.68%
440.95/442.18	c       442          11632        2950         1         183.0000         160.9818     13.68%
446.23/447.42	c       447          11901        2983         1         183.0000         160.9883     13.67%
451.92/453.12	c       453          12048        3036         1         183.0000         161.0005     13.66%
457.40/458.62	c       459          12201        3087         1         183.0000         161.0068     13.66%
462.99/464.28	c       464          12331        3149         1         183.0000         161.0163     13.65%
468.48/469.70	c       470          12571        3189         1         183.0000         161.0189     13.65%
474.06/475.37	c       475          12791        3213         1         183.0000         161.0258     13.65%
479.46/480.74	c       481          13002        3258         1         183.0000         161.0303     13.64%
485.04/486.37	c       486          13174        3318         1         183.0000         161.0513     13.63%
490.73/492.07	c       492          13490        3354         1         183.0000         161.0546     13.63%
496.01/497.32	c       497          13712        3394         1         183.0000         161.0632     13.62%
501.49/502.87	c       503          13852        3456         1         183.0000         161.0673     13.62%
507.08/508.44	c       508          14062        3490         1         183.0000         161.0719     13.61%
512.16/513.59	c       514          14271        3495         1         183.0000         161.0754     13.61%
518.06/519.45	c       519          14462        3532         1         183.0000         161.0856     13.60%
523.34/524.70	c       525          14623        3565         1         183.0000         161.0885     13.60%
528.83/530.23	c       530          14792        3598         1         183.0000         161.0986     13.60%
534.81/536.24	c       536          14993        3651         1         183.0000         161.1104     13.59%
540.10/541.52	c       542          15202        3688         1         183.0000         161.1149     13.58%
545.78/547.27	c       547          15451        3713         1         183.0000         161.1238     13.58%
550.97/552.43	c       552          15603        3757         1         183.0000         161.1278     13.57%
556.26/557.75	c       558          15861        3791         1         183.0000         161.1313     13.57%
562.04/563.56	c       564          16131        3841         1         183.0000         161.1356     13.57%
567.33/568.83	c       569          16378        3880         1         183.0000         161.1369     13.57%
573.21/574.79	c       575          16534        3910         1         183.0000         161.1457     13.56%
578.90/580.41	c       580          16772        3960         1         183.0000         161.1497     13.56%
584.69/586.22	c       586          17086        4006         1         183.0000         161.1557     13.55%
590.18/591.78	c       592          17311        4063         1         183.0000         161.1616     13.55%
595.66/597.28	c       597          17512        4118         1         183.0000         161.1675     13.55%
600.75/602.31	c       602          17691        4185         1         183.0000         161.1781     13.54%
606.14/607.77	c       608          17868        4236         1         183.0000         161.1829     13.54%
612.02/613.69	c       614          18217        4281         1         183.0000         161.1840     13.53%
617.41/619.01	c       619          18521        4313         1         183.0000         161.1941     13.53%
623.19/624.87	c       625          18833        4363         1         183.0000         161.1952     13.53%
628.28/629.96	c       630          18971        4427         1         183.0000         161.2002     13.52%
633.96/635.68	c       636          19212        4480         1         183.0000         161.2035     13.52%
639.95/641.68	c       642          19407        4541         1         183.0000         161.2062     13.52%
645.94/647.60	c       648          19744        4590         1         183.0000         161.2079     13.52%
650.92/652.66	c       653          19921        4623         1         183.0000         161.2120     13.52%
656.41/658.19	c       658          20151        4677         1         183.0000         161.2181     13.51%
661.89/663.68	c       664          20351        4725         1         183.0000         161.2247     13.51%
666.98/668.77	c       669          20588        4766         1         183.0000         161.2253     13.51%
672.16/673.96	c       674          20746        4828         1         183.0000         161.2266     13.50%
678.15/679.96	c       680          21005        4873         1         183.0000         161.2282     13.50%
683.54/685.39	c       685          21257        4905         1         183.0000         161.2288     13.50%
688.62/690.40	c       690          21391        4935         1         183.0000         161.2337     13.50%
694.61/696.46	c       696          21562        4984         1         183.0000         161.2405     13.50%
699.69/701.52	c       702          21782        5016         1         183.0000         161.2421     13.49%
705.28/707.19	c       707          21972        5082         1         183.0000         161.2484     13.49%
711.67/713.54	c       714          22211        5119         1         183.0000         161.2509     13.49%
717.16/719.05	c       719          22463        5155         1         183.0000         161.2526     13.49%
723.14/725.05	c       725          22662        5200         1         183.0000         161.2606     13.48%
728.33/730.22	c       730          22845        5233         1         183.0000         161.2674     13.48%
734.22/736.16	c       736          23045        5289         1         183.0000         161.2721     13.47%
739.70/741.66	c       742          23221        5337         1         183.0000         161.2774     13.47%
745.49/747.48	c       747          23520        5400         1         183.0000         161.2825     13.47%
751.57/753.50	c       754          23842        5452         1         183.0000         161.2843     13.46%
756.96/758.99	c       759          24032        5486         1         183.0000         161.2862     13.46%
762.15/764.13	c       764          24237        5519         1         183.0000         161.2887     13.46%
767.73/769.73	c       770          24601        5555         1         183.0000         161.2935     13.46%
773.61/775.62	c       776          24801        5605         1         183.0000         161.2977     13.45%
779.40/781.49	c       782          25039        5663         1         183.0000         161.3002     13.45%
784.48/786.54	c       787          25281        5723         1         183.0000         161.3034     13.45%
789.77/791.87	c       792          25497        5775         1         183.0000         161.3044     13.45%
794.96/797.08	c       797          25781        5825         1         183.0000         161.3089     13.45%
800.15/802.28	c       802          25991        5861         1         183.0000         161.3145     13.44%
805.73/807.85	c       808          26132        5902         1         183.0000         161.3198     13.44%
811.62/813.70	c       814          26265        5965         1         183.0000         161.3301     13.43%
817.10/819.26	c       819          26610        6014         1         183.0000         161.3335     13.43%
822.79/824.94	c       825          26882        6058         1         183.0000         161.3353     13.43%
828.58/830.76	c       831          27101        6103         1         183.0000         161.3416     13.42%
833.67/835.86	c       836          27314        6164         1         183.0000         161.3460     13.42%
838.86/841.08	c       841          27572        6200         1         183.0000         161.3477     13.42%
844.74/846.98	c       847          27871        6251         1         183.0000         161.3513     13.42%
850.42/852.70	c       853          28010        6300         1         183.0000         161.3531     13.42%
856.10/858.30	c       858          28221        6337         1         183.0000         161.3569     13.41%
861.59/863.81	c       864          28432        6412         1         183.0000         161.3595     13.41%
867.08/869.32	c       869          28696        6498         1         183.0000         161.3631     13.41%
872.26/874.59	c       875          28971        6547         1         183.0000         161.3638     13.41%
877.45/879.75	c       880          29216        6602         1         183.0000         161.3677     13.41%
882.75/885.09	c       885          29481        6675         1         183.0000         161.3737     13.40%
888.03/890.38	c       890          29741        6719         1         183.0000         161.3750     13.40%
893.12/895.46	c       895          29915        6763         1         183.0000         161.3773     13.40%
899.20/901.56	c       902          30231        6825         1         183.0000         161.3847     13.39%
905.18/907.53	c       908          30408        6878         1         183.0000         161.3917     13.39%
910.37/912.79	c       913          30619        6957         1         183.0000         161.3966     13.39%
915.56/917.96	c       918          30863        7023         1         183.0000         161.3975     13.38%
921.55/923.92	c       924          31187        7065         1         183.0000         161.4027     13.38%
927.03/929.43	c       929          31421        7109         1         183.0000         161.4052     13.38%
932.52/934.97	c       935          31641        7173         1         183.0000         161.4100     13.38%
938.00/940.43	c       940          31860        7220         1         183.0000         161.4106     13.38%
943.89/946.32	c       946          32148        7280         1         183.0000         161.4127     13.37%
949.07/951.50	c       952          32427        7323         1         183.0000         161.4191     13.37%
954.16/956.63	c       957          32679        7343         1         183.0000         161.4219     13.37%
959.85/962.30	c       962          32911        7403         1         183.0000         161.4245     13.37%
965.34/967.83	c       968          33131        7449         1         183.0000         161.4262     13.36%
971.22/973.73	c       974          33440        7518         1         183.0000         161.4266     13.36%
977.11/979.68	c       980          33638        7564         1         183.0000         161.4287     13.36%
982.19/984.74	c       985          33861        7587         1         183.0000         161.4308     13.36%
987.18/989.79	c       990          34061        7633         1         183.0000         161.4341     13.36%
992.57/995.14	c       995          34261        7697         1         183.0000         161.4392     13.36%
998.25/1000.86	c      1001          34501        7751         1         183.0000         161.4452     13.35%
1004.14/1006.74	c      1007          34739        7813         1         183.0000         161.4489     13.35%
1009.54/1012.17	c      1012          35061        7849         1         183.0000         161.4508     13.35%
1015.52/1018.13	c      1018          35312        7904         1         183.0000         161.4542     13.34%
1020.70/1023.31	c      1023          35611        7933         1         183.0000         161.4568     13.34%
1026.09/1028.79	c      1029          35829        7997         1         183.0000         161.4632     13.34%
1031.28/1033.94	c      1034          36141        8041         1         183.0000         161.4655     13.34%
1036.37/1039.06	c      1039          36381        8089         1         183.0000         161.4690     13.33%
1041.35/1044.09	c      1044          36603        8091         1         183.0000         161.4702     13.33%
1047.04/1049.79	c      1050          36851        8141         1         183.0000         161.4774     13.33%
1052.22/1054.97	c      1055          37101        8167         1         183.0000         161.4794     13.33%
1057.81/1060.58	c      1061          37351        8211         1         183.0000         161.4818     13.33%
1063.09/1065.82	c      1066          37566        8248         1         183.0000         161.4833     13.32%
1068.48/1071.21	c      1071          37793        8301         1         183.0000         161.4876     13.32%
1073.86/1076.66	c      1077          37962        8340         1         183.0000         161.4912     13.32%
1079.75/1082.51	c      1083          38161        8387         1         183.0000         161.4955     13.32%
1084.84/1087.69	c      1088          38451        8455         1         183.0000         161.4986     13.31%
1090.13/1092.91	c      1093          38721        8523         1         183.0000         161.5012     13.31%
1096.01/1098.85	c      1099          38911        8583         1         183.0000         161.5038     13.31%
1101.20/1104.09	c      1104          39078        8646         1         183.0000         161.5072     13.31%
1106.39/1109.24	c      1109          39301        8691         1         183.0000         161.5118     13.30%
1112.28/1115.16	c      1115          39609        8753         1         183.0000         161.5180     13.30%
1117.67/1120.52	c      1121          39841        8811         1         183.0000         161.5239     13.30%
1122.95/1125.80	c      1126          40081        8857         1         183.0000         161.5285     13.29%
1128.44/1131.35	c      1131          40304        8928         1         183.0000         161.5299     13.29%
1133.42/1136.39	c      1136          40471        8985         1         183.0000         161.5341     13.29%
1138.61/1141.52	c      1142          40757        9041         1         183.0000         161.5355     13.29%
1143.60/1146.56	c      1147          40920        9092         1         183.0000         161.5481     13.28%
1148.89/1151.86	c      1152          41198        9152         1         183.0000         161.5499     13.28%
1154.57/1157.50	c      1158          41469        9193         1         183.0000         161.5547     13.27%
1159.66/1162.65	c      1163          41771        9253         1         183.0000         161.5596     13.27%
1164.86/1167.85	c      1168          41942        9308         1         183.0000         161.5617     13.27%
1170.24/1173.26	c      1173          42251        9357         1         183.0000         161.5648     13.27%
1175.33/1178.38	c      1178          42481        9417         1         183.0000         161.5669     13.27%
1181.31/1184.37	c      1184          42677        9485         1         183.0000         161.5689     13.26%
1186.50/1189.50	c      1190          42961        9515         1         183.0000         161.5727     13.26%
1192.09/1195.19	c      1195          43191        9559         1         183.0000         161.5761     13.26%
1197.98/1201.04	c      1201          43436        9626         1         183.0000         161.5799     13.26%
1203.06/1206.19	c      1206          43676        9668         1         183.0000         161.5863     13.25%
1208.25/1211.39	c      1211          43923        9697         1         183.0000         161.5874     13.25%
1213.84/1216.98	c      1217          44206        9732         1         183.0000         161.5894     13.25%
1219.72/1222.83	c      1223          44421        9799         1         183.0000         161.5942     13.25%
1224.91/1228.06	c      1228          44691        9851         1         183.0000         161.5971     13.24%
1230.10/1233.27	c      1233          44881        9907         1         183.0000         161.5995     13.24%
1235.18/1238.38	c      1238          45109        9939         1         183.0000         161.6004     13.24%
1240.57/1243.77	c      1244          45363        9987         1         183.0000         161.6014     13.24%
1246.35/1249.51	c      1250          45651       10041         1         183.0000         161.6054     13.24%
1251.44/1254.64	c      1255          45921       10091         1         183.0000         161.6084     13.24%
1256.84/1260.02	c      1260          46125       10137         1         183.0000         161.6097     13.24%
1262.52/1265.76	c      1266          46451       10193         1         183.0000         161.6109     13.23%
1269.00/1272.27	c      1272          46652       10252         1         183.0000         161.6118     13.23%
1274.49/1277.71	c      1278          46877       10297         1         183.0000         161.6119     13.23%
1279.98/1283.22	c      1283          47071       10347         1         183.0000         161.6135     13.23%
1285.37/1288.61	c      1289          47356       10366         1         183.0000         161.6163     13.23%
1291.05/1294.32	c      1294          47651       10445         1         183.0000         161.6184     13.23%
1296.34/1299.69	c      1300          47901       10513         1         183.0000         161.6213     13.23%
1302.02/1305.32	c      1305          48241       10561         1         183.0000         161.6222     13.23%
1307.21/1310.56	c      1311          48563       10597         1         183.0000         161.6235     13.23%
1312.90/1316.29	c      1316          48757       10661         1         183.0000         161.6293     13.22%
1318.29/1321.69	c      1322          49122       10684         1         183.0000         161.6296     13.22%
1323.68/1327.01	c      1327          49392       10734         1         183.0000         161.6306     13.22%
1328.67/1332.07	c      1332          49661       10779         1         183.0000         161.6347     13.22%
1333.76/1337.11	c      1337          49821       10839         1         183.0000         161.6362     13.22%
1339.34/1342.79	c      1343          50106       10888         1         183.0000         161.6385     13.22%
1345.02/1348.48	c      1348          50233       10949         1         183.0000         161.6416     13.21%
1350.11/1353.58	c      1354          50511       10989         1         183.0000         161.6434     13.21%
1355.40/1358.85	c      1359          50831       11041         1         183.0000         161.6439     13.21%
1361.18/1364.66	c      1365          51070       11118         1         183.0000         161.6471     13.21%
1366.37/1369.81	c      1370          51308       11162         1         183.0000         161.6484     13.21%
1372.26/1375.74	c      1376          51625       11193         1         183.0000         161.6502     13.21%
1377.94/1381.49	c      1381          51892       11254         1         183.0000         161.6527     13.21%
1383.93/1387.48	c      1387          52170       11318         1         183.0000         161.6550     13.20%
1389.92/1393.42	c      1393          52532       11388         1         183.0000         161.6571     13.20%
1395.10/1398.62	c      1399          52851       11435         1         183.0000         161.6596     13.20%
1400.60/1404.11	c      1404          53071       11497         1         183.0000         161.6648     13.20%
1405.87/1409.46	c      1409          53381       11545         1         183.0000         161.6680     13.19%
1411.46/1415.05	c      1415          53611       11611         1         183.0000         161.6700     13.19%
1416.75/1420.30	c      1420          53829       11659         1         183.0000         161.6722     13.19%
1421.93/1425.50	c      1426          54091       11725         1         183.0000         161.6768     13.19%
1427.33/1430.93	c      1431          54471       11769         1         183.0000         161.6806     13.19%
1432.71/1436.32	c      1436          54643       11827         1         183.0000         161.6811     13.19%
1437.90/1441.56	c      1442          54821       11891         1         183.0000         161.6832     13.18%
1443.49/1447.13	c      1447          55011       11955         1         183.0000         161.6897     13.18%
1449.07/1452.77	c      1453          55259       12017         1         183.0000         161.6914     13.18%
1454.46/1458.12	c      1458          55478       12078         1         183.0000         161.6927     13.18%
1459.75/1463.43	c      1463          55651       12151         1         183.0000         161.6945     13.18%
1465.44/1469.10	c      1469          55861       12215         1         183.0000         161.6970     13.17%
1470.52/1474.28	c      1474          56004       12282         1         183.0000         161.6993     13.17%
1476.51/1480.27	c      1480          56269       12333         1         183.0000         161.7016     13.17%
1481.79/1485.54	c      1486          56513       12393         1         183.0000         161.7078     13.17%
1487.48/1491.21	c      1491          56911       12415         1         183.0000         161.7096     13.17%
1492.86/1496.60	c      1497          57130       12480         1         183.0000         161.7121     13.16%
1498.05/1501.80	c      1502          57421       12507         1         183.0000         161.7129     13.16%
1503.53/1507.32	c      1507          57671       12579         1         183.0000         161.7150     13.16%
1509.13/1512.90	c      1513          57911       12653         1         183.0000         161.7166     13.16%
1514.41/1518.21	c      1518          58121       12703         1         183.0000         161.7170     13.16%
1519.60/1523.45	c      1523          58339       12765         1         183.0000         161.7191     13.16%
1525.08/1528.90	c      1529          58641       12813         1         183.0000         161.7201     13.16%
1530.77/1534.67	c      1535          58860       12878         1         183.0000         161.7225     13.16%
1535.86/1539.71	c      1540          59111       12921         1         183.0000         161.7242     13.16%
1541.04/1544.92	c      1545          59377       12949         1         183.0000         161.7246     13.16%
1546.33/1550.28	c      1550          59651       13007         1         183.0000         161.7268     13.15%
1551.52/1555.42	c      1555          59841       13061         1         183.0000         161.7281     13.15%
1556.90/1560.86	c      1561          59996       13120         1         183.0000         161.7296     13.15%
1562.29/1566.21	c      1566          60192       13178         1         183.0000         161.7314     13.15%
1567.68/1571.65	c      1572          60357       13235         1         183.0000         161.7347     13.15%
1573.17/1577.12	c      1577          60681       13291         1         183.0000         161.7362     13.15%
1578.25/1582.23	c      1582          60887       13365         1         183.0000         161.7382     13.15%
1583.45/1587.42	c      1587          61236       13432         1         183.0000         161.7416     13.14%
1588.54/1592.59	c      1593          61633       13471         1         183.0000         161.7418     13.14%
1594.33/1598.32	c      1598          61892       13558         1         183.0000         161.7441     13.14%
1599.81/1603.89	c      1604          62251       13581         1         183.0000         161.7477     13.14%
1605.20/1609.20	c      1609          62553       13631         1         183.0000         161.7485     13.14%
1610.19/1614.21	c      1614          62863       13657         1         183.0000         161.7501     13.14%
1615.38/1619.44	c      1619          63081       13699         1         183.0000         161.7521     13.14%
1620.76/1624.82	c      1625          63303       13753         1         183.0000         161.7536     13.14%
1626.45/1630.50	c      1630          63590       13800         1         183.0000         161.7562     13.13%
1632.14/1636.23	c      1636          63921       13843         1         183.0000         161.7581     13.13%
1637.13/1641.27	c      1641          64221       13873         1         183.0000         161.7590     13.13%
1642.61/1646.79	c      1647          64459       13923         1         183.0000         161.7619     13.13%
1648.10/1652.22	c      1652          64791       13937         1         183.0000         161.7627     13.13%
1654.00/1658.19	c      1658          65043       14009         1         183.0000         161.7639     13.13%
1659.48/1663.70	c      1664          65321       14083         1         183.0000         161.7653     13.13%
1664.77/1668.93	c      1669          65561       14151         1         183.0000         161.7705     13.12%
1670.36/1674.56	c      1675          65846       14208         1         183.0000         161.7733     13.12%
1676.14/1680.36	c      1680          66101       14279         1         183.0000         161.7752     13.12%
1682.03/1686.26	c      1686          66341       14343         1         183.0000         161.7780     13.12%
1687.92/1692.17	c      1692          66568       14400         1         183.0000         161.7790     13.12%
1693.00/1697.29	c      1697          66774       14456         1         183.0000         161.7807     13.12%
1698.80/1703.05	c      1703          67041       14505         1         183.0000         161.7828     13.11%
1704.18/1708.41	c      1708          67384       14532         1         183.0000         161.7836     13.11%
1709.67/1713.91	c      1714          67611       14591         1         183.0000         161.7841     13.11%
1714.76/1719.00	c      1719          67829       14649         1         183.0000         161.7870     13.11%
1719.75/1724.08	c      1724          68169       14691         1         183.0000         161.7875     13.11%
1725.33/1729.69	c      1730          68339       14757         1         183.0000         161.7899     13.11%
1730.92/1735.26	c      1735          68561       14831         1         183.0000         161.7923     13.11%
1736.81/1741.15	c      1741          68781       14899         1         183.0000         161.7937     13.11%
1742.69/1747.04	c      1747          69082       14974         1         183.0000         161.7953     13.11%
1747.78/1752.12	c      1752          69341       15035         1         183.0000         161.7965     13.11%
1752.97/1757.39	c      1757          69571       15097         1         183.0000         161.7980     13.10%
1758.06/1762.42	c      1762          69781       15167         1         183.0000         161.8001     13.10%
1763.54/1767.91	c      1768          70081       15205         1         183.0000         161.8024     13.10%
1768.53/1772.94	c      1773          70329       15261         1         183.0000         161.8040     13.10%
1774.43/1778.81	c      1779          70621       15309         1         183.0000         161.8067     13.10%
1780.01/1784.49	c      1784          70791       15381         1         183.0000         161.8092     13.10%
1785.20/1789.68	c      1790          70961       15429         1         183.0000         161.8096     13.10%
1790.39/1794.90	c      1795          71118       15452         1         183.0000         161.8100     13.10%
1796.08/1800.50	c      1800          71451       15511         1         183.0000         161.8108     13.10%
1801.26/1805.75	c      1806          71741       15557         1         183.0000         161.8118     13.09%
1806.45/1810.99	c      1811          71911       15617         1         183.0000         161.8137     13.09%
1811.64/1816.16	c      1816          72131       15647         1         183.0000         161.8147     13.09%
1816.82/1821.36	c      1821          72407       15685         1         183.0000         161.8150     13.09%
1821.91/1826.43	c      1826          72781       15727         1         183.0000         161.8161     13.09%
1827.01/1831.51	c      1832          73011       15773         1         183.0000         161.8174     13.09%
1832.89/1837.41	c      1837          73271       15809         1         183.0000         161.8183     13.09%
1837.98/1842.58	c      1843          73529       15879         1         183.0000         161.8194     13.09%
1843.07/1847.63	c      1848          73747       15953         1         183.0000         161.8206     13.09%
1849.05/1853.61	c      1854          74101       16023         1         183.0000         161.8220     13.09%
1854.74/1859.36	c      1859          74411       16091         1         183.0000         161.8246     13.09%
1860.03/1864.68	c      1865          74591       16149         1         183.0000         161.8262     13.08%
1865.72/1870.35	c      1870          74821       16221         1         183.0000         161.8277     13.08%
1871.00/1875.62	c      1876          75009       16307         1         183.0000         161.8297     13.08%
1876.09/1880.71	c      1881          75267       16357         1         183.0000         161.8299     13.08%
1881.99/1886.64	c      1887          75504       16438         1         183.0000         161.8326     13.08%
1887.57/1892.21	c      1892          75752       16596         1         183.0000         161.8331     13.08%
1892.56/1897.28	c      1897          75951       16669         1         183.0000         161.8351     13.08%
1897.85/1902.59	c      1903          76271       16745         1         183.0000         161.8362     13.08%
1903.13/1907.81	c      1908          76501       16821         1         183.0000         161.8376     13.08%
1908.52/1913.25	c      1913          76791       16939         1         183.0000         161.8398     13.07%
1913.71/1918.41	c      1918          77111       17029         1         183.0000         161.8405     13.07%
1919.00/1923.74	c      1924          77421       17097         1         183.0000         161.8424     13.07%
1924.68/1929.40	c      1929          77731       17199         1         183.0000         161.8430     13.07%
1930.37/1935.15	c      1935          77982       17262         1         183.0000         161.8446     13.07%
1935.65/1940.44	c      1940          78384       17316         1         183.0000         161.8453     13.07%
1940.74/1945.50	c      1946          78681       17391         1         183.0000         161.8464     13.07%
1945.93/1950.70	c      1951          79057       17431         1         183.0000         161.8466     13.07%
1951.12/1955.97	c      1956          79429       17485         1         183.0000         161.8481     13.07%
1956.31/1961.18	c      1961          79641       17533         1         183.0000         161.8496     13.07%
1961.29/1966.19	c      1966          79911       17601         1         183.0000         161.8519     13.07%
1967.07/1971.99	c      1972          80273       17701         1         183.0000         161.8540     13.06%
1972.45/1977.36	c      1977          80581       17791         1         183.0000         161.8556     13.06%
1978.33/1983.29	c      1983          80961       17849         1         183.0000         161.8567     13.06%
1984.02/1988.95	c      1989          81284       17910         1         183.0000         161.8580     13.06%
1989.00/1993.96	c      1994          81561       17985         1         183.0000         161.8595     13.06%
1994.89/1999.83	c      2000          81947       18051         1         183.0000         161.8603     13.06%
2000.07/2005.02	c      2005          82264       18116         1         183.0000         161.8615     13.06%
2005.06/2010.09	c      2010          82571       18187         1         183.0000         161.8626     13.06%
2010.15/2015.16	c      2015          82758       18266         1         183.0000         161.8636     13.06%
2015.43/2020.44	c      2020          83285       18301         1         183.0000         161.8643     13.06%
2020.82/2025.84	c      2026          83581       18355         1         183.0000         161.8650     13.06%
2025.80/2030.84	c      2031          83901       18407         1         183.0000         161.8662     13.06%
2031.19/2036.23	c      2036          84121       18469         1         183.0000         161.8680     13.06%
2036.38/2041.44	c      2041          84421       18551         1         183.0000         161.8687     13.05%
2042.15/2047.26	c      2047          84702       18656         1         183.0000         161.8695     13.05%
2048.13/2053.21	c      2053          85071       18761         1         183.0000         161.8720     13.05%
2053.33/2058.40	c      2058          85351       18815         1         183.0000         161.8752     13.05%
2058.81/2063.90	c      2064          85672       18880         1         183.0000         161.8767     13.05%
2064.40/2069.57	c      2070          85951       18959         1         183.0000         161.8791     13.05%
2069.88/2075.05	c      2075          86151       19039         1         183.0000         161.8803     13.05%
2074.97/2080.13	c      2080          86461       19091         1         183.0000         161.8812     13.05%
2080.35/2085.57	c      2086          86681       19161         1         183.0000         161.8834     13.04%
2085.44/2090.60	c      2091          86923       19225         1         183.0000         161.8838     13.04%
2090.52/2095.77	c      2096          87161       19305         1         183.0000         161.8860     13.04%
2095.71/2100.98	c      2101          87401       19351         1         183.0000         161.8864     13.04%
2101.19/2106.40	c      2106          87611       19441         1         183.0000         161.8884     13.04%
2106.37/2111.61	c      2112          87831       19519         1         183.0000         161.8897     13.04%
2111.37/2116.62	c      2117          88055       19579         1         183.0000         161.8913     13.04%
2116.85/2122.14	c      2122          88443       19633         1         183.0000         161.8925     13.04%
2122.23/2127.54	c      2128          88759       19697         1         183.0000         161.8933     13.04%
2127.72/2133.04	c      2133          89052       19760         1         183.0000         161.8946     13.04%
2133.50/2138.83	c      2139          89411       19813         1         183.0000         161.8966     13.04%
2138.69/2144.01	c      2144          89620       19874         1         183.0000         161.8982     13.03%
2143.97/2149.36	c      2149          89985       19925         1         183.0000         161.8985     13.03%
2149.26/2154.63	c      2155          90201       19973         1         183.0000         161.8990     13.03%
2154.24/2159.64	c      2160          90451       20035         1         183.0000         161.9002     13.03%
2159.32/2164.72	c      2165          90699       20083         1         183.0000         161.9005     13.03%
2165.01/2170.42	c      2170          90941       20151         1         183.0000         161.9022     13.03%
2170.40/2175.84	c      2176          91141       20225         1         183.0000         161.9038     13.03%
2175.98/2181.43	c      2181          91423       20271         1         183.0000         161.9054     13.03%
2180.97/2186.49	c      2186          91731       20325         1         183.0000         161.9063     13.03%
2186.05/2191.54	c      2192          91981       20385         1         183.0000         161.9075     13.03%
2191.04/2196.59	c      2197          92204       20424         1         183.0000         161.9088     13.03%
2197.12/2202.60	c      2203          92471       20491         1         183.0000         161.9106     13.03%
2202.91/2208.40	c      2208          92751       20571         1         183.0000         161.9118     13.02%
2208.29/2213.85	c      2214          93077       20623         1         183.0000         161.9121     13.02%
2213.78/2219.36	c      2219          93371       20685         1         183.0000         161.9146     13.02%
2219.06/2224.68	c      2225          93575       20757         1         183.0000         161.9155     13.02%
2225.04/2230.61	c      2231          93922       20850         1         183.0000         161.9166     13.02%
2230.43/2236.05	c      2236          94223       20911         1         183.0000         161.9171     13.02%
2236.21/2241.86	c      2242          94531       20975         1         183.0000         161.9196     13.02%
2241.69/2247.38	c      2247          94849       21035         1         183.0000         161.9202     13.02%
2246.79/2252.49	c      2252          95191       21053         1         183.0000         161.9211     13.02%
2252.27/2257.95	c      2258          95421       21113         1         183.0000         161.9217     13.02%
2258.15/2263.82	c      2264          95741       21167         1         183.0000         161.9221     13.02%
2263.93/2269.69	c      2270          96086       21214         1         183.0000         161.9232     13.02%
2269.12/2274.85	c      2275          96352       21266         1         183.0000         161.9241     13.02%
2274.80/2280.58	c      2281          96612       21344         1         183.0000         161.9254     13.01%
2280.08/2285.84	c      2286          96931       21399         1         183.0000         161.9263     13.01%
2285.77/2291.55	c      2292          97211       21467         1         183.0000         161.9276     13.01%
2291.06/2296.81	c      2297          97448       21544         1         183.0000         161.9282     13.01%
2296.15/2301.90	c      2302          97679       21591         1         183.0000         161.9291     13.01%
2301.13/2306.91	c      2307          97869       21651         1         183.0000         161.9305     13.01%
2306.42/2312.23	c      2312          98191       21693         1         183.0000         161.9322     13.01%
2312.10/2317.92	c      2318          98491       21765         1         183.0000         161.9326     13.01%
2317.88/2323.70	c      2324          98784       21824         1         183.0000         161.9328     13.01%
2323.37/2329.22	c      2329          99061       21889         1         183.0000         161.9350     13.01%
2329.25/2335.12	c      2335          99381       21947         1         183.0000         161.9367     13.01%
2334.33/2340.21	c      2340          99665       22007         1         183.0000         161.9380     13.01%
2339.82/2345.72	c      2346          99901       22067         1         183.0000         161.9388     13.01%
2345.41/2351.30	c      2351         100187       22113         1         183.0000         161.9405     13.00%
2350.59/2356.58	c      2357         100421       22163         1         183.0000         161.9426     13.00%
2356.08/2362.06	c      2362         100682       22272         1         183.0000         161.9427     13.00%
2361.26/2367.29	c      2367         101031       22321         1         183.0000         161.9444     13.00%
2366.44/2372.46	c      2372         101281       22381         1         183.0000         161.9457     13.00%
2372.33/2378.34	c      2378         101616       22514         1         183.0000         161.9465     13.00%
2377.31/2383.37	c      2383         101820       22588         1         183.0000         161.9476     13.00%
2382.70/2388.76	c      2389         102041       22671         1         183.0000         161.9481     13.00%
2388.39/2394.46	c      2394         102311       22743         1         183.0000         161.9499     13.00%
2394.37/2400.40	c      2400         102678       22850         1         183.0000         161.9505     13.00%
2399.66/2405.72	c      2406         102998       22918         1         183.0000         161.9507     13.00%
2405.44/2411.51	c      2412         103341       22999         1         183.0000         161.9517     13.00%
2410.82/2416.99	c      2417         103598       23052         1         183.0000         161.9523     13.00%
2416.21/2422.36	c      2422         104041       23099         1         183.0000         161.9525     13.00%
2421.59/2427.77	c      2428         104301       23161         1         183.0000         161.9538     13.00%
2426.88/2433.03	c      2433         104609       23229         1         183.0000         161.9544     12.99%
2432.36/2438.55	c      2439         104901       23273         1         183.0000         161.9561     12.99%
2437.34/2443.56	c      2444         105131       23327         1         183.0000         161.9574     12.99%
2442.33/2448.58	c      2449         105371       23401         1         183.0000         161.9593     12.99%
2447.62/2453.88	c      2454         105641       23453         1         183.0000         161.9596     12.99%
2452.71/2458.91	c      2459         105921       23515         1         183.0000         161.9606     12.99%
2457.80/2464.04	c      2464         106171       23599         1         183.0000         161.9613     12.99%
2463.38/2469.62	c      2470         106521       23667         1         183.0000         161.9617     12.99%
2469.16/2475.45	c      2475         106876       23724         1         183.0000         161.9623     12.99%
2474.75/2481.03	c      2481         107121       23795         1         183.0000         161.9635     12.99%
2480.03/2486.37	c      2486         107321       23875         1         183.0000         161.9643     12.99%
2485.31/2491.68	c      2492         107629       23943         1         183.0000         161.9667     12.99%
2490.50/2496.81	c      2497         107891       24005         1         183.0000         161.9681     12.99%
2495.58/2501.92	c      2502         108051       24065         1         183.0000         161.9685     12.98%
2500.57/2506.95	c      2507         108276       24116         1         183.0000         161.9693     12.98%
2505.66/2512.00	c      2512         108531       24151         1         183.0000         161.9699     12.98%
2510.94/2517.31	c      2517         108771       24225         1         183.0000         161.9709     12.98%
2516.22/2522.60	c      2523         109020       24274         1         183.0000         161.9712     12.98%
2521.41/2527.89	c      2528         109221       24357         1         183.0000         161.9726     12.98%
2526.60/2533.09	c      2533         109504       24420         1         183.0000         161.9731     12.98%
2532.59/2539.07	c      2539         109881       24473         1         183.0000         161.9749     12.98%
2537.68/2544.15	c      2544         110188       24516         1         183.0000         161.9761     12.98%
2543.05/2549.50	c      2550         110616       24532         1         183.0000         161.9772     12.98%
2548.04/2554.59	c      2555         110861       24573         1         183.0000         161.9791     12.98%
2553.12/2559.67	c      2560         111091       24639         1         183.0000         161.9795     12.98%
2558.21/2564.76	c      2565         111301       24707         1         183.0000         161.9811     12.98%
2563.19/2569.78	c      2570         111589       24775         1         183.0000         161.9813     12.98%
2568.28/2574.88	c      2575         111830       24844         1         183.0000         161.9820     12.98%
2573.86/2580.49	c      2580         112103       24931         1         183.0000         161.9835     12.97%
2579.35/2585.94	c      2586         112421       24979         1         183.0000         161.9839     12.97%
2584.54/2591.10	c      2591         112691       25025         1         183.0000         161.9852     12.97%
2589.72/2596.37	c      2596         113036       25064         1         183.0000         161.9862     12.97%
2594.71/2601.39	c      2601         113233       25127         1         183.0000         161.9877     12.97%
2600.19/2606.87	c      2607         113533       25199         1         183.0000         161.9886     12.97%
2605.38/2612.06	c      2612         113821       25277         1         183.0000         161.9896     12.97%
2611.06/2617.71	c      2618         114111       25355         1         183.0000         161.9907     12.97%
2616.54/2623.22	c      2623         114412       25400         1         183.0000         161.9915     12.97%
2622.33/2629.07	c      2629         114714       25478         1         183.0000         161.9925     12.97%
2627.91/2634.64	c      2635         115071       25523         1         183.0000         161.9931     12.97%
2633.30/2640.04	c      2640         115341       25569         1         183.0000         161.9946     12.97%
2638.48/2645.22	c      2645         115541       25615         1         183.0000         161.9951     12.97%
2643.86/2650.66	c      2651         115851       25665         1         183.0000         161.9956     12.97%
2648.96/2655.75	c      2656         116021       25723         1         183.0000         161.9969     12.97%
2654.54/2661.39	c      2661         116412       25834         1         183.0000         161.9969     12.97%
2660.33/2667.19	c      2667         116741       25937         1         183.0000         161.9973     12.96%
2666.01/2672.84	c      2673         117080       26006         1         183.0000         161.9975     12.96%
2671.39/2678.29	c      2678         117377       26069         1         183.0000         161.9981     12.96%
2676.78/2683.69	c      2684         117695       26109         1         183.0000         161.9988     12.96%
2681.86/2688.76	c      2689         118011       26145         1         183.0000         161.9992     12.96%
2687.05/2693.98	c      2694         118271       26217         1         183.0000         161.9996     12.96%
2692.14/2699.04	c      2699         118551       26251         1         183.0000         162.0003     12.96%
2697.71/2704.62	c      2705         118808       26340         1         183.0000         162.0019     12.96%
2703.30/2710.27	c      2710         119161       26387         1         183.0000         162.0025     12.96%
2708.98/2715.91	c      2716         119361       26461         1         183.0000         162.0044     12.96%
2714.47/2721.46	c      2721         119651       26537         1         183.0000         162.0054     12.96%
2719.75/2726.74	c      2727         119939       26587         1         183.0000         162.0055     12.96%
2724.94/2731.97	c      2732         120211       26643         1         183.0000         162.0072     12.96%
2730.33/2737.32	c      2737         120511       26729         1         183.0000         162.0077     12.96%
2735.81/2742.87	c      2743         120761       26789         1         183.0000         162.0088     12.96%
2741.10/2748.18	c      2748         120981       26861         1         183.0000         162.0101     12.96%
2746.18/2753.27	c      2753         121141       26931         1         183.0000         162.0119     12.95%
2752.17/2759.26	c      2759         121395       27005         1         183.0000         162.0122     12.95%
2757.45/2764.53	c      2765         121780       27082         1         183.0000         162.0128     12.95%
2763.44/2770.51	c      2771         122151       27137         1         183.0000         162.0137     12.95%
2768.42/2775.54	c      2776         122437       27191         1         183.0000         162.0143     12.95%
2774.40/2781.50	c      2782         122755       27263         1         183.0000         162.0155     12.95%
2779.99/2787.16	c      2787         123093       27317         1         183.0000         162.0169     12.95%
2785.17/2792.39	c      2792         123381       27387         1         183.0000         162.0178     12.95%
2790.66/2797.84	c      2798         123706       27440         1         183.0000         162.0186     12.95%
2796.54/2803.72	c      2804         124171       27463         1         183.0000         162.0193     12.95%
2801.72/2808.95	c      2809         124421       27517         1         183.0000         162.0201     12.95%
2807.31/2814.55	c      2815         124615       27605         1         183.0000         162.0213     12.95%
2812.80/2820.07	c      2820         124981       27645         1         183.0000         162.0221     12.95%
2818.68/2825.92	c      2826         125252       27714         1         183.0000         162.0225     12.95%
2823.77/2831.07	c      2831         125481       27765         1         183.0000         162.0244     12.95%
2829.35/2836.66	c      2837         125774       27832         1         183.0000         162.0255     12.95%
2835.43/2842.72	c      2843         126181       27865         1         183.0000         162.0258     12.94%
2841.21/2848.57	c      2849         126495       27945         1         183.0000         162.0266     12.94%
2846.60/2853.94	c      2854         126761       28003         1         183.0000         162.0280     12.94%
2852.09/2859.40	c      2859         127071       28063         1         183.0000         162.0284     12.94%
2857.17/2864.54	c      2865         127351       28125         1         183.0000         162.0298     12.94%
2862.66/2870.09	c      2870         127558       28212         1         183.0000         162.0303     12.94%
2868.04/2875.48	c      2875         127786       28300         1         183.0000         162.0309     12.94%
2873.92/2881.36	c      2881         128102       28358         1         183.0000         162.0319     12.94%
2879.71/2887.11	c      2887         128381       28427         1         183.0000         162.0326     12.94%
2884.70/2892.17	c      2892         128591       28487         1         183.0000         162.0334     12.94%
2890.07/2897.50	c      2898         128801       28539         1         183.0000         162.0340     12.94%
2895.56/2903.05	c      2903         129131       28623         1         183.0000         162.0346     12.94%
2900.74/2908.29	c      2908         129421       28687         1         183.0000         162.0354     12.94%
2905.84/2913.35	c      2913         129671       28735         1         183.0000         162.0356     12.94%
2911.63/2919.17	c      2919         129916       28798         1         183.0000         162.0367     12.94%
2916.91/2924.40	c      2924         130201       28845         1         183.0000         162.0377     12.94%
2922.50/2930.07	c      2930         130431       28903         1         183.0000         162.0383     12.94%
2928.37/2935.99	c      2936         130722       28968         1         183.0000         162.0392     12.94%
2933.76/2941.34	c      2941         130991       29027         1         183.0000         162.0406     12.93%
2939.14/2946.74	c      2947         131225       29097         1         183.0000         162.0411     12.93%
2945.02/2952.65	c      2953         131461       29185         1         183.0000         162.0425     12.93%
2950.51/2958.14	c      2958         131721       29245         1         183.0000         162.0434     12.93%
2955.59/2963.22	c      2963         131903       29311         1         183.0000         162.0440     12.93%
2961.18/2968.83	c      2969         132124       29374         1         183.0000         162.0458     12.93%
2966.57/2974.24	c      2974         132316       29448         1         183.0000         162.0467     12.93%
2972.15/2979.84	c      2980         132601       29533         1         183.0000         162.0472     12.93%
2977.74/2985.42	c      2985         132841       29619         1         183.0000         162.0490     12.93%
2983.42/2991.10	c      2991         133104       29682         1         183.0000         162.0495     12.93%
2988.90/2996.63	c      2997         133371       29735         1         183.0000         162.0498     12.93%
2993.98/3001.78	c      3002         133581       29817         1         183.0000         162.0508     12.93%
2999.87/3007.69	c      3008         133882       29860         1         183.0000         162.0516     12.93%
3004.96/3012.77	c      3013         134121       29923         1         183.0000         162.0520     12.93%
3010.65/3018.45	c      3018         134301       29977         1         183.0000         162.0534     12.93%
3015.93/3023.76	c      3024         134651       30027         1         183.0000         162.0539     12.93%
3021.22/3029.05	c      3029         134899       30091         1         183.0000         162.0542     12.93%
3026.50/3034.37	c      3034         135196       30198         1         183.0000         162.0549     12.92%
3031.58/3039.49	c      3039         135423       30269         1         183.0000         162.0555     12.92%
3037.17/3045.08	c      3045         135801       30321         1         183.0000         162.0559     12.92%
3042.35/3050.29	c      3050         136037       30391         1         183.0000         162.0568     12.92%
3048.03/3055.96	c      3056         136425       30465         1         183.0000         162.0570     12.92%
3053.12/3061.01	c      3061         136761       30523         1         183.0000         162.0578     12.92%
3058.50/3066.47	c      3066         137041       30579         1         183.0000         162.0589     12.92%
3064.20/3072.18	c      3072         137401       30663         1         183.0000         162.0593     12.92%
3069.78/3077.78	c      3078         137651       30715         1         183.0000         162.0599     12.92%
3074.96/3082.95	c      3083         137871       30775         1         183.0000         162.0615     12.92%
3081.05/3089.04	c      3089         138082       30852         1         183.0000         162.0620     12.92%
3086.92/3094.94	c      3095         138412       30888         1         183.0000         162.0624     12.92%
3092.11/3100.13	c      3100         138631       30967         1         183.0000         162.0631     12.92%
3097.29/3105.36	c      3105         138888       31032         1         183.0000         162.0637     12.92%
3102.69/3110.74	c      3111         139104       31108         1         183.0000         162.0648     12.92%
3107.77/3115.85	c      3116         139301       31153         1         183.0000         162.0658     12.92%
3112.86/3120.98	c      3121         139521       31227         1         183.0000         162.0667     12.92%
3118.54/3126.62	c      3127         139758       31288         1         183.0000         162.0671     12.92%
3124.43/3132.55	c      3133         140211       31309         1         183.0000         162.0676     12.92%
3129.51/3137.66	c      3138         140441       31357         1         183.0000         162.0678     12.92%
3134.89/3143.01	c      3143         140802       31394         1         183.0000         162.0680     12.92%
3140.18/3148.36	c      3148         141029       31471         1         183.0000         162.0687     12.92%
3146.16/3154.36	c      3154         141339       31543         1         183.0000         162.0691     12.91%
3151.64/3159.87	c      3160         141591       31593         1         183.0000         162.0698     12.91%
3156.63/3164.89	c      3165         141851       31657         1         183.0000         162.0702     12.91%
3162.31/3170.54	c      3171         142171       31713         1         183.0000         162.0706     12.91%
3167.31/3175.56	c      3176         142429       31765         1         183.0000         162.0713     12.91%
3172.89/3181.19	c      3181         142722       31820         1         183.0000         162.0714     12.91%
3178.47/3186.72	c      3187         143051       31857         1         183.0000         162.0723     12.91%
3183.56/3191.86	c      3192         143281       31921         1         183.0000         162.0732     12.91%
3188.94/3197.29	c      3197         143481       31987         1         183.0000         162.0745     12.91%
3194.23/3202.50	c      3202         143754       32020         1         183.0000         162.0755     12.91%
3199.21/3207.50	c      3208         144016       32066         1         183.0000         162.0762     12.91%
3205.20/3213.50	c      3214         144306       32120         1         183.0000         162.0775     12.91%
3211.08/3219.48	c      3219         144627       32199         1         183.0000         162.0786     12.91%
3216.87/3225.24	c      3225         144891       32283         1         183.0000         162.0789     12.91%
3222.25/3230.69	c      3231         145126       32340         1         183.0000         162.0797     12.91%
3227.93/3236.34	c      3236         145481       32405         1         183.0000         162.0806     12.91%
3233.42/3241.80	c      3242         145734       32458         1         183.0000         162.0809     12.91%
3238.40/3246.86	c      3247         146111       32471         1         183.0000         162.0815     12.91%
3243.59/3252.01	c      3252         146351       32545         1         183.0000         162.0823     12.91%
3248.88/3257.35	c      3257         146601       32597         1         183.0000         162.0836     12.90%
3254.06/3262.53	c      3263         146821       32641         1         183.0000         162.0846     12.90%
3259.84/3268.34	c      3268         147191       32733         1         183.0000         162.0852     12.90%
3264.83/3273.39	c      3273         147465       32791         1         183.0000         162.0858     12.90%
3270.31/3278.82	c      3279         147731       32849         1         183.0000         162.0865     12.90%
3275.50/3284.02	c      3284         147971       32905         1         183.0000         162.0867     12.90%
3280.68/3289.22	c      3289         148273       32947         1         183.0000         162.0873     12.90%
3285.97/3294.51	c      3295         148533       32993         1         183.0000         162.0877     12.90%
3291.25/3299.88	c      3300         148820       33038         1         183.0000         162.0882     12.90%
3296.74/3305.33	c      3305         149131       33085         1         183.0000         162.0890     12.90%
3302.13/3310.72	c      3311         149411       33145         1         183.0000         162.0895     12.90%
3307.42/3316.09	c      3316         149730       33178         1         183.0000         162.0902     12.90%
3312.60/3321.26	c      3321         150015       33229         1         183.0000         162.0915     12.90%
3318.29/3326.96	c      3327         150270       33304         1         183.0000         162.0922     12.90%
3323.67/3332.34	c      3332         150581       33369         1         183.0000         162.0933     12.90%
3329.25/3337.91	c      3338         150881       33417         1         183.0000         162.0939     12.90%
3334.64/3343.32	c      3343         151171       33479         1         183.0000         162.0945     12.90%
3340.13/3348.83	c      3349         151392       33530         1         183.0000         162.0958     12.90%
3345.92/3354.62	c      3355         151681       33587         1         183.0000         162.0966     12.90%
3351.21/3359.95	c      3360         151838       33648         1         183.0000         162.0971     12.90%
3356.60/3365.30	c      3365         152131       33693         1         183.0000         162.0982     12.89%
3361.79/3370.58	c      3371         152421       33739         1         183.0000         162.0987     12.89%
3367.47/3376.28	c      3376         152721       33783         1         183.0000         162.0995     12.89%
3372.56/3381.37	c      3381         153001       33849         1         183.0000         162.0997     12.89%
3377.94/3386.78	c      3387         153222       33914         1         183.0000         162.1007     12.89%
3383.24/3392.06	c      3392         153501       34033         1         183.0000         162.1012     12.89%
3388.62/3397.46	c      3397         153771       34095         1         183.0000         162.1020     12.89%
3394.21/3403.08	c      3403         154131       34171         1         183.0000         162.1022     12.89%
3399.59/3408.43	c      3408         154351       34247         1         183.0000         162.1027     12.89%
3404.79/3413.60	c      3414         154669       34303         1         183.0000         162.1040     12.89%
3410.18/3419.08	c      3419         154978       34356         1         183.0000         162.1049     12.89%
3416.17/3425.04	c      3425         155304       34424         1         183.0000         162.1051     12.89%
3421.65/3430.55	c      3431         155621       34463         1         183.0000         162.1054     12.89%
3427.14/3436.07	c      3436         155862       34508         1         183.0000         162.1065     12.89%
3433.13/3442.03	c      3442         156243       34547         1         183.0000         162.1067     12.89%
3438.81/3447.78	c      3448         156491       34647         1         183.0000         162.1080     12.89%
3444.29/3453.23	c      3453         156781       34773         1         183.0000         162.1081     12.89%
3450.09/3459.09	c      3459         157092       34862         1         183.0000         162.1085     12.89%
3455.37/3464.36	c      3464         157397       34933         1         183.0000         162.1095     12.89%
3460.76/3469.78	c      3470         157816       34996         1         183.0000         162.1099     12.89%
3466.04/3475.00	c      3475         158111       35041         1         183.0000         162.1107     12.89%
3471.62/3480.67	c      3481         158367       35107         1         183.0000         162.1114     12.89%
3477.42/3486.47	c      3486         158647       35173         1         183.0000         162.1116     12.89%
3482.91/3491.99	c      3492         158957       35227         1         183.0000         162.1120     12.88%
3488.59/3497.62	c      3498         159274       35294         1         183.0000         162.1126     12.88%
3493.98/3503.03	c      3503         159631       35357         1         183.0000         162.1133     12.88%
3499.86/3508.91	c      3509         160046       35406         1         183.0000         162.1141     12.88%
3505.65/3514.73	c      3515         160431       35473         1         183.0000         162.1144     12.88%
3511.05/3520.17	c      3520         160741       35531         1         183.0000         162.1153     12.88%
3516.83/3525.96	c      3526         161001       35611         1         183.0000         162.1165     12.88%
3522.02/3531.14	c      3531         161311       35673         1         183.0000         162.1178     12.88%
3527.70/3536.88	c      3537         161631       35733         1         183.0000         162.1186     12.88%
3532.89/3542.06	c      3542         161941       35787         1         183.0000         162.1188     12.88%
3538.18/3547.39	c      3547         162263       35837         1         183.0000         162.1191     12.88%
3543.47/3552.67	c      3553         162541       35887         1         183.0000         162.1199     12.88%
3548.86/3558.04	c      3558         162831       35959         1         183.0000         162.1206     12.88%
3554.34/3563.53	c      3564         163171       36007         1         183.0000         162.1209     12.88%
3560.22/3569.40	c      3569         163441       36071         1         183.0000         162.1218     12.88%
3565.31/3574.55	c      3575         163721       36133         1         183.0000         162.1225     12.88%
3570.99/3580.27	c      3580         164039       36207         1         183.0000         162.1231     12.88%
3576.88/3586.16	c      3586         164318       36280         1         183.0000         162.1236     12.88%
3582.06/3591.33	c      3591         164612       36352         1         183.0000         162.1239     12.88%
3587.25/3596.59	c      3597         165021       36391         1         183.0000         162.1245     12.88%
3588.85/3598.14	c SCIP Status        : c solving was interrupted [hard time limit reached]
3588.85/3598.14	c Total Time         : 3598.15
3588.85/3598.14	c   solving          : 3598.15
3588.85/3598.14	c   presolving       : 0.02 (included in solving)
3588.85/3598.14	c B&B Tree           :
3588.85/3598.14	c   nodes (total)    : 1
3588.85/3598.14	c Solution           :
3588.85/3598.14	c   Solutions found  : 14
3588.85/3598.14	c   Primal Bound     : +1.83000000000000e+02
3588.85/3598.14	c   Dual Bound       : +1.62124633163324e+02
3588.85/3598.14	c Gap                : 12.87612 %
3588.85/3598.14	c * Warning: final gap: 1.28761e-01 is greater than SCIPepsilon: 1.00000e-09
3588.85/3598.14	o 183
3588.85/3598.14	s SATISFIABLE
3588.85/3598.14	v x465 x464 x463 -x462 -x461 -x460 -x459 -x458 x457 -x456 x455 -x454 x453 -x452 x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 
3588.85/3598.14	v -x442 -x441 -x440 -x439 -x438 x437 -x436 -x435 -x434 x433 -x432 x431 -x430 -x429 x428 -x427 -x426 -x425 -x424 x423 -x422 -x421 
3588.85/3598.14	v x420 x419 -x418 x417 x416 -x415 -x414 x413 -x412 x411 -x410 x409 -x408 x407 -x406 x405 -x404 -x403 -x402 -x401 x400 -x399 
3588.85/3598.14	v -x398 -x397 -x396 x395 x394 -x393 x392 -x391 -x390 -x389 x388 -x387 -x386 -x385 x384 x383 x382 x381 -x380 -x379 -x378 -x377 
3588.85/3598.14	v -x376 x375 -x374 x373 x372 x371 x370 -x369 -x368 -x367 -x366 x365 x364 -x363 -x362 -x361 -x360 x359 x358 -x357 -x356 x355 x354 
3588.85/3598.14	v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 x343 -x342 x341 x340 x339 -x338 -x337 x336 -x335 x334 -x333 x332 
3588.85/3598.14	v -x331 x330 x329 x328 -x327 -x326 -x325 -x324 x323 -x322 -x321 x320 -x319 -x318 -x317 -x316 x315 -x314 x313 -x312 -x311 -x310 
3588.85/3598.14	v -x309 -x308 x307 x306 -x305 x304 -x303 x302 -x301 x300 -x299 -x298 -x297 x296 x295 -x294 -x293 x292 x291 x290 -x289 x288 x287 
3588.85/3598.14	v x286 -x285 x284 -x283 -x282 x281 x280 x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 x271 -x270 -x269 -x268 -x267 x266 -x265 
3588.85/3598.14	v -x264 x263 -x262 -x261 x260 x259 x258 x257 -x256 x255 x254 -x253 -x252 -x251 x250 x249 -x248 x247 -x246 -x245 -x244 x243 -x242 
3588.85/3598.14	v -x241 x240 -x239 x238 -x237 -x236 -x235 -x234 x233 -x232 -x231 -x230 -x229 x228 x227 -x226 x225 x224 x223 x222 x221 -x220 
3588.85/3598.14	v -x219 -x218 x217 -x216 -x215 -x214 -x213 x212 x211 -x210 x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 
3588.85/3598.14	v -x197 -x196 x195 -x194 x193 -x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 x178 -x177 
3588.85/3598.14	v -x176 -x175 -x174 -x173 x172 -x171 x170 -x169 -x168 x167 x166 x165 -x164 x163 x162 x161 -x160 -x159 x158 x157 x156 -x155 -x154 
3588.85/3598.14	v -x153 x152 x151 -x150 -x149 -x148 x147 x146 x145 -x144 -x143 x142 -x141 x140 x139 x138 -x137 -x136 x135 -x134 x133 x132 -x131 
3588.85/3598.14	v -x130 x129 -x128 x127 -x126 -x125 x124 -x123 -x122 -x121 -x120 x119 -x118 x117 x116 x115 -x114 x113 -x112 -x111 x110 x109 
3588.85/3598.14	v 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.85/3598.14	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 x56 
3588.85/3598.14	v 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 x30 -x29 
3588.85/3598.14	v 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 -x1 

Verifier Data

OK	183

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: 63968 MiB (61827 MiB free)
  memory of node 1: 64473 MiB (63292 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100902 s]*
/proc/loadavg: 0.47 0.16 0.11 5/271 29125
/proc/meminfo: memFree=128046316/131524600 swapFree=131071216/131071996
[pid=29121] ppid=29118 vsize=112572 memory=28280 CPUtime=0.09 cores=4,6
/proc/29121/stat : 29121 (fscip) S 29118 29121 28847 0 -1 1077936128 4481 0 0 0 8 1 0 0 20 0 3 0 4456623 115273728 7070 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
/proc/29121/statm: 28143 7070 2934 3035 0 10443 0
[pid=29121/tid=29123] ppid=29118 vsize=112572 memory=4026561586 CPUtime=0.06 cores=4,6
/proc/29121/task/29123/stat : 29123 (fscip) R 29118 29121 28847 0 -1 4194368 2020 0 0 0 6 0 0 0 20 0 3 0 4456626 115273728 7070 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
[pid=29121/tid=29124] ppid=29118 vsize=112572 memory=232851243367 CPUtime=0 cores=4,6
/proc/29121/task/29124/stat : 29124 (fscip) S 29118 29121 28847 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456627 115273728 7070 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 112572 KiB
Current children cumulated memory: 28280 KiB

[startup+0.205886 s]*
/proc/loadavg: 0.47 0.16 0.11 5/271 29125
/proc/meminfo: memFree=128005696/131524600 swapFree=131071216/131071996
[pid=29121] ppid=29118 vsize=112572 memory=28544 CPUtime=0.2 cores=4,6
/proc/29121/stat : 29121 (fscip) S 29118 29121 28847 0 -1 1077936128 4550 0 0 0 19 1 0 0 20 0 3 0 4456623 115273728 7136 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
/proc/29121/statm: 28143 7136 2934 3035 0 10538 0
[pid=29121/tid=29123] ppid=29118 vsize=112572 memory=664970838410264707 CPUtime=0.16 cores=4,6
/proc/29121/task/29123/stat : 29123 (fscip) R 29118 29121 28847 0 -1 4194368 2089 0 0 0 16 0 0 0 20 0 3 0 4456626 115273728 7136 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
[pid=29121/tid=29124] ppid=29118 vsize=112572 memory=115160 CPUtime=0 cores=4,6
/proc/29121/task/29124/stat : 29124 (fscip) S 29118 29121 28847 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456627 115273728 7136 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112572 KiB
Current children cumulated memory: 28544 KiB

[startup+0.304689 s]*
/proc/loadavg: 0.47 0.16 0.11 5/271 29125
/proc/meminfo: memFree=127991584/131524600 swapFree=131071216/131071996
[pid=29121] ppid=29118 vsize=112572 memory=28544 CPUtime=0.29 cores=4,6
/proc/29121/stat : 29121 (fscip) S 29118 29121 28847 0 -1 1077936128 4555 0 0 0 28 1 0 0 20 0 3 0 4456623 115273728 7136 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
/proc/29121/statm: 28143 7136 2934 3035 0 10538 0
[pid=29121/tid=29123] ppid=29118 vsize=112572 memory=-5155626912221195397 CPUtime=0.26 cores=4,6
/proc/29121/task/29123/stat : 29123 (fscip) R 29118 29121 28847 0 -1 4194368 2094 0 0 0 26 0 0 0 20 0 3 0 4456626 115273728 7136 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
[pid=29121/tid=29124] ppid=29118 vsize=112572 memory=0 CPUtime=0 cores=4,6
/proc/29121/task/29124/stat : 29124 (fscip) S 29118 29121 28847 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456627 115273728 7136 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 112572 KiB
Current children cumulated memory: 28544 KiB

[startup+0.700258 s]
/proc/loadavg: 0.47 0.16 0.11 5/271 29125
/proc/meminfo: memFree=127941232/131524600 swapFree=131071216/131071996
[pid=29121] ppid=29118 vsize=118456 memory=46556 CPUtime=0.68 cores=4,6
/proc/29121/stat : 29121 (fscip) S 29118 29121 28847 0 -1 1077936128 9009 0 0 0 67 1 0 0 20 0 3 0 4456623 121298944 11639 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
/proc/29121/statm: 29614 11639 2950 3035 0 15025 0
[pid=29121/tid=29123] ppid=29118 vsize=118456 memory=0 CPUtime=0.65 cores=4,6
/proc/29121/task/29123/stat : 29123 (fscip) R 29118 29121 28847 0 -1 4194368 6548 0 0 0 64 1 0 0 20 0 3 0 4456626 121298944 11639 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
[pid=29121/tid=29124] ppid=29118 vsize=118456 memory=0 CPUtime=0 cores=4,6
/proc/29121/task/29124/stat : 29124 (fscip) S 29118 29121 28847 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456627 121298944 11639 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 118456 KiB
Current children cumulated memory: 46556 KiB

[startup+1.50026 s]
/proc/loadavg: 0.47 0.16 0.11 5/271 29125
/proc/meminfo: memFree=127828252/131524600 swapFree=131071216/131071996
[pid=29121] ppid=29118 vsize=202424 memory=119188 CPUtime=1.47 cores=4,6
/proc/29121/stat : 29121 (fscip) S 29118 29121 28847 0 -1 1077936128 35989 0 0 0 142 5 0 0 20 0 3 0 4456623 207282176 29797 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
/proc/29121/statm: 50606 29797 2950 3035 0 33404 0
[pid=29121/tid=29123] ppid=29118 vsize=202424 memory=0 CPUtime=1.45 cores=4,6
/proc/29121/task/29123/stat : 29123 (fscip) R 29118 29121 28847 0 -1 4194368 33528 0 0 0 140 5 0 0 20 0 3 0 4456626 207282176 29797 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
[pid=29121/tid=29124] ppid=29118 vsize=202424 memory=0 CPUtime=0 cores=4,6
/proc/29121/task/29124/stat : 29124 (fscip) S 29118 29121 28847 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456627 207282176 29797 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 202424 KiB
Current children cumulated memory: 119188 KiB

[startup+3.10476 s]
/proc/loadavg: 0.83 0.24 0.14 5/271 29125
/proc/meminfo: memFree=127376668/131524600 swapFree=131071216/131071996
[pid=29121] ppid=29118 vsize=202424 memory=155344 CPUtime=3.07 cores=4,6
/proc/29121/stat : 29121 (fscip) S 29118 29121 28847 0 -1 1077936128 45766 0 0 0 301 6 0 0 20 0 3 0 4456623 207282176 38836 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
/proc/29121/statm: 50606 38836 2950 3035 0 43048 0
[pid=29121/tid=29123] ppid=29118 vsize=202424 memory=2273 CPUtime=3.05 cores=4,6
/proc/29121/task/29123/stat : 29123 (fscip) R 29118 29121 28847 0 -1 4194368 43302 0 0 0 299 6 0 0 20 0 3 0 4456626 207282176 38836 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
[pid=29121/tid=29124] ppid=29118 vsize=202424 memory=0 CPUtime=0 cores=4,6
/proc/29121/task/29124/stat : 29124 (fscip) S 29118 29121 28847 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 4456627 207282176 38836 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 202424 KiB
Current children cumulated memory: 155344 KiB

[startup+6.30016 s]
/proc/loadavg: 0.83 0.24 0.14 5/271 29126
/proc/meminfo: memFree=127298204/131524600 swapFree=131071216/131071996
[pid=29121] ppid=29118 vsize=202424 memory=155740 CPUtime=6.26 cores=4,6
/proc/29121/stat : 29121 (fscip) S 29118 29121 28847 0 -1 1077936128 45814 0 0 0 620 6 0 0 20 0 3 0 4456623 207282176 38935 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
/proc/29121/statm: 50606 38935 2998 3035 0 43048 0
[pid=29121/tid=29123] ppid=29118 vsize=202424 memory=-5155626912221195397 CPUtime=6.24 cores=4,6
/proc/29121/task/29123/stat : 29123 (fscip) R 29118 29121 28847 0 -1 4194368 43318 0 0 0 618 6 0 0 20 0 3 0 4456626 207282176 38935 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
[pid=29121/tid=29124] ppid=29118 vsize=202424 memory=155740 CPUtime=0 cores=4,6
/proc/29121/task/29124/stat : 29124 (fscip) S 29118 29121 28847 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 4456627 207282176 38935 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 202424 KiB
Current children cumulated memory: 155740 KiB

[startup+12.7002 s]
/proc/loadavg: 1.16 0.32 0.17 5/271 29127
/proc/meminfo: memFree=127257812/131524600 swapFree=131071216/131071996
[pid=29121] ppid=29118 vsize=202424 memory=160560 CPUtime=12.65 cores=4,6
/proc/29121/stat : 29121 (fscip) S 29118 29121 28847 0 -1 1077936128 60297 0 0 0 1258 7 0 0 20 0 3 0 4456623 207282176 40140 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
/proc/29121/statm: 50606 40140 2998 3035 0 43947 0
[pid=29121/tid=29123] ppid=29118 vsize=202424 memory=155344 CPUtime=12.62 cores=4,6
/proc/29121/task/29123/stat : 29123 (fscip) R 29118 29121 28847 0 -1 4194368 57741 0 0 0 1255 7 0 0 20 0 3 0 4456626 207282176 40140 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
[pid=29121/tid=29124] ppid=29118 vsize=202424 memory=0 CPUtime=0 cores=4,6
/proc/29121/task/29124/stat : 29124 (fscip) S 29118 29121 28847 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4456627 207282176 40140 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 202424 KiB
Current children cumulated memory: 160560 KiB

[startup+25.5002 s]
/proc/loadavg: 1.79 0.50 0.23 5/271 29129
/proc/meminfo: memFree=127103380/131524600 swapFree=131071216/131071996
[pid=29121] ppid=29118 vsize=330896 memory=249880 CPUtime=25.42 cores=4,6
/proc/29121/stat : 29121 (fscip) S 29118 29121 28847 0 -1 1077936128 138592 0 0 0 2528 14 0 0 20 0 3 0 4456623 338837504 62470 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
/proc/29121/statm: 82724 62470 2998 3035 0 66665 0
[pid=29121/tid=29123] ppid=29118 vsize=330896 memory=155760 CPUtime=25.39 cores=4,6
/proc/29121/task/29123/stat : 29123 (fscip) R 29118 29121 28847 0 -1 4194368 135629 0 0 0 2526 13 0 0 20 0 3 0 4456626 338837504 62470 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
[pid=29121/tid=29124] ppid=29118 vsize=330896 memory=11400 CPUtime=0 cores=4,6
/proc/29121/task/29124/stat : 29124 (fscip) S 29118 29121 28847 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4456627 338837504 62470 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 330896 KiB
Current children cumulated memory: 249880 KiB

[startup+51.1046 s]
/proc/loadavg: 2.68 0.82 0.34 5/269 29190
/proc/meminfo: memFree=126914360/131524600 swapFree=131071216/131071996
[pid=29121] ppid=29118 vsize=330896 memory=249956 CPUtime=50.95 cores=4,6
/proc/29121/stat : 29121 (fscip) S 29118 29121 28847 0 -1 1077936128 189158 0 0 0 5078 17 0 0 20 0 3 0 4456623 338837504 62489 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
/proc/29121/statm: 82724 62489 2998 3035 0 66665 0
[pid=29121/tid=29123] ppid=29118 vsize=330896 memory=249956 CPUtime=50.93 cores=4,6
/proc/29121/task/29123/stat : 29123 (fscip) R 29118 29121 28847 0 -1 4194368 186089 0 0 0 5076 17 0 0 20 0 3 0 4456626 338837504 62489 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
[pid=29121/tid=29124] ppid=29118 vsize=330896 memory=249956 CPUtime=0 cores=4,6
/proc/29121/task/29124/stat : 29124 (fscip) S 29118 29121 28847 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 4456627 338837504 62489 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 330896 KiB
Current children cumulated memory: 249956 KiB

[startup+102.3 s]
/proc/loadavg: 3.49 1.33 0.54 5/269 29200
/proc/meminfo: memFree=126789960/131524600 swapFree=131071216/131071996
[pid=29121] ppid=29118 vsize=330896 memory=249964 CPUtime=102 cores=4,6
/proc/29121/stat : 29121 (fscip) S 29118 29121 28847 0 -1 1077936128 252068 0 0 0 10179 21 0 0 20 0 3 0 4456623 338837504 62491 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
/proc/29121/statm: 82724 62491 2998 3035 0 66665 0
[pid=29121/tid=29123] ppid=29118 vsize=330896 memory=249964 CPUtime=101.96 cores=4,6
/proc/29121/task/29123/stat : 29123 (fscip) R 29118 29121 28847 0 -1 4194368 248859 0 0 0 10176 20 0 0 20 0 3 0 4456626 338837504 62491 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
[pid=29121/tid=29124] ppid=29118 vsize=330896 memory=249964 CPUtime=0 cores=4,6
/proc/29121/task/29124/stat : 29124 (fscip) S 29118 29121 28847 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 4456627 338837504 62491 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 330896 KiB
Current children cumulated memory: 249964 KiB

[startup+162.3 s]
/proc/loadavg: 3.86 1.83 0.77 5/269 29211
/proc/meminfo: memFree=126641040/131524600 swapFree=131071216/131071996
[pid=29121] ppid=29118 vsize=394384 memory=304572 CPUtime=161.84 cores=4,6
/proc/29121/stat : 29121 (fscip) S 29118 29121 28847 0 -1 1077936128 344260 0 0 0 16155 29 0 0 20 0 3 0 4456623 403849216 76143 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
/proc/29121/statm: 98596 76143 2998 3035 0 80130 0
[pid=29121/tid=29123] ppid=29118 vsize=394384 memory=283228 CPUtime=161.8 cores=4,6
/proc/29121/task/29123/stat : 29123 (fscip) R 29118 29121 28847 0 -1 4194368 340981 0 0 0 16152 28 0 0 20 0 3 0 4456626 403849216 76143 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
[pid=29121/tid=29124] ppid=29118 vsize=394384 memory=299624 CPUtime=0 cores=4,6
/proc/29121/task/29124/stat : 29124 (fscip) S 29118 29121 28847 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 4456627 403849216 76143 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 394384 KiB

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

/proc/29121/statm: 100415 88386 3302 3035 0 90714 0
[pid=29121/tid=29123] ppid=29118 vsize=401660 memory=353544 CPUtime=3453.09 cores=4,6
/proc/29121/task/29123/stat : 29123 (fscip) R 29118 29121 28847 0 -1 4194368 945591 0 0 0 345202 107 0 0 20 0 3 0 4456626 411299840 88386 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
[pid=29121/tid=29124] ppid=29118 vsize=401660 memory=11400 CPUtime=0.02 cores=4,6
/proc/29121/task/29124/stat : 29124 (fscip) S 29118 29121 28847 0 -1 1077936192 177 0 0 0 0 2 0 0 20 0 3 0 4456627 411299840 88386 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
Current children cumulated CPU time: 3453.37 s
Current children cumulated vsize: 401660 KiB
Current children cumulated memory: 353544 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.18 4.10 5/267 30966
/proc/meminfo: memFree=124707092/131524600 swapFree=131071216/131071996
[pid=29121] ppid=29118 vsize=400636 memory=352568 CPUtime=3513.24 cores=4,6
/proc/29121/stat : 29121 (fscip) S 29118 29121 28847 0 -1 1077936128 955437 0 0 0 351207 117 0 0 20 0 3 0 4456623 410251264 88142 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
/proc/29121/statm: 100159 88142 3302 3035 0 90458 0
[pid=29121/tid=29123] ppid=29118 vsize=400636 memory=352548 CPUtime=3512.94 cores=4,6
/proc/29121/task/29123/stat : 29123 (fscip) R 29118 29121 28847 0 -1 4194368 950663 0 0 0 351186 108 0 0 20 0 3 0 4456626 410251264 88142 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
[pid=29121/tid=29124] ppid=29118 vsize=400636 memory=352568 CPUtime=0.02 cores=4,6
/proc/29121/task/29124/stat : 29124 (fscip) S 29118 29121 28847 0 -1 1077936192 179 0 0 0 0 2 0 0 20 0 3 0 4456627 410251264 88142 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
Current children cumulated CPU time: 3513.24 s
Current children cumulated vsize: 400636 KiB
Current children cumulated memory: 352568 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.16 4.09 5/267 30976
/proc/meminfo: memFree=124691948/131524600 swapFree=131071216/131071996
[pid=29121] ppid=29118 vsize=400636 memory=354080 CPUtime=3573.09 cores=4,6
/proc/29121/stat : 29121 (fscip) S 29118 29121 28847 0 -1 1077936128 961143 0 0 0 357192 117 0 0 20 0 3 0 4456623 410251264 88520 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
/proc/29121/statm: 100159 88520 3302 3035 0 90837 0
[pid=29121/tid=29123] ppid=29118 vsize=400636 memory=11400 CPUtime=3572.8 cores=4,6
/proc/29121/task/29123/stat : 29123 (fscip) R 29118 29121 28847 0 -1 4194368 956351 0 0 0 357171 109 0 0 20 0 3 0 4456626 410251264 88520 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
[pid=29121/tid=29124] ppid=29118 vsize=400636 memory=354080 CPUtime=0.02 cores=4,6
/proc/29121/task/29124/stat : 29124 (fscip) S 29118 29121 28847 0 -1 1077936192 181 0 0 0 0 2 0 0 20 0 3 0 4456627 410251264 88520 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
Current children cumulated CPU time: 3573.09 s
Current children cumulated vsize: 400636 KiB
Current children cumulated memory: 354080 KiB

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

# cumulated CPU time of all completed processes:  user=3587.72 s, system=1.18876 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.16 4.09 5/267 30976
/proc/meminfo: memFree=124691984/131524600 swapFree=131071216/131071996
[pid=29121] ppid=29118 vsize=400636 memory=354080 CPUtime=3574.79 cores=4,6
/proc/29121/stat : 29121 (fscip) S 29118 29121 28847 0 -1 1077936128 961167 0 0 0 357362 117 0 0 20 0 3 0 4456623 410251264 88520 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
/proc/29121/statm: 100159 88520 3302 3035 0 90837 0
[pid=29121/tid=29123] ppid=29118 vsize=400636 memory=-7594032712773623423 CPUtime=3574.5 cores=4,6
/proc/29121/task/29123/stat : 29123 (fscip) R 29118 29121 28847 0 -1 4194368 956375 0 0 0 357341 109 0 0 20 0 3 0 4456626 410251264 88520 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
[pid=29121/tid=29124] ppid=29118 vsize=400636 memory=-7738211608633113021 CPUtime=0.02 cores=4,6
/proc/29121/task/29124/stat : 29124 (fscip) S 29118 29121 28847 0 -1 1077936192 181 0 0 0 0 2 0 0 20 0 3 0 4456627 410251264 88520 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
Current children cumulated CPU time: 3574.79 s
Current children cumulated vsize: 400636 KiB
Current children cumulated memory: 354080 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.16 4.09 5/267 30978
/proc/meminfo: memFree=124692000/131524600 swapFree=131071216/131071996
[pid=29121] ppid=29118 vsize=400636 memory=354080 CPUtime=3581.16 cores=4,6
/proc/29121/stat : 29121 (fscip) S 29118 29121 28847 0 -1 1077936128 961286 0 0 0 357999 117 0 0 20 0 3 0 4456623 410251264 88520 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
/proc/29121/statm: 100159 88520 3302 3035 0 90837 0
[pid=29121/tid=29123] ppid=29118 vsize=400636 memory=354080 CPUtime=3580.88 cores=4,6
/proc/29121/task/29123/stat : 29123 (fscip) R 29118 29121 28847 0 -1 4194368 956491 0 0 0 357979 109 0 0 20 0 3 0 4456626 410251264 88520 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
[pid=29121/tid=29124] ppid=29118 vsize=400636 memory=354080 CPUtime=0.02 cores=4,6
/proc/29121/task/29124/stat : 29124 (fscip) S 29118 29121 28847 0 -1 1077936192 183 0 0 0 0 2 0 0 20 0 3 0 4456627 410251264 88520 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
Current children cumulated CPU time: 3581.16 s
Current children cumulated vsize: 400636 KiB
Current children cumulated memory: 354080 KiB

[startup+3593.6 s]
/proc/loadavg: 4.08 4.16 4.09 5/267 30978
/proc/meminfo: memFree=124692000/131524600 swapFree=131071216/131071996
[pid=29121] ppid=29118 vsize=400636 memory=354080 CPUtime=3584.36 cores=4,6
/proc/29121/stat : 29121 (fscip) S 29118 29121 28847 0 -1 1077936128 961305 0 0 0 358319 117 0 0 20 0 3 0 4456623 410251264 88520 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
/proc/29121/statm: 100159 88520 3302 3035 0 90837 0
[pid=29121/tid=29123] ppid=29118 vsize=400636 memory=354080 CPUtime=3584.07 cores=4,6
/proc/29121/task/29123/stat : 29123 (fscip) R 29118 29121 28847 0 -1 4194368 956510 0 0 0 358298 109 0 0 20 0 3 0 4456626 410251264 88520 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
[pid=29121/tid=29124] ppid=29118 vsize=400636 memory=354080 CPUtime=0.02 cores=4,6
/proc/29121/task/29124/stat : 29124 (fscip) S 29118 29121 28847 0 -1 1077936192 183 0 0 0 0 2 0 0 20 0 3 0 4456627 410251264 88520 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
Current children cumulated CPU time: 3584.36 s
Current children cumulated vsize: 400636 KiB
Current children cumulated memory: 354080 KiB

[startup+3595.2 s]
/proc/loadavg: 4.07 4.15 4.09 5/267 30978
/proc/meminfo: memFree=124692008/131524600 swapFree=131071216/131071996
[pid=29121] ppid=29118 vsize=400636 memory=354080 CPUtime=3585.95 cores=4,6
/proc/29121/stat : 29121 (fscip) S 29118 29121 28847 0 -1 1077936128 961322 0 0 0 358478 117 0 0 20 0 3 0 4456623 410251264 88520 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
/proc/29121/statm: 100159 88520 3302 3035 0 90837 0
[pid=29121/tid=29123] ppid=29118 vsize=400636 memory=13176 CPUtime=3585.66 cores=4,6
/proc/29121/task/29123/stat : 29123 (fscip) R 29118 29121 28847 0 -1 4194368 956527 0 0 0 358457 109 0 0 20 0 3 0 4456626 410251264 88520 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
[pid=29121/tid=29124] ppid=29118 vsize=400636 memory=5472 CPUtime=0.02 cores=4,6
/proc/29121/task/29124/stat : 29124 (fscip) S 29118 29121 28847 0 -1 1077936192 183 0 0 0 0 2 0 0 20 0 3 0 4456627 410251264 88520 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
Current children cumulated CPU time: 3585.95 s
Current children cumulated vsize: 400636 KiB
Current children cumulated memory: 354080 KiB

[startup+3596.8 s]
/proc/loadavg: 4.07 4.15 4.09 5/267 30978
/proc/meminfo: memFree=124692008/131524600 swapFree=131071216/131071996
[pid=29121] ppid=29118 vsize=400636 memory=354080 CPUtime=3587.55 cores=4,6
/proc/29121/stat : 29121 (fscip) S 29118 29121 28847 0 -1 1077936128 961332 0 0 0 358638 117 0 0 20 0 3 0 4456623 410251264 88520 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
/proc/29121/statm: 100159 88520 3302 3035 0 90837 0
[pid=29121/tid=29123] ppid=29118 vsize=400636 memory=0 CPUtime=3587.26 cores=4,6
/proc/29121/task/29123/stat : 29123 (fscip) R 29118 29121 28847 0 -1 4194368 956537 0 0 0 358617 109 0 0 20 0 3 0 4456626 410251264 88520 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
[pid=29121/tid=29124] ppid=29118 vsize=400636 memory=354080 CPUtime=0.02 cores=4,6
/proc/29121/task/29124/stat : 29124 (fscip) S 29118 29121 28847 0 -1 1077936192 183 0 0 0 0 2 0 0 20 0 3 0 4456627 410251264 88520 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
Current children cumulated CPU time: 3587.55 s
Current children cumulated vsize: 400636 KiB
Current children cumulated memory: 354080 KiB

[startup+3597.6 s]
/proc/loadavg: 4.07 4.15 4.09 4/260 30986
/proc/meminfo: memFree=127140848/131524600 swapFree=131071216/131071996
[pid=29121] ppid=29118 vsize=400636 memory=354080 CPUtime=3588.34 cores=4,6
/proc/29121/stat : 29121 (fscip) S 29118 29121 28847 0 -1 1077936128 962969 0 0 0 358717 117 0 0 20 0 3 0 4456623 410251264 88520 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
/proc/29121/statm: 100159 88520 3302 3035 0 90837 0
[pid=29121/tid=29123] ppid=29118 vsize=400636 memory=11400 CPUtime=3588.06 cores=4,6
/proc/29121/task/29123/stat : 29123 (fscip) R 29118 29121 28847 0 -1 4194368 958174 0 0 0 358697 109 0 0 20 0 3 0 4456626 410251264 88520 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
[pid=29121/tid=29124] ppid=29118 vsize=400636 memory=1940 CPUtime=0.02 cores=4,6
/proc/29121/task/29124/stat : 29124 (fscip) S 29118 29121 28847 0 -1 1077936192 183 0 0 0 0 2 0 0 20 0 3 0 4456627 410251264 88520 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
Current children cumulated CPU time: 3588.34 s
Current children cumulated vsize: 400636 KiB
Current children cumulated memory: 354080 KiB

[startup+3598 s]*
/proc/loadavg: 4.07 4.15 4.09 5/261 31024
/proc/meminfo: memFree=127647376/131524600 swapFree=131071216/131071996
[pid=29121] ppid=29118 vsize=400636 memory=354080 CPUtime=3588.75 cores=4,6
/proc/29121/stat : 29121 (fscip) R 29118 29121 28847 0 -1 1077936128 963316 0 0 0 358758 117 0 0 20 0 3 0 4456623 410251264 88520 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
/proc/29121/statm: 100159 88520 3302 3035 0 90837 0
[pid=29121/tid=29123] ppid=29118 vsize=400636 memory=-6000919507116911468 CPUtime=3588.46 cores=4,6
/proc/29121/task/29123/stat : 29123 (fscip) R 29118 29121 28847 0 -1 4194368 958521 0 0 0 358737 109 0 0 20 0 3 0 4456626 410251264 88520 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
[pid=29121/tid=29124] ppid=29118 vsize=400636 memory=40044 CPUtime=0.02 cores=4,6
/proc/29121/task/29124/stat : 29124 (fscip) S 29118 29121 28847 0 -1 1077936192 183 0 0 0 0 2 0 0 20 0 3 0 4456627 410251264 88520 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
Current children cumulated CPU time: 3588.75 s
Current children cumulated vsize: 400636 KiB
Current children cumulated memory: 354080 KiB

[startup+3598.11 s]
/proc/loadavg: 4.07 4.15 4.09 5/261 31024
/proc/meminfo: memFree=127647376/131524600 swapFree=131071216/131071996
[pid=29121] ppid=29118 vsize=399608 memory=353052 CPUtime=3588.85 cores=4,6
/proc/29121/stat : 29121 (fscip) S 29118 29121 28847 0 -1 1077936128 966348 0 0 0 358767 118 0 0 20 0 3 0 4456623 409198592 88263 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
/proc/29121/statm: 99902 88263 3302 3035 0 90580 0
[pid=29121/tid=29123] ppid=29118 vsize=399608 memory=5472 CPUtime=3588.56 cores=4,6
/proc/29121/task/29123/stat : 29123 (fscip) R 29118 29121 28847 0 -1 4194368 961552 0 0 0 358747 109 0 0 20 0 3 0 4456626 409198592 88263 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
[pid=29121/tid=29124] ppid=29118 vsize=399608 memory=11400 CPUtime=0.02 cores=4,6
/proc/29121/task/29124/stat : 29124 (fscip) S 29118 29121 28847 0 -1 1077936192 183 0 0 0 0 2 0 0 20 0 3 0 4456627 409198592 88263 134679101440 4194304 16623229 140727868564432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46149632 140727868568598 140727868568714 140727868568714 140727868575728 0
Current children cumulated CPU time: 3588.85 s
Current children cumulated vsize: 399608 KiB
Current children cumulated memory: 353052 KiB

Child status: 0

Real time (s): 3598.15
CPU time (s): 3588.91
CPU user time (s): 3587.72
CPU system time (s): 1.18876
CPU usage (%): 99.7431
Max. virtual memory (cumulated for all children) (KiB): 401660
Max. memory (cumulated for all children) (KiB): 354080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.72
system time used= 1.18876
maximum resident set size= 354080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 966962
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= 12726
involuntary context switches= 1725


# summary of solver processes directly reported to runsolver:
#   pid: 29121
#   total CPU time (s): 3588.91
#   total CPU user time (s): 3587.72
#   total CPU system time (s): 1.18876

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.80131 second user time and 14.6609 second system time

The end

Launcher Data

Begin job on nodeC017 at 2024-07-31 00:29:56
IDJOB=4463976
IDBENCH=147540
IDSOLVER=3092
FILE ID=nodeC017/4463976-1722378596
RUNJOBID= nodeC017-1722378594-28858
SLURM_JOB_ID= 8249830
Free space on /tmp= 889992 MiB

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

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

MD5SUM BENCH= 62fadc113b966a642e431cfbd80ddcdc
RANDOM SEED=1367756045

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128135644 kB
MemAvailable:   129392060 kB
Buffers:           86124 kB
Cached:          2003576 kB
SwapCached:           52 kB
Active:           257212 kB
Inactive:        2657140 kB
Active(anon):       1488 kB
Inactive(anon):   843972 kB
Active(file):     255724 kB
Inactive(file):  1813168 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:            115564 kB
Writeback:             4 kB
AnonPages:        824252 kB
Mapped:           121796 kB
Shmem:             21136 kB
KReclaimable:      54696 kB
Slab:             134872 kB
SReclaimable:      54696 kB
SUnreclaim:        80176 kB
KernelStack:        4268 kB
PageTables:        10636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1222152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             8960 kB
HardwareCorrupted:     0 kB
AnonHugePages:    395264 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:      185044 kB
DirectMap2M:     5879808 kB
DirectMap1G:    130023424 kB

Free space on /tmp at the end= 889964 MiB
End job on nodeC017 at 2024-07-31 01:29:54