Trace number 4464174

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-30SAT84 3581.22 3598.4

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-go19.opb
MD5SUM51fa3ae0158cc49e421df545accb4e20
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 benchmark84
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 variables441
Total number of constraints441
Number of constraints which are clauses361
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint5
Number of terms in the objective function 361
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 361
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 361
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 = 24027136, getVmSize() = 24027136, SCIPgetMemUsed() = 2013645, SCIPgetMemTotal() = 2542045, SCIPgetMemExternEstim() = 1048576
0.00/0.00	c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.01	c ** Estimated virtualMemUsedAtSolver = 17795754, getVmSize() = 29360128, SCIPgetMemUsed() = 4290640, SCIPgetMemTotal() = 6680768, SCIPgetMemExternEstim() = 1048576
0.00/0.01	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.01	c Original Problem   :
0.00/0.01	c   Problem name     : instance-4464174-1722382201
0.00/0.01	c   Variables        : 441 (441 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01	c   Constraints      : 441
0.00/0.01	c   Objective sense  : minimize
0.00/0.01	c Presolved Problem  :
0.00/0.01	c   Variables        : 361 (361 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01	c   Constraints      : 361
0.00/0.01	c Constraints        : Number
0.00/0.01	c   logicor          : 361 
0.00/0.01	c ** Instance transfer method used: 0
0.00/0.01	c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.01	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.01	c                                Nodes    Active                                            
0.00/0.01	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.00/0.01	c *       0              0           1         1         361.0000                -          -
0.00/0.02	c *       0              0           1         1          96.0000                -          -
6.36/6.45	c         6              9           8         1          96.0000          77.5796     23.74%
10.84/10.93	c *      11             18          17         1          92.0000          77.5796     18.59%
12.24/12.30	c        12             56          55         1          92.0000          77.5796     18.59%
13.34/13.40	c *      13             88          87         1          91.0000          77.5796     17.30%
13.34/13.40	c *      13             88          87         1          87.0000          77.5796     12.14%
17.83/17.92	c *      18            172         171         1          86.0000          77.7914     10.55%
17.83/17.92	c        18            172         171         1          86.0000          77.7914     10.55%
23.40/23.57	c        24            379         378         1          86.0000          77.9972     10.26%
26.59/26.77	c *      27            442         441         1          85.0000          78.0482      8.91%
26.59/26.78	c *      27            442         441         1          84.0000          78.0482      7.63%
28.99/29.14	c        29            466         465         1          84.0000          78.0482      7.63%
34.27/34.41	c        34            562         561         1          84.0000          78.1333      7.51%
39.55/39.73	c        40            642         641         1          84.0000          78.2267      7.38%
45.13/45.34	c        45            715         714         1          84.0000          78.3159      7.26%
51.31/51.57	c        52            809         808         1          84.0000          78.3907      7.16%
56.59/56.82	c        57           1062         919         1          84.0000          78.6560      6.79%
61.67/61.93	c        62           1552        1011         1          84.0000          78.7870      6.62%
67.05/67.38	c        67           1982        1079         1          84.0000          78.8398      6.55%
72.12/72.46	c        72           2282        1113         1          84.0000          78.8793      6.49%
77.51/77.89	c        78           2692        1161         1          84.0000          78.9165      6.44%
82.58/82.99	c        83           2864        1221         1          84.0000          78.9288      6.43%
87.67/88.05	c        88           3175        1290         1          84.0000          78.9436      6.41%
93.04/93.48	c        93           3624        1385         1          84.0000          78.9680      6.37%
98.52/98.96	c        99           3971        1484         1          84.0000          78.9908      6.34%
103.61/104.00	c       104           4242        1553         1          84.0000          79.0237      6.30%
109.38/109.87	c       110           4522        1691         1          84.0000          79.0421      6.27%
114.35/114.89	c       115           4766        1779         1          84.0000          79.0683      6.24%
120.34/120.81	c       121           4867        1850         1          84.0000          79.0834      6.22%
125.52/126.06	c       126           5044        1931         1          84.0000          79.0868      6.21%
131.39/131.96	c       132           5333        2020         1          84.0000          79.1031      6.19%
136.67/137.20	c       137           5632        2127         1          84.0000          79.1351      6.15%
142.24/142.81	c       143           5902        2191         1          84.0000          79.1621      6.11%
147.82/148.40	c       148           6202        2315         1          84.0000          79.1965      6.07%
153.00/153.66	c       154           6622        2461         1          84.0000          79.2382      6.01%
158.58/159.21	c       159           6817           1         1          84.0000          79.2582      5.98%
163.66/164.36	c       164           6969          83         1          84.0000          79.2582      5.98%
168.73/169.45	c       169           7233         181         1          84.0000          79.2582      5.98%
174.11/174.81	c       175           7550         304         1          84.0000          79.2582      5.98%
179.39/180.19	c       180           7858         414         1          84.0000          79.2582      5.98%
184.97/185.73	c       186           8117         515         1          84.0000          79.2582      5.98%
190.54/191.31	c       191           8280         598         1          84.0000          79.2582      5.98%
196.02/196.89	c       197           8506         746         1          84.0000          79.2582      5.98%
201.40/202.25	c       202           8860         840         1          84.0000          79.2582      5.98%
206.78/207.61	c       208           9286         902         1          84.0000          79.2582      5.98%
212.26/213.17	c       213           9580         986         1          84.0000          79.2582      5.98%
217.93/218.85	c       219           9900        1060         1          84.0000          79.2582      5.98%
223.30/224.23	c       224          10081        1105         1          84.0000          79.2582      5.98%
228.79/229.75	c       230          10247        1183         1          84.0000          79.2685      5.97%
233.86/234.81	c       235          10553        1269         1          84.0000          79.2958      5.93%
239.14/240.18	c       240          10947        1347         1          84.0000          79.3174      5.90%
244.62/245.62	c       246          11187        1433         1          84.0000          79.3550      5.85%
249.99/251.05	c       251          11507        1483         1          84.0000          79.3953      5.80%
255.07/256.14	c       256          11837        1535         1          84.0000          79.4428      5.74%
260.34/261.47	c       261          12137        1605         1          84.0000          79.4649      5.71%
266.22/267.39	c       267          12413        1679         1          84.0000          79.4848      5.68%
272.19/273.36	c       273          12557        1727         1          84.0000          79.4922      5.67%
277.27/278.50	c       278          12871        1775         1          84.0000          79.5006      5.66%
282.35/283.57	c       284          13176        1830         1          84.0000          79.5059      5.65%
288.23/289.42	c       289          13361        1927         1          84.0000          79.5133      5.64%
293.71/294.90	c       295          13545        2009         1          84.0000          79.5358      5.61%
298.99/300.28	c       300          13833        2113         1          84.0000          79.5560      5.59%
304.46/305.74	c       306          14101        2221         1          84.0000          79.5707      5.57%
309.74/311.04	c       311          14381        2335         1          84.0000          79.5867      5.55%
314.82/316.12	c       316          14687        2445         1          84.0000          79.6000      5.53%
320.49/321.88	c       322          15087        2507         1          84.0000          79.6209      5.50%
325.87/327.26	c       327          15484        2554         1          84.0000          79.6325      5.48%
331.55/332.93	c       333          15707        2599         1          84.0000          79.6582      5.45%
336.82/338.22	c       338          15936        2670         1          84.0000          79.6629      5.44%
342.20/343.64	c       344          16347        2715         1          84.0000          79.6811      5.42%
348.17/349.63	c       350          16845        2807         1          84.0000          79.6873      5.41%
353.15/354.67	c       355          17229        2871         1          84.0000          79.7014      5.39%
358.53/360.00	c       360          17667        3023         1          84.0000          79.7054      5.39%
363.70/365.26	c       365          17997        3109         1          84.0000          79.7187      5.37%
368.78/370.38	c       370          18237        3195         1          84.0000          79.7499      5.33%
374.05/375.62	c       376          18727        3319         1          84.0000          79.7686      5.30%
379.03/380.68	c       381          19187        3421         1          84.0000          79.7810      5.29%
384.12/385.76	c       386          19627        3491         1          84.0000          79.8066      5.25%
389.99/391.69	c       392          20027        3601         1          84.0000          79.8296      5.22%
395.96/397.65	c       398          20377        3717         1          84.0000          79.8382      5.21%
401.54/403.25	c       403          20627        3871         1          84.0000          79.8437      5.21%
406.82/408.56	c       409          21007        4003         1          84.0000          79.8496      5.20%
411.89/413.67	c       414          21287        4101         1          84.0000          79.8506      5.20%
416.97/418.72	c       419          21626        4198         1          84.0000          79.8550      5.19%
422.84/424.67	c       425          21926        4308         1          84.0000          79.8666      5.18%
428.72/430.54	c       431          22149        4393         1          84.0000          79.8700      5.17%
434.09/435.93	c       436          22370        4500         1          84.0000          79.8746      5.16%
439.07/440.99	c       441          22655        4575         1          84.0000          79.8852      5.15%
444.76/446.68	c       447          22857        4651         1          84.0000          79.8957      5.14%
450.13/452.06	c       452          23137        4777         1          84.0000          79.9041      5.13%
455.41/457.34	c       457          23537        4875         1          84.0000          79.9160      5.11%
460.68/462.61	c       463          23987        4957         1          84.0000          79.9304      5.09%
465.66/467.65	c       468          24287        5089         1          84.0000          79.9418      5.08%
471.24/473.21	c       473          24527        5225         1          84.0000          79.9535      5.06%
476.32/478.35	c       478          24807        5363         1          84.0000          79.9652      5.05%
481.80/483.86	c       484          25117        5471         1          84.0000          79.9774      5.03%
487.47/489.51	c       490          25454        5604         1          84.0000          79.9862      5.02%
492.46/494.56	c       495          25667        5735         1          84.0000          79.9905      5.01%
498.34/500.43	c       500          25943        5823         1          84.0000          79.9971      5.00%
503.92/506.07	c       506          26317        5945         1          84.0000          80.0112      4.99%
509.39/511.51	c       512          26577        6075         1          84.0000          80.0265      4.97%
514.66/516.87	c       517          26887        6188         1          84.0000          80.0329      4.96%
520.24/522.41	c       522          27277        6314         1          84.0000          80.0370      4.95%
526.02/528.25	c       528          27707        6458         1          84.0000          80.0445      4.94%
531.40/533.61	c       534          28067        6580         1          84.0000          80.0533      4.93%
536.48/538.73	c       539          28417        6736         1          84.0000          80.0635      4.92%
541.87/544.15	c       544          28777        6846         1          84.0000          80.0739      4.90%
547.14/549.47	c       549          29047        7052         1          84.0000          80.0830      4.89%
552.32/554.61	c       555          29397        7218         1          84.0000          80.0933      4.88%
557.60/559.97	c       560          29947        7314         1          84.0000          80.0986      4.87%
563.07/565.41	c       565          30297        7466         1          84.0000          80.1105      4.86%
569.05/571.41	c       571          30691        7598         1          84.0000          80.1182      4.85%
574.74/577.18	c       577          31009        7712         1          84.0000          80.1228      4.84%
580.31/582.71	c       583          31367        7806         1          84.0000          80.1320      4.83%
585.79/588.22	c       588          31747        7930         1          84.0000          80.1401      4.82%
591.07/593.59	c       594          32217        8034         1          84.0000          80.1453      4.81%
596.85/599.36	c       599          32706        8181         1          84.0000          80.1542      4.80%
602.43/604.94	c       605          33317        8352         1          84.0000          80.1672      4.78%
607.51/610.02	c       610          33867        8456         1          84.0000          80.1813      4.76%
612.49/615.08	c       615          34241        8600         1          84.0000          80.1908      4.75%
618.27/620.88	c       621          34597        8756         1          84.0000          80.1947      4.75%
624.05/626.65	c       627          35136        8951         1          84.0000          80.1987      4.74%
629.03/631.66	c       632          35607        9128         1          84.0000          80.2057      4.73%
634.42/637.08	c       637          36067        9278         1          84.0000          80.2136      4.72%
639.79/642.44	c       642          36617        9414         1          84.0000          80.2197      4.71%
644.97/647.62	c       648          37187        9558         1          84.0000          80.2328      4.70%
650.55/653.20	c       653          37607        9680         1          84.0000          80.2407      4.69%
656.22/658.92	c       659          38012        9781         1          84.0000          80.2487      4.67%
661.31/664.02	c       664          38427        9854         1          84.0000          80.2643      4.65%
666.79/669.58	c       670          38907        9998         1          84.0000          80.2667      4.65%
671.87/674.69	c       675          39217       10104         1          84.0000          80.2786      4.64%
677.25/680.10	c       680          39567       10202         1          84.0000          80.2835      4.63%
682.42/685.22	c       685          39947       10322         1          84.0000          80.2873      4.62%
687.70/690.56	c       691          40377       10442         1          84.0000          80.2899      4.62%
692.79/695.65	c       696          40957       10566         1          84.0000          80.2944      4.62%
698.46/701.31	c       701          41487       10756         1          84.0000          80.3011      4.61%
703.75/706.66	c       707          41927       10902         1          84.0000          80.3060      4.60%
709.32/712.22	c       712          42344       11039         1          84.0000          80.3137      4.59%
714.30/717.25	c       717          42737       11224         1          84.0000          80.3192      4.58%
719.88/722.84	c       723          43077       11426         1          84.0000          80.3219      4.58%
725.46/728.45	c       728          43427       11592         1          84.0000          80.3284      4.57%
730.55/733.55	c       734          43847       11738         1          84.0000          80.3336      4.56%
735.73/738.77	c       739          44377       11876         1          84.0000          80.3370      4.56%
741.21/744.25	c       744          44937       12022         1          84.0000          80.3394      4.56%
746.68/749.71	c       750          45317       12190         1          84.0000          80.3504      4.54%
751.66/754.76	c       755          45857       12322         1          84.0000          80.3565      4.53%
756.85/759.92	c       760          46387       12480         1          84.0000          80.3585      4.53%
762.32/765.46	c       765          46817       12674         1          84.0000          80.3647      4.52%
768.10/771.25	c       771          47346       12839         1          84.0000          80.3688      4.52%
773.48/776.62	c       777          47907       12974         1          84.0000          80.3712      4.52%
778.86/782.01	c       782          48287       13100         1          84.0000          80.3726      4.51%
784.13/787.33	c       787          48767       13288         1          84.0000          80.3774      4.51%
789.32/792.52	c       793          49227       13546         1          84.0000          80.3821      4.50%
794.60/797.82	c       798          49607       13720         1          84.0000          80.3880      4.49%
799.78/803.00	c       803          50114       13907         1          84.0000          80.3901      4.49%
804.86/808.16	c       808          50517       14040         1          84.0000          80.3932      4.49%
810.04/813.35	c       813          50927       14206         1          84.0000          80.3995      4.48%
815.21/818.56	c       819          51207       14338         1          84.0000          80.4025      4.47%
820.59/823.95	c       824          51577       14492         1          84.0000          80.4065      4.47%
825.87/829.21	c       829          52017       14602         1          84.0000          80.4140      4.46%
831.25/834.63	c       835          52567       14768         1          84.0000          80.4183      4.45%
836.63/840.01	c       840          53057       14912         1          84.0000          80.4223      4.45%
842.11/845.50	c       846          53767       15082         1          84.0000          80.4284      4.44%
847.38/850.86	c       851          54277       15302         1          84.0000          80.4334      4.43%
852.35/855.88	c       856          54687       15502         1          84.0000          80.4373      4.43%
857.93/861.43	c       861          55187       15680         1          84.0000          80.4392      4.43%
863.30/866.84	c       867          55707       15832         1          84.0000          80.4430      4.42%
868.79/872.36	c       872          56187       16000         1          84.0000          80.4473      4.42%
874.46/878.03	c       878          56697       16146         1          84.0000          80.4514      4.41%
880.23/883.80	c       884          57219       16370         1          84.0000          80.4577      4.40%
885.51/889.17	c       889          57697       16588         1          84.0000          80.4647      4.39%
890.58/894.20	c       894          58147       16766         1          84.0000          80.4693      4.39%
895.76/899.43	c       899          58667       16912         1          84.0000          80.4773      4.38%
901.14/904.86	c       905          59147       17132         1          84.0000          80.4813      4.37%
906.22/909.99	c       910          59577       17292         1          84.0000          80.4845      4.37%
911.40/915.14	c       915          60016       17473         1          84.0000          80.4860      4.37%
916.67/920.41	c       920          60447       17664         1          84.0000          80.4888      4.36%
921.65/925.43	c       925          60967       17896         1          84.0000          80.4915      4.36%
927.23/931.01	c       931          61467       18130         1          84.0000          80.4952      4.35%
932.21/936.04	c       936          61877       18342         1          84.0000          80.4997      4.35%
937.38/941.21	c       941          62427       18522         1          84.0000          80.5055      4.34%
942.56/946.41	c       946          62967       18630         1          84.0000          80.5085      4.34%
947.73/951.67	c       952          63547       18826         1          84.0000          80.5108      4.33%
953.51/957.40	c       957          64197       18986         1          84.0000          80.5121      4.33%
958.68/962.61	c       963          64667       19152         1          84.0000          80.5137      4.33%
964.07/968.05	c       968          65327       19320         1          84.0000          80.5172      4.33%
969.64/973.68	c       974          66057       19496         1          84.0000          80.5255      4.31%
975.31/979.37	c       979          66517       19770         1          84.0000          80.5274      4.31%
980.59/984.60	c       985          67007       20002         1          84.0000          80.5307      4.31%
985.57/989.67	c       990          67427       20120         1          84.0000          80.5347      4.30%
991.44/995.57	c       996          68202       20235         1          84.0000          80.5395      4.30%
997.01/1001.12	c      1001          68867       20408         1          84.0000          80.5425      4.29%
1002.09/1006.26	c      1006          69487       20556         1          84.0000          80.5455      4.29%
1007.37/1011.57	c      1012          69957       20768         1          84.0000          80.5475      4.29%
1012.75/1016.96	c      1017          70627       20982         1          84.0000          80.5505      4.28%
1017.93/1022.15	c      1022          71167       21126         1          84.0000          80.5532      4.28%
1023.10/1027.34	c      1027          71617       21316         1          84.0000          80.5562      4.28%
1028.27/1032.52	c      1033          72117       21534         1          84.0000          80.5601      4.27%
1033.26/1037.56	c      1038          72457       21656         1          84.0000          80.5609      4.27%
1038.33/1042.62	c      1043          72937       21838         1          84.0000          80.5623      4.27%
1043.50/1047.83	c      1048          73497       22012         1          84.0000          80.5670      4.26%
1048.48/1052.85	c      1053          74027       22182         1          84.0000          80.5697      4.26%
1053.55/1057.94	c      1058          74587       22320         1          84.0000          80.5729      4.25%
1058.64/1063.08	c      1063          75007       22506         1          84.0000          80.5754      4.25%
1063.71/1068.14	c      1068          75567       22696         1          84.0000          80.5775      4.25%
1068.78/1073.22	c      1073          76337       22834         1          84.0000          80.5862      4.24%
1073.87/1078.32	c      1078          77007       22970         1          84.0000          80.5902      4.23%
1079.24/1083.73	c      1084          77747       23148         1          84.0000          80.5956      4.22%
1084.32/1088.83	c      1089          78367       23272         1          84.0000          80.5987      4.22%
1089.60/1094.15	c      1094          78887       23466         1          84.0000          80.6029      4.21%
1094.58/1099.17	c      1099          79407       23612         1          84.0000          80.6076      4.21%
1100.16/1104.78	c      1105          79934       23823         1          84.0000          80.6126      4.20%
1105.24/1109.85	c      1110          80427       23986         1          84.0000          80.6170      4.20%
1110.81/1115.42	c      1115          81197       24098         1          84.0000          80.6204      4.19%
1115.99/1120.66	c      1121          81737       24264         1          84.0000          80.6239      4.19%
1121.07/1125.78	c      1126          82277       24434         1          84.0000          80.6269      4.18%
1126.45/1131.13	c      1131          83007       24552         1          84.0000          80.6289      4.18%
1131.43/1136.19	c      1136          83747       24704         1          84.0000          80.6318      4.18%
1136.50/1141.27	c      1141          84287       24848         1          84.0000          80.6350      4.17%
1141.69/1146.43	c      1146          84927       24974         1          84.0000          80.6385      4.17%
1147.26/1152.07	c      1152          85507       25194         1          84.0000          80.6417      4.16%
1152.35/1157.19	c      1157          86057       25376         1          84.0000          80.6442      4.16%
1157.72/1162.54	c      1163          86677       25546         1          84.0000          80.6467      4.16%
1162.89/1167.74	c      1168          87197       25770         1          84.0000          80.6502      4.15%
1168.38/1173.26	c      1173          87947       25928         1          84.0000          80.6515      4.15%
1174.05/1178.96	c      1179          88577       26150         1          84.0000          80.6561      4.15%
1179.73/1184.65	c      1185          89308       26277         1          84.0000          80.6588      4.14%
1185.61/1190.59	c      1191          90054       26483         1          84.0000          80.6601      4.14%
1190.79/1195.77	c      1196          90609       26666         1          84.0000          80.6625      4.14%
1196.56/1201.50	c      1202          91317       26886         1          84.0000          80.6646      4.13%
1202.04/1207.02	c      1207          92137       27038         1          84.0000          80.6670      4.13%
1207.22/1212.29	c      1212          93037       27150         1          84.0000          80.6696      4.13%
1212.70/1217.79	c      1218          93627       27352         1          84.0000          80.6744      4.12%
1217.98/1223.08	c      1223          94197       27624         1          84.0000          80.6767      4.12%
1222.96/1228.10	c      1228          94777       27774         1          84.0000          80.6805      4.11%
1228.23/1233.36	c      1233          95337       27950         1          84.0000          80.6826      4.11%
1233.31/1238.47	c      1238          96037       28094         1          84.0000          80.6855      4.11%
1238.40/1243.53	c      1244          96597       28258         1          84.0000          80.6890      4.10%
1244.07/1249.27	c      1249          97347       28444         1          84.0000          80.6916      4.10%
1249.15/1254.35	c      1254          97947       28602         1          84.0000          80.6942      4.10%
1254.43/1259.65	c      1260          98537       28792         1          84.0000          80.6966      4.09%
1259.50/1264.72	c      1265          99387       28952         1          84.0000          80.6995      4.09%
1264.58/1269.88	c      1270          99977       29148         1          84.0000          80.7039      4.08%
1269.77/1275.10	c      1275         100457       29370         1          84.0000          80.7056      4.08%
1274.95/1280.29	c      1280         101157       29480         1          84.0000          80.7084      4.08%
1280.02/1285.37	c      1285         101607       29646         1          84.0000          80.7101      4.08%
1285.40/1290.72	c      1291         102147       29824         1          84.0000          80.7126      4.07%
1290.48/1295.87	c      1296         102636       29973         1          84.0000          80.7139      4.07%
1295.67/1301.01	c      1301         103259       30156         1          84.0000          80.7171      4.07%
1301.24/1306.66	c      1307         103987       30348         1          84.0000          80.7208      4.06%
1306.91/1312.30	c      1312         104673       30540         1          84.0000          80.7237      4.06%
1312.50/1317.96	c      1318         105557       30732         1          84.0000          80.7264      4.06%
1317.68/1323.15	c      1323         106227       30868         1          84.0000          80.7282      4.05%
1322.95/1328.44	c      1328         106877       31016         1          84.0000          80.7308      4.05%
1328.03/1333.53	c      1334         107637       31194         1          84.0000          80.7332      4.05%
1333.31/1338.85	c      1339         108647       31302         1          84.0000          80.7369      4.04%
1338.39/1343.95	c      1344         109307       31484         1          84.0000          80.7401      4.04%
1343.37/1348.98	c      1349         109987       31690         1          84.0000          80.7433      4.03%
1348.46/1354.07	c      1354         110747       31856         1          84.0000          80.7446      4.03%
1353.53/1359.14	c      1359         111247       32056         1          84.0000          80.7477      4.03%
1358.71/1364.35	c      1364         112167       32188         1          84.0000          80.7497      4.03%
1363.79/1369.42	c      1369         112747       32368         1          84.0000          80.7533      4.02%
1369.07/1374.75	c      1375         113487       32576         1          84.0000          80.7559      4.02%
1375.04/1380.74	c      1381         114409       32766         1          84.0000          80.7579      4.01%
1380.43/1386.11	c      1386         115177       32924         1          84.0000          80.7604      4.01%
1386.30/1392.04	c      1392         116038       33153         1          84.0000          80.7632      4.01%
1391.58/1397.35	c      1397         116667       33282         1          84.0000          80.7668      4.00%
1396.75/1402.51	c      1403         117517       33462         1          84.0000          80.7707      4.00%
1401.83/1407.69	c      1408         118277       33662         1          84.0000          80.7740      3.99%
1407.41/1413.23	c      1413         118847       33894         1          84.0000          80.7769      3.99%
1412.59/1418.44	c      1418         119707       34026         1          84.0000          80.7800      3.99%
1417.97/1423.84	c      1424         120557       34102         1          84.0000          80.7834      3.98%
1423.16/1429.03	c      1429         121427       34212         1          84.0000          80.7877      3.98%
1428.13/1434.04	c      1434         122257       34296         1          84.0000          80.7891      3.97%
1433.22/1439.14	c      1439         123067       34452         1          84.0000          80.7926      3.97%
1438.19/1444.15	c      1444         123847       34566         1          84.0000          80.7950      3.97%
1443.36/1449.33	c      1449         124537       34724         1          84.0000          80.7975      3.96%
1448.74/1454.78	c      1455         125417       34828         1          84.0000          80.7997      3.96%
1453.92/1459.90	c      1460         126147       34990         1          84.0000          80.8021      3.96%
1459.80/1465.88	c      1466         126971       35192         1          84.0000          80.8043      3.95%
1464.88/1470.98	c      1471         127857       35366         1          84.0000          80.8058      3.95%
1470.25/1476.35	c      1476         128607       35548         1          84.0000          80.8081      3.95%
1475.34/1481.49	c      1481         129207       35718         1          84.0000          80.8119      3.95%
1480.42/1486.50	c      1486         130059       35884         1          84.0000          80.8127      3.94%
1485.80/1491.90	c      1492         130807       36052         1          84.0000          80.8162      3.94%
1490.98/1497.15	c      1497         131527       36262         1          84.0000          80.8189      3.94%
1496.26/1502.46	c      1502         132301       36418         1          84.0000          80.8205      3.93%
1502.13/1508.37	c      1508         133173       36626         1          84.0000          80.8228      3.93%
1507.71/1513.96	c      1514         133976       36811         1          84.0000          80.8248      3.93%
1513.09/1519.38	c      1519         134857       36996         1          84.0000          80.8281      3.92%
1518.67/1524.92	c      1525         135597       37218         1          84.0000          80.8299      3.92%
1524.44/1530.72	c      1531         136467       37394         1          84.0000          80.8309      3.92%
1529.93/1536.21	c      1536         137034       37621         1          84.0000          80.8333      3.92%
1535.30/1541.61	c      1542         137857       37828         1          84.0000          80.8358      3.91%
1540.49/1546.83	c      1547         138446       38063         1          84.0000          80.8372      3.91%
1545.56/1551.94	c      1552         139172       38261         1          84.0000          80.8383      3.91%
1550.95/1557.31	c      1557         139857       38446         1          84.0000          80.8394      3.91%
1556.72/1563.13	c      1563         140663       38628         1          84.0000          80.8408      3.91%
1562.40/1568.85	c      1569         141405       38896         1          84.0000          80.8432      3.90%
1568.18/1574.60	c      1575         142207       39106         1          84.0000          80.8453      3.90%
1573.25/1579.72	c      1580         142937       39292         1          84.0000          80.8470      3.90%
1578.24/1584.75	c      1585         143527       39496         1          84.0000          80.8482      3.90%
1583.71/1590.21	c      1590         144247       39692         1          84.0000          80.8500      3.90%
1588.89/1595.44	c      1595         144847       39868         1          84.0000          80.8518      3.89%
1594.17/1600.71	c      1601         145357       40140         1          84.0000          80.8544      3.89%
1599.36/1605.99	c      1606         146027       40338         1          84.0000          80.8572      3.89%
1605.03/1611.61	c      1612         146954       40539         1          84.0000          80.8594      3.88%
1610.01/1616.67	c      1617         147697       40674         1          84.0000          80.8612      3.88%
1615.98/1622.65	c      1623         148616       40917         1          84.0000          80.8627      3.88%
1621.37/1628.02	c      1628         149417       41092         1          84.0000          80.8642      3.88%
1626.54/1633.20	c      1633         150057       41338         1          84.0000          80.8657      3.88%
1632.02/1638.70	c      1639         150765       41562         1          84.0000          80.8668      3.87%
1637.10/1643.85	c      1644         151377       41772         1          84.0000          80.8680      3.87%
1642.78/1649.53	c      1650         152269       41936         1          84.0000          80.8691      3.87%
1648.16/1654.94	c      1655         152987       42144         1          84.0000          80.8708      3.87%
1653.14/1659.99	c      1660         153663       42336         1          84.0000          80.8715      3.87%
1658.72/1665.56	c      1666         154416       42533         1          84.0000          80.8746      3.86%
1664.30/1671.10	c      1671         155167       42736         1          84.0000          80.8760      3.86%
1669.58/1676.42	c      1676         155847       42888         1          84.0000          80.8781      3.86%
1674.96/1681.89	c      1682         156687       43074         1          84.0000          80.8797      3.86%
1680.94/1687.83	c      1688         157666       43323         1          84.0000          80.8817      3.86%
1686.02/1692.98	c      1693         158457       43464         1          84.0000          80.8838      3.85%
1691.20/1698.13	c      1698         159147       43634         1          84.0000          80.8847      3.85%
1696.47/1703.40	c      1703         159977       43788         1          84.0000          80.8854      3.85%
1701.56/1708.57	c      1709         160787       43940         1          84.0000          80.8877      3.85%
1707.04/1714.09	c      1714         161607       44110         1          84.0000          80.8896      3.85%
1712.12/1719.13	c      1719         162177       44328         1          84.0000          80.8907      3.84%
1717.30/1724.38	c      1724         162677       44554         1          84.0000          80.8930      3.84%
1722.78/1729.82	c      1730         163337       44778         1          84.0000          80.8946      3.84%
1727.96/1735.09	c      1735         164117       44974         1          84.0000          80.8967      3.84%
1733.44/1740.50	c      1740         164857       45154         1          84.0000          80.8977      3.83%
1739.11/1746.27	c      1746         165572       45417         1          84.0000          80.8994      3.83%
1744.20/1751.38	c      1751         166317       45610         1          84.0000          80.9018      3.83%
1749.38/1756.56	c      1757         166997       45814         1          84.0000          80.9032      3.83%
1754.36/1761.57	c      1762         167557       46016         1          84.0000          80.9046      3.83%
1759.54/1766.72	c      1767         168267       46168         1          84.0000          80.9063      3.82%
1764.82/1772.05	c      1772         168897       46368         1          84.0000          80.9081      3.82%
1770.11/1777.32	c      1777         169587       46554         1          84.0000          80.9095      3.82%
1775.48/1782.78	c      1783         170357       46738         1          84.0000          80.9112      3.82%
1780.56/1787.81	c      1788         170896       46963         1          84.0000          80.9128      3.82%
1785.64/1792.99	c      1793         171397       47198         1          84.0000          80.9146      3.81%
1791.12/1798.46	c      1798         172007       47436         1          84.0000          80.9165      3.81%
1796.21/1803.55	c      1804         172607       47656         1          84.0000          80.9177      3.81%
1801.68/1809.04	c      1809         173317       47858         1          84.0000          80.9191      3.81%
1806.66/1814.09	c      1814         174057       48054         1          84.0000          80.9203      3.81%
1811.84/1819.20	c      1819         174737       48240         1          84.0000          80.9216      3.80%
1817.22/1824.61	c      1825         175487       48444         1          84.0000          80.9228      3.80%
1822.40/1829.86	c      1830         176217       48630         1          84.0000          80.9237      3.80%
1827.48/1834.98	c      1835         176867       48814         1          84.0000          80.9252      3.80%
1832.56/1840.00	c      1840         177587       48996         1          84.0000          80.9284      3.80%
1837.54/1845.03	c      1845         178197       49198         1          84.0000          80.9304      3.79%
1842.72/1850.27	c      1850         178867       49378         1          84.0000          80.9317      3.79%
1847.80/1855.33	c      1855         179557       49520         1          84.0000          80.9328      3.79%
1853.68/1861.23	c      1861         180427       49752         1          84.0000          80.9342      3.79%
1859.46/1867.08	c      1867         181154       49977         1          84.0000          80.9353      3.79%
1864.54/1872.19	c      1872         181987       50152         1          84.0000          80.9369      3.78%
1869.92/1877.59	c      1878         182857       50322         1          84.0000          80.9381      3.78%
1875.10/1882.74	c      1883         183597       50500         1          84.0000          80.9391      3.78%
1880.17/1887.81	c      1888         184417       50682         1          84.0000          80.9405      3.78%
1885.76/1893.42	c      1893         185198       50847         1          84.0000          80.9418      3.78%
1890.73/1898.45	c      1898         185807       51048         1          84.0000          80.9445      3.77%
1896.12/1903.83	c      1904         186437       51258         1          84.0000          80.9462      3.77%
1901.20/1908.99	c      1909         187147       51422         1          84.0000          80.9472      3.77%
1906.47/1914.28	c      1914         187807       51624         1          84.0000          80.9487      3.77%
1911.66/1919.44	c      1919         188497       51846         1          84.0000          80.9497      3.77%
1916.73/1924.58	c      1925         189217       52026         1          84.0000          80.9514      3.77%
1922.41/1930.21	c      1930         190024       52193         1          84.0000          80.9520      3.77%
1928.10/1935.94	c      1936         190677       52412         1          84.0000          80.9532      3.76%
1933.18/1941.08	c      1941         191407       52626         1          84.0000          80.9548      3.76%
1938.75/1946.67	c      1947         192417       52788         1          84.0000          80.9558      3.76%
1943.83/1951.78	c      1952         193127       53004         1          84.0000          80.9571      3.76%
1949.22/1957.18	c      1957         193842       53231         1          84.0000          80.9583      3.76%
1954.59/1962.55	c      1963         194607       53394         1          84.0000          80.9592      3.76%
1959.87/1967.90	c      1968         195377       53612         1          84.0000          80.9606      3.75%
1965.15/1973.17	c      1973         196197       53790         1          84.0000          80.9622      3.75%
1970.14/1978.18	c      1978         196967       53980         1          84.0000          80.9640      3.75%
1975.51/1983.57	c      1984         197927       54122         1          84.0000          80.9659      3.75%
1980.88/1988.92	c      1989         198917       54242         1          84.0000          80.9678      3.74%
1985.87/1993.95	c      1994         199717       54366         1          84.0000          80.9686      3.74%
1991.05/1999.20	c      1999         200437       54574         1          84.0000          80.9702      3.74%
1996.63/2004.74	c      2005         201087       54816         1          84.0000          80.9708      3.74%
2002.40/2010.56	c      2011         201717       55036         1          84.0000          80.9720      3.74%
2007.89/2016.00	c      2016         202647       55206         1          84.0000          80.9734      3.74%
2013.07/2021.21	c      2021         203497       55380         1          84.0000          80.9740      3.74%
2018.74/2026.94	c      2027         204385       55596         1          84.0000          80.9763      3.73%
2023.82/2032.02	c      2032         205097       55802         1          84.0000          80.9784      3.73%
2029.00/2037.27	c      2037         205867       55980         1          84.0000          80.9789      3.73%
2034.18/2042.41	c      2042         206537       56166         1          84.0000          80.9803      3.73%
2039.25/2047.51	c      2048         207277       56378         1          84.0000          80.9812      3.73%
2044.24/2052.56	c      2053         208007       56554         1          84.0000          80.9825      3.73%
2049.32/2057.61	c      2058         208699       56722         1          84.0000          80.9836      3.72%
2054.89/2063.21	c      2063         209487       56950         1          84.0000          80.9855      3.72%
2060.28/2068.64	c      2069         210330       57121         1          84.0000          80.9865      3.72%
2065.56/2073.92	c      2074         211107       57252         1          84.0000          80.9883      3.72%
2071.04/2079.49	c      2079         211947       57418         1          84.0000          80.9893      3.72%
2076.12/2084.56	c      2085         212807       57550         1          84.0000          80.9902      3.72%
2081.71/2090.13	c      2090         213453       57746         1          84.0000          80.9915      3.71%
2086.77/2095.25	c      2095         214157       57900         1          84.0000          80.9927      3.71%
2091.96/2100.49	c      2100         214807       58128         1          84.0000          80.9945      3.71%
2097.14/2105.60	c      2106         215473       58314         1          84.0000          80.9959      3.71%
2102.12/2110.62	c      2111         216177       58490         1          84.0000          80.9968      3.71%
2107.30/2115.88	c      2116         216807       58706         1          84.0000          80.9979      3.71%
2112.58/2121.12	c      2121         217677       58898         1          84.0000          80.9990      3.70%
2117.86/2126.45	c      2126         218487       59082         1          84.0000          80.9996      3.70%
2122.94/2131.53	c      2132         219197       59292         1          84.0000          81.0011      3.70%
2128.12/2136.77	c      2137         220037       59480         1          84.0000          81.0022      3.70%
2133.20/2141.86	c      2142         220737       59658         1          84.0000          81.0034      3.70%
2138.38/2147.06	c      2147         221707       59804         1          84.0000          81.0058      3.70%
2143.86/2152.57	c      2153         222427       60010         1          84.0000          81.0070      3.69%
2149.14/2157.81	c      2158         223130       60239         1          84.0000          81.0083      3.69%
2154.62/2163.31	c      2163         223967       60456         1          84.0000          81.0095      3.69%
2159.60/2168.39	c      2168         224797       60620         1          84.0000          81.0110      3.69%
2164.89/2173.64	c      2174         225477       60792         1          84.0000          81.0119      3.69%
2170.27/2179.09	c      2179         226107       61064         1          84.0000          81.0134      3.69%
2176.14/2184.98	c      2185         226969       61300         1          84.0000          81.0143      3.69%
2181.32/2190.13	c      2190         227727       61460         1          84.0000          81.0156      3.68%
2186.70/2195.57	c      2196         228377       61668         1          84.0000          81.0167      3.68%
2192.37/2201.20	c      2201         229137       61870         1          84.0000          81.0177      3.68%
2197.35/2206.28	c      2206         229867       62024         1          84.0000          81.0182      3.68%
2202.63/2211.53	c      2212         230697       62222         1          84.0000          81.0193      3.68%
2208.01/2216.94	c      2217         231387       62486         1          84.0000          81.0203      3.68%
2213.19/2222.17	c      2222         232107       62664         1          84.0000          81.0210      3.68%
2218.37/2227.31	c      2227         232827       62818         1          84.0000          81.0219      3.68%
2223.55/2232.57	c      2233         233607       63014         1          84.0000          81.0228      3.67%
2228.63/2237.65	c      2238         234247       63232         1          84.0000          81.0241      3.67%
2233.81/2242.87	c      2243         234917       63460         1          84.0000          81.0263      3.67%
2238.89/2247.95	c      2248         235597       63640         1          84.0000          81.0269      3.67%
2243.98/2253.01	c      2253         236267       63812         1          84.0000          81.0284      3.67%
2249.06/2258.16	c      2258         236947       63994         1          84.0000          81.0298      3.67%
2254.43/2263.56	c      2264         237767       64170         1          84.0000          81.0310      3.66%
2259.51/2268.62	c      2269         238347       64394         1          84.0000          81.0326      3.66%
2265.00/2274.13	c      2274         239097       64602         1          84.0000          81.0342      3.66%
2270.17/2279.38	c      2279         239817       64782         1          84.0000          81.0354      3.66%
2275.26/2284.41	c      2284         240487       64990         1          84.0000          81.0363      3.66%
2280.24/2289.49	c      2289         241173       65154         1          84.0000          81.0366      3.66%
2285.41/2294.68	c      2295         241837       65368         1          84.0000          81.0372      3.66%
2290.59/2299.86	c      2300         242517       65554         1          84.0000          81.0379      3.66%
2295.97/2305.28	c      2305         243237       65754         1          84.0000          81.0387      3.65%
2301.25/2310.58	c      2311         244017       65982         1          84.0000          81.0399      3.65%
2306.53/2315.80	c      2316         244707       66172         1          84.0000          81.0409      3.65%
2311.51/2320.86	c      2321         245434       66351         1          84.0000          81.0417      3.65%
2317.59/2326.94	c      2327         246256       66589         1          84.0000          81.0421      3.65%
2322.78/2332.15	c      2332         247087       66756         1          84.0000          81.0427      3.65%
2327.76/2337.18	c      2337         247887       66964         1          84.0000          81.0436      3.65%
2333.02/2342.46	c      2342         248607       67144         1          84.0000          81.0453      3.65%
2338.41/2347.82	c      2348         249367       67346         1          84.0000          81.0470      3.64%
2343.79/2353.22	c      2353         250337       67472         1          84.0000          81.0479      3.64%
2349.06/2358.55	c      2359         251157       67628         1          84.0000          81.0489      3.64%
2354.35/2363.83	c      2364         251924       67811         1          84.0000          81.0500      3.64%
2359.93/2369.46	c      2369         252637       68014         1          84.0000          81.0524      3.64%
2365.01/2374.54	c      2375         253527       68144         1          84.0000          81.0529      3.64%
2370.29/2379.87	c      2380         254227       68370         1          84.0000          81.0536      3.64%
2375.37/2384.97	c      2385         254877       68612         1          84.0000          81.0547      3.63%
2380.46/2390.03	c      2390         255497       68834         1          84.0000          81.0553      3.63%
2385.53/2395.15	c      2395         256287       69102         1          84.0000          81.0567      3.63%
2391.01/2400.63	c      2401         257147       69298         1          84.0000          81.0581      3.63%
2395.99/2405.64	c      2406         257787       69484         1          84.0000          81.0600      3.63%
2400.97/2410.67	c      2411         258427       69712         1          84.0000          81.0610      3.63%
2406.35/2416.05	c      2416         259127       69924         1          84.0000          81.0620      3.62%
2411.44/2421.15	c      2421         259907       70112         1          84.0000          81.0635      3.62%
2416.61/2426.39	c      2426         260617       70284         1          84.0000          81.0643      3.62%
2421.79/2431.51	c      2432         261257       70522         1          84.0000          81.0655      3.62%
2426.77/2436.51	c      2437         261967       70706         1          84.0000          81.0660      3.62%
2431.76/2441.57	c      2442         262597       70948         1          84.0000          81.0674      3.62%
2436.93/2446.76	c      2447         263357       71100         1          84.0000          81.0690      3.62%
2442.32/2452.18	c      2452         264147       71324         1          84.0000          81.0706      3.61%
2447.59/2457.40	c      2457         264817       71540         1          84.0000          81.0716      3.61%
2452.58/2462.46	c      2462         265417       71758         1          84.0000          81.0731      3.61%
2457.65/2467.50	c      2468         266267       71944         1          84.0000          81.0749      3.61%
2462.64/2472.57	c      2473         267097       72110         1          84.0000          81.0763      3.61%
2467.82/2477.71	c      2478         267787       72284         1          84.0000          81.0772      3.61%
2473.39/2483.31	c      2483         268619       72446         1          84.0000          81.0783      3.60%
2478.38/2488.32	c      2488         269307       72632         1          84.0000          81.0789      3.60%
2484.06/2494.10	c      2494         270080       72803         1          84.0000          81.0798      3.60%
2489.14/2499.14	c      2499         270797       72976         1          84.0000          81.0811      3.60%
2494.92/2504.95	c      2505         271628       73187         1          84.0000          81.0824      3.60%
2500.20/2510.21	c      2510         272387       73390         1          84.0000          81.0835      3.60%
2505.26/2515.30	c      2515         273077       73616         1          84.0000          81.0852      3.59%
2511.06/2521.16	c      2521         273737       73858         1          84.0000          81.0866      3.59%
2516.32/2526.49	c      2526         274587       74040         1          84.0000          81.0882      3.59%
2521.90/2532.01	c      2532         275357       74232         1          84.0000          81.0887      3.59%
2526.89/2537.08	c      2537         276087       74418         1          84.0000          81.0902      3.59%
2531.97/2542.15	c      2542         276827       74642         1          84.0000          81.0909      3.59%
2537.04/2547.20	c      2547         277567       74825         1          84.0000          81.0925      3.59%
2542.12/2552.30	c      2552         278217       75027         1          84.0000          81.0937      3.58%
2547.11/2557.33	c      2557         278917       75213         1          84.0000          81.0948      3.58%
2552.18/2562.48	c      2562         279527       75411         1          84.0000          81.0958      3.58%
2557.47/2567.80	c      2568         280277       75557         1          84.0000          81.0968      3.58%
2562.54/2572.83	c      2573         280975       75769         1          84.0000          81.0977      3.58%
2568.13/2578.48	c      2578         281769       75959         1          84.0000          81.0989      3.58%
2573.71/2584.06	c      2584         282537       76163         1          84.0000          81.0994      3.58%
2578.69/2589.09	c      2589         283170       76366         1          84.0000          81.0999      3.58%
2583.78/2594.18	c      2594         283847       76527         1          84.0000          81.1006      3.58%
2588.85/2599.27	c      2599         284567       76689         1          84.0000          81.1015      3.57%
2594.03/2604.41	c      2604         285327       76851         1          84.0000          81.1022      3.57%
2599.21/2609.66	c      2610         286027       77015         1          84.0000          81.1030      3.57%
2604.29/2614.75	c      2615         286757       77235         1          84.0000          81.1040      3.57%
2609.37/2619.80	c      2620         287557       77427         1          84.0000          81.1049      3.57%
2614.56/2625.04	c      2625         288337       77611         1          84.0000          81.1055      3.57%
2620.03/2630.52	c      2631         289067       77799         1          84.0000          81.1064      3.57%
2625.11/2635.65	c      2636         289767       77977         1          84.0000          81.1075      3.57%
2630.49/2641.07	c      2641         290627       78159         1          84.0000          81.1086      3.56%
2635.58/2646.18	c      2646         291487       78293         1          84.0000          81.1093      3.56%
2640.86/2651.49	c      2651         292567       78433         1          84.0000          81.1103      3.56%
2646.03/2656.69	c      2657         293447       78553         1          84.0000          81.1120      3.56%
2651.21/2661.80	c      2662         294137       78685         1          84.0000          81.1131      3.56%
2656.20/2666.82	c      2667         294827       78855         1          84.0000          81.1143      3.56%
2661.48/2672.19	c      2672         295697       79043         1          84.0000          81.1154      3.56%
2666.65/2677.35	c      2677         296337       79231         1          84.0000          81.1164      3.55%
2671.84/2682.54	c      2683         297107       79421         1          84.0000          81.1178      3.55%
2677.22/2687.93	c      2688         297797       79633         1          84.0000          81.1191      3.55%
2682.40/2693.15	c      2693         298487       79829         1          84.0000          81.1206      3.55%
2687.47/2698.23	c      2698         299097       80015         1          84.0000          81.1213      3.55%
2692.46/2703.29	c      2703         299757       80197         1          84.0000          81.1220      3.55%
2697.54/2708.30	c      2708         300387       80367         1          84.0000          81.1231      3.55%
2702.62/2713.41	c      2713         301147       80543         1          84.0000          81.1237      3.55%
2707.70/2718.54	c      2719         301827       80713         1          84.0000          81.1243      3.54%
2712.78/2723.66	c      2724         302427       80909         1          84.0000          81.1248      3.54%
2717.86/2728.75	c      2729         303027       81123         1          84.0000          81.1257      3.54%
2723.04/2733.90	c      2734         303707       81315         1          84.0000          81.1264      3.54%
2728.23/2739.11	c      2739         304607       81461         1          84.0000          81.1271      3.54%
2733.41/2744.30	c      2744         305287       81655         1          84.0000          81.1277      3.54%
2738.38/2749.35	c      2749         305967       81863         1          84.0000          81.1281      3.54%
2743.37/2754.39	c      2754         306727       82017         1          84.0000          81.1289      3.54%
2748.84/2759.86	c      2760         307497       82169         1          84.0000          81.1298      3.54%
2753.93/2764.94	c      2765         308127       82369         1          84.0000          81.1311      3.54%
2758.90/2769.95	c      2770         308777       82565         1          84.0000          81.1317      3.54%
2763.89/2774.98	c      2775         309367       82793         1          84.0000          81.1326      3.53%
2769.27/2780.30	c      2780         310007       83055         1          84.0000          81.1338      3.53%
2774.96/2786.02	c      2786         310957       83261         1          84.0000          81.1345      3.53%
2780.13/2791.28	c      2791         311707       83455         1          84.0000          81.1360      3.53%
2785.21/2796.36	c      2796         312287       83669         1          84.0000          81.1368      3.53%
2790.79/2801.95	c      2802         312970       83892         1          84.0000          81.1378      3.53%
2795.87/2807.09	c      2807         313627       84103         1          84.0000          81.1391      3.53%
2801.45/2812.68	c      2813         314567       84329         1          84.0000          81.1401      3.52%
2806.63/2817.89	c      2818         315407       84477         1          84.0000          81.1409      3.52%
2812.01/2823.20	c      2823         316117       84695         1          84.0000          81.1423      3.52%
2817.08/2828.38	c      2828         316767       84917         1          84.0000          81.1437      3.52%
2822.37/2833.66	c      2834         317477       85075         1          84.0000          81.1445      3.52%
2827.35/2838.67	c      2839         318227       85251         1          84.0000          81.1453      3.52%
2833.03/2844.35	c      2844         318988       85468         1          84.0000          81.1459      3.52%
2838.01/2849.39	c      2849         319607       85693         1          84.0000          81.1466      3.52%
2843.39/2854.74	c      2855         320457       85847         1          84.0000          81.1473      3.52%
2848.78/2860.17	c      2860         321277       86025         1          84.0000          81.1481      3.51%
2853.85/2865.21	c      2865         321970       86180         1          84.0000          81.1485      3.51%
2858.93/2870.32	c      2870         322663       86367         1          84.0000          81.1489      3.51%
2864.11/2875.52	c      2876         323437       86537         1          84.0000          81.1496      3.51%
2869.19/2880.67	c      2881         324134       86752         1          84.0000          81.1504      3.51%
2874.48/2885.96	c      2886         324897       86959         1          84.0000          81.1512      3.51%
2879.56/2891.07	c      2891         325647       87153         1          84.0000          81.1515      3.51%
2885.23/2896.73	c      2897         326497       87367         1          84.0000          81.1524      3.51%
2890.41/2901.90	c      2902         327237       87605         1          84.0000          81.1535      3.51%
2895.89/2907.47	c      2907         328077       87763         1          84.0000          81.1545      3.51%
2901.38/2912.94	c      2913         328767       87979         1          84.0000          81.1552      3.51%
2906.66/2918.28	c      2918         329557       88181         1          84.0000          81.1563      3.50%
2911.84/2923.45	c      2923         330217       88383         1          84.0000          81.1571      3.50%
2916.82/2928.48	c      2928         330787       88565         1          84.0000          81.1582      3.50%
2922.10/2933.77	c      2934         331547       88765         1          84.0000          81.1588      3.50%
2927.68/2939.32	c      2939         332437       88929         1          84.0000          81.1594      3.50%
2932.95/2944.60	c      2945         333077       89141         1          84.0000          81.1605      3.50%
2938.44/2950.18	c      2950         333914       89324         1          84.0000          81.1609      3.50%
2943.92/2955.63	c      2956         334697       89487         1          84.0000          81.1612      3.50%
2948.99/2960.78	c      2961         335387       89671         1          84.0000          81.1620      3.50%
2954.88/2966.61	c      2967         336197       89877         1          84.0000          81.1623      3.50%
2960.26/2972.04	c      2972         337117       90061         1          84.0000          81.1630      3.50%
2965.53/2977.34	c      2977         337927       90247         1          84.0000          81.1642      3.49%
2970.81/2982.69	c      2983         338727       90403         1          84.0000          81.1651      3.49%
2975.90/2987.79	c      2988         339547       90555         1          84.0000          81.1659      3.49%
2981.18/2993.01	c      2993         340287       90731         1          84.0000          81.1665      3.49%
2986.76/2998.64	c      2999         341080       90956         1          84.0000          81.1673      3.49%
2991.94/3003.87	c      3004         341827       91143         1          84.0000          81.1682      3.49%
2997.22/3009.12	c      3009         342547       91331         1          84.0000          81.1690      3.49%
3002.21/3014.16	c      3014         343277       91521         1          84.0000          81.1697      3.49%
3007.38/3019.36	c      3019         344017       91737         1          84.0000          81.1706      3.49%
3012.56/3024.50	c      3024         344707       91907         1          84.0000          81.1718      3.48%
3017.94/3029.94	c      3030         345527       92103         1          84.0000          81.1725      3.48%
3023.02/3035.10	c      3035         346298       92278         1          84.0000          81.1734      3.48%
3028.31/3040.30	c      3040         347057       92437         1          84.0000          81.1740      3.48%
3033.58/3045.63	c      3046         347687       92681         1          84.0000          81.1751      3.48%
3038.97/3051.05	c      3051         348557       92819         1          84.0000          81.1755      3.48%
3044.05/3056.16	c      3056         349247       92989         1          84.0000          81.1763      3.48%
3049.42/3061.56	c      3062         350037       93205         1          84.0000          81.1769      3.48%
3054.40/3066.58	c      3067         350727       93369         1          84.0000          81.1780      3.48%
3059.58/3071.71	c      3072         351377       93539         1          84.0000          81.1787      3.48%
3064.87/3077.09	c      3077         352107       93733         1          84.0000          81.1794      3.47%
3070.54/3082.70	c      3083         352977       93897         1          84.0000          81.1800      3.47%
3075.83/3088.01	c      3088         353787       94047         1          84.0000          81.1806      3.47%
3080.90/3093.19	c      3093         354497       94247         1          84.0000          81.1815      3.47%
3086.48/3098.75	c      3099         355234       94438         1          84.0000          81.1817      3.47%
3091.52/3103.86	c      3104         355867       94609         1          84.0000          81.1826      3.47%
3096.68/3109.09	c      3109         356867       94797         1          84.0000          81.1831      3.47%
3101.72/3114.16	c      3114         357657       94963         1          84.0000          81.1841      3.47%
3106.96/3119.44	c      3119         358437       95119         1          84.0000          81.1849      3.47%
3112.42/3124.93	c      3125         359177       95313         1          84.0000          81.1857      3.47%
3117.56/3130.16	c      3130         359937       95465         1          84.0000          81.1860      3.47%
3122.60/3135.24	c      3135         360617       95625         1          84.0000          81.1873      3.46%
3127.85/3140.59	c      3141         361377       95811         1          84.0000          81.1882      3.46%
3133.59/3146.36	c      3146         362097       96069         1          84.0000          81.1891      3.46%
3138.55/3151.37	c      3151         362767       96261         1          84.0000          81.1903      3.46%
3143.60/3156.43	c      3156         363577       96385         1          84.0000          81.1909      3.46%
3148.65/3161.53	c      3162         364297       96523         1          84.0000          81.1913      3.46%
3153.59/3166.56	c      3167         365007       96685         1          84.0000          81.1922      3.46%
3158.85/3171.80	c      3172         365687       96889         1          84.0000          81.1930      3.46%
3163.79/3176.85	c      3177         366347       97089         1          84.0000          81.1940      3.46%
3168.95/3182.03	c      3182         366937       97327         1          84.0000          81.1948      3.45%
3174.00/3187.12	c      3187         367617       97507         1          84.0000          81.1955      3.45%
3179.15/3192.33	c      3192         368387       97689         1          84.0000          81.1965      3.45%
3184.29/3197.51	c      3198         369137       97827         1          84.0000          81.1972      3.45%
3189.44/3202.70	c      3203         369967       97967         1          84.0000          81.1982      3.45%
3194.39/3207.76	c      3208         370787       98131         1          84.0000          81.1988      3.45%
3199.34/3212.77	c      3213         371387       98295         1          84.0000          81.1994      3.45%
3204.39/3217.80	c      3218         372087       98453         1          84.0000          81.1997      3.45%
3209.83/3223.36	c      3223         373027       98615         1          84.0000          81.2005      3.45%
3214.88/3228.44	c      3228         373687       98783         1          84.0000          81.2010      3.45%
3219.83/3233.46	c      3233         374397       98977         1          84.0000          81.2017      3.45%
3225.28/3238.97	c      3239         375244       99158         1          84.0000          81.2024      3.45%
3230.42/3244.11	c      3244         375907       99331         1          84.0000          81.2028      3.44%
3235.57/3249.33	c      3249         376637       99547         1          84.0000          81.2038      3.44%
3240.63/3254.49	c      3254         377407       99683         1          84.0000          81.2047      3.44%
3245.67/3259.59	c      3260         378057       99865         1          84.0000          81.2052      3.44%
3251.12/3265.03	c      3265         378907      100045         1          84.0000          81.2061      3.44%
3256.37/3270.35	c      3270         379667      100217         1          84.0000          81.2068      3.44%
3261.42/3275.43	c      3275         380367      100415         1          84.0000          81.2074      3.44%
3266.67/3280.71	c      3281         381267      100605         1          84.0000          81.2085      3.44%
3271.61/3285.76	c      3286         382147      100741         1          84.0000          81.2092      3.44%
3276.96/3291.18	c      3291         382983      100905         1          84.0000          81.2097      3.44%
3282.01/3296.24	c      3296         383797      101061         1          84.0000          81.2105      3.43%
3287.05/3301.38	c      3301         384607      101217         1          84.0000          81.2113      3.43%
3292.41/3306.75	c      3307         385237      101429         1          84.0000          81.2123      3.43%
3297.55/3311.97	c      3312         386057      101587         1          84.0000          81.2129      3.43%
3302.60/3317.10	c      3317         386697      101767         1          84.0000          81.2141      3.43%
3308.34/3322.87	c      3323         387477      101985         1          84.0000          81.2149      3.43%
3313.60/3328.19	c      3328         388117      102161         1          84.0000          81.2154      3.43%
3319.04/3333.65	c      3334         388867      102309         1          84.0000          81.2158      3.43%
3324.49/3339.11	c      3339         389817      102455         1          84.0000          81.2163      3.43%
3329.62/3344.34	c      3344         390537      102619         1          84.0000          81.2169      3.43%
3335.37/3350.11	c      3350         391267      102829         1          84.0000          81.2173      3.43%
3340.52/3355.34	c      3355         392067      103035         1          84.0000          81.2176      3.43%
3345.56/3360.47	c      3360         392727      103221         1          84.0000          81.2184      3.42%
3350.62/3365.50	c      3366         393567      103367         1          84.0000          81.2193      3.42%
3355.56/3370.58	c      3371         394337      103539         1          84.0000          81.2199      3.42%
3360.82/3375.90	c      3376         395137      103717         1          84.0000          81.2207      3.42%
3366.36/3381.43	c      3381         396047      103845         1          84.0000          81.2210      3.42%
3371.50/3386.65	c      3387         396737      104007         1          84.0000          81.2222      3.42%
3376.56/3391.77	c      3392         397417      104231         1          84.0000          81.2230      3.42%
3381.80/3397.08	c      3397         398217      104371         1          84.0000          81.2234      3.42%
3387.15/3402.47	c      3402         398907      104575         1          84.0000          81.2241      3.42%
3392.50/3407.85	c      3408         399587      104771         1          84.0000          81.2246      3.42%
3397.65/3413.01	c      3413         400347      104905         1          84.0000          81.2249      3.42%
3403.49/3418.92	c      3419         401172      105096         1          84.0000          81.2260      3.42%
3409.23/3424.74	c      3425         401996      105268         1          84.0000          81.2269      3.41%
3414.28/3429.82	c      3430         402797      105417         1          84.0000          81.2273      3.41%
3419.43/3435.05	c      3435         403567      105597         1          84.0000          81.2279      3.41%
3424.48/3440.18	c      3440         404477      105727         1          84.0000          81.2285      3.41%
3429.82/3445.53	c      3446         405237      105885         1          84.0000          81.2295      3.41%
3434.78/3450.59	c      3451         406057      106039         1          84.0000          81.2303      3.41%
3440.52/3456.35	c      3456         406867      106241         1          84.0000          81.2310      3.41%
3445.86/3461.78	c      3462         407647      106443         1          84.0000          81.2320      3.41%
3451.31/3467.25	c      3467         408597      106597         1          84.0000          81.2323      3.41%
3456.36/3472.32	c      3472         409217      106781         1          84.0000          81.2335      3.41%
3461.31/3477.33	c      3477         409997      106963         1          84.0000          81.2340      3.41%
3466.36/3482.48	c      3482         410647      107151         1          84.0000          81.2349      3.40%
3471.31/3487.49	c      3487         411457      107345         1          84.0000          81.2358      3.40%
3476.46/3492.60	c      3493         412467      107483         1          84.0000          81.2365      3.40%
3481.70/3497.91	c      3498         413327      107641         1          84.0000          81.2374      3.40%
3486.65/3502.98	c      3503         414227      107783         1          84.0000          81.2382      3.40%
3491.71/3508.08	c      3508         415097      107875         1          84.0000          81.2389      3.40%
3496.76/3513.14	c      3513         415897      108045         1          84.0000          81.2395      3.40%
3501.80/3518.25	c      3518         416677      108193         1          84.0000          81.2403      3.40%
3506.85/3523.37	c      3523         417467      108349         1          84.0000          81.2410      3.40%
3512.59/3529.11	c      3529         418357      108525         1          84.0000          81.2415      3.40%
3517.54/3534.15	c      3534         419227      108649         1          84.0000          81.2421      3.39%
3522.59/3539.24	c      3539         420067      108811         1          84.0000          81.2428      3.39%
3527.65/3544.36	c      3544         420827      108963         1          84.0000          81.2438      3.39%
3533.09/3549.85	c      3550         421737      109109         1          84.0000          81.2441      3.39%
3538.24/3555.05	c      3555         422377      109291         1          84.0000          81.2445      3.39%
3543.79/3560.61	c      3561         423247      109477         1          84.0000          81.2450      3.39%
3549.13/3566.05	c      3566         424227      109615         1          84.0000          81.2456      3.39%
3554.48/3571.48	c      3571         425077      109777         1          84.0000          81.2460      3.39%
3559.92/3576.95	c      3577         425837      110005         1          84.0000          81.2471      3.39%
3565.27/3582.30	c      3582         426577      110187         1          84.0000          81.2478      3.39%
3570.32/3587.48	c      3587         427347      110369         1          84.0000          81.2487      3.39%
3575.46/3592.68	c      3593         428147      110515         1          84.0000          81.2493      3.39%
3580.81/3598.01	c      3598         428917      110643         0          84.0000          81.2497      3.39%
3581.11/3598.38	c SCIP Status        : c solving was interrupted [hard time limit reached]
3581.11/3598.38	c Total Time         : 3598.38
3581.11/3598.38	c   solving          : 3598.38
3581.11/3598.38	c   presolving       : 0.01 (included in solving)
3581.11/3598.38	c B&B Tree           :
3581.11/3598.38	c   nodes (total)    : 1
3581.11/3598.38	c Solution           :
3581.11/3598.38	c   Solutions found  : 8
3581.11/3598.38	c   Primal Bound     : +8.40000000000000e+01
3581.11/3598.38	c   Dual Bound       : +8.12496858881236e+01
3581.11/3598.38	c Gap                : 3.38502 %
3581.11/3598.38	c * Warning: final gap: 3.38502e-02 is greater than SCIPepsilon: 1.00000e-09
3581.11/3598.39	o 84
3581.11/3598.39	s SATISFIABLE
3581.11/3598.39	v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 
3581.11/3598.39	v -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 
3581.11/3598.39	v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 
3581.11/3598.39	v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 x359 -x358 
3581.11/3598.39	v -x357 -x356 -x355 x354 -x353 -x352 x351 -x350 -x349 -x348 -x347 x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 x338 -x337 x336 
3581.11/3598.39	v -x335 -x334 x333 -x332 -x331 -x330 -x329 -x328 x327 x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 x318 -x317 -x316 -x315 -x314 
3581.11/3598.39	v x313 -x312 -x311 -x310 -x309 x308 -x307 -x306 -x305 -x304 -x303 -x302 x301 -x300 -x299 -x298 -x297 x296 -x295 -x294 -x293 
3581.11/3598.39	v -x292 x291 -x290 -x289 -x288 -x287 x286 x285 x284 -x283 -x282 -x281 -x280 x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 
3581.11/3598.39	v -x270 x269 -x268 -x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 x252 -x251 x250 -x249 
3581.11/3598.39	v -x248 -x247 -x246 x245 -x244 -x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 x229 x228 -x227 
3581.11/3598.39	v -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 
3581.11/3598.39	v -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 x192 -x191 -x190 x189 -x188 -x187 -x186 -x185 x184 
3581.11/3598.39	v -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 x174 -x173 x172 x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 
3581.11/3598.39	v x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 
3581.11/3598.39	v x140 -x139 -x138 -x137 -x136 x135 -x134 x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 
3581.11/3598.39	v x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 
3581.11/3598.39	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 
3581.11/3598.39	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 
3581.11/3598.39	v -x44 -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 
3581.11/3598.39	v x18 -x17 x16 -x15 x14 -x13 -x12 x11 -x10 -x9 x8 -x7 x6 -x5 -x4 -x3 x2 -x1 

Verifier Data

OK	84

Watcher Data

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (62500 MiB free)
  memory of node 1: 64510 MiB (63341 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464174-1722382201/watcher-4464174-1722382201 -o /tmp/evaluation-result-4464174-1722382201/solver-4464174-1722382201 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722378594-29594 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464174-1722382201.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
solver pid=32093, runsolver pid=32088
Current StackSize limit: 8192 KiB


[startup+0.100788 s]*
/proc/loadavg: 4.10 4.12 4.04 4/254 32120
/proc/meminfo: memFree=128855428/131524600 swapFree=131071996/131071996
[pid=32093] ppid=32088 vsize=112368 memory=30108 CPUtime=0.09 cores=0,2
/proc/32093/stat : 32093 (fscip) S 32088 32093 29584 0 -1 1077936128 4867 0 0 0 9 0 0 0 20 0 3 0 4819400 115064832 7527 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
/proc/32093/statm: 28092 7527 2950 3035 0 11066 0
[pid=32093/tid=32100] ppid=32088 vsize=112368 memory=4026531959 CPUtime=0.08 cores=0,2
/proc/32093/task/32100/stat : 32100 (fscip) R 32088 32093 29584 0 -1 4194368 2592 0 0 0 8 0 0 0 20 0 3 0 4819401 115064832 7527 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
[pid=32093/tid=32102] ppid=32088 vsize=112368 memory=3698 CPUtime=0 cores=0,2
/proc/32093/task/32102/stat : 32102 (fscip) S 32088 32093 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4819401 115064832 7527 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 112368 KiB
Current children cumulated memory: 30108 KiB

[startup+0.205789 s]*
/proc/loadavg: 4.10 4.12 4.04 5/252 32142
/proc/meminfo: memFree=128839932/131524600 swapFree=131071996/131071996
[pid=32093] ppid=32088 vsize=127852 memory=55716 CPUtime=0.19 cores=0,2
/proc/32093/stat : 32093 (fscip) S 32088 32093 29584 0 -1 1077936128 11281 0 0 0 18 1 0 0 20 0 3 0 4819400 130920448 13929 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
/proc/32093/statm: 31963 13929 2950 3035 0 17421 0
[pid=32093/tid=32100] ppid=32088 vsize=127852 memory=3472328299600543863 CPUtime=0.18 cores=0,2
/proc/32093/task/32100/stat : 32100 (fscip) R 32088 32093 29584 0 -1 4194368 9006 0 0 0 17 1 0 0 20 0 3 0 4819401 130920448 13929 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
[pid=32093/tid=32102] ppid=32088 vsize=127852 memory=3698 CPUtime=0 cores=0,2
/proc/32093/task/32102/stat : 32102 (fscip) S 32088 32093 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4819401 130920448 13929 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 127852 KiB
Current children cumulated memory: 55716 KiB

[startup+0.305547 s]*
/proc/loadavg: 4.10 4.12 4.04 5/256 32158
/proc/meminfo: memFree=128702764/131524600 swapFree=131071996/131071996
[pid=32093] ppid=32088 vsize=132396 memory=71420 CPUtime=0.29 cores=0,2
/proc/32093/stat : 32093 (fscip) S 32088 32093 29584 0 -1 1077936128 16316 0 0 0 27 2 0 0 20 0 3 0 4819400 135573504 17855 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
/proc/32093/statm: 33099 17855 2950 3035 0 21463 0
[pid=32093/tid=32100] ppid=32088 vsize=132396 memory=-7824251494390715494 CPUtime=0.27 cores=0,2
/proc/32093/task/32100/stat : 32100 (fscip) R 32088 32093 29584 0 -1 4194368 14041 0 0 0 26 1 0 0 20 0 3 0 4819401 135573504 17855 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
[pid=32093/tid=32102] ppid=32088 vsize=132396 memory=0 CPUtime=0 cores=0,2
/proc/32093/task/32102/stat : 32102 (fscip) S 32088 32093 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4819401 135573504 17855 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 132396 KiB
Current children cumulated memory: 71420 KiB

[startup+0.700239 s]
/proc/loadavg: 4.10 4.12 4.04 5/263 32165
/proc/meminfo: memFree=128509996/131524600 swapFree=131071996/131071996
[pid=32093] ppid=32088 vsize=197932 memory=111672 CPUtime=0.68 cores=0,2
/proc/32093/stat : 32093 (fscip) S 32088 32093 29584 0 -1 1077936128 26408 0 0 0 65 3 0 0 20 0 3 0 4819400 202682368 27918 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
/proc/32093/statm: 49483 27918 2950 3035 0 31743 0
[pid=32093/tid=32100] ppid=32088 vsize=197932 memory=0 CPUtime=0.67 cores=0,2
/proc/32093/task/32100/stat : 32100 (fscip) R 32088 32093 29584 0 -1 4194368 24133 0 0 0 64 3 0 0 20 0 3 0 4819401 202682368 27918 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
[pid=32093/tid=32102] ppid=32088 vsize=197932 memory=0 CPUtime=0 cores=0,2
/proc/32093/task/32102/stat : 32102 (fscip) S 32088 32093 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4819401 202682368 27918 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 197932 KiB
Current children cumulated memory: 111672 KiB

[startup+1.50024 s]
/proc/loadavg: 4.17 4.13 4.05 4/259 32165
/proc/meminfo: memFree=128284588/131524600 swapFree=131071996/131071996
[pid=32093] ppid=32088 vsize=197932 memory=119660 CPUtime=1.48 cores=0,2
/proc/32093/stat : 32093 (fscip) S 32088 32093 29584 0 -1 1077936128 36712 0 0 0 144 4 0 0 20 0 3 0 4819400 202682368 29915 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
/proc/32093/statm: 49483 29915 2950 3035 0 33781 0
[pid=32093/tid=32100] ppid=32088 vsize=197932 memory=0 CPUtime=1.46 cores=0,2
/proc/32093/task/32100/stat : 32100 (fscip) R 32088 32093 29584 0 -1 4194368 34437 0 0 0 143 3 0 0 20 0 3 0 4819401 202682368 29915 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
[pid=32093/tid=32102] ppid=32088 vsize=197932 memory=0 CPUtime=0 cores=0,2
/proc/32093/task/32102/stat : 32102 (fscip) S 32088 32093 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4819401 202682368 29915 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 197932 KiB
Current children cumulated memory: 119660 KiB

[startup+3.10528 s]
/proc/loadavg: 4.17 4.13 4.05 5/261 32211
/proc/meminfo: memFree=127419648/131524600 swapFree=131071996/131071996
[pid=32093] ppid=32088 vsize=197932 memory=121436 CPUtime=3.08 cores=0,2
/proc/32093/stat : 32093 (fscip) S 32088 32093 29584 0 -1 1077936128 37677 0 0 0 304 4 0 0 20 0 3 0 4819400 202682368 30359 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
/proc/32093/statm: 49483 30359 2950 3035 0 34401 0
[pid=32093/tid=32100] ppid=32088 vsize=197932 memory=0 CPUtime=3.07 cores=0,2
/proc/32093/task/32100/stat : 32100 (fscip) R 32088 32093 29584 0 -1 4194368 35379 0 0 0 303 4 0 0 20 0 3 0 4819401 202682368 30359 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
[pid=32093/tid=32102] ppid=32088 vsize=197932 memory=114840 CPUtime=0 cores=0,2
/proc/32093/task/32102/stat : 32102 (fscip) S 32088 32093 29584 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4819401 202682368 30359 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 197932 KiB
Current children cumulated memory: 121436 KiB

[startup+6.30023 s]
/proc/loadavg: 4.16 4.13 4.05 5/261 32211
/proc/meminfo: memFree=126188728/131524600 swapFree=131071996/131071996
[pid=32093] ppid=32088 vsize=197932 memory=121436 CPUtime=6.26 cores=0,2
/proc/32093/stat : 32093 (fscip) S 32088 32093 29584 0 -1 1077936128 39821 0 0 0 622 4 0 0 20 0 3 0 4819400 202682368 30359 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
/proc/32093/statm: 49483 30359 2950 3035 0 34401 0
[pid=32093/tid=32100] ppid=32088 vsize=197932 memory=2268 CPUtime=6.25 cores=0,2
/proc/32093/task/32100/stat : 32100 (fscip) R 32088 32093 29584 0 -1 4194368 37520 0 0 0 621 4 0 0 20 0 3 0 4819401 202682368 30359 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
[pid=32093/tid=32102] ppid=32088 vsize=197932 memory=121436 CPUtime=0 cores=0,2
/proc/32093/task/32102/stat : 32102 (fscip) S 32088 32093 29584 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4819401 202682368 30359 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 197932 KiB
Current children cumulated memory: 121436 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.13 4.05 5/265 32273
/proc/meminfo: memFree=125328680/131524600 swapFree=131071996/131071996
[pid=32093] ppid=32088 vsize=263468 memory=187192 CPUtime=12.64 cores=0,2
/proc/32093/stat : 32093 (fscip) S 32088 32093 29584 0 -1 1077936128 86954 0 0 0 1255 9 0 0 20 0 3 0 4819400 269791232 46732 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
/proc/32093/statm: 65867 46732 2998 3035 0 51231 0
[pid=32093/tid=32100] ppid=32088 vsize=263468 memory=-7668059532136898168 CPUtime=12.62 cores=0,2
/proc/32093/task/32100/stat : 32100 (fscip) R 32088 32093 29584 0 -1 4194368 84509 0 0 0 1254 8 0 0 20 0 3 0 4819401 269791232 46798 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
[pid=32093/tid=32102] ppid=32088 vsize=263468 memory=1900 CPUtime=0 cores=0,2
/proc/32093/task/32102/stat : 32102 (fscip) S 32088 32093 29584 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 4819401 269791232 46798 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 263468 KiB
Current children cumulated memory: 187192 KiB

[startup+25.5003 s]
/proc/loadavg: 4.20 4.14 4.05 5/265 32274
/proc/meminfo: memFree=125270244/131524600 swapFree=131071996/131071996
[pid=32093] ppid=32088 vsize=263468 memory=207704 CPUtime=25.39 cores=0,2
/proc/32093/stat : 32093 (fscip) S 32088 32093 29584 0 -1 1077936128 130087 0 0 0 2527 12 0 0 20 0 3 0 4819400 269791232 51926 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
/proc/32093/statm: 65867 51926 2998 3035 0 56080 0
[pid=32093/tid=32100] ppid=32088 vsize=263468 memory=207704 CPUtime=25.38 cores=0,2
/proc/32093/task/32100/stat : 32100 (fscip) R 32088 32093 29584 0 -1 4194368 127425 0 0 0 2526 12 0 0 20 0 3 0 4819401 269791232 51926 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
[pid=32093/tid=32102] ppid=32088 vsize=263468 memory=-7668059532136898168 CPUtime=0 cores=0,2
/proc/32093/task/32102/stat : 32102 (fscip) S 32088 32093 29584 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 4819401 269791232 51926 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 263468 KiB
Current children cumulated memory: 207704 KiB

[startup+51.1055 s]
/proc/loadavg: 4.26 4.16 4.06 5/267 32282
/proc/meminfo: memFree=121583756/131524600 swapFree=131071996/131071996
[pid=32093] ppid=32088 vsize=262444 memory=208092 CPUtime=50.91 cores=0,2
/proc/32093/stat : 32093 (fscip) S 32088 32093 29584 0 -1 1077936128 180170 0 0 0 5076 15 0 0 20 0 3 0 4819400 268742656 52023 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
/proc/32093/statm: 65611 52023 3014 3035 0 56434 0
[pid=32093/tid=32100] ppid=32088 vsize=262444 memory=206744 CPUtime=50.89 cores=0,2
/proc/32093/task/32100/stat : 32100 (fscip) R 32088 32093 29584 0 -1 4194368 177293 0 0 0 5074 15 0 0 20 0 3 0 4819401 268742656 52023 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
[pid=32093/tid=32102] ppid=32088 vsize=262444 memory=206748 CPUtime=0 cores=0,2
/proc/32093/task/32102/stat : 32102 (fscip) S 32088 32093 29584 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 4819401 268742656 52023 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 262444 KiB
Current children cumulated memory: 208092 KiB

[startup+102.3 s]
/proc/loadavg: 4.26 4.16 4.07 5/267 32291
/proc/meminfo: memFree=118684356/131524600 swapFree=131071996/131071996
[pid=32093] ppid=32088 vsize=262444 memory=212884 CPUtime=101.91 cores=0,2
/proc/32093/stat : 32093 (fscip) S 32088 32093 29584 0 -1 1077936128 227506 0 0 0 10170 21 0 0 20 0 3 0 4819400 268742656 53221 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
/proc/32093/statm: 65611 53221 3014 3035 0 57332 0
[pid=32093/tid=32100] ppid=32088 vsize=262444 memory=11592 CPUtime=101.88 cores=0,2
/proc/32093/task/32100/stat : 32100 (fscip) R 32088 32093 29584 0 -1 4194368 224524 0 0 0 10168 20 0 0 20 0 3 0 4819401 268742656 53221 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
[pid=32093/tid=32102] ppid=32088 vsize=262444 memory=-7668059532136898168 CPUtime=0 cores=0,2
/proc/32093/task/32102/stat : 32102 (fscip) S 32088 32093 29584 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 4819401 268742656 53221 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 262444 KiB
Current children cumulated memory: 212884 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.15 4.07 5/269 32303
/proc/meminfo: memFree=117346924/131524600 swapFree=131071996/131071996
[pid=32093] ppid=32088 vsize=327980 memory=251052 CPUtime=161.67 cores=0,2
/proc/32093/stat : 32093 (fscip) S 32088 32093 29584 0 -1 1077936128 286782 0 0 0 16141 26 0 0 20 0 3 0 4819400 335851520 62763 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
/proc/32093/statm: 81995 62763 3014 3035 0 67265 0
[pid=32093/tid=32100] ppid=32088 vsize=327980 memory=12468 CPUtime=161.64 cores=0,2
/proc/32093/task/32100/stat : 32100 (fscip) R 32088 32093 29584 0 -1 4194368 283735 0 0 0 16139 25 0 0 20 0 3 0 4819401 335851520 62763 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
[pid=32093/tid=32102] ppid=32088 vsize=327980 memory=217552 CPUtime=0 cores=0,2
/proc/32093/task/32102/stat : 32102 (fscip) S 32088 32093 29584 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 4819401 335851520 62763 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 327980 KiB

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

/proc/32093/statm: 121949 105993 3318 3035 0 108532 0
[pid=32093/tid=32100] ppid=32088 vsize=487796 memory=12976 CPUtime=3445.89 cores=0,2
/proc/32093/task/32100/stat : 32100 (fscip) R 32088 32093 29584 0 -1 4194368 1000640 0 0 0 344315 274 0 0 20 0 3 0 4819401 499503104 105993 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
[pid=32093/tid=32102] ppid=32088 vsize=487796 memory=423972 CPUtime=0.04 cores=0,2
/proc/32093/task/32102/stat : 32102 (fscip) S 32088 32093 29584 0 -1 1077936192 163 0 0 0 1 3 0 0 20 0 3 0 4819401 499503104 105993 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
Current children cumulated CPU time: 3446.45 s
Current children cumulated vsize: 487796 KiB
Current children cumulated memory: 423972 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.16 4.13 5/266 34186
/proc/meminfo: memFree=114375892/131524600 swapFree=131071996/131071996
[pid=32093] ppid=32088 vsize=487796 memory=427964 CPUtime=3505.86 cores=0,2
/proc/32093/stat : 32093 (fscip) S 32088 32093 29584 0 -1 1077936128 1021593 0 0 0 350286 300 0 0 20 0 3 0 4819400 499503104 106991 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
/proc/32093/statm: 121949 106991 3318 3035 0 109651 0
[pid=32093/tid=32100] ppid=32088 vsize=487796 memory=12976 CPUtime=3505.28 cores=0,2
/proc/32093/task/32100/stat : 32100 (fscip) R 32088 32093 29584 0 -1 4194368 1017260 0 0 0 350249 279 0 0 20 0 3 0 4819401 499503104 106991 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
[pid=32093/tid=32102] ppid=32088 vsize=487796 memory=427412 CPUtime=0.04 cores=0,2
/proc/32093/task/32102/stat : 32102 (fscip) S 32088 32093 29584 0 -1 1077936192 165 0 0 0 1 3 0 0 20 0 3 0 4819401 499503104 106991 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
Current children cumulated CPU time: 3505.86 s
Current children cumulated vsize: 487796 KiB
Current children cumulated memory: 427964 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.16 4.13 5/266 34196
/proc/meminfo: memFree=114372016/131524600 swapFree=131071996/131071996
[pid=32093] ppid=32088 vsize=487796 memory=428364 CPUtime=3565.27 cores=0,2
/proc/32093/stat : 32093 (fscip) S 32088 32093 29584 0 -1 1077936128 1037805 0 0 0 356221 306 0 0 20 0 3 0 4819400 499503104 107091 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
/proc/32093/statm: 121949 107091 3318 3035 0 110111 0
[pid=32093/tid=32100] ppid=32088 vsize=487796 memory=-7668059532136898168 CPUtime=3564.68 cores=0,2
/proc/32093/task/32100/stat : 32100 (fscip) R 32088 32093 29584 0 -1 4194368 1033450 0 0 0 356183 285 0 0 20 0 3 0 4819401 499503104 107091 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
[pid=32093/tid=32102] ppid=32088 vsize=487796 memory=11592 CPUtime=0.04 cores=0,2
/proc/32093/task/32102/stat : 32102 (fscip) S 32088 32093 29584 0 -1 1077936192 167 0 0 0 1 3 0 0 20 0 3 0 4819401 499503104 107091 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
Current children cumulated CPU time: 3565.27 s
Current children cumulated vsize: 487796 KiB
Current children cumulated memory: 428364 KiB

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

# cumulated CPU time of all completed processes:  user=3578.11 s, system=3.10544 s

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

[startup+3584 s]*
/proc/loadavg: 4.18 4.16 4.13 5/266 34196
/proc/meminfo: memFree=114371400/131524600 swapFree=131071996/131071996
[pid=32093] ppid=32088 vsize=487796 memory=429144 CPUtime=3566.96 cores=0,2
/proc/32093/stat : 32093 (fscip) S 32088 32093 29584 0 -1 1077936128 1038054 0 0 0 356390 306 0 0 20 0 3 0 4819400 499503104 107286 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
/proc/32093/statm: 121949 107286 3318 3035 0 110111 0
[pid=32093/tid=32100] ppid=32088 vsize=487796 memory=-7451605275046404727 CPUtime=3566.36 cores=0,2
/proc/32093/task/32100/stat : 32100 (fscip) R 32088 32093 29584 0 -1 4194368 1033699 0 0 0 356351 285 0 0 20 0 3 0 4819401 499503104 107286 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
[pid=32093/tid=32102] ppid=32088 vsize=487796 memory=4641971638219992737 CPUtime=0.04 cores=0,2
/proc/32093/task/32102/stat : 32102 (fscip) S 32088 32093 29584 0 -1 1077936192 167 0 0 0 1 3 0 0 20 0 3 0 4819401 499503104 107286 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
Current children cumulated CPU time: 3566.96 s
Current children cumulated vsize: 487796 KiB
Current children cumulated memory: 429144 KiB

[startup+3590.4 s]
/proc/loadavg: 4.16 4.16 4.13 5/266 34197
/proc/meminfo: memFree=114370412/131524600 swapFree=131071996/131071996
[pid=32093] ppid=32088 vsize=487796 memory=430132 CPUtime=3573.29 cores=0,2
/proc/32093/stat : 32093 (fscip) S 32088 32093 29584 0 -1 1077936128 1039166 0 0 0 357023 306 0 0 20 0 3 0 4819400 499503104 107533 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
/proc/32093/statm: 121949 107533 3318 3035 0 110111 0
[pid=32093/tid=32100] ppid=32088 vsize=487796 memory=428360 CPUtime=3572.69 cores=0,2
/proc/32093/task/32100/stat : 32100 (fscip) R 32088 32093 29584 0 -1 4194368 1034811 0 0 0 356984 285 0 0 20 0 3 0 4819401 499503104 107533 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
[pid=32093/tid=32102] ppid=32088 vsize=487796 memory=428364 CPUtime=0.04 cores=0,2
/proc/32093/task/32102/stat : 32102 (fscip) S 32088 32093 29584 0 -1 1077936192 167 0 0 0 1 3 0 0 20 0 3 0 4819401 499503104 107533 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
Current children cumulated CPU time: 3573.29 s
Current children cumulated vsize: 487796 KiB
Current children cumulated memory: 430132 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.15 4.13 5/266 34197
/proc/meminfo: memFree=114369688/131524600 swapFree=131071996/131071996
[pid=32093] ppid=32088 vsize=487796 memory=429920 CPUtime=3576.46 cores=0,2
/proc/32093/stat : 32093 (fscip) S 32088 32093 29584 0 -1 1077936128 1046312 0 0 0 357339 307 0 0 20 0 3 0 4819400 499503104 107480 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
/proc/32093/statm: 121949 107480 3318 3035 0 110495 0
[pid=32093/tid=32100] ppid=32088 vsize=487796 memory=429876 CPUtime=3575.86 cores=0,2
/proc/32093/task/32100/stat : 32100 (fscip) R 32088 32093 29584 0 -1 4194368 1041935 0 0 0 357300 286 0 0 20 0 3 0 4819401 499503104 107480 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
[pid=32093/tid=32102] ppid=32088 vsize=487796 memory=429920 CPUtime=0.04 cores=0,2
/proc/32093/task/32102/stat : 32102 (fscip) S 32088 32093 29584 0 -1 1077936192 167 0 0 0 1 3 0 0 20 0 3 0 4819401 499503104 107480 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
Current children cumulated CPU time: 3576.46 s
Current children cumulated vsize: 487796 KiB
Current children cumulated memory: 429920 KiB

[startup+3596.8 s]
/proc/loadavg: 4.15 4.15 4.13 5/266 34197
/proc/meminfo: memFree=114342052/131524600 swapFree=131071996/131071996
[pid=32093] ppid=32088 vsize=487796 memory=430888 CPUtime=3579.62 cores=0,2
/proc/32093/stat : 32093 (fscip) S 32088 32093 29584 0 -1 1077936128 1047194 0 0 0 357655 307 0 0 20 0 3 0 4819400 499503104 107722 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
/proc/32093/statm: 121949 107722 3318 3035 0 110495 0
[pid=32093/tid=32100] ppid=32088 vsize=487796 memory=12976 CPUtime=3579.03 cores=0,2
/proc/32093/task/32100/stat : 32100 (fscip) R 32088 32093 29584 0 -1 4194368 1042817 0 0 0 357617 286 0 0 20 0 3 0 4819401 499503104 107722 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
[pid=32093/tid=32102] ppid=32088 vsize=487796 memory=164 CPUtime=0.04 cores=0,2
/proc/32093/task/32102/stat : 32102 (fscip) S 32088 32093 29584 0 -1 1077936192 167 0 0 0 1 3 0 0 20 0 3 0 4819401 499503104 107722 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
Current children cumulated CPU time: 3579.62 s
Current children cumulated vsize: 487796 KiB
Current children cumulated memory: 430888 KiB

[startup+3597.6 s]
/proc/loadavg: 4.14 4.15 4.13 5/266 34197
/proc/meminfo: memFree=114341240/131524600 swapFree=131071996/131071996
[pid=32093] ppid=32088 vsize=487796 memory=431008 CPUtime=3580.41 cores=0,2
/proc/32093/stat : 32093 (fscip) S 32088 32093 29584 0 -1 1077936128 1047467 0 0 0 357734 307 0 0 20 0 3 0 4819400 499503104 107752 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
/proc/32093/statm: 121949 107752 3318 3035 0 110495 0
[pid=32093/tid=32100] ppid=32088 vsize=487796 memory=2780 CPUtime=3579.82 cores=0,2
/proc/32093/task/32100/stat : 32100 (fscip) R 32088 32093 29584 0 -1 4194368 1043090 0 0 0 357696 286 0 0 20 0 3 0 4819401 499503104 107752 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
[pid=32093/tid=32102] ppid=32088 vsize=487796 memory=1900 CPUtime=0.04 cores=0,2
/proc/32093/task/32102/stat : 32102 (fscip) S 32088 32093 29584 0 -1 1077936192 167 0 0 0 1 3 0 0 20 0 3 0 4819401 499503104 107752 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
Current children cumulated CPU time: 3580.41 s
Current children cumulated vsize: 487796 KiB
Current children cumulated memory: 431008 KiB

[startup+3598 s]*
/proc/loadavg: 4.14 4.15 4.13 5/266 34199
/proc/meminfo: memFree=114340944/131524600 swapFree=131071996/131071996
[pid=32093] ppid=32088 vsize=487796 memory=431012 CPUtime=3580.81 cores=0,2
/proc/32093/stat : 32093 (fscip) S 32088 32093 29584 0 -1 1077936128 1047522 0 0 0 357774 307 0 0 20 0 3 0 4819400 499503104 107753 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
/proc/32093/statm: 121949 107753 3318 3035 0 110495 0
[pid=32093/tid=32100] ppid=32088 vsize=487796 memory=4908 CPUtime=3580.21 cores=0,2
/proc/32093/task/32100/stat : 32100 (fscip) R 32088 32093 29584 0 -1 4194368 1043145 0 0 0 357735 286 0 0 20 0 3 0 4819401 499503104 107753 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
[pid=32093/tid=32102] ppid=32088 vsize=487796 memory=3719168 CPUtime=0.04 cores=0,2
/proc/32093/task/32102/stat : 32102 (fscip) S 32088 32093 29584 0 -1 1077936192 167 0 0 0 1 3 0 0 20 0 3 0 4819401 499503104 107753 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
Current children cumulated CPU time: 3580.81 s
Current children cumulated vsize: 487796 KiB
Current children cumulated memory: 431012 KiB

[startup+3598.2 s]
/proc/loadavg: 4.14 4.15 4.13 5/266 34199
/proc/meminfo: memFree=114340944/131524600 swapFree=131071996/131071996
[pid=32093] ppid=32088 vsize=485740 memory=425816 CPUtime=3581.01 cores=0,2
/proc/32093/stat : 32093 (fscip) S 32088 32093 29584 0 -1 1077936128 1068402 0 0 0 357792 309 0 0 20 0 3 0 4819400 497397760 106454 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
/proc/32093/statm: 121435 106454 3318 3035 0 109981 0
[pid=32093/tid=32100] ppid=32088 vsize=485740 memory=-7668059532136898168 CPUtime=3580.41 cores=0,2
/proc/32093/task/32100/stat : 32100 (fscip) R 32088 32093 29584 0 -1 4194368 1064023 0 0 0 357753 288 0 0 20 0 3 0 4819401 497397760 106454 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
[pid=32093/tid=32102] ppid=32088 vsize=485740 memory=429920 CPUtime=0.04 cores=0,2
/proc/32093/task/32102/stat : 32102 (fscip) S 32088 32093 29584 0 -1 1077936192 167 0 0 0 1 3 0 0 20 0 3 0 4819401 497397760 106454 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
Current children cumulated CPU time: 3581.01 s
Current children cumulated vsize: 485740 KiB
Current children cumulated memory: 425816 KiB

[startup+3598.3 s]
/proc/loadavg: 4.14 4.15 4.13 5/266 34199
/proc/meminfo: memFree=114340944/131524600 swapFree=131071996/131071996
[pid=32093] ppid=32088 vsize=484712 memory=424788 CPUtime=3581.11 cores=0,2
/proc/32093/stat : 32093 (fscip) S 32088 32093 29584 0 -1 1077936128 1069754 0 0 0 357802 309 0 0 20 0 3 0 4819400 496345088 106197 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
/proc/32093/statm: 121178 106197 3318 3035 0 109724 0
[pid=32093/tid=32100] ppid=32088 vsize=484712 memory=11592 CPUtime=3580.51 cores=0,2
/proc/32093/task/32100/stat : 32100 (fscip) R 32088 32093 29584 0 -1 4194368 1065375 0 0 0 357763 288 0 0 20 0 3 0 4819401 496345088 106197 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
[pid=32093/tid=32102] ppid=32088 vsize=484712 memory=12976 CPUtime=0.04 cores=0,2
/proc/32093/task/32102/stat : 32102 (fscip) S 32088 32093 29584 0 -1 1077936192 167 0 0 0 1 3 0 0 20 0 3 0 4819401 496345088 106197 134679101440 4194304 16623229 140720845332320 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 34447360 140720845337622 140720845337738 140720845337738 140720845344752 0
Current children cumulated CPU time: 3581.11 s
Current children cumulated vsize: 484712 KiB
Current children cumulated memory: 424788 KiB

Child status: 0

Real time (s): 3598.4
CPU time (s): 3581.22
CPU user time (s): 3578.11
CPU system time (s): 3.10544
CPU usage (%): 99.5225
Max. virtual memory (cumulated for all children) (KiB): 487796
Max. memory (cumulated for all children) (KiB): 431012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.11
system time used= 3.10544
maximum resident set size= 431012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1070533
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= 22365
involuntary context switches= 30053


# summary of solver processes directly reported to runsolver:
#   pid: 32093
#   total CPU time (s): 3581.22
#   total CPU user time (s): 3578.11
#   total CPU system time (s): 3.10544

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92832 second user time and 17.3702 second system time

The end

Launcher Data

Begin job on nodeC023 at 2024-07-31 01:30:01
IDJOB=4464174
IDBENCH=155338
IDSOLVER=3092
FILE ID=nodeC023/4464174-1722382201
RUNJOBID= nodeC023-1722378594-29594
SLURM_JOB_ID= 8249846
Free space on /tmp= 890000 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-go19.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-4464174-1722382201/watcher-4464174-1722382201 -o /tmp/evaluation-result-4464174-1722382201/solver-4464174-1722382201 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722378594-29594 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464174-1722382201.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 51fa3ae0158cc49e421df545accb4e20
RANDOM SEED=292526229

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128862208 kB
MemAvailable:   129283452 kB
Buffers:           97604 kB
Cached:          1158756 kB
SwapCached:            0 kB
Active:           289260 kB
Inactive:        1899992 kB
Active(anon):       1536 kB
Inactive(anon):   952740 kB
Active(file):     287724 kB
Inactive(file):   947252 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             86948 kB
Writeback:            12 kB
AnonPages:        932948 kB
Mapped:           100280 kB
Shmem:             21336 kB
KReclaimable:      51828 kB
Slab:             132104 kB
SReclaimable:      51828 kB
SUnreclaim:        80276 kB
KernelStack:        4144 kB
PageTables:        10704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1021188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9824 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 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:      164564 kB
DirectMap2M:    10094592 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 889896 MiB
End job on nodeC023 at 2024-07-31 02:29:59