Trace number 4434644

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-02SAT183 3591 3600.14

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
MD5SUM62fadc113b966a642e431cfbd80ddcdc
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark176
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables465
Total number of constraints465
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 constraints465
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 465
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 465
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 465
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00	c Default LC presolving (default).
0.00/0.00	c ** Before presolving: virtualMemUsedAtLc = 24412160, getVmSize() = 24412160, SCIPgetMemUsed() = 2282413, SCIPgetMemTotal() = 2890933, SCIPgetMemExternEstim() = 1048576
0.00/0.00	c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.02	c ** Estimated virtualMemUsedAtSolver = 17955498, getVmSize() = 29454336, SCIPgetMemUsed() = 3241439, SCIPgetMemTotal() = 6544455, SCIPgetMemExternEstim() = 1048576
0.00/0.02	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.02	c Original Problem   :
0.00/0.02	c   Problem name     : instance-4434644-1721084501
0.00/0.02	c   Variables        : 465 (465 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02	c   Constraints      : 465
0.00/0.02	c   Objective sense  : minimize
0.00/0.02	c Presolved Problem  :
0.00/0.02	c   Variables        : 465 (465 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02	c   Constraints      : 543
0.00/0.02	c Constraints        : Number
0.00/0.02	c   knapsack         : 415 
0.00/0.02	c   setppc           : 110 
0.00/0.02	c   logicor          : 18 
0.00/0.02	c ** Instance transfer method used: 0
0.00/0.02	c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.03	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.03	c                                Nodes    Active                                            
0.00/0.03	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.00/0.05	c *       0              0           1         1         214.0000                -          -
0.00/0.05	c *       0              0           1         1         204.0000                -          -
5.28/5.38	c         5              4           3         1         204.0000         159.7492     27.70%
10.76/10.87	c        11             11          10         1         204.0000         159.7492     27.70%
13.85/13.92	c *      14             15          14         1         202.0000         159.7492     26.45%
13.85/13.92	c *      14             15          14         1         197.0000         159.7492     23.32%
13.85/13.92	c *      14             15          14         1         195.0000         159.7492     22.07%
13.85/13.92	c *      14             15          14         1         193.0000         159.7492     20.81%
13.85/13.92	c *      14             15          14         1         192.0000         159.7492     20.19%
15.85/15.98	c        16             46          45         1         192.0000         159.7492     20.19%
21.13/21.25	c        21            114         113         1         192.0000         159.7979     20.15%
23.22/23.30	c *      23            132         131         1         191.0000         159.7979     19.53%
23.22/23.30	c *      23            132         131         1         187.0000         159.7979     17.02%
26.92/27.08	c        27            238         237         1         187.0000         159.8177     17.01%
29.51/29.61	c *      30            262         261         1         186.0000         159.9343     16.30%
32.60/32.79	c        33            295         294         1         186.0000         159.9800     16.26%
37.68/37.87	c        38            355         354         1         186.0000         160.0992     16.18%
42.87/43.03	c        43            401         400         1         186.0000         160.1319     16.15%
48.25/48.41	c        48            440         439         1         186.0000         160.2373     16.08%
53.23/53.47	c        53            469         468         1         186.0000         160.2527     16.07%
58.32/58.52	c        59            499         498         1         186.0000         160.2819     16.05%
64.10/64.38	c        64            541         540         1         186.0000         160.3145     16.02%
69.69/69.98	c        70            582         581         1         186.0000         160.3560     15.99%
75.07/75.38	c        75            622         621         1         186.0000         160.3841     15.97%
81.05/81.34	c        81            673         672         1         186.0000         160.4163     15.95%
86.13/86.49	c        86            720         719         1         186.0000         160.4770     15.90%
91.22/91.55	c        92            762         761         1         186.0000         160.5264     15.87%
96.90/97.21	c        97            813         812         1         186.0000         160.5505     15.85%
102.29/102.64	c       103            862         861         1         186.0000         160.5897     15.82%
107.97/108.33	c       108            909         908         1         186.0000         160.5924     15.82%
113.25/113.62	c       114            958         957         1         186.0000         160.6234     15.80%
118.74/119.12	c       119            999         998         1         186.0000         160.6315     15.79%
123.73/124.17	c       124           1041        1040         1         186.0000         160.6442     15.78%
130.40/130.86	c       131           1051           1         1         186.0000         160.6470     15.78%
136.39/136.88	c       137           1061          11         1         186.0000         160.6470     15.78%
142.26/142.72	c       143           1082          32         1         186.0000         160.6470     15.78%
147.95/148.43	c       148           1159         109         1         186.0000         160.6470     15.78%
153.03/153.58	c       154           1207         157         1         186.0000         160.6470     15.78%
159.22/159.70	c       160           1262         212         1         186.0000         160.6470     15.78%
164.20/164.74	c       165           1302         252         1         186.0000         160.6470     15.78%
170.28/170.82	c       171           1347         297         1         186.0000         160.6470     15.78%
175.86/176.44	c       176           1411         361         1         186.0000         160.6470     15.78%
179.56/180.19	c *     180           1514         466         1         185.0000         160.6470     15.16%
181.25/181.87	c       182           1671         541         1         185.0000         160.6470     15.16%
183.84/184.45	c *     184           1719         569         1         184.0000         160.6470     14.54%
186.83/187.44	c       187           1845         591         1         184.0000         160.6470     14.54%
191.92/192.58	c       193           2041         631         1         184.0000         160.6470     14.54%
197.20/197.85	c       198           2282         698         1         184.0000         160.6470     14.54%
203.28/203.94	c       204           2517         765         1         184.0000         160.6470     14.54%
208.66/209.37	c       209           2725         811         1         184.0000         160.6470     14.54%
210.96/211.62	c *     212           2775         835         1         183.0000         160.6470     13.91%
214.35/215.00	c       215           2864         814         1         183.0000         160.6470     13.91%
219.63/220.36	c       220           2986         872         1         183.0000         160.6470     13.91%
224.81/225.51	c       226           3311         933         1         183.0000         160.6470     13.91%
230.49/231.21	c       231           3522         978         1         183.0000         160.6470     13.91%
235.98/236.73	c       237           3694        1020         1         183.0000         160.6470     13.91%
241.37/242.19	c       242           3822        1064         1         183.0000         160.6470     13.91%
246.55/247.30	c       247           4054        1106         1         183.0000         160.6470     13.91%
252.34/253.12	c       253           4279        1153         1         183.0000         160.6470     13.91%
257.71/258.58	c       259           4542        1202         1         183.0000         160.6470     13.91%
263.40/264.27	c       264           4722        1266         1         183.0000         160.6470     13.91%
268.98/269.83	c       270           4942        1316         1         183.0000         160.6630     13.90%
274.86/275.72	c       276           5257        1391         1         183.0000         160.6935     13.88%
280.94/281.85	c       282           5452        1450         1         183.0000         160.7024     13.88%
286.03/286.93	c       287           5691        1515         1         183.0000         160.7267     13.86%
291.21/292.11	c       292           5831        1559         1         183.0000         160.7363     13.85%
296.89/297.85	c       298           6075        1621         1         183.0000         160.7641     13.83%
302.67/303.65	c       304           6372        1682         1         183.0000         160.7848     13.82%
308.55/309.50	c       310           6586        1738         1         183.0000         160.8011     13.81%
314.33/315.35	c       315           6882        1796         1         183.0000         160.8172     13.79%
320.03/321.04	c       321           7071        1857         1         183.0000         160.8323     13.78%
325.01/326.05	c       326           7231        1889         1         183.0000         160.8427     13.78%
330.19/331.27	c       331           7372        1936         1         183.0000         160.8444     13.77%
335.77/336.84	c       337           7611        1951         1         183.0000         160.8477     13.77%
341.26/342.30	c       342           7814        2022         1         183.0000         160.8563     13.77%
346.34/347.47	c       347           8011        2073         1         183.0000         160.8597     13.76%
351.63/352.74	c       353           8172        2124         1         183.0000         160.8678     13.76%
357.02/358.18	c       358           8335        2167         1         183.0000         160.8744     13.75%
362.29/363.44	c       363           8569        2205         1         183.0000         160.8775     13.75%
367.58/368.78	c       369           8702        2246         1         183.0000         160.8848     13.75%
373.46/374.63	c       375           8952        2334         1         183.0000         160.8902     13.74%
378.54/379.74	c       380           9261        2375         1         183.0000         160.8961     13.74%
384.12/385.37	c       385           9521        2455         1         183.0000         160.9042     13.73%
389.81/391.10	c       391           9762        2530         1         183.0000         160.9130     13.73%
395.19/396.40	c       396          10012        2588         1         183.0000         160.9257     13.72%
400.37/401.66	c       402          10181        2643         1         183.0000         160.9379     13.71%
406.55/407.80	c       408          10311        2699         1         183.0000         160.9424     13.71%
411.93/413.27	c       413          10471        2745         1         183.0000         160.9471     13.70%
417.72/419.03	c       419          10871        2737         1         183.0000         160.9486     13.70%
423.10/424.49	c       424          11004        2784         1         183.0000         160.9539     13.70%
428.69/430.06	c       430          11201        2841         1         183.0000         160.9652     13.69%
434.58/435.99	c       436          11456        2896         1         183.0000         160.9742     13.68%
439.96/441.34	c       441          11632        2950         1         183.0000         160.9818     13.68%
445.15/446.51	c       447          11901        2983         1         183.0000         160.9883     13.67%
450.74/452.15	c       452          12048        3036         1         183.0000         161.0005     13.66%
456.22/457.62	c       458          12201        3087         1         183.0000         161.0068     13.66%
461.81/463.22	c       463          12331        3149         1         183.0000         161.0163     13.65%
467.09/468.57	c       469          12571        3189         1         183.0000         161.0189     13.65%
472.68/474.17	c       474          12791        3213         1         183.0000         161.0258     13.65%
477.97/479.49	c       479          13002        3258         1         183.0000         161.0303     13.64%
483.66/485.10	c       485          13175        3317         1         183.0000         161.0513     13.63%
489.24/490.73	c       491          13492        3354         1         183.0000         161.0546     13.63%
494.32/495.86	c       496          13712        3394         1         183.0000         161.0632     13.62%
499.81/501.35	c       501          13852        3456         1         183.0000         161.0673     13.62%
505.30/506.88	c       507          14062        3490         1         183.0000         161.0719     13.61%
510.39/511.94	c       512          14271        3495         1         183.0000         161.0754     13.61%
516.18/517.71	c       518          14462        3532         1         183.0000         161.0856     13.60%
521.36/522.90	c       523          14624        3564         1         183.0000         161.0885     13.60%
526.75/528.34	c       528          14792        3598         1         183.0000         161.0986     13.60%
532.63/534.28	c       534          14993        3651         1         183.0000         161.1104     13.59%
537.81/539.48	c       539          15202        3688         1         183.0000         161.1149     13.58%
543.50/545.18	c       545          15451        3713         1         183.0000         161.1238     13.58%
548.59/550.25	c       550          15603        3757         1         183.0000         161.1278     13.57%
553.78/555.43	c       555          15861        3791         1         183.0000         161.1313     13.57%
559.47/561.11	c       561          16131        3841         1         183.0000         161.1356     13.57%
564.65/566.30	c       566          16379        3879         1         183.0000         161.1369     13.57%
570.44/572.17	c       572          16534        3910         1         183.0000         161.1457     13.56%
575.91/577.69	c       578          16773        3959         1         183.0000         161.1497     13.56%
581.60/583.39	c       583          17086        4006         1         183.0000         161.1557     13.55%
587.08/588.89	c       589          17315        4061         1         183.0000         161.1616     13.55%
592.47/594.29	c       594          17512        4118         1         183.0000         161.1675     13.55%
598.45/600.29	c       600          17702        4196         1         183.0000         161.1781     13.54%
603.53/605.39	c       605          17961        4233         1         183.0000         161.1836     13.54%
608.61/610.43	c       610          18219        4283         1         183.0000         161.1840     13.53%
613.81/615.62	c       616          18521        4313         1         183.0000         161.1941     13.53%
619.59/621.41	c       621          18833        4363         1         183.0000         161.1952     13.53%
624.57/626.42	c       626          18971        4427         1         183.0000         161.2002     13.52%
630.16/632.02	c       632          19212        4480         1         183.0000         161.2035     13.52%
636.04/637.94	c       638          19408        4542         1         183.0000         161.2062     13.52%
641.82/643.79	c       644          19745        4591         1         183.0000         161.2079     13.52%
647.80/649.75	c       650          19957        4635         1         183.0000         161.2120     13.52%
653.19/655.18	c       655          20186        4690         1         183.0000         161.2181     13.51%
658.57/660.57	c       661          20397        4733         1         183.0000         161.2247     13.51%
664.06/666.07	c       666          20645        4779         1         183.0000         161.2256     13.51%
669.94/671.94	c       672          20852        4836         1         183.0000         161.2266     13.50%
675.93/677.96	c       678          21111        4879         1         183.0000         161.2287     13.50%
681.01/683.00	c       683          21311        4907         1         183.0000         161.2305     13.50%
686.49/688.52	c       689          21474        4960         1         183.0000         161.2341     13.50%
692.08/694.18	c       694          21721        4995         1         183.0000         161.2419     13.49%
697.86/699.90	c       700          21879        5037         1         183.0000         161.2438     13.49%
703.55/705.63	c       706          22123        5105         1         183.0000         161.2497     13.49%
708.94/711.07	c       711          22272        5146         1         183.0000         161.2519     13.49%
714.32/716.46	c       716          22571        5175         1         183.0000         161.2579     13.48%
719.51/721.62	c       722          22701        5209         1         183.0000         161.2636     13.48%
725.10/727.24	c       727          22925        5259         1         183.0000         161.2683     13.48%
730.29/732.42	c       732          23104        5312         1         183.0000         161.2734     13.47%
735.68/737.85	c       738          23301        5361         1         183.0000         161.2787     13.47%
740.87/743.00	c       743          23616        5408         1         183.0000         161.2825     13.47%
746.86/749.00	c       749          23891        5451         1         183.0000         161.2857     13.46%
752.14/754.35	c       754          24093        5489         1         183.0000         161.2862     13.46%
758.12/760.33	c       760          24362        5540         1         183.0000         161.2902     13.46%
763.31/765.52	c       766          24671        5571         1         183.0000         161.2968     13.46%
769.09/771.32	c       771          24859        5619         1         183.0000         161.2980     13.45%
774.38/776.68	c       777          25079        5681         1         183.0000         161.3008     13.45%
780.26/782.52	c       783          25343        5747         1         183.0000         161.3044     13.45%
786.05/788.38	c       788          25682        5800         1         183.0000         161.3070     13.45%
791.44/793.74	c       794          25886        5858         1         183.0000         161.3101     13.45%
797.13/799.43	c       799          26052        5894         1         183.0000         161.3195     13.44%
802.41/804.73	c       805          26192        5936         1         183.0000         161.3260     13.43%
807.82/810.19	c       810          26457        5985         1         183.0000         161.3301     13.43%
813.00/815.36	c       815          26747        6033         1         183.0000         161.3337     13.43%
818.69/821.05	c       821          26992        6080         1         183.0000         161.3378     13.43%
824.07/826.43	c       826          27211        6137         1         183.0000         161.3453     13.42%
829.66/832.00	c       832          27471        6179         1         183.0000         161.3477     13.42%
835.64/838.01	c       838          27758        6232         1         183.0000         161.3507     13.42%
841.22/843.69	c       844          27971        6281         1         183.0000         161.3522     13.42%
846.31/848.76	c       849          28141        6321         1         183.0000         161.3554     13.41%
852.00/854.44	c       854          28391        6383         1         183.0000         161.3571     13.41%
857.09/859.51	c       860          28572        6460         1         183.0000         161.3629     13.41%
862.47/864.98	c       865          28856        6528         1         183.0000         161.3633     13.41%
867.57/870.05	c       870          29091        6589         1         183.0000         161.3677     13.41%
873.15/875.64	c       876          29380        6656         1         183.0000         161.3733     13.40%
879.13/881.66	c       882          29689        6719         1         183.0000         161.3749     13.40%
885.02/887.53	c       888          29915        6763         1         183.0000         161.3773     13.40%
891.00/893.56	c       894          30231        6825         1         183.0000         161.3847     13.39%
896.89/899.45	c       899          30408        6878         1         183.0000         161.3917     13.39%
902.08/904.65	c       905          30619        6957         1         183.0000         161.3966     13.39%
907.18/909.77	c       910          30864        7022         1         183.0000         161.3975     13.38%
913.06/915.63	c       916          31192        7066         1         183.0000         161.4027     13.38%
918.45/921.01	c       921          31421        7109         1         183.0000         161.4052     13.38%
923.83/926.47	c       926          31641        7173         1         183.0000         161.4100     13.38%
929.22/931.89	c       932          31862        7222         1         183.0000         161.4106     13.38%
935.10/937.75	c       938          32152        7280         1         183.0000         161.4127     13.37%
940.19/942.81	c       943          32428        7324         1         183.0000         161.4191     13.37%
945.18/947.87	c       948          32679        7343         1         183.0000         161.4219     13.37%
950.76/953.46	c       953          32911        7403         1         183.0000         161.4245     13.37%
956.25/958.91	c       959          33131        7449         1         183.0000         161.4262     13.36%
962.05/964.76	c       965          33440        7518         1         183.0000         161.4266     13.36%
967.93/970.64	c       971          33638        7564         1         183.0000         161.4287     13.36%
973.92/976.66	c       977          33876        7598         1         183.0000         161.4308     13.36%
979.31/982.06	c       982          34121        7653         1         183.0000         161.4355     13.36%
985.09/987.83	c       988          34339        7715         1         183.0000         161.4395     13.36%
990.57/993.36	c       993          34601        7767         1         183.0000         161.4462     13.35%
995.77/998.57	c       999          34841        7817         1         183.0000         161.4490     13.35%
1000.86/1003.69	c      1004          35094        7868         1         183.0000         161.4508     13.35%
1006.25/1009.02	c      1009          35351        7905         1         183.0000         161.4548     13.34%
1011.73/1014.51	c      1015          35631        7945         1         183.0000         161.4592     13.34%
1017.22/1020.09	c      1020          35903        7989         1         183.0000         161.4632     13.34%
1023.21/1026.03	c      1026          36228        8072         1         183.0000         161.4675     13.34%
1028.39/1031.24	c      1031          36485        8099         1         183.0000         161.4690     13.33%
1034.08/1036.91	c      1037          36652        8120         1         183.0000         161.4737     13.33%
1039.46/1042.37	c      1042          36951        8161         1         183.0000         161.4789     13.33%
1044.65/1047.55	c      1048          37211        8185         1         183.0000         161.4805     13.33%
1050.44/1053.32	c      1053          37500        8234         1         183.0000         161.4822     13.33%
1056.02/1058.91	c      1059          37741        8275         1         183.0000         161.4870     13.32%
1061.01/1063.95	c      1064          37931        8319         1         183.0000         161.4908     13.32%
1066.11/1069.09	c      1069          38039        8375         1         183.0000         161.4942     13.32%
1071.39/1074.32	c      1074          38233        8409         1         183.0000         161.4981     13.31%
1076.67/1079.69	c      1080          38591        8493         1         183.0000         161.4996     13.31%
1082.36/1085.31	c      1085          38831        8549         1         183.0000         161.5029     13.31%
1087.45/1090.47	c      1090          38967        8617         1         183.0000         161.5065     13.31%
1093.24/1096.26	c      1096          39171        8677         1         183.0000         161.5077     13.31%
1099.03/1102.00	c      1102          39511        8733         1         183.0000         161.5172     13.30%
1104.21/1107.24	c      1107          39732        8790         1         183.0000         161.5197     13.30%
1109.40/1112.46	c      1112          40004        8842         1         183.0000         161.5256     13.29%
1114.79/1117.89	c      1118          40231        8903         1         183.0000         161.5299     13.29%
1119.87/1122.94	c      1123          40401        8961         1         183.0000         161.5311     13.29%
1125.86/1128.91	c      1129          40701        9023         1         183.0000         161.5355     13.29%
1131.84/1134.91	c      1135          40920        9092         1         183.0000         161.5481     13.28%
1137.03/1140.12	c      1140          41199        9151         1         183.0000         161.5499     13.28%
1142.51/1145.69	c      1146          41471        9191         1         183.0000         161.5547     13.27%
1147.60/1150.72	c      1151          41771        9253         1         183.0000         161.5596     13.27%
1152.68/1155.85	c      1156          41942        9308         1         183.0000         161.5617     13.27%
1157.97/1161.18	c      1161          42251        9357         1         183.0000         161.5648     13.27%
1163.05/1166.23	c      1166          42481        9417         1         183.0000         161.5669     13.27%
1169.03/1172.23	c      1172          42684        9484         1         183.0000         161.5689     13.26%
1174.92/1178.18	c      1178          42987        9529         1         183.0000         161.5727     13.26%
1180.50/1183.74	c      1184          43211        9569         1         183.0000         161.5764     13.26%
1186.38/1189.67	c      1190          43465        9639         1         183.0000         161.5819     13.26%
1192.16/1195.48	c      1195          43788        9678         1         183.0000         161.5869     13.25%
1197.24/1200.59	c      1201          44065        9705         1         183.0000         161.5880     13.25%
1202.63/1205.95	c      1206          44271        9753         1         183.0000         161.5928     13.25%
1207.72/1211.02	c      1211          44441        9809         1         183.0000         161.5942     13.25%
1213.59/1216.96	c      1217          44752        9876         1         183.0000         161.5975     13.24%
1218.88/1222.29	c      1222          44984        9904         1         183.0000         161.5995     13.24%
1224.26/1227.68	c      1228          45179        9969         1         183.0000         161.6010     13.24%
1230.05/1233.48	c      1233          45531       10009         1         183.0000         161.6047     13.24%
1235.64/1239.10	c      1239          45785       10079         1         183.0000         161.6074     13.24%
1241.52/1244.91	c      1245          46071       10117         1         183.0000         161.6095     13.24%
1246.71/1250.16	c      1250          46338       10168         1         183.0000         161.6104     13.24%
1252.59/1256.01	c      1256          46550       10226         1         183.0000         161.6117     13.23%
1258.46/1261.93	c      1262          46771       10283         1         183.0000         161.6119     13.23%
1263.55/1267.04	c      1267          46962       10320         1         183.0000         161.6121     13.23%
1268.83/1272.36	c      1272          47245       10343         1         183.0000         161.6144     13.23%
1274.32/1277.87	c      1278          47506       10426         1         183.0000         161.6170     13.23%
1279.40/1282.94	c      1283          47781       10475         1         183.0000         161.6206     13.23%
1284.69/1288.23	c      1288          48041       10543         1         183.0000         161.6219     13.23%
1290.37/1293.99	c      1294          48418       10582         1         183.0000         161.6224     13.23%
1296.06/1299.65	c      1300          48693       10639         1         183.0000         161.6281     13.22%
1301.44/1305.06	c      1305          49022       10660         1         183.0000         161.6293     13.22%
1307.42/1311.07	c      1311          49298       10730         1         183.0000         161.6302     13.22%
1312.51/1316.12	c      1316          49591       10767         1         183.0000         161.6341     13.22%
1318.49/1322.17	c      1322          49792       10840         1         183.0000         161.6362     13.22%
1324.47/1328.15	c      1328          50107       10887         1         183.0000         161.6385     13.22%
1330.06/1333.76	c      1334          50233       10949         1         183.0000         161.6416     13.21%
1335.04/1338.79	c      1339          50511       10989         1         183.0000         161.6434     13.21%
1340.22/1343.96	c      1344          50833       11043         1         183.0000         161.6439     13.21%
1345.90/1349.68	c      1350          51070       11118         1         183.0000         161.6471     13.21%
1350.98/1354.77	c      1355          51308       11162         1         183.0000         161.6484     13.21%
1356.87/1360.65	c      1361          51631       11193         1         183.0000         161.6502     13.21%
1362.56/1366.31	c      1366          51893       11255         1         183.0000         161.6527     13.21%
1368.45/1372.23	c      1372          52171       11319         1         183.0000         161.6553     13.20%
1374.24/1378.07	c      1378          52533       11387         1         183.0000         161.6571     13.20%
1379.42/1383.20	c      1383          52851       11435         1         183.0000         161.6596     13.20%
1384.81/1388.63	c      1389          53071       11497         1         183.0000         161.6648     13.20%
1390.09/1393.93	c      1394          53381       11545         1         183.0000         161.6680     13.19%
1395.58/1399.49	c      1399          53612       11610         1         183.0000         161.6700     13.19%
1400.76/1404.65	c      1405          53829       11659         1         183.0000         161.6722     13.19%
1405.95/1409.81	c      1410          54091       11725         1         183.0000         161.6768     13.19%
1411.24/1415.17	c      1415          54471       11769         1         183.0000         161.6806     13.19%
1416.63/1420.54	c      1421          54644       11826         1         183.0000         161.6811     13.19%
1421.82/1425.71	c      1426          54821       11891         1         183.0000         161.6832     13.18%
1427.31/1431.23	c      1431          55011       11955         1         183.0000         161.6897     13.18%
1432.90/1436.83	c      1437          55260       12016         1         183.0000         161.6914     13.18%
1438.19/1442.14	c      1442          55478       12078         1         183.0000         161.6927     13.18%
1443.47/1447.42	c      1447          55651       12151         1         183.0000         161.6945     13.18%
1449.06/1453.05	c      1453          55861       12215         1         183.0000         161.6970     13.17%
1454.24/1458.21	c      1458          56005       12281         1         183.0000         161.6993     13.17%
1460.13/1464.15	c      1464          56272       12332         1         183.0000         161.7016     13.17%
1465.31/1469.35	c      1469          56513       12393         1         183.0000         161.7078     13.17%
1470.89/1474.97	c      1475          56911       12415         1         183.0000         161.7096     13.17%
1476.27/1480.33	c      1480          57130       12480         1         183.0000         161.7121     13.16%
1481.36/1485.48	c      1485          57421       12507         1         183.0000         161.7129     13.16%
1486.84/1490.98	c      1491          57671       12579         1         183.0000         161.7150     13.16%
1492.42/1496.56	c      1497          57911       12653         1         183.0000         161.7166     13.16%
1497.71/1501.87	c      1502          58121       12703         1         183.0000         161.7170     13.16%
1502.89/1507.09	c      1507          58339       12765         1         183.0000         161.7191     13.16%
1508.37/1512.51	c      1513          58641       12813         1         183.0000         161.7201     13.16%
1514.06/1518.25	c      1518          58860       12878         1         183.0000         161.7225     13.16%
1519.04/1523.26	c      1523          59111       12921         1         183.0000         161.7242     13.16%
1524.23/1528.46	c      1528          59378       12950         1         183.0000         161.7246     13.16%
1529.62/1533.80	c      1534          59651       13007         1         183.0000         161.7268     13.15%
1534.70/1538.95	c      1539          59841       13061         1         183.0000         161.7281     13.15%
1540.08/1544.38	c      1544          59996       13120         1         183.0000         161.7296     13.15%
1545.47/1549.72	c      1550          60192       13178         1         183.0000         161.7314     13.15%
1550.85/1555.15	c      1555          60357       13235         1         183.0000         161.7347     13.15%
1556.23/1560.58	c      1561          60681       13291         1         183.0000         161.7362     13.15%
1561.32/1565.69	c      1566          60887       13365         1         183.0000         161.7382     13.15%
1566.51/1570.85	c      1571          61236       13432         1         183.0000         161.7416     13.14%
1571.59/1575.98	c      1576          61633       13471         1         183.0000         161.7418     13.14%
1577.27/1581.68	c      1582          61892       13558         1         183.0000         161.7441     13.14%
1582.86/1587.22	c      1587          62251       13581         1         183.0000         161.7477     13.14%
1588.14/1592.53	c      1593          62556       13630         1         183.0000         161.7485     13.14%
1593.52/1597.95	c      1598          62901       13655         1         183.0000         161.7501     13.14%
1599.11/1603.53	c      1604          63121       13711         1         183.0000         161.7526     13.14%
1604.49/1608.94	c      1609          63381       13741         1         183.0000         161.7552     13.13%
1609.68/1614.11	c      1614          63621       13793         1         183.0000         161.7571     13.13%
1614.96/1619.41	c      1619          63921       13843         1         183.0000         161.7581     13.13%
1619.94/1624.42	c      1624          64222       13874         1         183.0000         161.7590     13.13%
1625.43/1629.90	c      1630          64459       13923         1         183.0000         161.7619     13.13%
1630.72/1635.28	c      1635          64791       13937         1         183.0000         161.7627     13.13%
1636.70/1641.23	c      1641          65043       14009         1         183.0000         161.7639     13.13%
1642.18/1646.71	c      1647          65321       14083         1         183.0000         161.7653     13.13%
1647.36/1651.92	c      1652          65561       14151         1         183.0000         161.7705     13.12%
1652.94/1657.54	c      1658          65847       14207         1         183.0000         161.7733     13.12%
1658.73/1663.30	c      1663          66101       14279         1         183.0000         161.7752     13.12%
1664.53/1669.18	c      1669          66341       14343         1         183.0000         161.7780     13.12%
1670.42/1675.08	c      1675          66570       14400         1         183.0000         161.7790     13.12%
1675.51/1680.17	c      1680          66774       14456         1         183.0000         161.7807     13.12%
1681.29/1685.92	c      1686          67041       14505         1         183.0000         161.7828     13.11%
1686.67/1691.30	c      1691          67387       14531         1         183.0000         161.7836     13.11%
1692.06/1696.75	c      1697          67611       14591         1         183.0000         161.7841     13.11%
1697.15/1701.84	c      1702          67829       14649         1         183.0000         161.7870     13.11%
1702.14/1706.89	c      1707          68169       14691         1         183.0000         161.7875     13.11%
1707.72/1712.49	c      1712          68338       14758         1         183.0000         161.7899     13.11%
1713.31/1718.06	c      1718          68561       14831         1         183.0000         161.7923     13.11%
1719.19/1723.94	c      1724          68781       14899         1         183.0000         161.7937     13.11%
1725.08/1729.82	c      1730          69083       14975         1         183.0000         161.7953     13.11%
1730.07/1734.87	c      1735          69341       15035         1         183.0000         161.7965     13.11%
1735.36/1740.13	c      1740          69571       15097         1         183.0000         161.7980     13.10%
1740.35/1745.14	c      1745          69781       15167         1         183.0000         161.8001     13.10%
1745.83/1750.60	c      1751          70081       15205         1         183.0000         161.8024     13.10%
1750.82/1755.63	c      1756          70330       15262         1         183.0000         161.8040     13.10%
1756.61/1761.48	c      1761          70621       15309         1         183.0000         161.8067     13.10%
1762.30/1767.13	c      1767          70791       15381         1         183.0000         161.8092     13.10%
1767.48/1772.33	c      1772          70961       15429         1         183.0000         161.8096     13.10%
1772.67/1777.56	c      1778          71118       15452         1         183.0000         161.8100     13.10%
1778.26/1783.13	c      1783          71451       15511         1         183.0000         161.8108     13.10%
1783.45/1788.35	c      1788          71741       15557         1         183.0000         161.8118     13.09%
1788.64/1793.58	c      1794          71911       15617         1         183.0000         161.8137     13.09%
1793.82/1798.70	c      1799          72131       15647         1         183.0000         161.8147     13.09%
1798.91/1803.88	c      1804          72406       15684         1         183.0000         161.8150     13.09%
1803.99/1808.92	c      1809          72781       15727         1         183.0000         161.8161     13.09%
1808.98/1813.97	c      1814          73011       15773         1         183.0000         161.8174     13.09%
1814.87/1819.85	c      1820          73271       15809         1         183.0000         161.8183     13.09%
1820.06/1825.01	c      1825          73529       15879         1         183.0000         161.8194     13.09%
1825.05/1830.07	c      1830          73748       15954         1         183.0000         161.8206     13.09%
1831.03/1836.01	c      1836          74101       16023         1         183.0000         161.8220     13.09%
1836.72/1841.74	c      1842          74411       16091         1         183.0000         161.8246     13.09%
1842.01/1847.03	c      1847          74591       16149         1         183.0000         161.8262     13.08%
1847.59/1852.67	c      1853          74821       16221         1         183.0000         161.8277     13.08%
1852.87/1857.92	c      1858          75009       16307         1         183.0000         161.8297     13.08%
1857.96/1863.04	c      1863          75269       16359         1         183.0000         161.8299     13.08%
1863.85/1868.94	c      1869          75504       16438         1         183.0000         161.8326     13.08%
1869.44/1874.52	c      1875          75752       16596         1         183.0000         161.8331     13.08%
1874.43/1879.59	c      1880          75951       16669         1         183.0000         161.8351     13.08%
1879.81/1884.90	c      1885          76271       16745         1         183.0000         161.8362     13.08%
1885.01/1890.12	c      1890          76501       16821         1         183.0000         161.8376     13.08%
1890.39/1895.57	c      1896          76791       16939         1         183.0000         161.8398     13.07%
1895.58/1900.73	c      1901          77111       17029         1         183.0000         161.8405     13.07%
1900.87/1906.04	c      1906          77421       17097         1         183.0000         161.8424     13.07%
1906.44/1911.68	c      1912          77731       17199         1         183.0000         161.8430     13.07%
1912.23/1917.42	c      1917          77982       17262         1         183.0000         161.8446     13.07%
1917.53/1922.72	c      1923          78384       17316         1         183.0000         161.8453     13.07%
1922.51/1927.77	c      1928          78681       17391         1         183.0000         161.8464     13.07%
1927.70/1932.99	c      1933          79058       17432         1         183.0000         161.8466     13.07%
1932.99/1938.25	c      1938          79428       17484         1         183.0000         161.8481     13.07%
1938.18/1943.47	c      1943          79641       17533         1         183.0000         161.8496     13.07%
1943.17/1948.48	c      1948          79912       17602         1         183.0000         161.8519     13.07%
1948.95/1954.25	c      1954          80272       17702         1         183.0000         161.8540     13.06%
1954.34/1959.62	c      1960          80581       17791         1         183.0000         161.8556     13.06%
1960.22/1965.52	c      1966          80961       17849         1         183.0000         161.8567     13.06%
1965.81/1971.14	c      1971          81284       17910         1         183.0000         161.8580     13.06%
1970.80/1976.15	c      1976          81561       17985         1         183.0000         161.8595     13.06%
1976.58/1981.98	c      1982          81946       18052         1         183.0000         161.8603     13.06%
1981.77/1987.18	c      1987          82265       18115         1         183.0000         161.8615     13.06%
1986.86/1992.24	c      1992          82571       18187         1         183.0000         161.8626     13.06%
1991.95/1997.32	c      1997          82759       18267         1         183.0000         161.8636     13.06%
1997.14/2002.56	c      2003          83285       18301         1         183.0000         161.8643     13.06%
2002.53/2007.96	c      2008          83581       18355         1         183.0000         161.8650     13.06%
2008.31/2013.77	c      2014          83951       18421         1         183.0000         161.8662     13.06%
2013.71/2019.17	c      2019          84141       18481         1         183.0000         161.8682     13.05%
2019.09/2024.53	c      2025          84519       18585         1         183.0000         161.8687     13.05%
2024.57/2030.00	c      2030          84771       18673         1         183.0000         161.8708     13.05%
2029.75/2035.25	c      2035          85072       18762         1         183.0000         161.8720     13.05%
2034.94/2040.41	c      2040          85351       18815         1         183.0000         161.8752     13.05%
2040.33/2045.89	c      2046          85672       18880         1         183.0000         161.8767     13.05%
2046.01/2051.54	c      2052          85951       18959         1         183.0000         161.8791     13.05%
2051.50/2057.01	c      2057          86151       19039         1         183.0000         161.8803     13.05%
2056.49/2062.07	c      2062          86461       19091         1         183.0000         161.8812     13.05%
2061.88/2067.48	c      2067          86681       19161         1         183.0000         161.8834     13.04%
2066.97/2072.52	c      2073          86923       19225         1         183.0000         161.8838     13.04%
2072.05/2077.67	c      2078          87161       19305         1         183.0000         161.8860     13.04%
2077.24/2082.88	c      2083          87401       19351         1         183.0000         161.8864     13.04%
2082.63/2088.26	c      2088          87611       19441         1         183.0000         161.8884     13.04%
2087.81/2093.46	c      2093          87832       19520         1         183.0000         161.8897     13.04%
2093.20/2098.81	c      2099          88091       19579         1         183.0000         161.8920     13.04%
2098.29/2103.95	c      2104          88443       19633         1         183.0000         161.8925     13.04%
2103.68/2109.31	c      2109          88759       19697         1         183.0000         161.8933     13.04%
2109.07/2114.78	c      2115          89052       19760         1         183.0000         161.8946     13.04%
2114.85/2120.56	c      2121          89411       19813         1         183.0000         161.8966     13.04%
2120.04/2125.72	c      2126          89621       19873         1         183.0000         161.8982     13.03%
2125.33/2131.06	c      2131          89985       19925         1         183.0000         161.8985     13.03%
2130.62/2136.32	c      2136          90202       19972         1         183.0000         161.8990     13.03%
2136.60/2142.30	c      2142          90485       20043         1         183.0000         161.9002     13.03%
2142.49/2148.25	c      2148          90753       20107         1         183.0000         161.9009     13.03%
2147.87/2153.62	c      2154          91021       20169         1         183.0000         161.9023     13.03%
2153.66/2159.44	c      2159          91258       20232         1         183.0000         161.9038     13.03%
2158.64/2164.47	c      2164          91520       20282         1         183.0000         161.9055     13.03%
2164.23/2170.00	c      2170          91811       20349         1         183.0000         161.9066     13.03%
2169.22/2175.07	c      2175          92023       20405         1         183.0000         161.9078     13.03%
2175.30/2181.13	c      2181          92391       20457         1         183.0000         161.9093     13.03%
2180.59/2186.44	c      2186          92581       20515         1         183.0000         161.9106     13.03%
2186.08/2191.92	c      2192          92897       20587         1         183.0000         161.9118     13.02%
2191.07/2196.94	c      2197          93181       20639         1         183.0000         161.9133     13.02%
2196.75/2202.69	c      2203          93431       20703         1         183.0000         161.9147     13.02%
2201.84/2207.78	c      2208          93701       20797         1         183.0000         161.9157     13.02%
2207.03/2212.92	c      2213          94011       20847         1         183.0000         161.9166     13.02%
2212.71/2218.67	c      2219          94270       20922         1         183.0000         161.9171     13.02%
2218.30/2224.29	c      2224          94551       20987         1         183.0000         161.9198     13.02%
2223.98/2229.94	c      2230          94931       21049         1         183.0000         161.9205     13.02%
2229.28/2235.28	c      2235          95241       21077         1         183.0000         161.9213     13.02%
2234.47/2240.40	c      2240          95479       21127         1         183.0000         161.9217     13.02%
2240.25/2246.22	c      2246          95781       21177         1         183.0000         161.9227     13.02%
2245.34/2251.32	c      2251          96111       21211         1         183.0000         161.9233     13.02%
2250.43/2256.46	c      2256          96371       21265         1         183.0000         161.9241     13.02%
2255.91/2261.94	c      2262          96612       21344         1         183.0000         161.9254     13.01%
2261.11/2267.18	c      2267          96931       21399         1         183.0000         161.9263     13.01%
2266.79/2272.86	c      2273          97211       21467         1         183.0000         161.9276     13.01%
2272.08/2278.10	c      2278          97449       21545         1         183.0000         161.9282     13.01%
2277.07/2283.17	c      2283          97679       21591         1         183.0000         161.9291     13.01%
2282.15/2288.21	c      2288          97872       21650         1         183.0000         161.9305     13.01%
2287.44/2293.50	c      2294          98191       21693         1         183.0000         161.9322     13.01%
2293.04/2299.19	c      2299          98491       21765         1         183.0000         161.9326     13.01%
2298.81/2304.95	c      2305          98784       21824         1         183.0000         161.9328     13.01%
2304.30/2310.44	c      2310          99061       21889         1         183.0000         161.9350     13.01%
2310.19/2316.34	c      2316          99381       21947         1         183.0000         161.9367     13.01%
2315.27/2321.42	c      2321          99665       22007         1         183.0000         161.9380     13.01%
2320.76/2326.92	c      2327          99901       22067         1         183.0000         161.9388     13.01%
2326.25/2332.48	c      2332         100186       22112         1         183.0000         161.9405     13.00%
2331.54/2337.74	c      2338         100421       22163         1         183.0000         161.9426     13.00%
2337.03/2343.22	c      2343         100682       22272         1         183.0000         161.9427     13.00%
2342.21/2348.43	c      2348         101031       22321         1         183.0000         161.9444     13.00%
2347.30/2353.59	c      2354         101281       22381         1         183.0000         161.9457     13.00%
2353.19/2359.43	c      2359         101615       22515         1         183.0000         161.9465     13.00%
2358.27/2364.50	c      2364         101821       22589         1         183.0000         161.9477     13.00%
2363.56/2369.86	c      2370         102041       22671         1         183.0000         161.9481     13.00%
2369.24/2375.53	c      2376         102311       22743         1         183.0000         161.9499     13.00%
2375.13/2381.46	c      2381         102678       22850         1         183.0000         161.9505     13.00%
2380.41/2386.75	c      2387         102998       22918         1         183.0000         161.9507     13.00%
2386.09/2392.48	c      2392         103341       22999         1         183.0000         161.9517     13.00%
2391.58/2397.94	c      2398         103598       23052         1         183.0000         161.9523     13.00%
2396.87/2403.28	c      2403         104041       23099         1         183.0000         161.9525     13.00%
2402.25/2408.68	c      2409         104301       23161         1         183.0000         161.9538     13.00%
2407.53/2413.92	c      2414         104609       23229         1         183.0000         161.9544     12.99%
2413.02/2419.41	c      2419         104901       23273         1         183.0000         161.9561     12.99%
2418.00/2424.42	c      2424         105131       23327         1         183.0000         161.9574     12.99%
2423.79/2430.23	c      2430         105401       23415         1         183.0000         161.9595     12.99%
2429.08/2435.53	c      2436         105681       23465         1         183.0000         161.9598     12.99%
2435.06/2441.51	c      2442         106001       23539         1         183.0000         161.9607     12.99%
2440.95/2447.42	c      2447         106295       23627         1         183.0000         161.9615     12.99%
2446.54/2453.07	c      2453         106708       23682         1         183.0000         161.9619     12.99%
2452.13/2458.64	c      2459         106971       23751         1         183.0000         161.9627     12.99%
2457.41/2463.91	c      2464         107211       23839         1         183.0000         161.9639     12.99%
2462.90/2469.47	c      2469         107481       23905         1         183.0000         161.9652     12.99%
2468.09/2474.68	c      2475         107751       23973         1         183.0000         161.9678     12.99%
2473.18/2479.76	c      2480         107965       24035         1         183.0000         161.9681     12.99%
2478.57/2485.19	c      2485         108177       24097         1         183.0000         161.9690     12.98%
2483.85/2490.48	c      2490         108422       24142         1         183.0000         161.9694     12.98%
2489.64/2496.24	c      2496         108700       24202         1         183.0000         161.9705     12.98%
2494.82/2501.42	c      2501         108941       24251         1         183.0000         161.9712     12.98%
2500.11/2506.70	c      2507         109161       24333         1         183.0000         161.9723     12.98%
2506.00/2512.61	c      2513         109451       24407         1         183.0000         161.9731     12.98%
2511.89/2518.57	c      2519         109841       24461         1         183.0000         161.9749     12.98%
2516.97/2523.62	c      2524         110151       24501         1         183.0000         161.9761     12.98%
2522.26/2528.92	c      2529         110571       24523         1         183.0000         161.9772     12.98%
2527.46/2534.12	c      2534         110821       24563         1         183.0000         161.9790     12.98%
2532.44/2539.18	c      2539         111071       24627         1         183.0000         161.9794     12.98%
2537.63/2544.32	c      2544         111271       24699         1         183.0000         161.9811     12.98%
2543.42/2550.13	c      2550         111589       24775         1         183.0000         161.9813     12.98%
2548.50/2555.23	c      2555         111830       24844         1         183.0000         161.9820     12.98%
2554.08/2560.82	c      2561         112103       24931         1         183.0000         161.9835     12.97%
2559.47/2566.22	c      2566         112421       24979         1         183.0000         161.9839     12.97%
2564.57/2571.35	c      2571         112691       25025         1         183.0000         161.9852     12.97%
2569.75/2576.58	c      2577         113037       25065         1         183.0000         161.9862     12.97%
2575.84/2582.60	c      2583         113337       25137         1         183.0000         161.9877     12.97%
2581.12/2587.98	c      2588         113611       25227         1         183.0000         161.9889     12.97%
2587.11/2593.94	c      2594         113885       25299         1         183.0000         161.9897     12.97%
2592.79/2599.67	c      2600         114176       25366         1         183.0000         161.9910     12.97%
2597.89/2604.74	c      2605         114503       25423         1         183.0000         161.9918     12.97%
2603.28/2610.18	c      2610         114771       25489         1         183.0000         161.9928     12.97%
2608.56/2615.48	c      2615         115091       25533         1         183.0000         161.9932     12.97%
2614.25/2621.13	c      2621         115352       25580         1         183.0000         161.9946     12.97%
2619.33/2626.24	c      2626         115581       25625         1         183.0000         161.9953     12.97%
2625.22/2632.19	c      2632         115882       25678         1         183.0000         161.9959     12.97%
2630.80/2637.77	c      2638         116166       25756         1         183.0000         161.9969     12.97%
2635.79/2642.78	c      2643         116511       25847         1         183.0000         161.9970     12.97%
2640.98/2647.97	c      2648         116811       25945         1         183.0000         161.9974     12.96%
2646.57/2653.55	c      2654         117141       26015         1         183.0000         161.9975     12.96%
2651.75/2658.73	c      2659         117431       26069         1         183.0000         161.9982     12.96%
2656.75/2663.76	c      2664         117711       26109         1         183.0000         161.9989     12.96%
2662.24/2669.27	c      2669         118031       26155         1         183.0000         161.9993     12.96%
2667.72/2674.77	c      2675         118328       26226         1         183.0000         161.9996     12.96%
2673.51/2680.52	c      2681         118646       26286         1         183.0000         162.0004     12.96%
2678.50/2685.58	c      2686         118911       26347         1         183.0000         162.0020     12.96%
2683.89/2690.93	c      2691         119211       26399         1         183.0000         162.0030     12.96%
2689.47/2696.57	c      2697         119405       26473         1         183.0000         162.0044     12.96%
2694.96/2702.10	c      2702         119696       26548         1         183.0000         162.0054     12.96%
2700.35/2707.49	c      2707         120021       26597         1         183.0000         162.0060     12.96%
2705.43/2712.54	c      2713         120270       26660         1         183.0000         162.0072     12.96%
2711.12/2718.24	c      2718         120522       26740         1         183.0000         162.0077     12.96%
2716.31/2723.42	c      2723         120810       26806         1         183.0000         162.0088     12.96%
2721.40/2728.58	c      2729         121021       26871         1         183.0000         162.0105     12.96%
2726.68/2733.81	c      2734         121152       26942         1         183.0000         162.0119     12.95%
2732.57/2739.74	c      2740         121486       27006         1         183.0000         162.0122     12.95%
2737.86/2745.02	c      2745         121851       27101         1         183.0000         162.0131     12.95%
2743.75/2750.93	c      2751         122243       27149         1         183.0000         162.0137     12.95%
2748.94/2756.15	c      2756         122511       27201         1         183.0000         162.0148     12.95%
2754.82/2762.07	c      2762         122815       27273         1         183.0000         162.0157     12.95%
2760.40/2767.62	c      2768         123162       27332         1         183.0000         162.0172     12.95%
2765.39/2772.69	c      2773         123437       27401         1         183.0000         162.0178     12.95%
2770.58/2777.89	c      2778         123771       27441         1         183.0000         162.0190     12.95%
2775.67/2782.94	c      2783         124171       27463         1         183.0000         162.0193     12.95%
2780.87/2788.16	c      2788         124421       27517         1         183.0000         162.0201     12.95%
2786.45/2793.74	c      2794         124615       27605         1         183.0000         162.0213     12.95%
2791.93/2799.23	c      2799         124981       27645         1         183.0000         162.0221     12.95%
2797.72/2805.06	c      2805         125252       27714         1         183.0000         162.0225     12.95%
2802.81/2810.18	c      2810         125481       27765         1         183.0000         162.0244     12.95%
2808.39/2815.76	c      2816         125777       27833         1         183.0000         162.0255     12.95%
2814.38/2821.77	c      2822         126181       27865         1         183.0000         162.0258     12.94%
2820.27/2827.62	c      2828         126496       27944         1         183.0000         162.0266     12.94%
2825.56/2832.96	c      2833         126761       28003         1         183.0000         162.0280     12.94%
2830.95/2838.39	c      2838         127071       28063         1         183.0000         162.0284     12.94%
2836.13/2843.52	c      2844         127351       28125         1         183.0000         162.0298     12.94%
2841.63/2849.05	c      2849         127558       28212         1         183.0000         162.0303     12.94%
2847.01/2854.43	c      2854         127787       28299         1         183.0000         162.0309     12.94%
2852.79/2860.28	c      2860         128102       28358         1         183.0000         162.0319     12.94%
2858.59/2866.03	c      2866         128381       28427         1         183.0000         162.0326     12.94%
2863.57/2871.06	c      2871         128591       28487         1         183.0000         162.0334     12.94%
2868.86/2876.37	c      2876         128801       28539         1         183.0000         162.0340     12.94%
2874.34/2881.86	c      2882         129131       28623         1         183.0000         162.0346     12.94%
2879.53/2887.09	c      2887         129421       28687         1         183.0000         162.0354     12.94%
2884.62/2892.12	c      2892         129671       28735         1         183.0000         162.0356     12.94%
2890.41/2897.94	c      2898         129917       28797         1         183.0000         162.0367     12.94%
2895.60/2903.11	c      2903         130201       28845         1         183.0000         162.0377     12.94%
2901.18/2908.75	c      2909         130431       28903         1         183.0000         162.0383     12.94%
2907.07/2914.66	c      2915         130723       28969         1         183.0000         162.0392     12.94%
2912.35/2919.97	c      2920         130991       29027         1         183.0000         162.0406     12.93%
2917.74/2925.35	c      2925         131226       29098         1         183.0000         162.0411     12.93%
2923.63/2931.22	c      2931         131461       29185         1         183.0000         162.0425     12.93%
2929.01/2936.66	c      2937         131721       29245         1         183.0000         162.0434     12.93%
2934.10/2941.74	c      2942         131905       29313         1         183.0000         162.0440     12.93%
2939.69/2947.32	c      2947         132124       29374         1         183.0000         162.0458     12.93%
2945.07/2952.72	c      2953         132316       29448         1         183.0000         162.0467     12.93%
2950.57/2958.28	c      2958         132601       29533         1         183.0000         162.0472     12.93%
2956.16/2963.83	c      2964         132841       29619         1         183.0000         162.0490     12.93%
2961.84/2969.50	c      2970         133104       29682         1         183.0000         162.0495     12.93%
2967.33/2975.03	c      2975         133371       29735         1         183.0000         162.0498     12.93%
2972.42/2980.15	c      2980         133581       29817         1         183.0000         162.0508     12.93%
2978.30/2986.08	c      2986         133882       29860         1         183.0000         162.0516     12.93%
2983.40/2991.12	c      2991         134121       29923         1         183.0000         162.0520     12.93%
2988.97/2996.77	c      2997         134301       29977         1         183.0000         162.0534     12.93%
2994.27/3002.03	c      3002         134651       30027         1         183.0000         162.0539     12.93%
2999.55/3007.33	c      3007         134901       30091         1         183.0000         162.0543     12.93%
3004.74/3012.58	c      3013         135196       30198         1         183.0000         162.0549     12.92%
3009.82/3017.66	c      3018         135423       30269         1         183.0000         162.0555     12.92%
3015.41/3023.21	c      3023         135801       30321         1         183.0000         162.0559     12.92%
3020.50/3028.39	c      3028         136037       30391         1         183.0000         162.0568     12.92%
3026.19/3034.04	c      3034         136425       30465         1         183.0000         162.0570     12.92%
3032.17/3040.03	c      3040         136781       30535         1         183.0000         162.0579     12.92%
3037.55/3045.48	c      3045         137094       30586         1         183.0000         162.0589     12.92%
3043.25/3051.14	c      3051         137440       30672         1         183.0000         162.0593     12.92%
3048.73/3056.69	c      3057         137681       30725         1         183.0000         162.0600     12.92%
3053.82/3061.72	c      3062         137891       30789         1         183.0000         162.0616     12.92%
3059.01/3066.91	c      3067         138082       30852         1         183.0000         162.0620     12.92%
3064.79/3072.75	c      3073         138412       30888         1         183.0000         162.0624     12.92%
3069.98/3077.93	c      3078         138631       30967         1         183.0000         162.0631     12.92%
3075.17/3083.16	c      3083         138889       31031         1         183.0000         162.0637     12.92%
3080.45/3088.49	c      3088         139106       31108         1         183.0000         162.0648     12.92%
3085.54/3093.52	c      3094         139301       31153         1         183.0000         162.0658     12.92%
3090.64/3098.61	c      3099         139521       31227         1         183.0000         162.0667     12.92%
3096.22/3104.25	c      3104         139758       31288         1         183.0000         162.0671     12.92%
3102.11/3110.15	c      3110         140211       31309         1         183.0000         162.0676     12.92%
3107.19/3115.22	c      3115         140441       31357         1         183.0000         162.0678     12.92%
3112.48/3120.54	c      3121         140802       31394         1         183.0000         162.0680     12.92%
3117.77/3125.87	c      3126         141029       31471         1         183.0000         162.0687     12.92%
3123.75/3131.86	c      3132         141339       31543         1         183.0000         162.0691     12.91%
3129.34/3137.40	c      3137         141591       31593         1         183.0000         162.0698     12.91%
3135.43/3143.59	c      3144         141901       31673         1         183.0000         162.0702     12.91%
3140.81/3148.91	c      3149         142189       31723         1         183.0000         162.0706     12.91%
3146.10/3154.23	c      3154         142514       31768         1         183.0000         162.0713     12.91%
3151.59/3159.74	c      3160         142867       31807         1         183.0000         162.0714     12.91%
3157.17/3165.35	c      3165         143202       31842         1         183.0000         162.0721     12.91%
3162.57/3170.75	c      3171         143461       31895         1         183.0000         162.0732     12.91%
3167.76/3175.92	c      3176         143731       31935         1         183.0000         162.0738     12.91%
3172.74/3180.96	c      3181         143931       31995         1         183.0000         162.0752     12.91%
3177.73/3185.97	c      3186         144141       32047         1         183.0000         162.0762     12.91%
3183.71/3191.91	c      3192         144395       32121         1         183.0000         162.0775     12.91%
3189.10/3197.35	c      3197         144661       32203         1         183.0000         162.0787     12.91%
3195.09/3203.33	c      3203         145024       32276         1         183.0000         162.0789     12.91%
3200.08/3208.37	c      3208         145271       32307         1         183.0000         162.0795     12.91%
3205.17/3213.48	c      3213         145671       32353         1         183.0000         162.0800     12.91%
3210.65/3218.98	c      3219         146051       32381         1         183.0000         162.0803     12.91%
3216.63/3224.98	c      3225         146317       32439         1         183.0000         162.0808     12.91%
3222.22/3230.59	c      3231         146569       32483         1         183.0000         162.0815     12.91%
3227.81/3236.17	c      3236         146921       32561         1         183.0000         162.0823     12.91%
3233.10/3241.45	c      3241         147201       32631         1         183.0000         162.0836     12.90%
3238.08/3246.48	c      3246         147392       32696         1         183.0000         162.0845     12.90%
3244.07/3252.47	c      3252         147730       32764         1         183.0000         162.0850     12.90%
3249.26/3257.66	c      3258         148011       32811         1         183.0000         162.0858     12.90%
3254.35/3262.71	c      3263         148232       32882         1         183.0000         162.0864     12.90%
3259.43/3267.88	c      3268         148451       32925         1         183.0000         162.0865     12.90%
3265.12/3273.55	c      3274         148744       32990         1         183.0000         162.0873     12.90%
3270.40/3278.81	c      3279         148987       33035         1         183.0000         162.0877     12.90%
3275.80/3284.23	c      3284         149271       33085         1         183.0000         162.0883     12.90%
3281.18/3289.60	c      3290         149581       33127         1         183.0000         162.0889     12.90%
3286.87/3295.33	c      3295         149871       33187         1         183.0000         162.0898     12.90%
3292.66/3301.14	c      3301         150215       33245         1         183.0000         162.0913     12.90%
3297.84/3306.37	c      3306         150431       33301         1         183.0000         162.0919     12.90%
3303.53/3312.00	c      3312         150728       33368         1         183.0000         162.0923     12.90%
3309.11/3317.67	c      3318         151011       33421         1         183.0000         162.0933     12.90%
3314.91/3323.47	c      3323         151288       33492         1         183.0000         162.0943     12.90%
3320.09/3328.66	c      3329         151623       33541         1         183.0000         162.0945     12.90%
3325.59/3334.18	c      3334         151891       33583         1         183.0000         162.0960     12.90%
3331.07/3339.62	c      3340         152158       33652         1         183.0000         162.0966     12.90%
3336.56/3345.13	c      3345         152371       33723         1         183.0000         162.0971     12.90%
3341.94/3350.53	c      3351         152544       33788         1         183.0000         162.0987     12.89%
3347.53/3356.11	c      3356         152797       33853         1         183.0000         162.0995     12.89%
3353.12/3361.77	c      3362         153071       33937         1         183.0000         162.1001     12.89%
3358.51/3367.19	c      3367         153351       34001         1         183.0000         162.1009     12.89%
3363.69/3372.32	c      3372         153574       34046         1         183.0000         162.1013     12.89%
3368.98/3377.67	c      3378         153795       34113         1         183.0000         162.1021     12.89%
3374.26/3382.99	c      3383         154040       34158         1         183.0000         162.1025     12.89%
3379.55/3388.25	c      3388         154240       34210         1         183.0000         162.1039     12.89%
3384.94/3393.65	c      3394         154468       34268         1         183.0000         162.1047     12.89%
3390.33/3399.06	c      3399         154741       34323         1         183.0000         162.1052     12.89%
3395.81/3404.59	c      3405         154971       34381         1         183.0000         162.1062     12.89%
3401.50/3410.26	c      3410         155211       34441         1         183.0000         162.1068     12.89%
3406.69/3415.43	c      3415         155521       34479         1         183.0000         162.1075     12.89%
3412.28/3421.02	c      3421         155835       34551         1         183.0000         162.1081     12.89%
3417.96/3426.74	c      3427         156181       34669         1         183.0000         162.1084     12.89%
3423.06/3431.87	c      3432         156441       34753         1         183.0000         162.1095     12.89%
3428.94/3437.72	c      3438         156672       34836         1         183.0000         162.1103     12.89%
3433.93/3442.77	c      3443         156983       34891         1         183.0000         162.1113     12.89%
3439.82/3448.69	c      3449         157288       34984         1         183.0000         162.1116     12.89%
3445.80/3454.64	c      3455         157681       35039         1         183.0000         162.1122     12.88%
3450.89/3459.77	c      3460         157951       35103         1         183.0000         162.1130     12.88%
3456.18/3465.03	c      3465         158245       35175         1         183.0000         162.1134     12.88%
3461.97/3470.82	c      3471         158531       35257         1         183.0000         162.1145     12.88%
3467.55/3476.49	c      3476         158891       35359         1         183.0000         162.1157     12.88%
3472.64/3481.54	c      3482         159131       35403         1         183.0000         162.1163     12.88%
3478.43/3487.37	c      3487         159366       35476         1         183.0000         162.1175     12.88%
3483.41/3492.39	c      3492         159671       35543         1         183.0000         162.1186     12.88%
3489.00/3497.95	c      3498         159940       35632         1         183.0000         162.1188     12.88%
3494.79/3503.75	c      3504         160211       35701         1         183.0000         162.1199     12.88%
3499.98/3508.96	c      3509         160463       35761         1         183.0000         162.1206     12.88%
3504.96/3513.97	c      3514         160731       35837         1         183.0000         162.1211     12.88%
3510.75/3519.71	c      3520         160960       35912         1         183.0000         162.1218     12.88%
3516.24/3525.27	c      3525         161191       35979         1         183.0000         162.1226     12.88%
3521.33/3530.38	c      3530         161541       36049         1         183.0000         162.1231     12.88%
3526.61/3535.61	c      3536         161961       36093         1         183.0000         162.1235     12.88%
3531.90/3540.98	c      3541         162223       36157         1         183.0000         162.1239     12.88%
3537.09/3546.11	c      3546         162549       36213         1         183.0000         162.1244     12.88%
3542.17/3551.25	c      3551         162951       36303         1         183.0000         162.1248     12.88%
3547.77/3556.88	c      3557         163267       36355         1         183.0000         162.1253     12.88%
3553.65/3562.76	c      3563         163541       36457         1         183.0000         162.1261     12.88%
3559.24/3568.34	c      3568         163873       36529         1         183.0000         162.1263     12.87%
3564.92/3574.09	c      3574         164291       36597         1         183.0000         162.1268     12.87%
3570.01/3579.20	c      3579         164646       36670         1         183.0000         162.1276     12.87%
3575.19/3584.32	c      3584         164961       36731         1         183.0000         162.1281     12.87%
3580.17/3589.39	c      3589         165321       36797         1         183.0000         162.1282     12.87%
3585.86/3595.00	c      3595         165621       36851         1         183.0000         162.1291     12.87%
3590.95/3600.14	c SCIP Status        : c solving was interrupted [hard time limit reached]
3590.95/3600.14	c Total Time         : 3600.14
3590.95/3600.14	c   solving          : 3600.14
3590.95/3600.14	c   presolving       : 0.02 (included in solving)
3590.95/3600.14	c B&B Tree           :
3590.95/3600.14	c   nodes (total)    : 1
3590.95/3600.14	c Solution           :
3590.95/3600.14	c   Solutions found  : 14
3590.95/3600.14	c   Primal Bound     : +1.83000000000000e+02
3590.95/3600.14	c   Dual Bound       : +1.62129673525316e+02
3590.95/3600.14	c Gap                : 12.87261 %
3590.95/3600.14	c * Warning: final gap: 1.28726e-01 is greater than SCIPepsilon: 1.00000e-09
3590.95/3600.14	o 183
3590.95/3600.14	s SATISFIABLE
3590.95/3600.14	v x465 x464 x463 -x462 -x461 -x460 -x459 -x458 x457 -x456 x455 -x454 x453 -x452 x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 
3590.95/3600.14	v -x442 -x441 -x440 -x439 -x438 x437 -x436 -x435 -x434 x433 -x432 x431 -x430 -x429 x428 -x427 -x426 -x425 -x424 x423 -x422 -x421 
3590.95/3600.14	v x420 x419 -x418 x417 x416 -x415 -x414 x413 -x412 x411 -x410 x409 -x408 x407 -x406 x405 -x404 -x403 -x402 -x401 x400 -x399 
3590.95/3600.14	v -x398 -x397 -x396 x395 x394 -x393 x392 -x391 -x390 -x389 x388 -x387 -x386 -x385 x384 x383 x382 x381 -x380 -x379 -x378 -x377 
3590.95/3600.14	v -x376 x375 -x374 x373 x372 x371 x370 -x369 -x368 -x367 -x366 x365 x364 -x363 -x362 -x361 -x360 x359 x358 -x357 -x356 x355 x354 
3590.95/3600.14	v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 x343 -x342 x341 x340 x339 -x338 -x337 x336 -x335 x334 -x333 x332 
3590.95/3600.14	v -x331 x330 x329 x328 -x327 -x326 -x325 -x324 x323 -x322 -x321 x320 -x319 -x318 -x317 -x316 x315 -x314 x313 -x312 -x311 -x310 
3590.95/3600.14	v -x309 -x308 x307 x306 -x305 x304 -x303 x302 -x301 x300 -x299 -x298 -x297 x296 x295 -x294 -x293 x292 x291 x290 -x289 x288 x287 
3590.95/3600.14	v x286 -x285 x284 -x283 -x282 x281 x280 x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 x271 -x270 -x269 -x268 -x267 x266 -x265 
3590.95/3600.14	v -x264 x263 -x262 -x261 x260 x259 x258 x257 -x256 x255 x254 -x253 -x252 -x251 x250 x249 -x248 x247 -x246 -x245 -x244 x243 -x242 
3590.95/3600.14	v -x241 x240 -x239 x238 -x237 -x236 -x235 -x234 x233 -x232 -x231 -x230 -x229 x228 x227 -x226 x225 x224 x223 x222 x221 -x220 
3590.95/3600.14	v -x219 -x218 x217 -x216 -x215 -x214 -x213 x212 x211 -x210 x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 
3590.95/3600.14	v -x197 -x196 x195 -x194 x193 -x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 x178 -x177 
3590.95/3600.14	v -x176 -x175 -x174 -x173 x172 -x171 x170 -x169 -x168 x167 x166 x165 -x164 x163 x162 x161 -x160 -x159 x158 x157 x156 -x155 -x154 
3590.95/3600.14	v -x153 x152 x151 -x150 -x149 -x148 x147 x146 x145 -x144 -x143 x142 -x141 x140 x139 x138 -x137 -x136 x135 -x134 x133 x132 -x131 
3590.95/3600.14	v -x130 x129 -x128 x127 -x126 -x125 x124 -x123 -x122 -x121 -x120 x119 -x118 x117 x116 x115 -x114 x113 -x112 -x111 x110 x109 
3590.95/3600.14	v x108 x107 -x106 -x105 x104 -x103 x102 -x101 x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 x91 -x90 -x89 x88 x87 -x86 x85 -x84 
3590.95/3600.14	v -x83 x82 x81 x80 x79 x78 -x77 -x76 -x75 x74 x73 x72 x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 x57 x56 
3590.95/3600.14	v x55 -x54 -x53 -x52 -x51 x50 x49 x48 x47 x46 x45 -x44 -x43 x42 -x41 x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 
3590.95/3600.14	v x28 -x27 x26 -x25 -x24 -x23 x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 x10 x9 -x8 x7 x6 -x5 -x4 -x3 x2 -x1 

Verifier Data

OK	183

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=843503, runsolver pid=843494

[startup+0.100059 s]*
/proc/loadavg: 1.11 1.27 2.23 8/268 843514
/proc/meminfo: memFree=123589148/131524600 swapFree=131071996/131071996
[pid=843503] ppid=843494 vsize=112492 memory=30164 CPUtime=0.09 cores=1,3
/proc/843503/stat : 843503 (fscip) S 843494 843503 843431 0 -1 1077936128 4478 0 0 0 9 0 0 0 20 0 3 0 160617520 115191808 7541 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
/proc/843503/statm: 28123 7541 2894 3032 0 10425 0
[pid=843503/tid=843509] ppid=843494 vsize=112492 memory=4026531971 CPUtime=0.07 cores=1,3
/proc/843503/task/843509/stat : 843509 (fscip) R 843494 843503 843431 0 -1 4194368 2017 0 0 0 7 0 0 0 20 0 3 0 160617523 115191808 7541 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
[pid=843503/tid=843513] ppid=843494 vsize=112492 memory=14907 CPUtime=0 cores=1,3
/proc/843503/task/843513/stat : 843513 (fscip) S 843494 843503 843431 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160617523 115191808 7541 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 112492 KiB
Current children cumulated memory: 30164 KiB

[startup+0.205979 s]*
/proc/loadavg: 1.11 1.27 2.23 7/268 843514
/proc/meminfo: memFree=123580396/131524600 swapFree=131071996/131071996
[pid=843503] ppid=843494 vsize=112492 memory=30428 CPUtime=0.2 cores=1,3
/proc/843503/stat : 843503 (fscip) S 843494 843503 843431 0 -1 1077936128 4546 0 0 0 20 0 0 0 20 0 3 0 160617520 115191808 7607 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
/proc/843503/statm: 28123 7607 2894 3032 0 10521 0
[pid=843503/tid=843509] ppid=843494 vsize=112492 memory=4782652875487838339 CPUtime=0.17 cores=1,3
/proc/843503/task/843509/stat : 843509 (fscip) R 843494 843503 843431 0 -1 4194368 2085 0 0 0 17 0 0 0 20 0 3 0 160617523 115191808 7607 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
[pid=843503/tid=843513] ppid=843494 vsize=112492 memory=14907 CPUtime=0 cores=1,3
/proc/843503/task/843513/stat : 843513 (fscip) S 843494 843503 843431 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160617523 115191808 7607 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112492 KiB
Current children cumulated memory: 30428 KiB

[startup+0.305754 s]*
/proc/loadavg: 1.11 1.27 2.23 7/268 843514
/proc/meminfo: memFree=123570384/131524600 swapFree=131071996/131071996
[pid=843503] ppid=843494 vsize=112492 memory=30428 CPUtime=0.3 cores=1,3
/proc/843503/stat : 843503 (fscip) S 843494 843503 843431 0 -1 1077936128 4551 0 0 0 30 0 0 0 20 0 3 0 160617520 115191808 7607 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
/proc/843503/statm: 28123 7607 2894 3032 0 10521 0
[pid=843503/tid=843509] ppid=843494 vsize=112492 memory=-6081664252234611559 CPUtime=0.27 cores=1,3
/proc/843503/task/843509/stat : 843509 (fscip) R 843494 843503 843431 0 -1 4194368 2090 0 0 0 27 0 0 0 20 0 3 0 160617523 115191808 7607 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
[pid=843503/tid=843513] ppid=843494 vsize=112492 memory=0 CPUtime=0 cores=1,3
/proc/843503/task/843513/stat : 843513 (fscip) S 843494 843503 843431 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160617523 115191808 7607 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 112492 KiB
Current children cumulated memory: 30428 KiB

[startup+0.70021 s]
/proc/loadavg: 1.11 1.27 2.23 9/268 843514
/proc/meminfo: memFree=123542892/131524600 swapFree=131071996/131071996
[pid=843503] ppid=843494 vsize=121448 memory=51608 CPUtime=0.68 cores=1,3
/proc/843503/stat : 843503 (fscip) S 843494 843503 843431 0 -1 1077936128 9841 0 0 0 67 1 0 0 20 0 3 0 160617520 124362752 12902 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
/proc/843503/statm: 30362 12902 2910 3032 0 15855 0
[pid=843503/tid=843509] ppid=843494 vsize=121448 memory=0 CPUtime=0.66 cores=1,3
/proc/843503/task/843509/stat : 843509 (fscip) R 843494 843503 843431 0 -1 4194368 7380 0 0 0 65 1 0 0 20 0 3 0 160617523 124362752 12902 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
[pid=843503/tid=843513] ppid=843494 vsize=121448 memory=0 CPUtime=0 cores=1,3
/proc/843503/task/843513/stat : 843513 (fscip) S 843494 843503 843431 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160617523 124362752 12902 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 121448 KiB
Current children cumulated memory: 51608 KiB

[startup+1.50023 s]
/proc/loadavg: 1.34 1.32 2.24 8/268 843514
/proc/meminfo: memFree=123351116/131524600 swapFree=131071996/131071996
[pid=843503] ppid=843494 vsize=202344 memory=121584 CPUtime=1.49 cores=1,3
/proc/843503/stat : 843503 (fscip) S 843494 843503 843431 0 -1 1077936128 36136 0 0 0 144 5 0 0 20 0 3 0 160617520 207200256 30366 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
/proc/843503/statm: 50586 30396 2910 3032 0 33483 0
[pid=843503/tid=843509] ppid=843494 vsize=202344 memory=0 CPUtime=1.46 cores=1,3
/proc/843503/task/843509/stat : 843509 (fscip) R 843494 843503 843431 0 -1 4194368 33682 0 0 0 142 4 0 0 20 0 3 0 160617523 207200256 30396 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
[pid=843503/tid=843513] ppid=843494 vsize=202344 memory=0 CPUtime=0 cores=1,3
/proc/843503/task/843513/stat : 843513 (fscip) S 843494 843503 843431 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160617523 207200256 30396 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 202344 KiB
Current children cumulated memory: 121584 KiB

[startup+3.10593 s]
/proc/loadavg: 1.34 1.32 2.24 8/268 843514
/proc/meminfo: memFree=123057956/131524600 swapFree=131071996/131071996
[pid=843503] ppid=843494 vsize=202344 memory=156864 CPUtime=3.09 cores=1,3
/proc/843503/stat : 843503 (fscip) S 843494 843503 843431 0 -1 1077936128 45750 0 0 0 303 6 0 0 20 0 3 0 160617520 207200256 39216 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
/proc/843503/statm: 50586 39216 2910 3032 0 43031 0
[pid=843503/tid=843509] ppid=843494 vsize=202344 memory=2273 CPUtime=3.06 cores=1,3
/proc/843503/task/843509/stat : 843509 (fscip) R 843494 843503 843431 0 -1 4194368 43287 0 0 0 300 6 0 0 20 0 3 0 160617523 207200256 39216 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
[pid=843503/tid=843513] ppid=843494 vsize=202344 memory=0 CPUtime=0 cores=1,3
/proc/843503/task/843513/stat : 843513 (fscip) S 843494 843503 843431 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 160617523 207200256 39216 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 202344 KiB
Current children cumulated memory: 156864 KiB

[startup+6.30016 s]
/proc/loadavg: 1.55 1.36 2.25 8/268 843514
/proc/meminfo: memFree=123056820/131524600 swapFree=131071996/131071996
[pid=843503] ppid=843494 vsize=202344 memory=157260 CPUtime=6.28 cores=1,3
/proc/843503/stat : 843503 (fscip) S 843494 843503 843431 0 -1 1077936128 45793 0 0 0 622 6 0 0 20 0 3 0 160617520 207200256 39315 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
/proc/843503/statm: 50586 39315 2958 3032 0 43031 0
[pid=843503/tid=843509] ppid=843494 vsize=202344 memory=156864 CPUtime=6.25 cores=1,3
/proc/843503/task/843509/stat : 843509 (fscip) R 843494 843503 843431 0 -1 4194368 43302 0 0 0 619 6 0 0 20 0 3 0 160617523 207200256 39315 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
[pid=843503/tid=843513] ppid=843494 vsize=202344 memory=157260 CPUtime=0 cores=1,3
/proc/843503/task/843513/stat : 843513 (fscip) S 843494 843503 843431 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 160617523 207200256 39315 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 202344 KiB
Current children cumulated memory: 157260 KiB

[startup+12.7002 s]
/proc/loadavg: 1.75 1.41 2.26 8/268 843516
/proc/meminfo: memFree=123051512/131524600 swapFree=131071996/131071996
[pid=843503] ppid=843494 vsize=202344 memory=162472 CPUtime=12.66 cores=1,3
/proc/843503/stat : 843503 (fscip) S 843494 843503 843431 0 -1 1077936128 60408 0 0 0 1259 7 0 0 20 0 3 0 160617520 207200256 40618 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
/proc/843503/statm: 50586 40618 2958 3032 0 44024 0
[pid=843503/tid=843509] ppid=843494 vsize=202344 memory=157416 CPUtime=12.62 cores=1,3
/proc/843503/task/843509/stat : 843509 (fscip) R 843494 843503 843431 0 -1 4194368 57866 0 0 0 1256 6 0 0 20 0 3 0 160617523 207200256 40618 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
[pid=843503/tid=843513] ppid=843494 vsize=202344 memory=156864 CPUtime=0 cores=1,3
/proc/843503/task/843513/stat : 843513 (fscip) S 843494 843503 843431 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 160617523 207200256 40618 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 202344 KiB
Current children cumulated memory: 162472 KiB

[startup+25.5002 s]
/proc/loadavg: 2.10 1.49 2.28 8/267 843517
/proc/meminfo: memFree=122809928/131524600 swapFree=131071996/131071996
[pid=843503] ppid=843494 vsize=330816 memory=251112 CPUtime=25.41 cores=1,3
/proc/843503/stat : 843503 (fscip) S 843494 843503 843431 0 -1 1077936128 135965 0 0 0 2528 13 0 0 20 0 3 0 160617520 338755584 62778 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
/proc/843503/statm: 82704 62778 2958 3032 0 66696 0
[pid=843503/tid=843509] ppid=843494 vsize=330816 memory=251104 CPUtime=25.39 cores=1,3
/proc/843503/task/843509/stat : 843509 (fscip) R 843494 843503 843431 0 -1 4194368 133031 0 0 0 2526 13 0 0 20 0 3 0 160617523 338755584 62778 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
[pid=843503/tid=843513] ppid=843494 vsize=330816 memory=251112 CPUtime=0 cores=1,3
/proc/843503/task/843513/stat : 843513 (fscip) S 843494 843503 843431 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 160617523 338755584 62778 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 330816 KiB
Current children cumulated memory: 251112 KiB

[startup+51.106 s]
/proc/loadavg: 2.90 1.75 2.34 8/267 843522
/proc/meminfo: memFree=122785440/131524600 swapFree=131071996/131071996
[pid=843503] ppid=843494 vsize=330816 memory=251192 CPUtime=50.94 cores=1,3
/proc/843503/stat : 843503 (fscip) S 843494 843503 843431 0 -1 1077936128 185706 0 0 0 5078 16 0 0 20 0 3 0 160617520 338755584 62798 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
/proc/843503/statm: 82704 62798 2958 3032 0 66696 0
[pid=843503/tid=843509] ppid=843494 vsize=330816 memory=251112 CPUtime=50.92 cores=1,3
/proc/843503/task/843509/stat : 843509 (fscip) R 843494 843503 843431 0 -1 4194368 182560 0 0 0 5076 16 0 0 20 0 3 0 160617523 338755584 62798 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
[pid=843503/tid=843513] ppid=843494 vsize=330816 memory=251192 CPUtime=0 cores=1,3
/proc/843503/task/843513/stat : 843513 (fscip) S 843494 843503 843431 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 160617523 338755584 62798 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 330816 KiB
Current children cumulated memory: 251192 KiB

[startup+102.3 s]
/proc/loadavg: 3.57 2.11 2.43 8/266 843531
/proc/meminfo: memFree=122642336/131524600 swapFree=131071996/131071996
[pid=843503] ppid=843494 vsize=330816 memory=251204 CPUtime=101.99 cores=1,3
/proc/843503/stat : 843503 (fscip) S 843494 843503 843431 0 -1 1077936128 233813 0 0 0 10180 19 0 0 20 0 3 0 160617520 338755584 62801 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
/proc/843503/statm: 82704 62801 2958 3032 0 66696 0
[pid=843503/tid=843509] ppid=843494 vsize=330816 memory=12508 CPUtime=101.96 cores=1,3
/proc/843503/task/843509/stat : 843509 (fscip) R 843494 843503 843431 0 -1 4194368 230571 0 0 0 10177 19 0 0 20 0 3 0 160617523 338755584 62801 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
[pid=843503/tid=843513] ppid=843494 vsize=330816 memory=251204 CPUtime=0 cores=1,3
/proc/843503/task/843513/stat : 843513 (fscip) S 843494 843503 843431 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 160617523 338755584 62801 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 330816 KiB
Current children cumulated memory: 251204 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 2.52 2.56 8/266 843542
/proc/meminfo: memFree=122477560/131524600 swapFree=131071996/131071996
[pid=843503] ppid=843494 vsize=394304 memory=306600 CPUtime=161.81 cores=1,3
/proc/843503/stat : 843503 (fscip) S 843494 843503 843431 0 -1 1077936128 340476 0 0 0 16154 27 0 0 20 0 3 0 160617520 403767296 76650 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
/proc/843503/statm: 98576 76650 2958 3032 0 80168 0
[pid=843503/tid=843509] ppid=843494 vsize=394304 memory=251232 CPUtime=161.77 cores=1,3
/proc/843503/task/843509/stat : 843509 (fscip) R 843494 843503 843431 0 -1 4194368 337149 0 0 0 16151 26 0 0 20 0 3 0 160617523 403767296 76650 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
[pid=843503/tid=843513] ppid=843494 vsize=394304 memory=11588 CPUtime=0 cores=1,3
/proc/843503/task/843513/stat : 843513 (fscip) S 843494 843503 843431 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 160617523 403767296 76650 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 394304 KiB

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

/proc/843503/statm: 100395 88911 3294 3032 0 90833 0
[pid=843503/tid=843509] ppid=843494 vsize=401580 memory=352476 CPUtime=3453.19 cores=1,3
/proc/843503/task/843509/stat : 843509 (fscip) R 843494 843503 843431 0 -1 4194368 599642 0 0 0 345238 81 0 0 20 0 3 0 160617523 411217920 88911 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
[pid=843503/tid=843513] ppid=843494 vsize=401580 memory=11588 CPUtime=0.01 cores=1,3
/proc/843503/task/843513/stat : 843513 (fscip) S 843494 843503 843431 0 -1 1077936192 134 0 0 0 0 1 0 0 20 0 3 0 160617523 411217920 88911 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
Current children cumulated CPU time: 3453.48 s
Current children cumulated vsize: 401580 KiB
Current children cumulated memory: 355644 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.04 8/265 845313
/proc/meminfo: memFree=122205036/131524600 swapFree=131071996/131071996
[pid=843503] ppid=843494 vsize=401580 memory=356188 CPUtime=3513.34 cores=1,3
/proc/843503/stat : 843503 (fscip) S 843494 843503 843431 0 -1 1077936128 607512 0 0 0 351244 90 0 0 20 0 3 0 160617520 411217920 89047 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
/proc/843503/statm: 100395 89047 3294 3032 0 90833 0
[pid=843503/tid=843509] ppid=843494 vsize=401580 memory=356188 CPUtime=3513.05 cores=1,3
/proc/843503/task/843509/stat : 843509 (fscip) R 843494 843503 843431 0 -1 4194368 602869 0 0 0 351223 82 0 0 20 0 3 0 160617523 411217920 89047 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
[pid=843503/tid=843513] ppid=843494 vsize=401580 memory=356188 CPUtime=0.01 cores=1,3
/proc/843503/task/843513/stat : 843513 (fscip) S 843494 843503 843431 0 -1 1077936192 136 0 0 0 0 1 0 0 20 0 3 0 160617523 411217920 89047 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
Current children cumulated CPU time: 3513.34 s
Current children cumulated vsize: 401580 KiB
Current children cumulated memory: 356188 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.04 8/264 845337
/proc/meminfo: memFree=122202376/131524600 swapFree=131071996/131071996
[pid=843503] ppid=843494 vsize=401580 memory=357064 CPUtime=3573.19 cores=1,3
/proc/843503/stat : 843503 (fscip) S 843494 843503 843431 0 -1 1077936128 609671 0 0 0 357228 91 0 0 20 0 3 0 160617520 411217920 89266 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
/proc/843503/statm: 100395 89266 3294 3032 0 91045 0
[pid=843503/tid=843509] ppid=843494 vsize=401580 memory=0 CPUtime=3572.89 cores=1,3
/proc/843503/task/843509/stat : 843509 (fscip) R 843494 843503 843431 0 -1 4194368 605007 0 0 0 357206 83 0 0 20 0 3 0 160617523 411217920 89266 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
[pid=843503/tid=843513] ppid=843494 vsize=401580 memory=5536 CPUtime=0.01 cores=1,3
/proc/843503/task/843513/stat : 843513 (fscip) S 843494 843503 843431 0 -1 1077936192 138 0 0 0 0 1 0 0 20 0 3 0 160617523 411217920 89266 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
Current children cumulated CPU time: 3573.19 s
Current children cumulated vsize: 401580 KiB
Current children cumulated memory: 357064 KiB

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

# cumulated CPU time of all completed processes:  user=3590.07 s, system=0.924514 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.09 4.04 9/264 845337
/proc/meminfo: memFree=122202424/131524600 swapFree=131071996/131071996
[pid=843503] ppid=843494 vsize=401580 memory=357064 CPUtime=3574.89 cores=1,3
/proc/843503/stat : 843503 (fscip) S 843494 843503 843431 0 -1 1077936128 609671 0 0 0 357398 91 0 0 20 0 3 0 160617520 411217920 89266 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
/proc/843503/statm: 100395 89266 3294 3032 0 91045 0
[pid=843503/tid=843509] ppid=843494 vsize=401580 memory=6720665467230568044 CPUtime=3574.59 cores=1,3
/proc/843503/task/843509/stat : 843509 (fscip) R 843494 843503 843431 0 -1 4194368 605007 0 0 0 357376 83 0 0 20 0 3 0 160617523 411217920 89266 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
[pid=843503/tid=843513] ppid=843494 vsize=401580 memory=-8621784572243001500 CPUtime=0.01 cores=1,3
/proc/843503/task/843513/stat : 843513 (fscip) S 843494 843503 843431 0 -1 1077936192 138 0 0 0 0 1 0 0 20 0 3 0 160617523 411217920 89266 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
Current children cumulated CPU time: 3574.89 s
Current children cumulated vsize: 401580 KiB
Current children cumulated memory: 357064 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.08 4.04 8/264 845338
/proc/meminfo: memFree=122202312/131524600 swapFree=131071996/131071996
[pid=843503] ppid=843494 vsize=401580 memory=357064 CPUtime=3581.27 cores=1,3
/proc/843503/stat : 843503 (fscip) S 843494 843503 843431 0 -1 1077936128 610042 0 0 0 358036 91 0 0 20 0 3 0 160617520 411217920 89266 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
/proc/843503/statm: 100395 89266 3294 3032 0 91045 0
[pid=843503/tid=843509] ppid=843494 vsize=401580 memory=12508 CPUtime=3580.97 cores=1,3
/proc/843503/task/843509/stat : 843509 (fscip) R 843494 843503 843431 0 -1 4194368 605360 0 0 0 358014 83 0 0 20 0 3 0 160617523 411217920 89266 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
[pid=843503/tid=843513] ppid=843494 vsize=401580 memory=5536 CPUtime=0.01 cores=1,3
/proc/843503/task/843513/stat : 843513 (fscip) S 843494 843503 843431 0 -1 1077936192 139 0 0 0 0 1 0 0 20 0 3 0 160617523 411217920 89266 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
Current children cumulated CPU time: 3581.27 s
Current children cumulated vsize: 401580 KiB
Current children cumulated memory: 357064 KiB

[startup+3596.8 s]
/proc/loadavg: 4.07 4.08 4.04 8/264 845338
/proc/meminfo: memFree=122202296/131524600 swapFree=131071996/131071996
[pid=843503] ppid=843494 vsize=401580 memory=357064 CPUtime=3587.65 cores=1,3
/proc/843503/stat : 843503 (fscip) S 843494 843503 843431 0 -1 1077936128 611568 0 0 0 358674 91 0 0 20 0 3 0 160617520 411217920 89266 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
/proc/843503/statm: 100395 89266 3294 3032 0 91045 0
[pid=843503/tid=843509] ppid=843494 vsize=401580 memory=357064 CPUtime=3587.35 cores=1,3
/proc/843503/task/843509/stat : 843509 (fscip) R 843494 843503 843431 0 -1 4194368 606886 0 0 0 358652 83 0 0 20 0 3 0 160617523 411217920 89266 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
[pid=843503/tid=843513] ppid=843494 vsize=401580 memory=2340 CPUtime=0.01 cores=1,3
/proc/843503/task/843513/stat : 843513 (fscip) S 843494 843503 843431 0 -1 1077936192 139 0 0 0 0 1 0 0 20 0 3 0 160617523 411217920 89266 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
Current children cumulated CPU time: 3587.65 s
Current children cumulated vsize: 401580 KiB
Current children cumulated memory: 357064 KiB

[startup+3598.4 s]
/proc/loadavg: 4.07 4.08 4.03 8/264 845338
/proc/meminfo: memFree=122202288/131524600 swapFree=131071996/131071996
[pid=843503] ppid=843494 vsize=401580 memory=357064 CPUtime=3589.24 cores=1,3
/proc/843503/stat : 843503 (fscip) S 843494 843503 843431 0 -1 1077936128 611573 0 0 0 358833 91 0 0 20 0 3 0 160617520 411217920 89266 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
/proc/843503/statm: 100395 89266 3294 3032 0 91045 0
[pid=843503/tid=843509] ppid=843494 vsize=401580 memory=41300 CPUtime=3588.94 cores=1,3
/proc/843503/task/843509/stat : 843509 (fscip) R 843494 843503 843431 0 -1 4194368 606891 0 0 0 358811 83 0 0 20 0 3 0 160617523 411217920 89266 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
[pid=843503/tid=843513] ppid=843494 vsize=401580 memory=41300 CPUtime=0.01 cores=1,3
/proc/843503/task/843513/stat : 843513 (fscip) S 843494 843503 843431 0 -1 1077936192 139 0 0 0 0 1 0 0 20 0 3 0 160617523 411217920 89266 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
Current children cumulated CPU time: 3589.24 s
Current children cumulated vsize: 401580 KiB
Current children cumulated memory: 357064 KiB

[startup+3599.2 s]
/proc/loadavg: 4.07 4.08 4.03 8/264 845338
/proc/meminfo: memFree=122202272/131524600 swapFree=131071996/131071996
[pid=843503] ppid=843494 vsize=401580 memory=357064 CPUtime=3590.04 cores=1,3
/proc/843503/stat : 843503 (fscip) S 843494 843503 843431 0 -1 1077936128 611574 0 0 0 358913 91 0 0 20 0 3 0 160617520 411217920 89266 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
/proc/843503/statm: 100395 89266 3294 3032 0 91045 0
[pid=843503/tid=843509] ppid=843494 vsize=401580 memory=11588 CPUtime=3589.74 cores=1,3
/proc/843503/task/843509/stat : 843509 (fscip) R 843494 843503 843431 0 -1 4194368 606892 0 0 0 358891 83 0 0 20 0 3 0 160617523 411217920 89266 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
[pid=843503/tid=843513] ppid=843494 vsize=401580 memory=12508 CPUtime=0.01 cores=1,3
/proc/843503/task/843513/stat : 843513 (fscip) S 843494 843503 843431 0 -1 1077936192 139 0 0 0 0 1 0 0 20 0 3 0 160617523 411217920 89266 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
Current children cumulated CPU time: 3590.04 s
Current children cumulated vsize: 401580 KiB
Current children cumulated memory: 357064 KiB

[startup+3599.6 s]
/proc/loadavg: 4.07 4.08 4.03 8/264 845338
/proc/meminfo: memFree=122202272/131524600 swapFree=131071996/131071996
[pid=843503] ppid=843494 vsize=401580 memory=357064 CPUtime=3590.45 cores=1,3
/proc/843503/stat : 843503 (fscip) S 843494 843503 843431 0 -1 1077936128 611574 0 0 0 358953 92 0 0 20 0 3 0 160617520 411217920 89266 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
/proc/843503/statm: 100395 89266 3294 3032 0 91045 0
[pid=843503/tid=843509] ppid=843494 vsize=401580 memory=5536 CPUtime=3590.14 cores=1,3
/proc/843503/task/843509/stat : 843509 (fscip) R 843494 843503 843431 0 -1 4194368 606892 0 0 0 358931 83 0 0 20 0 3 0 160617523 411217920 89266 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
[pid=843503/tid=843513] ppid=843494 vsize=401580 memory=6720664367718940267 CPUtime=0.01 cores=1,3
/proc/843503/task/843513/stat : 843513 (fscip) S 843494 843503 843431 0 -1 1077936192 139 0 0 0 0 1 0 0 20 0 3 0 160617523 411217920 89266 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
Current children cumulated CPU time: 3590.45 s
Current children cumulated vsize: 401580 KiB
Current children cumulated memory: 357064 KiB

[startup+3600 s]*
/proc/loadavg: 4.07 4.08 4.03 8/264 845340
/proc/meminfo: memFree=122202328/131524600 swapFree=131071996/131071996
[pid=843503] ppid=843494 vsize=401580 memory=357064 CPUtime=3590.85 cores=1,3
/proc/843503/stat : 843503 (fscip) R 843494 843503 843431 0 -1 1077936128 611574 0 0 0 358993 92 0 0 20 0 3 0 160617520 411217920 89266 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
/proc/843503/statm: 100395 89266 3294 3032 0 91045 0
[pid=843503/tid=843509] ppid=843494 vsize=401580 memory=6720665467230568044 CPUtime=3590.54 cores=1,3
/proc/843503/task/843509/stat : 843509 (fscip) R 843494 843503 843431 0 -1 4194368 606893 0 0 0 358971 83 0 0 20 0 3 0 160617523 411217920 89266 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
[pid=843503/tid=843513] ppid=843494 vsize=401580 memory=-8621784572243001500 CPUtime=0.01 cores=1,3
/proc/843503/task/843513/stat : 843513 (fscip) S 843494 843503 843431 0 -1 1077936192 139 0 0 0 0 1 0 0 20 0 3 0 160617523 411217920 89266 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
Current children cumulated CPU time: 3590.85 s
Current children cumulated vsize: 401580 KiB
Current children cumulated memory: 357064 KiB

[startup+3600.11 s]
/proc/loadavg: 4.07 4.08 4.03 8/264 845340
/proc/meminfo: memFree=122202328/131524600 swapFree=131071996/131071996
[pid=843503] ppid=843494 vsize=399532 memory=355020 CPUtime=3590.95 cores=1,3
/proc/843503/stat : 843503 (fscip) S 843494 843503 843431 0 -1 1077936128 612197 0 0 0 359003 92 0 0 20 0 3 0 160617520 409120768 88755 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
/proc/843503/statm: 99883 88755 3294 3032 0 90533 0
[pid=843503/tid=843509] ppid=843494 vsize=399532 memory=355644 CPUtime=3590.64 cores=1,3
/proc/843503/task/843509/stat : 843509 (fscip) R 843494 843503 843431 0 -1 4194368 607513 0 0 0 358981 83 0 0 20 0 3 0 160617523 409120768 88755 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
[pid=843503/tid=843513] ppid=843494 vsize=399532 memory=357064 CPUtime=0.01 cores=1,3
/proc/843503/task/843513/stat : 843513 (fscip) S 843494 843503 843431 0 -1 1077936192 139 0 0 0 0 1 0 0 20 0 3 0 160617523 409120768 88755 134679101440 4194304 16613245 140735068354736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53370880 140735068361749 140735068361865 140735068361865 140735068368880 0
Current children cumulated CPU time: 3590.95 s
Current children cumulated vsize: 399532 KiB
Current children cumulated memory: 355020 KiB

Child status: 0

Real time (s): 3600.14
CPU time (s): 3591
CPU user time (s): 3590.07
CPU system time (s): 0.924514
CPU usage (%): 99.7459
Max. virtual memory (cumulated for all children) (KiB): 401580
Max. memory (cumulated for all children) (KiB): 357064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.07
system time used= 0.924514
maximum resident set size= 357064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 612413
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= 12795
involuntary context switches= 1623


# summary of solver processes directly reported to runsolver:
#   pid: 843503
#   total CPU time (s): 3591
#   total CPU user time (s): 3590.07
#   total CPU system time (s): 0.924514

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66455 second user time and 17.1791 second system time

The end

Launcher Data

Begin job on nodeC029 at 2024-07-16 01:01:54
IDJOB=4434644
IDBENCH=147540
IDSOLVER=3064
FILE ID=nodeC029/4434644-1721084501
RUNJOBID= nodeC029-1721084514-843444
SLURM_JOB_ID= 7505574
Free space on /tmp= 890068 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.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-4434644-1721084501/watcher-4434644-1721084501 -o /tmp/evaluation-result-4434644-1721084501/solver-4434644-1721084501 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721084514-843444 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434644-1721084501.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 62fadc113b966a642e431cfbd80ddcdc
RANDOM SEED=34821137

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123665724 kB
MemAvailable:   129672284 kB
Buffers:          375852 kB
Cached:          6395204 kB
SwapCached:            0 kB
Active:           678308 kB
Inactive:        6429524 kB
Active(anon):       1348 kB
Inactive(anon):   373140 kB
Active(file):     676960 kB
Inactive(file):  6056384 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            112200 kB
Writeback:             0 kB
AnonPages:        336768 kB
Mapped:           103908 kB
Shmem:             37720 kB
KReclaimable:     225724 kB
Slab:             346508 kB
SReclaimable:     225724 kB
SUnreclaim:       120784 kB
KernelStack:        3952 kB
PageTables:         9776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     666832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60448 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 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:      279252 kB
DirectMap2M:    36194304 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 889956 MiB
End job on nodeC029 at 2024-07-16 02:01:54