Trace number 4459811

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-02SAT-73 3588 3600.23

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: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.04	c Default LC presolving (default).
0.00/0.04	c ** Before presolving: virtualMemUsedAtLc = 53829632, getVmSize() = 53829632, SCIPgetMemUsed() = 27258046, SCIPgetMemTotal() = 31321894, SCIPgetMemExternEstim() = 16611367
0.00/0.04	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.09/0.13	c ** Estimated virtualMemUsedAtSolver = 41779452, getVmSize() = 70627328, SCIPgetMemUsed() = 29390220, SCIPgetMemTotal() = 46057812, SCIPgetMemExternEstim() = 16611367
0.09/0.13	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.09/0.13	c Original Problem   :
0.09/0.13	c   Problem name     : instance-4459811-1721939466
0.09/0.13	c   Variables        : 8377 (500 binary, 0 integer, 7877 implicit integer, 0 continuous)
0.09/0.13	c   Constraints      : 8877
0.09/0.13	c   Objective sense  : minimize
0.09/0.13	c Presolved Problem  :
0.09/0.13	c   Variables        : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.13	c   Constraints      : 7877
0.09/0.13	c Constraints        : Number
0.09/0.13	c   setppc           : 7877 
0.09/0.13	c ** Instance transfer method used: 0
0.09/0.14	c ** ParaScipInstance copy does not increase the number of variables. **
0.09/0.15	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.09/0.15	c                                Nodes    Active                                            
0.09/0.15	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.19/0.25	c *       0              0           1         1         -49.0000                -          -
0.19/0.25	c *       0              0           1         1         -65.0000                -          -
0.19/0.27	c *       0              0           1         1         -70.0000                -          -
12.43/12.53	c        13              2           1         1         -70.0000        -148.0000    111.43%
18.71/18.88	c        19              4           3         1         -70.0000        -147.7302    111.04%
24.69/24.84	c        25              7           6         1         -70.0000        -147.0512    110.07%
30.08/30.25	c        30              9           8         1         -70.0000        -147.0512    110.07%
35.16/35.31	c        35             33          32         1         -70.0000        -147.0083    110.01%
40.95/41.18	c        41             50          49         1         -70.0000        -147.0083    110.01%
46.82/47.05	c        47             62          61         1         -70.0000        -146.8653    109.81%
52.50/52.76	c        53             70          69         1         -70.0000        -146.8653    109.81%
58.09/58.39	c        58             88          87         1         -70.0000        -146.8653    109.81%
64.07/64.38	c        64            124         123         1         -70.0000        -146.7680    109.67%
69.65/69.95	c        70            153         152         1         -70.0000        -146.2719    108.96%
74.94/75.28	c        75            170         169         1         -70.0000        -146.2719    108.96%
81.31/81.67	c        82            181         180         1         -70.0000        -146.2719    108.96%
86.60/86.97	c        87            192         191         1         -70.0000        -146.0955    108.71%
93.67/94.05	c        94            207         206         1         -70.0000        -146.0955    108.71%
101.26/101.64	c       102            223         222         1         -70.0000        -145.1699    107.39%
107.23/107.60	c       108            241         240         1         -70.0000        -145.1699    107.39%
113.31/113.78	c       114            256         255         1         -70.0000        -145.1170    107.31%
119.39/119.80	c       120            271         270         1         -70.0000        -145.1170    107.31%
125.58/126.09	c       126            283         282         1         -70.0000        -145.0658    107.24%
130.67/131.14	c       131            295         294         1         -70.0000        -145.0658    107.24%
136.74/137.23	c       137            311         310         1         -70.0000        -144.8813    106.97%
143.82/144.38	c       144            329         328         1         -70.0000        -144.8813    106.97%
148.90/149.48	c       149            338         337         1         -70.0000        -144.6019    106.57%
154.68/155.27	c       155            355         354         1         -70.0000        -144.6019    106.57%
160.06/160.65	c       161            374         373         1         -70.0000        -144.2052    106.01%
165.46/166.05	c       166            391         390         1         -70.0000        -144.2052    106.01%
170.84/171.42	c       171            416         415         1         -70.0000        -144.2010    106.00%
176.42/177.08	c       177            431         430         1         -70.0000        -144.1161    105.88%
181.60/182.23	c       182            447         446         1         -70.0000        -144.1161    105.88%
187.28/187.94	c       188            463         462         1         -70.0000        -143.8863    105.55%
193.06/193.78	c       194            478         477         1         -70.0000        -143.8863    105.55%
199.04/199.74	c       200            498         497         1         -70.0000        -143.6665    105.24%
204.93/205.65	c       206            513         512         1         -70.0000        -143.4708    104.96%
210.31/211.09	c       211            526         525         1         -70.0000        -143.4708    104.96%
215.89/216.65	c       217            538         537         1         -70.0000        -143.4708    104.96%
221.77/222.55	c       223            555         554         1         -70.0000        -143.4590    104.94%
227.05/227.83	c       228            574         573         1         -70.0000        -143.2432    104.63%
232.25/233.07	c       233            592         591         1         -70.0000        -143.2432    104.63%
238.02/238.83	c       239            613         612         1         -70.0000        -142.9807    104.26%
243.21/244.09	c       244            638         637         1         -70.0000        -142.5705    103.67%
249.58/250.44	c       250            667         666         1         -70.0000        -142.4913    103.56%
254.57/255.48	c       255            692         691         1         -70.0000        -142.1825    103.12%
260.05/260.94	c       261            718         717         1         -70.0000        -142.1825    103.12%
265.24/266.18	c       266            738         737         1         -70.0000        -142.1283    103.04%
271.12/272.01	c       272            760         759         1         -70.0000        -142.0823    102.97%
276.50/277.49	c       278            787         786         1         -70.0000        -142.0596    102.94%
281.58/282.53	c       283            810         809         1         -70.0000        -142.0596    102.94%
282.48/283.44	c *     283            812         811         1         -73.0000        -142.0271     94.56%
287.18/288.12	c       288            842         841         1         -73.0000        -142.0075     94.53%
293.05/294.07	c       294            869         868         1         -73.0000        -142.0075     94.53%
298.14/299.13	c       299            883         882         1         -73.0000        -141.6455     94.03%
305.41/306.41	c       306            908         907         1         -73.0000        -141.4970     93.83%
310.79/311.87	c       312            931         930         1         -73.0000        -141.4970     93.83%
315.98/317.06	c       317            952         951         1         -73.0000        -141.4088     93.71%
322.65/323.70	c       324            973         972         1         -73.0000        -141.3333     93.61%
327.94/329.03	c       329            988         987         1         -73.0000        -141.3333     93.61%
334.03/335.10	c       335           1017        1016         1         -73.0000        -141.3333     93.61%
339.80/340.96	c       341           1045        1044         1         -73.0000        -141.2098     93.44%
348.77/349.90	c       350           1051           1         1         -73.0000        -141.2098     93.44%
353.95/355.18	c       355           1052           2         1         -73.0000        -141.2098     93.44%
359.73/360.95	c       361           1062          12         1         -73.0000        -141.2098     93.44%
366.10/367.38	c       367           1067          17         1         -73.0000        -141.2098     93.44%
373.28/374.57	c       375           1075          25         1         -73.0000        -141.2098     93.44%
378.95/380.24	c       380           1083          33         1         -73.0000        -141.2098     93.44%
384.83/386.14	c       386           1111          61         1         -73.0000        -141.2098     93.44%
390.41/391.73	c       392           1137          87         1         -73.0000        -141.2098     93.44%
395.49/396.83	c       397           1150         100         1         -73.0000        -141.2098     93.44%
401.07/402.43	c       402           1175         125         1         -73.0000        -141.2098     93.44%
406.66/408.03	c       408           1206         156         1         -73.0000        -141.2098     93.44%
412.74/414.15	c       414           1236         186         1         -73.0000        -141.2098     93.44%
418.50/419.95	c       420           1269         219         1         -73.0000        -141.2098     93.44%
424.58/426.03	c       426           1298         248         1         -73.0000        -141.2098     93.44%
429.86/431.33	c       431           1319         269         1         -73.0000        -141.2098     93.44%
434.94/436.44	c       436           1343         293         1         -73.0000        -141.2098     93.44%
440.12/441.68	c       442           1362         312         1         -73.0000        -141.2098     93.44%
445.70/447.27	c       447           1383         333         1         -73.0000        -141.2098     93.44%
450.78/452.31	c       452           1398         348         1         -73.0000        -141.2098     93.44%
456.26/457.89	c       458           1439         389         1         -73.0000        -141.2098     93.44%
461.54/463.17	c       463           1468         418         1         -73.0000        -141.2098     93.44%
467.72/469.32	c       469           1504         454         1         -73.0000        -141.2098     93.44%
473.00/474.69	c       475           1538         488         1         -73.0000        -141.2098     93.44%
478.68/480.39	c       480           1573         523         1         -73.0000        -141.2098     93.44%
484.15/485.82	c       486           1601         551         1         -73.0000        -141.2098     93.44%
489.73/491.47	c       491           1634         584         1         -73.0000        -141.2098     93.44%
494.82/496.50	c       497           1663         613         1         -73.0000        -141.2098     93.44%
500.10/501.89	c       502           1684         634         1         -73.0000        -141.2098     93.44%
505.18/506.91	c       507           1708         658         1         -73.0000        -141.2098     93.44%
511.55/513.31	c       513           1741         691         1         -73.0000        -141.2098     93.44%
517.33/519.17	c       519           1782         732         1         -73.0000        -141.2098     93.44%
522.51/524.32	c       524           1801         751         1         -73.0000        -141.2098     93.44%
528.89/530.73	c       531           1830         780         1         -73.0000        -141.2098     93.44%
534.77/536.67	c       537           1860         810         1         -73.0000        -141.2098     93.44%
540.15/542.05	c       542           1888         838         1         -73.0000        -141.2098     93.44%
545.53/547.48	c       547           1910         860         1         -73.0000        -141.2098     93.44%
551.11/553.09	c       553           1944         894         1         -73.0000        -141.2098     93.44%
557.28/559.24	c       559           1966         916         1         -73.0000        -141.2098     93.44%
562.87/564.87	c       565           2006         956         1         -73.0000        -141.2098     93.44%
569.24/571.23	c       571           2044         994         1         -73.0000        -141.2098     93.44%
574.42/576.44	c       576           2065        1015         1         -73.0000        -141.2098     93.44%
580.89/582.92	c       583           2098        1048         1         -73.0000        -141.2098     93.44%
586.37/588.42	c       588           2129        1079         1         -73.0000        -141.2098     93.44%
592.55/594.65	c       595           2160        1110         1         -73.0000        -141.2098     93.44%
598.93/601.04	c       601           2205        1155         1         -73.0000        -141.2098     93.44%
604.60/606.73	c       607           2244        1194         1         -73.0000        -141.2098     93.44%
610.48/612.60	c       613           2289        1239         1         -73.0000        -141.2098     93.44%
615.46/617.66	c       618           2318        1268         1         -73.0000        -141.2098     93.44%
621.25/623.46	c       623           2360        1310         1         -73.0000        -141.2098     93.44%
626.44/628.61	c       629           2385        1335         1         -73.0000        -141.2098     93.44%
631.92/634.15	c       634           2430        1380         1         -73.0000        -141.2098     93.44%
637.30/639.54	c       640           2483        1433         1         -73.0000        -141.2098     93.44%
643.28/645.55	c       646           2529        1479         1         -73.0000        -141.2098     93.44%
649.66/651.95	c       652           2563        1513         1         -73.0000        -141.2098     93.44%
655.64/657.92	c       658           2595        1545         1         -73.0000        -141.2098     93.44%
661.62/663.98	c       664           2633        1583         1         -73.0000        -141.2098     93.44%
667.31/669.62	c       670           2678        1628         1         -73.0000        -141.2098     93.44%
672.89/675.21	c       675           2716        1666         1         -73.0000        -141.2098     93.44%
678.67/681.08	c       681           2757        1707         1         -73.0000        -141.2098     93.44%
683.95/686.34	c       686           2776        1726         1         -73.0000        -141.2098     93.44%
689.93/692.39	c       692           2811        1761         1         -73.0000        -141.2098     93.44%
695.11/697.54	c       698           2845        1795         1         -73.0000        -141.2098     93.44%
700.80/703.24	c       703           2880        1830         1         -73.0000        -141.2098     93.44%
706.08/708.51	c       709           2918        1868         1         -73.0000        -141.2098     93.44%
711.57/714.07	c       714           2948        1898         1         -73.0000        -141.2098     93.44%
717.74/720.23	c       720           2983        1933         1         -73.0000        -141.2098     93.44%
723.04/725.57	c       726           3030        1980         1         -73.0000        -141.2098     93.44%
728.31/730.88	c       731           3057        2007         1         -73.0000        -141.2098     93.44%
734.49/737.01	c       737           3079        2029         1         -73.0000        -141.2098     93.44%
740.07/742.60	c       743           3125        2075         1         -73.0000        -141.2098     93.44%
745.57/748.11	c       748           3165        2115         1         -73.0000        -141.2098     93.44%
751.04/753.64	c       754           3204        2154         1         -73.0000        -141.2098     93.44%
756.03/758.66	c       759           3248        2198         1         -73.0000        -141.2098     93.44%
761.21/763.83	c       764           3283        2233         1         -73.0000        -141.2098     93.44%
766.79/769.40	c       769           3338        2288         1         -73.0000        -141.2098     93.44%
772.28/774.96	c       775           3375        2325         1         -73.0000        -141.2098     93.44%
778.06/780.72	c       781           3418        2368         1         -73.0000        -141.2098     93.44%
783.45/786.14	c       786           3457        2407         1         -73.0000        -141.2098     93.44%
788.53/791.25	c       791           3494        2444         1         -73.0000        -141.2098     93.44%
794.51/797.20	c       797           3536        2486         1         -73.0000        -141.2098     93.44%
799.99/802.76	c       803           3569        2519         1         -73.0000        -141.2098     93.44%
805.47/808.27	c       808           3608        2558         1         -73.0000        -141.2098     93.44%
811.55/814.39	c       814           3650        2600         1         -73.0000        -141.2098     93.44%
816.94/819.70	c       820           3687        2637         1         -73.0000        -141.2098     93.44%
822.82/825.64	c       826           3717        2667         1         -73.0000        -141.2098     93.44%
829.71/832.56	c       833           3748        2698         1         -73.0000        -141.2098     93.44%
835.69/838.57	c       839           3784        2734         1         -73.0000        -141.2098     93.44%
841.87/844.73	c       845           3828        2778         1         -73.0000        -141.2098     93.44%
847.85/850.71	c       851           3883        2833         1         -73.0000        -141.2098     93.44%
853.63/856.59	c       857           3915        2865         1         -73.0000        -141.2098     93.44%
858.72/861.69	c       862           3946        2896         1         -73.0000        -141.2098     93.44%
863.99/866.98	c       867           3996        2946         1         -73.0000        -141.2098     93.44%
869.77/872.75	c       873           4038        2988         1         -73.0000        -141.2098     93.44%
875.75/878.76	c       879           4091        3041         1         -73.0000        -141.2098     93.44%
881.33/884.33	c       884           4131        3081         1         -73.0000        -141.2098     93.44%
886.42/889.46	c       889           4159        3109         1         -73.0000        -141.2098     93.44%
891.40/894.49	c       894           4195        3145         1         -73.0000        -141.2098     93.44%
897.99/901.05	c       901           4235        3185         1         -73.0000        -141.2098     93.44%
903.57/906.63	c       907           4283        3233         1         -73.0000        -141.2098     93.44%
908.96/912.09	c       912           4327        3277         1         -73.0000        -141.2098     93.44%
914.04/917.18	c       917           4370        3320         1         -73.0000        -141.2098     93.44%
919.82/922.97	c       923           4397        3347         1         -73.0000        -141.2098     93.44%
925.50/928.65	c       929           4445        3395         1         -73.0000        -141.2098     93.44%
930.78/933.95	c       934           4471        3421         1         -73.0000        -141.2098     93.44%
936.76/939.97	c       940           4497        3447         1         -73.0000        -141.2098     93.44%
943.05/946.23	c       946           4534        3484         1         -73.0000        -141.2098     93.44%
948.53/951.78	c       952           4569        3519         1         -73.0000        -141.2098     93.44%
953.71/956.90	c       957           4611        3561         1         -73.0000        -141.2098     93.44%
959.29/962.50	c       962           4653        3603         1         -73.0000        -141.2098     93.44%
965.17/968.44	c       968           4690        3640         1         -73.0000        -141.2098     93.44%
970.65/973.95	c       974           4724        3674         1         -73.0000        -141.2098     93.44%
975.83/979.19	c       979           4770        3720         1         -73.0000        -141.2098     93.44%
981.61/984.99	c       985           4816        3766         1         -73.0000        -141.2098     93.44%
987.70/991.07	c       991           4853        3803         1         -73.0000        -141.2098     93.44%
993.17/996.58	c       997           4901        3851         1         -73.0000        -141.2098     93.44%
999.05/1002.46	c      1002           4953        3903         1         -73.0000        -141.2098     93.44%
1004.13/1007.59	c      1008           4983        3933         1         -73.0000        -141.2098     93.44%
1010.00/1013.48	c      1013           5055        4005         1         -73.0000        -141.2098     93.44%
1015.78/1019.22	c      1019           5109        4059         1         -73.0000        -141.2098     93.44%
1021.47/1024.96	c      1025           5152        4102         1         -73.0000        -141.2098     93.44%
1026.85/1030.31	c      1030           5193        4143         1         -73.0000        -141.2098     93.44%
1032.43/1035.95	c      1036           5263        4213         1         -73.0000        -141.2098     93.44%
1038.20/1041.73	c      1042           5302        4252         1         -73.0000        -141.2098     93.44%
1043.48/1047.02	c      1047           5363        4313         1         -73.0000        -141.2098     93.44%
1048.86/1052.46	c      1052           5380        4330         1         -73.0000        -141.2098     93.44%
1054.54/1058.13	c      1058           5428        4378         1         -73.0000        -141.2098     93.44%
1060.82/1064.46	c      1064           5478        4428         1         -73.0000        -141.2098     93.44%
1066.30/1069.97	c      1070           5535        4485         1         -73.0000        -141.2098     93.44%
1071.58/1075.20	c      1075           5566        4516         1         -73.0000        -141.2098     93.44%
1077.36/1081.09	c      1081           5610        4560         1         -73.0000        -141.2098     93.44%
1082.44/1086.15	c      1086           5646        4596         1         -73.0000        -141.2098     93.44%
1087.73/1091.48	c      1091           5686        4636         1         -73.0000        -141.2098     93.44%
1093.70/1097.41	c      1097           5744        4694         1         -73.0000        -141.2098     93.44%
1099.08/1102.84	c      1103           5781        4731         1         -73.0000        -141.2098     93.44%
1104.76/1108.58	c      1109           5822        4772         1         -73.0000        -141.2098     93.44%
1110.04/1113.83	c      1114           5870        4820         1         -73.0000        -141.2098     93.44%
1115.62/1119.47	c      1119           5911        4861         1         -73.0000        -141.2098     93.44%
1120.80/1124.60	c      1125           5946        4896         1         -73.0000        -141.2098     93.44%
1126.78/1130.60	c      1131           5990        4940         1         -73.0000        -141.2098     93.44%
1132.06/1135.96	c      1136           6039        4989         1         -73.0000        -141.2098     93.44%
1137.74/1141.68	c      1142           6093        5043         1         -73.0000        -141.2098     93.44%
1143.62/1147.52	c      1148           6136        5086         1         -73.0000        -141.2098     93.44%
1150.69/1154.68	c      1155           6171        5121         1         -73.0000        -141.2098     93.44%
1156.57/1160.55	c      1161           6216        5166         1         -73.0000        -141.2098     93.44%
1162.55/1166.53	c      1167           6270        5220         1         -73.0000        -141.2098     93.44%
1168.03/1172.08	c      1172           6306        5256         1         -73.0000        -141.2098     93.44%
1174.11/1178.14	c      1178           6344        5294         1         -73.0000        -141.2098     93.44%
1179.09/1183.15	c      1183           6373        5323         1         -73.0000        -141.2098     93.44%
1184.46/1188.53	c      1189           6407        5357         1         -73.0000        -141.2098     93.44%
1190.54/1194.68	c      1195           6474        5424         1         -73.0000        -141.2098     93.44%
1196.43/1200.59	c      1201           6531        5481         1         -73.0000        -141.2098     93.44%
1201.71/1205.87	c      1206           6568        5518         1         -73.0000        -141.2098     93.44%
1206.99/1211.19	c      1211           6614        5564         1         -73.0000        -141.2098     93.44%
1212.87/1217.08	c      1217           6668        5618         1         -73.0000        -141.2098     93.44%
1218.85/1223.04	c      1223           6709        5659         1         -73.0000        -141.2098     93.44%
1224.22/1228.45	c      1228           6757        5707         1         -73.0000        -141.2098     93.44%
1229.91/1234.17	c      1234           6795        5745         1         -73.0000        -141.2098     93.44%
1235.79/1240.03	c      1240           6846        5796         1         -73.0000        -141.2098     93.44%
1241.07/1245.36	c      1245           6895        5845         1         -73.0000        -141.2098     93.44%
1246.85/1251.13	c      1251           6939        5889         1         -73.0000        -141.2098     93.44%
1252.03/1256.36	c      1256           6981        5931         1         -73.0000        -141.2098     93.44%
1257.81/1262.12	c      1262           7009        5959         1         -73.0000        -141.2098     93.44%
1262.99/1267.34	c      1267           7037        5987         1         -73.0000        -141.2098     93.44%
1269.16/1273.51	c      1274           7095        6045         1         -73.0000        -141.2098     93.44%
1274.84/1279.21	c      1279           7153        6103         1         -73.0000        -141.2098     93.44%
1281.22/1285.61	c      1286           7203        6153         1         -73.0000        -141.2098     93.44%
1286.30/1290.71	c      1291           7244        6194         1         -73.0000        -141.2098     93.44%
1291.78/1296.22	c      1296           7272        6222         1         -73.0000        -141.2098     93.44%
1297.06/1301.52	c      1302           7321        6271         1         -73.0000        -141.2098     93.44%
1302.14/1306.69	c      1307           7374        6324         1         -73.0000        -141.2098     93.44%
1307.72/1312.27	c      1312           7399        6349         1         -73.0000        -141.2098     93.44%
1313.90/1318.48	c      1318           7452        6402         1         -73.0000        -141.2098     93.44%
1319.08/1323.64	c      1324           7476        6426         1         -73.0000        -141.2098     93.44%
1325.15/1329.73	c      1330           7513        6463         1         -73.0000        -141.2098     93.44%
1330.23/1334.88	c      1335           7555        6505         1         -73.0000        -141.2098     93.44%
1335.42/1340.03	c      1340           7599        6549         1         -73.0000        -141.2098     93.44%
1341.50/1346.13	c      1346           7649        6599         1         -73.0000        -141.2098     93.44%
1347.08/1351.73	c      1352           7688        6638         1         -73.0000        -141.2098     93.44%
1352.86/1357.50	c      1358           7718        6668         1         -73.0000        -141.2098     93.44%
1358.34/1363.01	c      1363           7766        6716         1         -73.0000        -141.2098     93.44%
1363.42/1368.16	c      1368           7813        6763         1         -73.0000        -141.2098     93.44%
1368.99/1373.73	c      1374           7844        6794         1         -73.0000        -141.2098     93.44%
1375.07/1379.89	c      1380           7878        6828         1         -73.0000        -141.2098     93.44%
1380.85/1385.70	c      1386           7926        6876         1         -73.0000        -141.2098     93.44%
1386.03/1390.82	c      1391           7957        6907         1         -73.0000        -141.2098     93.44%
1391.31/1396.19	c      1396           8025        6975         1         -73.0000        -141.2098     93.44%
1397.30/1402.19	c      1402           8085        7035         1         -73.0000        -141.2098     93.44%
1402.67/1407.51	c      1408           8134        7084         1         -73.0000        -141.2098     93.44%
1407.75/1412.67	c      1413           8197        7147         1         -73.0000        -141.2098     93.44%
1413.03/1417.97	c      1418           8258        7208         1         -73.0000        -141.2098     93.44%
1418.31/1423.26	c      1423           8318        7268         1         -73.0000        -141.2098     93.44%
1423.69/1428.67	c      1429           8367        7317         1         -73.0000        -141.2098     93.44%
1429.67/1434.66	c      1435           8411        7361         1         -73.0000        -141.2098     93.44%
1435.64/1440.69	c      1441           8464        7414         1         -73.0000        -141.2098     93.44%
1441.13/1446.16	c      1446           8497        7447         1         -73.0000        -141.2098     93.44%
1446.21/1451.21	c      1451           8534        7484         1         -73.0000        -141.2098     93.44%
1451.89/1456.95	c      1457           8609        7559         1         -73.0000        -141.2098     93.44%
1457.57/1462.61	c      1463           8648        7598         1         -73.0000        -141.2098     93.44%
1463.34/1468.49	c      1468           8703        7653         1         -73.0000        -141.2098     93.44%
1468.63/1473.79	c      1474           8746        7696         1         -73.0000        -141.2098     93.44%
1474.31/1479.46	c      1479           8772        7722         1         -73.0000        -141.2098     93.44%
1479.49/1484.65	c      1485           8809        7759         1         -73.0000        -141.2098     93.44%
1485.47/1490.67	c      1491           8857        7807         1         -73.0000        -141.2098     93.44%
1490.65/1495.85	c      1496           8890        7840         1         -73.0000        -141.2098     93.44%
1495.63/1500.86	c      1501           8928        7878         1         -73.0000        -141.2098     93.44%
1500.71/1505.98	c      1506           8957        7907         1         -73.0000        -141.2098     93.44%
1505.99/1511.24	c      1511           8994        7944         1         -73.0000        -141.2098     93.44%
1511.47/1516.79	c      1517           9058        8008         1         -73.0000        -141.2098     93.44%
1517.85/1523.14	c      1523           9113        8063         1         -73.0000        -141.2098     93.44%
1523.12/1528.43	c      1528           9159        8109         1         -73.0000        -141.2098     93.44%
1528.51/1533.81	c      1534           9214        8164         1         -73.0000        -141.2098     93.44%
1533.89/1539.22	c      1539           9252        8202         1         -73.0000        -141.2098     93.44%
1539.47/1544.85	c      1545           9297        8247         1         -73.0000        -141.2098     93.44%
1545.25/1550.66	c      1551           9332        8282         1         -73.0000        -141.2098     93.44%
1551.23/1556.63	c      1557           9384        8334         1         -73.0000        -141.2098     93.44%
1556.20/1561.69	c      1562           9418        8368         1         -73.0000        -141.2098     93.44%
1561.29/1566.79	c      1567           9448        8398         1         -73.0000        -141.2098     93.44%
1566.77/1572.24	c      1572           9475        8425         1         -73.0000        -141.2098     93.44%
1572.65/1578.18	c      1578           9525        8475         1         -73.0000        -141.2098     93.44%
1578.22/1583.76	c      1584           9585        8535         1         -73.0000        -141.2098     93.44%
1584.10/1589.62	c      1590           9628        8578         1         -73.0000        -141.2098     93.44%
1589.78/1595.34	c      1595           9687        8637         1         -73.0000        -141.2098     93.44%
1596.06/1601.60	c      1602           9724        8674         1         -73.0000        -141.2098     93.44%
1601.46/1607.01	c      1607           9773        8723         1         -73.0000        -141.2098     93.44%
1607.44/1613.03	c      1613           9821        8771         1         -73.0000        -141.2098     93.44%
1613.21/1618.84	c      1619           9871        8821         1         -73.0000        -141.2098     93.44%
1619.39/1625.02	c      1625           9918        8868         1         -73.0000        -141.2098     93.44%
1625.08/1630.73	c      1631           9951        8901         1         -73.0000        -141.2098     93.44%
1630.37/1636.09	c      1636           9998        8948         1         -73.0000        -141.2098     93.44%
1636.24/1641.96	c      1642          10033        8983         1         -73.0000        -141.2098     93.44%
1641.63/1647.30	c      1647          10078        9028         1         -73.0000        -141.2098     93.44%
1647.51/1653.29	c      1653          10117        9067         1         -73.0000        -141.2098     93.44%
1652.69/1658.45	c      1658          10156        9106         1         -73.0000        -141.2098     93.44%
1657.87/1663.67	c      1664          10209        9159         1         -73.0000        -141.2098     93.44%
1663.06/1668.80	c      1669          10258        9208         1         -73.0000        -141.2098     93.44%
1668.94/1674.73	c      1675          10310        9260         1         -73.0000        -141.2098     93.44%
1674.72/1680.56	c      1681          10343        9293         1         -73.0000        -141.2098     93.44%
1680.21/1686.04	c      1686          10416        9366         1         -73.0000        -141.2098     93.44%
1686.19/1692.01	c      1692          10470        9420         1         -73.0000        -141.2098     93.44%
1692.07/1697.97	c      1698          10522        9472         1         -73.0000        -141.2098     93.44%
1697.26/1703.10	c      1703          10578        9528         1         -73.0000        -141.2098     93.44%
1704.03/1709.92	c      1710          10641        9591         1         -73.0000        -141.2098     93.44%
1710.12/1716.07	c      1716          10676        9626         1         -73.0000        -141.2098     93.44%
1715.39/1721.31	c      1721          10708        9658         1         -73.0000        -141.2098     93.44%
1720.38/1726.35	c      1726          10756        9706         1         -73.0000        -141.2098     93.44%
1726.17/1732.16	c      1732          10818        9768         1         -73.0000        -141.2098     93.44%
1731.75/1737.78	c      1738          10860        9810         1         -73.0000        -141.2098     93.44%
1737.13/1743.18	c      1743          10920        9870         1         -73.0000        -141.2098     93.44%
1743.82/1749.83	c      1750          10967        9917         1         -73.0000        -141.2098     93.44%
1749.70/1755.76	c      1756          11012        9962         1         -73.0000        -141.2098     93.44%
1756.28/1762.38	c      1762          11062       10012         1         -73.0000        -141.2098     93.44%
1762.36/1768.45	c      1768          11101       10051         1         -73.0000        -141.2098     93.44%
1768.43/1774.50	c      1774          11151       10101         1         -73.0000        -141.2098     93.44%
1774.82/1780.99	c      1781          11204       10154         1         -73.0000        -141.2098     93.44%
1781.00/1787.11	c      1787          11257       10207         1         -73.0000        -141.2098     93.44%
1785.99/1792.12	c      1792          11301       10251         1         -73.0000        -141.2098     93.44%
1792.46/1798.60	c      1799          11355       10305         1         -73.0000        -141.2098     93.44%
1798.14/1804.32	c      1804          11405       10355         1         -73.0000        -141.2098     93.44%
1803.32/1809.59	c      1810          11448       10398         1         -73.0000        -141.2098     93.44%
1808.81/1815.07	c      1815          11496       10446         1         -73.0000        -141.2098     93.44%
1814.80/1821.05	c      1821          11559       10509         1         -73.0000        -141.2098     93.44%
1819.88/1826.17	c      1826          11583       10533         1         -73.0000        -141.2098     93.44%
1825.66/1831.99	c      1832          11625       10575         1         -73.0000        -141.2098     93.44%
1831.14/1837.47	c      1837          11660       10610         1         -73.0000        -141.2098     93.44%
1836.92/1843.26	c      1843          11704       10654         1         -73.0000        -141.2098     93.44%
1842.71/1849.07	c      1849          11746       10696         1         -73.0000        -141.2098     93.44%
1848.49/1854.84	c      1855          11812       10762         1         -73.0000        -141.2098     93.44%
1854.57/1860.97	c      1861          11876       10826         1         -73.0000        -141.2098     93.44%
1860.25/1866.64	c      1867          11929       10879         1         -73.0000        -141.2098     93.44%
1866.33/1872.72	c      1873          11993       10943         1         -73.0000        -141.2098     93.44%
1871.51/1877.96	c      1878          12053       11003         1         -73.0000        -141.2098     93.44%
1877.60/1884.08	c      1884          12101       11051         1         -73.0000        -141.2098     93.44%
1883.38/1889.81	c      1890          12160       11110         1         -73.0000        -141.2098     93.44%
1889.17/1895.62	c      1896          12218       11168         1         -73.0000        -141.2098     93.44%
1894.75/1901.23	c      1901          12278       11228         1         -73.0000        -141.2098     93.44%
1901.32/1907.81	c      1908          12343       11293         1         -73.0000        -141.2098     93.44%
1907.20/1913.72	c      1914          12397       11347         1         -73.0000        -141.2098     93.44%
1913.28/1919.84	c      1920          12452       11402         1         -73.0000        -141.2098     93.44%
1918.87/1925.44	c      1925          12538       11488         1         -73.0000        -141.2098     93.44%
1924.05/1930.60	c      1931          12580       11530         1         -73.0000        -141.2098     93.44%
1929.63/1936.23	c      1936          12643       11593         1         -73.0000        -141.2098     93.44%
1934.92/1941.56	c      1942          12703       11653         1         -73.0000        -141.2098     93.44%
1941.10/1947.78	c      1948          12772       11722         1         -73.0000        -141.2098     93.44%
1947.98/1954.66	c      1955          12822       11772         1         -73.0000        -141.2098     93.44%
1953.26/1959.94	c      1960          12864       11814         1         -73.0000        -141.2098     93.44%
1958.64/1965.35	c      1965          12928       11878         1         -73.0000        -141.2098     93.44%
1963.93/1970.65	c      1971          12985       11935         1         -73.0000        -141.2098     93.44%
1970.21/1976.96	c      1977          13049       11999         1         -73.0000        -141.2098     93.44%
1975.79/1982.51	c      1983          13099       12049         1         -73.0000        -141.2098     93.44%
1981.47/1988.29	c      1988          13141       12091         1         -73.0000        -141.2098     93.44%
1986.66/1993.43	c      1993          13175       12125         1         -73.0000        -141.2098     93.44%
1991.95/1998.71	c      1999          13226       12176         1         -73.0000        -141.2098     93.44%
1998.23/2005.09	c      2005          13273       12223         1         -73.0000        -141.2098     93.44%
2005.21/2012.05	c      2012          13328       12278         1         -73.0000        -141.2098     93.44%
2011.58/2018.41	c      2018          13405       12355         1         -73.0000        -141.2098     93.44%
2017.46/2024.37	c      2024          13475       12425         1         -73.0000        -141.2098     93.44%
2023.25/2030.20	c      2030          13541       12491         1         -73.0000        -141.2098     93.44%
2029.23/2036.10	c      2036          13602       12552         1         -73.0000        -141.2098     93.44%
2034.41/2041.31	c      2041          13639       12589         1         -73.0000        -141.2098     93.44%
2039.70/2046.68	c      2047          13705       12655         1         -73.0000        -141.2098     93.44%
2045.28/2052.26	c      2052          13768       12718         1         -73.0000        -141.2098     93.44%
2050.96/2057.90	c      2058          13810       12760         1         -73.0000        -141.2098     93.44%
2056.24/2063.26	c      2063          13889       12839         1         -73.0000        -141.2098     93.44%
2061.72/2068.74	c      2069          13933       12883         1         -73.0000        -141.2098     93.44%
2067.11/2074.18	c      2074          14002       12952         1         -73.0000        -141.2098     93.44%
2072.49/2079.53	c      2080          14058       13008         1         -73.0000        -141.2098     93.44%
2077.88/2084.97	c      2085          14134       13084         1         -73.0000        -141.2098     93.44%
2083.56/2090.62	c      2091          14179       13129         1         -73.0000        -141.2098     93.44%
2089.44/2096.57	c      2097          14236       13186         1         -73.0000        -141.2098     93.44%
2094.93/2102.06	c      2102          14280       13230         1         -73.0000        -141.2098     93.44%
2102.00/2109.17	c      2109          14337       13287         1         -73.0000        -141.2098     93.44%
2107.47/2114.66	c      2115          14372       13322         1         -73.0000        -141.2098     93.44%
2112.65/2119.86	c      2120          14430       13380         1         -73.0000        -141.2098     93.44%
2118.03/2125.29	c      2125          14464       13414         1         -73.0000        -141.2098     93.44%
2123.71/2130.95	c      2131          14508       13458         1         -73.0000        -141.2098     93.44%
2129.59/2136.83	c      2137          14553       13503         1         -73.0000        -141.2098     93.44%
2134.67/2141.97	c      2142          14591       13541         1         -73.0000        -141.2098     93.44%
2141.25/2148.52	c      2149          14635       13585         1         -73.0000        -141.2098     93.44%
2146.53/2153.89	c      2154          14693       13643         1         -73.0000        -141.2098     93.44%
2151.91/2159.29	c      2159          14742       13692         1         -73.0000        -141.2098     93.44%
2157.09/2164.47	c      2164          14780       13730         1         -73.0000        -141.2098     93.44%
2163.57/2170.97	c      2171          14836       13786         1         -73.0000        -141.2098     93.44%
2169.34/2176.70	c      2177          14895       13845         1         -73.0000        -141.2098     93.44%
2175.02/2182.49	c      2182          14932       13882         1         -73.0000        -141.2098     93.44%
2180.90/2188.30	c      2188          14980       13930         1         -73.0000        -141.2098     93.44%
2186.37/2193.80	c      2194          15031       13981         1         -73.0000        -141.2098     93.44%
2192.86/2200.32	c      2200          15083       14033         1         -73.0000        -141.2098     93.44%
2198.23/2205.77	c      2206          15148       14098         1         -73.0000        -141.2098     93.44%
2204.12/2211.64	c      2212          15195       14145         1         -73.0000        -141.2098     93.44%
2209.79/2217.32	c      2217          15247       14197         1         -73.0000        -141.2098     93.44%
2215.77/2223.30	c      2223          15287       14237         1         -73.0000        -141.2098     93.44%
2221.74/2229.34	c      2229          15343       14293         1         -73.0000        -141.2098     93.44%
2227.82/2235.49	c      2236          15386       14336         1         -73.0000        -141.2098     93.44%
2233.60/2241.20	c      2241          15433       14383         1         -73.0000        -141.2098     93.44%
2239.18/2246.88	c      2247          15476       14426         1         -73.0000        -141.2098     93.44%
2244.47/2252.17	c      2252          15514       14464         1         -73.0000        -141.2098     93.44%
2250.14/2257.85	c      2258          15571       14521         1         -73.0000        -141.2098     93.44%
2255.42/2263.18	c      2263          15630       14580         1         -73.0000        -141.2098     93.44%
2261.70/2269.42	c      2269          15675       14625         1         -73.0000        -141.2098     93.44%
2267.87/2275.62	c      2276          15733       14683         1         -73.0000        -141.2098     93.44%
2272.95/2280.72	c      2281          15783       14733         1         -73.0000        -141.2098     93.44%
2278.53/2286.36	c      2286          15834       14784         1         -73.0000        -141.2098     93.44%
2283.81/2291.60	c      2292          15886       14836         1         -73.0000        -141.2098     93.44%
2288.99/2296.87	c      2297          15945       14895         1         -73.0000        -141.2098     93.44%
2294.97/2302.82	c      2303          15993       14943         1         -73.0000        -141.2098     93.44%
2300.85/2308.72	c      2309          16053       15003         1         -73.0000        -141.2098     93.44%
2306.62/2314.51	c      2315          16093       15043         1         -73.0000        -141.2098     93.44%
2312.01/2319.98	c      2320          16138       15088         1         -73.0000        -141.2098     93.44%
2317.38/2325.32	c      2325          16203       15153         1         -73.0000        -141.2098     93.44%
2322.46/2330.46	c      2330          16268       15218         1         -73.0000        -141.2098     93.44%
2327.75/2335.78	c      2336          16336       15286         1         -73.0000        -141.2098     93.44%
2333.63/2341.69	c      2342          16394       15344         1         -73.0000        -141.2098     93.44%
2339.11/2347.19	c      2347          16441       15391         1         -73.0000        -141.2098     93.44%
2345.18/2353.24	c      2353          16484       15434         1         -73.0000        -141.2098     93.44%
2350.76/2358.87	c      2359          16541       15491         1         -73.0000        -141.2098     93.44%
2356.54/2364.66	c      2365          16582       15532         1         -73.0000        -141.2098     93.44%
2362.41/2370.58	c      2371          16655       15605         1         -73.0000        -141.2098     93.44%
2368.39/2376.58	c      2377          16694       15644         1         -73.0000        -141.2098     93.44%
2373.67/2381.80	c      2382          16771       15721         1         -73.0000        -141.2098     93.44%
2378.95/2387.15	c      2387          16812       15762         1         -73.0000        -141.2098     93.44%
2384.94/2393.18	c      2393          16870       15820         1         -73.0000        -141.2098     93.44%
2390.71/2398.93	c      2399          16908       15858         1         -73.0000        -141.2098     93.44%
2396.19/2404.49	c      2404          16962       15912         1         -73.0000        -141.2098     93.44%
2402.46/2410.76	c      2411          17030       15980         1         -73.0000        -141.2098     93.44%
2408.64/2416.90	c      2417          17100       16050         1         -73.0000        -141.2098     93.44%
2414.22/2422.58	c      2423          17164       16114         1         -73.0000        -141.2098     93.44%
2419.60/2427.93	c      2428          17235       16185         1         -73.0000        -141.2098     93.44%
2425.28/2433.65	c      2434          17295       16243         1         -73.0000        -141.2098     93.44%
2430.56/2438.98	c      2439          17357       16305         1         -73.0000        -141.2098     93.44%
2436.24/2444.68	c      2445          17393       16341         1         -73.0000        -141.2098     93.44%
2441.32/2449.79	c      2450          17453       16401         1         -73.0000        -141.2098     93.44%
2447.00/2455.43	c      2455          17486       16434         1         -73.0000        -141.2098     93.44%
2452.18/2460.60	c      2461          17518       16466         1         -73.0000        -141.2098     93.44%
2458.16/2466.60	c      2467          17588       16536         1         -73.0000        -141.2098     93.44%
2463.34/2471.82	c      2472          17653       16601         1         -73.0000        -141.2098     93.44%
2469.02/2477.59	c      2478          17707       16655         1         -73.0000        -141.2098     93.44%
2474.30/2482.89	c      2483          17775       16723         1         -73.0000        -141.2098     93.44%
2480.08/2488.68	c      2489          17823       16771         1         -73.0000        -141.2098     93.44%
2485.56/2494.15	c      2494          17870       16818         1         -73.0000        -141.2098     93.44%
2491.14/2499.79	c      2500          17934       16882         1         -73.0000        -141.2098     93.44%
2496.42/2505.07	c      2505          17988       16936         1         -73.0000        -141.2098     93.44%
2501.40/2510.10	c      2510          18027       16975         1         -73.0000        -141.2098     93.44%
2506.88/2515.53	c      2516          18073       17021         1         -73.0000        -141.2098     93.44%
2512.55/2521.26	c      2521          18146       17094         1         -73.0000        -141.2098     93.44%
2518.23/2526.92	c      2527          18191       17137         1         -73.0000        -141.2098     93.44%
2523.51/2532.23	c      2532          18245       17191         1         -73.0000        -141.2098     93.44%
2529.39/2538.18	c      2538          18276       17220         1         -73.0000        -141.2098     93.44%
2534.47/2543.21	c      2543          18317       17261         1         -73.0000        -141.2098     93.44%
2539.75/2548.57	c      2549          18376       17320         1         -73.0000        -141.2098     93.44%
2544.73/2553.58	c      2554          18412       17356         1         -73.0000        -141.2098     93.44%
2550.41/2559.25	c      2559          18471       17415         1         -73.0000        -141.2098     93.44%
2556.19/2565.02	c      2565          18544       17488         1         -73.0000        -141.2098     93.44%
2562.27/2571.13	c      2571          18622       17566         1         -73.0000        -141.2098     93.44%
2567.44/2576.30	c      2576          18682       17626         1         -73.0000        -141.2098     93.44%
2573.02/2581.95	c      2582          18731       17675         1         -73.0000        -141.2098     93.44%
2578.80/2587.79	c      2588          18807       17751         1         -73.0000        -141.2098     93.44%
2584.28/2593.20	c      2593          18859       17803         1         -73.0000        -141.2098     93.44%
2589.26/2598.28	c      2598          18910       17854         1         -73.0000        -141.2098     93.44%
2594.84/2603.80	c      2604          18976       17920         1         -73.0000        -141.2098     93.44%
2600.72/2609.72	c      2610          19034       17978         1         -73.0000        -141.2098     93.44%
2606.00/2615.01	c      2615          19087       18031         1         -73.0000        -141.2098     93.44%
2610.98/2620.03	c      2620          19154       18098         1         -73.0000        -141.2098     93.44%
2616.55/2625.66	c      2626          19191       18135         1         -73.0000        -141.2098     93.44%
2621.84/2630.92	c      2631          19265       18209         1         -73.0000        -141.2098     93.44%
2627.52/2636.60	c      2637          19309       18253         1         -73.0000        -141.2098     93.44%
2633.00/2642.17	c      2642          19379       18323         1         -73.0000        -141.2098     93.44%
2639.17/2648.34	c      2648          19443       18387         1         -73.0000        -141.2098     93.44%
2644.96/2654.13	c      2654          19516       18460         1         -73.0000        -141.2098     93.44%
2651.13/2660.32	c      2660          19564       18508         1         -73.0000        -141.2098     93.44%
2656.91/2666.12	c      2666          19591       18535         1         -73.0000        -141.2098     93.44%
2662.79/2672.06	c      2672          19635       18577         1         -73.0000        -141.2098     93.44%
2668.17/2677.41	c      2677          19672       18614         1         -73.0000        -141.2098     93.44%
2673.75/2683.02	c      2683          19716       18658         1         -73.0000        -141.2098     93.44%
2678.93/2688.27	c      2688          19778       18720         1         -73.0000        -141.2098     93.44%
2684.61/2693.97	c      2694          19845       18787         1         -73.0000        -141.2098     93.44%
2689.90/2699.24	c      2699          19913       18855         1         -73.0000        -141.2098     93.44%
2695.39/2704.74	c      2705          19980       18920         1         -73.0000        -141.2098     93.44%
2702.16/2711.59	c      2712          20062       19002         1         -73.0000        -141.2098     93.44%
2707.75/2717.11	c      2717          20114       19054         1         -73.0000        -141.2098     93.44%
2713.03/2722.46	c      2722          20188       19128         1         -73.0000        -141.2098     93.44%
2718.62/2728.02	c      2728          20240       19180         1         -73.0000        -141.2098     93.44%
2723.89/2733.31	c      2733          20293       19233         1         -73.0000        -141.2098     93.44%
2729.08/2738.57	c      2739          20329       19269         1         -73.0000        -141.2098     93.44%
2734.86/2744.34	c      2744          20391       19331         1         -73.0000        -141.2098     93.44%
2740.75/2750.25	c      2750          20444       19384         1         -73.0000        -141.2098     93.44%
2746.02/2755.59	c      2756          20481       19421         1         -73.0000        -141.2098     93.44%
2751.31/2760.80	c      2761          20526       19466         1         -73.0000        -141.2098     93.44%
2756.79/2766.38	c      2766          20579       19519         1         -73.0000        -141.2098     93.44%
2763.37/2772.93	c      2773          20632       19572         1         -73.0000        -141.2098     93.44%
2770.46/2780.00	c      2780          20706       19646         1         -73.0000        -141.2098     93.44%
2775.63/2785.28	c      2785          20746       19686         1         -73.0000        -141.2098     93.44%
2781.21/2790.86	c      2791          20829       19769         1         -73.0000        -141.2098     93.44%
2787.00/2796.62	c      2797          20876       19816         1         -73.0000        -141.2098     93.44%
2792.78/2802.49	c      2802          20930       19870         1         -73.0000        -141.2098     93.44%
2798.26/2807.94	c      2808          20989       19929         1         -73.0000        -141.2098     93.44%
2803.35/2813.06	c      2813          21028       19968         1         -73.0000        -141.2098     93.44%
2809.62/2819.36	c      2819          21083       20023         1         -73.0000        -141.2098     93.44%
2815.11/2824.89	c      2825          21139       20079         1         -73.0000        -141.2098     93.44%
2821.59/2831.38	c      2831          21184       20124         1         -73.0000        -141.2098     93.44%
2826.88/2836.69	c      2837          21250       20190         1         -73.0000        -141.2098     93.44%
2832.66/2842.41	c      2842          21298       20238         1         -73.0000        -141.2098     93.44%
2838.24/2848.05	c      2848          21371       20311         1         -73.0000        -141.2098     93.44%
2844.62/2854.41	c      2854          21411       20351         1         -73.0000        -141.2098     93.44%
2850.80/2860.60	c      2861          21485       20425         1         -73.0000        -141.2098     93.44%
2856.48/2866.35	c      2866          21537       20477         1         -73.0000        -141.2098     93.44%
2862.17/2872.03	c      2872          21577       20517         1         -73.0000        -141.2098     93.44%
2867.85/2877.72	c      2878          21609       20549         1         -73.0000        -141.2098     93.44%
2873.13/2883.04	c      2883          21667       20607         1         -73.0000        -141.2098     93.44%
2878.91/2888.83	c      2889          21732       20672         1         -73.0000        -141.2098     93.44%
2884.69/2894.65	c      2895          21796       20736         1         -73.0000        -141.2098     93.44%
2889.98/2899.95	c      2900          21868       20808         1         -73.0000        -141.2098     93.44%
2896.16/2906.15	c      2906          21919       20859         1         -73.0000        -141.2098     93.44%
2901.64/2911.65	c      2912          22016       20956         1         -73.0000        -141.2098     93.44%
2907.92/2917.93	c      2918          22088       21028         1         -73.0000        -141.2098     93.44%
2913.80/2923.80	c      2924          22149       21089         1         -73.0000        -141.2098     93.44%
2918.98/2929.03	c      2929          22233       21173         1         -73.0000        -141.2098     93.44%
2923.97/2934.09	c      2934          22274       21214         1         -73.0000        -141.2098     93.44%
2929.35/2939.44	c      2939          22354       21294         1         -73.0000        -141.2098     93.44%
2934.83/2944.96	c      2945          22401       21341         1         -73.0000        -141.2098     93.44%
2941.11/2951.21	c      2951          22461       21401         1         -73.0000        -141.2098     93.44%
2946.09/2956.27	c      2956          22523       21463         1         -73.0000        -141.2098     93.44%
2951.38/2961.59	c      2962          22576       21516         1         -73.0000        -141.2098     93.44%
2956.56/2966.72	c      2967          22641       21581         1         -73.0000        -141.2098     93.44%
2962.94/2973.19	c      2973          22710       21650         1         -73.0000        -141.2098     93.44%
2968.02/2978.21	c      2978          22769       21705         1         -73.0000        -141.2098     93.44%
2973.00/2983.25	c      2983          22816       21752         1         -73.0000        -141.2098     93.44%
2978.68/2988.94	c      2989          22856       21792         1         -73.0000        -141.2098     93.44%
2984.06/2994.36	c      2994          22914       21850         1         -73.0000        -141.2098     93.44%
2989.14/2999.45	c      2999          22962       21898         1         -73.0000        -141.2098     93.44%
2994.22/3004.52	c      3005          23001       21937         1         -73.0000        -141.2098     93.44%
2999.60/3009.93	c      3010          23049       21983         1         -73.0000        -141.2098     93.44%
3005.08/3015.40	c      3015          23104       22038         1         -73.0000        -141.2098     93.44%
3011.86/3022.20	c      3022          23164       22098         1         -73.0000        -141.2098     93.44%
3016.94/3027.30	c      3027          23207       22141         1         -73.0000        -141.2098     93.44%
3022.12/3032.55	c      3033          23249       22183         1         -73.0000        -141.2098     93.44%
3027.80/3038.22	c      3038          23276       22210         1         -73.0000        -141.2098     93.44%
3033.78/3044.22	c      3044          23337       22269         1         -73.0000        -141.2098     93.44%
3039.46/3049.98	c      3050          23377       22309         1         -73.0000        -141.2098     93.44%
3044.73/3055.25	c      3055          23433       22365         1         -73.0000        -141.2098     93.44%
3050.01/3060.54	c      3061          23495       22427         1         -73.0000        -141.2098     93.44%
3054.99/3065.56	c      3066          23548       22480         1         -73.0000        -141.2098     93.44%
3060.07/3070.63	c      3071          23599       22531         1         -73.0000        -141.2098     93.44%
3065.15/3075.76	c      3076          23677       22609         1         -73.0000        -141.2098     93.44%
3071.13/3081.76	c      3082          23756       22688         1         -73.0000        -141.2098     93.44%
3076.52/3087.16	c      3087          23834       22766         1         -73.0000        -141.2098     93.44%
3082.29/3092.94	c      3093          23878       22810         1         -73.0000        -141.2098     93.44%
3087.97/3098.65	c      3099          23936       22868         1         -73.0000        -141.2098     93.44%
3093.65/3104.31	c      3104          24019       22951         1         -73.0000        -141.2098     93.44%
3099.72/3110.41	c      3110          24078       23010         1         -73.0000        -141.2098     93.44%
3105.01/3115.73	c      3116          24145       23077         1         -73.0000        -141.2098     93.44%
3111.49/3122.25	c      3122          24214       23146         1         -73.0000        -141.2098     93.44%
3116.57/3127.35	c      3127          24247       23179         1         -73.0000        -141.2098     93.44%
3122.35/3133.15	c      3133          24307       23239         1         -73.0000        -141.2098     93.44%
3128.92/3139.71	c      3140          24373       23305         1         -73.0000        -141.2098     93.44%
3135.30/3146.18	c      3146          24450       23382         1         -73.0000        -141.2098     93.44%
3140.77/3151.64	c      3152          24512       23444         1         -73.0000        -141.2098     93.44%
3147.05/3157.98	c      3158          24571       23503         1         -73.0000        -141.2098     93.44%
3152.93/3163.80	c      3164          24622       23554         1         -73.0000        -141.2098     93.44%
3158.12/3169.07	c      3169          24663       23595         1         -73.0000        -141.2098     93.44%
3164.98/3175.94	c      3176          24722       23654         1         -73.0000        -141.2098     93.44%
3170.26/3181.21	c      3181          24779       23711         1         -73.0000        -141.2098     93.44%
3175.64/3186.62	c      3187          24838       23770         1         -73.0000        -141.2098     93.44%
3181.62/3192.65	c      3193          24914       23846         1         -73.0000        -141.2098     93.44%
3187.01/3198.04	c      3198          24957       23889         1         -73.0000        -141.2098     93.44%
3192.10/3203.16	c      3203          25000       23930         1         -73.0000        -141.2098     93.44%
3198.58/3209.60	c      3210          25045       23975         1         -73.0000        -141.2098     93.44%
3204.36/3215.44	c      3215          25094       24024         1         -73.0000        -141.2098     93.44%
3209.54/3220.67	c      3221          25139       24069         1         -73.0000        -141.2098     93.44%
3215.82/3226.98	c      3227          25193       24123         1         -73.0000        -141.2098     93.44%
3221.20/3232.30	c      3232          25246       24176         1         -73.0000        -141.2098     93.44%
3226.68/3237.81	c      3238          25276       24206         1         -73.0000        -141.2098     93.44%
3233.26/3244.43	c      3244          25333       24263         1         -73.0000        -141.2098     93.44%
3239.05/3250.26	c      3250          25368       24298         1         -73.0000        -141.2098     93.44%
3244.73/3255.99	c      3256          25407       24337         1         -73.0000        -141.2098     93.44%
3250.11/3261.30	c      3261          25483       24413         1         -73.0000        -141.2098     93.44%
3255.49/3266.78	c      3267          25520       24448         1         -73.0000        -141.2098     93.44%
3260.78/3272.03	c      3272          25561       24489         1         -73.0000        -141.2098     93.44%
3265.87/3277.13	c      3277          25607       24535         1         -73.0000        -141.2098     93.44%
3271.15/3282.48	c      3282          25686       24614         1         -73.0000        -141.2098     93.44%
3277.23/3288.54	c      3289          25740       24668         1         -73.0000        -141.2098     93.44%
3282.82/3294.13	c      3294          25801       24729         1         -73.0000        -141.2098     93.44%
3289.00/3300.32	c      3300          25846       24774         1         -73.0000        -141.2098     93.44%
3294.08/3305.48	c      3305          25895       24823         1         -73.0000        -141.2098     93.44%
3299.26/3310.66	c      3311          25945       24873         1         -73.0000        -141.2098     93.44%
3304.55/3315.95	c      3316          25998       24926         1         -73.0000        -141.2098     93.44%
3309.83/3321.27	c      3321          26060       24988         1         -73.0000        -141.2098     93.44%
3315.71/3327.12	c      3327          26129       25057         1         -73.0000        -141.2098     93.44%
3321.29/3332.74	c      3333          26198       25126         1         -73.0000        -141.2098     93.44%
3326.87/3338.34	c      3338          26234       25162         1         -73.0000        -141.2098     93.44%
3332.75/3344.20	c      3344          26290       25218         1         -73.0000        -141.2098     93.44%
3338.15/3349.69	c      3350          26350       25278         1         -73.0000        -141.2098     93.44%
3344.92/3356.41	c      3356          26421       25347         1         -73.0000        -141.2098     93.44%
3350.90/3362.44	c      3362          26476       25402         1         -73.0000        -141.2098     93.44%
3358.28/3369.84	c      3370          26554       25480         1         -73.0000        -141.2098     93.44%
3364.37/3375.91	c      3376          26617       25543         1         -73.0000        -141.2098     93.44%
3369.34/3380.95	c      3381          26664       25590         1         -73.0000        -141.2098     93.44%
3375.13/3386.73	c      3387          26727       25653         1         -73.0000        -141.2098     93.44%
3380.71/3392.37	c      3392          26770       25696         1         -73.0000        -141.2098     93.44%
3386.29/3397.91	c      3398          26840       25766         1         -73.0000        -141.2098     93.44%
3392.97/3404.66	c      3405          26903       25829         1         -73.0000        -141.2098     93.44%
3399.55/3411.21	c      3411          26958       25884         1         -73.0000        -141.2098     93.44%
3406.13/3417.87	c      3418          27033       25959         1         -73.0000        -141.2098     93.44%
3411.21/3422.97	c      3423          27066       25992         1         -73.0000        -141.2098     93.44%
3416.60/3428.36	c      3428          27112       26038         1         -73.0000        -141.2098     93.44%
3423.39/3435.15	c      3435          27160       26086         1         -73.0000        -141.2098     93.44%
3429.37/3441.19	c      3441          27267       26191         1         -73.0000        -141.2098     93.44%
3435.35/3447.13	c      3447          27305       26229         1         -73.0000        -141.2098     93.44%
3440.53/3452.38	c      3452          27359       26283         1         -73.0000        -141.2098     93.44%
3445.91/3457.70	c      3458          27428       26352         1         -73.0000        -141.2098     93.44%
3451.39/3463.22	c      3463          27472       26396         1         -73.0000        -141.2098     93.44%
3456.88/3468.70	c      3469          27538       26462         1         -73.0000        -141.2098     93.44%
3462.36/3474.29	c      3474          27599       26523         1         -73.0000        -141.2098     93.44%
3468.25/3480.11	c      3480          27677       26601         1         -73.0000        -141.2098     93.44%
3474.23/3486.14	c      3486          27731       26655         1         -73.0000        -141.2098     93.44%
3480.21/3492.17	c      3492          27803       26727         1         -73.0000        -141.2098     93.44%
3485.89/3497.84	c      3498          27867       26791         1         -73.0000        -141.2098     93.44%
3491.07/3503.08	c      3503          27943       26867         1         -73.0000        -141.2098     93.44%
3496.45/3508.43	c      3508          27962       26886         1         -73.0000        -141.2098     93.44%
3501.93/3513.97	c      3514          28001       26923         1         -73.0000        -141.2098     93.44%
3508.32/3520.32	c      3520          28051       26975         1         -73.0000        -141.2098     93.44%
3513.80/3525.89	c      3526          28116       27038         1         -73.0000        -141.2098     93.44%
3519.98/3532.04	c      3532          28157       27079         1         -73.0000        -141.2098     93.44%
3525.46/3537.51	c      3538          28215       27135         1         -73.0000        -141.2098     93.44%
3530.55/3542.62	c      3543          28259       27179         1         -73.0000        -141.2098     93.44%
3536.03/3548.12	c      3548          28296       27216         1         -73.0000        -141.2098     93.44%
3541.82/3553.98	c      3554          28351       27271         1         -73.0000        -141.2098     93.44%
3547.10/3559.25	c      3559          28409       27329         1         -73.0000        -141.2098     93.44%
3552.98/3565.18	c      3565          28477       27397         1         -73.0000        -141.2098     93.44%
3558.46/3570.62	c      3571          28525       27445         1         -73.0000        -141.2098     93.44%
3564.24/3576.40	c      3576          28558       27478         1         -73.0000        -141.2098     93.44%
3569.33/3581.52	c      3582          28611       27531         1         -73.0000        -141.2098     93.44%
3575.01/3587.24	c      3587          28667       27587         1         -73.0000        -141.2098     93.44%
3580.90/3593.15	c      3593          28744       27662         1         -73.0000        -141.2098     93.44%
3586.57/3598.88	c      3599          28814       27732         1         -73.0000        -141.2098     93.44%
3587.88/3600.20	c SCIP Status        : c solving was interrupted [hard time limit reached]
3587.88/3600.20	c Total Time         : 3600.19
3587.88/3600.20	c   solving          : 3600.19
3587.88/3600.20	c   presolving       : 0.09 (included in solving)
3587.88/3600.20	c B&B Tree           :
3587.88/3600.20	c   nodes (total)    : 1
3587.88/3600.20	c Solution           :
3587.88/3600.20	c   Solutions found  : 5
3587.88/3600.20	c   Primal Bound     : -7.30000000000000e+01
3587.88/3600.20	c   Dual Bound       : -1.41209821852870e+02
3587.88/3600.20	c Gap                : 93.43811 %
3587.88/3600.20	c * Warning: final gap: 9.34381e-01 is greater than SCIPepsilon: 1.00000e-09
3587.88/3600.21	o -73
3587.88/3600.21	s SATISFIABLE
3587.88/3600.21	v -x500 -x499 x498 -x497 x496 -x495 -x494 -x493 -x492 x491 -x490 -x489 -x488 -x487 x486 -x485 -x484 x483 -x482 -x481 -x480 -x479 
3587.88/3600.21	v -x478 x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 x459 x458 -x457 
3587.88/3600.21	v -x456 -x455 x454 x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 x440 -x439 -x438 -x437 -x436 
3587.88/3600.21	v x435 -x434 x433 -x432 x431 -x430 x429 -x428 -x427 -x426 x425 x424 x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 
3587.88/3600.21	v -x413 -x412 x411 x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 x401 x400 x399 x398 -x397 -x396 -x395 -x394 -x393 -x392 
3587.88/3600.21	v -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 
3587.88/3600.21	v -x370 -x369 -x368 -x367 -x366 x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 x357 -x356 -x355 -x354 x353 x352 -x351 -x350 -x349 
3587.88/3600.21	v -x348 x347 -x346 x345 x344 x343 x342 -x341 -x340 x339 -x338 x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 x327 
3587.88/3600.21	v x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 x313 x312 -x311 -x310 x309 -x308 x307 x306 -x305 
3587.88/3600.21	v -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 
3587.88/3600.21	v -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 x271 -x270 x269 -x268 -x267 x266 -x265 -x264 -x263 
3587.88/3600.21	v -x262 -x261 -x260 x259 x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 x245 -x244 x243 -x242 -x241 
3587.88/3600.21	v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 
3587.88/3600.21	v -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 
3587.88/3600.21	v -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 x184 -x183 -x182 x181 -x180 -x179 -x178 
3587.88/3600.21	v -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 
3587.88/3600.21	v x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 
3587.88/3600.21	v -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 
3587.88/3600.21	v -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 
3587.88/3600.21	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 -x66 
3587.88/3600.21	v -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 
3587.88/3600.21	v -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 
3587.88/3600.21	v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 

Verifier Data

OK	-73

Watcher Data

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

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

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=261294, runsolver pid=261291

[startup+0.100894 s]*
/proc/loadavg: 0.35 0.17 0.19 5/266 261295
/proc/meminfo: memFree=115217180/131524600 swapFree=131056796/131071996
[pid=261294] ppid=261291 vsize=65840 memory=53588 CPUtime=0.09 cores=0,2
/proc/261294/stat : 261294 (fscip) R 261291 261294 261021 0 -1 4194304 11114 0 0 0 8 1 0 0 20 0 1 0 30470202 67420160 13397 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
/proc/261294/statm: 16460 13397 2622 3032 0 12860 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65840 KiB
Current children cumulated memory: 53588 KiB

[startup+0.205875 s]*
/proc/loadavg: 0.35 0.17 0.19 5/268 261297
/proc/meminfo: memFree=115188224/131524600 swapFree=131056796/131071996
[pid=261294] ppid=261291 vsize=152620 memory=79744 CPUtime=0.19 cores=0,2
/proc/261294/stat : 261294 (fscip) S 261291 261294 261021 0 -1 1077936128 18289 0 0 0 18 1 0 0 20 0 3 0 30470202 156282880 19936 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
/proc/261294/statm: 38155 19936 2782 3032 0 23299 0
[pid=261294/tid=261296] ppid=261291 vsize=152620 memory=8737651120394928259 CPUtime=0.05 cores=0,2
/proc/261294/task/261296/stat : 261296 (fscip) R 261291 261294 261021 0 -1 4194368 4829 0 0 0 5 0 0 0 20 0 3 0 30470216 156282880 19936 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
[pid=261294/tid=261297] ppid=261291 vsize=152620 memory=1380203 CPUtime=0 cores=0,2
/proc/261294/task/261297/stat : 261297 (fscip) S 261291 261294 261021 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30470218 156282880 19936 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 152620 KiB
Current children cumulated memory: 79744 KiB

[startup+0.305875 s]*
/proc/loadavg: 0.35 0.17 0.19 5/268 261297
/proc/meminfo: memFree=115177136/131524600 swapFree=131056796/131071996
[pid=261294] ppid=261291 vsize=152620 memory=90176 CPUtime=0.28 cores=0,2
/proc/261294/stat : 261294 (fscip) S 261291 261294 261021 0 -1 1077936128 20843 0 0 0 26 2 0 0 20 0 3 0 30470202 156282880 22544 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
/proc/261294/statm: 38155 22544 2894 3032 0 25885 0
[pid=261294/tid=261296] ppid=261291 vsize=152620 memory=-6082229392722017131 CPUtime=0.15 cores=0,2
/proc/261294/task/261296/stat : 261296 (fscip) R 261291 261294 261021 0 -1 4194368 7382 0 0 0 14 1 0 0 20 0 3 0 30470216 156282880 22544 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
[pid=261294/tid=261297] ppid=261291 vsize=152620 memory=0 CPUtime=0 cores=0,2
/proc/261294/task/261297/stat : 261297 (fscip) S 261291 261294 261021 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30470218 156282880 22544 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 152620 KiB
Current children cumulated memory: 90176 KiB

[startup+0.700243 s]
/proc/loadavg: 0.35 0.17 0.19 5/268 261297
/proc/meminfo: memFree=115173328/131524600 swapFree=131056796/131071996
[pid=261294] ppid=261291 vsize=152620 memory=95776 CPUtime=0.67 cores=0,2
/proc/261294/stat : 261294 (fscip) S 261291 261294 261021 0 -1 1077936128 22212 0 0 0 65 2 0 0 20 0 3 0 30470202 156282880 23944 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
/proc/261294/statm: 38155 23944 2910 3032 0 27904 0
[pid=261294/tid=261296] ppid=261291 vsize=152620 memory=0 CPUtime=0.53 cores=0,2
/proc/261294/task/261296/stat : 261296 (fscip) R 261291 261294 261021 0 -1 4194368 8751 0 0 0 52 1 0 0 20 0 3 0 30470216 156282880 23944 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
[pid=261294/tid=261297] ppid=261291 vsize=152620 memory=0 CPUtime=0 cores=0,2
/proc/261294/task/261297/stat : 261297 (fscip) S 261291 261294 261021 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30470218 156282880 23944 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 152620 KiB
Current children cumulated memory: 95776 KiB

[startup+1.50022 s]
/proc/loadavg: 0.35 0.17 0.19 5/268 261297
/proc/meminfo: memFree=115164724/131524600 swapFree=131056796/131071996
[pid=261294] ppid=261291 vsize=152620 memory=101596 CPUtime=1.47 cores=0,2
/proc/261294/stat : 261294 (fscip) S 261291 261294 261021 0 -1 1077936128 28300 0 0 0 144 3 0 0 20 0 3 0 30470202 156282880 25399 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
/proc/261294/statm: 38155 25399 2910 3032 0 30056 0
[pid=261294/tid=261296] ppid=261291 vsize=152620 memory=0 CPUtime=1.32 cores=0,2
/proc/261294/task/261296/stat : 261296 (fscip) R 261291 261294 261021 0 -1 4194368 14839 0 0 0 131 1 0 0 20 0 3 0 30470216 156282880 25399 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
[pid=261294/tid=261297] ppid=261291 vsize=152620 memory=0 CPUtime=0 cores=0,2
/proc/261294/task/261297/stat : 261297 (fscip) S 261291 261294 261021 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30470218 156282880 25399 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 152620 KiB
Current children cumulated memory: 101596 KiB

[startup+3.10548 s]
/proc/loadavg: 0.35 0.17 0.19 5/268 261297
/proc/meminfo: memFree=115135428/131524600 swapFree=131056796/131071996
[pid=261294] ppid=261291 vsize=152620 memory=109904 CPUtime=3.07 cores=0,2
/proc/261294/stat : 261294 (fscip) S 261291 261294 261021 0 -1 1077936128 31021 0 0 0 303 4 0 0 20 0 3 0 30470202 156282880 27476 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
/proc/261294/statm: 38155 27476 2910 3032 0 33533 0
[pid=261294/tid=261296] ppid=261291 vsize=152620 memory=0 CPUtime=2.92 cores=0,2
/proc/261294/task/261296/stat : 261296 (fscip) R 261291 261294 261021 0 -1 4194368 17559 0 0 0 290 2 0 0 20 0 3 0 30470216 156282880 27476 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
[pid=261294/tid=261297] ppid=261291 vsize=152620 memory=3905193973281026037 CPUtime=0 cores=0,2
/proc/261294/task/261297/stat : 261297 (fscip) S 261291 261294 261021 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 30470218 156282880 27476 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 152620 KiB
Current children cumulated memory: 109904 KiB

[startup+6.30024 s]
/proc/loadavg: 0.64 0.23 0.21 5/268 261345
/proc/meminfo: memFree=115004212/131524600 swapFree=131056796/131071996
[pid=261294] ppid=261291 vsize=218940 memory=112516 CPUtime=6.25 cores=0,2
/proc/261294/stat : 261294 (fscip) S 261291 261294 261021 0 -1 1077936128 37752 0 0 0 621 4 0 0 20 0 3 0 30470202 224194560 28129 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
/proc/261294/statm: 54735 28129 2910 3032 0 35393 0
[pid=261294/tid=261296] ppid=261291 vsize=218940 memory=0 CPUtime=6.11 cores=0,2
/proc/261294/task/261296/stat : 261296 (fscip) R 261291 261294 261021 0 -1 4194368 24289 0 0 0 608 3 0 0 20 0 3 0 30470216 224194560 28129 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
[pid=261294/tid=261297] ppid=261291 vsize=218940 memory=0 CPUtime=0 cores=0,2
/proc/261294/task/261297/stat : 261297 (fscip) S 261291 261294 261021 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 30470218 224194560 28129 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 218940 KiB
Current children cumulated memory: 112516 KiB

[startup+12.7002 s]
/proc/loadavg: 0.91 0.30 0.23 5/268 261346
/proc/meminfo: memFree=114863720/131524600 swapFree=131056796/131071996
[pid=261294] ppid=261291 vsize=218940 memory=125416 CPUtime=12.63 cores=0,2
/proc/261294/stat : 261294 (fscip) S 261291 261294 261021 0 -1 1077936128 53182 0 0 0 1257 6 0 0 20 0 3 0 30470202 224194560 31354 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
/proc/261294/statm: 54735 31354 2910 3032 0 39321 0
[pid=261294/tid=261296] ppid=261291 vsize=218940 memory=125412 CPUtime=12.49 cores=0,2
/proc/261294/task/261296/stat : 261296 (fscip) R 261291 261294 261021 0 -1 4194368 39676 0 0 0 1245 4 0 0 20 0 3 0 30470216 224194560 31354 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
[pid=261294/tid=261297] ppid=261291 vsize=218940 memory=13472 CPUtime=0 cores=0,2
/proc/261294/task/261297/stat : 261297 (fscip) S 261291 261294 261021 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 30470218 224194560 31354 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 218940 KiB
Current children cumulated memory: 125416 KiB

[startup+25.5002 s]
/proc/loadavg: 1.67 0.49 0.30 5/268 261348
/proc/meminfo: memFree=114724968/131524600 swapFree=131056796/131071996
[pid=261294] ppid=261291 vsize=218940 memory=125612 CPUtime=25.39 cores=0,2
/proc/261294/stat : 261294 (fscip) S 261291 261294 261021 0 -1 1077936128 62377 0 0 0 2533 6 0 0 20 0 3 0 30470202 224194560 31403 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
/proc/261294/statm: 54735 31403 2958 3032 0 39321 0
[pid=261294/tid=261296] ppid=261291 vsize=218940 memory=125612 CPUtime=25.25 cores=0,2
/proc/261294/task/261296/stat : 261296 (fscip) R 261291 261294 261021 0 -1 4194368 48790 0 0 0 2520 5 0 0 20 0 3 0 30470216 224194560 31403 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
[pid=261294/tid=261297] ppid=261291 vsize=218940 memory=13472 CPUtime=0 cores=0,2
/proc/261294/task/261297/stat : 261297 (fscip) S 261291 261294 261021 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 30470218 224194560 31403 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 218940 KiB
Current children cumulated memory: 125612 KiB

[startup+51.1056 s]
/proc/loadavg: 2.46 0.78 0.40 5/268 261352
/proc/meminfo: memFree=114606396/131524600 swapFree=131056796/131071996
[pid=261294] ppid=261291 vsize=284476 memory=168948 CPUtime=50.91 cores=0,2
/proc/261294/stat : 261294 (fscip) S 261291 261294 261021 0 -1 1077936128 101713 0 0 0 5081 10 0 0 20 0 3 0 30470202 291303424 42237 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
/proc/261294/statm: 71119 42237 2958 3032 0 54750 0
[pid=261294/tid=261296] ppid=261291 vsize=284476 memory=151196 CPUtime=50.78 cores=0,2
/proc/261294/task/261296/stat : 261296 (fscip) R 261291 261294 261021 0 -1 4194368 88011 0 0 0 5069 9 0 0 20 0 3 0 30470216 291303424 42237 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
[pid=261294/tid=261297] ppid=261291 vsize=284476 memory=12452 CPUtime=0 cores=0,2
/proc/261294/task/261297/stat : 261297 (fscip) S 261291 261294 261021 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 30470218 291303424 42237 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 284476 KiB
Current children cumulated memory: 168948 KiB

[startup+102.3 s]
/proc/loadavg: 3.49 1.32 0.61 5/268 261362
/proc/meminfo: memFree=114465660/131524600 swapFree=131056796/131071996
[pid=261294] ppid=261291 vsize=416728 memory=248464 CPUtime=101.95 cores=0,2
/proc/261294/stat : 261294 (fscip) S 261291 261294 261021 0 -1 1077936128 161767 0 0 0 10179 16 0 0 20 0 3 0 30470202 426729472 62116 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
/proc/261294/statm: 104182 62116 2974 3032 0 87007 0
[pid=261294/tid=261296] ppid=261291 vsize=416728 memory=13472 CPUtime=101.8 cores=0,2
/proc/261294/task/261296/stat : 261296 (fscip) R 261291 261294 261021 0 -1 4194368 147961 0 0 0 10166 14 0 0 20 0 3 0 30470216 426729472 62116 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
[pid=261294/tid=261297] ppid=261291 vsize=416728 memory=76732 CPUtime=0 cores=0,2
/proc/261294/task/261297/stat : 261297 (fscip) S 261291 261294 261021 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 30470218 426729472 62116 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 416728 KiB
Current children cumulated memory: 248464 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 1.84 0.83 5/266 261373
/proc/meminfo: memFree=114327888/131524600 swapFree=131056796/131071996
[pid=261294] ppid=261291 vsize=419620 memory=262668 CPUtime=161.76 cores=0,2
/proc/261294/stat : 261294 (fscip) S 261291 261294 261021 0 -1 1077936128 202079 0 0 0 16157 19 0 0 20 0 3 0 30470202 429690880 65667 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
/proc/261294/statm: 104905 65667 2974 3032 0 99814 0
[pid=261294/tid=261296] ppid=261291 vsize=419620 memory=76732 CPUtime=161.61 cores=0,2
/proc/261294/task/261296/stat : 261296 (fscip) R 261291 261294 261021 0 -1 4194368 188194 0 0 0 16143 18 0 0 20 0 3 0 30470216 429690880 65667 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
[pid=261294/tid=261297] ppid=261291 vsize=419620 memory=262668 CPUtime=0 cores=0,2
/proc/261294/task/261297/stat : 261297 (fscip) S 261291 261294 261021 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 30470218 429690880 65667 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 419620 KiB
Current children cumulated memory: 262668 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.25 1.04 5/266 261383

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

Current children cumulated memory: 1058780 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.03 5/265 262924
/proc/meminfo: memFree=111347516/131524600 swapFree=131056796/131071996
[pid=261294] ppid=261291 vsize=1217336 memory=1071240 CPUtime=3390.68 cores=0,2
/proc/261294/stat : 261294 (fscip) S 261291 261294 261021 0 -1 1077936128 1626069 0 0 0 338925 143 0 0 20 0 3 0 30470202 1246552064 267810 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
/proc/261294/statm: 304334 267810 3294 3032 0 284208 0
[pid=261294/tid=261296] ppid=261291 vsize=1217336 memory=1056984 CPUtime=3390.36 cores=0,2
/proc/261294/task/261296/stat : 261296 (fscip) R 261291 261294 261021 0 -1 4194368 1611077 0 0 0 338900 136 0 0 20 0 3 0 30470216 1246552064 267810 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
[pid=261294/tid=261297] ppid=261291 vsize=1217336 memory=1071236 CPUtime=0.02 cores=0,2
/proc/261294/task/261297/stat : 261297 (fscip) S 261291 261294 261021 0 -1 1077936192 100 0 0 0 1 1 0 0 20 0 3 0 30470218 1246552064 267810 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
Current children cumulated CPU time: 3390.68 s
Current children cumulated vsize: 1217336 KiB
Current children cumulated memory: 1071240 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.04 5/267 263104
/proc/meminfo: memFree=111316428/131524600 swapFree=131056796/131071996
[pid=261294] ppid=261291 vsize=1217336 memory=1090704 CPUtime=3450.49 cores=0,2
/proc/261294/stat : 261294 (fscip) S 261291 261294 261021 0 -1 1077936128 1694859 0 0 0 344900 149 0 0 20 0 3 0 30470202 1246552064 272676 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
/proc/261294/statm: 304334 272676 3294 3032 0 287223 0
[pid=261294/tid=261296] ppid=261291 vsize=1217336 memory=1056984 CPUtime=3450.17 cores=0,2
/proc/261294/task/261296/stat : 261296 (fscip) R 261291 261294 261021 0 -1 4194368 1679852 0 0 0 344875 142 0 0 20 0 3 0 30470216 1246552064 272676 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
[pid=261294/tid=261297] ppid=261291 vsize=1217336 memory=1081512 CPUtime=0.02 cores=0,2
/proc/261294/task/261297/stat : 261297 (fscip) S 261291 261294 261021 0 -1 1077936192 101 0 0 0 1 1 0 0 20 0 3 0 30470218 1246552064 272676 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
Current children cumulated CPU time: 3450.49 s
Current children cumulated vsize: 1217336 KiB
Current children cumulated memory: 1090704 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/267 263115
/proc/meminfo: memFree=111245936/131524600 swapFree=131056796/131071996
[pid=261294] ppid=261291 vsize=1217336 memory=1113236 CPUtime=3510.31 cores=0,2
/proc/261294/stat : 261294 (fscip) S 261291 261294 261021 0 -1 1077936128 1765057 0 0 0 350877 154 0 0 20 0 3 0 30470202 1246552064 278309 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
/proc/261294/statm: 304334 278309 3294 3032 0 288887 0
[pid=261294/tid=261296] ppid=261291 vsize=1217336 memory=6720669839490367588 CPUtime=3509.99 cores=0,2
/proc/261294/task/261296/stat : 261296 (fscip) R 261291 261294 261021 0 -1 4194368 1750036 0 0 0 350852 147 0 0 20 0 3 0 30470216 1246552064 278309 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
[pid=261294/tid=261297] ppid=261291 vsize=1217336 memory=1096720 CPUtime=0.02 cores=0,2
/proc/261294/task/261297/stat : 261297 (fscip) S 261291 261294 261021 0 -1 1077936192 102 0 0 0 1 1 0 0 20 0 3 0 30470218 1246552064 278309 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
Current children cumulated CPU time: 3510.31 s
Current children cumulated vsize: 1217336 KiB
Current children cumulated memory: 1113236 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.04 5/265 263182
/proc/meminfo: memFree=111222248/131524600 swapFree=131056796/131071996
[pid=261294] ppid=261291 vsize=1217336 memory=1127668 CPUtime=3570.13 cores=0,2
/proc/261294/stat : 261294 (fscip) S 261291 261294 261021 0 -1 1077936128 1832241 0 0 0 356854 159 0 0 20 0 3 0 30470202 1246552064 281917 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
/proc/261294/statm: 304334 281917 3294 3032 0 288887 0
[pid=261294/tid=261296] ppid=261291 vsize=1217336 memory=1119440 CPUtime=3569.8 cores=0,2
/proc/261294/task/261296/stat : 261296 (fscip) R 261291 261294 261021 0 -1 4194368 1817201 0 0 0 356829 151 0 0 20 0 3 0 30470216 1246552064 281917 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
[pid=261294/tid=261297] ppid=261291 vsize=1217336 memory=12452 CPUtime=0.02 cores=0,2
/proc/261294/task/261297/stat : 261297 (fscip) S 261291 261294 261021 0 -1 1077936192 103 0 0 0 1 1 0 0 20 0 3 0 30470218 1246552064 281917 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
Current children cumulated CPU time: 3570.13 s
Current children cumulated vsize: 1217336 KiB
Current children cumulated memory: 1127668 KiB

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

# cumulated CPU time of all completed processes:  user=3586.38 s, system=1.61952 s

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

[startup+3584 s]*
/proc/loadavg: 4.16 4.12 4.04 5/265 263182
/proc/meminfo: memFree=111222200/131524600 swapFree=131056796/131071996
[pid=261294] ppid=261291 vsize=1217336 memory=1127668 CPUtime=3571.83 cores=0,2
/proc/261294/stat : 261294 (fscip) S 261291 261294 261021 0 -1 1077936128 1832263 0 0 0 357024 159 0 0 20 0 3 0 30470202 1246552064 281917 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
/proc/261294/statm: 304334 281917 3294 3032 0 288887 0
[pid=261294/tid=261296] ppid=261291 vsize=1217336 memory=6720669839490367588 CPUtime=3571.49 cores=0,2
/proc/261294/task/261296/stat : 261296 (fscip) R 261291 261294 261021 0 -1 4194368 1817223 0 0 0 356998 151 0 0 20 0 3 0 30470216 1246552064 281917 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
[pid=261294/tid=261297] ppid=261291 vsize=1217336 memory=9122745479247552727 CPUtime=0.02 cores=0,2
/proc/261294/task/261297/stat : 261297 (fscip) S 261291 261294 261021 0 -1 1077936192 103 0 0 0 1 1 0 0 20 0 3 0 30470218 1246552064 281917 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
Current children cumulated CPU time: 3571.83 s
Current children cumulated vsize: 1217336 KiB
Current children cumulated memory: 1127668 KiB

[startup+3590.4 s]
/proc/loadavg: 4.14 4.12 4.04 5/264 263184
/proc/meminfo: memFree=111216860/131524600 swapFree=131056796/131071996
[pid=261294] ppid=261291 vsize=1217336 memory=1127680 CPUtime=3578.2 cores=0,2
/proc/261294/stat : 261294 (fscip) S 261291 261294 261021 0 -1 1077936128 1832653 0 0 0 357661 159 0 0 20 0 3 0 30470202 1246552064 281920 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
/proc/261294/statm: 304334 281920 3294 3032 0 288887 0
[pid=261294/tid=261296] ppid=261291 vsize=1217336 memory=1127660 CPUtime=3577.87 cores=0,2
/proc/261294/task/261296/stat : 261296 (fscip) R 261291 261294 261021 0 -1 4194368 1817612 0 0 0 357636 151 0 0 20 0 3 0 30470216 1246552064 281920 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
[pid=261294/tid=261297] ppid=261291 vsize=1217336 memory=1127676 CPUtime=0.02 cores=0,2
/proc/261294/task/261297/stat : 261297 (fscip) S 261291 261294 261021 0 -1 1077936192 104 0 0 0 1 1 0 0 20 0 3 0 30470218 1246552064 281920 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
Current children cumulated CPU time: 3578.2 s
Current children cumulated vsize: 1217336 KiB
Current children cumulated memory: 1127680 KiB

[startup+3596.8 s]
/proc/loadavg: 4.13 4.12 4.04 5/264 263184
/proc/meminfo: memFree=111212212/131524600 swapFree=131056796/131071996
[pid=261294] ppid=261291 vsize=1217336 memory=1130124 CPUtime=3584.58 cores=0,2
/proc/261294/stat : 261294 (fscip) S 261291 261294 261021 0 -1 1077936128 1833309 0 0 0 358299 159 0 0 20 0 3 0 30470202 1246552064 282531 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
/proc/261294/statm: 304334 282531 3294 3032 0 288887 0
[pid=261294/tid=261296] ppid=261291 vsize=1217336 memory=1127668 CPUtime=3584.25 cores=0,2
/proc/261294/task/261296/stat : 261296 (fscip) R 261291 261294 261021 0 -1 4194368 1818268 0 0 0 358274 151 0 0 20 0 3 0 30470216 1246552064 282531 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
[pid=261294/tid=261297] ppid=261291 vsize=1217336 memory=1127676 CPUtime=0.03 cores=0,2
/proc/261294/task/261297/stat : 261297 (fscip) S 261291 261294 261021 0 -1 1077936192 104 0 0 0 1 2 0 0 20 0 3 0 30470218 1246552064 282531 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
Current children cumulated CPU time: 3584.58 s
Current children cumulated vsize: 1217336 KiB
Current children cumulated memory: 1130124 KiB

[startup+3598.4 s]
/proc/loadavg: 4.13 4.12 4.04 4/250 263200
/proc/meminfo: memFree=113813628/131524600 swapFree=131056796/131071996
[pid=261294] ppid=261291 vsize=1217336 memory=1130244 CPUtime=3586.17 cores=0,2
/proc/261294/stat : 261294 (fscip) S 261291 261294 261021 0 -1 1077936128 1833435 0 0 0 358458 159 0 0 20 0 3 0 30470202 1246552064 282561 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
/proc/261294/statm: 304334 282561 3294 3032 0 288887 0
[pid=261294/tid=261296] ppid=261291 vsize=1217336 memory=1130244 CPUtime=3585.84 cores=0,2
/proc/261294/task/261296/stat : 261296 (fscip) R 261291 261294 261021 0 -1 4194368 1818394 0 0 0 358433 151 0 0 20 0 3 0 30470216 1246552064 282561 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
[pid=261294/tid=261297] ppid=261291 vsize=1217336 memory=16080 CPUtime=0.03 cores=0,2
/proc/261294/task/261297/stat : 261297 (fscip) S 261291 261294 261021 0 -1 1077936192 104 0 0 0 1 2 0 0 20 0 3 0 30470218 1246552064 282561 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
Current children cumulated CPU time: 3586.17 s
Current children cumulated vsize: 1217336 KiB
Current children cumulated memory: 1130244 KiB

[startup+3599.2 s]
/proc/loadavg: 4.13 4.12 4.04 5/264 263281
/proc/meminfo: memFree=113673424/131524600 swapFree=131056796/131071996
[pid=261294] ppid=261291 vsize=1217336 memory=1130244 CPUtime=3586.97 cores=0,2
/proc/261294/stat : 261294 (fscip) S 261291 261294 261021 0 -1 1077936128 1833453 0 0 0 358538 159 0 0 20 0 3 0 30470202 1246552064 282561 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
/proc/261294/statm: 304334 282561 3294 3032 0 288887 0
[pid=261294/tid=261296] ppid=261291 vsize=1217336 memory=76836 CPUtime=3586.65 cores=0,2
/proc/261294/task/261296/stat : 261296 (fscip) R 261291 261294 261021 0 -1 4194368 1818412 0 0 0 358513 152 0 0 20 0 3 0 30470216 1246552064 282561 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
[pid=261294/tid=261297] ppid=261291 vsize=1217336 memory=2816 CPUtime=0.03 cores=0,2
/proc/261294/task/261297/stat : 261297 (fscip) S 261291 261294 261021 0 -1 1077936192 104 0 0 0 1 2 0 0 20 0 3 0 30470218 1246552064 282561 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
Current children cumulated CPU time: 3586.97 s
Current children cumulated vsize: 1217336 KiB
Current children cumulated memory: 1130244 KiB

[startup+3600 s]*
/proc/loadavg: 4.12 4.11 4.04 5/264 263281
/proc/meminfo: memFree=113554340/131524600 swapFree=131056796/131071996
[pid=261294] ppid=261291 vsize=1217336 memory=1130244 CPUtime=3587.77 cores=0,2
/proc/261294/stat : 261294 (fscip) R 261291 261294 261021 0 -1 1077936128 1833668 0 0 0 358618 159 0 0 20 0 3 0 30470202 1246552064 282561 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
/proc/261294/statm: 304334 282561 3294 3032 0 288887 0
[pid=261294/tid=261296] ppid=261291 vsize=1217336 memory=-6226342381774617449 CPUtime=3587.45 cores=0,2
/proc/261294/task/261296/stat : 261296 (fscip) R 261291 261294 261021 0 -1 4194368 1818627 0 0 0 358593 152 0 0 20 0 3 0 30470216 1246552064 282561 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
[pid=261294/tid=261297] ppid=261291 vsize=1217336 memory=20252 CPUtime=0.03 cores=0,2
/proc/261294/task/261297/stat : 261297 (fscip) S 261291 261294 261021 0 -1 1077936192 104 0 0 0 1 2 0 0 20 0 3 0 30470218 1246552064 282561 134679101440 4194304 16613245 140729060611312 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36700160 140729060619284 140729060619400 140729060619400 140729060626416 0
Current children cumulated CPU time: 3587.77 s
Current children cumulated vsize: 1217336 KiB
Current children cumulated memory: 1130244 KiB

[startup+3600.22 s]*
/proc/loadavg: 4.12 4.11 4.04 5/262 263281
/proc/meminfo: memFree=114041180/131524600 swapFree=131056796/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3600.23
CPU time (s): 3588
CPU user time (s): 3586.38
CPU system time (s): 1.61952
CPU usage (%): 99.6604
Max. virtual memory (cumulated for all children) (KiB): 1217336
Max. memory (cumulated for all children) (KiB): 1130244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.38
system time used= 1.61952
maximum resident set size= 1130244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1851975
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= 9352
involuntary context switches= 24601


# summary of solver processes directly reported to runsolver:
#   pid: 261294
#   total CPU time (s): 3588
#   total CPU user time (s): 3586.38
#   total CPU system time (s): 1.61952

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.81727 second user time and 16.5125 second system time

The end

Launcher Data

Begin job on nodeC032 at 2024-07-25 22:31:06
IDJOB=4459811
IDBENCH=148578
IDSOLVER=3064
FILE ID=nodeC032/4459811-1721939466
RUNJOBID= nodeC032-1721939462-261031
SLURM_JOB_ID= 8247252
Free space on /tmp= 890000 MiB

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

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

MD5SUM BENCH= 5f642955075bb0dd80aabe9a80ec63b9
RANDOM SEED=694240006

nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3673.039
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.31
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		: 3682.274
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.79
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		: 3664.679
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        115261664 kB
MemAvailable:   129389344 kB
Buffers:          319368 kB
Cached:         14596484 kB
SwapCached:          140 kB
Active:          2693172 kB
Inactive:       12887600 kB
Active(anon):       2112 kB
Inactive(anon):   715840 kB
Active(file):    2691060 kB
Inactive(file): 12171760 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056796 kB
Dirty:            113928 kB
Writeback:            12 kB
AnonPages:        664228 kB
Mapped:           150940 kB
Shmem:             53052 kB
KReclaimable:     209016 kB
Slab:             328316 kB
SReclaimable:     209016 kB
SUnreclaim:       119300 kB
KernelStack:        4240 kB
PageTables:        10852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     904788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19296 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 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:      363220 kB
DirectMap2M:    42401792 kB
DirectMap1G:    93323264 kB

Free space on /tmp at the end= 889972 MiB
End job on nodeC032 at 2024-07-25 23:31:06