Trace number 4463982

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-30SAT186 3589.75 3598.16

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
MD5SUM79a11fcf881101c51e0b67ee01609c80
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 benchmark179
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 variables470
Total number of constraints470
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 constraints470
Minimum length of a constraint4
Maximum length of a constraint20
Number of terms in the objective function 470
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 470
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 470
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: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.4.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01	c Default LC presolving (default).
0.00/0.01	c ** Before presolving: virtualMemUsedAtLc = 24432640, getVmSize() = 24432640, SCIPgetMemUsed() = 2305693, SCIPgetMemTotal() = 2848133, SCIPgetMemExternEstim() = 1048576
0.00/0.01	c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.06	c ** Estimated virtualMemUsedAtSolver = 17952768, getVmSize() = 29425664, SCIPgetMemUsed() = 3279096, SCIPgetMemTotal() = 6482856, SCIPgetMemExternEstim() = 1048576
0.00/0.06	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.06	c Original Problem   :
0.00/0.06	c   Problem name     : instance-4463982-1722378596
0.00/0.06	c   Variables        : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06	c   Constraints      : 470
0.00/0.06	c   Objective sense  : minimize
0.00/0.06	c Presolved Problem  :
0.00/0.06	c   Variables        : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06	c   Constraints      : 554
0.00/0.06	c Constraints        : Number
0.00/0.06	c   knapsack         : 426 
0.00/0.06	c   setppc           : 110 
0.00/0.06	c   logicor          : 18 
0.00/0.06	c ** Instance transfer method used: 0
0.00/0.07	c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.08	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.08	c                                Nodes    Active                                            
0.00/0.08	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.10/0.14	c *       0              0           1         1         227.0000                -          -
0.10/0.14	c *       0              0           1         1         207.0000                -          -
6.67/6.71	c         7              3           2         1         207.0000         162.9688     27.02%
12.26/12.30	c        12             10           9         1         207.0000         162.9688     27.02%
15.75/15.85	c *      16             14          13         1         206.0000         162.9688     26.40%
15.75/15.85	c *      16             14          13         1         201.0000         162.9688     23.34%
15.75/15.87	c *      16             14          13         1         200.0000         162.9688     22.72%
15.75/15.87	c *      16             14          13         1         199.0000         162.9688     22.11%
18.25/18.30	c        18             79          78         1         199.0000         162.9688     22.11%
19.15/19.25	c *      19             79          78         1         198.0000         162.9688     21.50%
19.15/19.28	c *      19             79          78         1         197.0000         162.9688     20.88%
21.24/21.36	c *      21            118         117         1         195.0000         162.9688     19.65%
21.24/21.37	c *      21            132         131         1         194.0000         162.9688     19.04%
23.24/23.39	c        23            179         178         1         194.0000         162.9688     19.04%
29.13/29.30	c        29            275         274         1         194.0000         162.9688     19.04%
34.41/34.55	c        35            346         345         1         194.0000         162.9688     19.04%
39.70/39.89	c        40            452         451         1         194.0000         162.9688     19.04%
45.09/45.29	c        45            564         563         1         194.0000         162.9880     19.03%
50.28/50.47	c        50            666         665         1         194.0000         162.9880     19.03%
55.46/55.60	c        56            795         794         1         194.0000         162.9880     19.03%
60.55/60.78	c        61            924         923         1         194.0000         162.9880     19.03%
69.74/69.91	c        70           1051           1         1         194.0000         163.0493     18.98%
75.02/75.21	c        75           1064          14         1         194.0000         163.2939     18.80%
81.01/81.21	c        81           1156         106         1         194.0000         163.2939     18.80%
86.19/86.41	c        86           1371         321         1         194.0000         163.3637     18.75%
87.69/87.96	c *      88           1371         321         1         191.0000         163.3637     16.92%
92.89/93.19	c        93           1563         431         1         191.0000         163.4081     16.89%
98.56/98.80	c        99           1944         540         1         191.0000         163.6125     16.74%
103.76/104.06	c       104           2367         677         1         191.0000         163.6125     16.74%
108.94/109.21	c       109           2641         767         1         191.0000         163.6412     16.72%
114.03/114.36	c       114           2971         877         1         191.0000         163.6821     16.69%
119.02/119.39	c       119           3171         965         1         191.0000         163.7247     16.66%
124.51/124.80	c       125           3472        1036         1         191.0000         163.7316     16.65%
129.80/130.15	c       130           3901        1229         1         191.0000         163.7529     16.64%
135.69/136.06	c       136           4241        1341         1         191.0000         163.7853     16.62%
141.46/141.81	c       142           4501        1431         1         191.0000         163.7996     16.61%
147.35/147.75	c       148           4903        1541         1         191.0000         163.8253     16.59%
152.93/153.30	c       153           5131        1613         1         191.0000         163.8470     16.57%
158.32/158.77	c       159           5351        1701         1         191.0000         163.8679     16.56%
163.51/163.94	c       164           5591        1781         1         191.0000         163.8845     16.55%
168.61/169.06	c       169           5824        1866         1         191.0000         163.9008     16.53%
174.38/174.84	c       175           6324        1966         1         191.0000         163.9028     16.53%
179.58/180.10	c       180           6581        2049         1         191.0000         163.9390     16.51%
184.86/185.32	c       185           6854        2122         1         191.0000         163.9747     16.48%
186.16/186.63	c *     187           6874        2134         1         190.0000         163.9768     15.87%
186.16/186.64	c *     187           6874        2134         1         189.0000         163.9768     15.26%
190.05/190.59	c       191           6944        1858         1         189.0000         163.9822     15.26%
195.34/195.85	c       196           7044        1900         1         189.0000         163.9887     15.25%
201.22/201.78	c       202           7274        1954         1         189.0000         163.9952     15.25%
206.41/206.97	c       207           7540        2012         1         189.0000         164.0110     15.24%
211.51/212.09	c       212           7691        2041         1         189.0000         164.0233     15.23%
217.19/217.70	c       218           7951        2109         1         189.0000         164.0265     15.23%
222.49/223.04	c       223           8151        2163         1         189.0000         164.0275     15.22%
227.86/228.40	c       228           8254        2220         1         189.0000         164.0315     15.22%
233.46/234.09	c       234           8531        2275         1         189.0000         164.0367     15.22%
238.83/239.46	c       239           8713        2357         1         189.0000         164.0415     15.21%
243.92/244.55	c       245           9020        2438         1         189.0000         164.0449     15.21%
249.31/249.94	c       250           9164        2514         1         189.0000         164.0493     15.21%
254.89/255.58	c       256           9286        2588         1         189.0000         164.0576     15.20%
260.58/261.24	c       261           9471        2649         1         189.0000         164.0730     15.19%
265.96/266.65	c       267           9671        2701         1         189.0000         164.0832     15.19%
271.95/272.62	c       273           9944        2764         1         189.0000         164.0926     15.18%
277.83/278.58	c       279          10103        2819         1         189.0000         164.0959     15.18%
283.62/284.35	c       284          10301        2875         1         189.0000         164.1016     15.17%
289.00/289.77	c       290          10491        2943         1         189.0000         164.1198     15.16%
294.09/294.84	c       295          10694        2994         1         189.0000         164.1294     15.15%
299.59/300.35	c       300          11018        3074         1         189.0000         164.1335     15.15%
305.29/306.02	c       306          11294        3152         1         189.0000         164.1364     15.15%
310.37/311.13	c       311          11584        3218         1         189.0000         164.1473     15.14%
315.44/316.22	c       316          11821        3285         1         189.0000         164.1578     15.13%
320.83/321.69	c       322          11974        3340         1         189.0000         164.1640     15.13%
326.34/327.18	c       327          12241        3403         1         189.0000         164.1674     15.13%
331.60/332.42	c       332          12484        3442         1         189.0000         164.1713     15.12%
337.49/338.36	c       338          12746        3530         1         189.0000         164.1736     15.12%
342.87/343.72	c       344          12977        3587         1         189.0000         164.1779     15.12%
347.97/348.82	c       349          13263        3643         1         189.0000         164.1864     15.11%
353.17/354.09	c       354          13551        3699         1         189.0000         164.2014     15.10%
359.04/359.93	c       360          13744        3776         1         189.0000         164.2034     15.10%
364.32/365.26	c       365          13890        3834         1         189.0000         164.2056     15.10%
370.01/370.99	c       371          14204        3898         1         189.0000         164.2189     15.09%
375.11/376.06	c       376          14444        3940         1         189.0000         164.2230     15.09%
380.09/381.08	c       381          14654        3990         1         189.0000         164.2276     15.08%
385.68/386.67	c       387          14881        4037         1         189.0000         164.2339     15.08%
390.86/391.85	c       392          15051        4083         1         189.0000         164.2388     15.08%
396.06/397.03	c       397          15160        4128         1         189.0000         164.2432     15.07%
402.15/403.14	c       403          15374        4180         1         189.0000         164.2467     15.07%
407.31/408.35	c       408          15573        4213         1         189.0000         164.2487     15.07%
413.01/414.03	c       414          15910        4292         1         189.0000         164.2523     15.07%
418.78/419.85	c       420          16109        4377         1         189.0000         164.2590     15.06%
424.37/425.41	c       425          16271        4441         1         189.0000         164.2679     15.06%
430.75/431.87	c       432          16554        4496         1         189.0000         164.2733     15.05%
436.05/437.13	c       437          16764        4558         1         189.0000         164.2807     15.05%
441.04/442.18	c       442          17041        4603         1         189.0000         164.2869     15.04%
446.21/447.39	c       447          17281        4671         1         189.0000         164.2893     15.04%
451.80/452.94	c       453          17452        4748         1         189.0000         164.2961     15.04%
456.90/458.10	c       458          17715        4801         1         189.0000         164.3014     15.03%
462.37/463.51	c       464          17956        4866         1         189.0000         164.3021     15.03%
467.87/469.08	c       469          18198        4950         1         189.0000         164.3053     15.03%
473.05/474.22	c       474          18351        5005         1         189.0000         164.3091     15.03%
478.63/479.86	c       480          18624        5100         1         189.0000         164.3177     15.02%
483.93/485.17	c       485          18771        5151         1         189.0000         164.3244     15.02%
489.51/490.71	c       491          18904        5232         1         189.0000         164.3275     15.01%
494.92/496.19	c       496          19194        5320         1         189.0000         164.3314     15.01%
501.09/502.34	c       502          19424        5388         1         189.0000         164.3358     15.01%
507.07/508.38	c       508          19624        5466         1         189.0000         164.3448     15.00%
512.56/513.82	c       514          19801        5523         1         189.0000         164.3532     15.00%
517.76/519.05	c       519          20001        5593         1         189.0000         164.3542     15.00%
523.64/524.90	c       525          20221        5675         1         189.0000         164.3608     14.99%
529.02/530.38	c       530          20394        5742         1         189.0000         164.3660     14.99%
534.82/536.17	c       536          20574        5808         1         189.0000         164.3725     14.98%
540.40/541.72	c       542          20838        5850         1         189.0000         164.3761     14.98%
545.98/547.31	c       547          21032        5904         1         189.0000         164.3794     14.98%
550.98/552.37	c       552          21321        5955         1         189.0000         164.3822     14.98%
556.57/557.91	c       558          21521        6031         1         189.0000         164.3897     14.97%
561.77/563.14	c       563          21721        6089         1         189.0000         164.3954     14.97%
567.54/568.97	c       569          21958        6154         1         189.0000         164.3993     14.96%
572.83/574.25	c       574          22161        6221         1         189.0000         164.4032     14.96%
578.11/579.57	c       580          22354        6284         1         189.0000         164.4063     14.96%
584.00/585.49	c       585          22594        6346         1         189.0000         164.4123     14.95%
590.09/591.57	c       592          22914        6410         1         189.0000         164.4173     14.95%
595.18/596.68	c       597          23084        6468         1         189.0000         164.4228     14.95%
601.37/602.86	c       603          23241        6537         1         189.0000         164.4261     14.95%
607.25/608.75	c       609          23398        6604         1         189.0000         164.4289     14.94%
612.65/614.19	c       614          23661        6671         1         189.0000         164.4339     14.94%
618.64/620.19	c       620          23904        6748         1         189.0000         164.4349     14.94%
624.01/625.55	c       626          24121        6795         1         189.0000         164.4367     14.94%
630.10/631.65	c       632          24264        6868         1         189.0000         164.4390     14.94%
635.29/636.88	c       637          24464        6934         1         189.0000         164.4407     14.94%
640.68/642.20	c       642          24751        7003         1         189.0000         164.4432     14.93%
646.58/648.16	c       648          24966        7072         1         189.0000         164.4487     14.93%
652.25/653.80	c       654          25238        7108         1         189.0000         164.4510     14.93%
657.74/659.33	c       659          25454        7156         1         189.0000         164.4541     14.93%
663.03/664.60	c       665          25649        7203         1         189.0000         164.4568     14.92%
668.22/669.85	c       670          25781        7259         1         189.0000         164.4614     14.92%
673.20/674.87	c       675          25991        7317         1         189.0000         164.4660     14.92%
678.40/680.06	c       680          26201        7373         1         189.0000         164.4718     14.91%
683.68/685.33	c       685          26358        7448         1         189.0000         164.4745     14.91%
689.57/691.21	c       691          26574        7512         1         189.0000         164.4772     14.91%
695.05/696.74	c       697          26754        7580         1         189.0000         164.4810     14.91%
700.24/701.93	c       702          26894        7644         1         189.0000         164.4838     14.90%
706.12/707.81	c       708          27210        7694         1         189.0000         164.4888     14.90%
712.11/713.86	c       714          27414        7736         1         189.0000         164.4939     14.90%
718.10/719.89	c       720          27611        7795         1         189.0000         164.4987     14.89%
724.18/725.94	c       726          27854        7880         1         189.0000         164.5022     14.89%
729.29/731.04	c       731          28065        7941         1         189.0000         164.5055     14.89%
734.38/736.15	c       736          28381        8019         1         189.0000         164.5071     14.89%
740.26/742.05	c       742          28596        8092         1         189.0000         164.5128     14.88%
746.25/748.05	c       748          28877        8181         1         189.0000         164.5141     14.88%
751.92/753.78	c       754          29111        8251         1         189.0000         164.5171     14.88%
758.22/760.03	c       760          29284        8316         1         189.0000         164.5193     14.88%
763.69/765.51	c       766          29496        8352         1         189.0000         164.5224     14.88%
769.38/771.23	c       771          29667        8431         1         189.0000         164.5262     14.88%
774.47/776.38	c       776          29981        8529         1         189.0000         164.5305     14.87%
780.46/782.35	c       782          30141        8589         1         189.0000         164.5337     14.87%
786.15/788.01	c       788          30470        8676         1         189.0000         164.5355     14.87%
791.84/793.73	c       794          30751        8743         1         189.0000         164.5368     14.87%
797.62/799.51	c       800          30957        8823         1         189.0000         164.5421     14.86%
803.81/805.70	c       806          31261        8875         1         189.0000         164.5452     14.86%
810.20/812.13	c       812          31464        8960         1         189.0000         164.5488     14.86%
815.19/817.19	c       817          31921        9007         1         189.0000         164.5511     14.86%
820.67/822.63	c       823          32151        9081         1         189.0000         164.5529     14.86%
826.55/828.56	c       829          32471        9149         1         189.0000         164.5581     14.85%
831.74/833.77	c       834          32681        9213         1         189.0000         164.5597     14.85%
838.04/840.02	c       840          32921        9277         1         189.0000         164.5629     14.85%
843.42/845.41	c       845          33251        9347         1         189.0000         164.5662     14.85%
848.90/850.90	c       851          33561        9415         1         189.0000         164.5683     14.85%
854.39/856.48	c       856          33781        9489         1         189.0000         164.5720     14.84%
860.38/862.45	c       862          34010        9572         1         189.0000         164.5730     14.84%
865.36/867.48	c       867          34261        9611         1         189.0000         164.5749     14.84%
870.75/872.87	c       873          34514        9664         1         189.0000         164.5780     14.84%
875.95/878.05	c       878          34661        9735         1         189.0000         164.5820     14.84%
881.83/883.94	c       884          34869        9831         1         189.0000         164.5834     14.84%
886.93/889.09	c       889          35191        9939         1         189.0000         164.5847     14.83%
892.40/894.56	c       895          35517       10029         1         189.0000         164.5856     14.83%
898.59/900.79	c       901          35814       10108         1         189.0000         164.5885     14.83%
903.78/905.92	c       906          35969       10173         1         189.0000         164.5906     14.83%
909.27/911.48	c       911          36175       10241         1         189.0000         164.5948     14.83%
914.45/916.63	c       917          36360       10296         1         189.0000         164.5969     14.83%
919.84/922.01	c       922          36584       10378         1         189.0000         164.5984     14.82%
925.83/928.02	c       928          36824       10468         1         189.0000         164.6031     14.82%
931.10/933.34	c       933          37145       10559         1         189.0000         164.6043     14.82%
936.09/938.36	c       938          37511       10621         1         189.0000         164.6066     14.82%
941.98/944.26	c       944          37714       10698         1         189.0000         164.6088     14.82%
947.27/949.53	c       950          37941       10777         1         189.0000         164.6122     14.82%
952.36/954.62	c       955          38161       10855         1         189.0000         164.6162     14.81%
957.76/960.11	c       960          38391       10931         1         189.0000         164.6189     14.81%
963.14/965.44	c       965          38574       11008         1         189.0000         164.6205     14.81%
968.32/970.63	c       971          38807       11075         1         189.0000         164.6237     14.81%
973.31/975.68	c       976          39031       11151         1         189.0000         164.6263     14.81%
978.90/981.29	c       981          39277       11231         1         189.0000         164.6282     14.80%
984.09/986.41	c       986          39461       11319         1         189.0000         164.6298     14.80%
989.18/991.59	c       992          39831       11371         1         189.0000         164.6317     14.80%
994.57/996.94	c       997          40111       11439         1         189.0000         164.6339     14.80%
999.55/1001.97	c      1002          40390       11506         1         189.0000         164.6352     14.80%
1005.75/1008.11	c      1008          40604       11580         1         189.0000         164.6371     14.80%
1010.93/1013.32	c      1013          40801       11625         1         189.0000         164.6403     14.80%
1016.41/1018.85	c      1019          40984       11696         1         189.0000         164.6409     14.80%
1021.81/1024.25	c      1024          41264       11756         1         189.0000         164.6438     14.79%
1027.19/1029.60	c      1030          41551       11811         1         189.0000         164.6461     14.79%
1032.88/1035.39	c      1035          41734       11896         1         189.0000         164.6466     14.79%
1038.58/1041.02	c      1041          41945       11979         1         189.0000         164.6490     14.79%
1043.75/1046.27	c      1046          42191       12053         1         189.0000         164.6505     14.79%
1049.74/1052.24	c      1052          42431       12131         1         189.0000         164.6536     14.79%
1055.13/1057.60	c      1058          42686       12206         1         189.0000         164.6542     14.79%
1060.91/1063.42	c      1063          43071       12309         1         189.0000         164.6550     14.79%
1066.40/1069.01	c      1069          43279       12389         1         189.0000         164.6561     14.78%
1071.89/1074.46	c      1074          43538       12500         1         189.0000         164.6572     14.78%
1077.17/1079.74	c      1080          43771       12563         1         189.0000         164.6603     14.78%
1082.96/1085.52	c      1086          44129       12675         1         189.0000         164.6609     14.78%
1088.14/1090.76	c      1091          44501       12779         1         189.0000         164.6647     14.78%
1093.73/1096.39	c      1096          44781       12863         1         189.0000         164.6667     14.78%
1098.82/1101.40	c      1101          45121       12933         1         189.0000         164.6683     14.78%
1104.31/1106.93	c      1107          45284       13016         1         189.0000         164.6693     14.78%
1109.51/1112.12	c      1112          45550       13102         1         189.0000         164.6724     14.77%
1114.89/1117.51	c      1118          45791       13165         1         189.0000         164.6766     14.77%
1120.39/1123.04	c      1123          46051       13245         1         189.0000         164.6774     14.77%
1125.48/1128.14	c      1128          46221       13319         1         189.0000         164.6783     14.77%
1131.15/1133.88	c      1134          46451       13409         1         189.0000         164.6796     14.77%
1136.24/1138.98	c      1139          46669       13477         1         189.0000         164.6826     14.77%
1142.22/1144.95	c      1145          46954       13548         1         189.0000         164.6842     14.77%
1147.51/1150.26	c      1150          47271       13615         1         189.0000         164.6871     14.76%
1153.20/1155.92	c      1156          47541       13687         1         189.0000         164.6890     14.76%
1158.30/1161.07	c      1161          47781       13745         1         189.0000         164.6892     14.76%
1164.28/1167.04	c      1167          48104       13822         1         189.0000         164.6927     14.76%
1169.27/1172.07	c      1172          48294       13902         1         189.0000         164.6945     14.76%
1174.94/1177.71	c      1178          48561       13995         1         189.0000         164.6957     14.76%
1179.93/1182.80	c      1183          48831       14059         1         189.0000         164.6964     14.76%
1185.42/1188.25	c      1188          49069       14131         1         189.0000         164.6975     14.76%
1191.22/1194.05	c      1194          49324       14218         1         189.0000         164.6984     14.76%
1196.80/1199.62	c      1200          49614       14298         1         189.0000         164.7021     14.75%
1202.08/1205.01	c      1205          50015       14357         1         189.0000         164.7051     14.75%
1207.28/1210.14	c      1210          50201       14409         1         189.0000         164.7068     14.75%
1213.05/1216.01	c      1216          50474       14488         1         189.0000         164.7097     14.75%
1218.43/1221.36	c      1221          50664       14564         1         189.0000         164.7109     14.75%
1223.72/1226.64	c      1227          50929       14627         1         189.0000         164.7127     14.75%
1229.31/1232.21	c      1232          51191       14719         1         189.0000         164.7141     14.74%
1234.40/1237.36	c      1237          51561       14767         1         189.0000         164.7150     14.74%
1239.89/1242.86	c      1243          51751       14833         1         189.0000         164.7171     14.74%
1245.09/1248.10	c      1248          51947       14897         1         189.0000         164.7177     14.74%
1251.07/1254.07	c      1254          52251       15003         1         189.0000         164.7216     14.74%
1256.75/1259.77	c      1260          52424       15084         1         189.0000         164.7242     14.74%
1262.63/1265.65	c      1266          52744       15146         1         189.0000         164.7254     14.74%
1268.12/1271.17	c      1271          53058       15218         1         189.0000         164.7274     14.73%
1273.70/1276.79	c      1277          53341       15307         1         189.0000         164.7301     14.73%
1278.88/1281.99	c      1282          53551       15393         1         189.0000         164.7320     14.73%
1284.27/1287.34	c      1287          53740       15464         1         189.0000         164.7326     14.73%
1289.98/1293.08	c      1293          53960       15564         1         189.0000         164.7359     14.73%
1295.85/1298.98	c      1299          54174       15640         1         189.0000         164.7375     14.73%
1301.74/1304.81	c      1305          54472       15724         1         189.0000         164.7394     14.73%
1307.42/1310.59	c      1311          54796       15820         1         189.0000         164.7414     14.73%
1313.31/1316.45	c      1316          55181       15901         1         189.0000         164.7429     14.72%
1318.60/1321.70	c      1322          55411       15983         1         189.0000         164.7431     14.72%
1324.08/1327.20	c      1327          55745       16057         1         189.0000         164.7450     14.72%
1329.67/1332.84	c      1333          56121       16143         1         189.0000         164.7467     14.72%
1335.56/1338.77	c      1339          56387       16231         1         189.0000         164.7486     14.72%
1340.86/1344.07	c      1344          56731       16285         1         189.0000         164.7498     14.72%
1346.24/1349.44	c      1349          56901       16357         1         189.0000         164.7518     14.72%
1352.03/1355.20	c      1355          57221       16415         1         189.0000         164.7532     14.72%
1357.31/1360.58	c      1361          57491       16503         1         189.0000         164.7550     14.72%
1362.40/1365.62	c      1366          57751       16579         1         189.0000         164.7567     14.71%
1367.99/1371.20	c      1371          57989       16653         1         189.0000         164.7578     14.71%
1373.17/1376.41	c      1376          58321       16737         1         189.0000         164.7582     14.71%
1378.36/1381.69	c      1382          58501       16821         1         189.0000         164.7619     14.71%
1384.35/1387.65	c      1388          58765       16917         1         189.0000         164.7625     14.71%
1389.75/1393.10	c      1393          58966       16986         1         189.0000         164.7630     14.71%
1394.84/1398.15	c      1398          59191       17065         1         189.0000         164.7655     14.71%
1400.21/1403.59	c      1404          59519       17133         1         189.0000         164.7658     14.71%
1406.30/1409.70	c      1410          59721       17211         1         189.0000         164.7694     14.71%
1411.70/1415.10	c      1415          59931       17299         1         189.0000         164.7707     14.70%
1416.79/1420.12	c      1420          60101       17379         1         189.0000         164.7737     14.70%
1422.27/1425.66	c      1426          60441       17457         1         189.0000         164.7757     14.70%
1427.54/1430.93	c      1431          60751       17551         1         189.0000         164.7782     14.70%
1433.43/1436.86	c      1437          61001       17623         1         189.0000         164.7800     14.70%
1438.73/1442.17	c      1442          61244       17700         1         189.0000         164.7825     14.70%
1443.81/1447.29	c      1447          61581       17775         1         189.0000         164.7842     14.70%
1449.39/1452.83	c      1453          61808       17842         1         189.0000         164.7853     14.69%
1454.78/1458.29	c      1458          62161       17927         1         189.0000         164.7861     14.69%
1460.47/1463.99	c      1464          62521       17999         1         189.0000         164.7874     14.69%
1465.74/1469.22	c      1469          62791       18075         1         189.0000         164.7891     14.69%
1471.54/1475.01	c      1475          63007       18159         1         189.0000         164.7894     14.69%
1477.01/1480.53	c      1481          63311       18245         1         189.0000         164.7910     14.69%
1482.70/1486.28	c      1486          63621       18327         1         189.0000         164.7930     14.69%
1487.79/1491.36	c      1491          63869       18391         1         189.0000         164.7939     14.69%
1493.38/1496.92	c      1497          64071       18467         1         189.0000         164.7948     14.69%
1498.37/1501.98	c      1502          64327       18535         1         189.0000         164.7954     14.69%
1503.66/1507.21	c      1507          64621       18613         1         189.0000         164.7980     14.69%
1508.74/1512.35	c      1512          64891       18655         1         189.0000         164.7996     14.68%
1514.44/1518.02	c      1518          65211       18719         1         189.0000         164.8004     14.68%
1520.11/1523.78	c      1524          65447       18813         1         189.0000         164.8019     14.68%
1525.70/1529.36	c      1529          65831       18857         1         189.0000         164.8032     14.68%
1530.79/1534.44	c      1534          66069       18927         1         189.0000         164.8042     14.68%
1535.98/1539.64	c      1540          66281       18999         1         189.0000         164.8061     14.68%
1541.57/1545.29	c      1545          66521       19081         1         189.0000         164.8068     14.68%
1546.95/1550.60	c      1551          66751       19145         1         189.0000         164.8078     14.68%
1552.35/1556.05	c      1556          66991       19231         1         189.0000         164.8098     14.68%
1557.62/1561.38	c      1561          67226       19274         1         189.0000         164.8108     14.68%
1563.21/1566.95	c      1567          67566       19358         1         189.0000         164.8112     14.68%
1568.31/1572.03	c      1572          67771       19435         1         189.0000         164.8142     14.67%
1573.79/1577.50	c      1578          68061       19533         1         189.0000         164.8159     14.67%
1579.17/1582.98	c      1583          68261       19617         1         189.0000         164.8171     14.67%
1584.87/1588.63	c      1589          68504       19708         1         189.0000         164.8183     14.67%
1590.06/1593.82	c      1594          68774       19784         1         189.0000         164.8188     14.67%
1595.44/1599.23	c      1599          69121       19921         1         189.0000         164.8204     14.67%
1601.24/1605.07	c      1605          69521       20007         1         189.0000         164.8236     14.67%
1606.23/1610.09	c      1610          69761       20065         1         189.0000         164.8249     14.67%
1611.31/1615.17	c      1615          69991       20119         1         189.0000         164.8275     14.67%
1617.09/1621.01	c      1621          70134       20212         1         189.0000         164.8293     14.66%
1622.67/1626.57	c      1627          70305       20297         1         189.0000         164.8304     14.66%
1628.46/1632.30	c      1632          70591       20373         1         189.0000         164.8332     14.66%
1633.55/1637.46	c      1637          70769       20447         1         189.0000         164.8336     14.66%
1638.94/1642.87	c      1643          71011       20517         1         189.0000         164.8348     14.66%
1644.72/1648.63	c      1649          71239       20593         1         189.0000         164.8366     14.66%
1650.22/1654.11	c      1654          71581       20679         1         189.0000         164.8379     14.66%
1655.30/1659.29	c      1659          71868       20744         1         189.0000         164.8387     14.66%
1660.68/1664.61	c      1665          72161       20813         1         189.0000         164.8402     14.66%
1665.67/1669.65	c      1670          72381       20881         1         189.0000         164.8411     14.66%
1671.37/1675.31	c      1675          72664       20952         1         189.0000         164.8422     14.66%
1676.75/1680.78	c      1681          72872       21030         1         189.0000         164.8434     14.65%
1681.94/1685.96	c      1686          73251       21115         1         189.0000         164.8441     14.65%
1687.33/1691.36	c      1691          73441       21199         1         189.0000         164.8454     14.65%
1693.12/1697.18	c      1697          73707       21273         1         189.0000         164.8467     14.65%
1699.40/1703.41	c      1703          73914       21350         1         189.0000         164.8479     14.65%
1704.68/1708.70	c      1709          74141       21431         1         189.0000         164.8494     14.65%
1710.17/1714.21	c      1714          74291       21515         1         189.0000         164.8513     14.65%
1715.46/1719.52	c      1720          74555       21581         1         189.0000         164.8520     14.65%
1721.25/1725.36	c      1725          74824       21662         1         189.0000         164.8539     14.65%
1727.14/1731.28	c      1731          75068       21738         1         189.0000         164.8549     14.65%
1732.43/1736.52	c      1737          75244       21808         1         189.0000         164.8565     14.65%
1732.63/1736.74	c *    1737          75251       21807         1         187.0000         164.8566     13.43%
1732.72/1736.81	c *    1737          75251       21807         1         186.0000         164.8566     12.83%
1738.21/1742.39	c      1742          75481       19773         1         186.0000         164.8575     12.82%
1743.50/1747.66	c      1748          75741       19823         1         186.0000         164.8579     12.82%
1748.79/1752.94	c      1753          75911       19905         1         186.0000         164.8591     12.82%
1754.57/1758.80	c      1759          76157       19995         1         186.0000         164.8600     12.82%
1760.06/1764.25	c      1764          76441       20035         1         186.0000         164.8614     12.82%
1765.25/1769.41	c      1769          76620       20114         1         186.0000         164.8633     12.82%
1770.54/1774.74	c      1775          76785       20163         1         186.0000         164.8638     12.82%
1776.23/1780.44	c      1780          77171       20285         1         186.0000         164.8650     12.82%
1782.01/1786.21	c      1786          77421       20375         1         186.0000         164.8663     12.82%
1787.10/1791.31	c      1791          77641       20451         1         186.0000         164.8670     12.82%
1792.48/1796.80	c      1797          77921       20509         1         186.0000         164.8672     12.82%
1797.78/1802.10	c      1802          78235       20561         1         186.0000         164.8684     12.82%
1803.36/1807.61	c      1808          78511       20637         1         186.0000         164.8693     12.82%
1809.04/1813.35	c      1813          78731       20729         1         186.0000         164.8704     12.82%
1814.93/1819.28	c      1819          78979       20805         1         186.0000         164.8715     12.82%
1820.13/1824.41	c      1824          79201       20899         1         186.0000         164.8725     12.81%
1825.51/1829.84	c      1830          79421       20949         1         186.0000         164.8733     12.81%
1830.60/1834.91	c      1835          79633       21013         1         186.0000         164.8742     12.81%
1835.70/1840.10	c      1840          79861       21083         1         186.0000         164.8758     12.81%
1840.79/1845.13	c      1845          79984       21148         1         186.0000         164.8766     12.81%
1846.16/1850.50	c      1850          80258       21220         1         186.0000         164.8780     12.81%
1851.45/1855.82	c      1856          80461       21299         1         186.0000         164.8795     12.81%
1857.34/1861.70	c      1862          80753       21383         1         186.0000         164.8799     12.81%
1862.82/1867.24	c      1867          80955       21463         1         186.0000         164.8808     12.81%
1868.01/1872.42	c      1872          81246       21522         1         186.0000         164.8814     12.81%
1873.20/1877.63	c      1878          81461       21585         1         186.0000         164.8833     12.81%
1878.39/1882.89	c      1883          81771       21623         1         186.0000         164.8834     12.81%
1883.58/1888.07	c      1888          82101       21703         1         186.0000         164.8840     12.81%
1888.68/1893.14	c      1893          82315       21771         1         186.0000         164.8851     12.81%
1894.16/1898.66	c      1899          82484       21836         1         186.0000         164.8861     12.81%
1899.66/1904.14	c      1904          82671       21893         1         186.0000         164.8873     12.80%
1905.03/1909.54	c      1910          82901       21955         1         186.0000         164.8882     12.80%
1910.71/1915.28	c      1915          83137       22037         1         186.0000         164.8888     12.80%
1916.40/1921.01	c      1921          83426       22130         1         186.0000         164.8899     12.80%
1922.18/1926.72	c      1927          83701       22197         1         186.0000         164.8915     12.80%
1927.78/1932.30	c      1932          83981       22293         1         186.0000         164.8926     12.80%
1932.76/1937.38	c      1937          84151       22355         1         186.0000         164.8930     12.80%
1938.75/1943.36	c      1943          84561       22425         1         186.0000         164.8937     12.80%
1944.33/1948.92	c      1949          84801       22503         1         186.0000         164.8945     12.80%
1949.53/1954.13	c      1954          85021       22575         1         186.0000         164.8953     12.80%
1955.01/1959.69	c      1960          85273       22621         1         186.0000         164.8962     12.80%
1960.99/1965.67	c      1966          85551       22693         1         186.0000         164.8974     12.80%
1966.58/1971.21	c      1971          85876       22766         1         186.0000         164.8982     12.80%
1971.58/1976.23	c      1976          86098       22836         1         186.0000         164.8990     12.80%
1976.76/1981.44	c      1981          86341       22905         1         186.0000         164.8995     12.80%
1981.85/1986.52	c      1987          86551       22977         1         186.0000         164.9008     12.80%
1986.84/1991.55	c      1992          86814       23048         1         186.0000         164.9018     12.79%
1992.13/1996.84	c      1997          87111       23105         1         186.0000         164.9031     12.79%
1997.51/2002.25	c      2002          87341       23177         1         186.0000         164.9048     12.79%
2002.60/2007.36	c      2007          87581       23241         1         186.0000         164.9051     12.79%
2007.88/2012.68	c      2013          87799       23301         1         186.0000         164.9063     12.79%
2013.29/2018.11	c      2018          88041       23383         1         186.0000         164.9070     12.79%
2018.97/2023.72	c      2024          88270       23456         1         186.0000         164.9076     12.79%
2024.15/2028.91	c      2029          88512       23516         1         186.0000         164.9093     12.79%
2029.83/2034.62	c      2035          88701       23599         1         186.0000         164.9110     12.79%
2035.52/2040.33	c      2040          88864       23674         1         186.0000         164.9118     12.79%
2040.71/2045.50	c      2046          89181       23719         1         186.0000         164.9123     12.79%
2046.40/2051.24	c      2051          89351       23779         1         186.0000         164.9142     12.79%
2051.58/2056.48	c      2056          89594       23822         1         186.0000         164.9151     12.79%
2057.37/2062.27	c      2062          89923       23897         1         186.0000         164.9155     12.79%
2062.96/2067.81	c      2068          90211       23975         1         186.0000         164.9162     12.78%
2068.84/2073.76	c      2074          90488       24076         1         186.0000         164.9174     12.78%
2074.03/2079.01	c      2079          90661       24151         1         186.0000         164.9186     12.78%
2079.81/2084.77	c      2085          90951       24225         1         186.0000         164.9189     12.78%
2085.60/2090.59	c      2091          91199       24317         1         186.0000         164.9191     12.78%
2090.98/2095.90	c      2096          91453       24409         1         186.0000         164.9198     12.78%
2096.67/2101.69	c      2102          91710       24488         1         186.0000         164.9219     12.78%
2102.17/2107.18	c      2107          91891       24531         1         186.0000         164.9224     12.78%
2107.54/2112.56	c      2113          92141       24571         1         186.0000         164.9230     12.78%
2113.22/2118.26	c      2118          92311       24649         1         186.0000         164.9243     12.78%
2119.12/2124.14	c      2124          92576       24716         1         186.0000         164.9248     12.78%
2124.11/2129.19	c      2129          92781       24771         1         186.0000         164.9262     12.78%
2129.39/2134.40	c      2134          92965       24847         1         186.0000         164.9269     12.78%
2134.48/2139.53	c      2140          93221       24913         1         186.0000         164.9272     12.78%
2140.16/2145.23	c      2145          93481       24975         1         186.0000         164.9277     12.78%
2145.75/2150.80	c      2151          93701       25065         1         186.0000         164.9285     12.78%
2150.95/2156.06	c      2156          93934       25126         1         186.0000         164.9294     12.78%
2156.82/2161.95	c      2162          94164       25176         1         186.0000         164.9298     12.78%
2161.92/2167.08	c      2167          94441       25263         1         186.0000         164.9314     12.77%
2167.30/2172.40	c      2172          94807       25339         1         186.0000         164.9317     12.77%
2173.09/2178.22	c      2178          95045       25391         1         186.0000         164.9324     12.77%
2178.48/2183.66	c      2184          95479       25437         1         186.0000         164.9325     12.77%
2183.76/2189.00	c      2189          95731       25509         1         186.0000         164.9340     12.77%
2189.55/2194.70	c      2195          95961       25589         1         186.0000         164.9375     12.77%
2194.73/2199.99	c      2200          96251       25653         1         186.0000         164.9391     12.77%
2199.93/2205.13	c      2205          96440       25720         1         186.0000         164.9404     12.77%
2204.93/2210.19	c      2210          96725       25785         1         186.0000         164.9410     12.77%
2210.30/2215.58	c      2216          97027       25851         1         186.0000         164.9421     12.77%
2215.39/2220.61	c      2221          97331       25903         1         186.0000         164.9431     12.77%
2220.68/2225.94	c      2226          97621       25961         1         186.0000         164.9456     12.76%
2225.88/2231.11	c      2231          97845       26027         1         186.0000         164.9463     12.76%
2231.45/2236.77	c      2237          98067       26075         1         186.0000         164.9470     12.76%
2236.75/2242.05	c      2242          98321       26145         1         186.0000         164.9474     12.76%
2242.42/2247.75	c      2248          98507       26231         1         186.0000         164.9485     12.76%
2247.51/2252.86	c      2253          98700       26300         1         186.0000         164.9491     12.76%
2253.40/2258.72	c      2259          98971       26365         1         186.0000         164.9500     12.76%
2258.69/2264.03	c      2264          99191       26429         1         186.0000         164.9508     12.76%
2264.17/2269.57	c      2270          99426       26502         1         186.0000         164.9519     12.76%
2269.96/2275.35	c      2275          99611       26581         1         186.0000         164.9523     12.76%
2275.04/2280.41	c      2280          99871       26631         1         186.0000         164.9536     12.76%
2280.54/2285.99	c      2286         100127       26717         1         186.0000         164.9542     12.76%
2286.51/2291.96	c      2292         100391       26785         1         186.0000         164.9549     12.76%
2291.50/2296.99	c      2297         100611       26861         1         186.0000         164.9555     12.76%
2296.79/2302.27	c      2302         100834       26910         1         186.0000         164.9558     12.76%
2301.98/2307.43	c      2307         101091       26963         1         186.0000         164.9567     12.76%
2307.36/2312.88	c      2313         101331       27051         1         186.0000         164.9576     12.76%
2312.57/2318.10	c      2318         101573       27109         1         186.0000         164.9585     12.76%
2318.44/2323.90	c      2324         101857       27189         1         186.0000         164.9597     12.75%
2323.55/2329.02	c      2329         102111       27263         1         186.0000         164.9603     12.75%
2329.32/2334.82	c      2335         102351       27347         1         186.0000         164.9609     12.75%
2334.62/2340.12	c      2340         102495       27423         1         186.0000         164.9618     12.75%
2339.89/2345.45	c      2345         102731       27473         1         186.0000         164.9629     12.75%
2345.49/2351.06	c      2351         103027       27533         1         186.0000         164.9631     12.75%
2351.27/2356.85	c      2357         103329       27603         1         186.0000         164.9640     12.75%
2357.05/2362.65	c      2363         103521       27675         1         186.0000         164.9659     12.75%
2362.64/2368.20	c      2368         103716       27742         1         186.0000         164.9665     12.75%
2367.92/2373.58	c      2374         103956       27816         1         186.0000         164.9674     12.75%
2373.81/2379.42	c      2379         104221       27877         1         186.0000         164.9689     12.75%
2379.60/2385.23	c      2385         104389       27957         1         186.0000         164.9691     12.75%
2384.69/2390.39	c      2390         104591       28027         1         186.0000         164.9699     12.75%
2389.78/2395.45	c      2395         104811       28097         1         186.0000         164.9700     12.75%
2395.66/2401.36	c      2401         105106       28178         1         186.0000         164.9709     12.75%
2401.15/2406.88	c      2407         105371       28241         1         186.0000         164.9723     12.75%
2406.63/2412.38	c      2412         105611       28323         1         186.0000         164.9737     12.75%
2411.82/2417.55	c      2418         105841       28413         1         186.0000         164.9747     12.74%
2417.81/2423.56	c      2424         106054       28492         1         186.0000         164.9750     12.74%
2423.41/2429.17	c      2429         106253       28587         1         186.0000         164.9760     12.74%
2429.30/2435.09	c      2435         106550       28646         1         186.0000         164.9769     12.74%
2434.57/2440.38	c      2440         106821       28713         1         186.0000         164.9773     12.74%
2440.66/2446.45	c      2446         107084       28794         1         186.0000         164.9781     12.74%
2446.15/2451.96	c      2452         107347       28859         1         186.0000         164.9787     12.74%
2451.63/2457.44	c      2457         107732       28932         1         186.0000         164.9794     12.74%
2456.92/2462.77	c      2463         108021       28987         1         186.0000         164.9801     12.74%
2462.61/2468.45	c      2468         108249       29055         1         186.0000         164.9804     12.74%
2468.49/2474.30	c      2474         108541       29129         1         186.0000         164.9810     12.74%
2473.79/2479.62	c      2480         108761       29191         1         186.0000         164.9815     12.74%
2479.47/2485.39	c      2485         109071       29259         1         186.0000         164.9818     12.74%
2484.96/2490.83	c      2491         109320       29308         1         186.0000         164.9823     12.74%
2490.74/2496.69	c      2497         109591       29397         1         186.0000         164.9832     12.74%
2496.13/2502.05	c      2502         109791       29463         1         186.0000         164.9842     12.74%
2501.22/2507.16	c      2507         110011       29549         1         186.0000         164.9851     12.74%
2506.29/2512.20	c      2512         110221       29619         1         186.0000         164.9858     12.74%
2511.28/2517.24	c      2517         110401       29703         1         186.0000         164.9864     12.74%
2516.46/2522.41	c      2522         110680       29784         1         186.0000         164.9869     12.74%
2521.75/2527.74	c      2528         110911       29827         1         186.0000         164.9874     12.74%
2527.05/2533.04	c      2533         111091       29891         1         186.0000         164.9885     12.74%
2532.63/2538.60	c      2539         111388       29984         1         186.0000         164.9887     12.73%
2537.91/2543.95	c      2544         111641       30047         1         186.0000         164.9901     12.73%
2543.60/2549.65	c      2550         111852       30126         1         186.0000         164.9907     12.73%
2548.70/2554.74	c      2555         112081       30187         1         186.0000         164.9920     12.73%
2555.10/2561.16	c      2561         112314       30268         1         186.0000         164.9922     12.73%
2560.67/2566.77	c      2567         112601       30323         1         186.0000         164.9931     12.73%
2565.76/2571.84	c      2572         112731       30383         1         186.0000         164.9936     12.73%
2570.85/2576.98	c      2577         113216       30486         1         186.0000         164.9937     12.73%
2576.53/2582.62	c      2583         113567       30559         1         186.0000         164.9945     12.73%
2582.32/2588.47	c      2588         113891       30639         1         186.0000         164.9948     12.73%
2587.61/2593.77	c      2594         114168       30710         1         186.0000         164.9951     12.73%
2592.79/2598.97	c      2599         114461       30793         1         186.0000         164.9958     12.73%
2597.89/2604.07	c      2604         114893       30903         1         186.0000         164.9962     12.73%
2603.17/2609.36	c      2609         115201       30991         1         186.0000         164.9969     12.73%
2609.26/2615.43	c      2615         115461       31085         1         186.0000         164.9979     12.73%
2614.25/2620.47	c      2620         115709       31155         1         186.0000         164.9984     12.73%
2620.13/2626.38	c      2626         115964       31242         1         186.0000         165.0002     12.73%
2625.52/2631.79	c      2632         116131       31319         1         186.0000         165.0012     12.73%
2630.71/2637.01	c      2637         116321       31383         1         186.0000         165.0029     12.73%
2636.60/2642.85	c      2643         116570       31456         1         186.0000         165.0031     12.73%
2642.19/2648.40	c      2648         116871       31543         1         186.0000         165.0039     12.72%
2647.66/2653.90	c      2654         117111       31621         1         186.0000         165.0051     12.72%
2653.35/2659.63	c      2660         117317       31695         1         186.0000         165.0056     12.72%
2658.54/2664.81	c      2665         117701       31789         1         186.0000         165.0063     12.72%
2663.53/2669.87	c      2670         117909       31861         1         186.0000         165.0070     12.72%
2669.22/2675.54	c      2676         118171       31945         1         186.0000         165.0082     12.72%
2675.10/2681.41	c      2681         118434       32042         1         186.0000         165.0099     12.72%
2680.19/2686.59	c      2687         118631       32121         1         186.0000         165.0110     12.72%
2686.17/2692.58	c      2693         118909       32209         1         186.0000         165.0113     12.72%
2691.56/2697.99	c      2698         119221       32287         1         186.0000         165.0119     12.72%
2697.25/2703.60	c      2704         119471       32363         1         186.0000         165.0131     12.72%
2702.93/2709.36	c      2709         119761       32419         1         186.0000         165.0134     12.72%
2708.32/2714.72	c      2715         119976       32508         1         186.0000         165.0145     12.72%
2713.42/2719.82	c      2720         120329       32555         1         186.0000         165.0148     12.72%
2719.20/2725.68	c      2726         120581       32643         1         186.0000         165.0156     12.72%
2724.70/2731.16	c      2731         120827       32713         1         186.0000         165.0166     12.72%
2730.58/2737.05	c      2737         121176       32780         1         186.0000         165.0173     12.72%
2736.05/2742.50	c      2742         121451       32863         1         186.0000         165.0185     12.71%
2741.24/2747.73	c      2748         121698       32930         1         186.0000         165.0191     12.71%
2746.32/2752.85	c      2753         122021       33015         1         186.0000         165.0197     12.71%
2751.81/2758.38	c      2758         122281       33091         1         186.0000         165.0202     12.71%
2757.61/2764.11	c      2764         122535       33179         1         186.0000         165.0210     12.71%
2763.18/2769.79	c      2770         122801       33261         1         186.0000         165.0218     12.71%
2768.58/2775.16	c      2775         123011       33329         1         186.0000         165.0228     12.71%
2774.16/2780.72	c      2781         123345       33429         1         186.0000         165.0231     12.71%
2779.64/2786.27	c      2786         123651       33503         1         186.0000         165.0245     12.71%
2785.33/2791.91	c      2792         124031       33539         1         186.0000         165.0249     12.71%
2790.43/2797.10	c      2797         124294       33610         1         186.0000         165.0255     12.71%
2796.42/2803.03	c      2803         124505       33693         1         186.0000         165.0264     12.71%
2801.51/2808.16	c      2808         124791       33767         1         186.0000         165.0274     12.71%
2806.78/2813.48	c      2813         125067       33837         1         186.0000         165.0278     12.71%
2811.96/2818.66	c      2819         125288       33934         1         186.0000         165.0286     12.71%
2817.76/2824.43	c      2824         125541       34043         1         186.0000         165.0294     12.71%
2822.95/2829.60	c      2830         125751       34125         1         186.0000         165.0299     12.71%
2828.03/2834.75	c      2835         125981       34203         1         186.0000         165.0305     12.71%
2833.62/2840.35	c      2840         126262       34296         1         186.0000         165.0311     12.71%
2839.32/2846.09	c      2846         126571       34367         1         186.0000         165.0317     12.71%
2844.50/2851.27	c      2851         126771       34443         1         186.0000         165.0324     12.71%
2849.88/2856.64	c      2857         127141       34521         1         186.0000         165.0326     12.71%
2855.17/2861.96	c      2862         127371       34609         1         186.0000         165.0330     12.70%
2861.06/2867.83	c      2868         127698       34678         1         186.0000         165.0342     12.70%
2866.04/2872.86	c      2873         127937       34741         1         186.0000         165.0350     12.70%
2871.25/2878.06	c      2878         128231       34801         1         186.0000         165.0360     12.70%
2876.42/2883.24	c      2883         128451       34891         1         186.0000         165.0368     12.70%
2881.91/2888.70	c      2889         128851       34981         1         186.0000         165.0378     12.70%
2887.60/2894.49	c      2894         129103       35055         1         186.0000         165.0390     12.70%
2893.38/2900.20	c      2900         129351       35127         1         186.0000         165.0403     12.70%
2899.07/2905.92	c      2906         129631       35229         1         186.0000         165.0413     12.70%
2904.28/2911.15	c      2911         129891       35295         1         186.0000         165.0419     12.70%
2909.45/2916.34	c      2916         130094       35360         1         186.0000         165.0424     12.70%
2915.43/2922.31	c      2922         130359       35441         1         186.0000         165.0432     12.70%
2920.72/2927.61	c      2928         130561       35521         1         186.0000         165.0437     12.70%
2925.71/2932.69	c      2933         130791       35601         1         186.0000         165.0439     12.70%
2931.21/2938.13	c      2938         131006       35672         1         186.0000         165.0446     12.70%
2936.98/2943.95	c      2944         131325       35735         1         186.0000         165.0450     12.70%
2942.27/2949.21	c      2949         131695       35827         1         186.0000         165.0455     12.70%
2948.17/2955.14	c      2955         132068       35890         1         186.0000         165.0466     12.70%
2953.24/2960.23	c      2960         132251       35971         1         186.0000         165.0476     12.69%
2959.04/2966.06	c      2966         132549       36081         1         186.0000         165.0482     12.69%
2964.52/2971.57	c      2972         132801       36167         1         186.0000         165.0495     12.69%
2970.12/2977.13	c      2977         133041       36249         1         186.0000         165.0503     12.69%
2975.29/2982.33	c      2982         133391       36325         1         186.0000         165.0508     12.69%
2980.99/2988.08	c      2988         133611       36435         1         186.0000         165.0515     12.69%
2986.58/2993.67	c      2994         133881       36509         1         186.0000         165.0522     12.69%
2991.66/2998.74	c      2999         134091       36595         1         186.0000         165.0526     12.69%
2996.65/3003.79	c      3004         134329       36659         1         186.0000         165.0529     12.69%
3001.74/3008.85	c      3009         134561       36723         1         186.0000         165.0533     12.69%
3007.03/3014.17	c      3014         134850       36814         1         186.0000         165.0539     12.69%
3012.11/3019.26	c      3019         135041       36891         1         186.0000         165.0550     12.69%
3017.91/3025.06	c      3025         135386       36968         1         186.0000         165.0556     12.69%
3023.08/3030.24	c      3030         135641       37037         1         186.0000         165.0562     12.69%
3028.88/3036.02	c      3036         135871       37101         1         186.0000         165.0568     12.69%
3034.75/3041.95	c      3042         136130       37156         1         186.0000         165.0569     12.69%
3039.74/3046.99	c      3047         136341       37239         1         186.0000         165.0572     12.69%
3045.33/3052.54	c      3053         136630       37318         1         186.0000         165.0579     12.69%
3050.52/3057.76	c      3058         136901       37383         1         186.0000         165.0585     12.69%
3056.31/3063.59	c      3064         137101       37441         1         186.0000         165.0588     12.69%
3061.80/3069.06	c      3069         137396       37526         1         186.0000         165.0592     12.69%
3067.68/3074.99	c      3075         137723       37595         1         186.0000         165.0601     12.69%
3073.37/3080.67	c      3081         138001       37665         1         186.0000         165.0609     12.69%
3078.87/3086.15	c      3086         138343       37797         1         186.0000         165.0617     12.69%
3084.05/3091.32	c      3091         138701       37853         1         186.0000         165.0624     12.68%
3089.03/3096.38	c      3096         138991       37943         1         186.0000         165.0631     12.68%
3094.22/3101.54	c      3102         139251       38033         1         186.0000         165.0636     12.68%
3099.61/3106.97	c      3107         139549       38113         1         186.0000         165.0642     12.68%
3104.60/3112.01	c      3112         139751       38203         1         186.0000         165.0654     12.68%
3110.18/3117.57	c      3118         140011       38283         1         186.0000         165.0657     12.68%
3115.87/3123.25	c      3123         140248       38376         1         186.0000         165.0668     12.68%
3121.26/3128.68	c      3129         140561       38441         1         186.0000         165.0672     12.68%
3126.45/3133.83	c      3134         140851       38517         1         186.0000         165.0675     12.68%
3131.94/3139.31	c      3139         141061       38587         1         186.0000         165.0679     12.68%
3137.22/3144.66	c      3145         141341       38655         1         186.0000         165.0683     12.68%
3142.62/3150.08	c      3150         141604       38720         1         186.0000         165.0686     12.68%
3147.71/3155.18	c      3155         142031       38805         1         186.0000         165.0689     12.68%
3153.70/3161.17	c      3161         142281       38891         1         186.0000         165.0695     12.68%
3159.17/3166.64	c      3167         142617       38975         1         186.0000         165.0699     12.68%
3164.26/3171.79	c      3172         143051       39041         1         186.0000         165.0701     12.68%
3169.94/3177.49	c      3177         143341       39149         1         186.0000         165.0710     12.68%
3175.73/3183.22	c      3183         143671       39231         1         186.0000         165.0713     12.68%
3181.63/3189.13	c      3189         143965       39315         1         186.0000         165.0717     12.68%
3187.31/3194.81	c      3195         144281       39405         1         186.0000         165.0729     12.68%
3192.80/3200.30	c      3200         144531       39481         1         186.0000         165.0736     12.68%
3198.29/3205.89	c      3206         144871       39623         1         186.0000         165.0740     12.68%
3203.77/3211.34	c      3211         145160       39694         1         186.0000         165.0740     12.68%
3209.36/3217.01	c      3217         145531       39785         1         186.0000         165.0749     12.68%
3215.24/3222.89	c      3223         145812       39892         1         186.0000         165.0756     12.68%
3221.13/3228.75	c      3229         146116       39998         1         186.0000         165.0756     12.68%
3226.21/3233.88	c      3234         146404       40080         1         186.0000         165.0762     12.68%
3231.80/3239.48	c      3239         146711       40169         1         186.0000         165.0770     12.67%
3237.50/3245.19	c      3245         147001       40273         1         186.0000         165.0777     12.67%
3242.67/3250.35	c      3250         147219       40365         1         186.0000         165.0786     12.67%
3248.38/3256.08	c      3256         147681       40471         1         186.0000         165.0798     12.67%
3253.65/3261.32	c      3261         147921       40545         1         186.0000         165.0806     12.67%
3258.84/3266.54	c      3267         148241       40637         1         186.0000         165.0810     12.67%
3263.93/3271.68	c      3272         148581       40743         1         186.0000         165.0818     12.67%
3269.81/3277.59	c      3278         149065       40847         1         186.0000         165.0826     12.67%
3276.00/3283.78	c      3284         149361       40953         1         186.0000         165.0830     12.67%
3281.69/3289.41	c      3289         149551       41047         1         186.0000         165.0834     12.67%
3287.18/3294.91	c      3295         149801       41121         1         186.0000         165.0839     12.67%
3292.17/3299.96	c      3300         150051       41185         1         186.0000         165.0847     12.67%
3297.65/3305.48	c      3305         150381       41257         1         186.0000         165.0849     12.67%
3303.04/3310.86	c      3311         150701       41347         1         186.0000         165.0856     12.67%
3308.13/3315.98	c      3316         150971       41425         1         186.0000         165.0862     12.67%
3313.61/3321.43	c      3321         151289       41489         1         186.0000         165.0866     12.67%
3319.10/3326.94	c      3327         151631       41567         1         186.0000         165.0875     12.67%
3324.20/3332.09	c      3332         151831       41645         1         186.0000         165.0879     12.67%
3329.58/3337.46	c      3337         152040       41736         1         186.0000         165.0882     12.67%
3334.77/3342.61	c      3343         152311       41811         1         186.0000         165.0884     12.67%
3339.95/3347.88	c      3348         152640       41886         1         186.0000         165.0886     12.67%
3345.04/3352.91	c      3353         152950       41948         1         186.0000         165.0889     12.67%
3350.84/3358.74	c      3359         153351       42009         1         186.0000         165.0904     12.67%
3356.13/3364.05	c      3364         153671       42071         1         186.0000         165.0913     12.66%
3361.31/3369.24	c      3369         153901       42155         1         186.0000         165.0924     12.66%
3366.90/3374.83	c      3375         154221       42227         1         186.0000         165.0928     12.66%
3372.78/3380.78	c      3381         154555       42325         1         186.0000         165.0936     12.66%
3378.67/3386.60	c      3387         154895       42395         1         186.0000         165.0941     12.66%
3383.76/3391.79	c      3392         155207       42453         1         186.0000         165.0944     12.66%
3389.06/3397.07	c      3397         155511       42517         1         186.0000         165.0948     12.66%
3395.03/3403.03	c      3403         155801       42599         1         186.0000         165.0950     12.66%
3400.12/3408.13	c      3408         156061       42669         1         186.0000         165.0958     12.66%
3405.19/3413.22	c      3413         156331       42755         1         186.0000         165.0962     12.66%
3410.59/3418.61	c      3419         156546       42818         1         186.0000         165.0969     12.66%
3416.17/3424.24	c      3424         156808       42906         1         186.0000         165.0977     12.66%
3421.56/3429.65	c      3430         157191       42977         1         186.0000         165.0979     12.66%
3427.15/3435.22	c      3435         157381       43061         1         186.0000         165.0985     12.66%
3433.05/3441.14	c      3441         157661       43137         1         186.0000         165.0988     12.66%
3438.62/3446.79	c      3447         158019       43201         1         186.0000         165.0993     12.66%
3444.60/3452.74	c      3453         158340       43288         1         186.0000         165.0998     12.66%
3450.00/3458.13	c      3458         158731       43333         1         186.0000         165.1002     12.66%
3455.39/3463.54	c      3464         158971       43425         1         186.0000         165.1009     12.66%
3460.88/3469.03	c      3469         159202       43502         1         186.0000         165.1015     12.66%
3466.56/3474.78	c      3475         159455       43589         1         186.0000         165.1024     12.66%
3471.96/3480.14	c      3480         159760       43666         1         186.0000         165.1027     12.66%
3477.53/3485.76	c      3486         160141       43757         1         186.0000         165.1043     12.66%
3482.72/3490.91	c      3491         160461       43815         1         186.0000         165.1046     12.66%
3488.21/3496.48	c      3496         160651       43897         1         186.0000         165.1052     12.66%
3493.99/3502.23	c      3502         160896       43970         1         186.0000         165.1055     12.66%
3499.68/3507.92	c      3508         161204       44058         1         186.0000         165.1059     12.65%
3505.37/3513.63	c      3514         161591       44131         1         186.0000         165.1072     12.65%
3511.15/3519.46	c      3519         161930       44234         1         186.0000         165.1074     12.65%
3516.24/3524.59	c      3525         162141       44313         1         186.0000         165.1080     12.65%
3521.85/3530.16	c      3530         162517       44423         1         186.0000         165.1087     12.65%
3527.22/3535.59	c      3536         162801       44495         1         186.0000         165.1092     12.65%
3532.82/3541.13	c      3541         163101       44571         1         186.0000         165.1099     12.65%
3537.89/3546.20	c      3546         163341       44641         1         186.0000         165.1103     12.65%
3542.99/3551.35	c      3551         163581       44729         1         186.0000         165.1114     12.65%
3548.48/3556.84	c      3557         163891       44797         1         186.0000         165.1121     12.65%
3554.06/3562.48	c      3562         164206       44888         1         186.0000         165.1124     12.65%
3560.05/3568.46	c      3568         164601       44943         1         186.0000         165.1129     12.65%
3565.83/3574.22	c      3574         164981       45013         1         186.0000         165.1135     12.65%
3571.42/3579.85	c      3580         165290       45100         1         186.0000         165.1139     12.65%
3577.01/3585.43	c      3585         165716       45200         1         186.0000         165.1140     12.65%
3582.30/3590.75	c      3591         166097       45275         1         186.0000         165.1142     12.65%
3588.08/3596.50	c      3596         166416       45384         1         186.0000         165.1146     12.65%
3589.69/3598.15	c SCIP Status        : c solving was interrupted [hard time limit reached]
3589.69/3598.15	c Total Time         : 3598.14
3589.69/3598.15	c   solving          : 3598.14
3589.69/3598.15	c   presolving       : 0.05 (included in solving)
3589.69/3598.15	c B&B Tree           :
3589.69/3598.15	c   nodes (total)    : 1
3589.69/3598.15	c Solution           :
3589.69/3598.15	c   Solutions found  : 16
3589.69/3598.15	c   Primal Bound     : +1.86000000000000e+02
3589.69/3598.15	c   Dual Bound       : +1.65114550875441e+02
3589.69/3598.15	c Gap                : 12.64907 %
3589.69/3598.15	c * Warning: final gap: 1.26491e-01 is greater than SCIPepsilon: 1.00000e-09
3589.69/3598.15	o 186
3589.69/3598.15	s SATISFIABLE
3589.69/3598.15	v -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 x458 x457 x456 -x455 -x454 x453 -x452 -x451 x450 -x449 
3589.69/3598.15	v -x448 -x447 -x446 x445 -x444 -x443 x442 x441 x440 -x439 -x438 -x437 x436 -x435 -x434 x433 -x432 -x431 x430 x429 -x428 x427 -x426 
3589.69/3598.15	v x425 -x424 -x423 -x422 x421 x420 -x419 x418 -x417 x416 -x415 -x414 x413 -x412 -x411 -x410 x409 -x408 x407 x406 x405 x404 
3589.69/3598.15	v -x403 -x402 -x401 -x400 x399 x398 x397 x396 -x395 -x394 x393 -x392 -x391 -x390 x389 x388 -x387 -x386 x385 -x384 x383 x382 -x381 
3589.69/3598.15	v x380 -x379 -x378 x377 x376 -x375 x374 -x373 x372 -x371 x370 -x369 x368 -x367 -x366 x365 -x364 -x363 -x362 -x361 -x360 x359 
3589.69/3598.15	v -x358 x357 -x356 x355 x354 x353 x352 -x351 x350 -x349 x348 -x347 x346 -x345 x344 -x343 x342 x341 -x340 -x339 x338 x337 x336 
3589.69/3598.15	v -x335 -x334 x333 x332 -x331 x330 -x329 -x328 -x327 x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 x318 -x317 x316 x315 x314 -x313 
3589.69/3598.15	v -x312 -x311 -x310 -x309 x308 -x307 x306 -x305 x304 -x303 x302 -x301 -x300 x299 -x298 x297 -x296 x295 x294 -x293 -x292 -x291 
3589.69/3598.15	v x290 -x289 x288 -x287 -x286 -x285 -x284 -x283 x282 x281 x280 -x279 x278 x277 -x276 -x275 -x274 -x273 x272 x271 -x270 -x269 
3589.69/3598.15	v x268 -x267 x266 x265 -x264 -x263 -x262 -x261 -x260 -x259 x258 -x257 -x256 -x255 x254 x253 x252 -x251 -x250 -x249 -x248 -x247 
3589.69/3598.15	v -x246 x245 -x244 -x243 -x242 -x241 -x240 -x239 x238 x237 x236 -x235 -x234 -x233 -x232 x231 x230 -x229 -x228 x227 -x226 x225 
3589.69/3598.15	v -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 x211 -x210 -x209 -x208 -x207 x206 x205 x204 x203 
3589.69/3598.15	v x202 x201 -x200 -x199 x198 -x197 -x196 x195 -x194 -x193 -x192 x191 x190 x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 
3589.69/3598.15	v -x179 x178 -x177 x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 x168 x167 x166 x165 -x164 -x163 x162 x161 x160 -x159 x158 
3589.69/3598.15	v -x157 -x156 x155 -x154 x153 -x152 x151 -x150 -x149 x148 -x147 -x146 x145 -x144 x143 x142 -x141 -x140 -x139 x138 -x137 x136 x135 
3589.69/3598.15	v -x134 x133 -x132 x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 x123 -x122 -x121 -x120 x119 -x118 -x117 x116 -x115 -x114 -x113 
3589.69/3598.15	v -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 x100 x99 x98 x97 -x96 -x95 x94 -x93 x92 x91 x90 x89 
3589.69/3598.15	v -x88 x87 x86 -x85 -x84 x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 x72 x71 x70 x69 x68 x67 -x66 x65 x64 -x63 -x62 -x61 
3589.69/3598.15	v -x60 x59 x58 x57 x56 x55 -x54 -x53 -x52 x51 -x50 x49 x48 -x47 -x46 -x45 x44 -x43 x42 -x41 -x40 x39 x38 -x37 x36 x35 -x34 
3589.69/3598.15	v -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 
3589.69/3598.15	v -x6 x5 x4 -x3 -x2 -x1 

Verifier Data

OK	186

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: 64096 MiB (62209 MiB free)
  memory of node 1: 64473 MiB (63702 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=28385, runsolver pid=28379

[startup+0.100095 s]*
/proc/loadavg: 0.15 0.12 0.09 5/248 28394
/proc/meminfo: memFree=128913820/131655788 swapFree=131071996/131071996
[pid=28385] ppid=28379 vsize=112444 memory=25420 CPUtime=0.1 cores=4,6
/proc/28385/stat : 28385 (fscip) S 28379 28385 28221 0 -1 1077936128 3866 0 0 0 9 1 0 0 20 0 3 0 4230744 115142656 6355 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
/proc/28385/statm: 28111 6355 2806 3035 0 9799 0
[pid=28385/tid=28393] ppid=28379 vsize=112444 memory=4026531971 CPUtime=0.03 cores=4,6
/proc/28385/task/28393/stat : 28393 (fscip) R 28379 28385 28221 0 -1 4194368 1415 0 0 0 3 0 0 0 20 0 3 0 4230751 115142656 6355 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
[pid=28385/tid=28394] ppid=28379 vsize=112444 memory=16999 CPUtime=0 cores=4,6
/proc/28385/task/28394/stat : 28394 (fscip) S 28379 28385 28221 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4230752 115142656 6355 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112444 KiB
Current children cumulated memory: 25420 KiB

[startup+0.213418 s]*
/proc/loadavg: 0.15 0.12 0.09 5/250 28396
/proc/meminfo: memFree=128899624/131655788 swapFree=131071996/131071996
[pid=28385] ppid=28379 vsize=112444 memory=28536 CPUtime=0.21 cores=4,6
/proc/28385/stat : 28385 (fscip) S 28379 28385 28221 0 -1 1077936128 4520 0 0 0 20 1 0 0 20 0 3 0 4230744 115142656 7134 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
/proc/28385/statm: 28111 7134 2934 3035 0 10458 0
[pid=28385/tid=28393] ppid=28379 vsize=112444 memory=8505393642823811203 CPUtime=0.14 cores=4,6
/proc/28385/task/28393/stat : 28393 (fscip) R 28379 28385 28221 0 -1 4194368 2069 0 0 0 14 0 0 0 20 0 3 0 4230751 115142656 7134 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
[pid=28385/tid=28394] ppid=28379 vsize=112444 memory=16999 CPUtime=0 cores=4,6
/proc/28385/task/28394/stat : 28394 (fscip) S 28379 28385 28221 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4230752 115142656 7134 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 112444 KiB
Current children cumulated memory: 28536 KiB

[startup+0.312879 s]*
/proc/loadavg: 0.15 0.12 0.09 5/250 28396
/proc/meminfo: memFree=128897588/131655788 swapFree=131071996/131071996
[pid=28385] ppid=28379 vsize=112444 memory=28536 CPUtime=0.31 cores=4,6
/proc/28385/stat : 28385 (fscip) S 28379 28385 28221 0 -1 1077936128 4554 0 0 0 30 1 0 0 20 0 3 0 4230744 115142656 7134 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
/proc/28385/statm: 28111 7134 2934 3035 0 10504 0
[pid=28385/tid=28393] ppid=28379 vsize=112444 memory=-5155626882122935429 CPUtime=0.23 cores=4,6
/proc/28385/task/28393/stat : 28393 (fscip) R 28379 28385 28221 0 -1 4194368 2103 0 0 0 23 0 0 0 20 0 3 0 4230751 115142656 7134 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
[pid=28385/tid=28394] ppid=28379 vsize=112444 memory=0 CPUtime=0 cores=4,6
/proc/28385/task/28394/stat : 28394 (fscip) S 28379 28385 28221 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4230752 115142656 7134 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 112444 KiB
Current children cumulated memory: 28536 KiB

[startup+0.700306 s]
/proc/loadavg: 0.15 0.12 0.09 7/250 28396
/proc/meminfo: memFree=128897000/131655788 swapFree=131071996/131071996
[pid=28385] ppid=28379 vsize=112444 memory=28536 CPUtime=0.69 cores=4,6
/proc/28385/stat : 28385 (fscip) S 28379 28385 28221 0 -1 1077936128 4560 0 0 0 68 1 0 0 20 0 3 0 4230744 115142656 7134 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
/proc/28385/statm: 28111 7134 2934 3035 0 10504 0
[pid=28385/tid=28393] ppid=28379 vsize=112444 memory=0 CPUtime=0.61 cores=4,6
/proc/28385/task/28393/stat : 28393 (fscip) R 28379 28385 28221 0 -1 4194368 2109 0 0 0 61 0 0 0 20 0 3 0 4230751 115142656 7134 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
[pid=28385/tid=28394] ppid=28379 vsize=112444 memory=0 CPUtime=0 cores=4,6
/proc/28385/task/28394/stat : 28394 (fscip) S 28379 28385 28221 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4230752 115142656 7134 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 112444 KiB
Current children cumulated memory: 28536 KiB

[startup+1.50036 s]
/proc/loadavg: 0.15 0.12 0.09 5/250 28398
/proc/meminfo: memFree=128896580/131655788 swapFree=131071996/131071996
[pid=28385] ppid=28379 vsize=121400 memory=50060 CPUtime=1.48 cores=4,6
/proc/28385/stat : 28385 (fscip) S 28379 28385 28221 0 -1 1077936128 11471 0 0 0 146 2 0 0 20 0 3 0 4230744 124313600 12515 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
/proc/28385/statm: 30350 12515 2950 3035 0 15905 0
[pid=28385/tid=28393] ppid=28379 vsize=121400 memory=0 CPUtime=1.41 cores=4,6
/proc/28385/task/28393/stat : 28393 (fscip) R 28379 28385 28221 0 -1 4194368 9012 0 0 0 140 1 0 0 20 0 3 0 4230751 124313600 12515 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
[pid=28385/tid=28394] ppid=28379 vsize=121400 memory=0 CPUtime=0 cores=4,6
/proc/28385/task/28394/stat : 28394 (fscip) S 28379 28385 28221 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4230752 124313600 12515 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 121400 KiB
Current children cumulated memory: 50060 KiB

[startup+3.11263 s]
/proc/loadavg: 0.46 0.18 0.11 5/250 28398
/proc/meminfo: memFree=128641612/131655788 swapFree=131071996/131071996
[pid=28385] ppid=28379 vsize=205040 memory=156436 CPUtime=3.09 cores=4,6
/proc/28385/stat : 28385 (fscip) S 28379 28385 28221 0 -1 1077936128 43284 0 0 0 303 6 0 0 20 0 3 0 4230744 209960960 39109 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
/proc/28385/statm: 51260 39109 2950 3035 0 43311 0
[pid=28385/tid=28393] ppid=28379 vsize=205040 memory=2273 CPUtime=3.01 cores=4,6
/proc/28385/task/28393/stat : 28393 (fscip) R 28379 28385 28221 0 -1 4194368 40831 0 0 0 296 5 0 0 20 0 3 0 4230751 209960960 39109 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
[pid=28385/tid=28394] ppid=28379 vsize=205040 memory=0 CPUtime=0 cores=4,6
/proc/28385/task/28394/stat : 28394 (fscip) S 28379 28385 28221 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4230752 209960960 39109 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 205040 KiB
Current children cumulated memory: 156436 KiB

[startup+6.30031 s]
/proc/loadavg: 0.46 0.18 0.11 5/250 28398
/proc/meminfo: memFree=128632540/131655788 swapFree=131071996/131071996
[pid=28385] ppid=28379 vsize=205040 memory=160048 CPUtime=6.28 cores=4,6
/proc/28385/stat : 28385 (fscip) S 28379 28385 28221 0 -1 1077936128 49563 0 0 0 621 7 0 0 20 0 3 0 4230744 209960960 40012 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
/proc/28385/statm: 51260 40012 2950 3035 0 44364 0
[pid=28385/tid=28393] ppid=28379 vsize=205040 memory=-5155625786906274949 CPUtime=6.2 cores=4,6
/proc/28385/task/28393/stat : 28393 (fscip) R 28379 28385 28221 0 -1 4194368 47076 0 0 0 614 6 0 0 20 0 3 0 4230751 209960960 40012 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
[pid=28385/tid=28394] ppid=28379 vsize=205040 memory=-5155625786906274949 CPUtime=0 cores=4,6
/proc/28385/task/28394/stat : 28394 (fscip) S 28379 28385 28221 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 4230752 209960960 40012 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 205040 KiB
Current children cumulated memory: 160048 KiB

[startup+12.7003 s]
/proc/loadavg: 1.00 0.31 0.16 5/250 28399
/proc/meminfo: memFree=128628320/131655788 swapFree=131071996/131071996
[pid=28385] ppid=28379 vsize=205040 memory=160396 CPUtime=12.66 cores=4,6
/proc/28385/stat : 28385 (fscip) S 28379 28385 28221 0 -1 1077936128 55374 0 0 0 1259 7 0 0 20 0 3 0 4230744 209960960 40099 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
/proc/28385/statm: 51260 40099 2998 3035 0 44364 0
[pid=28385/tid=28393] ppid=28379 vsize=205040 memory=-5155625786906274949 CPUtime=12.58 cores=4,6
/proc/28385/task/28393/stat : 28393 (fscip) R 28379 28385 28221 0 -1 4194368 52814 0 0 0 1252 6 0 0 20 0 3 0 4230751 209960960 40099 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
[pid=28385/tid=28394] ppid=28379 vsize=205040 memory=160396 CPUtime=0 cores=4,6
/proc/28385/task/28394/stat : 28394 (fscip) S 28379 28385 28221 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 4230752 209960960 40099 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 205040 KiB
Current children cumulated memory: 160396 KiB

[startup+25.5003 s]
/proc/loadavg: 1.47 0.43 0.20 5/250 28401
/proc/meminfo: memFree=128546180/131655788 swapFree=131071996/131071996
[pid=28385] ppid=28379 vsize=266952 memory=184524 CPUtime=25.43 cores=4,6
/proc/28385/stat : 28385 (fscip) S 28379 28385 28221 0 -1 1077936128 104575 0 0 0 2533 10 0 0 20 0 3 0 4230744 273358848 46131 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
/proc/28385/statm: 66738 46131 2998 3035 0 50562 0
[pid=28385/tid=28393] ppid=28379 vsize=266952 memory=184524 CPUtime=25.35 cores=4,6
/proc/28385/task/28393/stat : 28393 (fscip) R 28379 28385 28221 0 -1 4194368 101653 0 0 0 2526 9 0 0 20 0 3 0 4230751 273358848 46131 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
[pid=28385/tid=28394] ppid=28379 vsize=266952 memory=12748 CPUtime=0 cores=4,6
/proc/28385/task/28394/stat : 28394 (fscip) S 28379 28385 28221 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 4230752 273358848 46131 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 266952 KiB
Current children cumulated memory: 184524 KiB

[startup+51.1131 s]
/proc/loadavg: 2.55 0.77 0.32 5/253 28464
/proc/meminfo: memFree=128537088/131655788 swapFree=131071996/131071996
[pid=28385] ppid=28379 vsize=266952 memory=184540 CPUtime=50.99 cores=4,6
/proc/28385/stat : 28385 (fscip) S 28379 28385 28221 0 -1 1077936128 127428 0 0 0 5087 12 0 0 20 0 3 0 4230744 273358848 46135 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
/proc/28385/statm: 66738 46135 2998 3035 0 50562 0
[pid=28385/tid=28393] ppid=28379 vsize=266952 memory=184532 CPUtime=50.9 cores=4,6
/proc/28385/task/28393/stat : 28393 (fscip) R 28379 28385 28221 0 -1 4194368 124403 0 0 0 5080 10 0 0 20 0 3 0 4230751 273358848 46135 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
[pid=28385/tid=28394] ppid=28379 vsize=266952 memory=0 CPUtime=0 cores=4,6
/proc/28385/task/28394/stat : 28394 (fscip) S 28379 28385 28221 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 4230752 273358848 46135 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 266952 KiB
Current children cumulated memory: 184540 KiB

[startup+102.3 s]
/proc/loadavg: 3.42 1.31 0.53 5/253 28474
/proc/meminfo: memFree=128354092/131655788 swapFree=131071996/131071996
[pid=28385] ppid=28379 vsize=395976 memory=301180 CPUtime=102.05 cores=4,6
/proc/28385/stat : 28385 (fscip) S 28379 28385 28221 0 -1 1077936128 233860 0 0 0 10183 22 0 0 20 0 3 0 4230744 405479424 75295 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
/proc/28385/statm: 98994 75295 2998 3035 0 79722 0
[pid=28385/tid=28393] ppid=28379 vsize=395976 memory=11392 CPUtime=101.97 cores=4,6
/proc/28385/task/28393/stat : 28393 (fscip) R 28379 28385 28221 0 -1 4194368 230602 0 0 0 10176 21 0 0 20 0 3 0 4230751 405479424 75295 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
[pid=28385/tid=28394] ppid=28379 vsize=395976 memory=12748 CPUtime=0 cores=4,6
/proc/28385/task/28394/stat : 28394 (fscip) S 28379 28385 28221 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 4230752 405479424 75295 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 395976 KiB
Current children cumulated memory: 301180 KiB

[startup+162.3 s]
/proc/loadavg: 3.83 1.82 0.76 5/253 28485
/proc/meminfo: memFree=128267152/131655788 swapFree=131071996/131071996
[pid=28385] ppid=28379 vsize=394952 memory=300184 CPUtime=161.91 cores=4,6
/proc/28385/stat : 28385 (fscip) S 28379 28385 28221 0 -1 1077936128 270087 0 0 0 16166 25 0 0 20 0 3 0 4230744 404430848 75046 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
/proc/28385/statm: 98738 75046 2998 3035 0 79466 0
[pid=28385/tid=28393] ppid=28379 vsize=394952 memory=300172 CPUtime=161.82 cores=4,6
/proc/28385/task/28393/stat : 28393 (fscip) R 28379 28385 28221 0 -1 4194368 266761 0 0 0 16158 24 0 0 20 0 3 0 4230751 404430848 75046 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
[pid=28385/tid=28394] ppid=28379 vsize=394952 memory=300184 CPUtime=0 cores=4,6
/proc/28385/task/28394/stat : 28394 (fscip) S 28379 28385 28221 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 4230752 404430848 75046 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 394952 KiB

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

/proc/28385/statm: 101062 91585 2998 3035 0 94112 0
[pid=28385/tid=28393] ppid=28379 vsize=404248 memory=365144 CPUtime=3453.73 cores=4,6
/proc/28385/task/28393/stat : 28393 (fscip) R 28379 28385 28221 0 -1 4194368 519208 0 0 0 345300 73 0 0 20 0 3 0 4230751 413949952 91585 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
[pid=28385/tid=28394] ppid=28379 vsize=404248 memory=366340 CPUtime=0.04 cores=4,6
/proc/28385/task/28394/stat : 28394 (fscip) S 28379 28385 28221 0 -1 1077936192 166 0 0 0 1 3 0 0 20 0 3 0 4230752 413949952 91585 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
Current children cumulated CPU time: 3454.19 s
Current children cumulated vsize: 404248 KiB
Current children cumulated memory: 366340 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/250 30060
/proc/meminfo: memFree=127953984/131655788 swapFree=131071996/131071996
[pid=28385] ppid=28379 vsize=404248 memory=366420 CPUtime=3514.05 cores=4,6
/proc/28385/stat : 28385 (fscip) S 28379 28385 28221 0 -1 1077936128 526456 0 0 0 351313 92 0 0 20 0 3 0 4230744 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
/proc/28385/statm: 101062 91605 2998 3035 0 94112 0
[pid=28385/tid=28393] ppid=28379 vsize=404248 memory=366340 CPUtime=3513.58 cores=4,6
/proc/28385/task/28393/stat : 28393 (fscip) R 28379 28385 28221 0 -1 4194368 522057 0 0 0 351285 73 0 0 20 0 3 0 4230751 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
[pid=28385/tid=28394] ppid=28379 vsize=404248 memory=366388 CPUtime=0.04 cores=4,6
/proc/28385/task/28394/stat : 28394 (fscip) S 28379 28385 28221 0 -1 1077936192 168 0 0 0 1 3 0 0 20 0 3 0 4230752 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
Current children cumulated CPU time: 3514.05 s
Current children cumulated vsize: 404248 KiB
Current children cumulated memory: 366420 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.13 4.09 5/252 30242
/proc/meminfo: memFree=127950596/131655788 swapFree=131071996/131071996
[pid=28385] ppid=28379 vsize=404248 memory=366420 CPUtime=3573.92 cores=4,6
/proc/28385/stat : 28385 (fscip) S 28379 28385 28221 0 -1 1077936128 529788 0 0 0 357297 95 0 0 20 0 3 0 4230744 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
/proc/28385/statm: 101062 91605 2998 3035 0 94112 0
[pid=28385/tid=28393] ppid=28379 vsize=404248 memory=12748 CPUtime=3573.44 cores=4,6
/proc/28385/task/28393/stat : 28393 (fscip) R 28379 28385 28221 0 -1 4194368 525373 0 0 0 357269 75 0 0 20 0 3 0 4230751 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
[pid=28385/tid=28394] ppid=28379 vsize=404248 memory=366420 CPUtime=0.04 cores=4,6
/proc/28385/task/28394/stat : 28394 (fscip) S 28379 28385 28221 0 -1 1077936192 170 0 0 0 1 3 0 0 20 0 3 0 4230752 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
Current children cumulated CPU time: 3573.92 s
Current children cumulated vsize: 404248 KiB
Current children cumulated memory: 366420 KiB

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

# cumulated CPU time of all completed processes:  user=3588.79 s, system=0.95966 s

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

[startup+3584 s]*
/proc/loadavg: 4.06 4.13 4.09 5/252 30242
/proc/meminfo: memFree=127950624/131655788 swapFree=131071996/131071996
[pid=28385] ppid=28379 vsize=404248 memory=366420 CPUtime=3575.63 cores=4,6
/proc/28385/stat : 28385 (fscip) S 28379 28385 28221 0 -1 1077936128 529797 0 0 0 357468 95 0 0 20 0 3 0 4230744 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
/proc/28385/statm: 101062 91605 2998 3035 0 94112 0
[pid=28385/tid=28393] ppid=28379 vsize=404248 memory=-7450198999674478200 CPUtime=3575.15 cores=4,6
/proc/28385/task/28393/stat : 28393 (fscip) R 28379 28385 28221 0 -1 4194368 525382 0 0 0 357440 75 0 0 20 0 3 0 4230751 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
[pid=28385/tid=28394] ppid=28379 vsize=404248 memory=4354018338998480537 CPUtime=0.04 cores=4,6
/proc/28385/task/28394/stat : 28394 (fscip) S 28379 28385 28221 0 -1 1077936192 170 0 0 0 1 3 0 0 20 0 3 0 4230752 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
Current children cumulated CPU time: 3575.63 s
Current children cumulated vsize: 404248 KiB
Current children cumulated memory: 366420 KiB

[startup+3590.4 s]
/proc/loadavg: 4.06 4.13 4.09 5/252 30242
/proc/meminfo: memFree=127950624/131655788 swapFree=131071996/131071996
[pid=28385] ppid=28379 vsize=404248 memory=366420 CPUtime=3582 cores=4,6
/proc/28385/stat : 28385 (fscip) S 28379 28385 28221 0 -1 1077936128 529845 0 0 0 358105 95 0 0 20 0 3 0 4230744 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
/proc/28385/statm: 101062 91605 2998 3035 0 94112 0
[pid=28385/tid=28393] ppid=28379 vsize=404248 memory=366420 CPUtime=3581.52 cores=4,6
/proc/28385/task/28393/stat : 28393 (fscip) R 28379 28385 28221 0 -1 4194368 525430 0 0 0 358077 75 0 0 20 0 3 0 4230751 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
[pid=28385/tid=28394] ppid=28379 vsize=404248 memory=1876 CPUtime=0.04 cores=4,6
/proc/28385/task/28394/stat : 28394 (fscip) S 28379 28385 28221 0 -1 1077936192 170 0 0 0 1 3 0 0 20 0 3 0 4230752 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
Current children cumulated CPU time: 3582 s
Current children cumulated vsize: 404248 KiB
Current children cumulated memory: 366420 KiB

[startup+3593.6 s]
/proc/loadavg: 4.05 4.12 4.09 5/252 30243
/proc/meminfo: memFree=127950196/131655788 swapFree=131071996/131071996
[pid=28385] ppid=28379 vsize=404248 memory=366420 CPUtime=3585.19 cores=4,6
/proc/28385/stat : 28385 (fscip) S 28379 28385 28221 0 -1 1077936128 529856 0 0 0 358424 95 0 0 20 0 3 0 4230744 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
/proc/28385/statm: 101062 91605 2998 3035 0 94112 0
[pid=28385/tid=28393] ppid=28379 vsize=404248 memory=-7450198999674477945 CPUtime=3584.71 cores=4,6
/proc/28385/task/28393/stat : 28393 (fscip) R 28379 28385 28221 0 -1 4194368 525441 0 0 0 358396 75 0 0 20 0 3 0 4230751 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
[pid=28385/tid=28394] ppid=28379 vsize=404248 memory=366420 CPUtime=0.04 cores=4,6
/proc/28385/task/28394/stat : 28394 (fscip) S 28379 28385 28221 0 -1 1077936192 170 0 0 0 1 3 0 0 20 0 3 0 4230752 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
Current children cumulated CPU time: 3585.19 s
Current children cumulated vsize: 404248 KiB
Current children cumulated memory: 366420 KiB

[startup+3595.2 s]
/proc/loadavg: 4.05 4.12 4.09 5/252 30243
/proc/meminfo: memFree=127950204/131655788 swapFree=131071996/131071996
[pid=28385] ppid=28379 vsize=404248 memory=366420 CPUtime=3586.79 cores=4,6
/proc/28385/stat : 28385 (fscip) S 28379 28385 28221 0 -1 1077936128 529861 0 0 0 358584 95 0 0 20 0 3 0 4230744 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
/proc/28385/statm: 101062 91605 2998 3035 0 94112 0
[pid=28385/tid=28393] ppid=28379 vsize=404248 memory=12748 CPUtime=3586.31 cores=4,6
/proc/28385/task/28393/stat : 28393 (fscip) R 28379 28385 28221 0 -1 4194368 525446 0 0 0 358556 75 0 0 20 0 3 0 4230751 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
[pid=28385/tid=28394] ppid=28379 vsize=404248 memory=12356 CPUtime=0.04 cores=4,6
/proc/28385/task/28394/stat : 28394 (fscip) S 28379 28385 28221 0 -1 1077936192 170 0 0 0 1 3 0 0 20 0 3 0 4230752 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
Current children cumulated CPU time: 3586.79 s
Current children cumulated vsize: 404248 KiB
Current children cumulated memory: 366420 KiB

[startup+3596.8 s]
/proc/loadavg: 4.05 4.12 4.09 5/252 30243
/proc/meminfo: memFree=127950204/131655788 swapFree=131071996/131071996
[pid=28385] ppid=28379 vsize=404248 memory=366420 CPUtime=3588.38 cores=4,6
/proc/28385/stat : 28385 (fscip) S 28379 28385 28221 0 -1 1077936128 529869 0 0 0 358743 95 0 0 20 0 3 0 4230744 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
/proc/28385/statm: 101062 91605 2998 3035 0 94112 0
[pid=28385/tid=28393] ppid=28379 vsize=404248 memory=366420 CPUtime=3587.9 cores=4,6
/proc/28385/task/28393/stat : 28393 (fscip) R 28379 28385 28221 0 -1 4194368 525454 0 0 0 358715 75 0 0 20 0 3 0 4230751 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
[pid=28385/tid=28394] ppid=28379 vsize=404248 memory=366420 CPUtime=0.04 cores=4,6
/proc/28385/task/28394/stat : 28394 (fscip) S 28379 28385 28221 0 -1 1077936192 170 0 0 0 1 3 0 0 20 0 3 0 4230752 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
Current children cumulated CPU time: 3588.38 s
Current children cumulated vsize: 404248 KiB
Current children cumulated memory: 366420 KiB

[startup+3597.6 s]
/proc/loadavg: 4.05 4.12 4.09 3/239 30259
/proc/meminfo: memFree=128387568/131655788 swapFree=131071996/131071996
[pid=28385] ppid=28379 vsize=404248 memory=366420 CPUtime=3589.18 cores=4,6
/proc/28385/stat : 28385 (fscip) S 28379 28385 28221 0 -1 1077936128 529869 0 0 0 358823 95 0 0 20 0 3 0 4230744 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
/proc/28385/statm: 101062 91605 2998 3035 0 94112 0
[pid=28385/tid=28393] ppid=28379 vsize=404248 memory=12748 CPUtime=3588.7 cores=4,6
/proc/28385/task/28393/stat : 28393 (fscip) R 28379 28385 28221 0 -1 4194368 525454 0 0 0 358795 75 0 0 20 0 3 0 4230751 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
[pid=28385/tid=28394] ppid=28379 vsize=404248 memory=280074146398192 CPUtime=0.04 cores=4,6
/proc/28385/task/28394/stat : 28394 (fscip) S 28379 28385 28221 0 -1 1077936192 170 0 0 0 1 3 0 0 20 0 3 0 4230752 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
Current children cumulated CPU time: 3589.18 s
Current children cumulated vsize: 404248 KiB
Current children cumulated memory: 366420 KiB

[startup+3598 s]*
/proc/loadavg: 4.05 4.12 4.09 5/251 30337
/proc/meminfo: memFree=128320768/131655788 swapFree=131071996/131071996
[pid=28385] ppid=28379 vsize=404248 memory=366420 CPUtime=3589.59 cores=4,6
/proc/28385/stat : 28385 (fscip) S 28379 28385 28221 0 -1 1077936128 529954 0 0 0 358864 95 0 0 20 0 3 0 4230744 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
/proc/28385/statm: 101062 91605 2998 3035 0 94112 0
[pid=28385/tid=28393] ppid=28379 vsize=404248 memory=-6000919494215036012 CPUtime=3589.11 cores=4,6
/proc/28385/task/28393/stat : 28393 (fscip) R 28379 28385 28221 0 -1 4194368 525540 0 0 0 358836 75 0 0 20 0 3 0 4230751 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
[pid=28385/tid=28394] ppid=28379 vsize=404248 memory=8272 CPUtime=0.04 cores=4,6
/proc/28385/task/28394/stat : 28394 (fscip) S 28379 28385 28221 0 -1 1077936192 170 0 0 0 1 3 0 0 20 0 3 0 4230752 413949952 91605 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
Current children cumulated CPU time: 3589.59 s
Current children cumulated vsize: 404248 KiB
Current children cumulated memory: 366420 KiB

[startup+3598.11 s]
/proc/loadavg: 4.05 4.12 4.09 5/251 30337
/proc/meminfo: memFree=128320768/131655788 swapFree=131071996/131071996
[pid=28385] ppid=28379 vsize=403220 memory=365392 CPUtime=3589.69 cores=4,6
/proc/28385/stat : 28385 (fscip) S 28379 28385 28221 0 -1 1077936128 531761 0 0 0 358874 95 0 0 20 0 3 0 4230744 412897280 91348 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
/proc/28385/statm: 100805 91348 2998 3035 0 93855 0
[pid=28385/tid=28393] ppid=28379 vsize=403220 memory=366420 CPUtime=3589.21 cores=4,6
/proc/28385/task/28393/stat : 28393 (fscip) R 28379 28385 28221 0 -1 4194368 527345 0 0 0 358846 75 0 0 20 0 3 0 4230751 412897280 91348 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
[pid=28385/tid=28394] ppid=28379 vsize=403220 memory=11392 CPUtime=0.04 cores=4,6
/proc/28385/task/28394/stat : 28394 (fscip) S 28379 28385 28221 0 -1 1077936192 170 0 0 0 1 3 0 0 20 0 3 0 4230752 412897280 91348 134679101440 4194304 16623229 140726148854160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26701824 140726148858902 140726148859018 140726148859018 140726148866032 0
Current children cumulated CPU time: 3589.69 s
Current children cumulated vsize: 403220 KiB
Current children cumulated memory: 365392 KiB

Child status: 0

Real time (s): 3598.16
CPU time (s): 3589.75
CPU user time (s): 3588.79
CPU system time (s): 0.95966
CPU usage (%): 99.7662
Max. virtual memory (cumulated for all children) (KiB): 404248
Max. memory (cumulated for all children) (KiB): 366420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.79
system time used= 0.95966
maximum resident set size= 366420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 531830
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= 13054
involuntary context switches= 2209


# summary of solver processes directly reported to runsolver:
#   pid: 28385
#   total CPU time (s): 3589.75
#   total CPU user time (s): 3588.79
#   total CPU system time (s): 0.95966

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.255 second user time and 29.5981 second system time

The end

Launcher Data

Begin job on nodeC004 at 2024-07-31 00:29:56
IDJOB=4463982
IDBENCH=147543
IDSOLVER=3092
FILE ID=nodeC004/4463982-1722378596
RUNJOBID= nodeC004-1722378594-28232
SLURM_JOB_ID= 8249834
Free space on /tmp= 723724 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.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-4463982-1722378596/watcher-4463982-1722378596 -o /tmp/evaluation-result-4463982-1722378596/solver-4463982-1722378596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722378594-28232 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4463982-1722378596.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 79a11fcf881101c51e0b67ee01609c80
RANDOM SEED=1453536771

nodeC004.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	: 0xb00001f
cpu MHz		: 3040.392
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.242
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.466
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.236
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.239
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 1453.312
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.234
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.363
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128936228 kB
MemAvailable:   129828524 kB
Buffers:           84116 kB
Cached:          1644156 kB
SwapCached:            0 kB
Active:           244060 kB
Inactive:        2046216 kB
Active(anon):       1416 kB
Inactive(anon):   581924 kB
Active(file):     242644 kB
Inactive(file):  1464292 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            114672 kB
Writeback:             0 kB
AnonPages:        561984 kB
Mapped:           109728 kB
Shmem:             21320 kB
KReclaimable:      51116 kB
Slab:             126520 kB
SReclaimable:      51116 kB
SUnreclaim:        75404 kB
KernelStack:        3888 kB
PageTables:        10288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     805464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6848 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      172872 kB
DirectMap2M:     9168896 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 723672 MiB
End job on nodeC004 at 2024-07-31 01:29:55