Trace number 4434715

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-02SAT-41 3590.27 3600.63

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
MD5SUM950817fdcb39f28dd0871c21ea836071
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-45
Best CPU time to get the best result obtained on this benchmark1120.33
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables945
Total number of constraints59186
Number of constraints which are clauses59186
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 945
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 945
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 945
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.10/0.21	c Default LC presolving (default).
0.21/0.22	c ** Before presolving: virtualMemUsedAtLc = 131098018, getVmSize() = 99168256, SCIPgetMemUsed() = 64233258, SCIPgetMemTotal() = 73248794, SCIPgetMemExternEstim() = 57849224
0.21/0.22	c ** set memory limit for presolving in LC to 8.79605e+12 for SCIP **
1.59/1.64	c ** Estimated virtualMemUsedAtSolver = 228799799, getVmSize() = 320811008, SCIPgetMemUsed() = 147710467, SCIPgetMemTotal() = 285350475, SCIPgetMemExternEstim() = 57849224
1.59/1.64	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.59/1.64	c Original Problem   :
1.59/1.64	c   Problem name     : instance-4434715-1721056142
1.59/1.64	c   Variables        : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1.59/1.64	c   Constraints      : 59186
1.59/1.64	c   Objective sense  : minimize
1.59/1.64	c Presolved Problem  :
1.59/1.64	c   Variables        : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1.59/1.64	c   Constraints      : 59186
1.59/1.64	c Constraints        : Number
1.59/1.64	c   setppc           : 59186 
1.59/1.64	c ** Instance transfer method used: 0
1.68/1.71	c ** ParaScipInstance copy does not increase the number of variables. **
1.79/1.85	c LC is working with racing ramp-up and with rebuilding tree after racing.
1.79/1.85	c                                Nodes    Active                                            
1.79/1.85	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
3.27/3.35	c *       3              0           1         1         -27.0000                -          -
3.37/3.40	c *       3              0           1         1         -33.0000                -          -
21.94/22.01	c        22              2           1         1         -33.0000         -45.0000     36.36%
23.12/23.23	c *      23              2           1         1         -35.0000         -45.0000     28.57%
27.70/27.84	c        28             38          37         1         -35.0000         -45.0000     28.57%
33.68/33.80	c        34             52          51         1         -35.0000         -45.0000     28.57%
38.87/39.08	c        39             66          65         1         -35.0000         -45.0000     28.57%
44.14/44.33	c        44             80          79         1         -35.0000         -45.0000     28.57%
49.62/49.86	c        50             93          92         1         -35.0000         -45.0000     28.57%
51.11/51.33	c *      51             97          92         1         -36.0000         -45.0000     25.00%
55.09/55.31	c        55            115          95         1         -36.0000         -45.0000     25.00%
60.88/61.19	c        61            143         109         1         -36.0000         -45.0000     25.00%
66.35/66.65	c        67            190         132         1         -36.0000         -45.0000     25.00%
67.04/67.37	c *      67            190         132         1         -37.0000         -45.0000     21.62%
71.93/72.23	c        72            241         156         1         -37.0000         -45.0000     21.62%
77.61/77.93	c        78            248         161         1         -37.0000         -45.0000     21.62%
82.59/82.98	c        83            279         178         1         -37.0000         -45.0000     21.62%
89.38/89.73	c        90            297         190         1         -37.0000         -45.0000     21.62%
94.66/95.10	c        95            420         249         1         -37.0000         -45.0000     21.62%
100.93/101.34	c       101            469         270         1         -37.0000         -45.0000     21.62%
107.40/107.80	c       108            539         316         1         -37.0000         -45.0000     21.62%
112.48/112.94	c       113            715         428         1         -37.0000         -45.0000     21.62%
118.46/118.93	c       119            896         511         1         -37.0000         -45.0000     21.62%
125.93/126.49	c       126           1099         592         1         -37.0000         -45.0000     21.62%
126.83/127.40	c *     127           1099         592         1         -38.0000         -45.0000     18.42%
131.31/131.84	c       132           1215         548         1         -38.0000         -45.0000     18.42%
137.89/138.49	c       138           1243         576         1         -38.0000         -45.0000     18.42%
147.05/147.66	c       148           1384         715         1         -38.0000         -45.0000     18.42%
156.22/156.85	c       157           1410         739         1         -38.0000         -45.0000     18.42%
161.80/162.47	c       162           1420         749         1         -38.0000         -45.0000     18.42%
167.98/168.67	c       169           1433         762         1         -38.0000         -45.0000     18.42%
173.66/174.34	c       174           1447         776         1         -38.0000         -45.0000     18.42%
179.94/180.61	c       181           1532         859         1         -38.0000         -45.0000     18.42%
187.42/188.19	c       188           1557         884         1         -38.0000         -45.0000     18.42%
194.40/195.12	c       195           1596         923         1         -38.0000         -45.0000     18.42%
199.67/200.46	c       200           1612         939         1         -38.0000         -45.0000     18.42%
205.36/206.18	c       206           1652         977         1         -38.0000         -45.0000     18.42%
212.82/213.60	c       214           1704        1023         1         -38.0000         -45.0000     18.42%
222.98/223.88	c       224           1722        1037         1         -38.0000         -45.0000     18.42%
228.96/229.81	c       230           1762        1065         1         -38.0000         -45.0000     18.42%
234.26/235.19	c       235           1772        1071         1         -38.0000         -45.0000     18.42%
242.72/243.60	c       244           1789        1080         1         -38.0000         -45.0000     18.42%
249.70/250.61	c       251           1810        1101         1         -38.0000         -45.0000     18.42%
255.97/256.97	c       257           1842        1131         1         -38.0000         -45.0000     18.42%
261.46/262.43	c       262           1876        1159         1         -38.0000         -45.0000     18.42%
267.24/268.21	c       268           1885        1166         1         -38.0000         -45.0000     18.42%
274.71/275.76	c       276           1910        1189         1         -38.0000         -45.0000     18.42%
282.58/283.61	c       284           1925        1202         1         -38.0000         -45.0000     18.42%
288.36/289.44	c       289           1992        1257         1         -38.0000         -45.0000     18.42%
294.05/295.11	c       295           2081        1344         1         -38.0000         -45.0000     18.42%
299.93/301.02	c       301           2171        1432         1         -38.0000         -45.0000     18.42%
308.79/309.92	c       310           2263        1514         1         -38.0000         -45.0000     18.42%
314.89/316.04	c       316           2341        1582         1         -38.0000         -45.0000     18.42%
321.26/322.41	c       322           2376        1611         1         -38.0000         -45.0000     18.42%
327.24/328.40	c       328           2423        1652         1         -38.0000         -45.0000     18.42%
332.23/333.47	c       333           2521        1736         1         -38.0000         -45.0000     18.42%
336.72/337.93	c *     338           2550        1759         1         -39.0000         -45.0000     15.38%
340.21/341.43	c       341           2581        1558         1         -39.0000         -45.0000     15.38%
346.39/347.69	c       348           2648        1605         1         -39.0000         -45.0000     15.38%
352.37/353.63	c       354           2758        1689         1         -39.0000         -45.0000     15.38%
358.36/359.62	c       360           2787        1706         1         -39.0000         -45.0000     15.38%
365.04/366.31	c       366           2848        1759         1         -39.0000         -45.0000     15.38%
370.32/371.65	c       372           3006        1859         1         -39.0000         -45.0000     15.38%
377.00/378.38	c       378           3080        1917         1         -39.0000         -45.0000     15.38%
382.88/384.22	c       384           3146        1957         1         -39.0000         -45.0000     15.38%
388.46/389.80	c       390           3267        2048         1         -39.0000         -45.0000     15.38%
394.45/395.82	c       396           3333        2096         1         -39.0000         -45.0000     15.38%
399.75/401.14	c       401           3355        2112         1         -39.0000         -45.0000     15.38%
405.02/406.40	c       406           3447        2180         1         -39.0000         -45.0000     15.38%
410.72/412.13	c       412           3478        2205         1         -39.0000         -45.0000     15.38%
416.99/418.41	c       418           3514        2231         1         -39.0000         -45.0000     15.38%
423.78/425.24	c       425           3564        2267         1         -39.0000         -45.0000     15.38%
429.36/430.89	c       431           3619        2302         1         -39.0000         -45.0000     15.38%
434.44/435.99	c       436           3744        2425         1         -39.0000         -45.0000     15.38%
440.23/441.71	c       442           3914           0         1         -39.0000         -45.0000     15.38%
453.29/454.83	c       455           3914           0         1         -39.0000         -45.0000     15.38%
459.28/460.83	c       461           3943          29         1         -39.0000         -45.0000     15.38%
464.36/465.99	c       466           3958          44         1         -39.0000         -45.0000     15.38%
469.94/471.51	c       472           4001          87         1         -39.0000         -45.0000     15.38%
477.63/479.25	c       479           4034         120         1         -39.0000         -45.0000     15.38%
483.72/485.31	c       485           4060         144         1         -39.0000         -45.0000     15.38%
489.70/491.37	c       491           4102         186         1         -39.0000         -45.0000     15.38%
496.58/498.24	c       498           4226         298         1         -39.0000         -45.0000     15.38%
502.48/504.16	c       504           4283         345         1         -39.0000         -45.0000     15.38%
507.46/509.18	c       509           4330         390         1         -39.0000         -45.0000     15.38%
512.94/514.60	c       515           4388         444         1         -39.0000         -45.0000     15.38%
518.62/520.39	c       520           4407         463         1         -39.0000         -45.0000     15.38%
525.61/527.30	c       527           4430         482         1         -39.0000         -45.0000     15.38%
531.89/533.63	c       534           4505         553         1         -39.0000         -45.0000     15.38%
540.97/542.77	c       543           4526         574         1         -39.0000         -45.0000     15.38%
548.65/550.41	c       550           4538         586         1         -39.0000         -45.0000     15.38%
554.94/556.79	c       557           4597         633         1         -39.0000         -45.0000     15.38%
564.22/566.07	c       566           4622         658         1         -39.0000         -45.0000     15.38%
569.21/571.10	c       571           4655         687         1         -39.0000         -45.0000     15.38%
574.69/576.56	c       577           4672         700         1         -39.0000         -45.0000     15.38%
581.06/582.92	c       583           4753         775         1         -39.0000         -45.0000     15.38%
586.45/588.34	c       588           4801         821         1         -39.0000         -45.0000     15.38%
592.73/594.60	c       595           4879         893         1         -39.0000         -45.0000     15.38%
600.32/602.21	c       602           4903         911         1         -39.0000         -45.0000     15.38%
607.00/608.98	c       609           4958         964         1         -39.0000         -45.0000     15.38%
614.28/616.26	c       616           4982         986         1         -39.0000         -45.0000     15.38%
619.27/621.27	c       621           5058        1058         1         -39.0000         -45.0000     15.38%
624.75/626.72	c       627           5108        1108         1         -39.0000         -45.0000     15.38%
630.33/632.37	c       632           5142        1136         1         -39.0000         -45.0000     15.38%
635.32/637.39	c       637           5201        1195         1         -39.0000         -45.0000     15.38%
641.40/643.46	c       643           5234        1228         1         -39.0000         -45.0000     15.38%
646.88/648.97	c       649           5274        1266         1         -39.0000         -45.0000     15.38%
652.57/654.65	c       655           5349        1339         1         -39.0000         -45.0000     15.38%
657.75/659.80	c       660           5450        1428         1         -39.0000         -45.0000     15.38%
662.96/665.05	c       665           5597        1537         1         -39.0000         -45.0000     15.38%
669.93/672.08	c       672           5686        1596         1         -39.0000         -45.0000     15.38%
675.81/677.93	c       678           5735        1631         1         -39.0000         -45.0000     15.38%
681.09/683.23	c       683           5743        1637         1         -39.0000         -45.0000     15.38%
689.77/691.92	c       692           5810        1690         1         -39.0000         -45.0000     15.38%
694.87/697.10	c       697           5923        1797         1         -39.0000         -45.0000     15.38%
700.86/703.04	c       703           6002        1870         1         -39.0000         -45.0000     15.38%
706.83/709.05	c       709           6092        1958         1         -39.0000         -45.0000     15.38%
707.42/709.66	c *     710           6092        1958         1         -40.0000         -45.0000     12.50%
712.11/714.34	c       714           6226        1806         1         -40.0000         -45.0000     12.50%
717.99/720.28	c       720           6344        1906         1         -40.0000         -45.0000     12.50%
725.57/727.86	c       728           6390        1940         1         -40.0000         -45.0000     12.50%
731.26/733.51	c       734           6495        2019         1         -40.0000         -45.0000     12.50%
739.04/741.36	c       741           6534        2046         1         -40.0000         -45.0000     12.50%
744.63/746.92	c       747           6630        2106         1         -40.0000         -45.0000     12.50%
750.21/752.59	c       753           6725        2177         1         -40.0000         -45.0000     12.50%
756.99/759.39	c       759           6793        2223         1         -40.0000         -45.0000     12.50%
765.17/767.57	c       768           6828        2244         1         -40.0000         -45.0000     12.50%
770.55/772.95	c       773           6895        2301         1         -40.0000         -45.0000     12.50%
779.42/781.80	c       782           7021        2405         1         -40.0000         -45.0000     12.50%
785.41/787.80	c       788           7034        2414         1         -40.0000         -45.0000     12.50%
791.99/794.49	c       794           7066        2436         1         -40.0000         -45.0000     12.50%
797.48/799.98	c       800           7142        2494         1         -40.0000         -45.0000     12.50%
803.16/805.63	c       806           7238        2578         1         -40.0000         -45.0000     12.50%
808.14/810.69	c       811           7424        2716         1         -40.0000         -45.0000     12.50%
814.12/816.69	c       817           7460        2728         1         -40.0000         -45.0000     12.50%
819.21/821.76	c       822           7498        2758         1         -40.0000         -45.0000     12.50%
824.51/827.01	c       827           7669        2901         1         -40.0000         -45.0000     12.50%
830.18/832.74	c       833           7754        2948         1         -40.0000         -45.0000     12.50%
836.26/838.80	c       839           7768        2956         1         -40.0000         -45.0000     12.50%
843.35/845.92	c       846           7795        2971         1         -40.0000         -45.0000     12.50%
848.45/851.01	c       851           7954        3076         1         -40.0000         -45.0000     12.50%
853.82/856.48	c       856           8033        3135         1         -40.0000         -45.0000     12.50%
859.10/861.77	c       862           8045        3141         1         -40.0000         -45.0000     12.50%
865.10/867.73	c       868           8154        3222         1         -40.0000         -45.0000     12.50%
871.49/874.16	c       874           8255        3293         1         -40.0000         -45.0000     12.50%
876.66/879.37	c       879           8293        3315         1         -40.0000         -45.0000     12.50%
882.55/885.28	c       885           8374        3382         1         -40.0000         -45.0000     12.50%
887.93/890.63	c       891           8516        3496         1         -40.0000         -45.0000     12.50%
893.11/895.81	c       896           8594        3560         1         -40.0000         -45.0000     12.50%
900.99/903.71	c       904           8651        3613         1         -40.0000         -45.0000     12.50%
906.29/909.01	c       909           8712        3656         1         -40.0000         -45.0000     12.50%
912.17/914.92	c       915           8770        3708         1         -40.0000         -45.0000     12.50%
917.65/920.41	c       920           8861        3779         1         -40.0000         -45.0000     12.50%
922.73/925.58	c       926           8997        3887         1         -40.0000         -45.0000     12.50%
929.52/932.37	c       932           9105        3979         1         -40.0000         -45.0000     12.50%
934.80/937.69	c       938           9198        4062         1         -40.0000         -45.0000     12.50%
940.49/943.33	c       943           9309        4139         1         -40.0000         -45.0000     12.50%
947.67/950.50	c       950           9326        4142         1         -40.0000         -45.0000     12.50%
953.95/956.82	c       957           9469        4247         1         -40.0000         -45.0000     12.50%
959.03/961.98	c       962           9625        4363         1         -40.0000         -45.0000     12.50%
964.22/967.15	c       967           9753        4449         1         -40.0000         -45.0000     12.50%
969.80/972.71	c       973           9809        4497         1         -40.0000         -45.0000     12.50%
976.09/979.07	c       979           9834        4516         1         -40.0000         -45.0000     12.50%
981.36/984.39	c       984           9944        4618         1         -40.0000         -45.0000     12.50%
987.65/990.60	c       991           9984        4652         1         -40.0000         -45.0000     12.50%
997.03/1000.03	c      1000          10025        4685         1         -40.0000         -45.0000     12.50%
1004.21/1007.20	c      1007          10079        4723         1         -40.0000         -45.0000     12.50%
1009.29/1012.36	c      1012          10199        4801         1         -40.0000         -45.0000     12.50%
1014.28/1017.39	c      1017          10258        4848         1         -40.0000         -45.0000     12.50%
1021.76/1024.81	c      1025          10391        4965         1         -40.0000         -45.0000     12.50%
1026.85/1029.93	c      1030          10409        4979         1         -40.0000         -45.0000     12.50%
1033.63/1036.77	c      1037          10441        4999         1         -40.0000         -45.0000     12.50%
1043.30/1046.42	c      1046          10482        5034         1         -40.0000         -45.0000     12.50%
1053.19/1056.36	c      1056          10542        5084         1         -40.0000         -45.0000     12.50%
1059.77/1062.95	c      1063          10573        5105         1         -40.0000         -45.0000     12.50%
1067.45/1070.69	c      1071          10650        5170         1         -40.0000         -45.0000     12.50%
1072.64/1075.85	c      1076          10809        5307         1         -40.0000         -45.0000     12.50%
1077.72/1080.93	c      1081          10952        5420         1         -40.0000         -45.0000     12.50%
1082.81/1086.05	c      1086          11087        5537         1         -40.0000         -45.0000     12.50%
1088.08/1091.30	c      1091          11237        5665         1         -40.0000         -45.0000     12.50%
1093.57/1096.84	c      1097          11360        5742         1         -40.0000         -45.0000     12.50%
1099.15/1102.45	c      1102          11507        5881         1         -40.0000         -45.0000     12.50%
1104.94/1108.23	c      1108          11589        5943         1         -40.0000         -45.0000     12.50%
1110.53/1113.88	c      1114          11601        5953         1         -40.0000         -45.0000     12.50%
1116.11/1119.43	c      1119          11657        5999         1         -40.0000         -45.0000     12.50%
1121.71/1125.10	c      1125          11750        6076         1         -40.0000         -45.0000     12.50%
1128.07/1131.47	c      1131          11843        6157         1         -40.0000         -45.0000     12.50%
1133.56/1136.93	c      1137          11877        6175         1         -40.0000         -45.0000     12.50%
1141.34/1144.75	c      1145          11886        6182         1         -40.0000         -45.0000     12.50%
1147.41/1150.85	c      1151          11897        6187         1         -40.0000         -45.0000     12.50%
1152.50/1156.01	c      1156          11991        6271         1         -40.0000         -45.0000     12.50%
1158.48/1161.99	c      1162          12001        6277         1         -40.0000         -45.0000     12.50%
1166.58/1170.09	c      1170          12072        6332         1         -40.0000         -45.0000     12.50%
1171.66/1175.13	c      1175          12091        6351         1         -40.0000         -45.0000     12.50%
1179.13/1182.68	c      1183          12133        6385         1         -40.0000         -45.0000     12.50%
1184.42/1187.96	c      1188          12189        6423         1         -40.0000         -45.0000     12.50%
1189.90/1193.42	c      1193          12213        6445         1         -40.0000         -45.0000     12.50%
1199.07/1202.67	c      1203          12344        6532         1         -40.0000         -45.0000     12.50%
1204.16/1207.76	c      1208          12449        6629         1         -40.0000         -45.0000     12.50%
1209.15/1212.77	c      1213          12497        6663         1         -40.0000         -45.0000     12.50%
1214.24/1217.80	c      1218          12528        6674         1         -40.0000         -45.0000     12.50%
1219.63/1223.22	c      1223          12622        6756         1         -40.0000         -45.0000     12.50%
1226.81/1230.45	c      1230          12674        6788         1         -40.0000         -45.0000     12.50%
1231.99/1235.69	c      1236          12855        6933         1         -40.0000         -45.0000     12.50%
1239.88/1243.54	c      1244          13015        7061         1         -40.0000         -45.0000     12.50%
1240.18/1243.82	c *    1244          13015        7061         1         -41.0000         -45.0000      9.76%
1245.66/1249.30	c      1249          13127        5551         1         -41.0000         -45.0000      9.76%
1253.54/1257.22	c      1257          13304        5668         1         -41.0000         -45.0000      9.76%
1258.63/1262.35	c      1262          13503        5799         1         -41.0000         -45.0000      9.76%
1264.61/1268.31	c      1268          13605        5853         1         -41.0000         -45.0000      9.76%
1269.69/1273.44	c      1273          13759        5947         1         -41.0000         -45.0000      9.76%
1275.28/1279.06	c      1279          13893        6027         1         -41.0000         -45.0000      9.76%
1281.27/1285.09	c      1285          13978        6092         1         -41.0000         -45.0000      9.76%
1287.43/1291.26	c      1291          14035        6133         1         -41.0000         -45.0000      9.76%
1294.42/1298.28	c      1298          14141        6189         1         -41.0000         -45.0000      9.76%
1299.71/1303.57	c      1304          14313        6293         1         -41.0000         -45.0000      9.76%
1305.09/1308.99	c      1309          14322        6298         1         -41.0000         -45.0000      9.76%
1310.98/1314.85	c      1315          14439        6373         1         -41.0000         -45.0000      9.76%
1317.65/1321.53	c      1322          14509        6403         1         -41.0000         -45.0000      9.76%
1323.64/1327.51	c      1328          14588        6452         1         -41.0000         -45.0000      9.76%
1329.42/1333.34	c      1333          14661        6485         1         -41.0000         -45.0000      9.76%
1337.31/1341.26	c      1341          14782        6552         1         -41.0000         -45.0000      9.76%
1343.89/1347.86	c      1348          14925        6651         1         -41.0000         -45.0000      9.76%
1349.27/1353.23	c      1353          15010        6706         1         -41.0000         -45.0000      9.76%
1354.56/1358.54	c      1359          15109        6777         1         -41.0000         -45.0000      9.76%
1359.64/1363.66	c      1364          15223        6847         1         -41.0000         -45.0000      9.76%
1365.33/1369.33	c      1369          15338        6928         1         -41.0000         -45.0000      9.76%
1371.41/1375.47	c      1375          15454        7000         1         -41.0000         -45.0000      9.76%
1376.49/1380.57	c      1381          15560        7076         1         -41.0000         -45.0000      9.76%
1382.58/1386.62	c      1387          15654        7132         1         -41.0000         -45.0000      9.76%
1392.15/1396.22	c      1396          15794        7224         1         -41.0000         -45.0000      9.76%
1397.34/1401.43	c      1401          15965        7321         1         -41.0000         -45.0000      9.76%
1403.22/1407.34	c      1407          16033        7361         1         -41.0000         -45.0000      9.76%
1408.31/1412.45	c      1412          16051        7377         1         -41.0000         -45.0000      9.76%
1413.69/1417.88	c      1418          16070        7386         1         -41.0000         -45.0000      9.76%
1422.27/1426.47	c      1426          16231        7483         1         -41.0000         -45.0000      9.76%
1428.05/1432.24	c      1432          16416        7604         1         -41.0000         -45.0000      9.76%
1434.54/1438.78	c      1439          16468        7642         1         -41.0000         -45.0000      9.76%
1440.02/1444.21	c      1444          16592        7732         1         -41.0000         -45.0000      9.76%
1446.70/1450.93	c      1451          16802        7890         1         -41.0000         -45.0000      9.76%
1452.20/1456.45	c      1456          16813        7897         1         -41.0000         -45.0000      9.76%
1457.98/1462.21	c      1462          16858        7920         1         -41.0000         -45.0000      9.76%
1463.96/1468.26	c      1468          16893        7939         1         -41.0000         -45.0000      9.76%
1471.85/1476.12	c      1476          17015        8029         1         -41.0000         -45.0000      9.76%
1478.63/1483.01	c      1483          17087        8065         1         -41.0000         -45.0000      9.76%
1484.61/1489.01	c      1489          17235        8149         1         -41.0000         -45.0000      9.76%
1489.69/1494.07	c      1494          17438        8268         1         -41.0000         -45.0000      9.76%
1498.56/1502.93	c      1503          17549        8329         1         -41.0000         -45.0000      9.76%
1504.04/1508.47	c      1508          17643        8393         1         -41.0000         -45.0000      9.76%
1509.93/1514.32	c      1514          17665        8413         1         -41.0000         -45.0000      9.76%
1516.73/1521.19	c      1521          17795        8493         1         -41.0000         -45.0000      9.76%
1522.61/1527.07	c      1527          18008        8610         1         -41.0000         -45.0000      9.76%
1527.98/1532.49	c      1532          18131        8687         1         -41.0000         -45.0000      9.76%
1533.07/1537.57	c      1538          18261        8767         1         -41.0000         -45.0000      9.76%
1539.45/1543.92	c      1544          18329        8799         1         -41.0000         -45.0000      9.76%
1545.43/1549.95	c      1550          18396        8846         1         -41.0000         -45.0000      9.76%
1551.92/1556.47	c      1556          18570        8952         1         -41.0000         -45.0000      9.76%
1557.40/1561.96	c      1562          18658        9010         1         -41.0000         -45.0000      9.76%
1562.69/1567.28	c      1567          18759        9071         1         -41.0000         -45.0000      9.76%
1569.48/1574.06	c      1574          18805        9083         1         -41.0000         -45.0000      9.76%
1574.57/1579.15	c      1579          18954        9200         1         -41.0000         -45.0000      9.76%
1580.14/1584.73	c      1585          18993        9223         1         -41.0000         -45.0000      9.76%
1585.74/1590.31	c      1590          19004        9226         1         -41.0000         -45.0000      9.76%
1591.62/1596.27	c      1596          19152        9306         1         -41.0000         -45.0000      9.76%
1600.09/1604.78	c      1605          19251        9359         1         -41.0000         -45.0000      9.76%
1605.98/1610.63	c      1611          19260        9362         1         -41.0000         -45.0000      9.76%
1610.97/1615.64	c      1616          19277        9369         1         -41.0000         -45.0000      9.76%
1616.95/1621.63	c      1622          19345        9403         1         -41.0000         -45.0000      9.76%
1622.63/1627.33	c      1627          19510        9502         1         -41.0000         -45.0000      9.76%
1627.72/1632.48	c      1632          19542        9518         1         -41.0000         -45.0000      9.76%
1633.70/1638.44	c      1638          19622        9554         1         -41.0000         -45.0000      9.76%
1638.88/1643.62	c      1644          19797        9651         1         -41.0000         -45.0000      9.76%
1644.85/1649.62	c      1650          19979        9727         1         -41.0000         -45.0000      9.76%
1651.53/1656.40	c      1656          20094        9780         1         -41.0000         -45.0000      9.76%
1658.32/1663.16	c      1663          20256        9854         1         -41.0000         -45.0000      9.76%
1663.89/1668.79	c      1669          20395        9937         1         -41.0000         -45.0000      9.76%
1670.18/1675.04	c      1675          20487        9983         1         -41.0000         -45.0000      9.76%
1675.55/1680.47	c      1680          20622       10064         1         -41.0000         -45.0000      9.76%
1681.15/1686.04	c      1686          20791       10153         1         -41.0000         -45.0000      9.76%
1686.23/1691.19	c      1691          20857       10185         1         -41.0000         -45.0000      9.76%
1692.80/1697.70	c      1698          20868       10186         1         -41.0000         -45.0000      9.76%
1699.27/1704.24	c      1704          20928       10206         1         -41.0000         -45.0000      9.76%
1707.16/1712.19	c      1712          21080       10292         1         -41.0000         -45.0000      9.76%
1712.33/1717.36	c      1717          21163       10329         1         -41.0000         -45.0000      9.76%
1718.12/1723.18	c      1723          21299       10411         1         -41.0000         -45.0000      9.76%
1723.68/1728.79	c      1729          21382       10464         1         -41.0000         -45.0000      9.76%
1729.57/1734.61	c      1735          21472       10526         1         -41.0000         -45.0000      9.76%
1734.65/1739.73	c      1740          21626       10622         1         -41.0000         -45.0000      9.76%
1740.13/1745.26	c      1745          21768       10696         1         -41.0000         -45.0000      9.76%
1747.02/1752.17	c      1752          21893       10775         1         -41.0000         -45.0000      9.76%
1752.19/1757.34	c      1757          22039       10881         1         -41.0000         -45.0000      9.76%
1757.27/1762.44	c      1762          22291       10997         1         -41.0000         -45.0000      9.76%
1762.35/1767.59	c      1768          22538       11114         1         -41.0000         -45.0000      9.76%
1767.43/1772.67	c      1773          22770       11198         1         -41.0000         -45.0000      9.76%
1773.21/1778.45	c      1778          22978       11284         1         -41.0000         -45.0000      9.76%
1778.69/1783.99	c      1784          23109       11337         1         -41.0000         -45.0000      9.76%
1783.98/1789.26	c      1789          23218       11402         1         -41.0000         -45.0000      9.76%
1789.16/1794.47	c      1794          23395       11537         1         -41.0000         -45.0000      9.76%
1794.44/1799.72	c      1800          23546       11634         1         -41.0000         -45.0000      9.76%
1800.12/1805.48	c      1805          23658       11702         1         -41.0000         -45.0000      9.76%
1806.10/1811.44	c      1811          23749       11749         1         -41.0000         -45.0000      9.76%
1813.17/1818.55	c      1819          23780       11760         1         -41.0000         -45.0000      9.76%
1819.95/1825.39	c      1825          23826       11782         1         -41.0000         -45.0000      9.76%
1825.23/1830.69	c      1831          23969       11895         1         -41.0000         -45.0000      9.76%
1832.90/1838.35	c      1838          24070       11980         1         -41.0000         -45.0000      9.76%
1839.59/1845.08	c      1845          24098       12004         1         -41.0000         -45.0000      9.76%
1849.15/1854.63	c      1855          24207       12071         1         -41.0000         -45.0000      9.76%
1856.43/1861.93	c      1862          24252       12108         1         -41.0000         -45.0000      9.76%
1863.90/1869.49	c      1869          24282       12118         1         -41.0000         -45.0000      9.76%
1869.08/1874.65	c      1875          24358       12174         1         -41.0000         -45.0000      9.76%
1874.36/1879.96	c      1880          24405       12207         1         -41.0000         -45.0000      9.76%
1880.05/1885.65	c      1886          24454       12226         1         -41.0000         -45.0000      9.76%
1887.63/1893.25	c      1893          24481       12235         1         -41.0000         -45.0000      9.76%
1893.12/1898.71	c      1899          24574       12306         1         -41.0000         -45.0000      9.76%
1898.90/1904.59	c      1905          24626       12342         1         -41.0000         -45.0000      9.76%
1904.99/1910.69	c      1911          24641       12351         1         -41.0000         -45.0000      9.76%
1910.17/1915.83	c      1916          24674       12374         1         -41.0000         -45.0000      9.76%
1915.96/1921.64	c      1922          24746       12430         1         -41.0000         -45.0000      9.76%
1921.46/1927.14	c      1927          24899       12527         1         -41.0000         -45.0000      9.76%
1926.93/1932.60	c      1933          24920       12532         1         -41.0000         -45.0000      9.76%
1934.71/1940.40	c      1940          24956       12548         1         -41.0000         -45.0000      9.76%
1940.10/1945.85	c      1946          24964       12554         1         -41.0000         -45.0000      9.76%
1945.19/1951.01	c      1951          25071       12621         1         -41.0000         -45.0000      9.76%
1950.38/1956.17	c      1956          25317       12737         1         -41.0000         -45.0000      9.76%
1955.44/1961.22	c      1961          25411       12773         1         -41.0000         -45.0000      9.76%
1961.93/1967.75	c      1968          25421       12775         1         -41.0000         -45.0000      9.76%
1967.02/1972.87	c      1973          25462       12798         1         -41.0000         -45.0000      9.76%
1972.22/1978.10	c      1978          25629       12895         1         -41.0000         -45.0000      9.76%
1977.48/1983.38	c      1983          25820       13012         1         -41.0000         -45.0000      9.76%
1983.76/1989.61	c      1990          25852       13032         1         -41.0000         -45.0000      9.76%
1989.95/1995.87	c      1996          25986       13114         1         -41.0000         -45.0000      9.76%
1996.04/2001.98	c      2002          26071       13153         1         -41.0000         -45.0000      9.76%
2002.62/2008.53	c      2009          26082       13156         1         -41.0000         -45.0000      9.76%
2010.80/2016.74	c      2017          26219       13233         1         -41.0000         -45.0000      9.76%
2015.99/2021.99	c      2022          26229       13239         1         -41.0000         -45.0000      9.76%
2021.47/2027.50	c      2027          26306       13274         1         -41.0000         -45.0000      9.76%
2026.65/2032.68	c      2033          26526       13382         1         -41.0000         -45.0000      9.76%
2032.04/2038.03	c      2038          26602       13424         1         -41.0000         -45.0000      9.76%
2041.51/2047.54	c      2048          26769       13525         1         -41.0000         -45.0000      9.76%
2049.19/2055.20	c      2055          26934       13626         1         -41.0000         -45.0000      9.76%
2054.17/2060.24	c      2060          26996       13652         1         -41.0000         -45.0000      9.76%
2059.57/2065.68	c      2066          27017       13663         1         -41.0000         -45.0000      9.76%
2066.15/2072.20	c      2072          27059       13683         1         -41.0000         -45.0000      9.76%
2073.04/2079.16	c      2079          27154       13728         1         -41.0000         -45.0000      9.76%
2079.12/2085.27	c      2085          27169       13733         1         -41.0000         -45.0000      9.76%
2088.79/2094.96	c      2095          27194       13740         1         -41.0000         -45.0000      9.76%
2096.67/2102.80	c      2103          27353       13829         1         -41.0000         -45.0000      9.76%
2101.97/2108.14	c      2108          27371       13837         1         -41.0000         -45.0000      9.76%
2110.54/2116.75	c      2117          27410       13852         1         -41.0000         -45.0000      9.76%
2116.53/2122.77	c      2123          27437       13863         1         -41.0000         -45.0000      9.76%
2123.41/2129.60	c      2130          27461       13873         1         -41.0000         -45.0000      9.76%
2128.49/2134.78	c      2135          27480       13878         1         -41.0000         -45.0000      9.76%
2135.28/2141.59	c      2142          27493       13881         1         -41.0000         -45.0000      9.76%
2143.06/2149.36	c      2149          27590       13942         1         -41.0000         -45.0000      9.76%
2148.54/2154.87	c      2155          27611       13949         1         -41.0000         -45.0000      9.76%
2154.54/2160.86	c      2161          27616       13950         1         -41.0000         -45.0000      9.76%
2160.52/2166.86	c      2167          27659       13981         1         -41.0000         -45.0000      9.76%
2166.60/2173.01	c      2173          27674       13984         1         -41.0000         -45.0000      9.76%
2171.70/2178.06	c      2178          27705       14005         1         -41.0000         -45.0000      9.76%
2181.46/2187.81	c      2188          27751       14027         1         -41.0000         -45.0000      9.76%
2186.84/2193.21	c      2193          27765       14027         1         -41.0000         -45.0000      9.76%
2195.02/2201.42	c      2201          27790       14042         1         -41.0000         -45.0000      9.76%
2202.60/2209.09	c      2209          27843       14071         1         -41.0000         -45.0000      9.76%
2207.89/2214.37	c      2214          27862       14074         1         -41.0000         -45.0000      9.76%
2214.96/2221.44	c      2221          27940       14116         1         -41.0000         -45.0000      9.76%
2220.95/2227.49	c      2227          27967       14129         1         -41.0000         -45.0000      9.76%
2229.93/2236.45	c      2236          27978       14130         1         -41.0000         -45.0000      9.76%
2235.11/2241.65	c      2242          28156       14232         1         -41.0000         -45.0000      9.76%
2241.80/2248.37	c      2248          28164       14236         1         -41.0000         -45.0000      9.76%
2249.49/2256.07	c      2256          28199       14247         1         -41.0000         -45.0000      9.76%
2258.86/2265.48	c      2265          28226       14252         1         -41.0000         -45.0000      9.76%
2264.46/2271.04	c      2271          28293       14279         1         -41.0000         -45.0000      9.76%
2269.44/2276.07	c      2276          28311       14281         1         -41.0000         -45.0000      9.76%
2276.02/2282.69	c      2283          28410       14338         1         -41.0000         -45.0000      9.76%
2281.41/2288.05	c      2288          28467       14379         1         -41.0000         -45.0000      9.76%
2286.99/2293.67	c      2294          28517       14415         1         -41.0000         -45.0000      9.76%
2293.77/2300.49	c      2300          28610       14458         1         -41.0000         -45.0000      9.76%
2298.86/2305.54	c      2306          28629       14467         1         -41.0000         -45.0000      9.76%
2305.04/2311.79	c      2312          28710       14498         1         -41.0000         -45.0000      9.76%
2311.92/2318.63	c      2319          28795       14527         1         -41.0000         -45.0000      9.76%
2317.11/2323.89	c      2324          28821       14533         1         -41.0000         -45.0000      9.76%
2325.31/2332.06	c      2332          28905       14585         1         -41.0000         -45.0000      9.76%
2332.07/2338.85	c      2339          28953       14601         1         -41.0000         -45.0000      9.76%
2337.16/2343.97	c      2344          29001       14617         1         -41.0000         -45.0000      9.76%
2342.55/2349.38	c      2349          29088       14662         1         -41.0000         -45.0000      9.76%
2349.24/2356.03	c      2356          29147       14691         1         -41.0000         -45.0000      9.76%
2355.22/2362.11	c      2362          29265       14753         1         -41.0000         -45.0000      9.76%
2361.09/2367.94	c      2368          29455       14865         1         -41.0000         -45.0000      9.76%
2371.18/2378.06	c      2378          29506       14892         1         -41.0000         -45.0000      9.76%
2377.36/2384.27	c      2384          29582       14928         1         -41.0000         -45.0000      9.76%
2382.94/2389.80	c      2390          29622       14954         1         -41.0000         -45.0000      9.76%
2390.72/2397.66	c      2398          29778       15036         1         -41.0000         -45.0000      9.76%
2398.30/2405.23	c      2405          29787       15037         1         -41.0000         -45.0000      9.76%
2405.98/2412.94	c      2413          29833       15055         1         -41.0000         -45.0000      9.76%
2411.97/2418.98	c      2419          29910       15096         1         -41.0000         -45.0000      9.76%
2417.55/2424.55	c      2425          29970       15126         1         -41.0000         -45.0000      9.76%
2422.93/2429.97	c      2430          30098       15184         1         -41.0000         -45.0000      9.76%
2430.03/2437.07	c      2437          30154       15214         1         -41.0000         -45.0000      9.76%
2435.40/2442.49	c      2442          30209       15249         1         -41.0000         -45.0000      9.76%
2440.78/2447.81	c      2448          30444       15376         1         -41.0000         -45.0000      9.76%
2445.87/2452.98	c      2453          30765       15499         1         -41.0000         -45.0000      9.76%
2451.96/2459.06	c      2459          30902       15586         1         -41.0000         -45.0000      9.76%
2460.13/2467.28	c      2467          30984       15612         1         -41.0000         -45.0000      9.76%
2467.11/2474.22	c      2474          31139       15709         1         -41.0000         -45.0000      9.76%
2472.60/2479.73	c      2480          31289       15801         1         -41.0000         -45.0000      9.76%
2478.09/2485.23	c      2485          31300       15804         1         -41.0000         -45.0000      9.76%
2484.17/2491.31	c      2491          31426       15882         1         -41.0000         -45.0000      9.76%
2489.26/2496.47	c      2496          31566       15962         1         -41.0000         -45.0000      9.76%
2494.44/2501.66	c      2502          31626       16000         1         -41.0000         -45.0000      9.76%
2501.12/2508.38	c      2508          31778       16078         1         -41.0000         -45.0000      9.76%
2507.01/2514.22	c      2514          32005       16193         1         -41.0000         -45.0000      9.76%
2512.10/2519.31	c      2519          32094       16234         1         -41.0000         -45.0000      9.76%
2517.79/2525.04	c      2525          32192       16276         1         -41.0000         -45.0000      9.76%
2523.46/2530.75	c      2531          32302       16322         1         -41.0000         -45.0000      9.76%
2528.86/2536.13	c      2536          32346       16348         1         -41.0000         -45.0000      9.76%
2534.23/2541.51	c      2542          32457       16399         1         -41.0000         -45.0000      9.76%
2540.02/2547.34	c      2547          32549       16439         1         -41.0000         -45.0000      9.76%
2545.30/2552.63	c      2553          32640       16472         1         -41.0000         -45.0000      9.76%
2550.70/2558.09	c      2558          32766       16522         1         -41.0000         -45.0000      9.76%
2560.36/2567.75	c      2568          32842       16556         1         -41.0000         -45.0000      9.76%
2568.55/2575.91	c      2576          32937       16595         1         -41.0000         -45.0000      9.76%
2573.82/2581.28	c      2581          33102       16656         1         -41.0000         -45.0000      9.76%
2579.62/2587.05	c      2587          33114       16660         1         -41.0000         -45.0000      9.76%
2586.40/2593.82	c      2594          33243       16725         1         -41.0000         -45.0000      9.76%
2591.70/2599.19	c      2599          33316       16748         1         -41.0000         -45.0000      9.76%
2597.17/2604.68	c      2605          33421       16797         1         -41.0000         -45.0000      9.76%
2603.46/2610.98	c      2611          33516       16860         1         -41.0000         -45.0000      9.76%
2610.65/2618.17	c      2618          33609       16929         1         -41.0000         -45.0000      9.76%
2616.02/2623.55	c      2624          33655       16953         1         -41.0000         -45.0000      9.76%
2622.51/2630.05	c      2630          33683       16969         1         -41.0000         -45.0000      9.76%
2628.79/2636.32	c      2636          33753       17019         1         -41.0000         -45.0000      9.76%
2634.97/2642.54	c      2643          33794       17044         1         -41.0000         -45.0000      9.76%
2641.47/2649.07	c      2649          33832       17062         1         -41.0000         -45.0000      9.76%
2646.94/2654.54	c      2655          33888       17100         1         -41.0000         -45.0000      9.76%
2652.63/2660.29	c      2660          33904       17110         1         -41.0000         -45.0000      9.76%
2658.12/2665.70	c      2666          33928       17126         1         -41.0000         -45.0000      9.76%
2664.80/2672.47	c      2672          33970       17140         1         -41.0000         -45.0000      9.76%
2670.78/2678.45	c      2678          34005       17161         1         -41.0000         -45.0000      9.76%
2677.27/2684.91	c      2685          34016       17162         1         -41.0000         -45.0000      9.76%
2684.85/2692.50	c      2692          34056       17178         1         -41.0000         -45.0000      9.76%
2689.83/2697.51	c      2698          34063       17183         1         -41.0000         -45.0000      9.76%
2697.43/2705.13	c      2705          34084       17194         1         -41.0000         -45.0000      9.76%
2703.91/2711.64	c      2712          34097       17197         1         -41.0000         -45.0000      9.76%
2709.69/2717.48	c      2717          34135       17221         1         -41.0000         -45.0000      9.76%
2715.87/2723.60	c      2724          34151       17229         1         -41.0000         -45.0000      9.76%
2722.27/2730.02	c      2730          34167       17237         1         -41.0000         -45.0000      9.76%
2728.94/2736.74	c      2737          34194       17244         1         -41.0000         -45.0000      9.76%
2734.33/2742.15	c      2742          34231       17257         1         -41.0000         -45.0000      9.76%
2739.41/2747.23	c      2747          34237       17259         1         -41.0000         -45.0000      9.76%
2744.60/2752.48	c      2752          34273       17269         1         -41.0000         -45.0000      9.76%
2749.89/2757.75	c      2758          34282       17272         1         -41.0000         -45.0000      9.76%
2757.07/2764.91	c      2765          34361       17325         1         -41.0000         -45.0000      9.76%
2762.75/2770.66	c      2771          34371       17325         1         -41.0000         -45.0000      9.76%
2768.74/2776.67	c      2777          34427       17349         1         -41.0000         -45.0000      9.76%
2773.93/2781.88	c      2782          34440       17354         1         -41.0000         -45.0000      9.76%
2779.61/2787.51	c      2788          34523       17385         1         -41.0000         -45.0000      9.76%
2784.89/2792.90	c      2793          34582       17416         1         -41.0000         -45.0000      9.76%
2790.57/2798.59	c      2799          34591       17419         1         -41.0000         -45.0000      9.76%
2796.66/2804.62	c      2805          34714       17473         1         -41.0000         -45.0000      9.76%
2801.74/2809.74	c      2810          34730       17481         1         -41.0000         -45.0000      9.76%
2807.04/2815.10	c      2815          34740       17489         1         -41.0000         -45.0000      9.76%
2812.41/2820.49	c      2820          34783       17516         1         -41.0000         -45.0000      9.76%
2818.29/2826.35	c      2826          34795       17520         1         -41.0000         -45.0000      9.76%
2824.37/2832.41	c      2832          34816       17533         1         -41.0000         -45.0000      9.76%
2831.07/2839.15	c      2839          34843       17548         1         -41.0000         -45.0000      9.76%
2840.22/2848.33	c      2848          34929       17588         1         -41.0000         -45.0000      9.76%
2845.70/2853.83	c      2854          34993       17618         1         -41.0000         -45.0000      9.76%
2851.18/2859.36	c      2859          35077       17666         1         -41.0000         -45.0000      9.76%
2857.36/2865.52	c      2866          35233       17738         1         -41.0000         -45.0000      9.76%
2862.34/2870.57	c      2871          35291       17758         1         -41.0000         -45.0000      9.76%
2868.02/2876.22	c      2876          35398       17807         1         -41.0000         -45.0000      9.76%
2873.11/2881.32	c      2881          35656       17937         1         -41.0000         -45.0000      9.76%
2881.48/2889.79	c      2890          35774       17991         1         -41.0000         -45.0000      9.76%
2887.96/2896.22	c      2896          35820       18013         1         -41.0000         -45.0000      9.76%
2893.04/2901.33	c      2901          35957       18062         1         -41.0000         -45.0000      9.76%
2899.52/2907.87	c      2908          36092       18109         1         -41.0000         -45.0000      9.76%
2905.40/2913.73	c      2914          36249       18176         1         -41.0000         -45.0000      9.76%
2911.27/2919.67	c      2920          36400       18255         1         -41.0000         -45.0000      9.76%
2916.86/2925.21	c      2925          36585       18342         1         -41.0000         -45.0000      9.76%
2923.33/2931.74	c      2932          36710       18403         1         -41.0000         -45.0000      9.76%
2930.41/2938.81	c      2939          36813       18454         1         -41.0000         -45.0000      9.76%
2936.19/2944.62	c      2945          36941       18546         1         -41.0000         -45.0000      9.76%
2941.97/2950.46	c      2950          36991       18580         1         -41.0000         -45.0000      9.76%
2947.15/2955.63	c      2956          37138       18645         1         -41.0000         -45.0000      9.76%
2953.22/2961.74	c      2962          37289       18708         1         -41.0000         -45.0000      9.76%
2959.51/2968.01	c      2968          37313       18718         1         -41.0000         -45.0000      9.76%
2966.50/2975.07	c      2975          37325       18724         1         -41.0000         -45.0000      9.76%
2973.26/2981.81	c      2982          37367       18736         1         -41.0000         -45.0000      9.76%
2979.04/2987.61	c      2988          37375       18740         1         -41.0000         -45.0000      9.76%
2985.82/2994.41	c      2994          37416       18763         1         -41.0000         -45.0000      9.76%
2991.20/2999.83	c      3000          37479       18790         1         -41.0000         -45.0000      9.76%
2997.58/3006.29	c      3006          37653       18876         1         -41.0000         -45.0000      9.76%
3003.37/3012.04	c      3012          37692       18901         1         -41.0000         -45.0000      9.76%
3009.25/3018.01	c      3018          37740       18923         1         -41.0000         -45.0000      9.76%
3017.72/3026.45	c      3026          37864       18957         1         -41.0000         -45.0000      9.76%
3024.01/3032.79	c      3033          37970       18997         1         -41.0000         -45.0000      9.76%
3029.31/3038.02	c      3038          38000       19011         1         -41.0000         -45.0000      9.76%
3034.68/3043.40	c      3043          38223       19110         1         -41.0000         -45.0000      9.76%
3041.86/3050.68	c      3051          38291       19142         1         -41.0000         -45.0000      9.76%
3047.45/3056.29	c      3056          38458       19213         1         -41.0000         -45.0000      9.76%
3054.93/3063.70	c      3064          38534       19239         1         -41.0000         -45.0000      9.76%
3060.61/3069.43	c      3069          38648       19271         1         -41.0000         -45.0000      9.76%
3066.31/3075.11	c      3075          38818       19349         1         -41.0000         -45.0000      9.76%
3074.88/3083.78	c      3084          38879       19380         1         -41.0000         -45.0000      9.76%
3080.36/3089.29	c      3089          38911       19398         1         -41.0000         -45.0000      9.76%
3085.95/3094.89	c      3095          39154       19497         1         -41.0000         -45.0000      9.76%
3093.23/3102.16	c      3102          39240       19527         1         -41.0000         -45.0000      9.76%
3098.61/3107.59	c      3108          39309       19556         1         -41.0000         -45.0000      9.76%
3106.59/3115.59	c      3116          39472       19627         1         -41.0000         -45.0000      9.76%
3112.38/3121.33	c      3121          39525       19648         1         -41.0000         -45.0000      9.76%
3118.36/3127.31	c      3127          39580       19659         1         -41.0000         -45.0000      9.76%
3125.64/3134.63	c      3135          39640       19681         1         -41.0000         -45.0000      9.76%
3131.42/3140.45	c      3140          39676       19699         1         -41.0000         -45.0000      9.76%
3136.71/3145.72	c      3146          39812       19757         1         -41.0000         -45.0000      9.76%
3143.79/3152.87	c      3153          39986       19841         1         -41.0000         -45.0000      9.76%
3148.99/3158.08	c      3158          40184       19945         1         -41.0000         -45.0000      9.76%
3156.56/3165.63	c      3166          40291       19986         1         -41.0000         -45.0000      9.76%
3162.34/3171.46	c      3171          40378       20019         1         -41.0000         -45.0000      9.76%
3168.23/3177.38	c      3177          40496       20071         1         -41.0000         -45.0000      9.76%
3174.31/3183.46	c      3183          40641       20146         1         -41.0000         -45.0000      9.76%
3179.79/3188.94	c      3189          40822       20223         1         -41.0000         -45.0000      9.76%
3185.17/3194.34	c      3194          40900       20259         1         -41.0000         -45.0000      9.76%
3193.25/3202.42	c      3202          40991       20302         1         -41.0000         -45.0000      9.76%
3198.95/3208.16	c      3208          41078       20347         1         -41.0000         -45.0000      9.76%
3207.02/3216.20	c      3216          41143       20380         1         -41.0000         -45.0000      9.76%
3212.11/3221.33	c      3221          41345       20452         1         -41.0000         -45.0000      9.76%
3217.90/3227.12	c      3227          41471       20504         1         -41.0000         -45.0000      9.76%
3224.07/3233.38	c      3233          41507       20522         1         -41.0000         -45.0000      9.76%
3231.86/3241.15	c      3241          41517       20524         1         -41.0000         -45.0000      9.76%
3237.15/3246.50	c      3246          41591       20554         1         -41.0000         -45.0000      9.76%
3243.03/3252.32	c      3252          41678       20593         1         -41.0000         -45.0000      9.76%
3248.91/3258.23	c      3258          41758       20631         1         -41.0000         -45.0000      9.76%
3255.90/3265.29	c      3265          41876       20678         1         -41.0000         -45.0000      9.76%
3261.48/3270.85	c      3271          42037       20755         1         -41.0000         -45.0000      9.76%
3267.36/3276.75	c      3277          42194       20816         1         -41.0000         -45.0000      9.76%
3273.55/3282.94	c      3283          42254       20842         1         -41.0000         -45.0000      9.76%
3280.13/3289.56	c      3290          42362       20900         1         -41.0000         -45.0000      9.76%
3290.61/3300.09	c      3300          42471       20939         1         -41.0000         -45.0000      9.76%
3296.28/3305.70	c      3306          42544       20966         1         -41.0000         -45.0000      9.76%
3303.68/3313.15	c      3313          42690       21016         1         -41.0000         -45.0000      9.76%
3308.84/3318.31	c      3318          42780       21070         1         -41.0000         -45.0000      9.76%
3314.01/3323.58	c      3324          43012       21198         1         -41.0000         -45.0000      9.76%
3319.70/3329.30	c      3329          43192       21278         1         -41.0000         -45.0000      9.76%
3324.88/3334.45	c      3334          43353       21343         1         -41.0000         -45.0000      9.76%
3329.86/3339.48	c      3339          43500       21418         1         -41.0000         -45.0000      9.76%
3335.14/3344.70	c      3345          43756       21548         1         -41.0000         -45.0000      9.76%
3342.02/3351.67	c      3352          43903       21611         1         -41.0000         -45.0000      9.76%
3347.70/3357.39	c      3357          43954       21628         1         -41.0000         -45.0000      9.76%
3355.17/3364.84	c      3365          44083       21679         1         -41.0000         -45.0000      9.76%
3364.46/3374.12	c      3374          44211       21731         1         -41.0000         -45.0000      9.76%
3369.93/3379.65	c      3380          44256       21746         1         -41.0000         -45.0000      9.76%
3378.31/3388.05	c      3388          44373       21803         1         -41.0000         -45.0000      9.76%
3383.48/3393.22	c      3393          44556       21882         1         -41.0000         -45.0000      9.76%
3388.66/3398.42	c      3398          44651       21945         1         -41.0000         -45.0000      9.76%
3394.05/3403.84	c      3404          44874       22026         1         -41.0000         -45.0000      9.76%
3399.72/3409.56	c      3410          45004       22098         1         -41.0000         -45.0000      9.76%
3405.51/3415.35	c      3415          45064       22130         1         -41.0000         -45.0000      9.76%
3412.58/3422.49	c      3422          45127       22159         1         -41.0000         -45.0000      9.76%
3419.37/3429.27	c      3429          45365       22271         1         -41.0000         -45.0000      9.76%
3425.34/3435.26	c      3435          45512       22352         1         -41.0000         -45.0000      9.76%
3430.43/3440.37	c      3440          45788       22464         1         -41.0000         -45.0000      9.76%
3435.60/3445.50	c      3446          45975       22553         1         -41.0000         -45.0000      9.76%
3442.78/3452.72	c      3453          46131       22633         1         -41.0000         -45.0000      9.76%
3448.95/3458.90	c      3459          46286       22722         1         -41.0000         -45.0000      9.76%
3455.05/3465.03	c      3465          46493       22813         1         -41.0000         -45.0000      9.76%
3462.81/3472.89	c      3473          46538       22834         1         -41.0000         -45.0000      9.76%
3468.78/3478.82	c      3479          46655       22885         1         -41.0000         -45.0000      9.76%
3475.76/3485.82	c      3486          46861       22983         1         -41.0000         -45.0000      9.76%
3481.35/3491.48	c      3491          47009       23059         1         -41.0000         -45.0000      9.76%
3486.83/3496.93	c      3497          47025       23063         1         -41.0000         -45.0000      9.76%
3496.69/3506.85	c      3507          47060       23078         1         -41.0000         -45.0000      9.76%
3501.78/3511.96	c      3512          47235       23155         1         -41.0000         -45.0000      9.76%
3506.98/3517.15	c      3517          47389       23225         1         -41.0000         -45.0000      9.76%
3513.86/3524.02	c      3524          47467       23257         1         -41.0000         -45.0000      9.76%
3519.03/3529.28	c      3529          47550       23292         1         -41.0000         -45.0000      9.76%
3524.72/3534.92	c      3535          47637       23329         1         -41.0000         -45.0000      9.76%
3529.82/3540.03	c      3540          47842       23452         1         -41.0000         -45.0000      9.76%
3535.59/3545.80	c      3546          47950       23514         1         -41.0000         -45.0000      9.76%
3541.38/3551.66	c      3552          48212       23604         1         -41.0000         -45.0000      9.76%
3547.15/3557.41	c      3557          48419       23695         1         -41.0000         -45.0000      9.76%
3554.04/3564.37	c      3564          48454       23704         1         -41.0000         -45.0000      9.76%
3559.73/3570.05	c      3570          48595       23769         1         -41.0000         -45.0000      9.76%
3565.31/3575.68	c      3576          48797       23849         1         -41.0000         -45.0000      9.76%
3570.99/3581.33	c      3581          48844       23870         1         -41.0000         -45.0000      9.76%
3576.79/3587.14	c      3587          49013       23937         1         -41.0000         -45.0000      9.76%
3581.87/3592.20	c      3592          49078       23966         1         -41.0000         -45.0000      9.76%
3587.55/3597.94	c      3598          49189       24009         1         -41.0000         -45.0000      9.76%
3590.04/3600.42	c SCIP Status        : c solving was interrupted [hard time limit reached]
3590.04/3600.42	c Total Time         : 3600.42
3590.04/3600.42	c   solving          : 3600.42
3590.04/3600.42	c   presolving       : 1.42 (included in solving)
3590.04/3600.42	c B&B Tree           :
3590.04/3600.42	c   nodes (total)    : 1
3590.04/3600.42	c Solution           :
3590.04/3600.42	c   Solutions found  : 10
3590.04/3600.42	c   Primal Bound     : -4.10000000000000e+01
3590.04/3600.42	c   Dual Bound       : -4.50000000000000e+01
3590.04/3600.42	c Gap                : 9.75610 %
3590.04/3600.42	c * Warning: final gap: 9.75610e-02 is greater than SCIPepsilon: 1.00000e-09
3590.04/3600.44	o -41
3590.04/3600.44	s SATISFIABLE
3590.04/3600.44	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 
3590.04/3600.44	v x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 
3590.04/3600.44	v -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 
3590.04/3600.44	v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 
3590.04/3600.44	v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 
3590.04/3600.44	v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 
3590.04/3600.44	v -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 
3590.04/3600.44	v -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 
3590.04/3600.44	v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 
3590.04/3600.44	v x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 
3590.04/3600.44	v -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 
3590.04/3600.44	v -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 
3590.04/3600.44	v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 
3590.04/3600.44	v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 
3590.04/3600.44	v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 
3590.04/3600.44	v x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 
3590.04/3600.44	v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 
3590.04/3600.44	v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 
3590.04/3600.44	v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 
3590.04/3600.44	v -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 
3590.04/3600.44	v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 
3590.04/3600.44	v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 
3590.04/3600.44	v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 
3590.04/3600.44	v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 
3590.04/3600.44	v -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 
3590.04/3600.44	v -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 
3590.04/3600.44	v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 
3590.04/3600.44	v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 
3590.04/3600.44	v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 
3590.04/3600.44	v -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 
3590.04/3600.44	v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 -x669 
3590.04/3600.44	v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 
3590.15/3600.56	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 
3590.15/3600.56	v -x712 -x713 x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 
3590.15/3600.56	v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 
3590.15/3600.56	v -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 
3590.15/3600.56	v -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 
3590.15/3600.56	v -x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 
3590.15/3600.56	v -x817 -x818 x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 
3590.15/3600.56	v -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 
3590.15/3600.56	v -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 -x878 -x879 
3590.15/3600.56	v -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 
3590.15/3600.56	v -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 
3590.15/3600.56	v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 
3590.15/3600.56	v -x943 -x944 -x945 

Verifier Data

OK	-41

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=800397, runsolver pid=800394

[startup+0.101057 s]*
/proc/loadavg: 3.43 2.83 3.00 5/252 800399
/proc/meminfo: memFree=125940208/131655788 swapFree=131071996/131071996
[pid=800397] ppid=800394 vsize=42996 memory=31112 CPUtime=0.1 cores=1,3
/proc/800397/stat : 800397 (fscip) R 800394 800397 795049 0 -1 4194304 5694 0 0 0 9 1 0 0 20 0 1 0 157770886 44027904 7778 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
/proc/800397/statm: 10749 7778 2318 3032 0 7149 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42996 KiB
Current children cumulated memory: 31112 KiB

[startup+0.210422 s]*
/proc/loadavg: 3.43 2.83 3.00 5/252 800399
/proc/meminfo: memFree=125888332/131655788 swapFree=131071996/131071996
[pid=800397] ppid=800394 vsize=97868 memory=85960 CPUtime=0.21 cores=1,3
/proc/800397/stat : 800397 (fscip) R 800394 800397 795049 0 -1 4194304 19549 0 0 0 18 3 0 0 20 0 1 0 157770886 100216832 21490 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
/proc/800397/statm: 24467 21490 2558 3032 0 20867 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 97868 KiB
Current children cumulated memory: 85960 KiB

[startup+0.310465 s]*
/proc/loadavg: 3.43 2.83 3.00 6/252 800399
/proc/meminfo: memFree=125877440/131655788 swapFree=131071996/131071996
[pid=800397] ppid=800394 vsize=102960 memory=91156 CPUtime=0.31 cores=1,3
/proc/800397/stat : 800397 (fscip) R 800394 800397 795049 0 -1 4194304 20805 0 0 0 28 3 0 0 20 0 1 0 157770886 105431040 22789 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
/proc/800397/statm: 25740 22789 2606 3032 0 22140 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 102960 KiB
Current children cumulated memory: 91156 KiB

[startup+0.70034 s]
/proc/loadavg: 3.43 2.83 3.00 5/252 800399
/proc/meminfo: memFree=125843308/131655788 swapFree=131071996/131071996
[pid=800397] ppid=800394 vsize=131660 memory=120420 CPUtime=0.68 cores=1,3
/proc/800397/stat : 800397 (fscip) R 800394 800397 795049 0 -1 4194304 35301 0 0 0 62 6 0 0 20 0 1 0 157770886 134819840 30105 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
/proc/800397/statm: 32915 30105 2686 3032 0 29315 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 131660 KiB
Current children cumulated memory: 120420 KiB

[startup+1.50035 s]
/proc/loadavg: 3.43 2.83 3.00 5/252 800399
/proc/meminfo: memFree=125858492/131655788 swapFree=131071996/131071996
[pid=800397] ppid=800394 vsize=247712 memory=221300 CPUtime=1.49 cores=1,3
/proc/800397/stat : 800397 (fscip) R 800394 800397 795049 0 -1 4194304 46022 0 0 0 140 9 0 0 20 0 1 0 157770886 253657088 55325 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
/proc/800397/statm: 61928 55325 2734 3032 0 58328 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 247712 KiB
Current children cumulated memory: 221300 KiB

[startup+3.11311 s]
/proc/loadavg: 3.47 2.85 3.01 5/254 800401
/proc/meminfo: memFree=125456704/131655788 swapFree=131071996/131071996
[pid=800397] ppid=800394 vsize=629832 memory=531912 CPUtime=3.08 cores=1,3
/proc/800397/stat : 800397 (fscip) S 800394 800397 795049 0 -1 1077936128 106542 0 0 0 285 23 0 0 20 0 3 0 157770886 644947968 132978 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
/proc/800397/statm: 157458 132978 2782 3032 0 152042 0
[pid=800397/tid=800400] ppid=800394 vsize=629832 memory=198340509722 CPUtime=1.38 cores=1,3
/proc/800397/task/800400/stat : 800400 (fscip) R 800394 800397 795049 0 -1 4194368 47438 0 0 0 126 12 0 0 20 0 3 0 157771050 644947968 133490 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
[pid=800397/tid=800401] ppid=800394 vsize=629832 memory=0 CPUtime=0 cores=1,3
/proc/800397/task/800401/stat : 800401 (fscip) S 800394 800397 795049 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 157771072 644947968 133490 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 629832 KiB
Current children cumulated memory: 531912 KiB

[startup+6.30039 s]
/proc/loadavg: 3.47 2.85 3.01 5/254 800401
/proc/meminfo: memFree=125339960/131655788 swapFree=131071996/131071996
[pid=800397] ppid=800394 vsize=760904 memory=628672 CPUtime=6.27 cores=1,3
/proc/800397/stat : 800397 (fscip) S 800394 800397 795049 0 -1 1077936128 152325 0 0 0 599 28 0 0 20 0 3 0 157770886 779165696 157168 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
/proc/800397/statm: 190226 157168 2958 3032 0 172441 0
[pid=800397/tid=800400] ppid=800394 vsize=760904 memory=0 CPUtime=4.55 cores=1,3
/proc/800397/task/800400/stat : 800400 (fscip) R 800394 800397 795049 0 -1 4194368 93011 0 0 0 439 16 0 0 20 0 3 0 157771050 779165696 157168 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
[pid=800397/tid=800401] ppid=800394 vsize=760904 memory=16212 CPUtime=0 cores=1,3
/proc/800397/task/800401/stat : 800401 (fscip) S 800394 800397 795049 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 157771072 779165696 157168 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 760904 KiB
Current children cumulated memory: 628672 KiB

[startup+12.7003 s]
/proc/loadavg: 3.55 2.89 3.02 5/254 800403
/proc/meminfo: memFree=125335224/131655788 swapFree=131071996/131071996
[pid=800397] ppid=800394 vsize=760904 memory=632240 CPUtime=12.65 cores=1,3
/proc/800397/stat : 800397 (fscip) S 800394 800397 795049 0 -1 1077936128 186375 0 0 0 1235 30 0 0 20 0 3 0 157770886 779165696 158060 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
/proc/800397/statm: 190226 158060 2958 3032 0 182864 0
[pid=800397/tid=800400] ppid=800394 vsize=760904 memory=628772 CPUtime=10.94 cores=1,3
/proc/800397/task/800400/stat : 800400 (fscip) R 800394 800397 795049 0 -1 4194368 127058 0 0 0 1076 18 0 0 20 0 3 0 157771050 779165696 158060 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
[pid=800397/tid=800401] ppid=800394 vsize=760904 memory=628672 CPUtime=0 cores=1,3
/proc/800397/task/800401/stat : 800401 (fscip) S 800394 800397 795049 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 157771072 779165696 158060 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 760904 KiB
Current children cumulated memory: 632240 KiB

[startup+25.5004 s]
/proc/loadavg: 3.62 2.92 3.03 5/254 800404
/proc/meminfo: memFree=125214928/131655788 swapFree=131071996/131071996
[pid=800397] ppid=800394 vsize=957512 memory=712232 CPUtime=25.41 cores=1,3
/proc/800397/stat : 800397 (fscip) S 800394 800397 795049 0 -1 1077936128 269251 0 0 0 2506 35 0 0 20 0 3 0 157770886 980492288 178058 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
/proc/800397/statm: 239378 178058 2958 3032 0 220195 0
[pid=800397/tid=800400] ppid=800394 vsize=957512 memory=11408 CPUtime=23.7 cores=1,3
/proc/800397/task/800400/stat : 800400 (fscip) R 800394 800397 795049 0 -1 4194368 209678 0 0 0 2347 23 0 0 20 0 3 0 157771050 980492288 178058 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
[pid=800397/tid=800401] ppid=800394 vsize=957512 memory=0 CPUtime=0 cores=1,3
/proc/800397/task/800401/stat : 800401 (fscip) S 800394 800397 795049 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 157771072 980492288 178058 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 957512 KiB
Current children cumulated memory: 712232 KiB

[startup+51.1138 s]
/proc/loadavg: 3.88 3.04 3.07 5/254 800409
/proc/meminfo: memFree=125122524/131655788 swapFree=131071996/131071996
[pid=800397] ppid=800394 vsize=957512 memory=729224 CPUtime=50.93 cores=1,3
/proc/800397/stat : 800397 (fscip) S 800394 800397 795049 0 -1 1077936128 328874 0 0 0 5052 41 0 0 20 0 3 0 157770886 980492288 182306 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
/proc/800397/statm: 239378 182306 2958 3032 0 224653 0
[pid=800397/tid=800400] ppid=800394 vsize=957512 memory=712236 CPUtime=49.21 cores=1,3
/proc/800397/task/800400/stat : 800400 (fscip) R 800394 800397 795049 0 -1 4194368 269212 0 0 0 4892 29 0 0 20 0 3 0 157771050 980492288 182306 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
[pid=800397/tid=800401] ppid=800394 vsize=957512 memory=5620 CPUtime=0 cores=1,3
/proc/800397/task/800401/stat : 800401 (fscip) S 800394 800397 795049 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 157771072 980492288 182306 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 957512 KiB
Current children cumulated memory: 729224 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 3.24 3.13 5/256 800421
/proc/meminfo: memFree=124956808/131655788 swapFree=131071996/131071996
[pid=800397] ppid=800394 vsize=1027016 memory=774028 CPUtime=101.93 cores=1,3
/proc/800397/stat : 800397 (fscip) S 800394 800397 795049 0 -1 1077936128 464466 0 0 0 10141 52 0 0 20 0 3 0 157770886 1051664384 193507 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
/proc/800397/statm: 256754 193507 2974 3032 0 236409 0
[pid=800397/tid=800400] ppid=800394 vsize=1027016 memory=11408 CPUtime=100.2 cores=1,3
/proc/800397/task/800400/stat : 800400 (fscip) R 800394 800397 795049 0 -1 4194368 404288 0 0 0 9980 40 0 0 20 0 3 0 157771050 1051664384 193507 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
[pid=800397/tid=800401] ppid=800394 vsize=1027016 memory=40676 CPUtime=0 cores=1,3
/proc/800397/task/800401/stat : 800401 (fscip) S 800394 800397 795049 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 157771072 1051664384 193507 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1027016 KiB
Current children cumulated memory: 774028 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 3.41 3.20 5/256 800432
/proc/meminfo: memFree=124734424/131655788 swapFree=131071996/131071996
[pid=800397] ppid=800394 vsize=1158088 memory=829300 CPUtime=161.7 cores=1,3
/proc/800397/stat : 800397 (fscip) S 800394 800397 795049 0 -1 1077936128 552925 0 0 0 16109 61 0 0 20 0 3 0 157770886 1185882112 207325 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
/proc/800397/statm: 289522 207325 2974 3032 0 270210 0
[pid=800397/tid=800400] ppid=800394 vsize=1158088 memory=780824 CPUtime=159.97 cores=1,3
/proc/800397/task/800400/stat : 800400 (fscip) R 800394 800397 795049 0 -1 4194368 492467 0 0 0 15948 49 0 0 20 0 3 0 157771050 1185882112 207325 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
[pid=800397/tid=800401] ppid=800394 vsize=1158088 memory=829300 CPUtime=0 cores=1,3
/proc/800397/task/800401/stat : 800401 (fscip) S 800394 800397 795049 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 157771072 1185882112 207325 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 1158088 KiB
Current children cumulated memory: 829300 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.53 3.26 5/256 800443
/proc/meminfo: memFree=124570684/131655788 swapFree=131071996/131071996
[pid=800397] ppid=800394 vsize=1319376 memory=885872 CPUtime=221.49 cores=1,3
/proc/800397/stat : 800397 (fscip) S 800394 800397 795049 0 -1 1077936128 608980 0 0 0 22084 65 0 0 20 0 3 0 157770886 1351041024 221468 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
/proc/800397/statm: 329844 221468 2974 3032 0 306715 0
[pid=800397/tid=800400] ppid=800394 vsize=1319376 memory=860124 CPUtime=219.76 cores=1,3
/proc/800397/task/800400/stat : 800400 (fscip) R 800394 800397 795049 0 -1 4194368 548469 0 0 0 21923 53 0 0 20 0 3 0 157771050 1351041024 221468 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
[pid=800397/tid=800401] ppid=800394 vsize=1319376 memory=6720664367701965423 CPUtime=0 cores=1,3
/proc/800397/task/800401/stat : 800401 (fscip) S 800394 800397 795049 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 157771072 1351041024 221468 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 1319376 KiB
Current children cumulated memory: 885872 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 3.65 3.32 5/253 800454
/proc/meminfo: memFree=124390220/131655788 swapFree=131071996/131071996
[pid=800397] ppid=800394 vsize=1344760 memory=961216 CPUtime=281.29 cores=1,3

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

Current children cumulated memory: 2247824 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/250 802206
/proc/meminfo: memFree=119265092/131655788 swapFree=131071996/131071996
[pid=800397] ppid=800394 vsize=3006152 memory=2316036 CPUtime=3392.56 cores=1,3
/proc/800397/stat : 800397 (fscip) S 800394 800397 795049 0 -1 1077936128 6050337 0 0 0 338771 485 0 0 20 0 3 0 157770886 3078299648 579009 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
/proc/800397/statm: 751538 579009 3294 3032 0 732374 0
[pid=800397/tid=800400] ppid=800394 vsize=3006152 memory=2248356 CPUtime=3390.58 cores=1,3
/proc/800397/task/800400/stat : 800400 (fscip) R 800394 800397 795049 0 -1 4194368 5987080 0 0 0 338596 462 0 0 20 0 3 0 157771050 3078299648 579009 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
[pid=800397/tid=800401] ppid=800394 vsize=3006152 memory=2316036 CPUtime=0.05 cores=1,3
/proc/800397/task/800401/stat : 800401 (fscip) S 800394 800397 795049 0 -1 1077936192 174 0 0 0 2 3 0 0 20 0 3 0 157771072 3078299648 579009 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
Current children cumulated CPU time: 3392.56 s
Current children cumulated vsize: 3006152 KiB
Current children cumulated memory: 2316036 KiB

[startup+3462.3 s]
/proc/loadavg: 4.46 4.19 4.12 5/250 802216
/proc/meminfo: memFree=119223688/131655788 swapFree=131071996/131071996
[pid=800397] ppid=800394 vsize=3006152 memory=2320392 CPUtime=3452.34 cores=1,3
/proc/800397/stat : 800397 (fscip) S 800394 800397 795049 0 -1 1077936128 6207490 0 0 0 344739 495 0 0 20 0 3 0 157770886 3078299648 580098 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
/proc/800397/statm: 751538 580098 3294 3032 0 732374 0
[pid=800397/tid=800400] ppid=800394 vsize=3006152 memory=2320388 CPUtime=3450.37 cores=1,3
/proc/800397/task/800400/stat : 800400 (fscip) R 800394 800397 795049 0 -1 4194368 6144185 0 0 0 344564 473 0 0 20 0 3 0 157771050 3078299648 580098 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
[pid=800397/tid=800401] ppid=800394 vsize=3006152 memory=2316288 CPUtime=0.06 cores=1,3
/proc/800397/task/800401/stat : 800401 (fscip) S 800394 800397 795049 0 -1 1077936192 176 0 0 0 2 4 0 0 20 0 3 0 157771072 3078299648 580098 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
Current children cumulated CPU time: 3452.34 s
Current children cumulated vsize: 3006152 KiB
Current children cumulated memory: 2320392 KiB

[startup+3522.3 s]
/proc/loadavg: 4.46 4.26 4.15 5/250 802226
/proc/meminfo: memFree=119151476/131655788 swapFree=131071996/131071996
[pid=800397] ppid=800394 vsize=3006152 memory=2342888 CPUtime=3512.15 cores=1,3
/proc/800397/stat : 800397 (fscip) S 800394 800397 795049 0 -1 1077936128 6363605 0 0 0 350709 506 0 0 20 0 3 0 157770886 3078299648 585722 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
/proc/800397/statm: 751538 585722 3294 3032 0 732374 0
[pid=800397/tid=800400] ppid=800394 vsize=3006152 memory=40676 CPUtime=3510.17 cores=1,3
/proc/800397/task/800400/stat : 800400 (fscip) R 800394 800397 795049 0 -1 4194368 6300260 0 0 0 350534 483 0 0 20 0 3 0 157771050 3078299648 585722 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
[pid=800397/tid=800401] ppid=800394 vsize=3006152 memory=40676 CPUtime=0.06 cores=1,3
/proc/800397/task/800401/stat : 800401 (fscip) S 800394 800397 795049 0 -1 1077936192 178 0 0 0 2 4 0 0 20 0 3 0 157771072 3078299648 585722 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
Current children cumulated CPU time: 3512.15 s
Current children cumulated vsize: 3006152 KiB
Current children cumulated memory: 2342888 KiB

[startup+3582.3 s]
/proc/loadavg: 2.53 3.76 3.98 2/223 802328
/proc/meminfo: memFree=126494364/131655788 swapFree=131071996/131071996
[pid=800397] ppid=800394 vsize=3006152 memory=2365956 CPUtime=3571.99 cores=1,3
/proc/800397/stat : 800397 (fscip) S 800394 800397 795049 0 -1 1077936128 6407648 0 0 0 356687 512 0 0 20 0 3 0 157770886 3078299648 591489 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
/proc/800397/statm: 751538 591489 3294 3032 0 732374 0
[pid=800397/tid=800400] ppid=800394 vsize=3006152 memory=12724 CPUtime=3570.01 cores=1,3
/proc/800397/task/800400/stat : 800400 (fscip) R 800394 800397 795049 0 -1 4194368 6344278 0 0 0 356512 489 0 0 20 0 3 0 157771050 3078299648 591489 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
[pid=800397/tid=800401] ppid=800394 vsize=3006152 memory=2365948 CPUtime=0.06 cores=1,3
/proc/800397/task/800401/stat : 800401 (fscip) S 800394 800397 795049 0 -1 1077936192 180 0 0 0 2 4 0 0 20 0 3 0 157771072 3078299648 591489 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
Current children cumulated CPU time: 3571.99 s
Current children cumulated vsize: 3006152 KiB
Current children cumulated memory: 2365956 KiB

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

# cumulated CPU time of all completed processes:  user=3584.97 s, system=5.30782 s

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

[startup+3584 s]*
/proc/loadavg: 2.41 3.72 3.97 2/223 802328
/proc/meminfo: memFree=126494116/131655788 swapFree=131071996/131071996
[pid=800397] ppid=800394 vsize=3006152 memory=2365956 CPUtime=3573.7 cores=1,3
/proc/800397/stat : 800397 (fscip) S 800394 800397 795049 0 -1 1077936128 6408084 0 0 0 356857 513 0 0 20 0 3 0 157770886 3078299648 591489 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
/proc/800397/statm: 751538 591489 3294 3032 0 732374 0
[pid=800397/tid=800400] ppid=800394 vsize=3006152 memory=32488 CPUtime=3571.71 cores=1,3
/proc/800397/task/800400/stat : 800400 (fscip) R 800394 800397 795049 0 -1 4194368 6344714 0 0 0 356682 489 0 0 20 0 3 0 157771050 3078299648 591489 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
[pid=800397/tid=800401] ppid=800394 vsize=3006152 memory=7500 CPUtime=0.06 cores=1,3
/proc/800397/task/800401/stat : 800401 (fscip) S 800394 800397 795049 0 -1 1077936192 180 0 0 0 2 4 0 0 20 0 3 0 157771072 3078299648 591489 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
Current children cumulated CPU time: 3573.7 s
Current children cumulated vsize: 3006152 KiB
Current children cumulated memory: 2365956 KiB

[startup+3590.4 s]
/proc/loadavg: 2.30 3.67 3.95 2/223 802330
/proc/meminfo: memFree=126494308/131655788 swapFree=131071996/131071996
[pid=800397] ppid=800394 vsize=3006152 memory=2365988 CPUtime=3580.07 cores=1,3
/proc/800397/stat : 800397 (fscip) S 800394 800397 795049 0 -1 1077936128 6409298 0 0 0 357494 513 0 0 20 0 3 0 157770886 3078299648 591497 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
/proc/800397/statm: 751538 591497 3294 3032 0 732374 0
[pid=800397/tid=800400] ppid=800394 vsize=3006152 memory=2365948 CPUtime=3578.08 cores=1,3
/proc/800397/task/800400/stat : 800400 (fscip) R 800394 800397 795049 0 -1 4194368 6345928 0 0 0 357319 489 0 0 20 0 3 0 157771050 3078299648 591497 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
[pid=800397/tid=800401] ppid=800394 vsize=3006152 memory=11408 CPUtime=0.06 cores=1,3
/proc/800397/task/800401/stat : 800401 (fscip) S 800394 800397 795049 0 -1 1077936192 180 0 0 0 2 4 0 0 20 0 3 0 157771072 3078299648 591497 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
Current children cumulated CPU time: 3580.07 s
Current children cumulated vsize: 3006152 KiB
Current children cumulated memory: 2365988 KiB

[startup+3596.8 s]
/proc/loadavg: 2.19 3.63 3.94 2/224 802333
/proc/meminfo: memFree=126492396/131655788 swapFree=131071996/131071996
[pid=800397] ppid=800394 vsize=3006152 memory=2368036 CPUtime=3586.46 cores=1,3
/proc/800397/stat : 800397 (fscip) S 800394 800397 795049 0 -1 1077936128 6492917 0 0 0 358129 517 0 0 20 0 3 0 157770886 3078299648 592009 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
/proc/800397/statm: 751538 592009 3294 3032 0 732374 0
[pid=800397/tid=800400] ppid=800394 vsize=3006152 memory=6720664367701965423 CPUtime=3584.46 cores=1,3
/proc/800397/task/800400/stat : 800400 (fscip) R 800394 800397 795049 0 -1 4194368 6429544 0 0 0 357953 493 0 0 20 0 3 0 157771050 3078299648 592009 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
[pid=800397/tid=800401] ppid=800394 vsize=3006152 memory=2368036 CPUtime=0.06 cores=1,3
/proc/800397/task/800401/stat : 800401 (fscip) S 800394 800397 795049 0 -1 1077936192 180 0 0 0 2 4 0 0 20 0 3 0 157771072 3078299648 592009 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
Current children cumulated CPU time: 3586.46 s
Current children cumulated vsize: 3006152 KiB
Current children cumulated memory: 2368036 KiB

[startup+3598.4 s]
/proc/loadavg: 2.10 3.58 3.92 2/224 802333
/proc/meminfo: memFree=126492396/131655788 swapFree=131071996/131071996
[pid=800397] ppid=800394 vsize=3006152 memory=2368036 CPUtime=3588.05 cores=1,3
/proc/800397/stat : 800397 (fscip) S 800394 800397 795049 0 -1 1077936128 6493909 0 0 0 358288 517 0 0 20 0 3 0 157770886 3078299648 592009 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
/proc/800397/statm: 751538 592009 3294 3032 0 732374 0
[pid=800397/tid=800400] ppid=800394 vsize=3006152 memory=2368036 CPUtime=3586.06 cores=1,3
/proc/800397/task/800400/stat : 800400 (fscip) R 800394 800397 795049 0 -1 4194368 6430536 0 0 0 358113 493 0 0 20 0 3 0 157771050 3078299648 592009 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
[pid=800397/tid=800401] ppid=800394 vsize=3006152 memory=2248 CPUtime=0.06 cores=1,3
/proc/800397/task/800401/stat : 800401 (fscip) S 800394 800397 795049 0 -1 1077936192 180 0 0 0 2 4 0 0 20 0 3 0 157771072 3078299648 592009 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
Current children cumulated CPU time: 3588.05 s
Current children cumulated vsize: 3006152 KiB
Current children cumulated memory: 2368036 KiB

[startup+3600 s]*
/proc/loadavg: 2.10 3.58 3.92 2/224 802333
/proc/meminfo: memFree=126492396/131655788 swapFree=131071996/131071996
[pid=800397] ppid=800394 vsize=3006152 memory=2368036 CPUtime=3589.65 cores=1,3
/proc/800397/stat : 800397 (fscip) S 800394 800397 795049 0 -1 1077936128 6497813 0 0 0 358448 517 0 0 20 0 3 0 157770886 3078299648 592009 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
/proc/800397/statm: 751538 592009 3294 3032 0 732374 0
[pid=800397/tid=800400] ppid=800394 vsize=3006152 memory=6720664367701965423 CPUtime=3587.67 cores=1,3
/proc/800397/task/800400/stat : 800400 (fscip) R 800394 800397 795049 0 -1 4194368 6434934 0 0 0 358273 494 0 0 20 0 3 0 157771050 3078299648 592009 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
[pid=800397/tid=800401] ppid=800394 vsize=3006152 memory=7896667807533012892 CPUtime=0.06 cores=1,3
/proc/800397/task/800401/stat : 800401 (fscip) S 800394 800397 795049 0 -1 1077936192 180 0 0 0 2 4 0 0 20 0 3 0 157771072 3078299648 592009 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
Current children cumulated CPU time: 3589.65 s
Current children cumulated vsize: 3006152 KiB
Current children cumulated memory: 2368036 KiB

[startup+3600.4 s]
/proc/loadavg: 2.10 3.58 3.92 2/224 802333
/proc/meminfo: memFree=126492396/131655788 swapFree=131071996/131071996
[pid=800397] ppid=800394 vsize=3006152 memory=2368036 CPUtime=3590.04 cores=1,3
/proc/800397/stat : 800397 (fscip) S 800394 800397 795049 0 -1 1077936128 6585320 0 0 0 358483 521 0 0 20 0 3 0 157770886 3078299648 592009 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
/proc/800397/statm: 751538 592009 3294 3032 0 732374 0
[pid=800397/tid=800400] ppid=800394 vsize=3006152 memory=2368036 CPUtime=3588.06 cores=1,3
/proc/800397/task/800400/stat : 800400 (fscip) R 800394 800397 795049 0 -1 4194368 6521947 0 0 0 358308 498 0 0 20 0 3 0 157771050 3078299648 592009 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
[pid=800397/tid=800401] ppid=800394 vsize=3006152 memory=1828 CPUtime=0.06 cores=1,3
/proc/800397/task/800401/stat : 800401 (fscip) S 800394 800397 795049 0 -1 1077936192 180 0 0 0 2 4 0 0 20 0 3 0 157771072 3078299648 592009 134679101440 4194304 16613245 140729019783216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46510080 140729019790357 140729019790473 140729019790473 140729019797488 0
Current children cumulated CPU time: 3590.04 s
Current children cumulated vsize: 3006152 KiB
Current children cumulated memory: 2368036 KiB

[startup+3600.6 s]*
/proc/loadavg: 2.10 3.58 3.92 2/223 802334
/proc/meminfo: memFree=128068020/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3600.63
CPU time (s): 3590.27
CPU user time (s): 3584.97
CPU system time (s): 5.30782
CPU usage (%): 99.7124
Max. virtual memory (cumulated for all children) (KiB): 3006152
Max. memory (cumulated for all children) (KiB): 2368036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.97
system time used= 5.30782
maximum resident set size= 2368036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6595300
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= 7978
involuntary context switches= 2767


# summary of solver processes directly reported to runsolver:
#   pid: 800397
#   total CPU time (s): 3590.27
#   total CPU user time (s): 3584.97
#   total CPU system time (s): 5.30782

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7294 second user time and 35.4396 second system time

The end

Launcher Data

Begin job on nodeC007 at 2024-07-15 17:09:15
IDJOB=4434715
IDBENCH=146680
IDSOLVER=3064
FILE ID=nodeC007/4434715-1721056142
RUNJOBID= nodeC007-1721056075-800074
SLURM_JOB_ID= 7505467
Free space on /tmp= 723692 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.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-4434715-1721056142/watcher-4434715-1721056142 -o /tmp/evaluation-result-4434715-1721056142/solver-4434715-1721056142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721056075-800074 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434715-1721056142.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 950817fdcb39f28dd0871c21ea836071
RANDOM SEED=670910537

nodeC007.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		: 3674.751
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.25
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		: 3491.643
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.30
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.323
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.25
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		: 1596.176
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.30
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		: 3618.820
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.25
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		: 3646.231
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.30
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.303
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.25
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.328
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        125959456 kB
MemAvailable:   127120072 kB
Buffers:          367904 kB
Cached:          1625288 kB
SwapCached:            0 kB
Active:           618492 kB
Inactive:        4528988 kB
Active(anon):       1460 kB
Inactive(anon):  3190524 kB
Active(file):     617032 kB
Inactive(file):  1338464 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             29608 kB
Writeback:             0 kB
AnonPages:       3153800 kB
Mapped:           139000 kB
Shmem:             37704 kB
KReclaimable:      90300 kB
Slab:             185932 kB
SReclaimable:      90300 kB
SUnreclaim:        95632 kB
KernelStack:        4048 kB
PageTables:        15988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2569728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51136 kB
HardwareCorrupted:     0 kB
AnonHugePages:    960512 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:      248648 kB
DirectMap2M:    22724608 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723752 MiB
End job on nodeC007 at 2024-07-15 18:09:16