Trace number 4434650

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-02SAT186 3591.27 3600.16

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
MD5SUM79a11fcf881101c51e0b67ee01609c80
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark179
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables470
Total number of constraints470
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints470
Minimum length of a constraint4
Maximum length of a constraint20
Number of terms in the objective function 470
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 470
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 470
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01	c Default LC presolving (default).
0.00/0.01	c ** Before presolving: virtualMemUsedAtLc = 24420352, getVmSize() = 24420352, SCIPgetMemUsed() = 2305613, SCIPgetMemTotal() = 2848133, SCIPgetMemExternEstim() = 1048576
0.00/0.01	c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.06	c ** Estimated virtualMemUsedAtSolver = 17974613, getVmSize() = 29503488, SCIPgetMemUsed() = 3279016, SCIPgetMemTotal() = 6482856, SCIPgetMemExternEstim() = 1048576
0.00/0.06	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.06	c Original Problem   :
0.00/0.06	c   Problem name     : instance-4434650-1721084942
0.00/0.06	c   Variables        : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06	c   Constraints      : 470
0.00/0.06	c   Objective sense  : minimize
0.00/0.06	c Presolved Problem  :
0.00/0.06	c   Variables        : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06	c   Constraints      : 554
0.00/0.06	c Constraints        : Number
0.00/0.06	c   knapsack         : 426 
0.00/0.06	c   setppc           : 110 
0.00/0.06	c   logicor          : 18 
0.00/0.06	c ** Instance transfer method used: 0
0.00/0.07	c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.07	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.08	c                                Nodes    Active                                            
0.00/0.08	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.00/0.11	c *       0              0           1         1         227.0000                -          -
0.00/0.11	c *       0              0           1         1         207.0000                -          -
6.08/6.13	c         6              3           2         1         207.0000         162.9688     27.02%
11.55/11.64	c        12             10           9         1         207.0000         162.9688     27.02%
15.06/15.17	c *      15             14          13         1         206.0000         162.9688     26.40%
15.06/15.17	c *      15             14          13         1         201.0000         162.9688     23.34%
15.06/15.17	c *      15             14          13         1         200.0000         162.9688     22.72%
15.06/15.17	c *      15             14          13         1         199.0000         162.9688     22.11%
17.54/17.60	c        18             79          78         1         199.0000         162.9688     22.11%
18.44/18.55	c *      19             79          78         1         198.0000         162.9688     21.50%
18.44/18.58	c *      19             79          78         1         197.0000         162.9688     20.88%
20.53/20.65	c *      21            119         118         1         195.0000         162.9688     19.65%
20.53/20.66	c *      21            132         131         1         194.0000         162.9688     19.04%
22.52/22.69	c        23            180         179         1         194.0000         162.9688     19.04%
28.41/28.57	c        29            275         274         1         194.0000         162.9688     19.04%
33.70/33.80	c        34            346         345         1         194.0000         162.9688     19.04%
38.99/39.13	c        39            452         451         1         194.0000         162.9688     19.04%
44.36/44.51	c        45            564         563         1         194.0000         162.9880     19.03%
49.45/49.69	c        50            667         666         1         194.0000         162.9880     19.03%
54.63/54.84	c        55            796         795         1         194.0000         162.9880     19.03%
59.71/59.97	c        60            924         923         1         194.0000         162.9880     19.03%
68.90/69.11	c        69           1051           1         1         194.0000         163.0493     18.98%
74.06/74.39	c        74           1064          14         1         194.0000         163.2939     18.80%
80.15/80.40	c        80           1156         106         1         194.0000         163.2939     18.80%
85.33/85.60	c        86           1371         321         1         194.0000         163.3637     18.75%
86.84/87.17	c *      87           1371         321         1         191.0000         163.3637     16.92%
92.11/92.44	c        92           1563         431         1         191.0000         163.4081     16.89%
97.70/98.05	c        98           1943         541         1         191.0000         163.6125     16.74%
102.97/103.33	c       103           2367         677         1         191.0000         163.6125     16.74%
108.16/108.50	c       108           2641         767         1         191.0000         163.6412     16.72%
113.34/113.70	c       114           2971         877         1         191.0000         163.6821     16.69%
118.32/118.75	c       119           3171         965         1         191.0000         163.7247     16.66%
123.81/124.21	c       124           3472        1036         1         191.0000         163.7316     16.65%
129.09/129.59	c       130           3901        1229         1         191.0000         163.7529     16.64%
135.07/135.55	c       136           4241        1341         1         191.0000         163.7853     16.62%
140.86/141.31	c       141           4501        1431         1         191.0000         163.7996     16.61%
146.73/147.28	c       147           4904        1540         1         191.0000         163.8253     16.59%
151.81/152.34	c       152           5101        1603         1         191.0000         163.8421     16.58%
157.10/157.61	c       158           5321        1681         1         191.0000         163.8657     16.56%
162.38/162.95	c       163           5521        1767         1         191.0000         163.8835     16.55%
168.17/168.75	c       169           5824        1866         1         191.0000         163.9008     16.53%
173.95/174.51	c       175           6324        1966         1         191.0000         163.9028     16.53%
179.14/179.78	c       180           6581        2049         1         191.0000         163.9390     16.51%
184.33/184.98	c       185           6854        2122         1         191.0000         163.9747     16.48%
185.62/186.29	c *     186           6874        2134         1         190.0000         163.9768     15.87%
185.72/186.30	c *     186           6874        2134         1         189.0000         163.9768     15.26%
189.61/190.25	c       190           6944        1858         1         189.0000         163.9822     15.26%
194.90/195.51	c       196           7044        1900         1         189.0000         163.9887     15.25%
200.78/201.41	c       201           7274        1954         1         189.0000         163.9952     15.25%
205.87/206.58	c       207           7541        2011         1         189.0000         164.0110     15.24%
210.96/211.63	c       212           7691        2041         1         189.0000         164.0233     15.23%
216.55/217.22	c       217           7951        2109         1         189.0000         164.0265     15.23%
221.73/222.49	c       222           8151        2163         1         189.0000         164.0275     15.22%
227.02/227.79	c       228           8254        2220         1         189.0000         164.0315     15.22%
232.70/233.42	c       233           8531        2275         1         189.0000         164.0367     15.22%
237.99/238.76	c       239           8714        2356         1         189.0000         164.0415     15.21%
242.97/243.79	c       244           9020        2438         1         189.0000         164.0449     15.21%
248.37/249.13	c       249           9164        2514         1         189.0000         164.0493     15.21%
253.94/254.74	c       255           9286        2588         1         189.0000         164.0576     15.20%
259.53/260.32	c       260           9471        2649         1         189.0000         164.0730     15.19%
264.82/265.62	c       266           9671        2701         1         189.0000         164.0832     15.19%
270.69/271.51	c       272           9944        2764         1         189.0000         164.0926     15.18%
276.58/277.43	c       277          10103        2819         1         189.0000         164.0959     15.18%
282.28/283.14	c       283          10301        2875         1         189.0000         164.1016     15.17%
287.55/288.48	c       288          10491        2943         1         189.0000         164.1198     15.16%
292.64/293.50	c       294          10694        2994         1         189.0000         164.1294     15.15%
298.02/298.95	c       299          11021        3073         1         189.0000         164.1337     15.15%
303.60/304.52	c       305          11294        3152         1         189.0000         164.1364     15.15%
308.59/309.55	c       310          11584        3218         1         189.0000         164.1473     15.14%
313.58/314.58	c       315          11821        3285         1         189.0000         164.1578     15.13%
319.08/320.01	c       320          11974        3340         1         189.0000         164.1640     15.13%
324.45/325.46	c       325          12242        3404         1         189.0000         164.1674     15.13%
329.64/330.61	c       331          12484        3442         1         189.0000         164.1713     15.12%
335.52/336.52	c       337          12747        3531         1         189.0000         164.1736     15.12%
340.81/341.82	c       342          12977        3587         1         189.0000         164.1779     15.12%
345.91/346.90	c       347          13264        3642         1         189.0000         164.1864     15.11%
351.10/352.12	c       352          13551        3699         1         189.0000         164.2014     15.10%
356.88/357.92	c       358          13744        3776         1         189.0000         164.2034     15.10%
362.16/363.23	c       363          13889        3833         1         189.0000         164.2056     15.10%
367.85/368.95	c       369          14206        3898         1         189.0000         164.2189     15.09%
372.84/373.98	c       374          14444        3940         1         189.0000         164.2230     15.09%
378.52/379.68	c       380          14731        3985         1         189.0000         164.2310     15.08%
384.51/385.69	c       386          14894        4050         1         189.0000         164.2339     15.08%
390.49/391.69	c       392          15104        4106         1         189.0000         164.2398     15.08%
395.78/396.99	c       397          15237        4147         1         189.0000         164.2435     15.07%
401.67/402.83	c       403          15437        4193         1         189.0000         164.2469     15.07%
406.75/408.01	c       408          15668        4224         1         189.0000         164.2496     15.07%
411.85/413.08	c       413          15968        4310         1         189.0000         164.2525     15.07%
417.52/418.78	c       419          16134        4394         1         189.0000         164.2605     15.06%
423.11/424.31	c       424          16290        4454         1         189.0000         164.2679     15.06%
428.50/429.76	c       430          16554        4496         1         189.0000         164.2733     15.05%
433.80/435.05	c       435          16764        4558         1         189.0000         164.2807     15.05%
439.26/440.59	c       441          17041        4603         1         189.0000         164.2869     15.04%
445.23/446.59	c       447          17268        4668         1         189.0000         164.2875     15.04%
450.31/451.68	c       452          17431        4733         1         189.0000         164.2961     15.04%
455.50/456.88	c       457          17661        4783         1         189.0000         164.3014     15.03%
460.89/462.30	c       462          17941        4853         1         189.0000         164.3021     15.03%
466.27/467.63	c       468          18144        4928         1         189.0000         164.3046     15.03%
471.76/473.20	c       473          18294        5000         1         189.0000         164.3083     15.03%
477.14/478.53	c       479          18611        5087         1         189.0000         164.3177     15.02%
482.92/484.34	c       484          18704        5154         1         189.0000         164.3241     15.02%
487.90/489.36	c       489          18891        5219         1         189.0000         164.3275     15.01%
493.28/494.76	c       495          19144        5300         1         189.0000         164.3309     15.01%
499.17/500.65	c       501          19371        5371         1         189.0000         164.3350     15.01%
504.76/506.26	c       506          19581        5439         1         189.0000         164.3441     15.00%
510.04/511.58	c       512          19688        5506         1         189.0000         164.3530     15.00%
515.22/516.79	c       517          19884        5564         1         189.0000         164.3537     15.00%
521.20/522.74	c       523          20126        5646         1         189.0000         164.3599     14.99%
526.39/527.98	c       528          20313        5719         1         189.0000         164.3648     14.99%
532.27/533.87	c       534          20501        5781         1         189.0000         164.3709     14.98%
537.47/539.10	c       539          20691        5837         1         189.0000         164.3761     14.98%
543.13/544.78	c       545          20954        5880         1         189.0000         164.3780     14.98%
548.63/550.27	c       550          21164        5938         1         189.0000         164.3819     14.98%
554.31/555.97	c       556          21461        6005         1         189.0000         164.3877     14.97%
559.99/561.68	c       562          21671        6081         1         189.0000         164.3947     14.97%
565.28/566.97	c       567          21831        6127         1         189.0000         164.3993     14.96%
571.06/572.71	c       573          22064        6198         1         189.0000         164.4025     14.96%
576.35/578.04	c       578          22341        6271         1         189.0000         164.4063     14.96%
581.82/583.54	c       584          22561        6319         1         189.0000         164.4118     14.96%
587.01/588.78	c       589          22773        6375         1         189.0000         164.4135     14.95%
592.99/594.70	c       595          23004        6438         1         189.0000         164.4201     14.95%
598.77/600.59	c       601          23201        6509         1         189.0000         164.4256     14.95%
603.95/605.72	c       606          23291        6565         1         189.0000         164.4280     14.94%
608.95/610.79	c       611          23504        6626         1         189.0000         164.4294     14.94%
614.53/616.37	c       616          23745        6703         1         189.0000         164.4343     14.94%
619.71/621.53	c       622          23965        6759         1         189.0000         164.4350     14.94%
625.10/626.98	c       627          24161        6811         1         189.0000         164.4375     14.94%
630.38/632.22	c       632          24291        6865         1         189.0000         164.4392     14.94%
635.66/637.52	c       638          24501        6939         1         189.0000         164.4410     14.93%
641.64/643.52	c       644          24773        7013         1         189.0000         164.4432     14.93%
646.73/648.62	c       649          24981        7071         1         189.0000         164.4504     14.93%
652.22/654.15	c       654          25238        7108         1         189.0000         164.4510     14.93%
657.69/659.69	c       660          25454        7156         1         189.0000         164.4541     14.93%
662.98/664.98	c       665          25649        7203         1         189.0000         164.4568     14.92%
668.26/670.25	c       670          25781        7259         1         189.0000         164.4614     14.92%
673.25/675.27	c       675          25991        7317         1         189.0000         164.4660     14.92%
678.44/680.47	c       680          26201        7373         1         189.0000         164.4718     14.91%
683.72/685.73	c       686          26357        7447         1         189.0000         164.4745     14.91%
689.60/691.64	c       692          26574        7512         1         189.0000         164.4772     14.91%
695.10/697.19	c       697          26754        7580         1         189.0000         164.4810     14.91%
700.27/702.40	c       702          26894        7644         1         189.0000         164.4838     14.90%
706.25/708.31	c       708          27211        7695         1         189.0000         164.4889     14.90%
712.24/714.34	c       714          27414        7736         1         189.0000         164.4939     14.90%
718.22/720.39	c       720          27611        7795         1         189.0000         164.4987     14.89%
724.30/726.47	c       726          27854        7880         1         189.0000         164.5022     14.89%
729.39/731.58	c       732          28065        7941         1         189.0000         164.5055     14.89%
734.47/736.68	c       737          28381        8019         1         189.0000         164.5071     14.89%
740.35/742.59	c       743          28596        8092         1         189.0000         164.5128     14.88%
745.34/747.59	c       748          28836        8168         1         189.0000         164.5141     14.88%
751.12/753.33	c       753          29049        8235         1         189.0000         164.5166     14.88%
756.92/759.16	c       759          29248        8298         1         189.0000         164.5182     14.88%
762.69/764.94	c       765          29437        8339         1         189.0000         164.5214     14.88%
767.68/770.00	c       770          29621        8401         1         189.0000         164.5258     14.88%
773.26/775.57	c       776          29864        8504         1         189.0000         164.5289     14.87%
779.03/781.37	c       781          30094        8572         1         189.0000         164.5328     14.87%
784.92/787.20	c       787          30377        8653         1         189.0000         164.5354     14.87%
789.91/792.21	c       792          30661        8711         1         189.0000         164.5368     14.87%
794.90/797.24	c       797          30866        8782         1         189.0000         164.5374     14.87%
800.70/803.04	c       803          31094        8846         1         189.0000         164.5426     14.86%
806.27/808.61	c       809          31361        8909         1         189.0000         164.5459     14.86%
811.46/813.87	c       814          31615        8973         1         189.0000         164.5488     14.86%
816.55/818.92	c       819          31940        9020         1         189.0000         164.5511     14.86%
822.33/824.78	c       825          32233        9095         1         189.0000         164.5543     14.86%
827.73/830.11	c       830          32491        9165         1         189.0000         164.5584     14.85%
832.72/835.16	c       835          32751        9211         1         189.0000         164.5600     14.85%
838.30/840.78	c       841          32921        9277         1         189.0000         164.5629     14.85%
843.70/846.18	c       846          33251        9347         1         189.0000         164.5662     14.85%
849.18/851.66	c       852          33561        9415         1         189.0000         164.5683     14.85%
854.77/857.24	c       857          33781        9489         1         189.0000         164.5720     14.84%
860.75/863.21	c       863          34012        9570         1         189.0000         164.5730     14.84%
865.74/868.23	c       868          34261        9611         1         189.0000         164.5749     14.84%
871.13/873.62	c       874          34514        9664         1         189.0000         164.5780     14.84%
876.31/878.81	c       879          34661        9735         1         189.0000         164.5820     14.84%
882.10/884.67	c       885          34868        9830         1         189.0000         164.5834     14.84%
887.29/889.87	c       890          35191        9939         1         189.0000         164.5847     14.83%
892.77/895.34	c       895          35518       10030         1         189.0000         164.5856     14.83%
898.96/901.56	c       902          35814       10108         1         189.0000         164.5885     14.83%
904.05/906.69	c       907          35967       10173         1         189.0000         164.5906     14.83%
909.63/912.27	c       912          36175       10241         1         189.0000         164.5948     14.83%
914.82/917.42	c       917          36360       10296         1         189.0000         164.5969     14.83%
920.22/922.81	c       923          36584       10378         1         189.0000         164.5984     14.82%
926.20/928.83	c       929          36823       10469         1         189.0000         164.6031     14.82%
931.50/934.16	c       934          37145       10559         1         189.0000         164.6043     14.82%
936.49/939.18	c       939          37511       10621         1         189.0000         164.6066     14.82%
942.38/945.09	c       945          37714       10698         1         189.0000         164.6088     14.82%
947.65/950.37	c       950          37941       10777         1         189.0000         164.6122     14.82%
952.74/955.42	c       955          38160       10854         1         189.0000         164.6145     14.81%
958.23/960.96	c       961          38391       10931         1         189.0000         164.6189     14.81%
963.61/966.31	c       966          38574       11008         1         189.0000         164.6205     14.81%
968.80/971.53	c       972          38807       11075         1         189.0000         164.6237     14.81%
973.79/976.59	c       977          39031       11151         1         189.0000         164.6263     14.81%
979.48/982.21	c       982          39277       11231         1         189.0000         164.6282     14.80%
984.56/987.35	c       987          39461       11319         1         189.0000         164.6298     14.80%
989.76/992.53	c       993          39831       11371         1         189.0000         164.6317     14.80%
995.05/997.89	c       998          40111       11439         1         189.0000         164.6339     14.80%
1000.13/1002.92	c      1003          40390       11506         1         189.0000         164.6352     14.80%
1006.23/1009.08	c      1009          40604       11580         1         189.0000         164.6371     14.80%
1011.41/1014.30	c      1014          40801       11625         1         189.0000         164.6403     14.80%
1016.99/1019.84	c      1020          40984       11696         1         189.0000         164.6409     14.80%
1022.39/1025.25	c      1025          41264       11756         1         189.0000         164.6438     14.79%
1027.77/1030.60	c      1031          41551       11811         1         189.0000         164.6461     14.79%
1033.56/1036.42	c      1036          41734       11896         1         189.0000         164.6466     14.79%
1039.16/1042.05	c      1042          41945       11979         1         189.0000         164.6490     14.79%
1044.44/1047.30	c      1047          42191       12053         1         189.0000         164.6505     14.79%
1049.42/1052.30	c      1052          42411       12117         1         189.0000         164.6533     14.79%
1054.71/1057.63	c      1058          42561       12177         1         189.0000         164.6542     14.79%
1060.21/1063.15	c      1063          42989       12289         1         189.0000         164.6543     14.79%
1065.68/1068.65	c      1069          43204       12364         1         189.0000         164.6559     14.78%
1071.08/1074.04	c      1074          43437       12477         1         189.0000         164.6570     14.78%
1077.07/1080.03	c      1080          43751       12551         1         189.0000         164.6596     14.78%
1082.55/1085.58	c      1086          44009       12639         1         189.0000         164.6609     14.78%
1088.23/1091.26	c      1091          44481       12767         1         189.0000         164.6645     14.78%
1093.32/1096.35	c      1096          44741       12847         1         189.0000         164.6653     14.78%
1098.71/1101.77	c      1102          45091       12917         1         189.0000         164.6680     14.78%
1104.01/1107.01	c      1107          45271       13003         1         189.0000         164.6693     14.78%
1109.18/1112.20	c      1112          45511       13087         1         189.0000         164.6724     14.77%
1114.37/1117.40	c      1117          45761       13149         1         189.0000         164.6753     14.77%
1119.86/1122.93	c      1123          45974       13238         1         189.0000         164.6771     14.77%
1125.15/1128.24	c      1128          46181       13305         1         189.0000         164.6783     14.77%
1130.63/1133.79	c      1134          46401       13395         1         189.0000         164.6795     14.77%
1135.93/1139.02	c      1139          46648       13466         1         189.0000         164.6802     14.77%
1141.11/1144.25	c      1144          46921       13523         1         189.0000         164.6840     14.77%
1146.29/1149.48	c      1149          47119       13595         1         189.0000         164.6848     14.76%
1151.68/1154.83	c      1155          47491       13655         1         189.0000         164.6888     14.76%
1156.98/1160.15	c      1160          47681       13707         1         189.0000         164.6891     14.76%
1162.65/1165.86	c      1166          48007       13783         1         189.0000         164.6921     14.76%
1168.14/1171.36	c      1171          48261       13875         1         189.0000         164.6945     14.76%
1173.84/1177.04	c      1177          48471       13953         1         189.0000         164.6955     14.76%
1179.41/1182.62	c      1183          48765       14051         1         189.0000         164.6959     14.76%
1185.10/1188.39	c      1188          49031       14119         1         189.0000         164.6975     14.76%
1190.99/1194.23	c      1194          49204       14200         1         189.0000         164.6984     14.76%
1196.47/1199.79	c      1200          49601       14285         1         189.0000         164.7021     14.75%
1201.88/1205.14	c      1205          49937       14331         1         189.0000         164.7034     14.75%
1207.16/1210.42	c      1210          50151       14393         1         189.0000         164.7068     14.75%
1212.76/1216.11	c      1216          50436       14476         1         189.0000         164.7078     14.75%
1217.93/1221.29	c      1221          50651       14551         1         189.0000         164.7109     14.75%
1223.52/1226.84	c      1227          50881       14609         1         189.0000         164.7127     14.75%
1228.61/1231.96	c      1232          51151       14693         1         189.0000         164.7139     14.74%
1233.89/1237.23	c      1237          51471       14753         1         189.0000         164.7148     14.74%
1239.58/1242.92	c      1243          51701       14817         1         189.0000         164.7167     14.74%
1244.68/1248.02	c      1248          51884       14884         1         189.0000         164.7176     14.74%
1249.76/1253.16	c      1253          52161       14967         1         189.0000         164.7208     14.74%
1254.93/1258.30	c      1258          52351       15045         1         189.0000         164.7236     14.74%
1260.12/1263.58	c      1264          52606       15122         1         189.0000         164.7253     14.74%
1265.12/1268.58	c      1269          52901       15165         1         189.0000         164.7266     14.74%
1270.91/1274.34	c      1274          53104       15244         1         189.0000         164.7279     14.73%
1276.09/1279.57	c      1280          53411       15345         1         189.0000         164.7315     14.73%
1281.18/1284.63	c      1285          53564       15406         1         189.0000         164.7320     14.73%
1286.87/1290.38	c      1290          53821       15493         1         189.0000         164.7345     14.73%
1292.05/1295.53	c      1296          54030       15578         1         189.0000         164.7359     14.73%
1297.84/1301.32	c      1301          54211       15649         1         189.0000         164.7384     14.73%
1303.13/1306.66	c      1307          54541       15747         1         189.0000         164.7396     14.73%
1308.32/1311.89	c      1312          54795       15819         1         189.0000         164.7414     14.73%
1314.21/1317.75	c      1318          55181       15901         1         189.0000         164.7429     14.72%
1319.51/1323.02	c      1323          55411       15983         1         189.0000         164.7431     14.72%
1324.98/1328.51	c      1329          55744       16058         1         189.0000         164.7450     14.72%
1330.58/1334.17	c      1334          56121       16143         1         189.0000         164.7467     14.72%
1336.57/1340.12	c      1340          56388       16230         1         189.0000         164.7486     14.72%
1341.84/1345.40	c      1345          56731       16285         1         189.0000         164.7498     14.72%
1347.13/1350.78	c      1351          56901       16357         1         189.0000         164.7518     14.72%
1352.91/1356.54	c      1357          57221       16415         1         189.0000         164.7532     14.72%
1358.31/1361.94	c      1362          57491       16503         1         189.0000         164.7550     14.72%
1363.30/1366.95	c      1367          57751       16579         1         189.0000         164.7567     14.71%
1368.88/1372.54	c      1373          57989       16653         1         189.0000         164.7578     14.71%
1374.07/1377.75	c      1378          58321       16737         1         189.0000         164.7582     14.71%
1379.37/1383.02	c      1383          58501       16821         1         189.0000         164.7619     14.71%
1385.25/1388.99	c      1389          58765       16917         1         189.0000         164.7625     14.71%
1390.73/1394.43	c      1394          58966       16986         1         189.0000         164.7630     14.71%
1395.72/1399.48	c      1399          59191       17065         1         189.0000         164.7655     14.71%
1401.21/1404.94	c      1405          59519       17133         1         189.0000         164.7658     14.71%
1407.31/1411.06	c      1411          59721       17211         1         189.0000         164.7694     14.71%
1412.68/1416.47	c      1416          59931       17299         1         189.0000         164.7707     14.70%
1417.78/1421.51	c      1422          60101       17379         1         189.0000         164.7737     14.70%
1423.28/1427.03	c      1427          60441       17457         1         189.0000         164.7757     14.70%
1428.45/1432.28	c      1432          60751       17551         1         189.0000         164.7782     14.70%
1434.44/1438.22	c      1438          61001       17623         1         189.0000         164.7800     14.70%
1439.73/1443.53	c      1444          61244       17700         1         189.0000         164.7825     14.70%
1444.81/1448.64	c      1449          61581       17775         1         189.0000         164.7842     14.70%
1450.31/1454.19	c      1454          61807       17841         1         189.0000         164.7853     14.69%
1455.79/1459.67	c      1460          62161       17927         1         189.0000         164.7861     14.69%
1461.48/1465.37	c      1465          62521       17999         1         189.0000         164.7874     14.69%
1466.66/1470.59	c      1471          62791       18075         1         189.0000         164.7891     14.69%
1472.45/1476.38	c      1476          63006       18158         1         189.0000         164.7894     14.69%
1477.93/1481.89	c      1482          63311       18245         1         189.0000         164.7910     14.69%
1483.72/1487.63	c      1488          63621       18327         1         189.0000         164.7930     14.69%
1488.81/1492.70	c      1493          63870       18392         1         189.0000         164.7939     14.69%
1494.29/1498.26	c      1498          64071       18467         1         189.0000         164.7948     14.69%
1499.38/1503.33	c      1503          64328       18536         1         189.0000         164.7954     14.69%
1504.57/1508.53	c      1509          64621       18613         1         189.0000         164.7980     14.69%
1509.67/1513.67	c      1514          64891       18655         1         189.0000         164.7996     14.68%
1515.35/1519.32	c      1519          65211       18719         1         189.0000         164.8004     14.68%
1521.05/1525.07	c      1525          65446       18812         1         189.0000         164.8019     14.68%
1526.63/1530.64	c      1531          65831       18857         1         189.0000         164.8032     14.68%
1531.71/1535.73	c      1536          66069       18927         1         189.0000         164.8042     14.68%
1536.90/1540.94	c      1541          66281       18999         1         189.0000         164.8061     14.68%
1542.59/1546.61	c      1547          66523       19081         1         189.0000         164.8068     14.68%
1547.87/1551.90	c      1552          66751       19145         1         189.0000         164.8078     14.68%
1553.26/1557.34	c      1557          66991       19231         1         189.0000         164.8098     14.68%
1558.55/1562.67	c      1563          67227       19275         1         189.0000         164.8108     14.68%
1564.13/1568.23	c      1568          67564       19360         1         189.0000         164.8112     14.68%
1569.23/1573.31	c      1573          67771       19435         1         189.0000         164.8142     14.67%
1574.62/1578.78	c      1579          68061       19533         1         189.0000         164.8159     14.67%
1580.11/1584.27	c      1584          68261       19617         1         189.0000         164.8171     14.67%
1585.79/1589.91	c      1590          68504       19708         1         189.0000         164.8183     14.67%
1590.89/1595.07	c      1595          68773       19785         1         189.0000         164.8188     14.67%
1596.37/1600.51	c      1601          69121       19921         1         189.0000         164.8204     14.67%
1602.15/1606.34	c      1606          69521       20007         1         189.0000         164.8236     14.67%
1607.14/1611.37	c      1611          69761       20065         1         189.0000         164.8249     14.67%
1612.23/1616.44	c      1616          69991       20119         1         189.0000         164.8275     14.67%
1618.02/1622.28	c      1622          70134       20212         1         189.0000         164.8293     14.66%
1623.61/1627.85	c      1628          70305       20297         1         189.0000         164.8304     14.66%
1629.29/1633.58	c      1634          70591       20373         1         189.0000         164.8332     14.66%
1634.48/1638.74	c      1639          70769       20447         1         189.0000         164.8336     14.66%
1639.88/1644.14	c      1644          71011       20517         1         189.0000         164.8348     14.66%
1645.56/1649.88	c      1650          71239       20593         1         189.0000         164.8366     14.66%
1651.04/1655.35	c      1655          71581       20679         1         189.0000         164.8379     14.66%
1656.23/1660.53	c      1661          71868       20744         1         189.0000         164.8387     14.66%
1661.52/1665.83	c      1666          72161       20813         1         189.0000         164.8402     14.66%
1666.51/1670.86	c      1671          72381       20881         1         189.0000         164.8411     14.66%
1672.20/1676.53	c      1677          72664       20952         1         189.0000         164.8422     14.66%
1677.59/1681.99	c      1682          72872       21030         1         189.0000         164.8434     14.65%
1682.79/1687.15	c      1687          73251       21115         1         189.0000         164.8441     14.65%
1688.16/1692.55	c      1693          73441       21199         1         189.0000         164.8454     14.65%
1693.95/1698.36	c      1698          73706       21272         1         189.0000         164.8467     14.65%
1700.23/1704.61	c      1705          73914       21350         1         189.0000         164.8479     14.65%
1705.52/1709.91	c      1710          74141       21431         1         189.0000         164.8494     14.65%
1710.91/1715.39	c      1715          74288       21516         1         189.0000         164.8513     14.65%
1716.30/1720.72	c      1721          74556       21582         1         189.0000         164.8520     14.65%
1722.09/1726.56	c      1727          74824       21662         1         189.0000         164.8539     14.65%
1727.96/1732.48	c      1732          75067       21737         1         189.0000         164.8549     14.65%
1733.25/1737.74	c      1738          75244       21808         1         189.0000         164.8565     14.65%
1733.45/1737.97	c *    1738          75251       21807         1         187.0000         164.8566     13.43%
1733.57/1738.04	c *    1738          75251       21807         1         186.0000         164.8566     12.83%
1739.14/1743.60	c      1744          75481       19773         1         186.0000         164.8575     12.82%
1744.33/1748.87	c      1749          75741       19823         1         186.0000         164.8579     12.82%
1749.63/1754.16	c      1754          75911       19905         1         186.0000         164.8591     12.82%
1755.51/1760.02	c      1760          76157       19995         1         186.0000         164.8600     12.82%
1760.89/1765.47	c      1765          76441       20035         1         186.0000         164.8614     12.82%
1766.07/1770.63	c      1771          76618       20114         1         186.0000         164.8633     12.82%
1771.37/1775.98	c      1776          76785       20163         1         186.0000         164.8638     12.82%
1777.15/1781.71	c      1782          77171       20285         1         186.0000         164.8650     12.82%
1782.83/1787.48	c      1787          77421       20375         1         186.0000         164.8663     12.82%
1787.92/1792.57	c      1793          77641       20451         1         186.0000         164.8670     12.82%
1793.43/1798.04	c      1798          77921       20509         1         186.0000         164.8672     12.82%
1798.70/1803.32	c      1803          78235       20561         1         186.0000         164.8684     12.82%
1804.19/1808.84	c      1809          78511       20637         1         186.0000         164.8693     12.82%
1809.88/1814.57	c      1815          78731       20729         1         186.0000         164.8704     12.82%
1815.86/1820.50	c      1820          78979       20805         1         186.0000         164.8715     12.82%
1820.95/1825.63	c      1826          79201       20899         1         186.0000         164.8725     12.81%
1826.35/1831.06	c      1831          79421       20949         1         186.0000         164.8733     12.81%
1831.44/1836.13	c      1836          79633       21013         1         186.0000         164.8742     12.81%
1836.62/1841.31	c      1841          79861       21083         1         186.0000         164.8758     12.81%
1841.61/1846.35	c      1846          79984       21148         1         186.0000         164.8766     12.81%
1847.00/1851.71	c      1852          80258       21220         1         186.0000         164.8780     12.81%
1852.30/1857.03	c      1857          80461       21299         1         186.0000         164.8795     12.81%
1858.17/1862.91	c      1863          80753       21383         1         186.0000         164.8799     12.81%
1863.66/1868.44	c      1868          80955       21463         1         186.0000         164.8808     12.81%
1868.84/1873.63	c      1874          81246       21522         1         186.0000         164.8814     12.81%
1874.03/1878.84	c      1879          81461       21585         1         186.0000         164.8833     12.81%
1879.23/1884.09	c      1884          81771       21623         1         186.0000         164.8834     12.81%
1884.40/1889.28	c      1889          82101       21703         1         186.0000         164.8840     12.81%
1889.49/1894.35	c      1894          82316       21770         1         186.0000         164.8851     12.81%
1894.98/1899.89	c      1900          82484       21836         1         186.0000         164.8861     12.81%
1900.47/1905.34	c      1905          82670       21892         1         186.0000         164.8869     12.80%
1905.86/1910.78	c      1911          82901       21955         1         186.0000         164.8882     12.80%
1911.64/1916.52	c      1917          83137       22037         1         186.0000         164.8888     12.80%
1917.33/1922.26	c      1922          83426       22130         1         186.0000         164.8899     12.80%
1923.02/1927.97	c      1928          83701       22197         1         186.0000         164.8915     12.80%
1928.61/1933.54	c      1934          83981       22293         1         186.0000         164.8926     12.80%
1933.70/1938.60	c      1939          84151       22355         1         186.0000         164.8930     12.80%
1939.59/1944.58	c      1945          84561       22425         1         186.0000         164.8937     12.80%
1945.19/1950.13	c      1950          84801       22503         1         186.0000         164.8945     12.80%
1950.36/1955.34	c      1955          85021       22575         1         186.0000         164.8953     12.80%
1955.84/1960.88	c      1961          85273       22621         1         186.0000         164.8962     12.80%
1961.83/1966.88	c      1967          85551       22693         1         186.0000         164.8974     12.80%
1967.42/1972.41	c      1972          85876       22766         1         186.0000         164.8982     12.80%
1972.41/1977.46	c      1977          86098       22836         1         186.0000         164.8990     12.80%
1977.60/1982.68	c      1983          86341       22905         1         186.0000         164.8995     12.80%
1982.69/1987.75	c      1988          86551       22977         1         186.0000         164.9008     12.80%
1987.68/1992.78	c      1993          86814       23048         1         186.0000         164.9018     12.79%
1992.98/1998.08	c      1998          87111       23105         1         186.0000         164.9031     12.79%
1998.35/2003.49	c      2003          87341       23177         1         186.0000         164.9048     12.79%
2003.54/2008.60	c      2009          87581       23241         1         186.0000         164.9051     12.79%
2008.83/2013.93	c      2014          87800       23300         1         186.0000         164.9063     12.79%
2014.22/2019.34	c      2019          88041       23383         1         186.0000         164.9070     12.79%
2019.80/2024.97	c      2025          88271       23457         1         186.0000         164.9080     12.79%
2025.00/2030.15	c      2030          88512       23516         1         186.0000         164.9093     12.79%
2029.99/2035.16	c      2035          88681       23585         1         186.0000         164.9108     12.79%
2035.37/2040.54	c      2041          88851       23661         1         186.0000         164.9118     12.79%
2041.15/2046.35	c      2046          89138       23718         1         186.0000         164.9121     12.79%
2046.54/2051.72	c      2052          89331       23769         1         186.0000         164.9142     12.79%
2051.53/2056.73	c      2057          89502       23828         1         186.0000         164.9151     12.79%
2057.32/2062.52	c      2063          89901       23885         1         186.0000         164.9155     12.79%
2062.82/2068.06	c      2068          90161       23963         1         186.0000         164.9162     12.78%
2067.81/2073.10	c      2073          90401       24039         1         186.0000         164.9171     12.78%
2073.17/2078.42	c      2078          90601       24125         1         186.0000         164.9185     12.78%
2078.66/2083.99	c      2084          90821       24189         1         186.0000         164.9189     12.78%
2084.05/2089.39	c      2089          91074       24280         1         186.0000         164.9190     12.78%
2089.85/2095.15	c      2095          91351       24371         1         186.0000         164.9198     12.78%
2095.12/2100.45	c      2100          91601       24453         1         186.0000         164.9212     12.78%
2100.11/2105.48	c      2105          91761       24515         1         186.0000         164.9221     12.78%
2105.90/2111.29	c      2111          92045       24553         1         186.0000         164.9228     12.78%
2112.18/2117.50	c      2118          92244       24610         1         186.0000         164.9234     12.78%
2117.26/2122.68	c      2123          92446       24700         1         186.0000         164.9247     12.78%
2122.35/2127.74	c      2128          92661       24749         1         186.0000         164.9257     12.78%
2127.65/2133.03	c      2133          92905       24805         1         186.0000         164.9263     12.78%
2133.03/2138.41	c      2138          93122       24876         1         186.0000         164.9270     12.78%
2138.42/2143.84	c      2144          93341       24953         1         186.0000         164.9273     12.78%
2143.81/2149.21	c      2149          93591       25023         1         186.0000         164.9283     12.78%
2149.60/2155.10	c      2155          93816       25104         1         186.0000         164.9294     12.78%
2154.69/2160.16	c      2160          94045       25159         1         186.0000         164.9295     12.78%
2159.96/2165.49	c      2165          94281       25227         1         186.0000         164.9310     12.77%
2165.45/2170.94	c      2171          94609       25295         1         186.0000         164.9314     12.77%
2171.04/2176.55	c      2177          94934       25366         1         186.0000         164.9320     12.77%
2176.13/2181.60	c      2182          95201       25401         1         186.0000         164.9325     12.77%
2181.63/2187.14	c      2187          95641       25469         1         186.0000         164.9334     12.77%
2187.10/2192.61	c      2193          95811       25547         1         186.0000         164.9362     12.77%
2192.99/2198.52	c      2199          96096       25622         1         186.0000         164.9384     12.77%
2198.67/2204.24	c      2204          96371       25693         1         186.0000         164.9398     12.77%
2203.76/2209.30	c      2209          96585       25763         1         186.0000         164.9409     12.77%
2208.95/2214.59	c      2215          96941       25827         1         186.0000         164.9418     12.77%
2214.24/2219.80	c      2220          97231       25875         1         186.0000         164.9428     12.77%
2219.72/2225.30	c      2225          97508       25950         1         186.0000         164.9447     12.77%
2225.52/2231.17	c      2231          97831       26013         1         186.0000         164.9463     12.76%
2231.19/2236.80	c      2237          98031       26063         1         186.0000         164.9470     12.76%
2236.79/2242.42	c      2242          98301       26133         1         186.0000         164.9474     12.76%
2242.08/2247.77	c      2248          98471       26215         1         186.0000         164.9485     12.76%
2247.16/2252.86	c      2253          98671       26289         1         186.0000         164.9491     12.76%
2253.05/2258.71	c      2259          98951       26351         1         186.0000         164.9500     12.76%
2258.53/2264.21	c      2264          99161       26413         1         186.0000         164.9507     12.76%
2263.82/2269.57	c      2270          99391       26487         1         186.0000         164.9519     12.76%
2268.92/2274.60	c      2275          99571       26553         1         186.0000         164.9523     12.76%
2274.00/2279.77	c      2280          99784       26610         1         186.0000         164.9532     12.76%
2279.30/2285.03	c      2285         100061       26689         1         186.0000         164.9540     12.76%
2284.39/2290.17	c      2290         100281       26749         1         186.0000         164.9546     12.76%
2289.56/2295.32	c      2295         100491       26815         1         186.0000         164.9552     12.76%
2294.85/2300.62	c      2301         100704       26900         1         186.0000         164.9556     12.76%
2300.35/2306.12	c      2306         100960       26952         1         186.0000         164.9562     12.76%
2305.93/2311.79	c      2312         101211       27023         1         186.0000         164.9572     12.76%
2311.33/2317.13	c      2317         101501       27079         1         186.0000         164.9584     12.76%
2316.80/2322.69	c      2323         101791       27163         1         186.0000         164.9595     12.75%
2322.39/2328.25	c      2328         102041       27235         1         186.0000         164.9601     12.75%
2327.67/2333.57	c      2334         102261       27311         1         186.0000         164.9607     12.75%
2333.46/2339.31	c      2339         102451       27395         1         186.0000         164.9618     12.75%
2338.95/2344.87	c      2345         102671       27453         1         186.0000         164.9628     12.75%
2344.14/2350.06	c      2350         102973       27505         1         186.0000         164.9630     12.75%
2349.91/2355.87	c      2356         103177       27589         1         186.0000         164.9638     12.75%
2355.70/2361.61	c      2362         103444       27650         1         186.0000         164.9653     12.75%
2360.88/2366.82	c      2367         103647       27717         1         186.0000         164.9663     12.75%
2365.97/2371.91	c      2372         103831       27779         1         186.0000         164.9672     12.75%
2370.95/2376.94	c      2377         104071       27839         1         186.0000         164.9684     12.75%
2376.24/2382.27	c      2382         104261       27905         1         186.0000         164.9689     12.75%
2381.82/2387.82	c      2388         104441       27981         1         186.0000         164.9695     12.75%
2387.70/2393.72	c      2394         104698       28064         1         186.0000         164.9700     12.75%
2393.39/2399.43	c      2399         104991       28141         1         186.0000         164.9707     12.75%
2399.08/2405.18	c      2405         105249       28203         1         186.0000         164.9710     12.75%
2404.45/2410.56	c      2411         105491       28291         1         186.0000         164.9726     12.75%
2409.95/2416.04	c      2416         105711       28365         1         186.0000         164.9744     12.74%
2415.32/2421.40	c      2421         105951       28459         1         186.0000         164.9749     12.74%
2421.10/2427.21	c      2427         106161       28543         1         186.0000         164.9758     12.74%
2426.18/2432.35	c      2432         106372       28606         1         186.0000         164.9765     12.74%
2431.98/2438.13	c      2438         106645       28679         1         186.0000         164.9773     12.74%
2437.16/2443.38	c      2443         106950       28744         1         186.0000         164.9775     12.74%
2442.86/2449.07	c      2449         107211       28813         1         186.0000         164.9785     12.74%
2448.04/2454.27	c      2454         107420       28878         1         186.0000         164.9790     12.74%
2453.42/2459.63	c      2460         107798       28954         1         186.0000         164.9795     12.74%
2459.31/2465.58	c      2466         108101       29011         1         186.0000         164.9802     12.74%
2465.09/2471.36	c      2471         108341       29089         1         186.0000         164.9809     12.74%
2470.48/2476.77	c      2477         108611       29143         1         186.0000         164.9811     12.74%
2475.67/2481.96	c      2482         108851       29213         1         186.0000         164.9815     12.74%
2480.77/2487.04	c      2487         109110       29272         1         186.0000         164.9818     12.74%
2485.87/2492.18	c      2492         109381       29301         1         186.0000         164.9824     12.74%
2490.94/2497.28	c      2497         109589       29397         1         186.0000         164.9832     12.74%
2496.33/2502.65	c      2503         109792       29462         1         186.0000         164.9842     12.74%
2501.42/2507.74	c      2508         110011       29549         1         186.0000         164.9851     12.74%
2506.40/2512.75	c      2513         110221       29619         1         186.0000         164.9858     12.74%
2511.39/2517.79	c      2518         110401       29703         1         186.0000         164.9864     12.74%
2516.58/2522.94	c      2523         110680       29784         1         186.0000         164.9869     12.74%
2521.87/2528.25	c      2528         110911       29827         1         186.0000         164.9874     12.74%
2527.15/2533.54	c      2534         111091       29891         1         186.0000         164.9885     12.74%
2532.76/2539.11	c      2539         111388       29984         1         186.0000         164.9887     12.73%
2538.03/2544.45	c      2544         111641       30047         1         186.0000         164.9901     12.73%
2543.73/2550.15	c      2550         111852       30126         1         186.0000         164.9907     12.73%
2548.80/2555.24	c      2555         112081       30187         1         186.0000         164.9920     12.73%
2555.20/2561.65	c      2562         112314       30268         1         186.0000         164.9922     12.73%
2560.78/2567.24	c      2567         112601       30323         1         186.0000         164.9931     12.73%
2565.87/2572.31	c      2572         112731       30383         1         186.0000         164.9936     12.73%
2570.96/2577.44	c      2577         113216       30486         1         186.0000         164.9937     12.73%
2576.56/2583.06	c      2583         113568       30558         1         186.0000         164.9945     12.73%
2582.33/2588.89	c      2589         113891       30639         1         186.0000         164.9948     12.73%
2587.72/2594.20	c      2594         114166       30712         1         186.0000         164.9951     12.73%
2592.91/2599.40	c      2599         114461       30793         1         186.0000         164.9958     12.73%
2597.89/2604.48	c      2604         114893       30903         1         186.0000         164.9962     12.73%
2603.18/2609.76	c      2610         115201       30991         1         186.0000         164.9969     12.73%
2609.26/2615.81	c      2616         115461       31085         1         186.0000         164.9979     12.73%
2614.26/2620.86	c      2621         115709       31155         1         186.0000         164.9984     12.73%
2620.15/2626.78	c      2627         115964       31242         1         186.0000         165.0002     12.73%
2625.55/2632.18	c      2632         116131       31319         1         186.0000         165.0012     12.73%
2630.82/2637.41	c      2637         116321       31383         1         186.0000         165.0029     12.73%
2636.61/2643.24	c      2643         116570       31456         1         186.0000         165.0031     12.73%
2642.09/2648.76	c      2649         116871       31543         1         186.0000         165.0039     12.72%
2647.58/2654.24	c      2654         117111       31621         1         186.0000         165.0051     12.72%
2653.27/2659.98	c      2660         117317       31695         1         186.0000         165.0056     12.72%
2658.47/2665.13	c      2665         117701       31789         1         186.0000         165.0063     12.72%
2663.46/2670.19	c      2670         117909       31861         1         186.0000         165.0070     12.72%
2669.13/2675.83	c      2676         118171       31945         1         186.0000         165.0082     12.72%
2675.02/2681.71	c      2682         118436       32042         1         186.0000         165.0099     12.72%
2680.11/2686.88	c      2687         118631       32121         1         186.0000         165.0110     12.72%
2686.09/2692.85	c      2693         118909       32209         1         186.0000         165.0113     12.72%
2691.48/2698.24	c      2698         119221       32287         1         186.0000         165.0119     12.72%
2697.07/2703.82	c      2704         119471       32363         1         186.0000         165.0131     12.72%
2702.76/2709.57	c      2710         119761       32419         1         186.0000         165.0134     12.72%
2708.14/2714.93	c      2715         119975       32509         1         186.0000         165.0145     12.72%
2713.24/2720.03	c      2720         120330       32554         1         186.0000         165.0148     12.72%
2719.01/2725.86	c      2726         120581       32643         1         186.0000         165.0156     12.72%
2724.50/2731.33	c      2731         120827       32713         1         186.0000         165.0166     12.72%
2730.30/2737.17	c      2737         121177       32779         1         186.0000         165.0173     12.72%
2735.77/2742.60	c      2743         121451       32863         1         186.0000         165.0185     12.71%
2740.96/2747.81	c      2748         121698       32930         1         186.0000         165.0191     12.71%
2746.05/2752.92	c      2753         122021       33015         1         186.0000         165.0197     12.71%
2751.53/2758.46	c      2758         122281       33091         1         186.0000         165.0202     12.71%
2757.23/2764.19	c      2764         122535       33179         1         186.0000         165.0210     12.71%
2762.90/2769.88	c      2770         122801       33261         1         186.0000         165.0218     12.71%
2768.28/2775.24	c      2775         123011       33329         1         186.0000         165.0228     12.71%
2773.86/2780.81	c      2781         123346       33430         1         186.0000         165.0231     12.71%
2779.35/2786.31	c      2786         123651       33503         1         186.0000         165.0245     12.71%
2784.93/2791.95	c      2792         124031       33539         1         186.0000         165.0249     12.71%
2790.13/2797.14	c      2797         124294       33610         1         186.0000         165.0255     12.71%
2796.01/2803.06	c      2803         124505       33693         1         186.0000         165.0264     12.71%
2801.09/2808.19	c      2808         124791       33767         1         186.0000         165.0274     12.71%
2806.46/2813.51	c      2814         125066       33838         1         186.0000         165.0278     12.71%
2811.54/2818.68	c      2819         125288       33934         1         186.0000         165.0286     12.71%
2817.33/2824.44	c      2824         125541       34043         1         186.0000         165.0294     12.71%
2822.43/2829.59	c      2830         125751       34125         1         186.0000         165.0299     12.71%
2827.62/2834.73	c      2835         125981       34203         1         186.0000         165.0305     12.71%
2833.20/2840.32	c      2840         126262       34296         1         186.0000         165.0311     12.71%
2838.90/2846.04	c      2846         126571       34367         1         186.0000         165.0317     12.71%
2844.08/2851.21	c      2851         126771       34443         1         186.0000         165.0324     12.71%
2849.36/2856.56	c      2857         127141       34521         1         186.0000         165.0326     12.71%
2854.66/2861.86	c      2862         127371       34609         1         186.0000         165.0330     12.70%
2860.54/2867.72	c      2868         127700       34678         1         186.0000         165.0342     12.70%
2866.02/2873.22	c      2873         127991       34741         1         186.0000         165.0354     12.70%
2871.41/2878.69	c      2879         128261       34821         1         186.0000         165.0360     12.70%
2876.90/2884.15	c      2884         128511       34899         1         186.0000         165.0373     12.70%
2882.18/2889.48	c      2889         128871       34997         1         186.0000         165.0383     12.70%
2887.26/2894.50	c      2894         129121       35053         1         186.0000         165.0391     12.70%
2892.75/2900.01	c      2900         129351       35127         1         186.0000         165.0403     12.70%
2898.42/2905.72	c      2906         129631       35229         1         186.0000         165.0413     12.70%
2903.61/2910.96	c      2911         129893       35293         1         186.0000         165.0419     12.70%
2908.71/2916.11	c      2916         130094       35360         1         186.0000         165.0424     12.70%
2914.69/2922.07	c      2922         130359       35441         1         186.0000         165.0432     12.70%
2919.97/2927.35	c      2927         130561       35521         1         186.0000         165.0437     12.70%
2925.07/2932.40	c      2932         130791       35601         1         186.0000         165.0439     12.70%
2930.45/2937.83	c      2938         131006       35672         1         186.0000         165.0446     12.70%
2936.24/2943.64	c      2944         131324       35734         1         186.0000         165.0450     12.70%
2941.52/2948.91	c      2949         131695       35827         1         186.0000         165.0455     12.70%
2947.41/2954.85	c      2955         132068       35890         1         186.0000         165.0466     12.70%
2952.50/2959.92	c      2960         132251       35971         1         186.0000         165.0476     12.69%
2958.29/2965.74	c      2966         132549       36081         1         186.0000         165.0482     12.69%
2963.77/2971.24	c      2971         132801       36167         1         186.0000         165.0495     12.69%
2969.35/2976.80	c      2977         133041       36249         1         186.0000         165.0503     12.69%
2974.44/2982.00	c      2982         133391       36325         1         186.0000         165.0508     12.69%
2980.22/2987.75	c      2988         133611       36435         1         186.0000         165.0515     12.69%
2985.81/2993.34	c      2993         133881       36509         1         186.0000         165.0522     12.69%
2990.90/2998.41	c      2998         134091       36595         1         186.0000         165.0526     12.69%
2995.89/3003.46	c      3003         134330       36660         1         186.0000         165.0529     12.69%
3000.97/3008.51	c      3009         134561       36723         1         186.0000         165.0533     12.69%
3006.26/3013.83	c      3014         134851       36815         1         186.0000         165.0539     12.69%
3011.35/3018.90	c      3019         135041       36891         1         186.0000         165.0550     12.69%
3017.03/3024.68	c      3025         135387       36967         1         186.0000         165.0556     12.69%
3022.22/3029.85	c      3030         135641       37037         1         186.0000         165.0562     12.69%
3028.02/3035.62	c      3036         135871       37101         1         186.0000         165.0568     12.69%
3033.90/3041.56	c      3042         136130       37156         1         186.0000         165.0569     12.69%
3038.89/3046.59	c      3047         136341       37239         1         186.0000         165.0572     12.69%
3044.39/3052.10	c      3052         136630       37318         1         186.0000         165.0579     12.69%
3049.66/3057.33	c      3057         136901       37383         1         186.0000         165.0585     12.69%
3055.45/3063.15	c      3063         137101       37441         1         186.0000         165.0588     12.69%
3060.93/3068.61	c      3069         137396       37526         1         186.0000         165.0592     12.69%
3066.81/3074.53	c      3075         137724       37594         1         186.0000         165.0601     12.69%
3072.41/3080.19	c      3080         138003       37667         1         186.0000         165.0609     12.69%
3077.89/3085.63	c      3086         138342       37796         1         186.0000         165.0617     12.69%
3082.97/3090.79	c      3091         138701       37853         1         186.0000         165.0624     12.68%
3088.06/3095.83	c      3096         138991       37943         1         186.0000         165.0631     12.68%
3093.16/3100.98	c      3101         139251       38033         1         186.0000         165.0636     12.68%
3098.64/3106.40	c      3106         139549       38113         1         186.0000         165.0642     12.68%
3103.63/3111.42	c      3111         139751       38203         1         186.0000         165.0654     12.68%
3109.12/3116.97	c      3117         140011       38283         1         186.0000         165.0657     12.68%
3114.81/3122.64	c      3123         140247       38377         1         186.0000         165.0668     12.68%
3120.21/3128.06	c      3128         140561       38441         1         186.0000         165.0672     12.68%
3125.38/3133.20	c      3133         140851       38517         1         186.0000         165.0675     12.68%
3130.77/3138.65	c      3139         141061       38587         1         186.0000         165.0679     12.68%
3136.05/3144.00	c      3144         141341       38655         1         186.0000         165.0683     12.68%
3141.54/3149.41	c      3149         141604       38720         1         186.0000         165.0686     12.68%
3146.64/3154.51	c      3155         142031       38805         1         186.0000         165.0689     12.68%
3152.53/3160.50	c      3160         142281       38891         1         186.0000         165.0695     12.68%
3158.01/3165.95	c      3166         142616       38976         1         186.0000         165.0699     12.68%
3163.11/3171.08	c      3171         143051       39041         1         186.0000         165.0701     12.68%
3168.79/3176.77	c      3177         143341       39149         1         186.0000         165.0710     12.68%
3174.47/3182.49	c      3182         143671       39231         1         186.0000         165.0713     12.68%
3180.46/3188.41	c      3188         143966       39316         1         186.0000         165.0717     12.68%
3186.05/3194.09	c      3194         144281       39405         1         186.0000         165.0729     12.68%
3191.54/3199.57	c      3200         144531       39481         1         186.0000         165.0736     12.68%
3197.14/3205.16	c      3205         144871       39623         1         186.0000         165.0740     12.68%
3202.51/3210.58	c      3211         145159       39695         1         186.0000         165.0740     12.68%
3208.19/3216.24	c      3216         145531       39785         1         186.0000         165.0749     12.68%
3213.99/3222.09	c      3222         145809       39891         1         186.0000         165.0756     12.68%
3219.87/3227.95	c      3228         146112       39998         1         186.0000         165.0756     12.68%
3224.97/3233.07	c      3233         146405       40081         1         186.0000         165.0762     12.68%
3230.54/3238.66	c      3239         146711       40169         1         186.0000         165.0770     12.67%
3236.23/3244.35	c      3244         147001       40273         1         186.0000         165.0777     12.67%
3241.42/3249.50	c      3250         147220       40364         1         186.0000         165.0786     12.67%
3247.02/3255.20	c      3255         147681       40471         1         186.0000         165.0798     12.67%
3252.29/3260.42	c      3260         147921       40545         1         186.0000         165.0806     12.67%
3257.48/3265.64	c      3266         148241       40637         1         186.0000         165.0810     12.67%
3262.58/3270.77	c      3271         148581       40743         1         186.0000         165.0818     12.67%
3268.46/3276.66	c      3277         149068       40844         1         186.0000         165.0826     12.67%
3274.65/3282.86	c      3283         149361       40953         1         186.0000         165.0830     12.67%
3280.22/3288.47	c      3288         149551       41047         1         186.0000         165.0834     12.67%
3285.71/3293.97	c      3294         149801       41121         1         186.0000         165.0839     12.67%
3290.69/3298.99	c      3299         150051       41185         1         186.0000         165.0847     12.67%
3296.28/3304.50	c      3304         150381       41257         1         186.0000         165.0849     12.67%
3301.57/3309.87	c      3310         150701       41347         1         186.0000         165.0856     12.67%
3306.66/3314.99	c      3315         150971       41425         1         186.0000         165.0862     12.67%
3312.14/3320.42	c      3320         151289       41489         1         186.0000         165.0866     12.67%
3317.62/3325.92	c      3326         151631       41567         1         186.0000         165.0875     12.67%
3322.72/3331.07	c      3331         151831       41645         1         186.0000         165.0879     12.67%
3328.10/3336.42	c      3336         152040       41736         1         186.0000         165.0882     12.67%
3333.19/3341.56	c      3342         152311       41811         1         186.0000         165.0884     12.67%
3338.48/3346.84	c      3347         152641       41887         1         186.0000         165.0886     12.67%
3343.78/3352.16	c      3352         153001       41947         1         186.0000         165.0889     12.67%
3349.25/3357.60	c      3358         153351       42009         1         186.0000         165.0904     12.67%
3354.54/3362.90	c      3363         153671       42071         1         186.0000         165.0913     12.66%
3359.63/3368.07	c      3368         153901       42155         1         186.0000         165.0924     12.66%
3365.12/3373.50	c      3374         154221       42227         1         186.0000         165.0928     12.66%
3371.00/3379.43	c      3379         154555       42325         1         186.0000         165.0936     12.66%
3377.09/3385.51	c      3386         154921       42391         1         186.0000         165.0943     12.66%
3382.69/3391.17	c      3391         155252       42466         1         186.0000         165.0945     12.66%
3387.96/3396.45	c      3396         155531       42535         1         186.0000         165.0948     12.66%
3393.25/3401.73	c      3402         155857       42599         1         186.0000         165.0950     12.66%
3399.14/3407.61	c      3408         156198       42688         1         186.0000         165.0952     12.66%
3405.64/3414.13	c      3414         156524       42744         1         186.0000         165.0960     12.66%
3411.31/3419.82	c      3420         156812       42822         1         186.0000         165.0969     12.66%
3416.40/3424.93	c      3425         157147       42897         1         186.0000         165.0974     12.66%
3421.99/3430.52	c      3431         157381       42969         1         186.0000         165.0980     12.66%
3427.87/3436.49	c      3436         157713       43043         1         186.0000         165.0983     12.66%
3433.66/3442.26	c      3442         158195       43115         1         186.0000         165.0988     12.66%
3439.46/3448.07	c      3448         158505       43171         1         186.0000         165.0993     12.66%
3444.93/3453.54	c      3454         158951       43237         1         186.0000         165.0996     12.66%
3450.31/3458.97	c      3459         159311       43315         1         186.0000         165.1002     12.66%
3455.52/3464.12	c      3464         159571       43409         1         186.0000         165.1006     12.66%
3460.90/3469.54	c      3470         159811       43489         1         186.0000         165.1012     12.66%
3466.19/3474.88	c      3475         160071       43565         1         186.0000         165.1023     12.66%
3472.07/3480.74	c      3481         160421       43659         1         186.0000         165.1026     12.66%
3478.06/3486.70	c      3487         160864       43746         1         186.0000         165.1033     12.66%
3483.64/3492.38	c      3492         161271       43813         1         186.0000         165.1044     12.66%
3489.53/3498.28	c      3498         161492       43904         1         186.0000         165.1048     12.66%
3495.22/3503.91	c      3504         161761       43979         1         186.0000         165.1054     12.66%
3500.32/3509.06	c      3509         161921       44051         1         186.0000         165.1056     12.66%
3506.19/3514.97	c      3515         162272       44138         1         186.0000         165.1059     12.65%
3511.78/3520.54	c      3521         162681       44213         1         186.0000         165.1074     12.65%
3517.16/3525.94	c      3526         163081       44291         1         186.0000         165.1077     12.65%
3522.37/3531.19	c      3531         163313       44365         1         186.0000         165.1080     12.65%
3527.85/3536.60	c      3537         163671       44447         1         186.0000         165.1087     12.65%
3533.03/3541.86	c      3542         163981       44527         1         186.0000         165.1091     12.65%
3538.62/3547.45	c      3547         164281       44611         1         186.0000         165.1098     12.65%
3543.90/3552.79	c      3553         164481       44701         1         186.0000         165.1103     12.65%
3549.30/3558.18	c      3558         164721       44781         1         186.0000         165.1114     12.65%
3555.30/3564.13	c      3564         165071       44869         1         186.0000         165.1121     12.65%
3560.37/3569.24	c      3569         165411       44959         1         186.0000         165.1125     12.65%
3566.17/3575.10	c      3575         165725       45055         1         186.0000         165.1132     12.65%
3571.45/3580.37	c      3580         165961       45125         1         186.0000         165.1138     12.65%
3577.25/3586.17	c      3586         166366       45182         1         186.0000         165.1140     12.65%
3582.92/3591.83	c      3592         166711       45251         1         186.0000         165.1142     12.65%
3588.80/3597.72	c      3598         167021       45323         1         186.0000         165.1146     12.65%
3591.21/3600.15	c SCIP Status        : c solving was interrupted [hard time limit reached]
3591.21/3600.15	c Total Time         : 3600.14
3591.21/3600.15	c   solving          : 3600.14
3591.21/3600.15	c   presolving       : 0.05 (included in solving)
3591.21/3600.15	c B&B Tree           :
3591.21/3600.15	c   nodes (total)    : 1
3591.21/3600.15	c Solution           :
3591.21/3600.15	c   Solutions found  : 16
3591.21/3600.15	c   Primal Bound     : +1.86000000000000e+02
3591.21/3600.15	c   Dual Bound       : +1.65114756675275e+02
3591.21/3600.15	c Gap                : 12.64893 %
3591.21/3600.15	c * Warning: final gap: 1.26489e-01 is greater than SCIPepsilon: 1.00000e-09
3591.21/3600.15	o 186
3591.21/3600.15	s SATISFIABLE
3591.21/3600.15	v -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 x458 x457 x456 -x455 -x454 x453 -x452 -x451 x450 -x449 
3591.21/3600.15	v -x448 -x447 -x446 x445 -x444 -x443 x442 x441 x440 -x439 -x438 -x437 x436 -x435 -x434 x433 -x432 -x431 x430 x429 -x428 x427 -x426 
3591.21/3600.15	v x425 -x424 -x423 -x422 x421 x420 -x419 x418 -x417 x416 -x415 -x414 x413 -x412 -x411 -x410 x409 -x408 x407 x406 x405 x404 
3591.21/3600.15	v -x403 -x402 -x401 -x400 x399 x398 x397 x396 -x395 -x394 x393 -x392 -x391 -x390 x389 x388 -x387 -x386 x385 -x384 x383 x382 -x381 
3591.21/3600.15	v x380 -x379 -x378 x377 x376 -x375 x374 -x373 x372 -x371 x370 -x369 x368 -x367 -x366 x365 -x364 -x363 -x362 -x361 -x360 x359 
3591.21/3600.15	v -x358 x357 -x356 x355 x354 x353 x352 -x351 x350 -x349 x348 -x347 x346 -x345 x344 -x343 x342 x341 -x340 -x339 x338 x337 x336 
3591.21/3600.15	v -x335 -x334 x333 x332 -x331 x330 -x329 -x328 -x327 x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 x318 -x317 x316 x315 x314 -x313 
3591.21/3600.15	v -x312 -x311 -x310 -x309 x308 -x307 x306 -x305 x304 -x303 x302 -x301 -x300 x299 -x298 x297 -x296 x295 x294 -x293 -x292 -x291 
3591.21/3600.15	v x290 -x289 x288 -x287 -x286 -x285 -x284 -x283 x282 x281 x280 -x279 x278 x277 -x276 -x275 -x274 -x273 x272 x271 -x270 -x269 
3591.21/3600.15	v x268 -x267 x266 x265 -x264 -x263 -x262 -x261 -x260 -x259 x258 -x257 -x256 -x255 x254 x253 x252 -x251 -x250 -x249 -x248 -x247 
3591.21/3600.15	v -x246 x245 -x244 -x243 -x242 -x241 -x240 -x239 x238 x237 x236 -x235 -x234 -x233 -x232 x231 x230 -x229 -x228 x227 -x226 x225 
3591.21/3600.15	v -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 x211 -x210 -x209 -x208 -x207 x206 x205 x204 x203 
3591.21/3600.15	v x202 x201 -x200 -x199 x198 -x197 -x196 x195 -x194 -x193 -x192 x191 x190 x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 
3591.21/3600.15	v -x179 x178 -x177 x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 x168 x167 x166 x165 -x164 -x163 x162 x161 x160 -x159 x158 
3591.21/3600.15	v -x157 -x156 x155 -x154 x153 -x152 x151 -x150 -x149 x148 -x147 -x146 x145 -x144 x143 x142 -x141 -x140 -x139 x138 -x137 x136 x135 
3591.21/3600.15	v -x134 x133 -x132 x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 x123 -x122 -x121 -x120 x119 -x118 -x117 x116 -x115 -x114 -x113 
3591.21/3600.15	v -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 x100 x99 x98 x97 -x96 -x95 x94 -x93 x92 x91 x90 x89 
3591.21/3600.15	v -x88 x87 x86 -x85 -x84 x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 x72 x71 x70 x69 x68 x67 -x66 x65 x64 -x63 -x62 -x61 
3591.21/3600.15	v -x60 x59 x58 x57 x56 x55 -x54 -x53 -x52 x51 -x50 x49 x48 -x47 -x46 -x45 x44 -x43 x42 -x41 -x40 x39 x38 -x37 x36 x35 -x34 
3591.21/3600.15	v -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 
3591.21/3600.15	v -x6 x5 x4 -x3 -x2 -x1 

Verifier Data

OK	186

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (62407 MiB free)
  memory of node 1: 64510 MiB (63309 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=817213, runsolver pid=817210

[startup+0.100095 s]*
/proc/loadavg: 4.13 4.12 4.09 6/248 817235
/proc/meminfo: memFree=128692816/131655788 swapFree=131071996/131071996
[pid=817213] ppid=817210 vsize=112432 memory=28364 CPUtime=0.1 cores=4,6
/proc/817213/stat : 817213 (fscip) R 817210 817213 814844 0 -1 1077936128 4497 0 0 0 10 0 0 0 20 0 3 0 160650909 115130368 7091 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
/proc/817213/statm: 28108 7091 2894 3032 0 10440 0
[pid=817213/tid=817229] ppid=817210 vsize=112432 memory=4026531971 CPUtime=0.03 cores=4,6
/proc/817213/task/817229/stat : 817229 (fscip) R 817210 817213 814844 0 -1 4194368 2048 0 0 0 3 0 0 0 20 0 3 0 160650916 115130368 7091 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
[pid=817213/tid=817234] ppid=817210 vsize=112432 memory=5822 CPUtime=0 cores=4,6
/proc/817213/task/817234/stat : 817234 (fscip) S 817210 817213 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160650917 115130368 7091 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112432 KiB
Current children cumulated memory: 28364 KiB

[startup+0.213394 s]*
/proc/loadavg: 4.13 4.12 4.09 6/251 817238
/proc/meminfo: memFree=128667132/131655788 swapFree=131071996/131071996
[pid=817213] ppid=817210 vsize=112432 memory=28364 CPUtime=0.21 cores=4,6
/proc/817213/stat : 817213 (fscip) S 817210 817213 814844 0 -1 1077936128 4557 0 0 0 21 0 0 0 20 0 3 0 160650909 115130368 7091 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
/proc/817213/statm: 28108 7091 2894 3032 0 10510 0
[pid=817213/tid=817229] ppid=817210 vsize=112432 memory=8737651120394928259 CPUtime=0.14 cores=4,6
/proc/817213/task/817229/stat : 817229 (fscip) R 817210 817213 814844 0 -1 4194368 2108 0 0 0 14 0 0 0 20 0 3 0 160650916 115130368 7091 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
[pid=817213/tid=817234] ppid=817210 vsize=112432 memory=5822 CPUtime=0 cores=4,6
/proc/817213/task/817234/stat : 817234 (fscip) S 817210 817213 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160650917 115130368 7091 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 112432 KiB
Current children cumulated memory: 28364 KiB

[startup+0.312531 s]*
/proc/loadavg: 4.13 4.12 4.09 6/251 817238
/proc/meminfo: memFree=128666224/131655788 swapFree=131071996/131071996
[pid=817213] ppid=817210 vsize=112432 memory=28628 CPUtime=0.31 cores=4,6
/proc/817213/stat : 817213 (fscip) S 817210 817213 814844 0 -1 1077936128 4562 0 0 0 31 0 0 0 20 0 3 0 160650909 115130368 7157 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
/proc/817213/statm: 28108 7157 2894 3032 0 10510 0
[pid=817213/tid=817229] ppid=817210 vsize=112432 memory=-6586625975291919204 CPUtime=0.24 cores=4,6
/proc/817213/task/817229/stat : 817229 (fscip) R 817210 817213 814844 0 -1 4194368 2113 0 0 0 24 0 0 0 20 0 3 0 160650916 115130368 7157 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
[pid=817213/tid=817234] ppid=817210 vsize=112432 memory=0 CPUtime=0 cores=4,6
/proc/817213/task/817234/stat : 817234 (fscip) S 817210 817213 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160650917 115130368 7157 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 112432 KiB
Current children cumulated memory: 28628 KiB

[startup+0.70031 s]
/proc/loadavg: 4.13 4.12 4.09 6/251 817238
/proc/meminfo: memFree=128664904/131655788 swapFree=131071996/131071996
[pid=817213] ppid=817210 vsize=112432 memory=28892 CPUtime=0.68 cores=4,6
/proc/817213/stat : 817213 (fscip) S 817210 817213 814844 0 -1 1077936128 4634 0 0 0 68 0 0 0 20 0 3 0 160650909 115130368 7223 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
/proc/817213/statm: 28108 7223 2894 3032 0 10608 0
[pid=817213/tid=817229] ppid=817210 vsize=112432 memory=0 CPUtime=0.61 cores=4,6
/proc/817213/task/817229/stat : 817229 (fscip) R 817210 817213 814844 0 -1 4194368 2185 0 0 0 61 0 0 0 20 0 3 0 160650916 115130368 7223 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
[pid=817213/tid=817234] ppid=817210 vsize=112432 memory=0 CPUtime=0 cores=4,6
/proc/817213/task/817234/stat : 817234 (fscip) S 817210 817213 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160650917 115130368 7223 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 112432 KiB
Current children cumulated memory: 28892 KiB

[startup+1.50036 s]
/proc/loadavg: 4.13 4.12 4.09 6/251 817238
/proc/meminfo: memFree=128636900/131655788 swapFree=131071996/131071996
[pid=817213] ppid=817210 vsize=139492 memory=92508 CPUtime=1.48 cores=4,6
/proc/817213/stat : 817213 (fscip) S 817210 817213 814844 0 -1 1077936128 26327 0 0 0 144 4 0 0 20 0 3 0 160650909 142839808 23127 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
/proc/817213/statm: 34873 23127 2910 3032 0 26666 0
[pid=817213/tid=817229] ppid=817210 vsize=139492 memory=0 CPUtime=1.4 cores=4,6
/proc/817213/task/817229/stat : 817229 (fscip) R 817210 817213 814844 0 -1 4194368 23878 0 0 0 137 3 0 0 20 0 3 0 160650916 142839808 23127 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
[pid=817213/tid=817234] ppid=817210 vsize=139492 memory=0 CPUtime=0 cores=4,6
/proc/817213/task/817234/stat : 817234 (fscip) S 817210 817213 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160650917 142839808 23127 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 139492 KiB
Current children cumulated memory: 92508 KiB

[startup+3.11342 s]
/proc/loadavg: 4.12 4.12 4.09 6/251 817238
/proc/meminfo: memFree=128153828/131655788 swapFree=131071996/131071996
[pid=817213] ppid=817210 vsize=205028 memory=159756 CPUtime=3.09 cores=4,6
/proc/817213/stat : 817213 (fscip) S 817210 817213 814844 0 -1 1077936128 43572 0 0 0 301 8 0 0 20 0 3 0 160650909 209948672 39939 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
/proc/817213/statm: 51257 39939 2910 3032 0 44365 0
[pid=817213/tid=817229] ppid=817210 vsize=205028 memory=0 CPUtime=3.01 cores=4,6
/proc/817213/task/817229/stat : 817229 (fscip) R 817210 817213 814844 0 -1 4194368 41121 0 0 0 294 7 0 0 20 0 3 0 160650916 209948672 39939 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
[pid=817213/tid=817234] ppid=817210 vsize=205028 memory=2209 CPUtime=0 cores=4,6
/proc/817213/task/817234/stat : 817234 (fscip) S 817210 817213 814844 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 160650917 209948672 39939 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 205028 KiB
Current children cumulated memory: 159756 KiB

[startup+6.3003 s]
/proc/loadavg: 4.12 4.12 4.09 6/251 817238
/proc/meminfo: memFree=128142060/131655788 swapFree=131071996/131071996
[pid=817213] ppid=817210 vsize=205028 memory=160104 CPUtime=6.27 cores=4,6
/proc/817213/stat : 817213 (fscip) S 817210 817213 814844 0 -1 1077936128 43620 0 0 0 619 8 0 0 20 0 3 0 160650909 209948672 40026 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
/proc/817213/statm: 51257 40026 2958 3032 0 44365 0
[pid=817213/tid=817229] ppid=817210 vsize=205028 memory=0 CPUtime=6.19 cores=4,6
/proc/817213/task/817229/stat : 817229 (fscip) R 817210 817213 814844 0 -1 4194368 41142 0 0 0 612 7 0 0 20 0 3 0 160650916 209948672 40026 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
[pid=817213/tid=817234] ppid=817210 vsize=205028 memory=-6658683569329847148 CPUtime=0 cores=4,6
/proc/817213/task/817234/stat : 817234 (fscip) S 817210 817213 814844 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 160650917 209948672 40026 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 205028 KiB
Current children cumulated memory: 160104 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.12 4.09 6/251 817240
/proc/meminfo: memFree=128141696/131655788 swapFree=131071996/131071996
[pid=817213] ppid=817210 vsize=205028 memory=165568 CPUtime=12.66 cores=4,6
/proc/817213/stat : 817213 (fscip) S 817210 817213 814844 0 -1 1077936128 58799 0 0 0 1257 9 0 0 20 0 3 0 160650909 209948672 41392 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
/proc/817213/statm: 51257 41392 2958 3032 0 45864 0
[pid=817213/tid=817229] ppid=817210 vsize=205028 memory=160312 CPUtime=12.57 cores=4,6
/proc/817213/task/817229/stat : 817229 (fscip) R 817210 817213 814844 0 -1 4194368 56264 0 0 0 1249 8 0 0 20 0 3 0 160650916 209948672 41392 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
[pid=817213/tid=817234] ppid=817210 vsize=205028 memory=0 CPUtime=0 cores=4,6
/proc/817213/task/817234/stat : 817234 (fscip) S 817210 817213 814844 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 160650917 209948672 41392 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 205028 KiB
Current children cumulated memory: 165568 KiB

[startup+25.5004 s]
/proc/loadavg: 4.09 4.11 4.09 6/251 817241
/proc/meminfo: memFree=127974176/131655788 swapFree=131071996/131071996
[pid=817213] ppid=817210 vsize=266940 memory=184464 CPUtime=25.42 cores=4,6
/proc/817213/stat : 817213 (fscip) S 817210 817213 814844 0 -1 1077936128 106909 0 0 0 2530 12 0 0 20 0 3 0 160650909 273346560 46116 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
/proc/817213/statm: 66735 46116 2958 3032 0 50563 0
[pid=817213/tid=817229] ppid=817210 vsize=266940 memory=184464 CPUtime=25.33 cores=4,6
/proc/817213/task/817229/stat : 817229 (fscip) R 817210 817213 814844 0 -1 4194368 103998 0 0 0 2522 11 0 0 20 0 3 0 160650916 273346560 46116 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
[pid=817213/tid=817234] ppid=817210 vsize=266940 memory=185468 CPUtime=0 cores=4,6
/proc/817213/task/817234/stat : 817234 (fscip) S 817210 817213 814844 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 160650917 273346560 46116 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 266940 KiB
Current children cumulated memory: 184464 KiB

[startup+51.1125 s]
/proc/loadavg: 4.11 4.12 4.09 6/251 817246
/proc/meminfo: memFree=127965660/131655788 swapFree=131071996/131071996
[pid=817213] ppid=817210 vsize=266940 memory=184472 CPUtime=50.95 cores=4,6
/proc/817213/stat : 817213 (fscip) S 817210 817213 814844 0 -1 1077936128 126382 0 0 0 5081 14 0 0 20 0 3 0 160650909 273346560 46118 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
/proc/817213/statm: 66735 46118 2958 3032 0 50563 0
[pid=817213/tid=817229] ppid=817210 vsize=266940 memory=184472 CPUtime=50.87 cores=4,6
/proc/817213/task/817229/stat : 817229 (fscip) R 817210 817213 814844 0 -1 4194368 123361 0 0 0 5074 13 0 0 20 0 3 0 160650916 273346560 46118 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
[pid=817213/tid=817234] ppid=817210 vsize=266940 memory=1904 CPUtime=0 cores=4,6
/proc/817213/task/817234/stat : 817234 (fscip) S 817210 817213 814844 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 160650917 273346560 46118 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 266940 KiB
Current children cumulated memory: 184472 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/253 817258
/proc/meminfo: memFree=127695964/131655788 swapFree=131071996/131071996
[pid=817213] ppid=817210 vsize=395964 memory=301016 CPUtime=101.98 cores=4,6
/proc/817213/stat : 817213 (fscip) S 817210 817213 814844 0 -1 1077936128 241415 0 0 0 10172 26 0 0 20 0 3 0 160650909 405467136 75254 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
/proc/817213/statm: 98991 75254 2974 3032 0 79868 0
[pid=817213/tid=817229] ppid=817210 vsize=395964 memory=301016 CPUtime=101.89 cores=4,6
/proc/817213/task/817229/stat : 817229 (fscip) R 817210 817213 814844 0 -1 4194368 238168 0 0 0 10164 25 0 0 20 0 3 0 160650916 405467136 75254 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
[pid=817213/tid=817234] ppid=817210 vsize=395964 memory=12724 CPUtime=0 cores=4,6
/proc/817213/task/817234/stat : 817234 (fscip) S 817210 817213 814844 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 160650917 405467136 75254 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 395964 KiB
Current children cumulated memory: 301016 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/253 817269
/proc/meminfo: memFree=127532556/131655788 swapFree=131071996/131071996
[pid=817213] ppid=817210 vsize=394940 memory=302512 CPUtime=161.79 cores=4,6
/proc/817213/stat : 817213 (fscip) S 817210 817213 814844 0 -1 1077936128 262552 0 0 0 16150 29 0 0 20 0 3 0 160650909 404418560 75628 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
/proc/817213/statm: 98735 75628 2974 3032 0 79612 0
[pid=817213/tid=817229] ppid=817210 vsize=394940 memory=300004 CPUtime=161.69 cores=4,6
/proc/817213/task/817229/stat : 817229 (fscip) R 817210 817213 814844 0 -1 4194368 259270 0 0 0 16142 27 0 0 20 0 3 0 160650916 404418560 75628 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
[pid=817213/tid=817234] ppid=817210 vsize=394940 memory=300012 CPUtime=0 cores=4,6
/proc/817213/task/817234/stat : 817234 (fscip) S 817210 817213 814844 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 160650917 404418560 75628 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 394940 KiB

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

/proc/817213/statm: 100802 91557 2974 3032 0 94121 0
[pid=817213/tid=817229] ppid=817210 vsize=403208 memory=365016 CPUtime=3453.22 cores=4,6
/proc/817213/task/817229/stat : 817229 (fscip) R 817210 817213 814844 0 -1 4194368 495236 0 0 0 345247 75 0 0 20 0 3 0 160650916 412884992 91557 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
[pid=817213/tid=817234] ppid=817210 vsize=403208 memory=366228 CPUtime=0.04 cores=4,6
/proc/817213/task/817234/stat : 817234 (fscip) S 817210 817213 814844 0 -1 1077936192 193 0 0 0 1 3 0 0 20 0 3 0 160650917 412884992 91557 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
Current children cumulated CPU time: 3453.71 s
Current children cumulated vsize: 403208 KiB
Current children cumulated memory: 366228 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.15 4.10 6/251 819055
/proc/meminfo: memFree=127253664/131655788 swapFree=131071996/131071996
[pid=817213] ppid=817210 vsize=403208 memory=366296 CPUtime=3513.57 cores=4,6
/proc/817213/stat : 817213 (fscip) S 817210 817213 814844 0 -1 1077936128 502655 0 0 0 351265 92 0 0 20 0 3 0 160650909 412884992 91574 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
/proc/817213/statm: 100802 91574 2974 3032 0 94121 0
[pid=817213/tid=817229] ppid=817210 vsize=403208 memory=366136 CPUtime=3513.09 cores=4,6
/proc/817213/task/817229/stat : 817229 (fscip) R 817210 817213 814844 0 -1 4194368 498197 0 0 0 351233 76 0 0 20 0 3 0 160650916 412884992 91574 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
[pid=817213/tid=817234] ppid=817210 vsize=403208 memory=32072 CPUtime=0.04 cores=4,6
/proc/817213/task/817234/stat : 817234 (fscip) S 817210 817213 814844 0 -1 1077936192 196 0 0 0 1 3 0 0 20 0 3 0 160650917 412884992 91574 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
Current children cumulated CPU time: 3513.57 s
Current children cumulated vsize: 403208 KiB
Current children cumulated memory: 366296 KiB

[startup+3582.3 s]
/proc/loadavg: 4.27 4.16 4.11 6/251 819065
/proc/meminfo: memFree=127250960/131655788 swapFree=131071996/131071996
[pid=817213] ppid=817210 vsize=403208 memory=366296 CPUtime=3573.44 cores=4,6
/proc/817213/stat : 817213 (fscip) S 817210 817213 814844 0 -1 1077936128 505634 0 0 0 357250 94 0 0 20 0 3 0 160650909 412884992 91574 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
/proc/817213/statm: 100802 91574 2974 3032 0 94121 0
[pid=817213/tid=817229] ppid=817210 vsize=403208 memory=41132 CPUtime=3572.94 cores=4,6
/proc/817213/task/817229/stat : 817229 (fscip) R 817210 817213 814844 0 -1 4194368 501154 0 0 0 357217 77 0 0 20 0 3 0 160650916 412884992 91574 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
[pid=817213/tid=817234] ppid=817210 vsize=403208 memory=12724 CPUtime=0.04 cores=4,6
/proc/817213/task/817234/stat : 817234 (fscip) S 817210 817213 814844 0 -1 1077936192 199 0 0 0 1 3 0 0 20 0 3 0 160650917 412884992 91574 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
Current children cumulated CPU time: 3573.44 s
Current children cumulated vsize: 403208 KiB
Current children cumulated memory: 366296 KiB

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

# cumulated CPU time of all completed processes:  user=3590.31 s, system=0.952366 s

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

[startup+3584 s]*
/proc/loadavg: 4.24 4.16 4.11 6/251 819065
/proc/meminfo: memFree=127251056/131655788 swapFree=131071996/131071996
[pid=817213] ppid=817210 vsize=403208 memory=366296 CPUtime=3575.15 cores=4,6
/proc/817213/stat : 817213 (fscip) S 817210 817213 814844 0 -1 1077936128 505641 0 0 0 357421 94 0 0 20 0 3 0 160650909 412884992 91574 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
/proc/817213/statm: 100802 91574 2974 3032 0 94121 0
[pid=817213/tid=817229] ppid=817210 vsize=403208 memory=6720668735667387242 CPUtime=3574.65 cores=4,6
/proc/817213/task/817229/stat : 817229 (fscip) R 817210 817213 814844 0 -1 4194368 501161 0 0 0 357388 77 0 0 20 0 3 0 160650916 412884992 91574 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
[pid=817213/tid=817234] ppid=817210 vsize=403208 memory=7682466449767832474 CPUtime=0.04 cores=4,6
/proc/817213/task/817234/stat : 817234 (fscip) S 817210 817213 814844 0 -1 1077936192 199 0 0 0 1 3 0 0 20 0 3 0 160650917 412884992 91574 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
Current children cumulated CPU time: 3575.15 s
Current children cumulated vsize: 403208 KiB
Current children cumulated memory: 366296 KiB

[startup+3590.4 s]
/proc/loadavg: 4.22 4.16 4.11 6/251 819068
/proc/meminfo: memFree=127250996/131655788 swapFree=131071996/131071996
[pid=817213] ppid=817210 vsize=403208 memory=366296 CPUtime=3581.52 cores=4,6
/proc/817213/stat : 817213 (fscip) S 817210 817213 814844 0 -1 1077936128 505689 0 0 0 358058 94 0 0 20 0 3 0 160650909 412884992 91574 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
/proc/817213/statm: 100802 91574 2974 3032 0 94121 0
[pid=817213/tid=817229] ppid=817210 vsize=403208 memory=366296 CPUtime=3581.02 cores=4,6
/proc/817213/task/817229/stat : 817229 (fscip) R 817210 817213 814844 0 -1 4194368 501209 0 0 0 358025 77 0 0 20 0 3 0 160650916 412884992 91574 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
[pid=817213/tid=817234] ppid=817210 vsize=403208 memory=366296 CPUtime=0.04 cores=4,6
/proc/817213/task/817234/stat : 817234 (fscip) S 817210 817213 814844 0 -1 1077936192 199 0 0 0 1 3 0 0 20 0 3 0 160650917 412884992 91574 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
Current children cumulated CPU time: 3581.52 s
Current children cumulated vsize: 403208 KiB
Current children cumulated memory: 366296 KiB

[startup+3596.8 s]
/proc/loadavg: 4.21 4.16 4.10 6/251 819068
/proc/meminfo: memFree=127248344/131655788 swapFree=131071996/131071996
[pid=817213] ppid=817210 vsize=403208 memory=368808 CPUtime=3587.91 cores=4,6
/proc/817213/stat : 817213 (fscip) S 817210 817213 814844 0 -1 1077936128 506707 0 0 0 358697 94 0 0 20 0 3 0 160650909 412884992 92202 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
/proc/817213/statm: 100802 92202 2974 3032 0 94880 0
[pid=817213/tid=817229] ppid=817210 vsize=403208 memory=33 CPUtime=3587.4 cores=4,6
/proc/817213/task/817229/stat : 817229 (fscip) R 817210 817213 814844 0 -1 4194368 502227 0 0 0 358663 77 0 0 20 0 3 0 160650916 412884992 92202 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
[pid=817213/tid=817234] ppid=817210 vsize=403208 memory=41132 CPUtime=0.04 cores=4,6
/proc/817213/task/817234/stat : 817234 (fscip) S 817210 817213 814844 0 -1 1077936192 199 0 0 0 1 3 0 0 20 0 3 0 160650917 412884992 92202 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
Current children cumulated CPU time: 3587.91 s
Current children cumulated vsize: 403208 KiB
Current children cumulated memory: 368808 KiB

[startup+3598.4 s]
/proc/loadavg: 4.19 4.15 4.10 6/251 819068
/proc/meminfo: memFree=127248384/131655788 swapFree=131071996/131071996
[pid=817213] ppid=817210 vsize=403208 memory=368808 CPUtime=3589.5 cores=4,6
/proc/817213/stat : 817213 (fscip) S 817210 817213 814844 0 -1 1077936128 506710 0 0 0 358856 94 0 0 20 0 3 0 160650909 412884992 92202 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
/proc/817213/statm: 100802 92202 2974 3032 0 94880 0
[pid=817213/tid=817229] ppid=817210 vsize=403208 memory=5524 CPUtime=3589 cores=4,6
/proc/817213/task/817229/stat : 817229 (fscip) R 817210 817213 814844 0 -1 4194368 502230 0 0 0 358823 77 0 0 20 0 3 0 160650916 412884992 92202 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
[pid=817213/tid=817234] ppid=817210 vsize=403208 memory=368808 CPUtime=0.04 cores=4,6
/proc/817213/task/817234/stat : 817234 (fscip) S 817210 817213 814844 0 -1 1077936192 199 0 0 0 1 3 0 0 20 0 3 0 160650917 412884992 92202 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
Current children cumulated CPU time: 3589.5 s
Current children cumulated vsize: 403208 KiB
Current children cumulated memory: 368808 KiB

[startup+3599.2 s]
/proc/loadavg: 4.19 4.15 4.10 6/251 819068
/proc/meminfo: memFree=127248192/131655788 swapFree=131071996/131071996
[pid=817213] ppid=817210 vsize=403208 memory=368808 CPUtime=3590.3 cores=4,6
/proc/817213/stat : 817213 (fscip) S 817210 817213 814844 0 -1 1077936128 506716 0 0 0 358936 94 0 0 20 0 3 0 160650909 412884992 92202 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
/proc/817213/statm: 100802 92202 2974 3032 0 94880 0
[pid=817213/tid=817229] ppid=817210 vsize=403208 memory=11408 CPUtime=3589.81 cores=4,6
/proc/817213/task/817229/stat : 817229 (fscip) R 817210 817213 814844 0 -1 4194368 502236 0 0 0 358903 78 0 0 20 0 3 0 160650916 412884992 92202 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
[pid=817213/tid=817234] ppid=817210 vsize=403208 memory=368808 CPUtime=0.04 cores=4,6
/proc/817213/task/817234/stat : 817234 (fscip) S 817210 817213 814844 0 -1 1077936192 199 0 0 0 1 3 0 0 20 0 3 0 160650917 412884992 92202 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
Current children cumulated CPU time: 3590.3 s
Current children cumulated vsize: 403208 KiB
Current children cumulated memory: 368808 KiB

[startup+3599.6 s]
/proc/loadavg: 4.19 4.15 4.10 6/251 819068
/proc/meminfo: memFree=127248192/131655788 swapFree=131071996/131071996
[pid=817213] ppid=817210 vsize=403208 memory=368808 CPUtime=3590.7 cores=4,6
/proc/817213/stat : 817213 (fscip) S 817210 817213 814844 0 -1 1077936128 506722 0 0 0 358976 94 0 0 20 0 3 0 160650909 412884992 92202 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
/proc/817213/statm: 100802 92202 2974 3032 0 94880 0
[pid=817213/tid=817229] ppid=817210 vsize=403208 memory=2248 CPUtime=3590.21 cores=4,6
/proc/817213/task/817229/stat : 817229 (fscip) R 817210 817213 814844 0 -1 4194368 502242 0 0 0 358943 78 0 0 20 0 3 0 160650916 412884992 92202 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
[pid=817213/tid=817234] ppid=817210 vsize=403208 memory=5620 CPUtime=0.04 cores=4,6
/proc/817213/task/817234/stat : 817234 (fscip) S 817210 817213 814844 0 -1 1077936192 199 0 0 0 1 3 0 0 20 0 3 0 160650917 412884992 92202 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
Current children cumulated CPU time: 3590.7 s
Current children cumulated vsize: 403208 KiB
Current children cumulated memory: 368808 KiB

[startup+3600 s]*
/proc/loadavg: 4.19 4.15 4.10 6/251 819069
/proc/meminfo: memFree=127248312/131655788 swapFree=131071996/131071996
[pid=817213] ppid=817210 vsize=403208 memory=368872 CPUtime=3591.11 cores=4,6
/proc/817213/stat : 817213 (fscip) S 817210 817213 814844 0 -1 1077936128 506778 0 0 0 359017 94 0 0 20 0 3 0 160650909 412884992 92218 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
/proc/817213/statm: 100802 92218 2974 3032 0 94880 0
[pid=817213/tid=817229] ppid=817210 vsize=403208 memory=6720668735667387242 CPUtime=3590.62 cores=4,6
/proc/817213/task/817229/stat : 817229 (fscip) R 817210 817213 814844 0 -1 4194368 502295 0 0 0 358984 78 0 0 20 0 3 0 160650916 412884992 92218 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
[pid=817213/tid=817234] ppid=817210 vsize=403208 memory=7682466449767832474 CPUtime=0.04 cores=4,6
/proc/817213/task/817234/stat : 817234 (fscip) S 817210 817213 814844 0 -1 1077936192 199 0 0 0 1 3 0 0 20 0 3 0 160650917 412884992 92218 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
Current children cumulated CPU time: 3591.11 s
Current children cumulated vsize: 403208 KiB
Current children cumulated memory: 368872 KiB

[startup+3600.11 s]
/proc/loadavg: 4.19 4.15 4.10 6/251 819069
/proc/meminfo: memFree=127248312/131655788 swapFree=131071996/131071996
[pid=817213] ppid=817210 vsize=403208 memory=368872 CPUtime=3591.21 cores=4,6
/proc/817213/stat : 817213 (fscip) S 817210 817213 814844 0 -1 1077936128 507529 0 0 0 359027 94 0 0 20 0 3 0 160650909 412884992 92218 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
/proc/817213/statm: 100802 92218 2974 3032 0 94880 0
[pid=817213/tid=817229] ppid=817210 vsize=403208 memory=366296 CPUtime=3590.72 cores=4,6
/proc/817213/task/817229/stat : 817229 (fscip) R 817210 817213 814844 0 -1 4194368 503046 0 0 0 358994 78 0 0 20 0 3 0 160650916 412884992 92218 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
[pid=817213/tid=817234] ppid=817210 vsize=403208 memory=5620 CPUtime=0.04 cores=4,6
/proc/817213/task/817234/stat : 817234 (fscip) S 817210 817213 814844 0 -1 1077936192 199 0 0 0 1 3 0 0 20 0 3 0 160650917 412884992 92218 134679101440 4194304 16613245 140735904744800 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38457344 140735904752661 140735904752777 140735904752777 140735904759792 0
Current children cumulated CPU time: 3591.21 s
Current children cumulated vsize: 403208 KiB
Current children cumulated memory: 368872 KiB

Child status: 0

Real time (s): 3600.16
CPU time (s): 3591.27
CPU user time (s): 3590.31
CPU system time (s): 0.952366
CPU usage (%): 99.7531
Max. virtual memory (cumulated for all children) (KiB): 403208
Max. memory (cumulated for all children) (KiB): 368872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.31
system time used= 0.952366
maximum resident set size= 368872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 507815
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= 13083
involuntary context switches= 1986


# summary of solver processes directly reported to runsolver:
#   pid: 817213
#   total CPU time (s): 3591.27
#   total CPU user time (s): 3590.31
#   total CPU system time (s): 0.952366

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9209 second user time and 33.8464 second system time

The end

Launcher Data

Begin job on nodeC007 at 2024-07-16 01:09:15
IDJOB=4434650
IDBENCH=147543
IDSOLVER=3064
FILE ID=nodeC007/4434650-1721084942
RUNJOBID= nodeC007-1721081354-814855
SLURM_JOB_ID= 7505557
Free space on /tmp= 723728 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434650-1721084942/watcher-4434650-1721084942 -o /tmp/evaluation-result-4434650-1721084942/solver-4434650-1721084942 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721081354-814855 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434650-1721084942.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 79a11fcf881101c51e0b67ee01609c80
RANDOM SEED=2059110848

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128768580 kB
MemAvailable:   129943404 kB
Buffers:          385300 kB
Cached:          1621180 kB
SwapCached:            0 kB
Active:           685036 kB
Inactive:        1658788 kB
Active(anon):       1444 kB
Inactive(anon):   373296 kB
Active(file):     683592 kB
Inactive(file):  1285492 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             84584 kB
Writeback:            72 kB
AnonPages:        337084 kB
Mapped:           104060 kB
Shmem:             37704 kB
KReclaimable:      91540 kB
Slab:             187500 kB
SReclaimable:      91540 kB
SUnreclaim:        95960 kB
KernelStack:        3788 kB
PageTables:         9212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     745972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51360 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 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= 723672 MiB
End job on nodeC007 at 2024-07-16 02:09:15