Trace number 4434842

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-02SAT84 3591.1 3600.33

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: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
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.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
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.2.1         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 = 24010752, getVmSize() = 24010752, SCIPgetMemUsed() = 2013565, 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 = 17784832, getVmSize() = 29343744, SCIPgetMemUsed() = 4290560, 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-4434842-1721126087
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.47/6.51	c         7              9           8         1          96.0000          77.5796     23.74%
10.85/10.97	c *      11             18          17         1          92.0000          77.5796     18.59%
12.26/12.34	c        12             56          55         1          92.0000          77.5796     18.59%
13.34/13.45	c *      13             86          85         1          91.0000          77.5796     17.30%
13.34/13.46	c *      13             86          85         1          87.0000          77.5796     12.14%
17.94/18.02	c *      18            172         171         1          86.0000          77.7914     10.55%
17.94/18.02	c        18            172         171         1          86.0000          77.7914     10.55%
23.62/23.73	c        24            379         378         1          86.0000          77.9972     10.26%
26.70/26.86	c *      27            442         441         1          85.0000          78.0482      8.91%
28.70/28.87	c        29            466         465         1          85.0000          78.0482      8.91%
34.69/34.86	c        35            580         579         1          85.0000          78.1333      8.79%
40.77/40.91	c        41            654         653         1          85.0000          78.2173      8.67%
42.17/42.38	c *      42            672         671         1          84.0000          78.2900      7.29%
46.06/46.24	c        46            742         741         1          84.0000          78.4811      7.03%
51.14/51.30	c        51            842         841         1          84.0000          78.6596      6.79%
57.01/57.28	c        57            939         938         1          84.0000          78.6788      6.76%
62.00/62.29	c        62           1232        1139         1          84.0000          78.7804      6.63%
67.28/67.50	c        68           1532        1237         1          84.0000          78.8370      6.55%
73.27/73.56	c        74           1769        1332         1          84.0000          78.8794      6.49%
78.95/79.21	c        79           2112        1401         1          84.0000          78.9288      6.43%
85.03/85.32	c        85           2433        1514         1          84.0000          78.9680      6.37%
90.72/91.05	c        91           2723        1562         1          84.0000          78.9789      6.36%
96.00/96.32	c        96           3062        1631         1          84.0000          79.0006      6.33%
101.38/101.74	c       102           3282        1709         1          84.0000          79.0224      6.30%
106.48/106.89	c       107           3652        1829         1          84.0000          79.0502      6.26%
111.56/111.98	c       112           3890        1939         1          84.0000          79.0766      6.23%
116.84/117.29	c       117           4146        2065         1          84.0000          79.0922      6.21%
122.73/123.16	c       123           4236        2147         1          84.0000          79.1030      6.19%
129.22/129.68	c       130           4375           1         1          84.0000          79.1166      6.17%
134.60/135.05	c       135           4423          49         1          84.0000          79.1166      6.17%
140.08/140.50	c       140           4480         106         1          84.0000          79.1166      6.17%
145.68/146.13	c       146           4540         166         1          84.0000          79.1166      6.17%
151.06/151.55	c       152           4616         242         1          84.0000          79.1166      6.17%
156.44/156.94	c       157           4653         279         1          84.0000          79.1166      6.17%
161.53/162.02	c       162           4808         412         1          84.0000          79.1166      6.17%
167.21/167.71	c       168           5035         569         1          84.0000          79.1166      6.17%
172.19/172.79	c       173           5157         677         1          84.0000          79.1166      6.17%
178.39/178.96	c       179           5322         796         1          84.0000          79.1166      6.17%
183.47/184.00	c       184           5526         926         1          84.0000          79.1166      6.17%
189.46/190.01	c       190           5722        1020         1          84.0000          79.1166      6.17%
194.74/195.39	c       195           5804        1082         1          84.0000          79.1166      6.17%
200.32/200.95	c       201           6089        1173         1          84.0000          79.1166      6.17%
205.61/206.23	c       206           6174        1240         1          84.0000          79.1166      6.17%
211.29/211.94	c       212           6305        1315         1          84.0000          79.1166      6.17%
217.08/217.72	c       218           6536        1372         1          84.0000          79.1166      6.17%
222.57/223.20	c       223           6740        1424         1          84.0000          79.1166      6.17%
228.05/228.72	c       229           6895        1491         1          84.0000          79.1171      6.17%
233.74/234.45	c       234           7089        1539         1          84.0000          79.1319      6.15%
239.03/239.77	c       240           7275        1601         1          84.0000          79.1559      6.12%
244.81/245.55	c       246           7485        1757         1          84.0000          79.1695      6.10%
249.90/250.63	c       251           7568        1828         1          84.0000          79.1719      6.10%
254.99/255.71	c       256           7628        1878         1          84.0000          79.2069      6.05%
260.07/260.82	c       261           7745        1953         1          84.0000          79.2079      6.05%
265.26/266.10	c       266           7831        1999         1          84.0000          79.2313      6.02%
271.14/271.91	c       272           7981        2083         1          84.0000          79.2405      6.01%
276.73/277.57	c       278           8215        2149         1          84.0000          79.2516      5.99%
282.22/283.10	c       283           8352        2208         1          84.0000          79.2731      5.96%
287.40/288.30	c       288           8446        2276         1          84.0000          79.2881      5.94%
292.79/293.62	c       294           8625        2381         1          84.0000          79.3063      5.92%
298.87/299.75	c       300           8769        2443         1          84.0000          79.3217      5.90%
303.95/304.83	c       305           8855        2503         1          84.0000          79.3333      5.88%
309.05/309.96	c       310           8931        2553         1          84.0000          79.3669      5.84%
314.73/315.64	c       316           9081        2635         1          84.0000          79.3948      5.80%
320.22/321.13	c       321           9305        2743         1          84.0000          79.4137      5.78%
325.30/326.23	c       326           9415        2829         1          84.0000          79.4302      5.75%
331.09/332.00	c       332           9520        2880         1          84.0000          79.4340      5.75%
336.18/337.19	c       337           9617        2949         1          84.0000          79.4419      5.74%
341.36/342.35	c       342           9765        3047         1          84.0000          79.4551      5.72%
347.64/348.62	c       349           9838        3098         1          84.0000          79.4574      5.72%
353.53/354.51	c       355          10088        3132         1          84.0000          79.4929      5.67%
359.32/360.39	c       360          10320        3194         1          84.0000          79.5039      5.66%
364.71/365.78	c       366          10465        3301         1          84.0000          79.5127      5.64%
369.89/370.96	c       371          10613        3441         1          84.0000          79.5181      5.64%
375.37/376.46	c       376          10728        3530         1          84.0000          79.5240      5.63%
380.86/381.94	c       382          10827        3607         1          84.0000          79.5411      5.61%
386.24/387.37	c       387          10985        3695         1          84.0000          79.5448      5.60%
392.23/393.31	c       393          11202        3798         1          84.0000          79.5481      5.60%
397.52/398.61	c       399          11458        3832         1          84.0000          79.5570      5.58%
403.10/404.20	c       404          11765        3903         1          84.0000          79.5814      5.55%
408.39/409.55	c       410          11898        3980         1          84.0000          79.5957      5.53%
414.47/415.61	c       416          12137        4099         1          84.0000          79.6074      5.52%
419.97/421.10	c       421          12383        4187         1          84.0000          79.6229      5.50%
425.45/426.61	c       427          12745        4263         1          84.0000          79.6452      5.47%
431.03/432.26	c       432          12952        4362         1          84.0000          79.6570      5.45%
436.32/437.56	c       438          13195        4489         1          84.0000          79.6640      5.44%
441.91/443.13	c       443          13456        4610         1          84.0000          79.6839      5.42%
447.49/448.74	c       449          13639        4691         1          84.0000          79.6906      5.41%
452.88/454.12	c       454          13805        4779         1          84.0000          79.7079      5.38%
458.56/459.87	c       460          14033        4911         1          84.0000          79.7177      5.37%
464.44/465.76	c       466          14371        5023         1          84.0000          79.7317      5.35%
470.93/472.22	c       472          14568        5150         1          84.0000          79.7359      5.35%
475.91/477.26	c       477          14865        5245         1          84.0000          79.7523      5.33%
482.09/483.49	c       483          15092        5394         1          84.0000          79.7668      5.31%
487.78/489.11	c       489          15327        5483         1          84.0000          79.7717      5.30%
493.47/494.83	c       495          15865        5569         1          84.0000          79.7913      5.27%
499.25/500.68	c       501          16156        5650         1          84.0000          79.8040      5.26%
505.13/506.53	c       507          16335        5785         1          84.0000          79.8167      5.24%
510.72/512.13	c       512          16557        5901         1          84.0000          79.8269      5.23%
516.60/518.06	c       518          16825        5973         1          84.0000          79.8368      5.21%
521.78/523.22	c       523          17024        6050         1          84.0000          79.8450      5.20%
527.16/528.68	c       529          17335        6169         1          84.0000          79.8591      5.19%
533.15/534.63	c       535          17635        6249         1          84.0000          79.8735      5.17%
538.65/540.16	c       540          17859        6397         1          84.0000          79.8784      5.16%
543.82/545.38	c       545          18095        6501         1          84.0000          79.8879      5.15%
550.01/551.59	c       552          18341        6669         1          84.0000          79.9080      5.12%
555.10/556.65	c       557          18504        6758         1          84.0000          79.9107      5.12%
560.59/562.12	c       562          18855        6883         1          84.0000          79.9210      5.10%
566.07/567.64	c       568          19337        6971         1          84.0000          79.9354      5.08%
571.46/573.01	c       573          19702        7098         1          84.0000          79.9500      5.07%
576.84/578.45	c       578          20015        7273         1          84.0000          79.9567      5.06%
582.53/584.19	c       584          20275        7419         1          84.0000          79.9673      5.04%
588.52/590.13	c       590          20585        7623         1          84.0000          79.9715      5.04%
593.51/595.19	c       595          20668        7688         1          84.0000          79.9747      5.03%
598.69/600.31	c       600          20865        7831         1          84.0000          79.9860      5.02%
604.07/605.76	c       606          21165        7965         1          84.0000          80.0001      5.00%
609.55/611.29	c       611          21345        8117         1          84.0000          80.0089      4.99%
615.54/617.21	c       617          21764        8288         1          84.0000          80.0146      4.98%
621.03/622.74	c       623          22231        8373         1          84.0000          80.0329      4.96%
626.11/627.88	c       628          22565        8495         1          84.0000          80.0387      4.95%
631.31/633.07	c       633          22895        8629         1          84.0000          80.0474      4.94%
637.19/638.93	c       639          23002        8714         1          84.0000          80.0544      4.93%
642.48/644.25	c       644          23385        8823         1          84.0000          80.0594      4.92%
648.46/650.23	c       650          23631        8925         1          84.0000          80.0631      4.92%
653.55/655.37	c       655          23865        9077         1          84.0000          80.0700      4.91%
658.83/660.61	c       661          24115        9205         1          84.0000          80.0761      4.90%
664.02/665.87	c       666          24567        9271         1          84.0000          80.0792      4.90%
669.71/671.50	c       672          24906        9450         1          84.0000          80.0826      4.89%
674.89/676.73	c       677          25235        9561         1          84.0000          80.0961      4.87%
680.37/682.22	c       682          25581        9735         1          84.0000          80.0996      4.87%
686.46/688.30	c       688          25859        9939         1          84.0000          80.1171      4.85%
691.45/693.31	c       693          26145       10097         1          84.0000          80.1200      4.84%
696.54/698.40	c       698          26347       10217         1          84.0000          80.1265      4.83%
701.92/703.88	c       704          26725       10381         1          84.0000          80.1335      4.83%
707.40/709.39	c       709          27065       10515         1          84.0000          80.1359      4.82%
712.79/714.73	c       715          27315       10617         1          84.0000          80.1400      4.82%
717.98/719.95	c       720          27605       10789         1          84.0000          80.1441      4.81%
723.47/725.45	c       725          27965       11037         1          84.0000          80.1513      4.80%
728.75/730.78	c       731          28234       11192         1          84.0000          80.1553      4.80%
734.24/736.26	c       736          28655       11397         1          84.0000          80.1638      4.79%
739.82/741.89	c       742          28998       11534         1          84.0000          80.1691      4.78%
744.92/746.93	c       747          29345       11689         1          84.0000          80.1741      4.77%
750.20/752.20	c       752          29595       11837         1          84.0000          80.1779      4.77%
755.99/758.08	c       758          29893       11963         1          84.0000          80.1899      4.75%
761.27/763.34	c       763          30435       12141         1          84.0000          80.2041      4.73%
766.25/768.39	c       768          30676       12252         1          84.0000          80.2075      4.73%
771.65/773.78	c       774          30998       12384         1          84.0000          80.2141      4.72%
777.33/779.48	c       779          31323       12555         1          84.0000          80.2181      4.71%
783.21/785.39	c       785          31683       12737         1          84.0000          80.2243      4.71%
789.19/791.35	c       791          31908       12958         1          84.0000          80.2304      4.70%
794.19/796.38	c       796          32165       13177         1          84.0000          80.2321      4.70%
799.57/801.77	c       802          32405       13349         1          84.0000          80.2386      4.69%
804.66/806.81	c       807          32665       13535         1          84.0000          80.2422      4.68%
810.64/812.85	c       813          32955       13707         1          84.0000          80.2509      4.67%
815.73/817.91	c       818          33375       13859         1          84.0000          80.2589      4.66%
821.01/823.23	c       823          33643       14051         1          84.0000          80.2637      4.66%
826.60/828.82	c       829          33985       14227         1          84.0000          80.2732      4.64%
831.90/834.18	c       834          34375       14435         1          84.0000          80.2762      4.64%
837.88/840.18	c       840          34903       14543         1          84.0000          80.2803      4.63%
843.26/845.54	c       846          35245       14701         1          84.0000          80.2883      4.62%
848.54/850.86	c       851          35653       14911         1          84.0000          80.2902      4.62%
853.73/856.07	c       856          36035       15079         1          84.0000          80.2948      4.61%
859.11/861.41	c       861          36435       15289         1          84.0000          80.2987      4.61%
864.70/867.09	c       867          36807       15443         1          84.0000          80.3045      4.60%
870.70/873.02	c       873          37155       15573         1          84.0000          80.3065      4.60%
875.78/878.12	c       878          37525       15791         1          84.0000          80.3127      4.59%
880.96/883.34	c       883          37765       15893         1          84.0000          80.3176      4.58%
886.15/888.58	c       889          38115       15989         1          84.0000          80.3201      4.58%
891.34/893.73	c       894          38325       16033         1          84.0000          80.3218      4.58%
897.22/899.65	c       900          38707       16143         1          84.0000          80.3278      4.57%
902.51/904.96	c       905          38875       16245         1          84.0000          80.3319      4.57%
909.10/911.50	c       912          39191       16415         1          84.0000          80.3383      4.56%
914.18/916.61	c       917          39445       16593         1          84.0000          80.3398      4.56%
919.27/921.73	c       922          39735       16807         1          84.0000          80.3467      4.55%
924.66/927.18	c       927          40158       16996         1          84.0000          80.3479      4.55%
930.24/932.76	c       933          40545       17209         1          84.0000          80.3530      4.54%
935.33/937.83	c       938          41075       17327         1          84.0000          80.3539      4.54%
940.52/943.06	c       943          41403       17545         1          84.0000          80.3585      4.53%
946.30/948.87	c       949          41786       17802         1          84.0000          80.3642      4.52%
951.40/953.95	c       954          42065       17987         1          84.0000          80.3689      4.52%
957.08/959.67	c       960          42538       18160         1          84.0000          80.3731      4.51%
962.66/965.25	c       965          42894       18332         1          84.0000          80.3749      4.51%
967.85/970.44	c       970          43225       18469         1          84.0000          80.3789      4.51%
973.63/976.27	c       976          43555       18603         1          84.0000          80.3829      4.50%
978.82/981.46	c       981          43825       18715         1          84.0000          80.3846      4.50%
984.01/986.66	c       987          44175       18915         1          84.0000          80.3882      4.49%
989.50/992.18	c       992          44445       19053         1          84.0000          80.3943      4.49%
994.68/997.36	c       997          44744       19206         1          84.0000          80.3955      4.48%
999.77/1002.46	c      1002          45115       19397         1          84.0000          80.3972      4.48%
1005.75/1008.47	c      1008          45515       19599         1          84.0000          80.4069      4.47%
1011.74/1014.50	c      1014          45902       19816         1          84.0000          80.4092      4.47%
1016.93/1019.61	c      1020          46365       20043         1          84.0000          80.4145      4.46%
1022.02/1024.79	c      1025          46755       20217         1          84.0000          80.4181      4.45%
1027.31/1030.03	c      1030          47265       20381         1          84.0000          80.4233      4.45%
1032.40/1035.15	c      1035          47780       20564         1          84.0000          80.4254      4.44%
1037.77/1040.53	c      1041          48245       20765         1          84.0000          80.4309      4.44%
1042.77/1045.56	c      1046          48475       20855         1          84.0000          80.4324      4.44%
1047.86/1050.67	c      1051          48885       20965         1          84.0000          80.4347      4.43%
1053.74/1056.58	c      1057          49255       21139         1          84.0000          80.4389      4.43%
1059.22/1062.06	c      1062          49614       21342         1          84.0000          80.4403      4.43%
1064.61/1067.41	c      1067          50025       21601         1          84.0000          80.4468      4.42%
1070.20/1073.09	c      1073          50525       21777         1          84.0000          80.4486      4.41%
1076.08/1078.98	c      1079          50868       21940         1          84.0000          80.4517      4.41%
1081.36/1084.27	c      1084          51375       22049         1          84.0000          80.4565      4.40%
1086.36/1089.29	c      1089          51975       22151         1          84.0000          80.4635      4.40%
1091.45/1094.37	c      1094          52345       22283         1          84.0000          80.4694      4.39%
1097.03/1099.97	c      1100          52835       22461         1          84.0000          80.4752      4.38%
1102.32/1105.28	c      1105          53165       22653         1          84.0000          80.4815      4.37%
1107.50/1110.40	c      1110          53730       22790         1          84.0000          80.4858      4.37%
1112.79/1115.78	c      1116          54144       23080         1          84.0000          80.4890      4.36%
1118.27/1121.23	c      1121          54675       23339         1          84.0000          80.4959      4.35%
1123.46/1126.49	c      1126          55221       23505         1          84.0000          80.4973      4.35%
1128.84/1131.84	c      1132          55845       23723         1          84.0000          80.4980      4.35%
1134.03/1137.00	c      1137          56265       23969         1          84.0000          80.5047      4.34%
1139.13/1142.13	c      1142          56855       24137         1          84.0000          80.5094      4.34%
1144.31/1147.30	c      1147          57335       24387         1          84.0000          80.5117      4.33%
1150.00/1153.08	c      1153          57787       24591         1          84.0000          80.5162      4.33%
1155.38/1158.42	c      1158          58239       24817         1          84.0000          80.5217      4.32%
1161.17/1164.27	c      1164          58750       25044         1          84.0000          80.5260      4.31%
1166.55/1169.61	c      1170          59195       25295         1          84.0000          80.5303      4.31%
1171.64/1174.71	c      1175          59865       25419         1          84.0000          80.5344      4.30%
1176.83/1179.97	c      1180          60455       25583         1          84.0000          80.5380      4.30%
1182.61/1185.79	c      1186          60981       25865         1          84.0000          80.5401      4.30%
1188.30/1191.45	c      1191          61565       26091         1          84.0000          80.5451      4.29%
1194.18/1197.31	c      1197          62105       26381         1          84.0000          80.5490      4.28%
1199.17/1202.38	c      1202          62555       26539         1          84.0000          80.5517      4.28%
1204.26/1207.41	c      1207          62955       26801         1          84.0000          80.5546      4.28%
1209.65/1212.88	c      1213          63605       27103         1          84.0000          80.5576      4.27%
1214.73/1217.97	c      1218          64155       27239         1          84.0000          80.5609      4.27%
1220.01/1223.29	c      1223          64725       27429         1          84.0000          80.5646      4.26%
1225.80/1229.02	c      1229          65179       27611         1          84.0000          80.5683      4.26%
1231.08/1234.38	c      1234          65635       27815         1          84.0000          80.5719      4.25%
1236.27/1239.50	c      1240          66185       28017         1          84.0000          80.5759      4.25%
1241.37/1244.64	c      1245          66625       28155         1          84.0000          80.5809      4.24%
1246.45/1249.79	c      1250          67075       28383         1          84.0000          80.5857      4.24%
1251.74/1255.07	c      1255          67565       28577         1          84.0000          80.5887      4.23%
1256.73/1260.10	c      1260          68025       28785         1          84.0000          80.5924      4.23%
1262.41/1265.72	c      1266          68615       29029         1          84.0000          80.5952      4.22%
1267.89/1271.23	c      1271          69225       29215         1          84.0000          80.5995      4.22%
1273.48/1276.83	c      1277          69835       29403         1          84.0000          80.6025      4.22%
1278.96/1282.38	c      1282          70265       29671         1          84.0000          80.6054      4.21%
1284.15/1287.56	c      1288          70805       29863         1          84.0000          80.6100      4.21%
1289.83/1293.23	c      1293          71320       30050         1          84.0000          80.6113      4.20%
1294.92/1298.37	c      1298          71872       30220         1          84.0000          80.6137      4.20%
1300.01/1303.41	c      1303          72285       30405         1          84.0000          80.6158      4.20%
1305.00/1308.46	c      1308          72829       30623         1          84.0000          80.6210      4.19%
1310.08/1313.58	c      1314          73295       30843         1          84.0000          80.6236      4.19%
1316.07/1319.58	c      1320          73891       31109         1          84.0000          80.6254      4.19%
1321.25/1324.76	c      1325          74485       31325         1          84.0000          80.6288      4.18%
1326.34/1329.81	c      1330          75145       31477         1          84.0000          80.6319      4.18%
1331.83/1335.36	c      1335          75845       31689         1          84.0000          80.6339      4.17%
1336.92/1340.47	c      1340          76475       31881         1          84.0000          80.6384      4.17%
1342.20/1345.79	c      1346          76940       32158         1          84.0000          80.6409      4.17%
1347.49/1351.08	c      1351          77355       32349         1          84.0000          80.6452      4.16%
1353.17/1356.76	c      1357          77905       32513         1          84.0000          80.6492      4.15%
1358.35/1361.96	c      1362          78371       32731         1          84.0000          80.6523      4.15%
1364.04/1367.65	c      1368          79065       32913         1          84.0000          80.6536      4.15%
1369.03/1372.69	c      1373          79753       33051         1          84.0000          80.6553      4.15%
1374.22/1377.81	c      1378          80435       33221         1          84.0000          80.6588      4.14%
1379.30/1382.98	c      1383          80995       33453         1          84.0000          80.6644      4.14%
1384.39/1388.03	c      1388          81575       33631         1          84.0000          80.6660      4.13%
1389.58/1393.21	c      1393          82255       33875         1          84.0000          80.6701      4.13%
1394.57/1398.27	c      1398          82875       34063         1          84.0000          80.6730      4.12%
1399.95/1403.64	c      1404          83495       34321         1          84.0000          80.6767      4.12%
1405.34/1409.00	c      1409          84105       34463         1          84.0000          80.6796      4.12%
1410.44/1414.13	c      1414          84765       34675         1          84.0000          80.6809      4.11%
1415.52/1419.24	c      1419          85425       34877         1          84.0000          80.6850      4.11%
1420.71/1424.42	c      1424          85945       34995         1          84.0000          80.6859      4.11%
1425.79/1429.53	c      1430          86523       35193         1          84.0000          80.6878      4.10%
1431.29/1435.09	c      1435          87255       35399         1          84.0000          80.6907      4.10%
1436.47/1440.26	c      1440          87855       35615         1          84.0000          80.6945      4.10%
1441.66/1445.45	c      1445          88475       35803         1          84.0000          80.6963      4.09%
1446.85/1450.64	c      1451          89195       35997         1          84.0000          80.6974      4.09%
1452.24/1456.09	c      1456          89785       36197         1          84.0000          80.7014      4.09%
1457.71/1461.56	c      1462          90555       36377         1          84.0000          80.7044      4.08%
1463.40/1467.26	c      1467          91185       36649         1          84.0000          80.7069      4.08%
1468.49/1472.34	c      1472          91705       36829         1          84.0000          80.7102      4.08%
1473.47/1477.38	c      1477          92315       37057         1          84.0000          80.7119      4.07%
1478.76/1482.66	c      1483          92935       37267         1          84.0000          80.7136      4.07%
1484.25/1488.12	c      1488          93555       37431         1          84.0000          80.7149      4.07%
1489.33/1493.27	c      1493          94235       37621         1          84.0000          80.7187      4.07%
1494.81/1498.78	c      1499          94913       37821         1          84.0000          80.7198      4.06%
1499.90/1503.84	c      1504          95345       38073         1          84.0000          80.7224      4.06%
1505.49/1509.44	c      1509          95945       38293         1          84.0000          80.7259      4.06%
1510.58/1514.57	c      1515          96395       38465         1          84.0000          80.7299      4.05%
1515.57/1519.59	c      1520          96945       38685         1          84.0000          80.7324      4.05%
1520.85/1524.88	c      1525          97595       38935         1          84.0000          80.7344      4.04%
1525.95/1529.96	c      1530          98215       39045         1          84.0000          80.7376      4.04%
1531.52/1535.54	c      1536          98910       39264         1          84.0000          80.7414      4.04%
1536.61/1540.69	c      1541          99475       39377         1          84.0000          80.7440      4.03%
1541.80/1545.89	c      1546         100215       39551         1          84.0000          80.7454      4.03%
1547.09/1551.17	c      1551         100775       39691         1          84.0000          80.7465      4.03%
1552.87/1556.98	c      1557         101585       39885         1          84.0000          80.7496      4.03%
1558.56/1562.64	c      1563         102134       40114         1          84.0000          80.7508      4.02%
1563.65/1567.79	c      1568         102665       40331         1          84.0000          80.7542      4.02%
1568.73/1572.89	c      1573         103295       40513         1          84.0000          80.7573      4.02%
1574.32/1578.48	c      1578         103975       40737         1          84.0000          80.7587      4.01%
1579.41/1583.53	c      1584         104357       40951         1          84.0000          80.7610      4.01%
1584.80/1588.98	c      1589         105008       41174         1          84.0000          80.7620      4.01%
1589.99/1594.15	c      1594         105565       41379         1          84.0000          80.7650      4.01%
1595.17/1599.36	c      1599         106105       41629         1          84.0000          80.7673      4.00%
1600.37/1604.57	c      1605         106675       41839         1          84.0000          80.7706      4.00%
1605.75/1609.95	c      1610         107112       42042         1          84.0000          80.7720      4.00%
1610.84/1615.02	c      1615         107655       42227         1          84.0000          80.7746      3.99%
1616.02/1620.24	c      1620         108555       42337         1          84.0000          80.7771      3.99%
1621.01/1625.27	c      1625         109325       42453         1          84.0000          80.7800      3.99%
1626.80/1631.00	c      1631         110009       42679         1          84.0000          80.7824      3.98%
1631.79/1636.02	c      1636         110545       42929         1          84.0000          80.7853      3.98%
1636.88/1641.14	c      1641         111202       43100         1          84.0000          80.7873      3.98%
1642.36/1646.65	c      1647         111885       43217         1          84.0000          80.7884      3.98%
1647.44/1651.75	c      1652         112585       43371         1          84.0000          80.7902      3.97%
1653.13/1657.49	c      1658         113432       43534         1          84.0000          80.7922      3.97%
1658.83/1663.15	c      1663         114235       43749         1          84.0000          80.7961      3.97%
1664.00/1668.33	c      1668         115035       43923         1          84.0000          80.7986      3.96%
1669.20/1673.51	c      1674         115795       44063         1          84.0000          80.8013      3.96%
1674.69/1679.01	c      1679         116495       44235         1          84.0000          80.8029      3.96%
1679.87/1684.27	c      1684         117135       44433         1          84.0000          80.8061      3.95%
1685.15/1689.57	c      1690         117965       44599         1          84.0000          80.8071      3.95%
1690.44/1694.84	c      1695         118775       44707         1          84.0000          80.8093      3.95%
1695.93/1700.31	c      1700         119505       44867         1          84.0000          80.8117      3.95%
1701.22/1705.60	c      1706         120155       45081         1          84.0000          80.8138      3.94%
1706.30/1710.72	c      1711         120755       45261         1          84.0000          80.8156      3.94%
1711.39/1715.80	c      1716         121305       45477         1          84.0000          80.8179      3.94%
1716.58/1721.06	c      1721         121915       45637         1          84.0000          80.8205      3.93%
1721.87/1726.36	c      1726         122665       45849         1          84.0000          80.8227      3.93%
1726.95/1731.40	c      1731         123165       46065         1          84.0000          80.8240      3.93%
1732.74/1737.27	c      1737         123931       46295         1          84.0000          80.8262      3.93%
1738.02/1742.55	c      1743         124895       46517         1          84.0000          80.8277      3.92%
1743.41/1747.91	c      1748         125755       46679         1          84.0000          80.8300      3.92%
1748.60/1753.10	c      1753         126335       46903         1          84.0000          80.8316      3.92%
1753.68/1758.27	c      1758         127185       47059         1          84.0000          80.8343      3.92%
1759.07/1763.68	c      1764         127775       47257         1          84.0000          80.8364      3.91%
1764.56/1769.11	c      1769         128465       47467         1          84.0000          80.8384      3.91%
1769.94/1774.51	c      1775         129205       47667         1          84.0000          80.8411      3.91%
1775.22/1779.85	c      1780         129995       47823         1          84.0000          80.8422      3.91%
1780.42/1785.01	c      1785         130785       47967         1          84.0000          80.8454      3.90%
1785.40/1790.10	c      1790         131505       48077         1          84.0000          80.8475      3.90%
1790.89/1795.57	c      1796         132065       48363         1          84.0000          80.8493      3.90%
1795.88/1800.59	c      1801         132675       48537         1          84.0000          80.8505      3.90%
1800.96/1805.67	c      1806         133425       48675         1          84.0000          80.8513      3.89%
1806.25/1810.99	c      1811         134255       48845         1          84.0000          80.8548      3.89%
1811.34/1816.00	c      1816         134825       49099         1          84.0000          80.8567      3.89%
1816.43/1821.10	c      1821         135595       49293         1          84.0000          80.8578      3.89%
1821.61/1826.30	c      1826         136365       49475         1          84.0000          80.8599      3.88%
1826.59/1831.31	c      1831         137055       49669         1          84.0000          80.8618      3.88%
1832.08/1836.84	c      1837         137935       49883         1          84.0000          80.8629      3.88%
1837.07/1841.89	c      1842         138715       50021         1          84.0000          80.8651      3.88%
1842.27/1847.09	c      1847         139425       50223         1          84.0000          80.8666      3.87%
1847.35/1852.18	c      1852         140105       50451         1          84.0000          80.8693      3.87%
1852.53/1857.30	c      1857         140945       50619         1          84.0000          80.8716      3.87%
1857.52/1862.38	c      1862         141685       50765         1          84.0000          80.8729      3.87%
1863.40/1868.26	c      1868         142615       50917         1          84.0000          80.8755      3.86%
1869.09/1873.97	c      1874         143205       51151         1          84.0000          80.8784      3.86%
1874.28/1879.18	c      1879         143822       51332         1          84.0000          80.8786      3.86%
1879.27/1884.19	c      1884         144545       51455         1          84.0000          80.8800      3.86%
1884.76/1889.64	c      1890         145345       51627         1          84.0000          80.8812      3.86%
1890.15/1895.02	c      1895         146175       51779         1          84.0000          80.8829      3.85%
1895.73/1900.68	c      1901         147205       51911         1          84.0000          80.8850      3.85%
1900.81/1905.78	c      1906         147905       52129         1          84.0000          80.8862      3.85%
1906.50/1911.48	c      1911         148396       52308         1          84.0000          80.8874      3.85%
1912.28/1917.20	c      1917         149025       52523         1          84.0000          80.8881      3.85%
1917.37/1922.34	c      1922         149705       52685         1          84.0000          80.8890      3.85%
1923.16/1928.19	c      1928         150479       52863         1          84.0000          80.8906      3.84%
1929.14/1934.10	c      1934         151151       53079         1          84.0000          80.8927      3.84%
1934.32/1939.39	c      1939         151745       53305         1          84.0000          80.8956      3.84%
1939.50/1944.56	c      1945         152245       53499         1          84.0000          80.8986      3.83%
1945.30/1950.39	c      1950         152945       53751         1          84.0000          80.9009      3.83%
1950.38/1955.49	c      1956         153735       53897         1          84.0000          80.9023      3.83%
1956.27/1961.32	c      1961         154431       54125         1          84.0000          80.9033      3.83%
1961.76/1966.88	c      1967         155126       54354         1          84.0000          80.9038      3.83%
1967.04/1972.11	c      1972         155745       54505         1          84.0000          80.9044      3.83%
1972.03/1977.16	c      1977         156465       54707         1          84.0000          80.9057      3.82%
1977.02/1982.19	c      1982         157095       54869         1          84.0000          80.9078      3.82%
1982.20/1987.33	c      1987         157815       55059         1          84.0000          80.9087      3.82%
1987.99/1993.13	c      1993         158695       55255         1          84.0000          80.9103      3.82%
1993.77/1998.92	c      1999         159425       55493         1          84.0000          80.9125      3.82%
1998.96/2004.10	c      2004         160065       55735         1          84.0000          80.9133      3.81%
2004.44/2009.65	c      2010         160945       55935         1          84.0000          80.9148      3.81%
2009.52/2014.76	c      2015         161655       56155         1          84.0000          80.9161      3.81%
2014.62/2019.87	c      2020         162345       56367         1          84.0000          80.9176      3.81%
2019.81/2025.02	c      2025         163305       56493         1          84.0000          80.9197      3.81%
2024.90/2030.16	c      2030         163965       56679         1          84.0000          80.9203      3.81%
2030.08/2035.35	c      2035         164735       56887         1          84.0000          80.9217      3.80%
2035.16/2040.43	c      2040         165335       57087         1          84.0000          80.9244      3.80%
2040.25/2045.55	c      2046         166065       57255         1          84.0000          80.9258      3.80%
2045.34/2050.64	c      2051         166605       57463         1          84.0000          80.9277      3.80%
2050.53/2055.81	c      2056         167305       57637         1          84.0000          80.9293      3.79%
2055.61/2060.98	c      2061         168105       57795         1          84.0000          80.9317      3.79%
2060.71/2066.07	c      2066         168765       57909         1          84.0000          80.9330      3.79%
2065.88/2071.22	c      2071         169535       58069         1          84.0000          80.9346      3.79%
2070.87/2076.28	c      2076         170255       58219         1          84.0000          80.9360      3.79%
2075.95/2081.33	c      2081         171025       58381         1          84.0000          80.9381      3.78%
2081.94/2087.32	c      2087         171762       58618         1          84.0000          80.9396      3.78%
2087.22/2092.60	c      2093         172506       58786         1          84.0000          80.9409      3.78%
2092.21/2097.67	c      2098         173065       59021         1          84.0000          80.9427      3.78%
2097.70/2103.13	c      2103         173825       59153         1          84.0000          80.9436      3.78%
2103.28/2108.78	c      2109         174552       59346         1          84.0000          80.9447      3.77%
2108.57/2114.02	c      2114         175285       59483         1          84.0000          80.9462      3.77%
2113.96/2119.45	c      2119         176045       59683         1          84.0000          80.9482      3.77%
2118.95/2124.49	c      2124         176665       59921         1          84.0000          80.9500      3.77%
2124.33/2129.88	c      2130         177465       60099         1          84.0000          80.9524      3.76%
2129.42/2134.96	c      2135         178095       60279         1          84.0000          80.9532      3.76%
2134.51/2140.02	c      2140         178825       60451         1          84.0000          80.9545      3.76%
2139.60/2145.18	c      2145         179495       60669         1          84.0000          80.9557      3.76%
2145.59/2151.12	c      2151         180075       60869         1          84.0000          80.9567      3.76%
2150.96/2156.54	c      2157         180625       61047         1          84.0000          80.9577      3.76%
2156.15/2161.79	c      2162         181175       61269         1          84.0000          80.9592      3.76%
2161.74/2167.33	c      2167         182035       61445         1          84.0000          80.9606      3.75%
2166.72/2172.37	c      2172         182705       61605         1          84.0000          80.9621      3.75%
2171.82/2177.45	c      2177         183465       61809         1          84.0000          80.9646      3.75%
2176.90/2182.55	c      2183         184035       62009         1          84.0000          80.9652      3.75%
2182.59/2188.22	c      2188         184685       62269         1          84.0000          80.9667      3.75%
2187.67/2193.36	c      2193         185355       62451         1          84.0000          80.9680      3.74%
2192.96/2198.60	c      2199         185915       62687         1          84.0000          80.9690      3.74%
2198.24/2203.93	c      2204         186535       62915         1          84.0000          80.9700      3.74%
2203.34/2209.00	c      2209         187145       63093         1          84.0000          80.9712      3.74%
2208.32/2214.01	c      2214         187855       63235         1          84.0000          80.9717      3.74%
2214.21/2219.93	c      2220         188644       63416         1          84.0000          80.9731      3.74%
2219.69/2225.49	c      2226         189511       63635         1          84.0000          80.9738      3.74%
2224.98/2230.75	c      2231         190215       63835         1          84.0000          80.9759      3.73%
2230.06/2235.84	c      2236         190825       64019         1          84.0000          80.9776      3.73%
2235.26/2241.09	c      2241         191495       64193         1          84.0000          80.9791      3.73%
2240.34/2246.12	c      2246         192235       64407         1          84.0000          80.9806      3.73%
2245.42/2251.26	c      2251         192995       64577         1          84.0000          80.9824      3.73%
2250.70/2256.54	c      2257         193855       64765         1          84.0000          80.9842      3.72%
2255.99/2261.82	c      2262         194565       64955         1          84.0000          80.9851      3.72%
2261.87/2267.73	c      2268         195394       65172         1          84.0000          80.9867      3.72%
2267.05/2272.92	c      2273         196075       65381         1          84.0000          80.9885      3.72%
2272.34/2278.29	c      2278         196915       65557         1          84.0000          80.9895      3.72%
2277.43/2283.35	c      2283         197615       65745         1          84.0000          80.9914      3.71%
2282.41/2288.37	c      2288         198145       65929         1          84.0000          80.9933      3.71%
2288.40/2294.38	c      2294         198868       66156         1          84.0000          80.9945      3.71%
2293.68/2299.65	c      2300         199575       66315         1          84.0000          80.9955      3.71%
2298.77/2304.77	c      2305         200305       66531         1          84.0000          80.9964      3.71%
2303.86/2309.89	c      2310         200935       66697         1          84.0000          80.9976      3.71%
2309.05/2315.00	c      2315         201745       66855         1          84.0000          80.9985      3.71%
2314.33/2320.36	c      2320         202465       67027         1          84.0000          80.9991      3.70%
2319.92/2325.94	c      2326         203275       67265         1          84.0000          81.0007      3.70%
2325.20/2331.29	c      2331         203905       67417         1          84.0000          81.0023      3.70%
2330.29/2336.35	c      2336         204375       67603         1          84.0000          81.0048      3.70%
2335.38/2341.46	c      2341         205007       67749         1          84.0000          81.0060      3.70%
2341.07/2347.18	c      2347         205745       67925         1          84.0000          81.0074      3.69%
2346.05/2352.19	c      2352         206375       68145         1          84.0000          81.0081      3.69%
2351.14/2357.23	c      2357         206975       68323         1          84.0000          81.0090      3.69%
2356.22/2362.33	c      2362         207695       68485         1          84.0000          81.0107      3.69%
2361.70/2367.84	c      2368         208255       68713         1          84.0000          81.0123      3.69%
2366.79/2372.98	c      2373         209055       68839         1          84.0000          81.0133      3.69%
2372.78/2378.90	c      2379         209740       69078         1          84.0000          81.0141      3.69%
2377.87/2384.00	c      2384         210315       69225         1          84.0000          81.0151      3.68%
2382.86/2389.06	c      2389         210909       69395         1          84.0000          81.0157      3.68%
2387.94/2394.15	c      2394         211585       69545         1          84.0000          81.0169      3.68%
2393.22/2399.42	c      2399         212385       69697         1          84.0000          81.0177      3.68%
2398.51/2404.71	c      2405         213115       69841         1          84.0000          81.0185      3.68%
2404.50/2410.71	c      2411         213813       70061         1          84.0000          81.0200      3.68%
2409.78/2416.07	c      2416         214505       70259         1          84.0000          81.0211      3.68%
2415.06/2421.32	c      2421         215275       70411         1          84.0000          81.0219      3.68%
2420.25/2426.51	c      2427         216015       70635         1          84.0000          81.0230      3.67%
2425.63/2431.95	c      2432         216765       70843         1          84.0000          81.0239      3.67%
2430.92/2437.27	c      2437         217455       71047         1          84.0000          81.0245      3.67%
2436.11/2442.44	c      2442         218145       71237         1          84.0000          81.0259      3.67%
2441.29/2447.64	c      2448         218735       71415         1          84.0000          81.0272      3.67%
2446.88/2453.29	c      2453         219485       71611         1          84.0000          81.0280      3.67%
2452.27/2458.61	c      2459         220395       71763         1          84.0000          81.0286      3.67%
2457.95/2464.30	c      2464         221245       71939         1          84.0000          81.0290      3.67%
2463.33/2469.72	c      2470         221877       72127         1          84.0000          81.0306      3.66%
2468.53/2474.93	c      2475         222475       72289         1          84.0000          81.0317      3.66%
2473.91/2480.30	c      2480         223180       72486         1          84.0000          81.0326      3.66%
2478.99/2485.46	c      2485         223735       72683         1          84.0000          81.0334      3.66%
2484.28/2490.75	c      2491         224375       72905         1          84.0000          81.0353      3.66%
2489.57/2496.06	c      2496         225105       73107         1          84.0000          81.0365      3.66%
2495.16/2501.67	c      2502         225885       73297         1          84.0000          81.0379      3.66%
2500.34/2506.80	c      2507         226575       73457         1          84.0000          81.0384      3.65%
2505.64/2512.18	c      2512         227285       73671         1          84.0000          81.0395      3.65%
2510.72/2517.29	c      2517         228105       73881         1          84.0000          81.0413      3.65%
2516.30/2522.89	c      2523         228885       74085         1          84.0000          81.0427      3.65%
2521.49/2528.02	c      2528         229505       74313         1          84.0000          81.0449      3.65%
2526.87/2533.46	c      2533         230175       74545         1          84.0000          81.0460      3.64%
2532.06/2538.65	c      2539         230945       74705         1          84.0000          81.0466      3.64%
2537.15/2543.70	c      2544         231615       74897         1          84.0000          81.0476      3.64%
2542.14/2548.79	c      2549         232215       75117         1          84.0000          81.0488      3.64%
2547.22/2553.87	c      2554         233035       75255         1          84.0000          81.0496      3.64%
2552.41/2559.08	c      2559         233735       75435         1          84.0000          81.0509      3.64%
2557.59/2564.21	c      2564         234445       75581         1          84.0000          81.0516      3.64%
2562.68/2569.30	c      2569         235102       75742         1          84.0000          81.0521      3.64%
2567.77/2574.48	c      2574         235885       75913         1          84.0000          81.0530      3.64%
2573.65/2580.31	c      2580         236537       76143         1          84.0000          81.0540      3.63%
2579.14/2585.87	c      2586         237305       76341         1          84.0000          81.0551      3.63%
2584.22/2590.99	c      2591         237965       76567         1          84.0000          81.0565      3.63%
2589.32/2596.08	c      2596         238675       76747         1          84.0000          81.0580      3.63%
2594.50/2601.21	c      2601         239315       76925         1          84.0000          81.0588      3.63%
2599.59/2606.36	c      2606         239925       77085         1          84.0000          81.0600      3.63%
2604.77/2611.52	c      2612         240605       77295         1          84.0000          81.0615      3.63%
2609.86/2616.60	c      2617         241195       77503         1          84.0000          81.0627      3.62%
2614.85/2621.68	c      2622         241895       77667         1          84.0000          81.0646      3.62%
2620.84/2627.60	c      2628         242745       77907         1          84.0000          81.0653      3.62%
2626.33/2633.16	c      2633         243505       78075         1          84.0000          81.0657      3.62%
2631.71/2638.53	c      2639         244302       78260         1          84.0000          81.0664      3.62%
2636.80/2643.63	c      2644         245045       78385         1          84.0000          81.0669      3.62%
2642.48/2649.32	c      2649         246015       78599         1          84.0000          81.0674      3.62%
2647.56/2654.42	c      2654         246685       78797         1          84.0000          81.0686      3.62%
2652.66/2659.56	c      2660         247365       78959         1          84.0000          81.0694      3.61%
2657.94/2664.86	c      2665         248065       79145         1          84.0000          81.0702      3.61%
2663.43/2670.33	c      2670         248905       79339         1          84.0000          81.0715      3.61%
2668.51/2675.41	c      2675         249565       79511         1          84.0000          81.0723      3.61%
2673.70/2680.62	c      2681         250155       79741         1          84.0000          81.0740      3.61%
2678.79/2685.79	c      2686         250835       79915         1          84.0000          81.0754      3.61%
2684.47/2691.46	c      2691         251669       80077         1          84.0000          81.0766      3.61%
2689.46/2696.50	c      2696         252295       80263         1          84.0000          81.0783      3.60%
2695.25/2702.26	c      2702         253015       80499         1          84.0000          81.0800      3.60%
2700.84/2707.88	c      2708         253835       80673         1          84.0000          81.0806      3.60%
2706.13/2713.18	c      2713         254626       80862         1          84.0000          81.0819      3.60%
2711.21/2718.28	c      2718         255445       81023         1          84.0000          81.0828      3.60%
2716.69/2723.72	c      2724         256235       81143         1          84.0000          81.0840      3.60%
2722.18/2729.25	c      2729         257035       81293         1          84.0000          81.0848      3.60%
2728.07/2735.15	c      2735         257999       81477         1          84.0000          81.0855      3.59%
2733.15/2740.23	c      2740         258935       81617         1          84.0000          81.0866      3.59%
2738.74/2745.80	c      2746         259835       81819         1          84.0000          81.0877      3.59%
2744.13/2751.27	c      2751         260705       82001         1          84.0000          81.0882      3.59%
2749.22/2756.38	c      2756         261415       82101         1          84.0000          81.0893      3.59%
2754.70/2761.85	c      2762         262145       82255         1          84.0000          81.0904      3.59%
2759.69/2766.89	c      2767         262775       82447         1          84.0000          81.0920      3.59%
2765.08/2772.22	c      2772         263505       82597         1          84.0000          81.0931      3.58%
2770.16/2777.30	c      2777         264035       82793         1          84.0000          81.0941      3.58%
2775.14/2782.34	c      2782         264715       83011         1          84.0000          81.0950      3.58%
2780.53/2787.70	c      2788         265675       83161         1          84.0000          81.0955      3.58%
2786.32/2793.50	c      2794         266515       83373         1          84.0000          81.0964      3.58%
2791.70/2798.96	c      2799         267465       83525         1          84.0000          81.0973      3.58%
2797.09/2804.36	c      2804         268335       83697         1          84.0000          81.0982      3.58%
2802.48/2809.77	c      2810         269097       83879         1          84.0000          81.0989      3.58%
2807.77/2815.05	c      2815         269745       84089         1          84.0000          81.1004      3.58%
2813.25/2820.54	c      2821         270441       84311         1          84.0000          81.1017      3.57%
2818.34/2825.67	c      2826         271195       84535         1          84.0000          81.1024      3.57%
2823.73/2831.02	c      2831         271865       84709         1          84.0000          81.1035      3.57%
2828.81/2836.12	c      2836         272735       84841         1          84.0000          81.1042      3.57%
2834.29/2841.66	c      2842         273476       85024         1          84.0000          81.1054      3.57%
2839.38/2846.77	c      2847         274295       85155         1          84.0000          81.1061      3.57%
2844.97/2852.30	c      2852         275129       85313         1          84.0000          81.1064      3.57%
2850.25/2857.64	c      2858         275865       85463         1          84.0000          81.1070      3.57%
2856.03/2863.42	c      2863         276654       85648         1          84.0000          81.1078      3.57%
2861.13/2868.55	c      2869         277475       85773         1          84.0000          81.1084      3.57%
2866.11/2873.58	c      2874         278255       85975         1          84.0000          81.1093      3.56%
2871.30/2878.75	c      2879         278958       86164         1          84.0000          81.1105      3.56%
2876.88/2884.31	c      2884         279825       86363         1          84.0000          81.1109      3.56%
2881.87/2889.36	c      2889         280515       86505         1          84.0000          81.1118      3.56%
2887.06/2894.58	c      2895         281225       86737         1          84.0000          81.1126      3.56%
2892.65/2900.12	c      2900         282135       86891         1          84.0000          81.1128      3.56%
2897.93/2905.43	c      2905         282945       87077         1          84.0000          81.1138      3.56%
2903.71/2911.26	c      2911         283725       87285         1          84.0000          81.1147      3.56%
2908.80/2916.39	c      2916         284475       87489         1          84.0000          81.1151      3.56%
2913.98/2921.52	c      2922         285195       87667         1          84.0000          81.1156      3.56%
2919.18/2926.74	c      2927         286045       87843         1          84.0000          81.1158      3.56%
2924.57/2932.17	c      2932         286825       87977         1          84.0000          81.1167      3.55%
2929.65/2937.26	c      2937         287665       88143         1          84.0000          81.1178      3.55%
2934.93/2942.50	c      2942         288435       88303         1          84.0000          81.1190      3.55%
2940.22/2947.80	c      2948         289145       88471         1          84.0000          81.1198      3.55%
2945.52/2953.14	c      2953         289825       88651         1          84.0000          81.1205      3.55%
2950.60/2958.26	c      2958         290495       88841         1          84.0000          81.1215      3.55%
2955.79/2963.46	c      2963         291265       89047         1          84.0000          81.1221      3.55%
2960.97/2968.64	c      2969         292145       89223         1          84.0000          81.1230      3.55%
2966.36/2974.03	c      2974         293005       89405         1          84.0000          81.1243      3.54%
2971.54/2979.25	c      2979         293732       89638         1          84.0000          81.1249      3.54%
2976.63/2984.31	c      2984         294315       89849         1          84.0000          81.1264      3.54%
2981.92/2989.63	c      2990         295152       89998         1          84.0000          81.1271      3.54%
2987.00/2994.74	c      2995         295775       90203         1          84.0000          81.1282      3.54%
2992.09/2999.87	c      3000         296585       90337         1          84.0000          81.1289      3.54%
2997.78/3005.52	c      3006         297355       90485         1          84.0000          81.1301      3.54%
3002.76/3010.55	c      3011         297925       90675         1          84.0000          81.1312      3.54%
3007.84/3015.64	c      3016         298715       90831         1          84.0000          81.1321      3.53%
3012.94/3020.74	c      3021         299315       91027         1          84.0000          81.1334      3.53%
3018.02/3025.83	c      3026         300025       91221         1          84.0000          81.1341      3.53%
3023.31/3031.14	c      3031         300785       91431         1          84.0000          81.1355      3.53%
3029.20/3037.06	c      3037         301616       91640         1          84.0000          81.1365      3.53%
3034.48/3042.32	c      3042         302335       91849         1          84.0000          81.1380      3.53%
3039.77/3047.63	c      3048         303075       91997         1          84.0000          81.1388      3.53%
3045.66/3053.56	c      3054         303905       92207         1          84.0000          81.1397      3.53%
3051.04/3058.97	c      3059         304655       92411         1          84.0000          81.1407      3.52%
3056.33/3064.24	c      3064         305345       92635         1          84.0000          81.1426      3.52%
3062.01/3069.91	c      3070         306035       92849         1          84.0000          81.1433      3.52%
3066.99/3074.98	c      3075         306685       92987         1          84.0000          81.1439      3.52%
3072.09/3080.04	c      3080         307395       93171         1          84.0000          81.1449      3.52%
3077.77/3085.77	c      3086         308430       93338         1          84.0000          81.1462      3.52%
3082.76/3090.79	c      3091         309185       93507         1          84.0000          81.1469      3.52%
3087.95/3095.97	c      3096         309955       93659         1          84.0000          81.1475      3.52%
3093.34/3101.34	c      3101         310795       93827         1          84.0000          81.1480      3.51%
3098.42/3106.47	c      3106         311675       93931         1          84.0000          81.1490      3.51%
3103.51/3111.57	c      3112         312635       94067         1          84.0000          81.1497      3.51%
3108.70/3116.73	c      3117         313455       94237         1          84.0000          81.1507      3.51%
3114.00/3122.10	c      3122         314175       94369         1          84.0000          81.1515      3.51%
3119.77/3127.80	c      3128         315005       94527         1          84.0000          81.1522      3.51%
3125.06/3133.10	c      3133         315778       94676         1          84.0000          81.1524      3.51%
3130.25/3138.35	c      3138         316525       94895         1          84.0000          81.1533      3.51%
3135.44/3143.54	c      3144         317155       95087         1          84.0000          81.1541      3.51%
3140.43/3148.54	c      3149         317875       95281         1          84.0000          81.1545      3.51%
3145.41/3153.58	c      3154         318525       95485         1          84.0000          81.1555      3.50%
3150.91/3159.09	c      3159         319335       95667         1          84.0000          81.1573      3.50%
3156.48/3164.61	c      3165         320045       95921         1          84.0000          81.1583      3.50%
3162.17/3170.31	c      3170         320715       96115         1          84.0000          81.1598      3.50%
3167.76/3175.93	c      3176         321475       96297         1          84.0000          81.1604      3.50%
3173.24/3181.45	c      3181         322215       96463         1          84.0000          81.1611      3.50%
3178.93/3187.13	c      3187         322885       96641         1          84.0000          81.1617      3.50%
3184.50/3192.70	c      3193         323805       96837         1          84.0000          81.1630      3.50%
3189.70/3197.94	c      3198         324605       96987         1          84.0000          81.1638      3.49%
3194.79/3203.07	c      3203         325348       97142         1          84.0000          81.1648      3.49%
3200.26/3208.55	c      3209         326195       97313         1          84.0000          81.1661      3.49%
3206.04/3214.39	c      3214         326809       97573         1          84.0000          81.1669      3.49%
3211.44/3219.72	c      3220         327765       97761         1          84.0000          81.1674      3.49%
3217.02/3225.31	c      3225         328605       97985         1          84.0000          81.1678      3.49%
3222.01/3230.36	c      3230         329525       98093         1          84.0000          81.1684      3.49%
3227.10/3235.49	c      3235         330335       98233         1          84.0000          81.1690      3.49%
3232.19/3240.52	c      3241         330955       98427         1          84.0000          81.1702      3.49%
3237.67/3246.06	c      3246         331765       98583         1          84.0000          81.1713      3.48%
3243.06/3251.42	c      3251         332295       98791         1          84.0000          81.1726      3.48%
3248.54/3256.91	c      3257         332905       99025         1          84.0000          81.1740      3.48%
3254.23/3262.67	c      3263         333662       99222         1          84.0000          81.1745      3.48%
3259.31/3267.77	c      3268         334365       99349         1          84.0000          81.1749      3.48%
3264.60/3273.09	c      3273         335185       99495         1          84.0000          81.1757      3.48%
3269.69/3278.15	c      3278         335805       99653         1          84.0000          81.1766      3.48%
3274.97/3283.47	c      3283         336475       99795         1          84.0000          81.1769      3.48%
3280.86/3289.33	c      3289         337285      100017         1          84.0000          81.1780      3.48%
3286.34/3294.83	c      3295         337975      100205         1          84.0000          81.1788      3.48%
3291.33/3299.88	c      3300         338685      100369         1          84.0000          81.1794      3.47%
3296.62/3305.12	c      3305         339485      100531         1          84.0000          81.1800      3.47%
3302.30/3310.85	c      3311         340355      100689         1          84.0000          81.1805      3.47%
3307.29/3315.87	c      3316         341085      100875         1          84.0000          81.1810      3.47%
3312.58/3321.15	c      3321         341805      101017         1          84.0000          81.1815      3.47%
3317.57/3326.17	c      3326         342335      101249         1          84.0000          81.1822      3.47%
3323.05/3331.60	c      3332         343035      101463         1          84.0000          81.1828      3.47%
3328.24/3336.88	c      3337         343775      101663         1          84.0000          81.1840      3.47%
3333.53/3342.12	c      3342         344475      101865         1          84.0000          81.1848      3.47%
3338.61/3347.27	c      3347         345355      102057         1          84.0000          81.1853      3.47%
3343.70/3352.36	c      3352         346295      102165         1          84.0000          81.1859      3.47%
3348.69/3357.38	c      3357         347065      102241         1          84.0000          81.1869      3.47%
3353.77/3362.40	c      3362         347845      102351         1          84.0000          81.1875      3.46%
3358.76/3367.42	c      3367         348555      102521         1          84.0000          81.1882      3.46%
3364.15/3372.86	c      3373         349295      102709         1          84.0000          81.1889      3.46%
3369.34/3378.03	c      3378         350145      102859         1          84.0000          81.1894      3.46%
3374.33/3383.06	c      3383         350895      103003         1          84.0000          81.1901      3.46%
3379.60/3388.39	c      3388         351725      103165         1          84.0000          81.1907      3.46%
3384.99/3393.76	c      3394         352453      103399         1          84.0000          81.1913      3.46%
3390.07/3398.81	c      3399         353105      103569         1          84.0000          81.1921      3.46%
3395.27/3404.07	c      3404         353855      103721         1          84.0000          81.1926      3.46%
3400.75/3409.52	c      3410         354675      103857         1          84.0000          81.1931      3.46%
3405.83/3414.60	c      3415         355435      104027         1          84.0000          81.1940      3.46%
3410.92/3419.79	c      3420         356115      104207         1          84.0000          81.1946      3.46%
3416.31/3425.11	c      3425         356955      104347         1          84.0000          81.1952      3.45%
3421.39/3430.24	c      3430         357675      104515         1          84.0000          81.1962      3.45%
3426.68/3435.58	c      3436         358413      104689         1          84.0000          81.1966      3.45%
3431.87/3440.79	c      3441         359265      104845         1          84.0000          81.1973      3.45%
3437.75/3446.66	c      3447         360155      105015         1          84.0000          81.1981      3.45%
3442.74/3451.67	c      3452         360855      105209         1          84.0000          81.1984      3.45%
3448.53/3457.45	c      3457         361753      105363         1          84.0000          81.1990      3.45%
3454.12/3463.10	c      3463         362575      105541         1          84.0000          81.1998      3.45%
3459.99/3468.95	c      3469         363455      105725         1          84.0000          81.2006      3.45%
3465.19/3474.19	c      3474         364165      105915         1          84.0000          81.2016      3.45%
3470.66/3479.65	c      3480         364915      106057         1          84.0000          81.2021      3.45%
3476.06/3485.08	c      3485         365655      106259         1          84.0000          81.2031      3.44%
3481.23/3490.27	c      3490         366345      106443         1          84.0000          81.2036      3.44%
3486.32/3495.35	c      3495         366965      106605         1          84.0000          81.2046      3.44%
3491.51/3500.56	c      3501         367715      106799         1          84.0000          81.2055      3.44%
3496.70/3505.70	c      3506         368455      106971         1          84.0000          81.2062      3.44%
3501.68/3510.75	c      3511         369182      107082         1          84.0000          81.2070      3.44%
3507.27/3516.39	c      3516         369865      107307         1          84.0000          81.2073      3.44%
3513.25/3522.36	c      3522         370626      107500         1          84.0000          81.2081      3.44%
3518.74/3527.85	c      3528         371535      107633         1          84.0000          81.2088      3.44%
3524.32/3533.45	c      3533         372215      107847         1          84.0000          81.2099      3.44%
3529.41/3538.53	c      3539         372965      108027         1          84.0000          81.2109      3.43%
3534.49/3543.61	c      3544         373725      108183         1          84.0000          81.2115      3.43%
3539.48/3548.63	c      3549         374422      108358         1          84.0000          81.2119      3.43%
3544.77/3553.91	c      3554         375183      108565         1          84.0000          81.2126      3.43%
3549.86/3559.08	c      3559         375875      108727         1          84.0000          81.2136      3.43%
3554.95/3564.15	c      3564         376585      108899         1          84.0000          81.2151      3.43%
3560.13/3569.34	c      3569         377355      109105         1          84.0000          81.2160      3.43%
3565.32/3574.55	c      3575         378235      109275         1          84.0000          81.2165      3.43%
3570.71/3579.93	c      3580         378985      109413         1          84.0000          81.2173      3.43%
3575.89/3585.16	c      3585         379715      109569         1          84.0000          81.2181      3.43%
3580.98/3590.21	c      3590         380445      109697         1          84.0000          81.2188      3.42%
3586.17/3595.45	c      3595         381345      109795         1          84.0000          81.2195      3.42%
3591.05/3600.32	c SCIP Status        : c solving was interrupted [hard time limit reached]
3591.05/3600.32	c Total Time         : 3600.32
3591.05/3600.32	c   solving          : 3600.32
3591.05/3600.32	c   presolving       : 0.01 (included in solving)
3591.05/3600.32	c B&B Tree           :
3591.05/3600.32	c   nodes (total)    : 1
3591.05/3600.32	c Solution           :
3591.05/3600.32	c   Solutions found  : 8
3591.05/3600.32	c   Primal Bound     : +8.40000000000000e+01
3591.05/3600.32	c   Dual Bound       : +8.12200332683911e+01
3591.05/3600.32	c Gap                : 3.42276 %
3591.05/3600.32	c * Warning: final gap: 3.42276e-02 is greater than SCIPepsilon: 1.00000e-09
3591.05/3600.32	o 84
3591.05/3600.32	s SATISFIABLE
3591.05/3600.32	v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 
3591.05/3600.32	v -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 
3591.05/3600.32	v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 
3591.05/3600.32	v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358 
3591.05/3600.32	v x357 -x356 -x355 -x354 -x353 -x352 x351 -x350 -x349 -x348 -x347 x346 -x345 -x344 x343 -x342 x341 -x340 -x339 -x338 -x337 x336 
3591.05/3600.32	v -x335 -x334 x333 -x332 -x331 -x330 x329 -x328 -x327 -x326 -x325 x324 -x323 -x322 -x321 x320 x319 -x318 -x317 -x316 -x315 x314 
3591.05/3600.32	v -x313 -x312 -x311 -x310 -x309 x308 -x307 -x306 -x305 -x304 x303 -x302 -x301 -x300 -x299 x298 -x297 -x296 -x295 -x294 x293 
3591.05/3600.32	v -x292 x291 -x290 -x289 -x288 x287 -x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 -x278 x277 -x276 -x275 -x274 -x273 x272 -x271 
3591.05/3600.32	v -x270 -x269 x268 -x267 x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 
3591.05/3600.32	v -x248 -x247 -x246 x245 -x244 -x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 x235 -x234 -x233 -x232 -x231 x230 x229 x228 -x227 
3591.05/3600.32	v -x226 -x225 x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 
3591.05/3600.32	v -x205 -x204 x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 x189 -x188 x187 -x186 -x185 -x184 
3591.05/3600.32	v -x183 x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 
3591.05/3600.32	v -x162 x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 x152 -x151 x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 
3591.05/3600.32	v x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 x124 -x123 -x122 -x121 -x120 
3591.05/3600.32	v x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 x98 
3591.05/3600.32	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 
3591.05/3600.32	v x71 -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 
3591.05/3600.32	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 
3591.05/3600.32	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 (61004 MiB free)
  memory of node 1: 64510 MiB (60970 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100661 s]*
/proc/loadavg: 4.09 4.08 4.02 5/253 852805
/proc/meminfo: memFree=124814872/131524600 swapFree=131071996/131071996
[pid=852781] ppid=852778 vsize=112352 memory=30216 CPUtime=0.09 cores=1,3
/proc/852781/stat : 852781 (fscip) S 852778 852781 850721 0 -1 1077936128 4954 0 0 0 9 0 0 0 20 0 3 0 164778447 115048448 7554 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
/proc/852781/statm: 28088 7554 2910 3032 0 11067 0
[pid=852781/tid=852783] ppid=852778 vsize=112352 memory=4026531959 CPUtime=0.08 cores=1,3
/proc/852781/task/852783/stat : 852783 (fscip) R 852778 852781 850721 0 -1 4194368 2683 0 0 0 8 0 0 0 20 0 3 0 164778448 115048448 7554 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
[pid=852781/tid=852784] ppid=852778 vsize=112352 memory=17949 CPUtime=0 cores=1,3
/proc/852781/task/852784/stat : 852784 (fscip) S 852778 852781 850721 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 164778449 115048448 7554 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 112352 KiB
Current children cumulated memory: 30216 KiB

[startup+0.205704 s]*
/proc/loadavg: 4.09 4.08 4.02 5/259 852815
/proc/meminfo: memFree=124692168/131524600 swapFree=131071996/131071996
[pid=852781] ppid=852778 vsize=127836 memory=55560 CPUtime=0.2 cores=1,3
/proc/852781/stat : 852781 (fscip) S 852778 852781 850721 0 -1 1077936128 11286 0 0 0 19 1 0 0 20 0 3 0 164778447 130904064 13890 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
/proc/852781/statm: 31959 13890 2910 3032 0 17431 0
[pid=852781/tid=852783] ppid=852778 vsize=127836 memory=8737651120394928259 CPUtime=0.19 cores=1,3
/proc/852781/task/852783/stat : 852783 (fscip) R 852778 852781 850721 0 -1 4194368 9015 0 0 0 18 1 0 0 20 0 3 0 164778448 130904064 13890 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
[pid=852781/tid=852784] ppid=852778 vsize=127836 memory=17963 CPUtime=0 cores=1,3
/proc/852781/task/852784/stat : 852784 (fscip) S 852778 852781 850721 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 164778449 130904064 13890 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 127836 KiB
Current children cumulated memory: 55560 KiB

[startup+0.305691 s]*
/proc/loadavg: 4.09 4.08 4.02 5/261 852817
/proc/meminfo: memFree=124584000/131524600 swapFree=131071996/131071996
[pid=852781] ppid=852778 vsize=132380 memory=71228 CPUtime=0.3 cores=1,3
/proc/852781/stat : 852781 (fscip) S 852778 852781 850721 0 -1 1077936128 16305 0 0 0 28 2 0 0 20 0 3 0 164778447 135557120 17807 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
/proc/852781/statm: 33095 17807 2910 3032 0 21458 0
[pid=852781/tid=852783] ppid=852778 vsize=132380 memory=-9105260755809575612 CPUtime=0.28 cores=1,3
/proc/852781/task/852783/stat : 852783 (fscip) R 852778 852781 850721 0 -1 4194368 14035 0 0 0 27 1 0 0 20 0 3 0 164778448 135557120 17807 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
[pid=852781/tid=852784] ppid=852778 vsize=132380 memory=0 CPUtime=0 cores=1,3
/proc/852781/task/852784/stat : 852784 (fscip) S 852778 852781 850721 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 164778449 135557120 17807 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 132380 KiB
Current children cumulated memory: 71228 KiB

[startup+0.700257 s]
/proc/loadavg: 4.09 4.08 4.02 5/261 852817
/proc/meminfo: memFree=124416416/131524600 swapFree=131071996/131071996
[pid=852781] ppid=852778 vsize=197916 memory=111356 CPUtime=0.69 cores=1,3
/proc/852781/stat : 852781 (fscip) S 852778 852781 850721 0 -1 1077936128 26396 0 0 0 66 3 0 0 20 0 3 0 164778447 202665984 27839 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
/proc/852781/statm: 49479 27839 2910 3032 0 31737 0
[pid=852781/tid=852783] ppid=852778 vsize=197916 memory=0 CPUtime=0.67 cores=1,3
/proc/852781/task/852783/stat : 852783 (fscip) R 852778 852781 850721 0 -1 4194368 24125 0 0 0 64 3 0 0 20 0 3 0 164778448 202665984 27839 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
[pid=852781/tid=852784] ppid=852778 vsize=197916 memory=0 CPUtime=0 cores=1,3
/proc/852781/task/852784/stat : 852784 (fscip) S 852778 852781 850721 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 164778449 202665984 27839 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 197916 KiB
Current children cumulated memory: 111356 KiB

[startup+1.50027 s]
/proc/loadavg: 4.09 4.08 4.02 5/261 852817
/proc/meminfo: memFree=124087496/131524600 swapFree=131071996/131071996
[pid=852781] ppid=852778 vsize=197916 memory=119172 CPUtime=1.48 cores=1,3
/proc/852781/stat : 852781 (fscip) S 852778 852781 850721 0 -1 1077936128 36606 0 0 0 144 4 0 0 20 0 3 0 164778447 202665984 29793 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
/proc/852781/statm: 49479 29793 2910 3032 0 33800 0
[pid=852781/tid=852783] ppid=852778 vsize=197916 memory=12340 CPUtime=1.47 cores=1,3
/proc/852781/task/852783/stat : 852783 (fscip) R 852778 852781 850721 0 -1 4194368 34335 0 0 0 143 4 0 0 20 0 3 0 164778448 202665984 29793 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
[pid=852781/tid=852784] ppid=852778 vsize=197916 memory=0 CPUtime=0 cores=1,3
/proc/852781/task/852784/stat : 852784 (fscip) S 852778 852781 850721 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 164778449 202665984 29793 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 197916 KiB
Current children cumulated memory: 119172 KiB

[startup+3.10561 s]
/proc/loadavg: 4.09 4.08 4.02 5/261 852817
/proc/meminfo: memFree=123810072/131524600 swapFree=131071996/131071996
[pid=852781] ppid=852778 vsize=197916 memory=120872 CPUtime=3.08 cores=1,3
/proc/852781/stat : 852781 (fscip) S 852778 852781 850721 0 -1 1077936128 37480 0 0 0 304 4 0 0 20 0 3 0 164778447 202665984 30218 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
/proc/852781/statm: 49479 30218 2910 3032 0 34409 0
[pid=852781/tid=852783] ppid=852778 vsize=197916 memory=0 CPUtime=3.07 cores=1,3
/proc/852781/task/852783/stat : 852783 (fscip) R 852778 852781 850721 0 -1 4194368 35180 0 0 0 303 4 0 0 20 0 3 0 164778448 202665984 30218 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
[pid=852781/tid=852784] ppid=852778 vsize=197916 memory=-6224936110596995940 CPUtime=0 cores=1,3
/proc/852781/task/852784/stat : 852784 (fscip) S 852778 852781 850721 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 164778449 202665984 30218 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 197916 KiB
Current children cumulated memory: 120872 KiB

[startup+6.30026 s]
/proc/loadavg: 4.08 4.08 4.02 5/263 852821
/proc/meminfo: memFree=123574540/131524600 swapFree=131071996/131071996
[pid=852781] ppid=852778 vsize=197916 memory=120872 CPUtime=6.27 cores=1,3
/proc/852781/stat : 852781 (fscip) S 852778 852781 850721 0 -1 1077936128 39524 0 0 0 623 4 0 0 20 0 3 0 164778447 202665984 30218 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
/proc/852781/statm: 49479 30218 2910 3032 0 34409 0
[pid=852781/tid=852783] ppid=852778 vsize=197916 memory=120872 CPUtime=6.26 cores=1,3
/proc/852781/task/852783/stat : 852783 (fscip) R 852778 852781 850721 0 -1 4194368 37222 0 0 0 622 4 0 0 20 0 3 0 164778448 202665984 30218 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
[pid=852781/tid=852784] ppid=852778 vsize=197916 memory=0 CPUtime=0 cores=1,3
/proc/852781/task/852784/stat : 852784 (fscip) S 852778 852781 850721 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 164778449 202665984 30218 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 197916 KiB
Current children cumulated memory: 120872 KiB

[startup+12.7003 s]
/proc/loadavg: 4.07 4.08 4.02 5/264 852822
/proc/meminfo: memFree=123396012/131524600 swapFree=131071996/131071996
[pid=852781] ppid=852778 vsize=263452 memory=181220 CPUtime=12.65 cores=1,3
/proc/852781/stat : 852781 (fscip) S 852778 852781 850721 0 -1 1077936128 81288 0 0 0 1257 8 0 0 20 0 3 0 164778447 269774848 45305 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
/proc/852781/statm: 65863 45305 2958 3032 0 48828 0
[pid=852781/tid=852783] ppid=852778 vsize=263452 memory=169984 CPUtime=12.63 cores=1,3
/proc/852781/task/852783/stat : 852783 (fscip) R 852778 852781 850721 0 -1 4194368 78885 0 0 0 1256 7 0 0 20 0 3 0 164778448 269774848 45305 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
[pid=852781/tid=852784] ppid=852778 vsize=263452 memory=15976 CPUtime=0 cores=1,3
/proc/852781/task/852784/stat : 852784 (fscip) S 852778 852781 850721 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 164778449 269774848 45305 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 263452 KiB
Current children cumulated memory: 181220 KiB

[startup+25.5003 s]
/proc/loadavg: 4.06 4.08 4.02 5/264 852823
/proc/meminfo: memFree=123295140/131524600 swapFree=131071996/131071996
[pid=852781] ppid=852778 vsize=263452 memory=210512 CPUtime=25.41 cores=1,3
/proc/852781/stat : 852781 (fscip) S 852778 852781 850721 0 -1 1077936128 124676 0 0 0 2530 11 0 0 20 0 3 0 164778447 269774848 52628 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
/proc/852781/statm: 65863 52628 2958 3032 0 56228 0
[pid=852781/tid=852783] ppid=852778 vsize=263452 memory=6720668757225783145 CPUtime=25.39 cores=1,3
/proc/852781/task/852783/stat : 852783 (fscip) R 852778 852781 850721 0 -1 4194368 122187 0 0 0 2528 11 0 0 20 0 3 0 164778448 269774848 52628 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
[pid=852781/tid=852784] ppid=852778 vsize=263452 memory=120872 CPUtime=0 cores=1,3
/proc/852781/task/852784/stat : 852784 (fscip) S 852778 852781 850721 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 164778449 269774848 52628 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 263452 KiB
Current children cumulated memory: 210512 KiB

[startup+51.1057 s]
/proc/loadavg: 4.10 4.09 4.02 5/266 852830
/proc/meminfo: memFree=122494952/131524600 swapFree=131071996/131071996
[pid=852781] ppid=852778 vsize=262428 memory=211072 CPUtime=50.94 cores=1,3
/proc/852781/stat : 852781 (fscip) S 852778 852781 850721 0 -1 1077936128 156825 0 0 0 5080 14 0 0 20 0 3 0 164778447 268726272 52768 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
/proc/852781/statm: 65607 52768 2974 3032 0 56353 0
[pid=852781/tid=852783] ppid=852778 vsize=262428 memory=211072 CPUtime=50.93 cores=1,3
/proc/852781/task/852783/stat : 852783 (fscip) R 852778 852781 850721 0 -1 4194368 154216 0 0 0 5079 14 0 0 20 0 3 0 164778448 268726272 52768 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
[pid=852781/tid=852784] ppid=852778 vsize=262428 memory=209796 CPUtime=0 cores=1,3
/proc/852781/task/852784/stat : 852784 (fscip) S 852778 852781 850721 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 164778449 268726272 52768 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 262428 KiB
Current children cumulated memory: 211072 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/264 852838
/proc/meminfo: memFree=122077440/131524600 swapFree=131071996/131071996
[pid=852781] ppid=852778 vsize=262428 memory=221340 CPUtime=101.98 cores=1,3
/proc/852781/stat : 852781 (fscip) S 852778 852781 850721 0 -1 1077936128 177160 0 0 0 10181 17 0 0 20 0 3 0 164778447 268726272 55335 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
/proc/852781/statm: 65607 55335 2974 3032 0 58099 0
[pid=852781/tid=852783] ppid=852778 vsize=262428 memory=220424 CPUtime=101.96 cores=1,3
/proc/852781/task/852783/stat : 852783 (fscip) R 852778 852781 850721 0 -1 4194368 174466 0 0 0 10179 17 0 0 20 0 3 0 164778448 268726272 55335 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
[pid=852781/tid=852784] ppid=852778 vsize=262428 memory=219508 CPUtime=0 cores=1,3
/proc/852781/task/852784/stat : 852784 (fscip) S 852778 852781 850721 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 164778449 268726272 55335 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 262428 KiB
Current children cumulated memory: 221340 KiB

[startup+162.3 s]
/proc/loadavg: 4.34 4.17 4.06 5/264 852849
/proc/meminfo: memFree=121970736/131524600 swapFree=131071996/131071996
[pid=852781] ppid=852778 vsize=327964 memory=263100 CPUtime=161.82 cores=1,3
/proc/852781/stat : 852781 (fscip) S 852778 852781 850721 0 -1 1077936128 193670 0 0 0 16161 21 0 0 20 0 3 0 164778447 335835136 65775 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
/proc/852781/statm: 81991 65775 2974 3032 0 68657 0
[pid=852781/tid=852783] ppid=852778 vsize=327964 memory=223364 CPUtime=161.79 cores=1,3
/proc/852781/task/852783/stat : 852783 (fscip) R 852778 852781 850721 0 -1 4194368 190926 0 0 0 16159 20 0 0 20 0 3 0 164778448 335835136 65775 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
[pid=852781/tid=852784] ppid=852778 vsize=327964 memory=12340 CPUtime=0 cores=1,3
/proc/852781/task/852784/stat : 852784 (fscip) S 852778 852781 850721 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 164778449 335835136 65775 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 327964 KiB

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

/proc/852781/statm: 120800 100066 3294 3032 0 102656 0
[pid=852781/tid=852783] ppid=852778 vsize=483200 memory=395688 CPUtime=3452.92 cores=1,3
/proc/852781/task/852783/stat : 852783 (fscip) R 852778 852781 850721 0 -1 4194368 597306 0 0 0 345121 171 0 0 20 0 3 0 164778448 494796800 100066 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
[pid=852781/tid=852784] ppid=852778 vsize=483200 memory=2220 CPUtime=0.03 cores=1,3
/proc/852781/task/852784/stat : 852784 (fscip) S 852778 852781 850721 0 -1 1077936192 147 0 0 0 1 2 0 0 20 0 3 0 164778449 494796800 100066 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
Current children cumulated CPU time: 3453.42 s
Current children cumulated vsize: 483200 KiB
Current children cumulated memory: 400264 KiB

[startup+3522.3 s]
/proc/loadavg: 4.36 4.28 4.16 5/265 854724
/proc/meminfo: memFree=119830184/131524600 swapFree=131071996/131071996
[pid=852781] ppid=852778 vsize=483200 memory=404340 CPUtime=3513.25 cores=1,3
/proc/852781/stat : 852781 (fscip) S 852778 852781 850721 0 -1 1077936128 607645 0 0 0 351134 191 0 0 20 0 3 0 164778447 494796800 101085 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
/proc/852781/statm: 120800 101085 3294 3032 0 103595 0
[pid=852781/tid=852783] ppid=852778 vsize=483200 memory=41440 CPUtime=3512.74 cores=1,3
/proc/852781/task/852783/stat : 852783 (fscip) R 852778 852781 850721 0 -1 4194368 603557 0 0 0 351098 176 0 0 20 0 3 0 164778448 494796800 101085 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
[pid=852781/tid=852784] ppid=852778 vsize=483200 memory=402612 CPUtime=0.03 cores=1,3
/proc/852781/task/852784/stat : 852784 (fscip) S 852778 852781 850721 0 -1 1077936192 149 0 0 0 1 2 0 0 20 0 3 0 164778449 494796800 101085 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
Current children cumulated CPU time: 3513.25 s
Current children cumulated vsize: 483200 KiB
Current children cumulated memory: 404340 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.24 4.15 5/263 854735
/proc/meminfo: memFree=119823828/131524600 swapFree=131071996/131071996
[pid=852781] ppid=852778 vsize=483200 memory=409208 CPUtime=3573.1 cores=1,3
/proc/852781/stat : 852781 (fscip) S 852778 852781 850721 0 -1 1077936128 614595 0 0 0 357116 194 0 0 20 0 3 0 164778447 494796800 102302 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
/proc/852781/statm: 120800 102302 3294 3032 0 105279 0
[pid=852781/tid=852783] ppid=852778 vsize=483200 memory=12312 CPUtime=3572.58 cores=1,3
/proc/852781/task/852783/stat : 852783 (fscip) R 852778 852781 850721 0 -1 4194368 610485 0 0 0 357079 179 0 0 20 0 3 0 164778448 494796800 102302 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
[pid=852781/tid=852784] ppid=852778 vsize=483200 memory=12312 CPUtime=0.03 cores=1,3
/proc/852781/task/852784/stat : 852784 (fscip) S 852778 852781 850721 0 -1 1077936192 151 0 0 0 1 2 0 0 20 0 3 0 164778449 494796800 102302 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
Current children cumulated CPU time: 3573.1 s
Current children cumulated vsize: 483200 KiB
Current children cumulated memory: 409208 KiB

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

# cumulated CPU time of all completed processes:  user=3589.13 s, system=1.96518 s

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

[startup+3584 s]*
/proc/loadavg: 4.19 4.24 4.15 5/263 854735
/proc/meminfo: memFree=119823820/131524600 swapFree=131071996/131071996
[pid=852781] ppid=852778 vsize=483200 memory=409208 CPUtime=3574.8 cores=1,3
/proc/852781/stat : 852781 (fscip) S 852778 852781 850721 0 -1 1077936128 614641 0 0 0 357286 194 0 0 20 0 3 0 164778447 494796800 102302 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
/proc/852781/statm: 120800 102302 3294 3032 0 105279 0
[pid=852781/tid=852783] ppid=852778 vsize=483200 memory=6720664359212826479 CPUtime=3574.28 cores=1,3
/proc/852781/task/852783/stat : 852783 (fscip) R 852778 852781 850721 0 -1 4194368 610531 0 0 0 357249 179 0 0 20 0 3 0 164778448 494796800 102302 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
[pid=852781/tid=852784] ppid=852778 vsize=483200 memory=-7449366816639837562 CPUtime=0.03 cores=1,3
/proc/852781/task/852784/stat : 852784 (fscip) S 852778 852781 850721 0 -1 1077936192 151 0 0 0 1 2 0 0 20 0 3 0 164778449 494796800 102302 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
Current children cumulated CPU time: 3574.8 s
Current children cumulated vsize: 483200 KiB
Current children cumulated memory: 409208 KiB

[startup+3590.4 s]
/proc/loadavg: 4.18 4.23 4.15 5/263 854737
/proc/meminfo: memFree=119823660/131524600 swapFree=131071996/131071996
[pid=852781] ppid=852778 vsize=483200 memory=409208 CPUtime=3581.18 cores=1,3
/proc/852781/stat : 852781 (fscip) S 852778 852781 850721 0 -1 1077936128 615667 0 0 0 357924 194 0 0 20 0 3 0 164778447 494796800 102302 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
/proc/852781/statm: 120800 102302 3294 3032 0 105279 0
[pid=852781/tid=852783] ppid=852778 vsize=483200 memory=409208 CPUtime=3580.66 cores=1,3
/proc/852781/task/852783/stat : 852783 (fscip) R 852778 852781 850721 0 -1 4194368 611553 0 0 0 357887 179 0 0 20 0 3 0 164778448 494796800 102302 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
[pid=852781/tid=852784] ppid=852778 vsize=483200 memory=409208 CPUtime=0.03 cores=1,3
/proc/852781/task/852784/stat : 852784 (fscip) S 852778 852781 850721 0 -1 1077936192 153 0 0 0 1 2 0 0 20 0 3 0 164778449 494796800 102302 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
Current children cumulated CPU time: 3581.18 s
Current children cumulated vsize: 483200 KiB
Current children cumulated memory: 409208 KiB

[startup+3596.8 s]
/proc/loadavg: 4.15 4.23 4.15 5/263 854739
/proc/meminfo: memFree=119823604/131524600 swapFree=131071996/131071996
[pid=852781] ppid=852778 vsize=483200 memory=409208 CPUtime=3587.56 cores=1,3
/proc/852781/stat : 852781 (fscip) S 852778 852781 850721 0 -1 1077936128 616659 0 0 0 358561 195 0 0 20 0 3 0 164778447 494796800 102302 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
/proc/852781/statm: 120800 102302 3294 3032 0 105279 0
[pid=852781/tid=852783] ppid=852778 vsize=483200 memory=409208 CPUtime=3587.05 cores=1,3
/proc/852781/task/852783/stat : 852783 (fscip) R 852778 852781 850721 0 -1 4194368 612545 0 0 0 358525 180 0 0 20 0 3 0 164778448 494796800 102302 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
[pid=852781/tid=852784] ppid=852778 vsize=483200 memory=409208 CPUtime=0.03 cores=1,3
/proc/852781/task/852784/stat : 852784 (fscip) S 852778 852781 850721 0 -1 1077936192 153 0 0 0 1 2 0 0 20 0 3 0 164778449 494796800 102302 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
Current children cumulated CPU time: 3587.56 s
Current children cumulated vsize: 483200 KiB
Current children cumulated memory: 409208 KiB

[startup+3598.4 s]
/proc/loadavg: 4.15 4.23 4.15 5/263 854739
/proc/meminfo: memFree=119823524/131524600 swapFree=131071996/131071996
[pid=852781] ppid=852778 vsize=483200 memory=409208 CPUtime=3589.16 cores=1,3
/proc/852781/stat : 852781 (fscip) S 852778 852781 850721 0 -1 1077936128 616780 0 0 0 358721 195 0 0 20 0 3 0 164778447 494796800 102302 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
/proc/852781/statm: 120800 102302 3294 3032 0 105279 0
[pid=852781/tid=852783] ppid=852778 vsize=483200 memory=395556 CPUtime=3588.64 cores=1,3
/proc/852781/task/852783/stat : 852783 (fscip) R 852778 852781 850721 0 -1 4194368 612666 0 0 0 358684 180 0 0 20 0 3 0 164778448 494796800 102302 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
[pid=852781/tid=852784] ppid=852778 vsize=483200 memory=12340 CPUtime=0.03 cores=1,3
/proc/852781/task/852784/stat : 852784 (fscip) S 852778 852781 850721 0 -1 1077936192 153 0 0 0 1 2 0 0 20 0 3 0 164778449 494796800 102302 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
Current children cumulated CPU time: 3589.16 s
Current children cumulated vsize: 483200 KiB
Current children cumulated memory: 409208 KiB

[startup+3599.2 s]
/proc/loadavg: 4.15 4.23 4.15 5/263 854739
/proc/meminfo: memFree=119823524/131524600 swapFree=131071996/131071996
[pid=852781] ppid=852778 vsize=483200 memory=409208 CPUtime=3589.96 cores=1,3
/proc/852781/stat : 852781 (fscip) S 852778 852781 850721 0 -1 1077936128 616809 0 0 0 358801 195 0 0 20 0 3 0 164778447 494796800 102302 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
/proc/852781/statm: 120800 102302 3294 3032 0 105279 0
[pid=852781/tid=852783] ppid=852778 vsize=483200 memory=2644 CPUtime=3589.44 cores=1,3
/proc/852781/task/852783/stat : 852783 (fscip) R 852778 852781 850721 0 -1 4194368 612695 0 0 0 358764 180 0 0 20 0 3 0 164778448 494796800 102302 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
[pid=852781/tid=852784] ppid=852778 vsize=483200 memory=4844 CPUtime=0.03 cores=1,3
/proc/852781/task/852784/stat : 852784 (fscip) S 852778 852781 850721 0 -1 1077936192 153 0 0 0 1 2 0 0 20 0 3 0 164778449 494796800 102302 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
Current children cumulated CPU time: 3589.96 s
Current children cumulated vsize: 483200 KiB
Current children cumulated memory: 409208 KiB

[startup+3600 s]*
/proc/loadavg: 4.15 4.23 4.15 6/263 854739
/proc/meminfo: memFree=119823516/131524600 swapFree=131071996/131071996
[pid=852781] ppid=852778 vsize=483200 memory=409212 CPUtime=3590.76 cores=1,3
/proc/852781/stat : 852781 (fscip) R 852778 852781 850721 0 -1 1077936128 617881 0 0 0 358881 195 0 0 20 0 3 0 164778447 494796800 102303 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
/proc/852781/statm: 120800 102303 3294 3032 0 105279 0
[pid=852781/tid=852783] ppid=852778 vsize=483200 memory=6720664359212826479 CPUtime=3590.24 cores=1,3
/proc/852781/task/852783/stat : 852783 (fscip) R 852778 852781 850721 0 -1 4194368 613767 0 0 0 358844 180 0 0 20 0 3 0 164778448 494796800 102303 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
[pid=852781/tid=852784] ppid=852778 vsize=483200 memory=-7449366816639837562 CPUtime=0.03 cores=1,3
/proc/852781/task/852784/stat : 852784 (fscip) S 852778 852781 850721 0 -1 1077936192 153 0 0 0 1 2 0 0 20 0 3 0 164778449 494796800 102303 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
Current children cumulated CPU time: 3590.76 s
Current children cumulated vsize: 483200 KiB
Current children cumulated memory: 409212 KiB

[startup+3600.2 s]
/proc/loadavg: 4.15 4.23 4.15 6/263 854739
/proc/meminfo: memFree=119823516/131524600 swapFree=131071996/131071996
[pid=852781] ppid=852778 vsize=481144 memory=407160 CPUtime=3590.95 cores=1,3
/proc/852781/stat : 852781 (fscip) S 852778 852781 850721 0 -1 1077936128 625947 0 0 0 358900 195 0 0 20 0 3 0 164778447 492691456 101790 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
/proc/852781/statm: 120286 101790 3294 3032 0 104765 0
[pid=852781/tid=852783] ppid=852778 vsize=481144 memory=33392 CPUtime=3590.44 cores=1,3
/proc/852781/task/852783/stat : 852783 (fscip) R 852778 852781 850721 0 -1 4194368 621833 0 0 0 358864 180 0 0 20 0 3 0 164778448 492691456 101790 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
[pid=852781/tid=852784] ppid=852778 vsize=481144 memory=39812 CPUtime=0.03 cores=1,3
/proc/852781/task/852784/stat : 852784 (fscip) S 852778 852781 850721 0 -1 1077936192 153 0 0 0 1 2 0 0 20 0 3 0 164778449 492691456 101790 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
Current children cumulated CPU time: 3590.95 s
Current children cumulated vsize: 481144 KiB
Current children cumulated memory: 407160 KiB

[startup+3600.3 s]
/proc/loadavg: 4.15 4.23 4.15 6/263 854739
/proc/meminfo: memFree=119823516/131524600 swapFree=131071996/131071996
[pid=852781] ppid=852778 vsize=480116 memory=406132 CPUtime=3591.05 cores=1,3
/proc/852781/stat : 852781 (fscip) S 852778 852781 850721 0 -1 1077936128 626171 0 0 0 358910 195 0 0 20 0 3 0 164778447 491638784 101533 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
/proc/852781/statm: 120029 101533 3294 3032 0 104508 0
[pid=852781/tid=852783] ppid=852778 vsize=480116 memory=6720668757225783145 CPUtime=3590.53 cores=1,3
/proc/852781/task/852783/stat : 852783 (fscip) R 852778 852781 850721 0 -1 4194368 622057 0 0 0 358873 180 0 0 20 0 3 0 164778448 491638784 101533 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
[pid=852781/tid=852784] ppid=852778 vsize=480116 memory=409208 CPUtime=0.03 cores=1,3
/proc/852781/task/852784/stat : 852784 (fscip) S 852778 852781 850721 0 -1 1077936192 153 0 0 0 1 2 0 0 20 0 3 0 164778449 491638784 101533 134679101440 4194304 16613245 140724082784512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44417024 140724082791445 140724082791561 140724082791561 140724082798576 0
Current children cumulated CPU time: 3591.05 s
Current children cumulated vsize: 480116 KiB
Current children cumulated memory: 406132 KiB

Child status: 0

Real time (s): 3600.33
CPU time (s): 3591.1
CPU user time (s): 3589.13
CPU system time (s): 1.96518
CPU usage (%): 99.7435
Max. virtual memory (cumulated for all children) (KiB): 483200
Max. memory (cumulated for all children) (KiB): 409212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.13
system time used= 1.96518
maximum resident set size= 410120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 626646
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= 20806
involuntary context switches= 2401


# summary of solver processes directly reported to runsolver:
#   pid: 852781
#   total CPU time (s): 3591.1
#   total CPU user time (s): 3589.13
#   total CPU system time (s): 1.96518

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90501 second user time and 16.7811 second system time

The end

Launcher Data

Begin job on nodeC033 at 2024-07-16 12:34:59
IDJOB=4434842
IDBENCH=155338
IDSOLVER=3064
FILE ID=nodeC033/4434842-1721126087
RUNJOBID= nodeC033-1721122498-850733
SLURM_JOB_ID= 7505674
Free space on /tmp= 890084 MiB

SOLVER NAME= FiberSCIP 2024-07-02
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-4434842-1721126087/watcher-4434842-1721126087 -o /tmp/evaluation-result-4434842-1721126087/solver-4434842-1721126087 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721122498-850733 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434842-1721126087.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 51fa3ae0158cc49e421df545accb4e20
RANDOM SEED=985858961

nodeC033.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		: 3609.766
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.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3668.708
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.25
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		: 3620.297
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.50
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		: 3676.223
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.25
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		: 3623.997
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.50
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		: 3661.356
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.25
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		: 3605.842
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.50
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		: 3652.343
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.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124916812 kB
MemAvailable:   129648812 kB
Buffers:          433864 kB
Cached:          5079076 kB
SwapCached:            0 kB
Active:           689532 kB
Inactive:        5203112 kB
Active(anon):       1580 kB
Inactive(anon):   415832 kB
Active(file):     687952 kB
Inactive(file):  4787280 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             76200 kB
Writeback:             0 kB
AnonPages:        377416 kB
Mapped:           104712 kB
Shmem:             37716 kB
KReclaimable:     193504 kB
Slab:             310772 kB
SReclaimable:     193504 kB
SUnreclaim:       117268 kB
KernelStack:        3960 kB
PageTables:         9392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     778952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62048 kB
HardwareCorrupted:     0 kB
AnonHugePages:    460800 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:      262868 kB
DirectMap2M:    25724928 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 889960 MiB
End job on nodeC033 at 2024-07-16 13:35:00