Trace number 4464797

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-30SAT-72 3589.69 3598.22

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_500_25_3.opb
MD5SUMfd2f82137517c7c348dacac3fbe759ff
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-78
Best CPU time to get the best result obtained on this benchmark71365.9
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint25
Maximum length of a constraint49
Number of terms in the objective function 500
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 500
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 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15722
Sum of products size (including duplicates)31444
Number of different products7861
Sum of products size15722

Solver Data

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.4.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.04	c Default LC presolving (default).
0.00/0.04	c ** Before presolving: virtualMemUsedAtLc = 53829632, getVmSize() = 53829632, SCIPgetMemUsed() = 27211438, SCIPgetMemTotal() = 31321230, SCIPgetMemExternEstim() = 16580246
0.00/0.04	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.09/0.13	c ** Estimated virtualMemUsedAtSolver = 41704300, getVmSize() = 70574080, SCIPgetMemUsed() = 29342396, SCIPgetMemTotal() = 45976204, SCIPgetMemExternEstim() = 16580246
0.09/0.13	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.09/0.13	c Original Problem   :
0.09/0.13	c   Problem name     : instance-4464797-1722382194
0.09/0.13	c   Variables        : 8361 (500 binary, 0 integer, 7861 implicit integer, 0 continuous)
0.09/0.13	c   Constraints      : 8861
0.09/0.13	c   Objective sense  : minimize
0.09/0.13	c Presolved Problem  :
0.09/0.13	c   Variables        : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.13	c   Constraints      : 7861
0.09/0.13	c Constraints        : Number
0.09/0.13	c   setppc           : 7861 
0.09/0.13	c ** Instance transfer method used: 0
0.09/0.14	c ** ParaScipInstance copy does not increase the number of variables. **
0.09/0.15	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.09/0.15	c                                Nodes    Active                                            
0.09/0.15	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.19/0.25	c *       0              0           1         1         -47.0000                -          -
0.19/0.25	c *       0              0           1         1         -65.0000                -          -
0.19/0.27	c *       0              0           1         1         -67.0000                -          -
13.75/13.86	c        14              2           1         1         -67.0000        -148.3333    121.39%
19.14/19.20	c        19              4           3         1         -67.0000        -148.2108    121.21%
24.63/24.75	c        25              6           5         1         -67.0000        -147.9897    120.88%
30.11/30.29	c        30             13          12         1         -67.0000        -147.9897    120.88%
35.40/35.55	c        36             43          42         1         -67.0000        -147.9087    120.76%
41.78/41.91	c        42             56          55         1         -67.0000        -147.3203    119.88%
46.98/47.18	c        47             74          73         1         -67.0000        -147.3203    119.88%
53.36/53.58	c        54             84          83         1         -67.0000        -147.3203    119.88%
58.74/58.96	c        59            104         103         1         -67.0000        -147.3203    119.88%
60.84/61.03	c *      61            127         126         1         -68.0000        -147.3150    116.64%
64.23/64.46	c        64            151         150         1         -68.0000        -147.3150    116.64%
70.12/70.37	c        70            170         169         1         -68.0000        -147.3150    116.64%
75.40/75.69	c        76            180         179         1         -68.0000        -147.3150    116.64%
83.59/83.81	c        84            191         190         1         -68.0000        -147.3150    116.64%
88.97/89.28	c        89            202         201         1         -68.0000        -147.3150    116.64%
95.87/96.15	c        96            214         213         1         -68.0000        -147.3150    116.64%
101.85/102.13	c       102            225         224         1         -68.0000        -147.3150    116.64%
107.43/107.70	c       108            244         243         1         -68.0000        -147.3150    116.64%
112.92/113.28	c       113            274         273         1         -68.0000        -147.3150    116.64%
119.30/119.66	c       120            288         287         1         -68.0000        -147.3150    116.64%
120.71/121.09	c *     121            297         296         1         -69.0000        -147.3150    113.50%
124.59/124.98	c       125            311         310         1         -69.0000        -147.3150    113.50%
131.57/131.93	c       132            330         329         1         -69.0000        -147.1225    113.22%
137.76/138.10	c       138            356         355         1         -69.0000        -147.1225    113.22%
142.75/143.18	c       143            383         382         1         -69.0000        -147.0867    113.17%
148.33/148.79	c       149            414         413         1         -69.0000        -147.0867    113.17%
153.81/154.22	c       154            443         442         1         -69.0000        -147.0867    113.17%
159.39/159.89	c       160            472         471         1         -69.0000        -147.0867    113.17%
164.78/165.28	c       165            491         490         1         -69.0000        -146.4494    112.25%
170.86/171.33	c       171            514         513         1         -69.0000        -146.4494    112.25%
176.14/176.62	c       177            524         523         1         -69.0000        -146.4494    112.25%
181.33/181.83	c       182            534         533         1         -69.0000        -146.4494    112.25%
187.52/188.00	c       188            561         560         1         -69.0000        -146.4494    112.25%
193.09/193.60	c       194            584         583         1         -69.0000        -146.4494    112.25%
199.08/199.60	c       200            609         608         1         -69.0000        -146.4494    112.25%
204.27/204.80	c       205            631         630         1         -69.0000        -146.4494    112.25%
209.46/210.05	c       210            654         653         1         -69.0000        -146.4494    112.25%
215.04/215.60	c       216            684         683         1         -69.0000        -146.4494    112.25%
221.23/221.89	c       222            710         709         1         -69.0000        -146.4494    112.25%
226.61/227.27	c       227            739         738         1         -69.0000        -146.4494    112.25%
232.20/232.87	c       233            781         780         1         -69.0000        -146.4494    112.25%
237.50/238.13	c       238            817         816         1         -69.0000        -146.4494    112.25%
242.98/243.64	c       244            854         853         1         -69.0000        -146.4494    112.25%
248.57/249.24	c       249            890         889         1         -69.0000        -146.4494    112.25%
254.05/254.71	c       255            935         934         1         -69.0000        -146.4494    112.25%
259.74/260.46	c       260            974         973         1         -69.0000        -146.4494    112.25%
265.13/265.86	c       266           1006        1005         1         -69.0000        -146.4494    112.25%
270.42/271.19	c       271           1030        1029         1         -69.0000        -146.4494    112.25%
281.59/282.35	c       282           1051           1         1         -69.0000        -146.4494    112.25%
288.77/289.56	c       290           1055           5         1         -69.0000        -146.4494    112.25%
294.16/294.93	c       295           1057           7         1         -69.0000        -146.4494    112.25%
303.34/304.14	c       304           1062          12         1         -69.0000        -146.4494    112.25%
309.12/309.97	c       310           1082          32         1         -69.0000        -146.4494    112.25%
314.61/315.42	c       315           1100          50         1         -69.0000        -146.4494    112.25%
320.20/321.04	c       321           1130          80         1         -69.0000        -146.4494    112.25%
326.48/327.32	c       327           1164         114         1         -69.0000        -146.4494    112.25%
331.47/332.33	c       332           1189         139         1         -69.0000        -146.4494    112.25%
337.56/338.40	c       338           1202         152         1         -69.0000        -146.4494    112.25%
342.75/343.67	c       344           1221         171         1         -69.0000        -146.4494    112.25%
348.24/349.15	c       349           1243         193         1         -69.0000        -146.4494    112.25%
354.42/355.39	c       355           1264         214         1         -69.0000        -146.4494    112.25%
361.11/362.02	c       362           1290         240         1         -69.0000        -146.3245    112.06%
366.19/367.16	c       367           1311         261         1         -69.0000        -145.9173    111.47%
371.58/372.50	c       373           1333         283         1         -69.0000        -145.6226    111.05%
377.26/378.21	c       378           1357         307         1         -69.0000        -145.4937    110.86%
382.25/383.29	c       383           1371         321         1         -69.0000        -145.3888    110.71%
387.74/388.79	c       389           1395         345         1         -69.0000        -145.1361    110.34%
394.23/395.22	c       395           1414         364         1         -69.0000        -144.8121    109.87%
399.71/400.73	c       401           1437         387         1         -69.0000        -144.7711    109.81%
404.80/405.82	c       406           1454         404         1         -69.0000        -144.5997    109.56%
410.58/411.64	c       412           1478         428         1         -69.0000        -144.4164    109.30%
417.27/418.35	c       418           1497         447         1         -69.0000        -144.3534    109.21%
422.46/423.58	c       424           1517         467         1         -69.0000        -144.2255    109.02%
428.54/429.61	c       430           1540         490         1         -69.0000        -143.8697    108.51%
434.94/436.04	c       436           1557         507         1         -69.0000        -143.7745    108.37%
440.22/441.38	c       441           1571         521         1         -69.0000        -143.5717    108.07%
445.81/446.96	c       447           1598         548         1         -69.0000        -143.5394    108.03%
451.19/452.37	c       452           1621         571         1         -69.0000        -143.0327    107.29%
456.58/457.76	c       458           1644         594         1         -69.0000        -142.9363    107.15%
462.36/463.53	c       464           1663         613         1         -69.0000        -142.7976    106.95%
468.05/469.29	c       469           1683         633         1         -69.0000        -142.6423    106.73%
473.34/474.52	c       475           1708         658         1         -69.0000        -142.6375    106.72%
478.83/480.01	c       480           1724         674         1         -69.0000        -142.5829    106.64%
484.51/485.72	c       486           1746         696         1         -69.0000        -142.3838    106.35%
489.50/490.74	c       491           1771         721         1         -69.0000        -142.3032    106.24%
494.79/496.05	c       496           1801         751         1         -69.0000        -142.2112    106.10%
499.97/501.21	c       501           1833         783         1         -69.0000        -142.1084    105.95%
504.97/506.23	c       506           1850         800         1         -69.0000        -142.0128    105.82%
510.86/512.11	c       512           1873         823         1         -69.0000        -141.9759    105.76%
516.34/517.69	c       518           1898         848         1         -69.0000        -141.7097    105.38%
521.92/523.27	c       523           1921         871         1         -69.0000        -141.6380    105.27%
527.11/528.44	c       528           1946         896         1         -69.0000        -141.4426    104.99%
532.30/533.63	c       534           1961         911         1         -69.0000        -141.2031    104.64%
537.50/538.85	c       539           1981         931         1         -69.0000        -141.1656    104.59%
543.48/544.80	c       545           2009         959         1         -69.0000        -141.0746    104.46%
548.87/550.26	c       550           2036         986         1         -69.0000        -140.9738    104.31%
554.16/555.53	c       556           2057        1007         1         -69.0000        -140.8955    104.20%
560.24/561.62	c       562           2088        1038         1         -69.0000        -140.8575    104.14%
565.73/567.18	c       567           2111        1061         1         -69.0000        -140.7929    104.05%
571.72/573.13	c       573           2151        1101         1         -69.0000        -140.6186    103.80%
577.90/579.35	c       579           2175        1125         1         -69.0000        -140.5755    103.73%
583.59/585.02	c       585           2201        1151         1         -69.0000        -140.5649    103.72%
588.87/590.32	c       590           2219        1169         1         -69.0000        -140.5393    103.68%
594.56/596.10	c       596           2249        1199         1         -69.0000        -140.4996    103.62%
600.45/601.98	c       602           2280        1230         1         -69.0000        -140.4350    103.53%
606.23/607.75	c       608           2305        1255         1         -69.0000        -140.3635    103.43%
611.32/612.80	c       613           2336        1286         1         -69.0000        -140.3211    103.36%
616.51/618.00	c       618           2359        1309         1         -69.0000        -140.3126    103.35%
622.09/623.68	c       624           2391        1341         1         -69.0000        -140.2310    103.23%
628.08/629.67	c       630           2435        1385         1         -69.0000        -140.1385    103.10%
634.58/636.10	c       636           2460        1410         1         -69.0000        -140.1250    103.08%
640.06/641.63	c       642           2489        1439         1         -69.0000        -140.0827    103.02%
645.24/646.88	c       647           2521        1471         1         -69.0000        -140.0461    102.97%
650.93/652.50	c       653           2546        1496         1         -69.0000        -140.0190    102.93%
656.02/657.65	c       658           2577        1527         1         -69.0000        -139.9742    102.86%
661.00/662.66	c       663           2618        1568         1         -69.0000        -139.8868    102.73%
666.39/668.06	c       668           2647        1597         1         -69.0000        -139.8519    102.68%
671.57/673.24	c       673           2681        1631         1         -69.0000        -139.7870    102.59%
677.37/679.01	c       679           2707        1657         1         -69.0000        -139.7556    102.54%
683.24/684.98	c       685           2738        1688         1         -69.0000        -139.7228    102.50%
689.34/691.00	c       691           2756        1706         1         -69.0000        -139.6951    102.46%
695.62/697.34	c       697           2788        1738         1         -69.0000        -139.5918    102.31%
700.70/702.46	c       702           2811        1761         1         -69.0000        -139.5664    102.27%
706.59/708.39	c       708           2837        1787         1         -69.0000        -139.5317    102.22%
712.67/714.43	c       714           2860        1810         1         -69.0000        -139.5293    102.22%
719.06/720.84	c       721           2887        1837         1         -69.0000        -139.5019    102.18%
724.25/726.02	c       726           2902        1852         1         -69.0000        -139.4852    102.15%
729.43/731.28	c       731           2942        1892         1         -69.0000        -139.4852    102.15%
736.41/738.22	c       738           2969        1919         1         -69.0000        -139.4852    102.15%
742.60/744.48	c       744           3003        1953         1         -69.0000        -139.4786    102.14%
748.19/750.07	c       750           3041        1991         1         -69.0000        -139.4567    102.11%
753.28/755.12	c       755           3070        2020         1         -69.0000        -139.4567    102.11%
758.66/760.58	c       761           3101        2051         1         -69.0000        -139.4103    102.04%
764.15/766.05	c       766           3128        2078         1         -69.0000        -139.4103    102.04%
769.53/771.40	c       771           3161        2111         1         -69.0000        -139.3355    101.94%
775.81/777.71	c       778           3195        2145         1         -69.0000        -139.3180    101.91%
781.21/783.14	c       783           3220        2170         1         -69.0000        -139.3180    101.91%
786.39/788.37	c       788           3246        2196         1         -69.0000        -139.3165    101.91%
791.78/793.77	c       794           3281        2231         1         -69.0000        -139.2798    101.85%
797.67/799.63	c       800           3314        2264         1         -69.0000        -139.2642    101.83%
803.56/805.51	c       806           3364        2314         1         -69.0000        -139.2504    101.81%
809.05/811.05	c       811           3392        2342         1         -69.0000        -139.2087    101.75%
814.72/816.76	c       817           3424        2374         1         -69.0000        -139.1890    101.72%
820.01/822.00	c       822           3442        2392         1         -69.0000        -139.1781    101.71%
825.79/827.80	c       828           3471        2421         1         -69.0000        -139.1484    101.66%
831.79/833.86	c       834           3499        2449         1         -69.0000        -139.1436    101.66%
837.08/839.18	c       839           3530        2480         1         -69.0000        -139.1436    101.66%
842.46/844.55	c       845           3555        2505         1         -69.0000        -139.1296    101.64%
848.34/850.45	c       850           3581        2531         1         -69.0000        -139.1282    101.64%
853.53/855.63	c       856           3617        2567         1         -69.0000        -139.1144    101.62%
859.61/861.74	c       862           3639        2589         1         -69.0000        -139.1144    101.62%
865.20/867.38	c       867           3666        2616         1         -69.0000        -139.0902    101.58%
870.49/872.66	c       873           3698        2648         1         -69.0000        -139.0700    101.55%
876.77/878.97	c       879           3734        2684         1         -69.0000        -139.0274    101.49%
882.16/884.39	c       884           3760        2710         1         -69.0000        -139.0274    101.49%
887.85/890.10	c       890           3797        2747         1         -69.0000        -138.9423    101.37%
893.13/895.31	c       895           3821        2771         1         -69.0000        -138.9065    101.31%
898.42/900.69	c       901           3846        2796         1         -69.0000        -138.9065    101.31%
904.22/906.44	c       906           3889        2839         1         -69.0000        -138.8939    101.30%
911.00/913.23	c       913           3932        2882         1         -69.0000        -138.8377    101.21%
916.39/918.60	c       919           3970        2920         1         -69.0000        -138.8269    101.20%
921.57/923.85	c       924           4006        2956         1         -69.0000        -138.8229    101.19%
927.46/929.79	c       930           4045        2995         1         -69.0000        -138.8138    101.18%
933.25/935.55	c       936           4080        3030         1         -69.0000        -138.7710    101.12%
939.43/941.70	c       942           4124        3074         1         -69.0000        -138.7549    101.09%
944.72/947.05	c       947           4147        3097         1         -69.0000        -138.7549    101.09%
950.60/952.97	c       953           4186        3136         1         -69.0000        -138.7373    101.07%
956.28/958.64	c       959           4214        3164         1         -69.0000        -138.7302    101.06%
961.27/963.67	c       964           4243        3193         1         -69.0000        -138.7194    101.04%
966.37/968.72	c       969           4270        3220         1         -69.0000        -138.7194    101.04%
972.25/974.63	c       975           4316        3266         1         -69.0000        -138.6908    101.00%
977.34/979.75	c       980           4349        3299         1         -69.0000        -138.6892    101.00%
983.23/985.69	c       986           4382        3332         1         -69.0000        -138.6705    100.97%
989.41/991.82	c       992           4410        3360         1         -69.0000        -138.6522    100.95%
995.10/997.51	c       998           4436        3386         1         -69.0000        -138.6375    100.92%
1000.08/1002.52	c      1003           4471        3421         1         -69.0000        -138.6236    100.90%
1005.17/1007.60	c      1008           4511        3461         1         -69.0000        -138.6161    100.89%
1010.26/1012.76	c      1013           4549        3499         1         -69.0000        -138.6154    100.89%
1015.65/1018.19	c      1018           4577        3527         1         -69.0000        -138.5939    100.86%
1021.73/1024.24	c      1024           4604        3554         1         -69.0000        -138.5917    100.86%
1027.03/1029.59	c      1030           4651        3601         1         -69.0000        -138.5816    100.84%
1032.21/1034.72	c      1035           4686        3636         1         -69.0000        -138.5541    100.80%
1037.61/1040.12	c      1040           4718        3668         1         -69.0000        -138.5537    100.80%
1043.59/1046.18	c      1046           4754        3704         1         -69.0000        -138.5457    100.79%
1049.58/1052.19	c      1052           4796        3746         1         -69.0000        -138.5346    100.77%
1054.76/1057.30	c      1057           4840        3790         1         -69.0000        -138.5346    100.77%
1059.85/1062.42	c      1062           4867        3817         1         -69.0000        -138.5050    100.73%
1065.23/1067.83	c      1068           4898        3848         1         -69.0000        -138.5000    100.72%
1070.43/1073.07	c      1073           4931        3881         1         -69.0000        -138.4646    100.67%
1075.91/1078.59	c      1079           4960        3910         1         -69.0000        -138.4646    100.67%
1081.19/1083.81	c      1084           4988        3938         1         -69.0000        -138.4612    100.67%
1087.38/1090.05	c      1090           5019        3969         1         -69.0000        -138.4578    100.66%
1092.48/1095.19	c      1095           5046        3996         1         -69.0000        -138.4561    100.66%
1097.96/1100.61	c      1101           5089        4039         1         -69.0000        -138.4525    100.66%
1103.84/1106.50	c      1106           5119        4069         1         -69.0000        -138.4363    100.63%
1109.83/1112.59	c      1113           5157        4107         1         -69.0000        -138.4171    100.60%
1115.02/1117.75	c      1118           5201        4151         1         -69.0000        -138.4071    100.59%
1120.20/1122.98	c      1123           5230        4180         1         -69.0000        -138.4071    100.59%
1125.89/1128.61	c      1129           5265        4215         1         -69.0000        -138.3586    100.52%
1131.88/1134.61	c      1135           5302        4252         1         -69.0000        -138.3563    100.52%
1137.46/1140.26	c      1140           5351        4301         1         -69.0000        -138.3518    100.51%
1142.85/1145.64	c      1146           5386        4336         1         -69.0000        -138.3318    100.48%
1148.64/1151.46	c      1151           5416        4366         1         -69.0000        -138.3272    100.47%
1154.12/1156.93	c      1157           5448        4398         1         -69.0000        -138.3184    100.46%
1159.81/1162.69	c      1163           5490        4440         1         -69.0000        -138.3061    100.44%
1165.21/1168.00	c      1168           5523        4473         1         -69.0000        -138.2916    100.42%
1170.59/1173.41	c      1173           5556        4506         1         -69.0000        -138.2916    100.42%
1176.19/1179.01	c      1179           5600        4550         1         -69.0000        -138.2583    100.37%
1181.96/1184.82	c      1185           5640        4590         1         -69.0000        -138.2281    100.33%
1187.45/1190.34	c      1190           5680        4630         1         -69.0000        -138.2174    100.32%
1192.54/1195.43	c      1195           5713        4663         1         -69.0000        -138.1922    100.28%
1197.63/1200.51	c      1201           5741        4691         1         -69.0000        -138.1890    100.27%
1202.72/1205.62	c      1206           5762        4712         1         -69.0000        -138.1890    100.27%
1209.50/1212.47	c      1212           5789        4739         1         -69.0000        -138.1790    100.26%
1215.89/1218.90	c      1219           5820        4770         1         -69.0000        -138.1607    100.23%
1221.67/1224.60	c      1225           5853        4803         1         -69.0000        -138.1589    100.23%
1226.96/1229.92	c      1230           5889        4839         1         -69.0000        -138.1421    100.21%
1232.74/1235.73	c      1236           5932        4882         1         -69.0000        -138.1392    100.20%
1238.74/1241.76	c      1242           5966        4916         1         -69.0000        -138.1380    100.20%
1243.92/1246.96	c      1247           6002        4952         1         -69.0000        -138.1241    100.18%
1249.01/1252.08	c      1252           6037        4987         1         -69.0000        -138.1110    100.16%
1255.00/1258.04	c      1258           6075        5025         1         -69.0000        -138.0678    100.10%
1260.88/1263.96	c      1264           6099        5049         1         -69.0000        -138.0678    100.10%
1265.87/1268.96	c      1269           6119        5069         1         -69.0000        -138.0640    100.09%
1271.75/1274.85	c      1275           6153        5103         1         -69.0000        -138.0623    100.09%
1277.64/1280.71	c      1281           6192        5142         1         -69.0000        -138.0579    100.08%
1283.72/1286.80	c      1287           6245        5195         1         -69.0000        -138.0557    100.08%
1289.11/1292.27	c      1292           6287        5237         1         -69.0000        -138.0137    100.02%
1294.70/1297.82	c      1298           6328        5278         1         -69.0000        -137.9640     99.95%
1300.49/1303.64	c      1304           6370        5320         1         -69.0000        -137.9494     99.93%
1305.68/1308.87	c      1309           6395        5345         1         -69.0000        -137.9376     99.91%
1311.26/1314.48	c      1314           6429        5379         1         -69.0000        -137.9247     99.89%
1317.15/1320.40	c      1320           6466        5416         1         -69.0000        -137.9159     99.88%
1322.44/1325.67	c      1326           6496        5446         1         -69.0000        -137.9015     99.86%
1328.82/1332.00	c      1332           6539        5489         1         -69.0000        -137.8883     99.84%
1334.11/1337.34	c      1337           6581        5531         1         -69.0000        -137.8746     99.82%
1339.19/1342.47	c      1342           6613        5563         1         -69.0000        -137.8506     99.78%
1344.39/1347.61	c      1348           6649        5599         1         -69.0000        -137.8493     99.78%
1349.97/1353.23	c      1353           6685        5635         1         -69.0000        -137.8414     99.77%
1355.26/1358.52	c      1359           6724        5674         1         -69.0000        -137.8291     99.75%
1360.55/1363.88	c      1364           6755        5705         1         -69.0000        -137.8027     99.71%
1365.64/1368.95	c      1369           6789        5739         1         -69.0000        -137.8018     99.71%
1371.33/1374.64	c      1375           6830        5780         1         -69.0000        -137.7649     99.66%
1376.61/1379.97	c      1380           6862        5812         1         -69.0000        -137.7507     99.64%
1382.20/1385.54	c      1386           6911        5861         1         -69.0000        -137.7195     99.59%
1387.79/1391.13	c      1391           6946        5896         1         -69.0000        -137.7187     99.59%
1392.78/1396.18	c      1396           6978        5928         1         -69.0000        -137.7170     99.59%
1397.86/1401.27	c      1401           7027        5977         1         -69.0000        -137.7079     99.58%
1403.15/1406.55	c      1407           7061        6011         1         -69.0000        -137.6915     99.55%
1408.53/1411.95	c      1412           7093        6043         1         -69.0000        -137.6651     99.51%
1414.83/1418.21	c      1418           7116        6066         1         -69.0000        -137.6651     99.51%
1420.41/1423.89	c      1424           7150        6100         1         -69.0000        -137.6486     99.49%
1426.40/1429.86	c      1430           7194        6144         1         -69.0000        -137.6410     99.48%
1431.88/1435.38	c      1435           7227        6177         1         -69.0000        -137.6188     99.45%
1436.97/1440.41	c      1440           7261        6211         1         -69.0000        -137.6022     99.42%
1442.36/1445.85	c      1446           7301        6251         1         -69.0000        -137.5922     99.41%
1448.65/1452.16	c      1452           7342        6292         1         -69.0000        -137.5896     99.41%
1454.43/1457.98	c      1458           7380        6330         1         -69.0000        -137.5811     99.39%
1459.72/1463.23	c      1463           7408        6358         1         -69.0000        -137.5552     99.36%
1464.71/1468.26	c      1468           7431        6381         1         -69.0000        -137.5507     99.35%
1471.00/1474.50	c      1474           7477        6427         1         -69.0000        -137.5505     99.35%
1476.59/1480.17	c      1480           7510        6460         1         -69.0000        -137.5485     99.35%
1482.37/1485.95	c      1486           7553        6503         1         -69.0000        -137.4928     99.26%
1489.15/1492.70	c      1493           7594        6544         1         -69.0000        -137.4872     99.26%
1494.14/1497.74	c      1498           7625        6575         1         -69.0000        -137.4519     99.21%
1499.92/1503.54	c      1504           7666        6616         1         -69.0000        -137.4315     99.18%
1504.91/1508.59	c      1509           7702        6652         1         -69.0000        -137.4182     99.16%
1510.61/1514.21	c      1514           7739        6689         1         -69.0000        -137.4143     99.15%
1516.40/1520.01	c      1520           7773        6723         1         -69.0000        -137.4126     99.15%
1521.98/1525.68	c      1526           7810        6760         1         -69.0000        -137.4048     99.14%
1527.37/1531.01	c      1531           7846        6796         1         -69.0000        -137.3967     99.13%
1532.55/1536.27	c      1536           7871        6821         1         -69.0000        -137.3824     99.10%
1538.73/1542.47	c      1542           7903        6853         1         -69.0000        -137.3824     99.10%
1543.83/1547.56	c      1548           7931        6881         1         -69.0000        -137.3590     99.07%
1549.91/1553.67	c      1554           7961        6911         1         -69.0000        -137.3470     99.05%
1555.90/1559.65	c      1560           7998        6948         1         -69.0000        -137.3446     99.05%
1562.18/1565.91	c      1566           8035        6985         1         -69.0000        -137.3270     99.02%
1567.37/1571.15	c      1571           8069        7019         1         -69.0000        -137.3213     99.02%
1573.36/1577.17	c      1577           8105        7055         1         -69.0000        -137.3169     99.01%
1579.64/1583.42	c      1583           8140        7090         1         -69.0000        -137.3015     98.99%
1585.53/1589.37	c      1589           8170        7120         1         -69.0000        -137.2896     98.97%
1591.51/1595.30	c      1595           8214        7164         1         -69.0000        -137.2736     98.95%
1597.10/1600.92	c      1601           8250        7200         1         -69.0000        -137.2683     98.94%
1602.58/1606.43	c      1606           8279        7229         1         -69.0000        -137.2451     98.91%
1608.08/1612.00	c      1612           8321        7271         1         -69.0000        -137.2213     98.87%
1614.06/1617.92	c      1618           8358        7308         1         -69.0000        -137.1983     98.84%
1619.54/1623.42	c      1623           8389        7339         1         -69.0000        -137.1910     98.83%
1625.53/1629.45	c      1629           8422        7372         1         -69.0000        -137.1874     98.82%
1630.72/1634.60	c      1635           8448        7398         1         -69.0000        -137.1657     98.79%
1637.10/1641.02	c      1641           8471        7421         1         -69.0000        -137.1124     98.71%
1643.09/1647.06	c      1647           8506        7456         1         -69.0000        -137.0776     98.66%
1649.08/1653.09	c      1653           8556        7506         1         -69.0000        -137.0585     98.64%
1654.67/1658.61	c      1659           8579        7529         1         -69.0000        -137.0523     98.63%
1660.16/1664.12	c      1664           8621        7571         1         -69.0000        -137.0250     98.59%
1665.53/1669.59	c      1670           8649        7599         1         -69.0000        -137.0250     98.59%
1671.12/1675.17	c      1675           8687        7637         1         -69.0000        -136.9889     98.53%
1676.21/1680.21	c      1680           8728        7678         1         -69.0000        -136.9619     98.50%
1681.30/1685.38	c      1685           8764        7714         1         -69.0000        -136.9501     98.48%
1687.69/1691.73	c      1692           8803        7753         1         -69.0000        -136.9492     98.48%
1692.67/1696.79	c      1697           8851        7801         1         -69.0000        -136.9492     98.48%
1698.06/1702.17	c      1702           8876        7826         1         -69.0000        -136.9425     98.47%
1703.25/1707.38	c      1707           8936        7886         1         -69.0000        -136.9425     98.47%
1709.04/1713.16	c      1713           8984        7934         1         -69.0000        -136.9327     98.45%
1714.82/1718.95	c      1719           9021        7971         1         -69.0000        -136.9192     98.43%
1720.41/1724.53	c      1725           9068        8018         1         -69.0000        -136.9192     98.43%
1725.90/1730.08	c      1730           9105        8055         1         -69.0000        -136.9088     98.42%
1731.68/1735.84	c      1736           9144        8094         1         -69.0000        -136.9088     98.42%
1737.56/1741.70	c      1742           9180        8130         1         -69.0000        -136.9082     98.42%
1743.75/1747.93	c      1748           9227        8177         1         -69.0000        -136.8996     98.41%
1749.74/1753.99	c      1754           9265        8215         1         -69.0000        -136.8996     98.41%
1755.32/1759.52	c      1760           9311        8261         1         -69.0000        -136.8775     98.37%
1761.62/1765.87	c      1766           9349        8299         1         -69.0000        -136.8775     98.37%
1767.40/1771.68	c      1772           9391        8341         1         -69.0000        -136.8605     98.35%
1772.59/1776.85	c      1777           9438        8388         1         -69.0000        -136.8504     98.33%
1777.78/1782.02	c      1782           9465        8415         1         -69.0000        -136.8504     98.33%
1783.46/1787.72	c      1788           9510        8460         1         -69.0000        -136.8437     98.32%
1788.95/1793.30	c      1793           9553        8503         1         -69.0000        -136.8437     98.32%
1794.14/1798.41	c      1798           9594        8544         1         -69.0000        -136.8011     98.26%
1799.32/1803.62	c      1804           9648        8598         1         -69.0000        -136.7998     98.26%
1804.91/1809.20	c      1809           9693        8643         1         -69.0000        -136.7998     98.26%
1810.80/1815.16	c      1815           9738        8688         1         -69.0000        -136.7935     98.25%
1816.08/1820.42	c      1820           9788        8738         1         -69.0000        -136.7867     98.24%
1821.48/1825.80	c      1826           9844        8794         1         -69.0000        -136.7867     98.24%
1827.46/1831.85	c      1832           9885        8835         1         -69.0000        -136.7866     98.24%
1832.95/1837.34	c      1837           9921        8871         1         -69.0000        -136.7685     98.22%
1838.94/1843.31	c      1843           9985        8935         1         -69.0000        -136.7685     98.22%
1845.62/1850.06	c      1850          10033        8983         1         -69.0000        -136.7340     98.17%
1851.11/1855.55	c      1856          10081        9031         1         -69.0000        -136.7276     98.16%
1856.79/1861.29	c      1861          10093        9043         1         -69.0000        -136.7276     98.16%
1862.28/1866.73	c      1867          10140        9090         1         -69.0000        -136.7039     98.12%
1868.76/1873.23	c      1873          10207        9157         1         -69.0000        -136.6991     98.11%
1874.75/1879.27	c      1879          10273        9223         1         -69.0000        -136.6859     98.10%
1880.23/1884.79	c      1885          10301        9251         1         -69.0000        -136.6859     98.10%
1886.13/1890.65	c      1891          10343        9293         1         -69.0000        -136.6852     98.09%
1892.01/1896.58	c      1897          10386        9336         1         -69.0000        -136.6852     98.09%
1897.50/1902.03	c      1902          10433        9383         1         -69.0000        -136.6716     98.07%
1902.98/1907.56	c      1908          10475        9425         1         -69.0000        -136.6716     98.07%
1908.27/1912.85	c      1913          10517        9467         1         -69.0000        -136.6663     98.07%
1913.26/1917.87	c      1918          10557        9507         1         -69.0000        -136.6611     98.06%
1919.05/1923.60	c      1924          10616        9566         1         -69.0000        -136.6611     98.06%
1925.04/1929.62	c      1930          10671        9621         1         -69.0000        -136.6596     98.06%
1930.12/1934.71	c      1935          10709        9659         1         -69.0000        -136.6553     98.05%
1935.31/1939.94	c      1940          10761        9711         1         -69.0000        -136.6499     98.04%
1940.80/1945.44	c      1945          10788        9738         1         -69.0000        -136.6499     98.04%
1947.18/1951.80	c      1952          10821        9771         1         -69.0000        -136.6499     98.04%
1952.67/1957.37	c      1957          10865        9815         1         -69.0000        -136.6482     98.04%
1958.86/1963.58	c      1964          10924        9874         1         -69.0000        -136.6441     98.03%
1965.04/1969.72	c      1970          10967        9917         1         -69.0000        -136.6441     98.03%
1970.23/1974.99	c      1975          11029        9979         1         -69.0000        -136.6432     98.03%
1975.71/1980.42	c      1980          11078       10028         1         -69.0000        -136.6245     98.01%
1981.00/1985.71	c      1986          11127       10077         1         -69.0000        -136.5978     97.97%
1987.19/1991.94	c      1992          11168       10118         1         -69.0000        -136.5978     97.97%
1992.97/1997.71	c      1998          11206       10156         1         -69.0000        -136.5964     97.97%
1999.16/2003.93	c      2004          11258       10208         1         -69.0000        -136.5921     97.96%
2004.94/2009.73	c      2010          11315       10265         1         -69.0000        -136.5921     97.96%
2010.24/2015.03	c      2015          11358       10308         1         -69.0000        -136.5616     97.92%
2016.12/2020.92	c      2021          11402       10352         1         -69.0000        -136.5496     97.90%
2021.40/2026.20	c      2026          11452       10402         1         -69.0000        -136.5496     97.90%
2026.60/2031.40	c      2031          11497       10447         1         -69.0000        -136.5480     97.90%
2032.09/2036.91	c      2037          11539       10489         1         -69.0000        -136.5402     97.88%
2037.57/2042.41	c      2042          11589       10539         1         -69.0000        -136.5402     97.88%
2043.05/2047.95	c      2048          11626       10576         1         -69.0000        -136.5364     97.88%
2048.34/2053.23	c      2053          11659       10609         1         -69.0000        -136.5364     97.88%
2054.04/2058.98	c      2059          11719       10669         1         -69.0000        -136.5195     97.85%
2060.13/2065.02	c      2065          11762       10712         1         -69.0000        -136.5023     97.83%
2066.01/2070.90	c      2071          11803       10753         1         -69.0000        -136.5023     97.83%
2071.20/2076.12	c      2076          11857       10807         1         -69.0000        -136.4970     97.82%
2076.69/2081.64	c      2082          11898       10848         1         -69.0000        -136.4966     97.82%
2082.47/2087.42	c      2087          11951       10901         1         -69.0000        -136.4845     97.80%
2087.46/2092.45	c      2092          12002       10952         1         -69.0000        -136.4845     97.80%
2092.74/2097.75	c      2098          12049       10999         1         -69.0000        -136.4794     97.80%
2097.83/2102.88	c      2103          12091       11041         1         -69.0000        -136.4750     97.79%
2103.52/2108.54	c      2109          12138       11088         1         -69.0000        -136.4750     97.79%
2108.80/2113.86	c      2114          12181       11131         1         -69.0000        -136.4738     97.79%
2114.40/2119.41	c      2119          12229       11179         1         -69.0000        -136.4738     97.79%
2119.88/2124.99	c      2125          12280       11230         1         -69.0000        -136.4523     97.76%
2125.67/2130.75	c      2131          12339       11289         1         -69.0000        -136.4505     97.75%
2131.16/2136.22	c      2136          12393       11343         1         -69.0000        -136.4287     97.72%
2136.55/2141.65	c      2142          12429       11379         1         -69.0000        -136.4287     97.72%
2136.74/2141.82	c *    2142          12429       11379         1         -71.0000        -136.4287     92.15%
2136.74/2141.82	c *    2142          12429       11379         1         -72.0000        -136.4287     89.48%
2141.73/2146.87	c      2147          12465       11415         1         -72.0000        -136.4282     89.48%
2147.51/2152.69	c      2153          12519       11469         1         -72.0000        -136.4274     89.48%
2153.40/2158.54	c      2159          12564       11514         1         -72.0000        -136.4274     89.48%
2158.89/2164.07	c      2164          12619       11569         1         -72.0000        -136.4268     89.48%
2164.58/2169.79	c      2170          12652       11602         1         -72.0000        -136.4268     89.48%
2169.97/2175.16	c      2175          12692       11642         1         -72.0000        -136.4268     89.48%
2176.45/2181.63	c      2182          12725       11675         1         -72.0000        -136.4199     89.47%
2181.84/2187.07	c      2187          12751       11701         1         -72.0000        -136.4199     89.47%
2187.12/2192.32	c      2192          12800       11750         1         -72.0000        -136.4196     89.47%
2192.92/2198.16	c      2198          12853       11803         1         -72.0000        -136.4196     89.47%
2198.50/2203.76	c      2204          12915       11865         1         -72.0000        -136.4167     89.47%
2203.90/2209.18	c      2209          12961       11911         1         -72.0000        -136.4025     89.45%
2209.47/2214.78	c      2215          13000       11950         1         -72.0000        -136.4025     89.45%
2214.87/2220.12	c      2220          13048       11998         1         -72.0000        -136.3887     89.43%
2220.45/2225.76	c      2226          13104       12054         1         -72.0000        -136.3882     89.43%
2225.74/2231.06	c      2231          13141       12091         1         -72.0000        -136.3844     89.42%
2231.92/2237.21	c      2237          13191       12141         1         -72.0000        -136.3844     89.42%
2237.21/2242.56	c      2243          13247       12197         1         -72.0000        -136.3774     89.41%
2243.00/2248.32	c      2248          13312       12262         1         -72.0000        -136.3714     89.40%
2248.88/2254.22	c      2254          13361       12311         1         -72.0000        -136.3687     89.40%
2254.68/2260.03	c      2260          13405       12355         1         -72.0000        -136.3687     89.40%
2260.66/2266.09	c      2266          13462       12412         1         -72.0000        -136.3629     89.39%
2266.45/2271.84	c      2272          13513       12463         1         -72.0000        -136.3583     89.39%
2272.23/2277.60	c      2278          13549       12499         1         -72.0000        -136.3583     89.39%
2277.22/2282.67	c      2283          13597       12547         1         -72.0000        -136.3563     89.38%
2282.31/2287.78	c      2288          13631       12581         1         -72.0000        -136.3542     89.38%
2287.70/2293.19	c      2293          13679       12629         1         -72.0000        -136.3542     89.38%
2292.98/2298.42	c      2298          13709       12659         1         -72.0000        -136.3521     89.38%
2298.57/2304.10	c      2304          13759       12709         1         -72.0000        -136.3521     89.38%
2304.25/2309.76	c      2310          13803       12753         1         -72.0000        -136.3395     89.36%
2310.24/2315.77	c      2316          13847       12797         1         -72.0000        -136.3347     89.35%
2316.73/2322.21	c      2322          13893       12843         1         -72.0000        -136.3347     89.35%
2321.91/2327.45	c      2327          13940       12890         1         -72.0000        -136.3246     89.34%
2327.50/2333.09	c      2333          13987       12937         1         -72.0000        -136.3063     89.31%
2333.29/2338.82	c      2339          14038       12988         1         -72.0000        -136.3063     89.31%
2338.28/2343.89	c      2344          14078       13028         1         -72.0000        -136.2918     89.29%
2344.26/2349.88	c      2350          14131       13081         1         -72.0000        -136.2863     89.29%
2349.65/2355.29	c      2355          14152       13102         1         -72.0000        -136.2863     89.29%
2354.93/2360.54	c      2361          14210       13160         1         -72.0000        -136.2692     89.26%
2361.02/2366.61	c      2367          14247       13197         1         -72.0000        -136.2692     89.26%
2366.70/2372.37	c      2372          14280       13230         1         -72.0000        -136.2687     89.26%
2371.99/2377.60	c      2378          14319       13269         1         -72.0000        -136.2687     89.26%
2377.18/2382.86	c      2383          14374       13324         1         -72.0000        -136.2645     89.26%
2382.48/2388.15	c      2388          14408       13358         1         -72.0000        -136.2569     89.25%
2388.76/2394.46	c      2394          14464       13414         1         -72.0000        -136.2569     89.25%
2395.14/2400.80	c      2401          14515       13465         1         -72.0000        -136.2556     89.24%
2400.13/2405.83	c      2406          14556       13506         1         -72.0000        -136.2551     89.24%
2406.11/2411.82	c      2412          14618       13568         1         -72.0000        -136.2500     89.24%
2411.70/2417.43	c      2417          14674       13624         1         -72.0000        -136.2500     89.24%
2417.19/2422.90	c      2423          14702       13652         1         -72.0000        -136.2376     89.22%
2422.47/2428.28	c      2428          14742       13692         1         -72.0000        -136.2376     89.22%
2428.06/2433.89	c      2434          14788       13738         1         -72.0000        -136.2164     89.19%
2433.45/2439.20	c      2439          14851       13801         1         -72.0000        -136.2164     89.19%
2439.24/2445.03	c      2445          14898       13848         1         -72.0000        -136.2112     89.18%
2445.33/2451.14	c      2451          14961       13911         1         -72.0000        -136.2077     89.18%
2451.71/2457.57	c      2458          15004       13954         1         -72.0000        -136.2077     89.18%
2457.39/2463.22	c      2463          15057       14007         1         -72.0000        -136.2074     89.18%
2462.68/2468.50	c      2469          15109       14059         1         -72.0000        -136.2064     89.18%
2467.67/2473.52	c      2474          15152       14102         1         -72.0000        -136.2064     89.18%
2473.36/2479.29	c      2479          15202       14152         1         -72.0000        -136.2057     89.17%
2478.44/2484.32	c      2484          15241       14191         1         -72.0000        -136.2045     89.17%
2483.93/2489.86	c      2490          15284       14234         1         -72.0000        -136.2045     89.17%
2489.62/2495.58	c      2496          15335       14285         1         -72.0000        -136.2024     89.17%
2495.11/2501.08	c      2501          15377       14325         1         -72.0000        -136.2024     89.17%
2500.40/2506.34	c      2506          15432       14380         1         -72.0000        -136.2024     89.17%
2506.39/2512.35	c      2512          15496       14444         1         -72.0000        -136.2010     89.17%
2512.67/2518.69	c      2519          15542       14490         1         -72.0000        -136.1958     89.16%
2519.46/2525.45	c      2525          15609       14557         1         -72.0000        -136.1873     89.15%
2524.54/2530.54	c      2531          15667       14615         1         -72.0000        -136.1859     89.15%
2530.63/2536.63	c      2537          15704       14652         1         -72.0000        -136.1859     89.15%
2535.92/2541.99	c      2542          15738       14686         1         -72.0000        -136.1712     89.13%
2541.40/2547.43	c      2547          15788       14736         1         -72.0000        -136.1712     89.13%
2546.39/2552.49	c      2552          15832       14780         1         -72.0000        -136.1683     89.12%
2552.28/2558.38	c      2558          15877       14825         1         -72.0000        -136.1556     89.10%
2558.27/2564.30	c      2564          15914       14862         1         -72.0000        -136.1556     89.10%
2563.35/2569.49	c      2570          15963       14911         1         -72.0000        -136.1413     89.09%
2568.54/2574.69	c      2575          15999       14947         1         -72.0000        -136.1413     89.09%
2574.13/2580.21	c      2580          16047       14995         1         -72.0000        -136.1371     89.08%
2579.12/2585.21	c      2585          16081       15029         1         -72.0000        -136.1308     89.07%
2585.01/2591.13	c      2591          16127       15075         1         -72.0000        -136.1308     89.07%
2590.09/2596.20	c      2596          16173       15121         1         -72.0000        -136.1281     89.07%
2595.88/2602.08	c      2602          16226       15174         1         -72.0000        -136.1005     89.03%
2601.66/2607.88	c      2608          16278       15226         1         -72.0000        -136.1005     89.03%
2607.95/2614.16	c      2614          16322       15270         1         -72.0000        -136.0980     89.02%
2613.03/2619.28	c      2619          16356       15304         1         -72.0000        -136.0980     89.02%
2618.62/2624.88	c      2625          16402       15350         1         -72.0000        -136.0939     89.02%
2623.81/2630.00	c      2630          16453       15401         1         -72.0000        -136.0884     89.01%
2629.69/2635.91	c      2636          16501       15449         1         -72.0000        -136.0854     89.01%
2635.18/2641.42	c      2641          16559       15507         1         -72.0000        -136.0854     89.01%
2640.56/2646.89	c      2647          16619       15567         1         -72.0000        -136.0813     89.00%
2645.66/2651.96	c      2652          16653       15601         1         -72.0000        -136.0799     89.00%
2651.65/2657.91	c      2658          16707       15655         1         -72.0000        -136.0799     89.00%
2657.43/2663.72	c      2664          16759       15707         1         -72.0000        -136.0793     89.00%
2663.12/2669.40	c      2669          16801       15749         1         -72.0000        -136.0748     88.99%
2668.30/2674.69	c      2675          16861       15809         1         -72.0000        -136.0683     88.98%
2673.49/2679.81	c      2680          16897       15845         1         -72.0000        -136.0683     88.98%
2678.88/2685.22	c      2685          16954       15902         1         -72.0000        -136.0649     88.98%
2685.27/2691.65	c      2692          17016       15964         1         -72.0000        -136.0504     88.96%
2690.85/2697.24	c      2697          17060       16008         1         -72.0000        -136.0504     88.96%
2696.64/2703.09	c      2703          17113       16061         1         -72.0000        -136.0478     88.96%
2703.22/2709.66	c      2710          17173       16121         1         -72.0000        -136.0276     88.93%
2708.41/2714.86	c      2715          17217       16165         1         -72.0000        -136.0252     88.92%
2714.29/2720.76	c      2721          17271       16219         1         -72.0000        -136.0246     88.92%
2719.98/2726.42	c      2726          17320       16268         1         -72.0000        -136.0246     88.92%
2725.27/2731.73	c      2732          17368       16316         1         -72.0000        -136.0209     88.92%
2730.25/2736.79	c      2737          17419       16367         1         -72.0000        -136.0189     88.92%
2735.74/2742.21	c      2742          17454       16402         1         -72.0000        -136.0189     88.92%
2741.23/2747.73	c      2748          17491       16439         1         -72.0000        -136.0183     88.91%
2746.52/2753.04	c      2753          17551       16499         1         -72.0000        -136.0107     88.90%
2752.40/2758.97	c      2759          17614       16562         1         -72.0000        -136.0107     88.90%
2757.59/2764.16	c      2764          17671       16619         1         -72.0000        -136.0102     88.90%
2762.88/2769.40	c      2769          17712       16660         1         -72.0000        -135.9929     88.88%
2769.26/2775.89	c      2776          17754       16702         1         -72.0000        -135.9929     88.88%
2774.65/2781.26	c      2781          17795       16743         1         -72.0000        -135.9928     88.88%
2780.63/2787.23	c      2787          17857       16805         1         -72.0000        -135.9912     88.88%
2786.43/2793.05	c      2793          17909       16857         1         -72.0000        -135.9827     88.86%
2791.51/2798.13	c      2798          17971       16919         1         -72.0000        -135.9800     88.86%
2797.09/2803.76	c      2804          18025       16973         1         -72.0000        -135.9800     88.86%
2802.78/2809.48	c      2809          18078       17026         1         -72.0000        -135.9767     88.86%
2808.27/2814.95	c      2815          18137       17085         1         -72.0000        -135.9647     88.84%
2813.56/2820.21	c      2820          18184       17132         1         -72.0000        -135.9636     88.84%
2818.95/2825.62	c      2826          18236       17184         1         -72.0000        -135.9636     88.84%
2824.53/2831.21	c      2831          18288       17236         1         -72.0000        -135.9587     88.83%
2830.32/2837.09	c      2837          18342       17290         1         -72.0000        -135.9277     88.79%
2835.31/2842.10	c      2842          18391       17339         1         -72.0000        -135.9168     88.77%
2840.89/2847.67	c      2848          18433       17381         1         -72.0000        -135.9168     88.77%
2846.68/2853.45	c      2853          18468       17416         1         -72.0000        -135.9158     88.77%
2853.36/2860.16	c      2860          18513       17461         1         -72.0000        -135.9158     88.77%
2859.26/2866.05	c      2866          18559       17507         1         -72.0000        -135.9068     88.76%
2865.04/2871.85	c      2872          18607       17555         1         -72.0000        -135.8824     88.73%
2871.42/2878.24	c      2878          18659       17607         1         -72.0000        -135.8824     88.73%
2877.01/2883.88	c      2884          18713       17661         1         -72.0000        -135.8708     88.71%
2883.00/2889.80	c      2890          18756       17704         1         -72.0000        -135.8621     88.70%
2888.38/2895.25	c      2895          18810       17758         1         -72.0000        -135.8621     88.70%
2893.67/2900.54	c      2901          18870       17818         1         -72.0000        -135.8534     88.69%
2898.76/2905.67	c      2906          18910       17858         1         -72.0000        -135.8530     88.68%
2904.04/2910.92	c      2911          18955       17903         1         -72.0000        -135.8429     88.67%
2909.73/2916.69	c      2917          19018       17966         1         -72.0000        -135.8429     88.67%
2915.42/2922.37	c      2922          19078       18026         1         -72.0000        -135.8414     88.67%
2921.11/2928.08	c      2928          19134       18082         1         -72.0000        -135.8369     88.66%
2926.99/2933.91	c      2934          19172       18120         1         -72.0000        -135.8322     88.66%
2931.97/2938.98	c      2939          19219       18167         1         -72.0000        -135.8322     88.66%
2938.06/2945.02	c      2945          19267       18215         1         -72.0000        -135.8313     88.65%
2943.85/2950.82	c      2951          19322       18270         1         -72.0000        -135.8190     88.64%
2949.15/2956.17	c      2956          19366       18314         1         -72.0000        -135.8190     88.64%
2954.43/2961.42	c      2961          19414       18362         1         -72.0000        -135.8167     88.63%
2960.31/2967.38	c      2967          19499       18447         1         -72.0000        -135.8125     88.63%
2965.60/2972.65	c      2973          19551       18499         1         -72.0000        -135.8052     88.62%
2970.89/2977.91	c      2978          19596       18544         1         -72.0000        -135.8051     88.62%
2976.27/2983.37	c      2983          19644       18592         1         -72.0000        -135.8051     88.62%
2982.66/2989.74	c      2990          19689       18637         1         -72.0000        -135.8007     88.61%
2987.85/2994.98	c      2995          19754       18702         1         -72.0000        -135.8002     88.61%
2993.14/3000.21	c      3000          19832       18780         1         -72.0000        -135.7960     88.61%
2998.13/3005.27	c      3005          19886       18834         1         -72.0000        -135.7896     88.60%
3004.61/3011.70	c      3012          19937       18885         1         -72.0000        -135.7865     88.59%
3010.39/3017.55	c      3018          19975       18923         1         -72.0000        -135.7865     88.59%
3015.39/3022.59	c      3023          20005       18953         1         -72.0000        -135.7824     88.59%
3020.98/3028.16	c      3028          20059       19007         1         -72.0000        -135.7824     88.59%
3026.06/3033.26	c      3033          20103       19051         1         -72.0000        -135.7767     88.58%
3032.24/3039.45	c      3039          20162       19110         1         -72.0000        -135.7750     88.58%
3037.53/3044.76	c      3045          20207       19155         1         -72.0000        -135.7750     88.58%
3043.62/3050.88	c      3051          20255       19203         1         -72.0000        -135.7690     88.57%
3049.71/3056.90	c      3057          20319       19267         1         -72.0000        -135.7687     88.57%
3055.50/3062.70	c      3063          20353       19301         1         -72.0000        -135.7637     88.56%
3060.89/3068.17	c      3068          20416       19364         1         -72.0000        -135.7637     88.56%
3066.87/3074.14	c      3074          20459       19407         1         -72.0000        -135.7603     88.56%
3073.25/3080.55	c      3081          20516       19464         1         -72.0000        -135.7499     88.54%
3078.84/3086.17	c      3086          20561       19509         1         -72.0000        -135.7446     88.53%
3083.92/3091.20	c      3091          20603       19551         1         -72.0000        -135.7446     88.53%
3089.41/3096.77	c      3097          20643       19591         1         -72.0000        -135.7316     88.52%
3094.80/3102.18	c      3102          20676       19624         1         -72.0000        -135.7316     88.52%
3100.98/3108.33	c      3108          20723       19671         1         -72.0000        -135.7298     88.51%
3106.67/3114.06	c      3114          20773       19721         1         -72.0000        -135.7271     88.51%
3112.06/3119.49	c      3120          20811       19759         1         -72.0000        -135.7271     88.51%
3118.05/3125.42	c      3125          20850       19798         1         -72.0000        -135.7249     88.51%
3123.13/3130.56	c      3131          20892       19840         1         -72.0000        -135.7249     88.51%
3129.22/3136.65	c      3137          20954       19902         1         -72.0000        -135.7157     88.49%
3134.71/3142.12	c      3142          20986       19934         1         -72.0000        -135.7105     88.49%
3141.09/3148.51	c      3149          21049       19997         1         -72.0000        -135.7105     88.49%
3146.38/3153.84	c      3154          21092       20040         1         -72.0000        -135.7079     88.48%
3152.06/3159.59	c      3160          21135       20083         1         -72.0000        -135.6968     88.47%
3157.95/3165.49	c      3166          21203       20151         1         -72.0000        -135.6951     88.47%
3163.84/3171.30	c      3171          21261       20209         1         -72.0000        -135.6833     88.45%
3168.82/3176.35	c      3176          21310       20258         1         -72.0000        -135.6833     88.45%
3173.81/3181.39	c      3181          21356       20304         1         -72.0000        -135.6824     88.45%
3179.20/3186.77	c      3187          21422       20370         1         -72.0000        -135.6780     88.44%
3185.09/3192.64	c      3193          21479       20427         1         -72.0000        -135.6652     88.42%
3190.58/3198.15	c      3198          21532       20480         1         -72.0000        -135.6652     88.42%
3196.16/3203.77	c      3204          21611       20559         1         -72.0000        -135.6499     88.40%
3201.45/3209.03	c      3209          21657       20605         1         -72.0000        -135.6499     88.40%
3206.93/3214.58	c      3215          21710       20658         1         -72.0000        -135.6495     88.40%
3212.33/3219.98	c      3220          21771       20719         1         -72.0000        -135.6458     88.40%
3218.01/3225.64	c      3226          21800       20748         1         -72.0000        -135.6458     88.40%
3223.89/3231.51	c      3232          21867       20815         1         -72.0000        -135.6400     88.39%
3228.98/3236.66	c      3237          21905       20853         1         -72.0000        -135.6362     88.38%
3234.76/3242.45	c      3242          21967       20915         1         -72.0000        -135.6361     88.38%
3239.94/3247.65	c      3248          22030       20978         1         -72.0000        -135.6361     88.38%
3245.52/3253.25	c      3253          22080       21028         1         -72.0000        -135.6305     88.38%
3250.51/3258.29	c      3258          22115       21063         1         -72.0000        -135.6243     88.37%
3255.69/3263.44	c      3263          22179       21127         1         -72.0000        -135.6210     88.36%
3261.08/3268.86	c      3269          22240       21188         1         -72.0000        -135.6210     88.36%
3266.56/3274.32	c      3274          22280       21228         1         -72.0000        -135.6173     88.36%
3271.94/3279.74	c      3280          22334       21282         1         -72.0000        -135.6090     88.35%
3278.02/3285.87	c      3286          22390       21338         1         -72.0000        -135.6057     88.34%
3283.61/3291.44	c      3291          22445       21393         1         -72.0000        -135.6057     88.34%
3289.30/3297.11	c      3297          22476       21424         1         -72.0000        -135.6048     88.34%
3294.48/3302.33	c      3302          22521       21469         1         -72.0000        -135.6021     88.34%
3299.76/3307.62	c      3308          22569       21517         1         -72.0000        -135.6021     88.34%
3305.64/3313.55	c      3314          22625       21573         1         -72.0000        -135.5966     88.33%
3311.13/3319.00	c      3319          22661       21609         1         -72.0000        -135.5927     88.32%
3316.22/3324.13	c      3324          22704       21652         1         -72.0000        -135.5927     88.32%
3322.00/3329.99	c      3330          22751       21699         1         -72.0000        -135.5915     88.32%
3328.09/3336.00	c      3336          22809       21757         1         -72.0000        -135.5866     88.31%
3333.97/3341.98	c      3342          22863       21811         1         -72.0000        -135.5866     88.31%
3339.85/3347.88	c      3348          22914       21862         1         -72.0000        -135.5728     88.30%
3346.04/3354.09	c      3354          22975       21923         1         -72.0000        -135.5655     88.29%
3352.03/3360.03	c      3360          23025       21973         1         -72.0000        -135.5632     88.28%
3357.31/3365.37	c      3365          23060       22008         1         -72.0000        -135.5632     88.28%
3363.30/3371.38	c      3371          23111       22059         1         -72.0000        -135.5605     88.28%
3369.29/3377.34	c      3377          23172       22120         1         -72.0000        -135.5554     88.27%
3374.47/3382.57	c      3383          23211       22159         1         -72.0000        -135.5554     88.27%
3380.46/3388.57	c      3389          23251       22199         1         -72.0000        -135.5554     88.27%
3386.25/3394.39	c      3394          23295       22243         1         -72.0000        -135.5554     88.27%
3391.54/3399.65	c      3400          23357       22305         1         -72.0000        -135.5554     88.27%
3397.22/3405.35	c      3405          23418       22366         1         -72.0000        -135.5554     88.27%
3403.31/3411.45	c      3411          23466       22414         1         -72.0000        -135.5217     88.22%
3408.89/3417.06	c      3417          23528       22476         1         -72.0000        -135.5029     88.20%
3414.68/3422.83	c      3423          23563       22511         1         -72.0000        -135.5029     88.20%
3420.36/3428.55	c      3429          23641       22589         1         -72.0000        -135.5008     88.20%
3425.95/3434.12	c      3434          23692       22640         1         -72.0000        -135.5008     88.20%
3431.33/3439.50	c      3440          23755       22703         1         -72.0000        -135.4918     88.18%
3436.63/3444.81	c      3445          23818       22766         1         -72.0000        -135.4918     88.18%
3443.81/3452.06	c      3452          23868       22816         1         -72.0000        -135.4918     88.18%
3449.39/3457.64	c      3458          23927       22875         1         -72.0000        -135.4894     88.18%
3455.38/3463.69	c      3464          23987       22935         1         -72.0000        -135.4894     88.18%
3460.47/3468.70	c      3469          24034       22982         1         -72.0000        -135.4886     88.18%
3465.95/3474.27	c      3474          24090       23038         1         -72.0000        -135.4851     88.17%
3472.75/3481.09	c      3481          24148       23096         1         -72.0000        -135.4805     88.17%
3478.23/3486.52	c      3487          24209       23157         1         -72.0000        -135.4785     88.16%
3484.11/3492.46	c      3492          24277       23225         1         -72.0000        -135.4692     88.15%
3489.80/3498.13	c      3498          24329       23277         1         -72.0000        -135.4692     88.15%
3494.98/3503.35	c      3503          24368       23316         1         -72.0000        -135.4639     88.14%
3500.17/3508.55	c      3509          24411       23359         1         -72.0000        -135.4638     88.14%
3505.45/3513.84	c      3514          24455       23403         1         -72.0000        -135.4638     88.14%
3511.65/3520.04	c      3520          24491       23439         1         -72.0000        -135.4608     88.14%
3517.23/3525.65	c      3526          24546       23494         1         -72.0000        -135.4608     88.14%
3522.91/3531.34	c      3531          24591       23539         1         -72.0000        -135.4586     88.14%
3527.90/3536.35	c      3536          24640       23588         1         -72.0000        -135.4566     88.13%
3532.99/3541.47	c      3541          24693       23641         1         -72.0000        -135.4553     88.13%
3538.97/3547.45	c      3547          24750       23698         1         -72.0000        -135.4553     88.13%
3545.06/3553.53	c      3554          24830       23778         1         -72.0000        -135.4479     88.12%
3550.65/3559.13	c      3559          24861       23809         1         -72.0000        -135.4479     88.12%
3556.34/3564.83	c      3565          24907       23855         1         -72.0000        -135.4476     88.12%
3562.12/3570.60	c      3571          24956       23904         1         -72.0000        -135.4476     88.12%
3567.52/3576.00	c      3576          24994       23942         1         -72.0000        -135.4449     88.12%
3573.20/3581.76	c      3582          25038       23986         1         -72.0000        -135.4449     88.12%
3578.89/3587.45	c      3587          25094       24042         1         -72.0000        -135.4447     88.12%
3584.08/3592.60	c      3593          25154       24102         1         -72.0000        -135.4351     88.10%
3589.16/3597.76	c      3598          25187       24135         1         -72.0000        -135.4343     88.10%
3589.57/3598.19	c SCIP Status        : c solving was interrupted [hard time limit reached]
3589.57/3598.19	c Total Time         : 3598.19
3589.57/3598.19	c   solving          : 3598.19
3589.57/3598.19	c   presolving       : 0.09 (included in solving)
3589.57/3598.19	c B&B Tree           :
3589.57/3598.19	c   nodes (total)    : 1
3589.57/3598.19	c Solution           :
3589.57/3598.19	c   Solutions found  : 8
3589.57/3598.19	c   Primal Bound     : -7.20000000000000e+01
3589.57/3598.19	c   Dual Bound       : -1.35434297866539e+02
3589.57/3598.19	c Gap                : 88.10319 %
3589.57/3598.19	c * Warning: final gap: 8.81032e-01 is greater than SCIPepsilon: 1.00000e-09
3589.57/3598.20	o -72
3589.57/3598.20	s SATISFIABLE
3589.57/3598.20	v -x500 x499 -x498 -x497 -x496 x495 x494 -x493 -x492 -x491 -x490 -x489 x488 -x487 -x486 -x485 x484 -x483 -x482 x481 -x480 -x479 x478 
3589.57/3598.20	v x477 x476 -x475 -x474 -x473 -x472 x471 -x470 -x469 x468 -x467 -x466 -x465 -x464 -x463 -x462 x461 -x460 -x459 x458 -x457 -x456 
3589.57/3598.20	v -x455 x454 -x453 x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 x442 -x441 x440 -x439 x438 -x437 -x436 x435 -x434 
3589.57/3598.20	v -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 x414 -x413 
3589.57/3598.20	v -x412 -x411 -x410 -x409 -x408 -x407 x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398 -x397 x396 x395 x394 -x393 x392 -x391 
3589.57/3598.20	v -x390 -x389 x388 -x387 x386 -x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 x377 x376 -x375 x374 x373 -x372 -x371 -x370 -x369 
3589.57/3598.20	v -x368 x367 x366 -x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 x356 x355 -x354 -x353 x352 -x351 -x350 -x349 -x348 x347 
3589.57/3598.20	v -x346 x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 x337 -x336 -x335 x334 -x333 -x332 -x331 -x330 -x329 -x328 x327 -x326 
3589.57/3598.20	v -x325 -x324 -x323 -x322 -x321 x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 x311 -x310 -x309 -x308 -x307 -x306 -x305 x304 
3589.57/3598.20	v -x303 -x302 -x301 x300 -x299 -x298 x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 -x286 -x285 -x284 -x283 
3589.57/3598.20	v -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 x266 x265 -x264 -x263 -x262 -x261 
3589.57/3598.20	v -x260 x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 
3589.57/3598.20	v -x239 -x238 -x237 -x236 x235 -x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 
3589.57/3598.20	v -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 x198 
3589.57/3598.20	v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 
3589.57/3598.20	v -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 
3589.57/3598.20	v -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 
3589.57/3598.20	v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 
3589.57/3598.20	v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 
3589.57/3598.20	v -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 
3589.57/3598.20	v -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 
3589.57/3598.20	v -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 
3589.57/3598.20	v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 

Verifier Data

OK	-72

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=31239, runsolver pid=31236

[startup+0.10085 s]*
/proc/loadavg: 4.14 4.11 4.05 5/264 31240
/proc/meminfo: memFree=123493680/131524592 swapFree=131071996/131071996
[pid=31239] ppid=31236 vsize=65024 memory=53208 CPUtime=0.09 cores=4,6
/proc/31239/stat : 31239 (fscip) R 31236 31239 29025 0 -1 4194304 10973 0 0 0 8 1 0 0 20 0 1 0 4816484 66584576 13302 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
/proc/31239/statm: 16256 13302 2630 3035 0 12652 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65024 KiB
Current children cumulated memory: 53208 KiB

[startup+0.205423 s]*
/proc/loadavg: 4.14 4.11 4.05 5/266 31242
/proc/meminfo: memFree=123465904/131524592 swapFree=131071996/131071996
[pid=31239] ppid=31236 vsize=152556 memory=77924 CPUtime=0.19 cores=4,6
/proc/31239/stat : 31239 (fscip) S 31236 31239 29025 0 -1 1077936128 18320 0 0 0 17 2 0 0 20 0 3 0 4816484 156217344 19481 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
/proc/31239/statm: 38139 19481 2790 3035 0 23338 0
[pid=31239/tid=31241] ppid=31236 vsize=152556 memory=8505393642823811203 CPUtime=0.05 cores=4,6
/proc/31239/task/31241/stat : 31241 (fscip) R 31236 31239 29025 0 -1 4194368 4884 0 0 0 5 0 0 0 20 0 3 0 4816497 156217344 19481 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
[pid=31239/tid=31242] ppid=31236 vsize=152556 memory=15988 CPUtime=0 cores=4,6
/proc/31239/task/31242/stat : 31242 (fscip) S 31236 31239 29025 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4816499 156217344 19481 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 152556 KiB
Current children cumulated memory: 77924 KiB

[startup+0.305425 s]*
/proc/loadavg: 4.14 4.11 4.05 5/266 31242
/proc/meminfo: memFree=123453360/131524592 swapFree=131071996/131071996
[pid=31239] ppid=31236 vsize=152556 memory=88204 CPUtime=0.3 cores=4,6
/proc/31239/stat : 31239 (fscip) S 31236 31239 29025 0 -1 1077936128 20810 0 0 0 27 3 0 0 20 0 3 0 4816484 156217344 22051 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
/proc/31239/statm: 38139 22051 2934 3035 0 25862 0
[pid=31239/tid=31241] ppid=31236 vsize=152556 memory=-5155629102638263173 CPUtime=0.15 cores=4,6
/proc/31239/task/31241/stat : 31241 (fscip) R 31236 31239 29025 0 -1 4194368 7374 0 0 0 15 0 0 0 20 0 3 0 4816497 156217344 22051 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
[pid=31239/tid=31242] ppid=31236 vsize=152556 memory=0 CPUtime=0 cores=4,6
/proc/31239/task/31242/stat : 31242 (fscip) S 31236 31239 29025 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4816499 156217344 22051 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 152556 KiB
Current children cumulated memory: 88204 KiB

[startup+0.700235 s]
/proc/loadavg: 4.14 4.11 4.05 5/266 31242
/proc/meminfo: memFree=123443072/131524592 swapFree=131071996/131071996
[pid=31239] ppid=31236 vsize=152556 memory=93016 CPUtime=0.68 cores=4,6
/proc/31239/stat : 31239 (fscip) S 31236 31239 29025 0 -1 1077936128 21985 0 0 0 65 3 0 0 20 0 3 0 4816484 156217344 23254 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
/proc/31239/statm: 38139 23254 2950 3035 0 27700 0
[pid=31239/tid=31241] ppid=31236 vsize=152556 memory=0 CPUtime=0.54 cores=4,6
/proc/31239/task/31241/stat : 31241 (fscip) R 31236 31239 29025 0 -1 4194368 8549 0 0 0 54 0 0 0 20 0 3 0 4816497 156217344 23254 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
[pid=31239/tid=31242] ppid=31236 vsize=152556 memory=0 CPUtime=0 cores=4,6
/proc/31239/task/31242/stat : 31242 (fscip) S 31236 31239 29025 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4816499 156217344 23254 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 152556 KiB
Current children cumulated memory: 93016 KiB

[startup+1.50024 s]
/proc/loadavg: 4.14 4.11 4.05 5/266 31242
/proc/meminfo: memFree=123434484/131524592 swapFree=131071996/131071996
[pid=31239] ppid=31236 vsize=152556 memory=101168 CPUtime=1.48 cores=4,6
/proc/31239/stat : 31239 (fscip) S 31236 31239 29025 0 -1 1077936128 28881 0 0 0 145 3 0 0 20 0 3 0 4816484 156217344 25292 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
/proc/31239/statm: 38139 25292 2950 3035 0 30514 0
[pid=31239/tid=31241] ppid=31236 vsize=152556 memory=0 CPUtime=1.34 cores=4,6
/proc/31239/task/31241/stat : 31241 (fscip) R 31236 31239 29025 0 -1 4194368 15440 0 0 0 133 1 0 0 20 0 3 0 4816497 156217344 25292 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
[pid=31239/tid=31242] ppid=31236 vsize=152556 memory=0 CPUtime=0 cores=4,6
/proc/31239/task/31242/stat : 31242 (fscip) S 31236 31239 29025 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4816499 156217344 25292 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 152556 KiB
Current children cumulated memory: 101168 KiB

[startup+3.10533 s]
/proc/loadavg: 4.14 4.11 4.05 5/266 31242
/proc/meminfo: memFree=123391684/131524592 swapFree=131071996/131071996
[pid=31239] ppid=31236 vsize=152556 memory=109512 CPUtime=3.08 cores=4,6
/proc/31239/stat : 31239 (fscip) S 31236 31239 29025 0 -1 1077936128 31054 0 0 0 304 4 0 0 20 0 3 0 4816484 156217344 27378 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
/proc/31239/statm: 38139 27378 2950 3035 0 33693 0
[pid=31239/tid=31241] ppid=31236 vsize=152556 memory=0 CPUtime=2.95 cores=4,6
/proc/31239/task/31241/stat : 31241 (fscip) R 31236 31239 29025 0 -1 4194368 17613 0 0 0 293 2 0 0 20 0 3 0 4816497 156217344 27378 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
[pid=31239/tid=31242] ppid=31236 vsize=152556 memory=2209 CPUtime=0 cores=4,6
/proc/31239/task/31242/stat : 31242 (fscip) S 31236 31239 29025 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4816499 156217344 27378 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 152556 KiB
Current children cumulated memory: 109512 KiB

[startup+6.30024 s]
/proc/loadavg: 4.13 4.11 4.05 5/264 31290
/proc/meminfo: memFree=123176420/131524592 swapFree=131071996/131071996
[pid=31239] ppid=31236 vsize=218092 memory=111968 CPUtime=6.27 cores=4,6
/proc/31239/stat : 31239 (fscip) S 31236 31239 29025 0 -1 1077936128 44673 0 0 0 622 5 0 0 20 0 3 0 4816484 223326208 27992 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
/proc/31239/statm: 54523 27992 2950 3035 0 35744 0
[pid=31239/tid=31241] ppid=31236 vsize=218092 memory=0 CPUtime=6.12 cores=4,6
/proc/31239/task/31241/stat : 31241 (fscip) R 31236 31239 29025 0 -1 4194368 31228 0 0 0 610 2 0 0 20 0 3 0 4816497 223326208 27992 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
[pid=31239/tid=31242] ppid=31236 vsize=218092 memory=0 CPUtime=0 cores=4,6
/proc/31239/task/31242/stat : 31242 (fscip) S 31236 31239 29025 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 4816499 223326208 27992 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 218092 KiB
Current children cumulated memory: 111968 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 4.05 5/264 31290
/proc/meminfo: memFree=123150188/131524592 swapFree=131071996/131071996
[pid=31239] ppid=31236 vsize=218092 memory=124780 CPUtime=12.65 cores=4,6
/proc/31239/stat : 31239 (fscip) S 31236 31239 29025 0 -1 1077936128 56585 0 0 0 1259 6 0 0 20 0 3 0 4816484 223326208 31195 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
/proc/31239/statm: 54523 31195 2950 3035 0 39626 0
[pid=31239/tid=31241] ppid=31236 vsize=218092 memory=124780 CPUtime=12.51 cores=4,6
/proc/31239/task/31241/stat : 31241 (fscip) R 31236 31239 29025 0 -1 4194368 43138 0 0 0 1247 4 0 0 20 0 3 0 4816497 223326208 31195 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
[pid=31239/tid=31242] ppid=31236 vsize=218092 memory=11576 CPUtime=0 cores=4,6
/proc/31239/task/31242/stat : 31242 (fscip) S 31236 31239 29025 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 4816499 223326208 31195 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 218092 KiB
Current children cumulated memory: 124780 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.05 5/266 31295
/proc/meminfo: memFree=122818708/131524592 swapFree=131071996/131071996
[pid=31239] ppid=31236 vsize=218092 memory=124972 CPUtime=25.42 cores=4,6
/proc/31239/stat : 31239 (fscip) S 31236 31239 29025 0 -1 1077936128 67902 0 0 0 2535 7 0 0 20 0 3 0 4816484 223326208 31243 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
/proc/31239/statm: 54523 31243 2998 3035 0 39626 0
[pid=31239/tid=31241] ppid=31236 vsize=218092 memory=4564 CPUtime=25.28 cores=4,6
/proc/31239/task/31241/stat : 31241 (fscip) R 31236 31239 29025 0 -1 4194368 54366 0 0 0 2524 4 0 0 20 0 3 0 4816497 223326208 31243 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
[pid=31239/tid=31242] ppid=31236 vsize=218092 memory=124972 CPUtime=0 cores=4,6
/proc/31239/task/31242/stat : 31242 (fscip) S 31236 31239 29025 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 4816499 223326208 31243 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 218092 KiB
Current children cumulated memory: 124972 KiB

[startup+51.1056 s]
/proc/loadavg: 4.13 4.11 4.05 5/270 31406
/proc/meminfo: memFree=123084504/131524592 swapFree=131071996/131071996
[pid=31239] ppid=31236 vsize=283628 memory=160732 CPUtime=50.97 cores=4,6
/proc/31239/stat : 31239 (fscip) S 31236 31239 29025 0 -1 1077936128 99984 0 0 0 5087 10 0 0 20 0 3 0 4816484 290435072 40183 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
/proc/31239/statm: 70907 40183 2998 3035 0 54725 0
[pid=31239/tid=31241] ppid=31236 vsize=283628 memory=12408 CPUtime=50.82 cores=4,6
/proc/31239/task/31241/stat : 31241 (fscip) R 31236 31239 29025 0 -1 4194368 86338 0 0 0 5075 7 0 0 20 0 3 0 4816497 290435072 40183 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
[pid=31239/tid=31242] ppid=31236 vsize=283628 memory=139932 CPUtime=0 cores=4,6
/proc/31239/task/31242/stat : 31242 (fscip) S 31236 31239 29025 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 4816499 290435072 40183 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 283628 KiB
Current children cumulated memory: 160732 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/268 31416
/proc/meminfo: memFree=122989852/131524592 swapFree=131071996/131071996
[pid=31239] ppid=31236 vsize=356404 memory=210344 CPUtime=102.05 cores=4,6
/proc/31239/stat : 31239 (fscip) S 31236 31239 29025 0 -1 1077936128 164081 0 0 0 10189 16 0 0 20 0 3 0 4816484 364957696 52586 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
/proc/31239/statm: 89101 52586 2998 3035 0 85001 0
[pid=31239/tid=31241] ppid=31236 vsize=356404 memory=11576 CPUtime=101.9 cores=4,6
/proc/31239/task/31241/stat : 31241 (fscip) R 31236 31239 29025 0 -1 4194368 150216 0 0 0 10177 13 0 0 20 0 3 0 4816497 364957696 52586 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
[pid=31239/tid=31242] ppid=31236 vsize=356404 memory=205956 CPUtime=0 cores=4,6
/proc/31239/task/31242/stat : 31242 (fscip) S 31236 31239 29025 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 4816499 364957696 52586 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 356404 KiB
Current children cumulated memory: 210344 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 4.09 4.05 5/268 31426
/proc/meminfo: memFree=122960432/131524592 swapFree=131071996/131071996
[pid=31239] ppid=31236 vsize=421940 memory=229848 CPUtime=161.89 cores=4,6
/proc/31239/stat : 31239 (fscip) S 31236 31239 29025 0 -1 1077936128 193534 0 0 0 16170 19 0 0 20 0 3 0 4816484 432066560 57462 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
/proc/31239/statm: 105485 57462 2998 3035 0 93742 0
[pid=31239/tid=31241] ppid=31236 vsize=421940 memory=226388 CPUtime=161.74 cores=4,6
/proc/31239/task/31241/stat : 31241 (fscip) R 31236 31239 29025 0 -1 4194368 179498 0 0 0 16158 16 0 0 20 0 3 0 4816497 432066560 57462 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
[pid=31239/tid=31242] ppid=31236 vsize=421940 memory=226388 CPUtime=0 cores=4,6
/proc/31239/task/31242/stat : 31242 (fscip) S 31236 31239 29025 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 4816499 432066560 57462 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 421940 KiB
Current children cumulated memory: 229848 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.12 4.06 5/268 31437

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

Current children cumulated memory: 1034900 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.16 4.13 5/264 33067
/proc/meminfo: memFree=121352492/131524592 swapFree=131071996/131071996
[pid=31239] ppid=31236 vsize=1154440 memory=1046372 CPUtime=3394.23 cores=4,6
/proc/31239/stat : 31239 (fscip) S 31236 31239 29025 0 -1 1077936128 1492330 0 0 0 339292 131 0 0 20 0 3 0 4816484 1182146560 261593 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
/proc/31239/statm: 288610 261593 2998 3035 0 278389 0
[pid=31239/tid=31241] ppid=31236 vsize=1154440 memory=1034896 CPUtime=3393.88 cores=4,6
/proc/31239/task/31241/stat : 31241 (fscip) R 31236 31239 29025 0 -1 4194368 1477122 0 0 0 339267 121 0 0 20 0 3 0 4816497 1182146560 261593 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
[pid=31239/tid=31242] ppid=31236 vsize=1154440 memory=1046352 CPUtime=0.02 cores=4,6
/proc/31239/task/31242/stat : 31242 (fscip) S 31236 31239 29025 0 -1 1077936192 153 0 0 0 0 2 0 0 20 0 3 0 4816499 1182146560 261593 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
Current children cumulated CPU time: 3394.23 s
Current children cumulated vsize: 1154440 KiB
Current children cumulated memory: 1046372 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.16 4.13 5/264 33078
/proc/meminfo: memFree=121338668/131524592 swapFree=131071996/131071996
[pid=31239] ppid=31236 vsize=1154440 memory=1053636 CPUtime=3454.08 cores=4,6
/proc/31239/stat : 31239 (fscip) S 31236 31239 29025 0 -1 1077936128 1548750 0 0 0 345274 134 0 0 20 0 3 0 4816484 1182146560 263409 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
/proc/31239/statm: 288610 263409 2998 3035 0 279361 0
[pid=31239/tid=31241] ppid=31236 vsize=1154440 memory=1034896 CPUtime=3453.74 cores=4,6
/proc/31239/task/31241/stat : 31241 (fscip) R 31236 31239 29025 0 -1 4194368 1533520 0 0 0 345249 125 0 0 20 0 3 0 4816497 1182146560 263409 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
[pid=31239/tid=31242] ppid=31236 vsize=1154440 memory=12408 CPUtime=0.02 cores=4,6
/proc/31239/task/31242/stat : 31242 (fscip) S 31236 31239 29025 0 -1 1077936192 153 0 0 0 0 2 0 0 20 0 3 0 4816499 1182146560 263409 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
Current children cumulated CPU time: 3454.08 s
Current children cumulated vsize: 1154440 KiB
Current children cumulated memory: 1053636 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.15 4.12 5/265 33091
/proc/meminfo: memFree=121319052/131524592 swapFree=131071996/131071996
[pid=31239] ppid=31236 vsize=1154440 memory=1065168 CPUtime=3513.94 cores=4,6
/proc/31239/stat : 31239 (fscip) S 31236 31239 29025 0 -1 1077936128 1605986 0 0 0 351257 137 0 0 20 0 3 0 4816484 1182146560 266292 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
/proc/31239/statm: 288610 266292 2998 3035 0 280127 0
[pid=31239/tid=31241] ppid=31236 vsize=1154440 memory=1055876 CPUtime=3513.59 cores=4,6
/proc/31239/task/31241/stat : 31241 (fscip) R 31236 31239 29025 0 -1 4194368 1590737 0 0 0 351231 128 0 0 20 0 3 0 4816497 1182146560 266292 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
[pid=31239/tid=31242] ppid=31236 vsize=1154440 memory=1828 CPUtime=0.02 cores=4,6
/proc/31239/task/31242/stat : 31242 (fscip) S 31236 31239 29025 0 -1 1077936192 155 0 0 0 0 2 0 0 20 0 3 0 4816499 1182146560 266292 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
Current children cumulated CPU time: 3513.94 s
Current children cumulated vsize: 1154440 KiB
Current children cumulated memory: 1065168 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.12 5/265 33269
/proc/meminfo: memFree=121310304/131524592 swapFree=131071996/131071996
[pid=31239] ppid=31236 vsize=1154440 memory=1071448 CPUtime=3573.8 cores=4,6
/proc/31239/stat : 31239 (fscip) S 31236 31239 29025 0 -1 1077936128 1665076 0 0 0 357239 141 0 0 20 0 3 0 4816484 1182146560 267862 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
/proc/31239/statm: 288610 267862 2998 3035 0 283217 0
[pid=31239/tid=31241] ppid=31236 vsize=1154440 memory=1070944 CPUtime=3573.45 cores=4,6
/proc/31239/task/31241/stat : 31241 (fscip) R 31236 31239 29025 0 -1 4194368 1649810 0 0 0 357214 131 0 0 20 0 3 0 4816497 1182146560 267862 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
[pid=31239/tid=31242] ppid=31236 vsize=1154440 memory=11576 CPUtime=0.02 cores=4,6
/proc/31239/task/31242/stat : 31242 (fscip) S 31236 31239 29025 0 -1 1077936192 157 0 0 0 0 2 0 0 20 0 3 0 4816499 1182146560 267862 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
Current children cumulated CPU time: 3573.8 s
Current children cumulated vsize: 1154440 KiB
Current children cumulated memory: 1071448 KiB

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

# cumulated CPU time of all completed processes:  user=3588.25 s, system=1.4362 s

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

[startup+3584 s]*
/proc/loadavg: 4.15 4.15 4.12 5/265 33270
/proc/meminfo: memFree=121309648/131524592 swapFree=131071996/131071996
[pid=31239] ppid=31236 vsize=1154440 memory=1071460 CPUtime=3575.5 cores=4,6
/proc/31239/stat : 31239 (fscip) S 31236 31239 29025 0 -1 1077936128 1665140 0 0 0 357409 141 0 0 20 0 3 0 4816484 1182146560 267865 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
/proc/31239/statm: 288610 267865 2998 3035 0 283217 0
[pid=31239/tid=31241] ppid=31236 vsize=1154440 memory=-5155625799758015365 CPUtime=3575.15 cores=4,6
/proc/31239/task/31241/stat : 31241 (fscip) R 31236 31239 29025 0 -1 4194368 1649874 0 0 0 357384 131 0 0 20 0 3 0 4816497 1182146560 267865 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
[pid=31239/tid=31242] ppid=31236 vsize=1154440 memory=-5155633680935826750 CPUtime=0.02 cores=4,6
/proc/31239/task/31242/stat : 31242 (fscip) S 31236 31239 29025 0 -1 1077936192 157 0 0 0 0 2 0 0 20 0 3 0 4816499 1182146560 267865 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
Current children cumulated CPU time: 3575.5 s
Current children cumulated vsize: 1154440 KiB
Current children cumulated memory: 1071460 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.15 4.12 5/265 33270
/proc/meminfo: memFree=121308456/131524592 swapFree=131071996/131071996
[pid=31239] ppid=31236 vsize=1154440 memory=1071484 CPUtime=3581.88 cores=4,6
/proc/31239/stat : 31239 (fscip) S 31236 31239 29025 0 -1 1077936128 1665466 0 0 0 358047 141 0 0 20 0 3 0 4816484 1182146560 267871 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
/proc/31239/statm: 288610 267871 2998 3035 0 283217 0
[pid=31239/tid=31241] ppid=31236 vsize=1154440 memory=613240 CPUtime=3581.53 cores=4,6
/proc/31239/task/31241/stat : 31241 (fscip) R 31236 31239 29025 0 -1 4194368 1650200 0 0 0 358022 131 0 0 20 0 3 0 4816497 1182146560 267871 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
[pid=31239/tid=31242] ppid=31236 vsize=1154440 memory=0 CPUtime=0.02 cores=4,6
/proc/31239/task/31242/stat : 31242 (fscip) S 31236 31239 29025 0 -1 1077936192 157 0 0 0 0 2 0 0 20 0 3 0 4816499 1182146560 267871 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
Current children cumulated CPU time: 3581.88 s
Current children cumulated vsize: 1154440 KiB
Current children cumulated memory: 1071484 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.14 4.12 5/265 33270
/proc/meminfo: memFree=121308448/131524592 swapFree=131071996/131071996
[pid=31239] ppid=31236 vsize=1154440 memory=1071508 CPUtime=3585.07 cores=4,6
/proc/31239/stat : 31239 (fscip) S 31236 31239 29025 0 -1 1077936128 1665546 0 0 0 358366 141 0 0 20 0 3 0 4816484 1182146560 267877 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
/proc/31239/statm: 288610 267877 2998 3035 0 283217 0
[pid=31239/tid=31241] ppid=31236 vsize=1154440 memory=1071484 CPUtime=3584.72 cores=4,6
/proc/31239/task/31241/stat : 31241 (fscip) R 31236 31239 29025 0 -1 4194368 1650280 0 0 0 358341 131 0 0 20 0 3 0 4816497 1182146560 267877 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
[pid=31239/tid=31242] ppid=31236 vsize=1154440 memory=-7524225819037753469 CPUtime=0.02 cores=4,6
/proc/31239/task/31242/stat : 31242 (fscip) S 31236 31239 29025 0 -1 1077936192 157 0 0 0 0 2 0 0 20 0 3 0 4816499 1182146560 267877 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
Current children cumulated CPU time: 3585.07 s
Current children cumulated vsize: 1154440 KiB
Current children cumulated memory: 1071508 KiB

[startup+3596.8 s]
/proc/loadavg: 4.11 4.14 4.12 5/265 33272
/proc/meminfo: memFree=121308280/131524592 swapFree=131071996/131071996
[pid=31239] ppid=31236 vsize=1154440 memory=1071532 CPUtime=3588.27 cores=4,6
/proc/31239/stat : 31239 (fscip) S 31236 31239 29025 0 -1 1077936128 1665695 0 0 0 358686 141 0 0 20 0 3 0 4816484 1182146560 267883 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
/proc/31239/statm: 288610 267883 2998 3035 0 283217 0
[pid=31239/tid=31241] ppid=31236 vsize=1154440 memory=5448 CPUtime=3587.91 cores=4,6
/proc/31239/task/31241/stat : 31241 (fscip) R 31236 31239 29025 0 -1 4194368 1650429 0 0 0 358660 131 0 0 20 0 3 0 4816497 1182146560 267883 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
[pid=31239/tid=31242] ppid=31236 vsize=1154440 memory=1071448 CPUtime=0.02 cores=4,6
/proc/31239/task/31242/stat : 31242 (fscip) S 31236 31239 29025 0 -1 1077936192 157 0 0 0 0 2 0 0 20 0 3 0 4816499 1182146560 267883 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
Current children cumulated CPU time: 3588.27 s
Current children cumulated vsize: 1154440 KiB
Current children cumulated memory: 1071532 KiB

[startup+3597.6 s]
/proc/loadavg: 4.11 4.14 4.12 5/261 33286
/proc/meminfo: memFree=121875420/131524592 swapFree=131071996/131071996
[pid=31239] ppid=31236 vsize=1154440 memory=1071532 CPUtime=3589.06 cores=4,6
/proc/31239/stat : 31239 (fscip) S 31236 31239 29025 0 -1 1077936128 1665703 0 0 0 358765 141 0 0 20 0 3 0 4816484 1182146560 267883 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
/proc/31239/statm: 288610 267883 2998 3035 0 283217 0
[pid=31239/tid=31241] ppid=31236 vsize=1154440 memory=33260 CPUtime=3588.71 cores=4,6
/proc/31239/task/31241/stat : 31241 (fscip) R 31236 31239 29025 0 -1 4194368 1650437 0 0 0 358740 131 0 0 20 0 3 0 4816497 1182146560 267883 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
[pid=31239/tid=31242] ppid=31236 vsize=1154440 memory=12888 CPUtime=0.02 cores=4,6
/proc/31239/task/31242/stat : 31242 (fscip) S 31236 31239 29025 0 -1 1077936192 157 0 0 0 0 2 0 0 20 0 3 0 4816499 1182146560 267883 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
Current children cumulated CPU time: 3589.06 s
Current children cumulated vsize: 1154440 KiB
Current children cumulated memory: 1071532 KiB

[startup+3598 s]*
/proc/loadavg: 4.11 4.14 4.12 5/263 33318
/proc/meminfo: memFree=121756952/131524592 swapFree=131071996/131071996
[pid=31239] ppid=31236 vsize=1154440 memory=1075628 CPUtime=3589.47 cores=4,6
/proc/31239/stat : 31239 (fscip) S 31236 31239 29025 0 -1 1077936128 1665911 0 0 0 358806 141 0 0 20 0 3 0 4816484 1182146560 268907 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
/proc/31239/statm: 288610 268907 2998 3035 0 283217 0
[pid=31239/tid=31241] ppid=31236 vsize=1154440 memory=2632 CPUtime=3589.11 cores=4,6
/proc/31239/task/31241/stat : 31241 (fscip) R 31236 31239 29025 0 -1 4194368 1650645 0 0 0 358780 131 0 0 20 0 3 0 4816497 1182146560 268907 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
[pid=31239/tid=31242] ppid=31236 vsize=1154440 memory=5008 CPUtime=0.02 cores=4,6
/proc/31239/task/31242/stat : 31242 (fscip) S 31236 31239 29025 0 -1 1077936192 157 0 0 0 0 2 0 0 20 0 3 0 4816499 1182146560 268907 134679101440 4194304 16623229 140732290424272 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31965184 140732290429974 140732290430090 140732290430090 140732290437104 0
Current children cumulated CPU time: 3589.47 s
Current children cumulated vsize: 1154440 KiB
Current children cumulated memory: 1075628 KiB

[startup+3598.21 s]*
/proc/loadavg: 4.11 4.14 4.12 5/261 33318
/proc/meminfo: memFree=122149592/131524592 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3598.22
CPU time (s): 3589.69
CPU user time (s): 3588.25
CPU system time (s): 1.4362
CPU usage (%): 99.7628
Max. virtual memory (cumulated for all children) (KiB): 1154440
Max. memory (cumulated for all children) (KiB): 1075628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.25
system time used= 1.4362
maximum resident set size= 1080452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1683532
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= 10126
involuntary context switches= 3992


# summary of solver processes directly reported to runsolver:
#   pid: 31239
#   total CPU time (s): 3589.69
#   total CPU user time (s): 3588.25
#   total CPU system time (s): 1.4362

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77477 second user time and 16.0812 second system time

The end

Launcher Data

Begin job on nodeC016 at 2024-07-31 01:29:54
IDJOB=4464797
IDBENCH=148535
IDSOLVER=3092
FILE ID=nodeC016/4464797-1722382194
RUNJOBID= nodeC016-1722378594-29036
SLURM_JOB_ID= 8249829
Free space on /tmp= 890000 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_3.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-4464797-1722382194/watcher-4464797-1722382194 -o /tmp/evaluation-result-4464797-1722382194/solver-4464797-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722378594-29036 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464797-1722382194.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= fd2f82137517c7c348dacac3fbe759ff
RANDOM SEED=1453536771

nodeC016.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		: 3667.865
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.92
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		: 3690.303
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.47
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		: 3661.451
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.200
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.47
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		: 3661.181
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.92
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		: 3600.211
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.47
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		: 3668.952
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.92
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		: 3690.302
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.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524592 kB
MemFree:        123542624 kB
MemAvailable:   128944460 kB
Buffers:          101184 kB
Cached:          6106296 kB
SwapCached:            0 kB
Active:           272472 kB
Inactive:        7167432 kB
Active(anon):       1556 kB
Inactive(anon):  1252208 kB
Active(file):     270916 kB
Inactive(file):  5915224 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             85900 kB
Writeback:             0 kB
AnonPages:       1232800 kB
Mapped:           124556 kB
Shmem:             21336 kB
KReclaimable:     110996 kB
Slab:             197952 kB
SReclaimable:     110996 kB
SUnreclaim:        86956 kB
KernelStack:        4240 kB
PageTables:        11652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:    1145284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9920 kB
HardwareCorrupted:     0 kB
AnonHugePages:    301056 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:      275156 kB
DirectMap2M:     7886848 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 889968 MiB
End job on nodeC016 at 2024-07-31 02:29:52