Trace number 4434649

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-02SAT190 3588.48 3600.17

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
MD5SUMbed0fcfa7fe1ab50726d34a7d1903e12
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 benchmark182
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 variables478
Total number of constraints478
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 constraints478
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 478
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 478
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 478
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 = 24408064, getVmSize() = 24408064, SCIPgetMemUsed() = 2330149, SCIPgetMemTotal() = 2882645, 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 = 17962325, getVmSize() = 29478912, SCIPgetMemUsed() = 3320240, SCIPgetMemTotal() = 6523504, 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-4434649-1721084501
0.00/0.02	c   Variables        : 478 (478 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02	c   Constraints      : 478
0.00/0.02	c   Objective sense  : minimize
0.00/0.02	c Presolved Problem  :
0.00/0.02	c   Variables        : 478 (478 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02	c   Constraints      : 567
0.00/0.02	c Constraints        : Number
0.00/0.02	c   knapsack         : 422 
0.00/0.02	c   setppc           : 122 
0.00/0.02	c   logicor          : 23 
0.00/0.02	c ** Instance transfer method used: 0
0.00/0.03	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         227.0000                -          -
0.00/0.05	c *       0              0           1         1         213.0000                -          -
5.77/5.85	c         6              3           2         1         213.0000         165.1083     29.01%
11.35/11.42	c        11              9           8         1         213.0000         165.1105     29.00%
16.34/16.45	c        16             22          21         1         213.0000         165.1105     29.00%
16.64/16.77	c *      17             22          21         1         212.0000         165.1105     28.40%
16.64/16.77	c *      17             22          21         1         209.0000         165.1105     26.58%
16.64/16.77	c *      17             22          21         1         207.0000         165.1105     25.37%
16.64/16.78	c *      17             22          21         1         206.0000         165.1105     24.76%
16.64/16.78	c *      17             22          21         1         205.0000         165.1105     24.16%
21.92/22.08	c *      22             92          91         1         204.0000         165.2664     23.44%
21.92/22.08	c        22             92          91         1         204.0000         165.2664     23.44%
24.81/24.91	c *      25            162         161         1         203.0000         165.2971     22.81%
24.81/24.91	c *      25            162         161         1         201.0000         165.2971     21.60%
27.30/27.44	c        27            246         245         1         201.0000         165.2971     21.60%
33.09/33.22	c *      33            322         321         1         199.0000         165.2971     20.39%
33.09/33.22	c        33            322         321         1         199.0000         165.2971     20.39%
33.09/33.22	c *      33            322         321         1         197.0000         165.2971     19.18%
38.77/38.97	c        39            412         411         1         197.0000         165.2971     19.18%
43.96/44.16	c        44            502         501         1         197.0000         165.2971     19.18%
49.34/49.58	c        50            577         576         1         197.0000         165.2971     19.18%
54.82/55.06	c        55            666         665         1         197.0000         165.2971     19.18%
60.31/60.54	c        61            778         777         1         197.0000         165.2971     19.18%
65.69/65.97	c        66            877         876         1         197.0000         165.2971     19.18%
71.46/71.79	c        72            952         951         1         197.0000         165.2971     19.18%
77.45/77.72	c        78           1027        1026         1         197.0000         165.2971     19.18%
82.93/83.27	c        83           1054           4         1         197.0000         165.3240     19.16%
88.11/88.46	c        88           1066          16         1         197.0000         165.3240     19.16%
94.39/94.76	c        95           1104          54         1         197.0000         165.3240     19.16%
100.27/100.62	c       101           1170         120         1         197.0000         165.3512     19.14%
105.56/105.95	c       106           1491         395         1         197.0000         165.4222     19.09%
110.75/111.15	c       111           1861         585         1         197.0000         165.4727     19.05%
111.74/112.19	c *     112           1861         585         1         195.0000         165.4727     17.84%
114.74/115.17	c *     115           2085         568         1         193.0000         165.5127     16.61%
115.83/116.22	c       116           2115         494         1         193.0000         165.5441     16.59%
120.91/121.38	c       121           2358         581         1         193.0000         165.5915     16.55%
126.89/127.31	c       127           2782         663         1         193.0000         165.6421     16.52%
132.37/132.87	c       133           2969         742         1         193.0000         165.7040     16.47%
137.75/138.27	c       138           3195         818         1         193.0000         165.7249     16.46%
143.64/144.19	c       144           3445         920         1         193.0000         165.7591     16.43%
148.92/149.41	c       149           3701        1018         1         193.0000         165.7910     16.41%
154.70/155.29	c       155           4214        1153         1         193.0000         165.8002     16.41%
160.68/161.23	c       161           4537        1266         1         193.0000         165.8177     16.39%
165.96/166.57	c       167           4861        1376         1         193.0000         165.8413     16.38%
171.05/171.61	c       172           5095        1454         1         193.0000         165.8568     16.37%
176.23/176.84	c       177           5364        1543         1         193.0000         165.8677     16.36%
181.81/182.45	c       182           5755        1658         1         193.0000         165.8869     16.34%
186.99/187.60	c       188           6168        1765         1         193.0000         165.9010     16.33%
192.78/193.43	c       193           6541        1892         1         193.0000         165.9239     16.32%
198.46/199.11	c       199           6851        2008         1         193.0000         165.9348     16.31%
203.54/204.20	c       204           7101        2132         1         193.0000         165.9492     16.30%
209.22/209.97	c       210           7375        2232         1         193.0000         165.9587     16.29%
214.70/215.44	c       215           7861        2384         1         193.0000         165.9643     16.29%
219.78/220.56	c       221           8116        2463         1         193.0000         165.9830     16.28%
225.07/225.82	c       226           8425        2556         1         193.0000         166.0003     16.26%
230.45/231.23	c       231           8791        2668         1         193.0000         166.0166     16.25%
235.64/236.45	c       236           9138        2771         1         193.0000         166.0238     16.25%
241.42/242.21	c       242           9525        2846         1         193.0000         166.0321     16.24%
247.10/247.96	c       248           9765        2950         1         193.0000         166.0538     16.23%
252.98/253.81	c       254          10051        3016         1         193.0000         166.0583     16.22%
258.66/259.53	c       260          10211        3108         1         193.0000         166.0689     16.22%
264.25/265.13	c       265          10461        3158         1         193.0000         166.0767     16.21%
269.53/270.40	c       270          10792        3271         1         193.0000         166.0920     16.20%
274.81/275.72	c       276          11321        3342         1         193.0000         166.0995     16.20%
280.00/280.98	c       281          11871        3474         1         193.0000         166.1066     16.19%
285.09/286.04	c       286          12231        3620         1         193.0000         166.1173     16.18%
290.97/291.95	c       292          12471        3700         1         193.0000         166.1302     16.17%
296.45/297.40	c       297          12921        3812         1         193.0000         166.1353     16.17%
301.54/302.52	c       303          13261        3910         1         193.0000         166.1470     16.16%
306.82/307.80	c       308          13581        3994         1         193.0000         166.1522     16.16%
312.11/313.11	c       313          14057        4086         1         193.0000         166.1590     16.15%
317.19/318.23	c       318          14347        4164         1         193.0000         166.1688     16.15%
322.57/323.62	c       324          14621        4256         1         193.0000         166.1793     16.14%
327.85/328.94	c       329          14851        4310         1         193.0000         166.1901     16.13%
332.95/334.06	c       334          15061        4398         1         193.0000         166.2065     16.12%
338.23/339.34	c       339          15321        4482         1         193.0000         166.2151     16.11%
343.51/344.66	c       345          15491        4560         1         193.0000         166.2197     16.11%
349.09/350.23	c       350          15711        4642         1         193.0000         166.2261     16.11%
354.08/355.25	c       355          15941        4724         1         193.0000         166.2301     16.10%
359.56/360.78	c       361          16321        4834         1         193.0000         166.2372     16.10%
364.95/366.15	c       366          16555        4898         1         193.0000         166.2418     16.10%
369.93/371.18	c       371          16771        4970         1         193.0000         166.2476     16.09%
375.01/376.22	c       376          17067        5044         1         193.0000         166.2547     16.09%
380.80/382.09	c       382          17341        5134         1         193.0000         166.2640     16.08%
385.88/387.11	c       387          17591        5216         1         193.0000         166.2723     16.07%
390.96/392.27	c       392          17931        5282         1         193.0000         166.2775     16.07%
396.25/397.53	c       398          18169        5372         1         193.0000         166.2867     16.06%
401.73/403.07	c       403          18511        5454         1         193.0000         166.2906     16.06%
407.61/408.99	c       409          18820        5555         1         193.0000         166.3022     16.05%
413.50/414.87	c       415          19351        5656         1         193.0000         166.3088     16.05%
419.08/420.46	c       420          19728        5775         1         193.0000         166.3129     16.05%
424.46/425.88	c       426          20055        5830         1         193.0000         166.3147     16.05%
430.04/431.44	c       431          20371        5926         1         193.0000         166.3296     16.03%
435.23/436.69	c       437          20701        6014         1         193.0000         166.3382     16.03%
440.51/441.92	c       442          20946        6091         1         193.0000         166.3416     16.03%
445.79/447.28	c       447          21290        6213         1         193.0000         166.3527     16.02%
451.18/452.68	c       453          21711        6298         1         193.0000         166.3604     16.01%
456.86/458.32	c       458          22001        6374         1         193.0000         166.3647     16.01%
462.74/464.23	c       464          22381        6518         1         193.0000         166.3717     16.01%
468.42/469.90	c       470          22551        6606         1         193.0000         166.3794     16.00%
474.01/475.58	c       476          22851        6682         1         193.0000         166.3810     16.00%
479.59/481.18	c       481          23165        6788         1         193.0000         166.3852     16.00%
484.97/486.57	c       487          23590        6899         1         193.0000         166.3903     15.99%
490.36/491.93	c       492          23884        6963         1         193.0000         166.3957     15.99%
495.44/497.05	c       497          24231        7032         1         193.0000         166.4044     15.98%
500.82/502.47	c       502          24561        7146         1         193.0000         166.4131     15.98%
506.52/508.13	c       508          24825        7226         1         193.0000         166.4191     15.97%
511.59/513.24	c       513          25200        7325         1         193.0000         166.4225     15.97%
516.78/518.47	c       518          25521        7414         1         193.0000         166.4270     15.97%
522.06/523.72	c       524          25807        7518         1         193.0000         166.4337     15.96%
527.35/529.01	c       529          26051        7610         1         193.0000         166.4380     15.96%
532.33/534.03	c       534          26311        7726         1         193.0000         166.4428     15.96%
538.32/540.05	c       540          26631        7822         1         193.0000         166.4464     15.95%
543.60/545.35	c       545          26911        7946         1         193.0000         166.4547     15.95%
549.58/551.32	c       551          27263        8030         1         193.0000         166.4587     15.94%
555.06/556.84	c       557          27611        8088         1         193.0000         166.4668     15.94%
560.64/562.42	c       562          27931        8210         1         193.0000         166.4701     15.94%
566.33/568.18	c       568          28289        8286         1         193.0000         166.4763     15.93%
571.80/573.61	c       574          28775        8354         1         193.0000         166.4789     15.93%
577.40/579.24	c       579          29101        8440         1         193.0000         166.4831     15.93%
583.37/585.29	c       585          29521        8522         1         193.0000         166.4900     15.92%
588.56/590.46	c       590          29781        8604         1         193.0000         166.4923     15.92%
593.84/595.70	c       596          30171        8704         1         193.0000         166.4950     15.92%
599.42/601.36	c       601          30501        8784         1         193.0000         166.4988     15.92%
604.60/606.51	c       607          30791        8904         1         193.0000         166.5027     15.91%
610.09/612.03	c       612          31131        9016         1         193.0000         166.5085     15.91%
616.07/618.09	c       618          31411        9102         1         193.0000         166.5125     15.91%
621.26/623.25	c       623          31741        9204         1         193.0000         166.5168     15.90%
627.24/629.29	c       629          32101        9316         1         193.0000         166.5228     15.90%
633.13/635.11	c       635          32481        9416         1         193.0000         166.5294     15.90%
638.40/640.41	c       640          32868        9515         1         193.0000         166.5379     15.89%
644.38/646.40	c       646          33091        9602         1         193.0000         166.5418     15.89%
650.37/652.49	c       652          33451        9732         1         193.0000         166.5435     15.89%
655.45/657.52	c       658          33811        9838         1         193.0000         166.5466     15.88%
660.44/662.54	c       663          33941        9896         1         193.0000         166.5495     15.88%
666.32/668.47	c       668          34392       10003         1         193.0000         166.5524     15.88%
671.80/673.98	c       674          34921       10100         1         193.0000         166.5545     15.88%
677.99/680.11	c       680          35281       10190         1         193.0000         166.5596     15.87%
683.36/685.55	c       686          35771       10304         1         193.0000         166.5638     15.87%
688.54/690.71	c       691          36061       10420         1         193.0000         166.5687     15.87%
693.84/696.04	c       696          36501       10518         1         193.0000         166.5749     15.86%
699.31/701.52	c       702          36821       10608         1         193.0000         166.5790     15.86%
704.39/706.63	c       707          37191       10716         1         193.0000         166.5842     15.86%
709.37/711.65	c       712          37571       10818         1         193.0000         166.5871     15.86%
714.86/717.18	c       717          37875       10916         1         193.0000         166.5916     15.85%
720.83/723.13	c       723          38341       11006         1         193.0000         166.5961     15.85%
726.21/728.59	c       729          38841       11118         1         193.0000         166.5999     15.85%
731.49/733.87	c       734          39291       11216         1         193.0000         166.6010     15.85%
738.07/740.47	c       740          39495       11312         1         193.0000         166.6039     15.84%
743.15/745.54	c       746          40028       11423         1         193.0000         166.6105     15.84%
748.32/750.74	c       751          40481       11564         1         193.0000         166.6138     15.84%
753.31/755.79	c       756          40701       11692         1         193.0000         166.6165     15.83%
758.99/761.47	c       761          41011       11822         1         193.0000         166.6211     15.83%
764.27/766.71	c       767          41451       11954         1         193.0000         166.6268     15.83%
769.55/772.03	c       772          41761       12054         1         193.0000         166.6294     15.83%
775.63/778.13	c       778          42311       12158         1         193.0000         166.6322     15.82%
780.70/783.25	c       783          42851       12280         1         193.0000         166.6345     15.82%
786.19/788.78	c       789          43301       12388         1         193.0000         166.6366     15.82%
791.57/794.17	c       794          43651       12508         1         193.0000         166.6383     15.82%
796.95/799.55	c       800          44071       12638         1         193.0000         166.6421     15.82%
802.43/805.01	c       805          44609       12740         1         193.0000         166.6471     15.81%
807.61/810.23	c       810          44961       12840         1         193.0000         166.6537     15.81%
812.69/815.36	c       815          45291       12968         1         193.0000         166.6556     15.81%
817.87/820.56	c       821          45721       13100         1         193.0000         166.6580     15.81%
822.95/825.64	c       826          46181       13248         1         193.0000         166.6628     15.80%
828.73/831.49	c       831          46501       13360         1         193.0000         166.6644     15.80%
834.11/836.83	c       837          47043       13500         1         193.0000         166.6657     15.80%
839.39/842.14	c       842          47431       13590         1         193.0000         166.6688     15.80%
844.76/847.57	c       848          47711       13690         1         193.0000         166.6725     15.80%
850.15/852.96	c       853          48170       13797         1         193.0000         166.6750     15.79%
855.93/858.70	c       859          48660       13923         1         193.0000         166.6801     15.79%
861.11/863.98	c       864          48971       14054         1         193.0000         166.6837     15.79%
866.19/869.03	c       869          49501       14164         1         193.0000         166.6870     15.79%
871.27/874.17	c       874          49951       14252         1         193.0000         166.6897     15.78%
876.55/879.42	c       879          50351       14340         1         193.0000         166.6924     15.78%
882.03/884.92	c       885          50921       14468         1         193.0000         166.6965     15.78%
887.61/890.55	c       891          51371       14542         1         193.0000         166.6971     15.78%
893.10/896.01	c       896          51751       14684         1         193.0000         166.7001     15.78%
898.08/901.05	c       901          52141       14802         1         193.0000         166.7027     15.77%
903.16/906.13	c       906          52631       14984         1         193.0000         166.7062     15.77%
908.93/911.98	c       912          52921       15110         1         193.0000         166.7094     15.77%
914.11/917.10	c       917          53141       15182         1         193.0000         166.7107     15.77%
919.09/922.11	c       922          53531       15294         1         193.0000         166.7124     15.77%
924.09/927.14	c       927          53745       15396         1         193.0000         166.7141     15.77%
929.76/932.81	c       933          53947       15484         1         193.0000         166.7162     15.77%
935.34/938.43	c       938          54115       15562         1         193.0000         166.7172     15.76%
940.72/943.86	c       944          54323       15640         1         193.0000         166.7180     15.76%
945.81/948.96	c       949          54551       15700         1         193.0000         166.7198     15.76%
951.20/954.32	c       954          54691       15778         1         193.0000         166.7207     15.76%
956.48/959.60	c       960          55105       15864         1         193.0000         166.7214     15.76%
961.86/965.08	c       965          55371       15934         1         193.0000         166.7242     15.76%
966.95/970.16	c       970          55582       16015         1         193.0000         166.7260     15.76%
972.62/975.84	c       976          55888       16097         1         193.0000         166.7283     15.76%
978.41/981.65	c       982          56207       16182         1         193.0000         166.7293     15.76%
984.29/987.50	c       988          56531       16248         1         193.0000         166.7301     15.76%
989.38/992.65	c       993          56725       16330         1         193.0000         166.7310     15.76%
995.36/998.63	c       999          56971       16408         1         193.0000         166.7337     15.75%
996.76/1000.09	c *    1000          57041       16422         1         192.0000         166.7337     15.15%
1000.44/1003.72	c      1004          57153       16162         1         192.0000         166.7341     15.15%
1005.42/1008.77	c      1009          57459       16234         1         192.0000         166.7349     15.15%
1010.81/1014.14	c      1014          57735       16284         1         192.0000         166.7367     15.15%
1016.69/1020.01	c      1020          57991       16376         1         192.0000         166.7399     15.15%
1021.77/1025.14	c      1025          58215       16466         1         192.0000         166.7416     15.15%
1027.45/1030.82	c      1031          58521       16500         1         192.0000         166.7432     15.15%
1032.94/1036.30	c      1036          58764       16581         1         192.0000         166.7436     15.15%
1038.12/1041.56	c      1042          59047       16652         1         192.0000         166.7456     15.15%
1043.71/1047.16	c      1047          59255       16720         1         192.0000         166.7465     15.14%
1049.29/1052.70	c      1053          59521       16792         1         192.0000         166.7478     15.14%
1054.77/1058.24	c      1058          59715       16872         1         192.0000         166.7506     15.14%
1060.45/1063.90	c      1064          60081       16944         1         192.0000         166.7532     15.14%
1065.54/1069.02	c      1069          60421       17012         1         192.0000         166.7540     15.14%
1070.62/1074.17	c      1074          60641       17076         1         192.0000         166.7550     15.14%
1076.00/1079.53	c      1080          60815       17152         1         192.0000         166.7557     15.14%
1081.88/1085.44	c      1085          61115       17230         1         192.0000         166.7586     15.14%
1087.46/1091.07	c      1091          61511       17324         1         192.0000         166.7613     15.13%
1092.74/1096.31	c      1096          61651       17370         1         192.0000         166.7623     15.13%
1097.93/1101.57	c      1102          61891       17418         1         192.0000         166.7634     15.13%
1103.12/1106.71	c      1107          62181       17514         1         192.0000         166.7656     15.13%
1109.20/1112.81	c      1113          62501       17608         1         192.0000         166.7658     15.13%
1114.19/1117.85	c      1118          62691       17682         1         192.0000         166.7673     15.13%
1119.67/1123.30	c      1123          62901       17768         1         192.0000         166.7696     15.13%
1125.46/1129.18	c      1129          63297       17832         1         192.0000         166.7710     15.13%
1130.64/1134.30	c      1134          63535       17886         1         192.0000         166.7714     15.13%
1136.32/1140.10	c      1140          63691       17952         1         192.0000         166.7730     15.13%
1141.41/1145.16	c      1145          63961       18010         1         192.0000         166.7740     15.13%
1147.48/1151.24	c      1151          64215       18094         1         192.0000         166.7745     15.13%
1152.46/1156.27	c      1156          64571       18140         1         192.0000         166.7766     15.12%
1158.05/1161.83	c      1162          64721       18228         1         192.0000         166.7787     15.12%
1163.34/1167.14	c      1167          64905       18296         1         192.0000         166.7795     15.12%
1168.62/1172.46	c      1172          65189       18384         1         192.0000         166.7819     15.12%
1173.81/1177.62	c      1178          65455       18478         1         192.0000         166.7840     15.12%
1179.49/1183.35	c      1183          65700       18535         1         192.0000         166.7850     15.12%
1184.77/1188.62	c      1189          65911       18598         1         192.0000         166.7863     15.12%
1190.16/1194.09	c      1194          66151       18664         1         192.0000         166.7873     15.12%
1195.64/1199.56	c      1200          66332       18719         1         192.0000         166.7892     15.12%
1200.92/1204.87	c      1205          66529       18780         1         192.0000         166.7905     15.11%
1206.31/1210.22	c      1210          66702       18853         1         192.0000         166.7917     15.11%
1211.59/1215.50	c      1216          66935       18914         1         192.0000         166.7924     15.11%
1217.47/1221.40	c      1221          67212       18969         1         192.0000         166.7932     15.11%
1223.35/1227.35	c      1227          67375       19048         1         192.0000         166.7946     15.11%
1228.73/1232.74	c      1233          67681       19092         1         192.0000         166.7960     15.11%
1234.02/1238.05	c      1238          67871       19146         1         192.0000         166.7970     15.11%
1239.80/1243.88	c      1244          68036       19233         1         192.0000         166.7997     15.11%
1245.48/1249.59	c      1250          68311       19304         1         192.0000         166.8007     15.11%
1251.47/1255.58	c      1256          68459       19390         1         192.0000         166.8019     15.11%
1257.06/1261.10	c      1261          68751       19460         1         192.0000         166.8030     15.11%
1262.44/1266.53	c      1267          68875       19520         1         192.0000         166.8036     15.11%
1267.52/1271.63	c      1272          69035       19588         1         192.0000         166.8054     15.10%
1272.70/1276.88	c      1277          69351       19656         1         192.0000         166.8069     15.10%
1278.49/1282.69	c      1283          69651       19756         1         192.0000         166.8076     15.10%
1284.37/1288.58	c      1289          69833       19818         1         192.0000         166.8089     15.10%
1289.55/1293.71	c      1294          70091       19918         1         192.0000         166.8100     15.10%
1294.54/1298.77	c      1299          70271       19972         1         192.0000         166.8102     15.10%
1300.02/1304.27	c      1304          70451       20050         1         192.0000         166.8108     15.10%
1306.00/1310.25	c      1310          70686       20129         1         192.0000         166.8115     15.10%
1311.79/1316.09	c      1316          70915       20216         1         192.0000         166.8144     15.10%
1317.36/1321.66	c      1322          71121       20302         1         192.0000         166.8163     15.10%
1323.16/1327.42	c      1327          71555       20366         1         192.0000         166.8167     15.10%
1329.04/1333.39	c      1333          71758       20449         1         192.0000         166.8177     15.10%
1334.52/1338.88	c      1339          72021       20524         1         192.0000         166.8201     15.09%
1339.71/1344.01	c      1344          72301       20606         1         192.0000         166.8205     15.09%
1345.59/1349.99	c      1350          72525       20670         1         192.0000         166.8224     15.09%
1351.27/1355.66	c      1356          72701       20756         1         192.0000         166.8246     15.09%
1356.75/1361.17	c      1361          72951       20860         1         192.0000         166.8255     15.09%
1362.23/1366.64	c      1367          73095       20946         1         192.0000         166.8267     15.09%
1367.31/1371.77	c      1372          73341       21018         1         192.0000         166.8288     15.09%
1372.90/1377.37	c      1377          73651       21072         1         192.0000         166.8302     15.09%
1378.68/1383.17	c      1383          73931       21164         1         192.0000         166.8321     15.09%
1383.76/1388.29	c      1388          74181       21224         1         192.0000         166.8330     15.09%
1389.05/1393.50	c      1394          74395       21282         1         192.0000         166.8341     15.08%
1394.14/1398.63	c      1399          74614       21371         1         192.0000         166.8345     15.08%
1399.42/1403.99	c      1404          74803       21452         1         192.0000         166.8364     15.08%
1405.61/1410.15	c      1410          74965       21534         1         192.0000         166.8382     15.08%
1411.18/1415.77	c      1416          75281       21618         1         192.0000         166.8393     15.08%
1416.27/1420.87	c      1421          75491       21698         1         192.0000         166.8413     15.08%
1421.75/1426.33	c      1426          75691       21790         1         192.0000         166.8425     15.08%
1427.54/1432.19	c      1432          76011       21936         1         192.0000         166.8430     15.08%
1432.71/1437.35	c      1437          76235       22016         1         192.0000         166.8446     15.08%
1438.60/1443.20	c      1443          76532       22121         1         192.0000         166.8462     15.08%
1444.08/1448.75	c      1449          76825       22198         1         192.0000         166.8472     15.08%
1449.06/1453.79	c      1454          77191       22248         1         192.0000         166.8484     15.07%
1454.24/1458.93	c      1459          77315       22314         1         192.0000         166.8490     15.07%
1459.72/1464.44	c      1464          77673       22398         1         192.0000         166.8500     15.07%
1465.01/1469.78	c      1470          78111       22434         1         192.0000         166.8510     15.07%
1470.69/1475.41	c      1475          78295       22506         1         192.0000         166.8520     15.07%
1475.67/1480.46	c      1480          78651       22560         1         192.0000         166.8545     15.07%
1480.86/1485.66	c      1486          78911       22642         1         192.0000         166.8557     15.07%
1486.64/1491.45	c      1491          79191       22732         1         192.0000         166.8569     15.07%
1492.02/1496.87	c      1497          79441       22828         1         192.0000         166.8583     15.07%
1497.71/1502.59	c      1503          79695       22898         1         192.0000         166.8588     15.07%
1503.49/1508.31	c      1508          79825       22974         1         192.0000         166.8600     15.07%
1508.77/1513.67	c      1514          80021       23024         1         192.0000         166.8611     15.07%
1513.85/1518.71	c      1519          80181       23094         1         192.0000         166.8627     15.06%
1519.34/1524.29	c      1524          80461       23192         1         192.0000         166.8636     15.06%
1525.13/1530.02	c      1530          80735       23256         1         192.0000         166.8648     15.06%
1530.12/1535.09	c      1535          81031       23322         1         192.0000         166.8654     15.06%
1535.70/1540.65	c      1541          81244       23401         1         192.0000         166.8668     15.06%
1541.38/1546.37	c      1546          81561       23488         1         192.0000         166.8672     15.06%
1546.86/1551.80	c      1552          81756       23575         1         192.0000         166.8684     15.06%
1552.54/1557.54	c      1558          81991       23664         1         192.0000         166.8705     15.06%
1558.33/1563.38	c      1563          82225       23750         1         192.0000         166.8713     15.06%
1563.61/1568.65	c      1569          82458       23829         1         192.0000         166.8722     15.06%
1568.79/1573.88	c      1574          82751       23896         1         192.0000         166.8735     15.06%
1569.69/1574.76	c *    1575          82751       23896         1         191.0000         166.8735     14.46%
1574.08/1579.14	c      1579          82981       23199         1         191.0000         166.8741     14.46%
1579.26/1584.38	c      1584          83121       23265         1         191.0000         166.8755     14.46%
1584.34/1589.45	c      1589          83261       23321         1         191.0000         166.8757     14.46%
1589.82/1594.97	c      1595          83571       23393         1         191.0000         166.8759     14.46%
1594.91/1600.03	c      1600          83731       23459         1         191.0000         166.8781     14.45%
1600.09/1605.25	c      1605          83961       23525         1         191.0000         166.8797     14.45%
1605.18/1610.36	c      1610          84131       23607         1         191.0000         166.8803     14.45%
1607.27/1612.46	c *    1612          84211       23639         1         190.0000         166.8809     13.85%
1610.26/1615.48	c      1615          84295       22748         1         190.0000         166.8816     13.85%
1615.74/1620.96	c      1621          84441       22822         1         190.0000         166.8826     13.85%
1621.94/1627.19	c      1627          84585       22902         1         190.0000         166.8832     13.85%
1627.12/1632.38	c      1632          84801       22970         1         190.0000         166.8842     13.85%
1632.90/1638.11	c      1638          85009       23060         1         190.0000         166.8844     13.85%
1638.78/1644.06	c      1644          85321       23152         1         190.0000         166.8861     13.85%
1644.66/1649.90	c      1650          85545       23248         1         190.0000         166.8874     13.85%
1649.75/1655.00	c      1655          85761       23306         1         190.0000         166.8878     13.85%
1655.62/1660.90	c      1661          86084       23367         1         190.0000         166.8881     13.85%
1660.71/1666.02	c      1666          86291       23428         1         190.0000         166.8890     13.85%
1666.08/1671.47	c      1671          86455       23498         1         190.0000         166.8895     13.85%
1671.17/1676.56	c      1677          86661       23576         1         190.0000         166.8906     13.85%
1677.15/1682.51	c      1683          86901       23656         1         190.0000         166.8910     13.85%
1683.22/1688.61	c      1689          87155       23724         1         190.0000         166.8923     13.85%
1688.50/1693.93	c      1694          87481       23752         1         190.0000         166.8928     13.85%
1693.89/1699.34	c      1699          87651       23822         1         190.0000         166.8937     13.84%
1698.97/1704.45	c      1704          87861       23918         1         190.0000         166.8946     13.84%
1704.35/1709.87	c      1710          88065       23992         1         190.0000         166.8960     13.84%
1709.73/1715.27	c      1715          88375       24062         1         190.0000         166.8966     13.84%
1715.71/1721.20	c      1721          88571       24120         1         190.0000         166.8975     13.84%
1720.79/1726.30	c      1726          88685       24162         1         190.0000         166.8978     13.84%
1726.17/1731.75	c      1732          88991       24228         1         190.0000         166.8984     13.84%
1731.25/1736.82	c      1737          89215       24310         1         190.0000         166.8990     13.84%
1736.93/1742.57	c      1743          89521       24416         1         190.0000         166.8998     13.84%
1742.11/1747.77	c      1748          89733       24486         1         190.0000         166.9004     13.84%
1747.30/1752.97	c      1753          90085       24552         1         190.0000         166.9008     13.84%
1752.38/1758.04	c      1758          90341       24580         1         190.0000         166.9016     13.84%
1757.86/1763.54	c      1764          90445       24646         1         190.0000         166.9022     13.84%
1763.54/1769.25	c      1769          90711       24706         1         190.0000         166.9033     13.84%
1768.82/1774.58	c      1775          90921       24760         1         190.0000         166.9039     13.84%
1774.50/1780.26	c      1780          91181       24846         1         190.0000         166.9047     13.84%
1779.78/1785.53	c      1786          91305       24912         1         190.0000         166.9055     13.84%
1785.46/1791.20	c      1791          91475       25000         1         190.0000         166.9061     13.84%
1790.94/1796.75	c      1797          91694       25065         1         190.0000         166.9074     13.84%
1796.52/1802.32	c      1802          91971       25138         1         190.0000         166.9086     13.83%
1801.80/1807.63	c      1808          92161       25196         1         190.0000         166.9093     13.83%
1807.18/1813.01	c      1813          92285       25268         1         190.0000         166.9104     13.83%
1813.27/1819.18	c      1819          92601       25354         1         190.0000         166.9128     13.83%
1818.75/1824.61	c      1825          92831       25426         1         190.0000         166.9136     13.83%
1824.52/1830.45	c      1830          93079       25486         1         190.0000         166.9141     13.83%
1830.00/1835.94	c      1836          93255       25540         1         190.0000         166.9146     13.83%
1835.19/1841.18	c      1841          93471       25610         1         190.0000         166.9154     13.83%
1841.17/1847.11	c      1847          93665       25678         1         190.0000         166.9156     13.83%
1846.84/1852.87	c      1853          93855       25746         1         190.0000         166.9165     13.83%
1852.12/1858.17	c      1858          94109       25808         1         190.0000         166.9171     13.83%
1857.20/1863.23	c      1863          94385       25878         1         190.0000         166.9178     13.83%
1862.38/1868.44	c      1868          94661       25952         1         190.0000         166.9193     13.83%
1867.77/1873.83	c      1874          95054       26031         1         190.0000         166.9194     13.83%
1873.45/1879.56	c      1880          95225       26118         1         190.0000         166.9201     13.83%
1878.73/1884.88	c      1885          95548       26185         1         190.0000         166.9206     13.83%
1884.41/1890.56	c      1891          95771       26234         1         190.0000         166.9220     13.83%
1889.90/1896.04	c      1896          96041       26288         1         190.0000         166.9226     13.83%
1895.17/1901.30	c      1901          96351       26404         1         190.0000         166.9244     13.82%
1900.65/1906.80	c      1907          96561       26474         1         190.0000         166.9253     13.82%
1906.33/1912.56	c      1913          96771       26552         1         190.0000         166.9258     13.82%
1911.51/1917.76	c      1918          96965       26632         1         190.0000         166.9266     13.82%
1917.29/1923.59	c      1924          97331       26684         1         190.0000         166.9273     13.82%
1922.47/1928.76	c      1929          97511       26728         1         190.0000         166.9285     13.82%
1927.65/1933.96	c      1934          97851       26792         1         190.0000         166.9293     13.82%
1933.24/1939.56	c      1940          98072       26861         1         190.0000         166.9296     13.82%
1939.32/1945.63	c      1946          98395       26940         1         190.0000         166.9302     13.82%
1945.10/1951.42	c      1951          98771       27014         1         190.0000         166.9311     13.82%
1950.18/1956.50	c      1957          98925       27088         1         190.0000         166.9316     13.82%
1956.05/1962.46	c      1962          99261       27158         1         190.0000         166.9326     13.82%
1961.33/1967.70	c      1968          99461       27224         1         190.0000         166.9336     13.82%
1966.91/1973.38	c      1973          99715       27304         1         190.0000         166.9339     13.82%
1972.70/1979.13	c      1979         100031       27396         1         190.0000         166.9349     13.82%
1977.77/1984.27	c      1984         100281       27496         1         190.0000         166.9358     13.82%
1983.15/1989.69	c      1990         100485       27578         1         190.0000         166.9370     13.82%
1989.03/1995.54	c      1996         100835       27692         1         190.0000         166.9383     13.81%
1994.51/2001.09	c      2001         101148       27759         1         190.0000         166.9406     13.81%
1999.60/2006.11	c      2006         101331       27810         1         190.0000         166.9414     13.81%
2005.27/2011.80	c      2012         101584       27881         1         190.0000         166.9421     13.81%
2010.25/2016.88	c      2017         101864       27951         1         190.0000         166.9428     13.81%
2015.83/2022.49	c      2022         102085       28010         1         190.0000         166.9435     13.81%
2021.43/2028.09	c      2028         102311       28092         1         190.0000         166.9441     13.81%
2027.20/2033.88	c      2034         102445       28166         1         190.0000         166.9444     13.81%
2032.28/2038.98	c      2039         102841       28244         1         190.0000         166.9448     13.81%
2037.96/2044.68	c      2045         103111       28338         1         190.0000         166.9454     13.81%
2043.24/2049.96	c      2050         103261       28412         1         190.0000         166.9460     13.81%
2048.92/2055.65	c      2056         103451       28488         1         190.0000         166.9471     13.81%
2054.30/2061.00	c      2061         103665       28566         1         190.0000         166.9476     13.81%
2059.29/2066.09	c      2066         103877       28650         1         190.0000         166.9480     13.81%
2065.27/2072.10	c      2072         104255       28740         1         190.0000         166.9488     13.81%
2070.54/2077.32	c      2077         104545       28812         1         190.0000         166.9495     13.81%
2076.53/2083.39	c      2083         104855       28900         1         190.0000         166.9503     13.81%
2082.22/2089.03	c      2089         105111       28972         1         190.0000         166.9513     13.81%
2087.50/2094.30	c      2094         105311       29050         1         190.0000         166.9525     13.80%
2093.38/2100.23	c      2100         105571       29146         1         190.0000         166.9530     13.80%
2098.57/2105.43	c      2105         105801       29202         1         190.0000         166.9532     13.80%
2104.05/2110.92	c      2111         105995       29288         1         190.0000         166.9549     13.80%
2109.24/2116.19	c      2116         106271       29388         1         190.0000         166.9557     13.80%
2114.51/2121.43	c      2121         106481       29450         1         190.0000         166.9564     13.80%
2120.60/2127.52	c      2128         106675       29538         1         190.0000         166.9568     13.80%
2125.78/2132.79	c      2133         106941       29618         1         190.0000         166.9572     13.80%
2130.97/2137.96	c      2138         107241       29688         1         190.0000         166.9574     13.80%
2136.75/2143.72	c      2144         107405       29770         1         190.0000         166.9582     13.80%
2142.34/2149.36	c      2149         107615       29846         1         190.0000         166.9586     13.80%
2147.42/2154.45	c      2154         107911       29914         1         190.0000         166.9597     13.80%
2152.41/2159.49	c      2160         108151       29972         1         190.0000         166.9600     13.80%
2158.39/2165.41	c      2165         108486       30051         1         190.0000         166.9607     13.80%
2164.07/2171.16	c      2171         108819       30096         1         190.0000         166.9611     13.80%
2169.35/2176.45	c      2176         109131       30142         1         190.0000         166.9614     13.80%
2174.94/2182.07	c      2182         109401       30218         1         190.0000         166.9623     13.80%
2180.12/2187.20	c      2187         109569       30296         1         190.0000         166.9629     13.80%
2185.80/2192.97	c      2193         109801       30384         1         190.0000         166.9637     13.80%
2190.99/2198.14	c      2198         110031       30464         1         190.0000         166.9642     13.80%
2197.06/2204.27	c      2204         110225       30542         1         190.0000         166.9650     13.80%
2202.54/2209.75	c      2210         110441       30610         1         190.0000         166.9657     13.80%
2207.93/2215.10	c      2215         110756       30687         1         190.0000         166.9665     13.80%
2213.50/2220.70	c      2221         111031       30782         1         190.0000         166.9674     13.79%
2218.98/2226.28	c      2226         111271       30848         1         190.0000         166.9682     13.79%
2224.96/2232.23	c      2232         111541       30924         1         190.0000         166.9689     13.79%
2230.14/2237.47	c      2237         111742       30987         1         190.0000         166.9698     13.79%
2235.22/2242.52	c      2243         111955       31056         1         190.0000         166.9702     13.79%
2241.00/2248.37	c      2248         112353       31174         1         190.0000         166.9710     13.79%
2246.48/2253.85	c      2254         112625       31284         1         190.0000         166.9715     13.79%
2252.36/2259.79	c      2260         112932       31363         1         190.0000         166.9724     13.79%
2257.55/2264.98	c      2265         113171       31440         1         190.0000         166.9731     13.79%
2262.74/2270.11	c      2270         113461       31506         1         190.0000         166.9739     13.79%
2268.21/2275.67	c      2276         114036       31589         1         190.0000         166.9742     13.79%
2273.99/2281.42	c      2281         114376       31671         1         190.0000         166.9747     13.79%
2278.97/2286.45	c      2286         114591       31744         1         190.0000         166.9752     13.79%
2284.56/2292.05	c      2292         114870       31823         1         190.0000         166.9763     13.79%
2290.43/2297.94	c      2298         115331       31880         1         190.0000         166.9767     13.79%
2295.91/2303.40	c      2303         115585       31984         1         190.0000         166.9774     13.79%
2300.99/2308.52	c      2309         115848       32069         1         190.0000         166.9791     13.79%
2306.17/2313.76	c      2314         116005       32128         1         190.0000         166.9795     13.79%
2311.35/2318.99	c      2319         116291       32186         1         190.0000         166.9799     13.79%
2316.44/2324.04	c      2324         116521       32258         1         190.0000         166.9805     13.79%
2322.43/2330.01	c      2330         116891       32364         1         190.0000         166.9809     13.79%
2327.51/2335.11	c      2335         117181       32498         1         190.0000         166.9815     13.79%
2332.98/2340.60	c      2341         117451       32582         1         190.0000         166.9827     13.78%
2338.66/2346.37	c      2346         117721       32660         1         190.0000         166.9832     13.78%
2343.64/2351.39	c      2351         118044       32755         1         190.0000         166.9837     13.78%
2349.23/2356.91	c      2357         118241       32846         1         190.0000         166.9853     13.78%
2354.32/2362.09	c      2362         118465       32926         1         190.0000         166.9855     13.78%
2359.50/2367.27	c      2367         118715       32996         1         190.0000         166.9865     13.78%
2365.08/2372.90	c      2373         119061       33080         1         190.0000         166.9873     13.78%
2371.07/2378.81	c      2379         119395       33174         1         190.0000         166.9876     13.78%
2376.75/2384.57	c      2385         119643       33264         1         190.0000         166.9884     13.78%
2382.03/2389.85	c      2390         120059       33368         1         190.0000         166.9888     13.78%
2387.91/2395.70	c      2396         120381       33464         1         190.0000         166.9903     13.78%
2393.10/2400.99	c      2401         120651       33522         1         190.0000         166.9911     13.78%
2398.48/2406.38	c      2406         120891       33616         1         190.0000         166.9925     13.78%
2403.96/2411.84	c      2412         121108       33707         1         190.0000         166.9931     13.78%
2409.44/2417.39	c      2417         121301       33806         1         190.0000         166.9942     13.78%
2414.73/2422.60	c      2423         121591       33866         1         190.0000         166.9950     13.78%
2420.40/2428.35	c      2428         121859       33956         1         190.0000         166.9953     13.78%
2426.20/2434.16	c      2434         122061       34024         1         190.0000         166.9964     13.77%
2432.67/2440.69	c      2441         122265       34116         1         190.0000         166.9970     13.77%
2437.85/2445.80	c      2446         122491       34190         1         190.0000         166.9980     13.77%
2443.03/2451.02	c      2451         122751       34286         1         190.0000         166.9986     13.77%
2448.01/2456.03	c      2456         122926       34359         1         190.0000         166.9989     13.77%
2453.00/2461.07	c      2461         123201       34438         1         190.0000         166.9992     13.77%
2458.57/2466.66	c      2467         123370       34533         1         190.0000         166.9999     13.77%
2464.35/2472.42	c      2472         123658       34601         1         190.0000         167.0003     13.77%
2469.63/2477.70	c      2478         123882       34715         1         190.0000         167.0005     13.77%
2474.81/2482.98	c      2483         124261       34794         1         190.0000         167.0008     13.77%
2480.59/2488.70	c      2489         124495       34896         1         190.0000         167.0013     13.77%
2486.07/2494.21	c      2494         124851       34966         1         190.0000         167.0022     13.77%
2491.26/2499.46	c      2499         125126       35051         1         190.0000         167.0028     13.77%
2497.14/2505.33	c      2505         125456       35131         1         190.0000         167.0034     13.77%
2503.02/2511.21	c      2511         125893       35180         1         190.0000         167.0039     13.77%
2508.60/2516.85	c      2517         126163       35256         1         190.0000         167.0047     13.77%
2514.08/2522.33	c      2522         126381       35324         1         190.0000         167.0055     13.77%
2519.16/2527.40	c      2527         126681       35402         1         190.0000         167.0059     13.77%
2524.34/2532.66	c      2533         126930       35501         1         190.0000         167.0062     13.77%
2529.73/2538.09	c      2538         127311       35584         1         190.0000         167.0066     13.77%
2535.30/2543.66	c      2544         127591       35684         1         190.0000         167.0069     13.77%
2540.58/2548.91	c      2549         127831       35758         1         190.0000         167.0082     13.77%
2546.36/2554.74	c      2555         128071       35866         1         190.0000         167.0088     13.77%
2552.24/2560.61	c      2561         128441       35916         1         190.0000         167.0097     13.77%
2558.12/2566.50	c      2567         128721       36002         1         190.0000         167.0110     13.76%
2563.71/2572.11	c      2572         128905       36068         1         190.0000         167.0117     13.76%
2569.18/2577.66	c      2578         129195       36134         1         190.0000         167.0121     13.76%
2574.27/2582.75	c      2583         129431       36198         1         190.0000         167.0130     13.76%
2579.35/2587.81	c      2588         129681       36268         1         190.0000         167.0133     13.76%
2584.34/2592.89	c      2593         129861       36344         1         190.0000         167.0145     13.76%
2589.42/2597.93	c      2598         130119       36410         1         190.0000         167.0150     13.76%
2594.40/2602.99	c      2603         130405       36490         1         190.0000         167.0157     13.76%
2599.79/2608.37	c      2608         130611       36584         1         190.0000         167.0169     13.76%
2605.37/2613.95	c      2614         130904       36671         1         190.0000         167.0178     13.76%
2610.95/2619.51	c      2620         131233       36740         1         190.0000         167.0180     13.76%
2616.04/2624.68	c      2625         131461       36806         1         190.0000         167.0194     13.76%
2621.53/2630.15	c      2630         131681       36894         1         190.0000         167.0198     13.76%
2626.61/2635.22	c      2635         131940       36939         1         190.0000         167.0203     13.76%
2631.69/2640.34	c      2640         132251       37020         1         190.0000         167.0216     13.76%
2638.07/2646.79	c      2647         132485       37104         1         190.0000         167.0223     13.76%
2643.25/2651.98	c      2652         132831       37152         1         190.0000         167.0227     13.76%
2648.93/2657.60	c      2658         133041       37228         1         190.0000         167.0231     13.76%
2654.62/2663.36	c      2663         133258       37317         1         190.0000         167.0238     13.76%
2660.30/2669.04	c      2669         133556       37411         1         190.0000         167.0242     13.76%
2665.88/2674.68	c      2675         133777       37484         1         190.0000         167.0250     13.76%
2671.27/2680.05	c      2680         134071       37544         1         190.0000         167.0259     13.75%
2676.66/2685.49	c      2686         134399       37622         1         190.0000         167.0263     13.75%
2682.24/2691.00	c      2691         134751       37706         1         190.0000         167.0276     13.75%
2688.22/2697.05	c      2697         135025       37794         1         190.0000         167.0279     13.75%
2694.00/2702.81	c      2703         135351       37890         1         190.0000         167.0287     13.75%
2699.78/2708.65	c      2709         135641       37966         1         190.0000         167.0293     13.75%
2704.76/2713.69	c      2714         135795       38044         1         190.0000         167.0297     13.75%
2710.54/2719.41	c      2719         136071       38106         1         190.0000         167.0300     13.75%
2716.13/2725.01	c      2725         136291       38160         1         190.0000         167.0304     13.75%
2721.51/2730.43	c      2730         136465       38256         1         190.0000         167.0309     13.75%
2726.60/2735.57	c      2736         136811       38338         1         190.0000         167.0323     13.75%
2732.28/2741.24	c      2741         137096       38443         1         190.0000         167.0325     13.75%
2737.27/2746.27	c      2746         137381       38514         1         190.0000         167.0334     13.75%
2742.45/2751.45	c      2751         137618       38575         1         190.0000         167.0338     13.75%
2748.53/2757.53	c      2758         137875       38660         1         190.0000         167.0350     13.75%
2753.72/2762.79	c      2763         138131       38754         1         190.0000         167.0353     13.75%
2758.80/2767.87	c      2768         138448       38817         1         190.0000         167.0356     13.75%
2763.98/2773.01	c      2773         138694       38909         1         190.0000         167.0360     13.75%
2769.86/2778.92	c      2779         138931       39002         1         190.0000         167.0363     13.75%
2774.95/2784.07	c      2784         139221       39068         1         190.0000         167.0368     13.75%
2779.93/2789.09	c      2789         139435       39138         1         190.0000         167.0370     13.75%
2785.03/2794.15	c      2794         139611       39224         1         190.0000         167.0373     13.75%
2790.91/2800.02	c      2800         139951       39310         1         190.0000         167.0375     13.75%
2796.28/2805.42	c      2805         140217       39370         1         190.0000         167.0382     13.75%
2801.47/2810.63	c      2811         140511       39428         1         190.0000         167.0384     13.75%
2806.96/2816.19	c      2816         140685       39496         1         190.0000         167.0388     13.75%
2812.23/2821.48	c      2821         141081       39560         1         190.0000         167.0393     13.75%
2817.42/2826.64	c      2827         141367       39628         1         190.0000         167.0399     13.75%
2822.61/2831.81	c      2832         141741       39688         1         190.0000         167.0403     13.74%
2827.89/2837.12	c      2837         141971       39792         1         190.0000         167.0407     13.74%
2833.17/2842.48	c      2842         142271       39898         1         190.0000         167.0416     13.74%
2838.95/2848.23	c      2848         142631       39970         1         190.0000         167.0420     13.74%
2844.84/2854.11	c      2854         142889       40042         1         190.0000         167.0424     13.74%
2850.42/2859.77	c      2860         143081       40130         1         190.0000         167.0432     13.74%
2855.90/2865.25	c      2865         143311       40214         1         190.0000         167.0438     13.74%
2861.58/2870.95	c      2871         143741       40288         1         190.0000         167.0443     13.74%
2867.27/2876.62	c      2877         144006       40353         1         190.0000         167.0445     13.74%
2872.35/2881.77	c      2882         144261       40412         1         190.0000         167.0452     13.74%
2878.03/2887.46	c      2887         144498       40495         1         190.0000         167.0464     13.74%
2883.31/2892.75	c      2893         144661       40582         1         190.0000         167.0470     13.74%
2888.47/2897.97	c      2898         144891       40652         1         190.0000         167.0475     13.74%
2894.12/2903.62	c      2904         145105       40730         1         190.0000         167.0482     13.74%
2899.98/2909.59	c      2910         145321       40814         1         190.0000         167.0489     13.74%
2905.53/2915.13	c      2915         145567       40886         1         190.0000         167.0493     13.74%
2910.49/2920.16	c      2920         145771       40960         1         190.0000         167.0501     13.74%
2915.75/2925.44	c      2925         145961       41046         1         190.0000         167.0506     13.74%
2921.52/2931.28	c      2931         146211       41162         1         190.0000         167.0513     13.74%
2926.60/2936.30	c      2936         146401       41238         1         190.0000         167.0524     13.74%
2932.48/2942.23	c      2942         146672       41343         1         190.0000         167.0529     13.74%
2937.67/2947.48	c      2947         146891       41444         1         190.0000         167.0535     13.74%
2943.45/2953.21	c      2953         147105       41534         1         190.0000         167.0547     13.74%
2949.24/2959.05	c      2959         147441       41664         1         190.0000         167.0560     13.73%
2954.53/2964.34	c      2964         147769       41740         1         190.0000         167.0565     13.73%
2959.91/2969.77	c      2970         148081       41830         1         190.0000         167.0573     13.73%
2965.49/2975.39	c      2975         148361       41948         1         190.0000         167.0578     13.73%
2971.07/2980.90	c      2981         148591       42032         1         190.0000         167.0585     13.73%
2976.26/2986.19	c      2986         148875       42116         1         190.0000         167.0587     13.73%
2981.84/2991.73	c      2992         149215       42198         1         190.0000         167.0589     13.73%
2986.92/2996.83	c      2997         149431       42278         1         190.0000         167.0599     13.73%
2992.50/3002.41	c      3002         149621       42366         1         190.0000         167.0602     13.73%
2997.99/3007.98	c      3008         149801       42434         1         190.0000         167.0608     13.73%
3003.97/3013.92	c      3014         150065       42536         1         190.0000         167.0616     13.73%
3009.55/3019.51	c      3020         150481       42612         1         190.0000         167.0618     13.73%
3015.53/3025.50	c      3026         150801       42698         1         190.0000         167.0626     13.73%
3020.62/3030.68	c      3031         150945       42782         1         190.0000         167.0631     13.73%
3026.50/3036.57	c      3037         151211       42856         1         190.0000         167.0640     13.73%
3031.59/3041.60	c      3042         151421       42954         1         190.0000         167.0647     13.73%
3036.68/3046.73	c      3047         151655       43026         1         190.0000         167.0651     13.73%
3042.26/3052.33	c      3052         151891       43100         1         190.0000         167.0656     13.73%
3048.04/3058.14	c      3058         152081       43182         1         190.0000         167.0661     13.73%
3054.02/3064.13	c      3064         152317       43262         1         190.0000         167.0669     13.73%
3059.10/3069.23	c      3069         152541       43342         1         190.0000         167.0674     13.73%
3064.78/3074.99	c      3075         152801       43432         1         190.0000         167.0680     13.73%
3070.46/3080.64	c      3081         153053       43522         1         190.0000         167.0685     13.73%
3076.15/3086.35	c      3086         153321       43586         1         190.0000         167.0691     13.73%
3081.94/3092.18	c      3092         153593       43662         1         190.0000         167.0695     13.73%
3087.12/3097.38	c      3097         153831       43764         1         190.0000         167.0699     13.72%
3092.30/3102.53	c      3103         154161       43822         1         190.0000         167.0701     13.72%
3098.19/3108.40	c      3108         154431       43910         1         190.0000         167.0705     13.72%
3103.77/3114.08	c      3114         154795       43984         1         190.0000         167.0708     13.72%
3108.86/3119.14	c      3119         155065       44040         1         190.0000         167.0709     13.72%
3114.03/3124.34	c      3124         155301       44104         1         190.0000         167.0714     13.72%
3119.22/3129.59	c      3130         155591       44182         1         190.0000         167.0719     13.72%
3124.50/3134.85	c      3135         155773       44260         1         190.0000         167.0724     13.72%
3129.99/3140.38	c      3140         155941       44346         1         190.0000         167.0730     13.72%
3135.37/3145.72	c      3146         156205       44458         1         190.0000         167.0736     13.72%
3140.45/3150.81	c      3151         156411       44528         1         190.0000         167.0739     13.72%
3145.55/3155.90	c      3156         156581       44598         1         190.0000         167.0750     13.72%
3150.83/3161.22	c      3161         157011       44694         1         190.0000         167.0757     13.72%
3156.51/3166.98	c      3167         157353       44816         1         190.0000         167.0763     13.72%
3161.79/3172.26	c      3172         157731       44900         1         190.0000         167.0767     13.72%
3167.48/3177.96	c      3178         158011       44992         1         190.0000         167.0774     13.72%
3172.66/3183.12	c      3183         158451       45044         1         190.0000         167.0775     13.72%
3178.04/3188.50	c      3189         158826       45139         1         190.0000         167.0782     13.72%
3183.33/3193.83	c      3194         159101       45222         1         190.0000         167.0789     13.72%
3188.71/3199.28	c      3199         159361       45308         1         190.0000         167.0792     13.72%
3193.99/3204.58	c      3205         159604       45391         1         190.0000         167.0798     13.72%
3199.97/3210.57	c      3211         159954       45493         1         190.0000         167.0802     13.72%
3205.55/3216.17	c      3216         160271       45578         1         190.0000         167.0805     13.72%
3210.93/3221.52	c      3222         160491       45666         1         190.0000         167.0810     13.72%
3216.01/3226.62	c      3227         160718       45733         1         190.0000         167.0814     13.72%
3221.00/3231.69	c      3232         160957       45806         1         190.0000         167.0822     13.72%
3226.58/3237.28	c      3237         161217       45874         1         190.0000         167.0824     13.72%
3231.76/3242.45	c      3242         161439       45956         1         190.0000         167.0826     13.72%
3236.96/3247.60	c      3248         161655       46026         1         190.0000         167.0832     13.72%
3242.04/3252.74	c      3253         162012       46083         1         190.0000         167.0837     13.72%
3247.33/3258.07	c      3258         162376       46151         1         190.0000         167.0841     13.72%
3253.31/3264.04	c      3264         162745       46226         1         190.0000         167.0842     13.72%
3258.49/3269.29	c      3269         163081       46286         1         190.0000         167.0847     13.71%
3264.27/3275.02	c      3275         163353       46366         1         190.0000         167.0849     13.71%
3269.75/3280.55	c      3281         163771       46436         1         190.0000         167.0852     13.71%
3275.13/3285.96	c      3286         164051       46496         1         190.0000         167.0856     13.71%
3280.52/3291.34	c      3291         164325       46596         1         190.0000         167.0860     13.71%
3286.10/3296.93	c      3297         164581       46668         1         190.0000         167.0862     13.71%
3291.68/3302.58	c      3303         164851       46742         1         190.0000         167.0864     13.71%
3297.17/3308.08	c      3308         165154       46839         1         190.0000         167.0867     13.71%
3302.86/3313.70	c      3314         165581       46888         1         190.0000         167.0876     13.71%
3307.84/3318.77	c      3319         165761       46966         1         190.0000         167.0881     13.71%
3313.42/3324.37	c      3324         166005       47042         1         190.0000         167.0886     13.71%
3319.11/3330.08	c      3330         166299       47130         1         190.0000         167.0891     13.71%
3324.49/3335.41	c      3335         166581       47218         1         190.0000         167.0895     13.71%
3329.87/3340.85	c      3341         166805       47290         1         190.0000         167.0899     13.71%
3335.56/3346.52	c      3347         167132       47369         1         190.0000         167.0905     13.71%
3340.54/3351.59	c      3352         167411       47438         1         190.0000         167.0908     13.71%
3346.32/3357.36	c      3357         167625       47510         1         190.0000         167.0916     13.71%
3352.11/3363.11	c      3363         168021       47574         1         190.0000         167.0918     13.71%
3357.69/3368.72	c      3369         168311       47636         1         190.0000         167.0921     13.71%
3363.68/3374.73	c      3375         168474       47731         1         190.0000         167.0923     13.71%
3368.66/3379.74	c      3380         168651       47816         1         190.0000         167.0928     13.71%
3374.05/3385.15	c      3385         168800       47895         1         190.0000         167.0932     13.71%
3380.03/3391.12	c      3391         169185       47972         1         190.0000         167.0940     13.71%
3385.21/3396.38	c      3396         169514       48053         1         190.0000         167.0942     13.71%
3390.99/3402.14	c      3402         169827       48150         1         190.0000         167.0945     13.71%
3396.97/3408.13	c      3408         170272       48237         1         190.0000         167.0950     13.71%
3402.55/3413.75	c      3414         170510       48321         1         190.0000         167.0955     13.71%
3408.43/3419.60	c      3420         170735       48400         1         190.0000         167.0959     13.71%
3413.92/3425.19	c      3425         171058       48477         1         190.0000         167.0964     13.71%
3419.40/3430.66	c      3431         171371       48550         1         190.0000         167.0970     13.71%
3424.89/3436.19	c      3436         171671       48620         1         190.0000         167.0977     13.71%
3430.08/3441.34	c      3441         171801       48700         1         190.0000         167.0980     13.71%
3435.26/3446.51	c      3447         172071       48768         1         190.0000         167.0984     13.71%
3440.94/3452.26	c      3452         172301       48842         1         190.0000         167.0990     13.71%
3446.03/3457.38	c      3457         172441       48912         1         190.0000         167.0993     13.70%
3451.72/3463.08	c      3463         172719       48984         1         190.0000         167.0996     13.70%
3457.09/3468.40	c      3468         172961       49046         1         190.0000         167.1002     13.70%
3462.38/3473.72	c      3474         173191       49124         1         190.0000         167.1008     13.70%
3468.26/3479.67	c      3480         173505       49202         1         190.0000         167.1011     13.70%
3473.84/3485.22	c      3485         173833       49260         1         190.0000         167.1015     13.70%
3479.22/3490.69	c      3491         174117       49340         1         190.0000         167.1021     13.70%
3484.91/3496.31	c      3496         174345       49392         1         190.0000         167.1022     13.70%
3490.29/3501.73	c      3502         174634       49473         1         190.0000         167.1025     13.70%
3495.58/3507.08	c      3507         174991       49550         1         190.0000         167.1026     13.70%
3501.45/3512.93	c      3513         175281       49634         1         190.0000         167.1036     13.70%
3507.33/3518.88	c      3519         175555       49700         1         190.0000         167.1041     13.70%
3513.42/3524.98	c      3525         175855       49772         1         190.0000         167.1048     13.70%
3518.90/3530.44	c      3530         176133       49858         1         190.0000         167.1052     13.70%
3524.39/3535.94	c      3536         176383       49930         1         190.0000         167.1060     13.70%
3529.48/3541.10	c      3541         176621       50000         1         190.0000         167.1064     13.70%
3535.16/3546.72	c      3547         176891       50072         1         190.0000         167.1066     13.70%
3541.14/3552.76	c      3553         177201       50142         1         190.0000         167.1070     13.70%
3546.92/3558.52	c      3559         177583       50222         1         190.0000         167.1075     13.70%
3552.01/3563.65	c      3564         177769       50298         1         190.0000         167.1082     13.70%
3557.79/3569.48	c      3569         178048       50375         1         190.0000         167.1087     13.70%
3562.87/3574.57	c      3575         178357       50442         1         190.0000         167.1092     13.70%
3568.06/3579.75	c      3580         178721       50546         1         190.0000         167.1100     13.70%
3573.04/3584.76	c      3585         178925       50614         1         190.0000         167.1101     13.70%
3578.82/3590.59	c      3591         179541       50666         1         190.0000         167.1103     13.70%
3584.31/3596.10	c      3596         179825       50718         1         190.0000         167.1108     13.70%
3588.40/3600.16	c SCIP Status        : c solving was interrupted [hard time limit reached]
3588.40/3600.16	c Total Time         : 3600.17
3588.40/3600.16	c   solving          : 3600.17
3588.40/3600.16	c   presolving       : 0.02 (included in solving)
3588.40/3600.16	c B&B Tree           :
3588.40/3600.16	c   nodes (total)    : 1
3588.40/3600.16	c Solution           :
3588.40/3600.16	c   Solutions found  : 18
3588.40/3600.16	c   Primal Bound     : +1.90000000000000e+02
3588.40/3600.16	c   Dual Bound       : +1.67111317424141e+02
3588.40/3600.16	c Gap                : 13.69667 %
3588.40/3600.16	c * Warning: final gap: 1.36967e-01 is greater than SCIPepsilon: 1.00000e-09
3588.40/3600.16	o 190
3588.40/3600.16	s SATISFIABLE
3588.40/3600.16	v -x478 -x477 -x476 -x475 -x474 -x473 -x472 x471 x470 -x469 -x468 x467 x466 x465 -x464 -x463 x462 x461 -x460 -x459 -x458 x457 -x456 
3588.40/3600.16	v -x455 -x454 x453 -x452 -x451 -x450 -x449 -x448 x447 x446 x445 x444 -x443 x442 x441 -x440 x439 x438 x437 x436 -x435 -x434 x433 
3588.40/3600.16	v x432 x431 -x430 -x429 x428 -x427 -x426 -x425 x424 x423 x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 
3588.40/3600.16	v -x410 -x409 x408 x407 -x406 x405 -x404 -x403 -x402 x401 x400 x399 x398 -x397 -x396 x395 x394 x393 x392 -x391 x390 -x389 x388 
3588.40/3600.16	v x387 -x386 x385 -x384 -x383 x382 x381 x380 x379 x378 x377 x376 x375 x374 -x373 -x372 x371 x370 x369 x368 x367 -x366 -x365 
3588.40/3600.16	v x364 -x363 -x362 -x361 x360 -x359 x358 -x357 -x356 -x355 -x354 -x353 -x352 x351 -x350 -x349 x348 -x347 -x346 x345 -x344 -x343 
3588.40/3600.16	v -x342 x341 -x340 -x339 -x338 -x337 -x336 -x335 x334 x333 -x332 -x331 x330 -x329 -x328 x327 -x326 -x325 -x324 -x323 -x322 x321 
3588.40/3600.16	v -x320 -x319 -x318 -x317 x316 x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 
3588.40/3600.16	v x299 -x298 -x297 x296 -x295 x294 -x293 x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 x284 x283 -x282 x281 -x280 x279 x278 -x277 
3588.40/3600.16	v x276 -x275 -x274 x273 -x272 x271 -x270 -x269 -x268 -x267 -x266 -x265 x264 -x263 -x262 -x261 x260 x259 -x258 -x257 -x256 x255 
3588.40/3600.16	v x254 -x253 x252 -x251 -x250 x249 -x248 x247 -x246 -x245 x244 x243 -x242 -x241 x240 -x239 x238 -x237 x236 x235 -x234 -x233 
3588.40/3600.16	v x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 x216 x215 x214 x213 -x212 -x211 
3588.40/3600.16	v x210 x209 x208 -x207 x206 x205 -x204 -x203 -x202 x201 x200 -x199 -x198 -x197 x196 -x195 -x194 x193 x192 x191 -x190 -x189 -x188 
3588.40/3600.16	v -x187 -x186 -x185 -x184 x183 -x182 -x181 x180 x179 -x178 -x177 -x176 x175 x174 x173 -x172 -x171 -x170 x169 -x168 x167 -x166 
3588.40/3600.16	v -x165 x164 -x163 -x162 -x161 x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 x147 -x146 -x145 -x144 
3588.40/3600.16	v -x143 x142 -x141 x140 -x139 -x138 -x137 x136 -x135 -x134 x133 x132 -x131 x130 -x129 -x128 x127 x126 -x125 x124 -x123 -x122 
3588.40/3600.16	v x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 x105 x104 x103 -x102 x101 x100 
3588.40/3600.16	v -x99 x98 -x97 -x96 x95 x94 -x93 x92 x91 x90 x89 x88 -x87 -x86 x85 -x84 x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 
3588.40/3600.16	v x72 -x71 -x70 x69 -x68 -x67 x66 x65 -x64 -x63 x62 x61 x60 x59 x58 x57 -x56 x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 x45 
3588.40/3600.16	v x44 x43 -x42 -x41 x40 -x39 -x38 -x37 x36 x35 -x34 -x33 x32 -x31 x30 -x29 x28 x27 x26 x25 x24 -x23 x22 -x21 x20 -x19 -x18 -x17 
3588.40/3600.16	v -x16 -x15 x14 -x13 x12 -x11 -x10 -x9 x8 -x7 x6 -x5 -x4 -x3 x2 x1 

Verifier Data

OK	190

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: 63931 MiB (58989 MiB free)
  memory of node 1: 64510 MiB (61776 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Linux 4.18.0-301.1.el8.x
solver pid=843497, runsolver pid=843485
Current StackSize limit: 8192 KiB


[startup+0.100083 s]*
/proc/loadavg: 1.11 1.27 2.23 6/268 843514
/proc/meminfo: memFree=123589148/131524600 swapFree=131071996/131071996
[pid=843497] ppid=843485 vsize=112440 memory=28368 CPUtime=0.09 cores=0,2
/proc/843497/stat : 843497 (fscip) S 843485 843497 843431 0 -1 1077936128 4546 0 0 0 9 0 0 0 20 0 3 0 160617520 115138560 7092 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
/proc/843497/statm: 28110 7092 2894 3032 0 10481 0
[pid=843497/tid=843508] ppid=843485 vsize=112440 memory=4026531971 CPUtime=0.07 cores=0,2
/proc/843497/task/843508/stat : 843508 (fscip) R 843485 843497 843431 0 -1 4194368 2091 0 0 0 7 0 0 0 20 0 3 0 160617522 115138560 7092 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
[pid=843497/tid=843512] ppid=843485 vsize=112440 memory=14907 CPUtime=0 cores=0,2
/proc/843497/task/843512/stat : 843512 (fscip) S 843485 843497 843431 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160617523 115138560 7092 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 112440 KiB
Current children cumulated memory: 28368 KiB

[startup+0.205998 s]*
/proc/loadavg: 1.11 1.27 2.23 5/268 843514
/proc/meminfo: memFree=123580396/131524600 swapFree=131071996/131071996
[pid=843497] ppid=843485 vsize=112440 memory=28368 CPUtime=0.2 cores=0,2
/proc/843497/stat : 843497 (fscip) S 843485 843497 843431 0 -1 1077936128 4554 0 0 0 20 0 0 0 20 0 3 0 160617520 115138560 7092 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
/proc/843497/statm: 28110 7092 2894 3032 0 10497 0
[pid=843497/tid=843508] ppid=843485 vsize=112440 memory=664970851429515395 CPUtime=0.17 cores=0,2
/proc/843497/task/843508/stat : 843508 (fscip) R 843485 843497 843431 0 -1 4194368 2099 0 0 0 17 0 0 0 20 0 3 0 160617522 115138560 7092 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
[pid=843497/tid=843512] ppid=843485 vsize=112440 memory=14907 CPUtime=0 cores=0,2
/proc/843497/task/843512/stat : 843512 (fscip) S 843485 843497 843431 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160617523 115138560 7092 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112440 KiB
Current children cumulated memory: 28368 KiB

[startup+0.304867 s]*
/proc/loadavg: 1.11 1.27 2.23 6/268 843514
/proc/meminfo: memFree=123570384/131524600 swapFree=131071996/131071996
[pid=843497] ppid=843485 vsize=112440 memory=28368 CPUtime=0.3 cores=0,2
/proc/843497/stat : 843497 (fscip) S 843485 843497 843431 0 -1 1077936128 4562 0 0 0 30 0 0 0 20 0 3 0 160617520 115138560 7092 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
/proc/843497/statm: 28110 7092 2894 3032 0 10497 0
[pid=843497/tid=843508] ppid=843485 vsize=112440 memory=-6081664252234611559 CPUtime=0.27 cores=0,2
/proc/843497/task/843508/stat : 843508 (fscip) R 843485 843497 843431 0 -1 4194368 2107 0 0 0 27 0 0 0 20 0 3 0 160617522 115138560 7092 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
[pid=843497/tid=843512] ppid=843485 vsize=112440 memory=0 CPUtime=0 cores=0,2
/proc/843497/task/843512/stat : 843512 (fscip) S 843485 843497 843431 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160617523 115138560 7092 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 112440 KiB
Current children cumulated memory: 28368 KiB

[startup+0.700134 s]
/proc/loadavg: 1.11 1.27 2.23 6/268 843514
/proc/meminfo: memFree=123542892/131524600 swapFree=131071996/131071996
[pid=843497] ppid=843485 vsize=117700 memory=45060 CPUtime=0.69 cores=0,2
/proc/843497/stat : 843497 (fscip) S 843485 843497 843431 0 -1 1077936128 8695 0 0 0 68 1 0 0 20 0 3 0 160617520 120524800 11265 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
/proc/843497/statm: 29425 11265 2910 3032 0 14676 0
[pid=843497/tid=843508] ppid=843485 vsize=117700 memory=0 CPUtime=0.66 cores=0,2
/proc/843497/task/843508/stat : 843508 (fscip) R 843485 843497 843431 0 -1 4194368 6240 0 0 0 65 1 0 0 20 0 3 0 160617522 120524800 11265 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
[pid=843497/tid=843512] ppid=843485 vsize=117700 memory=0 CPUtime=0 cores=0,2
/proc/843497/task/843512/stat : 843512 (fscip) S 843485 843497 843431 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160617523 120524800 11265 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 117700 KiB
Current children cumulated memory: 45060 KiB

[startup+1.5002 s]
/proc/loadavg: 1.34 1.32 2.24 6/268 843514
/proc/meminfo: memFree=123351116/131524600 swapFree=131071996/131071996
[pid=843497] ppid=843485 vsize=205364 memory=125140 CPUtime=1.48 cores=0,2
/proc/843497/stat : 843497 (fscip) S 843485 843497 843431 0 -1 1077936128 36463 0 0 0 144 4 0 0 20 0 3 0 160617520 210292736 31285 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
/proc/843497/statm: 51341 31285 2910 3032 0 35346 0
[pid=843497/tid=843508] ppid=843485 vsize=205364 memory=0 CPUtime=1.46 cores=0,2
/proc/843497/task/843508/stat : 843508 (fscip) R 843485 843497 843431 0 -1 4194368 34008 0 0 0 142 4 0 0 20 0 3 0 160617522 210292736 31285 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
[pid=843497/tid=843512] ppid=843485 vsize=205364 memory=0 CPUtime=0 cores=0,2
/proc/843497/task/843512/stat : 843512 (fscip) S 843485 843497 843431 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160617523 210292736 31285 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 205364 KiB
Current children cumulated memory: 125140 KiB

[startup+3.10563 s]
/proc/loadavg: 1.34 1.32 2.24 6/268 843514
/proc/meminfo: memFree=123057956/131524600 swapFree=131071996/131071996
[pid=843497] ppid=843485 vsize=205364 memory=165580 CPUtime=3.08 cores=0,2
/proc/843497/stat : 843497 (fscip) S 843485 843497 843431 0 -1 1077936128 46889 0 0 0 303 5 0 0 20 0 3 0 160617520 210292736 41395 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
/proc/843497/statm: 51341 41395 2910 3032 0 45859 0
[pid=843497/tid=843508] ppid=843485 vsize=205364 memory=2273 CPUtime=3.05 cores=0,2
/proc/843497/task/843508/stat : 843508 (fscip) R 843485 843497 843431 0 -1 4194368 44431 0 0 0 300 5 0 0 20 0 3 0 160617522 210292736 41395 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
[pid=843497/tid=843512] ppid=843485 vsize=205364 memory=0 CPUtime=0 cores=0,2
/proc/843497/task/843512/stat : 843512 (fscip) S 843485 843497 843431 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 160617523 210292736 41395 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 205364 KiB
Current children cumulated memory: 165580 KiB

[startup+6.30013 s]
/proc/loadavg: 1.55 1.36 2.25 6/268 843514
/proc/meminfo: memFree=123056820/131524600 swapFree=131071996/131071996
[pid=843497] ppid=843485 vsize=205364 memory=166184 CPUtime=6.26 cores=0,2
/proc/843497/stat : 843497 (fscip) S 843485 843497 843431 0 -1 1077936128 46939 0 0 0 621 5 0 0 20 0 3 0 160617520 210292736 41546 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
/proc/843497/statm: 51341 41546 2958 3032 0 45859 0
[pid=843497/tid=843508] ppid=843485 vsize=205364 memory=165580 CPUtime=6.24 cores=0,2
/proc/843497/task/843508/stat : 843508 (fscip) R 843485 843497 843431 0 -1 4194368 44448 0 0 0 619 5 0 0 20 0 3 0 160617522 210292736 41546 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
[pid=843497/tid=843512] ppid=843485 vsize=205364 memory=165580 CPUtime=0 cores=0,2
/proc/843497/task/843512/stat : 843512 (fscip) S 843485 843497 843431 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 160617523 210292736 41546 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 205364 KiB
Current children cumulated memory: 166184 KiB

[startup+12.7001 s]
/proc/loadavg: 1.75 1.41 2.26 6/268 843516
/proc/meminfo: memFree=123051512/131524600 swapFree=131071996/131071996
[pid=843497] ppid=843485 vsize=205364 memory=166192 CPUtime=12.65 cores=0,2
/proc/843497/stat : 843497 (fscip) S 843485 843497 843431 0 -1 1077936128 58024 0 0 0 1259 6 0 0 20 0 3 0 160617520 210292736 41548 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
/proc/843497/statm: 51341 41548 2958 3032 0 45859 0
[pid=843497/tid=843508] ppid=843485 vsize=205364 memory=166192 CPUtime=12.62 cores=0,2
/proc/843497/task/843508/stat : 843508 (fscip) R 843485 843497 843431 0 -1 4194368 55470 0 0 0 1256 6 0 0 20 0 3 0 160617522 210292736 41548 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
[pid=843497/tid=843512] ppid=843485 vsize=205364 memory=162168 CPUtime=0 cores=0,2
/proc/843497/task/843512/stat : 843512 (fscip) S 843485 843497 843431 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 160617523 210292736 41548 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 205364 KiB
Current children cumulated memory: 166192 KiB

[startup+25.5002 s]
/proc/loadavg: 2.10 1.49 2.28 6/267 843517
/proc/meminfo: memFree=122809928/131524600 swapFree=131071996/131071996
[pid=843497] ppid=843485 vsize=267276 memory=228500 CPUtime=25.41 cores=0,2
/proc/843497/stat : 843497 (fscip) S 843485 843497 843431 0 -1 1077936128 129293 0 0 0 2530 11 0 0 20 0 3 0 160617520 273690624 57125 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
/proc/843497/statm: 66819 57125 2958 3032 0 61792 0
[pid=843497/tid=843508] ppid=843485 vsize=267276 memory=228500 CPUtime=25.38 cores=0,2
/proc/843497/task/843508/stat : 843508 (fscip) R 843485 843497 843431 0 -1 4194368 126336 0 0 0 2527 11 0 0 20 0 3 0 160617522 273690624 57125 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
[pid=843497/tid=843512] ppid=843485 vsize=267276 memory=228500 CPUtime=0 cores=0,2
/proc/843497/task/843512/stat : 843512 (fscip) S 843485 843497 843431 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 160617523 273690624 57125 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 267276 KiB
Current children cumulated memory: 228500 KiB

[startup+51.1057 s]
/proc/loadavg: 2.90 1.75 2.34 6/267 843522
/proc/meminfo: memFree=122785440/131524600 swapFree=131071996/131071996
[pid=843497] ppid=843485 vsize=265228 memory=229596 CPUtime=50.94 cores=0,2
/proc/843497/stat : 843497 (fscip) S 843485 843497 843431 0 -1 1077936128 166033 0 0 0 5081 13 0 0 20 0 3 0 160617520 271593472 57399 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
/proc/843497/statm: 66307 57399 2958 3032 0 61536 0
[pid=843497/tid=843508] ppid=843485 vsize=265228 memory=228500 CPUtime=50.9 cores=0,2
/proc/843497/task/843508/stat : 843508 (fscip) R 843485 843497 843431 0 -1 4194368 162865 0 0 0 5078 12 0 0 20 0 3 0 160617522 271593472 57399 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
[pid=843497/tid=843512] ppid=843485 vsize=265228 memory=229596 CPUtime=0 cores=0,2
/proc/843497/task/843512/stat : 843512 (fscip) S 843485 843497 843431 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 160617523 271593472 57399 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 265228 KiB
Current children cumulated memory: 229596 KiB

[startup+102.3 s]
/proc/loadavg: 3.57 2.11 2.43 6/266 843531
/proc/meminfo: memFree=122642336/131524600 swapFree=131071996/131071996
[pid=843497] ppid=843485 vsize=394252 memory=328848 CPUtime=101.98 cores=0,2
/proc/843497/stat : 843497 (fscip) S 843485 843497 843431 0 -1 1077936128 258836 0 0 0 10176 22 0 0 20 0 3 0 160617520 403714048 82212 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
/proc/843497/statm: 98563 82212 2958 3032 0 85878 0
[pid=843497/tid=843508] ppid=843485 vsize=394252 memory=12508 CPUtime=101.94 cores=0,2
/proc/843497/task/843508/stat : 843508 (fscip) R 843485 843497 843431 0 -1 4194368 255627 0 0 0 10173 21 0 0 20 0 3 0 160617522 403714048 82212 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
[pid=843497/tid=843512] ppid=843485 vsize=394252 memory=273332 CPUtime=0 cores=0,2
/proc/843497/task/843512/stat : 843512 (fscip) S 843485 843497 843431 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 160617523 403714048 82212 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 394252 KiB
Current children cumulated memory: 328848 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 2.52 2.56 6/266 843542
/proc/meminfo: memFree=122477560/131524600 swapFree=131071996/131071996
[pid=843497] ppid=843485 vsize=393228 memory=336152 CPUtime=161.78 cores=0,2
/proc/843497/stat : 843497 (fscip) S 843485 843497 843431 0 -1 1077936128 276168 0 0 0 16154 24 0 0 20 0 3 0 160617520 402665472 84038 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
/proc/843497/statm: 98307 84038 2974 3032 0 87163 0
[pid=843497/tid=843508] ppid=843485 vsize=393228 memory=335880 CPUtime=161.73 cores=0,2
/proc/843497/task/843508/stat : 843508 (fscip) R 843485 843497 843431 0 -1 4194368 272932 0 0 0 16150 23 0 0 20 0 3 0 160617522 402665472 84038 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
[pid=843497/tid=843512] ppid=843485 vsize=393228 memory=11588 CPUtime=0 cores=0,2
/proc/843497/task/843512/stat : 843512 (fscip) S 843485 843497 843431 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 160617523 402665472 84038 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 393228 KiB

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

/proc/843497/statm: 117120 102776 2974 3032 0 105505 0
[pid=843497/tid=843508] ppid=843485 vsize=468480 memory=408972 CPUtime=3450.73 cores=0,2
/proc/843497/task/843508/stat : 843508 (fscip) R 843485 843497 843431 0 -1 4194368 527876 0 0 0 344996 77 0 0 20 0 3 0 160617522 479723520 102776 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
[pid=843497/tid=843512] ppid=843485 vsize=468480 memory=349032 CPUtime=0.02 cores=0,2
/proc/843497/task/843512/stat : 843512 (fscip) S 843485 843497 843431 0 -1 1077936192 158 0 0 0 1 1 0 0 20 0 3 0 160617523 479723520 102776 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
Current children cumulated CPU time: 3451.01 s
Current children cumulated vsize: 468480 KiB
Current children cumulated memory: 411104 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.04 6/265 845313
/proc/meminfo: memFree=122205036/131524600 swapFree=131071996/131071996
[pid=843497] ppid=843485 vsize=468480 memory=411176 CPUtime=3510.83 cores=0,2
/proc/843497/stat : 843497 (fscip) S 843485 843497 843431 0 -1 1077936128 535047 0 0 0 350997 86 0 0 20 0 3 0 160617520 479723520 102794 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
/proc/843497/statm: 117120 102794 2974 3032 0 105505 0
[pid=843497/tid=843508] ppid=843485 vsize=468480 memory=411104 CPUtime=3510.54 cores=0,2
/proc/843497/task/843508/stat : 843508 (fscip) R 843485 843497 843431 0 -1 4194368 531027 0 0 0 350976 78 0 0 20 0 3 0 160617522 479723520 102794 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
[pid=843497/tid=843512] ppid=843485 vsize=468480 memory=11588 CPUtime=0.02 cores=0,2
/proc/843497/task/843512/stat : 843512 (fscip) S 843485 843497 843431 0 -1 1077936192 160 0 0 0 1 1 0 0 20 0 3 0 160617523 479723520 102794 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
Current children cumulated CPU time: 3510.83 s
Current children cumulated vsize: 468480 KiB
Current children cumulated memory: 411176 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.04 6/264 845337
/proc/meminfo: memFree=122202376/131524600 swapFree=131071996/131071996
[pid=843497] ppid=843485 vsize=468480 memory=412560 CPUtime=3570.65 cores=0,2
/proc/843497/stat : 843497 (fscip) S 843485 843497 843431 0 -1 1077936128 539191 0 0 0 356978 87 0 0 20 0 3 0 160617520 479723520 103140 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
/proc/843497/statm: 117120 103140 2974 3032 0 105841 0
[pid=843497/tid=843508] ppid=843485 vsize=468480 memory=412560 CPUtime=3570.36 cores=0,2
/proc/843497/task/843508/stat : 843508 (fscip) R 843485 843497 843431 0 -1 4194368 535159 0 0 0 356957 79 0 0 20 0 3 0 160617522 479723520 103140 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
[pid=843497/tid=843512] ppid=843485 vsize=468480 memory=11588 CPUtime=0.02 cores=0,2
/proc/843497/task/843512/stat : 843512 (fscip) S 843485 843497 843431 0 -1 1077936192 162 0 0 0 1 1 0 0 20 0 3 0 160617523 479723520 103140 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
Current children cumulated CPU time: 3570.65 s
Current children cumulated vsize: 468480 KiB
Current children cumulated memory: 412560 KiB

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

# cumulated CPU time of all completed processes:  user=3587.59 s, system=0.881137 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.09 4.04 6/264 845337
/proc/meminfo: memFree=122202424/131524600 swapFree=131071996/131071996
[pid=843497] ppid=843485 vsize=468480 memory=412560 CPUtime=3572.35 cores=0,2
/proc/843497/stat : 843497 (fscip) S 843485 843497 843431 0 -1 1077936128 539208 0 0 0 357148 87 0 0 20 0 3 0 160617520 479723520 103140 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
/proc/843497/statm: 117120 103140 2974 3032 0 105841 0
[pid=843497/tid=843508] ppid=843485 vsize=468480 memory=356376 CPUtime=3572.06 cores=0,2
/proc/843497/task/843508/stat : 843508 (fscip) R 843485 843497 843431 0 -1 4194368 535176 0 0 0 357127 79 0 0 20 0 3 0 160617522 479723520 103140 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
[pid=843497/tid=843512] ppid=843485 vsize=468480 memory=-8621784572243001500 CPUtime=0.02 cores=0,2
/proc/843497/task/843512/stat : 843512 (fscip) S 843485 843497 843431 0 -1 1077936192 162 0 0 0 1 1 0 0 20 0 3 0 160617523 479723520 103140 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
Current children cumulated CPU time: 3572.35 s
Current children cumulated vsize: 468480 KiB
Current children cumulated memory: 412560 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.08 4.04 6/264 845338
/proc/meminfo: memFree=122202312/131524600 swapFree=131071996/131071996
[pid=843497] ppid=843485 vsize=468480 memory=412560 CPUtime=3578.72 cores=0,2
/proc/843497/stat : 843497 (fscip) S 843485 843497 843431 0 -1 1077936128 539270 0 0 0 357785 87 0 0 20 0 3 0 160617520 479723520 103140 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
/proc/843497/statm: 117120 103140 2974 3032 0 105841 0
[pid=843497/tid=843508] ppid=843485 vsize=468480 memory=11588 CPUtime=3578.43 cores=0,2
/proc/843497/task/843508/stat : 843508 (fscip) R 843485 843497 843431 0 -1 4194368 535238 0 0 0 357764 79 0 0 20 0 3 0 160617522 479723520 103140 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
[pid=843497/tid=843512] ppid=843485 vsize=468480 memory=412560 CPUtime=0.02 cores=0,2
/proc/843497/task/843512/stat : 843512 (fscip) S 843485 843497 843431 0 -1 1077936192 162 0 0 0 1 1 0 0 20 0 3 0 160617523 479723520 103140 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
Current children cumulated CPU time: 3578.72 s
Current children cumulated vsize: 468480 KiB
Current children cumulated memory: 412560 KiB

[startup+3596.8 s]
/proc/loadavg: 4.07 4.08 4.04 6/264 845338
/proc/meminfo: memFree=122202296/131524600 swapFree=131071996/131071996
[pid=843497] ppid=843485 vsize=468480 memory=412560 CPUtime=3585.1 cores=0,2
/proc/843497/stat : 843497 (fscip) S 843485 843497 843431 0 -1 1077936128 539298 0 0 0 358423 87 0 0 20 0 3 0 160617520 479723520 103140 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
/proc/843497/statm: 117120 103140 2974 3032 0 105841 0
[pid=843497/tid=843508] ppid=843485 vsize=468480 memory=3833754535901095266 CPUtime=3584.81 cores=0,2
/proc/843497/task/843508/stat : 843508 (fscip) R 843485 843497 843431 0 -1 4194368 535266 0 0 0 358402 79 0 0 20 0 3 0 160617522 479723520 103140 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
[pid=843497/tid=843512] ppid=843485 vsize=468480 memory=41300 CPUtime=0.02 cores=0,2
/proc/843497/task/843512/stat : 843512 (fscip) S 843485 843497 843431 0 -1 1077936192 162 0 0 0 1 1 0 0 20 0 3 0 160617523 479723520 103140 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
Current children cumulated CPU time: 3585.1 s
Current children cumulated vsize: 468480 KiB
Current children cumulated memory: 412560 KiB

[startup+3598.4 s]
/proc/loadavg: 4.07 4.08 4.03 6/264 845338
/proc/meminfo: memFree=122202288/131524600 swapFree=131071996/131071996
[pid=843497] ppid=843485 vsize=468480 memory=412560 CPUtime=3586.7 cores=0,2
/proc/843497/stat : 843497 (fscip) S 843485 843497 843431 0 -1 1077936128 539406 0 0 0 358583 87 0 0 20 0 3 0 160617520 479723520 103140 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
/proc/843497/statm: 117120 103140 2974 3032 0 105841 0
[pid=843497/tid=843508] ppid=843485 vsize=468480 memory=41300 CPUtime=3586.4 cores=0,2
/proc/843497/task/843508/stat : 843508 (fscip) R 843485 843497 843431 0 -1 4194368 535374 0 0 0 358561 79 0 0 20 0 3 0 160617522 479723520 103140 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
[pid=843497/tid=843512] ppid=843485 vsize=468480 memory=12508 CPUtime=0.02 cores=0,2
/proc/843497/task/843512/stat : 843512 (fscip) S 843485 843497 843431 0 -1 1077936192 162 0 0 0 1 1 0 0 20 0 3 0 160617523 479723520 103140 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
Current children cumulated CPU time: 3586.7 s
Current children cumulated vsize: 468480 KiB
Current children cumulated memory: 412560 KiB

[startup+3599.2 s]
/proc/loadavg: 4.07 4.08 4.03 6/264 845338
/proc/meminfo: memFree=122202272/131524600 swapFree=131071996/131071996
[pid=843497] ppid=843485 vsize=468480 memory=412560 CPUtime=3587.5 cores=0,2
/proc/843497/stat : 843497 (fscip) S 843485 843497 843431 0 -1 1077936128 539408 0 0 0 358663 87 0 0 20 0 3 0 160617520 479723520 103140 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
/proc/843497/statm: 117120 103140 2974 3032 0 105841 0
[pid=843497/tid=843508] ppid=843485 vsize=468480 memory=5536 CPUtime=3587.2 cores=0,2
/proc/843497/task/843508/stat : 843508 (fscip) R 843485 843497 843431 0 -1 4194368 535376 0 0 0 358641 79 0 0 20 0 3 0 160617522 479723520 103140 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
[pid=843497/tid=843512] ppid=843485 vsize=468480 memory=15980 CPUtime=0.02 cores=0,2
/proc/843497/task/843512/stat : 843512 (fscip) S 843485 843497 843431 0 -1 1077936192 162 0 0 0 1 1 0 0 20 0 3 0 160617523 479723520 103140 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
Current children cumulated CPU time: 3587.5 s
Current children cumulated vsize: 468480 KiB
Current children cumulated memory: 412560 KiB

[startup+3599.6 s]
/proc/loadavg: 4.07 4.08 4.03 6/264 845338
/proc/meminfo: memFree=122202272/131524600 swapFree=131071996/131071996
[pid=843497] ppid=843485 vsize=468480 memory=412560 CPUtime=3587.89 cores=0,2
/proc/843497/stat : 843497 (fscip) S 843485 843497 843431 0 -1 1077936128 539458 0 0 0 358702 87 0 0 20 0 3 0 160617520 479723520 103140 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
/proc/843497/statm: 117120 103140 2974 3032 0 105841 0
[pid=843497/tid=843508] ppid=843485 vsize=468480 memory=4732 CPUtime=3587.6 cores=0,2
/proc/843497/task/843508/stat : 843508 (fscip) R 843485 843497 843431 0 -1 4194368 535426 0 0 0 358681 79 0 0 20 0 3 0 160617522 479723520 103140 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
[pid=843497/tid=843512] ppid=843485 vsize=468480 memory=6720665462935600751 CPUtime=0.02 cores=0,2
/proc/843497/task/843512/stat : 843512 (fscip) S 843485 843497 843431 0 -1 1077936192 162 0 0 0 1 1 0 0 20 0 3 0 160617523 479723520 103140 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
Current children cumulated CPU time: 3587.89 s
Current children cumulated vsize: 468480 KiB
Current children cumulated memory: 412560 KiB

[startup+3600 s]*
/proc/loadavg: 4.07 4.08 4.03 6/264 845340
/proc/meminfo: memFree=122202328/131524600 swapFree=131071996/131071996
[pid=843497] ppid=843485 vsize=468480 memory=412560 CPUtime=3588.3 cores=0,2
/proc/843497/stat : 843497 (fscip) S 843485 843497 843431 0 -1 1077936128 539763 0 0 0 358743 87 0 0 20 0 3 0 160617520 479723520 103140 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
/proc/843497/statm: 117120 103140 2974 3032 0 105841 0
[pid=843497/tid=843508] ppid=843485 vsize=468480 memory=6720665467230568044 CPUtime=3588 cores=0,2
/proc/843497/task/843508/stat : 843508 (fscip) R 843485 843497 843431 0 -1 4194368 535730 0 0 0 358721 79 0 0 20 0 3 0 160617522 479723520 103140 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
[pid=843497/tid=843512] ppid=843485 vsize=468480 memory=-8621784572243001500 CPUtime=0.02 cores=0,2
/proc/843497/task/843512/stat : 843512 (fscip) S 843485 843497 843431 0 -1 1077936192 162 0 0 0 1 1 0 0 20 0 3 0 160617523 479723520 103140 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
Current children cumulated CPU time: 3588.3 s
Current children cumulated vsize: 468480 KiB
Current children cumulated memory: 412560 KiB

[startup+3600.11 s]
/proc/loadavg: 4.07 4.08 4.03 6/264 845340
/proc/meminfo: memFree=122202328/131524600 swapFree=131071996/131071996
[pid=843497] ppid=843485 vsize=467452 memory=411532 CPUtime=3588.4 cores=0,2
/proc/843497/stat : 843497 (fscip) S 843485 843497 843431 0 -1 1077936128 540635 0 0 0 358753 87 0 0 20 0 3 0 160617520 478670848 102883 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
/proc/843497/statm: 116863 102883 2974 3032 0 105584 0
[pid=843497/tid=843508] ppid=843485 vsize=467452 memory=412560 CPUtime=3588.1 cores=0,2
/proc/843497/task/843508/stat : 843508 (fscip) R 843485 843497 843431 0 -1 4194368 536602 0 0 0 358731 79 0 0 20 0 3 0 160617522 478670848 102883 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
[pid=843497/tid=843512] ppid=843485 vsize=467452 memory=412560 CPUtime=0.02 cores=0,2
/proc/843497/task/843512/stat : 843512 (fscip) S 843485 843497 843431 0 -1 1077936192 162 0 0 0 1 1 0 0 20 0 3 0 160617523 478670848 102883 134679101440 4194304 16613245 140729968550880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45649920 140729968555029 140729968555145 140729968555145 140729968562160 0
Current children cumulated CPU time: 3588.4 s
Current children cumulated vsize: 467452 KiB
Current children cumulated memory: 411532 KiB

Child status: 0

Real time (s): 3600.17
CPU time (s): 3588.48
CPU user time (s): 3587.59
CPU system time (s): 0.881137
CPU usage (%): 99.6751
Max. virtual memory (cumulated for all children) (KiB): 468480
Max. memory (cumulated for all children) (KiB): 412560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.59
system time used= 0.881137
maximum resident set size= 412560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 540754
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= 13162
involuntary context switches= 25288


# summary of solver processes directly reported to runsolver:
#   pid: 843497
#   total CPU time (s): 3588.48
#   total CPU user time (s): 3587.59
#   total CPU system time (s): 0.881137

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.12043 second user time and 16.4064 second system time

The end

Launcher Data

Begin job on nodeC029 at 2024-07-16 01:01:54
IDJOB=4434649
IDBENCH=147538
IDSOLVER=3064
FILE ID=nodeC029/4434649-1721084501
RUNJOBID= nodeC029-1721084514-843442
SLURM_JOB_ID= 7505574
Free space on /tmp= 890068 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.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-4434649-1721084501/watcher-4434649-1721084501 -o /tmp/evaluation-result-4434649-1721084501/solver-4434649-1721084501 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721084514-843442 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434649-1721084501.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= bed0fcfa7fe1ab50726d34a7d1903e12
RANDOM SEED=34821137

nodeC029.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		: 3809.142
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	: 7000.09
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		: 3715.434
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	: 7006.98
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		: 3646.573
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	: 7000.09
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		: 3842.442
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	: 7006.98
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		: 3754.595
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	: 7000.09
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		: 3802.407
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	: 7006.98
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		: 3617.361
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	: 7000.09
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		: 3610.925
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	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123666404 kB
MemAvailable:   129672964 kB
Buffers:          375852 kB
Cached:          6395204 kB
SwapCached:            0 kB
Active:           678308 kB
Inactive:        6428876 kB
Active(anon):       1348 kB
Inactive(anon):   372492 kB
Active(file):     676960 kB
Inactive(file):  6056384 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            112200 kB
Writeback:             0 kB
AnonPages:        336120 kB
Mapped:           103908 kB
Shmem:             37720 kB
KReclaimable:     225724 kB
Slab:             346508 kB
SReclaimable:     225724 kB
SUnreclaim:       120784 kB
KernelStack:        3952 kB
PageTables:         9776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     666832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60448 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 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:      279252 kB
DirectMap2M:    36194304 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 889956 MiB
End job on nodeC029 at 2024-07-16 02:01:54