Trace number 4464776

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-30SAT-32 3588.98 3599.66

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_200_25_1.opb
MD5SUM273961b324c53d2d230ce6da1470e4a9
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-33
Best CPU time to get the best result obtained on this benchmark71423.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12408
Sum of products size (including duplicates)24816
Number of different products6204
Sum of products size12408

Solver Data

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
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.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
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.4.0         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.04	c Default LC presolving (default).
0.00/0.04	c ** Before presolving: virtualMemUsedAtLc = 46104576, getVmSize() = 46104576, SCIPgetMemUsed() = 20565794, SCIPgetMemTotal() = 23708394, SCIPgetMemExternEstim() = 13307761
0.00/0.04	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.10/0.15	c ** Estimated virtualMemUsedAtSolver = 34411861, getVmSize() = 57131008, SCIPgetMemUsed() = 21638562, SCIPgetMemTotal() = 33368578, SCIPgetMemExternEstim() = 13307761
0.10/0.15	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.10/0.15	c Original Problem   :
0.10/0.15	c   Problem name     : instance-4464776-1722382194
0.10/0.15	c   Variables        : 6604 (400 binary, 0 integer, 6204 implicit integer, 0 continuous)
0.10/0.15	c   Constraints      : 7205
0.10/0.15	c   Objective sense  : minimize
0.10/0.15	c Presolved Problem  :
0.10/0.15	c   Variables        : 400 (400 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.15	c   Constraints      : 601
0.10/0.15	c Constraints        : Number
0.10/0.15	c   knapsack         : 400 
0.10/0.15	c   setppc           : 200 
0.10/0.15	c   linear           : 1 
0.10/0.15	c ** Instance transfer method used: 0
0.10/0.16	c ** ParaScipInstance copy does not increase the number of variables. **
0.10/0.17	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.10/0.17	c                                Nodes    Active                                            
0.10/0.17	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.56/0.65	c *       1              0           1         1          -1.0000                -          -
1.06/1.11	c *       1              0           1         1         -21.0000                -          -
20.79/20.98	c *      21              0           1         1         -22.0000                -          -
20.79/20.98	c        21              0           1         1         -22.0000                -          -
25.57/25.76	c *      26              0           1         1         -23.0000                -          -
38.13/38.30	c        38              2           1         1         -23.0000         -87.5614    280.70%
47.41/47.63	c        48              3           2         1         -23.0000         -87.5614    280.70%
55.69/55.99	c        56              7           6         1         -23.0000         -87.5614    280.70%
66.26/66.51	c        67             17          16         1         -23.0000         -87.5614    280.70%
72.76/73.08	c        73             21          20         1         -23.0000         -87.5614    280.70%
76.74/77.10	c *      77             36          35         1         -25.0000         -87.5614    250.25%
77.92/78.20	c        78             47          46         1         -25.0000         -87.5614    250.25%
82.12/82.48	c *      82             94          93         1         -30.0000         -87.5614    191.87%
83.21/83.56	c        84            108         107         1         -30.0000         -87.5614    191.87%
89.09/89.43	c        89            176         175         1         -30.0000         -87.5614    191.87%
95.28/95.61	c        96            216         215         1         -30.0000         -87.5614    191.87%
101.16/101.59	c       102            267         266         1         -30.0000         -87.5614    191.87%
107.55/107.93	c       108            311         310         1         -30.0000         -87.4997    191.67%
114.23/114.67	c       115            339         338         1         -30.0000         -87.4935    191.65%
121.12/121.53	c       122            359         358         1         -30.0000         -87.4935    191.65%
123.21/123.69	c *     124            370         369         1         -31.0000         -87.4827    182.20%
128.19/128.68	c       129            391         390         1         -31.0000         -87.4827    182.20%
134.07/134.53	c       135            412         411         1         -31.0000         -87.3853    181.89%
139.76/140.22	c       140            431         430         1         -31.0000         -87.3853    181.89%
146.74/147.27	c       147            453         452         1         -31.0000         -87.3750    181.85%
152.33/152.80	c       153            482         481         1         -31.0000         -87.3181    181.67%
157.32/157.88	c       158            511         510         1         -31.0000         -87.3181    181.67%
162.51/163.08	c       163            546         545         1         -31.0000         -87.2346    181.40%
167.68/168.23	c       168            590         589         1         -31.0000         -87.1658    181.18%
172.87/173.40	c       173            619         618         1         -31.0000         -87.1017    180.97%
178.16/178.73	c       179            706         705         1         -31.0000         -86.9946    180.63%
183.15/183.76	c       184            781         780         1         -31.0000         -86.9146    180.37%
190.54/191.18	c       191            812         811         1         -31.0000         -86.7330    179.78%
195.81/196.45	c       196            874         873         1         -31.0000         -86.7330    179.78%
201.89/202.57	c       203            938         937         1         -31.0000         -86.6942    179.66%
207.07/207.76	c       208           1024        1023         1         -31.0000         -86.6637    179.56%
236.80/237.53	c       238           1051           1         1         -31.0000         -86.6637    179.56%
244.88/245.61	c       246           1052           2         1         -31.0000         -86.6637    179.56%
255.75/256.52	c       257           1054           4         1         -31.0000         -86.6637    179.56%
271.61/272.45	c       272           1055           5         1         -31.0000         -86.6637    179.56%
276.89/277.78	c       278           1134          32         1         -31.0000         -86.6637    179.56%
282.88/283.77	c       284           1232          46         1         -31.0000         -86.6637    179.56%
288.28/289.11	c       289           1302          60         1         -31.0000         -86.6637    179.56%
293.55/294.41	c       294           1410          76         1         -31.0000         -86.6637    179.56%
299.33/300.26	c       300           1585          93         1         -31.0000         -86.6637    179.56%
304.72/305.60	c       306           1655         109         1         -31.0000         -86.6637    179.56%
310.51/311.40	c       311           1895         123         1         -31.0000         -86.6637    179.56%
315.90/316.80	c       317           2093         127         1         -31.0000         -86.6637    179.56%
321.38/322.33	c       322           2222         138         1         -31.0000         -86.6637    179.56%
326.96/327.90	c       328           2360         154         1         -31.0000         -86.6637    179.56%
332.94/333.90	c       334           2445         161         1         -31.0000         -86.6637    179.56%
337.94/338.99	c       339           2611         181         1         -31.0000         -86.5978    179.35%
343.62/344.66	c       345           2801         187         1         -31.0000         -86.5757    179.28%
349.70/350.73	c       351           2945         197         1         -31.0000         -86.5548    179.21%
354.89/355.92	c       356           3080         204         1         -31.0000         -86.5526    179.20%
360.08/361.17	c       361           3234         216         1         -31.0000         -86.5048    179.05%
365.85/366.98	c       367           3362         228         1         -31.0000         -86.5048    179.05%
372.83/373.99	c       374           3401         243         1         -31.0000         -86.4488    178.87%
378.11/379.23	c       379           3501         253         1         -31.0000         -86.4305    178.81%
383.10/384.25	c       384           3618         262         1         -31.0000         -86.4096    178.74%
388.48/389.69	c       390           3831         271         1         -31.0000         -86.3680    178.61%
393.97/395.12	c       395           3995         287         1         -31.0000         -86.3446    178.53%
399.23/400.49	c       400           4229         293         1         -31.0000         -86.3446    178.53%
404.62/405.84	c       406           4341         305         1         -31.0000         -86.3161    178.44%
409.91/411.13	c       411           4451         319         1         -31.0000         -86.3160    178.44%
415.38/416.63	c       417           4573         335         1         -31.0000         -86.3119    178.43%
420.36/421.65	c       422           4669         347         1         -31.0000         -86.3076    178.41%
427.24/428.56	c       429           4851         365         1         -31.0000         -86.2842    178.34%
432.92/434.21	c       434           4942         384         1         -31.0000         -86.2745    178.30%
438.40/439.71	c       440           5103         405         1         -31.0000         -86.2487    178.22%
443.88/445.25	c       445           5421         425         1         -31.0000         -86.2342    178.17%
449.78/451.12	c       451           5608         446         1         -31.0000         -86.2214    178.13%
455.65/457.09	c       457           5941         483         1         -31.0000         -86.1821    178.01%
460.73/462.19	c       462           6141         507         1         -31.0000         -86.1619    177.94%
466.50/467.99	c       468           6371         527         1         -31.0000         -86.1551    177.92%
472.08/473.57	c       474           6471         537         1         -31.0000         -86.1468    177.89%
477.16/478.64	c       479           6551         555         1         -31.0000         -86.1377    177.86%
483.04/484.57	c       485           6674         568         1         -31.0000         -86.1249    177.82%
489.72/491.26	c       491           6881         577         1         -31.0000         -86.1096    177.77%
495.51/497.07	c       497           7032         586         1         -31.0000         -86.1048    177.76%
500.67/502.24	c       502           7256         596         1         -31.0000         -86.0998    177.74%
506.57/508.13	c       508           7431         615         1         -31.0000         -86.0758    177.66%
511.64/513.26	c       513           7510         632         1         -31.0000         -86.0603    177.61%
516.61/518.28	c       518           7931         643         1         -31.0000         -86.0267    177.51%
522.30/523.90	c       524           8335         673         1         -31.0000         -86.0148    177.47%
527.78/529.49	c       529           8443         699         1         -31.0000         -85.9958    177.41%
533.86/535.50	c       536           8713         723         1         -31.0000         -85.9769    177.34%
539.14/540.86	c       541           8976         754         1         -31.0000         -85.9710    177.33%
545.44/547.17	c       547           9223         763         1         -31.0000         -85.9662    177.31%
551.32/553.06	c       553           9487         769         1         -31.0000         -85.9662    177.31%
556.79/558.57	c       559           9561         785         1         -31.0000         -85.9600    177.29%
562.39/564.19	c       564           9853         789         1         -31.0000         -85.9600    177.29%
568.37/570.17	c       570          10048         808         1         -31.0000         -85.9278    177.19%
575.13/576.96	c       577          10401         831         1         -31.0000         -85.8905    177.07%
580.22/582.09	c       582          10611         839         1         -31.0000         -85.8808    177.03%
585.89/587.75	c       588          10761         853         1         -31.0000         -85.8724    177.01%
591.87/593.70	c       594          10929         877         1         -31.0000         -85.8406    176.91%
597.36/599.28	c       599          11238         886         1         -31.0000         -85.8406    176.91%
602.85/604.71	c       605          11531         894         1         -31.0000         -85.8379    176.90%
608.32/610.23	c       610          11959         912         1         -31.0000         -85.8271    176.86%
613.51/615.48	c       615          12175         928         1         -31.0000         -85.8056    176.79%
619.11/621.06	c       621          12484         945         1         -31.0000         -85.7918    176.75%
624.97/626.91	c       627          12785         990         1         -31.0000         -85.7803    176.71%
630.36/632.39	c       632          13085        1026         1         -31.0000         -85.7712    176.68%
636.06/638.03	c       638          13381        1046         1         -31.0000         -85.7495    176.61%
641.63/643.69	c       644          13641        1086         1         -31.0000         -85.7351    176.56%
647.12/649.19	c       649          14172        1097         1         -31.0000         -85.7125    176.49%
652.30/654.36	c       654          14431        1116         1         -31.0000         -85.7075    176.48%
658.58/660.60	c       661          14706        1135         1         -31.0000         -85.7062    176.47%
664.16/666.29	c       666          14892        1163         1         -31.0000         -85.6850    176.40%
670.15/672.22	c       672          15136        1193         1         -31.0000         -85.6797    176.39%
675.53/677.65	c       678          15424        1215         1         -31.0000         -85.6786    176.38%
681.21/683.39	c       683          15671        1252         1         -31.0000         -85.6544    176.30%
687.10/689.23	c       689          15879        1262         1         -31.0000         -85.6451    176.27%
692.68/694.89	c       695          16045        1272         1         -31.0000         -85.6431    176.27%
697.77/699.94	c       700          16188        1287         1         -31.0000         -85.6303    176.23%
703.55/705.75	c       706          16341        1306         1         -31.0000         -85.6231    176.20%
708.85/711.07	c       711          16471        1326         1         -31.0000         -85.6157    176.18%
714.22/716.41	c       716          16661        1338         1         -31.0000         -85.6065    176.15%
719.21/721.46	c       721          16776        1345         1         -31.0000         -85.5951    176.11%
724.98/727.22	c       727          16980        1363         1         -31.0000         -85.5900    176.10%
730.47/732.74	c       733          17156        1373         1         -31.0000         -85.5788    176.06%
735.65/737.95	c       738          17341        1384         1         -31.0000         -85.5692    176.03%
741.14/743.41	c       743          17499        1394         1         -31.0000         -85.5692    176.03%
746.22/748.52	c       749          17661        1408         1         -31.0000         -85.5569    175.99%
752.59/754.90	c       755          17860        1437         1         -31.0000         -85.5548    175.98%
758.47/760.89	c       761          18004        1453         1         -31.0000         -85.5459    175.95%
764.36/766.78	c       767          18201        1480         1         -31.0000         -85.5311    175.91%
769.76/772.13	c       772          18394        1489         1         -31.0000         -85.5311    175.91%
774.83/777.26	c       777          18701        1492         1         -31.0000         -85.5265    175.89%
780.12/782.52	c       783          18771        1508         1         -31.0000         -85.5214    175.88%
785.90/788.33	c       788          18901        1538         1         -31.0000         -85.5167    175.86%
791.18/793.66	c       794          19011        1560         1         -31.0000         -85.5099    175.84%
796.36/798.85	c       799          19151        1568         1         -31.0000         -85.5099    175.84%
801.46/803.93	c       804          19357        1580         1         -31.0000         -85.5077    175.83%
807.24/809.75	c       810          19509        1600         1         -31.0000         -85.4976    175.80%
812.53/815.06	c       815          19771        1618         1         -31.0000         -85.4862    175.76%
818.51/821.11	c       821          19988        1645         1         -31.0000         -85.4744    175.72%
823.60/826.18	c       826          20268        1644         1         -31.0000         -85.4744    175.72%
829.27/831.84	c       832          20445        1665         1         -31.0000         -85.4709    175.71%
834.86/837.41	c       837          20699        1687         1         -31.0000         -85.4644    175.69%
839.94/842.55	c       843          20941        1715         1         -31.0000         -85.4544    175.66%
845.33/847.90	c       848          21108        1736         1         -31.0000         -85.4487    175.64%
850.81/853.44	c       853          21391        1769         1         -31.0000         -85.4328    175.59%
856.70/859.40	c       859          21754        1782         1         -31.0000         -85.4293    175.58%
862.18/864.85	c       865          22001        1811         1         -31.0000         -85.4155    175.53%
867.56/870.20	c       870          22276        1828         1         -31.0000         -85.4131    175.53%
873.04/875.72	c       876          22608        1840         1         -31.0000         -85.4097    175.52%
878.53/881.22	c       881          22831        1853         1         -31.0000         -85.4015    175.49%
884.43/887.15	c       887          23061        1877         1         -31.0000         -85.3955    175.47%
890.41/893.11	c       893          23207        1883         1         -31.0000         -85.3955    175.47%
896.08/898.81	c       899          23335        1909         1         -31.0000         -85.3868    175.44%
901.86/904.65	c       905          23537        1921         1         -31.0000         -85.3817    175.42%
907.75/910.51	c       911          23750        1938         1         -31.0000         -85.3742    175.40%
913.63/916.46	c       916          23887        1951         1         -31.0000         -85.3689    175.38%
919.12/921.95	c       922          24031        1953         1         -31.0000         -85.3605    175.36%
924.70/927.57	c       928          24165        1969         1         -31.0000         -85.3605    175.36%
930.20/933.02	c       933          24298        1986         1         -31.0000         -85.3529    175.33%
936.07/939.01	c       939          24497        2009         1         -31.0000         -85.3396    175.29%
941.16/944.05	c       944          24648        2026         1         -31.0000         -85.3328    175.27%
946.74/949.68	c       950          24958        2050         1         -31.0000         -85.3276    175.25%
952.23/955.14	c       955          25231        2065         1         -31.0000         -85.3253    175.24%
957.40/960.37	c       960          25571        2085         1         -31.0000         -85.3223    175.23%
962.59/965.59	c       966          25862        2118         1         -31.0000         -85.3134    175.20%
968.08/971.04	c       971          26359        2137         1         -31.0000         -85.3048    175.18%
973.45/976.42	c       976          26721        2163         1         -31.0000         -85.3030    175.17%
979.16/982.19	c       982          26865        2181         1         -31.0000         -85.2853    175.11%
984.33/987.33	c       987          26962        2210         1         -31.0000         -85.2815    175.10%
989.82/992.80	c       993          27202        2228         1         -31.0000         -85.2702    175.07%
995.70/998.78	c       999          27579        2249         1         -31.0000         -85.2632    175.04%
1000.78/1003.84	c      1004          27851        2275         1         -31.0000         -85.2445    174.98%
1006.77/1009.84	c      1010          28207        2319         1         -31.0000         -85.2268    174.93%
1011.75/1014.86	c      1015          28581        2339         1         -31.0000         -85.2114    174.88%
1017.83/1021.01	c      1021          28971        2355         1         -31.0000         -85.2015    174.84%
1023.81/1026.91	c      1027          29211        2395         1         -31.0000         -85.1932    174.82%
1029.40/1032.58	c      1033          29397        2415         1         -31.0000         -85.1899    174.81%
1034.98/1038.16	c      1038          29624        2434         1         -31.0000         -85.1899    174.81%
1040.15/1043.30	c      1043          29748        2462         1         -31.0000         -85.1816    174.78%
1045.43/1048.66	c      1049          29915        2487         1         -31.0000         -85.1799    174.77%
1050.62/1053.89	c      1054          30101        2501         1         -31.0000         -85.1793    174.77%
1055.81/1059.06	c      1059          30238        2520         1         -31.0000         -85.1793    174.77%
1061.08/1064.32	c      1064          30433        2539         1         -31.0000         -85.1793    174.77%
1066.35/1069.67	c      1070          30553        2565         1         -31.0000         -85.1766    174.76%
1071.63/1075.01	c      1075          30741        2573         1         -31.0000         -85.1754    174.76%
1077.51/1080.84	c      1081          30971        2581         1         -31.0000         -85.1754    174.76%
1082.60/1085.93	c      1086          31132        2610         1         -31.0000         -85.1705    174.74%
1087.58/1091.01	c      1091          31301        2625         1         -31.0000         -85.1624    174.72%
1092.86/1096.25	c      1096          31469        2659         1         -31.0000         -85.1585    174.70%
1098.75/1102.16	c      1102          31595        2675         1         -31.0000         -85.1387    174.64%
1104.91/1108.30	c      1108          31768        2704         1         -31.0000         -85.1356    174.63%
1110.09/1113.54	c      1114          31947        2723         1         -31.0000         -85.1355    174.63%
1115.78/1119.25	c      1119          32089        2743         1         -31.0000         -85.1348    174.63%
1122.16/1125.60	c      1126          32313        2767         1         -31.0000         -85.1305    174.61%
1127.24/1130.75	c      1131          32471        2799         1         -31.0000         -85.1272    174.60%
1132.63/1136.18	c      1136          32649        2835         1         -31.0000         -85.1267    174.60%
1138.79/1142.33	c      1142          32825        2853         1         -31.0000         -85.1252    174.60%
1143.98/1147.50	c      1148          33023        2869         1         -31.0000         -85.1228    174.59%
1149.95/1153.58	c      1154          33158        2904         1         -31.0000         -85.1143    174.56%
1155.13/1158.76	c      1159          33387        2923         1         -31.0000         -85.1125    174.56%
1161.11/1164.74	c      1165          33606        2946         1         -31.0000         -85.1066    174.54%
1167.09/1170.79	c      1171          33793        2973         1         -31.0000         -85.1042    174.53%
1172.57/1176.28	c      1176          34079        3003         1         -31.0000         -85.0992    174.51%
1177.95/1181.61	c      1182          34361        3039         1         -31.0000         -85.0756    174.44%
1183.23/1186.96	c      1187          34611        3061         1         -31.0000         -85.0746    174.43%
1188.22/1192.01	c      1192          34782        3086         1         -31.0000         -85.0682    174.41%
1194.30/1198.04	c      1198          35009        3103         1         -31.0000         -85.0671    174.41%
1200.07/1203.80	c      1204          35178        3124         1         -31.0000         -85.0590    174.38%
1205.37/1209.19	c      1209          35337        3153         1         -31.0000         -85.0525    174.36%
1210.44/1214.28	c      1214          35540        3172         1         -31.0000         -85.0525    174.36%
1215.53/1219.31	c      1219          35671        3201         1         -31.0000         -85.0472    174.35%
1221.01/1224.85	c      1225          35899        3223         1         -31.0000         -85.0471    174.35%
1226.31/1230.12	c      1230          36063        3257         1         -31.0000         -85.0415    174.33%
1232.19/1236.02	c      1236          36525        3273         1         -31.0000         -85.0369    174.31%
1237.47/1241.33	c      1241          36791        3303         1         -31.0000         -85.0279    174.28%
1243.45/1247.30	c      1247          37190        3330         1         -31.0000         -85.0237    174.27%
1248.54/1252.42	c      1252          37574        3368         1         -31.0000         -85.0138    174.24%
1253.62/1257.50	c      1258          38076        3390         1         -31.0000         -85.0120    174.23%
1259.00/1262.97	c      1263          38421        3447         1         -31.0000         -84.9975    174.19%
1264.20/1268.16	c      1268          38484        3510         1         -31.0000         -84.9821    174.14%
1269.87/1273.81	c      1274          38541        3567         1         -31.0000         -84.9694    174.09%
1275.46/1279.43	c      1279          38601        3627         1         -31.0000         -84.9507    174.03%
1281.15/1285.17	c      1285          38670        3696         1         -31.0000         -84.9383    173.99%
1286.43/1290.48	c      1290          38741        3767         1         -31.0000         -84.9220    173.94%
1291.71/1295.75	c      1296          38808        3834         1         -31.0000         -84.9082    173.90%
1297.29/1301.39	c      1301          38871        3897         1         -31.0000         -84.8856    173.82%
1302.48/1306.52	c      1307          38931        3957         1         -31.0000         -84.8695    173.77%
1308.26/1312.33	c      1312          39008        4034         1         -31.0000         -84.8581    173.74%
1313.56/1317.65	c      1318          39042        4068         1         -31.0000         -84.8514    173.71%
1318.95/1323.02	c      1323          39101        4127         1         -31.0000         -84.8382    173.67%
1323.93/1328.07	c      1328          39161        4187         1         -31.0000         -84.8316    173.65%
1329.30/1333.40	c      1333          39231        4257         1         -31.0000         -84.8151    173.60%
1335.01/1339.13	c      1339          39310        4336         1         -31.0000         -84.7944    173.53%
1340.58/1344.78	c      1345          39352        4378         1         -31.0000         -84.7877    173.51%
1346.07/1350.25	c      1350          39411        4437         1         -31.0000         -84.7788    173.48%
1351.35/1355.52	c      1356          39457        4483         1         -31.0000         -84.7605    173.42%
1356.84/1361.03	c      1361          39529        4555         1         -31.0000         -84.7494    173.39%
1362.01/1366.26	c      1366          39591        4617         1         -31.0000         -84.7377    173.35%
1368.01/1372.21	c      1372          39642        4668         1         -31.0000         -84.7308    173.33%
1373.99/1378.21	c      1378          39691        4717         1         -31.0000         -84.7198    173.29%
1379.67/1383.94	c      1384          39751        4777         1         -31.0000         -84.7111    173.26%
1384.86/1389.18	c      1389          39811        4837         1         -31.0000         -84.6997    173.22%
1389.85/1394.19	c      1394          39871        4897         1         -31.0000         -84.6771    173.15%
1395.23/1399.53	c      1400          39922        4948         1         -31.0000         -84.6710    173.13%
1400.61/1404.91	c      1405          39971        4997         1         -31.0000         -84.6573    173.09%
1405.90/1410.29	c      1410          40051        5077         1         -31.0000         -84.6387    173.03%
1411.79/1416.19	c      1416          40121        5147         1         -31.0000         -84.6217    172.97%
1416.87/1421.21	c      1421          40161        5187         1         -31.0000         -84.6168    172.96%
1422.25/1426.60	c      1427          40241        5267         1         -31.0000         -84.6055    172.92%
1427.25/1431.63	c      1432          40301        5327         1         -31.0000         -84.5954    172.89%
1432.64/1437.03	c      1437          40341        5367         1         -31.0000         -84.5926    172.88%
1438.51/1442.97	c      1443          40404        5430         1         -31.0000         -84.5689    172.80%
1444.00/1448.49	c      1448          40481        5507         1         -31.0000         -84.5478    172.73%
1449.69/1454.14	c      1454          40532        5558         1         -31.0000         -84.5415    172.71%
1454.69/1459.17	c      1459          40611        5637         1         -31.0000         -84.5213    172.65%
1460.06/1464.50	c      1465          40651        5677         1         -31.0000         -84.5109    172.62%
1465.74/1470.21	c      1470          40731        5757         1         -31.0000         -84.4917    172.55%
1471.53/1476.05	c      1476          40782        5808         1         -31.0000         -84.4843    172.53%
1476.71/1481.23	c      1481          40851        5877         1         -31.0000         -84.4730    172.49%
1481.89/1486.44	c      1486          40921        5947         1         -31.0000         -84.4626    172.46%
1487.58/1492.12	c      1492          41001        6027         1         -31.0000         -84.4484    172.41%
1492.65/1497.23	c      1497          41051        6077         1         -31.0000         -84.4355    172.37%
1498.03/1502.68	c      1503          41111        6137         1         -31.0000         -84.4214    172.33%
1503.42/1508.04	c      1508          41191        6217         1         -31.0000         -84.4059    172.28%
1509.89/1514.55	c      1515          41241        6267         1         -31.0000         -84.3986    172.25%
1515.67/1520.39	c      1520          41296        6322         1         -31.0000         -84.3852    172.21%
1521.46/1526.13	c      1526          41371        6397         1         -31.0000         -84.3758    172.18%
1527.03/1531.72	c      1532          41447        6473         1         -31.0000         -84.3527    172.11%
1532.11/1536.81	c      1537          41513        6539         1         -31.0000         -84.3450    172.08%
1537.09/1541.85	c      1542          41581        6607         1         -31.0000         -84.3403    172.07%
1542.77/1547.55	c      1548          41630        6656         1         -31.0000         -84.3279    172.03%
1548.16/1552.96	c      1553          41701        6727         1         -31.0000         -84.3172    171.99%
1553.25/1558.05	c      1558          41751        6777         1         -31.0000         -84.3107    171.97%
1559.22/1564.02	c      1564          41837        6863         1         -31.0000         -84.3020    171.94%
1564.39/1569.21	c      1569          41900        6926         1         -31.0000         -84.2932    171.91%
1569.57/1574.43	c      1574          41944        6970         1         -31.0000         -84.2773    171.86%
1574.66/1579.54	c      1580          42003        7029         1         -31.0000         -84.2599    171.81%
1580.15/1585.07	c      1585          42081        7107         1         -31.0000         -84.2498    171.77%
1585.31/1590.21	c      1590          42161        7187         1         -31.0000         -84.2423    171.75%
1590.49/1595.44	c      1595          42231        7257         1         -31.0000         -84.2292    171.71%
1595.88/1600.82	c      1601          42291        7317         1         -31.0000         -84.2208    171.68%
1601.86/1606.83	c      1607          42353        7379         1         -31.0000         -84.2095    171.64%
1607.24/1612.29	c      1612          42421        7447         1         -31.0000         -84.2019    171.62%
1612.82/1617.86	c      1618          42491        7517         1         -31.0000         -84.1885    171.58%
1618.01/1623.10	c      1623          42551        7577         1         -31.0000         -84.1818    171.55%
1623.09/1628.15	c      1628          42621        7647         1         -31.0000         -84.1733    171.53%
1628.17/1633.25	c      1633          42681        7707         1         -31.0000         -84.1605    171.49%
1633.55/1638.70	c      1639          42753        7779         1         -31.0000         -84.1536    171.46%
1638.73/1643.86	c      1644          42821        7847         1         -31.0000         -84.1459    171.44%
1643.71/1648.89	c      1649          42871        7897         1         -31.0000         -84.1422    171.43%
1649.29/1654.42	c      1654          42951        7977         1         -31.0000         -84.1270    171.38%
1654.67/1659.86	c      1660          43011        8037         1         -31.0000         -84.1181    171.35%
1660.05/1665.23	c      1665          43081        8107         1         -31.0000         -84.1076    171.31%
1665.23/1670.40	c      1670          43142        8168         1         -31.0000         -84.1030    171.30%
1670.43/1675.69	c      1676          43221        8247         1         -31.0000         -84.0944    171.27%
1675.92/1681.16	c      1681          43291        8317         1         -31.0000         -84.0837    171.24%
1681.69/1686.95	c      1687          43351        8377         1         -31.0000         -84.0776    171.22%
1686.78/1692.01	c      1692          43401        8427         1         -31.0000         -84.0708    171.20%
1692.15/1697.47	c      1697          43452        8478         1         -31.0000         -84.0670    171.18%
1697.44/1702.79	c      1703          43521        8547         1         -31.0000         -84.0615    171.17%
1702.52/1707.83	c      1708          43570        8596         1         -31.0000         -84.0532    171.14%
1707.81/1713.14	c      1713          43671        8697         1         -31.0000         -84.0411    171.10%
1713.19/1718.52	c      1719          43761        8787         1         -31.0000         -84.0301    171.06%
1718.57/1723.96	c      1724          43831        8857         1         -31.0000         -84.0207    171.03%
1723.66/1729.07	c      1729          43911        8937         1         -31.0000         -84.0092    171.00%
1724.66/1730.07	c *    1730          43921        8947         1         -32.0000         -84.0071    162.52%
1728.93/1734.32	c      1734          43991        8867         1         -32.0000         -83.9971    162.49%
1734.21/1739.69	c      1740          44081        8957         1         -32.0000         -83.9867    162.46%
1740.09/1745.56	c      1746          44134        9010         1         -32.0000         -83.9849    162.45%
1745.59/1751.01	c      1751          44188        9064         1         -32.0000         -83.9827    162.45%
1750.56/1756.10	c      1756          44261        9137         1         -32.0000         -83.9635    162.39%
1755.84/1761.33	c      1761          44332        9208         1         -32.0000         -83.9552    162.36%
1762.02/1767.57	c      1768          44401        9277         1         -32.0000         -83.9425    162.32%
1767.41/1772.96	c      1773          44501        9377         1         -32.0000         -83.9321    162.29%
1772.69/1778.29	c      1778          44561        9437         1         -32.0000         -83.9302    162.28%
1778.27/1783.82	c      1784          44621        9497         1         -32.0000         -83.9209    162.25%
1783.67/1789.25	c      1789          44691        9567         1         -32.0000         -83.9153    162.24%
1789.15/1794.71	c      1795          44761        9637         1         -32.0000         -83.9096    162.22%
1794.24/1799.86	c      1800          44841        9717         1         -32.0000         -83.9022    162.19%
1799.32/1804.93	c      1805          44921        9797         1         -32.0000         -83.8916    162.16%
1804.31/1810.01	c      1810          44981        9857         1         -32.0000         -83.8828    162.13%
1809.99/1815.63	c      1816          45071        9947         1         -32.0000         -83.8723    162.10%
1816.88/1822.51	c      1823          45121        9997         1         -32.0000         -83.8665    162.08%
1822.16/1827.85	c      1828          45211       10087         1         -32.0000         -83.8570    162.05%
1827.15/1832.88	c      1833          45291       10167         1         -32.0000         -83.8494    162.03%
1833.53/1839.25	c      1839          45351       10227         1         -32.0000         -83.8457    162.02%
1838.72/1844.45	c      1844          45431       10307         1         -32.0000         -83.8387    162.00%
1844.20/1849.99	c      1850          45501       10377         1         -32.0000         -83.8320    161.97%
1849.68/1855.43	c      1855          45591       10467         1         -32.0000         -83.8286    161.96%
1854.77/1860.51	c      1861          45651       10527         1         -32.0000         -83.8259    161.96%
1860.05/1865.83	c      1866          45731       10607         1         -32.0000         -83.8200    161.94%
1865.84/1871.60	c      1872          45801       10677         1         -32.0000         -83.8134    161.92%
1871.12/1876.90	c      1877          45881       10757         1         -32.0000         -83.8058    161.89%
1876.61/1882.49	c      1882          45951       10827         1         -32.0000         -83.8002    161.88%
1882.00/1887.86	c      1888          46041       10917         1         -32.0000         -83.7879    161.84%
1887.38/1893.25	c      1893          46091       10967         1         -32.0000         -83.7823    161.82%
1892.47/1898.30	c      1898          46171       11047         1         -32.0000         -83.7698    161.78%
1897.75/1903.67	c      1904          46251       11127         1         -32.0000         -83.7660    161.77%
1902.84/1908.74	c      1909          46331       11207         1         -32.0000         -83.7581    161.74%
1908.32/1914.20	c      1914          46420       11296         1         -32.0000         -83.7535    161.73%
1913.70/1919.67	c      1920          46511       11387         1         -32.0000         -83.7454    161.70%
1918.90/1924.83	c      1925          46601       11477         1         -32.0000         -83.7372    161.68%
1924.09/1930.07	c      1930          46681       11557         1         -32.0000         -83.7324    161.66%
1929.08/1935.10	c      1935          46721       11597         1         -32.0000         -83.7309    161.66%
1934.46/1940.43	c      1940          46781       11657         1         -32.0000         -83.7245    161.64%
1939.84/1945.80	c      1946          46871       11747         1         -32.0000         -83.7178    161.62%
1945.33/1951.34	c      1951          46941       11817         1         -32.0000         -83.7125    161.60%
1951.02/1957.03	c      1957          47041       11917         1         -32.0000         -83.7036    161.57%
1956.00/1962.05	c      1962          47131       12007         1         -32.0000         -83.6932    161.54%
1961.38/1967.46	c      1967          47231       12107         1         -32.0000         -83.6865    161.52%
1966.87/1973.00	c      1973          47321       12197         1         -32.0000         -83.6772    161.49%
1972.24/1978.39	c      1978          47411       12287         1         -32.0000         -83.6705    161.47%
1977.64/1983.78	c      1984          47491       12367         1         -32.0000         -83.6635    161.45%
1983.11/1989.21	c      1989          47571       12447         1         -32.0000         -83.6577    161.43%
1988.40/1994.59	c      1995          47661       12537         1         -32.0000         -83.6498    161.41%
1994.00/2000.16	c      2000          47751       12627         1         -32.0000         -83.6425    161.38%
1998.97/2005.17	c      2005          47821       12697         1         -32.0000         -83.6368    161.37%
2004.54/2010.72	c      2011          47901       12777         1         -32.0000         -83.6299    161.34%
2009.73/2015.96	c      2016          47991       12867         1         -32.0000         -83.6245    161.33%
2015.22/2021.46	c      2021          48051       12927         1         -32.0000         -83.6202    161.31%
2020.40/2026.64	c      2027          48121       12997         1         -32.0000         -83.6151    161.30%
2026.09/2032.31	c      2032          48191       13067         1         -32.0000         -83.6092    161.28%
2031.68/2037.93	c      2038          48281       13157         1         -32.0000         -83.6017    161.26%
2036.96/2043.23	c      2043          48371       13247         1         -32.0000         -83.5958    161.24%
2041.95/2048.26	c      2048          48461       13337         1         -32.0000         -83.5888    161.22%
2047.53/2053.87	c      2054          48541       13417         1         -32.0000         -83.5830    161.20%
2052.73/2059.06	c      2059          48631       13507         1         -32.0000         -83.5779    161.18%
2058.30/2064.64	c      2065          48711       13587         1         -32.0000         -83.5727    161.16%
2063.69/2070.03	c      2070          48811       13687         1         -32.0000         -83.5637    161.14%
2069.06/2075.40	c      2075          48891       13767         1         -32.0000         -83.5599    161.12%
2074.15/2080.53	c      2081          48971       13847         1         -32.0000         -83.5527    161.10%
2079.34/2085.72	c      2086          49051       13927         1         -32.0000         -83.5501    161.09%
2084.63/2091.04	c      2091          49141       14017         1         -32.0000         -83.5425    161.07%
2089.62/2096.08	c      2096          49191       14067         1         -32.0000         -83.5387    161.06%
2094.80/2101.29	c      2101          49271       14147         1         -32.0000         -83.5306    161.03%
2100.28/2106.73	c      2107          49351       14227         1         -32.0000         -83.5249    161.02%
2105.77/2112.20	c      2112          49433       14309         1         -32.0000         -83.5230    161.01%
2111.25/2117.78	c      2118          49511       14387         1         -32.0000         -83.5196    161.00%
2116.24/2122.79	c      2123          49591       14467         1         -32.0000         -83.5154    160.99%
2122.02/2128.50	c      2128          49671       14547         1         -32.0000         -83.5105    160.97%
2127.52/2134.04	c      2134          49752       14628         1         -32.0000         -83.5044    160.95%
2132.79/2139.34	c      2139          49841       14717         1         -32.0000         -83.5003    160.94%
2138.08/2144.67	c      2145          49921       14797         1         -32.0000         -83.4960    160.93%
2143.17/2149.78	c      2150          49991       14867         1         -32.0000         -83.4932    160.92%
2148.65/2155.22	c      2155          50091       14967         1         -32.0000         -83.4879    160.90%
2154.13/2160.75	c      2161          50181       15057         1         -32.0000         -83.4819    160.88%
2159.12/2165.79	c      2166          50261       15137         1         -32.0000         -83.4774    160.87%
2164.52/2171.15	c      2171          50331       15207         1         -32.0000         -83.4735    160.85%
2169.90/2176.50	c      2176          50400       15276         1         -32.0000         -83.4668    160.83%
2174.97/2181.69	c      2182          50491       15367         1         -32.0000         -83.4618    160.82%
2180.05/2186.73	c      2187          50581       15457         1         -32.0000         -83.4536    160.79%
2185.34/2192.05	c      2192          50661       15537         1         -32.0000         -83.4459    160.77%
2190.92/2197.63	c      2198          50741       15617         1         -32.0000         -83.4441    160.76%
2196.59/2203.31	c      2203          50831       15707         1         -32.0000         -83.4354    160.74%
2201.68/2208.49	c      2208          50911       15787         1         -32.0000         -83.4289    160.72%
2207.07/2213.83	c      2214          51001       15877         1         -32.0000         -83.4245    160.70%
2212.15/2219.01	c      2219          51071       15947         1         -32.0000         -83.4184    160.68%
2217.44/2224.24	c      2224          51161       16037         1         -32.0000         -83.4127    160.66%
2222.52/2229.32	c      2229          51241       16117         1         -32.0000         -83.4088    160.65%
2227.70/2234.57	c      2235          51331       16207         1         -32.0000         -83.4014    160.63%
2233.49/2240.31	c      2240          51393       16269         1         -32.0000         -83.3973    160.62%
2238.68/2245.55	c      2246          51451       16327         1         -32.0000         -83.3940    160.61%
2243.97/2250.82	c      2251          51551       16427         1         -32.0000         -83.3901    160.59%
2248.95/2255.83	c      2256          51621       16497         1         -32.0000         -83.3873    160.59%
2254.03/2260.91	c      2261          51701       16577         1         -32.0000         -83.3849    160.58%
2259.13/2266.10	c      2266          51771       16647         1         -32.0000         -83.3788    160.56%
2264.61/2271.57	c      2272          51861       16737         1         -32.0000         -83.3732    160.54%
2270.20/2277.12	c      2277          51941       16817         1         -32.0000         -83.3699    160.53%
2275.58/2282.55	c      2283          52041       16917         1         -32.0000         -83.3656    160.52%
2281.26/2288.28	c      2288          52121       16997         1         -32.0000         -83.3616    160.51%
2286.55/2293.53	c      2294          52181       17057         1         -32.0000         -83.3598    160.50%
2291.83/2298.86	c      2299          52251       17127         1         -32.0000         -83.3577    160.49%
2297.03/2304.10	c      2304          52331       17207         1         -32.0000         -83.3525    160.48%
2302.71/2309.75	c      2310          52411       17287         1         -32.0000         -83.3487    160.46%
2307.79/2314.86	c      2315          52501       17377         1         -32.0000         -83.3442    160.45%
2313.27/2320.38	c      2320          52581       17457         1         -32.0000         -83.3422    160.44%
2318.75/2325.88	c      2326          52651       17527         1         -32.0000         -83.3385    160.43%
2324.34/2331.45	c      2331          52731       17607         1         -32.0000         -83.3326    160.41%
2329.53/2336.61	c      2337          52831       17707         1         -32.0000         -83.3288    160.40%
2335.02/2342.12	c      2342          52921       17797         1         -32.0000         -83.3240    160.39%
2340.39/2347.54	c      2348          53001       17877         1         -32.0000         -83.3169    160.37%
2346.28/2353.46	c      2353          53081       17957         1         -32.0000         -83.3127    160.35%
2351.36/2358.57	c      2359          53161       18037         1         -32.0000         -83.3072    160.33%
2356.75/2363.95	c      2364          53241       18117         1         -32.0000         -83.3052    160.33%
2362.24/2369.48	c      2369          53311       18187         1         -32.0000         -83.3036    160.32%
2367.42/2374.65	c      2375          53391       18267         1         -32.0000         -83.2984    160.31%
2372.82/2380.07	c      2380          53481       18357         1         -32.0000         -83.2905    160.28%
2378.00/2385.26	c      2385          53561       18437         1         -32.0000         -83.2875    160.27%
2383.98/2391.28	c      2391          53642       18518         1         -32.0000         -83.2844    160.26%
2389.36/2396.63	c      2397          53720       18596         1         -32.0000         -83.2783    160.24%
2395.15/2402.49	c      2402          53793       18669         1         -32.0000         -83.2763    160.24%
2400.53/2407.88	c      2408          53864       18740         1         -32.0000         -83.2737    160.23%
2405.73/2413.08	c      2413          53951       18827         1         -32.0000         -83.2691    160.22%
2411.00/2418.39	c      2418          54041       18917         1         -32.0000         -83.2670    160.21%
2416.30/2423.62	c      2424          54121       18997         1         -32.0000         -83.2634    160.20%
2421.38/2428.79	c      2429          54191       19067         1         -32.0000         -83.2597    160.19%
2426.67/2434.06	c      2434          54291       19167         1         -32.0000         -83.2518    160.16%
2431.76/2439.18	c      2439          54371       19247         1         -32.0000         -83.2485    160.15%
2436.83/2444.25	c      2444          54461       19337         1         -32.0000         -83.2445    160.14%
2443.32/2450.73	c      2451          54521       19397         1         -32.0000         -83.2423    160.13%
2448.61/2456.02	c      2456          54601       19477         1         -32.0000         -83.2383    160.12%
2453.98/2461.47	c      2461          54661       19537         1         -32.0000         -83.2367    160.11%
2459.07/2466.51	c      2467          54731       19607         1         -32.0000         -83.2324    160.10%
2464.16/2471.65	c      2472          54811       19687         1         -32.0000         -83.2306    160.10%
2469.94/2477.43	c      2477          54900       19776         1         -32.0000         -83.2250    160.08%
2475.12/2482.63	c      2483          54980       19856         1         -32.0000         -83.2212    160.07%
2480.42/2487.96	c      2488          55061       19937         1         -32.0000         -83.2176    160.05%
2486.30/2493.85	c      2494          55141       20017         1         -32.0000         -83.2147    160.05%
2491.38/2498.98	c      2499          55231       20107         1         -32.0000         -83.2096    160.03%
2496.97/2504.55	c      2505          55311       20187         1         -32.0000         -83.2048    160.01%
2502.15/2509.73	c      2510          55401       20277         1         -32.0000         -83.1959    159.99%
2507.45/2515.02	c      2515          55451       20327         1         -32.0000         -83.1941    159.98%
2513.12/2520.72	c      2521          55541       20417         1         -32.0000         -83.1902    159.97%
2518.42/2526.04	c      2526          55621       20497         1         -32.0000         -83.1858    159.96%
2523.90/2531.55	c      2532          55700       20576         1         -32.0000         -83.1801    159.94%
2529.28/2536.96	c      2537          55771       20647         1         -32.0000         -83.1772    159.93%
2534.97/2542.65	c      2543          55861       20737         1         -32.0000         -83.1734    159.92%
2540.46/2548.16	c      2548          55941       20817         1         -32.0000         -83.1700    159.91%
2545.84/2553.50	c      2554          56031       20907         1         -32.0000         -83.1663    159.89%
2551.43/2559.16	c      2559          56111       20987         1         -32.0000         -83.1627    159.88%
2556.80/2564.55	c      2565          56191       21067         1         -32.0000         -83.1583    159.87%
2563.08/2570.81	c      2571          56271       21147         1         -32.0000         -83.1548    159.86%
2568.07/2575.88	c      2576          56351       21227         1         -32.0000         -83.1513    159.85%
2573.45/2581.23	c      2581          56421       21297         1         -32.0000         -83.1475    159.84%
2580.14/2587.94	c      2588          56511       21387         1         -32.0000         -83.1394    159.81%
2585.52/2593.34	c      2593          56611       21487         1         -32.0000         -83.1346    159.80%
2590.61/2598.48	c      2598          56701       21577         1         -32.0000         -83.1306    159.78%
2595.70/2603.51	c      2604          56781       21657         1         -32.0000         -83.1283    159.78%
2601.38/2609.28	c      2609          56881       21757         1         -32.0000         -83.1253    159.77%
2606.56/2614.42	c      2614          56971       21847         1         -32.0000         -83.1237    159.76%
2612.27/2620.18	c      2620          57050       21926         1         -32.0000         -83.1226    159.76%
2617.34/2625.23	c      2625          57121       21997         1         -32.0000         -83.1200    159.75%
2622.33/2630.25	c      2630          57181       22057         1         -32.0000         -83.1162    159.74%
2627.40/2635.38	c      2635          57241       22117         1         -32.0000         -83.1144    159.73%
2632.89/2640.87	c      2641          57321       22197         1         -32.0000         -83.1100    159.72%
2638.27/2646.29	c      2646          57391       22267         1         -32.0000         -83.1082    159.71%
2643.64/2651.65	c      2652          57461       22337         1         -32.0000         -83.1066    159.71%
2648.73/2656.78	c      2657          57541       22417         1         -32.0000         -83.1023    159.69%
2654.72/2662.72	c      2663          57621       22497         1         -32.0000         -83.0997    159.69%
2660.20/2668.21	c      2668          57690       22566         1         -32.0000         -83.0979    159.68%
2665.48/2673.56	c      2674          57771       22647         1         -32.0000         -83.0940    159.67%
2670.45/2678.58	c      2679          57841       22717         1         -32.0000         -83.0912    159.66%
2676.24/2684.34	c      2684          57911       22787         1         -32.0000         -83.0893    159.65%
2681.42/2689.55	c      2690          57981       22857         1         -32.0000         -83.0867    159.65%
2687.02/2695.18	c      2695          58081       22957         1         -32.0000         -83.0841    159.64%
2692.79/2701.01	c      2701          58134       23010         1         -32.0000         -83.0828    159.63%
2698.17/2706.37	c      2706          58211       23087         1         -32.0000         -83.0811    159.63%
2703.76/2711.98	c      2712          58281       23157         1         -32.0000         -83.0770    159.62%
2708.86/2717.04	c      2717          58361       23237         1         -32.0000         -83.0750    159.61%
2714.23/2722.47	c      2722          58451       23327         1         -32.0000         -83.0702    159.59%
2719.32/2727.58	c      2728          58511       23387         1         -32.0000         -83.0682    159.59%
2724.41/2732.63	c      2733          58581       23457         1         -32.0000         -83.0641    159.58%
2729.59/2737.83	c      2738          58650       23526         1         -32.0000         -83.0599    159.56%
2734.98/2743.22	c      2743          58731       23607         1         -32.0000         -83.0544    159.55%
2740.26/2748.53	c      2749          58811       23687         1         -32.0000         -83.0521    159.54%
2745.54/2753.88	c      2754          58891       23767         1         -32.0000         -83.0494    159.53%
2750.93/2759.29	c      2759          58951       23827         1         -32.0000         -83.0470    159.52%
2756.51/2764.80	c      2765          59041       23917         1         -32.0000         -83.0417    159.51%
2761.50/2769.85	c      2770          59091       23967         1         -32.0000         -83.0389    159.50%
2766.58/2775.01	c      2775          59181       24057         1         -32.0000         -83.0359    159.49%
2772.07/2780.43	c      2780          59271       24147         1         -32.0000         -83.0314    159.47%
2777.56/2786.01	c      2786          59322       24198         1         -32.0000         -83.0284    159.46%
2783.53/2791.98	c      2792          59392       24268         1         -32.0000         -83.0250    159.45%
2789.42/2797.90	c      2798          59471       24347         1         -32.0000         -83.0228    159.45%
2794.80/2803.29	c      2803          59551       24427         1         -32.0000         -83.0178    159.43%
2800.18/2808.62	c      2809          59630       24506         1         -32.0000         -83.0165    159.43%
2805.47/2813.99	c      2814          59711       24587         1         -32.0000         -83.0125    159.41%
2811.66/2820.19	c      2820          59761       24637         1         -32.0000         -83.0115    159.41%
2817.04/2825.57	c      2826          59841       24717         1         -32.0000         -83.0093    159.40%
2822.32/2830.82	c      2831          59921       24797         1         -32.0000         -83.0067    159.40%
2827.71/2836.26	c      2836          59991       24867         1         -32.0000         -83.0031    159.38%
2833.80/2842.38	c      2842          60051       24927         1         -32.0000         -83.0013    159.38%
2838.88/2847.45	c      2847          60121       24997         1         -32.0000         -82.9983    159.37%
2844.36/2852.96	c      2853          60201       25077         1         -32.0000         -82.9978    159.37%
2849.46/2858.09	c      2858          60271       25147         1         -32.0000         -82.9956    159.36%
2854.83/2863.48	c      2863          60350       25226         1         -32.0000         -82.9925    159.35%
2860.02/2868.61	c      2869          60430       25306         1         -32.0000         -82.9891    159.34%
2865.70/2874.32	c      2874          60510       25386         1         -32.0000         -82.9859    159.33%
2870.79/2879.46	c      2879          60581       25457         1         -32.0000         -82.9826    159.32%
2875.87/2884.56	c      2885          60661       25537         1         -32.0000         -82.9801    159.31%
2881.16/2889.87	c      2890          60731       25607         1         -32.0000         -82.9772    159.30%
2886.14/2894.88	c      2895          60781       25657         1         -32.0000         -82.9736    159.29%
2891.45/2900.17	c      2900          60851       25727         1         -32.0000         -82.9706    159.28%
2896.52/2905.27	c      2905          60921       25797         1         -32.0000         -82.9679    159.27%
2901.91/2910.69	c      2911          60971       25847         1         -32.0000         -82.9651    159.27%
2907.19/2915.93	c      2916          61051       25927         1         -32.0000         -82.9625    159.26%
2912.29/2921.03	c      2921          61113       25989         1         -32.0000         -82.9600    159.25%
2917.37/2926.18	c      2926          61181       26057         1         -32.0000         -82.9591    159.25%
2923.04/2931.88	c      2932          61231       26107         1         -32.0000         -82.9575    159.24%
2928.13/2936.91	c      2937          61311       26187         1         -32.0000         -82.9554    159.24%
2933.42/2942.24	c      2942          61381       26257         1         -32.0000         -82.9528    159.23%
2938.50/2947.30	c      2947          61461       26337         1         -32.0000         -82.9490    159.22%
2944.39/2953.20	c      2953          61551       26427         1         -32.0000         -82.9440    159.20%
2949.47/2958.32	c      2958          61631       26507         1         -32.0000         -82.9426    159.20%
2954.95/2963.87	c      2964          61721       26597         1         -32.0000         -82.9386    159.18%
2960.34/2969.25	c      2969          61801       26677         1         -32.0000         -82.9349    159.17%
2965.73/2974.60	c      2975          61881       26757         1         -32.0000         -82.9314    159.16%
2971.01/2979.95	c      2980          61960       26836         1         -32.0000         -82.9273    159.15%
2976.99/2985.93	c      2986          62047       26923         1         -32.0000         -82.9257    159.14%
2981.98/2990.97	c      2991          62131       27007         1         -32.0000         -82.9232    159.13%
2986.96/2995.99	c      2996          62201       27077         1         -32.0000         -82.9214    159.13%
2992.35/3001.34	c      3001          62271       27147         1         -32.0000         -82.9186    159.12%
2997.33/3006.34	c      3006          62351       27227         1         -32.0000         -82.9167    159.11%
3003.21/3012.23	c      3012          62410       27286         1         -32.0000         -82.9150    159.11%
3009.00/3018.10	c      3018          62490       27366         1         -32.0000         -82.9132    159.10%
3014.88/3023.96	c      3024          62581       27457         1         -32.0000         -82.9112    159.10%
3020.16/3029.26	c      3029          62640       27516         1         -32.0000         -82.9082    159.09%
3025.25/3034.32	c      3034          62721       27597         1         -32.0000         -82.9060    159.08%
3030.83/3039.99	c      3040          62800       27676         1         -32.0000         -82.9045    159.08%
3036.51/3045.66	c      3046          62870       27746         1         -32.0000         -82.9024    159.07%
3041.70/3050.86	c      3051          62941       27817         1         -32.0000         -82.8990    159.06%
3047.58/3056.71	c      3057          63011       27887         1         -32.0000         -82.8969    159.05%
3052.76/3061.92	c      3062          63091       27967         1         -32.0000         -82.8952    159.05%
3057.76/3066.96	c      3067          63160       28036         1         -32.0000         -82.8924    159.04%
3062.95/3072.12	c      3072          63241       28117         1         -32.0000         -82.8878    159.02%
3069.84/3079.08	c      3079          63321       28197         1         -32.0000         -82.8843    159.01%
3075.01/3084.22	c      3084          63397       28273         1         -32.0000         -82.8815    159.00%
3080.39/3089.65	c      3090          63468       28344         1         -32.0000         -82.8801    159.00%
3085.78/3095.04	c      3095          63551       28427         1         -32.0000         -82.8768    158.99%
3091.56/3100.85	c      3101          63620       28496         1         -32.0000         -82.8762    158.99%
3096.63/3105.96	c      3106          63691       28567         1         -32.0000         -82.8741    158.98%
3102.23/3111.53	c      3112          63761       28637         1         -32.0000         -82.8711    158.97%
3107.60/3116.99	c      3117          63841       28717         1         -32.0000         -82.8687    158.96%
3112.80/3122.19	c      3122          63901       28777         1         -32.0000         -82.8669    158.96%
3118.07/3127.49	c      3127          63969       28845         1         -32.0000         -82.8628    158.95%
3123.67/3133.06	c      3133          64041       28917         1         -32.0000         -82.8591    158.93%
3129.05/3138.40	c      3138          64111       28987         1         -32.0000         -82.8575    158.93%
3134.33/3143.73	c      3144          64181       29057         1         -32.0000         -82.8564    158.93%
3140.81/3150.24	c      3150          64261       29137         1         -32.0000         -82.8529    158.92%
3146.49/3155.96	c      3156          64302       29178         1         -32.0000         -82.8475    158.90%
3151.78/3161.28	c      3161          64381       29257         1         -32.0000         -82.8446    158.89%
3156.87/3166.38	c      3166          64461       29337         1         -32.0000         -82.8423    158.88%
3162.05/3171.53	c      3172          64511       29387         1         -32.0000         -82.8399    158.87%
3167.94/3177.40	c      3177          64577       29453         1         -32.0000         -82.8360    158.86%
3173.02/3182.51	c      3183          64631       29507         1         -32.0000         -82.8349    158.86%
3178.21/3187.78	c      3188          64721       29597         1         -32.0000         -82.8333    158.85%
3183.69/3193.25	c      3193          64801       29677         1         -32.0000         -82.8308    158.85%
3188.78/3198.39	c      3198          64850       29726         1         -32.0000         -82.8283    158.84%
3194.26/3203.86	c      3204          64920       29796         1         -32.0000         -82.8258    158.83%
3199.84/3209.48	c      3209          64985       29861         1         -32.0000         -82.8229    158.82%
3205.13/3214.73	c      3215          65061       29937         1         -32.0000         -82.8204    158.81%
3210.12/3219.79	c      3220          65113       29989         1         -32.0000         -82.8199    158.81%
3215.30/3224.91	c      3225          65191       30067         1         -32.0000         -82.8162    158.80%
3220.99/3230.69	c      3231          65271       30147         1         -32.0000         -82.8136    158.79%
3226.57/3236.26	c      3236          65341       30217         1         -32.0000         -82.8109    158.78%
3231.95/3241.65	c      3242          65401       30277         1         -32.0000         -82.8099    158.78%
3236.93/3246.67	c      3247          65470       30346         1         -32.0000         -82.8083    158.78%
3242.43/3252.13	c      3252          65541       30417         1         -32.0000         -82.8052    158.77%
3247.69/3257.42	c      3257          65611       30487         1         -32.0000         -82.8030    158.76%
3253.47/3263.20	c      3263          65691       30567         1         -32.0000         -82.7988    158.75%
3258.86/3268.69	c      3269          65771       30647         1         -32.0000         -82.7957    158.74%
3263.94/3273.78	c      3274          65841       30717         1         -32.0000         -82.7941    158.73%
3269.72/3279.54	c      3280          65920       30796         1         -32.0000         -82.7919    158.72%
3274.71/3284.58	c      3285          65981       30857         1         -32.0000         -82.7906    158.72%
3280.20/3290.08	c      3290          66061       30937         1         -32.0000         -82.7866    158.71%
3285.78/3295.60	c      3296          66131       31007         1         -32.0000         -82.7852    158.70%
3290.77/3300.69	c      3301          66186       31062         1         -32.0000         -82.7827    158.70%
3296.26/3306.16	c      3306          66251       31127         1         -32.0000         -82.7801    158.69%
3301.73/3311.66	c      3312          66321       31197         1         -32.0000         -82.7797    158.69%
3306.92/3316.82	c      3317          66379       31255         1         -32.0000         -82.7780    158.68%
3312.01/3322.01	c      3322          66441       31317         1         -32.0000         -82.7763    158.68%
3317.09/3327.08	c      3327          66481       31357         1         -32.0000         -82.7745    158.67%
3322.36/3332.30	c      3332          66551       31427         1         -32.0000         -82.7730    158.67%
3327.66/3337.62	c      3338          66621       31497         1         -32.0000         -82.7694    158.65%
3332.64/3342.65	c      3343          66691       31567         1         -32.0000         -82.7679    158.65%
3337.93/3347.90	c      3348          66761       31637         1         -32.0000         -82.7640    158.64%
3343.13/3353.17	c      3353          66831       31707         1         -32.0000         -82.7612    158.63%
3348.79/3358.81	c      3359          66910       31786         1         -32.0000         -82.7585    158.62%
3354.10/3364.15	c      3364          66981       31857         1         -32.0000         -82.7574    158.62%
3359.76/3369.81	c      3370          67051       31927         1         -32.0000         -82.7534    158.60%
3364.85/3374.99	c      3375          67131       32007         1         -32.0000         -82.7502    158.59%
3370.33/3380.45	c      3380          67211       32087         1         -32.0000         -82.7480    158.59%
3375.93/3386.10	c      3386          67291       32167         1         -32.0000         -82.7458    158.58%
3381.31/3391.43	c      3391          67331       32207         1         -32.0000         -82.7447    158.58%
3386.50/3396.64	c      3397          67401       32277         1         -32.0000         -82.7415    158.57%
3391.89/3402.01	c      3402          67461       32337         1         -32.0000         -82.7398    158.56%
3397.26/3407.43	c      3407          67541       32417         1         -32.0000         -82.7339    158.54%
3402.65/3412.85	c      3413          67611       32487         1         -32.0000         -82.7321    158.54%
3409.23/3419.42	c      3419          67691       32567         1         -32.0000         -82.7284    158.53%
3414.51/3424.71	c      3425          67757       32633         1         -32.0000         -82.7271    158.52%
3420.10/3430.38	c      3430          67830       32706         1         -32.0000         -82.7257    158.52%
3425.48/3435.71	c      3436          67911       32787         1         -32.0000         -82.7228    158.51%
3430.47/3440.73	c      3441          67971       32847         1         -32.0000         -82.7211    158.50%
3436.65/3446.96	c      3447          68050       32926         1         -32.0000         -82.7193    158.50%
3442.53/3452.85	c      3453          68131       33007         1         -32.0000         -82.7167    158.49%
3448.62/3458.95	c      3459          68191       33067         1         -32.0000         -82.7143    158.48%
3454.10/3464.42	c      3464          68251       33127         1         -32.0000         -82.7118    158.47%
3459.48/3469.81	c      3470          68311       33187         1         -32.0000         -82.7109    158.47%
3465.27/3475.66	c      3476          68381       33257         1         -32.0000         -82.7087    158.46%
3470.77/3481.18	c      3481          68440       33316         1         -32.0000         -82.7073    158.46%
3476.14/3486.56	c      3487          68510       33386         1         -32.0000         -82.7046    158.45%
3482.02/3492.43	c      3492          68590       33466         1         -32.0000         -82.7029    158.45%
3487.72/3498.17	c      3498          68661       33537         1         -32.0000         -82.6997    158.44%
3492.89/3503.37	c      3503          68741       33617         1         -32.0000         -82.6968    158.43%
3499.07/3509.59	c      3510          68810       33686         1         -32.0000         -82.6944    158.42%
3504.45/3514.93	c      3515          68891       33767         1         -32.0000         -82.6918    158.41%
3509.66/3520.18	c      3520          68971       33847         1         -32.0000         -82.6900    158.41%
3514.73/3525.26	c      3525          69021       33897         1         -32.0000         -82.6881    158.40%
3520.31/3530.80	c      3531          69081       33957         1         -32.0000         -82.6867    158.40%
3525.30/3535.83	c      3536          69140       34016         1         -32.0000         -82.6858    158.39%
3530.88/3541.44	c      3541          69201       34077         1         -32.0000         -82.6820    158.38%
3536.87/3547.40	c      3547          69261       34137         1         -32.0000         -82.6799    158.37%
3542.15/3552.78	c      3553          69321       34197         1         -32.0000         -82.6786    158.37%
3547.54/3558.15	c      3558          69401       34277         1         -32.0000         -82.6753    158.36%
3552.72/3563.39	c      3563          69471       34347         1         -32.0000         -82.6733    158.35%
3557.91/3568.54	c      3569          69531       34407         1         -32.0000         -82.6719    158.35%
3563.20/3573.87	c      3574          69621       34497         1         -32.0000         -82.6690    158.34%
3568.67/3579.31	c      3579          69704       34580         1         -32.0000         -82.6673    158.34%
3573.96/3584.63	c      3585          69761       34637         1         -32.0000         -82.6662    158.33%
3579.64/3590.32	c      3590          69831       34707         1         -32.0000         -82.6633    158.32%
3584.83/3595.55	c      3596          69901       34777         1         -32.0000         -82.6606    158.31%
3588.82/3599.58	c SCIP Status        : c solving was interrupted [hard time limit reached]
3588.82/3599.58	c Total Time         : 3599.59
3588.82/3599.58	c   solving          : 3599.59
3588.82/3599.58	c   presolving       : 0.11 (included in solving)
3588.82/3599.58	c B&B Tree           :
3588.82/3599.58	c   nodes (total)    : 1
3588.82/3599.58	c Solution           :
3588.82/3599.58	c   Solutions found  : 9
3588.82/3599.60	c   Primal Bound     : -3.20000000000000e+01
3588.82/3599.60	c   Dual Bound       : -8.26593406320768e+01
3588.82/3599.60	c Gap                : 158.31044 %
3588.82/3599.60	c * Warning: final gap: 1.58310e+00 is greater than SCIPepsilon: 1.00000e-09
3588.94/3599.62	o -32
3588.94/3599.62	s SATISFIABLE
3588.94/3599.62	v x375 -x317 x361 -x286 -x342 -x224 -x249 x359 x390 -x297 -x299 -x251 -x256 -x319 -x273 -x231 x360 x348 -x240 -x382 x334 -x332 -x269 
3588.94/3599.62	v -x237 -x362 -x217 -x321 -x349 -x278 -x239 -x398 -x265 -x343 x391 -x300 -x264 -x370 -x339 -x377 -x207 -x392 -x353 -x234 -x238 
3588.94/3599.62	v -x352 -x233 -x388 -x315 -x229 -x356 -x322 -x206 -x395 -x380 -x345 -x289 -x221 -x246 -x219 -x350 -x309 x304 x272 -x329 -x225 
3588.94/3599.62	v -x284 -x366 x354 x335 -x312 -x208 -x276 -x372 -x232 -x220 -x245 -x290 -x242 -x253 -x318 -x303 -x298 -x204 -x344 -x310 -x267 
3588.94/3599.62	v -x266 -x255 -x236 -x396 -x295 x213 x340 -x261 x333 x400 -x355 -x252 -x389 -x277 -x209 -x288 -x351 -x244 x365 -x386 -x367 -x347 
3588.94/3599.62	v -x323 x294 -x271 -x254 -x248 -x226 -x218 -x216 -x215 -x346 -x258 -x314 -x247 -x328 -x326 x306 -x282 -x397 -x274 -x357 -x381 
3588.94/3599.62	v -x292 -x214 -x202 -x307 -x305 -x302 x301 -x296 x279 -x210 -x205 -x371 -x325 -x399 -x338 -x385 x320 x374 -x243 -x257 -x270 
3588.94/3599.62	v -x259 -x223 -x203 -x330 -x268 x324 -x263 -x331 -x201 -x393 -x379 -x376 -x358 -x313 -x311 -x308 -x285 x283 -x281 -x280 -x275 -x262 
3588.94/3599.62	v -x241 x235 -x211 x383 -x230 -x368 -x369 -x212 -x337 -x373 x227 x341 x327 x364 -x260 -x291 -x228 -x363 -x222 x250 -x293 -x387 
3588.94/3599.62	v -x336 -x394 -x316 -x378 -x287 -x384 -x200 x199 -x198 -x197 x196 x195 x194 x193 x192 -x191 -x190 x189 -x188 x187 -x186 -x185 
3588.94/3599.62	v x184 -x183 x182 -x181 x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 
3588.94/3599.62	v -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 -x142 
3588.94/3599.62	v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 x131 -x130 x129 -x128 -x127 x126 x125 -x124 -x123 -x122 x121 -x120 
3588.94/3599.62	v -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 
3588.94/3599.62	v -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 
3588.94/3599.62	v -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 
3588.94/3599.62	v -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 
3588.94/3599.62	v -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 x5 -x4 -x3 -x2 -x1 

Verifier Data

OK	-32

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: 64096 MiB (60697 MiB free)
  memory of node 1: 64473 MiB (57513 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100101 s]*
/proc/loadavg: 4.22 4.16 4.10 5/252 29649
/proc/meminfo: memFree=121017148/131655788 swapFree=131071472/131071996
[pid=29648] ppid=29645 vsize=52192 memory=41204 CPUtime=0.1 cores=1,3
/proc/29648/stat : 29648 (fscip) R 29645 29648 27283 0 -1 4194304 7938 0 0 0 9 1 0 0 20 0 1 0 4589550 53444608 10301 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
/proc/29648/statm: 13048 10301 2646 3035 0 9444 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 52192 KiB
Current children cumulated memory: 41204 KiB

[startup+0.217901 s]*
/proc/loadavg: 4.22 4.16 4.10 5/254 29651
/proc/meminfo: memFree=121000132/131655788 swapFree=131071472/131071996
[pid=29648] ppid=29645 vsize=140248 memory=55796 CPUtime=0.21 cores=1,3
/proc/29648/stat : 29648 (fscip) S 29645 29648 27283 0 -1 1077936128 11191 0 0 0 19 2 0 0 20 0 3 0 4589550 143613952 13949 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
/proc/29648/statm: 35062 13949 2758 3035 0 16980 0
[pid=29648/tid=29650] ppid=29645 vsize=140248 memory=8505393642823811203 CPUtime=0.04 cores=1,3
/proc/29648/task/29650/stat : 29650 (fscip) R 29645 29648 27283 0 -1 4194368 1982 0 0 0 4 0 0 0 20 0 3 0 4589566 143613952 13949 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
[pid=29648/tid=29651] ppid=29645 vsize=140248 memory=56007 CPUtime=0 cores=1,3
/proc/29648/task/29651/stat : 29651 (fscip) S 29645 29648 27283 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4589568 143613952 13949 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 140248 KiB
Current children cumulated memory: 55796 KiB

[startup+0.313904 s]*
/proc/loadavg: 4.22 4.16 4.10 5/254 29651
/proc/meminfo: memFree=120994084/131655788 swapFree=131071472/131071996
[pid=29648] ppid=29645 vsize=141192 memory=61916 CPUtime=0.29 cores=1,3
/proc/29648/stat : 29648 (fscip) S 29645 29648 27283 0 -1 1077936128 12655 0 0 0 26 3 0 0 20 0 3 0 4589550 144580608 15479 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
/proc/29648/statm: 35298 15479 2854 3035 0 18461 0
[pid=29648/tid=29650] ppid=29645 vsize=141192 memory=-5155630197787290757 CPUtime=0.13 cores=1,3
/proc/29648/task/29650/stat : 29650 (fscip) R 29645 29648 27283 0 -1 4194368 3446 0 0 0 12 1 0 0 20 0 3 0 4589566 144580608 15479 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
[pid=29648/tid=29651] ppid=29645 vsize=141192 memory=0 CPUtime=0 cores=1,3
/proc/29648/task/29651/stat : 29651 (fscip) S 29645 29648 27283 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4589568 144580608 15479 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 141192 KiB
Current children cumulated memory: 61916 KiB

[startup+0.70034 s]
/proc/loadavg: 4.22 4.16 4.10 5/254 29651
/proc/meminfo: memFree=120990500/131655788 swapFree=131071472/131071996
[pid=29648] ppid=29645 vsize=143844 memory=67772 CPUtime=0.65 cores=1,3
/proc/29648/stat : 29648 (fscip) S 29645 29648 27283 0 -1 1077936128 14019 0 0 0 62 3 0 0 20 0 3 0 4589550 147296256 16943 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
/proc/29648/statm: 35961 16943 2950 3035 0 19882 0
[pid=29648/tid=29650] ppid=29645 vsize=143844 memory=0 CPUtime=0.48 cores=1,3
/proc/29648/task/29650/stat : 29650 (fscip) R 29645 29648 27283 0 -1 4194368 4810 0 0 0 47 1 0 0 20 0 3 0 4589566 147296256 16943 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
[pid=29648/tid=29651] ppid=29645 vsize=143844 memory=0 CPUtime=0 cores=1,3
/proc/29648/task/29651/stat : 29651 (fscip) S 29645 29648 27283 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4589568 147296256 16943 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 143844 KiB
Current children cumulated memory: 67772 KiB

[startup+1.50035 s]
/proc/loadavg: 4.22 4.16 4.10 5/254 29651
/proc/meminfo: memFree=120965596/131655788 swapFree=131071472/131071996
[pid=29648] ppid=29645 vsize=159620 memory=94396 CPUtime=1.45 cores=1,3
/proc/29648/stat : 29648 (fscip) S 29645 29648 27283 0 -1 1077936128 23441 0 0 0 140 5 0 0 20 0 3 0 4589550 163450880 23599 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
/proc/29648/statm: 39905 23599 2950 3035 0 26699 0
[pid=29648/tid=29650] ppid=29645 vsize=159620 memory=0 CPUtime=1.29 cores=1,3
/proc/29648/task/29650/stat : 29650 (fscip) R 29645 29648 27283 0 -1 4194368 14232 0 0 0 126 3 0 0 20 0 3 0 4589566 163450880 23599 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
[pid=29648/tid=29651] ppid=29645 vsize=159620 memory=0 CPUtime=0 cores=1,3
/proc/29648/task/29651/stat : 29651 (fscip) S 29645 29648 27283 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4589568 163450880 23599 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 159620 KiB
Current children cumulated memory: 94396 KiB

[startup+3.11329 s]
/proc/loadavg: 4.22 4.16 4.10 5/254 29653
/proc/meminfo: memFree=120913448/131655788 swapFree=131071472/131071996
[pid=29648] ppid=29645 vsize=164280 memory=116452 CPUtime=3.06 cores=1,3
/proc/29648/stat : 29648 (fscip) S 29645 29648 27283 0 -1 1077936128 36865 0 0 0 299 7 0 0 20 0 3 0 4589550 168222720 29113 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
/proc/29648/statm: 41070 29113 2950 3035 0 32938 0
[pid=29648/tid=29650] ppid=29645 vsize=164280 memory=0 CPUtime=2.89 cores=1,3
/proc/29648/task/29650/stat : 29650 (fscip) R 29645 29648 27283 0 -1 4194368 27654 0 0 0 284 5 0 0 20 0 3 0 4589566 168222720 29113 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
[pid=29648/tid=29651] ppid=29645 vsize=164280 memory=2209 CPUtime=0 cores=1,3
/proc/29648/task/29651/stat : 29651 (fscip) S 29645 29648 27283 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4589568 168222720 29113 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 164280 KiB
Current children cumulated memory: 116452 KiB

[startup+6.3003 s]
/proc/loadavg: 4.20 4.16 4.10 5/250 29653
/proc/meminfo: memFree=120909784/131655788 swapFree=131071472/131071996
[pid=29648] ppid=29645 vsize=229956 memory=147540 CPUtime=6.24 cores=1,3
/proc/29648/stat : 29648 (fscip) S 29645 29648 27283 0 -1 1077936128 54903 0 0 0 615 9 0 0 20 0 3 0 4589550 235474944 36885 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
/proc/29648/statm: 57489 36885 2950 3035 0 40488 0
[pid=29648/tid=29650] ppid=29645 vsize=229956 memory=0 CPUtime=6.07 cores=1,3
/proc/29648/task/29650/stat : 29650 (fscip) R 29645 29648 27283 0 -1 4194368 45690 0 0 0 600 7 0 0 20 0 3 0 4589566 235474944 36885 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
[pid=29648/tid=29651] ppid=29645 vsize=229956 memory=0 CPUtime=0 cores=1,3
/proc/29648/task/29651/stat : 29651 (fscip) S 29645 29648 27283 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4589568 235474944 36885 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 229956 KiB
Current children cumulated memory: 147540 KiB

[startup+12.7003 s]
/proc/loadavg: 4.19 4.15 4.10 5/252 29795
/proc/meminfo: memFree=122117920/131655788 swapFree=131071472/131071996
[pid=29648] ppid=29645 vsize=230072 memory=191556 CPUtime=12.62 cores=1,3
/proc/29648/stat : 29648 (fscip) S 29645 29648 27283 0 -1 1077936128 94293 0 0 0 1250 12 0 0 20 0 3 0 4589550 235593728 47889 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
/proc/29648/statm: 57518 47889 2950 3035 0 52106 0
[pid=29648/tid=29650] ppid=29645 vsize=230072 memory=-5155630197787290757 CPUtime=12.45 cores=1,3
/proc/29648/task/29650/stat : 29650 (fscip) R 29645 29648 27283 0 -1 4194368 85071 0 0 0 1235 10 0 0 20 0 3 0 4589566 235593728 47889 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
[pid=29648/tid=29651] ppid=29645 vsize=230072 memory=190092 CPUtime=0 cores=1,3
/proc/29648/task/29651/stat : 29651 (fscip) S 29645 29648 27283 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 4589568 235593728 47889 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 230072 KiB
Current children cumulated memory: 191556 KiB

[startup+25.5004 s]
/proc/loadavg: 4.14 4.14 4.09 5/254 29800
/proc/meminfo: memFree=121091812/131655788 swapFree=131071472/131071996
[pid=29648] ppid=29645 vsize=230344 memory=196152 CPUtime=25.38 cores=1,3
/proc/29648/stat : 29648 (fscip) S 29645 29648 27283 0 -1 1077936128 131445 0 0 0 2523 15 0 0 20 0 3 0 4589550 235872256 49038 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
/proc/29648/statm: 57586 49038 2998 3035 0 53104 0
[pid=29648/tid=29650] ppid=29645 vsize=230344 memory=196004 CPUtime=25.21 cores=1,3
/proc/29648/task/29650/stat : 29650 (fscip) R 29645 29648 27283 0 -1 4194368 122070 0 0 0 2508 13 0 0 20 0 3 0 4589566 235872256 49038 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
[pid=29648/tid=29651] ppid=29645 vsize=230344 memory=150196 CPUtime=0 cores=1,3
/proc/29648/task/29651/stat : 29651 (fscip) S 29645 29648 27283 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 4589568 235872256 49038 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 230344 KiB
Current children cumulated memory: 196152 KiB

[startup+51.1124 s]
/proc/loadavg: 4.17 4.15 4.09 5/252 29859
/proc/meminfo: memFree=120617044/131655788 swapFree=131071472/131071996
[pid=29648] ppid=29645 vsize=230372 memory=199308 CPUtime=50.92 cores=1,3
/proc/29648/stat : 29648 (fscip) S 29645 29648 27283 0 -1 1077936128 156069 0 0 0 5075 17 0 0 20 0 3 0 4589550 235900928 49827 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
/proc/29648/statm: 57593 49827 2998 3035 0 53510 0
[pid=29648/tid=29650] ppid=29645 vsize=230372 memory=199308 CPUtime=50.75 cores=1,3
/proc/29648/task/29650/stat : 29650 (fscip) R 29645 29648 27283 0 -1 4194368 146609 0 0 0 5060 15 0 0 20 0 3 0 4589566 235900928 49827 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
[pid=29648/tid=29651] ppid=29645 vsize=230372 memory=199276 CPUtime=0 cores=1,3
/proc/29648/task/29651/stat : 29651 (fscip) S 29645 29648 27283 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 4589568 235900928 49827 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 230372 KiB
Current children cumulated memory: 199308 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/252 29869
/proc/meminfo: memFree=120460792/131655788 swapFree=131071472/131071996
[pid=29648] ppid=29645 vsize=361444 memory=279756 CPUtime=101.96 cores=1,3
/proc/29648/stat : 29648 (fscip) S 29645 29648 27283 0 -1 1077936128 238033 0 0 0 10172 24 0 0 20 0 3 0 4589550 370118656 69939 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
/proc/29648/statm: 90361 69939 2998 3035 0 73447 0
[pid=29648/tid=29650] ppid=29645 vsize=361444 memory=279684 CPUtime=101.79 cores=1,3
/proc/29648/task/29650/stat : 29650 (fscip) R 29645 29648 27283 0 -1 4194368 228389 0 0 0 10157 22 0 0 20 0 3 0 4589566 370118656 69939 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
[pid=29648/tid=29651] ppid=29645 vsize=361444 memory=11424 CPUtime=0 cores=1,3
/proc/29648/task/29651/stat : 29651 (fscip) S 29645 29648 27283 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 4589568 370118656 69939 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 361444 KiB
Current children cumulated memory: 279756 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/252 29880
/proc/meminfo: memFree=120416008/131655788 swapFree=131071472/131071996
[pid=29648] ppid=29645 vsize=361444 memory=290812 CPUtime=161.8 cores=1,3
/proc/29648/stat : 29648 (fscip) S 29645 29648 27283 0 -1 1077936128 254502 0 0 0 16154 26 0 0 20 0 3 0 4589550 370118656 72703 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
/proc/29648/statm: 90361 72703 2998 3035 0 75917 0
[pid=29648/tid=29650] ppid=29645 vsize=361444 memory=289516 CPUtime=161.63 cores=1,3
/proc/29648/task/29650/stat : 29650 (fscip) R 29645 29648 27283 0 -1 4194368 244769 0 0 0 16139 24 0 0 20 0 3 0 4589566 370118656 72703 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
[pid=29648/tid=29651] ppid=29645 vsize=361444 memory=289520 CPUtime=0 cores=1,3
/proc/29648/task/29651/stat : 29651 (fscip) S 29645 29648 27283 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 4589568 370118656 72703 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 361444 KiB
Current children cumulated memory: 290812 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.15 4.09 5/252 29890

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

[pid=29648] ppid=29645 vsize=801444 memory=753240 CPUtime=3392.18 cores=1,3
/proc/29648/stat : 29648 (fscip) S 29645 29648 27283 0 -1 1077936128 2008925 0 0 0 338972 246 0 0 20 0 3 0 4589550 820678656 188310 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
/proc/29648/statm: 200361 188310 3014 3035 0 192149 0
[pid=29648/tid=29650] ppid=29645 vsize=801444 memory=753080 CPUtime=3391.59 cores=1,3
/proc/29648/task/29650/stat : 29650 (fscip) R 29645 29648 27283 0 -1 4194368 1998279 0 0 0 338933 226 0 0 20 0 3 0 4589566 820678656 188310 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
[pid=29648/tid=29651] ppid=29645 vsize=801444 memory=753200 CPUtime=0.05 cores=1,3
/proc/29648/task/29651/stat : 29651 (fscip) S 29645 29648 27283 0 -1 1077936192 113 0 0 0 1 4 0 0 20 0 3 0 4589568 820678656 188310 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
Current children cumulated CPU time: 3392.18 s
Current children cumulated vsize: 801444 KiB
Current children cumulated memory: 753240 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.13 4.13 5/251 31504
/proc/meminfo: memFree=115703652/131655788 swapFree=131071472/131071996
[pid=29648] ppid=29645 vsize=801444 memory=760244 CPUtime=3452 cores=1,3
/proc/29648/stat : 29648 (fscip) S 29645 29648 27283 0 -1 1077936128 2069029 0 0 0 344948 252 0 0 20 0 3 0 4589550 820678656 190061 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
/proc/29648/statm: 200361 190061 3014 3035 0 193171 0
[pid=29648/tid=29650] ppid=29645 vsize=801444 memory=753080 CPUtime=3451.41 cores=1,3
/proc/29648/task/29650/stat : 29650 (fscip) R 29645 29648 27283 0 -1 4194368 2058362 0 0 0 344909 232 0 0 20 0 3 0 4589566 820678656 190061 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
[pid=29648/tid=29651] ppid=29645 vsize=801444 memory=11424 CPUtime=0.05 cores=1,3
/proc/29648/task/29651/stat : 29651 (fscip) S 29645 29648 27283 0 -1 1077936192 114 0 0 0 1 4 0 0 20 0 3 0 4589568 820678656 190061 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
Current children cumulated CPU time: 3452 s
Current children cumulated vsize: 801444 KiB
Current children cumulated memory: 760244 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/253 31684
/proc/meminfo: memFree=115691012/131655788 swapFree=131071472/131071996
[pid=29648] ppid=29645 vsize=801444 memory=760416 CPUtime=3511.84 cores=1,3
/proc/29648/stat : 29648 (fscip) S 29645 29648 27283 0 -1 1077936128 2127517 0 0 0 350926 258 0 0 20 0 3 0 4589550 820678656 190104 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
/proc/29648/statm: 200361 190104 3014 3035 0 193171 0
[pid=29648/tid=29650] ppid=29645 vsize=801444 memory=12700 CPUtime=3511.24 cores=1,3
/proc/29648/task/29650/stat : 29650 (fscip) R 29645 29648 27283 0 -1 4194368 2116829 0 0 0 350886 238 0 0 20 0 3 0 4589566 820678656 190104 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
[pid=29648/tid=29651] ppid=29645 vsize=801444 memory=760416 CPUtime=0.05 cores=1,3
/proc/29648/task/29651/stat : 29651 (fscip) S 29645 29648 27283 0 -1 1077936192 115 0 0 0 1 4 0 0 20 0 3 0 4589568 820678656 190104 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
Current children cumulated CPU time: 3511.84 s
Current children cumulated vsize: 801444 KiB
Current children cumulated memory: 760416 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.14 4.13 5/253 31694
/proc/meminfo: memFree=115662276/131655788 swapFree=131071472/131071996
[pid=29648] ppid=29645 vsize=801444 memory=768740 CPUtime=3571.66 cores=1,3
/proc/29648/stat : 29648 (fscip) S 29645 29648 27283 0 -1 1077936128 2193668 0 0 0 356901 265 0 0 20 0 3 0 4589550 820678656 192185 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
/proc/29648/statm: 200361 192185 3014 3035 0 195658 0
[pid=29648/tid=29650] ppid=29645 vsize=801444 memory=12700 CPUtime=3571.06 cores=1,3
/proc/29648/task/29650/stat : 29650 (fscip) R 29645 29648 27283 0 -1 4194368 2182963 0 0 0 356861 245 0 0 20 0 3 0 4589566 820678656 192185 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
[pid=29648/tid=29651] ppid=29645 vsize=801444 memory=768720 CPUtime=0.05 cores=1,3
/proc/29648/task/29651/stat : 29651 (fscip) S 29645 29648 27283 0 -1 1077936192 116 0 0 0 1 4 0 0 20 0 3 0 4589568 820678656 192185 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
Current children cumulated CPU time: 3571.66 s
Current children cumulated vsize: 801444 KiB
Current children cumulated memory: 768740 KiB

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

# cumulated CPU time of all completed processes:  user=3586.25 s, system=2.73724 s

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

[startup+3584 s]*
/proc/loadavg: 4.19 4.14 4.13 5/253 31695
/proc/meminfo: memFree=115661896/131655788 swapFree=131071472/131071996
[pid=29648] ppid=29645 vsize=801444 memory=768740 CPUtime=3573.37 cores=1,3
/proc/29648/stat : 29648 (fscip) S 29645 29648 27283 0 -1 1077936128 2193745 0 0 0 357072 265 0 0 20 0 3 0 4589550 820678656 192185 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
/proc/29648/statm: 200361 192185 3014 3035 0 195658 0
[pid=29648/tid=29650] ppid=29645 vsize=801444 memory=-7017571960470201210 CPUtime=3572.77 cores=1,3
/proc/29648/task/29650/stat : 29650 (fscip) R 29645 29648 27283 0 -1 4194368 2183040 0 0 0 357032 245 0 0 20 0 3 0 4589566 820678656 192185 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
[pid=29648/tid=29651] ppid=29645 vsize=801444 memory=4715433308606590621 CPUtime=0.05 cores=1,3
/proc/29648/task/29651/stat : 29651 (fscip) S 29645 29648 27283 0 -1 1077936192 116 0 0 0 1 4 0 0 20 0 3 0 4589568 820678656 192185 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
Current children cumulated CPU time: 3573.37 s
Current children cumulated vsize: 801444 KiB
Current children cumulated memory: 768740 KiB

[startup+3590.4 s]
/proc/loadavg: 4.16 4.14 4.13 5/253 31695
/proc/meminfo: memFree=115661612/131655788 swapFree=131071472/131071996
[pid=29648] ppid=29645 vsize=801444 memory=768760 CPUtime=3579.74 cores=1,3
/proc/29648/stat : 29648 (fscip) S 29645 29648 27283 0 -1 1077936128 2194015 0 0 0 357709 265 0 0 20 0 3 0 4589550 820678656 192190 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
/proc/29648/statm: 200361 192190 3014 3035 0 195658 0
[pid=29648/tid=29650] ppid=29645 vsize=801444 memory=2244 CPUtime=3579.14 cores=1,3
/proc/29648/task/29650/stat : 29650 (fscip) R 29645 29648 27283 0 -1 4194368 2183310 0 0 0 357669 245 0 0 20 0 3 0 4589566 820678656 192190 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
[pid=29648/tid=29651] ppid=29645 vsize=801444 memory=768740 CPUtime=0.05 cores=1,3
/proc/29648/task/29651/stat : 29651 (fscip) S 29645 29648 27283 0 -1 1077936192 116 0 0 0 1 4 0 0 20 0 3 0 4589568 820678656 192190 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
Current children cumulated CPU time: 3579.74 s
Current children cumulated vsize: 801444 KiB
Current children cumulated memory: 768760 KiB

[startup+3593.6 s]
/proc/loadavg: 4.16 4.14 4.13 5/253 31697
/proc/meminfo: memFree=115661584/131655788 swapFree=131071472/131071996
[pid=29648] ppid=29645 vsize=801444 memory=768792 CPUtime=3582.93 cores=1,3
/proc/29648/stat : 29648 (fscip) S 29645 29648 27283 0 -1 1077936128 2220025 0 0 0 358026 267 0 0 20 0 3 0 4589550 820678656 192198 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
/proc/29648/statm: 200361 192198 3014 3035 0 195658 0
[pid=29648/tid=29650] ppid=29645 vsize=801444 memory=11424 CPUtime=3582.33 cores=1,3
/proc/29648/task/29650/stat : 29650 (fscip) R 29645 29648 27283 0 -1 4194368 2209315 0 0 0 357986 247 0 0 20 0 3 0 4589566 820678656 192198 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
[pid=29648/tid=29651] ppid=29645 vsize=801444 memory=768760 CPUtime=0.05 cores=1,3
/proc/29648/task/29651/stat : 29651 (fscip) S 29645 29648 27283 0 -1 1077936192 116 0 0 0 1 4 0 0 20 0 3 0 4589568 820678656 192198 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
Current children cumulated CPU time: 3582.93 s
Current children cumulated vsize: 801444 KiB
Current children cumulated memory: 768792 KiB

[startup+3596.8 s]
/proc/loadavg: 4.14 4.14 4.13 5/253 31697
/proc/meminfo: memFree=115661176/131655788 swapFree=131071472/131071996
[pid=29648] ppid=29645 vsize=801444 memory=768792 CPUtime=3586.13 cores=1,3
/proc/29648/stat : 29648 (fscip) S 29645 29648 27283 0 -1 1077936128 2223142 0 0 0 358345 268 0 0 20 0 3 0 4589550 820678656 192198 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
/proc/29648/statm: 200361 192198 3014 3035 0 195658 0
[pid=29648/tid=29650] ppid=29645 vsize=801444 memory=164 CPUtime=3585.52 cores=1,3
/proc/29648/task/29650/stat : 29650 (fscip) R 29645 29648 27283 0 -1 4194368 2212424 0 0 0 358305 247 0 0 20 0 3 0 4589566 820678656 192198 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
[pid=29648/tid=29651] ppid=29645 vsize=801444 memory=768740 CPUtime=0.05 cores=1,3
/proc/29648/task/29651/stat : 29651 (fscip) S 29645 29648 27283 0 -1 1077936192 116 0 0 0 1 4 0 0 20 0 3 0 4589568 820678656 192198 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
Current children cumulated CPU time: 3586.13 s
Current children cumulated vsize: 801444 KiB
Current children cumulated memory: 768792 KiB

[startup+3598.4 s]
/proc/loadavg: 4.14 4.14 4.13 5/246 31705
/proc/meminfo: memFree=116341404/131655788 swapFree=131071472/131071996
[pid=29648] ppid=29645 vsize=801444 memory=768792 CPUtime=3587.72 cores=1,3
/proc/29648/stat : 29648 (fscip) S 29645 29648 27283 0 -1 1077936128 2228632 0 0 0 358504 268 0 0 20 0 3 0 4589550 820678656 192198 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
/proc/29648/statm: 200361 192198 3014 3035 0 195658 0
[pid=29648/tid=29650] ppid=29645 vsize=801444 memory=12700 CPUtime=3587.11 cores=1,3
/proc/29648/task/29650/stat : 29650 (fscip) R 29645 29648 27283 0 -1 4194368 2217912 0 0 0 358464 247 0 0 20 0 3 0 4589566 820678656 192198 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
[pid=29648/tid=29651] ppid=29645 vsize=801444 memory=12736 CPUtime=0.05 cores=1,3
/proc/29648/task/29651/stat : 29651 (fscip) S 29645 29648 27283 0 -1 1077936192 116 0 0 0 1 4 0 0 20 0 3 0 4589568 820678656 192198 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
Current children cumulated CPU time: 3587.72 s
Current children cumulated vsize: 801444 KiB
Current children cumulated memory: 768792 KiB

[startup+3599.2 s]
/proc/loadavg: 4.14 4.14 4.13 5/251 31743
/proc/meminfo: memFree=116302820/131655788 swapFree=131071472/131071996
[pid=29648] ppid=29645 vsize=801444 memory=768792 CPUtime=3588.52 cores=1,3
/proc/29648/stat : 29648 (fscip) S 29645 29648 27283 0 -1 1077936128 2238360 0 0 0 358583 269 0 0 20 0 3 0 4589550 820678656 192198 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
/proc/29648/statm: 200361 192198 3014 3035 0 195658 0
[pid=29648/tid=29650] ppid=29645 vsize=801444 memory=-4050210904893669008 CPUtime=3587.91 cores=1,3
/proc/29648/task/29650/stat : 29650 (fscip) R 29645 29648 27283 0 -1 4194368 2227639 0 0 0 358543 248 0 0 20 0 3 0 4589566 820678656 192198 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
[pid=29648/tid=29651] ppid=29645 vsize=801444 memory=11424 CPUtime=0.05 cores=1,3
/proc/29648/task/29651/stat : 29651 (fscip) S 29645 29648 27283 0 -1 1077936192 116 0 0 0 1 4 0 0 20 0 3 0 4589568 820678656 192198 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
Current children cumulated CPU time: 3588.52 s
Current children cumulated vsize: 801444 KiB
Current children cumulated memory: 768792 KiB

[startup+3599.61 s]
/proc/loadavg: 4.14 4.14 4.13 5/251 31743
/proc/meminfo: memFree=116302820/131655788 swapFree=131071472/131071996
[pid=29648] ppid=29645 vsize=590440 memory=563628 CPUtime=3588.94 cores=1,3
/proc/29648/stat : 29648 (fscip) R 29645 29648 27283 0 -1 4194304 2243558 0 0 0 358624 270 0 0 20 0 2 0 4589550 604610560 140907 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
/proc/29648/statm: 147610 140907 3014 3035 0 143367 0
[pid=29648/tid=29651] ppid=29645 vsize=590440 memory=-7233744742583984508 CPUtime=0.05 cores=1,3
/proc/29648/task/29651/stat : 29651 (fscip) S 29645 29648 27283 0 -1 1077936192 116 0 0 0 1 4 0 0 20 0 2 0 4589568 604610560 140907 134679101440 4194304 16623229 140734327215296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25587712 140734327223318 140734327223434 140734327223434 140734327230448 0
Current children cumulated CPU time: 3588.94 s
Current children cumulated vsize: 590440 KiB
Current children cumulated memory: 563628 KiB

Child status: 0

Real time (s): 3599.66
CPU time (s): 3588.98
CPU user time (s): 3586.25
CPU system time (s): 2.73724
CPU usage (%): 99.7035
Max. virtual memory (cumulated for all children) (KiB): 801444
Max. memory (cumulated for all children) (KiB): 768792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.25
system time used= 2.73724
maximum resident set size= 768792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2243833
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= 13079
involuntary context switches= 5738


# summary of solver processes directly reported to runsolver:
#   pid: 29648
#   total CPU time (s): 3588.98
#   total CPU user time (s): 3586.25
#   total CPU system time (s): 2.73724

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5166 second user time and 34.6248 second system time

The end

Launcher Data

Begin job on nodeC012 at 2024-07-31 01:29:54
IDJOB=4464776
IDBENCH=148653
IDSOLVER=3092
FILE ID=nodeC012/4464776-1722382194
RUNJOBID= nodeC012-1722378594-27295
SLURM_JOB_ID= 8249842
Free space on /tmp= 723696 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_1.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464776-1722382194/watcher-4464776-1722382194 -o /tmp/evaluation-result-4464776-1722382194/solver-4464776-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722378594-27295 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464776-1722382194.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 273961b324c53d2d230ce6da1470e4a9
RANDOM SEED=1367756045

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        121049196 kB
MemAvailable:   128578656 kB
Buffers:           91096 kB
Cached:          8240392 kB
SwapCached:           48 kB
Active:           251144 kB
Inactive:        9853088 kB
Active(anon):       1448 kB
Inactive(anon):  1792540 kB
Active(file):     249696 kB
Inactive(file):  8060548 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:             84844 kB
Writeback:            16 kB
AnonPages:       1772428 kB
Mapped:           123116 kB
Shmem:             21248 kB
KReclaimable:     118828 kB
Slab:             201624 kB
SReclaimable:     118828 kB
SUnreclaim:        82796 kB
KernelStack:        3972 kB
PageTables:        12384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1161608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6336 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1406976 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:      199496 kB
DirectMap2M:    13336576 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 723652 MiB
End job on nodeC012 at 2024-07-31 02:29:54