Trace number 4434642

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-02SAT187 3590.7 3600.22

General information on the benchmark

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

Solver Data

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00	c Default LC presolving (default).
0.00/0.00	c ** Before presolving: virtualMemUsedAtLc = 24399872, getVmSize() = 24399872, SCIPgetMemUsed() = 2300837, SCIPgetMemTotal() = 2878445, SCIPgetMemExternEstim() = 1048576
0.00/0.00	c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.02	c ** Estimated virtualMemUsedAtSolver = 17974613, getVmSize() = 29523968, SCIPgetMemUsed() = 3280407, SCIPgetMemTotal() = 6507791, SCIPgetMemExternEstim() = 1048576
0.00/0.02	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.02	c Original Problem   :
0.00/0.02	c   Problem name     : instance-4434642-1721086013
0.00/0.02	c   Variables        : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02	c   Constraints      : 470
0.00/0.02	c   Objective sense  : minimize
0.00/0.02	c Presolved Problem  :
0.00/0.02	c   Variables        : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02	c   Constraints      : 565
0.00/0.02	c Constraints        : Number
0.00/0.02	c   knapsack         : 412 
0.00/0.02	c   setppc           : 126 
0.00/0.02	c   logicor          : 27 
0.00/0.02	c ** Instance transfer method used: 0
0.00/0.02	c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.03	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.03	c                                Nodes    Active                                            
0.00/0.03	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.00/0.05	c *       0              0           1         1         217.0000                -          -
0.00/0.05	c *       0              0           1         1         210.0000                -          -
5.17/5.28	c         5              3           2         1         210.0000         162.4185     29.30%
11.26/11.35	c        11              9           8         1         210.0000         162.4185     29.30%
13.96/14.03	c *      14             11          10         1         207.0000         162.4185     27.45%
13.96/14.03	c *      14             11          10         1         206.0000         162.4185     26.83%
13.96/14.03	c *      14             11          10         1         205.0000         162.4185     26.22%
13.96/14.03	c *      14             11          10         1         202.0000         162.4185     24.37%
13.96/14.03	c *      14             11          10         1         198.0000         162.4185     21.91%
13.96/14.04	c *      14             11          10         1         197.0000         162.4185     21.29%
17.15/17.23	c        17             91          90         1         197.0000         162.4185     21.29%
22.94/23.04	c        23            167         166         1         197.0000         162.4185     21.29%
23.04/23.19	c *      23            167         166         1         196.0000         162.4185     20.68%
23.04/23.19	c *      23            167         166         1         192.0000         162.4185     18.21%
23.13/23.22	c *      23            167         166         1         191.0000         162.4185     17.60%
28.52/28.61	c        29            278         277         1         191.0000         162.4185     17.60%
34.91/35.03	c        35            403         402         1         191.0000         162.4185     17.60%
40.18/40.33	c        40            490         489         1         191.0000         162.4185     17.60%
45.57/45.79	c        46            582         581         1         191.0000         162.4185     17.60%
51.26/51.40	c        51            647         646         1         191.0000         162.4185     17.60%
56.94/57.15	c        57            723         722         1         191.0000         162.4185     17.60%
62.22/62.45	c        62            806         805         1         191.0000         162.4185     17.60%
67.52/67.70	c        68            913         912         1         191.0000         162.4185     17.60%
72.70/72.94	c        73           1042        1041         1         191.0000         162.4185     17.60%
78.28/78.59	c        79           1056           6         1         191.0000         162.6789     17.41%
83.47/83.76	c        84           1105          55         1         191.0000         163.0175     17.17%
89.16/89.48	c        89           1183         133         1         191.0000         163.0547     17.14%
95.05/95.38	c        95           1452         392         1         191.0000         163.0861     17.12%
95.45/95.73	c *      96           1452         392         1         190.0000         163.0861     16.50%
95.45/95.73	c *      96           1452         392         1         189.0000         163.0861     15.89%
100.13/100.41	c       100           1603         418         1         189.0000         163.1378     15.85%
106.02/106.31	c       106           1876         429         1         189.0000         163.1447     15.85%
111.70/112.00	c       112           2086         507         1         189.0000         163.2457     15.78%
116.88/117.20	c       117           2303         572         1         189.0000         163.3025     15.74%
121.86/122.27	c       122           2661         640         1         189.0000         163.3396     15.71%
127.85/128.24	c       128           2895         718         1         189.0000         163.3996     15.67%
132.84/133.29	c       133           3091         784         1         189.0000         163.4380     15.64%
138.62/139.00	c       139           3305         852         1         189.0000         163.4573     15.63%
143.60/144.05	c       144           3601         910         1         189.0000         163.5058     15.59%
148.88/149.32	c       149           3771         974         1         189.0000         163.5426     15.57%
154.57/155.10	c       155           4015        1066         1         189.0000         163.5688     15.55%
160.25/160.71	c       161           4401        1152         1         189.0000         163.5956     15.53%
165.73/166.29	c       166           4593        1216         1         189.0000         163.6228     15.51%
171.62/172.19	c       172           5041        1352         1         189.0000         163.6516     15.49%
176.90/177.49	c       177           5261        1420         1         189.0000         163.6658     15.48%
182.67/183.27	c       183           5498        1497         1         189.0000         163.6837     15.47%
188.66/189.22	c       189           5962        1617         1         189.0000         163.7212     15.44%
194.34/194.91	c       195           6343        1734         1         189.0000         163.7297     15.43%
199.43/200.04	c       200           6591        1792         1         189.0000         163.7399     15.43%
205.11/205.70	c       206           6741        1852         1         189.0000         163.7658     15.41%
210.39/211.05	c       211           7023        1920         1         189.0000         163.7817     15.40%
216.17/216.85	c       217           7341        1992         1         189.0000         163.7922     15.39%
221.85/222.55	c       223           7513        2052         1         189.0000         163.8029     15.38%
227.24/227.92	c       228           7871        2160         1         189.0000         163.8266     15.37%
232.22/232.95	c       233           8247        2274         1         189.0000         163.8366     15.36%
237.41/238.19	c       238           8662        2401         1         189.0000         163.8462     15.35%
242.70/243.44	c       243           8900        2469         1         189.0000         163.8679     15.34%
248.28/249.02	c       249           9081        2534         1         189.0000         163.8908     15.32%
253.46/254.24	c       254           9331        2626         1         189.0000         163.9124     15.31%
259.44/260.21	c       260           9698        2701         1         189.0000         163.9281     15.29%
262.34/263.11	c *     263           9841        2716         1         188.0000         163.9342     14.68%
264.92/265.74	c       266           9961        2630         1         188.0000         163.9424     14.67%
270.21/271.01	c       271          10241        2718         1         188.0000         163.9680     14.66%
275.69/276.54	c       277          10421        2790         1         188.0000         163.9832     14.65%
281.57/282.46	c       282          10751        2886         1         188.0000         164.0097     14.63%
287.17/288.06	c       288          10986        2947         1         188.0000         164.0205     14.62%
292.54/293.49	c       293          11291        3052         1         188.0000         164.0421     14.60%
298.13/299.05	c       299          11593        3126         1         188.0000         164.0440     14.60%
303.50/304.41	c       304          11941        3214         1         188.0000         164.0576     14.59%
309.29/310.29	c       310          12471        3310         1         188.0000         164.0695     14.59%
314.37/315.31	c       315          12756        3401         1         188.0000         164.0835     14.58%
319.45/320.49	c       320          13181        3458         1         188.0000         164.1004     14.56%
324.83/325.87	c       326          13408        3561         1         188.0000         164.1099     14.56%
330.03/331.08	c       331          13711        3626         1         188.0000         164.1253     14.55%
335.02/336.09	c       336          13989        3698         1         188.0000         164.1326     14.54%
340.20/341.29	c       341          14391        3802         1         188.0000         164.1402     14.54%
345.48/346.59	c       347          14692        3889         1         188.0000         164.1466     14.53%
351.36/352.49	c       352          15161        3960         1         188.0000         164.1617     14.52%
357.25/358.37	c       358          15541        4024         1         188.0000         164.1703     14.52%
362.44/363.59	c       364          15961        4084         1         188.0000         164.1760     14.51%
368.03/369.13	c       369          16283        4152         1         188.0000         164.1792     14.51%
373.81/374.91	c       375          16761        4204         1         188.0000         164.1948     14.50%
379.19/380.36	c       380          17149        4288         1         188.0000         164.2117     14.49%
384.28/385.47	c       385          17371        4384         1         188.0000         164.2304     14.47%
389.56/390.73	c       391          17611        4438         1         188.0000         164.2374     14.47%
394.95/396.16	c       396          18002        4507         1         188.0000         164.2382     14.47%
399.94/401.17	c       401          18331        4630         1         188.0000         164.2455     14.46%
405.62/406.87	c       407          18624        4747         1         188.0000         164.2537     14.46%
410.91/412.18	c       412          19031        4864         1         188.0000         164.2603     14.45%
416.29/417.50	c       418          19231        4906         1         188.0000         164.2673     14.45%
421.57/422.88	c       423          19601        4996         1         188.0000         164.2750     14.44%
427.05/428.37	c       428          20071        5070         1         188.0000         164.2813     14.44%
432.75/434.01	c       434          20391        5146         1         188.0000         164.2869     14.43%
437.84/439.13	c       439          20751        5266         1         188.0000         164.3071     14.42%
443.12/444.45	c       444          21067        5350         1         188.0000         164.3107     14.42%
448.20/449.55	c       450          21311        5432         1         188.0000         164.3212     14.41%
453.29/454.68	c       455          21871        5484         1         188.0000         164.3245     14.41%
459.07/460.47	c       460          22211        5602         1         188.0000         164.3294     14.40%
464.05/465.49	c       465          22581        5732         1         188.0000         164.3360     14.40%
469.64/471.01	c       471          22921        5818         1         188.0000         164.3444     14.39%
475.52/476.90	c       477          23311        5902         1         188.0000         164.3479     14.39%
481.21/482.69	c       483          23841        6004         1         188.0000         164.3523     14.39%
486.29/487.71	c       488          24262        6091         1         188.0000         164.3539     14.39%
491.48/492.91	c       493          24691        6220         1         188.0000         164.3583     14.38%
497.06/498.54	c       499          25158        6311         1         188.0000         164.3627     14.38%
502.36/503.85	c       504          25631        6454         1         188.0000         164.3665     14.38%
508.03/509.59	c       510          25921        6534         1         188.0000         164.3744     14.37%
513.12/514.68	c       515          26361        6588         1         188.0000         164.3762     14.37%
518.61/520.16	c       520          26721        6662         1         188.0000         164.3831     14.37%
523.89/525.42	c       525          27116        6761         1         188.0000         164.3908     14.36%
528.88/530.45	c       530          27381        6888         1         188.0000         164.3943     14.36%
534.47/536.06	c       536          27766        6987         1         188.0000         164.3960     14.36%
539.04/540.68	c *     541          28041        7030         1         187.0000         164.4060     13.74%
539.85/541.40	c       541          28161        6668         1         187.0000         164.4077     13.74%
545.14/546.71	c       547          28591        6756         1         187.0000         164.4131     13.74%
550.53/552.15	c       552          29041        6884         1         187.0000         164.4167     13.74%
556.10/557.74	c       558          29451        6982         1         187.0000         164.4188     13.73%
561.59/563.25	c       563          29781        7118         1         187.0000         164.4229     13.73%
566.77/568.44	c       568          30250        7243         1         187.0000         164.4257     13.73%
572.06/573.78	c       574          30641        7344         1         187.0000         164.4306     13.73%
577.35/579.03	c       579          31051        7420         1         187.0000         164.4321     13.72%
582.52/584.24	c       584          31421        7552         1         187.0000         164.4365     13.72%
588.21/589.92	c       590          31656        7621         1         187.0000         164.4383     13.72%
594.59/596.38	c       596          31913        7684         1         187.0000         164.4413     13.72%
599.68/601.41	c       601          32131        7766         1         187.0000         164.4428     13.72%
605.57/607.36	c       607          32421        7834         1         187.0000         164.4454     13.72%
611.05/612.86	c       613          32733        7958         1         187.0000         164.4456     13.72%
616.43/618.29	c       618          32972        8025         1         187.0000         164.4483     13.71%
622.11/623.95	c       624          33181        8118         1         187.0000         164.4525     13.71%
628.59/630.45	c       630          33493        8174         1         187.0000         164.4529     13.71%
634.58/636.44	c       636          34011        8266         1         187.0000         164.4569     13.71%
640.66/642.59	c       643          34213        8344         1         187.0000         164.4604     13.71%
645.75/647.69	c       648          34423        8452         1         187.0000         164.4644     13.70%
651.33/653.28	c       653          34687        8554         1         187.0000         164.4671     13.70%
656.81/658.71	c       659          34981        8636         1         187.0000         164.4707     13.70%
662.30/664.27	c       664          35202        8727         1         187.0000         164.4745     13.70%
667.39/669.38	c       669          35490        8807         1         187.0000         164.4768     13.69%
672.67/674.65	c       675          35691        8852         1         187.0000         164.4810     13.69%
678.06/680.05	c       680          35921        8912         1         187.0000         164.4836     13.69%
683.24/685.25	c       685          36077        8970         1         187.0000         164.4870     13.69%
688.22/690.29	c       690          36391        9020         1         187.0000         164.4879     13.69%
693.51/695.60	c       696          36631        9088         1         187.0000         164.4911     13.68%
699.40/701.42	c       701          37023        9190         1         187.0000         164.4923     13.68%
704.99/707.09	c       707          37451        9280         1         187.0000         164.4944     13.68%
710.97/713.06	c       713          37691        9364         1         187.0000         164.4992     13.68%
717.05/719.14	c       719          37883        9432         1         187.0000         164.5007     13.68%
722.82/724.96	c       725          38103        9502         1         187.0000         164.5021     13.68%
728.01/730.16	c       730          38346        9563         1         187.0000         164.5033     13.68%
733.79/735.91	c       736          38605        9632         1         187.0000         164.5052     13.67%
739.38/741.55	c       742          38783        9718         1         187.0000         164.5066     13.67%
744.76/746.96	c       747          39101        9758         1         187.0000         164.5080     13.67%
750.75/752.92	c       753          39467        9870         1         187.0000         164.5096     13.67%
756.24/758.49	c       758          39851        9978         1         187.0000         164.5116     13.67%
761.62/763.82	c       764          40141       10054         1         187.0000         164.5118     13.67%
766.60/768.88	c       769          40263       10122         1         187.0000         164.5136     13.67%
771.98/774.25	c       774          40669       10196         1         187.0000         164.5146     13.67%
777.78/780.06	c       780          40982       10271         1         187.0000         164.5161     13.67%
783.06/785.38	c       785          41231       10352         1         187.0000         164.5186     13.66%
788.54/790.83	c       791          41456       10407         1         187.0000         164.5198     13.66%
794.23/796.56	c       797          41741       10508         1         187.0000         164.5218     13.66%
800.01/802.30	c       802          42120       10587         1         187.0000         164.5230     13.66%
805.29/807.67	c       808          42333       10664         1         187.0000         164.5265     13.66%
810.88/813.28	c       813          42576       10729         1         187.0000         164.5298     13.66%
816.07/818.48	c       818          42751       10788         1         187.0000         164.5334     13.65%
821.95/824.39	c       824          42951       10844         1         187.0000         164.5369     13.65%
827.33/829.76	c       830          43131       10898         1         187.0000         164.5394     13.65%
832.52/834.92	c       835          43311       10940         1         187.0000         164.5414     13.65%
838.50/840.93	c       841          43636       11019         1         187.0000         164.5445     13.65%
843.79/846.25	c       846          43851       11090         1         187.0000         164.5459     13.65%
849.77/852.20	c       852          44194       11157         1         187.0000         164.5476     13.64%
855.16/857.61	c       858          44493       11202         1         187.0000         164.5494     13.64%
860.34/862.86	c       863          44823       11264         1         187.0000         164.5517     13.64%
865.63/868.14	c       868          45156       11343         1         187.0000         164.5543     13.64%
870.91/873.45	c       873          45275       11388         1         187.0000         164.5553     13.64%
876.51/879.01	c       879          45559       11450         1         187.0000         164.5568     13.64%
882.29/884.84	c       885          45831       11520         1         187.0000         164.5596     13.64%
887.27/889.85	c       890          46151       11564         1         187.0000         164.5601     13.64%
892.25/894.88	c       895          46321       11622         1         187.0000         164.5616     13.64%
897.74/900.37	c       900          46491       11690         1         187.0000         164.5631     13.63%
903.23/905.86	c       906          46683       11754         1         187.0000         164.5642     13.63%
908.42/911.03	c       911          46991       11806         1         187.0000         164.5655     13.63%
913.70/916.35	c       916          47231       11836         1         187.0000         164.5669     13.63%
918.88/921.51	c       922          47441       11880         1         187.0000         164.5685     13.63%
923.97/926.61	c       927          47711       11938         1         187.0000         164.5690     13.63%
929.36/932.04	c       932          48064       11995         1         187.0000         164.5699     13.63%
934.74/937.45	c       937          48301       12060         1         187.0000         164.5717     13.63%
940.33/943.01	c       943          48541       12118         1         187.0000         164.5730     13.63%
945.31/948.04	c       948          48801       12180         1         187.0000         164.5746     13.63%
951.19/953.96	c       954          49058       12267         1         187.0000         164.5780     13.62%
956.88/959.64	c       960          49273       12348         1         187.0000         164.5796     13.62%
962.86/965.61	c       966          49581       12412         1         187.0000         164.5820     13.62%
967.94/970.79	c       971          49923       12532         1         187.0000         164.5832     13.62%
973.93/976.72	c       977          50213       12574         1         187.0000         164.5864     13.62%
979.72/982.59	c       983          50540       12651         1         187.0000         164.5881     13.62%
985.60/988.48	c       988          50823       12702         1         187.0000         164.5890     13.62%
991.08/993.94	c       994          51231       12776         1         187.0000         164.5903     13.62%
996.17/999.07	c       999          51401       12840         1         187.0000         164.5913     13.61%
1001.85/1004.77	c      1005          51645       12898         1         187.0000         164.5931     13.61%
1007.43/1010.33	c      1010          52091       12932         1         187.0000         164.5941     13.61%
1013.13/1016.10	c      1016          52393       12978         1         187.0000         164.5959     13.61%
1018.21/1021.12	c      1021          52809       13036         1         187.0000         164.5971     13.61%
1023.88/1026.89	c      1027          53141       13118         1         187.0000         164.5990     13.61%
1029.28/1032.27	c      1032          53276       13175         1         187.0000         164.6004     13.61%
1035.16/1038.12	c      1038          53522       13279         1         187.0000         164.6040     13.61%
1040.15/1043.12	c      1043          53806       13367         1         187.0000         164.6042     13.61%
1045.33/1048.32	c      1048          54131       13430         1         187.0000         164.6069     13.60%
1050.31/1053.39	c      1053          54326       13507         1         187.0000         164.6085     13.60%
1056.19/1059.22	c      1059          54761       13606         1         187.0000         164.6116     13.60%
1061.58/1064.65	c      1065          55041       13656         1         187.0000         164.6127     13.60%
1066.56/1069.68	c      1070          55359       13756         1         187.0000         164.6143     13.60%
1072.64/1075.77	c      1076          55641       13824         1         187.0000         164.6155     13.60%
1077.73/1080.86	c      1081          55931       13884         1         187.0000         164.6165     13.60%
1082.81/1085.99	c      1086          56165       13930         1         187.0000         164.6176     13.60%
1087.90/1091.10	c      1091          56521       14004         1         187.0000         164.6180     13.60%
1093.67/1096.85	c      1097          56881       14052         1         187.0000         164.6190     13.60%
1098.76/1101.94	c      1102          57041       14106         1         187.0000         164.6195     13.60%
1103.85/1107.09	c      1107          57261       14172         1         187.0000         164.6211     13.59%
1109.62/1112.85	c      1113          57571       14246         1         187.0000         164.6235     13.59%
1114.81/1118.01	c      1118          57801       14294         1         187.0000         164.6246     13.59%
1120.09/1123.36	c      1123          58011       14374         1         187.0000         164.6264     13.59%
1125.98/1129.24	c      1129          58211       14448         1         187.0000         164.6275     13.59%
1131.76/1135.09	c      1135          58516       14519         1         187.0000         164.6287     13.59%
1136.94/1140.29	c      1140          58881       14570         1         187.0000         164.6313     13.59%
1143.32/1146.61	c      1147          59183       14630         1         187.0000         164.6326     13.59%
1148.80/1152.11	c      1152          59481       14686         1         187.0000         164.6342     13.59%
1153.89/1157.20	c      1157          59680       14747         1         187.0000         164.6348     13.58%
1159.27/1162.67	c      1163          59889       14808         1         187.0000         164.6369     13.58%
1164.45/1167.80	c      1168          60141       14848         1         187.0000         164.6382     13.58%
1169.64/1173.09	c      1173          60264       14919         1         187.0000         164.6393     13.58%
1174.82/1178.22	c      1178          60461       14974         1         187.0000         164.6417     13.58%
1180.71/1184.12	c      1184          60721       15032         1         187.0000         164.6423     13.58%
1185.99/1189.48	c      1189          60991       15130         1         187.0000         164.6441     13.58%
1191.17/1194.67	c      1195          61296       15185         1         187.0000         164.6452     13.58%
1196.66/1200.11	c      1200          61596       15281         1         187.0000         164.6468     13.58%
1202.54/1206.04	c      1206          61938       15431         1         187.0000         164.6490     13.57%
1207.53/1211.05	c      1211          62311       15534         1         187.0000         164.6503     13.57%
1212.91/1216.42	c      1216          62473       15618         1         187.0000         164.6517     13.57%
1218.38/1221.93	c      1222          62763       15708         1         187.0000         164.6523     13.57%
1223.37/1226.97	c      1227          63043       15758         1         187.0000         164.6527     13.57%
1229.15/1232.78	c      1233          63483       15834         1         187.0000         164.6536     13.57%
1234.54/1238.14	c      1238          63671       15894         1         187.0000         164.6552     13.57%
1239.82/1243.45	c      1243          64061       15988         1         187.0000         164.6564     13.57%
1245.30/1248.97	c      1249          64441       16066         1         187.0000         164.6575     13.57%
1250.78/1254.44	c      1254          64701       16126         1         187.0000         164.6586     13.57%
1256.27/1259.99	c      1260          65011       16200         1         187.0000         164.6595     13.57%
1261.45/1265.18	c      1265          65261       16280         1         187.0000         164.6611     13.57%
1266.83/1270.55	c      1271          65443       16344         1         187.0000         164.6617     13.57%
1272.71/1276.47	c      1276          65702       16421         1         187.0000         164.6652     13.56%
1278.00/1281.76	c      1282          65927       16488         1         187.0000         164.6663     13.56%
1283.29/1287.03	c      1287          66171       16558         1         187.0000         164.6679     13.56%
1288.57/1292.32	c      1292          66556       16613         1         187.0000         164.6684     13.56%
1293.66/1297.44	c      1297          66831       16682         1         187.0000         164.6711     13.56%
1299.25/1303.03	c      1303          67231       16776         1         187.0000         164.6732     13.56%
1305.12/1308.97	c      1309          67507       16848         1         187.0000         164.6743     13.56%
1310.22/1314.04	c      1314          67721       16920         1         187.0000         164.6759     13.56%
1315.21/1319.06	c      1319          68051       16958         1         187.0000         164.6764     13.56%
1320.39/1324.22	c      1324          68261       17014         1         187.0000         164.6767     13.56%
1325.67/1329.50	c      1330          68605       17074         1         187.0000         164.6772     13.56%
1330.66/1334.57	c      1335          68791       17124         1         187.0000         164.6795     13.55%
1336.35/1340.22	c      1340          68996       17185         1         187.0000         164.6799     13.55%
1341.43/1345.32	c      1345          69341       17272         1         187.0000         164.6812     13.55%
1346.53/1350.48	c      1350          69631       17346         1         187.0000         164.6827     13.55%
1351.62/1355.58	c      1356          69891       17408         1         187.0000         164.6844     13.55%
1356.70/1360.62	c      1361          70071       17490         1         187.0000         164.6861     13.55%
1362.39/1366.31	c      1366          70321       17544         1         187.0000         164.6875     13.55%
1367.97/1371.97	c      1372          70557       17648         1         187.0000         164.6896     13.55%
1373.46/1377.48	c      1377          70895       17740         1         187.0000         164.6909     13.55%
1378.55/1382.51	c      1383          71201       17806         1         187.0000         164.6934     13.54%
1383.54/1387.54	c      1388          71371       17878         1         187.0000         164.6947     13.54%
1388.72/1392.72	c      1393          71654       17935         1         187.0000         164.6950     13.54%
1393.91/1397.90	c      1398          71852       18003         1         187.0000         164.6968     13.54%
1399.59/1403.63	c      1404          72161       18072         1         187.0000         164.6982     13.54%
1404.79/1408.87	c      1409          72443       18154         1         187.0000         164.6991     13.54%
1410.37/1414.47	c      1414          72718       18231         1         187.0000         164.6999     13.54%
1415.66/1419.70	c      1420          72943       18260         1         187.0000         164.7010     13.54%
1420.95/1425.07	c      1425          73213       18336         1         187.0000         164.7025     13.54%
1426.23/1430.33	c      1430          73481       18392         1         187.0000         164.7051     13.54%
1431.72/1435.83	c      1436          73681       18476         1         187.0000         164.7060     13.54%
1436.81/1440.99	c      1441          74021       18512         1         187.0000         164.7068     13.54%
1442.00/1446.11	c      1446          74221       18590         1         187.0000         164.7086     13.53%
1447.38/1451.50	c      1452          74584       18673         1         187.0000         164.7094     13.53%
1452.87/1457.00	c      1457          74771       18736         1         187.0000         164.7107     13.53%
1458.05/1462.20	c      1462          74961       18798         1         187.0000         164.7118     13.53%
1463.14/1467.30	c      1467          75106       18869         1         187.0000         164.7139     13.53%
1468.23/1472.40	c      1472          75291       18938         1         187.0000         164.7159     13.53%
1473.42/1477.68	c      1478          75481       19000         1         187.0000         164.7177     13.53%
1479.00/1483.25	c      1483          75761       19044         1         187.0000         164.7183     13.53%
1484.60/1488.87	c      1489          75961       19124         1         187.0000         164.7197     13.53%
1490.18/1494.40	c      1494          76131       19188         1         187.0000         164.7212     13.53%
1495.47/1499.76	c      1500          76311       19254         1         187.0000         164.7222     13.52%
1501.16/1505.46	c      1505          76653       19310         1         187.0000         164.7240     13.52%
1506.85/1511.15	c      1511          76904       19379         1         187.0000         164.7252     13.52%
1512.63/1516.99	c      1517          77111       19434         1         187.0000         164.7257     13.52%
1517.82/1522.15	c      1522          77371       19506         1         187.0000         164.7269     13.52%
1523.20/1527.52	c      1528          77661       19574         1         187.0000         164.7280     13.52%
1529.09/1533.45	c      1533          77916       19673         1         187.0000         164.7301     13.52%
1534.98/1539.34	c      1539          78154       19739         1         187.0000         164.7315     13.52%
1540.77/1545.19	c      1545          78476       19817         1         187.0000         164.7334     13.52%
1546.76/1551.17	c      1551          78871       19872         1         187.0000         164.7337     13.52%
1552.04/1556.44	c      1556          79171       19936         1         187.0000         164.7350     13.52%
1557.13/1561.50	c      1562          79331       19986         1         187.0000         164.7355     13.52%
1562.62/1567.00	c      1567          79589       20070         1         187.0000         164.7367     13.51%
1567.81/1572.29	c      1572          79853       20124         1         187.0000         164.7370     13.51%
1572.89/1577.31	c      1577          80087       20182         1         187.0000         164.7375     13.51%
1578.08/1582.51	c      1583          80331       20246         1         187.0000         164.7389     13.51%
1583.57/1588.05	c      1588          80603       20314         1         187.0000         164.7392     13.51%
1589.05/1593.58	c      1594          80831       20382         1         187.0000         164.7407     13.51%
1594.64/1599.17	c      1599          81103       20430         1         187.0000         164.7411     13.51%
1599.83/1604.38	c      1604          81427       20496         1         187.0000         164.7430     13.51%
1605.01/1609.57	c      1610          81691       20558         1         187.0000         164.7434     13.51%
1610.40/1614.95	c      1615          81991       20598         1         187.0000         164.7446     13.51%
1616.89/1621.48	c      1621          82203       20686         1         187.0000         164.7456     13.51%
1622.08/1626.61	c      1627          82433       20746         1         187.0000         164.7464     13.51%
1627.57/1632.18	c      1632          82699       20796         1         187.0000         164.7476     13.51%
1632.65/1637.27	c      1637          82971       20846         1         187.0000         164.7499     13.51%
1638.34/1642.98	c      1643          83253       20920         1         187.0000         164.7506     13.50%
1643.53/1648.19	c      1648          83501       20984         1         187.0000         164.7517     13.50%
1648.61/1653.21	c      1653          83701       21040         1         187.0000         164.7550     13.50%
1654.41/1659.02	c      1659          83963       21104         1         187.0000         164.7555     13.50%
1660.29/1664.90	c      1665          84201       21194         1         187.0000         164.7572     13.50%
1665.38/1670.10	c      1670          84421       21244         1         187.0000         164.7580     13.50%
1671.06/1675.77	c      1676          84614       21325         1         187.0000         164.7588     13.50%
1677.25/1681.92	c      1682          84913       21384         1         187.0000         164.7612     13.50%
1682.83/1687.55	c      1688          85180       21473         1         187.0000         164.7621     13.50%
1688.02/1692.78	c      1693          85550       21557         1         187.0000         164.7632     13.50%
1693.42/1698.19	c      1698          85821       21656         1         187.0000         164.7648     13.50%
1699.10/1703.81	c      1704          86069       21728         1         187.0000         164.7650     13.49%
1704.89/1709.65	c      1710          86323       21796         1         187.0000         164.7659     13.49%
1710.47/1715.26	c      1715          86561       21864         1         187.0000         164.7673     13.49%
1715.56/1720.36	c      1720          86791       21930         1         187.0000         164.7691     13.49%
1720.85/1725.65	c      1726          87101       22024         1         187.0000         164.7703     13.49%
1726.24/1731.06	c      1731          87382       22125         1         187.0000         164.7711     13.49%
1732.12/1736.93	c      1737          87834       22265         1         187.0000         164.7719     13.49%
1737.81/1742.66	c      1743          88034       22347         1         187.0000         164.7736     13.49%
1742.79/1747.68	c      1748          88203       22416         1         187.0000         164.7741     13.49%
1748.08/1752.97	c      1753          88547       22506         1         187.0000         164.7741     13.49%
1753.77/1758.67	c      1759          88883       22564         1         187.0000         164.7752     13.49%
1759.16/1764.03	c      1764          89100       22629         1         187.0000         164.7758     13.49%
1764.54/1769.44	c      1769          89350       22715         1         187.0000         164.7774     13.49%
1770.33/1775.28	c      1775          89611       22804         1         187.0000         164.7785     13.49%
1775.62/1780.53	c      1781          89871       22880         1         187.0000         164.7803     13.48%
1780.61/1785.55	c      1786          90111       22956         1         187.0000         164.7808     13.48%
1785.80/1790.78	c      1791          90381       23018         1         187.0000         164.7812     13.48%
1791.69/1796.62	c      1797          90638       23127         1         187.0000         164.7823     13.48%
1797.57/1802.59	c      1803          91011       23196         1         187.0000         164.7833     13.48%
1803.46/1808.41	c      1808          91221       23290         1         187.0000         164.7851     13.48%
1809.15/1814.16	c      1814          91521       23382         1         187.0000         164.7875     13.48%
1814.83/1819.82	c      1820          91781       23450         1         187.0000         164.7882     13.48%
1820.62/1825.61	c      1826          92232       23593         1         187.0000         164.7885     13.48%
1826.40/1831.49	c      1831          92515       23688         1         187.0000         164.7901     13.48%
1832.69/1837.76	c      1838          92833       23742         1         187.0000         164.7905     13.48%
1838.38/1843.44	c      1843          93181       23850         1         187.0000         164.7919     13.48%
1843.86/1848.91	c      1849          93481       23920         1         187.0000         164.7925     13.48%
1848.85/1853.96	c      1854          93811       23988         1         187.0000         164.7937     13.48%
1853.84/1858.97	c      1859          93981       24036         1         187.0000         164.7946     13.47%
1860.12/1865.22	c      1865          94323       24108         1         187.0000         164.7956     13.47%
1865.21/1870.37	c      1870          94581       24166         1         187.0000         164.7963     13.47%
1870.60/1875.79	c      1876          94919       24272         1         187.0000         164.7968     13.47%
1876.09/1881.27	c      1881          95311       24358         1         187.0000         164.7976     13.47%
1881.38/1886.56	c      1887          95511       24424         1         187.0000         164.7989     13.47%
1886.97/1892.14	c      1892          95843       24508         1         187.0000         164.7996     13.47%
1892.15/1897.33	c      1897          96261       24590         1         187.0000         164.8007     13.47%
1898.34/1903.51	c      1904          96501       24688         1         187.0000         164.8025     13.47%
1903.83/1909.00	c      1909          96821       24756         1         187.0000         164.8028     13.47%
1909.01/1914.25	c      1914          97101       24828         1         187.0000         164.8039     13.47%
1914.81/1920.10	c      1920          97361       24908         1         187.0000         164.8055     13.47%
1920.28/1925.53	c      1926          97671       24968         1         187.0000         164.8063     13.47%
1926.17/1931.47	c      1931          97955       25030         1         187.0000         164.8072     13.47%
1931.66/1936.98	c      1937          98274       25091         1         187.0000         164.8087     13.46%
1937.24/1942.56	c      1943          98497       25162         1         187.0000         164.8101     13.46%
1942.33/1947.64	c      1948          98721       25218         1         187.0000         164.8104     13.46%
1947.63/1952.96	c      1953          98961       25304         1         187.0000         164.8109     13.46%
1953.31/1958.60	c      1959          99197       25388         1         187.0000         164.8120     13.46%
1958.30/1963.67	c      1964          99561       25430         1         187.0000         164.8126     13.46%
1964.28/1969.65	c      1970          99911       25508         1         187.0000         164.8141     13.46%
1969.87/1975.25	c      1975         100221       25566         1         187.0000         164.8156     13.46%
1974.86/1980.26	c      1980         100581       25628         1         187.0000         164.8168     13.46%
1979.95/1985.36	c      1985         100781       25694         1         187.0000         164.8180     13.46%
1986.03/1991.41	c      1991         101013       25766         1         187.0000         164.8189     13.46%
1991.32/1996.77	c      1997         101241       25852         1         187.0000         164.8198     13.46%
1996.61/2002.04	c      2002         101651       25924         1         187.0000         164.8212     13.46%
2001.60/2007.10	c      2007         101851       25990         1         187.0000         164.8228     13.46%
2007.48/2012.91	c      2013         102118       26081         1         187.0000         164.8244     13.45%
2013.27/2018.70	c      2019         102529       26150         1         187.0000         164.8256     13.45%
2018.96/2024.49	c      2024         102823       26228         1         187.0000         164.8270     13.45%
2024.45/2029.97	c      2030         102991       26292         1         187.0000         164.8278     13.45%
2029.84/2035.30	c      2035         103310       26349         1         187.0000         164.8283     13.45%
2035.02/2040.59	c      2041         103551       26420         1         187.0000         164.8297     13.45%
2040.80/2046.30	c      2046         103880       26507         1         187.0000         164.8300     13.45%
2046.00/2051.59	c      2052         104222       26595         1         187.0000         164.8311     13.45%
2051.18/2056.71	c      2057         104531       26664         1         187.0000         164.8326     13.45%
2056.47/2062.06	c      2062         104661       26744         1         187.0000         164.8336     13.45%
2061.46/2067.08	c      2067         104901       26800         1         187.0000         164.8342     13.45%
2066.64/2072.25	c      2072         105220       26879         1         187.0000         164.8348     13.45%
2071.94/2077.57	c      2078         105601       26924         1         187.0000         164.8352     13.45%
2077.53/2083.12	c      2083         105852       27005         1         187.0000         164.8359     13.45%
2082.91/2088.55	c      2089         106034       27069         1         187.0000         164.8366     13.45%
2087.90/2093.55	c      2094         106341       27132         1         187.0000         164.8371     13.45%
2093.68/2099.36	c      2099         106637       27208         1         187.0000         164.8387     13.44%
2099.57/2105.27	c      2105         107018       27293         1         187.0000         164.8401     13.44%
2104.86/2110.52	c      2111         107273       27344         1         187.0000         164.8407     13.44%
2109.85/2115.54	c      2116         107531       27440         1         187.0000         164.8425     13.44%
2115.03/2120.74	c      2121         107841       27506         1         187.0000         164.8435     13.44%
2120.82/2126.56	c      2127         108221       27570         1         187.0000         164.8441     13.44%
2126.31/2132.05	c      2132         108471       27634         1         187.0000         164.8446     13.44%
2131.99/2137.78	c      2138         108801       27690         1         187.0000         164.8453     13.44%
2137.39/2143.12	c      2143         109075       27770         1         187.0000         164.8462     13.44%
2142.87/2148.60	c      2149         109376       27843         1         187.0000         164.8467     13.44%
2148.66/2154.40	c      2154         109693       27910         1         187.0000         164.8473     13.44%
2153.64/2159.46	c      2159         110091       27982         1         187.0000         164.8478     13.44%
2159.33/2165.14	c      2165         110261       28068         1         187.0000         164.8489     13.44%
2164.32/2170.16	c      2170         110431       28136         1         187.0000         164.8494     13.44%
2169.81/2175.67	c      2176         110741       28206         1         187.0000         164.8498     13.44%
2175.79/2181.62	c      2182         110980       28287         1         187.0000         164.8507     13.44%
2181.29/2187.13	c      2187         111351       28372         1         187.0000         164.8514     13.44%
2187.17/2193.05	c      2193         111553       28452         1         187.0000         164.8525     13.43%
2192.75/2198.61	c      2199         111791       28528         1         187.0000         164.8539     13.43%
2197.74/2203.69	c      2204         112071       28606         1         187.0000         164.8544     13.43%
2202.83/2208.79	c      2209         112231       28668         1         187.0000         164.8555     13.43%
2208.42/2214.39	c      2214         112451       28738         1         187.0000         164.8565     13.43%
2214.21/2220.15	c      2220         112731       28832         1         187.0000         164.8579     13.43%
2219.69/2225.64	c      2226         112901       28888         1         187.0000         164.8583     13.43%
2224.98/2230.96	c      2231         113221       28952         1         187.0000         164.8597     13.43%
2230.26/2236.25	c      2236         113421       29032         1         187.0000         164.8600     13.43%
2235.95/2241.92	c      2242         113702       29127         1         187.0000         164.8613     13.43%
2241.04/2247.03	c      2247         113981       29188         1         187.0000         164.8625     13.43%
2246.43/2252.46	c      2252         114171       29274         1         187.0000         164.8639     13.43%
2252.03/2258.03	c      2258         114481       29348         1         187.0000         164.8648     13.43%
2257.21/2263.22	c      2263         114756       29403         1         187.0000         164.8652     13.43%
2262.39/2268.44	c      2268         115011       29456         1         187.0000         164.8660     13.43%
2267.68/2273.73	c      2274         115281       29530         1         187.0000         164.8677     13.42%
2273.46/2279.50	c      2280         115511       29600         1         187.0000         164.8687     13.42%
2279.15/2285.24	c      2285         115683       29668         1         187.0000         164.8698     13.42%
2284.24/2290.34	c      2290         116000       29731         1         187.0000         164.8708     13.42%
2289.52/2295.67	c      2296         116381       29774         1         187.0000         164.8715     13.42%
2294.72/2300.87	c      2301         116951       29820         1         187.0000         164.8721     13.42%
2300.31/2306.41	c      2306         117153       29904         1         187.0000         164.8729     13.42%
2305.69/2311.80	c      2312         117631       29956         1         187.0000         164.8735     13.42%
2310.88/2317.08	c      2317         118081       30020         1         187.0000         164.8740     13.42%
2316.47/2322.61	c      2323         118371       30100         1         187.0000         164.8747     13.42%
2322.05/2328.28	c      2328         118770       30173         1         187.0000         164.8753     13.42%
2328.04/2334.21	c      2334         119033       30248         1         187.0000         164.8757     13.42%
2333.43/2339.66	c      2340         119311       30312         1         187.0000         164.8764     13.42%
2338.61/2344.82	c      2345         119561       30370         1         187.0000         164.8767     13.42%
2343.81/2350.03	c      2350         119821       30446         1         187.0000         164.8775     13.42%
2349.00/2355.22	c      2355         120101       30514         1         187.0000         164.8785     13.42%
2353.98/2360.29	c      2360         120323       30586         1         187.0000         164.8788     13.42%
2359.78/2366.08	c      2366         120715       30632         1         187.0000         164.8796     13.42%
2365.46/2371.76	c      2372         120953       30700         1         187.0000         164.8812     13.42%
2370.85/2377.13	c      2377         121269       30768         1         187.0000         164.8816     13.41%
2375.84/2382.14	c      2382         121621       30830         1         187.0000         164.8831     13.41%
2381.12/2387.41	c      2387         121991       30896         1         187.0000         164.8849     13.41%
2386.30/2392.62	c      2393         122271       30980         1         187.0000         164.8854     13.41%
2391.89/2398.28	c      2398         122493       31060         1         187.0000         164.8857     13.41%
2397.28/2403.65	c      2404         122641       31136         1         187.0000         164.8865     13.41%
2402.87/2409.26	c      2409         122831       31228         1         187.0000         164.8882     13.41%
2408.45/2414.90	c      2415         123091       31298         1         187.0000         164.8892     13.41%
2413.94/2420.38	c      2420         123390       31357         1         187.0000         164.8898     13.41%
2419.13/2425.56	c      2426         123621       31426         1         187.0000         164.8907     13.41%
2424.82/2431.20	c      2431         123821       31504         1         187.0000         164.8910     13.41%
2430.40/2436.81	c      2437         124092       31595         1         187.0000         164.8917     13.41%
2435.49/2441.93	c      2442         124316       31659         1         187.0000         164.8922     13.41%
2441.27/2447.73	c      2448         124671       31726         1         187.0000         164.8931     13.41%
2446.86/2453.37	c      2453         124873       31788         1         187.0000         164.8942     13.41%
2452.04/2458.56	c      2459         125108       31857         1         187.0000         164.8948     13.41%
2457.23/2463.77	c      2464         125423       31904         1         187.0000         164.8951     13.41%
2462.41/2468.96	c      2469         125660       31969         1         187.0000         164.8958     13.40%
2467.61/2474.10	c      2474         125914       32055         1         187.0000         164.8967     13.40%
2472.98/2479.58	c      2480         126241       32114         1         187.0000         164.8976     13.40%
2477.98/2484.59	c      2485         126567       32166         1         187.0000         164.8983     13.40%
2483.06/2489.65	c      2490         126781       32264         1         187.0000         164.8995     13.40%
2488.25/2494.84	c      2495         127181       32412         1         187.0000         164.8996     13.40%
2493.33/2499.92	c      2500         127411       32480         1         187.0000         164.9000     13.40%
2498.52/2505.14	c      2505         127607       32594         1         187.0000         164.9005     13.40%
2503.80/2510.44	c      2510         127871       32668         1         187.0000         164.9017     13.40%
2509.29/2515.99	c      2516         128147       32768         1         187.0000         164.9021     13.40%
2514.88/2521.54	c      2522         128381       32830         1         187.0000         164.9037     13.40%
2520.16/2526.80	c      2527         128661       32916         1         187.0000         164.9041     13.40%
2525.65/2532.35	c      2532         129051       33032         1         187.0000         164.9050     13.40%
2531.33/2538.09	c      2538         129331       33108         1         187.0000         164.9056     13.40%
2537.21/2543.92	c      2544         129531       33194         1         187.0000         164.9064     13.40%
2542.50/2549.24	c      2549         129673       33248         1         187.0000         164.9067     13.40%
2547.79/2554.54	c      2555         129911       33320         1         187.0000         164.9079     13.40%
2552.88/2559.62	c      2560         130171       33388         1         187.0000         164.9084     13.40%
2558.26/2565.06	c      2565         130611       33466         1         187.0000         164.9095     13.40%
2564.04/2570.83	c      2571         130901       33534         1         187.0000         164.9104     13.39%
2569.13/2575.96	c      2576         131101       33622         1         187.0000         164.9114     13.39%
2574.91/2581.77	c      2582         131529       33684         1         187.0000         164.9121     13.39%
2579.90/2586.78	c      2587         131791       33762         1         187.0000         164.9141     13.39%
2585.88/2592.75	c      2593         132091       33828         1         187.0000         164.9149     13.39%
2591.27/2598.17	c      2598         132351       33900         1         187.0000         164.9157     13.39%
2597.05/2603.97	c      2604         132601       34002         1         187.0000         164.9171     13.39%
2602.25/2609.14	c      2609         132818       34077         1         187.0000         164.9176     13.39%
2607.33/2614.30	c      2614         133191       34132         1         187.0000         164.9185     13.39%
2612.92/2619.80	c      2620         133511       34200         1         187.0000         164.9191     13.39%
2618.11/2625.09	c      2625         133801       34278         1         187.0000         164.9204     13.39%
2624.09/2631.03	c      2631         134056       34355         1         187.0000         164.9211     13.39%
2629.47/2636.43	c      2636         134331       34420         1         187.0000         164.9222     13.39%
2635.06/2642.08	c      2642         134551       34492         1         187.0000         164.9240     13.39%
2640.44/2647.40	c      2647         134879       34568         1         187.0000         164.9251     13.38%
2646.33/2653.30	c      2653         135180       34647         1         187.0000         164.9257     13.38%
2652.21/2659.25	c      2659         135442       34725         1         187.0000         164.9263     13.38%
2657.49/2664.53	c      2665         135831       34806         1         187.0000         164.9278     13.38%
2662.68/2669.75	c      2670         136096       34887         1         187.0000         164.9284     13.38%
2668.27/2675.36	c      2675         136371       34962         1         187.0000         164.9287     13.38%
2673.65/2680.75	c      2681         136730       35073         1         187.0000         164.9292     13.38%
2679.14/2686.24	c      2686         137255       35124         1         187.0000         164.9293     13.38%
2684.72/2691.87	c      2692         137541       35226         1         187.0000         164.9300     13.38%
2690.50/2697.63	c      2698         137851       35302         1         187.0000         164.9308     13.38%
2696.19/2703.35	c      2703         138071       35376         1         187.0000         164.9316     13.38%
2701.48/2708.69	c      2709         138371       35452         1         187.0000         164.9320     13.38%
2707.16/2714.30	c      2714         138641       35514         1         187.0000         164.9325     13.38%
2712.35/2719.54	c      2720         138931       35572         1         187.0000         164.9330     13.38%
2717.53/2724.75	c      2725         139103       35646         1         187.0000         164.9336     13.38%
2722.92/2730.17	c      2730         139331       35728         1         187.0000         164.9343     13.38%
2728.70/2735.91	c      2736         139631       35782         1         187.0000         164.9348     13.38%
2733.69/2740.94	c      2741         139793       35842         1         187.0000         164.9356     13.38%
2738.79/2746.07	c      2746         140214       35893         1         187.0000         164.9358     13.38%
2744.17/2751.43	c      2751         140421       35966         1         187.0000         164.9367     13.38%
2749.65/2756.91	c      2757         140636       36045         1         187.0000         164.9372     13.38%
2754.93/2762.25	c      2762         140921       36110         1         187.0000         164.9379     13.38%
2760.62/2767.94	c      2768         141229       36180         1         187.0000         164.9381     13.38%
2765.71/2773.02	c      2773         141441       36246         1         187.0000         164.9394     13.37%
2770.90/2778.26	c      2778         141731       36308         1         187.0000         164.9403     13.37%
2776.58/2783.95	c      2784         142032       36387         1         187.0000         164.9408     13.37%
2782.56/2789.92	c      2790         142297       36458         1         187.0000         164.9412     13.37%
2787.65/2795.02	c      2795         142621       36518         1         187.0000         164.9419     13.37%
2792.63/2800.08	c      2800         142891       36572         1         187.0000         164.9422     13.37%
2798.11/2805.57	c      2806         143131       36628         1         187.0000         164.9427     13.37%
2803.11/2810.58	c      2811         143421       36702         1         187.0000         164.9431     13.37%
2808.39/2815.84	c      2816         143813       36760         1         187.0000         164.9433     13.37%
2813.88/2821.33	c      2821         144082       36825         1         187.0000         164.9445     13.37%
2819.76/2827.27	c      2827         144340       36897         1         187.0000         164.9459     13.37%
2825.75/2833.21	c      2833         144571       36972         1         187.0000         164.9461     13.37%
2831.03/2838.59	c      2839         144761       37046         1         187.0000         164.9473     13.37%
2836.42/2843.99	c      2844         145081       37128         1         187.0000         164.9489     13.37%
2841.80/2849.35	c      2849         145491       37198         1         187.0000         164.9492     13.37%
2846.78/2854.37	c      2854         145701       37268         1         187.0000         164.9502     13.37%
2852.17/2859.75	c      2860         146011       37336         1         187.0000         164.9507     13.37%
2857.56/2865.12	c      2865         146211       37402         1         187.0000         164.9512     13.37%
2863.44/2871.07	c      2871         146541       37466         1         187.0000         164.9517     13.37%
2869.12/2876.78	c      2877         146851       37532         1         187.0000         164.9523     13.37%
2874.51/2882.12	c      2882         147231       37612         1         187.0000         164.9529     13.37%
2880.29/2887.93	c      2888         147541       37686         1         187.0000         164.9535     13.37%
2885.38/2893.08	c      2893         147771       37742         1         187.0000         164.9546     13.36%
2890.56/2898.27	c      2898         147971       37832         1         187.0000         164.9560     13.36%
2896.65/2904.38	c      2904         148481       37936         1         187.0000         164.9565     13.36%
2901.94/2909.68	c      2910         148723       38008         1         187.0000         164.9573     13.36%
2907.32/2915.03	c      2915         149071       38078         1         187.0000         164.9577     13.36%
2912.70/2920.47	c      2920         149291       38156         1         187.0000         164.9585     13.36%
2918.49/2926.26	c      2926         149758       38231         1         187.0000         164.9590     13.36%
2924.08/2931.89	c      2932         150028       38257         1         187.0000         164.9592     13.36%
2929.16/2936.94	c      2937         150331       38336         1         187.0000         164.9602     13.36%
2934.26/2942.04	c      2942         150661       38390         1         187.0000         164.9610     13.36%
2939.83/2947.64	c      2948         150973       38466         1         187.0000         164.9614     13.36%
2945.51/2953.30	c      2953         151387       38524         1         187.0000         164.9617     13.36%
2950.51/2958.35	c      2958         151701       38572         1         187.0000         164.9621     13.36%
2956.39/2964.25	c      2964         151946       38651         1         187.0000         164.9629     13.36%
2962.18/2970.09	c      2970         152151       38724         1         187.0000         164.9635     13.36%
2967.36/2975.26	c      2975         152421       38790         1         187.0000         164.9643     13.36%
2972.44/2980.32	c      2980         152621       38856         1         187.0000         164.9649     13.36%
2978.03/2985.95	c      2986         152821       38922         1         187.0000         164.9654     13.36%
2983.12/2991.04	c      2991         153153       39012         1         187.0000         164.9656     13.36%
2988.70/2996.67	c      2997         153381       39090         1         187.0000         164.9667     13.36%
2994.48/3002.47	c      3002         153570       39167         1         187.0000         164.9679     13.36%
2999.77/3007.78	c      3008         153870       39253         1         187.0000         164.9687     13.35%
3005.25/3013.25	c      3013         154091       39336         1         187.0000         164.9704     13.35%
3010.24/3018.27	c      3018         154355       39392         1         187.0000         164.9710     13.35%
3015.63/3023.66	c      3024         154781       39462         1         187.0000         164.9721     13.35%
3020.92/3028.96	c      3029         155031       39512         1         187.0000         164.9723     13.35%
3026.90/3034.91	c      3035         155290       39587         1         187.0000         164.9726     13.35%
3032.69/3040.71	c      3041         155503       39670         1         187.0000         164.9737     13.35%
3037.77/3045.88	c      3046         155853       39762         1         187.0000         164.9741     13.35%
3043.35/3051.45	c      3051         156221       39836         1         187.0000         164.9748     13.35%
3048.44/3056.55	c      3057         156498       39893         1         187.0000         164.9751     13.35%
3053.63/3061.77	c      3062         156731       39966         1         187.0000         164.9761     13.35%
3059.91/3068.08	c      3068         157013       40034         1         187.0000         164.9767     13.35%
3065.30/3073.49	c      3073         157261       40108         1         187.0000         164.9773     13.35%
3070.39/3078.59	c      3079         157471       40160         1         187.0000         164.9781     13.35%
3075.47/3083.65	c      3084         157711       40224         1         187.0000         164.9783     13.35%
3080.66/3088.85	c      3089         157901       40316         1         187.0000         164.9789     13.35%
3086.04/3094.20	c      3094         158151       40380         1         187.0000         164.9794     13.35%
3091.53/3099.77	c      3100         158521       40432         1         187.0000         164.9798     13.35%
3097.21/3105.45	c      3105         158721       40518         1         187.0000         164.9803     13.35%
3102.81/3111.07	c      3111         158901       40578         1         187.0000         164.9806     13.35%
3107.80/3116.09	c      3116         159101       40646         1         187.0000         164.9815     13.35%
3113.37/3121.66	c      3122         159311       40716         1         187.0000         164.9816     13.35%
3119.15/3127.40	c      3127         159641       40788         1         187.0000         164.9820     13.35%
3124.84/3133.15	c      3133         159831       40864         1         187.0000         164.9825     13.35%
3130.02/3138.39	c      3138         160036       40943         1         187.0000         164.9830     13.35%
3135.12/3143.45	c      3143         160304       41007         1         187.0000         164.9836     13.34%
3140.50/3148.83	c      3149         160621       41076         1         187.0000         164.9842     13.34%
3146.18/3154.58	c      3155         160903       41160         1         187.0000         164.9847     13.34%
3151.27/3159.65	c      3160         161221       41212         1         187.0000         164.9852     13.34%
3156.36/3164.74	c      3165         161611       41282         1         187.0000         164.9856     13.34%
3161.54/3169.97	c      3170         161813       41360         1         187.0000         164.9859     13.34%
3166.63/3175.02	c      3175         162041       41434         1         187.0000         164.9869     13.34%
3172.31/3180.71	c      3181         162301       41518         1         187.0000         164.9876     13.34%
3177.90/3186.37	c      3186         162611       41586         1         187.0000         164.9880     13.34%
3183.69/3192.19	c      3192         162901       41666         1         187.0000         164.9883     13.34%
3189.68/3198.15	c      3198         163089       41738         1         187.0000         164.9888     13.34%
3194.76/3203.29	c      3203         163301       41802         1         187.0000         164.9894     13.34%
3200.14/3208.68	c      3209         163533       41854         1         187.0000         164.9896     13.34%
3205.83/3214.35	c      3214         163798       41927         1         187.0000         164.9904     13.34%
3211.41/3219.92	c      3220         164126       42001         1         187.0000         164.9915     13.34%
3216.50/3225.00	c      3225         164461       42048         1         187.0000         164.9922     13.34%
3222.08/3230.69	c      3231         164781       42134         1         187.0000         164.9928     13.34%
3227.47/3236.07	c      3236         165031       42224         1         187.0000         164.9932     13.34%
3232.65/3241.21	c      3241         165267       42292         1         187.0000         164.9937     13.34%
3238.63/3247.21	c      3247         165513       42376         1         187.0000         164.9943     13.34%
3244.22/3252.87	c      3253         165811       42468         1         187.0000         164.9950     13.34%
3249.42/3258.03	c      3258         166021       42532         1         187.0000         164.9956     13.34%
3254.89/3263.54	c      3264         166281       42610         1         187.0000         164.9965     13.34%
3259.98/3268.66	c      3269         166551       42680         1         187.0000         164.9976     13.33%
3265.56/3274.26	c      3274         166791       42742         1         187.0000         164.9984     13.33%
3270.95/3279.60	c      3280         167011       42814         1         187.0000         164.9995     13.33%
3276.34/3285.02	c      3285         167263       42872         1         187.0000         165.0000     13.33%
3281.42/3290.18	c      3290         167596       42933         1         187.0000         165.0003     13.33%
3286.90/3295.68	c      3296         167951       43022         1         187.0000         165.0011     13.33%
3292.18/3300.94	c      3301         168141       43102         1         187.0000         165.0017     13.33%
3297.47/3306.27	c      3306         168381       43178         1         187.0000         165.0030     13.33%
3303.16/3311.92	c      3312         168591       43268         1         187.0000         165.0040     13.33%
3308.84/3317.60	c      3318         168771       43350         1         187.0000         165.0046     13.33%
3314.12/3322.95	c      3323         169061       43426         1         187.0000         165.0050     13.33%
3319.11/3327.97	c      3328         169341       43486         1         187.0000         165.0058     13.33%
3324.80/3333.66	c      3334         169651       43572         1         187.0000         165.0076     13.33%
3330.19/3339.04	c      3339         169821       43640         1         187.0000         165.0079     13.33%
3336.07/3344.93	c      3345         170200       43713         1         187.0000         165.0082     13.33%
3341.65/3350.58	c      3351         170601       43798         1         187.0000         165.0088     13.33%
3346.74/3355.62	c      3356         170801       43870         1         187.0000         165.0096     13.33%
3351.92/3360.84	c      3361         171251       43922         1         187.0000         165.0099     13.33%
3357.31/3366.28	c      3366         171631       43992         1         187.0000         165.0101     13.33%
3363.10/3372.01	c      3372         171939       44082         1         187.0000         165.0105     13.33%
3368.68/3377.69	c      3378         172241       44154         1         187.0000         165.0111     13.33%
3374.26/3383.20	c      3383         172481       44232         1         187.0000         165.0116     13.33%
3379.25/3388.25	c      3388         173047       44270         1         187.0000         165.0120     13.33%
3384.84/3393.81	c      3394         173321       44338         1         187.0000         165.0126     13.32%
3390.52/3399.50	c      3400         173809       44402         1         187.0000         165.0130     13.32%
3395.61/3404.68	c      3405         174121       44482         1         187.0000         165.0134     13.32%
3401.59/3410.63	c      3411         174499       44574         1         187.0000         165.0141     13.32%
3407.08/3416.11	c      3416         174741       44660         1         187.0000         165.0147     13.32%
3412.46/3421.54	c      3422         175051       44722         1         187.0000         165.0154     13.32%
3417.65/3426.73	c      3427         175281       44792         1         187.0000         165.0157     13.32%
3422.84/3431.98	c      3432         175581       44852         1         187.0000         165.0167     13.32%
3428.72/3437.80	c      3438         175996       44915         1         187.0000         165.0173     13.32%
3434.50/3443.60	c      3444         176330       44997         1         187.0000         165.0180     13.32%
3440.08/3449.22	c      3449         176696       45051         1         187.0000         165.0191     13.32%
3445.07/3454.24	c      3454         177021       45134         1         187.0000         165.0197     13.32%
3450.85/3460.00	c      3460         177243       45224         1         187.0000         165.0203     13.32%
3456.23/3465.43	c      3465         177577       45308         1         187.0000         165.0209     13.32%
3461.82/3471.02	c      3471         177861       45384         1         187.0000         165.0216     13.32%
3467.50/3476.78	c      3477         178251       45468         1         187.0000         165.0220     13.32%
3473.09/3482.37	c      3482         178541       45542         1         187.0000         165.0225     13.32%
3478.17/3487.42	c      3487         178803       45590         1         187.0000         165.0231     13.32%
3483.56/3492.83	c      3493         179120       45667         1         187.0000         165.0232     13.32%
3489.55/3498.83	c      3499         179466       45741         1         187.0000         165.0238     13.32%
3494.63/3503.93	c      3504         179801       45802         1         187.0000         165.0242     13.32%
3500.21/3509.55	c      3510         180101       45854         1         187.0000         165.0246     13.32%
3505.30/3514.68	c      3515         180320       45937         1         187.0000         165.0250     13.32%
3511.29/3520.62	c      3521         180593       46022         1         187.0000         165.0253     13.32%
3517.27/3526.65	c      3527         180991       46094         1         187.0000         165.0261     13.32%
3522.66/3532.08	c      3532         181211       46178         1         187.0000         165.0265     13.32%
3528.44/3537.80	c      3538         181631       46256         1         187.0000         165.0273     13.31%
3533.74/3543.15	c      3543         181911       46320         1         187.0000         165.0278     13.31%
3539.21/3548.62	c      3549         182231       46384         1         187.0000         165.0282     13.31%
3544.40/3553.89	c      3554         182538       46439         1         187.0000         165.0285     13.31%
3550.38/3559.85	c      3560         182941       46514         1         187.0000         165.0287     13.31%
3555.57/3565.08	c      3565         183201       46598         1         187.0000         165.0294     13.31%
3560.66/3570.12	c      3570         183461       46666         1         187.0000         165.0301     13.31%
3565.84/3575.35	c      3575         183721       46742         1         187.0000         165.0305     13.31%
3571.33/3580.86	c      3581         184081       46836         1         187.0000         165.0308     13.31%
3576.71/3586.25	c      3586         184331       46906         1         187.0000         165.0317     13.31%
3582.80/3592.35	c      3592         184513       46966         1         187.0000         165.0321     13.31%
3588.38/3597.96	c      3598         184693       47028         1         187.0000         165.0328     13.31%
3590.68/3600.20	c SCIP Status        : c solving was interrupted [hard time limit reached]
3590.68/3600.20	c Total Time         : 3600.20
3590.68/3600.20	c   solving          : 3600.20
3590.68/3600.20	c   presolving       : 0.02 (included in solving)
3590.68/3600.20	c B&B Tree           :
3590.68/3600.20	c   nodes (total)    : 1
3590.68/3600.20	c Solution           :
3590.68/3600.20	c   Solutions found  : 16
3590.68/3600.20	c   Primal Bound     : +1.87000000000000e+02
3590.68/3600.20	c   Dual Bound       : +1.65032898594625e+02
3590.68/3600.20	c Gap                : 13.31074 %
3590.68/3600.20	c * Warning: final gap: 1.33107e-01 is greater than SCIPepsilon: 1.00000e-09
3590.68/3600.21	o 187
3590.68/3600.21	s SATISFIABLE
3590.68/3600.21	v -x470 x469 -x468 -x467 -x466 x465 x464 -x463 -x462 -x461 x460 -x459 x458 x457 x456 x455 x454 -x453 -x452 x451 -x450 x449 x448 -x447 
3590.68/3600.21	v x446 x445 -x444 -x443 x442 -x441 x440 x439 x438 x437 -x436 -x435 x434 -x433 -x432 x431 -x430 -x429 x428 -x427 x426 x425 
3590.68/3600.21	v -x424 x423 -x422 x421 -x420 -x419 x418 -x417 x416 -x415 x414 -x413 -x412 -x411 x410 -x409 x408 -x407 x406 x405 -x404 x403 -x402 
3590.68/3600.21	v x401 x400 -x399 -x398 -x397 x396 -x395 x394 -x393 -x392 x391 x390 -x389 -x388 x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 
3590.68/3600.21	v x379 -x378 x377 -x376 x375 -x374 -x373 -x372 x371 -x370 x369 -x368 -x367 -x366 -x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 
3590.68/3600.21	v -x357 x356 x355 x354 -x353 -x352 -x351 x350 x349 -x348 -x347 x346 x345 -x344 x343 -x342 -x341 -x340 x339 x338 -x337 x336 x335 
3590.68/3600.21	v x334 x333 -x332 x331 -x330 x329 x328 -x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 x315 -x314 -x313 
3590.68/3600.21	v x312 -x311 -x310 x309 x308 -x307 x306 -x305 x304 -x303 -x302 x301 -x300 -x299 -x298 x297 x296 -x295 x294 -x293 -x292 x291 
3590.68/3600.21	v -x290 x289 -x288 -x287 x286 x285 x284 -x283 -x282 -x281 -x280 x279 x278 -x277 x276 x275 -x274 x273 -x272 x271 -x270 -x269 -x268 
3590.68/3600.21	v -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 x258 -x257 -x256 -x255 -x254 -x253 x252 x251 -x250 -x249 x248 x247 x246 
3590.68/3600.21	v x245 x244 -x243 x242 -x241 -x240 x239 x238 -x237 -x236 -x235 x234 x233 -x232 -x231 x230 -x229 -x228 x227 -x226 -x225 x224 
3590.68/3600.21	v -x223 x222 -x221 -x220 -x219 x218 x217 -x216 -x215 -x214 -x213 -x212 x211 -x210 x209 x208 -x207 x206 x205 -x204 -x203 x202 x201 
3590.68/3600.21	v -x200 x199 x198 -x197 -x196 -x195 -x194 -x193 x192 x191 -x190 -x189 -x188 -x187 -x186 x185 x184 -x183 -x182 x181 x180 x179 
3590.68/3600.21	v x178 -x177 -x176 -x175 x174 x173 -x172 -x171 -x170 -x169 x168 x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 
3590.68/3600.21	v -x156 -x155 x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 x137 -x136 -x135 
3590.68/3600.21	v -x134 -x133 x132 -x131 -x130 x129 x128 x127 x126 x125 -x124 x123 x122 x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 
3590.68/3600.21	v x112 x111 x110 -x109 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 x97 -x96 x95 x94 x93 x92 x91 -x90 x89 -x88 
3590.68/3600.21	v x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 x64 x63 -x62 
3590.68/3600.21	v -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 -x51 x50 x49 x48 x47 x46 -x45 -x44 -x43 x42 x41 -x40 -x39 -x38 -x37 x36 -x35 
3590.68/3600.21	v x34 -x33 x32 -x31 -x30 x29 -x28 x27 x26 -x25 x24 -x23 x22 -x21 -x20 x19 x18 x17 -x16 x15 x14 x13 x12 -x11 -x10 -x9 -x8 -x7 
3590.68/3600.21	v -x6 -x5 x4 -x3 -x2 x1 

Verifier Data

OK	187

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (63024 MiB free)
  memory of node 1: 64473 MiB (63452 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434642-1721086013/watcher-4434642-1721086013 -o /tmp/evaluation-result-4434642-1721086013/solver-4434642-1721086013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721082425-843389 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434642-1721086013.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
Current StackSize limit: 8192 KiB

solver pid=845445, runsolver pid=845442

[startup+0.10008 s]*
/proc/loadavg: 4.18 4.13 4.10 5/249 845462
/proc/meminfo: memFree=129423488/131524600 swapFree=131071996/131071996
[pid=845445] ppid=845442 vsize=112460 memory=30684 CPUtime=0.09 cores=4,6
/proc/845445/stat : 845445 (fscip) S 845442 845445 843378 0 -1 1077936128 4572 0 0 0 9 0 0 0 20 0 3 0 160763767 115159040 7671 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
/proc/845445/statm: 28115 7671 2894 3032 0 10519 0
[pid=845445/tid=845457] ppid=845442 vsize=112460 memory=4026532090 CPUtime=0.07 cores=4,6
/proc/845445/task/845457/stat : 845457 (fscip) R 845442 845445 843378 0 -1 4194368 2121 0 0 0 7 0 0 0 20 0 3 0 160763770 115159040 7671 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
[pid=845445/tid=845458] ppid=845442 vsize=112460 memory=16907 CPUtime=0 cores=4,6
/proc/845445/task/845458/stat : 845458 (fscip) S 845442 845445 843378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160763770 115159040 7671 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 112460 KiB
Current children cumulated memory: 30684 KiB

[startup+0.205425 s]*
/proc/loadavg: 4.18 4.13 4.10 5/261 845482
/proc/meminfo: memFree=129381432/131524600 swapFree=131071996/131071996
[pid=845445] ppid=845442 vsize=112460 memory=30684 CPUtime=0.2 cores=4,6
/proc/845445/stat : 845445 (fscip) S 845442 845445 843378 0 -1 1077936128 4583 0 0 0 20 0 0 0 20 0 3 0 160763767 115159040 7671 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
/proc/845445/statm: 28115 7671 2894 3032 0 10526 0
[pid=845445/tid=845457] ppid=845442 vsize=112460 memory=4782652875487838339 CPUtime=0.17 cores=4,6
/proc/845445/task/845457/stat : 845457 (fscip) R 845442 845445 843378 0 -1 4194368 2132 0 0 0 17 0 0 0 20 0 3 0 160763770 115159040 7671 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
[pid=845445/tid=845458] ppid=845442 vsize=112460 memory=16956 CPUtime=0 cores=4,6
/proc/845445/task/845458/stat : 845458 (fscip) S 845442 845445 843378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160763770 115159040 7671 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112460 KiB
Current children cumulated memory: 30684 KiB

[startup+0.304829 s]*
/proc/loadavg: 4.18 4.13 4.10 5/261 845482
/proc/meminfo: memFree=129320512/131524600 swapFree=131071996/131071996
[pid=845445] ppid=845442 vsize=112460 memory=30948 CPUtime=0.3 cores=4,6
/proc/845445/stat : 845445 (fscip) S 845442 845445 843378 0 -1 1077936128 4663 0 0 0 30 0 0 0 20 0 3 0 160763767 115159040 7737 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
/proc/845445/statm: 28115 7737 2894 3032 0 10643 0
[pid=845445/tid=845457] ppid=845442 vsize=112460 memory=-8959461103051842236 CPUtime=0.27 cores=4,6
/proc/845445/task/845457/stat : 845457 (fscip) R 845442 845445 843378 0 -1 4194368 2212 0 0 0 27 0 0 0 20 0 3 0 160763770 115159040 7737 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
[pid=845445/tid=845458] ppid=845442 vsize=112460 memory=0 CPUtime=0 cores=4,6
/proc/845445/task/845458/stat : 845458 (fscip) S 845442 845445 843378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160763770 115159040 7737 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 112460 KiB
Current children cumulated memory: 30948 KiB

[startup+0.700246 s]
/proc/loadavg: 4.18 4.13 4.10 5/261 845482
/proc/meminfo: memFree=129202576/131524600 swapFree=131071996/131071996
[pid=845445] ppid=845442 vsize=121816 memory=60328 CPUtime=0.69 cores=4,6
/proc/845445/stat : 845445 (fscip) S 845442 845445 843378 0 -1 1077936128 12567 0 0 0 68 1 0 0 20 0 3 0 160763767 124739584 15082 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
/proc/845445/statm: 30454 15082 2910 3032 0 17977 0
[pid=845445/tid=845457] ppid=845442 vsize=121816 memory=0 CPUtime=0.66 cores=4,6
/proc/845445/task/845457/stat : 845457 (fscip) R 845442 845445 843378 0 -1 4194368 10116 0 0 0 65 1 0 0 20 0 3 0 160763770 124739584 15082 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
[pid=845445/tid=845458] ppid=845442 vsize=121816 memory=0 CPUtime=0 cores=4,6
/proc/845445/task/845458/stat : 845458 (fscip) S 845442 845445 843378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160763770 124739584 15082 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 121816 KiB
Current children cumulated memory: 60328 KiB

[startup+1.50027 s]
/proc/loadavg: 4.18 4.13 4.10 5/261 845482
/proc/meminfo: memFree=128806000/131524600 swapFree=131071996/131071996
[pid=845445] ppid=845442 vsize=187352 memory=136952 CPUtime=1.48 cores=4,6
/proc/845445/stat : 845445 (fscip) S 845442 845445 843378 0 -1 1077936128 39085 0 0 0 144 4 0 0 20 0 3 0 160763767 191848448 34238 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
/proc/845445/statm: 46838 34238 2910 3032 0 37639 0
[pid=845445/tid=845457] ppid=845442 vsize=187352 memory=0 CPUtime=1.46 cores=4,6
/proc/845445/task/845457/stat : 845457 (fscip) R 845442 845445 843378 0 -1 4194368 36634 0 0 0 142 4 0 0 20 0 3 0 160763770 191848448 34238 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
[pid=845445/tid=845458] ppid=845442 vsize=187352 memory=0 CPUtime=0 cores=4,6
/proc/845445/task/845458/stat : 845458 (fscip) S 845442 845445 843378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160763770 191848448 34238 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 187352 KiB
Current children cumulated memory: 136952 KiB

[startup+3.10536 s]
/proc/loadavg: 4.18 4.13 4.10 5/261 845484
/proc/meminfo: memFree=127525416/131524600 swapFree=131071996/131071996
[pid=845445] ppid=845442 vsize=252888 memory=161352 CPUtime=3.08 cores=4,6
/proc/845445/stat : 845445 (fscip) S 845442 845445 843378 0 -1 1077936128 45016 0 0 0 303 5 0 0 20 0 3 0 160763767 258957312 40338 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
/proc/845445/statm: 63222 40338 2910 3032 0 43462 0
[pid=845445/tid=845457] ppid=845442 vsize=252888 memory=0 CPUtime=3.06 cores=4,6
/proc/845445/task/845457/stat : 845457 (fscip) R 845442 845445 843378 0 -1 4194368 42564 0 0 0 301 5 0 0 20 0 3 0 160763770 258957312 40338 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
[pid=845445/tid=845458] ppid=845442 vsize=252888 memory=-6441950023400995690 CPUtime=0 cores=4,6
/proc/845445/task/845458/stat : 845458 (fscip) S 845442 845445 843378 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 160763770 258957312 40338 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 252888 KiB
Current children cumulated memory: 161352 KiB

[startup+6.30017 s]
/proc/loadavg: 4.16 4.13 4.10 5/261 845484
/proc/meminfo: memFree=127111052/131524600 swapFree=131071996/131071996
[pid=845445] ppid=845442 vsize=252888 memory=161352 CPUtime=6.27 cores=4,6
/proc/845445/stat : 845445 (fscip) S 845442 845445 843378 0 -1 1077936128 45049 0 0 0 622 5 0 0 20 0 3 0 160763767 258957312 40338 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
/proc/845445/statm: 63222 40338 2910 3032 0 43462 0
[pid=845445/tid=845457] ppid=845442 vsize=252888 memory=0 CPUtime=6.24 cores=4,6
/proc/845445/task/845457/stat : 845457 (fscip) R 845442 845445 843378 0 -1 4194368 42578 0 0 0 619 5 0 0 20 0 3 0 160763770 258957312 40338 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
[pid=845445/tid=845458] ppid=845442 vsize=252888 memory=12304 CPUtime=0 cores=4,6
/proc/845445/task/845458/stat : 845458 (fscip) S 845442 845445 843378 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 160763770 258957312 40338 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 252888 KiB
Current children cumulated memory: 161352 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.13 4.09 5/261 845484
/proc/meminfo: memFree=126696088/131524600 swapFree=131071996/131071996
[pid=845445] ppid=845442 vsize=252888 memory=162344 CPUtime=12.65 cores=4,6
/proc/845445/stat : 845445 (fscip) S 845442 845445 843378 0 -1 1077936128 50782 0 0 0 1260 5 0 0 20 0 3 0 160763767 258957312 40586 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
/proc/845445/statm: 63222 40586 2958 3032 0 43462 0
[pid=845445/tid=845457] ppid=845442 vsize=252888 memory=0 CPUtime=12.63 cores=4,6
/proc/845445/task/845457/stat : 845457 (fscip) R 845442 845445 843378 0 -1 4194368 48279 0 0 0 1258 5 0 0 20 0 3 0 160763770 258957312 40586 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
[pid=845445/tid=845458] ppid=845442 vsize=252888 memory=161764 CPUtime=0 cores=4,6
/proc/845445/task/845458/stat : 845458 (fscip) S 845442 845445 843378 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 160763770 258957312 40586 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 252888 KiB
Current children cumulated memory: 162344 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.12 4.09 5/261 845488
/proc/meminfo: memFree=123450728/131524600 swapFree=131071996/131071996
[pid=845445] ppid=845442 vsize=317872 memory=237216 CPUtime=25.43 cores=4,6
/proc/845445/stat : 845445 (fscip) S 845442 845445 843378 0 -1 1077936128 115192 0 0 0 2531 12 0 0 20 0 3 0 160763767 325500928 59304 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
/proc/845445/statm: 79468 59304 2958 3032 0 62332 0
[pid=845445/tid=845457] ppid=845442 vsize=317872 memory=234148 CPUtime=25.39 cores=4,6
/proc/845445/task/845457/stat : 845457 (fscip) R 845442 845445 843378 0 -1 4194368 112624 0 0 0 2528 11 0 0 20 0 3 0 160763770 325500928 59304 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
[pid=845445/tid=845458] ppid=845442 vsize=317872 memory=-8959461103051842236 CPUtime=0 cores=4,6
/proc/845445/task/845458/stat : 845458 (fscip) S 845442 845445 843378 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 160763770 325500928 59304 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 317872 KiB
Current children cumulated memory: 237216 KiB

[startup+51.1056 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 845495
/proc/meminfo: memFree=117999248/131524600 swapFree=131071996/131071996
[pid=845445] ppid=845442 vsize=316848 memory=236996 CPUtime=50.97 cores=4,6
/proc/845445/stat : 845445 (fscip) S 845442 845445 843378 0 -1 1077936128 157204 0 0 0 5082 15 0 0 20 0 3 0 160763767 324452352 59249 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
/proc/845445/statm: 79212 59249 2958 3032 0 62076 0
[pid=845445/tid=845457] ppid=845442 vsize=316848 memory=140137333820033 CPUtime=50.93 cores=4,6
/proc/845445/task/845457/stat : 845457 (fscip) R 845442 845445 843378 0 -1 4194368 154596 0 0 0 5079 14 0 0 20 0 3 0 160763770 324452352 59249 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
[pid=845445/tid=845458] ppid=845442 vsize=316848 memory=236796 CPUtime=0 cores=4,6
/proc/845445/task/845458/stat : 845458 (fscip) S 845442 845445 843378 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 160763770 324452352 59249 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 316848 KiB
Current children cumulated memory: 236996 KiB

[startup+102.3 s]
/proc/loadavg: 4.26 4.15 4.10 5/267 845673
/proc/meminfo: memFree=116714620/131524600 swapFree=131071996/131071996
[pid=845445] ppid=845442 vsize=382384 memory=323740 CPUtime=102.03 cores=4,6
/proc/845445/stat : 845445 (fscip) S 845442 845445 843378 0 -1 1077936128 239757 0 0 0 10180 23 0 0 20 0 3 0 160763767 391561216 80935 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
/proc/845445/statm: 95596 80935 2974 3032 0 83676 0
[pid=845445/tid=845457] ppid=845442 vsize=382384 memory=12304 CPUtime=101.99 cores=4,6
/proc/845445/task/845457/stat : 845457 (fscip) R 845442 845445 843378 0 -1 4194368 237094 0 0 0 10177 22 0 0 20 0 3 0 160763770 391561216 80935 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
[pid=845445/tid=845458] ppid=845442 vsize=382384 memory=13124 CPUtime=0 cores=4,6
/proc/845445/task/845458/stat : 845458 (fscip) S 845442 845445 843378 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 160763770 391561216 80935 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 382384 KiB
Current children cumulated memory: 323740 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/267 845683
/proc/meminfo: memFree=116506636/131524600 swapFree=131071996/131071996
[pid=845445] ppid=845442 vsize=382384 memory=328504 CPUtime=161.84 cores=4,6
/proc/845445/stat : 845445 (fscip) S 845442 845445 843378 0 -1 1077936128 254882 0 0 0 16160 24 0 0 20 0 3 0 160763767 391561216 82126 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
/proc/845445/statm: 95596 82126 2974 3032 0 84874 0
[pid=845445/tid=845457] ppid=845442 vsize=382384 memory=328504 CPUtime=161.8 cores=4,6
/proc/845445/task/845457/stat : 845457 (fscip) R 845442 845445 843378 0 -1 4194368 252200 0 0 0 16157 23 0 0 20 0 3 0 160763770 391561216 82126 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
[pid=845445/tid=845458] ppid=845442 vsize=382384 memory=328504 CPUtime=0 cores=4,6
/proc/845445/task/845458/stat : 845458 (fscip) S 845442 845445 843378 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 160763770 391561216 82126 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 382384 KiB
Current children cumulated memory: 328504 KiB

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

/proc/845445/statm: 114009 97802 2974 3032 0 100654 0
[pid=845445/tid=845457] ppid=845442 vsize=456036 memory=12304 CPUtime=3393.03 cores=4,6
/proc/845445/task/845457/stat : 845457 (fscip) R 845442 845445 843378 0 -1 4194368 1146991 0 0 0 339180 123 0 0 20 0 3 0 160763770 466980864 97802 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
[pid=845445/tid=845458] ppid=845442 vsize=456036 memory=6720662147220979309 CPUtime=0.01 cores=4,6
/proc/845445/task/845458/stat : 845458 (fscip) S 845442 845445 843378 0 -1 1077936192 81 0 0 0 0 1 0 0 20 0 3 0 160763770 466980864 97802 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
Current children cumulated CPU time: 3393.31 s
Current children cumulated vsize: 456036 KiB
Current children cumulated memory: 391208 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.10 5/264 846913
/proc/meminfo: memFree=114812760/131524600 swapFree=131071996/131071996
[pid=845445] ppid=845442 vsize=456036 memory=391280 CPUtime=3453.14 cores=4,6
/proc/845445/stat : 845445 (fscip) S 845442 845445 843378 0 -1 1077936128 1169074 0 0 0 345181 133 0 0 20 0 3 0 160763767 466980864 97820 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
/proc/845445/statm: 114009 97820 2974 3032 0 100654 0
[pid=845445/tid=845457] ppid=845442 vsize=456036 memory=12304 CPUtime=3452.85 cores=4,6
/proc/845445/task/845457/stat : 845457 (fscip) R 845442 845445 843378 0 -1 4194368 1165483 0 0 0 345160 125 0 0 20 0 3 0 160763770 466980864 97820 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
[pid=845445/tid=845458] ppid=845442 vsize=456036 memory=391252 CPUtime=0.01 cores=4,6
/proc/845445/task/845458/stat : 845458 (fscip) S 845442 845445 843378 0 -1 1077936192 85 0 0 0 0 1 0 0 20 0 3 0 160763770 466980864 97820 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
Current children cumulated CPU time: 3453.14 s
Current children cumulated vsize: 456036 KiB
Current children cumulated memory: 391280 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 847307
/proc/meminfo: memFree=114807752/131524600 swapFree=131071996/131071996
[pid=845445] ppid=845442 vsize=456036 memory=393000 CPUtime=3512.99 cores=4,6
/proc/845445/stat : 845445 (fscip) S 845442 845445 843378 0 -1 1077936128 1188217 0 0 0 351163 136 0 0 20 0 3 0 160763767 466980864 98250 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
/proc/845445/statm: 114009 98250 2974 3032 0 101338 0
[pid=845445/tid=845457] ppid=845442 vsize=456036 memory=12304 CPUtime=3512.69 cores=4,6
/proc/845445/task/845457/stat : 845457 (fscip) R 845442 845445 843378 0 -1 4194368 1184608 0 0 0 351141 128 0 0 20 0 3 0 160763770 466980864 98250 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
[pid=845445/tid=845458] ppid=845442 vsize=456036 memory=393000 CPUtime=0.02 cores=4,6
/proc/845445/task/845458/stat : 845458 (fscip) S 845442 845445 843378 0 -1 1077936192 86 0 0 0 0 2 0 0 20 0 3 0 160763770 466980864 98250 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
Current children cumulated CPU time: 3512.99 s
Current children cumulated vsize: 456036 KiB
Current children cumulated memory: 393000 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 847317
/proc/meminfo: memFree=114805108/131524600 swapFree=131071996/131071996
[pid=845445] ppid=845442 vsize=456036 memory=394524 CPUtime=3572.82 cores=4,6
/proc/845445/stat : 845445 (fscip) S 845442 845445 843378 0 -1 1077936128 1207560 0 0 0 357144 138 0 0 20 0 3 0 160763767 466980864 98631 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
/proc/845445/statm: 114009 98631 2974 3032 0 101459 0
[pid=845445/tid=845457] ppid=845442 vsize=456036 memory=394524 CPUtime=3572.52 cores=4,6
/proc/845445/task/845457/stat : 845457 (fscip) R 845442 845445 843378 0 -1 4194368 1203935 0 0 0 357122 130 0 0 20 0 3 0 160763770 466980864 98631 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
[pid=845445/tid=845458] ppid=845442 vsize=456036 memory=6720662147220979309 CPUtime=0.02 cores=4,6
/proc/845445/task/845458/stat : 845458 (fscip) S 845442 845445 843378 0 -1 1077936192 87 0 0 0 0 2 0 0 20 0 3 0 160763770 466980864 98631 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
Current children cumulated CPU time: 3572.82 s
Current children cumulated vsize: 456036 KiB
Current children cumulated memory: 394524 KiB

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

# cumulated CPU time of all completed processes:  user=3589.3 s, system=1.40237 s

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

[startup+3584 s]*
/proc/loadavg: 4.06 4.08 4.09 5/264 847319
/proc/meminfo: memFree=114805004/131524600 swapFree=131071996/131071996
[pid=845445] ppid=845442 vsize=456036 memory=394524 CPUtime=3574.52 cores=4,6
/proc/845445/stat : 845445 (fscip) S 845442 845445 843378 0 -1 1077936128 1207616 0 0 0 357314 138 0 0 20 0 3 0 160763767 466980864 98631 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
/proc/845445/statm: 114009 98631 2974 3032 0 101459 0
[pid=845445/tid=845457] ppid=845442 vsize=456036 memory=100 CPUtime=3574.23 cores=4,6
/proc/845445/task/845457/stat : 845457 (fscip) R 845442 845445 843378 0 -1 4194368 1203991 0 0 0 357293 130 0 0 20 0 3 0 160763770 466980864 98631 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
[pid=845445/tid=845458] ppid=845442 vsize=456036 memory=20776 CPUtime=0.02 cores=4,6
/proc/845445/task/845458/stat : 845458 (fscip) S 845442 845445 843378 0 -1 1077936192 87 0 0 0 0 2 0 0 20 0 3 0 160763770 466980864 98631 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
Current children cumulated CPU time: 3574.52 s
Current children cumulated vsize: 456036 KiB
Current children cumulated memory: 394524 KiB

[startup+3590.4 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 847319
/proc/meminfo: memFree=114805024/131524600 swapFree=131071996/131071996
[pid=845445] ppid=845442 vsize=456036 memory=394524 CPUtime=3580.9 cores=4,6
/proc/845445/stat : 845445 (fscip) S 845442 845445 843378 0 -1 1077936128 1207872 0 0 0 357952 138 0 0 20 0 3 0 160763767 466980864 98631 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
/proc/845445/statm: 114009 98631 2974 3032 0 101459 0
[pid=845445/tid=845457] ppid=845442 vsize=456036 memory=43432 CPUtime=3580.6 cores=4,6
/proc/845445/task/845457/stat : 845457 (fscip) R 845442 845445 843378 0 -1 4194368 1204247 0 0 0 357930 130 0 0 20 0 3 0 160763770 466980864 98631 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
[pid=845445/tid=845458] ppid=845442 vsize=456036 memory=394524 CPUtime=0.02 cores=4,6
/proc/845445/task/845458/stat : 845458 (fscip) S 845442 845445 843378 0 -1 1077936192 87 0 0 0 0 2 0 0 20 0 3 0 160763770 466980864 98631 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
Current children cumulated CPU time: 3580.9 s
Current children cumulated vsize: 456036 KiB
Current children cumulated memory: 394524 KiB

[startup+3596.8 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 847320
/proc/meminfo: memFree=114805032/131524600 swapFree=131071996/131071996
[pid=845445] ppid=845442 vsize=456036 memory=394524 CPUtime=3587.28 cores=4,6
/proc/845445/stat : 845445 (fscip) S 845442 845445 843378 0 -1 1077936128 1208653 0 0 0 358590 138 0 0 20 0 3 0 160763767 466980864 98631 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
/proc/845445/statm: 114009 98631 2974 3032 0 101459 0
[pid=845445/tid=845457] ppid=845442 vsize=456036 memory=394524 CPUtime=3586.98 cores=4,6
/proc/845445/task/845457/stat : 845457 (fscip) R 845442 845445 843378 0 -1 4194368 1205028 0 0 0 358568 130 0 0 20 0 3 0 160763770 466980864 98631 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
[pid=845445/tid=845458] ppid=845442 vsize=456036 memory=12304 CPUtime=0.02 cores=4,6
/proc/845445/task/845458/stat : 845458 (fscip) S 845442 845445 843378 0 -1 1077936192 87 0 0 0 0 2 0 0 20 0 3 0 160763770 466980864 98631 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
Current children cumulated CPU time: 3587.28 s
Current children cumulated vsize: 456036 KiB
Current children cumulated memory: 394524 KiB

[startup+3598.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 847320
/proc/meminfo: memFree=114805052/131524600 swapFree=131071996/131071996
[pid=845445] ppid=845442 vsize=456036 memory=394524 CPUtime=3588.88 cores=4,6
/proc/845445/stat : 845445 (fscip) S 845442 845445 843378 0 -1 1077936128 1208680 0 0 0 358750 138 0 0 20 0 3 0 160763767 466980864 98631 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
/proc/845445/statm: 114009 98631 2974 3032 0 101459 0
[pid=845445/tid=845457] ppid=845442 vsize=456036 memory=394524 CPUtime=3588.58 cores=4,6
/proc/845445/task/845457/stat : 845457 (fscip) R 845442 845445 843378 0 -1 4194368 1205055 0 0 0 358728 130 0 0 20 0 3 0 160763770 466980864 98631 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
[pid=845445/tid=845458] ppid=845442 vsize=456036 memory=2328 CPUtime=0.02 cores=4,6
/proc/845445/task/845458/stat : 845458 (fscip) S 845442 845445 843378 0 -1 1077936192 87 0 0 0 0 2 0 0 20 0 3 0 160763770 466980864 98631 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
Current children cumulated CPU time: 3588.88 s
Current children cumulated vsize: 456036 KiB
Current children cumulated memory: 394524 KiB

[startup+3599.2 s]
/proc/loadavg: 4.11 4.09 4.09 6/264 847320
/proc/meminfo: memFree=114805052/131524600 swapFree=131071996/131071996
[pid=845445] ppid=845442 vsize=456036 memory=394524 CPUtime=3589.67 cores=4,6
/proc/845445/stat : 845445 (fscip) S 845442 845445 843378 0 -1 1077936128 1208682 0 0 0 358829 138 0 0 20 0 3 0 160763767 466980864 98631 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
/proc/845445/statm: 114009 98631 2974 3032 0 101459 0
[pid=845445/tid=845457] ppid=845442 vsize=456036 memory=12304 CPUtime=3589.38 cores=4,6
/proc/845445/task/845457/stat : 845457 (fscip) R 845442 845445 843378 0 -1 4194368 1205057 0 0 0 358808 130 0 0 20 0 3 0 160763770 466980864 98631 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
[pid=845445/tid=845458] ppid=845442 vsize=456036 memory=43432 CPUtime=0.02 cores=4,6
/proc/845445/task/845458/stat : 845458 (fscip) S 845442 845445 843378 0 -1 1077936192 87 0 0 0 0 2 0 0 20 0 3 0 160763770 466980864 98631 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
Current children cumulated CPU time: 3589.67 s
Current children cumulated vsize: 456036 KiB
Current children cumulated memory: 394524 KiB

[startup+3600 s]*
/proc/loadavg: 4.10 4.09 4.09 5/264 847320
/proc/meminfo: memFree=114805052/131524600 swapFree=131071996/131071996
[pid=845445] ppid=845442 vsize=456036 memory=394524 CPUtime=3590.48 cores=4,6
/proc/845445/stat : 845445 (fscip) S 845442 845445 843378 0 -1 1077936128 1209218 0 0 0 358910 138 0 0 20 0 3 0 160763767 466980864 98631 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
/proc/845445/statm: 114009 98631 2974 3032 0 101459 0
[pid=845445/tid=845457] ppid=845442 vsize=456036 memory=13728 CPUtime=3590.18 cores=4,6
/proc/845445/task/845457/stat : 845457 (fscip) R 845442 845445 843378 0 -1 4194368 1205613 0 0 0 358888 130 0 0 20 0 3 0 160763770 466980864 98631 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
[pid=845445/tid=845458] ppid=845442 vsize=456036 memory=11532 CPUtime=0.02 cores=4,6
/proc/845445/task/845458/stat : 845458 (fscip) S 845442 845445 843378 0 -1 1077936192 87 0 0 0 0 2 0 0 20 0 3 0 160763770 466980864 98631 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
Current children cumulated CPU time: 3590.48 s
Current children cumulated vsize: 456036 KiB
Current children cumulated memory: 394524 KiB

[startup+3600.2 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 847320
/proc/meminfo: memFree=114805052/131524600 swapFree=131071996/131071996
[pid=845445] ppid=845442 vsize=454452 memory=392944 CPUtime=3590.68 cores=4,6
/proc/845445/stat : 845445 (fscip) S 845442 845445 843378 0 -1 1077936128 1218342 0 0 0 358929 139 0 0 20 0 3 0 160763767 465358848 98236 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
/proc/845445/statm: 113613 98236 2974 3032 0 101063 0
[pid=845445/tid=845457] ppid=845442 vsize=454452 memory=6720662147220979309 CPUtime=3590.37 cores=4,6
/proc/845445/task/845457/stat : 845457 (fscip) R 845442 845445 843378 0 -1 4194368 1214717 0 0 0 358907 130 0 0 20 0 3 0 160763770 465358848 98236 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
[pid=845445/tid=845458] ppid=845442 vsize=454452 memory=4784 CPUtime=0.02 cores=4,6
/proc/845445/task/845458/stat : 845458 (fscip) S 845442 845445 843378 0 -1 1077936192 87 0 0 0 0 2 0 0 20 0 3 0 160763770 465358848 98236 134679101440 4194304 16613245 140727019014896 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26599424 140727019017237 140727019017353 140727019017353 140727019024368 0
Current children cumulated CPU time: 3590.68 s
Current children cumulated vsize: 454452 KiB
Current children cumulated memory: 392944 KiB

Child status: 0

Real time (s): 3600.22
CPU time (s): 3590.7
CPU user time (s): 3589.3
CPU system time (s): 1.40237
CPU usage (%): 99.7357
Max. virtual memory (cumulated for all children) (KiB): 456036
Max. memory (cumulated for all children) (KiB): 394524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.3
system time used= 1.40237
maximum resident set size= 394524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1218550
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= 13035
involuntary context switches= 1888


# summary of solver processes directly reported to runsolver:
#   pid: 845445
#   total CPU time (s): 3590.7
#   total CPU user time (s): 3589.3
#   total CPU system time (s): 1.40237

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.609 second user time and 16.6774 second system time

The end

Launcher Data

Begin job on nodeC018 at 2024-07-16 01:27:06
IDJOB=4434642
IDBENCH=147548
IDSOLVER=3064
FILE ID=nodeC018/4434642-1721086013
RUNJOBID= nodeC018-1721082425-843389
SLURM_JOB_ID= 7505562
Free space on /tmp= 890084 MiB

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

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

MD5SUM BENCH= b1303fc064b9de7d315268cbf770fb1d
RANDOM SEED=1653812845

nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3615.883
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3359.043
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.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	: 0xb00002a
cpu MHz		: 3515.810
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3643.664
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129517836 kB
MemAvailable:   129764224 kB
Buffers:          372692 kB
Cached:           715800 kB
SwapCached:            0 kB
Active:           667420 kB
Inactive:         757584 kB
Active(anon):       1536 kB
Inactive(anon):   372720 kB
Active(file):     665884 kB
Inactive(file):   384864 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             72784 kB
Writeback:            92 kB
AnonPages:        334620 kB
Mapped:           105656 kB
Shmem:             37720 kB
KReclaimable:      70924 kB
Slab:             176996 kB
SReclaimable:      70924 kB
SUnreclaim:       106072 kB
KernelStack:        3880 kB
PageTables:         9384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     692672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60800 kB
HardwareCorrupted:     0 kB
AnonHugePages:    563200 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:      232148 kB
DirectMap2M:    16318464 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 889940 MiB
End job on nodeC018 at 2024-07-16 02:27:06