Trace number 4463974

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-30SAT187 3588.82 3598.17

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb
MD5SUMb1303fc064b9de7d315268cbf770fb1d
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 benchmark181
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 constraint18
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 = 24416256, getVmSize() = 24416256, SCIPgetMemUsed() = 2300917, SCIPgetMemTotal() = 2878445, SCIPgetMemExternEstim() = 1048576
0.00/0.01	c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.07	c ** Estimated virtualMemUsedAtSolver = 17985536, getVmSize() = 29540352, SCIPgetMemUsed() = 3280487, SCIPgetMemTotal() = 6507791, SCIPgetMemExternEstim() = 1048576
0.00/0.07	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.07	c Original Problem   :
0.00/0.07	c   Problem name     : instance-4463974-1722378596
0.00/0.07	c   Variables        : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.07	c   Constraints      : 470
0.00/0.07	c   Objective sense  : minimize
0.00/0.07	c Presolved Problem  :
0.00/0.07	c   Variables        : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.07	c   Constraints      : 565
0.00/0.07	c Constraints        : Number
0.00/0.07	c   knapsack         : 412 
0.00/0.07	c   setppc           : 126 
0.00/0.07	c   logicor          : 27 
0.00/0.07	c ** Instance transfer method used: 0
0.00/0.08	c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.09	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.09	c                                Nodes    Active                                            
0.00/0.09	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.11/0.15	c *       0              0           1         1         217.0000                -          -
0.11/0.15	c *       0              0           1         1         210.0000                -          -
6.16/6.27	c         6              3           2         1         210.0000         162.4185     29.30%
12.35/12.43	c        12              9           8         1         210.0000         162.4185     29.30%
15.05/15.14	c *      15             11          10         1         207.0000         162.4185     27.45%
15.05/15.14	c *      15             11          10         1         206.0000         162.4185     26.83%
15.05/15.14	c *      15             11          10         1         205.0000         162.4185     26.22%
15.05/15.14	c *      15             11          10         1         202.0000         162.4185     24.37%
15.05/15.14	c *      15             11          10         1         198.0000         162.4185     21.91%
15.05/15.15	c *      15             11          10         1         197.0000         162.4185     21.29%
18.23/18.37	c        18             91          90         1         197.0000         162.4185     21.29%
24.12/24.26	c        24            167         166         1         197.0000         162.4185     21.29%
24.32/24.41	c *      24            167         166         1         196.0000         162.4185     20.68%
24.32/24.41	c *      24            167         166         1         192.0000         162.4185     18.21%
24.32/24.45	c *      24            167         166         1         191.0000         162.4185     17.60%
29.80/29.92	c        30            278         277         1         191.0000         162.4185     17.60%
35.08/35.25	c        35            392         391         1         191.0000         162.4185     17.60%
40.57/40.75	c        41            475         474         1         191.0000         162.4185     17.60%
46.06/46.25	c        46            564         563         1         191.0000         162.4185     17.60%
51.74/51.90	c        52            631         630         1         191.0000         162.4185     17.60%
57.34/57.57	c        58            712         711         1         191.0000         162.4185     17.60%
62.93/63.15	c        63            787         786         1         191.0000         162.4185     17.60%
68.21/68.44	c        68            896         895         1         191.0000         162.4185     17.60%
73.50/73.74	c        74           1007        1006         1         191.0000         162.4185     17.60%
80.48/80.72	c        81           1056           6         1         191.0000         162.6789     17.41%
85.67/85.93	c        86           1104          54         1         191.0000         163.0175     17.17%
91.46/91.75	c        92           1183         133         1         191.0000         163.0547     17.14%
97.54/97.80	c        98           1452         392         1         191.0000         163.0861     17.12%
97.85/98.16	c *      98           1452         392         1         190.0000         163.0861     16.50%
97.85/98.16	c *      98           1452         392         1         189.0000         163.0861     15.89%
102.53/102.82	c       103           1602         417         1         189.0000         163.1378     15.85%
107.62/107.93	c       108           1871         424         1         189.0000         163.1447     15.85%
113.40/113.72	c       114           2061         496         1         189.0000         163.2457     15.78%
118.50/118.88	c       119           2291         560         1         189.0000         163.3025     15.74%
124.38/124.77	c       125           2581         628         1         189.0000         163.3316     15.72%
129.87/130.24	c       130           2873         706         1         189.0000         163.3963     15.67%
135.05/135.45	c       135           3051         768         1         189.0000         163.4345     15.64%
140.75/141.19	c       141           3268         841         1         189.0000         163.4564     15.63%
145.93/146.32	c       146           3513         900         1         189.0000         163.5009     15.60%
151.41/151.80	c       152           3723         962         1         189.0000         163.5230     15.58%
157.01/157.40	c       157           3939        1040         1         189.0000         163.5612     15.55%
162.79/163.23	c       163           4284        1127         1         189.0000         163.5943     15.53%
168.47/168.98	c       169           4573        1202         1         189.0000         163.6079     15.52%
174.06/174.58	c       175           4924        1331         1         189.0000         163.6464     15.49%
179.45/179.99	c       180           5185        1408         1         189.0000         163.6542     15.49%
184.84/185.32	c       185           5441        1472         1         189.0000         163.6832     15.47%
190.53/191.07	c       191           5771        1560         1         189.0000         163.7195     15.44%
195.81/196.34	c       196           6141        1680         1         189.0000         163.7229     15.44%
201.09/201.60	c       202           6481        1748         1         189.0000         163.7367     15.43%
206.08/206.67	c       207           6623        1818         1         189.0000         163.7412     15.43%
211.67/212.27	c       212           6821        1860         1         189.0000         163.7690     15.41%
216.66/217.29	c       217           7051        1932         1         189.0000         163.7864     15.39%
221.85/222.43	c       222           7401        2004         1         189.0000         163.7961     15.39%
226.93/227.55	c       228           7513        2052         1         189.0000         163.8029     15.38%
232.43/233.06	c       233           7871        2160         1         189.0000         163.8266     15.37%
237.51/238.19	c       238           8246        2273         1         189.0000         163.8366     15.36%
242.89/243.56	c       244           8654        2397         1         189.0000         163.8462     15.35%
248.28/248.90	c       249           8892        2469         1         189.0000         163.8679     15.34%
253.97/254.61	c       255           9081        2534         1         189.0000         163.8908     15.32%
259.25/259.92	c       260           9331        2626         1         189.0000         163.9124     15.31%
264.35/265.03	c       265           9641        2686         1         189.0000         163.9281     15.29%
268.33/269.01	c *     269           9841        2716         1         188.0000         163.9342     14.68%
269.82/270.55	c       271           9921        2620         1         188.0000         163.9423     14.67%
275.81/276.52	c       277          10191        2706         1         188.0000         163.9631     14.66%
280.80/281.58	c       282          10401        2774         1         188.0000         163.9830     14.65%
286.58/287.36	c       287          10670        2871         1         188.0000         163.9959     14.64%
291.97/292.73	c       293          10926        2929         1         188.0000         164.0188     14.62%
297.95/298.72	c       299          11221        3032         1         188.0000         164.0407     14.61%
302.94/303.73	c       304          11555        3116         1         188.0000         164.0437     14.60%
307.93/308.77	c       309          11804        3173         1         188.0000         164.0513     14.60%
313.41/314.25	c       314          12271        3274         1         188.0000         164.0606     14.59%
318.60/319.49	c       319          12651        3348         1         188.0000         164.0761     14.58%
323.69/324.56	c       325          12981        3420         1         188.0000         164.0860     14.57%
329.38/330.25	c       330          13253        3498         1         188.0000         164.1026     14.56%
335.18/336.02	c       336          13583        3584         1         188.0000         164.1158     14.55%
340.65/341.55	c       342          13837        3674         1         188.0000         164.1305     14.54%
345.93/346.86	c       347          14283        3738         1         188.0000         164.1360     14.54%
351.33/352.21	c       352          14465        3852         1         188.0000         164.1428     14.53%
357.01/357.92	c       358          14947        3940         1         188.0000         164.1584     14.52%
363.11/364.02	c       364          15372        4005         1         188.0000         164.1696     14.52%
368.78/369.73	c       370          15731        4066         1         188.0000         164.1739     14.51%
374.46/375.44	c       375          16271        4140         1         188.0000         164.1792     14.51%
380.45/381.47	c       381          16571        4192         1         188.0000         164.1897     14.50%
386.05/387.03	c       387          16975        4260         1         188.0000         164.2082     14.49%
391.93/392.94	c       393          17325        4358         1         188.0000         164.2299     14.47%
397.61/398.65	c       399          17541        4426         1         188.0000         164.2371     14.47%
403.01/404.08	c       404          17966        4495         1         188.0000         164.2381     14.47%
409.18/410.20	c       410          18323        4630         1         188.0000         164.2434     14.46%
414.98/416.06	c       416          18619        4746         1         188.0000         164.2537     14.46%
420.45/421.53	c       422          19026        4863         1         188.0000         164.2603     14.45%
425.84/426.94	c       427          19231        4906         1         188.0000         164.2673     14.45%
431.33/432.45	c       432          19601        4996         1         188.0000         164.2750     14.44%
436.92/438.07	c       438          20071        5070         1         188.0000         164.2813     14.44%
442.01/443.13	c       443          20341        5138         1         188.0000         164.2864     14.43%
447.49/448.62	c       449          20721        5254         1         188.0000         164.3044     14.42%
453.28/454.47	c       454          21065        5350         1         188.0000         164.3107     14.42%
458.56/459.70	c       460          21311        5432         1         188.0000         164.3212     14.41%
463.75/464.99	c       465          21871        5484         1         188.0000         164.3245     14.41%
468.85/470.03	c       470          22121        5590         1         188.0000         164.3288     14.40%
474.83/476.02	c       476          22580        5731         1         188.0000         164.3358     14.40%
480.41/481.68	c       482          22921        5818         1         188.0000         164.3444     14.39%
486.40/487.67	c       488          23311        5902         1         188.0000         164.3479     14.39%
492.37/493.65	c       494          23841        6004         1         188.0000         164.3523     14.39%
497.46/498.75	c       499          24261        6090         1         188.0000         164.3539     14.39%
502.85/504.12	c       504          24691        6220         1         188.0000         164.3583     14.38%
508.64/509.90	c       510          25158        6311         1         188.0000         164.3627     14.38%
514.02/515.33	c       515          25631        6454         1         188.0000         164.3665     14.38%
519.82/521.17	c       521          25921        6534         1         188.0000         164.3744     14.37%
524.89/526.23	c       526          26333        6592         1         188.0000         164.3758     14.37%
530.58/531.97	c       532          26721        6662         1         188.0000         164.3831     14.37%
535.96/537.33	c       537          27115        6760         1         188.0000         164.3908     14.36%
541.05/542.47	c       542          27381        6888         1         188.0000         164.3943     14.36%
546.74/548.16	c       548          27761        6988         1         188.0000         164.3960     14.36%
551.43/552.88	c *     553          28041        7030         1         187.0000         164.4060     13.74%
552.22/553.64	c       554          28161        6668         1         187.0000         164.4077     13.74%
557.71/559.11	c       559          28591        6756         1         187.0000         164.4131     13.74%
563.18/564.69	c       565          29041        6884         1         187.0000         164.4167     13.74%
568.87/570.39	c       570          29451        6982         1         187.0000         164.4188     13.73%
574.46/575.99	c       576          29781        7118         1         187.0000         164.4229     13.73%
579.74/581.28	c       581          30246        7243         1         187.0000         164.4257     13.73%
584.72/586.29	c       586          30611        7332         1         187.0000         164.4303     13.73%
590.62/592.13	c       592          31051        7420         1         187.0000         164.4321     13.72%
595.89/597.45	c       597          31421        7552         1         187.0000         164.4365     13.72%
601.67/603.20	c       603          31653        7620         1         187.0000         164.4383     13.72%
606.66/608.25	c       608          31843        7670         1         187.0000         164.4413     13.72%
612.24/613.85	c       614          32091        7754         1         187.0000         164.4426     13.72%
617.54/619.15	c       619          32371        7804         1         187.0000         164.4448     13.72%
623.21/624.83	c       625          32683        7944         1         187.0000         164.4455     13.72%
628.59/630.22	c       630          32941        7998         1         187.0000         164.4479     13.71%
633.68/635.31	c       635          33111        8078         1         187.0000         164.4498     13.71%
639.06/640.78	c       641          33340        8147         1         187.0000         164.4525     13.71%
644.24/645.91	c       646          33603        8192         1         187.0000         164.4547     13.71%
650.02/651.73	c       652          34023        8278         1         187.0000         164.4569     13.71%
655.11/656.81	c       657          34231        8344         1         187.0000         164.4625     13.70%
660.20/661.96	c       662          34441        8454         1         187.0000         164.4650     13.70%
665.68/667.42	c       667          34684        8551         1         187.0000         164.4671     13.70%
671.16/672.95	c       673          34981        8636         1         187.0000         164.4707     13.70%
676.75/678.56	c       679          35200        8729         1         187.0000         164.4745     13.70%
681.93/683.75	c       684          35489        8806         1         187.0000         164.4768     13.69%
686.93/688.78	c       689          35653        8850         1         187.0000         164.4804     13.69%
692.71/694.55	c       695          35921        8912         1         187.0000         164.4836     13.69%
697.90/699.79	c       700          36077        8970         1         187.0000         164.4870     13.69%
702.98/704.88	c       705          36391        9020         1         187.0000         164.4879     13.69%
708.36/710.23	c       710          36630        9087         1         187.0000         164.4911     13.68%
714.26/716.12	c       716          37024        9191         1         187.0000         164.4923     13.68%
719.93/721.86	c       722          37451        9280         1         187.0000         164.4944     13.68%
725.92/727.83	c       728          37691        9364         1         187.0000         164.4992     13.68%
732.00/733.93	c       734          37883        9432         1         187.0000         164.5007     13.68%
737.79/739.77	c       740          38103        9502         1         187.0000         164.5021     13.68%
742.98/744.96	c       745          38346        9563         1         187.0000         164.5033     13.68%
748.76/750.73	c       751          38604        9633         1         187.0000         164.5052     13.67%
754.35/756.39	c       756          38783        9718         1         187.0000         164.5066     13.67%
759.83/761.83	c       762          39101        9758         1         187.0000         164.5080     13.67%
765.83/767.80	c       768          39466        9869         1         187.0000         164.5096     13.67%
771.41/773.42	c       773          39851        9978         1         187.0000         164.5116     13.67%
776.70/778.77	c       779          40141       10054         1         187.0000         164.5118     13.67%
781.79/783.82	c       784          40263       10122         1         187.0000         164.5136     13.67%
787.17/789.25	c       789          40669       10196         1         187.0000         164.5146     13.67%
792.96/795.11	c       795          40981       10270         1         187.0000         164.5161     13.67%
798.34/800.45	c       800          41231       10352         1         187.0000         164.5186     13.66%
803.81/805.93	c       806          41456       10407         1         187.0000         164.5198     13.66%
809.50/811.69	c       812          41741       10508         1         187.0000         164.5218     13.66%
815.28/817.45	c       817          42120       10587         1         187.0000         164.5230     13.66%
820.67/822.85	c       823          42333       10664         1         187.0000         164.5265     13.66%
826.26/828.46	c       828          42576       10729         1         187.0000         164.5298     13.66%
831.44/833.67	c       834          42751       10788         1         187.0000         164.5334     13.65%
837.32/839.57	c       840          42951       10844         1         187.0000         164.5369     13.65%
842.71/844.92	c       845          43131       10898         1         187.0000         164.5394     13.65%
847.80/850.07	c       850          43311       10940         1         187.0000         164.5414     13.65%
852.79/855.10	c       855          43571       11010         1         187.0000         164.5445     13.65%
857.88/860.18	c       860          43793       11076         1         187.0000         164.5451     13.65%
863.76/866.03	c       866          44090       11141         1         187.0000         164.5471     13.65%
869.04/871.38	c       871          44433       11192         1         187.0000         164.5489     13.64%
874.23/876.57	c       877          44658       11247         1         187.0000         164.5515     13.64%
879.52/881.85	c       882          45039       11320         1         187.0000         164.5523     13.64%
885.41/887.74	c       888          45233       11376         1         187.0000         164.5550     13.64%
890.49/892.81	c       893          45491       11422         1         187.0000         164.5564     13.64%
896.28/898.62	c       899          45763       11506         1         187.0000         164.5590     13.64%
901.46/903.90	c       904          46071       11548         1         187.0000         164.5597     13.64%
906.84/909.25	c       909          46234       11617         1         187.0000         164.5615     13.64%
912.53/914.99	c       915          46461       11674         1         187.0000         164.5630     13.63%
917.63/920.05	c       920          46637       11738         1         187.0000         164.5641     13.63%
923.40/925.84	c       926          46903       11800         1         187.0000         164.5650     13.63%
929.09/931.59	c       932          47193       11840         1         187.0000         164.5668     13.63%
934.59/937.08	c       937          47441       11880         1         187.0000         164.5685     13.63%
939.76/942.21	c       942          47711       11938         1         187.0000         164.5690     13.63%
945.15/947.69	c       948          48064       11995         1         187.0000         164.5699     13.63%
950.64/953.12	c       953          48301       12060         1         187.0000         164.5717     13.63%
956.11/958.69	c       959          48541       12118         1         187.0000         164.5730     13.63%
961.20/963.75	c       964          48801       12180         1         187.0000         164.5746     13.63%
967.18/969.70	c       970          49058       12267         1         187.0000         164.5780     13.62%
972.86/975.41	c       975          49273       12348         1         187.0000         164.5796     13.62%
978.84/981.42	c       981          49582       12411         1         187.0000         164.5820     13.62%
984.02/986.63	c       987          49923       12532         1         187.0000         164.5832     13.62%
989.91/992.59	c       993          50213       12574         1         187.0000         164.5864     13.62%
995.89/998.50	c       998          50539       12650         1         187.0000         164.5881     13.62%
1001.77/1004.42	c      1004          50823       12702         1         187.0000         164.5890     13.62%
1007.15/1009.89	c      1010          51228       12777         1         187.0000         164.5901     13.62%
1012.36/1015.07	c      1015          51401       12840         1         187.0000         164.5913     13.61%
1018.12/1020.80	c      1021          51645       12898         1         187.0000         164.5931     13.61%
1023.70/1026.41	c      1026          52091       12932         1         187.0000         164.5941     13.61%
1029.40/1032.19	c      1032          52392       12977         1         187.0000         164.5959     13.61%
1034.48/1037.24	c      1037          52805       13036         1         187.0000         164.5971     13.61%
1040.28/1043.07	c      1043          53141       13118         1         187.0000         164.5990     13.61%
1045.65/1048.45	c      1048          53275       13174         1         187.0000         164.6004     13.61%
1051.53/1054.31	c      1054          53522       13279         1         187.0000         164.6040     13.61%
1056.52/1059.34	c      1059          53807       13368         1         187.0000         164.6042     13.61%
1061.71/1064.56	c      1065          54131       13430         1         187.0000         164.6069     13.60%
1066.79/1069.65	c      1070          54326       13507         1         187.0000         164.6085     13.60%
1072.68/1075.53	c      1076          54761       13606         1         187.0000         164.6116     13.60%
1078.07/1080.99	c      1081          55041       13656         1         187.0000         164.6127     13.60%
1083.17/1086.07	c      1086          55360       13757         1         187.0000         164.6143     13.60%
1089.25/1092.17	c      1092          55641       13824         1         187.0000         164.6155     13.60%
1094.42/1097.30	c      1097          55931       13884         1         187.0000         164.6165     13.60%
1099.50/1102.45	c      1102          56165       13930         1         187.0000         164.6176     13.60%
1104.68/1107.61	c      1108          56521       14004         1         187.0000         164.6180     13.60%
1110.47/1113.40	c      1113          56881       14052         1         187.0000         164.6190     13.60%
1115.46/1118.49	c      1118          57041       14106         1         187.0000         164.6195     13.60%
1120.64/1123.66	c      1124          57260       14173         1         187.0000         164.6211     13.59%
1126.44/1129.45	c      1129          57571       14246         1         187.0000         164.6235     13.59%
1131.62/1134.62	c      1135          57801       14294         1         187.0000         164.6246     13.59%
1136.91/1139.98	c      1140          58011       14374         1         187.0000         164.6264     13.59%
1142.79/1145.88	c      1146          58211       14448         1         187.0000         164.6275     13.59%
1148.67/1151.75	c      1152          58515       14518         1         187.0000         164.6287     13.59%
1153.86/1156.96	c      1157          58880       14569         1         187.0000         164.6310     13.59%
1158.84/1162.01	c      1162          59171       14618         1         187.0000         164.6326     13.59%
1164.74/1167.85	c      1168          59439       14670         1         187.0000         164.6339     13.59%
1169.82/1172.94	c      1173          59631       14734         1         187.0000         164.6348     13.58%
1175.31/1178.46	c      1178          59871       14796         1         187.0000         164.6369     13.58%
1181.19/1184.35	c      1184          60113       14850         1         187.0000         164.6382     13.58%
1186.78/1189.91	c      1190          60264       14919         1         187.0000         164.6393     13.58%
1191.87/1195.04	c      1195          60461       14974         1         187.0000         164.6417     13.58%
1196.86/1200.07	c      1200          60681       15018         1         187.0000         164.6421     13.58%
1202.25/1205.40	c      1205          60951       15116         1         187.0000         164.6439     13.58%
1207.23/1210.43	c      1210          61256       15175         1         187.0000         164.6450     13.58%
1212.83/1216.04	c      1216          61561       15270         1         187.0000         164.6468     13.58%
1218.11/1221.32	c      1221          61902       15407         1         187.0000         164.6484     13.58%
1223.69/1227.01	c      1227          62251       15518         1         187.0000         164.6503     13.57%
1229.07/1232.35	c      1232          62460       15605         1         187.0000         164.6516     13.57%
1234.45/1237.76	c      1238          62751       15696         1         187.0000         164.6523     13.57%
1239.75/1243.01	c      1243          63031       15746         1         187.0000         164.6527     13.57%
1245.22/1248.58	c      1249          63449       15814         1         187.0000         164.6536     13.57%
1250.51/1253.80	c      1254          63651       15882         1         187.0000         164.6548     13.57%
1256.30/1259.67	c      1260          63946       15979         1         187.0000         164.6560     13.57%
1261.98/1265.35	c      1265          64411       16056         1         187.0000         164.6573     13.57%
1267.28/1270.67	c      1271          64661       16108         1         187.0000         164.6585     13.57%
1272.77/1276.13	c      1276          64941       16186         1         187.0000         164.6592     13.57%
1278.05/1281.47	c      1281          65228       16267         1         187.0000         164.6604     13.57%
1283.13/1286.56	c      1287          65431       16332         1         187.0000         164.6617     13.57%
1289.22/1292.69	c      1293          65651       16398         1         187.0000         164.6652     13.56%
1294.50/1298.01	c      1298          65911       16474         1         187.0000         164.6663     13.56%
1299.78/1303.24	c      1303          66107       16552         1         187.0000         164.6677     13.56%
1305.07/1308.55	c      1309          66523       16596         1         187.0000         164.6683     13.56%
1310.26/1313.77	c      1314          66771       16674         1         187.0000         164.6711     13.56%
1316.05/1319.53	c      1320          67116       16761         1         187.0000         164.6728     13.56%
1321.83/1325.38	c      1325          67461       16838         1         187.0000         164.6743     13.56%
1326.92/1330.43	c      1330          67683       16908         1         187.0000         164.6756     13.56%
1332.80/1336.37	c      1336          68034       16961         1         187.0000         164.6762     13.56%
1338.19/1341.72	c      1342          68261       17014         1         187.0000         164.6767     13.56%
1343.48/1347.05	c      1347          68605       17074         1         187.0000         164.6772     13.56%
1348.58/1352.12	c      1352          68791       17124         1         187.0000         164.6795     13.55%
1354.15/1357.78	c      1358          68996       17185         1         187.0000         164.6799     13.55%
1359.34/1362.94	c      1363          69341       17272         1         187.0000         164.6812     13.55%
1364.53/1368.12	c      1368          69631       17346         1         187.0000         164.6827     13.55%
1369.61/1373.25	c      1373          69891       17408         1         187.0000         164.6844     13.55%
1374.70/1378.30	c      1378          70071       17490         1         187.0000         164.6861     13.55%
1380.40/1384.03	c      1384          70321       17544         1         187.0000         164.6875     13.55%
1386.07/1389.72	c      1390          70558       17649         1         187.0000         164.6896     13.55%
1391.56/1395.26	c      1395          70895       17740         1         187.0000         164.6909     13.55%
1396.64/1400.31	c      1400          71201       17806         1         187.0000         164.6934     13.54%
1401.63/1405.35	c      1405          71371       17878         1         187.0000         164.6947     13.54%
1406.81/1410.56	c      1411          71653       17934         1         187.0000         164.6950     13.54%
1412.00/1415.77	c      1416          71852       18003         1         187.0000         164.6968     13.54%
1417.79/1421.52	c      1422          72161       18072         1         187.0000         164.6982     13.54%
1422.98/1426.77	c      1427          72443       18154         1         187.0000         164.6991     13.54%
1428.56/1432.39	c      1432          72718       18231         1         187.0000         164.6999     13.54%
1433.86/1437.64	c      1438          72943       18260         1         187.0000         164.7010     13.54%
1439.25/1443.01	c      1443          73213       18336         1         187.0000         164.7025     13.54%
1444.42/1448.27	c      1448          73481       18392         1         187.0000         164.7051     13.54%
1449.90/1453.78	c      1454          73681       18476         1         187.0000         164.7060     13.54%
1455.09/1458.94	c      1459          74021       18512         1         187.0000         164.7068     13.54%
1460.19/1464.06	c      1464          74221       18590         1         187.0000         164.7086     13.53%
1465.56/1469.47	c      1469          74584       18673         1         187.0000         164.7094     13.53%
1471.05/1474.98	c      1475          74771       18736         1         187.0000         164.7107     13.53%
1476.33/1480.20	c      1480          74961       18798         1         187.0000         164.7118     13.53%
1481.42/1485.30	c      1485          75106       18869         1         187.0000         164.7139     13.53%
1486.51/1490.41	c      1490          75291       18938         1         187.0000         164.7159     13.53%
1491.70/1495.67	c      1496          75481       19000         1         187.0000         164.7177     13.53%
1497.29/1501.27	c      1501          75761       19044         1         187.0000         164.7183     13.53%
1502.87/1506.89	c      1507          75961       19124         1         187.0000         164.7197     13.53%
1508.45/1512.42	c      1512          76131       19188         1         187.0000         164.7212     13.53%
1513.74/1517.77	c      1518          76311       19254         1         187.0000         164.7222     13.52%
1519.53/1523.50	c      1524          76652       19311         1         187.0000         164.7240     13.52%
1525.12/1529.17	c      1529          76904       19379         1         187.0000         164.7252     13.52%
1530.90/1535.01	c      1535          77111       19434         1         187.0000         164.7257     13.52%
1536.19/1540.22	c      1540          77371       19506         1         187.0000         164.7269     13.52%
1541.57/1545.61	c      1546          77661       19574         1         187.0000         164.7280     13.52%
1547.46/1551.56	c      1552          77916       19673         1         187.0000         164.7301     13.52%
1553.34/1557.48	c      1557          78154       19739         1         187.0000         164.7315     13.52%
1559.23/1563.36	c      1563          78475       19816         1         187.0000         164.7334     13.52%
1564.22/1568.37	c      1568          78831       19860         1         187.0000         164.7337     13.52%
1569.41/1573.55	c      1574          79100       19929         1         187.0000         164.7349     13.52%
1575.19/1579.34	c      1579          79293       19986         1         187.0000         164.7353     13.52%
1581.08/1585.24	c      1585          79588       20069         1         187.0000         164.7367     13.51%
1586.36/1590.54	c      1591          79853       20124         1         187.0000         164.7370     13.51%
1591.35/1595.58	c      1596          80087       20182         1         187.0000         164.7375     13.51%
1596.54/1600.77	c      1601          80331       20246         1         187.0000         164.7389     13.51%
1602.13/1606.30	c      1606          80603       20314         1         187.0000         164.7392     13.51%
1607.61/1611.84	c      1612          80831       20382         1         187.0000         164.7407     13.51%
1613.19/1617.44	c      1617          81103       20430         1         187.0000         164.7411     13.51%
1618.38/1622.68	c      1623          81427       20496         1         187.0000         164.7430     13.51%
1623.57/1627.88	c      1628          81691       20558         1         187.0000         164.7434     13.51%
1628.95/1633.29	c      1633          81991       20598         1         187.0000         164.7446     13.51%
1635.53/1639.82	c      1640          82203       20686         1         187.0000         164.7456     13.51%
1640.63/1644.94	c      1645          82433       20746         1         187.0000         164.7464     13.51%
1646.21/1650.53	c      1651          82698       20795         1         187.0000         164.7476     13.51%
1651.30/1655.62	c      1656          82971       20846         1         187.0000         164.7499     13.51%
1656.99/1661.34	c      1661          83253       20920         1         187.0000         164.7506     13.50%
1662.17/1666.55	c      1667          83501       20984         1         187.0000         164.7517     13.50%
1667.16/1671.57	c      1672          83701       21040         1         187.0000         164.7550     13.50%
1672.93/1677.38	c      1677          83963       21104         1         187.0000         164.7555     13.50%
1678.83/1683.29	c      1683          84201       21194         1         187.0000         164.7572     13.50%
1684.12/1688.50	c      1688          84421       21244         1         187.0000         164.7580     13.50%
1689.71/1694.19	c      1694          84613       21324         1         187.0000         164.7588     13.50%
1695.88/1700.35	c      1700          84913       21384         1         187.0000         164.7612     13.50%
1701.47/1706.01	c      1706          85180       21473         1         187.0000         164.7621     13.50%
1706.76/1711.28	c      1711          85550       21557         1         187.0000         164.7632     13.50%
1712.24/1716.72	c      1717          85821       21656         1         187.0000         164.7648     13.50%
1717.83/1722.36	c      1722          86068       21729         1         187.0000         164.7650     13.49%
1723.71/1728.24	c      1728          86323       21796         1         187.0000         164.7659     13.49%
1729.30/1733.87	c      1734          86561       21864         1         187.0000         164.7673     13.49%
1734.39/1738.97	c      1739          86789       21930         1         187.0000         164.7691     13.49%
1739.77/1744.30	c      1744          87101       22024         1         187.0000         164.7703     13.49%
1745.16/1749.74	c      1750          87382       22125         1         187.0000         164.7711     13.49%
1751.04/1755.62	c      1756          87832       22267         1         187.0000         164.7719     13.49%
1756.74/1761.36	c      1761          88033       22346         1         187.0000         164.7736     13.49%
1761.73/1766.39	c      1766          88203       22416         1         187.0000         164.7741     13.49%
1767.01/1771.69	c      1772          88547       22506         1         187.0000         164.7741     13.49%
1772.70/1777.39	c      1777          88883       22564         1         187.0000         164.7752     13.49%
1778.09/1782.76	c      1783          89099       22630         1         187.0000         164.7758     13.49%
1783.57/1788.26	c      1788          89351       22716         1         187.0000         164.7776     13.49%
1789.37/1794.03	c      1794          89610       22803         1         187.0000         164.7785     13.49%
1794.63/1799.33	c      1799          89871       22880         1         187.0000         164.7803     13.48%
1799.62/1804.37	c      1804          90111       22956         1         187.0000         164.7808     13.48%
1804.91/1809.62	c      1810          90381       23018         1         187.0000         164.7812     13.48%
1810.69/1815.49	c      1815          90636       23127         1         187.0000         164.7823     13.48%
1816.68/1821.50	c      1821          91011       23196         1         187.0000         164.7833     13.48%
1822.56/1827.32	c      1827          91221       23290         1         187.0000         164.7851     13.48%
1828.26/1833.08	c      1833          91521       23382         1         187.0000         164.7875     13.48%
1833.94/1838.76	c      1839          91781       23450         1         187.0000         164.7882     13.48%
1839.73/1844.58	c      1845          92231       23592         1         187.0000         164.7885     13.48%
1845.61/1850.47	c      1850          92515       23688         1         187.0000         164.7901     13.48%
1851.89/1856.73	c      1857          92833       23742         1         187.0000         164.7905     13.48%
1857.58/1862.41	c      1862          93181       23850         1         187.0000         164.7919     13.48%
1862.97/1867.89	c      1868          93481       23920         1         187.0000         164.7925     13.48%
1868.06/1872.97	c      1873          93811       23988         1         187.0000         164.7937     13.48%
1873.04/1877.99	c      1878          93981       24036         1         187.0000         164.7946     13.47%
1879.32/1884.27	c      1884          94323       24108         1         187.0000         164.7956     13.47%
1884.52/1889.44	c      1889          94581       24166         1         187.0000         164.7963     13.47%
1890.00/1894.92	c      1895          94918       24271         1         187.0000         164.7968     13.47%
1895.49/1900.43	c      1900          95311       24358         1         187.0000         164.7976     13.47%
1900.77/1905.74	c      1906          95511       24424         1         187.0000         164.7989     13.47%
1906.36/1911.36	c      1911          95843       24508         1         187.0000         164.7996     13.47%
1911.64/1916.60	c      1917          96261       24590         1         187.0000         164.8007     13.47%
1917.74/1922.78	c      1923          96501       24688         1         187.0000         164.8025     13.47%
1923.31/1928.32	c      1928          96821       24756         1         187.0000         164.8028     13.47%
1928.60/1933.60	c      1934          97101       24828         1         187.0000         164.8039     13.47%
1934.38/1939.46	c      1939          97361       24908         1         187.0000         164.8055     13.47%
1939.87/1944.92	c      1945          97671       24968         1         187.0000         164.8063     13.47%
1945.75/1950.87	c      1951          97953       25030         1         187.0000         164.8072     13.47%
1951.34/1956.40	c      1956          98272       25089         1         187.0000         164.8087     13.46%
1956.93/1962.02	c      1962          98497       25162         1         187.0000         164.8101     13.46%
1962.01/1967.11	c      1967          98721       25218         1         187.0000         164.8104     13.46%
1967.29/1972.45	c      1972          98961       25304         1         187.0000         164.8109     13.46%
1972.99/1978.11	c      1978          99197       25388         1         187.0000         164.8120     13.46%
1978.07/1983.21	c      1983          99561       25430         1         187.0000         164.8126     13.46%
1984.05/1989.20	c      1989          99911       25508         1         187.0000         164.8141     13.46%
1989.53/1994.79	c      1995         100220       25565         1         187.0000         164.8152     13.46%
1994.62/1999.86	c      2000         100581       25628         1         187.0000         164.8168     13.46%
1999.71/2004.97	c      2005         100781       25694         1         187.0000         164.8180     13.46%
2005.80/2011.03	c      2011         101013       25766         1         187.0000         164.8189     13.46%
2011.18/2016.40	c      2016         101241       25852         1         187.0000         164.8198     13.46%
2016.46/2021.70	c      2022         101651       25924         1         187.0000         164.8212     13.46%
2021.45/2026.76	c      2027         101851       25990         1         187.0000         164.8228     13.46%
2027.25/2032.58	c      2033         102117       26082         1         187.0000         164.8244     13.45%
2033.03/2038.39	c      2038         102528       26149         1         187.0000         164.8256     13.45%
2038.91/2044.20	c      2044         102823       26228         1         187.0000         164.8270     13.45%
2044.30/2049.67	c      2050         102991       26292         1         187.0000         164.8278     13.45%
2049.58/2055.01	c      2055         103310       26349         1         187.0000         164.8283     13.45%
2054.97/2060.32	c      2060         103551       26420         1         187.0000         164.8297     13.45%
2060.67/2066.04	c      2066         103879       26508         1         187.0000         164.8300     13.45%
2065.94/2071.37	c      2071         104222       26595         1         187.0000         164.8311     13.45%
2071.13/2076.50	c      2076         104531       26664         1         187.0000         164.8326     13.45%
2076.41/2081.85	c      2082         104661       26744         1         187.0000         164.8336     13.45%
2081.40/2086.88	c      2087         104901       26800         1         187.0000         164.8342     13.45%
2086.60/2092.09	c      2092         105220       26879         1         187.0000         164.8348     13.45%
2091.98/2097.45	c      2097         105601       26924         1         187.0000         164.8352     13.45%
2097.57/2103.01	c      2103         105852       27005         1         187.0000         164.8359     13.45%
2102.95/2108.43	c      2108         106034       27069         1         187.0000         164.8366     13.45%
2107.93/2113.47	c      2113         106341       27132         1         187.0000         164.8371     13.45%
2113.71/2119.27	c      2119         106637       27208         1         187.0000         164.8387     13.44%
2119.61/2125.19	c      2125         107018       27293         1         187.0000         164.8401     13.44%
2124.89/2130.47	c      2130         107273       27344         1         187.0000         164.8407     13.44%
2129.87/2135.49	c      2135         107531       27440         1         187.0000         164.8425     13.44%
2135.16/2140.72	c      2141         107841       27506         1         187.0000         164.8435     13.44%
2140.94/2146.56	c      2147         108221       27570         1         187.0000         164.8441     13.44%
2146.45/2152.06	c      2152         108471       27634         1         187.0000         164.8446     13.44%
2152.22/2157.81	c      2158         108801       27690         1         187.0000         164.8453     13.44%
2157.52/2163.17	c      2163         109074       27771         1         187.0000         164.8462     13.44%
2163.00/2168.65	c      2169         109375       27842         1         187.0000         164.8467     13.44%
2168.78/2174.48	c      2174         109693       27910         1         187.0000         164.8473     13.44%
2173.87/2179.56	c      2180         110091       27982         1         187.0000         164.8478     13.44%
2179.56/2185.25	c      2185         110261       28068         1         187.0000         164.8489     13.44%
2184.55/2190.27	c      2190         110431       28136         1         187.0000         164.8494     13.44%
2190.04/2195.79	c      2196         110741       28206         1         187.0000         164.8498     13.44%
2196.02/2201.77	c      2202         110979       28286         1         187.0000         164.8507     13.44%
2201.60/2207.30	c      2207         111351       28372         1         187.0000         164.8514     13.44%
2207.47/2213.25	c      2213         111553       28452         1         187.0000         164.8525     13.43%
2213.06/2218.84	c      2219         111791       28528         1         187.0000         164.8539     13.43%
2218.14/2223.95	c      2224         112071       28606         1         187.0000         164.8544     13.43%
2223.24/2229.05	c      2229         112231       28668         1         187.0000         164.8555     13.43%
2228.82/2234.67	c      2235         112451       28738         1         187.0000         164.8565     13.43%
2234.61/2240.44	c      2240         112731       28832         1         187.0000         164.8579     13.43%
2240.00/2245.89	c      2246         112901       28888         1         187.0000         164.8583     13.43%
2245.38/2251.22	c      2251         113221       28952         1         187.0000         164.8597     13.43%
2250.67/2256.51	c      2257         113421       29032         1         187.0000         164.8600     13.43%
2256.27/2262.18	c      2262         113701       29126         1         187.0000         164.8613     13.43%
2261.44/2267.32	c      2267         113981       29188         1         187.0000         164.8625     13.43%
2266.83/2272.74	c      2273         114171       29274         1         187.0000         164.8639     13.43%
2272.42/2278.34	c      2278         114481       29348         1         187.0000         164.8648     13.43%
2277.61/2283.54	c      2284         114752       29401         1         187.0000         164.8652     13.43%
2282.90/2288.80	c      2289         115012       29457         1         187.0000         164.8660     13.43%
2288.19/2294.12	c      2294         115281       29530         1         187.0000         164.8677     13.42%
2293.87/2299.87	c      2300         115511       29600         1         187.0000         164.8687     13.42%
2299.66/2305.63	c      2306         115683       29668         1         187.0000         164.8698     13.42%
2304.75/2310.74	c      2311         116000       29731         1         187.0000         164.8708     13.42%
2310.04/2316.09	c      2316         116380       29773         1         187.0000         164.8715     13.42%
2315.32/2321.37	c      2321         116951       29820         1         187.0000         164.8721     13.42%
2320.81/2326.89	c      2327         117152       29903         1         187.0000         164.8729     13.42%
2326.29/2332.33	c      2332         117631       29956         1         187.0000         164.8735     13.42%
2331.58/2337.65	c      2338         118081       30020         1         187.0000         164.8740     13.42%
2337.17/2343.20	c      2343         118371       30100         1         187.0000         164.8747     13.42%
2342.75/2348.87	c      2349         118768       30171         1         187.0000         164.8753     13.42%
2348.74/2354.82	c      2355         119033       30248         1         187.0000         164.8757     13.42%
2354.12/2360.28	c      2360         119311       30312         1         187.0000         164.8764     13.42%
2359.31/2365.46	c      2365         119561       30370         1         187.0000         164.8767     13.42%
2364.50/2370.69	c      2371         119821       30446         1         187.0000         164.8775     13.42%
2369.78/2375.91	c      2376         120101       30514         1         187.0000         164.8785     13.42%
2374.88/2381.03	c      2381         120323       30586         1         187.0000         164.8788     13.42%
2380.66/2386.84	c      2387         120714       30633         1         187.0000         164.8796     13.42%
2386.34/2392.54	c      2393         120953       30700         1         187.0000         164.8812     13.42%
2391.74/2397.92	c      2398         121268       30767         1         187.0000         164.8816     13.41%
2396.73/2402.96	c      2403         121621       30830         1         187.0000         164.8831     13.41%
2402.01/2408.26	c      2408         121991       30896         1         187.0000         164.8849     13.41%
2407.30/2413.50	c      2414         122271       30980         1         187.0000         164.8854     13.41%
2412.90/2419.16	c      2419         122493       31060         1         187.0000         164.8857     13.41%
2418.27/2424.53	c      2425         122641       31136         1         187.0000         164.8865     13.41%
2423.86/2430.15	c      2430         122831       31228         1         187.0000         164.8882     13.41%
2429.54/2435.81	c      2436         123091       31298         1         187.0000         164.8892     13.41%
2435.02/2441.30	c      2441         123389       31358         1         187.0000         164.8898     13.41%
2440.20/2446.50	c      2446         123621       31426         1         187.0000         164.8907     13.41%
2445.79/2452.15	c      2452         123821       31504         1         187.0000         164.8910     13.41%
2451.37/2457.77	c      2458         124093       31594         1         187.0000         164.8917     13.41%
2456.46/2462.89	c      2463         124315       31658         1         187.0000         164.8922     13.41%
2462.35/2468.72	c      2469         124671       31726         1         187.0000         164.8931     13.41%
2467.93/2474.37	c      2474         124873       31788         1         187.0000         164.8942     13.41%
2473.12/2479.57	c      2480         125107       31856         1         187.0000         164.8948     13.41%
2478.31/2484.79	c      2485         125423       31904         1         187.0000         164.8951     13.41%
2483.49/2490.01	c      2490         125660       31969         1         187.0000         164.8958     13.40%
2488.68/2495.16	c      2495         125914       32055         1         187.0000         164.8967     13.40%
2494.17/2500.65	c      2501         126241       32114         1         187.0000         164.8976     13.40%
2499.15/2505.68	c      2506         126566       32165         1         187.0000         164.8983     13.40%
2504.24/2510.74	c      2511         126781       32264         1         187.0000         164.8995     13.40%
2509.43/2515.94	c      2516         127181       32412         1         187.0000         164.8996     13.40%
2514.41/2520.95	c      2521         127404       32481         1         187.0000         164.8999     13.40%
2519.70/2526.27	c      2526         127606       32595         1         187.0000         164.9005     13.40%
2524.99/2531.59	c      2532         127871       32668         1         187.0000         164.9017     13.40%
2530.58/2537.17	c      2537         128148       32769         1         187.0000         164.9021     13.40%
2536.05/2542.68	c      2543         128381       32830         1         187.0000         164.9037     13.40%
2541.35/2547.97	c      2548         128662       32915         1         187.0000         164.9041     13.40%
2546.93/2553.52	c      2554         129051       33032         1         187.0000         164.9050     13.40%
2552.61/2559.26	c      2559         129331       33108         1         187.0000         164.9056     13.40%
2558.40/2565.10	c      2565         129531       33194         1         187.0000         164.9064     13.40%
2563.77/2570.41	c      2570         129673       33248         1         187.0000         164.9067     13.40%
2569.05/2575.72	c      2576         129911       33320         1         187.0000         164.9079     13.40%
2574.15/2580.82	c      2581         130171       33388         1         187.0000         164.9084     13.40%
2579.63/2586.30	c      2586         130611       33466         1         187.0000         164.9095     13.40%
2585.32/2592.09	c      2592         130901       33534         1         187.0000         164.9104     13.39%
2590.49/2597.25	c      2597         131101       33622         1         187.0000         164.9114     13.39%
2596.29/2603.09	c      2603         131529       33684         1         187.0000         164.9121     13.39%
2601.38/2608.11	c      2608         131791       33762         1         187.0000         164.9141     13.39%
2607.26/2614.10	c      2614         132091       33828         1         187.0000         164.9149     13.39%
2612.73/2619.53	c      2620         132351       33900         1         187.0000         164.9157     13.39%
2617.72/2624.54	c      2625         132571       33988         1         187.0000         164.9170     13.39%
2623.70/2630.53	c      2631         132818       34077         1         187.0000         164.9176     13.39%
2628.89/2635.71	c      2636         133191       34132         1         187.0000         164.9185     13.39%
2634.37/2641.22	c      2641         133511       34200         1         187.0000         164.9191     13.39%
2639.66/2646.52	c      2647         133801       34278         1         187.0000         164.9204     13.39%
2645.54/2652.47	c      2652         134056       34355         1         187.0000         164.9211     13.39%
2650.94/2657.87	c      2658         134331       34420         1         187.0000         164.9222     13.39%
2656.62/2663.52	c      2664         134551       34492         1         187.0000         164.9240     13.39%
2661.91/2668.87	c      2669         134879       34568         1         187.0000         164.9251     13.38%
2667.80/2674.77	c      2675         135180       34647         1         187.0000         164.9257     13.38%
2673.78/2680.71	c      2681         135441       34724         1         187.0000         164.9263     13.38%
2678.97/2686.01	c      2686         135831       34806         1         187.0000         164.9278     13.38%
2684.26/2691.24	c      2691         136096       34887         1         187.0000         164.9284     13.38%
2689.84/2696.86	c      2697         136371       34962         1         187.0000         164.9287     13.38%
2695.23/2702.25	c      2702         136728       35071         1         187.0000         164.9292     13.38%
2700.72/2707.79	c      2708         137255       35124         1         187.0000         164.9293     13.38%
2706.40/2713.46	c      2713         137541       35226         1         187.0000         164.9300     13.38%
2711.40/2718.48	c      2718         137831       35288         1         187.0000         164.9305     13.38%
2716.89/2723.94	c      2724         138031       35366         1         187.0000         164.9316     13.38%
2722.08/2729.19	c      2729         138289       35440         1         187.0000         164.9317     13.38%
2727.35/2734.49	c      2734         138552       35501         1         187.0000         164.9323     13.38%
2732.54/2739.61	c      2740         138860       35561         1         187.0000         164.9325     13.38%
2738.13/2745.28	c      2745         139091       35634         1         187.0000         164.9336     13.38%
2743.92/2751.09	c      2751         139311       35716         1         187.0000         164.9341     13.38%
2749.50/2756.67	c      2757         139588       35775         1         187.0000         164.9347     13.38%
2755.49/2762.64	c      2763         139793       35842         1         187.0000         164.9356     13.38%
2760.67/2767.80	c      2768         140213       35892         1         187.0000         164.9358     13.38%
2766.05/2773.21	c      2773         140421       35966         1         187.0000         164.9367     13.38%
2771.54/2778.70	c      2779         140636       36045         1         187.0000         164.9372     13.38%
2776.85/2784.07	c      2784         140921       36110         1         187.0000         164.9379     13.38%
2782.52/2789.77	c      2790         141228       36181         1         187.0000         164.9381     13.38%
2787.61/2794.87	c      2795         141441       36246         1         187.0000         164.9394     13.37%
2792.91/2800.11	c      2800         141731       36308         1         187.0000         164.9403     13.37%
2798.58/2805.83	c      2806         142032       36387         1         187.0000         164.9408     13.37%
2804.48/2811.79	c      2812         142296       36459         1         187.0000         164.9412     13.37%
2809.66/2816.92	c      2817         142621       36518         1         187.0000         164.9419     13.37%
2814.64/2821.99	c      2822         142891       36572         1         187.0000         164.9422     13.37%
2820.13/2827.45	c      2827         143131       36628         1         187.0000         164.9427     13.37%
2825.12/2832.46	c      2832         143421       36702         1         187.0000         164.9431     13.37%
2830.41/2837.74	c      2838         143813       36760         1         187.0000         164.9433     13.37%
2835.89/2843.22	c      2843         144081       36824         1         187.0000         164.9445     13.37%
2841.79/2849.17	c      2849         144340       36897         1         187.0000         164.9459     13.37%
2847.77/2855.11	c      2855         144571       36972         1         187.0000         164.9461     13.37%
2853.05/2860.49	c      2860         144761       37046         1         187.0000         164.9473     13.37%
2858.44/2865.90	c      2866         145081       37128         1         187.0000         164.9489     13.37%
2863.82/2871.27	c      2871         145491       37198         1         187.0000         164.9492     13.37%
2868.81/2876.29	c      2876         145701       37268         1         187.0000         164.9502     13.37%
2874.30/2881.70	c      2882         146011       37336         1         187.0000         164.9507     13.37%
2879.60/2887.05	c      2887         146211       37402         1         187.0000         164.9512     13.37%
2885.48/2893.01	c      2893         146540       37465         1         187.0000         164.9517     13.37%
2891.26/2898.75	c      2899         146851       37532         1         187.0000         164.9523     13.37%
2896.65/2904.12	c      2904         147231       37612         1         187.0000         164.9529     13.37%
2902.43/2909.92	c      2910         147541       37686         1         187.0000         164.9535     13.37%
2907.52/2915.06	c      2915         147771       37742         1         187.0000         164.9546     13.36%
2912.70/2920.27	c      2920         147971       37832         1         187.0000         164.9560     13.36%
2918.88/2926.41	c      2926         148481       37936         1         187.0000         164.9565     13.36%
2924.17/2931.73	c      2932         148723       38008         1         187.0000         164.9573     13.36%
2929.47/2937.10	c      2937         149071       38078         1         187.0000         164.9577     13.36%
2934.95/2942.56	c      2943         149291       38156         1         187.0000         164.9585     13.36%
2940.73/2948.36	c      2948         149756       38233         1         187.0000         164.9590     13.36%
2946.43/2954.04	c      2954         150028       38257         1         187.0000         164.9592     13.36%
2951.52/2959.11	c      2959         150331       38336         1         187.0000         164.9602     13.36%
2956.60/2964.24	c      2964         150661       38390         1         187.0000         164.9610     13.36%
2962.19/2969.87	c      2970         150973       38466         1         187.0000         164.9614     13.36%
2967.87/2975.56	c      2976         151387       38524         1         187.0000         164.9617     13.36%
2972.95/2980.63	c      2981         151701       38572         1         187.0000         164.9621     13.36%
2978.84/2986.55	c      2987         151946       38651         1         187.0000         164.9629     13.36%
2984.72/2992.42	c      2992         152151       38724         1         187.0000         164.9635     13.36%
2989.91/2997.61	c      2998         152421       38790         1         187.0000         164.9643     13.36%
2994.90/3002.67	c      3003         152621       38856         1         187.0000         164.9649     13.36%
3000.49/3008.29	c      3008         152821       38922         1         187.0000         164.9654     13.36%
3005.68/3013.40	c      3013         153153       39012         1         187.0000         164.9656     13.36%
3011.27/3019.06	c      3019         153381       39090         1         187.0000         164.9667     13.36%
3017.05/3024.86	c      3025         153570       39167         1         187.0000         164.9679     13.36%
3022.34/3030.18	c      3030         153870       39253         1         187.0000         164.9687     13.35%
3027.82/3035.66	c      3036         154091       39336         1         187.0000         164.9704     13.35%
3032.80/3040.69	c      3041         154355       39392         1         187.0000         164.9710     13.35%
3038.20/3046.10	c      3046         154781       39462         1         187.0000         164.9721     13.35%
3043.59/3051.41	c      3051         155031       39512         1         187.0000         164.9723     13.35%
3049.47/3057.35	c      3057         155289       39586         1         187.0000         164.9726     13.35%
3055.27/3063.14	c      3063         155503       39670         1         187.0000         164.9737     13.35%
3060.44/3068.33	c      3068         155853       39762         1         187.0000         164.9741     13.35%
3066.02/3073.92	c      3074         156221       39836         1         187.0000         164.9748     13.35%
3071.12/3079.02	c      3079         156498       39893         1         187.0000         164.9751     13.35%
3076.29/3084.24	c      3084         156731       39966         1         187.0000         164.9761     13.35%
3082.57/3090.57	c      3091         157013       40034         1         187.0000         164.9767     13.35%
3087.97/3095.98	c      3096         157261       40108         1         187.0000         164.9773     13.35%
3093.07/3101.10	c      3101         157471       40160         1         187.0000         164.9781     13.35%
3098.16/3106.15	c      3106         157711       40224         1         187.0000         164.9783     13.35%
3103.33/3111.37	c      3111         157901       40316         1         187.0000         164.9789     13.35%
3108.71/3116.72	c      3117         158151       40380         1         187.0000         164.9794     13.35%
3114.28/3122.32	c      3122         158521       40432         1         187.0000         164.9798     13.35%
3119.99/3128.01	c      3128         158721       40518         1         187.0000         164.9803     13.35%
3125.56/3133.63	c      3134         158901       40578         1         187.0000         164.9806     13.35%
3130.54/3138.67	c      3139         159101       40646         1         187.0000         164.9815     13.35%
3136.12/3144.23	c      3144         159311       40716         1         187.0000         164.9816     13.35%
3141.81/3149.98	c      3150         159641       40788         1         187.0000         164.9820     13.35%
3147.60/3155.72	c      3156         159831       40864         1         187.0000         164.9825     13.35%
3152.78/3160.98	c      3161         160036       40943         1         187.0000         164.9830     13.35%
3157.88/3166.07	c      3166         160304       41007         1         187.0000         164.9836     13.34%
3163.25/3171.47	c      3171         160621       41076         1         187.0000         164.9842     13.34%
3169.03/3177.22	c      3177         160903       41160         1         187.0000         164.9847     13.34%
3174.11/3182.30	c      3182         161221       41212         1         187.0000         164.9852     13.34%
3179.20/3187.43	c      3187         161611       41282         1         187.0000         164.9856     13.34%
3184.38/3192.68	c      3193         161813       41360         1         187.0000         164.9859     13.34%
3189.47/3197.74	c      3198         162041       41434         1         187.0000         164.9869     13.34%
3195.15/3203.46	c      3203         162301       41518         1         187.0000         164.9876     13.34%
3200.84/3209.13	c      3209         162611       41586         1         187.0000         164.9880     13.34%
3206.62/3214.97	c      3215         162901       41666         1         187.0000         164.9883     13.34%
3212.60/3220.95	c      3221         163087       41740         1         187.0000         164.9888     13.34%
3217.80/3226.11	c      3226         163301       41802         1         187.0000         164.9894     13.34%
3223.17/3231.50	c      3232         163533       41854         1         187.0000         164.9896     13.34%
3228.76/3237.18	c      3237         163797       41928         1         187.0000         164.9904     13.34%
3234.34/3242.77	c      3243         164127       42002         1         187.0000         164.9915     13.34%
3239.42/3247.87	c      3248         164461       42048         1         187.0000         164.9922     13.34%
3245.11/3253.56	c      3254         164781       42134         1         187.0000         164.9928     13.34%
3250.50/3258.95	c      3259         165031       42224         1         187.0000         164.9932     13.34%
3255.69/3264.12	c      3264         165267       42292         1         187.0000         164.9937     13.34%
3261.68/3270.13	c      3270         165514       42377         1         187.0000         164.9943     13.34%
3267.36/3275.82	c      3276         165811       42468         1         187.0000         164.9950     13.34%
3272.44/3280.97	c      3281         166021       42532         1         187.0000         164.9956     13.34%
3277.93/3286.49	c      3286         166281       42610         1         187.0000         164.9965     13.34%
3283.11/3291.65	c      3292         166551       42680         1         187.0000         164.9976     13.33%
3288.69/3297.26	c      3297         166791       42742         1         187.0000         164.9984     13.33%
3294.08/3302.64	c      3303         167011       42814         1         187.0000         164.9995     13.33%
3299.47/3308.07	c      3308         167263       42872         1         187.0000         165.0000     13.33%
3304.64/3313.26	c      3313         167595       42932         1         187.0000         165.0003     13.33%
3310.13/3318.79	c      3319         167951       43022         1         187.0000         165.0011     13.33%
3315.43/3324.06	c      3324         168141       43102         1         187.0000         165.0017     13.33%
3320.80/3329.41	c      3329         168381       43178         1         187.0000         165.0030     13.33%
3326.39/3335.08	c      3335         168591       43268         1         187.0000         165.0040     13.33%
3332.16/3340.80	c      3341         168771       43350         1         187.0000         165.0046     13.33%
3337.47/3346.17	c      3346         169061       43426         1         187.0000         165.0050     13.33%
3342.45/3351.18	c      3351         169339       43484         1         187.0000         165.0058     13.33%
3348.22/3356.90	c      3357         169651       43572         1         187.0000         165.0076     13.33%
3353.50/3362.28	c      3362         169821       43640         1         187.0000         165.0079     13.33%
3359.40/3368.19	c      3368         170200       43713         1         187.0000         165.0082     13.33%
3365.07/3373.86	c      3374         170601       43798         1         187.0000         165.0088     13.33%
3370.16/3378.91	c      3379         170801       43870         1         187.0000         165.0096     13.33%
3375.35/3384.17	c      3384         171251       43922         1         187.0000         165.0099     13.33%
3380.82/3389.63	c      3390         171631       43992         1         187.0000         165.0101     13.33%
3386.51/3395.38	c      3395         171938       44083         1         187.0000         165.0105     13.33%
3392.20/3401.11	c      3401         172241       44154         1         187.0000         165.0111     13.33%
3397.77/3406.63	c      3407         172481       44232         1         187.0000         165.0116     13.33%
3402.75/3411.69	c      3412         173039       44270         1         187.0000         165.0120     13.33%
3408.44/3417.31	c      3417         173319       44340         1         187.0000         165.0126     13.32%
3414.13/3423.05	c      3423         173807       44402         1         187.0000         165.0130     13.32%
3419.30/3428.26	c      3428         174121       44482         1         187.0000         165.0134     13.32%
3425.29/3434.22	c      3434         174498       44575         1         187.0000         165.0141     13.32%
3430.78/3439.72	c      3440         174741       44660         1         187.0000         165.0147     13.32%
3436.17/3445.16	c      3445         175051       44722         1         187.0000         165.0154     13.32%
3441.35/3450.36	c      3450         175281       44792         1         187.0000         165.0157     13.32%
3446.63/3455.63	c      3456         175581       44852         1         187.0000         165.0167     13.32%
3452.41/3461.46	c      3461         175996       44915         1         187.0000         165.0173     13.32%
3458.19/3467.28	c      3467         176327       44998         1         187.0000         165.0180     13.32%
3463.87/3472.92	c      3473         176693       45052         1         187.0000         165.0191     13.32%
3468.86/3477.98	c      3478         177021       45134         1         187.0000         165.0197     13.32%
3474.65/3483.77	c      3484         177243       45224         1         187.0000         165.0203     13.32%
3480.13/3489.20	c      3489         177575       45310         1         187.0000         165.0209     13.32%
3485.71/3494.83	c      3495         177861       45384         1         187.0000         165.0216     13.32%
3491.49/3500.62	c      3501         178251       45468         1         187.0000         165.0220     13.32%
3497.07/3506.23	c      3506         178541       45542         1         187.0000         165.0225     13.32%
3502.15/3511.30	c      3511         178803       45590         1         187.0000         165.0231     13.32%
3507.55/3516.75	c      3517         179120       45667         1         187.0000         165.0232     13.32%
3512.54/3521.79	c      3522         179391       45728         1         187.0000         165.0238     13.32%
3517.93/3527.13	c      3527         179741       45790         1         187.0000         165.0241     13.32%
3523.61/3532.87	c      3533         180081       45842         1         187.0000         165.0246     13.32%
3529.49/3538.71	c      3539         180321       45936         1         187.0000         165.0250     13.32%
3535.37/3544.66	c      3545         180593       46022         1         187.0000         165.0253     13.32%
3541.46/3550.70	c      3551         180991       46094         1         187.0000         165.0261     13.32%
3546.86/3556.14	c      3556         181210       46177         1         187.0000         165.0265     13.32%
3552.64/3561.90	c      3562         181631       46256         1         187.0000         165.0273     13.31%
3557.92/3567.26	c      3567         181911       46320         1         187.0000         165.0278     13.31%
3563.41/3572.74	c      3573         182231       46384         1         187.0000         165.0282     13.31%
3568.70/3578.01	c      3578         182536       46437         1         187.0000         165.0285     13.31%
3574.57/3584.01	c      3584         182939       46512         1         187.0000         165.0287     13.31%
3579.86/3589.27	c      3589         183201       46598         1         187.0000         165.0294     13.31%
3584.95/3594.35	c      3594         183461       46666         1         187.0000         165.0301     13.31%
3588.75/3598.16	c SCIP Status        : c solving was interrupted [hard time limit reached]
3588.75/3598.16	c Total Time         : 3598.15
3588.75/3598.16	c   solving          : 3598.15
3588.75/3598.16	c   presolving       : 0.06 (included in solving)
3588.75/3598.16	c B&B Tree           :
3588.75/3598.16	c   nodes (total)    : 1
3588.75/3598.16	c Solution           :
3588.75/3598.16	c   Solutions found  : 16
3588.75/3598.16	c   Primal Bound     : +1.87000000000000e+02
3588.75/3598.16	c   Dual Bound       : +1.65030269952724e+02
3588.75/3598.16	c Gap                : 13.31255 %
3588.75/3598.16	c * Warning: final gap: 1.33125e-01 is greater than SCIPepsilon: 1.00000e-09
3588.75/3598.16	o 187
3588.75/3598.16	s SATISFIABLE
3588.75/3598.16	v -x470 x469 -x468 -x467 -x466 x465 x464 -x463 -x462 -x461 x460 -x459 x458 x457 x456 x455 x454 -x453 -x452 x451 -x450 x449 x448 -x447 
3588.75/3598.16	v x446 x445 -x444 -x443 x442 -x441 x440 x439 x438 x437 -x436 -x435 x434 -x433 -x432 x431 -x430 -x429 x428 -x427 x426 x425 
3588.75/3598.16	v -x424 x423 -x422 x421 -x420 -x419 x418 -x417 x416 -x415 x414 -x413 -x412 -x411 x410 -x409 x408 -x407 x406 x405 -x404 x403 -x402 
3588.75/3598.16	v x401 x400 -x399 -x398 -x397 x396 -x395 x394 -x393 -x392 x391 x390 -x389 -x388 x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 
3588.75/3598.16	v x379 -x378 x377 -x376 x375 -x374 -x373 -x372 x371 -x370 x369 -x368 -x367 -x366 -x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 
3588.75/3598.16	v -x357 x356 x355 x354 -x353 -x352 -x351 x350 x349 -x348 -x347 x346 x345 -x344 x343 -x342 -x341 -x340 x339 x338 -x337 x336 x335 
3588.75/3598.16	v x334 x333 -x332 x331 -x330 x329 x328 -x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 x315 -x314 -x313 
3588.75/3598.16	v x312 -x311 -x310 x309 x308 -x307 x306 -x305 x304 -x303 -x302 x301 -x300 -x299 -x298 x297 x296 -x295 x294 -x293 -x292 x291 
3588.75/3598.16	v -x290 x289 -x288 -x287 x286 x285 x284 -x283 -x282 -x281 -x280 x279 x278 -x277 x276 x275 -x274 x273 -x272 x271 -x270 -x269 -x268 
3588.75/3598.16	v -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 x258 -x257 -x256 -x255 -x254 -x253 x252 x251 -x250 -x249 x248 x247 x246 
3588.75/3598.16	v x245 x244 -x243 x242 -x241 -x240 x239 x238 -x237 -x236 -x235 x234 x233 -x232 -x231 x230 -x229 -x228 x227 -x226 -x225 x224 
3588.75/3598.16	v -x223 x222 -x221 -x220 -x219 x218 x217 -x216 -x215 -x214 -x213 -x212 x211 -x210 x209 x208 -x207 x206 x205 -x204 -x203 x202 x201 
3588.75/3598.16	v -x200 x199 x198 -x197 -x196 -x195 -x194 -x193 x192 x191 -x190 -x189 -x188 -x187 -x186 x185 x184 -x183 -x182 x181 x180 x179 
3588.75/3598.16	v x178 -x177 -x176 -x175 x174 x173 -x172 -x171 -x170 -x169 x168 x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 
3588.75/3598.16	v -x156 -x155 x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 x137 -x136 -x135 
3588.75/3598.16	v -x134 -x133 x132 -x131 -x130 x129 x128 x127 x126 x125 -x124 x123 x122 x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 
3588.75/3598.16	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 -x88 
3588.75/3598.16	v 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 
3588.75/3598.16	v -x61 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 
3588.75/3598.16	v x34 -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 
3588.75/3598.16	v -x6 -x5 x4 -x3 -x2 x1 

Verifier Data

OK	187

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463974-1722378596/watcher-4463974-1722378596 -o /tmp/evaluation-result-4463974-1722378596/solver-4463974-1722378596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722378594-28008 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463974-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=28255, runsolver pid=28252

[startup+0.11017 s]*
/proc/loadavg: 0.43 0.16 0.11 5/252 28262
/proc/meminfo: memFree=129042060/131655788 swapFree=131071728/131071996
[pid=28255] ppid=28252 vsize=112476 memory=25432 CPUtime=0.11 cores=4,6
/proc/28255/stat : 28255 (fscip) S 28252 28255 27997 0 -1 1077936128 3867 0 0 0 10 1 0 0 20 0 3 0 4229991 115175424 6358 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
/proc/28255/statm: 28119 6358 2806 3035 0 9806 0
[pid=28255/tid=28260] ppid=28252 vsize=112476 memory=4026531971 CPUtime=0.03 cores=4,6
/proc/28255/task/28260/stat : 28260 (fscip) R 28252 28255 27997 0 -1 4194368 1413 0 0 0 3 0 0 0 20 0 3 0 4229998 115175424 6358 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
[pid=28255/tid=28262] ppid=28252 vsize=112476 memory=1633 CPUtime=0 cores=4,6
/proc/28255/task/28262/stat : 28262 (fscip) S 28252 28255 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4230000 115175424 6358 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 112476 KiB
Current children cumulated memory: 25432 KiB

[startup+0.212749 s]*
/proc/loadavg: 0.43 0.16 0.11 6/250 28262
/proc/meminfo: memFree=129040784/131655788 swapFree=131071728/131071996
[pid=28255] ppid=28252 vsize=112476 memory=28532 CPUtime=0.21 cores=4,6
/proc/28255/stat : 28255 (fscip) S 28252 28255 27997 0 -1 1077936128 4555 0 0 0 20 1 0 0 20 0 3 0 4229991 115175424 7133 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
/proc/28255/statm: 28119 7133 2934 3035 0 10498 0
[pid=28255/tid=28260] ppid=28252 vsize=112476 memory=7945036259700375671 CPUtime=0.13 cores=4,6
/proc/28255/task/28260/stat : 28260 (fscip) R 28252 28255 27997 0 -1 4194368 2101 0 0 0 13 0 0 0 20 0 3 0 4229998 115175424 7133 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
[pid=28255/tid=28262] ppid=28252 vsize=112476 memory=1617 CPUtime=0 cores=4,6
/proc/28255/task/28262/stat : 28262 (fscip) S 28252 28255 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4230000 115175424 7133 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 112476 KiB
Current children cumulated memory: 28532 KiB

[startup+0.31252 s]*
/proc/loadavg: 0.43 0.16 0.11 6/250 28263
/proc/meminfo: memFree=129010960/131655788 swapFree=131071728/131071996
[pid=28255] ppid=28252 vsize=112476 memory=28796 CPUtime=0.31 cores=4,6
/proc/28255/stat : 28255 (fscip) S 28252 28255 27997 0 -1 1077936128 4585 0 0 0 30 1 0 0 20 0 3 0 4229991 115175424 7199 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
/proc/28255/statm: 28119 7199 2934 3035 0 10526 0
[pid=28255/tid=28260] ppid=28252 vsize=112476 memory=6944656425123290226 CPUtime=0.23 cores=4,6
/proc/28255/task/28260/stat : 28260 (fscip) R 28252 28255 27997 0 -1 4194368 2131 0 0 0 23 0 0 0 20 0 3 0 4229998 115175424 7199 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
[pid=28255/tid=28262] ppid=28252 vsize=112476 memory=-5155633492094381189 CPUtime=0 cores=4,6
/proc/28255/task/28262/stat : 28262 (fscip) S 28252 28255 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4230000 115175424 7199 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 112476 KiB
Current children cumulated memory: 28796 KiB

[startup+0.700327 s]
/proc/loadavg: 0.43 0.16 0.11 6/256 28273
/proc/meminfo: memFree=129001764/131655788 swapFree=131071728/131071996
[pid=28255] ppid=28252 vsize=112476 memory=28796 CPUtime=0.68 cores=4,6
/proc/28255/stat : 28255 (fscip) S 28252 28255 27997 0 -1 1077936128 4590 0 0 0 67 1 0 0 20 0 3 0 4229991 115175424 7199 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
/proc/28255/statm: 28119 7199 2934 3035 0 10527 0
[pid=28255/tid=28260] ppid=28252 vsize=112476 memory=0 CPUtime=0.6 cores=4,6
/proc/28255/task/28260/stat : 28260 (fscip) R 28252 28255 27997 0 -1 4194368 2136 0 0 0 60 0 0 0 20 0 3 0 4229998 115175424 7199 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
[pid=28255/tid=28262] ppid=28252 vsize=112476 memory=0 CPUtime=0 cores=4,6
/proc/28255/task/28262/stat : 28262 (fscip) S 28252 28255 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4230000 115175424 7199 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 112476 KiB
Current children cumulated memory: 28796 KiB

[startup+1.50038 s]
/proc/loadavg: 0.43 0.16 0.11 6/256 28273
/proc/meminfo: memFree=128941356/131655788 swapFree=131071728/131071996
[pid=28255] ppid=28252 vsize=121832 memory=58516 CPUtime=1.48 cores=4,6
/proc/28255/stat : 28255 (fscip) S 28252 28255 27997 0 -1 1077936128 14194 0 0 0 146 2 0 0 20 0 3 0 4229991 124755968 14629 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
/proc/28255/statm: 30458 14629 2950 3035 0 17990 0
[pid=28255/tid=28260] ppid=28252 vsize=121832 memory=0 CPUtime=1.39 cores=4,6
/proc/28255/task/28260/stat : 28260 (fscip) R 28252 28255 27997 0 -1 4194368 11745 0 0 0 138 1 0 0 20 0 3 0 4229998 124755968 14629 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
[pid=28255/tid=28262] ppid=28252 vsize=121832 memory=0 CPUtime=0 cores=4,6
/proc/28255/task/28262/stat : 28262 (fscip) S 28252 28255 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4230000 124755968 14629 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 121832 KiB
Current children cumulated memory: 58516 KiB

[startup+3.11329 s]
/proc/loadavg: 0.43 0.16 0.11 6/256 28275
/proc/meminfo: memFree=128015860/131655788 swapFree=131071728/131071996
[pid=28255] ppid=28252 vsize=187368 memory=153552 CPUtime=3.09 cores=4,6
/proc/28255/stat : 28255 (fscip) S 28252 28255 27997 0 -1 1077936128 38049 0 0 0 303 6 0 0 20 0 3 0 4229991 191864832 38388 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
/proc/28255/statm: 46842 38388 2950 3035 0 42429 0
[pid=28255/tid=28260] ppid=28252 vsize=187368 memory=-5155633492094381189 CPUtime=3.01 cores=4,6
/proc/28255/task/28260/stat : 28260 (fscip) R 28252 28255 27997 0 -1 4194368 35593 0 0 0 295 6 0 0 20 0 3 0 4229998 191864832 38388 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
[pid=28255/tid=28262] ppid=28252 vsize=187368 memory=0 CPUtime=0 cores=4,6
/proc/28255/task/28262/stat : 28262 (fscip) S 28252 28255 27997 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4230000 191864832 38388 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 187368 KiB
Current children cumulated memory: 153552 KiB

[startup+6.3003 s]
/proc/loadavg: 0.72 0.22 0.13 6/256 28275
/proc/meminfo: memFree=127769000/131655788 swapFree=131071728/131071996
[pid=28255] ppid=28252 vsize=252904 memory=157884 CPUtime=6.26 cores=4,6
/proc/28255/stat : 28255 (fscip) S 28252 28255 27997 0 -1 1077936128 39160 0 0 0 620 6 0 0 20 0 3 0 4229991 258973696 39471 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
/proc/28255/statm: 63226 39471 2998 3035 0 43475 0
[pid=28255/tid=28260] ppid=28252 vsize=252904 memory=11536 CPUtime=6.19 cores=4,6
/proc/28255/task/28260/stat : 28260 (fscip) R 28252 28255 27997 0 -1 4194368 36674 0 0 0 613 6 0 0 20 0 3 0 4229998 258973696 39471 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
[pid=28255/tid=28262] ppid=28252 vsize=252904 memory=0 CPUtime=0 cores=4,6
/proc/28255/task/28262/stat : 28262 (fscip) S 28252 28255 27997 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4230000 258973696 39471 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 252904 KiB
Current children cumulated memory: 157884 KiB

[startup+12.7003 s]
/proc/loadavg: 0.98 0.28 0.15 6/256 28276
/proc/meminfo: memFree=127382736/131655788 swapFree=131071728/131071996
[pid=28255] ppid=28252 vsize=252904 memory=157900 CPUtime=12.65 cores=4,6
/proc/28255/stat : 28255 (fscip) S 28252 28255 27997 0 -1 1077936128 45100 0 0 0 1258 7 0 0 20 0 3 0 4229991 258973696 39475 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
/proc/28255/statm: 63226 39475 2998 3035 0 43475 0
[pid=28255/tid=28260] ppid=28252 vsize=252904 memory=157284 CPUtime=12.56 cores=4,6
/proc/28255/task/28260/stat : 28260 (fscip) R 28252 28255 27997 0 -1 4194368 42557 0 0 0 1250 6 0 0 20 0 3 0 4229998 258973696 39475 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
[pid=28255/tid=28262] ppid=28252 vsize=252904 memory=11536 CPUtime=0 cores=4,6
/proc/28255/task/28262/stat : 28262 (fscip) S 28252 28255 27997 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 4230000 258973696 39475 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 252904 KiB
Current children cumulated memory: 157900 KiB

[startup+25.5004 s]
/proc/loadavg: 1.65 0.47 0.22 6/256 28278
/proc/meminfo: memFree=125677960/131655788 swapFree=131071728/131071996
[pid=28255] ppid=28252 vsize=317888 memory=229292 CPUtime=25.41 cores=4,6
/proc/28255/stat : 28255 (fscip) S 28252 28255 27997 0 -1 1077936128 115860 0 0 0 2528 13 0 0 20 0 3 0 4229991 325517312 57323 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
/proc/28255/statm: 79472 57323 2998 3035 0 61566 0
[pid=28255/tid=28260] ppid=28252 vsize=317888 memory=229204 CPUtime=25.33 cores=4,6
/proc/28255/task/28260/stat : 28260 (fscip) R 28252 28255 27997 0 -1 4194368 112894 0 0 0 2521 12 0 0 20 0 3 0 4229998 325517312 57323 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
[pid=28255/tid=28262] ppid=28252 vsize=317888 memory=226200 CPUtime=0 cores=4,6
/proc/28255/task/28262/stat : 28262 (fscip) S 28252 28255 27997 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 4230000 325517312 57323 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 317888 KiB
Current children cumulated memory: 229292 KiB

[startup+51.1122 s]
/proc/loadavg: 2.45 0.75 0.32 6/260 28343
/proc/meminfo: memFree=122683384/131655788 swapFree=131071728/131071996
[pid=28255] ppid=28252 vsize=316864 memory=231356 CPUtime=50.96 cores=4,6
/proc/28255/stat : 28255 (fscip) S 28252 28255 27997 0 -1 1077936128 173604 0 0 0 5078 18 0 0 20 0 3 0 4229991 324468736 57839 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
/proc/28255/statm: 79216 57839 2998 3035 0 62077 0
[pid=28255/tid=28260] ppid=28252 vsize=316864 memory=231348 CPUtime=50.87 cores=4,6
/proc/28255/task/28260/stat : 28260 (fscip) R 28252 28255 27997 0 -1 4194368 170516 0 0 0 5070 17 0 0 20 0 3 0 4229998 324468736 57839 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
[pid=28255/tid=28262] ppid=28252 vsize=316864 memory=231348 CPUtime=0 cores=4,6
/proc/28255/task/28262/stat : 28262 (fscip) S 28252 28255 27997 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 4230000 324468736 57839 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 316864 KiB
Current children cumulated memory: 231356 KiB

[startup+102.3 s]
/proc/loadavg: 3.38 1.27 0.52 6/260 28354
/proc/meminfo: memFree=122218940/131655788 swapFree=131071728/131071996
[pid=28255] ppid=28252 vsize=382400 memory=317552 CPUtime=102.03 cores=4,6
/proc/28255/stat : 28255 (fscip) S 28252 28255 27997 0 -1 1077936128 299237 0 0 0 10173 30 0 0 20 0 3 0 4229991 391577600 79388 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
/proc/28255/statm: 95600 79388 2998 3035 0 83682 0
[pid=28255/tid=28260] ppid=28252 vsize=382400 memory=314332 CPUtime=101.94 cores=4,6
/proc/28255/task/28260/stat : 28260 (fscip) R 28252 28255 27997 0 -1 4194368 295928 0 0 0 10165 29 0 0 20 0 3 0 4229998 391577600 79388 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
[pid=28255/tid=28262] ppid=28252 vsize=382400 memory=314332 CPUtime=0 cores=4,6
/proc/28255/task/28262/stat : 28262 (fscip) S 28252 28255 27997 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 4230000 391577600 79388 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 382400 KiB
Current children cumulated memory: 317552 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 1.82 0.76 6/260 28366
/proc/meminfo: memFree=121949636/131655788 swapFree=131071728/131071996
[pid=28255] ppid=28252 vsize=382400 memory=322448 CPUtime=161.89 cores=4,6
/proc/28255/stat : 28255 (fscip) S 28252 28255 27997 0 -1 1077936128 323356 0 0 0 16156 33 0 0 20 0 3 0 4229991 391577600 80612 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
/proc/28255/statm: 95600 80612 2998 3035 0 84889 0
[pid=28255/tid=28260] ppid=28252 vsize=382400 memory=322192 CPUtime=161.78 cores=4,6
/proc/28255/task/28260/stat : 28260 (fscip) R 28252 28255 27997 0 -1 4194368 320007 0 0 0 16147 31 0 0 20 0 3 0 4229998 391577600 80612 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
[pid=28255/tid=28262] ppid=28252 vsize=382400 memory=11536 CPUtime=0 cores=4,6
/proc/28255/task/28262/stat : 28262 (fscip) S 28252 28255 27997 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 4230000 391577600 80612 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 382400 KiB

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

/proc/28255/statm: 113499 98140 3014 3035 0 100653 0
[pid=28255/tid=28260] ppid=28252 vsize=453996 memory=390952 CPUtime=3452.82 cores=4,6
/proc/28255/task/28260/stat : 28260 (fscip) R 28252 28255 27997 0 -1 4194368 722758 0 0 0 345175 107 0 0 20 0 3 0 4229998 464891904 98140 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
[pid=28255/tid=28262] ppid=28252 vsize=453996 memory=392560 CPUtime=0.03 cores=4,6
/proc/28255/task/28262/stat : 28262 (fscip) S 28252 28255 27997 0 -1 1077936192 163 0 0 0 1 2 0 0 20 0 3 0 4230000 464891904 98140 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
Current children cumulated CPU time: 3453.31 s
Current children cumulated vsize: 453996 KiB
Current children cumulated memory: 392560 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.09 6/254 30114
/proc/meminfo: memFree=120771312/131655788 swapFree=131071728/131071996
[pid=28255] ppid=28252 vsize=453996 memory=394404 CPUtime=3513.13 cores=4,6
/proc/28255/stat : 28255 (fscip) S 28252 28255 27997 0 -1 1077936128 733938 0 0 0 351189 124 0 0 20 0 3 0 4229991 464891904 98601 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
/proc/28255/statm: 113499 98601 3014 3035 0 101336 0
[pid=28255/tid=28260] ppid=28252 vsize=453996 memory=394404 CPUtime=3512.63 cores=4,6
/proc/28255/task/28260/stat : 28260 (fscip) R 28252 28255 27997 0 -1 4194368 729230 0 0 0 351155 108 0 0 20 0 3 0 4229998 464891904 98601 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
[pid=28255/tid=28262] ppid=28252 vsize=453996 memory=394404 CPUtime=0.03 cores=4,6
/proc/28255/task/28262/stat : 28262 (fscip) S 28252 28255 27997 0 -1 1077936192 165 0 0 0 1 2 0 0 20 0 3 0 4230000 464891904 98601 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
Current children cumulated CPU time: 3513.13 s
Current children cumulated vsize: 453996 KiB
Current children cumulated memory: 394404 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.09 6/254 30125
/proc/meminfo: memFree=120768764/131655788 swapFree=131071728/131071996
[pid=28255] ppid=28252 vsize=453996 memory=394760 CPUtime=3572.98 cores=4,6
/proc/28255/stat : 28255 (fscip) S 28252 28255 27997 0 -1 1077936128 740014 0 0 0 357173 125 0 0 20 0 3 0 4229991 464891904 98690 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
/proc/28255/statm: 113499 98690 3014 3035 0 101336 0
[pid=28255/tid=28260] ppid=28252 vsize=453996 memory=394404 CPUtime=3572.48 cores=4,6
/proc/28255/task/28260/stat : 28260 (fscip) R 28252 28255 27997 0 -1 4194368 735286 0 0 0 357139 109 0 0 20 0 3 0 4229998 464891904 98690 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
[pid=28255/tid=28262] ppid=28252 vsize=453996 memory=-7522256593712407675 CPUtime=0.04 cores=4,6
/proc/28255/task/28262/stat : 28262 (fscip) S 28252 28255 27997 0 -1 1077936192 167 0 0 0 1 3 0 0 20 0 3 0 4230000 464891904 98690 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
Current children cumulated CPU time: 3572.98 s
Current children cumulated vsize: 453996 KiB
Current children cumulated memory: 394760 KiB

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

# cumulated CPU time of all completed processes:  user=3587.54 s, system=1.27606 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.13 4.09 6/254 30125
/proc/meminfo: memFree=120768792/131655788 swapFree=131071728/131071996
[pid=28255] ppid=28252 vsize=453996 memory=394760 CPUtime=3574.68 cores=4,6
/proc/28255/stat : 28255 (fscip) R 28252 28255 27997 0 -1 1077936128 740097 0 0 0 357343 125 0 0 20 0 3 0 4229991 464891904 98690 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
/proc/28255/statm: 113499 98690 3014 3035 0 101336 0
[pid=28255/tid=28260] ppid=28252 vsize=453996 memory=11460 CPUtime=3574.18 cores=4,6
/proc/28255/task/28260/stat : 28260 (fscip) R 28252 28255 27997 0 -1 4194368 735369 0 0 0 357309 109 0 0 20 0 3 0 4229998 464891904 98690 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
[pid=28255/tid=28262] ppid=28252 vsize=453996 memory=11460 CPUtime=0.04 cores=4,6
/proc/28255/task/28262/stat : 28262 (fscip) S 28252 28255 27997 0 -1 1077936192 167 0 0 0 1 3 0 0 20 0 3 0 4230000 464891904 98690 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
Current children cumulated CPU time: 3574.68 s
Current children cumulated vsize: 453996 KiB
Current children cumulated memory: 394760 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.13 4.09 6/254 30125
/proc/meminfo: memFree=120768748/131655788 swapFree=131071728/131071996
[pid=28255] ppid=28252 vsize=453996 memory=394776 CPUtime=3581.05 cores=4,6
/proc/28255/stat : 28255 (fscip) S 28252 28255 27997 0 -1 1077936128 740289 0 0 0 357980 125 0 0 20 0 3 0 4229991 464891904 98694 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
/proc/28255/statm: 113499 98694 3014 3035 0 101336 0
[pid=28255/tid=28260] ppid=28252 vsize=453996 memory=394728 CPUtime=3580.55 cores=4,6
/proc/28255/task/28260/stat : 28260 (fscip) R 28252 28255 27997 0 -1 4194368 735561 0 0 0 357946 109 0 0 20 0 3 0 4229998 464891904 98694 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
[pid=28255/tid=28262] ppid=28252 vsize=453996 memory=394760 CPUtime=0.04 cores=4,6
/proc/28255/task/28262/stat : 28262 (fscip) S 28252 28255 27997 0 -1 1077936192 167 0 0 0 1 3 0 0 20 0 3 0 4230000 464891904 98694 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
Current children cumulated CPU time: 3581.05 s
Current children cumulated vsize: 453996 KiB
Current children cumulated memory: 394776 KiB

[startup+3593.6 s]
/proc/loadavg: 4.09 4.13 4.09 6/254 30126
/proc/meminfo: memFree=120767264/131655788 swapFree=131071728/131071996
[pid=28255] ppid=28252 vsize=453996 memory=396224 CPUtime=3584.25 cores=4,6
/proc/28255/stat : 28255 (fscip) S 28252 28255 27997 0 -1 1077936128 743101 0 0 0 358299 126 0 0 20 0 3 0 4229991 464891904 99056 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
/proc/28255/statm: 113499 99056 3014 3035 0 101567 0
[pid=28255/tid=28260] ppid=28252 vsize=453996 memory=394760 CPUtime=3583.74 cores=4,6
/proc/28255/task/28260/stat : 28260 (fscip) R 28252 28255 27997 0 -1 4194368 738367 0 0 0 358265 109 0 0 20 0 3 0 4229998 464891904 99056 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
[pid=28255/tid=28262] ppid=28252 vsize=453996 memory=11460 CPUtime=0.04 cores=4,6
/proc/28255/task/28262/stat : 28262 (fscip) S 28252 28255 27997 0 -1 1077936192 167 0 0 0 1 3 0 0 20 0 3 0 4230000 464891904 99056 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
Current children cumulated CPU time: 3584.25 s
Current children cumulated vsize: 453996 KiB
Current children cumulated memory: 396224 KiB

[startup+3595.2 s]
/proc/loadavg: 4.16 4.14 4.09 6/254 30126
/proc/meminfo: memFree=120767264/131655788 swapFree=131071728/131071996
[pid=28255] ppid=28252 vsize=453996 memory=396224 CPUtime=3585.85 cores=4,6
/proc/28255/stat : 28255 (fscip) S 28252 28255 27997 0 -1 1077936128 743402 0 0 0 358459 126 0 0 20 0 3 0 4229991 464891904 99056 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
/proc/28255/statm: 113499 99056 3014 3035 0 101567 0
[pid=28255/tid=28260] ppid=28252 vsize=453996 memory=4744 CPUtime=3585.33 cores=4,6
/proc/28255/task/28260/stat : 28260 (fscip) R 28252 28255 27997 0 -1 4194368 738663 0 0 0 358424 109 0 0 20 0 3 0 4229998 464891904 99056 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
[pid=28255/tid=28262] ppid=28252 vsize=453996 memory=394776 CPUtime=0.04 cores=4,6
/proc/28255/task/28262/stat : 28262 (fscip) S 28252 28255 27997 0 -1 1077936192 167 0 0 0 1 3 0 0 20 0 3 0 4230000 464891904 99056 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
Current children cumulated CPU time: 3585.85 s
Current children cumulated vsize: 453996 KiB
Current children cumulated memory: 396224 KiB

[startup+3596.8 s]
/proc/loadavg: 4.16 4.14 4.09 6/254 30126
/proc/meminfo: memFree=120767264/131655788 swapFree=131071728/131071996
[pid=28255] ppid=28252 vsize=453996 memory=396224 CPUtime=3587.44 cores=4,6
/proc/28255/stat : 28255 (fscip) S 28252 28255 27997 0 -1 1077936128 743502 0 0 0 358618 126 0 0 20 0 3 0 4229991 464891904 99056 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
/proc/28255/statm: 113499 99056 3014 3035 0 101567 0
[pid=28255/tid=28260] ppid=28252 vsize=453996 memory=394728 CPUtime=3586.93 cores=4,6
/proc/28255/task/28260/stat : 28260 (fscip) R 28252 28255 27997 0 -1 4194368 738762 0 0 0 358584 109 0 0 20 0 3 0 4229998 464891904 99056 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
[pid=28255/tid=28262] ppid=28252 vsize=453996 memory=394760 CPUtime=0.04 cores=4,6
/proc/28255/task/28262/stat : 28262 (fscip) S 28252 28255 27997 0 -1 1077936192 167 0 0 0 1 3 0 0 20 0 3 0 4230000 464891904 99056 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
Current children cumulated CPU time: 3587.44 s
Current children cumulated vsize: 453996 KiB
Current children cumulated memory: 396224 KiB

[startup+3597.6 s]
/proc/loadavg: 4.16 4.14 4.09 6/254 30126
/proc/meminfo: memFree=120767272/131655788 swapFree=131071728/131071996
[pid=28255] ppid=28252 vsize=453996 memory=396224 CPUtime=3588.24 cores=4,6
/proc/28255/stat : 28255 (fscip) S 28252 28255 27997 0 -1 1077936128 743546 0 0 0 358698 126 0 0 20 0 3 0 4229991 464891904 99056 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
/proc/28255/statm: 113499 99056 3014 3035 0 101567 0
[pid=28255/tid=28260] ppid=28252 vsize=453996 memory=16320 CPUtime=3587.73 cores=4,6
/proc/28255/task/28260/stat : 28260 (fscip) R 28252 28255 27997 0 -1 4194368 738806 0 0 0 358664 109 0 0 20 0 3 0 4229998 464891904 99056 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
[pid=28255/tid=28262] ppid=28252 vsize=453996 memory=11536 CPUtime=0.04 cores=4,6
/proc/28255/task/28262/stat : 28262 (fscip) S 28252 28255 27997 0 -1 1077936192 167 0 0 0 1 3 0 0 20 0 3 0 4230000 464891904 99056 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
Current children cumulated CPU time: 3588.24 s
Current children cumulated vsize: 453996 KiB
Current children cumulated memory: 396224 KiB

[startup+3598 s]*
/proc/loadavg: 4.16 4.14 4.09 6/254 30126
/proc/meminfo: memFree=120767280/131655788 swapFree=131071728/131071996
[pid=28255] ppid=28252 vsize=453996 memory=396224 CPUtime=3588.65 cores=4,6
/proc/28255/stat : 28255 (fscip) S 28252 28255 27997 0 -1 1077936128 744644 0 0 0 358739 126 0 0 20 0 3 0 4229991 464891904 99056 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
/proc/28255/statm: 113499 99056 3014 3035 0 101567 0
[pid=28255/tid=28260] ppid=28252 vsize=453996 memory=-7522256593712405882 CPUtime=3588.15 cores=4,6
/proc/28255/task/28260/stat : 28260 (fscip) R 28252 28255 27997 0 -1 4194368 739903 0 0 0 358705 110 0 0 20 0 3 0 4229998 464891904 99056 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
[pid=28255/tid=28262] ppid=28252 vsize=453996 memory=2656 CPUtime=0.04 cores=4,6
/proc/28255/task/28262/stat : 28262 (fscip) S 28252 28255 27997 0 -1 1077936192 167 0 0 0 1 3 0 0 20 0 3 0 4230000 464891904 99056 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
Current children cumulated CPU time: 3588.65 s
Current children cumulated vsize: 453996 KiB
Current children cumulated memory: 396224 KiB

[startup+3598.11 s]
/proc/loadavg: 4.16 4.14 4.09 6/254 30126
/proc/meminfo: memFree=120767280/131655788 swapFree=131071728/131071996
[pid=28255] ppid=28252 vsize=453996 memory=396224 CPUtime=3588.75 cores=4,6
/proc/28255/stat : 28255 (fscip) S 28252 28255 27997 0 -1 1077936128 750417 0 0 0 358749 126 0 0 20 0 3 0 4229991 464891904 99056 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
/proc/28255/statm: 113499 99056 3014 3035 0 101567 0
[pid=28255/tid=28260] ppid=28252 vsize=453996 memory=394404 CPUtime=3588.24 cores=4,6
/proc/28255/task/28260/stat : 28260 (fscip) R 28252 28255 27997 0 -1 4194368 745676 0 0 0 358714 110 0 0 20 0 3 0 4229998 464891904 99056 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
[pid=28255/tid=28262] ppid=28252 vsize=453996 memory=394760 CPUtime=0.04 cores=4,6
/proc/28255/task/28262/stat : 28262 (fscip) S 28252 28255 27997 0 -1 1077936192 167 0 0 0 1 3 0 0 20 0 3 0 4230000 464891904 99056 134679101440 4194304 16623229 140736710058368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31633408 140736710067222 140736710067338 140736710067338 140736710074352 0
Current children cumulated CPU time: 3588.75 s
Current children cumulated vsize: 453996 KiB
Current children cumulated memory: 396224 KiB

Child status: 0

Real time (s): 3598.17
CPU time (s): 3588.82
CPU user time (s): 3587.54
CPU system time (s): 1.27606
CPU usage (%): 99.7401
Max. virtual memory (cumulated for all children) (KiB): 453996
Max. memory (cumulated for all children) (KiB): 396224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.54
system time used= 1.27606
maximum resident set size= 396224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 751517
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= 13133
involuntary context switches= 2104


# summary of solver processes directly reported to runsolver:
#   pid: 28255
#   total CPU time (s): 3588.82
#   total CPU user time (s): 3587.54
#   total CPU system time (s): 1.27606

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3408 second user time and 31.744 second system time

The end

Launcher Data

Begin job on nodeC011 at 2024-07-31 00:29:56
IDJOB=4463974
IDBENCH=147548
IDSOLVER=3092
FILE ID=nodeC011/4463974-1722378596
RUNJOBID= nodeC011-1722378594-28008
SLURM_JOB_ID= 8249841
Free space on /tmp= 723760 MiB

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

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

MD5SUM BENCH= b1303fc064b9de7d315268cbf770fb1d
RANDOM SEED=1453536771

nodeC011.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		: 1197.135
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.28
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.364
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.29
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.145
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.28
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.133
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.29
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.133
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.28
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		: 1197.276
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.29
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.341
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.28
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.133
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129086092 kB
MemAvailable:   130024020 kB
Buffers:           83100 kB
Cached:          1700092 kB
SwapCached:           12 kB
Active:           249984 kB
Inactive:        1890960 kB
Active(anon):       1868 kB
Inactive(anon):   385376 kB
Active(file):     248116 kB
Inactive(file):  1505584 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:             93320 kB
Writeback:             0 kB
AnonPages:        356184 kB
Mapped:            92004 kB
Shmem:             29468 kB
KReclaimable:      48856 kB
Slab:             124636 kB
SReclaimable:      48856 kB
SUnreclaim:        75780 kB
KernelStack:        3776 kB
PageTables:         9560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     782516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6752 kB
HardwareCorrupted:     0 kB
AnonHugePages:    221184 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:      156488 kB
DirectMap2M:     9185280 kB
DirectMap1G:    126877696 kB

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