Trace number 4459763

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-02SAT-69 3591.63 3600.22

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_500_25_3.opb
MD5SUMfd2f82137517c7c348dacac3fbe759ff
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-78
Best CPU time to get the best result obtained on this benchmark71365.9
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint25
Maximum length of a constraint49
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15722
Sum of products size (including duplicates)31444
Number of different products7861
Sum of products size15722

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.05	c Default LC presolving (default).
0.00/0.05	c ** Before presolving: virtualMemUsedAtLc = 53813248, getVmSize() = 53813248, SCIPgetMemUsed() = 27211358, SCIPgetMemTotal() = 31321230, SCIPgetMemExternEstim() = 16580246
0.00/0.05	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.09/0.13	c ** Estimated virtualMemUsedAtSolver = 41704300, getVmSize() = 70553600, SCIPgetMemUsed() = 29342316, SCIPgetMemTotal() = 45976204, SCIPgetMemExternEstim() = 16580246
0.09/0.13	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.09/0.13	c Original Problem   :
0.09/0.13	c   Problem name     : instance-4459763-1721939464
0.09/0.13	c   Variables        : 8361 (500 binary, 0 integer, 7861 implicit integer, 0 continuous)
0.09/0.13	c   Constraints      : 8861
0.09/0.13	c   Objective sense  : minimize
0.09/0.13	c Presolved Problem  :
0.09/0.13	c   Variables        : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.13	c   Constraints      : 7861
0.09/0.13	c Constraints        : Number
0.09/0.13	c   setppc           : 7861 
0.09/0.13	c ** Instance transfer method used: 0
0.09/0.14	c ** ParaScipInstance copy does not increase the number of variables. **
0.09/0.15	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.09/0.15	c                                Nodes    Active                                            
0.09/0.15	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.19/0.26	c *       0              0           1         1         -47.0000                -          -
0.19/0.26	c *       0              0           1         1         -65.0000                -          -
0.19/0.28	c *       0              0           1         1         -67.0000                -          -
13.83/13.91	c        14              2           1         1         -67.0000        -148.3333    121.39%
19.12/19.27	c        19              4           3         1         -67.0000        -148.2108    121.21%
24.71/24.84	c        25              6           5         1         -67.0000        -147.9897    120.88%
30.29/30.42	c        30             13          12         1         -67.0000        -147.9897    120.88%
35.59/35.72	c        36             43          42         1         -67.0000        -147.9087    120.76%
41.97/42.16	c        42             56          55         1         -67.0000        -147.3203    119.88%
47.26/47.46	c        47             74          73         1         -67.0000        -147.3203    119.88%
53.74/53.91	c        54             84          83         1         -67.0000        -147.3203    119.88%
59.13/59.33	c        59            104         103         1         -67.0000        -147.3203    119.88%
61.22/61.42	c *      61            127         126         1         -68.0000        -147.3150    116.64%
64.62/64.89	c        65            151         150         1         -68.0000        -147.3150    116.64%
70.60/70.85	c        71            170         169         1         -68.0000        -147.3150    116.64%
75.90/76.19	c        76            180         179         1         -68.0000        -147.3150    116.64%
84.07/84.37	c        84            191         190         1         -68.0000        -147.3150    116.64%
89.56/89.88	c        90            202         201         1         -68.0000        -147.3150    116.64%
96.44/96.79	c        97            214         213         1         -68.0000        -147.3150    116.64%
102.43/102.78	c       103            225         224         1         -68.0000        -147.3150    116.64%
108.02/108.36	c       108            244         243         1         -68.0000        -147.3150    116.64%
113.61/114.00	c       114            274         273         1         -68.0000        -147.3150    116.64%
120.09/120.42	c       120            288         287         1         -68.0000        -147.3150    116.64%
121.48/121.86	c *     122            297         296         1         -69.0000        -147.3150    113.50%
125.37/125.77	c       126            311         310         1         -69.0000        -147.3150    113.50%
132.36/132.77	c       133            330         329         1         -69.0000        -147.1225    113.22%
138.54/138.98	c       139            356         355         1         -69.0000        -147.1225    113.22%
143.64/144.07	c       144            383         382         1         -69.0000        -147.0867    113.17%
149.32/149.71	c       150            414         413         1         -69.0000        -147.0867    113.17%
154.71/155.19	c       155            443         442         1         -69.0000        -147.0867    113.17%
160.39/160.88	c       161            472         471         1         -69.0000        -147.0867    113.17%
165.88/166.30	c       166            491         490         1         -69.0000        -146.4494    112.25%
171.97/172.41	c       172            514         513         1         -69.0000        -146.4494    112.25%
177.25/177.75	c       178            524         523         1         -69.0000        -146.4494    112.25%
182.54/183.00	c       183            534         533         1         -69.0000        -146.4494    112.25%
187.53/188.04	c       188            559         558         1         -69.0000        -146.4494    112.25%
193.22/193.75	c       194            579         578         1         -69.0000        -146.4494    112.25%
199.31/199.82	c       200            603         602         1         -69.0000        -146.4494    112.25%
205.50/206.09	c       206            631         630         1         -69.0000        -146.4494    112.25%
210.78/211.37	c       211            654         653         1         -69.0000        -146.4494    112.25%
216.36/216.96	c       217            684         683         1         -69.0000        -146.4494    112.25%
222.75/223.31	c       223            710         709         1         -69.0000        -146.4494    112.25%
228.14/228.73	c       229            739         738         1         -69.0000        -146.4494    112.25%
233.53/234.19	c       234            779         778         1         -69.0000        -146.4494    112.25%
238.92/239.51	c       240            816         815         1         -69.0000        -146.4494    112.25%
244.60/245.22	c       245            854         853         1         -69.0000        -146.4494    112.25%
250.19/250.86	c       251            890         889         1         -69.0000        -146.4494    112.25%
255.67/256.37	c       256            935         934         1         -69.0000        -146.4494    112.25%
261.46/262.14	c       262            974         973         1         -69.0000        -146.4494    112.25%
266.85/267.56	c       268           1006        1005         1         -69.0000        -146.4494    112.25%
272.23/272.91	c       273           1030        1029         1         -69.0000        -146.4494    112.25%
283.41/284.12	c       284           1051           1         1         -69.0000        -146.4494    112.25%
290.59/291.39	c       291           1055           5         1         -69.0000        -146.4494    112.25%
296.08/296.80	c       297           1057           7         1         -69.0000        -146.4494    112.25%
305.26/306.09	c       306           1062          12         1         -69.0000        -146.4494    112.25%
311.14/311.98	c       312           1082          32         1         -69.0000        -146.4494    112.25%
316.63/317.47	c       317           1100          50         1         -69.0000        -146.4494    112.25%
322.32/323.15	c       323           1130          80         1         -69.0000        -146.4494    112.25%
328.60/329.48	c       329           1164         114         1         -69.0000        -146.4494    112.25%
333.69/334.50	c       334           1189         139         1         -69.0000        -146.4494    112.25%
339.68/340.59	c       341           1202         152         1         -69.0000        -146.4494    112.25%
344.96/345.88	c       346           1221         171         1         -69.0000        -146.4494    112.25%
350.45/351.39	c       351           1243         193         1         -69.0000        -146.4494    112.25%
356.74/357.66	c       358           1264         214         1         -69.0000        -146.4494    112.25%
361.83/362.71	c       363           1286         236         1         -69.0000        -146.3245    112.06%
368.22/369.15	c       369           1308         258         1         -69.0000        -146.0142    111.61%
373.90/374.89	c       375           1333         283         1         -69.0000        -145.6226    111.05%
379.68/380.64	c       381           1357         307         1         -69.0000        -145.4937    110.86%
384.78/385.75	c       386           1371         321         1         -69.0000        -145.3888    110.71%
390.26/391.28	c       391           1395         345         1         -69.0000        -145.1361    110.34%
396.65/397.69	c       398           1414         364         1         -69.0000        -144.8121    109.87%
402.14/403.12	c       403           1437         387         1         -69.0000        -144.7711    109.81%
407.32/408.37	c       408           1451         401         1         -69.0000        -144.3721    109.23%
413.30/414.37	c       414           1477         427         1         -69.0000        -144.2999    109.13%
419.00/420.05	c       420           1492         442         1         -69.0000        -144.1254    108.88%
424.87/425.94	c       426           1521         471         1         -69.0000        -143.8697    108.51%
430.07/431.11	c       431           1541         491         1         -69.0000        -143.6562    108.20%
435.25/436.32	c       436           1551         501         1         -69.0000        -143.6089    108.13%
441.23/442.40	c       442           1574         524         1         -69.0000        -143.5032    107.98%
447.22/448.32	c       448           1601         551         1         -69.0000        -143.3972    107.82%
452.21/453.35	c       453           1621         571         1         -69.0000        -143.1693    107.49%
457.20/458.37	c       458           1643         593         1         -69.0000        -143.0360    107.30%
462.59/463.71	c       464           1663         613         1         -69.0000        -142.9828    107.22%
467.88/469.04	c       469           1678         628         1         -69.0000        -142.9805    107.22%
474.26/475.45	c       475           1697         647         1         -69.0000        -142.8548    107.04%
479.55/480.76	c       481           1718         668         1         -69.0000        -142.6749    106.78%
484.94/486.17	c       486           1739         689         1         -69.0000        -142.5933    106.66%
490.12/491.30	c       491           1761         711         1         -69.0000        -142.3838    106.35%
495.61/496.88	c       497           1785         735         1         -69.0000        -142.3663    106.33%
501.00/502.28	c       502           1819         769         1         -69.0000        -142.3596    106.32%
506.49/507.71	c       508           1855         805         1         -69.0000        -142.0342    105.85%
511.97/513.25	c       513           1882         832         1         -69.0000        -141.9122    105.67%
518.06/519.31	c       519           1905         855         1         -69.0000        -141.8415    105.57%
523.05/524.38	c       524           1936         886         1         -69.0000        -141.6630    105.31%
528.74/530.07	c       530           1965         915         1         -69.0000        -141.3315    104.83%
533.83/535.16	c       535           1986         936         1         -69.0000        -141.3183    104.81%
539.11/540.43	c       540           2001         951         1         -69.0000        -141.2207    104.67%
545.10/546.42	c       546           2025         975         1         -69.0000        -141.2031    104.64%
550.18/551.53	c       552           2050        1000         1         -69.0000        -141.1182    104.52%
555.68/557.03	c       557           2078        1028         1         -69.0000        -141.0169    104.37%
560.96/562.35	c       562           2105        1055         1         -69.0000        -140.9006    104.20%
567.65/569.08	c       569           2130        1080         1         -69.0000        -140.8504    104.13%
573.53/574.93	c       575           2155        1105         1         -69.0000        -140.8247    104.09%
579.32/580.77	c       581           2176        1126         1         -69.0000        -140.7645    104.01%
584.71/586.11	c       586           2208        1158         1         -69.0000        -140.7488    103.98%
590.39/591.82	c       592           2232        1182         1         -69.0000        -140.6871    103.89%
595.48/596.94	c       597           2257        1207         1         -69.0000        -140.6176    103.79%
601.57/603.01	c       603           2286        1236         1         -69.0000        -140.5395    103.68%
607.45/608.90	c       609           2311        1261         1         -69.0000        -140.4850    103.60%
612.64/614.19	c       614           2334        1284         1         -69.0000        -140.4293    103.52%
618.23/619.75	c       620           2360        1310         1         -69.0000        -140.3520    103.41%
623.22/624.75	c       625           2391        1341         1         -69.0000        -140.2378    103.24%
628.61/630.18	c       630           2424        1374         1         -69.0000        -140.2029    103.19%
634.19/635.70	c       636           2443        1393         1         -69.0000        -140.1403    103.10%
639.49/641.06	c       641           2463        1413         1         -69.0000        -140.1250    103.08%
644.57/646.18	c       646           2501        1451         1         -69.0000        -140.0873    103.03%
650.56/652.12	c       652           2541        1491         1         -69.0000        -140.0601    102.99%
655.64/657.29	c       657           2570        1520         1         -69.0000        -140.0601    102.99%
661.04/662.69	c       663           2606        1556         1         -69.0000        -140.0139    102.92%
666.12/667.71	c       668           2646        1596         1         -69.0000        -139.9922    102.89%
671.31/672.93	c       673           2672        1622         1         -69.0000        -139.9788    102.87%
676.89/678.55	c       679           2704        1654         1         -69.0000        -139.9742    102.86%
682.49/684.13	c       684           2731        1681         1         -69.0000        -139.9681    102.85%
688.27/689.99	c       690           2763        1713         1         -69.0000        -139.9377    102.81%
693.46/695.13	c       695           2786        1736         1         -69.0000        -139.9348    102.80%
699.25/700.92	c       701           2816        1766         1         -69.0000        -139.8868    102.73%
704.24/705.94	c       706           2835        1785         1         -69.0000        -139.8868    102.73%
709.72/711.46	c       711           2862        1812         1         -69.0000        -139.8795    102.72%
715.21/716.95	c       717           2882        1832         1         -69.0000        -139.8712    102.71%
721.89/723.69	c       724           2921        1871         1         -69.0000        -139.8323    102.66%
727.78/729.57	c       730           2935        1885         1         -69.0000        -139.8301    102.65%
733.17/734.98	c       735           2966        1916         1         -69.0000        -139.8246    102.64%
738.37/740.13	c       740           3006        1956         1         -69.0000        -139.8229    102.64%
744.25/746.00	c       746           3033        1983         1         -69.0000        -139.8133    102.63%
750.63/752.47	c       752           3061        2011         1         -69.0000        -139.8106    102.62%
756.23/758.01	c       758           3094        2044         1         -69.0000        -139.7731    102.57%
762.31/764.14	c       764           3140        2090         1         -69.0000        -139.7719    102.57%
767.99/769.87	c       770           3171        2121         1         -69.0000        -139.7536    102.54%
773.18/775.03	c       775           3201        2151         1         -69.0000        -139.7434    102.53%
779.96/781.87	c       782           3241        2191         1         -69.0000        -139.7361    102.52%
785.06/786.99	c       787           3267        2217         1         -69.0000        -139.7214    102.49%
791.04/792.91	c       793           3301        2251         1         -69.0000        -139.7173    102.49%
796.93/798.84	c       799           3327        2277         1         -69.0000        -139.7099    102.48%
802.81/804.70	c       805           3353        2303         1         -69.0000        -139.6375    102.37%
807.90/809.88	c       810           3381        2331         1         -69.0000        -139.6315    102.36%
813.20/815.16	c       815           3419        2369         1         -69.0000        -139.6223    102.35%
818.78/820.72	c       821           3467        2417         1         -69.0000        -139.6189    102.35%
823.87/825.88	c       826           3505        2455         1         -69.0000        -139.5784    102.29%
829.06/831.08	c       831           3537        2487         1         -69.0000        -139.5554    102.25%
834.15/836.19	c       836           3571        2521         1         -69.0000        -139.5434    102.24%
840.33/842.35	c       842           3606        2556         1         -69.0000        -139.4905    102.16%
845.42/847.48	c       847           3630        2580         1         -69.0000        -139.4877    102.16%
851.60/853.63	c       854           3658        2608         1         -69.0000        -139.4763    102.14%
857.00/859.02	c       859           3686        2636         1         -69.0000        -139.4748    102.14%
862.37/864.46	c       864           3717        2667         1         -69.0000        -139.4648    102.12%
867.46/869.55	c       870           3757        2707         1         -69.0000        -139.4491    102.10%
873.54/875.67	c       876           3791        2741         1         -69.0000        -139.4367    102.08%
879.43/881.57	c       882           3816        2766         1         -69.0000        -139.4332    102.08%
885.31/887.46	c       887           3861        2811         1         -69.0000        -139.4232    102.06%
890.70/892.80	c       893           3895        2845         1         -69.0000        -139.4088    102.04%
895.68/897.85	c       898           3923        2873         1         -69.0000        -139.3808    102.00%
901.66/903.87	c       904           3956        2906         1         -69.0000        -139.3730    101.99%
907.44/909.62	c       910           3989        2939         1         -69.0000        -139.3576    101.97%
912.53/914.75	c       915           4019        2969         1         -69.0000        -139.3441    101.95%
918.32/920.56	c       921           4058        3008         1         -69.0000        -139.3294    101.93%
923.50/925.79	c       926           4084        3034         1         -69.0000        -139.3239    101.92%
928.68/930.92	c       931           4120        3070         1         -69.0000        -139.3184    101.91%
934.27/936.53	c       937           4153        3103         1         -69.0000        -139.3052    101.89%
939.45/941.78	c       942           4186        3136         1         -69.0000        -139.3000    101.88%
945.63/947.90	c       948           4224        3174         1         -69.0000        -139.2142    101.76%
950.72/953.02	c       953           4249        3199         1         -69.0000        -139.2142    101.76%
956.00/958.36	c       958           4286        3236         1         -69.0000        -139.2053    101.75%
961.29/963.66	c       964           4316        3266         1         -69.0000        -139.1987    101.74%
966.88/969.26	c       969           4352        3302         1         -69.0000        -139.1807    101.71%
972.56/974.95	c       975           4380        3330         1         -69.0000        -139.1802    101.71%
977.85/980.22	c       980           4414        3364         1         -69.0000        -139.1781    101.71%
983.55/985.96	c       986           4449        3399         1         -69.0000        -139.1655    101.69%
989.03/991.41	c       991           4498        3448         1         -69.0000        -139.1380    101.65%
994.72/997.18	c       997           4542        3492         1         -69.0000        -139.1200    101.62%
999.81/1002.29	c      1002           4564        3514         1         -69.0000        -139.1038    101.60%
1005.40/1007.88	c      1008           4596        3546         1         -69.0000        -139.0861    101.57%
1011.28/1013.73	c      1014           4634        3584         1         -69.0000        -139.0653    101.54%
1017.57/1020.05	c      1020           4656        3606         1         -69.0000        -139.0606    101.54%
1023.35/1025.83	c      1026           4690        3640         1         -69.0000        -139.0587    101.53%
1028.34/1030.85	c      1031           4731        3681         1         -69.0000        -139.0153    101.47%
1034.22/1036.75	c      1037           4767        3717         1         -69.0000        -139.0064    101.46%
1039.41/1041.91	c      1042           4800        3750         1         -69.0000        -138.9981    101.45%
1044.51/1047.10	c      1047           4826        3776         1         -69.0000        -138.9908    101.44%
1050.29/1052.85	c      1053           4848        3798         1         -69.0000        -138.9908    101.44%
1055.58/1058.11	c      1058           4881        3831         1         -69.0000        -138.9727    101.41%
1061.77/1064.37	c      1064           4923        3873         1         -69.0000        -138.9393    101.36%
1067.56/1070.17	c      1070           4965        3915         1         -69.0000        -138.9362    101.36%
1073.24/1075.87	c      1076           4984        3934         1         -69.0000        -138.9146    101.33%
1079.23/1081.82	c      1082           5018        3968         1         -69.0000        -138.9051    101.31%
1084.42/1087.03	c      1087           5045        3995         1         -69.0000        -138.9043    101.31%
1090.90/1093.52	c      1094           5077        4027         1         -69.0000        -138.8887    101.29%
1096.68/1099.34	c      1099           5107        4057         1         -69.0000        -138.8758    101.27%
1102.37/1105.03	c      1105           5128        4078         1         -69.0000        -138.8703    101.26%
1107.96/1110.61	c      1111           5164        4114         1         -69.0000        -138.8574    101.24%
1113.54/1116.21	c      1116           5199        4149         1         -69.0000        -138.8537    101.24%
1118.53/1121.28	c      1121           5241        4191         1         -69.0000        -138.8334    101.21%
1123.73/1126.43	c      1126           5276        4226         1         -69.0000        -138.8065    101.17%
1128.92/1131.68	c      1132           5305        4255         1         -69.0000        -138.7835    101.14%
1134.10/1136.84	c      1137           5339        4289         1         -69.0000        -138.7713    101.12%
1139.19/1141.99	c      1142           5376        4326         1         -69.0000        -138.7669    101.11%
1144.48/1147.27	c      1147           5416        4366         1         -69.0000        -138.7633    101.11%
1149.77/1152.55	c      1153           5451        4401         1         -69.0000        -138.7494    101.09%
1155.15/1157.90	c      1158           5481        4431         1         -69.0000        -138.7349    101.07%
1160.14/1162.91	c      1163           5511        4461         1         -69.0000        -138.7225    101.05%
1165.13/1167.99	c      1168           5541        4491         1         -69.0000        -138.6489    100.94%
1170.22/1173.01	c      1173           5566        4516         1         -69.0000        -138.6489    100.94%
1175.60/1178.43	c      1178           5597        4547         1         -69.0000        -138.6215    100.90%
1181.20/1184.04	c      1184           5624        4574         1         -69.0000        -138.6110    100.89%
1186.68/1189.53	c      1190           5657        4607         1         -69.0000        -138.5939    100.86%
1191.87/1194.78	c      1195           5687        4637         1         -69.0000        -138.5897    100.85%
1198.46/1201.37	c      1201           5717        4667         1         -69.0000        -138.5857    100.85%
1204.04/1206.90	c      1207           5746        4696         1         -69.0000        -138.5750    100.83%
1209.63/1212.53	c      1213           5781        4731         1         -69.0000        -138.5457    100.79%
1214.91/1217.82	c      1218           5805        4755         1         -69.0000        -138.5457    100.79%
1220.40/1223.36	c      1223           5840        4790         1         -69.0000        -138.5408    100.78%
1225.79/1228.78	c      1229           5872        4822         1         -69.0000        -138.5172    100.75%
1231.88/1234.80	c      1235           5921        4871         1         -69.0000        -138.5165    100.75%
1237.27/1240.22	c      1240           5956        4906         1         -69.0000        -138.5156    100.75%
1242.75/1245.74	c      1246           5996        4946         1         -69.0000        -138.5068    100.73%
1247.84/1250.85	c      1251           6034        4984         1         -69.0000        -138.5050    100.73%
1252.93/1255.91	c      1256           6070        5020         1         -69.0000        -138.5009    100.73%
1258.31/1261.39	c      1261           6106        5056         1         -69.0000        -138.4781    100.69%
1264.02/1267.02	c      1267           6137        5087         1         -69.0000        -138.4747    100.69%
1269.89/1272.93	c      1273           6171        5121         1         -69.0000        -138.4297    100.62%
1275.08/1278.18	c      1278           6200        5150         1         -69.0000        -138.4297    100.62%
1280.46/1283.55	c      1284           6233        5183         1         -69.0000        -138.4093    100.59%
1285.97/1289.10	c      1289           6266        5216         1         -69.0000        -138.3979    100.58%
1291.05/1294.11	c      1294           6298        5248         1         -69.0000        -138.3887    100.56%
1296.94/1300.04	c      1300           6332        5282         1         -69.0000        -138.3859    100.56%
1302.72/1305.81	c      1306           6371        5321         1         -69.0000        -138.3633    100.53%
1308.51/1311.61	c      1312           6417        5367         1         -69.0000        -138.3557    100.52%
1314.09/1317.23	c      1317           6452        5402         1         -69.0000        -138.3481    100.50%
1320.58/1323.78	c      1324           6490        5440         1         -69.0000        -138.3413    100.49%
1326.36/1329.54	c      1330           6531        5481         1         -69.0000        -138.3272    100.47%
1332.45/1335.68	c      1336           6568        5518         1         -69.0000        -138.3200    100.46%
1338.04/1341.22	c      1341           6608        5558         1         -69.0000        -138.3127    100.45%
1343.23/1346.40	c      1346           6632        5582         1         -69.0000        -138.3024    100.44%
1349.21/1352.48	c      1352           6656        5606         1         -69.0000        -138.2965    100.43%
1354.50/1357.76	c      1358           6680        5630         1         -69.0000        -138.2965    100.43%
1360.48/1363.78	c      1364           6713        5663         1         -69.0000        -138.2423    100.35%
1366.78/1370.05	c      1370           6746        5696         1         -69.0000        -138.2388    100.35%
1372.56/1375.81	c      1376           6793        5743         1         -69.0000        -138.2257    100.33%
1378.34/1381.62	c      1382           6825        5775         1         -69.0000        -138.2208    100.32%
1384.23/1387.59	c      1388           6854        5804         1         -69.0000        -138.2069    100.30%
1389.52/1392.88	c      1393           6891        5841         1         -69.0000        -138.1906    100.28%
1395.71/1399.03	c      1399           6921        5871         1         -69.0000        -138.1885    100.27%
1400.89/1404.28	c      1404           6953        5903         1         -69.0000        -138.1816    100.26%
1406.48/1409.81	c      1410           6999        5949         1         -69.0000        -138.1811    100.26%
1412.27/1415.66	c      1416           7041        5991         1         -69.0000        -138.1686    100.24%
1417.66/1421.00	c      1421           7071        6021         1         -69.0000        -138.1355    100.20%
1422.74/1426.14	c      1426           7110        6060         1         -69.0000        -138.1191    100.17%
1428.12/1431.57	c      1432           7138        6088         1         -69.0000        -138.1092    100.16%
1434.72/1438.19	c      1438           7168        6118         1         -69.0000        -138.0884    100.13%
1439.89/1443.35	c      1443           7207        6157         1         -69.0000        -138.0877    100.13%
1445.28/1448.73	c      1449           7244        6194         1         -69.0000        -138.0684    100.10%
1451.07/1454.56	c      1455           7289        6239         1         -69.0000        -138.0515    100.07%
1456.86/1460.34	c      1460           7332        6282         1         -69.0000        -138.0512    100.07%
1462.24/1465.77	c      1466           7365        6315         1         -69.0000        -138.0318    100.05%
1468.43/1471.91	c      1472           7396        6346         1         -69.0000        -138.0234    100.03%
1473.92/1477.44	c      1477           7439        6389         1         -69.0000        -137.9875     99.98%
1479.30/1482.87	c      1483           7469        6419         1         -69.0000        -137.9778     99.97%
1485.19/1488.77	c      1489           7501        6451         1         -69.0000        -137.9770     99.97%
1491.68/1495.28	c      1495           7528        6478         1         -69.0000        -137.9662     99.95%
1496.87/1500.49	c      1500           7554        6504         1         -69.0000        -137.9507     99.93%
1502.75/1506.36	c      1506           7608        6558         1         -69.0000        -137.9404     99.91%
1509.34/1512.93	c      1513           7659        6609         1         -69.0000        -137.9163     99.88%
1514.82/1518.41	c      1518           7691        6641         1         -69.0000        -137.9122     99.87%
1519.91/1523.56	c      1524           7731        6681         1         -69.0000        -137.8544     99.79%
1525.51/1529.16	c      1529           7772        6722         1         -69.0000        -137.8541     99.79%
1530.99/1534.63	c      1535           7821        6771         1         -69.0000        -137.8225     99.74%
1536.17/1539.86	c      1540           7849        6799         1         -69.0000        -137.8225     99.74%
1542.06/1545.71	c      1546           7892        6842         1         -69.0000        -137.7822     99.68%
1547.65/1551.31	c      1551           7927        6877         1         -69.0000        -137.7596     99.65%
1553.34/1557.06	c      1557           7965        6915         1         -69.0000        -137.7588     99.65%
1558.92/1562.62	c      1563           8009        6959         1         -69.0000        -137.7444     99.63%
1564.01/1567.75	c      1568           8061        7011         1         -69.0000        -137.7074     99.58%
1569.09/1572.80	c      1573           8097        7047         1         -69.0000        -137.6815     99.54%
1574.48/1578.27	c      1578           8132        7082         1         -69.0000        -137.6140     99.44%
1580.37/1584.12	c      1584           8174        7124         1         -69.0000        -137.5826     99.40%
1586.27/1590.07	c      1590           8210        7160         1         -69.0000        -137.5719     99.38%
1591.65/1595.45	c      1595           8241        7191         1         -69.0000        -137.5487     99.35%
1597.23/1601.03	c      1601           8288        7238         1         -69.0000        -137.5480     99.34%
1602.32/1606.18	c      1606           8316        7266         1         -69.0000        -137.5480     99.34%
1607.69/1611.54	c      1612           8361        7311         1         -69.0000        -137.5228     99.31%
1613.38/1617.22	c      1617           8386        7336         1         -69.0000        -137.5228     99.31%
1619.17/1623.06	c      1623           8427        7377         1         -69.0000        -137.4888     99.26%
1625.34/1629.23	c      1629           8466        7416         1         -69.0000        -137.4854     99.25%
1630.53/1634.49	c      1634           8506        7456         1         -69.0000        -137.4712     99.23%
1636.61/1640.52	c      1641           8554        7504         1         -69.0000        -137.4558     99.21%
1642.49/1646.40	c      1646           8590        7540         1         -69.0000        -137.4541     99.21%
1647.88/1651.86	c      1652           8625        7575         1         -69.0000        -137.4335     99.18%
1652.97/1656.90	c      1657           8646        7596         1         -69.0000        -137.4197     99.16%
1657.95/1661.99	c      1662           8691        7641         1         -69.0000        -137.3789     99.10%
1663.24/1667.24	c      1667           8729        7679         1         -69.0000        -137.3636     99.08%
1668.42/1672.47	c      1672           8763        7713         1         -69.0000        -137.3601     99.07%
1673.61/1677.66	c      1678           8797        7747         1         -69.0000        -137.3597     99.07%
1679.19/1683.28	c      1683           8840        7790         1         -69.0000        -137.3314     99.03%
1685.18/1689.29	c      1689           8871        7821         1         -69.0000        -137.2938     98.98%
1690.97/1695.02	c      1695           8906        7856         1         -69.0000        -137.2880     98.97%
1695.95/1700.07	c      1700           8936        7886         1         -69.0000        -137.2819     98.96%
1701.83/1705.98	c      1706           8986        7936         1         -69.0000        -137.2691     98.94%
1707.41/1711.54	c      1712           9029        7979         1         -69.0000        -137.2570     98.92%
1713.49/1717.61	c      1718           9070        8020         1         -69.0000        -137.2473     98.91%
1718.67/1722.83	c      1723           9109        8059         1         -69.0000        -137.2443     98.90%
1725.65/1729.81	c      1730           9146        8096         1         -69.0000        -137.2292     98.88%
1730.74/1734.91	c      1735           9189        8139         1         -69.0000        -137.2184     98.87%
1736.32/1740.51	c      1741           9207        8157         1         -69.0000        -137.2183     98.87%
1741.40/1745.66	c      1746           9242        8192         1         -69.0000        -137.2010     98.84%
1747.10/1751.37	c      1751           9291        8241         1         -69.0000        -137.1843     98.82%
1752.28/1756.60	c      1757           9321        8271         1         -69.0000        -137.1806     98.81%
1758.06/1762.34	c      1762           9356        8306         1         -69.0000        -137.1806     98.81%
1764.14/1768.41	c      1768           9404        8354         1         -69.0000        -137.1806     98.81%
1769.42/1773.70	c      1774           9443        8393         1         -69.0000        -137.1806     98.81%
1775.11/1779.42	c      1779           9481        8431         1         -69.0000        -137.1806     98.81%
1780.59/1784.96	c      1785           9524        8474         1         -69.0000        -137.1780     98.81%
1786.07/1790.43	c      1790           9568        8518         1         -69.0000        -137.1724     98.80%
1791.76/1796.17	c      1796           9619        8569         1         -69.0000        -137.1724     98.80%
1797.25/1801.69	c      1802           9676        8626         1         -69.0000        -137.1688     98.80%
1802.34/1806.72	c      1807           9709        8659         1         -69.0000        -137.1657     98.79%
1808.31/1812.78	c      1813           9750        8700         1         -69.0000        -137.1657     98.79%
1814.20/1818.68	c      1819           9813        8763         1         -69.0000        -137.1477     98.76%
1819.48/1823.91	c      1824           9864        8814         1         -69.0000        -137.1351     98.75%
1824.86/1829.38	c      1829           9905        8855         1         -69.0000        -137.1351     98.75%
1830.45/1834.99	c      1835           9946        8896         1         -69.0000        -137.1212     98.73%
1836.63/1841.17	c      1841           9982        8932         1         -69.0000        -137.1193     98.72%
1841.92/1846.44	c      1846          10031        8981         1         -69.0000        -137.1193     98.72%
1848.10/1852.65	c      1853          10074        9024         1         -69.0000        -137.1035     98.70%
1853.29/1857.82	c      1858          10121        9071         1         -69.0000        -137.0939     98.69%
1858.77/1863.38	c      1863          10150        9100         1         -69.0000        -137.0939     98.69%
1864.25/1868.89	c      1869          10213        9163         1         -69.0000        -137.0883     98.68%
1869.64/1874.28	c      1874          10286        9236         1         -69.0000        -137.0805     98.67%
1874.82/1879.42	c      1879          10339        9289         1         -69.0000        -137.0557     98.63%
1879.81/1884.47	c      1884          10372        9322         1         -69.0000        -137.0557     98.63%
1884.79/1889.47	c      1889          10401        9351         1         -69.0000        -137.0546     98.63%
1890.87/1895.55	c      1896          10457        9407         1         -69.0000        -137.0546     98.63%
1896.85/1901.54	c      1902          10508        9458         1         -69.0000        -137.0534     98.63%
1901.94/1906.69	c      1907          10554        9504         1         -69.0000        -137.0503     98.62%
1907.33/1912.00	c      1912          10608        9558         1         -69.0000        -137.0503     98.62%
1912.71/1917.45	c      1917          10670        9620         1         -69.0000        -137.0449     98.62%
1918.19/1922.91	c      1923          10730        9680         1         -69.0000        -137.0376     98.61%
1923.68/1928.42	c      1928          10773        9723         1         -69.0000        -137.0366     98.60%
1929.66/1934.43	c      1934          10846        9796         1         -69.0000        -137.0252     98.59%
1934.95/1939.72	c      1940          10891        9841         1         -69.0000        -137.0175     98.58%
1940.34/1945.18	c      1945          10939        9889         1         -69.0000        -137.0175     98.58%
1946.61/1951.43	c      1951          10967        9917         1         -69.0000        -137.0109     98.57%
1952.10/1956.97	c      1957          11001        9951         1         -69.0000        -137.0109     98.57%
1957.29/1962.16	c      1962          11037        9987         1         -69.0000        -137.0031     98.56%
1962.66/1967.56	c      1968          11069       10019         1         -69.0000        -137.0031     98.56%
1968.45/1973.34	c      1973          11123       10073         1         -69.0000        -136.9907     98.54%
1973.62/1978.56	c      1979          11171       10121         1         -69.0000        -136.9816     98.52%
1979.51/1984.48	c      1984          11207       10157         1         -69.0000        -136.9816     98.52%
1984.70/1989.60	c      1990          11235       10185         1         -69.0000        -136.9816     98.52%
1989.88/1994.85	c      1995          11279       10229         1         -69.0000        -136.9771     98.52%
1995.07/2000.09	c      2000          11335       10285         1         -69.0000        -136.9627     98.50%
2001.16/2006.15	c      2006          11387       10337         1         -69.0000        -136.9254     98.44%
2006.94/2011.91	c      2012          11450       10400         1         -69.0000        -136.9254     98.44%
2012.03/2017.01	c      2017          11492       10442         1         -69.0000        -136.9192     98.43%
2017.02/2022.07	c      2022          11546       10496         1         -69.0000        -136.9096     98.42%
2023.40/2028.41	c      2028          11607       10557         1         -69.0000        -136.8883     98.39%
2029.58/2034.67	c      2035          11650       10600         1         -69.0000        -136.8883     98.39%
2035.47/2040.56	c      2041          11702       10652         1         -69.0000        -136.8805     98.38%
2041.16/2046.24	c      2046          11746       10696         1         -69.0000        -136.8790     98.38%
2046.84/2051.92	c      2052          11789       10739         1         -69.0000        -136.8790     98.38%
2052.63/2057.79	c      2058          11836       10786         1         -69.0000        -136.8752     98.37%
2058.11/2063.25	c      2063          11866       10816         1         -69.0000        -136.8752     98.37%
2063.61/2068.70	c      2069          11917       10867         1         -69.0000        -136.8505     98.33%
2069.60/2074.71	c      2075          11962       10912         1         -69.0000        -136.8375     98.32%
2074.78/2079.93	c      2080          12011       10961         1         -69.0000        -136.8330     98.31%
2080.27/2085.43	c      2085          12069       11019         1         -69.0000        -136.8330     98.31%
2086.36/2091.53	c      2092          12120       11070         1         -69.0000        -136.8287     98.30%
2092.04/2097.21	c      2097          12159       11109         1         -69.0000        -136.8178     98.29%
2097.23/2102.47	c      2102          12227       11177         1         -69.0000        -136.8086     98.27%
2102.42/2107.65	c      2108          12280       11230         1         -69.0000        -136.8086     98.27%
2107.50/2112.75	c      2113          12316       11266         1         -69.0000        -136.8030     98.27%
2112.99/2118.28	c      2118          12369       11319         1         -69.0000        -136.8025     98.26%
2119.08/2124.30	c      2124          12438       11388         1         -69.0000        -136.7831     98.24%
2124.77/2130.00	c      2130          12487       11437         1         -69.0000        -136.7831     98.24%
2130.76/2136.01	c      2136          12536       11486         1         -69.0000        -136.7735     98.22%
2137.54/2142.83	c      2143          12581       11531         1         -69.0000        -136.7695     98.22%
2144.02/2149.34	c      2149          12624       11574         1         -69.0000        -136.7695     98.22%
2149.41/2154.71	c      2155          12677       11627         1         -69.0000        -136.7647     98.21%
2155.09/2160.40	c      2160          12717       11667         1         -69.0000        -136.7318     98.16%
2160.58/2165.97	c      2166          12776       11726         1         -69.0000        -136.7318     98.16%
2165.87/2171.26	c      2171          12804       11754         1         -69.0000        -136.7216     98.15%
2171.06/2176.49	c      2176          12849       11799         1         -69.0000        -136.7216     98.15%
2176.44/2181.80	c      2182          12873       11823         1         -69.0000        -136.7192     98.14%
2181.83/2187.29	c      2187          12933       11883         1         -69.0000        -136.7178     98.14%
2188.12/2193.50	c      2194          12988       11938         1         -69.0000        -136.7178     98.14%
2193.61/2199.06	c      2199          13061       12011         1         -69.0000        -136.7074     98.13%
2198.80/2204.24	c      2204          13113       12063         1         -69.0000        -136.7074     98.13%
2205.38/2210.88	c      2211          13164       12114         1         -69.0000        -136.7032     98.12%
2210.46/2215.91	c      2216          13201       12151         1         -69.0000        -136.6907     98.10%
2215.45/2220.95	c      2221          13244       12194         1         -69.0000        -136.6907     98.10%
2221.35/2226.88	c      2227          13306       12256         1         -69.0000        -136.6888     98.10%
2227.23/2232.73	c      2233          13372       12322         1         -69.0000        -136.6544     98.05%
2233.12/2238.64	c      2239          13419       12369         1         -69.0000        -136.6464     98.04%
2238.21/2243.74	c      2244          13467       12417         1         -69.0000        -136.6464     98.04%
2243.90/2249.46	c      2249          13523       12473         1         -69.0000        -136.6414     98.03%
2249.08/2254.69	c      2255          13551       12501         1         -69.0000        -136.6332     98.02%
2254.48/2260.04	c      2260          13596       12546         1         -69.0000        -136.6332     98.02%
2260.25/2265.81	c      2266          13666       12616         1         -69.0000        -136.6221     98.00%
2266.44/2272.03	c      2272          13712       12662         1         -69.0000        -136.6135     97.99%
2271.93/2277.50	c      2278          13754       12704         1         -69.0000        -136.6135     97.99%
2276.92/2282.55	c      2283          13796       12746         1         -69.0000        -136.6070     97.98%
2282.51/2288.15	c      2288          13835       12785         1         -69.0000        -136.6031     97.98%
2288.00/2293.60	c      2294          13874       12824         1         -69.0000        -136.6031     97.98%
2293.18/2298.82	c      2299          13937       12887         1         -69.0000        -136.5998     97.97%
2299.16/2304.82	c      2305          14009       12959         1         -69.0000        -136.5937     97.96%
2304.76/2310.41	c      2310          14058       13008         1         -69.0000        -136.5897     97.96%
2310.54/2316.25	c      2316          14105       13055         1         -69.0000        -136.5897     97.96%
2316.23/2321.99	c      2322          14136       13086         1         -69.0000        -136.5817     97.94%
2321.82/2327.59	c      2328          14205       13155         1         -69.0000        -136.5816     97.94%
2327.50/2333.22	c      2333          14257       13207         1         -69.0000        -136.5807     97.94%
2332.79/2338.53	c      2339          14278       13228         1         -69.0000        -136.5807     97.94%
2338.28/2344.00	c      2344          14323       13273         1         -69.0000        -136.5655     97.92%
2343.86/2349.60	c      2350          14362       13312         1         -69.0000        -136.5655     97.92%
2348.86/2354.61	c      2355          14400       13350         1         -69.0000        -136.5640     97.92%
2354.65/2360.47	c      2360          14467       13417         1         -69.0000        -136.5492     97.90%
2359.83/2365.61	c      2366          14498       13448         1         -69.0000        -136.5492     97.90%
2365.52/2371.38	c      2371          14541       13491         1         -69.0000        -136.5219     97.86%
2371.30/2377.14	c      2377          14577       13527         1         -69.0000        -136.5219     97.86%
2376.50/2382.36	c      2382          14616       13566         1         -69.0000        -136.5178     97.85%
2382.19/2388.04	c      2388          14659       13609         1         -69.0000        -136.5178     97.85%
2387.37/2393.29	c      2393          14706       13656         1         -69.0000        -136.5151     97.85%
2393.35/2399.22	c      2399          14758       13708         1         -69.0000        -136.5143     97.85%
2398.64/2404.56	c      2405          14811       13761         1         -69.0000        -136.4980     97.82%
2404.23/2410.11	c      2410          14854       13804         1         -69.0000        -136.4980     97.82%
2409.71/2415.68	c      2416          14911       13861         1         -69.0000        -136.4697     97.78%
2415.60/2421.59	c      2422          14969       13919         1         -69.0000        -136.4674     97.78%
2421.09/2427.00	c      2427          15015       13965         1         -69.0000        -136.4674     97.78%
2426.77/2432.72	c      2433          15066       14016         1         -69.0000        -136.4621     97.77%
2432.36/2438.30	c      2438          15125       14075         1         -69.0000        -136.4591     97.77%
2438.25/2444.29	c      2444          15184       14134         1         -69.0000        -136.4576     97.76%
2444.23/2450.20	c      2450          15253       14203         1         -69.0000        -136.4472     97.75%
2449.92/2455.98	c      2456          15292       14242         1         -69.0000        -136.4472     97.75%
2455.51/2461.55	c      2462          15334       14284         1         -69.0000        -136.4158     97.70%
2461.30/2467.38	c      2467          15373       14323         1         -69.0000        -136.4128     97.70%
2467.88/2473.92	c      2474          15431       14381         1         -69.0000        -136.4128     97.70%
2473.87/2479.91	c      2480          15490       14440         1         -69.0000        -136.3882     97.66%
2479.36/2485.40	c      2485          15541       14491         1         -69.0000        -136.3750     97.64%
2484.74/2490.81	c      2491          15581       14531         1         -69.0000        -136.3716     97.64%
2489.93/2496.01	c      2496          15630       14580         1         -69.0000        -136.3716     97.64%
2495.31/2501.48	c      2501          15660       14610         1         -69.0000        -136.3701     97.64%
2501.40/2507.59	c      2508          15715       14665         1         -69.0000        -136.3701     97.64%
2507.79/2513.93	c      2514          15753       14703         1         -69.0000        -136.3629     97.63%
2513.98/2520.14	c      2520          15790       14740         1         -69.0000        -136.3629     97.63%
2519.87/2526.01	c      2526          15827       14777         1         -69.0000        -136.3502     97.61%
2525.45/2531.64	c      2532          15863       14813         1         -69.0000        -136.3465     97.60%
2530.64/2536.80	c      2537          15914       14864         1         -69.0000        -136.3465     97.60%
2536.52/2542.77	c      2543          15979       14929         1         -69.0000        -136.3397     97.59%
2542.01/2548.27	c      2548          16043       14993         1         -69.0000        -136.3365     97.59%
2547.40/2553.67	c      2554          16102       15052         1         -69.0000        -136.3365     97.59%
2552.49/2558.70	c      2559          16144       15094         1         -69.0000        -136.3299     97.58%
2557.67/2563.94	c      2564          16189       15139         1         -69.0000        -136.3299     97.58%
2562.96/2569.24	c      2569          16230       15180         1         -69.0000        -136.3139     97.56%
2568.55/2574.84	c      2575          16262       15212         1         -69.0000        -136.3139     97.56%
2574.44/2580.71	c      2581          16310       15260         1         -69.0000        -136.3031     97.54%
2580.32/2586.68	c      2587          16379       15329         1         -69.0000        -136.2973     97.53%
2585.61/2591.99	c      2592          16429       15379         1         -69.0000        -136.2910     97.52%
2590.71/2597.05	c      2597          16467       15417         1         -69.0000        -136.2910     97.52%
2596.39/2602.79	c      2603          16533       15483         1         -69.0000        -136.2859     97.52%
2601.98/2608.31	c      2608          16583       15533         1         -69.0000        -136.2743     97.50%
2607.96/2614.34	c      2614          16649       15599         1         -69.0000        -136.2730     97.50%
2613.35/2619.77	c      2620          16700       15650         1         -69.0000        -136.2730     97.50%
2618.84/2625.22	c      2625          16738       15688         1         -69.0000        -136.2717     97.50%
2624.33/2630.74	c      2631          16799       15749         1         -69.0000        -136.2603     97.48%
2629.91/2636.34	c      2636          16827       15777         1         -69.0000        -136.2603     97.48%
2636.10/2642.50	c      2643          16885       15835         1         -69.0000        -136.2515     97.47%
2642.18/2648.66	c      2649          16938       15888         1         -69.0000        -136.2506     97.46%
2647.57/2654.07	c      2654          16990       15940         1         -69.0000        -136.2470     97.46%
2654.46/2660.98	c      2661          17062       16012         1         -69.0000        -136.2421     97.45%
2659.54/2666.02	c      2666          17121       16071         1         -69.0000        -136.2412     97.45%
2665.13/2671.62	c      2672          17170       16120         1         -69.0000        -136.2412     97.45%
2671.11/2677.62	c      2678          17226       16176         1         -69.0000        -136.2408     97.45%
2676.70/2683.25	c      2683          17254       16204         1         -69.0000        -136.2408     97.45%
2682.59/2689.19	c      2689          17310       16260         1         -69.0000        -136.2266     97.43%
2688.58/2695.16	c      2695          17370       16320         1         -69.0000        -136.2222     97.42%
2693.66/2700.26	c      2700          17414       16364         1         -69.0000        -136.2190     97.42%
2699.45/2706.03	c      2706          17491       16441         1         -69.0000        -136.2174     97.42%
2705.23/2711.87	c      2712          17552       16502         1         -69.0000        -136.2103     97.41%
2710.72/2717.33	c      2717          17591       16541         1         -69.0000        -136.2103     97.41%
2716.91/2723.56	c      2724          17640       16590         1         -69.0000        -136.1919     97.38%
2722.30/2729.00	c      2729          17687       16637         1         -69.0000        -136.1888     97.38%
2728.39/2735.00	c      2735          17738       16688         1         -69.0000        -136.1888     97.38%
2734.38/2741.05	c      2741          17809       16759         1         -69.0000        -136.1844     97.37%
2739.96/2746.64	c      2747          17851       16801         1         -69.0000        -136.1833     97.37%
2745.74/2752.40	c      2752          17913       16863         1         -69.0000        -136.1829     97.37%
2751.63/2758.37	c      2758          17959       16909         1         -69.0000        -136.1829     97.37%
2757.62/2764.35	c      2764          18009       16959         1         -69.0000        -136.1778     97.36%
2763.10/2769.88	c      2770          18055       17005         1         -69.0000        -136.1524     97.32%
2768.59/2775.34	c      2775          18101       17051         1         -69.0000        -136.1469     97.31%
2773.88/2780.65	c      2781          18166       17116         1         -69.0000        -136.1469     97.31%
2778.87/2785.68	c      2786          18221       17171         1         -69.0000        -136.1277     97.29%
2784.95/2791.75	c      2792          18264       17214         1         -69.0000        -136.1238     97.28%
2790.24/2797.04	c      2797          18335       17285         1         -69.0000        -136.1010     97.25%
2795.73/2802.58	c      2803          18388       17336         1         -69.0000        -136.0793     97.22%
2800.82/2807.67	c      2808          18451       17399         1         -69.0000        -136.0727     97.21%
2806.10/2812.90	c      2813          18500       17448         1         -69.0000        -136.0727     97.21%
2811.69/2818.50	c      2819          18530       17478         1         -69.0000        -136.0577     97.19%
2816.98/2823.87	c      2824          18591       17539         1         -69.0000        -136.0541     97.18%
2822.47/2829.33	c      2829          18642       17590         1         -69.0000        -136.0541     97.18%
2828.16/2835.02	c      2835          18686       17634         1         -69.0000        -136.0526     97.18%
2833.34/2840.22	c      2840          18725       17673         1         -69.0000        -136.0526     97.18%
2838.73/2845.69	c      2846          18789       17737         1         -69.0000        -136.0417     97.16%
2844.61/2851.50	c      2852          18859       17807         1         -69.0000        -136.0407     97.16%
2850.31/2857.21	c      2857          18901       17849         1         -69.0000        -136.0391     97.16%
2856.20/2863.18	c      2863          18937       17885         1         -69.0000        -136.0391     97.16%
2862.18/2869.14	c      2869          18986       17934         1         -69.0000        -136.0371     97.16%
2867.56/2874.53	c      2875          19045       17993         1         -69.0000        -136.0329     97.15%
2873.55/2880.56	c      2881          19122       18070         1         -69.0000        -136.0313     97.15%
2878.84/2885.85	c      2886          19156       18104         1         -69.0000        -136.0298     97.14%
2883.83/2890.88	c      2891          19210       18158         1         -69.0000        -136.0298     97.14%
2889.81/2896.84	c      2897          19258       18206         1         -69.0000        -136.0292     97.14%
2895.71/2902.71	c      2903          19328       18276         1         -69.0000        -136.0266     97.14%
2900.79/2907.87	c      2908          19361       18309         1         -69.0000        -136.0205     97.13%
2906.77/2913.84	c      2914          19398       18346         1         -69.0000        -136.0205     97.13%
2912.46/2919.58	c      2920          19439       18387         1         -69.0000        -136.0160     97.12%
2917.65/2924.75	c      2925          19500       18448         1         -69.0000        -136.0160     97.12%
2924.53/2931.65	c      2932          19566       18514         1         -69.0000        -136.0157     97.12%
2930.04/2937.14	c      2937          19634       18582         1         -69.0000        -136.0146     97.12%
2935.92/2943.08	c      2943          19690       18638         1         -69.0000        -136.0101     97.12%
2941.10/2948.27	c      2948          19728       18676         1         -69.0000        -136.0064     97.11%
2946.19/2953.38	c      2953          19772       18720         1         -69.0000        -136.0064     97.11%
2951.88/2959.01	c      2959          19816       18764         1         -69.0000        -136.0060     97.11%
2956.97/2964.16	c      2964          19851       18799         1         -69.0000        -136.0054     97.11%
2963.96/2971.11	c      2971          19898       18846         1         -69.0000        -136.0054     97.11%
2969.34/2976.50	c      2977          19948       18896         1         -69.0000        -135.9911     97.09%
2974.42/2981.60	c      2982          19988       18936         1         -69.0000        -135.9911     97.09%
2980.02/2987.20	c      2987          20055       19003         1         -69.0000        -135.9904     97.09%
2986.00/2993.27	c      2993          20101       19049         1         -69.0000        -135.9876     97.08%
2991.58/2998.80	c      2999          20147       19095         1         -69.0000        -135.9705     97.06%
2996.67/3003.90	c      3004          20187       19135         1         -69.0000        -135.9705     97.06%
3002.16/3009.44	c      3009          20251       19199         1         -69.0000        -135.9621     97.05%
3007.95/3015.25	c      3015          20312       19260         1         -69.0000        -135.9603     97.04%
3013.04/3020.35	c      3020          20359       19307         1         -69.0000        -135.9572     97.04%
3019.02/3026.31	c      3026          20401       19349         1         -69.0000        -135.9572     97.04%
3024.11/3031.44	c      3031          20447       19395         1         -69.0000        -135.9540     97.03%
3029.70/3037.00	c      3037          20487       19435         1         -69.0000        -135.9475     97.03%
3035.39/3042.74	c      3043          20536       19484         1         -69.0000        -135.9475     97.03%
3040.68/3048.01	c      3048          20582       19530         1         -69.0000        -135.9473     97.03%
3046.16/3053.59	c      3054          20652       19600         1         -69.0000        -135.9467     97.02%
3052.25/3059.61	c      3060          20706       19654         1         -69.0000        -135.9361     97.01%
3058.33/3065.77	c      3066          20767       19715         1         -69.0000        -135.9348     97.01%
3064.32/3071.72	c      3072          20797       19745         1         -69.0000        -135.9348     97.01%
3069.90/3077.36	c      3077          20865       19813         1         -69.0000        -135.9311     97.00%
3075.30/3082.78	c      3083          20899       19847         1         -69.0000        -135.9311     97.00%
3080.99/3088.48	c      3088          20961       19909         1         -69.0000        -135.9239     96.99%
3086.17/3093.66	c      3094          21014       19962         1         -69.0000        -135.9233     96.99%
3092.26/3099.77	c      3100          21069       20017         1         -69.0000        -135.9202     96.99%
3097.74/3105.22	c      3105          21127       20075         1         -69.0000        -135.9124     96.97%
3103.33/3110.82	c      3111          21177       20125         1         -69.0000        -135.9124     96.97%
3108.82/3116.33	c      3116          21215       20163         1         -69.0000        -135.9034     96.96%
3113.90/3121.48	c      3121          21256       20204         1         -69.0000        -135.8849     96.93%
3120.69/3128.23	c      3128          21305       20253         1         -69.0000        -135.8849     96.93%
3126.58/3134.15	c      3134          21326       20274         1         -69.0000        -135.8840     96.93%
3131.76/3139.35	c      3139          21365       20313         1         -69.0000        -135.8840     96.93%
3137.16/3144.76	c      3145          21412       20360         1         -69.0000        -135.8796     96.93%
3142.35/3149.99	c      3150          21467       20415         1         -69.0000        -135.8687     96.91%
3147.63/3155.27	c      3155          21507       20455         1         -69.0000        -135.8687     96.91%
3152.72/3160.36	c      3160          21540       20488         1         -69.0000        -135.8515     96.89%
3158.60/3166.23	c      3166          21601       20549         1         -69.0000        -135.8461     96.88%
3164.50/3172.19	c      3172          21643       20591         1         -69.0000        -135.8461     96.88%
3170.28/3177.91	c      3178          21704       20652         1         -69.0000        -135.8456     96.88%
3175.86/3183.55	c      3184          21755       20703         1         -69.0000        -135.8427     96.87%
3181.36/3189.07	c      3189          21811       20759         1         -69.0000        -135.8412     96.87%
3186.63/3194.34	c      3194          21861       20809         1         -69.0000        -135.8412     96.87%
3192.81/3200.59	c      3201          21905       20853         1         -69.0000        -135.8382     96.87%
3199.20/3206.91	c      3207          21977       20925         1         -69.0000        -135.8316     96.86%
3204.29/3212.06	c      3212          22046       20994         1         -69.0000        -135.8232     96.85%
3210.17/3217.94	c      3218          22097       21045         1         -69.0000        -135.8198     96.84%
3216.14/3223.90	c      3224          22127       21075         1         -69.0000        -135.8198     96.84%
3221.53/3229.38	c      3229          22176       21124         1         -69.0000        -135.8110     96.83%
3227.22/3235.06	c      3235          22253       21201         1         -69.0000        -135.8104     96.83%
3232.40/3240.21	c      3240          22307       21255         1         -69.0000        -135.8074     96.82%
3237.89/3245.78	c      3246          22348       21296         1         -69.0000        -135.8074     96.82%
3243.08/3250.98	c      3251          22389       21337         1         -69.0000        -135.8068     96.82%
3248.17/3256.00	c      3256          22441       21389         1         -69.0000        -135.8003     96.81%
3253.56/3261.48	c      3261          22485       21433         1         -69.0000        -135.8003     96.81%
3259.65/3267.50	c      3268          22545       21493         1         -69.0000        -135.7956     96.81%
3264.73/3272.67	c      3273          22611       21559         1         -69.0000        -135.7928     96.80%
3270.02/3277.99	c      3278          22657       21605         1         -69.0000        -135.7848     96.79%
3275.41/3283.33	c      3283          22721       21669         1         -69.0000        -135.7847     96.79%
3280.60/3288.60	c      3289          22789       21737         1         -69.0000        -135.7847     96.79%
3286.09/3294.00	c      3294          22842       21790         1         -69.0000        -135.7815     96.78%
3291.77/3299.74	c      3300          22911       21859         1         -69.0000        -135.7807     96.78%
3297.06/3305.10	c      3305          22951       21899         1         -69.0000        -135.7691     96.77%
3303.16/3311.13	c      3311          23007       21955         1         -69.0000        -135.7650     96.76%
3308.34/3316.38	c      3316          23071       22019         1         -69.0000        -135.7644     96.76%
3313.92/3321.92	c      3322          23105       22053         1         -69.0000        -135.7644     96.76%
3319.81/3327.85	c      3328          23147       22095         1         -69.0000        -135.7614     96.76%
3325.00/3333.10	c      3333          23191       22139         1         -69.0000        -135.7614     96.76%
3331.58/3339.68	c      3340          23267       22215         1         -69.0000        -135.7500     96.74%
3336.67/3344.79	c      3345          23332       22280         1         -69.0000        -135.7459     96.73%
3342.26/3350.38	c      3350          23370       22318         1         -69.0000        -135.7454     96.73%
3348.24/3356.36	c      3356          23429       22377         1         -69.0000        -135.7226     96.70%
3354.13/3362.27	c      3362          23497       22445         1         -69.0000        -135.7190     96.69%
3359.82/3367.99	c      3368          23561       22509         1         -69.0000        -135.7142     96.69%
3365.11/3373.23	c      3373          23618       22566         1         -69.0000        -135.7142     96.69%
3371.30/3379.47	c      3379          23682       22630         1         -69.0000        -135.7122     96.68%
3376.68/3384.88	c      3385          23732       22680         1         -69.0000        -135.7106     96.68%
3383.07/3391.20	c      3391          23776       22724         1         -69.0000        -135.7104     96.68%
3388.16/3396.33	c      3396          23831       22779         1         -69.0000        -135.7104     96.68%
3393.55/3401.70	c      3402          23878       22826         1         -69.0000        -135.7072     96.68%
3399.34/3407.57	c      3408          23919       22867         1         -69.0000        -135.7016     96.67%
3405.22/3413.45	c      3413          23989       22937         1         -69.0000        -135.6949     96.66%
3410.91/3419.18	c      3419          24039       22987         1         -69.0000        -135.6949     96.66%
3416.00/3424.25	c      3424          24080       23028         1         -69.0000        -135.6794     96.64%
3421.68/3429.93	c      3430          24139       23087         1         -69.0000        -135.6727     96.63%
3427.57/3435.86	c      3436          24198       23146         1         -69.0000        -135.6689     96.62%
3433.26/3441.56	c      3442          24243       23191         1         -69.0000        -135.6689     96.62%
3439.34/3447.61	c      3448          24312       23260         1         -69.0000        -135.6636     96.61%
3444.43/3452.75	c      3453          24339       23287         1         -69.0000        -135.6543     96.60%
3450.21/3458.55	c      3459          24399       23347         1         -69.0000        -135.6543     96.60%
3456.20/3464.59	c      3465          24452       23400         1         -69.0000        -135.6491     96.59%
3461.99/3470.38	c      3470          24516       23464         1         -69.0000        -135.6413     96.58%
3467.08/3475.42	c      3475          24560       23508         1         -69.0000        -135.6317     96.57%
3472.46/3480.87	c      3481          24617       23565         1         -69.0000        -135.6315     96.57%
3477.66/3486.06	c      3486          24674       23622         1         -69.0000        -135.6315     96.57%
3483.25/3491.68	c      3492          24730       23678         1         -69.0000        -135.6259     96.56%
3489.13/3497.54	c      3498          24795       23743         1         -69.0000        -135.6227     96.55%
3494.91/3503.38	c      3503          24837       23785         1         -69.0000        -135.6188     96.55%
3500.71/3509.14	c      3509          24899       23847         1         -69.0000        -135.6173     96.55%
3505.79/3514.20	c      3514          24950       23898         1         -69.0000        -135.6173     96.55%
3512.18/3520.65	c      3521          25006       23954         1         -69.0000        -135.6164     96.55%
3517.57/3526.05	c      3526          25041       23989         1         -69.0000        -135.6154     96.54%
3524.06/3532.58	c      3533          25111       24059         1         -69.0000        -135.6135     96.54%
3529.24/3537.79	c      3538          25159       24107         1         -69.0000        -135.6135     96.54%
3535.53/3544.02	c      3544          25215       24163         1         -69.0000        -135.6097     96.54%
3541.41/3549.95	c      3550          25284       24232         1         -69.0000        -135.6073     96.53%
3547.20/3555.73	c      3556          25338       24286         1         -69.0000        -135.6040     96.53%
3553.09/3561.62	c      3562          25412       24360         1         -69.0000        -135.5990     96.52%
3559.07/3567.61	c      3568          25476       24424         1         -69.0000        -135.5951     96.51%
3564.06/3572.68	c      3573          25529       24477         1         -69.0000        -135.5881     96.50%
3570.04/3578.60	c      3579          25583       24531         1         -69.0000        -135.5881     96.50%
3575.03/3583.68	c      3584          25611       24559         1         -69.0000        -135.5795     96.49%
3580.53/3589.14	c      3589          25671       24619         1         -69.0000        -135.5778     96.49%
3585.62/3594.22	c      3594          25713       24661         1         -69.0000        -135.5778     96.49%
3590.60/3599.26	c      3599          25762       24710         1         -69.0000        -135.5772     96.49%
3591.51/3600.19	c SCIP Status        : c solving was interrupted [hard time limit reached]
3591.51/3600.19	c Total Time         : 3600.19
3591.51/3600.19	c   solving          : 3600.19
3591.51/3600.19	c   presolving       : 0.09 (included in solving)
3591.51/3600.19	c B&B Tree           :
3591.51/3600.19	c   nodes (total)    : 1
3591.51/3600.19	c Solution           :
3591.51/3600.19	c   Solutions found  : 6
3591.51/3600.19	c   Primal Bound     : -6.90000000000000e+01
3591.51/3600.19	c   Dual Bound       : -1.35577188849761e+02
3591.51/3600.19	c Gap                : 96.48868 %
3591.51/3600.19	c * Warning: final gap: 9.64887e-01 is greater than SCIPepsilon: 1.00000e-09
3591.62/3600.21	o -69
3591.62/3600.21	s SATISFIABLE
3591.62/3600.21	v -x500 x499 -x498 x497 -x496 -x495 x494 -x493 -x492 x491 -x490 -x489 -x488 -x487 -x486 -x485 x484 -x483 -x482 -x481 x480 -x479 -x478 
3591.62/3600.21	v x477 -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 x468 -x467 -x466 -x465 x464 -x463 -x462 x461 x460 -x459 x458 -x457 x456 
3591.62/3600.21	v x455 x454 -x453 x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 -x441 x440 -x439 x438 -x437 -x436 -x435 x434 
3591.62/3600.21	v -x433 -x432 -x431 -x430 -x429 x428 -x427 x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 x414 -x413 
3591.62/3600.21	v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 
3591.62/3600.21	v -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 x381 -x380 x379 -x378 -x377 x376 -x375 x374 -x373 x372 -x371 -x370 
3591.62/3600.21	v -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 x359 -x358 -x357 -x356 x355 -x354 -x353 x352 x351 -x350 x349 -x348 
3591.62/3600.21	v x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 x328 -x327 
3591.62/3600.21	v -x326 -x325 -x324 -x323 -x322 -x321 x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 x311 -x310 x309 -x308 -x307 -x306 -x305 
3591.62/3600.21	v -x304 -x303 -x302 -x301 -x300 x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 
3591.62/3600.21	v -x283 -x282 x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 x271 -x270 -x269 -x268 -x267 -x266 x265 x264 -x263 
3591.62/3600.21	v -x262 -x261 -x260 x259 -x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 
3591.62/3600.21	v -x241 -x240 -x239 x238 -x237 x236 x235 x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 
3591.62/3600.21	v -x219 -x218 x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 -x209 -x208 x207 x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 x198 
3591.62/3600.21	v -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 
3591.62/3600.21	v -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 
3591.62/3600.21	v -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 
3591.62/3600.21	v -x134 -x133 -x132 x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 
3591.62/3600.21	v -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 
3591.62/3600.21	v -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 
3591.62/3600.21	v -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 
3591.62/3600.21	v -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 
3591.62/3600.21	v -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 

Verifier Data

OK	-69

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100091 s]*
/proc/loadavg: 0.12 0.12 0.18 6/264 261195
/proc/meminfo: memFree=115376336/131524600 swapFree=131056796/131071996
[pid=261194] ppid=261187 vsize=65008 memory=53168 CPUtime=0.09 cores=4,6
/proc/261194/stat : 261194 (fscip) R 261187 261194 261021 0 -1 4194304 10974 0 0 0 8 1 0 0 20 0 1 0 30469966 66568192 13292 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
/proc/261194/statm: 16252 13292 2622 3032 0 12652 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65008 KiB
Current children cumulated memory: 53168 KiB

[startup+0.20638 s]*
/proc/loadavg: 0.12 0.12 0.18 7/266 261197
/proc/meminfo: memFree=115326876/131524600 swapFree=131056796/131071996
[pid=261194] ppid=261187 vsize=152540 memory=77488 CPUtime=0.19 cores=4,6
/proc/261194/stat : 261194 (fscip) S 261187 261194 261021 0 -1 1077936128 19018 0 0 0 17 2 0 0 20 0 3 0 30469966 156200960 19372 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
/proc/261194/statm: 38135 19372 2782 3032 0 23300 0
[pid=261194/tid=261196] ppid=261187 vsize=152540 memory=3461362060219711619 CPUtime=0.04 cores=4,6
/proc/261194/task/261196/stat : 261196 (fscip) R 261187 261194 261021 0 -1 4194368 5580 0 0 0 4 0 0 0 20 0 3 0 30469979 156200960 19372 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
[pid=261194/tid=261197] ppid=261187 vsize=152540 memory=1380203 CPUtime=0 cores=4,6
/proc/261194/task/261197/stat : 261197 (fscip) S 261187 261194 261021 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30469981 156200960 19372 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 152540 KiB
Current children cumulated memory: 77488 KiB

[startup+0.3064 s]*
/proc/loadavg: 0.12 0.12 0.18 6/266 261197
/proc/meminfo: memFree=115306704/131524600 swapFree=131056796/131071996
[pid=261194] ppid=261187 vsize=152540 memory=87908 CPUtime=0.29 cores=4,6
/proc/261194/stat : 261194 (fscip) S 261187 261194 261021 0 -1 1077936128 21538 0 0 0 26 3 0 0 20 0 3 0 30469966 156200960 21977 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
/proc/261194/statm: 38135 21977 2894 3032 0 25865 0
[pid=261194/tid=261196] ppid=261187 vsize=152540 memory=-6154568461736655717 CPUtime=0.14 cores=4,6
/proc/261194/task/261196/stat : 261196 (fscip) R 261187 261194 261021 0 -1 4194368 8100 0 0 0 13 1 0 0 20 0 3 0 30469979 156200960 21977 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
[pid=261194/tid=261197] ppid=261187 vsize=152540 memory=0 CPUtime=0 cores=4,6
/proc/261194/task/261197/stat : 261197 (fscip) S 261187 261194 261021 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30469981 156200960 21977 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 152540 KiB
Current children cumulated memory: 87908 KiB

[startup+0.700208 s]
/proc/loadavg: 0.12 0.12 0.18 8/268 261201
/proc/meminfo: memFree=115262968/131524600 swapFree=131056796/131071996
[pid=261194] ppid=261187 vsize=152540 memory=92720 CPUtime=0.68 cores=4,6
/proc/261194/stat : 261194 (fscip) S 261187 261194 261021 0 -1 1077936128 22723 0 0 0 65 3 0 0 20 0 3 0 30469966 156200960 23180 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
/proc/261194/statm: 38135 23180 2910 3032 0 27704 0
[pid=261194/tid=261196] ppid=261187 vsize=152540 memory=0 CPUtime=0.53 cores=4,6
/proc/261194/task/261196/stat : 261196 (fscip) R 261187 261194 261021 0 -1 4194368 9285 0 0 0 52 1 0 0 20 0 3 0 30469979 156200960 23180 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
[pid=261194/tid=261197] ppid=261187 vsize=152540 memory=0 CPUtime=0 cores=4,6
/proc/261194/task/261197/stat : 261197 (fscip) S 261187 261194 261021 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30469981 156200960 23180 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 152540 KiB
Current children cumulated memory: 92720 KiB

[startup+1.50024 s]
/proc/loadavg: 0.12 0.12 0.18 5/261 261209
/proc/meminfo: memFree=115266136/131524600 swapFree=131056796/131071996
[pid=261194] ppid=261187 vsize=152540 memory=100852 CPUtime=1.47 cores=4,6
/proc/261194/stat : 261194 (fscip) S 261187 261194 261021 0 -1 1077936128 29577 0 0 0 144 3 0 0 20 0 3 0 30469966 156200960 25213 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
/proc/261194/statm: 38135 25213 2910 3032 0 30465 0
[pid=261194/tid=261196] ppid=261187 vsize=152540 memory=0 CPUtime=1.32 cores=4,6
/proc/261194/task/261196/stat : 261196 (fscip) R 261187 261194 261021 0 -1 4194368 16139 0 0 0 131 1 0 0 20 0 3 0 30469979 156200960 25213 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
[pid=261194/tid=261197] ppid=261187 vsize=152540 memory=0 CPUtime=0 cores=4,6
/proc/261194/task/261197/stat : 261197 (fscip) S 261187 261194 261021 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30469981 156200960 25213 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 152540 KiB
Current children cumulated memory: 100852 KiB

[startup+3.10562 s]
/proc/loadavg: 0.35 0.17 0.19 6/268 261297
/proc/meminfo: memFree=115171284/131524600 swapFree=131056796/131071996
[pid=261194] ppid=261187 vsize=152540 memory=109200 CPUtime=3.07 cores=4,6
/proc/261194/stat : 261194 (fscip) S 261187 261194 261021 0 -1 1077936128 31748 0 0 0 303 4 0 0 20 0 3 0 30469966 156200960 27300 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
/proc/261194/statm: 38135 27300 2910 3032 0 33653 0
[pid=261194/tid=261196] ppid=261187 vsize=152540 memory=0 CPUtime=2.93 cores=4,6
/proc/261194/task/261196/stat : 261196 (fscip) R 261187 261194 261021 0 -1 4194368 18308 0 0 0 291 2 0 0 20 0 3 0 30469979 156200960 27300 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
[pid=261194/tid=261197] ppid=261187 vsize=152540 memory=6055706744874680051 CPUtime=0 cores=4,6
/proc/261194/task/261197/stat : 261197 (fscip) S 261187 261194 261021 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 30469981 156200960 27300 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 152540 KiB
Current children cumulated memory: 109200 KiB

[startup+6.30023 s]
/proc/loadavg: 0.35 0.17 0.19 6/268 261297
/proc/meminfo: memFree=115131396/131524600 swapFree=131056796/131071996
[pid=261194] ppid=261187 vsize=218076 memory=111672 CPUtime=6.26 cores=4,6
/proc/261194/stat : 261194 (fscip) S 261187 261194 261021 0 -1 1077936128 38780 0 0 0 621 5 0 0 20 0 3 0 30469966 223309824 27918 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
/proc/261194/statm: 54519 27918 2910 3032 0 35766 0
[pid=261194/tid=261196] ppid=261187 vsize=218076 memory=132 CPUtime=6.1 cores=4,6
/proc/261194/task/261196/stat : 261196 (fscip) R 261187 261194 261021 0 -1 4194368 25338 0 0 0 608 2 0 0 20 0 3 0 30469979 223309824 27918 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
[pid=261194/tid=261197] ppid=261187 vsize=218076 memory=164 CPUtime=0 cores=4,6
/proc/261194/task/261197/stat : 261197 (fscip) S 261187 261194 261021 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 30469981 223309824 27918 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 218076 KiB
Current children cumulated memory: 111672 KiB

[startup+12.7002 s]
/proc/loadavg: 0.91 0.30 0.23 6/268 261346
/proc/meminfo: memFree=114938448/131524600 swapFree=131056796/131071996
[pid=261194] ppid=261187 vsize=218076 memory=124328 CPUtime=12.63 cores=4,6
/proc/261194/stat : 261194 (fscip) S 261187 261194 261021 0 -1 1077936128 53476 0 0 0 1257 6 0 0 20 0 3 0 30469966 223309824 31082 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
/proc/261194/statm: 54519 31082 2910 3032 0 39635 0
[pid=261194/tid=261196] ppid=261187 vsize=218076 memory=110480 CPUtime=12.49 cores=4,6
/proc/261194/task/261196/stat : 261196 (fscip) R 261187 261194 261021 0 -1 4194368 40026 0 0 0 1245 4 0 0 20 0 3 0 30469979 223309824 31082 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
[pid=261194/tid=261197] ppid=261187 vsize=218076 memory=124328 CPUtime=0 cores=4,6
/proc/261194/task/261197/stat : 261197 (fscip) S 261187 261194 261021 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 30469981 223309824 31082 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 218076 KiB
Current children cumulated memory: 124328 KiB

[startup+25.5002 s]
/proc/loadavg: 1.46 0.43 0.28 6/268 261348
/proc/meminfo: memFree=114729332/131524600 swapFree=131056796/131071996
[pid=261194] ppid=261187 vsize=218076 memory=124520 CPUtime=25.41 cores=4,6
/proc/261194/stat : 261194 (fscip) S 261187 261194 261021 0 -1 1077936128 59852 0 0 0 2534 7 0 0 20 0 3 0 30469966 223309824 31130 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
/proc/261194/statm: 54519 31130 2958 3032 0 39635 0
[pid=261194/tid=261196] ppid=261187 vsize=218076 memory=0 CPUtime=25.26 cores=4,6
/proc/261194/task/261196/stat : 261196 (fscip) R 261187 261194 261021 0 -1 4194368 46326 0 0 0 2521 5 0 0 20 0 3 0 30469979 223309824 31130 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
[pid=261194/tid=261197] ppid=261187 vsize=218076 memory=110480 CPUtime=0 cores=4,6
/proc/261194/task/261197/stat : 261197 (fscip) S 261187 261194 261021 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 30469981 223309824 31130 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 218076 KiB
Current children cumulated memory: 124520 KiB

[startup+51.1056 s]
/proc/loadavg: 2.33 0.72 0.38 6/268 261352
/proc/meminfo: memFree=114622872/131524600 swapFree=131056796/131071996
[pid=261194] ppid=261187 vsize=283612 memory=157916 CPUtime=50.96 cores=4,6
/proc/261194/stat : 261194 (fscip) S 261187 261194 261021 0 -1 1077936128 99937 0 0 0 5086 10 0 0 20 0 3 0 30469966 290418688 39479 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
/proc/261194/statm: 70903 39479 2958 3032 0 53836 0
[pid=261194/tid=261196] ppid=261187 vsize=283612 memory=5468 CPUtime=50.81 cores=4,6
/proc/261194/task/261196/stat : 261196 (fscip) R 261187 261194 261021 0 -1 4194368 86282 0 0 0 5073 8 0 0 20 0 3 0 30469979 290418688 39479 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
[pid=261194/tid=261197] ppid=261187 vsize=283612 memory=138940 CPUtime=0 cores=4,6
/proc/261194/task/261197/stat : 261197 (fscip) S 261187 261194 261021 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 30469981 290418688 39479 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 283612 KiB
Current children cumulated memory: 157916 KiB

[startup+102.3 s]
/proc/loadavg: 3.49 1.32 0.61 6/268 261362
/proc/meminfo: memFree=114465932/131524600 swapFree=131056796/131071996
[pid=261194] ppid=261187 vsize=356388 memory=208584 CPUtime=102.02 cores=4,6
/proc/261194/stat : 261194 (fscip) S 261187 261194 261021 0 -1 1077936128 154954 0 0 0 10188 14 0 0 20 0 3 0 30469966 364941312 52146 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
/proc/261194/statm: 89097 52146 2958 3032 0 84800 0
[pid=261194/tid=261196] ppid=261187 vsize=356388 memory=13472 CPUtime=101.87 cores=4,6
/proc/261194/task/261196/stat : 261196 (fscip) R 261187 261194 261021 0 -1 4194368 141061 0 0 0 10175 12 0 0 20 0 3 0 30469979 364941312 52146 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
[pid=261194/tid=261197] ppid=261187 vsize=356388 memory=76732 CPUtime=0 cores=4,6
/proc/261194/task/261197/stat : 261197 (fscip) S 261187 261194 261021 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 30469981 364941312 52146 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 356388 KiB
Current children cumulated memory: 208584 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 1.84 0.83 6/266 261373
/proc/meminfo: memFree=114335956/131524600 swapFree=131056796/131071996
[pid=261194] ppid=261187 vsize=424328 memory=228308 CPUtime=161.89 cores=4,6
/proc/261194/stat : 261194 (fscip) S 261187 261194 261021 0 -1 1077936128 194437 0 0 0 16172 17 0 0 20 0 3 0 30469966 434511872 57077 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
/proc/261194/statm: 106082 57077 2958 3032 0 93806 0
[pid=261194/tid=261196] ppid=261187 vsize=424328 memory=228308 CPUtime=161.74 cores=4,6
/proc/261194/task/261196/stat : 261196 (fscip) R 261187 261194 261021 0 -1 4194368 180347 0 0 0 16159 15 0 0 20 0 3 0 30469979 434511872 57077 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
[pid=261194/tid=261197] ppid=261187 vsize=424328 memory=12452 CPUtime=0 cores=4,6
/proc/261194/task/261197/stat : 261197 (fscip) S 261187 261194 261021 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 30469981 434511872 57077 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 424328 KiB
Current children cumulated memory: 228308 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.25 1.04 6/266 261383

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

[pid=261194] ppid=261187 vsize=1164568 memory=1053788 CPUtime=3394.15 cores=4,6
/proc/261194/stat : 261194 (fscip) S 261187 261194 261021 0 -1 1077936128 1732028 0 0 0 339270 145 0 0 20 0 3 0 30469966 1192517632 263447 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
/proc/261194/statm: 291142 263447 2974 3032 0 273056 0
[pid=261194/tid=261196] ppid=261187 vsize=1164568 memory=76836 CPUtime=3393.8 cores=4,6
/proc/261194/task/261196/stat : 261196 (fscip) R 261187 261194 261021 0 -1 4194368 1716980 0 0 0 339243 137 0 0 20 0 3 0 30469979 1192517632 263447 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
[pid=261194/tid=261197] ppid=261187 vsize=1164568 memory=1050896 CPUtime=0.02 cores=4,6
/proc/261194/task/261197/stat : 261197 (fscip) S 261187 261194 261021 0 -1 1077936192 165 0 0 0 1 1 0 0 20 0 3 0 30469981 1192517632 263447 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
Current children cumulated CPU time: 3394.15 s
Current children cumulated vsize: 1164568 KiB
Current children cumulated memory: 1053788 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.04 6/267 263104
/proc/meminfo: memFree=111316504/131524600 swapFree=131056796/131071996
[pid=261194] ppid=261187 vsize=1164568 memory=1061628 CPUtime=3454.01 cores=4,6
/proc/261194/stat : 261194 (fscip) S 261187 261194 261021 0 -1 1077936128 1746899 0 0 0 345255 146 0 0 20 0 3 0 30469966 1192517632 265407 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
/proc/261194/statm: 291142 265407 2974 3032 0 273980 0
[pid=261194/tid=261196] ppid=261187 vsize=1164568 memory=76836 CPUtime=3453.66 cores=4,6
/proc/261194/task/261196/stat : 261196 (fscip) R 261187 261194 261021 0 -1 4194368 1731847 0 0 0 345228 138 0 0 20 0 3 0 30469979 1192517632 265407 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
[pid=261194/tid=261197] ppid=261187 vsize=1164568 memory=1061480 CPUtime=0.02 cores=4,6
/proc/261194/task/261197/stat : 261197 (fscip) S 261187 261194 261021 0 -1 1077936192 167 0 0 0 1 1 0 0 20 0 3 0 30469981 1192517632 265407 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
Current children cumulated CPU time: 3454.01 s
Current children cumulated vsize: 1164568 KiB
Current children cumulated memory: 1061628 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.04 6/267 263115
/proc/meminfo: memFree=111258196/131524600 swapFree=131056796/131071996
[pid=261194] ppid=261187 vsize=1182616 memory=1067672 CPUtime=3513.87 cores=4,6
/proc/261194/stat : 261194 (fscip) S 261187 261194 261021 0 -1 1077936128 1801622 0 0 0 351237 150 0 0 20 0 3 0 30469966 1210998784 266918 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
/proc/261194/statm: 295654 266918 2974 3032 0 280829 0
[pid=261194/tid=261196] ppid=261187 vsize=1182616 memory=1061480 CPUtime=3513.53 cores=4,6
/proc/261194/task/261196/stat : 261196 (fscip) R 261187 261194 261021 0 -1 4194368 1786551 0 0 0 351211 142 0 0 20 0 3 0 30469979 1210998784 266918 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
[pid=261194/tid=261197] ppid=261187 vsize=1182616 memory=1061628 CPUtime=0.02 cores=4,6
/proc/261194/task/261197/stat : 261197 (fscip) S 261187 261194 261021 0 -1 1077936192 169 0 0 0 1 1 0 0 20 0 3 0 30469981 1210998784 266918 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
Current children cumulated CPU time: 3513.87 s
Current children cumulated vsize: 1182616 KiB
Current children cumulated memory: 1067672 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.04 6/265 263182
/proc/meminfo: memFree=111222280/131524600 swapFree=131056796/131071996
[pid=261194] ppid=261187 vsize=1182616 memory=1075424 CPUtime=3573.74 cores=4,6
/proc/261194/stat : 261194 (fscip) S 261187 261194 261021 0 -1 1077936128 1866634 0 0 0 357221 153 0 0 20 0 3 0 30469966 1210998784 268856 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
/proc/261194/statm: 295654 268856 2974 3032 0 282245 0
[pid=261194/tid=261196] ppid=261187 vsize=1182616 memory=1075372 CPUtime=3573.38 cores=4,6
/proc/261194/task/261196/stat : 261196 (fscip) R 261187 261194 261021 0 -1 4194368 1851541 0 0 0 357193 145 0 0 20 0 3 0 30469979 1210998784 268856 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
[pid=261194/tid=261197] ppid=261187 vsize=1182616 memory=1075392 CPUtime=0.02 cores=4,6
/proc/261194/task/261197/stat : 261197 (fscip) S 261187 261194 261021 0 -1 1077936192 171 0 0 0 1 1 0 0 20 0 3 0 30469981 1210998784 268856 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
Current children cumulated CPU time: 3573.74 s
Current children cumulated vsize: 1182616 KiB
Current children cumulated memory: 1075424 KiB

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

# cumulated CPU time of all completed processes:  user=3590.04 s, system=1.59389 s

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

[startup+3584 s]*
/proc/loadavg: 4.16 4.12 4.04 6/265 263182
/proc/meminfo: memFree=111222268/131524600 swapFree=131056796/131071996
[pid=261194] ppid=261187 vsize=1182616 memory=1075424 CPUtime=3575.44 cores=4,6
/proc/261194/stat : 261194 (fscip) S 261187 261194 261021 0 -1 1077936128 1866659 0 0 0 357391 153 0 0 20 0 3 0 30469966 1210998784 268856 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
/proc/261194/statm: 295654 268856 2974 3032 0 282245 0
[pid=261194/tid=261196] ppid=261187 vsize=1182616 memory=6720669839490367588 CPUtime=3575.09 cores=4,6
/proc/261194/task/261196/stat : 261196 (fscip) R 261187 261194 261021 0 -1 4194368 1851566 0 0 0 357364 145 0 0 20 0 3 0 30469979 1210998784 268856 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
[pid=261194/tid=261197] ppid=261187 vsize=1182616 memory=-7521149532770753920 CPUtime=0.02 cores=4,6
/proc/261194/task/261197/stat : 261197 (fscip) S 261187 261194 261021 0 -1 1077936192 171 0 0 0 1 1 0 0 20 0 3 0 30469981 1210998784 268856 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
Current children cumulated CPU time: 3575.44 s
Current children cumulated vsize: 1182616 KiB
Current children cumulated memory: 1075424 KiB

[startup+3590.4 s]
/proc/loadavg: 4.15 4.12 4.04 6/264 263182
/proc/meminfo: memFree=111221812/131524600 swapFree=131056796/131071996
[pid=261194] ppid=261187 vsize=1182616 memory=1076048 CPUtime=3581.83 cores=4,6
/proc/261194/stat : 261194 (fscip) S 261187 261194 261021 0 -1 1077936128 1867905 0 0 0 358029 154 0 0 20 0 3 0 30469966 1210998784 269012 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
/proc/261194/statm: 295654 269012 2974 3032 0 282356 0
[pid=261194/tid=261196] ppid=261187 vsize=1182616 memory=1075392 CPUtime=3581.46 cores=4,6
/proc/261194/task/261196/stat : 261196 (fscip) R 261187 261194 261021 0 -1 4194368 1852798 0 0 0 358001 145 0 0 20 0 3 0 30469979 1210998784 269012 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
[pid=261194/tid=261197] ppid=261187 vsize=1182616 memory=6720667661908394086 CPUtime=0.02 cores=4,6
/proc/261194/task/261197/stat : 261197 (fscip) S 261187 261194 261021 0 -1 1077936192 171 0 0 0 1 1 0 0 20 0 3 0 30469981 1210998784 269012 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
Current children cumulated CPU time: 3581.83 s
Current children cumulated vsize: 1182616 KiB
Current children cumulated memory: 1076048 KiB

[startup+3596.8 s]
/proc/loadavg: 4.14 4.12 4.04 6/264 263184
/proc/meminfo: memFree=111216784/131524600 swapFree=131056796/131071996
[pid=261194] ppid=261187 vsize=1220032 memory=1080600 CPUtime=3588.21 cores=4,6
/proc/261194/stat : 261194 (fscip) S 261187 261194 261021 0 -1 1077936128 1905706 0 0 0 358665 156 0 0 20 0 3 0 30469966 1249312768 270150 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
/proc/261194/statm: 305008 270150 2974 3032 0 291999 0
[pid=261194/tid=261196] ppid=261187 vsize=1220032 memory=-7521149532770753920 CPUtime=3587.85 cores=4,6
/proc/261194/task/261196/stat : 261196 (fscip) R 261187 261194 261021 0 -1 4194368 1890599 0 0 0 358638 147 0 0 20 0 3 0 30469979 1249312768 270150 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
[pid=261194/tid=261197] ppid=261187 vsize=1220032 memory=7522225699858704745 CPUtime=0.02 cores=4,6
/proc/261194/task/261197/stat : 261197 (fscip) S 261187 261194 261021 0 -1 1077936192 171 0 0 0 1 1 0 0 20 0 3 0 30469981 1249312768 270150 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
Current children cumulated CPU time: 3588.21 s
Current children cumulated vsize: 1220032 KiB
Current children cumulated memory: 1080600 KiB

[startup+3598.4 s]
/proc/loadavg: 4.13 4.12 4.04 6/264 263184
/proc/meminfo: memFree=111216784/131524600 swapFree=131056796/131071996
[pid=261194] ppid=261187 vsize=1220032 memory=1082676 CPUtime=3589.8 cores=4,6
/proc/261194/stat : 261194 (fscip) S 261187 261194 261021 0 -1 1077936128 1905760 0 0 0 358824 156 0 0 20 0 3 0 30469966 1249312768 270669 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
/proc/261194/statm: 305008 270669 2974 3032 0 291999 0
[pid=261194/tid=261196] ppid=261187 vsize=1220032 memory=27820 CPUtime=3589.45 cores=4,6
/proc/261194/task/261196/stat : 261196 (fscip) R 261187 261194 261021 0 -1 4194368 1890653 0 0 0 358797 148 0 0 20 0 3 0 30469979 1249312768 270669 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
[pid=261194/tid=261197] ppid=261187 vsize=1220032 memory=33392 CPUtime=0.02 cores=4,6
/proc/261194/task/261197/stat : 261197 (fscip) S 261187 261194 261021 0 -1 1077936192 171 0 0 0 1 1 0 0 20 0 3 0 30469981 1249312768 270669 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
Current children cumulated CPU time: 3589.8 s
Current children cumulated vsize: 1220032 KiB
Current children cumulated memory: 1082676 KiB

[startup+3599.2 s]
/proc/loadavg: 4.13 4.12 4.04 6/264 263184
/proc/meminfo: memFree=111212212/131524600 swapFree=131056796/131071996
[pid=261194] ppid=261187 vsize=1220032 memory=1082676 CPUtime=3590.6 cores=4,6
/proc/261194/stat : 261194 (fscip) S 261187 261194 261021 0 -1 1077936128 1905806 0 0 0 358904 156 0 0 20 0 3 0 30469966 1249312768 270669 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
/proc/261194/statm: 305008 270669 2974 3032 0 291999 0
[pid=261194/tid=261196] ppid=261187 vsize=1220032 memory=76836 CPUtime=3590.25 cores=4,6
/proc/261194/task/261196/stat : 261196 (fscip) R 261187 261194 261021 0 -1 4194368 1890699 0 0 0 358877 148 0 0 20 0 3 0 30469979 1249312768 270669 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
[pid=261194/tid=261197] ppid=261187 vsize=1220032 memory=12452 CPUtime=0.02 cores=4,6
/proc/261194/task/261197/stat : 261197 (fscip) S 261187 261194 261021 0 -1 1077936192 171 0 0 0 1 1 0 0 20 0 3 0 30469981 1249312768 270669 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
Current children cumulated CPU time: 3590.6 s
Current children cumulated vsize: 1220032 KiB
Current children cumulated memory: 1082676 KiB

[startup+3600 s]*
/proc/loadavg: 4.13 4.12 4.04 7/264 263184
/proc/meminfo: memFree=111212040/131524600 swapFree=131056796/131071996
[pid=261194] ppid=261187 vsize=1220032 memory=1082704 CPUtime=3591.4 cores=4,6
/proc/261194/stat : 261194 (fscip) S 261187 261194 261021 0 -1 1077936128 1907589 0 0 0 358984 156 0 0 20 0 3 0 30469966 1249312768 270676 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
/proc/261194/statm: 305008 270676 2974 3032 0 291999 0
[pid=261194/tid=261196] ppid=261187 vsize=1220032 memory=6720669839490367588 CPUtime=3591.05 cores=4,6
/proc/261194/task/261196/stat : 261196 (fscip) R 261187 261194 261021 0 -1 4194368 1892481 0 0 0 358957 148 0 0 20 0 3 0 30469979 1249312768 270676 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
[pid=261194/tid=261197] ppid=261187 vsize=1220032 memory=-7521149532770753920 CPUtime=0.02 cores=4,6
/proc/261194/task/261197/stat : 261197 (fscip) S 261187 261194 261021 0 -1 1077936192 171 0 0 0 1 1 0 0 20 0 3 0 30469981 1249312768 270676 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
Current children cumulated CPU time: 3591.4 s
Current children cumulated vsize: 1220032 KiB
Current children cumulated memory: 1082704 KiB

[startup+3600.21 s]
/proc/loadavg: 4.13 4.12 4.04 7/264 263184
/proc/meminfo: memFree=111212040/131524600 swapFree=131056796/131071996
[pid=261194] ppid=261187 vsize=736324 memory=637000 CPUtime=3591.62 cores=4,6
/proc/261194/stat : 261194 (fscip) R 261187 261194 261021 0 -1 4194304 1930844 0 0 0 359003 159 0 0 20 0 2 0 30469966 753995776 159250 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
/proc/261194/statm: 184081 159250 2974 3032 0 179643 0
[pid=261194/tid=261197] ppid=261187 vsize=736324 memory=2756 CPUtime=0.02 cores=4,6
/proc/261194/task/261197/stat : 261197 (fscip) S 261187 261194 261021 0 -1 1077936192 171 0 0 0 1 1 0 0 20 0 2 0 30469981 753995776 159250 134679101440 4194304 16613245 140725903488928 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31973376 140725903492116 140725903492232 140725903492232 140725903499248 0
Current children cumulated CPU time: 3591.62 s
Current children cumulated vsize: 736324 KiB
Current children cumulated memory: 637000 KiB

Child status: 0

Real time (s): 3600.22
CPU time (s): 3591.63
CPU user time (s): 3590.04
CPU system time (s): 1.59389
CPU usage (%): 99.7615
Max. virtual memory (cumulated for all children) (KiB): 1220032
Max. memory (cumulated for all children) (KiB): 1082704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.04
system time used= 1.59389
maximum resident set size= 1082704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1931348
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= 10041
involuntary context switches= 7833


# summary of solver processes directly reported to runsolver:
#   pid: 261194
#   total CPU time (s): 3591.63
#   total CPU user time (s): 3590.04
#   total CPU system time (s): 1.59389

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.61008 second user time and 17.8634 second system time

The end

Launcher Data

Begin job on nodeC032 at 2024-07-25 22:31:04
IDJOB=4459763
IDBENCH=148535
IDSOLVER=3064
FILE ID=nodeC032/4459763-1721939464
RUNJOBID= nodeC032-1721939462-261032
SLURM_JOB_ID= 8247252
Free space on /tmp= 890024 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_3.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-4459763-1721939464/watcher-4459763-1721939464 -o /tmp/evaluation-result-4459763-1721939464/solver-4459763-1721939464 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721939462-261032 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4459763-1721939464.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= fd2f82137517c7c348dacac3fbe759ff
RANDOM SEED=694240006

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        115485084 kB
MemAvailable:   129611932 kB
Buffers:          319368 kB
Cached:         14595704 kB
SwapCached:          140 kB
Active:          2692440 kB
Inactive:       12665080 kB
Active(anon):       2088 kB
Inactive(anon):   493428 kB
Active(file):    2690352 kB
Inactive(file): 12171652 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056796 kB
Dirty:            113260 kB
Writeback:            16 kB
AnonPages:        441720 kB
Mapped:           139116 kB
Shmem:             53052 kB
KReclaimable:     208984 kB
Slab:             328340 kB
SReclaimable:     208984 kB
SUnreclaim:       119356 kB
KernelStack:        4096 kB
PageTables:        10420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     696276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19296 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 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:      363220 kB
DirectMap2M:    42401792 kB
DirectMap1G:    93323264 kB

Free space on /tmp at the end= 889972 MiB
End job on nodeC032 at 2024-07-25 23:31:04