Trace number 4463981

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-30SAT192 3586.11 3598.18

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
MD5SUMbed0fcfa7fe1ab50726d34a7d1903e12
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 benchmark182
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 variables478
Total number of constraints478
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 constraints478
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 478
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 478
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 478
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 = 24424448, getVmSize() = 24424448, SCIPgetMemUsed() = 2330229, SCIPgetMemTotal() = 2882645, 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 = 18001920, getVmSize() = 29581312, SCIPgetMemUsed() = 3320320, SCIPgetMemTotal() = 6523504, 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-4463981-1722378596
0.00/0.02	c   Variables        : 478 (478 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02	c   Constraints      : 478
0.00/0.02	c   Objective sense  : minimize
0.00/0.02	c Presolved Problem  :
0.00/0.02	c   Variables        : 478 (478 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02	c   Constraints      : 567
0.00/0.02	c Constraints        : Number
0.00/0.02	c   knapsack         : 422 
0.00/0.02	c   setppc           : 122 
0.00/0.02	c   logicor          : 23 
0.00/0.02	c ** Instance transfer method used: 0
0.00/0.03	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         227.0000                -          -
0.00/0.05	c *       0              0           1         1         213.0000                -          -
5.77/5.86	c         6              3           2         1         213.0000         165.1083     29.01%
11.35/11.48	c        11              9           8         1         213.0000         165.1105     29.00%
16.44/16.53	c        17             22          21         1         213.0000         165.1105     29.00%
16.73/16.86	c *      17             22          21         1         212.0000         165.1105     28.40%
16.73/16.86	c *      17             22          21         1         209.0000         165.1105     26.58%
16.73/16.86	c *      17             22          21         1         207.0000         165.1105     25.37%
16.73/16.86	c *      17             22          21         1         206.0000         165.1105     24.76%
16.73/16.87	c *      17             22          21         1         205.0000         165.1105     24.16%
22.02/22.17	c *      22             92          91         1         204.0000         165.2664     23.44%
22.02/22.17	c        22             92          91         1         204.0000         165.2664     23.44%
24.91/25.00	c *      25            162         161         1         203.0000         165.2971     22.81%
24.91/25.00	c *      25            162         161         1         201.0000         165.2971     21.60%
27.40/27.53	c        28            246         245         1         201.0000         165.2971     21.60%
33.18/33.31	c *      33            322         321         1         199.0000         165.2971     20.39%
33.18/33.31	c        33            322         321         1         199.0000         165.2971     20.39%
33.18/33.31	c *      33            322         321         1         197.0000         165.2971     19.18%
38.86/39.08	c        39            412         411         1         197.0000         165.2971     19.18%
44.04/44.27	c        44            502         501         1         197.0000         165.2971     19.18%
49.52/49.71	c        50            577         576         1         197.0000         165.2971     19.18%
55.00/55.20	c        55            666         665         1         197.0000         165.2971     19.18%
60.48/60.70	c        61            778         777         1         197.0000         165.2971     19.18%
65.87/66.12	c        66            877         876         1         197.0000         165.2971     19.18%
71.64/71.95	c        72            952         951         1         197.0000         165.2971     19.18%
76.92/77.28	c        77           1017        1016         1         197.0000         165.2971     19.18%
82.11/82.46	c        82           1053           3         1         197.0000         165.3240     19.16%
87.29/87.64	c        88           1060          10         1         197.0000         165.3240     19.16%
93.37/93.71	c        94           1088          38         1         197.0000         165.3240     19.16%
99.35/99.79	c       100           1160         110         1         197.0000         165.3240     19.16%
104.93/105.37	c       105           1342         292         1         197.0000         165.4081     19.10%
110.11/110.50	c       111           1835         569         1         197.0000         165.4619     19.06%
112.11/112.53	c *     113           1861         585         1         195.0000         165.4727     17.84%
115.10/115.53	c *     116           2085         568         1         193.0000         165.5127     16.61%
115.10/115.53	c       116           2085         568         1         193.0000         165.5127     16.61%
120.28/120.79	c       121           2321         570         1         193.0000         165.5915     16.55%
126.16/126.61	c       127           2675         648         1         193.0000         165.6419     16.52%
131.34/131.86	c       132           2901         724         1         193.0000         165.6840     16.49%
137.21/137.75	c       138           3173         804         1         193.0000         165.7235     16.46%
142.30/142.87	c       143           3361         888         1         193.0000         165.7509     16.44%
147.38/147.96	c       148           3545         962         1         193.0000         165.7812     16.42%
152.96/153.58	c       154           3935        1090         1         193.0000         165.7960     16.41%
158.05/158.65	c       159           4331        1176         1         193.0000         165.8096     16.40%
164.02/164.68	c       165           4605        1294         1         193.0000         165.8330     16.38%
169.80/170.46	c       170           5081        1440         1         193.0000         165.8568     16.37%
174.98/175.61	c       176           5206        1507         1         193.0000         165.8671     16.36%
180.47/181.18	c       181           5566        1593         1         193.0000         165.8784     16.35%
186.14/186.89	c       187           5990        1727         1         193.0000         165.8948     16.34%
191.52/192.21	c       192           6421        1864         1         193.0000         165.9102     16.33%
196.60/197.33	c       197           6685        1958         1         193.0000         165.9253     16.32%
202.79/203.58	c       204           6961        2080         1         193.0000         165.9465     16.30%
208.57/209.33	c       209           7268        2199         1         193.0000         165.9523     16.30%
214.35/215.15	c       215           7626        2321         1         193.0000         165.9599     16.29%
220.23/221.07	c       221           8035        2452         1         193.0000         165.9805     16.28%
225.61/226.43	c       226           8411        2542         1         193.0000         166.0003     16.26%
230.79/231.68	c       232           8611        2632         1         193.0000         166.0058     16.26%
236.37/237.25	c       237           9025        2748         1         193.0000         166.0226     16.25%
241.95/242.85	c       243           9387        2832         1         193.0000         166.0315     16.24%
247.13/248.08	c       248           9721        2922         1         193.0000         166.0467     16.23%
253.01/253.93	c       254           9914        2997         1         193.0000         166.0572     16.23%
258.70/259.60	c       260          10141        3060         1         193.0000         166.0683     16.22%
264.48/265.41	c       265          10336        3145         1         193.0000         166.0723     16.21%
269.55/270.57	c       271          10701        3224         1         193.0000         166.0845     16.21%
275.54/276.51	c       277          11091        3318         1         193.0000         166.0962     16.20%
281.21/282.22	c       282          11691        3428         1         193.0000         166.1062     16.19%
286.39/287.41	c       287          12054        3557         1         193.0000         166.1135     16.19%
292.37/293.42	c       293          12422        3673         1         193.0000         166.1294     16.17%
297.86/298.96	c       299          12668        3781         1         193.0000         166.1336     16.17%
303.74/304.86	c       305          13231        3896         1         193.0000         166.1465     16.16%
309.92/311.00	c       311          13581        3994         1         193.0000         166.1522     16.16%
315.19/316.36	c       316          14048        4087         1         193.0000         166.1590     16.15%
320.47/321.62	c       322          14347        4164         1         193.0000         166.1688     16.15%
325.96/327.13	c       327          14621        4256         1         193.0000         166.1793     16.14%
331.34/332.51	c       333          14851        4310         1         193.0000         166.1901     16.13%
336.52/337.71	c       338          15061        4398         1         193.0000         166.2065     16.12%
341.81/343.08	c       343          15321        4482         1         193.0000         166.2151     16.11%
347.19/348.42	c       348          15491        4560         1         193.0000         166.2197     16.11%
352.17/353.44	c       353          15710        4641         1         193.0000         166.2249     16.11%
357.85/359.10	c       359          15935        4724         1         193.0000         166.2286     16.11%
363.53/364.80	c       365          16321        4834         1         193.0000         166.2372     16.10%
368.91/370.29	c       370          16555        4898         1         193.0000         166.2418     16.10%
374.09/375.42	c       375          16771        4970         1         193.0000         166.2476     16.09%
379.17/380.55	c       381          17066        5043         1         193.0000         166.2547     16.09%
385.15/386.52	c       387          17341        5134         1         193.0000         166.2640     16.08%
390.13/391.59	c       392          17591        5216         1         193.0000         166.2723     16.07%
395.42/396.89	c       397          17931        5282         1         193.0000         166.2775     16.07%
400.80/402.22	c       402          18167        5372         1         193.0000         166.2867     16.06%
406.39/407.85	c       408          18511        5454         1         193.0000         166.2906     16.06%
411.37/412.87	c       413          18801        5536         1         193.0000         166.3022     16.05%
417.34/418.84	c       419          19297        5642         1         193.0000         166.3076     16.05%
423.02/424.52	c       425          19689        5760         1         193.0000         166.3119     16.05%
428.11/429.67	c       430          19975        5812         1         193.0000         166.3142     16.05%
433.78/435.31	c       435          20321        5902         1         193.0000         166.3260     16.04%
439.66/441.25	c       441          20625        6008         1         193.0000         166.3343     16.03%
444.64/446.27	c       446          20811        6068         1         193.0000         166.3416     16.03%
450.13/451.75	c       452          21221        6196         1         193.0000         166.3527     16.02%
456.11/457.72	c       458          21595        6290         1         193.0000         166.3603     16.01%
461.09/462.75	c       463          21981        6360         1         193.0000         166.3636     16.01%
466.08/467.76	c       468          22239        6466         1         193.0000         166.3701     16.01%
471.66/473.30	c       473          22501        6578         1         193.0000         166.3778     16.00%
478.53/480.24	c       480          22635        6660         1         193.0000         166.3804     16.00%
484.42/486.14	c       486          23151        6774         1         193.0000         166.3852     16.00%
489.90/491.64	c       492          23571        6886         1         193.0000         166.3903     15.99%
495.28/497.07	c       497          23861        6946         1         193.0000         166.3957     15.99%
500.56/502.31	c       502          24181        7018         1         193.0000         166.4030     15.98%
505.94/507.75	c       508          24401        7118         1         193.0000         166.4130     15.98%
511.62/513.42	c       513          24795        7210         1         193.0000         166.4180     15.97%
516.90/518.75	c       519          25171        7304         1         193.0000         166.4225     15.97%
522.48/524.34	c       524          25501        7400         1         193.0000         166.4254     15.97%
527.46/529.39	c       529          25771        7502         1         193.0000         166.4337     15.96%
533.04/534.92	c       535          26031        7596         1         193.0000         166.4376     15.96%
538.52/540.47	c       540          26291        7712         1         193.0000         166.4411     15.96%
543.71/545.64	c       546          26571        7810         1         193.0000         166.4457     15.95%
549.79/551.73	c       552          26891        7932         1         193.0000         166.4541     15.95%
555.47/557.40	c       557          27221        8010         1         193.0000         166.4587     15.94%
560.45/562.43	c       562          27415        8066         1         193.0000         166.4605     15.94%
566.42/568.46	c       568          27841        8192         1         193.0000         166.4700     15.94%
571.81/573.90	c       574          28131        8266         1         193.0000         166.4746     15.93%
577.19/579.27	c       579          28656        8339         1         193.0000         166.4788     15.93%
582.67/584.72	c       585          29041        8416         1         193.0000         166.4825     15.93%
587.96/590.07	c       590          29335        8506         1         193.0000         166.4888     15.92%
594.04/596.13	c       596          29661        8566         1         193.0000         166.4919     15.92%
599.21/601.36	c       601          30131        8676         1         193.0000         166.4928     15.92%
604.29/606.43	c       606          30311        8742         1         193.0000         166.4966     15.92%
609.67/611.81	c       612          30621        8832         1         193.0000         166.5002     15.92%
615.35/617.59	c       618          31001        8966         1         193.0000         166.5065     15.91%
620.74/622.90	c       623          31205        9056         1         193.0000         166.5112     15.91%
625.72/627.99	c       628          31491        9144         1         193.0000         166.5151     15.91%
631.80/634.07	c       634          31871        9234         1         193.0000         166.5186     15.90%
637.88/640.10	c       640          32271        9368         1         193.0000         166.5263     15.90%
643.65/645.90	c       646          32651        9458         1         193.0000         166.5330     15.89%
648.74/651.06	c       651          32975        9548         1         193.0000         166.5386     15.89%
653.92/656.27	c       656          33191        9652         1         193.0000         166.5425     15.89%
659.50/661.82	c       662          33501        9750         1         193.0000         166.5439     15.89%
664.69/667.03	c       667          33831        9854         1         193.0000         166.5472     15.88%
669.87/672.24	c       672          34031        9928         1         193.0000         166.5507     15.88%
674.85/677.28	c       677          34401       10002         1         193.0000         166.5530     15.88%
680.42/682.84	c       683          34921       10100         1         193.0000         166.5545     15.88%
686.61/689.05	c       689          35281       10190         1         193.0000         166.5596     15.87%
692.08/694.57	c       695          35771       10304         1         193.0000         166.5638     15.87%
697.27/699.79	c       700          36061       10420         1         193.0000         166.5687     15.87%
702.75/705.20	c       705          36501       10518         1         193.0000         166.5749     15.86%
708.22/710.77	c       711          36821       10608         1         193.0000         166.5790     15.86%
713.41/715.95	c       716          37191       10716         1         193.0000         166.5842     15.86%
718.49/721.07	c       721          37571       10818         1         193.0000         166.5871     15.86%
724.08/726.64	c       727          37875       10916         1         193.0000         166.5916     15.85%
729.05/731.65	c       732          38291       10990         1         193.0000         166.5950     15.85%
734.23/736.84	c       737          38691       11086         1         193.0000         166.5982     15.85%
739.52/742.19	c       742          39121       11178         1         193.0000         166.6007     15.85%
745.20/747.88	c       748          39451       11282         1         193.0000         166.6024     15.84%
750.39/753.08	c       753          39811       11386         1         193.0000         166.6079     15.84%
756.06/758.75	c       759          40301       11500         1         193.0000         166.6128     15.84%
761.54/764.21	c       764          40636       11653         1         193.0000         166.6160     15.84%
766.72/769.43	c       769          40831       11766         1         193.0000         166.6190     15.83%
771.70/774.46	c       774          41301       11892         1         193.0000         166.6229     15.83%
776.98/779.71	c       780          41641       12014         1         193.0000         166.6290     15.83%
782.76/785.53	c       786          42071       12120         1         193.0000         166.6314     15.82%
788.35/791.12	c       791          42501       12224         1         193.0000         166.6329     15.82%
793.72/796.57	c       797          43015       12324         1         193.0000         166.6354     15.82%
798.71/801.58	c       802          43501       12446         1         193.0000         166.6378     15.82%
803.90/806.74	c       807          43831       12572         1         193.0000         166.6415     15.82%
809.18/812.06	c       812          44271       12674         1         193.0000         166.6459     15.81%
814.36/817.26	c       817          44681       12770         1         193.0000         166.6486     15.81%
819.94/822.89	c       823          45091       12894         1         193.0000         166.6547     15.81%
825.22/828.13	c       828          45391       13014         1         193.0000         166.6568     15.81%
830.41/833.39	c       833          45871       13162         1         193.0000         166.6601     15.80%
836.38/839.36	c       839          46368       13297         1         193.0000         166.6636     15.80%
841.46/844.45	c       844          46771       13402         1         193.0000         166.6649     15.80%
846.84/849.84	c       850          47201       13524         1         193.0000         166.6669     15.80%
852.52/855.57	c       856          47611       13644         1         193.0000         166.6712     15.80%
857.70/860.76	c       861          47831       13734         1         193.0000         166.6741     15.79%
862.88/865.95	c       866          48281       13832         1         193.0000         166.6767     15.79%
868.37/871.43	c       871          48801       13948         1         193.0000         166.6810     15.79%
873.55/876.67	c       877          49091       14090         1         193.0000         166.6839     15.79%
878.83/881.98	c       882          49771       14178         1         193.0000         166.6873     15.79%
884.81/887.92	c       888          50021       14282         1         193.0000         166.6912     15.78%
889.90/893.02	c       893          50521       14374         1         193.0000         166.6932     15.78%
894.98/898.17	c       898          50971       14484         1         193.0000         166.6968     15.78%
900.96/904.14	c       904          51425       14568         1         193.0000         166.6975     15.78%
906.34/909.57	c       910          51861       14726         1         193.0000         166.7016     15.78%
911.62/914.81	c       915          52311       14844         1         193.0000         166.7042     15.77%
916.80/920.07	c       920          52841       15024         1         193.0000         166.7068     15.77%
922.08/925.31	c       925          53081       15092         1         193.0000         166.7088     15.77%
927.47/930.77	c       931          53245       15194         1         193.0000         166.7104     15.77%
933.05/936.30	c       936          53503       15282         1         193.0000         166.7124     15.77%
938.62/941.94	c       942          53824       15395         1         193.0000         166.7144     15.77%
943.81/947.18	c       947          54181       15488         1         193.0000         166.7165     15.77%
949.09/952.43	c       952          54441       15550         1         193.0000         166.7171     15.76%
955.07/958.43	c       958          54645       15646         1         193.0000         166.7179     15.76%
960.46/963.81	c       964          54805       15710         1         193.0000         166.7185     15.76%
965.44/968.89	c       969          55051       15772         1         193.0000         166.7204     15.76%
971.12/974.58	c       975          55191       15840         1         193.0000         166.7217     15.76%
976.61/980.10	c       980          55375       15922         1         193.0000         166.7242     15.76%
982.38/985.84	c       986          55594       16001         1         193.0000         166.7261     15.76%
987.67/991.17	c       991          55884       16077         1         193.0000         166.7287     15.76%
992.94/996.43	c       996          56171       16150         1         193.0000         166.7297     15.76%
998.13/1001.67	c      1002          56371       16228         1         193.0000         166.7304     15.76%
1003.71/1007.24	c      1007          56545       16308         1         193.0000         166.7310     15.76%
1008.69/1012.27	c      1012          56731       16378         1         193.0000         166.7324     15.75%
1013.87/1017.49	c      1018          56955       16438         1         193.0000         166.7340     15.75%
1016.57/1020.16	c *    1020          57049       16462         1         192.0000         166.7344     15.15%
1019.06/1022.63	c      1023          57171       16216         1         192.0000         166.7349     15.15%
1024.44/1028.07	c      1028          57425       16304         1         192.0000         166.7367     15.15%
1029.71/1033.38	c      1033          57738       16379         1         192.0000         166.7380     15.15%
1035.40/1039.00	c      1039          57985       16464         1         192.0000         166.7411     15.15%
1041.18/1044.83	c      1045          58211       16546         1         192.0000         166.7432     15.15%
1047.16/1050.83	c      1051          58488       16629         1         192.0000         166.7438     15.15%
1052.35/1056.01	c      1056          58723       16694         1         192.0000         166.7459     15.15%
1057.73/1061.42	c      1061          58925       16744         1         192.0000         166.7465     15.14%
1062.81/1066.51	c      1067          59071       16814         1         192.0000         166.7489     15.14%
1068.19/1071.91	c      1072          59240       16887         1         192.0000         166.7512     15.14%
1073.77/1077.58	c      1078          59571       16988         1         192.0000         166.7532     15.14%
1078.85/1082.66	c      1083          59781       17046         1         192.0000         166.7537     15.14%
1084.24/1088.04	c      1088          60132       17089         1         192.0000         166.7546     15.14%
1090.02/1093.85	c      1094          60320       17159         1         192.0000         166.7557     15.14%
1095.30/1099.10	c      1099          60561       17212         1         192.0000         166.7570     15.14%
1100.68/1104.53	c      1105          60821       17300         1         192.0000         166.7605     15.14%
1106.36/1110.22	c      1110          61145       17354         1         192.0000         166.7617     15.13%
1112.14/1116.06	c      1116          61380       17409         1         192.0000         166.7625     15.13%
1117.73/1121.69	c      1122          61606       17463         1         192.0000         166.7649     15.13%
1123.41/1127.33	c      1127          61911       17522         1         192.0000         166.7658     15.13%
1128.59/1132.59	c      1133          62025       17574         1         192.0000         166.7668     15.13%
1133.87/1137.83	c      1138          62341       17672         1         192.0000         166.7686     15.13%
1139.06/1143.07	c      1143          62526       17755         1         192.0000         166.7708     15.13%
1144.14/1148.17	c      1148          62660       17817         1         192.0000         166.7714     15.13%
1149.52/1153.54	c      1154          62829       17872         1         192.0000         166.7728     15.13%
1154.50/1158.58	c      1159          63104       17929         1         192.0000         166.7740     15.13%
1159.58/1163.66	c      1164          63305       17994         1         192.0000         166.7745     15.13%
1165.47/1169.55	c      1170          63491       18090         1         192.0000         166.7771     15.12%
1170.54/1174.64	c      1175          63791       18152         1         192.0000         166.7787     15.12%
1176.13/1180.26	c      1180          63991       18222         1         192.0000         166.7803     15.12%
1182.01/1186.10	c      1186          64175       18304         1         192.0000         166.7819     15.12%
1187.89/1192.03	c      1192          64391       18408         1         192.0000         166.7843     15.12%
1192.97/1197.16	c      1197          64611       18460         1         192.0000         166.7858     15.12%
1198.85/1203.05	c      1203          64951       18510         1         192.0000         166.7863     15.12%
1204.42/1208.65	c      1209          65141       18580         1         192.0000         166.7874     15.12%
1210.41/1214.62	c      1215          65345       18652         1         192.0000         166.7892     15.12%
1215.80/1220.00	c      1220          65621       18704         1         192.0000         166.7907     15.11%
1220.97/1225.25	c      1225          65799       18766         1         192.0000         166.7917     15.11%
1226.55/1230.82	c      1231          65996       18841         1         192.0000         166.7931     15.11%
1232.54/1236.83	c      1237          66241       18888         1         192.0000         166.7936     15.11%
1238.22/1242.55	c      1243          66426       18949         1         192.0000         166.7947     15.11%
1243.30/1247.62	c      1248          66611       19014         1         192.0000         166.7965     15.11%
1248.48/1252.83	c      1253          66734       19075         1         192.0000         166.7970     15.11%
1253.56/1257.95	c      1258          66971       19118         1         192.0000         166.7995     15.11%
1258.94/1263.39	c      1263          67176       19189         1         192.0000         166.7999     15.11%
1264.12/1268.58	c      1269          67482       19259         1         192.0000         166.8013     15.11%
1270.00/1274.43	c      1274          67673       19356         1         192.0000         166.8021     15.11%
1275.59/1280.00	c      1280          67841       19410         1         192.0000         166.8034     15.11%
1281.37/1285.87	c      1286          68006       19463         1         192.0000         166.8047     15.10%
1286.66/1291.14	c      1291          68281       19516         1         192.0000         166.8065     15.10%
1291.94/1296.47	c      1296          68511       19602         1         192.0000         166.8075     15.10%
1297.32/1301.84	c      1302          68799       19662         1         192.0000         166.8084     15.10%
1302.30/1306.87	c      1307          69051       19722         1         192.0000         166.8092     15.10%
1307.68/1312.20	c      1312          69192       19801         1         192.0000         166.8100     15.10%
1313.26/1317.88	c      1318          69409       19854         1         192.0000         166.8108     15.10%
1318.84/1323.40	c      1323          69695       19918         1         192.0000         166.8115     15.10%
1323.92/1328.50	c      1329          69967       19978         1         192.0000         166.8124     15.10%
1329.60/1334.29	c      1334          70151       20058         1         192.0000         166.8144     15.10%
1334.68/1339.33	c      1339          70311       20116         1         192.0000         166.8155     15.10%
1340.37/1345.08	c      1345          70581       20206         1         192.0000         166.8171     15.10%
1345.65/1350.33	c      1350          70741       20268         1         192.0000         166.8173     15.10%
1351.53/1356.29	c      1356          71001       20324         1         192.0000         166.8191     15.09%
1356.71/1361.49	c      1362          71231       20430         1         192.0000         166.8204     15.09%
1361.89/1366.66	c      1367          71385       20488         1         192.0000         166.8218     15.09%
1367.47/1372.26	c      1372          71639       20566         1         192.0000         166.8226     15.09%
1372.76/1377.55	c      1378          71905       20668         1         192.0000         166.8239     15.09%
1377.84/1382.62	c      1383          72221       20716         1         192.0000         166.8254     15.09%
1383.42/1388.26	c      1388          72447       20792         1         192.0000         166.8262     15.09%
1389.11/1393.91	c      1394          72761       20850         1         192.0000         166.8288     15.09%
1394.30/1399.18	c      1399          72931       20920         1         192.0000         166.8302     15.09%
1399.68/1404.54	c      1405          73092       20983         1         192.0000         166.8315     15.09%
1404.76/1409.62	c      1410          73385       21046         1         192.0000         166.8323     15.09%
1410.25/1415.19	c      1415          73645       21112         1         192.0000         166.8338     15.08%
1415.42/1420.32	c      1420          73785       21186         1         192.0000         166.8344     15.08%
1420.71/1425.63	c      1426          73951       21262         1         192.0000         166.8345     15.08%
1425.99/1430.95	c      1431          74225       21328         1         192.0000         166.8364     15.08%
1431.67/1436.65	c      1437          74401       21420         1         192.0000         166.8379     15.08%
1436.85/1441.80	c      1442          74601       21492         1         192.0000         166.8408     15.08%
1442.64/1447.63	c      1448          74811       21570         1         192.0000         166.8425     15.08%
1448.41/1453.40	c      1453          75132       21691         1         192.0000         166.8429     15.08%
1453.90/1458.95	c      1459          75451       21760         1         192.0000         166.8451     15.08%
1459.58/1464.67	c      1465          75707       21832         1         192.0000         166.8468     15.08%
1464.76/1469.81	c      1470          75881       21914         1         192.0000         166.8484     15.07%
1469.75/1474.83	c      1475          76025       21988         1         192.0000         166.8488     15.07%
1475.13/1480.21	c      1480          76225       22042         1         192.0000         166.8495     15.07%
1480.52/1485.66	c      1486          76501       22078         1         192.0000         166.8507     15.07%
1485.50/1490.69	c      1491          76701       22162         1         192.0000         166.8514     15.07%
1490.99/1496.16	c      1496          76931       22218         1         192.0000         166.8522     15.07%
1496.36/1501.55	c      1502          77151       22310         1         192.0000         166.8557     15.07%
1501.54/1506.74	c      1507          77320       22403         1         192.0000         166.8565     15.07%
1506.83/1512.08	c      1512          77571       22484         1         192.0000         166.8571     15.07%
1512.51/1517.73	c      1518          77925       22560         1         192.0000         166.8583     15.07%
1517.69/1522.95	c      1523          78195       22634         1         192.0000         166.8585     15.07%
1523.67/1528.91	c      1529          78490       22705         1         192.0000         166.8593     15.07%
1528.95/1534.29	c      1534          78605       22772         1         192.0000         166.8601     15.07%
1534.03/1539.34	c      1539          78805       22852         1         192.0000         166.8626     15.06%
1539.91/1545.29	c      1545          79157       22962         1         192.0000         166.8635     15.06%
1545.01/1550.38	c      1550          79435       23036         1         192.0000         166.8637     15.06%
1550.69/1556.05	c      1556          79798       23143         1         192.0000         166.8656     15.06%
1556.47/1561.88	c      1562          80065       23228         1         192.0000         166.8663     15.06%
1561.65/1567.05	c      1567          80241       23296         1         192.0000         166.8672     15.06%
1567.23/1572.61	c      1573          80471       23374         1         192.0000         166.8683     15.06%
1572.61/1578.03	c      1578          80831       23458         1         192.0000         166.8692     15.06%
1577.59/1583.08	c      1583          81091       23532         1         192.0000         166.8703     15.06%
1583.17/1588.61	c      1589          81255       23624         1         192.0000         166.8713     15.06%
1588.45/1593.92	c      1594          81501       23732         1         192.0000         166.8731     15.06%
1593.93/1599.45	c      1599          81661       23812         1         192.0000         166.8740     15.06%
1599.61/1605.11	c      1605          81954       23881         1         192.0000         166.8746     15.06%
1604.69/1610.28	c      1610          82185       23938         1         192.0000         166.8755     15.06%
1610.66/1616.27	c      1616          82472       24039         1         192.0000         166.8758     15.06%
1615.75/1621.32	c      1621          82737       24100         1         192.0000         166.8767     15.05%
1621.53/1627.14	c      1627          82923       24170         1         192.0000         166.8793     15.05%
1627.11/1632.75	c      1633          83200       24245         1         192.0000         166.8803     15.05%
1632.49/1638.16	c      1638          83441       24312         1         192.0000         166.8819     15.05%
1637.77/1643.40	c      1643          83741       24382         1         192.0000         166.8828     15.05%
1643.24/1648.93	c      1649          83955       24462         1         192.0000         166.8832     15.05%
1649.33/1655.01	c      1655          84195       24538         1         192.0000         166.8842     15.05%
1654.51/1660.26	c      1660          84401       24612         1         192.0000         166.8850     15.05%
1660.29/1666.01	c      1666          84663       24670         1         192.0000         166.8857     15.05%
1665.57/1671.31	c      1671          84861       24736         1         192.0000         166.8874     15.05%
1671.05/1676.88	c      1677          85051       24810         1         192.0000         166.8878     15.05%
1676.43/1682.22	c      1682          85314       24893         1         192.0000         166.8881     15.05%
1681.91/1687.72	c      1688          85562       24953         1         192.0000         166.8888     15.05%
1686.89/1692.73	c      1693          85811       25018         1         192.0000         166.8890     15.05%
1692.07/1697.90	c      1698          86065       25102         1         192.0000         166.8897     15.05%
1697.35/1703.24	c      1703          86396       25171         1         192.0000         166.8906     15.05%
1703.03/1708.94	c      1709          86801       25230         1         192.0000         166.8910     15.05%
1708.31/1714.20	c      1714          87065       25310         1         192.0000         166.8920     15.04%
1714.38/1720.30	c      1720          87265       25372         1         192.0000         166.8928     15.04%
1720.37/1726.37	c      1726          87561       25456         1         192.0000         166.8941     15.04%
1726.05/1732.01	c      1732          87861       25538         1         192.0000         166.8950     15.04%
1731.63/1737.62	c      1738          88059       25618         1         192.0000         166.8959     15.04%
1736.61/1742.66	c      1743          88301       25694         1         192.0000         166.8966     15.04%
1742.28/1748.30	c      1748          88491       25780         1         192.0000         166.8975     15.04%
1747.37/1753.44	c      1753          88705       25860         1         192.0000         166.8978     15.04%
1752.85/1758.98	c      1759          89091       25908         1         192.0000         166.8983     15.04%
1758.52/1764.63	c      1765          89361       25992         1         192.0000         166.8998     15.04%
1764.20/1770.39	c      1770          89610       26089         1         192.0000         166.9003     15.04%
1770.09/1776.27	c      1776          89915       26162         1         192.0000         166.9011     15.04%
1776.26/1782.44	c      1782          90215       26198         1         192.0000         166.9016     15.04%
1781.95/1788.17	c      1788          90411       26268         1         192.0000         166.9032     15.04%
1787.82/1794.01	c      1794          90689       26362         1         192.0000         166.9033     15.04%
1793.10/1799.38	c      1799          90861       26432         1         192.0000         166.9041     15.04%
1798.38/1804.65	c      1805          91065       26524         1         192.0000         166.9051     15.04%
1803.76/1810.08	c      1810          91395       26608         1         192.0000         166.9059     15.03%
1808.95/1815.22	c      1815          91640       26683         1         192.0000         166.9069     15.03%
1814.03/1820.34	c      1820          91988       26757         1         192.0000         166.9078     15.03%
1820.11/1826.48	c      1826          92231       26826         1         192.0000         166.9093     15.03%
1825.38/1831.79	c      1832          92561       26884         1         192.0000         166.9098     15.03%
1830.77/1837.11	c      1837          92867       26934         1         192.0000         166.9113     15.03%
1835.94/1842.31	c      1842          93131       27004         1         192.0000         166.9126     15.03%
1841.92/1848.32	c      1848          93349       27084         1         192.0000         166.9134     15.03%
1846.90/1853.36	c      1853          93591       27160         1         192.0000         166.9141     15.03%
1851.98/1858.44	c      1858          93865       27240         1         192.0000         166.9147     15.03%
1857.66/1864.10	c      1864          94191       27320         1         192.0000         166.9156     15.03%
1862.65/1869.15	c      1869          94401       27396         1         192.0000         166.9159     15.03%
1868.32/1874.87	c      1875          94641       27470         1         192.0000         166.9166     15.03%
1873.71/1880.25	c      1880          94916       27543         1         192.0000         166.9178     15.03%
1879.19/1885.74	c      1886          95195       27638         1         192.0000         166.9193     15.03%
1884.37/1890.90	c      1891          95711       27696         1         192.0000         166.9194     15.03%
1890.05/1896.69	c      1897          95941       27792         1         192.0000         166.9198     15.03%
1895.13/1901.70	c      1902          96125       27852         1         192.0000         166.9203     15.02%
1901.01/1907.61	c      1908          96341       27940         1         192.0000         166.9221     15.02%
1906.39/1913.02	c      1913          96565       28010         1         192.0000         166.9227     15.02%
1911.86/1918.51	c      1919          96781       28106         1         192.0000         166.9253     15.02%
1917.64/1924.35	c      1924          97025       28188         1         192.0000         166.9255     15.02%
1923.12/1929.83	c      1930          97257       28274         1         192.0000         166.9262     15.02%
1928.60/1935.34	c      1935          97544       28337         1         192.0000         166.9271     15.02%
1934.18/1940.99	c      1941          97771       28416         1         192.0000         166.9279     15.02%
1939.86/1946.64	c      1947          98015       28490         1         192.0000         166.9289     15.02%
1945.44/1952.25	c      1952          98390       28543         1         192.0000         166.9301     15.02%
1950.83/1957.63	c      1958          98791       28652         1         192.0000         166.9311     15.02%
1956.41/1963.22	c      1963          98985       28734         1         192.0000         166.9319     15.02%
1961.80/1968.66	c      1969          99175       28804         1         192.0000         166.9322     15.02%
1966.88/1973.73	c      1974          99471       28876         1         192.0000         166.9337     15.02%
1971.86/1978.79	c      1979          99815       28928         1         192.0000         166.9339     15.02%
1977.25/1984.12	c      1984         100005       29008         1         192.0000         166.9352     15.01%
1983.23/1990.12	c      1990         100381       29084         1         192.0000         166.9360     15.01%
1988.21/1995.17	c      1995         100591       29160         1         192.0000         166.9372     15.01%
1993.60/2000.55	c      2001         100765       29262         1         192.0000         166.9389     15.01%
1999.28/2006.21	c      2006         101091       29338         1         192.0000         166.9408     15.01%
2004.56/2011.57	c      2012         101422       29395         1         192.0000         166.9412     15.01%
2009.74/2016.71	c      2017         101661       29476         1         192.0000         166.9421     15.01%
2015.52/2022.55	c      2023         102035       29582         1         192.0000         166.9428     15.01%
2021.01/2028.07	c      2028         102274       29643         1         192.0000         166.9434     15.01%
2026.69/2033.72	c      2034         102535       29728         1         192.0000         166.9436     15.01%
2032.47/2039.57	c      2040         102793       29820         1         192.0000         166.9448     15.01%
2037.65/2044.79	c      2045         103051       29894         1         192.0000         166.9452     15.01%
2042.83/2049.98	c      2050         103291       29978         1         192.0000         166.9459     15.01%
2048.83/2055.93	c      2056         103491       30064         1         192.0000         166.9465     15.01%
2054.61/2061.76	c      2062         103691       30144         1         192.0000         166.9471     15.01%
2060.19/2067.33	c      2067         103955       30220         1         192.0000         166.9485     15.01%
2065.88/2073.05	c      2073         104219       30312         1         192.0000         166.9497     15.00%
2071.15/2078.33	c      2078         104441       30384         1         192.0000         166.9505     15.00%
2076.73/2083.94	c      2084         104731       30480         1         192.0000         166.9525     15.00%
2082.61/2089.80	c      2090         104975       30582         1         192.0000         166.9532     15.00%
2088.29/2095.59	c      2096         105326       30657         1         192.0000         166.9540     15.00%
2093.58/2100.84	c      2101         105711       30708         1         192.0000         166.9554     15.00%
2098.66/2105.94	c      2106         105881       30782         1         192.0000         166.9561     15.00%
2104.24/2111.56	c      2112         106045       30860         1         192.0000         166.9566     15.00%
2110.12/2117.46	c      2117         106331       30938         1         192.0000         166.9573     15.00%
2115.51/2122.80	c      2123         106551       31006         1         192.0000         166.9583     15.00%
2120.90/2128.25	c      2128         106851       31080         1         192.0000         166.9586     15.00%
2126.38/2133.73	c      2134         107091       31174         1         192.0000         166.9591     15.00%
2131.46/2138.81	c      2139         107391       31294         1         192.0000         166.9599     15.00%
2136.94/2144.33	c      2144         107751       31372         1         192.0000         166.9605     15.00%
2142.13/2149.57	c      2150         107945       31442         1         192.0000         166.9611     15.00%
2147.61/2155.06	c      2155         108260       31545         1         192.0000         166.9615     15.00%
2153.59/2161.04	c      2161         108591       31636         1         192.0000         166.9623     15.00%
2159.17/2166.63	c      2167         108845       31724         1         192.0000         166.9628     15.00%
2164.35/2171.81	c      2172         109131       31810         1         192.0000         166.9632     15.00%
2169.94/2177.46	c      2177         109381       31862         1         192.0000         166.9638     15.00%
2175.23/2182.72	c      2183         109661       31936         1         192.0000         166.9644     14.99%
2180.31/2187.82	c      2188         109870       32011         1         192.0000         166.9649     14.99%
2185.49/2193.06	c      2193         110191       32094         1         192.0000         166.9659     14.99%
2190.67/2198.21	c      2198         110381       32174         1         192.0000         166.9662     14.99%
2195.86/2203.41	c      2203         110741       32254         1         192.0000         166.9668     14.99%
2201.34/2208.98	c      2209         111051       32318         1         192.0000         166.9687     14.99%
2206.42/2214.00	c      2214         111310       32387         1         192.0000         166.9696     14.99%
2211.80/2219.47	c      2219         111541       32472         1         192.0000         166.9700     14.99%
2216.78/2224.49	c      2224         111731       32548         1         192.0000         166.9709     14.99%
2222.37/2230.05	c      2230         111981       32632         1         192.0000         166.9712     14.99%
2227.75/2235.45	c      2235         112201       32716         1         192.0000         166.9720     14.99%
2233.73/2241.41	c      2241         112576       32783         1         192.0000         166.9724     14.99%
2239.42/2247.15	c      2247         112812       32851         1         192.0000         166.9727     14.99%
2244.49/2252.27	c      2252         113294       32917         1         192.0000         166.9728     14.99%
2249.98/2257.76	c      2258         113721       32996         1         192.0000         166.9738     14.99%
2255.96/2263.71	c      2264         114015       33078         1         192.0000         166.9746     14.99%
2261.74/2269.55	c      2270         114336       33155         1         192.0000         166.9748     14.99%
2266.82/2274.69	c      2275         114575       33232         1         192.0000         166.9760     14.99%
2272.71/2280.58	c      2281         114934       33331         1         192.0000         166.9766     14.99%
2277.99/2285.80	c      2286         115129       33404         1         192.0000         166.9769     14.99%
2283.07/2290.91	c      2291         115346       33499         1         192.0000         166.9778     14.99%
2288.75/2296.62	c      2297         115671       33612         1         192.0000         166.9793     14.98%
2293.84/2301.76	c      2302         115861       33696         1         192.0000         166.9798     14.98%
2299.02/2306.92	c      2307         116085       33780         1         192.0000         166.9799     14.98%
2304.80/2312.75	c      2313         116341       33886         1         192.0000         166.9805     14.98%
2310.38/2318.37	c      2318         116590       33973         1         192.0000         166.9809     14.98%
2315.37/2323.37	c      2323         116945       34028         1         192.0000         166.9811     14.98%
2320.55/2328.57	c      2329         117216       34095         1         192.0000         166.9816     14.98%
2326.04/2334.06	c      2334         117482       34177         1         192.0000         166.9822     14.98%
2331.22/2339.26	c      2339         117749       34268         1         192.0000         166.9830     14.98%
2336.30/2344.31	c      2344         118051       34320         1         192.0000         166.9838     14.98%
2341.87/2349.90	c      2350         118255       34426         1         192.0000         166.9853     14.98%
2347.75/2355.86	c      2356         118602       34559         1         192.0000         166.9860     14.98%
2353.74/2361.81	c      2362         118971       34652         1         192.0000         166.9868     14.98%
2358.82/2366.98	c      2367         119188       34713         1         192.0000         166.9878     14.98%
2364.01/2372.13	c      2372         119521       34808         1         192.0000         166.9884     14.98%
2369.29/2377.45	c      2377         119745       34894         1         192.0000         166.9888     14.98%
2374.37/2382.55	c      2383         120061       34964         1         192.0000         166.9895     14.98%
2380.06/2388.24	c      2388         120291       35038         1         192.0000         166.9902     14.98%
2385.04/2393.28	c      2393         120641       35114         1         192.0000         166.9911     14.98%
2390.93/2399.12	c      2399         120839       35204         1         192.0000         166.9916     14.98%
2396.40/2404.62	c      2405         121080       35271         1         192.0000         166.9928     14.98%
2401.59/2409.89	c      2410         121255       35352         1         192.0000         166.9934     14.97%
2407.07/2415.39	c      2415         121585       35452         1         192.0000         166.9940     14.97%
2413.05/2421.31	c      2421         121971       35542         1         192.0000         166.9950     14.97%
2418.74/2427.10	c      2427         122265       35628         1         192.0000         166.9955     14.97%
2424.51/2432.86	c      2433         122586       35725         1         192.0000         166.9958     14.97%
2430.19/2438.57	c      2439         122931       35798         1         192.0000         166.9963     14.97%
2435.78/2444.15	c      2444         123201       35882         1         192.0000         166.9971     14.97%
2440.86/2449.22	c      2449         123351       35952         1         192.0000         166.9976     14.97%
2445.84/2454.26	c      2454         123565       36030         1         192.0000         166.9984     14.97%
2451.83/2460.20	c      2460         123911       36098         1         192.0000         166.9991     14.97%
2457.11/2465.55	c      2466         124233       36176         1         192.0000         166.9992     14.97%
2462.39/2470.81	c      2471         124555       36242         1         192.0000         166.9997     14.97%
2467.88/2476.32	c      2476         124971       36326         1         192.0000         167.0002     14.97%
2473.66/2482.12	c      2482         125291       36442         1         192.0000         167.0004     14.97%
2479.43/2487.91	c      2488         125555       36538         1         192.0000         167.0008     14.97%
2484.91/2493.49	c      2493         125821       36622         1         192.0000         167.0018     14.97%
2490.51/2499.01	c      2499         126171       36706         1         192.0000         167.0032     14.97%
2496.28/2504.86	c      2505         126405       36792         1         192.0000         167.0041     14.97%
2502.06/2510.60	c      2511         126761       36878         1         192.0000         167.0048     14.97%
2508.14/2516.76	c      2517         127045       36930         1         192.0000         167.0049     14.97%
2514.02/2522.64	c      2523         127295       37016         1         192.0000         167.0058     14.97%
2519.71/2528.38	c      2528         127771       37110         1         192.0000         167.0066     14.97%
2525.09/2533.73	c      2534         127941       37190         1         192.0000         167.0076     14.96%
2530.67/2539.30	c      2539         128185       37292         1         192.0000         167.0085     14.96%
2535.75/2544.49	c      2544         128351       37374         1         192.0000         167.0094     14.96%
2541.24/2549.92	c      2550         128597       37456         1         192.0000         167.0097     14.96%
2546.22/2554.96	c      2555         128851       37542         1         192.0000         167.0106     14.96%
2551.31/2560.01	c      2560         129181       37616         1         192.0000         167.0117     14.96%
2556.58/2565.39	c      2565         129391       37686         1         192.0000         167.0127     14.96%
2562.17/2570.99	c      2571         129701       37790         1         192.0000         167.0137     14.96%
2567.56/2576.33	c      2576         129935       37882         1         192.0000         167.0145     14.96%
2573.44/2582.21	c      2582         130351       37946         1         192.0000         167.0150     14.96%
2578.82/2587.60	c      2588         130731       38016         1         192.0000         167.0157     14.96%
2584.50/2593.34	c      2593         131001       38108         1         192.0000         167.0165     14.96%
2589.68/2598.54	c      2599         131401       38184         1         192.0000         167.0173     14.96%
2596.06/2604.94	c      2605         131615       38272         1         192.0000         167.0178     14.96%
2601.64/2610.56	c      2611         132011       38348         1         192.0000         167.0185     14.96%
2606.93/2615.87	c      2616         132259       38450         1         192.0000         167.0189     14.96%
2612.12/2621.10	c      2621         132521       38532         1         192.0000         167.0198     14.96%
2617.40/2626.38	c      2626         132741       38610         1         192.0000         167.0211     14.96%
2623.27/2632.29	c      2632         132995       38688         1         192.0000         167.0218     14.96%
2629.26/2638.29	c      2638         133269       38772         1         192.0000         167.0223     14.95%
2634.44/2643.49	c      2643         133496       38855         1         192.0000         167.0228     14.95%
2639.62/2648.62	c      2649         133806       38925         1         192.0000         167.0232     14.95%
2644.91/2653.97	c      2654         134191       39004         1         192.0000         167.0240     14.95%
2650.29/2659.37	c      2659         134621       39064         1         192.0000         167.0242     14.95%
2655.87/2664.92	c      2665         134891       39162         1         192.0000         167.0250     14.95%
2660.96/2670.06	c      2670         135096       39241         1         192.0000         167.0256     14.95%
2666.63/2675.71	c      2676         135311       39338         1         192.0000         167.0268     14.95%
2672.41/2681.53	c      2682         135495       39422         1         192.0000         167.0272     14.95%
2678.30/2687.48	c      2687         135811       39534         1         192.0000         167.0289     14.95%
2684.08/2693.20	c      2693         135995       39612         1         192.0000         167.0293     14.95%
2690.07/2699.20	c      2699         136363       39722         1         192.0000         167.0297     14.95%
2695.35/2704.53	c      2705         136576       39767         1         192.0000         167.0300     14.95%
2700.93/2710.10	c      2710         136851       39834         1         192.0000         167.0306     14.95%
2706.01/2715.28	c      2715         137086       39915         1         192.0000         167.0312     14.95%
2711.10/2720.35	c      2720         137271       39984         1         192.0000         167.0315     14.95%
2716.38/2725.67	c      2726         137495       40062         1         192.0000         167.0318     14.95%
2721.66/2730.96	c      2731         137741       40148         1         192.0000         167.0325     14.95%
2727.24/2736.51	c      2737         138136       40207         1         192.0000         167.0334     14.95%
2732.53/2741.88	c      2742         138501       40274         1         192.0000         167.0337     14.95%
2738.41/2747.76	c      2748         138775       40350         1         192.0000         167.0345     14.95%
2743.69/2753.06	c      2753         139025       40428         1         192.0000         167.0352     14.95%
2749.68/2759.01	c      2759         139447       40498         1         192.0000         167.0355     14.95%
2755.85/2765.24	c      2765         139755       40604         1         192.0000         167.0359     14.95%
2761.63/2771.02	c      2771         140041       40676         1         192.0000         167.0364     14.95%
2766.62/2776.08	c      2776         140271       40746         1         192.0000         167.0369     14.94%
2772.60/2782.02	c      2782         140627       40840         1         192.0000         167.0372     14.94%
2777.69/2787.19	c      2787         140971       40902         1         192.0000         167.0376     14.94%
2783.46/2792.94	c      2793         141253       40996         1         192.0000         167.0383     14.94%
2788.95/2798.46	c      2798         141561       41098         1         192.0000         167.0385     14.94%
2794.93/2804.49	c      2804         141815       41202         1         192.0000         167.0388     14.94%
2800.31/2809.83	c      2810         142081       41284         1         192.0000         167.0395     14.94%
2805.39/2814.92	c      2815         142411       41392         1         192.0000         167.0398     14.94%
2810.97/2820.54	c      2821         142657       41492         1         192.0000         167.0401     14.94%
2816.56/2826.12	c      2826         142991       41558         1         192.0000         167.0404     14.94%
2821.73/2831.34	c      2831         143221       41624         1         192.0000         167.0410     14.94%
2827.42/2837.05	c      2837         143465       41692         1         192.0000         167.0413     14.94%
2832.90/2842.51	c      2843         143741       41774         1         192.0000         167.0418     14.94%
2838.39/2848.03	c      2848         144061       41854         1         192.0000         167.0420     14.94%
2844.06/2853.72	c      2854         144381       41940         1         192.0000         167.0423     14.94%
2849.84/2859.52	c      2860         144595       42016         1         192.0000         167.0430     14.94%
2855.73/2865.44	c      2865         145069       42092         1         192.0000         167.0436     14.94%
2861.02/2870.72	c      2871         145355       42158         1         192.0000         167.0442     14.94%
2866.20/2875.90	c      2876         145589       42248         1         192.0000         167.0445     14.94%
2871.78/2881.51	c      2882         145821       42338         1         192.0000         167.0457     14.94%
2876.96/2886.71	c      2887         146056       42427         1         192.0000         167.0460     14.94%
2882.34/2892.19	c      2892         146321       42516         1         192.0000         167.0465     14.94%
2888.72/2898.56	c      2899         146585       42592         1         192.0000         167.0468     14.94%
2894.20/2904.09	c      2904         146851       42680         1         192.0000         167.0478     14.94%
2899.48/2909.39	c      2909         147055       42748         1         192.0000         167.0480     14.94%
2904.57/2914.44	c      2914         147307       42834         1         192.0000         167.0488     14.94%
2910.26/2920.13	c      2920         147776       42889         1         192.0000         167.0491     14.94%
2916.14/2926.02	c      2926         148068       43001         1         192.0000         167.0502     14.94%
2921.12/2931.10	c      2931         148431       43078         1         192.0000         167.0507     14.94%
2927.00/2936.92	c      2937         148585       43170         1         192.0000         167.0519     14.93%
2932.28/2942.28	c      2942         148841       43214         1         192.0000         167.0524     14.93%
2937.86/2947.81	c      2948         149111       43306         1         192.0000         167.0529     14.93%
2943.75/2953.76	c      2954         149471       43388         1         192.0000         167.0533     14.93%
2949.33/2959.34	c      2959         149775       43516         1         192.0000         167.0541     14.93%
2955.12/2965.10	c      2965         150125       43620         1         192.0000         167.0544     14.93%
2960.29/2970.38	c      2970         150371       43688         1         192.0000         167.0556     14.93%
2965.68/2975.77	c      2976         150545       43756         1         192.0000         167.0562     14.93%
2970.96/2981.09	c      2981         150868       43867         1         192.0000         167.0569     14.93%
2976.44/2986.51	c      2987         151105       43950         1         192.0000         167.0572     14.93%
2981.72/2991.89	c      2992         151371       44036         1         192.0000         167.0575     14.93%
2987.11/2997.22	c      2997         151591       44098         1         192.0000         167.0580     14.93%
2992.49/3002.68	c      3003         151855       44158         1         192.0000         167.0584     14.93%
2997.77/3007.97	c      3008         152188       44201         1         192.0000         167.0589     14.93%
3002.86/3013.05	c      3013         152391       44266         1         192.0000         167.0595     14.93%
3008.94/3019.17	c      3019         152601       44340         1         192.0000         167.0601     14.93%
3014.41/3024.62	c      3025         152811       44414         1         192.0000         167.0606     14.93%
3019.60/3029.81	c      3030         153081       44502         1         192.0000         167.0616     14.93%
3024.78/3035.06	c      3035         153414       44561         1         192.0000         167.0617     14.93%
3030.66/3040.92	c      3041         153725       44608         1         192.0000         167.0619     14.93%
3035.95/3046.26	c      3046         153991       44698         1         192.0000         167.0631     14.93%
3041.63/3051.91	c      3052         154251       44764         1         192.0000         167.0637     14.93%
3047.51/3057.82	c      3058         154555       44862         1         192.0000         167.0643     14.93%
3053.29/3063.66	c      3064         154841       44928         1         192.0000         167.0651     14.93%
3058.67/3069.00	c      3069         155091       44990         1         192.0000         167.0655     14.92%
3063.95/3074.30	c      3074         155305       45060         1         192.0000         167.0658     14.92%
3069.03/3079.42	c      3079         155441       45128         1         192.0000         167.0668     14.92%
3074.72/3085.14	c      3085         155881       45186         1         192.0000         167.0673     14.92%
3079.90/3090.36	c      3090         156141       45274         1         192.0000         167.0680     14.92%
3085.59/3096.08	c      3096         156351       45366         1         192.0000         167.0685     14.92%
3091.27/3101.76	c      3102         156601       45462         1         192.0000         167.0691     14.92%
3096.56/3107.00	c      3107         156891       45508         1         192.0000         167.0695     14.92%
3101.74/3112.22	c      3112         157170       45571         1         192.0000         167.0699     14.92%
3107.92/3118.48	c      3118         157471       45686         1         192.0000         167.0707     14.92%
3113.20/3123.78	c      3124         157871       45752         1         192.0000         167.0708     14.92%
3118.59/3129.17	c      3129         158086       45835         1         192.0000         167.0712     14.92%
3123.77/3134.31	c      3134         158301       45898         1         192.0000         167.0719     14.92%
3129.25/3139.82	c      3140         158654       46001         1         192.0000         167.0724     14.92%
3134.54/3145.12	c      3145         158865       46066         1         192.0000         167.0727     14.92%
3139.81/3150.45	c      3150         159281       46180         1         192.0000         167.0734     14.92%
3145.09/3155.74	c      3156         159555       46268         1         192.0000         167.0736     14.92%
3150.97/3161.64	c      3162         159805       46362         1         192.0000         167.0739     14.92%
3155.95/3166.67	c      3167         159961       46440         1         192.0000         167.0745     14.92%
3161.74/3172.41	c      3172         160231       46532         1         192.0000         167.0750     14.92%
3167.02/3177.71	c      3178         160431       46602         1         192.0000         167.0758     14.92%
3172.21/3182.92	c      3183         160649       46678         1         192.0000         167.0765     14.92%
3177.49/3188.27	c      3188         160976       46771         1         192.0000         167.0772     14.92%
3183.07/3193.82	c      3194         161361       46870         1         192.0000         167.0776     14.92%
3188.15/3198.92	c      3199         161531       46948         1         192.0000         167.0782     14.92%
3193.64/3204.41	c      3204         161741       47038         1         192.0000         167.0790     14.92%
3198.82/3209.60	c      3210         162001       47114         1         192.0000         167.0796     14.92%
3204.80/3215.60	c      3216         162235       47196         1         192.0000         167.0800     14.91%
3210.29/3221.19	c      3221         162601       47254         1         192.0000         167.0806     14.91%
3215.96/3226.89	c      3227         162791       47338         1         192.0000         167.0812     14.91%
3221.34/3232.21	c      3232         162995       47404         1         192.0000         167.0816     14.91%
3226.82/3237.72	c      3238         163343       47496         1         192.0000         167.0818     14.91%
3232.31/3243.21	c      3243         163661       47588         1         192.0000         167.0823     14.91%
3237.79/3248.72	c      3249         163948       47669         1         192.0000         167.0824     14.91%
3243.18/3254.19	c      3254         164241       47726         1         192.0000         167.0830     14.91%
3248.46/3259.41	c      3259         164511       47812         1         192.0000         167.0839     14.91%
3254.24/3265.24	c      3265         164941       47888         1         192.0000         167.0841     14.91%
3259.92/3270.97	c      3271         165161       47996         1         192.0000         167.0843     14.91%
3265.01/3276.03	c      3276         165295       48052         1         192.0000         167.0847     14.91%
3270.59/3281.66	c      3282         165581       48124         1         192.0000         167.0849     14.91%
3276.18/3287.22	c      3287         165880       48213         1         192.0000         167.0849     14.91%
3281.86/3292.99	c      3293         166205       48274         1         192.0000         167.0852     14.91%
3287.34/3298.45	c      3298         166481       48350         1         192.0000         167.0853     14.91%
3292.42/3303.50	c      3304         166704       48425         1         192.0000         167.0858     14.91%
3297.60/3308.73	c      3309         166911       48514         1         192.0000         167.0865     14.91%
3303.48/3314.60	c      3315         167157       48606         1         192.0000         167.0868     14.91%
3309.26/3320.41	c      3320         167493       48706         1         192.0000         167.0875     14.91%
3314.95/3326.12	c      3326         167745       48782         1         192.0000         167.0880     14.91%
3320.34/3331.54	c      3332         168040       48847         1         192.0000         167.0885     14.91%
3325.32/3336.59	c      3337         168311       48910         1         192.0000         167.0889     14.91%
3330.49/3341.75	c      3342         168694       48983         1         192.0000         167.0891     14.91%
3335.57/3346.87	c      3347         169002       49039         1         192.0000         167.0895     14.91%
3340.76/3352.07	c      3352         169301       49152         1         192.0000         167.0900     14.91%
3345.94/3357.28	c      3357         169571       49222         1         192.0000         167.0906     14.91%
3351.32/3362.69	c      3363         169725       49294         1         192.0000         167.0911     14.91%
3357.10/3368.49	c      3368         170035       49374         1         192.0000         167.0922     14.91%
3362.98/3374.39	c      3374         170358       49449         1         192.0000         167.0925     14.91%
3368.46/3379.82	c      3380         170692       49517         1         192.0000         167.0929     14.91%
3373.93/3385.39	c      3385         171081       49582         1         192.0000         167.0938     14.91%
3379.72/3391.18	c      3391         171411       49648         1         192.0000         167.0942     14.91%
3384.89/3396.36	c      3396         171681       49720         1         192.0000         167.0945     14.91%
3390.18/3401.68	c      3402         171931       49818         1         192.0000         167.0955     14.90%
3395.66/3407.11	c      3407         172151       49902         1         192.0000         167.0961     14.90%
3401.43/3412.94	c      3413         172405       50000         1         192.0000         167.0965     14.90%
3406.52/3418.08	c      3418         172721       50068         1         192.0000         167.0970     14.90%
3411.80/3423.31	c      3423         172991       50128         1         192.0000         167.0978     14.90%
3417.28/3428.80	c      3429         173291       50214         1         192.0000         167.0984     14.90%
3422.26/3433.86	c      3434         173511       50274         1         192.0000         167.0993     14.90%
3428.33/3439.95	c      3440         173885       50340         1         192.0000         167.0995     14.90%
3433.31/3444.97	c      3445         174115       50418         1         192.0000         167.1000     14.90%
3438.40/3450.07	c      3450         174345       50480         1         192.0000         167.1007     14.90%
3443.49/3455.10	c      3455         174531       50568         1         192.0000         167.1013     14.90%
3449.06/3460.70	c      3461         174791       50642         1         192.0000         167.1015     14.90%
3454.54/3466.22	c      3466         175055       50728         1         192.0000         167.1022     14.90%
3460.22/3471.95	c      3472         175275       50816         1         192.0000         167.1024     14.90%
3465.30/3477.09	c      3477         175551       50886         1         192.0000         167.1028     14.90%
3471.18/3482.93	c      3483         175871       50968         1         192.0000         167.1029     14.90%
3476.66/3488.45	c      3488         176141       51070         1         192.0000         167.1036     14.90%
3481.84/3493.65	c      3494         176341       51160         1         192.0000         167.1041     14.90%
3487.03/3498.82	c      3499         176641       51220         1         192.0000         167.1044     14.90%
3492.72/3504.52	c      3505         176881       51330         1         192.0000         167.1048     14.90%
3497.80/3509.69	c      3510         177161       51394         1         192.0000         167.1050     14.90%
3503.38/3515.29	c      3515         177381       51476         1         192.0000         167.1056     14.90%
3509.26/3521.14	c      3521         177655       51540         1         192.0000         167.1062     14.90%
3514.34/3526.29	c      3526         178048       51603         1         192.0000         167.1067     14.90%
3519.43/3531.35	c      3531         178373       51654         1         192.0000         167.1070     14.90%
3524.51/3536.41	c      3536         178631       51732         1         192.0000         167.1075     14.90%
3529.59/3541.50	c      3542         178840       51803         1         192.0000         167.1080     14.90%
3535.37/3547.38	c      3547         179070       51889         1         192.0000         167.1086     14.90%
3541.35/3553.39	c      3553         179391       51964         1         192.0000         167.1089     14.90%
3546.43/3558.44	c      3558         179791       52060         1         192.0000         167.1096     14.89%
3552.03/3564.04	c      3564         180109       52148         1         192.0000         167.1100     14.89%
3557.90/3569.95	c      3570         180495       52238         1         192.0000         167.1104     14.89%
3563.09/3575.17	c      3575         180843       52314         1         192.0000         167.1110     14.89%
3568.57/3580.63	c      3581         181261       52398         1         192.0000         167.1116     14.89%
3573.55/3585.64	c      3586         181481       52462         1         192.0000         167.1122     14.89%
3578.63/3590.73	c      3591         181796       52557         1         192.0000         167.1124     14.89%
3583.82/3595.95	c      3596         182021       52630         1         192.0000         167.1125     14.89%
3586.01/3598.18	c SCIP Status        : c solving was interrupted [hard time limit reached]
3586.01/3598.18	c Total Time         : 3598.18
3586.01/3598.18	c   solving          : 3598.18
3586.01/3598.18	c   presolving       : 0.02 (included in solving)
3586.01/3598.18	c B&B Tree           :
3586.01/3598.18	c   nodes (total)    : 1
3586.01/3598.18	c Solution           :
3586.01/3598.18	c   Solutions found  : 16
3586.01/3598.18	c   Primal Bound     : +1.92000000000000e+02
3586.01/3598.18	c   Dual Bound       : +1.67112713314075e+02
3586.01/3598.18	c Gap                : 14.89252 %
3586.01/3598.18	c * Warning: final gap: 1.48925e-01 is greater than SCIPepsilon: 1.00000e-09
3586.01/3598.18	o 192
3586.01/3598.18	s SATISFIABLE
3586.01/3598.18	v -x478 -x477 -x476 -x475 -x474 -x473 -x472 x471 x470 -x469 -x468 -x467 x466 x465 -x464 -x463 x462 x461 x460 -x459 -x458 x457 -x456 
3586.01/3598.18	v -x455 -x454 x453 x452 -x451 -x450 -x449 -x448 x447 x446 x445 x444 -x443 -x442 x441 -x440 -x439 x438 x437 x436 -x435 -x434 
3586.01/3598.18	v x433 -x432 x431 -x430 -x429 x428 -x427 -x426 -x425 x424 x423 x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 x414 -x413 -x412 
3586.01/3598.18	v -x411 -x410 -x409 x408 x407 -x406 -x405 -x404 x403 -x402 x401 x400 x399 x398 -x397 x396 x395 x394 x393 x392 -x391 x390 -x389 
3586.01/3598.18	v x388 x387 -x386 x385 -x384 -x383 x382 -x381 x380 x379 x378 x377 x376 x375 x374 -x373 -x372 x371 x370 x369 x368 x367 -x366 -x365 
3586.01/3598.18	v x364 -x363 -x362 x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 x351 x350 -x349 -x348 -x347 -x346 x345 -x344 -x343 
3586.01/3598.18	v -x342 x341 -x340 -x339 -x338 -x337 -x336 -x335 x334 x333 -x332 -x331 -x330 -x329 -x328 x327 x326 -x325 -x324 -x323 -x322 
3586.01/3598.18	v x321 x320 -x319 x318 x317 x316 x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 
3586.01/3598.18	v x299 -x298 -x297 x296 -x295 -x294 x293 x292 x291 x290 -x289 -x288 -x287 -x286 -x285 x284 x283 -x282 x281 -x280 -x279 -x278 x277 
3586.01/3598.18	v x276 -x275 -x274 x273 -x272 x271 x270 -x269 -x268 -x267 -x266 -x265 x264 -x263 -x262 x261 -x260 x259 -x258 -x257 -x256 x255 
3586.01/3598.18	v -x254 -x253 x252 -x251 -x250 x249 -x248 x247 -x246 -x245 x244 x243 -x242 -x241 x240 -x239 x238 -x237 x236 x235 x234 -x233 x232 
3586.01/3598.18	v -x231 -x230 x229 -x228 -x227 x226 -x225 x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 x215 x214 x213 -x212 -x211 x210 
3586.01/3598.18	v x209 -x208 -x207 x206 x205 -x204 -x203 x202 x201 x200 -x199 -x198 x197 x196 x195 x194 x193 x192 -x191 -x190 -x189 -x188 -x187 
3586.01/3598.18	v -x186 -x185 -x184 x183 -x182 -x181 x180 x179 -x178 -x177 -x176 x175 x174 x173 -x172 -x171 -x170 x169 -x168 x167 -x166 -x165 
3586.01/3598.18	v -x164 x163 -x162 -x161 -x160 x159 x158 -x157 x156 x155 -x154 -x153 -x152 -x151 -x150 x149 x148 x147 x146 -x145 -x144 -x143 
3586.01/3598.18	v -x142 -x141 x140 -x139 -x138 -x137 x136 -x135 -x134 x133 x132 -x131 x130 -x129 -x128 x127 -x126 -x125 x124 -x123 -x122 x121 
3586.01/3598.18	v x120 x119 -x118 -x117 -x116 x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 x105 x104 x103 -x102 -x101 x100 -x99 x98 
3586.01/3598.18	v -x97 -x96 x95 x94 -x93 -x92 x91 x90 x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 
3586.01/3598.18	v -x70 -x69 -x68 -x67 x66 x65 -x64 -x63 x62 x61 x60 x59 x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 x47 x46 x45 x44 
3586.01/3598.18	v -x43 -x42 x41 x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 x32 -x31 x30 -x29 x28 x27 x26 -x25 x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 
3586.01/3598.18	v -x16 -x15 x14 -x13 -x12 -x11 -x10 x9 x8 -x7 x6 -x5 -x4 -x3 x2 -x1 

Verifier Data

OK	192

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=29107, runsolver pid=29104

[startup+0.100084 s]*
/proc/loadavg: 0.47 0.16 0.11 5/268 29122
/proc/meminfo: memFree=128109876/131524600 swapFree=131071216/131071996
[pid=29107] ppid=29104 vsize=112460 memory=30576 CPUtime=0.1 cores=0,2
/proc/29107/stat : 29107 (fscip) S 29104 29107 28847 0 -1 1077936128 4543 0 0 0 9 1 0 0 20 0 3 0 4456614 115159040 7644 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
/proc/29107/statm: 28115 7644 2934 3035 0 10481 0
[pid=29107/tid=29109] ppid=29104 vsize=112460 memory=4026531971 CPUtime=0.06 cores=0,2
/proc/29107/task/29109/stat : 29109 (fscip) R 29104 29107 28847 0 -1 4194368 2088 0 0 0 6 0 0 0 20 0 3 0 4456617 115159040 7644 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
[pid=29107/tid=29111] ppid=29104 vsize=112460 memory=115160 CPUtime=0 cores=0,2
/proc/29107/task/29111/stat : 29111 (fscip) S 29104 29107 28847 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456618 115159040 7644 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112460 KiB
Current children cumulated memory: 30576 KiB

[startup+0.20546 s]*
/proc/loadavg: 0.47 0.16 0.11 5/271 29125
/proc/meminfo: memFree=128036908/131524600 swapFree=131071216/131071996
[pid=29107] ppid=29104 vsize=112460 memory=30840 CPUtime=0.2 cores=0,2
/proc/29107/stat : 29107 (fscip) S 29104 29107 28847 0 -1 1077936128 4591 0 0 0 19 1 0 0 20 0 3 0 4456614 115159040 7710 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
/proc/29107/statm: 28115 7710 2934 3035 0 10538 0
[pid=29107/tid=29109] ppid=29104 vsize=112460 memory=8505393642823811203 CPUtime=0.17 cores=0,2
/proc/29107/task/29109/stat : 29109 (fscip) R 29104 29107 28847 0 -1 4194368 2136 0 0 0 17 0 0 0 20 0 3 0 4456617 115159040 7710 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
[pid=29107/tid=29111] ppid=29104 vsize=112460 memory=115160 CPUtime=0 cores=0,2
/proc/29107/task/29111/stat : 29111 (fscip) S 29104 29107 28847 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456618 115159040 7710 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112460 KiB
Current children cumulated memory: 30840 KiB

[startup+0.304479 s]*
/proc/loadavg: 0.47 0.16 0.11 5/271 29125
/proc/meminfo: memFree=128004688/131524600 swapFree=131071216/131071996
[pid=29107] ppid=29104 vsize=112460 memory=30840 CPUtime=0.3 cores=0,2
/proc/29107/stat : 29107 (fscip) S 29104 29107 28847 0 -1 1077936128 4600 0 0 0 29 1 0 0 20 0 3 0 4456614 115159040 7710 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
/proc/29107/statm: 28115 7710 2934 3035 0 10538 0
[pid=29107/tid=29109] ppid=29104 vsize=112460 memory=-5155626912221195397 CPUtime=0.27 cores=0,2
/proc/29107/task/29109/stat : 29109 (fscip) R 29104 29107 28847 0 -1 4194368 2145 0 0 0 27 0 0 0 20 0 3 0 4456617 115159040 7710 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
[pid=29107/tid=29111] ppid=29104 vsize=112460 memory=0 CPUtime=0 cores=0,2
/proc/29107/task/29111/stat : 29111 (fscip) S 29104 29107 28847 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456618 115159040 7710 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 112460 KiB
Current children cumulated memory: 30840 KiB

[startup+0.700164 s]
/proc/loadavg: 0.47 0.16 0.11 5/271 29125
/proc/meminfo: memFree=127941568/131524600 swapFree=131071216/131071996
[pid=29107] ppid=29104 vsize=117720 memory=47268 CPUtime=0.68 cores=0,2
/proc/29107/stat : 29107 (fscip) S 29104 29107 28847 0 -1 1077936128 8664 0 0 0 67 1 0 0 20 0 3 0 4456614 120545280 11817 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
/proc/29107/statm: 29430 11817 2950 3035 0 14674 0
[pid=29107/tid=29109] ppid=29104 vsize=117720 memory=0 CPUtime=0.66 cores=0,2
/proc/29107/task/29109/stat : 29109 (fscip) R 29104 29107 28847 0 -1 4194368 6209 0 0 0 65 1 0 0 20 0 3 0 4456617 120545280 11817 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
[pid=29107/tid=29111] ppid=29104 vsize=117720 memory=0 CPUtime=0 cores=0,2
/proc/29107/task/29111/stat : 29111 (fscip) S 29104 29107 28847 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456618 120545280 11817 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 117720 KiB
Current children cumulated memory: 47268 KiB

[startup+1.50021 s]
/proc/loadavg: 0.47 0.16 0.11 5/271 29125
/proc/meminfo: memFree=127850904/131524600 swapFree=131071216/131071996
[pid=29107] ppid=29104 vsize=205384 memory=127060 CPUtime=1.49 cores=0,2
/proc/29107/stat : 29107 (fscip) S 29104 29107 28847 0 -1 1077936128 36350 0 0 0 144 5 0 0 20 0 3 0 4456614 210313216 31765 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
/proc/29107/statm: 51346 31765 2950 3035 0 35279 0
[pid=29107/tid=29109] ppid=29104 vsize=205384 memory=0 CPUtime=1.46 cores=0,2
/proc/29107/task/29109/stat : 29109 (fscip) R 29104 29107 28847 0 -1 4194368 33895 0 0 0 142 4 0 0 20 0 3 0 4456617 210313216 31765 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
[pid=29107/tid=29111] ppid=29104 vsize=205384 memory=0 CPUtime=0 cores=0,2
/proc/29107/task/29111/stat : 29111 (fscip) S 29104 29107 28847 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456618 210313216 31765 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 205384 KiB
Current children cumulated memory: 127060 KiB

[startup+3.10533 s]
/proc/loadavg: 0.83 0.24 0.14 5/271 29125
/proc/meminfo: memFree=127381740/131524600 swapFree=131071216/131071996
[pid=29107] ppid=29104 vsize=205384 memory=167828 CPUtime=3.08 cores=0,2
/proc/29107/stat : 29107 (fscip) S 29104 29107 28847 0 -1 1077936128 46837 0 0 0 302 6 0 0 20 0 3 0 4456614 210313216 41957 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
/proc/29107/statm: 51346 41957 2950 3035 0 45858 0
[pid=29107/tid=29109] ppid=29104 vsize=205384 memory=0 CPUtime=3.05 cores=0,2
/proc/29107/task/29109/stat : 29109 (fscip) R 29104 29107 28847 0 -1 4194368 44380 0 0 0 300 5 0 0 20 0 3 0 4456617 210313216 41957 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
[pid=29107/tid=29111] ppid=29104 vsize=205384 memory=4121366755394809845 CPUtime=0 cores=0,2
/proc/29107/task/29111/stat : 29111 (fscip) S 29104 29107 28847 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4456618 210313216 41957 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 205384 KiB
Current children cumulated memory: 167828 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=29107] ppid=29104 vsize=205384 memory=168180 CPUtime=6.27 cores=0,2
/proc/29107/stat : 29107 (fscip) S 29104 29107 28847 0 -1 1077936128 46896 0 0 0 621 6 0 0 20 0 3 0 4456614 210313216 42045 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
/proc/29107/statm: 51346 42045 2998 3035 0 45858 0
[pid=29107/tid=29109] ppid=29104 vsize=205384 memory=167828 CPUtime=6.24 cores=0,2
/proc/29107/task/29109/stat : 29109 (fscip) R 29104 29107 28847 0 -1 4194368 44407 0 0 0 619 5 0 0 20 0 3 0 4456617 210313216 42045 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
[pid=29107/tid=29111] ppid=29104 vsize=205384 memory=167828 CPUtime=0 cores=0,2
/proc/29107/task/29111/stat : 29111 (fscip) S 29104 29107 28847 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4456618 210313216 42045 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 205384 KiB
Current children cumulated memory: 168180 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=29107] ppid=29104 vsize=205384 memory=168336 CPUtime=12.64 cores=0,2
/proc/29107/stat : 29107 (fscip) S 29104 29107 28847 0 -1 1077936128 52811 0 0 0 1258 6 0 0 20 0 3 0 4456614 210313216 42084 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
/proc/29107/statm: 51346 42084 2998 3035 0 45858 0
[pid=29107/tid=29109] ppid=29104 vsize=205384 memory=168336 CPUtime=12.61 cores=0,2
/proc/29107/task/29109/stat : 29109 (fscip) R 29104 29107 28847 0 -1 4194368 50259 0 0 0 1256 5 0 0 20 0 3 0 4456617 210313216 42084 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
[pid=29107/tid=29111] ppid=29104 vsize=205384 memory=167828 CPUtime=0 cores=0,2
/proc/29107/task/29111/stat : 29111 (fscip) S 29104 29107 28847 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 4456618 210313216 42084 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 205384 KiB
Current children cumulated memory: 168336 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=29107] ppid=29104 vsize=267296 memory=230808 CPUtime=25.41 cores=0,2
/proc/29107/stat : 29107 (fscip) S 29104 29107 28847 0 -1 1077936128 129072 0 0 0 2528 13 0 0 20 0 3 0 4456614 273711104 57702 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
/proc/29107/statm: 66824 57702 2998 3035 0 61842 0
[pid=29107/tid=29109] ppid=29104 vsize=267296 memory=167828 CPUtime=25.37 cores=0,2
/proc/29107/task/29109/stat : 29109 (fscip) R 29104 29107 28847 0 -1 4194368 126112 0 0 0 2525 12 0 0 20 0 3 0 4456617 273711104 57702 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
[pid=29107/tid=29111] ppid=29104 vsize=267296 memory=12696 CPUtime=0 cores=0,2
/proc/29107/task/29111/stat : 29111 (fscip) S 29104 29107 28847 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 4456618 273711104 57702 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 267296 KiB
Current children cumulated memory: 230808 KiB

[startup+51.1053 s]
/proc/loadavg: 2.68 0.82 0.34 5/269 29190
/proc/meminfo: memFree=126914752/131524600 swapFree=131071216/131071996
[pid=29107] ppid=29104 vsize=265248 memory=229796 CPUtime=50.92 cores=0,2
/proc/29107/stat : 29107 (fscip) S 29104 29107 28847 0 -1 1077936128 165920 0 0 0 5077 15 0 0 20 0 3 0 4456614 271613952 57449 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
/proc/29107/statm: 66312 57449 2998 3035 0 61585 0
[pid=29107/tid=29109] ppid=29104 vsize=265248 memory=11400 CPUtime=50.88 cores=0,2
/proc/29107/task/29109/stat : 29109 (fscip) R 29104 29107 28847 0 -1 4194368 162722 0 0 0 5074 14 0 0 20 0 3 0 4456617 271613952 57449 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
[pid=29107/tid=29111] ppid=29104 vsize=265248 memory=5404 CPUtime=0 cores=0,2
/proc/29107/task/29111/stat : 29111 (fscip) S 29104 29107 28847 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4456618 271613952 57449 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 265248 KiB
Current children cumulated memory: 229796 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=29107] ppid=29104 vsize=394272 memory=327060 CPUtime=101.94 cores=0,2
/proc/29107/stat : 29107 (fscip) S 29104 29107 28847 0 -1 1077936128 277984 0 0 0 10170 24 0 0 20 0 3 0 4456614 403734528 81765 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
/proc/29107/statm: 98568 81765 2998 3035 0 85870 0
[pid=29107/tid=29109] ppid=29104 vsize=394272 memory=11400 CPUtime=101.9 cores=0,2
/proc/29107/task/29109/stat : 29109 (fscip) R 29104 29107 28847 0 -1 4194368 274671 0 0 0 10167 23 0 0 20 0 3 0 4456617 403734528 81765 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
[pid=29107/tid=29111] ppid=29104 vsize=394272 memory=12696 CPUtime=0 cores=0,2
/proc/29107/task/29111/stat : 29111 (fscip) S 29104 29107 28847 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 4456618 403734528 81765 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 394272 KiB
Current children cumulated memory: 327060 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=29107] ppid=29104 vsize=393248 memory=332596 CPUtime=161.73 cores=0,2
/proc/29107/stat : 29107 (fscip) S 29104 29107 28847 0 -1 1077936128 310762 0 0 0 16145 28 0 0 20 0 3 0 4456614 402685952 83149 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
/proc/29107/statm: 98312 83149 2998 3035 0 87167 0
[pid=29107/tid=29109] ppid=29104 vsize=393248 memory=333468 CPUtime=161.68 cores=0,2
/proc/29107/task/29109/stat : 29109 (fscip) R 29104 29107 28847 0 -1 4194368 307263 0 0 0 16142 26 0 0 20 0 3 0 4456617 402685952 83149 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
[pid=29107/tid=29111] ppid=29104 vsize=393248 memory=11400 CPUtime=0 cores=0,2
/proc/29107/task/29111/stat : 29111 (fscip) S 29104 29107 28847 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 4456618 402685952 83149 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 393248 KiB

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

/proc/29107/statm: 116771 102581 2998 3035 0 104916 0
[pid=29107/tid=29109] ppid=29104 vsize=467084 memory=408020 CPUtime=3450.37 cores=0,2
/proc/29107/task/29109/stat : 29109 (fscip) R 29104 29107 28847 0 -1 4194368 900799 0 0 0 344926 111 0 0 20 0 3 0 4456617 478294016 102581 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
[pid=29107/tid=29111] ppid=29104 vsize=467084 memory=410284 CPUtime=0.01 cores=0,2
/proc/29107/task/29111/stat : 29111 (fscip) S 29104 29107 28847 0 -1 1077936192 154 0 0 0 0 1 0 0 20 0 3 0 4456618 478294016 102581 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
Current children cumulated CPU time: 3450.66 s
Current children cumulated vsize: 467084 KiB
Current children cumulated memory: 410324 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=29107] ppid=29104 vsize=467084 memory=410332 CPUtime=3510.46 cores=0,2
/proc/29107/stat : 29107 (fscip) S 29104 29107 28847 0 -1 1077936128 911322 0 0 0 350925 121 0 0 20 0 3 0 4456614 478294016 102583 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
/proc/29107/statm: 116771 102583 2998 3035 0 104916 0
[pid=29107/tid=29109] ppid=29104 vsize=467084 memory=410284 CPUtime=3510.16 cores=0,2
/proc/29107/task/29109/stat : 29109 (fscip) R 29104 29107 28847 0 -1 4194368 906262 0 0 0 350904 112 0 0 20 0 3 0 4456617 478294016 102583 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
[pid=29107/tid=29111] ppid=29104 vsize=467084 memory=11400 CPUtime=0.01 cores=0,2
/proc/29107/task/29111/stat : 29111 (fscip) S 29104 29107 28847 0 -1 1077936192 156 0 0 0 0 1 0 0 20 0 3 0 4456618 478294016 102583 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
Current children cumulated CPU time: 3510.46 s
Current children cumulated vsize: 467084 KiB
Current children cumulated memory: 410332 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=29107] ppid=29104 vsize=467084 memory=411400 CPUtime=3570.26 cores=0,2
/proc/29107/stat : 29107 (fscip) S 29104 29107 28847 0 -1 1077936128 917492 0 0 0 356904 122 0 0 20 0 3 0 4456614 478294016 102850 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
/proc/29107/statm: 116771 102850 2998 3035 0 105095 0
[pid=29107/tid=29109] ppid=29104 vsize=467084 memory=410284 CPUtime=3569.96 cores=0,2
/proc/29107/task/29109/stat : 29109 (fscip) R 29104 29107 28847 0 -1 4194368 912410 0 0 0 356883 113 0 0 20 0 3 0 4456617 478294016 102850 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
[pid=29107/tid=29111] ppid=29104 vsize=467084 memory=12696 CPUtime=0.02 cores=0,2
/proc/29107/task/29111/stat : 29111 (fscip) S 29104 29107 28847 0 -1 1077936192 158 0 0 0 1 1 0 0 20 0 3 0 4456618 478294016 102850 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
Current children cumulated CPU time: 3570.26 s
Current children cumulated vsize: 467084 KiB
Current children cumulated memory: 411400 KiB

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

# cumulated CPU time of all completed processes:  user=3584.87 s, system=1.23336 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=29107] ppid=29104 vsize=467084 memory=411400 CPUtime=3571.96 cores=0,2
/proc/29107/stat : 29107 (fscip) S 29104 29107 28847 0 -1 1077936128 917570 0 0 0 357074 122 0 0 20 0 3 0 4456614 478294016 102850 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
/proc/29107/statm: 116771 102850 2998 3035 0 105095 0
[pid=29107/tid=29109] ppid=29104 vsize=467084 memory=-7449383003082255510 CPUtime=3571.66 cores=0,2
/proc/29107/task/29109/stat : 29109 (fscip) R 29104 29107 28847 0 -1 4194368 912488 0 0 0 357053 113 0 0 20 0 3 0 4456617 478294016 102850 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
[pid=29107/tid=29111] ppid=29104 vsize=467084 memory=-7027409196973592168 CPUtime=0.02 cores=0,2
/proc/29107/task/29111/stat : 29111 (fscip) S 29104 29107 28847 0 -1 1077936192 158 0 0 0 1 1 0 0 20 0 3 0 4456618 478294016 102850 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
Current children cumulated CPU time: 3571.96 s
Current children cumulated vsize: 467084 KiB
Current children cumulated memory: 411400 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=29107] ppid=29104 vsize=467084 memory=411400 CPUtime=3578.34 cores=0,2
/proc/29107/stat : 29107 (fscip) S 29104 29107 28847 0 -1 1077936128 918356 0 0 0 357712 122 0 0 20 0 3 0 4456614 478294016 102850 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
/proc/29107/statm: 116771 102850 2998 3035 0 105095 0
[pid=29107/tid=29109] ppid=29104 vsize=467084 memory=411400 CPUtime=3578.04 cores=0,2
/proc/29107/task/29109/stat : 29109 (fscip) R 29104 29107 28847 0 -1 4194368 913274 0 0 0 357691 113 0 0 20 0 3 0 4456617 478294016 102850 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
[pid=29107/tid=29111] ppid=29104 vsize=467084 memory=-7738211608633113021 CPUtime=0.02 cores=0,2
/proc/29107/task/29111/stat : 29111 (fscip) S 29104 29107 28847 0 -1 1077936192 158 0 0 0 1 1 0 0 20 0 3 0 4456618 478294016 102850 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
Current children cumulated CPU time: 3578.34 s
Current children cumulated vsize: 467084 KiB
Current children cumulated memory: 411400 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=29107] ppid=29104 vsize=467084 memory=411400 CPUtime=3581.53 cores=0,2
/proc/29107/stat : 29107 (fscip) S 29104 29107 28847 0 -1 1077936128 918404 0 0 0 358031 122 0 0 20 0 3 0 4456614 478294016 102850 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
/proc/29107/statm: 116771 102850 2998 3035 0 105095 0
[pid=29107/tid=29109] ppid=29104 vsize=467084 memory=13176 CPUtime=3581.23 cores=0,2
/proc/29107/task/29109/stat : 29109 (fscip) R 29104 29107 28847 0 -1 4194368 913322 0 0 0 358010 113 0 0 20 0 3 0 4456617 478294016 102850 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
[pid=29107/tid=29111] ppid=29104 vsize=467084 memory=411400 CPUtime=0.02 cores=0,2
/proc/29107/task/29111/stat : 29111 (fscip) S 29104 29107 28847 0 -1 1077936192 158 0 0 0 1 1 0 0 20 0 3 0 4456618 478294016 102850 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
Current children cumulated CPU time: 3581.53 s
Current children cumulated vsize: 467084 KiB
Current children cumulated memory: 411400 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=29107] ppid=29104 vsize=467084 memory=411400 CPUtime=3583.12 cores=0,2
/proc/29107/stat : 29107 (fscip) S 29104 29107 28847 0 -1 1077936128 918532 0 0 0 358190 122 0 0 20 0 3 0 4456614 478294016 102850 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
/proc/29107/statm: 116771 102850 2998 3035 0 105095 0
[pid=29107/tid=29109] ppid=29104 vsize=467084 memory=411400 CPUtime=3582.82 cores=0,2
/proc/29107/task/29109/stat : 29109 (fscip) R 29104 29107 28847 0 -1 4194368 913450 0 0 0 358169 113 0 0 20 0 3 0 4456617 478294016 102850 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
[pid=29107/tid=29111] ppid=29104 vsize=467084 memory=411400 CPUtime=0.02 cores=0,2
/proc/29107/task/29111/stat : 29111 (fscip) S 29104 29107 28847 0 -1 1077936192 158 0 0 0 1 1 0 0 20 0 3 0 4456618 478294016 102850 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
Current children cumulated CPU time: 3583.12 s
Current children cumulated vsize: 467084 KiB
Current children cumulated memory: 411400 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=29107] ppid=29104 vsize=467084 memory=411400 CPUtime=3584.71 cores=0,2
/proc/29107/stat : 29107 (fscip) S 29104 29107 28847 0 -1 1077936128 918822 0 0 0 358349 122 0 0 20 0 3 0 4456614 478294016 102850 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
/proc/29107/statm: 116771 102850 2998 3035 0 105095 0
[pid=29107/tid=29109] ppid=29104 vsize=467084 memory=411400 CPUtime=3584.41 cores=0,2
/proc/29107/task/29109/stat : 29109 (fscip) R 29104 29107 28847 0 -1 4194368 913740 0 0 0 358328 113 0 0 20 0 3 0 4456617 478294016 102850 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
[pid=29107/tid=29111] ppid=29104 vsize=467084 memory=-7594032712773623423 CPUtime=0.02 cores=0,2
/proc/29107/task/29111/stat : 29111 (fscip) S 29104 29107 28847 0 -1 1077936192 158 0 0 0 1 1 0 0 20 0 3 0 4456618 478294016 102850 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
Current children cumulated CPU time: 3584.71 s
Current children cumulated vsize: 467084 KiB
Current children cumulated memory: 411400 KiB

[startup+3597.6 s]
/proc/loadavg: 4.07 4.15 4.09 4/260 30986
/proc/meminfo: memFree=127141100/131524600 swapFree=131071216/131071996
[pid=29107] ppid=29104 vsize=467084 memory=411400 CPUtime=3585.51 cores=0,2
/proc/29107/stat : 29107 (fscip) S 29104 29107 28847 0 -1 1077936128 918827 0 0 0 358429 122 0 0 20 0 3 0 4456614 478294016 102850 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
/proc/29107/statm: 116771 102850 2998 3035 0 105095 0
[pid=29107/tid=29109] ppid=29104 vsize=467084 memory=2336 CPUtime=3585.21 cores=0,2
/proc/29107/task/29109/stat : 29109 (fscip) R 29104 29107 28847 0 -1 4194368 913745 0 0 0 358408 113 0 0 20 0 3 0 4456617 478294016 102850 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
[pid=29107/tid=29111] ppid=29104 vsize=467084 memory=1896 CPUtime=0.02 cores=0,2
/proc/29107/task/29111/stat : 29111 (fscip) S 29104 29107 28847 0 -1 1077936192 158 0 0 0 1 1 0 0 20 0 3 0 4456618 478294016 102850 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
Current children cumulated CPU time: 3585.51 s
Current children cumulated vsize: 467084 KiB
Current children cumulated memory: 411400 KiB

[startup+3598 s]*
/proc/loadavg: 4.07 4.15 4.09 5/265 31024
/proc/meminfo: memFree=127052596/131524600 swapFree=131071216/131071996
[pid=29107] ppid=29104 vsize=467084 memory=411404 CPUtime=3585.92 cores=0,2
/proc/29107/stat : 29107 (fscip) S 29104 29107 28847 0 -1 1077936128 919980 0 0 0 358470 122 0 0 20 0 3 0 4456614 478294016 102851 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
/proc/29107/statm: 116771 102851 2998 3035 0 105095 0
[pid=29107/tid=29109] ppid=29104 vsize=467084 memory=-6000919507116911468 CPUtime=3585.62 cores=0,2
/proc/29107/task/29109/stat : 29109 (fscip) R 29104 29107 28847 0 -1 4194368 914896 0 0 0 358449 113 0 0 20 0 3 0 4456617 478294016 102851 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
[pid=29107/tid=29111] ppid=29104 vsize=467084 memory=11324 CPUtime=0.02 cores=0,2
/proc/29107/task/29111/stat : 29111 (fscip) S 29104 29107 28847 0 -1 1077936192 158 0 0 0 1 1 0 0 20 0 3 0 4456618 478294016 102851 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
Current children cumulated CPU time: 3585.92 s
Current children cumulated vsize: 467084 KiB
Current children cumulated memory: 411404 KiB

[startup+3598.11 s]
/proc/loadavg: 4.07 4.15 4.09 5/265 31024
/proc/meminfo: memFree=127052596/131524600 swapFree=131071216/131071996
[pid=29107] ppid=29104 vsize=466056 memory=410376 CPUtime=3586.01 cores=0,2
/proc/29107/stat : 29107 (fscip) S 29104 29107 28847 0 -1 1077936128 924173 0 0 0 358479 122 0 0 20 0 3 0 4456614 477241344 102594 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
/proc/29107/statm: 116514 102594 2998 3035 0 104838 0
[pid=29107/tid=29109] ppid=29104 vsize=466056 memory=5472 CPUtime=3585.71 cores=0,2
/proc/29107/task/29109/stat : 29109 (fscip) R 29104 29107 28847 0 -1 4194368 919089 0 0 0 358458 113 0 0 20 0 3 0 4456617 477241344 102594 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
[pid=29107/tid=29111] ppid=29104 vsize=466056 memory=1984 CPUtime=0.02 cores=0,2
/proc/29107/task/29111/stat : 29111 (fscip) S 29104 29107 28847 0 -1 1077936192 158 0 0 0 1 1 0 0 20 0 3 0 4456618 477241344 102594 134679101440 4194304 16623229 140732834556416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31854592 140732834563094 140732834563210 140732834563210 140732834570224 0
Current children cumulated CPU time: 3586.01 s
Current children cumulated vsize: 466056 KiB
Current children cumulated memory: 410376 KiB

Child status: 0

Real time (s): 3598.18
CPU time (s): 3586.11
CPU user time (s): 3584.87
CPU system time (s): 1.23336
CPU usage (%): 99.6643
Max. virtual memory (cumulated for all children) (KiB): 467084
Max. memory (cumulated for all children) (KiB): 411404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.87
system time used= 1.23336
maximum resident set size= 411404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 925247
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= 13143
involuntary context switches= 25111


# summary of solver processes directly reported to runsolver:
#   pid: 29107
#   total CPU time (s): 3586.11
#   total CPU user time (s): 3584.87
#   total CPU system time (s): 1.23336

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48908 second user time and 14.9128 second system time

The end

Launcher Data

Begin job on nodeC017 at 2024-07-31 00:29:56
IDJOB=4463981
IDBENCH=147538
IDSOLVER=3092
FILE ID=nodeC017/4463981-1722378596
RUNJOBID= nodeC017-1722378594-28857
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_21.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-4463981-1722378596/watcher-4463981-1722378596 -o /tmp/evaluation-result-4463981-1722378596/solver-4463981-1722378596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722378594-28857 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4463981-1722378596.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= bed0fcfa7fe1ab50726d34a7d1903e12
RANDOM SEED=1453536771

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		: 3660.167
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		: 3668.328
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		: 3613.448
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		: 3600.206
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		: 3635.710
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		: 3667.740
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		: 3620.047
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		: 3641.037
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:        128196304 kB
MemAvailable:   129424412 kB
Buffers:           86120 kB
Cached:          1975276 kB
SwapCached:           52 kB
Active:           257000 kB
Inactive:        2597228 kB
Active(anon):       1448 kB
Inactive(anon):   812196 kB
Active(file):     255552 kB
Inactive(file):  1785032 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:             87260 kB
Writeback:            12 kB
AnonPages:        792452 kB
Mapped:           109048 kB
Shmem:             21136 kB
KReclaimable:      54696 kB
Slab:             134920 kB
SReclaimable:      54696 kB
SUnreclaim:        80224 kB
KernelStack:        4140 kB
PageTables:        10384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1157288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             8960 kB
HardwareCorrupted:     0 kB
AnonHugePages:    350208 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