Trace number 4464798

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-70 3588.21 3598.28

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_500_25_4.opb
MD5SUM5f642955075bb0dd80aabe9a80ec63b9
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 benchmark71244.4
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)15754
Sum of products size (including duplicates)31508
Number of different products7877
Sum of products size15754

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.05	c Default LC presolving (default).
0.00/0.05	c ** Before presolving: virtualMemUsedAtLc = 53862400, getVmSize() = 53862400, SCIPgetMemUsed() = 27258126, SCIPgetMemTotal() = 31321894, SCIPgetMemExternEstim() = 16611367
0.00/0.05	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.09/0.14	c ** Estimated virtualMemUsedAtSolver = 41779452, getVmSize() = 70643712, SCIPgetMemUsed() = 29390300, SCIPgetMemTotal() = 46057812, SCIPgetMemExternEstim() = 16611367
0.09/0.14	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.09/0.14	c Original Problem   :
0.09/0.14	c   Problem name     : instance-4464798-1722382194
0.09/0.14	c   Variables        : 8377 (500 binary, 0 integer, 7877 implicit integer, 0 continuous)
0.09/0.14	c   Constraints      : 8877
0.09/0.14	c   Objective sense  : minimize
0.09/0.14	c Presolved Problem  :
0.09/0.14	c   Variables        : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.14	c   Constraints      : 7877
0.09/0.14	c Constraints        : Number
0.09/0.14	c   setppc           : 7877 
0.09/0.14	c ** Instance transfer method used: 0
0.09/0.15	c ** ParaScipInstance copy does not increase the number of variables. **
0.09/0.16	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.09/0.16	c                                Nodes    Active                                            
0.09/0.16	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.19/0.25	c *       0              0           1         1         -49.0000                -          -
0.19/0.26	c *       0              0           1         1         -65.0000                -          -
0.19/0.27	c *       0              0           1         1         -70.0000                -          -
12.35/12.46	c        12              2           1         1         -70.0000        -148.0000    111.43%
18.63/18.72	c        19              4           3         1         -70.0000        -147.7302    111.04%
24.52/24.62	c        25              7           6         1         -70.0000        -147.0512    110.07%
29.81/29.97	c        30              9           8         1         -70.0000        -147.0512    110.07%
34.80/34.98	c        35             33          32         1         -70.0000        -147.0083    110.01%
40.58/40.79	c        41             50          49         1         -70.0000        -147.0083    110.01%
46.36/46.58	c        47             62          61         1         -70.0000        -146.8653    109.81%
52.06/52.21	c        52             70          69         1         -70.0000        -146.8653    109.81%
57.54/57.79	c        58             88          87         1         -70.0000        -146.8653    109.81%
63.52/63.73	c        64            124         123         1         -70.0000        -146.7680    109.67%
69.01/69.24	c        69            153         152         1         -70.0000        -146.2719    108.96%
74.30/74.54	c        75            170         169         1         -70.0000        -146.2719    108.96%
80.58/80.82	c        81            181         180         1         -70.0000        -146.2719    108.96%
85.77/86.07	c        86            192         191         1         -70.0000        -146.0955    108.71%
92.75/93.05	c        93            207         206         1         -70.0000        -146.0955    108.71%
100.23/100.54	c       101            223         222         1         -70.0000        -145.1699    107.39%
105.72/106.03	c       106            239         238         1         -70.0000        -145.1699    107.39%
110.71/111.06	c       111            255         254         1         -70.0000        -145.1170    107.31%
116.89/117.21	c       117            264         263         1         -70.0000        -145.1170    107.31%
123.07/123.41	c       123            283         282         1         -70.0000        -145.0658    107.24%
128.76/129.13	c       129            296         295         1         -70.0000        -145.0658    107.24%
134.54/134.92	c       135            311         310         1         -70.0000        -144.6429    106.63%
139.93/140.38	c       140            326         325         1         -70.0000        -144.6429    106.63%
145.41/145.83	c       146            341         340         1         -70.0000        -144.5167    106.45%
151.79/152.24	c       152            358         357         1         -70.0000        -144.5167    106.45%
157.59/158.04	c       158            373         372         1         -70.0000        -144.0381    105.77%
163.37/163.89	c       164            391         390         1         -70.0000        -144.0381    105.77%
168.75/169.27	c       169            406         405         1         -70.0000        -143.3850    104.84%
175.03/175.51	c       176            424         423         1         -70.0000        -143.3850    104.84%
180.21/180.75	c       181            449         448         1         -70.0000        -143.3850    104.84%
185.61/186.19	c       186            464         463         1         -70.0000        -143.3850    104.84%
192.78/193.38	c       193            500         499         1         -70.0000        -143.3850    104.84%
198.47/199.00	c       199            523         522         1         -70.0000        -143.3850    104.84%
203.64/204.24	c       204            540         539         1         -70.0000        -143.3850    104.84%
209.03/209.60	c       210            564         563         1         -70.0000        -143.3850    104.84%
214.51/215.11	c       215            579         578         1         -70.0000        -143.3850    104.84%
220.59/221.23	c       221            600         599         1         -70.0000        -143.3850    104.84%
226.17/226.88	c       227            616         615         1         -70.0000        -143.3850    104.84%
232.15/232.81	c       233            633         632         1         -70.0000        -143.3850    104.84%
238.44/239.11	c       239            661         660         1         -70.0000        -143.3850    104.84%
243.91/244.65	c       245            687         686         1         -70.0000        -143.3850    104.84%
249.00/249.74	c       250            712         711         1         -70.0000        -143.3850    104.84%
254.28/255.08	c       255            739         738         1         -70.0000        -143.3850    104.84%
260.07/260.82	c       261            767         766         1         -70.0000        -143.3850    104.84%
265.36/266.17	c       266            804         803         1         -70.0000        -143.3850    104.84%
270.44/271.20	c       271            833         832         1         -70.0000        -143.3850    104.84%
275.41/276.21	c       276            855         854         1         -70.0000        -143.3850    104.84%
280.50/281.33	c       281            883         882         1         -70.0000        -143.3850    104.84%
288.97/289.88	c       290            906         905         1         -70.0000        -143.3850    104.84%
294.05/294.99	c       295            932         931         1         -70.0000        -143.3850    104.84%
299.54/300.41	c       300            960         959         1         -70.0000        -143.2976    104.71%
304.52/305.50	c       306            983         982         1         -70.0000        -143.2976    104.71%
310.21/311.18	c       311           1001        1000         1         -70.0000        -143.2976    104.71%
315.29/316.22	c       316           1017        1016         1         -70.0000        -143.2976    104.71%
329.44/330.45	c       330           1051           1         1         -70.0000        -143.2976    104.71%
335.22/336.25	c       336           1060          10         1         -70.0000        -143.2976    104.71%
340.61/341.69	c       342           1072          22         1         -70.0000        -143.2976    104.71%
348.58/349.62	c       350           1086          36         1         -70.0000        -143.2976    104.71%
354.17/355.27	c       355           1092          42         1         -70.0000        -143.2976    104.71%
360.05/361.15	c       361           1103          53         1         -70.0000        -143.2976    104.71%
365.32/366.47	c       366           1126          76         1         -70.0000        -143.2976    104.71%
370.71/371.84	c       372           1158         108         1         -70.0000        -143.2976    104.71%
376.18/377.32	c       377           1183         133         1         -70.0000        -143.2976    104.71%
381.67/382.81	c       383           1195         145         1         -70.0000        -143.2976    104.71%
387.74/388.99	c       389           1219         169         1         -70.0000        -143.2976    104.71%
392.94/394.12	c       394           1242         192         1         -70.0000        -143.2976    104.71%
398.71/399.96	c       400           1270         220         1         -70.0000        -143.2976    104.71%
404.59/405.88	c       406           1298         248         1         -70.0000        -143.2976    104.71%
410.28/411.54	c       412           1324         274         1         -70.0000        -143.2976    104.71%
415.66/416.98	c       417           1347         297         1         -70.0000        -143.2976    104.71%
420.95/422.25	c       422           1371         321         1         -70.0000        -143.2976    104.71%
426.33/427.68	c       428           1395         345         1         -70.0000        -143.2976    104.71%
431.91/433.24	c       433           1428         378         1         -70.0000        -143.2976    104.71%
437.10/438.47	c       438           1442         392         1         -70.0000        -143.2976    104.71%
442.69/444.02	c       444           1462         412         1         -70.0000        -143.2976    104.71%
448.27/449.69	c       450           1492         442         1         -70.0000        -143.2976    104.71%
453.55/454.98	c       455           1518         468         1         -70.0000        -143.2976    104.71%
459.54/460.91	c       461           1552         502         1         -70.0000        -143.2976    104.71%
465.63/467.05	c       467           1584         534         1         -70.0000        -143.2976    104.71%
471.00/472.49	c       472           1620         570         1         -70.0000        -143.2976    104.71%
476.49/477.97	c       478           1635         585         1         -70.0000        -143.2976    104.71%
482.27/483.77	c       484           1665         615         1         -70.0000        -143.2976    104.71%
488.15/489.66	c       490           1691         641         1         -70.0000        -143.2976    104.71%
493.54/495.02	c       495           1721         671         1         -70.0000        -143.2976    104.71%
499.12/500.64	c       501           1746         696         1         -70.0000        -143.2976    104.71%
505.11/506.63	c       507           1767         717         1         -70.0000        -143.2976    104.71%
510.60/512.12	c       512           1792         742         1         -70.0000        -143.2976    104.71%
516.58/518.19	c       518           1818         768         1         -70.0000        -143.2976    104.71%
522.56/524.12	c       524           1843         793         1         -70.0000        -143.2976    104.71%
528.75/530.36	c       530           1872         822         1         -70.0000        -143.2976    104.71%
534.73/536.31	c       536           1896         846         1         -70.0000        -143.2976    104.71%
540.12/541.75	c       542           1916         866         1         -70.0000        -143.0510    104.36%
545.60/547.20	c       547           1929         879         1         -70.0000        -142.9478    104.21%
551.59/553.25	c       553           1947         897         1         -70.0000        -142.2812    103.26%
557.57/559.23	c       559           1968         918         1         -70.0000        -142.0887    102.98%
563.05/564.79	c       565           1985         935         1         -70.0000        -142.0887    102.98%
568.24/569.91	c       570           2006         956         1         -70.0000        -142.0887    102.98%
573.62/575.32	c       575           2040         990         1         -70.0000        -142.0887    102.98%
578.71/580.41	c       580           2061        1011         1         -70.0000        -142.0887    102.98%
584.40/586.16	c       586           2083        1033         1         -70.0000        -142.0887    102.98%
590.38/592.12	c       592           2111        1061         1         -70.0000        -142.0887    102.98%
596.06/597.85	c       598           2149        1099         1         -70.0000        -142.0887    102.98%
602.54/604.32	c       604           2180        1130         1         -70.0000        -142.0887    102.98%
608.53/610.36	c       610           2208        1158         1         -70.0000        -142.0887    102.98%
614.01/615.86	c       616           2231        1181         1         -70.0000        -142.0887    102.98%
619.20/621.04	c       621           2274        1224         1         -70.0000        -142.0887    102.98%
624.29/626.13	c       626           2302        1252         1         -70.0000        -142.0887    102.98%
629.97/631.84	c       632           2328        1278         1         -70.0000        -142.0887    102.98%
635.26/637.11	c       637           2346        1296         1         -70.0000        -142.0887    102.98%
641.44/643.33	c       643           2367        1317         1         -70.0000        -142.0887    102.98%
646.53/648.48	c       648           2396        1346         1         -70.0000        -142.0887    102.98%
652.21/654.17	c       654           2418        1368         1         -70.0000        -142.0887    102.98%
658.68/660.67	c       661           2441        1391         1         -70.0000        -142.0887    102.98%
664.67/666.69	c       667           2485        1435         1         -70.0000        -142.0887    102.98%
669.95/671.91	c       672           2511        1461         1         -70.0000        -142.0887    102.98%
675.83/677.84	c       678           2539        1489         1         -70.0000        -142.0887    102.98%
682.02/684.04	c       684           2576        1526         1         -70.0000        -142.0887    102.98%
687.40/689.48	c       689           2602        1552         1         -70.0000        -142.0887    102.98%
693.09/695.14	c       695           2627        1577         1         -70.0000        -142.0887    102.98%
698.77/700.84	c       701           2650        1600         1         -70.0000        -142.0887    102.98%
704.56/706.64	c       707           2682        1632         1         -70.0000        -142.0887    102.98%
709.85/711.93	c       712           2719        1669         1         -70.0000        -142.0887    102.98%
715.43/717.56	c       718           2759        1709         1         -70.0000        -142.0887    102.98%
721.81/723.91	c       724           2794        1744         1         -70.0000        -142.0887    102.98%
727.50/729.62	c       730           2839        1789         1         -70.0000        -142.0887    102.98%
733.28/735.49	c       736           2874        1824         1         -70.0000        -142.0887    102.98%
738.87/741.07	c       741           2898        1848         1         -70.0000        -142.0887    102.98%
744.15/746.35	c       746           2921        1871         1         -70.0000        -142.0887    102.98%
750.13/752.38	c       752           2959        1909         1         -70.0000        -142.0887    102.98%
756.61/758.80	c       759           3000        1950         1         -70.0000        -142.0887    102.98%
762.30/764.54	c       765           3027        1977         1         -70.0000        -142.0887    102.98%
767.48/769.71	c       770           3063        2013         1         -70.0000        -142.0887    102.98%
773.37/775.61	c       776           3094        2044         1         -70.0000        -142.0887    102.98%
778.86/781.11	c       781           3127        2077         1         -70.0000        -142.0887    102.98%
784.84/787.19	c       787           3161        2111         1         -70.0000        -141.6353    102.34%
790.12/792.45	c       792           3192        2142         1         -70.0000        -141.6353    102.34%
796.50/798.83	c       799           3227        2177         1         -70.0000        -141.6353    102.34%
802.48/804.81	c       805           3261        2211         1         -70.0000        -141.6353    102.34%
808.07/810.43	c       810           3297        2247         1         -70.0000        -141.6353    102.34%
813.15/815.54	c       816           3321        2271         1         -70.0000        -141.6353    102.34%
818.44/820.88	c       821           3361        2311         1         -70.0000        -141.6353    102.34%
823.63/826.03	c       826           3392        2342         1         -70.0000        -141.6353    102.34%
828.72/831.15	c       831           3423        2373         1         -70.0000        -141.6353    102.34%
834.00/836.47	c       836           3464        2414         1         -70.0000        -141.6353    102.34%
839.28/841.70	c       842           3503        2453         1         -70.0000        -141.6353    102.34%
844.76/847.21	c       847           3547        2497         1         -70.0000        -141.6353    102.34%
850.15/852.63	c       853           3577        2527         1         -70.0000        -141.6353    102.34%
855.54/858.05	c       858           3619        2569         1         -70.0000        -141.6353    102.34%
861.42/863.96	c       864           3658        2608         1         -70.0000        -141.6353    102.34%
866.90/869.44	c       869           3700        2650         1         -70.0000        -141.6353    102.34%
872.59/875.18	c       875           3735        2685         1         -70.0000        -141.6353    102.34%
878.77/881.39	c       881           3767        2717         1         -70.0000        -141.6353    102.34%
884.26/886.87	c       887           3813        2763         1         -70.0000        -141.6353    102.34%
890.44/893.03	c       893           3855        2805         1         -70.0000        -141.6353    102.34%
896.23/898.86	c       899           3884        2834         1         -70.0000        -141.6353    102.34%
901.42/904.03	c       904           3906        2856         1         -70.0000        -141.6353    102.34%
907.10/909.72	c       910           3929        2879         1         -70.0000        -141.6353    102.34%
912.49/915.13	c       915           3970        2920         1         -70.0000        -141.6353    102.34%
918.37/921.04	c       921           4010        2960         1         -70.0000        -141.6353    102.34%
923.75/926.46	c       926           4043        2993         1         -70.0000        -141.6353    102.34%
929.54/932.25	c       932           4067        3017         1         -70.0000        -141.6353    102.34%
935.62/938.30	c       938           4113        3063         1         -70.0000        -141.6353    102.34%
941.01/943.72	c       944           4151        3101         1         -70.0000        -141.6353    102.34%
946.79/949.58	c       950           4192        3142         1         -70.0000        -141.6353    102.34%
952.38/955.15	c       955           4240        3190         1         -70.0000        -141.6353    102.34%
957.66/960.48	c       960           4272        3222         1         -70.0000        -141.6353    102.34%
963.85/966.68	c       967           4310        3260         1         -70.0000        -141.6353    102.34%
969.04/971.86	c       972           4342        3292         1         -70.0000        -141.6353    102.34%
974.42/977.26	c       977           4376        3326         1         -70.0000        -141.6353    102.34%
979.50/982.30	c       982           4409        3359         1         -70.0000        -141.6353    102.34%
984.99/987.80	c       988           4447        3397         1         -70.0000        -141.6353    102.34%
990.78/993.65	c       994           4484        3434         1         -70.0000        -141.6353    102.34%
996.47/999.32	c       999           4521        3471         1         -70.0000        -141.6353    102.34%
1001.95/1004.86	c      1005           4564        3514         1         -70.0000        -141.6353    102.34%
1007.83/1010.73	c      1011           4604        3554         1         -70.0000        -141.6353    102.34%
1013.22/1016.12	c      1016           4642        3592         1         -70.0000        -141.6353    102.34%
1019.00/1021.99	c      1022           4676        3626         1         -70.0000        -141.6353    102.34%
1024.69/1027.68	c      1028           4716        3666         1         -70.0000        -141.6353    102.34%
1030.47/1033.45	c      1033           4755        3705         1         -70.0000        -141.6353    102.34%
1035.76/1038.74	c      1039           4791        3741         1         -70.0000        -141.6353    102.34%
1041.44/1044.45	c      1044           4830        3780         1         -70.0000        -141.6353    102.34%
1047.23/1050.21	c      1050           4871        3821         1         -70.0000        -141.6353    102.34%
1052.32/1055.38	c      1055           4902        3852         1         -70.0000        -141.6353    102.34%
1058.20/1061.28	c      1061           4959        3909         1         -70.0000        -141.6353    102.34%
1063.99/1067.09	c      1067           4996        3946         1         -70.0000        -141.6353    102.34%
1069.67/1072.77	c      1073           5035        3985         1         -70.0000        -141.6353    102.34%
1074.96/1078.10	c      1078           5067        4017         1         -70.0000        -141.6353    102.34%
1080.64/1083.71	c      1084           5105        4055         1         -70.0000        -141.6353    102.34%
1086.04/1089.11	c      1089           5145        4095         1         -70.0000        -141.6353    102.34%
1091.32/1094.44	c      1094           5181        4131         1         -70.0000        -141.6353    102.34%
1097.20/1100.38	c      1100           5212        4162         1         -70.0000        -141.6353    102.34%
1102.58/1105.79	c      1106           5253        4203         1         -70.0000        -141.6353    102.34%
1108.07/1111.20	c      1111           5294        4244         1         -70.0000        -141.6353    102.34%
1113.55/1116.79	c      1117           5334        4284         1         -70.0000        -141.6353    102.34%
1119.04/1122.24	c      1122           5374        4324         1         -70.0000        -141.6353    102.34%
1124.63/1127.86	c      1128           5421        4371         1         -70.0000        -141.6353    102.34%
1130.01/1133.26	c      1133           5467        4417         1         -70.0000        -141.6353    102.34%
1135.50/1138.72	c      1139           5492        4442         1         -70.0000        -141.6353    102.34%
1140.89/1144.16	c      1144           5529        4479         1         -70.0000        -141.6353    102.34%
1146.37/1149.60	c      1150           5576        4526         1         -70.0000        -141.6353    102.34%
1152.35/1155.69	c      1156           5628        4578         1         -70.0000        -141.6353    102.34%
1157.64/1160.99	c      1161           5654        4604         1         -70.0000        -141.6353    102.34%
1163.42/1166.78	c      1167           5705        4655         1         -70.0000        -141.6131    102.30%
1169.30/1172.61	c      1173           5752        4702         1         -70.0000        -141.6131    102.30%
1175.29/1178.61	c      1179           5794        4744         1         -70.0000        -141.6131    102.30%
1180.97/1184.32	c      1184           5841        4791         1         -70.0000        -141.6131    102.30%
1186.26/1189.68	c      1190           5882        4832         1         -70.0000        -141.6131    102.30%
1191.75/1195.12	c      1195           5939        4889         1         -70.0000        -141.6131    102.30%
1197.74/1201.17	c      1201           5972        4922         1         -70.0000        -141.6131    102.30%
1202.72/1206.17	c      1206           6004        4954         1         -70.0000        -141.6131    102.30%
1208.40/1211.85	c      1212           6032        4982         1         -70.0000        -141.6131    102.30%
1213.69/1217.13	c      1217           6078        5028         1         -70.0000        -141.6131    102.30%
1219.58/1223.08	c      1223           6134        5084         1         -70.0000        -141.6131    102.30%
1225.57/1229.06	c      1229           6167        5117         1         -70.0000        -141.6131    102.30%
1231.45/1234.99	c      1235           6204        5154         1         -70.0000        -141.6131    102.30%
1237.33/1240.80	c      1241           6255        5205         1         -70.0000        -141.6131    102.30%
1243.21/1246.70	c      1247           6299        5249         1         -70.0000        -141.6131    102.30%
1248.90/1252.46	c      1252           6335        5285         1         -70.0000        -141.6131    102.30%
1254.19/1257.70	c      1258           6378        5328         1         -70.0000        -141.6131    102.30%
1260.47/1264.01	c      1264           6409        5359         1         -70.0000        -141.6131    102.30%
1265.75/1269.38	c      1269           6452        5402         1         -70.0000        -141.6131    102.30%
1271.14/1274.75	c      1275           6486        5436         1         -70.0000        -141.6131    102.30%
1276.53/1280.19	c      1280           6517        5467         1         -70.0000        -141.2432    101.78%
1281.91/1285.50	c      1286           6551        5501         1         -70.0000        -141.2432    101.78%
1286.99/1290.68	c      1291           6577        5527         1         -70.0000        -141.2432    101.78%
1292.97/1296.68	c      1297           6624        5574         1         -70.0000        -141.2432    101.78%
1298.26/1301.91	c      1302           6667        5617         1         -70.0000        -141.2432    101.78%
1303.75/1307.41	c      1307           6707        5657         1         -70.0000        -141.2432    101.78%
1309.53/1313.28	c      1313           6758        5708         1         -70.0000        -141.2432    101.78%
1315.21/1318.98	c      1319           6790        5740         1         -70.0000        -141.2432    101.78%
1320.40/1324.18	c      1324           6846        5796         1         -70.0000        -141.2432    101.78%
1325.78/1329.54	c      1330           6898        5848         1         -70.0000        -141.2432    101.78%
1331.07/1334.85	c      1335           6926        5876         1         -70.0000        -141.2432    101.78%
1336.37/1340.13	c      1340           6977        5927         1         -70.0000        -141.2432    101.78%
1342.15/1345.93	c      1346           7012        5962         1         -70.0000        -141.2432    101.78%
1347.93/1351.72	c      1352           7054        6004         1         -70.0000        -141.2432    101.78%
1353.81/1357.63	c      1358           7109        6059         1         -70.0000        -141.2432    101.78%
1359.79/1363.60	c      1364           7153        6103         1         -70.0000        -141.2432    101.78%
1365.99/1369.80	c      1370           7203        6153         1         -70.0000        -141.2432    101.78%
1371.87/1375.78	c      1376           7236        6186         1         -70.0000        -141.2432    101.78%
1378.16/1382.01	c      1382           7279        6229         1         -70.0000        -141.2432    101.78%
1383.74/1387.67	c      1388           7326        6276         1         -70.0000        -140.9771    101.40%
1389.62/1393.50	c      1394           7375        6325         1         -70.0000        -140.3080    100.44%
1395.80/1399.80	c      1400           7424        6374         1         -70.0000        -139.9032     99.86%
1401.09/1405.00	c      1405           7458        6408         1         -70.0000        -139.8896     99.84%
1406.28/1410.29	c      1410           7510        6460         1         -70.0000        -139.8810     99.83%
1412.26/1416.22	c      1416           7577        6527         1         -70.0000        -139.6433     99.49%
1417.55/1421.55	c      1422           7620        6570         1         -70.0000        -139.6433     99.49%
1423.43/1427.43	c      1427           7643        6593         1         -70.0000        -139.5792     99.40%
1429.02/1433.10	c      1433           7675        6625         1         -70.0000        -139.4821     99.26%
1434.20/1438.27	c      1438           7715        6665         1         -70.0000        -139.4234     99.18%
1439.59/1443.66	c      1444           7762        6712         1         -70.0000        -139.3715     99.10%
1444.67/1448.71	c      1449           7805        6755         1         -70.0000        -139.3525     99.08%
1450.26/1454.35	c      1454           7856        6806         1         -70.0000        -139.1569     98.80%
1455.85/1459.94	c      1460           7903        6853         1         -70.0000        -139.0722     98.67%
1461.33/1465.49	c      1466           7945        6895         1         -70.0000        -139.0632     98.66%
1466.42/1470.52	c      1471           7980        6930         1         -70.0000        -139.0555     98.65%
1471.80/1475.94	c      1476           8013        6963         1         -70.0000        -139.0530     98.65%
1476.89/1481.02	c      1481           8026        6976         1         -70.0000        -138.9795     98.54%
1482.27/1486.43	c      1486           8074        7024         1         -70.0000        -138.9337     98.48%
1487.56/1491.75	c      1492           8126        7076         1         -70.0000        -138.9053     98.44%
1493.35/1497.53	c      1498           8166        7116         1         -70.0000        -138.9002     98.43%
1498.53/1502.75	c      1503           8208        7158         1         -70.0000        -138.7568     98.22%
1503.83/1508.04	c      1508           8257        7207         1         -70.0000        -138.7338     98.19%
1509.01/1513.27	c      1513           8296        7246         1         -70.0000        -138.6689     98.10%
1514.19/1518.41	c      1518           8328        7278         1         -70.0000        -138.6549     98.08%
1519.18/1523.46	c      1523           8381        7331         1         -70.0000        -138.6424     98.06%
1524.46/1528.71	c      1529           8416        7366         1         -70.0000        -138.6199     98.03%
1530.06/1534.31	c      1534           8466        7416         1         -70.0000        -138.5596     97.94%
1535.85/1540.11	c      1540           8513        7463         1         -70.0000        -138.5464     97.92%
1542.02/1546.30	c      1546           8566        7516         1         -70.0000        -138.4725     97.82%
1547.81/1552.18	c      1552           8605        7555         1         -70.0000        -138.4705     97.81%
1552.99/1557.37	c      1557           8651        7601         1         -70.0000        -138.4221     97.75%
1558.58/1562.98	c      1563           8707        7657         1         -70.0000        -138.3758     97.68%
1564.16/1568.58	c      1569           8762        7712         1         -70.0000        -138.3325     97.62%
1570.15/1574.51	c      1575           8810        7760         1         -70.0000        -138.3144     97.59%
1575.93/1580.32	c      1580           8860        7810         1         -70.0000        -138.2741     97.53%
1581.31/1585.78	c      1586           8897        7847         1         -70.0000        -138.2587     97.51%
1586.50/1590.95	c      1591           8950        7900         1         -70.0000        -138.2509     97.50%
1592.49/1596.98	c      1597           8998        7948         1         -70.0000        -138.2146     97.45%
1597.87/1602.31	c      1602           9046        7996         1         -70.0000        -138.1646     97.38%
1603.25/1607.72	c      1608           9094        8044         1         -70.0000        -138.1636     97.38%
1608.65/1613.14	c      1613           9139        8089         1         -70.0000        -138.1371     97.34%
1613.83/1618.32	c      1618           9191        8141         1         -70.0000        -138.1110     97.30%
1619.12/1623.65	c      1624           9241        8191         1         -70.0000        -138.1026     97.29%
1624.51/1629.06	c      1629           9281        8231         1         -70.0000        -138.0792     97.26%
1630.19/1634.76	c      1635           9321        8271         1         -70.0000        -138.0712     97.24%
1636.27/1640.81	c      1641           9376        8326         1         -70.0000        -138.0415     97.20%
1642.56/1647.10	c      1647           9426        8376         1         -70.0000        -138.0338     97.19%
1648.45/1653.08	c      1653           9466        8416         1         -70.0000        -138.0019     97.15%
1654.02/1658.65	c      1659           9509        8459         1         -70.0000        -137.9936     97.13%
1660.51/1665.13	c      1665           9556        8506         1         -70.0000        -137.9693     97.10%
1666.19/1670.80	c      1671           9610        8560         1         -70.0000        -137.9640     97.09%
1672.18/1676.81	c      1677           9663        8613         1         -70.0000        -137.9414     97.06%
1677.57/1682.29	c      1682           9709        8659         1         -70.0000        -137.9313     97.04%
1683.65/1688.34	c      1688           9766        8716         1         -70.0000        -137.9073     97.01%
1689.24/1693.97	c      1694           9811        8761         1         -70.0000        -137.8616     96.95%
1694.72/1699.46	c      1699           9855        8805         1         -70.0000        -137.8182     96.88%
1699.71/1704.49	c      1704           9889        8839         1         -70.0000        -137.8090     96.87%
1704.90/1709.68	c      1710           9915        8865         1         -70.0000        -137.8089     96.87%
1710.38/1715.15	c      1715           9966        8916         1         -70.0000        -137.7862     96.84%
1716.47/1721.21	c      1721          10008        8958         1         -70.0000        -137.7763     96.82%
1721.95/1726.70	c      1727          10061        9011         1         -70.0000        -137.7713     96.82%
1727.84/1732.60	c      1733          10096        9046         1         -70.0000        -137.7599     96.80%
1733.42/1738.22	c      1738          10146        9096         1         -70.0000        -137.7593     96.80%
1739.01/1743.87	c      1744          10194        9144         1         -70.0000        -137.7445     96.78%
1744.30/1749.17	c      1749          10239        9189         1         -70.0000        -137.7396     96.77%
1749.89/1754.74	c      1755          10287        9237         1         -70.0000        -137.6399     96.63%
1755.47/1760.31	c      1760          10338        9288         1         -70.0000        -137.6378     96.63%
1760.96/1765.86	c      1766          10391        9341         1         -70.0000        -137.6060     96.58%
1766.74/1771.66	c      1772          10440        9390         1         -70.0000        -137.5929     96.56%
1771.73/1776.66	c      1777          10481        9431         1         -70.0000        -137.5739     96.53%
1777.51/1782.47	c      1782          10529        9479         1         -70.0000        -137.5593     96.51%
1783.40/1788.37	c      1788          10594        9544         1         -70.0000        -137.5485     96.50%
1789.19/1794.14	c      1794          10651        9601         1         -70.0000        -137.4840     96.41%
1794.67/1799.63	c      1800          10694        9644         1         -70.0000        -137.4666     96.38%
1799.86/1804.86	c      1805          10734        9684         1         -70.0000        -137.4496     96.36%
1806.14/1811.11	c      1811          10794        9744         1         -70.0000        -137.4071     96.30%
1811.83/1816.87	c      1817          10841        9791         1         -70.0000        -137.3911     96.27%
1817.32/1822.34	c      1822          10880        9830         1         -70.0000        -137.3814     96.26%
1822.61/1827.69	c      1828          10928        9878         1         -70.0000        -137.3788     96.26%
1828.00/1833.07	c      1833          10981        9931         1         -70.0000        -137.3715     96.24%
1833.58/1838.61	c      1839          11025        9975         1         -70.0000        -137.3586     96.23%
1838.57/1843.63	c      1844          11062       10012         1         -70.0000        -137.3580     96.23%
1844.06/1849.14	c      1849          11111       10061         1         -70.0000        -137.3448     96.21%
1849.44/1854.55	c      1855          11144       10094         1         -70.0000        -137.3441     96.21%
1855.32/1860.48	c      1860          11190       10140         1         -70.0000        -137.3256     96.18%
1861.31/1866.43	c      1866          11236       10186         1         -70.0000        -137.3008     96.14%
1866.91/1872.06	c      1872          11297       10247         1         -70.0000        -137.2567     96.08%
1872.39/1877.50	c      1878          11346       10296         1         -70.0000        -137.2439     96.06%
1878.07/1883.27	c      1883          11389       10339         1         -70.0000        -137.2235     96.03%
1883.36/1888.50	c      1888          11438       10388         1         -70.0000        -137.2086     96.01%
1889.54/1894.75	c      1895          11457       10407         1         -70.0000        -137.2000     96.00%
1895.33/1900.56	c      1901          11507       10457         1         -70.0000        -137.1796     95.97%
1901.11/1906.36	c      1906          11566       10516         1         -70.0000        -137.1639     95.95%
1906.50/1911.74	c      1912          11625       10575         1         -70.0000        -137.1566     95.94%
1911.98/1917.20	c      1917          11672       10622         1         -70.0000        -137.1560     95.94%
1917.26/1922.55	c      1923          11716       10666         1         -70.0000        -137.1457     95.92%
1922.95/1928.23	c      1928          11756       10706         1         -70.0000        -137.1383     95.91%
1928.03/1933.39	c      1933          11801       10751         1         -70.0000        -137.1245     95.89%
1933.32/1938.68	c      1939          11845       10795         1         -70.0000        -137.1036     95.86%
1939.30/1944.68	c      1945          11900       10850         1         -70.0000        -137.0666     95.81%
1945.19/1950.57	c      1951          11958       10908         1         -70.0000        -137.0317     95.76%
1950.47/1955.84	c      1956          12000       10950         1         -70.0000        -137.0279     95.75%
1955.76/1961.19	c      1961          12041       10991         1         -70.0000        -137.0037     95.72%
1960.84/1966.23	c      1966          12089       11039         1         -70.0000        -136.9912     95.70%
1966.53/1971.97	c      1972          12134       11084         1         -70.0000        -136.9669     95.67%
1972.31/1977.78	c      1978          12196       11146         1         -70.0000        -136.9597     95.66%
1978.39/1983.85	c      1984          12245       11195         1         -70.0000        -136.9562     95.65%
1983.88/1989.39	c      1989          12285       11235         1         -70.0000        -136.9436     95.63%
1989.07/1994.55	c      1995          12329       11279         1         -70.0000        -136.9237     95.61%
1994.45/1999.91	c      2000          12390       11340         1         -70.0000        -136.8986     95.57%
1999.54/2005.00	c      2005          12426       11376         1         -70.0000        -136.8933     95.56%
2005.02/2010.50	c      2010          12469       11419         1         -70.0000        -136.8823     95.55%
2010.61/2016.17	c      2016          12518       11468         1         -70.0000        -136.8688     95.53%
2015.99/2021.53	c      2022          12568       11518         1         -70.0000        -136.8437     95.49%
2021.68/2027.23	c      2027          12605       11555         1         -70.0000        -136.8403     95.49%
2026.96/2032.51	c      2033          12640       11590         1         -70.0000        -136.8373     95.48%
2032.85/2038.43	c      2038          12690       11640         1         -70.0000        -136.8313     95.47%
2038.73/2044.36	c      2044          12734       11684         1         -70.0000        -136.8185     95.46%
2044.62/2050.24	c      2050          12785       11735         1         -70.0000        -136.8090     95.44%
2050.60/2056.22	c      2056          12846       11796         1         -70.0000        -136.8018     95.43%
2056.48/2062.16	c      2062          12888       11838         1         -70.0000        -136.7817     95.40%
2061.96/2067.67	c      2068          12942       11892         1         -70.0000        -136.7663     95.38%
2067.85/2073.59	c      2074          12999       11949         1         -70.0000        -136.7663     95.38%
2074.23/2079.97	c      2080          13037       11987         1         -70.0000        -136.7635     95.38%
2079.72/2085.49	c      2086          13087       12037         1         -70.0000        -136.7475     95.35%
2084.80/2090.58	c      2091          13125       12075         1         -70.0000        -136.7475     95.35%
2091.48/2097.26	c      2097          13186       12136         1         -70.0000        -136.7379     95.34%
2096.57/2102.31	c      2102          13268       12218         1         -70.0000        -136.7374     95.34%
2101.55/2107.34	c      2107          13334       12284         1         -70.0000        -136.7251     95.32%
2107.24/2113.05	c      2113          13398       12348         1         -70.0000        -136.7232     95.32%
2112.53/2118.36	c      2118          13460       12410         1         -70.0000        -136.7196     95.31%
2117.81/2123.62	c      2124          13508       12458         1         -70.0000        -136.7179     95.31%
2123.20/2129.10	c      2129          13593       12543         1         -70.0000        -136.6834     95.26%
2129.08/2134.99	c      2135          13647       12597         1         -70.0000        -136.6815     95.26%
2134.27/2140.14	c      2140          13691       12641         1         -70.0000        -136.6815     95.26%
2140.05/2145.90	c      2146          13776       12726         1         -70.0000        -136.6794     95.26%
2146.44/2152.33	c      2152          13821       12771         1         -70.0000        -136.6681     95.24%
2152.01/2157.96	c      2158          13881       12831         1         -70.0000        -136.6393     95.20%
2157.20/2163.12	c      2163          13927       12877         1         -70.0000        -136.6388     95.20%
2162.98/2168.93	c      2169          13991       12941         1         -70.0000        -136.6217     95.17%
2168.37/2174.31	c      2174          14057       13007         1         -70.0000        -136.6217     95.17%
2174.55/2180.53	c      2181          14115       13065         1         -70.0000        -136.6152     95.16%
2180.74/2186.71	c      2187          14178       13126         1         -70.0000        -136.6129     95.16%
2186.52/2192.58	c      2193          14231       13179         1         -70.0000        -136.5809     95.12%
2192.41/2198.44	c      2198          14320       13268         1         -70.0000        -136.5457     95.07%
2197.49/2203.52	c      2204          14371       13319         1         -70.0000        -136.5422     95.06%
2203.67/2209.77	c      2210          14439       13387         1         -70.0000        -136.5368     95.05%
2209.26/2215.37	c      2215          14524       13472         1         -70.0000        -136.5286     95.04%
2214.45/2220.53	c      2221          14588       13536         1         -70.0000        -136.5215     95.03%
2220.23/2226.38	c      2226          14636       13584         1         -70.0000        -136.5213     95.03%
2225.31/2231.41	c      2231          14698       13646         1         -70.0000        -136.4979     95.00%
2230.60/2236.74	c      2237          14753       13701         1         -70.0000        -136.4979     95.00%
2236.09/2242.28	c      2242          14805       13753         1         -70.0000        -136.4961     94.99%
2241.77/2247.94	c      2248          14893       13841         1         -70.0000        -136.4934     94.99%
2247.65/2253.84	c      2254          14927       13875         1         -70.0000        -136.4766     94.97%
2253.54/2259.78	c      2260          14991       13939         1         -70.0000        -136.4679     94.95%
2259.82/2266.04	c      2266          15069       14017         1         -70.0000        -136.4632     94.95%
2265.60/2271.88	c      2272          15121       14069         1         -70.0000        -136.4588     94.94%
2271.29/2277.56	c      2278          15174       14122         1         -70.0000        -136.4588     94.94%
2277.17/2283.45	c      2283          15228       14176         1         -70.0000        -136.4505     94.93%
2282.96/2289.26	c      2289          15292       14240         1         -70.0000        -136.4362     94.91%
2288.64/2294.92	c      2295          15342       14290         1         -70.0000        -136.4340     94.91%
2293.63/2299.98	c      2300          15395       14343         1         -70.0000        -136.4305     94.90%
2299.21/2305.52	c      2306          15474       14422         1         -70.0000        -136.3977     94.85%
2305.10/2311.46	c      2311          15557       14505         1         -70.0000        -136.3932     94.85%
2310.28/2316.60	c      2317          15615       14563         1         -70.0000        -136.3755     94.82%
2315.67/2322.02	c      2322          15671       14619         1         -70.0000        -136.3571     94.80%
2320.95/2327.38	c      2327          15729       14677         1         -70.0000        -136.3571     94.80%
2327.14/2333.55	c      2334          15787       14735         1         -70.0000        -136.3425     94.77%
2332.73/2339.16	c      2339          15827       14775         1         -70.0000        -136.3425     94.77%
2338.71/2345.14	c      2345          15886       14834         1         -70.0000        -136.3425     94.77%
2344.19/2350.67	c      2351          15951       14899         1         -70.0000        -136.3414     94.77%
2349.27/2355.77	c      2356          16021       14969         1         -70.0000        -136.3354     94.76%
2354.57/2361.07	c      2361          16079       15027         1         -70.0000        -136.3354     94.76%
2360.45/2366.91	c      2367          16109       15057         1         -70.0000        -136.3300     94.76%
2366.03/2372.59	c      2373          16185       15133         1         -70.0000        -136.3264     94.75%
2371.22/2377.75	c      2378          16229       15177         1         -70.0000        -136.3264     94.75%
2376.90/2383.46	c      2383          16281       15229         1         -70.0000        -136.3105     94.73%
2382.49/2389.06	c      2389          16348       15296         1         -70.0000        -136.3082     94.73%
2387.77/2394.34	c      2394          16412       15360         1         -70.0000        -136.3040     94.72%
2393.25/2399.87	c      2400          16452       15400         1         -70.0000        -136.2968     94.71%
2399.14/2405.72	c      2406          16511       15459         1         -70.0000        -136.2954     94.71%
2404.13/2410.73	c      2411          16554       15502         1         -70.0000        -136.2954     94.71%
2409.52/2416.15	c      2416          16602       15550         1         -70.0000        -136.2928     94.70%
2415.89/2422.54	c      2423          16655       15601         1         -70.0000        -136.2773     94.68%
2421.38/2428.06	c      2428          16721       15667         1         -70.0000        -136.2765     94.68%
2427.07/2433.78	c      2434          16787       15733         1         -70.0000        -136.2765     94.68%
2432.55/2439.22	c      2439          16847       15793         1         -70.0000        -136.2763     94.68%
2437.64/2444.35	c      2444          16908       15854         1         -70.0000        -136.2735     94.68%
2443.52/2450.28	c      2450          16957       15903         1         -70.0000        -136.2532     94.65%
2449.31/2456.05	c      2456          17020       15966         1         -70.0000        -136.2485     94.64%
2454.69/2461.45	c      2461          17095       16041         1         -70.0000        -136.2463     94.64%
2459.78/2466.59	c      2467          17150       16096         1         -70.0000        -136.2445     94.63%
2465.56/2472.35	c      2472          17228       16174         1         -70.0000        -136.2437     94.63%
2471.65/2478.42	c      2478          17287       16233         1         -70.0000        -136.2322     94.62%
2476.73/2483.57	c      2484          17338       16284         1         -70.0000        -136.2322     94.62%
2482.01/2488.85	c      2489          17399       16345         1         -70.0000        -136.2303     94.61%
2487.80/2494.60	c      2495          17452       16398         1         -70.0000        -136.2303     94.61%
2493.19/2500.01	c      2500          17498       16444         1         -70.0000        -136.2155     94.59%
2498.47/2505.34	c      2505          17544       16490         1         -70.0000        -136.2155     94.59%
2504.36/2511.28	c      2511          17587       16533         1         -70.0000        -136.2128     94.59%
2509.74/2516.60	c      2517          17638       16584         1         -70.0000        -136.2016     94.57%
2514.82/2521.75	c      2522          17687       16633         1         -70.0000        -136.2016     94.57%
2520.01/2526.93	c      2527          17757       16703         1         -70.0000        -136.2007     94.57%
2524.99/2531.93	c      2532          17794       16740         1         -70.0000        -136.1997     94.57%
2530.19/2537.16	c      2537          17849       16795         1         -70.0000        -136.1978     94.57%
2535.47/2542.40	c      2542          17908       16854         1         -70.0000        -136.1978     94.57%
2540.85/2547.87	c      2548          17976       16922         1         -70.0000        -136.1965     94.57%
2546.44/2553.43	c      2553          18051       16997         1         -70.0000        -136.1886     94.56%
2551.92/2558.93	c      2559          18101       17047         1         -70.0000        -136.1886     94.56%
2557.91/2564.96	c      2565          18170       17114         1         -70.0000        -136.1706     94.53%
2562.90/2569.97	c      2570          18225       17169         1         -70.0000        -136.1677     94.53%
2568.88/2575.90	c      2576          18276       17220         1         -70.0000        -136.1556     94.51%
2573.87/2580.97	c      2581          18317       17261         1         -70.0000        -136.1556     94.51%
2579.65/2586.71	c      2587          18388       17332         1         -70.0000        -136.1517     94.50%
2584.63/2591.72	c      2592          18432       17376         1         -70.0000        -136.1469     94.50%
2590.03/2597.13	c      2597          18495       17439         1         -70.0000        -136.1388     94.48%
2595.50/2602.60	c      2603          18544       17488         1         -70.0000        -136.1340     94.48%
2601.19/2608.34	c      2608          18615       17559         1         -70.0000        -136.1229     94.46%
2606.78/2613.99	c      2614          18673       17617         1         -70.0000        -136.1229     94.46%
2612.56/2619.79	c      2620          18739       17683         1         -70.0000        -136.1207     94.46%
2618.44/2625.60	c      2626          18787       17731         1         -70.0000        -136.1175     94.45%
2623.53/2630.75	c      2631          18851       17795         1         -70.0000        -136.1119     94.45%
2628.82/2636.10	c      2636          18891       17835         1         -70.0000        -136.1056     94.44%
2634.50/2641.70	c      2642          18957       17901         1         -70.0000        -136.1056     94.44%
2639.89/2647.18	c      2647          19031       17975         1         -70.0000        -136.0892     94.41%
2644.98/2652.27	c      2652          19096       18040         1         -70.0000        -136.0892     94.41%
2650.46/2657.79	c      2658          19170       18114         1         -70.0000        -136.0651     94.38%
2655.64/2662.92	c      2663          19207       18151         1         -70.0000        -136.0646     94.38%
2661.13/2668.44	c      2668          19287       18231         1         -70.0000        -136.0646     94.38%
2666.72/2674.09	c      2674          19377       18321         1         -70.0000        -136.0399     94.34%
2672.50/2679.81	c      2680          19438       18382         1         -70.0000        -136.0346     94.34%
2677.98/2685.39	c      2685          19487       18431         1         -70.0000        -136.0308     94.33%
2683.07/2690.45	c      2690          19536       18480         1         -70.0000        -136.0279     94.33%
2688.06/2695.49	c      2696          19598       18542         1         -70.0000        -136.0219     94.32%
2693.44/2700.80	c      2701          19664       18608         1         -70.0000        -135.9977     94.28%
2699.32/2706.75	c      2707          19737       18681         1         -70.0000        -135.9926     94.28%
2704.31/2711.78	c      2712          19773       18717         1         -70.0000        -135.9926     94.28%
2709.39/2716.80	c      2717          19817       18761         1         -70.0000        -135.9827     94.26%
2715.49/2722.97	c      2723          19887       18831         1         -70.0000        -135.9771     94.25%
2721.17/2728.61	c      2729          19927       18871         1         -70.0000        -135.9771     94.25%
2726.65/2734.13	c      2734          19988       18932         1         -70.0000        -135.9763     94.25%
2732.33/2739.89	c      2740          20032       18976         1         -70.0000        -135.9760     94.25%
2738.41/2745.91	c      2746          20091       19035         1         -70.0000        -135.9556     94.22%
2744.21/2751.70	c      2752          20145       19089         1         -70.0000        -135.9556     94.22%
2750.38/2757.91	c      2758          20187       19131         1         -70.0000        -135.9539     94.22%
2755.67/2763.24	c      2763          20235       19179         1         -70.0000        -135.9525     94.22%
2761.15/2768.72	c      2769          20297       19241         1         -70.0000        -135.9504     94.21%
2766.35/2773.90	c      2774          20369       19313         1         -70.0000        -135.9441     94.21%
2771.93/2779.57	c      2780          20431       19375         1         -70.0000        -135.9429     94.20%
2777.61/2785.24	c      2785          20501       19445         1         -70.0000        -135.9367     94.20%
2782.90/2790.52	c      2791          20561       19505         1         -70.0000        -135.9367     94.20%
2788.18/2795.86	c      2796          20625       19569         1         -70.0000        -135.9187     94.17%
2793.27/2800.97	c      2801          20668       19612         1         -70.0000        -135.9169     94.17%
2798.46/2806.16	c      2806          20725       19669         1         -70.0000        -135.9162     94.17%
2804.54/2812.26	c      2812          20774       19718         1         -70.0000        -135.9162     94.17%
2810.12/2817.86	c      2818          20836       19778         1         -70.0000        -135.9122     94.16%
2815.60/2823.37	c      2823          20895       19837         1         -70.0000        -135.8967     94.14%
2820.99/2828.76	c      2829          20969       19911         1         -70.0000        -135.8784     94.11%
2826.38/2834.17	c      2834          21053       19995         1         -70.0000        -135.8762     94.11%
2831.76/2839.52	c      2840          21099       20041         1         -70.0000        -135.8710     94.10%
2837.54/2845.37	c      2845          21145       20087         1         -70.0000        -135.8655     94.09%
2843.13/2850.95	c      2851          21229       20171         1         -70.0000        -135.8626     94.09%
2848.91/2856.74	c      2857          21282       20224         1         -70.0000        -135.8607     94.09%
2854.11/2861.93	c      2862          21327       20269         1         -70.0000        -135.8607     94.09%
2859.98/2867.86	c      2868          21383       20325         1         -70.0000        -135.8605     94.09%
2865.17/2873.09	c      2873          21419       20361         1         -70.0000        -135.8463     94.07%
2870.27/2878.15	c      2878          21467       20409         1         -70.0000        -135.8463     94.07%
2875.84/2883.72	c      2884          21550       20490         1         -70.0000        -135.8399     94.06%
2881.32/2889.23	c      2889          21621       20559         1         -70.0000        -135.8045     94.01%
2887.22/2895.15	c      2895          21671       20609         1         -70.0000        -135.8045     94.01%
2893.00/2900.91	c      2901          21731       20669         1         -70.0000        -135.7850     93.98%
2898.78/2906.76	c      2907          21811       20749         1         -70.0000        -135.7667     93.95%
2904.56/2912.55	c      2913          21866       20804         1         -70.0000        -135.7656     93.95%
2909.65/2917.65	c      2918          21925       20863         1         -70.0000        -135.7632     93.95%
2915.73/2923.70	c      2924          21993       20931         1         -70.0000        -135.7587     93.94%
2921.41/2929.46	c      2929          22071       21009         1         -70.0000        -135.7585     93.94%
2926.40/2934.49	c      2934          22117       21055         1         -70.0000        -135.7580     93.94%
2932.18/2940.23	c      2940          22159       21097         1         -70.0000        -135.7580     93.94%
2938.07/2946.11	c      2946          22229       21167         1         -70.0000        -135.7496     93.93%
2943.96/2952.06	c      2952          22296       21234         1         -70.0000        -135.7387     93.91%
2949.44/2957.55	c      2958          22343       21281         1         -70.0000        -135.7314     93.90%
2956.03/2964.19	c      2964          22419       21357         1         -70.0000        -135.7303     93.90%
2962.41/2970.50	c      2971          22479       21417         1         -70.0000        -135.6758     93.82%
2968.19/2976.38	c      2976          22534       21472         1         -70.0000        -135.6719     93.82%
2973.57/2981.74	c      2982          22601       21539         1         -70.0000        -135.6703     93.81%
2980.45/2988.68	c      2989          22677       21615         1         -70.0000        -135.6652     93.81%
2985.94/2994.15	c      2994          22749       21687         1         -70.0000        -135.6597     93.80%
2991.62/2999.86	c      3000          22800       21738         1         -70.0000        -135.6597     93.80%
2997.20/3005.48	c      3005          22881       21819         1         -70.0000        -135.6575     93.80%
3002.70/3010.99	c      3011          22946       21884         1         -70.0000        -135.6575     93.80%
3008.48/3016.76	c      3017          23005       21943         1         -70.0000        -135.6428     93.78%
3013.96/3022.24	c      3022          23071       22009         1         -70.0000        -135.6420     93.77%
3019.34/3027.66	c      3028          23149       22087         1         -70.0000        -135.6392     93.77%
3025.23/3033.55	c      3034          23204       22142         1         -70.0000        -135.6284     93.75%
3030.42/3038.73	c      3039          23262       22200         1         -70.0000        -135.6279     93.75%
3035.40/3043.74	c      3044          23312       22250         1         -70.0000        -135.6269     93.75%
3041.39/3049.71	c      3050          23392       22330         1         -70.0000        -135.6153     93.74%
3047.07/3055.49	c      3055          23456       22394         1         -70.0000        -135.6122     93.73%
3052.56/3060.94	c      3061          23516       22454         1         -70.0000        -135.6070     93.72%
3057.65/3066.05	c      3066          23554       22492         1         -70.0000        -135.6070     93.72%
3063.13/3071.50	c      3072          23597       22535         1         -70.0000        -135.6025     93.72%
3068.31/3076.78	c      3077          23649       22587         1         -70.0000        -135.6025     93.72%
3074.10/3082.56	c      3083          23714       22652         1         -70.0000        -135.5985     93.71%
3079.29/3087.77	c      3088          23771       22709         1         -70.0000        -135.5957     93.71%
3086.07/3094.51	c      3095          23821       22759         1         -70.0000        -135.5928     93.70%
3092.05/3100.55	c      3101          23910       22848         1         -70.0000        -135.5901     93.70%
3097.54/3106.06	c      3106          23976       22914         1         -70.0000        -135.5859     93.69%
3102.52/3111.08	c      3111          24025       22963         1         -70.0000        -135.5821     93.69%
3107.52/3116.10	c      3116          24079       23017         1         -70.0000        -135.5550     93.65%
3112.79/3121.39	c      3121          24141       23075         1         -70.0000        -135.5418     93.63%
3118.78/3127.31	c      3127          24218       23152         1         -70.0000        -135.5253     93.61%
3124.57/3133.17	c      3133          24287       23221         1         -70.0000        -135.5212     93.60%
3129.85/3138.46	c      3138          24341       23275         1         -70.0000        -135.5212     93.60%
3135.13/3143.75	c      3144          24395       23329         1         -70.0000        -135.5097     93.59%
3140.92/3149.59	c      3150          24480       23414         1         -70.0000        -135.5053     93.58%
3146.30/3154.99	c      3155          24534       23468         1         -70.0000        -135.4987     93.57%
3151.59/3160.20	c      3160          24573       23507         1         -70.0000        -135.4850     93.55%
3156.57/3165.20	c      3165          24631       23565         1         -70.0000        -135.4762     93.54%
3162.35/3171.02	c      3171          24707       23641         1         -70.0000        -135.4743     93.53%
3168.33/3177.02	c      3177          24779       23713         1         -70.0000        -135.4673     93.52%
3174.21/3182.93	c      3183          24848       23782         1         -70.0000        -135.4558     93.51%
3180.49/3189.26	c      3189          24901       23835         1         -70.0000        -135.4558     93.51%
3185.57/3194.37	c      3194          24967       23901         1         -70.0000        -135.4525     93.50%
3191.15/3199.97	c      3200          25015       23949         1         -70.0000        -135.4254     93.46%
3196.73/3205.51	c      3206          25070       24004         1         -70.0000        -135.4185     93.46%
3202.72/3211.51	c      3212          25143       24077         1         -70.0000        -135.4185     93.46%
3208.59/3217.45	c      3217          25225       24159         1         -70.0000        -135.4145     93.45%
3213.97/3222.84	c      3223          25264       24198         1         -70.0000        -135.4138     93.45%
3219.16/3228.05	c      3228          25331       24265         1         -70.0000        -135.4003     93.43%
3224.84/3233.72	c      3234          25383       24317         1         -70.0000        -135.4003     93.43%
3230.02/3238.97	c      3239          25436       24370         1         -70.0000        -135.3908     93.42%
3236.11/3245.07	c      3245          25508       24442         1         -70.0000        -135.3908     93.42%
3241.48/3250.43	c      3250          25560       24494         1         -70.0000        -135.3783     93.40%
3246.96/3255.92	c      3256          25617       24551         1         -70.0000        -135.3622     93.37%
3252.64/3261.69	c      3262          25696       24628         1         -70.0000        -135.3577     93.37%
3257.92/3266.91	c      3267          25735       24667         1         -70.0000        -135.3577     93.37%
3263.21/3272.28	c      3272          25790       24722         1         -70.0000        -135.3503     93.36%
3268.79/3277.81	c      3278          25832       24764         1         -70.0000        -135.3465     93.35%
3274.17/3283.27	c      3283          25919       24851         1         -70.0000        -135.3402     93.34%
3280.15/3289.25	c      3289          25996       24928         1         -70.0000        -135.3339     93.33%
3285.24/3294.36	c      3294          26034       24966         1         -70.0000        -135.3256     93.32%
3290.92/3300.07	c      3300          26109       25041         1         -70.0000        -135.3156     93.31%
3296.10/3305.22	c      3305          26196       25128         1         -70.0000        -135.3125     93.30%
3301.18/3310.30	c      3310          26242       25174         1         -70.0000        -135.2912     93.27%
3306.26/3315.48	c      3315          26306       25238         1         -70.0000        -135.2912     93.27%
3312.04/3321.20	c      3321          26366       25298         1         -70.0000        -135.2822     93.26%
3317.12/3326.35	c      3326          26451       25383         1         -70.0000        -135.2635     93.23%
3322.40/3331.68	c      3332          26499       25431         1         -70.0000        -135.2635     93.23%
3327.80/3337.05	c      3337          26569       25501         1         -70.0000        -135.2516     93.22%
3333.47/3342.71	c      3343          26634       25566         1         -70.0000        -135.2409     93.20%
3338.95/3348.20	c      3348          26681       25613         1         -70.0000        -135.2395     93.20%
3345.63/3354.96	c      3355          26769       25701         1         -70.0000        -135.2232     93.18%
3350.61/3359.99	c      3360          26839       25771         1         -70.0000        -135.2188     93.17%
3356.49/3365.83	c      3366          26910       25842         1         -70.0000        -135.2025     93.15%
3361.57/3370.98	c      3371          26959       25891         1         -70.0000        -135.2003     93.14%
3367.05/3376.48	c      3376          27011       25941         1         -70.0000        -135.1973     93.14%
3372.54/3381.98	c      3382          27068       25998         1         -70.0000        -135.1973     93.14%
3377.91/3387.34	c      3387          27151       26079         1         -70.0000        -135.1802     93.11%
3383.40/3392.89	c      3393          27215       26143         1         -70.0000        -135.1802     93.11%
3390.28/3399.79	c      3400          27271       26199         1         -70.0000        -135.1770     93.11%
3396.16/3405.61	c      3406          27345       26273         1         -70.0000        -135.1654     93.09%
3401.84/3411.31	c      3411          27411       26339         1         -70.0000        -135.1642     93.09%
3408.42/3417.92	c      3418          27487       26413         1         -70.0000        -135.1434     93.06%
3413.41/3422.97	c      3423          27560       26486         1         -70.0000        -135.1433     93.06%
3418.69/3428.22	c      3428          27620       26546         1         -70.0000        -135.1368     93.05%
3424.77/3434.39	c      3434          27687       26613         1         -70.0000        -135.1317     93.05%
3430.36/3439.97	c      3440          27754       26680         1         -70.0000        -135.1311     93.04%
3436.23/3445.81	c      3446          27823       26749         1         -70.0000        -135.1296     93.04%
3442.31/3451.96	c      3452          27876       26802         1         -70.0000        -135.1209     93.03%
3447.90/3457.57	c      3458          27941       26867         1         -70.0000        -135.1123     93.02%
3453.57/3463.28	c      3463          27994       26920         1         -70.0000        -135.0971     93.00%
3459.15/3468.83	c      3469          28068       26996         1         -70.0000        -135.0971     93.00%
3464.64/3474.40	c      3474          28131       27057         1         -70.0000        -135.0941     92.99%
3470.51/3480.20	c      3480          28195       27121         1         -70.0000        -135.0941     92.99%
3476.09/3485.81	c      3486          28258       27184         1         -70.0000        -135.0856     92.98%
3481.87/3491.69	c      3492          28326       27252         1         -70.0000        -135.0838     92.98%
3487.06/3496.87	c      3497          28392       27318         1         -70.0000        -135.0732     92.96%
3492.74/3502.52	c      3503          28455       27381         1         -70.0000        -135.0696     92.96%
3499.12/3508.93	c      3509          28525       27451         1         -70.0000        -135.0691     92.96%
3505.39/3515.27	c      3515          28591       27517         1         -70.0000        -135.0591     92.94%
3510.58/3520.47	c      3520          28665       27589         1         -70.0000        -135.0577     92.94%
3517.16/3527.08	c      3527          28729       27653         1         -70.0000        -135.0544     92.93%
3523.24/3533.19	c      3533          28788       27712         1         -70.0000        -135.0507     92.93%
3528.91/3538.85	c      3539          28851       27775         1         -70.0000        -135.0488     92.93%
3534.90/3544.87	c      3545          28939       27863         1         -70.0000        -135.0386     92.91%
3540.28/3550.21	c      3550          28998       27922         1         -70.0000        -135.0329     92.90%
3546.06/3556.07	c      3556          29055       27979         1         -70.0000        -135.0021     92.86%
3551.94/3561.93	c      3562          29141       28065         1         -70.0000        -134.9994     92.86%
3557.53/3567.55	c      3568          29185       28109         1         -70.0000        -134.9873     92.84%
3563.50/3573.59	c      3574          29230       28152         1         -70.0000        -134.9845     92.84%
3569.48/3579.53	c      3580          29308       28230         1         -70.0000        -134.9792     92.83%
3575.07/3585.12	c      3585          29374       28294         1         -70.0000        -134.9765     92.82%
3580.54/3590.63	c      3591          29455       28373         1         -70.0000        -134.9689     92.81%
3586.73/3596.82	c      3597          29506       28424         1         -70.0000        -134.9621     92.80%
3588.12/3598.25	c SCIP Status        : c solving was interrupted [hard time limit reached]
3588.12/3598.25	c Total Time         : 3598.24
3588.12/3598.25	c   solving          : 3598.24
3588.12/3598.25	c   presolving       : 0.09 (included in solving)
3588.12/3598.25	c B&B Tree           :
3588.12/3598.25	c   nodes (total)    : 1
3588.12/3598.25	c Solution           :
3588.12/3598.25	c   Solutions found  : 4
3588.12/3598.25	c   Primal Bound     : -7.00000000000000e+01
3588.12/3598.25	c   Dual Bound       : -1.34962069083001e+02
3588.12/3598.25	c Gap                : 92.80296 %
3588.12/3598.25	c * Warning: final gap: 9.28030e-01 is greater than SCIPepsilon: 1.00000e-09
3588.12/3598.26	o -70
3588.12/3598.26	s SATISFIABLE
3588.12/3598.26	v x500 x499 x498 -x497 x496 x495 -x494 -x493 -x492 x491 -x490 -x489 x488 -x487 x486 -x485 -x484 x483 -x482 -x481 -x480 x479 -x478 
3588.12/3598.26	v -x477 x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 x464 x463 -x462 -x461 x460 x459 x458 x457 -x456 
3588.12/3598.26	v -x455 x454 x453 -x452 -x451 -x450 -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 x440 -x439 -x438 -x437 x436 -x435 -x434 
3588.12/3598.26	v -x433 -x432 x431 -x430 -x429 -x428 -x427 -x426 x425 -x424 x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 
3588.12/3598.26	v -x412 x411 x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 x401 x400 x399 x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 
3588.12/3598.26	v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 
3588.12/3598.26	v -x369 -x368 -x367 -x366 x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 x357 -x356 -x355 -x354 x353 x352 -x351 -x350 -x349 -x348 
3588.12/3598.26	v x347 -x346 x345 -x344 -x343 x342 -x341 -x340 x339 -x338 x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 
3588.12/3598.26	v -x325 -x324 -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 x307 x306 -x305 
3588.12/3598.26	v -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 
3588.12/3598.26	v -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 x271 -x270 x269 -x268 -x267 x266 -x265 -x264 -x263 -x262 
3588.12/3598.26	v -x261 -x260 x259 x258 x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 x243 -x242 -x241 
3588.12/3598.26	v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 
3588.12/3598.26	v -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 
3588.12/3598.26	v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 x184 -x183 -x182 x181 -x180 -x179 -x178 
3588.12/3598.26	v -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 
3588.12/3598.26	v -x156 x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 
3588.12/3598.26	v -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 
3588.12/3598.26	v -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 
3588.12/3598.26	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 
3588.12/3598.26	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 
3588.12/3598.26	v -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 
3588.12/3598.26	v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 

Verifier Data

OK	-70

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (56274 MiB free)
  memory of node 1: 64473 MiB (61860 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=32058, runsolver pid=32055

[startup+0.10085 s]*
/proc/loadavg: 4.13 4.12 4.06 7/262 32070
/proc/meminfo: memFree=120887468/131524600 swapFree=131071728/131071996
[pid=32058] ppid=32055 vsize=65164 memory=53168 CPUtime=0.09 cores=5,7
/proc/32058/stat : 32058 (fscip) R 32055 32058 29765 0 -1 4194304 10973 0 0 0 8 1 0 0 20 0 1 0 4818396 66727936 13292 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
/proc/32058/statm: 16291 13292 2630 3035 0 12687 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65164 KiB
Current children cumulated memory: 53168 KiB

[startup+0.205834 s]*
/proc/loadavg: 4.13 4.12 4.06 4/261 32073
/proc/meminfo: memFree=120835864/131524600 swapFree=131071728/131071996
[pid=32058] ppid=32055 vsize=152636 memory=79784 CPUtime=0.19 cores=5,7
/proc/32058/stat : 32058 (fscip) S 32055 32058 29765 0 -1 1077936128 18295 0 0 0 17 2 0 0 20 0 3 0 4818396 156299264 19946 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
/proc/32058/statm: 38159 19946 2790 3035 0 23303 0
[pid=32058/tid=32072] ppid=32055 vsize=152636 memory=8505393642823811203 CPUtime=0.04 cores=5,7
/proc/32058/task/32072/stat : 32072 (fscip) R 32055 32058 29765 0 -1 4194368 4830 0 0 0 4 0 0 0 20 0 3 0 4818410 156299264 19946 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
[pid=32058/tid=32073] ppid=32055 vsize=152636 memory=81065 CPUtime=0 cores=5,7
/proc/32058/task/32073/stat : 32073 (fscip) S 32055 32058 29765 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4818412 156299264 19946 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 152636 KiB
Current children cumulated memory: 79784 KiB

[startup+0.304567 s]*
/proc/loadavg: 4.13 4.12 4.06 4/260 32087
/proc/meminfo: memFree=120820016/131524600 swapFree=131071728/131071996
[pid=32058] ppid=32055 vsize=152636 memory=90328 CPUtime=0.29 cores=5,7
/proc/32058/stat : 32058 (fscip) S 32055 32058 29765 0 -1 1077936128 20841 0 0 0 27 2 0 0 20 0 3 0 4818396 156299264 22582 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
/proc/32058/statm: 38159 22582 2934 3035 0 25884 0
[pid=32058/tid=32072] ppid=32055 vsize=152636 memory=-7668059532136899448 CPUtime=0.14 cores=5,7
/proc/32058/task/32072/stat : 32072 (fscip) R 32055 32058 29765 0 -1 4194368 7376 0 0 0 14 0 0 0 20 0 3 0 4818410 156299264 22582 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
[pid=32058/tid=32073] ppid=32055 vsize=152636 memory=0 CPUtime=0 cores=5,7
/proc/32058/task/32073/stat : 32073 (fscip) S 32055 32058 29765 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4818412 156299264 22582 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 152636 KiB
Current children cumulated memory: 90328 KiB

[startup+0.700243 s]
/proc/loadavg: 4.13 4.12 4.06 5/257 32109
/proc/meminfo: memFree=120793804/131524600 swapFree=131071728/131071996
[pid=32058] ppid=32055 vsize=152636 memory=95928 CPUtime=0.68 cores=5,7
/proc/32058/stat : 32058 (fscip) S 32055 32058 29765 0 -1 1077936128 22218 0 0 0 65 3 0 0 20 0 3 0 4818396 156299264 23982 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
/proc/32058/statm: 38159 23982 2950 3035 0 27925 0
[pid=32058/tid=32072] ppid=32055 vsize=152636 memory=0 CPUtime=0.54 cores=5,7
/proc/32058/task/32072/stat : 32072 (fscip) R 32055 32058 29765 0 -1 4194368 8753 0 0 0 53 1 0 0 20 0 3 0 4818410 156299264 23982 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
[pid=32058/tid=32073] ppid=32055 vsize=152636 memory=0 CPUtime=0 cores=5,7
/proc/32058/task/32073/stat : 32073 (fscip) S 32055 32058 29765 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4818412 156299264 23982 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 152636 KiB
Current children cumulated memory: 95928 KiB

[startup+1.50023 s]
/proc/loadavg: 4.12 4.11 4.06 5/265 32121
/proc/meminfo: memFree=120690788/131524600 swapFree=131071728/131071996
[pid=32058] ppid=32055 vsize=152636 memory=101596 CPUtime=1.48 cores=5,7
/proc/32058/stat : 32058 (fscip) S 32055 32058 29765 0 -1 1077936128 28445 0 0 0 145 3 0 0 20 0 3 0 4818396 156299264 25399 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
/proc/32058/statm: 38159 25399 2950 3035 0 30046 0
[pid=32058/tid=32072] ppid=32055 vsize=152636 memory=0 CPUtime=1.33 cores=5,7
/proc/32058/task/32072/stat : 32072 (fscip) R 32055 32058 29765 0 -1 4194368 14973 0 0 0 132 1 0 0 20 0 3 0 4818410 156299264 25399 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
[pid=32058/tid=32073] ppid=32055 vsize=152636 memory=0 CPUtime=0 cores=5,7
/proc/32058/task/32073/stat : 32073 (fscip) S 32055 32058 29765 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4818412 156299264 25399 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 152636 KiB
Current children cumulated memory: 101596 KiB

[startup+3.10542 s]
/proc/loadavg: 4.12 4.11 4.06 5/265 32121
/proc/meminfo: memFree=120588240/131524600 swapFree=131071728/131071996
[pid=32058] ppid=32055 vsize=152636 memory=109932 CPUtime=3.08 cores=5,7
/proc/32058/stat : 32058 (fscip) S 32055 32058 29765 0 -1 1077936128 31060 0 0 0 305 3 0 0 20 0 3 0 4818396 156299264 27483 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
/proc/32058/statm: 38159 27483 2950 3035 0 33532 0
[pid=32058/tid=32072] ppid=32055 vsize=152636 memory=-5155630193593445253 CPUtime=2.93 cores=5,7
/proc/32058/task/32072/stat : 32072 (fscip) R 32055 32058 29765 0 -1 4194368 17588 0 0 0 292 1 0 0 20 0 3 0 4818410 156299264 27483 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
[pid=32058/tid=32073] ppid=32055 vsize=152636 memory=0 CPUtime=0 cores=5,7
/proc/32058/task/32073/stat : 32073 (fscip) S 32055 32058 29765 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4818412 156299264 27483 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 152636 KiB
Current children cumulated memory: 109932 KiB

[startup+6.3002 s]
/proc/loadavg: 4.11 4.11 4.06 5/266 32124
/proc/meminfo: memFree=120572368/131524600 swapFree=131071728/131071996
[pid=32058] ppid=32055 vsize=218172 memory=112516 CPUtime=6.26 cores=5,7
/proc/32058/stat : 32058 (fscip) S 32055 32058 29765 0 -1 1077936128 44033 0 0 0 622 4 0 0 20 0 3 0 4818396 223408128 28129 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
/proc/32058/statm: 54543 28129 2950 3035 0 35380 0
[pid=32058/tid=32072] ppid=32055 vsize=218172 memory=111752 CPUtime=6.12 cores=5,7
/proc/32058/task/32072/stat : 32072 (fscip) R 32055 32058 29765 0 -1 4194368 30559 0 0 0 610 2 0 0 20 0 3 0 4818410 223408128 28129 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
[pid=32058/tid=32073] ppid=32055 vsize=218172 memory=11524 CPUtime=0 cores=5,7
/proc/32058/task/32073/stat : 32073 (fscip) S 32055 32058 29765 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 4818412 223408128 28129 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 218172 KiB
Current children cumulated memory: 112516 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.06 5/266 32124
/proc/meminfo: memFree=120555872/131524600 swapFree=131071728/131071996
[pid=32058] ppid=32055 vsize=218172 memory=125496 CPUtime=12.65 cores=5,7
/proc/32058/stat : 32058 (fscip) S 32055 32058 29765 0 -1 1077936128 55224 0 0 0 1260 5 0 0 20 0 3 0 4818396 223408128 31374 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
/proc/32058/statm: 54543 31374 2950 3035 0 39313 0
[pid=32058/tid=32072] ppid=32055 vsize=218172 memory=125492 CPUtime=12.5 cores=5,7
/proc/32058/task/32072/stat : 32072 (fscip) R 32055 32058 29765 0 -1 4194368 41721 0 0 0 1247 3 0 0 20 0 3 0 4818410 223408128 31374 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
[pid=32058/tid=32073] ppid=32055 vsize=218172 memory=125492 CPUtime=0 cores=5,7
/proc/32058/task/32073/stat : 32073 (fscip) S 32055 32058 29765 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 4818412 223408128 31374 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 218172 KiB
Current children cumulated memory: 125496 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.06 5/266 32127
/proc/meminfo: memFree=120550188/131524600 swapFree=131071728/131071996
[pid=32058] ppid=32055 vsize=218172 memory=125688 CPUtime=25.42 cores=5,7
/proc/32058/stat : 32058 (fscip) S 32055 32058 29765 0 -1 1077936128 64215 0 0 0 2536 6 0 0 20 0 3 0 4818396 223408128 31422 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
/proc/32058/statm: 54543 31422 2998 3035 0 39313 0
[pid=32058/tid=32072] ppid=32055 vsize=218172 memory=125688 CPUtime=25.28 cores=5,7
/proc/32058/task/32072/stat : 32072 (fscip) R 32055 32058 29765 0 -1 4194368 50638 0 0 0 2524 4 0 0 20 0 3 0 4818410 223408128 31422 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
[pid=32058/tid=32073] ppid=32055 vsize=218172 memory=11524 CPUtime=0 cores=5,7
/proc/32058/task/32073/stat : 32073 (fscip) S 32055 32058 29765 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 4818412 223408128 31422 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 218172 KiB
Current children cumulated memory: 125688 KiB

[startup+51.1055 s]
/proc/loadavg: 4.11 4.11 4.07 5/270 32190
/proc/meminfo: memFree=120493656/131524600 swapFree=131071728/131071996
[pid=32058] ppid=32055 vsize=283708 memory=172296 CPUtime=50.96 cores=5,7
/proc/32058/stat : 32058 (fscip) S 32055 32058 29765 0 -1 1077936128 105021 0 0 0 5087 9 0 0 20 0 3 0 4818396 290516992 43074 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
/proc/32058/statm: 70927 43074 2998 3035 0 55733 0
[pid=32058/tid=32072] ppid=32055 vsize=283708 memory=151276 CPUtime=50.81 cores=5,7
/proc/32058/task/32072/stat : 32072 (fscip) R 32055 32058 29765 0 -1 4194368 91322 0 0 0 5074 7 0 0 20 0 3 0 4818410 290516992 43074 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
[pid=32058/tid=32073] ppid=32055 vsize=283708 memory=11524 CPUtime=0 cores=5,7
/proc/32058/task/32073/stat : 32073 (fscip) S 32055 32058 29765 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 4818412 290516992 43074 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 283708 KiB
Current children cumulated memory: 172296 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/269 32200
/proc/meminfo: memFree=120378376/131524600 swapFree=131071728/131071996
[pid=32058] ppid=32055 vsize=415960 memory=251520 CPUtime=102.03 cores=5,7
/proc/32058/stat : 32058 (fscip) S 32055 32058 29765 0 -1 1077936128 166104 0 0 0 10187 16 0 0 20 0 3 0 4818396 425943040 62880 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
/proc/32058/statm: 103990 62880 2998 3035 0 88301 0
[pid=32058/tid=32072] ppid=32055 vsize=415960 memory=11524 CPUtime=101.88 cores=5,7
/proc/32058/task/32072/stat : 32072 (fscip) R 32055 32058 29765 0 -1 4194368 152303 0 0 0 10174 14 0 0 20 0 3 0 4818410 425943040 62880 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
[pid=32058/tid=32073] ppid=32055 vsize=415960 memory=11524 CPUtime=0 cores=5,7
/proc/32058/task/32073/stat : 32073 (fscip) S 32055 32058 29765 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 4818412 425943040 62880 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 415960 KiB
Current children cumulated memory: 251520 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.07 5/267 32210
/proc/meminfo: memFree=121003984/131524600 swapFree=131071728/131071996
[pid=32058] ppid=32055 vsize=418172 memory=264344 CPUtime=161.87 cores=5,7
/proc/32058/stat : 32058 (fscip) S 32055 32058 29765 0 -1 1077936128 205884 0 0 0 16169 18 0 0 20 0 3 0 4818396 428208128 66086 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
/proc/32058/statm: 104543 66086 2998 3035 0 100292 0
[pid=32058/tid=32072] ppid=32055 vsize=418172 memory=11524 CPUtime=161.72 cores=5,7
/proc/32058/task/32072/stat : 32072 (fscip) R 32055 32058 29765 0 -1 4194368 191990 0 0 0 16156 16 0 0 20 0 3 0 4818410 428208128 66086 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
[pid=32058/tid=32073] ppid=32055 vsize=418172 memory=264344 CPUtime=0 cores=5,7
/proc/32058/task/32073/stat : 32073 (fscip) S 32055 32058 29765 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 4818412 428208128 66086 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 418172 KiB
Current children cumulated memory: 264344 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.07 5/267 32265

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

/proc/32058/statm: 277787 233837 3302 3035 0 272458 0
[pid=32058/tid=32072] ppid=32055 vsize=1111148 memory=899388 CPUtime=3392.49 cores=5,7
/proc/32058/task/32072/stat : 32072 (fscip) R 32055 32058 29765 0 -1 4194368 1563099 0 0 0 339107 142 0 0 20 0 3 0 4818410 1137815552 233837 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
[pid=32058/tid=32073] ppid=32055 vsize=1111148 memory=12692 CPUtime=0.03 cores=5,7
/proc/32058/task/32073/stat : 32073 (fscip) S 32055 32058 29765 0 -1 1077936192 90 0 0 0 1 2 0 0 20 0 3 0 4818412 1137815552 233837 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
Current children cumulated CPU time: 3392.87 s
Current children cumulated vsize: 1111148 KiB
Current children cumulated memory: 935348 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/265 33869
/proc/meminfo: memFree=108778932/131524600 swapFree=131071728/131071996
[pid=32058] ppid=32055 vsize=1112172 memory=946264 CPUtime=3452.68 cores=5,7
/proc/32058/stat : 32058 (fscip) S 32055 32058 29765 0 -1 1077936128 1626783 0 0 0 345113 155 0 0 20 0 3 0 4818396 1138864128 236566 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
/proc/32058/statm: 278043 236566 3302 3035 0 273643 0
[pid=32058/tid=32072] ppid=32055 vsize=1112172 memory=899388 CPUtime=3452.3 cores=5,7
/proc/32058/task/32072/stat : 32072 (fscip) R 32055 32058 29765 0 -1 4194368 1611604 0 0 0 345083 147 0 0 20 0 3 0 4818410 1138864128 236566 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
[pid=32058/tid=32073] ppid=32055 vsize=1112172 memory=12692 CPUtime=0.04 cores=5,7
/proc/32058/task/32073/stat : 32073 (fscip) S 32055 32058 29765 0 -1 1077936192 91 0 0 0 2 2 0 0 20 0 3 0 4818412 1138864128 236566 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
Current children cumulated CPU time: 3452.68 s
Current children cumulated vsize: 1112172 KiB
Current children cumulated memory: 946264 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 33880
/proc/meminfo: memFree=108758204/131524600 swapFree=131071728/131071996
[pid=32058] ppid=32055 vsize=1177708 memory=960264 CPUtime=3512.48 cores=5,7
/proc/32058/stat : 32058 (fscip) S 32055 32058 29765 0 -1 1077936128 1679756 0 0 0 351088 160 0 0 20 0 3 0 4818396 1205972992 240066 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
/proc/32058/statm: 294427 240066 3302 3035 0 276853 0
[pid=32058/tid=32072] ppid=32055 vsize=1177708 memory=11524 CPUtime=3512.09 cores=5,7
/proc/32058/task/32072/stat : 32072 (fscip) R 32055 32058 29765 0 -1 4194368 1664557 0 0 0 351058 151 0 0 20 0 3 0 4818410 1205972992 240066 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
[pid=32058/tid=32073] ppid=32055 vsize=1177708 memory=11524 CPUtime=0.04 cores=5,7
/proc/32058/task/32073/stat : 32073 (fscip) S 32055 32058 29765 0 -1 1077936192 91 0 0 0 2 2 0 0 20 0 3 0 4818412 1205972992 240066 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
Current children cumulated CPU time: 3512.48 s
Current children cumulated vsize: 1177708 KiB
Current children cumulated memory: 960264 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 34058
/proc/meminfo: memFree=108743296/131524600 swapFree=131071728/131071996
[pid=32058] ppid=32055 vsize=1177708 memory=966012 CPUtime=3572.28 cores=5,7
/proc/32058/stat : 32058 (fscip) S 32055 32058 29765 0 -1 1077936128 1726011 0 0 0 357064 164 0 0 20 0 3 0 4818396 1205972992 241503 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
/proc/32058/statm: 294427 241503 3302 3035 0 277937 0
[pid=32058/tid=32072] ppid=32055 vsize=1177708 memory=11524 CPUtime=3571.89 cores=5,7
/proc/32058/task/32072/stat : 32072 (fscip) R 32055 32058 29765 0 -1 4194368 1710779 0 0 0 357034 155 0 0 20 0 3 0 4818410 1205972992 241503 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
[pid=32058/tid=32073] ppid=32055 vsize=1177708 memory=11524 CPUtime=0.04 cores=5,7
/proc/32058/task/32073/stat : 32073 (fscip) S 32055 32058 29765 0 -1 1077936192 95 0 0 0 2 2 0 0 20 0 3 0 4818412 1205972992 241503 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
Current children cumulated CPU time: 3572.28 s
Current children cumulated vsize: 1177708 KiB
Current children cumulated memory: 966012 KiB

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

# cumulated CPU time of all completed processes:  user=3586.51 s, system=1.69779 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.12 4.09 6/265 34059
/proc/meminfo: memFree=108743332/131524600 swapFree=131071728/131071996
[pid=32058] ppid=32055 vsize=1177708 memory=966016 CPUtime=3573.97 cores=5,7
/proc/32058/stat : 32058 (fscip) S 32055 32058 29765 0 -1 1077936128 1726980 0 0 0 357233 164 0 0 20 0 3 0 4818396 1205972992 241504 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
/proc/32058/statm: 294427 241504 3302 3035 0 277937 0
[pid=32058/tid=32072] ppid=32055 vsize=1177708 memory=-7451886750023114366 CPUtime=3573.58 cores=5,7
/proc/32058/task/32072/stat : 32072 (fscip) R 32055 32058 29765 0 -1 4194368 1711748 0 0 0 357203 155 0 0 20 0 3 0 4818410 1205972992 241504 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
[pid=32058/tid=32073] ppid=32055 vsize=1177708 memory=-7522038826519133118 CPUtime=0.04 cores=5,7
/proc/32058/task/32073/stat : 32073 (fscip) S 32055 32058 29765 0 -1 1077936192 95 0 0 0 2 2 0 0 20 0 3 0 4818412 1205972992 241504 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
Current children cumulated CPU time: 3573.97 s
Current children cumulated vsize: 1177708 KiB
Current children cumulated memory: 966016 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 34059
/proc/meminfo: memFree=108743212/131524600 swapFree=131071728/131071996
[pid=32058] ppid=32055 vsize=1177708 memory=966032 CPUtime=3580.34 cores=5,7
/proc/32058/stat : 32058 (fscip) S 32055 32058 29765 0 -1 1077936128 1734799 0 0 0 357870 164 0 0 20 0 3 0 4818396 1205972992 241508 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
/proc/32058/statm: 294427 241508 3302 3035 0 277937 0
[pid=32058/tid=32072] ppid=32055 vsize=1177708 memory=966016 CPUtime=3579.96 cores=5,7
/proc/32058/task/32072/stat : 32072 (fscip) R 32055 32058 29765 0 -1 4194368 1719567 0 0 0 357840 156 0 0 20 0 3 0 4818410 1205972992 241508 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
[pid=32058/tid=32073] ppid=32055 vsize=1177708 memory=12652 CPUtime=0.04 cores=5,7
/proc/32058/task/32073/stat : 32073 (fscip) S 32055 32058 29765 0 -1 1077936192 95 0 0 0 2 2 0 0 20 0 3 0 4818412 1205972992 241508 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
Current children cumulated CPU time: 3580.34 s
Current children cumulated vsize: 1177708 KiB
Current children cumulated memory: 966032 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 34059
/proc/meminfo: memFree=108743204/131524600 swapFree=131071728/131071996
[pid=32058] ppid=32055 vsize=1177708 memory=966040 CPUtime=3583.53 cores=5,7
/proc/32058/stat : 32058 (fscip) S 32055 32058 29765 0 -1 1077936128 1735584 0 0 0 358189 164 0 0 20 0 3 0 4818396 1205972992 241510 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
/proc/32058/statm: 294427 241510 3302 3035 0 277937 0
[pid=32058/tid=32072] ppid=32055 vsize=1177708 memory=966020 CPUtime=3583.15 cores=5,7
/proc/32058/task/32072/stat : 32072 (fscip) R 32055 32058 29765 0 -1 4194368 1720352 0 0 0 358159 156 0 0 20 0 3 0 4818410 1205972992 241510 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
[pid=32058/tid=32073] ppid=32055 vsize=1177708 memory=966028 CPUtime=0.04 cores=5,7
/proc/32058/task/32073/stat : 32073 (fscip) S 32055 32058 29765 0 -1 1077936192 95 0 0 0 2 2 0 0 20 0 3 0 4818412 1205972992 241510 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
Current children cumulated CPU time: 3583.53 s
Current children cumulated vsize: 1177708 KiB
Current children cumulated memory: 966040 KiB

[startup+3596.8 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 34062
/proc/meminfo: memFree=108743208/131524600 swapFree=131071728/131071996
[pid=32058] ppid=32055 vsize=1177708 memory=966056 CPUtime=3586.73 cores=5,7
/proc/32058/stat : 32058 (fscip) S 32055 32058 29765 0 -1 1077936128 1736582 0 0 0 358508 165 0 0 20 0 3 0 4818396 1205972992 241514 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
/proc/32058/statm: 294427 241514 3302 3035 0 277937 0
[pid=32058/tid=32072] ppid=32055 vsize=1177708 memory=164 CPUtime=3586.34 cores=5,7
/proc/32058/task/32072/stat : 32072 (fscip) R 32055 32058 29765 0 -1 4194368 1721350 0 0 0 358478 156 0 0 20 0 3 0 4818410 1205972992 241514 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
[pid=32058/tid=32073] ppid=32055 vsize=1177708 memory=966048 CPUtime=0.04 cores=5,7
/proc/32058/task/32073/stat : 32073 (fscip) S 32055 32058 29765 0 -1 1077936192 95 0 0 0 2 2 0 0 20 0 3 0 4818412 1205972992 241514 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
Current children cumulated CPU time: 3586.73 s
Current children cumulated vsize: 1177708 KiB
Current children cumulated memory: 966056 KiB

[startup+3597.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 34062
/proc/meminfo: memFree=108743232/131524600 swapFree=131071728/131071996
[pid=32058] ppid=32055 vsize=1177708 memory=966056 CPUtime=3587.52 cores=5,7
/proc/32058/stat : 32058 (fscip) S 32055 32058 29765 0 -1 1077936128 1736714 0 0 0 358587 165 0 0 20 0 3 0 4818396 1205972992 241514 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
/proc/32058/statm: 294427 241514 3302 3035 0 277937 0
[pid=32058/tid=32072] ppid=32055 vsize=1177708 memory=-5155633680935826750 CPUtime=3587.13 cores=5,7
/proc/32058/task/32072/stat : 32072 (fscip) R 32055 32058 29765 0 -1 4194368 1721482 0 0 0 358557 156 0 0 20 0 3 0 4818410 1205972992 241514 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
[pid=32058/tid=32073] ppid=32055 vsize=1177708 memory=12652 CPUtime=0.04 cores=5,7
/proc/32058/task/32073/stat : 32073 (fscip) S 32055 32058 29765 0 -1 1077936192 95 0 0 0 2 2 0 0 20 0 3 0 4818412 1205972992 241514 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
Current children cumulated CPU time: 3587.52 s
Current children cumulated vsize: 1177708 KiB
Current children cumulated memory: 966056 KiB

[startup+3598 s]*
/proc/loadavg: 4.09 4.11 4.09 5/263 34108
/proc/meminfo: memFree=108988288/131524600 swapFree=131071728/131071996
[pid=32058] ppid=32055 vsize=1177708 memory=966060 CPUtime=3587.93 cores=5,7
/proc/32058/stat : 32058 (fscip) S 32055 32058 29765 0 -1 1077936128 1737455 0 0 0 358628 165 0 0 20 0 3 0 4818396 1205972992 241515 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
/proc/32058/statm: 294427 241515 3302 3035 0 277937 0
[pid=32058/tid=32072] ppid=32055 vsize=1177708 memory=-6000919489970530412 CPUtime=3587.54 cores=5,7
/proc/32058/task/32072/stat : 32072 (fscip) R 32055 32058 29765 0 -1 4194368 1722221 0 0 0 358598 156 0 0 20 0 3 0 4818410 1205972992 241515 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
[pid=32058/tid=32073] ppid=32055 vsize=1177708 memory=2736 CPUtime=0.04 cores=5,7
/proc/32058/task/32073/stat : 32073 (fscip) S 32055 32058 29765 0 -1 1077936192 95 0 0 0 2 2 0 0 20 0 3 0 4818412 1205972992 241515 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
Current children cumulated CPU time: 3587.93 s
Current children cumulated vsize: 1177708 KiB
Current children cumulated memory: 966060 KiB

[startup+3598.2 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 34108
/proc/meminfo: memFree=108988288/131524600 swapFree=131071728/131071996
[pid=32058] ppid=32055 vsize=1173616 memory=962124 CPUtime=3588.12 cores=5,7
/proc/32058/stat : 32058 (fscip) S 32055 32058 29765 0 -1 1077936128 1775002 0 0 0 358645 167 0 0 20 0 3 0 4818396 1201782784 240531 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
/proc/32058/statm: 293404 240531 3302 3035 0 276914 0
[pid=32058/tid=32072] ppid=32055 vsize=1173616 memory=966056 CPUtime=3587.73 cores=5,7
/proc/32058/task/32072/stat : 32072 (fscip) R 32055 32058 29765 0 -1 4194368 1759775 0 0 0 358615 158 0 0 20 0 3 0 4818410 1201782784 240531 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
[pid=32058/tid=32073] ppid=32055 vsize=1173616 memory=2776 CPUtime=0.04 cores=5,7
/proc/32058/task/32073/stat : 32073 (fscip) S 32055 32058 29765 0 -1 1077936192 95 0 0 0 2 2 0 0 20 0 3 0 4818412 1201782784 240531 134679101440 4194304 16623229 140735201518976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56770560 140735201522710 140735201522826 140735201522826 140735201529840 0
Current children cumulated CPU time: 3588.12 s
Current children cumulated vsize: 1173616 KiB
Current children cumulated memory: 962124 KiB

Child status: 0

Real time (s): 3598.28
CPU time (s): 3588.21
CPU user time (s): 3586.51
CPU system time (s): 1.69779
CPU usage (%): 99.7201
Max. virtual memory (cumulated for all children) (KiB): 1177708
Max. memory (cumulated for all children) (KiB): 969196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.51
system time used= 1.69779
maximum resident set size= 969196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1778381
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= 10170
involuntary context switches= 4342


# summary of solver processes directly reported to runsolver:
#   pid: 32058
#   total CPU time (s): 3588.21
#   total CPU user time (s): 3586.51
#   total CPU system time (s): 1.69779

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10238 second user time and 17.3053 second system time

The end

Launcher Data

Begin job on nodeC024 at 2024-07-31 01:29:54
IDJOB=4464798
IDBENCH=148578
IDSOLVER=3092
FILE ID=nodeC024/4464798-1722382194
RUNJOBID= nodeC024-1722378594-29778
SLURM_JOB_ID= 8249847
Free space on /tmp= 889960 MiB

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

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

MD5SUM BENCH= 5f642955075bb0dd80aabe9a80ec63b9
RANDOM SEED=1367756045

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        120971868 kB
MemAvailable:   123367632 kB
Buffers:           89816 kB
Cached:          3123388 kB
SwapCached:           36 kB
Active:           300368 kB
Inactive:        9728800 kB
Active(anon):       1536 kB
Inactive(anon):  6835748 kB
Active(file):     298832 kB
Inactive(file):  2893052 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:             56972 kB
Writeback:             0 kB
AnonPages:       6812648 kB
Mapped:           111980 kB
Shmem:             21292 kB
KReclaimable:      87404 kB
Slab:             171888 kB
SReclaimable:      87404 kB
SUnreclaim:        84484 kB
KernelStack:        4080 kB
PageTables:        22148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4919428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9184 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4982784 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:      178900 kB
DirectMap2M:    11128832 kB
DirectMap1G:    124780544 kB

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