Trace number 4464775

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-57 3588.33 3598.69

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_200_10_2.opb
MD5SUM2ee40362659bac8ce3ae96da1e16af6a
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-58
Best CPU time to get the best result obtained on this benchmark71396.6
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)4984
Sum of products size (including duplicates)9968
Number of different products2492
Sum of products size4984

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.01	c Default LC presolving (default).
0.00/0.01	c ** Before presolving: virtualMemUsedAtLc = 34172928, getVmSize() = 34172928, SCIPgetMemUsed() = 9496065, SCIPgetMemTotal() = 12215561, SCIPgetMemExternEstim() = 6087518
0.00/0.01	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.04	c ** Estimated virtualMemUsedAtSolver = 24685226, getVmSize() = 39882752, SCIPgetMemUsed() = 10331451, SCIPgetMemTotal() = 16739123, SCIPgetMemExternEstim() = 6087518
0.00/0.04	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.04	c Original Problem   :
0.00/0.04	c   Problem name     : instance-4464775-1722382195
0.00/0.04	c   Variables        : 2892 (400 binary, 0 integer, 2492 implicit integer, 0 continuous)
0.00/0.04	c   Constraints      : 3493
0.00/0.04	c   Objective sense  : minimize
0.00/0.04	c Presolved Problem  :
0.00/0.04	c   Variables        : 400 (400 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.04	c   Constraints      : 601
0.00/0.04	c Constraints        : Number
0.00/0.04	c   knapsack         : 400 
0.00/0.04	c   setppc           : 200 
0.00/0.04	c   linear           : 1 
0.00/0.04	c ** Instance transfer method used: 0
0.00/0.05	c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.06	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.06	c                                Nodes    Active                                            
0.00/0.06	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.09/0.14	c *       0              0           1         1          -1.0000                -          -
1.41/1.50	c *       2              0           1         1         -38.0000                -          -
16.27/16.49	c *      16              0           1         1         -41.0000                -          -
16.27/16.49	c        16              0           1         1         -41.0000                -          -
22.05/22.29	c        22              2           1         1         -41.0000         -95.5072    132.94%
29.64/29.84	c        30              4           3         1         -41.0000         -95.5072    132.94%
36.22/36.49	c        36              7           6         1         -41.0000         -95.5072    132.94%
42.41/42.64	c        43             12          11         1         -41.0000         -95.5072    132.94%
44.82/45.05	c *      45             14          13         1         -49.0000         -95.5072     94.91%
49.99/50.22	c        50             17          16         1         -49.0000         -95.5072     94.91%
55.17/55.46	c        55             20          19         1         -49.0000         -95.5072     94.91%
57.67/57.99	c *      58             39          38         1         -53.0000         -95.5072     80.20%
60.26/60.56	c        61             47          46         1         -53.0000         -95.5072     80.20%
65.76/66.01	c        66             80          79         1         -53.0000         -95.5072     80.20%
70.75/71.10	c        71            135         134         1         -53.0000         -95.5072     80.20%
76.74/77.09	c        77            221         220         1         -53.0000         -95.4631     80.12%
83.31/83.63	c        84            271         270         1         -53.0000         -95.4631     80.12%
88.99/89.32	c        89            330         329         1         -53.0000         -95.4628     80.12%
94.87/95.21	c        95            398         387         1         -53.0000         -95.4628     80.12%
100.86/101.29	c       101            462         411         1         -53.0000         -95.2656     79.75%
106.14/106.59	c       107            522         435         1         -53.0000         -95.2315     79.68%
112.32/112.70	c       113            582         461         1         -53.0000         -95.1767     79.58%
113.73/114.12	c *     114            585         464         1         -57.0000         -95.1767     66.98%
117.41/117.88	c       118            672         443         1         -57.0000         -95.0630     66.78%
123.09/123.53	c       124            757         482         1         -57.0000         -95.0262     66.71%
128.47/128.92	c       129            832         533         1         -57.0000         -94.9766     66.63%
134.06/134.53	c       135            895         590         1         -57.0000         -94.9156     66.52%
139.83/140.31	c       140            972         655         1         -57.0000         -94.8790     66.45%
145.92/146.40	c       146           1057         732         1         -57.0000         -94.8790     66.45%
151.52/152.09	c       152           1183         822         1         -57.0000         -94.8160     66.34%
157.19/157.72	c       158           1313         840         1         -57.0000         -94.8025     66.32%
162.48/163.10	c       163           1422         897         1         -57.0000         -94.7998     66.32%
167.85/168.42	c       168           1482         937         1         -57.0000         -94.7627     66.25%
173.74/174.35	c       174           1569         982         1         -57.0000         -94.7254     66.18%
179.03/179.67	c       180           1652        1013         1         -57.0000         -94.6509     66.05%
184.31/184.95	c       185           1722        1045         1         -57.0000         -94.6413     66.04%
189.29/189.97	c       190           1830        1105         1         -57.0000         -94.6344     66.03%
194.77/195.46	c       195           2082        1191         1         -57.0000         -94.6154     65.99%
199.75/200.48	c       200           2308        1209         1         -57.0000         -94.6144     65.99%
205.84/206.50	c       206           2475        1228         1         -57.0000         -94.5795     65.93%
211.44/212.12	c       212           2622        1253         1         -57.0000         -94.5735     65.92%
216.51/217.28	c       217           2677        1274         1         -57.0000         -94.5730     65.92%
222.49/223.29	c       223           2881        1316         1         -57.0000         -94.5499     65.88%
228.28/229.08	c       229           3030        1353         1         -57.0000         -94.5301     65.84%
233.36/234.12	c       234           3222        1393         1         -57.0000         -94.5116     65.81%
239.14/239.91	c       240           3343        1432         1         -57.0000         -94.5116     65.81%
244.82/245.68	c       246           3557        1476         1         -57.0000         -94.4987     65.79%
250.00/250.89	c       251           3683        1512         1         -57.0000         -94.4944     65.78%
255.08/255.96	c       256           3792        1541         1         -57.0000         -94.4749     65.75%
261.28/262.17	c       262           3913        1572         1         -57.0000         -94.4610     65.72%
266.94/267.87	c       268           4114        1597         1         -57.0000         -94.4454     65.69%
271.93/272.88	c       273           4242        1637         1         -57.0000         -94.4242     65.66%
277.12/278.05	c       278           4375        1676         1         -57.0000         -94.4227     65.65%
282.22/283.17	c       283           4552        1725         1         -57.0000         -94.4214     65.65%
287.39/288.39	c       288           4742        1733         1         -57.0000         -94.4172     65.64%
292.57/293.56	c       294           4896        1753         1         -57.0000         -94.4117     65.63%
298.64/299.66	c       300           4972        1795         1         -57.0000         -94.3982     65.61%
303.92/304.95	c       305           5152        1833         1         -57.0000         -94.3906     65.60%
309.81/310.83	c       311           5342        1875         1         -57.0000         -94.3795     65.58%
315.69/316.75	c       317           5460        1913         1         -57.0000         -94.3628     65.55%
320.87/321.93	c       322           5611        1936         1         -57.0000         -94.3486     65.52%
326.85/327.90	c       328           5764        1963         1         -57.0000         -94.3359     65.50%
333.04/334.11	c       334           5913        2018         1         -57.0000         -94.3295     65.49%
338.61/339.78	c       340           6060        2095         1         -57.0000         -94.2973     65.43%
344.29/345.46	c       345           6405        2144         1         -57.0000         -94.2739     65.39%
350.46/351.66	c       352           6585        2170         1         -57.0000         -94.2574     65.36%
355.44/356.68	c       357           6752        2199         1         -57.0000         -94.2489     65.35%
361.63/362.85	c       363           6932        2223         1         -57.0000         -94.2440     65.34%
367.71/368.98	c       369           7074        2257         1         -57.0000         -94.2320     65.32%
372.99/374.20	c       374           7242        2291         1         -57.0000         -94.2264     65.31%
378.38/379.67	c       380           7464        2327         1         -57.0000         -94.2264     65.31%
383.76/385.01	c       385           7542        2341         1         -57.0000         -94.2187     65.30%
389.24/390.57	c       391           7652        2367         1         -57.0000         -94.1912     65.25%
394.62/395.98	c       396           7790        2411         1         -57.0000         -94.1801     65.23%
399.90/401.29	c       401           7897        2442         1         -57.0000         -94.1707     65.21%
405.79/407.19	c       407           8079        2488         1         -57.0000         -94.1633     65.20%
410.96/412.37	c       412           8202        2509         1         -57.0000         -94.1598     65.19%
416.85/418.23	c       418           8282        2529         1         -57.0000         -94.1524     65.18%
423.34/424.78	c       425           8422        2547         1         -57.0000         -94.1462     65.17%
428.42/429.84	c       430           8562        2587         1         -57.0000         -94.1298     65.14%
434.21/435.61	c       436           8781        2616         1         -57.0000         -94.1205     65.12%
439.79/441.28	c       441           8887        2644         1         -57.0000         -94.1090     65.10%
444.79/446.29	c       446           8923        2656         1         -57.0000         -94.0993     65.09%
450.47/451.95	c       452           9086        2685         1         -57.0000         -94.0942     65.08%
455.45/456.99	c       457           9238        2713         1         -57.0000         -94.0907     65.07%
461.14/462.60	c       463           9422        2737         1         -57.0000         -94.0856     65.06%
466.43/467.98	c       468           9642        2771         1         -57.0000         -94.0720     65.04%
472.63/474.17	c       474           9881        2816         1         -57.0000         -94.0691     65.03%
477.70/479.24	c       479          10024        2849         1         -57.0000         -94.0568     65.01%
482.88/484.49	c       484          10131        2866         1         -57.0000         -94.0453     64.99%
488.48/490.03	c       490          10216        2907         1         -57.0000         -94.0440     64.99%
494.16/495.78	c       496          10324        2921         1         -57.0000         -94.0440     64.99%
500.14/501.70	c       502          10463        2946         1         -57.0000         -94.0302     64.97%
505.23/506.88	c       507          10596        2971         1         -57.0000         -94.0297     64.96%
510.72/512.34	c       512          10752        2993         1         -57.0000         -94.0226     64.95%
515.91/517.57	c       518          10962        3021         1         -57.0000         -94.0074     64.93%
521.99/523.69	c       524          11115        3038         1         -57.0000         -94.0039     64.92%
528.07/529.74	c       530          11226        3067         1         -57.0000         -93.9973     64.91%
533.27/534.96	c       535          11276        3075         1         -57.0000         -93.9970     64.91%
538.46/540.16	c       540          11375        3084         1         -57.0000         -93.9965     64.91%
544.02/545.77	c       546          11489        3092         1         -57.0000         -93.9942     64.90%
549.81/551.52	c       552          11612        3109         1         -57.0000         -93.9888     64.89%
555.31/557.10	c       557          11822        3145         1         -57.0000         -93.9834     64.88%
560.48/562.21	c       562          11962        3167         1         -57.0000         -93.9825     64.88%
566.17/568.00	c       568          12076        3187         1         -57.0000         -93.9784     64.87%
571.27/573.03	c       573          12267        3222         1         -57.0000         -93.9681     64.86%
576.84/578.62	c       579          12462        3239         1         -57.0000         -93.9636     64.85%
581.83/583.69	c       584          12582        3245         1         -57.0000         -93.9634     64.85%
586.92/588.72	c       589          12705        3268         1         -57.0000         -93.9587     64.84%
591.91/593.76	c       594          12892        3299         1         -57.0000         -93.9448     64.82%
597.89/599.77	c       600          13136        3335         1         -57.0000         -93.9409     64.81%
604.07/605.93	c       606          13322        3343         1         -57.0000         -93.9394     64.81%
609.96/611.85	c       612          13514        3369         1         -57.0000         -93.9328     64.79%
615.75/617.69	c       618          13622        3389         1         -57.0000         -93.9211     64.77%
621.73/623.66	c       624          13795        3414         1         -57.0000         -93.9201     64.77%
627.72/629.65	c       630          13934        3417         1         -57.0000         -93.9186     64.77%
632.80/634.79	c       635          14095        3440         1         -57.0000         -93.9146     64.76%
638.20/640.19	c       640          14220        3471         1         -57.0000         -93.9114     64.76%
643.27/645.28	c       645          14422        3495         1         -57.0000         -93.8981     64.73%
649.26/651.25	c       651          14637        3510         1         -57.0000         -93.8915     64.72%
654.84/656.85	c       657          15046        3531         1         -57.0000         -93.8899     64.72%
660.23/662.26	c       662          15205        3550         1         -57.0000         -93.8824     64.71%
665.31/667.35	c       667          15404        3561         1         -57.0000         -93.8819     64.71%
671.11/673.12	c       673          15543        3580         1         -57.0000         -93.8727     64.69%
676.48/678.51	c       679          15670        3617         1         -57.0000         -93.8679     64.68%
682.47/684.51	c       685          15784        3639         1         -57.0000         -93.8623     64.67%
687.86/689.91	c       690          15892        3641         1         -57.0000         -93.8540     64.66%
692.96/695.01	c       695          16001        3656         1         -57.0000         -93.8540     64.66%
698.53/700.64	c       701          16263        3700         1         -57.0000         -93.8489     64.65%
704.52/706.66	c       707          16492        3715         1         -57.0000         -93.8466     64.64%
710.10/712.21	c       712          16808        3753         1         -57.0000         -93.8336     64.62%
715.09/717.24	c       717          16913        3772         1         -57.0000         -93.8296     64.61%
720.99/723.17	c       723          17056        3789         1         -57.0000         -93.8284     64.61%
726.56/728.79	c       729          17316        3817         1         -57.0000         -93.8269     64.61%
731.86/734.05	c       734          17491        3842         1         -57.0000         -93.8247     64.60%
737.73/739.92	c       740          17674        3857         1         -57.0000         -93.8220     64.60%
743.52/745.76	c       746          17826        3883         1         -57.0000         -93.8214     64.60%
748.91/751.17	c       751          17958        3907         1         -57.0000         -93.8170     64.59%
754.68/756.98	c       757          18127        3920         1         -57.0000         -93.8131     64.58%
759.78/762.01	c       762          18199        3936         1         -57.0000         -93.8056     64.57%
764.87/767.13	c       767          18381        3944         1         -57.0000         -93.8032     64.57%
770.04/772.34	c       772          18534        3989         1         -57.0000         -93.7923     64.55%
776.23/778.55	c       779          18774        4003         1         -57.0000         -93.7870     64.54%
781.42/783.77	c       784          18941        4024         1         -57.0000         -93.7863     64.54%
787.40/789.70	c       790          19208        4069         1         -57.0000         -93.7796     64.53%
792.99/795.33	c       795          19419        4098         1         -57.0000         -93.7719     64.51%
798.68/801.02	c       801          19685        4110         1         -57.0000         -93.7674     64.50%
803.96/806.31	c       806          19853        4120         1         -57.0000         -93.7643     64.50%
809.76/812.15	c       812          19980        4139         1         -57.0000         -93.7613     64.49%
815.03/817.43	c       817          20108        4177         1         -57.0000         -93.7565     64.49%
821.51/823.94	c       824          20252        4215         1         -57.0000         -93.7512     64.48%
826.50/828.99	c       829          20430        4243         1         -57.0000         -93.7475     64.47%
831.60/834.07	c       834          20541        4256         1         -57.0000         -93.7446     64.46%
837.47/839.92	c       840          20642        4271         1         -57.0000         -93.7422     64.46%
842.58/845.06	c       845          20841        4288         1         -57.0000         -93.7422     64.46%
848.05/850.55	c       851          20962        4307         1         -57.0000         -93.7411     64.46%
854.23/856.74	c       857          21104        4325         1         -57.0000         -93.7380     64.45%
859.92/862.40	c       862          21184        4347         1         -57.0000         -93.7283     64.44%
865.70/868.24	c       868          21330        4371         1         -57.0000         -93.7232     64.43%
871.29/873.88	c       874          21552        4401         1         -57.0000         -93.7163     64.41%
876.77/879.34	c       879          21732        4437         1         -57.0000         -93.7069     64.40%
882.57/885.14	c       885          21988        4473         1         -57.0000         -93.7063     64.40%
888.34/890.95	c       891          22163        4502         1         -57.0000         -93.6986     64.38%
893.94/896.50	c       896          22319        4532         1         -57.0000         -93.6958     64.38%
899.72/902.39	c       902          22520        4571         1         -57.0000         -93.6866     64.36%
905.20/907.87	c       908          22703        4586         1         -57.0000         -93.6864     64.36%
910.40/913.08	c       913          22838        4607         1         -57.0000         -93.6795     64.35%
916.07/918.79	c       919          22961        4620         1         -57.0000         -93.6715     64.34%
921.48/924.16	c       924          23162        4655         1         -57.0000         -93.6679     64.33%
927.24/929.92	c       930          23432        4673         1         -57.0000         -93.6641     64.32%
933.22/935.90	c       936          23721        4706         1         -57.0000         -93.6605     64.32%
939.01/941.76	c       942          23887        4728         1         -57.0000         -93.6597     64.32%
944.10/946.87	c       947          24051        4728         1         -57.0000         -93.6597     64.32%
949.40/952.17	c       952          24245        4776         1         -57.0000         -93.6544     64.31%
955.47/958.28	c       958          24422        4801         1         -57.0000         -93.6540     64.31%
961.37/964.19	c       964          24619        4836         1         -57.0000         -93.6476     64.29%
966.74/969.51	c       970          24933        4870         1         -57.0000         -93.6431     64.29%
972.42/975.23	c       975          25073        4904         1         -57.0000         -93.6408     64.28%
977.41/980.29	c       980          25195        4920         1         -57.0000         -93.6400     64.28%
983.49/986.34	c       986          25338        4953         1         -57.0000         -93.6323     64.27%
989.38/992.27	c       992          25588        5003         1         -57.0000         -93.6290     64.26%
994.57/997.44	c       997          25794        5045         1         -57.0000         -93.6187     64.24%
999.85/1002.74	c      1003          25992        5057         1         -57.0000         -93.6161     64.24%
1005.43/1008.37	c      1008          26098        5079         1         -57.0000         -93.6145     64.24%
1011.52/1014.44	c      1014          26248        5101         1         -57.0000         -93.6089     64.23%
1016.81/1019.77	c      1020          26495        5124         1         -57.0000         -93.6075     64.22%
1022.60/1025.59	c      1026          26608        5141         1         -57.0000         -93.6072     64.22%
1028.19/1031.18	c      1031          26800        5173         1         -57.0000         -93.6043     64.22%
1033.76/1036.75	c      1037          26935        5198         1         -57.0000         -93.6021     64.21%
1039.24/1042.28	c      1042          27052        5217         1         -57.0000         -93.6006     64.21%
1044.54/1047.59	c      1048          27122        5239         1         -57.0000         -93.5966     64.20%
1050.12/1053.18	c      1053          27228        5253         1         -57.0000         -93.5958     64.20%
1055.80/1058.81	c      1059          27342        5283         1         -57.0000         -93.5837     64.18%
1061.59/1064.62	c      1065          27482        5311         1         -57.0000         -93.5762     64.17%
1067.37/1070.44	c      1070          27631        5344         1         -57.0000         -93.5690     64.16%
1073.15/1076.27	c      1076          27768        5361         1         -57.0000         -93.5661     64.15%
1080.05/1083.19	c      1083          27912        5399         1         -57.0000         -93.5624     64.14%
1085.52/1088.69	c      1089          28079        5418         1         -57.0000         -93.5605     64.14%
1091.40/1094.55	c      1095          28205        5436         1         -57.0000         -93.5592     64.14%
1097.08/1100.27	c      1100          28410        5451         1         -57.0000         -93.5581     64.14%
1103.47/1106.66	c      1107          28547        5478         1         -57.0000         -93.5570     64.14%
1108.86/1112.02	c      1112          28682        5499         1         -57.0000         -93.5533     64.13%
1114.73/1117.98	c      1118          28814        5517         1         -57.0000         -93.5533     64.13%
1119.83/1123.09	c      1123          28945        5540         1         -57.0000         -93.5533     64.13%
1125.61/1128.80	c      1129          29094        5569         1         -57.0000         -93.5464     64.12%
1131.09/1134.34	c      1134          29251        5576         1         -57.0000         -93.5459     64.12%
1136.57/1139.87	c      1140          29385        5592         1         -57.0000         -93.5441     64.11%
1142.26/1145.58	c      1146          29512        5617         1         -57.0000         -93.5387     64.10%
1148.05/1151.30	c      1151          29647        5622         1         -57.0000         -93.5387     64.10%
1153.43/1156.75	c      1157          29958        5623         1         -57.0000         -93.5387     64.10%
1159.51/1162.84	c      1163          30060        5653         1         -57.0000         -93.5363     64.10%
1164.60/1167.95	c      1168          30198        5657         1         -57.0000         -93.5349     64.10%
1169.80/1173.12	c      1173          30386        5675         1         -57.0000         -93.5347     64.10%
1174.97/1178.38	c      1178          30477        5684         1         -57.0000         -93.5313     64.09%
1181.16/1184.54	c      1185          30761        5732         1         -57.0000         -93.5286     64.09%
1186.84/1190.29	c      1190          31031        5756         1         -57.0000         -93.5278     64.08%
1192.54/1195.97	c      1196          31170        5789         1         -57.0000         -93.5231     64.08%
1197.63/1201.03	c      1201          31243        5806         1         -57.0000         -93.5222     64.07%
1202.81/1206.26	c      1206          31418        5815         1         -57.0000         -93.5182     64.07%
1208.89/1212.32	c      1212          31630        5835         1         -57.0000         -93.5157     64.06%
1214.68/1218.17	c      1218          31881        5890         1         -57.0000         -93.5139     64.06%
1219.86/1223.38	c      1223          32002        5901         1         -57.0000         -93.5092     64.05%
1225.65/1229.14	c      1229          32146        5929         1         -57.0000         -93.5090     64.05%
1231.32/1234.85	c      1235          32282        5943         1         -57.0000         -93.5044     64.04%
1236.91/1240.41	c      1240          32527        5968         1         -57.0000         -93.5034     64.04%
1242.60/1246.11	c      1246          32679        5982         1         -57.0000         -93.5015     64.04%
1248.08/1251.61	c      1252          32898        6001         1         -57.0000         -93.5002     64.04%
1254.06/1257.61	c      1258          33073        6026         1         -57.0000         -93.4954     64.03%
1259.25/1262.84	c      1263          33209        6036         1         -57.0000         -93.4937     64.02%
1264.45/1268.04	c      1268          33372        6055         1         -57.0000         -93.4870     64.01%
1269.93/1273.54	c      1274          33476        6075         1         -57.0000         -93.4848     64.01%
1275.91/1279.51	c      1280          33692        6083         1         -57.0000         -93.4816     64.00%
1281.19/1284.84	c      1285          33877        6090         1         -57.0000         -93.4813     64.00%
1286.88/1290.59	c      1291          34066        6117         1         -57.0000         -93.4797     64.00%
1292.06/1295.75	c      1296          34222        6127         1         -57.0000         -93.4763     63.99%
1298.05/1301.73	c      1302          34441        6140         1         -57.0000         -93.4755     63.99%
1304.04/1307.77	c      1308          34583        6154         1         -57.0000         -93.4749     63.99%
1309.33/1313.02	c      1313          34663        6166         1         -57.0000         -93.4745     63.99%
1315.31/1319.06	c      1319          34873        6198         1         -57.0000         -93.4719     63.99%
1321.09/1324.81	c      1325          35012        6221         1         -57.0000         -93.4680     63.98%
1326.29/1330.06	c      1330          35250        6243         1         -57.0000         -93.4673     63.98%
1331.46/1335.25	c      1335          35414        6267         1         -57.0000         -93.4617     63.97%
1337.14/1340.91	c      1341          35553        6298         1         -57.0000         -93.4585     63.96%
1343.24/1347.10	c      1347          35716        6321         1         -57.0000         -93.4585     63.96%
1349.51/1353.30	c      1353          35918        6355         1         -57.0000         -93.4549     63.96%
1355.39/1359.20	c      1359          36096        6377         1         -57.0000         -93.4450     63.94%
1361.19/1365.08	c      1365          36239        6394         1         -57.0000         -93.4419     63.93%
1366.67/1370.54	c      1371          36293        6404         1         -57.0000         -93.4401     63.93%
1371.65/1375.59	c      1376          36472        6431         1         -57.0000         -93.4366     63.92%
1376.74/1380.62	c      1381          36598        6455         1         -57.0000         -93.4345     63.92%
1381.82/1385.72	c      1386          37382        6493         1         -57.0000         -93.4275     63.91%
1387.40/1391.34	c      1391          37819        6530         1         -57.0000         -93.4238     63.90%
1393.28/1397.27	c      1397          37988        6545         1         -57.0000         -93.4233     63.90%
1399.17/1403.11	c      1403          38479        6576         1         -57.0000         -93.4186     63.89%
1404.94/1408.91	c      1409          38689        6606         1         -57.0000         -93.4160     63.89%
1410.51/1414.55	c      1415          38883        6630         1         -57.0000         -93.4136     63.88%
1416.30/1420.30	c      1420          39148        6641         1         -57.0000         -93.4109     63.88%
1421.39/1425.45	c      1425          39298        6671         1         -57.0000         -93.4078     63.87%
1426.57/1430.60	c      1431          39552        6705         1         -57.0000         -93.3952     63.85%
1431.65/1435.74	c      1436          39726        6733         1         -57.0000         -93.3924     63.85%
1436.84/1440.93	c      1441          39821        6748         1         -57.0000         -93.3911     63.84%
1442.53/1446.66	c      1447          39925        6752         1         -57.0000         -93.3899     63.84%
1449.20/1453.32	c      1453          40235        6756         1         -57.0000         -93.3899     63.84%
1454.68/1458.89	c      1459          40340        6781         1         -57.0000         -93.3848     63.83%
1460.77/1464.91	c      1465          40488        6783         1         -57.0000         -93.3848     63.83%
1466.55/1470.71	c      1471          40719        6820         1         -57.0000         -93.3759     63.82%
1472.04/1476.22	c      1476          40960        6851         1         -57.0000         -93.3754     63.82%
1477.13/1481.38	c      1481          41077        6872         1         -57.0000         -93.3747     63.82%
1482.61/1486.84	c      1487          41263        6878         1         -57.0000         -93.3747     63.82%
1488.59/1492.84	c      1493          41382        6903         1         -57.0000         -93.3730     63.81%
1493.90/1498.14	c      1498          41538        6913         1         -57.0000         -93.3718     63.81%
1499.26/1503.57	c      1504          41718        6931         1         -57.0000         -93.3703     63.81%
1505.06/1509.38	c      1509          41869        6942         1         -57.0000         -93.3701     63.81%
1510.44/1514.75	c      1515          42013        6954         1         -57.0000         -93.3699     63.81%
1515.83/1520.13	c      1520          42089        6966         1         -57.0000         -93.3697     63.81%
1521.51/1525.89	c      1526          42239        6990         1         -57.0000         -93.3697     63.81%
1526.89/1531.24	c      1531          42402        7017         1         -57.0000         -93.3682     63.80%
1532.17/1536.56	c      1537          42529        7030         1         -57.0000         -93.3679     63.80%
1538.04/1542.49	c      1542          42729        7044         1         -57.0000         -93.3598     63.79%
1544.22/1548.61	c      1549          42924        7083         1         -57.0000         -93.3535     63.78%
1549.40/1553.80	c      1554          43047        7106         1         -57.0000         -93.3522     63.78%
1555.98/1560.40	c      1560          43202        7125         1         -57.0000         -93.3479     63.77%
1560.96/1565.44	c      1565          43433        7154         1         -57.0000         -93.3474     63.77%
1566.44/1570.94	c      1571          43687        7170         1         -57.0000         -93.3448     63.76%
1572.22/1576.79	c      1577          43818        7175         1         -57.0000         -93.3448     63.76%
1577.80/1582.37	c      1582          43933        7206         1         -57.0000         -93.3422     63.76%
1582.98/1587.56	c      1588          44052        7215         1         -57.0000         -93.3419     63.76%
1588.37/1593.01	c      1593          44262        7247         1         -57.0000         -93.3373     63.75%
1593.55/1598.14	c      1598          44342        7259         1         -57.0000         -93.3355     63.75%
1599.03/1603.64	c      1604          44499        7284         1         -57.0000         -93.3355     63.75%
1604.31/1608.95	c      1609          44659        7324         1         -57.0000         -93.3317     63.74%
1610.09/1614.79	c      1615          44781        7348         1         -57.0000         -93.3304     63.74%
1615.87/1620.54	c      1621          44911        7392         1         -57.0000         -93.3260     63.73%
1621.26/1626.01	c      1626          45032        7411         1         -57.0000         -93.3239     63.73%
1627.54/1632.26	c      1632          45268        7421         1         -57.0000         -93.3182     63.72%
1633.12/1637.80	c      1638          45418        7451         1         -57.0000         -93.3154     63.71%
1638.61/1643.38	c      1643          45562        7465         1         -57.0000         -93.3143     63.71%
1643.80/1648.53	c      1649          45687        7488         1         -57.0000         -93.3143     63.71%
1649.68/1654.45	c      1654          45777        7502         1         -57.0000         -93.3142     63.71%
1655.16/1659.99	c      1660          45913        7506         1         -57.0000         -93.3142     63.71%
1660.36/1665.16	c      1665          46092        7513         1         -57.0000         -93.3134     63.71%
1665.43/1670.23	c      1670          46207        7534         1         -57.0000         -93.3121     63.71%
1671.23/1676.08	c      1676          46403        7550         1         -57.0000         -93.3115     63.70%
1676.50/1681.36	c      1681          46532        7579         1         -57.0000         -93.3051     63.69%
1682.09/1687.01	c      1687          46872        7613         1         -57.0000         -93.2954     63.68%
1687.97/1692.89	c      1693          47156        7625         1         -57.0000         -93.2953     63.68%
1692.95/1697.89	c      1698          47312        7655         1         -57.0000         -93.2922     63.67%
1698.63/1703.57	c      1704          47503        7690         1         -57.0000         -93.2913     63.67%
1704.23/1709.14	c      1709          47672        7695         1         -57.0000         -93.2902     63.67%
1709.30/1714.21	c      1714          47816        7715         1         -57.0000         -93.2902     63.67%
1715.38/1720.31	c      1720          48025        7760         1         -57.0000         -93.2883     63.66%
1720.36/1725.35	c      1725          48199        7788         1         -57.0000         -93.2874     63.66%
1725.95/1730.92	c      1731          48375        7806         1         -57.0000         -93.2829     63.65%
1731.63/1736.64	c      1737          48513        7818         1         -57.0000         -93.2792     63.65%
1737.13/1742.13	c      1742          48692        7843         1         -57.0000         -93.2773     63.64%
1743.11/1748.15	c      1748          48999        7852         1         -57.0000         -93.2773     63.64%
1749.09/1754.16	c      1754          49099        7874         1         -57.0000         -93.2759     63.64%
1754.98/1760.06	c      1760          49312        7885         1         -57.0000         -93.2739     63.64%
1760.25/1765.38	c      1765          49423        7900         1         -57.0000         -93.2711     63.63%
1765.33/1770.46	c      1770          49791        7918         1         -57.0000         -93.2701     63.63%
1770.62/1775.77	c      1776          49986        7931         1         -57.0000         -93.2701     63.63%
1776.40/1781.53	c      1782          50132        7935         1         -57.0000         -93.2701     63.63%
1781.38/1786.54	c      1787          50272        7945         1         -57.0000         -93.2677     63.63%
1786.47/1791.62	c      1792          50359        7964         1         -57.0000         -93.2672     63.63%
1792.06/1797.29	c      1797          50536        7959         1         -57.0000         -93.2669     63.63%
1798.04/1803.27	c      1803          50764        7981         1         -57.0000         -93.2668     63.63%
1803.12/1808.32	c      1808          50882        8005         1         -57.0000         -93.2631     63.62%
1808.71/1813.92	c      1814          51052        8025         1         -57.0000         -93.2594     63.61%
1814.00/1819.29	c      1819          51241        8052         1         -57.0000         -93.2572     63.61%
1819.68/1824.96	c      1825          51416        8077         1         -57.0000         -93.2550     63.61%
1825.56/1830.88	c      1831          51546        8099         1         -57.0000         -93.2539     63.60%
1831.05/1836.31	c      1836          51785        8124         1         -57.0000         -93.2528     63.60%
1836.74/1842.09	c      1842          52080        8139         1         -57.0000         -93.2490     63.59%
1842.11/1847.48	c      1847          52175        8156         1         -57.0000         -93.2466     63.59%
1848.99/1854.35	c      1854          52382        8191         1         -57.0000         -93.2441     63.59%
1854.48/1859.86	c      1860          52571        8228         1         -57.0000         -93.2414     63.58%
1859.78/1865.15	c      1865          52682        8239         1         -57.0000         -93.2401     63.58%
1865.76/1871.16	c      1871          52759        8256         1         -57.0000         -93.2395     63.58%
1870.83/1876.28	c      1876          52922        8271         1         -57.0000         -93.2375     63.57%
1876.11/1881.50	c      1882          53049        8276         1         -57.0000         -93.2375     63.57%
1881.21/1886.70	c      1887          53204        8297         1         -57.0000         -93.2365     63.57%
1886.89/1892.30	c      1892          53511        8306         1         -57.0000         -93.2365     63.57%
1892.36/1897.84	c      1898          53699        8338         1         -57.0000         -93.2323     63.57%
1897.75/1903.28	c      1903          53832        8353         1         -57.0000         -93.2318     63.56%
1904.22/1909.75	c      1910          54029        8390         1         -57.0000         -93.2260     63.55%
1910.00/1915.55	c      1916          54243        8404         1         -57.0000         -93.2249     63.55%
1915.37/1920.94	c      1921          54442        8447         1         -57.0000         -93.2209     63.55%
1920.36/1925.94	c      1926          54601        8492         1         -57.0000         -93.2202     63.54%
1925.55/1931.18	c      1931          54885        8534         1         -57.0000         -93.2188     63.54%
1931.03/1936.60	c      1937          55082        8555         1         -57.0000         -93.2159     63.54%
1937.00/1942.62	c      1943          55341        8596         1         -57.0000         -93.2148     63.53%
1942.97/1948.66	c      1949          55562        8633         1         -57.0000         -93.2107     63.53%
1948.26/1953.91	c      1954          55724        8663         1         -57.0000         -93.2100     63.53%
1953.73/1959.42	c      1959          55899        8718         1         -57.0000         -93.2056     63.52%
1959.82/1965.50	c      1966          56073        8752         1         -57.0000         -93.2028     63.51%
1964.79/1970.59	c      1971          56219        8770         1         -57.0000         -93.2020     63.51%
1970.68/1976.45	c      1976          56382        8783         1         -57.0000         -93.1983     63.51%
1975.86/1981.69	c      1982          56554        8821         1         -57.0000         -93.1981     63.51%
1981.44/1987.23	c      1987          56792        8835         1         -57.0000         -93.1953     63.50%
1986.53/1992.39	c      1992          56960        8849         1         -57.0000         -93.1950     63.50%
1991.61/1997.45	c      1997          57165        8878         1         -57.0000         -93.1884     63.49%
1997.08/2002.97	c      2003          57311        8896         1         -57.0000         -93.1867     63.49%
2002.96/2008.89	c      2009          57399        8928         1         -57.0000         -93.1859     63.48%
2008.64/2014.52	c      2015          57551        8938         1         -57.0000         -93.1812     63.48%
2014.62/2020.52	c      2021          57809        8962         1         -57.0000         -93.1785     63.47%
2019.90/2025.86	c      2026          58204        8979         1         -57.0000         -93.1763     63.47%
2025.58/2031.56	c      2032          58353        9004         1         -57.0000         -93.1727     63.46%
2031.86/2037.82	c      2038          58462        9021         1         -57.0000         -93.1721     63.46%
2036.95/2042.95	c      2043          58591        9044         1         -57.0000         -93.1711     63.46%
2042.93/2048.94	c      2049          58772        9063         1         -57.0000         -93.1690     63.45%
2048.62/2054.66	c      2055          58890        9097         1         -57.0000         -93.1674     63.45%
2053.81/2059.89	c      2060          59054        9123         1         -57.0000         -93.1659     63.45%
2058.89/2064.98	c      2065          59232        9135         1         -57.0000         -93.1641     63.45%
2064.77/2070.87	c      2071          59393        9162         1         -57.0000         -93.1616     63.44%
2069.97/2076.10	c      2076          59542        9175         1         -57.0000         -93.1610     63.44%
2075.35/2081.44	c      2081          59726        9211         1         -57.0000         -93.1576     63.43%
2080.84/2086.93	c      2087          59892        9233         1         -57.0000         -93.1564     63.43%
2086.12/2092.20	c      2092          60044        9253         1         -57.0000         -93.1543     63.43%
2091.92/2098.04	c      2098          60200        9257         1         -57.0000         -93.1543     63.43%
2097.10/2103.21	c      2103          60379        9296         1         -57.0000         -93.1499     63.42%
2102.68/2108.80	c      2109          60492        9307         1         -57.0000         -93.1486     63.42%
2107.88/2114.09	c      2114          60672        9325         1         -57.0000         -93.1471     63.42%
2113.55/2119.76	c      2120          60805        9344         1         -57.0000         -93.1460     63.41%
2119.73/2125.92	c      2126          61004        9345         1         -57.0000         -93.1460     63.41%
2124.93/2131.12	c      2131          61222        9369         1         -57.0000         -93.1454     63.41%
2131.01/2137.27	c      2137          61539        9418         1         -57.0000         -93.1415     63.41%
2136.80/2143.05	c      2143          61704        9439         1         -57.0000         -93.1400     63.40%
2141.79/2148.07	c      2148          61838        9445         1         -57.0000         -93.1400     63.40%
2147.56/2153.89	c      2154          62043        9460         1         -57.0000         -93.1400     63.40%
2153.24/2159.57	c      2160          62119        9476         1         -57.0000         -93.1400     63.40%
2158.33/2164.61	c      2165          62266        9487         1         -57.0000         -93.1389     63.40%
2163.52/2169.87	c      2170          62392        9501         1         -57.0000         -93.1385     63.40%
2169.30/2175.60	c      2176          62522        9521         1         -57.0000         -93.1382     63.40%
2174.49/2180.89	c      2181          62665        9540         1         -57.0000         -93.1367     63.40%
2180.38/2186.76	c      2187          62861        9554         1         -57.0000         -93.1362     63.40%
2185.36/2191.77	c      2192          63197        9598         1         -57.0000         -93.1306     63.39%
2191.54/2197.98	c      2198          63805        9638         1         -57.0000         -93.1269     63.38%
2196.92/2203.37	c      2203          63965        9660         1         -57.0000         -93.1250     63.38%
2202.41/2208.83	c      2209          64102        9675         1         -57.0000         -93.1246     63.38%
2209.09/2215.52	c      2216          64269        9702         1         -57.0000         -93.1231     63.37%
2215.18/2221.62	c      2222          64413        9714         1         -57.0000         -93.1210     63.37%
2221.17/2227.61	c      2228          64590        9737         1         -57.0000         -93.1179     63.36%
2226.25/2232.77	c      2233          64691        9750         1         -57.0000         -93.1173     63.36%
2232.13/2238.65	c      2239          64889        9782         1         -57.0000         -93.1151     63.36%
2237.63/2244.18	c      2244          65153        9796         1         -57.0000         -93.1145     63.36%
2242.90/2249.40	c      2249          65322        9821         1         -57.0000         -93.1118     63.35%
2248.50/2255.06	c      2255          65516        9845         1         -57.0000         -93.1110     63.35%
2253.58/2260.19	c      2260          65572        9851         1         -57.0000         -93.1076     63.35%
2258.66/2265.20	c      2265          65732        9871         1         -57.0000         -93.1074     63.35%
2263.64/2270.21	c      2270          65982        9901         1         -57.0000         -93.1039     63.34%
2268.83/2275.45	c      2275          66111        9914         1         -57.0000         -93.1039     63.34%
2274.61/2281.23	c      2281          66316        9923         1         -57.0000         -93.1039     63.34%
2280.09/2286.77	c      2287          66379        9942         1         -57.0000         -93.1003     63.33%
2285.58/2292.24	c      2292          66638        9975         1         -57.0000         -93.0976     63.33%
2290.67/2297.39	c      2297          66790        9997         1         -57.0000         -93.0972     63.33%
2296.37/2303.08	c      2303          66869       10014         1         -57.0000         -93.0962     63.33%
2302.13/2308.80	c      2309          66991       10040         1         -57.0000         -93.0958     63.33%
2307.82/2314.54	c      2315          67139       10060         1         -57.0000         -93.0946     63.32%
2313.50/2320.25	c      2320          67360       10081         1         -57.0000         -93.0940     63.32%
2318.98/2325.76	c      2326          67557       10092         1         -57.0000         -93.0879     63.31%
2324.16/2331.01	c      2331          67720       10113         1         -57.0000         -93.0876     63.31%
2329.65/2336.41	c      2336          67876       10133         1         -57.0000         -93.0855     63.31%
2334.84/2341.64	c      2342          68212       10165         1         -57.0000         -93.0823     63.30%
2340.23/2347.07	c      2347          68602       10177         1         -57.0000         -93.0814     63.30%
2345.50/2352.35	c      2352          68899       10198         1         -57.0000         -93.0809     63.30%
2350.88/2357.73	c      2358          69192       10207         1         -57.0000         -93.0809     63.30%
2356.28/2363.13	c      2363          69345       10236         1         -57.0000         -93.0804     63.30%
2361.96/2368.84	c      2369          69622       10259         1         -57.0000         -93.0788     63.30%
2366.94/2373.87	c      2374          69792       10289         1         -57.0000         -93.0752     63.29%
2372.32/2379.21	c      2379          69901       10298         1         -57.0000         -93.0736     63.29%
2377.41/2384.31	c      2384          70020       10329         1         -57.0000         -93.0715     63.28%
2382.79/2389.74	c      2390          70196       10347         1         -57.0000         -93.0699     63.28%
2387.78/2394.75	c      2395          70355       10358         1         -57.0000         -93.0696     63.28%
2393.47/2400.44	c      2400          70912       10375         1         -57.0000         -93.0649     63.27%
2399.34/2406.34	c      2406          71172       10425         1         -57.0000         -93.0597     63.26%
2404.43/2411.45	c      2411          71432       10447         1         -57.0000         -93.0570     63.26%
2409.62/2416.61	c      2417          71694       10475         1         -57.0000         -93.0565     63.26%
2415.49/2422.58	c      2423          72209       10512         1         -57.0000         -93.0537     63.25%
2420.49/2427.59	c      2428          72533       10546         1         -57.0000         -93.0513     63.25%
2425.67/2432.76	c      2433          72852       10587         1         -57.0000         -93.0493     63.24%
2430.97/2438.06	c      2438          73163       10616         1         -57.0000         -93.0474     63.24%
2437.05/2444.15	c      2444          73319       10624         1         -57.0000         -93.0474     63.24%
2442.94/2450.05	c      2450          73417       10630         1         -57.0000         -93.0466     63.24%
2448.60/2455.72	c      2456          73576       10631         1         -57.0000         -93.0466     63.24%
2453.60/2460.76	c      2461          73731       10636         1         -57.0000         -93.0466     63.24%
2458.68/2465.81	c      2466          73841       10646         1         -57.0000         -93.0454     63.24%
2464.27/2471.44	c      2471          73976       10655         1         -57.0000         -93.0440     63.24%
2469.75/2477.01	c      2477          74282       10685         1         -57.0000         -93.0420     63.23%
2474.94/2482.16	c      2482          74438       10691         1         -57.0000         -93.0410     63.23%
2480.61/2487.80	c      2488          74579       10714         1         -57.0000         -93.0400     63.23%
2486.69/2493.91	c      2494          74733       10736         1         -57.0000         -93.0396     63.23%
2492.18/2499.46	c      2499          74849       10744         1         -57.0000         -93.0394     63.23%
2499.46/2506.73	c      2507          74989       10782         1         -57.0000         -93.0352     63.22%
2504.64/2511.95	c      2512          75085       10792         1         -57.0000         -93.0351     63.22%
2509.74/2517.08	c      2517          75247       10802         1         -57.0000         -93.0349     63.22%
2515.92/2523.23	c      2523          75702       10813         1         -57.0000         -93.0322     63.21%
2521.71/2529.04	c      2529          76053       10858         1         -57.0000         -93.0294     63.21%
2526.98/2534.33	c      2534          76422       10893         1         -57.0000         -93.0280     63.21%
2532.46/2539.87	c      2540          76651       10918         1         -57.0000         -93.0267     63.20%
2538.05/2545.45	c      2545          76772       10955         1         -57.0000         -93.0249     63.20%
2543.64/2551.02	c      2551          76925       10966         1         -57.0000         -93.0243     63.20%
2548.81/2556.27	c      2556          77095       10980         1         -57.0000         -93.0239     63.20%
2553.90/2561.35	c      2561          77276       11017         1         -57.0000         -93.0232     63.20%
2559.09/2566.59	c      2567          77612       11049         1         -57.0000         -93.0216     63.20%
2565.68/2573.11	c      2573          77899       11102         1         -57.0000         -93.0182     63.19%
2570.95/2578.44	c      2578          78291       11130         1         -57.0000         -93.0171     63.19%
2576.44/2583.92	c      2584          78672       11137         1         -57.0000         -93.0152     63.18%
2581.63/2589.17	c      2589          78939       11174         1         -57.0000         -93.0129     63.18%
2587.00/2594.50	c      2594          79342       11217         1         -57.0000         -93.0106     63.18%
2592.88/2600.40	c      2600          79588       11235         1         -57.0000         -93.0104     63.18%
2598.76/2606.31	c      2606          80323       11258         1         -57.0000         -93.0096     63.17%
2603.85/2611.41	c      2611          80652       11269         1         -57.0000         -93.0066     63.17%
2609.14/2616.79	c      2617          80867       11310         1         -57.0000         -93.0040     63.16%
2614.44/2622.10	c      2622          81086       11319         1         -57.0000         -93.0005     63.16%
2619.80/2627.40	c      2627          81702       11345         1         -57.0000         -92.9990     63.16%
2624.79/2632.48	c      2632          81949       11378         1         -57.0000         -92.9960     63.15%
2630.39/2638.08	c      2638          82552       11395         1         -57.0000         -92.9925     63.14%
2635.76/2643.46	c      2643          83069       11432         1         -57.0000         -92.9904     63.14%
2641.14/2648.81	c      2649          83372       11485         1         -57.0000         -92.9849     63.13%
2646.34/2654.11	c      2654          83842       11533         1         -57.0000         -92.9832     63.13%
2652.21/2659.91	c      2660          84262       11579         1         -57.0000         -92.9779     63.12%
2657.69/2665.47	c      2665          84562       11631         1         -57.0000         -92.9751     63.11%
2662.77/2670.58	c      2671          84638       11645         1         -57.0000         -92.9751     63.11%
2667.86/2675.66	c      2676          84862       11673         1         -57.0000         -92.9730     63.11%
2672.95/2680.77	c      2681          85012       11701         1         -57.0000         -92.9716     63.11%
2678.35/2686.11	c      2686          85278       11721         1         -57.0000         -92.9687     63.10%
2684.10/2692.01	c      2692          85785       11752         1         -57.0000         -92.9642     63.10%
2689.68/2697.55	c      2698          86122       11775         1         -57.0000         -92.9624     63.09%
2695.76/2703.63	c      2704          86329       11810         1         -57.0000         -92.9603     63.09%
2700.85/2708.76	c      2709          86619       11848         1         -57.0000         -92.9582     63.08%
2706.73/2714.65	c      2715          87002       11867         1         -57.0000         -92.9561     63.08%
2711.71/2719.70	c      2720          87175       11898         1         -57.0000         -92.9542     63.08%
2717.21/2725.11	c      2725          87372       11925         1         -57.0000         -92.9534     63.08%
2722.87/2730.88	c      2731          87527       11934         1         -57.0000         -92.9534     63.08%
2729.95/2737.98	c      2738          87629       11956         1         -57.0000         -92.9527     63.07%
2735.15/2743.12	c      2743          87752       11975         1         -57.0000         -92.9525     63.07%
2740.22/2748.27	c      2748          87938       11993         1         -57.0000         -92.9519     63.07%
2745.70/2753.72	c      2754          88216       12001         1         -57.0000         -92.9515     63.07%
2751.28/2759.39	c      2759          88521       12020         1         -57.0000         -92.9507     63.07%
2756.77/2764.88	c      2765          89014       12037         1         -57.0000         -92.9503     63.07%
2762.45/2770.58	c      2771          89569       12096         1         -57.0000         -92.9449     63.06%
2767.84/2775.97	c      2776          90302       12143         1         -57.0000         -92.9406     63.05%
2773.52/2781.60	c      2782          90676       12167         1         -57.0000         -92.9404     63.05%
2778.70/2786.87	c      2787          91352       12211         1         -57.0000         -92.9390     63.05%
2783.69/2791.87	c      2792          91922       12263         1         -57.0000         -92.9367     63.05%
2788.88/2797.04	c      2797          92277       12310         1         -57.0000         -92.9361     63.05%
2794.05/2802.24	c      2802          92692       12347         1         -57.0000         -92.9332     63.04%
2799.24/2807.45	c      2807          93202       12381         1         -57.0000         -92.9323     63.04%
2804.84/2813.04	c      2813          93722       12429         1         -57.0000         -92.9292     63.03%
2809.82/2818.05	c      2818          94348       12463         1         -57.0000         -92.9269     63.03%
2815.09/2823.32	c      2823          94627       12500         1         -57.0000         -92.9254     63.03%
2820.27/2828.56	c      2829          95039       12538         1         -57.0000         -92.9224     63.02%
2825.36/2833.67	c      2834          95462       12589         1         -57.0000         -92.9197     63.02%
2830.75/2839.03	c      2839          95882       12629         1         -57.0000         -92.9175     63.01%
2836.22/2844.57	c      2845          96389       12672         1         -57.0000         -92.9153     63.01%
2842.01/2850.38	c      2850          97092       12735         1         -57.0000         -92.9106     63.00%
2847.89/2856.26	c      2856          97859       12774         1         -57.0000         -92.9098     63.00%
2853.18/2861.52	c      2862          98372       12813         1         -57.0000         -92.9085     63.00%
2858.46/2866.80	c      2867          98872       12869         1         -57.0000         -92.9066     62.99%
2864.06/2872.43	c      2872          99169       12890         1         -57.0000         -92.9056     62.99%
2869.94/2878.38	c      2878          99713       12908         1         -57.0000         -92.9024     62.99%
2875.52/2883.99	c      2884          99962       12939         1         -57.0000         -92.8997     62.98%
2881.01/2889.48	c      2889         100234       12959         1         -57.0000         -92.8993     62.98%
2886.80/2895.21	c      2895         100375       12976         1         -57.0000         -92.8993     62.98%
2892.28/2900.77	c      2901         100493       13000         1         -57.0000         -92.8983     62.98%
2897.68/2906.18	c      2906         100796       13019         1         -57.0000         -92.8976     62.98%
2903.75/2912.24	c      2912         100952       13023         1         -57.0000         -92.8976     62.98%
2909.03/2917.58	c      2918         101209       13042         1         -57.0000         -92.8964     62.98%
2914.82/2923.35	c      2923         101502       13057         1         -57.0000         -92.8940     62.97%
2920.81/2929.37	c      2929         101674       13087         1         -57.0000         -92.8935     62.97%
2926.20/2934.70	c      2935         101942       13127         1         -57.0000         -92.8902     62.97%
2931.18/2939.77	c      2940         102222       13167         1         -57.0000         -92.8850     62.96%
2936.27/2944.87	c      2945         102572       13197         1         -57.0000         -92.8818     62.95%
2941.46/2950.11	c      2950         102860       13229         1         -57.0000         -92.8802     62.95%
2946.83/2955.47	c      2955         103011       13232         1         -57.0000         -92.8802     62.95%
2952.01/2960.68	c      2961         103185       13242         1         -57.0000         -92.8802     62.95%
2957.10/2965.77	c      2966         103259       13254         1         -57.0000         -92.8801     62.95%
2962.19/2970.87	c      2971         103532       13259         1         -57.0000         -92.8801     62.95%
2967.86/2976.59	c      2977         103708       13261         1         -57.0000         -92.8799     62.95%
2973.05/2981.74	c      2982         103862       13287         1         -57.0000         -92.8779     62.94%
2978.14/2986.86	c      2987         104139       13330         1         -57.0000         -92.8762     62.94%
2983.34/2992.05	c      2992         104512       13355         1         -57.0000         -92.8752     62.94%
2988.51/2997.24	c      2997         104782       13387         1         -57.0000         -92.8716     62.93%
2993.80/3002.57	c      3003         105022       13407         1         -57.0000         -92.8694     62.93%
2999.39/3008.14	c      3008         105532       13451         1         -57.0000         -92.8668     62.92%
3004.46/3013.21	c      3013         105941       13488         1         -57.0000         -92.8645     62.92%
3010.05/3018.86	c      3019         106659       13540         1         -57.0000         -92.8612     62.91%
3016.03/3024.89	c      3025         107229       13594         1         -57.0000         -92.8590     62.91%
3021.12/3030.01	c      3030         107822       13647         1         -57.0000         -92.8564     62.91%
3027.09/3035.93	c      3036         108430       13671         1         -57.0000         -92.8560     62.91%
3032.97/3041.82	c      3042         108879       13730         1         -57.0000         -92.8537     62.90%
3038.27/3047.11	c      3047         109282       13777         1         -57.0000         -92.8514     62.90%
3043.64/3052.53	c      3053         109772       13831         1         -57.0000         -92.8479     62.89%
3049.14/3058.04	c      3058         110192       13899         1         -57.0000         -92.8459     62.89%
3054.61/3063.53	c      3064         110667       13942         1         -57.0000         -92.8439     62.88%
3060.40/3069.32	c      3069         111282       13987         1         -57.0000         -92.8409     62.88%
3067.38/3076.32	c      3076         111899       14046         1         -57.0000         -92.8350     62.87%
3072.77/3081.72	c      3082         112537       14102         1         -57.0000         -92.8333     62.87%
3078.65/3087.61	c      3088         113042       14167         1         -57.0000         -92.8293     62.86%
3083.93/3092.98	c      3093         113550       14205         1         -57.0000         -92.8269     62.85%
3089.91/3098.92	c      3099         114059       14236         1         -57.0000         -92.8234     62.85%
3095.01/3104.10	c      3104         114642       14269         1         -57.0000         -92.8209     62.84%
3100.29/3109.39	c      3109         114912       14315         1         -57.0000         -92.8199     62.84%
3105.48/3114.51	c      3115         115159       14360         1         -57.0000         -92.8178     62.84%
3110.76/3119.82	c      3120         115722       14423         1         -57.0000         -92.8135     62.83%
3115.84/3124.93	c      3125         116203       14472         1         -57.0000         -92.8113     62.83%
3121.32/3130.40	c      3130         116642       14501         1         -57.0000         -92.8093     62.82%
3126.52/3135.63	c      3136         117069       14556         1         -57.0000         -92.8062     62.82%
3131.50/3140.65	c      3141         117449       14620         1         -57.0000         -92.8036     62.81%
3136.79/3145.90	c      3146         118052       14675         1         -57.0000         -92.8010     62.81%
3141.88/3151.01	c      3151         118352       14705         1         -57.0000         -92.7997     62.81%
3147.46/3156.68	c      3157         119052       14749         1         -57.0000         -92.7954     62.80%
3152.54/3161.74	c      3162         119532       14807         1         -57.0000         -92.7923     62.79%
3157.72/3166.96	c      3167         119932       14847         1         -57.0000         -92.7913     62.79%
3162.92/3172.14	c      3172         120192       14865         1         -57.0000         -92.7904     62.79%
3168.69/3177.90	c      3178         120677       14902         1         -57.0000         -92.7898     62.79%
3173.80/3183.03	c      3183         121205       14924         1         -57.0000         -92.7893     62.79%
3179.47/3188.76	c      3189         121580       14955         1         -57.0000         -92.7851     62.78%
3185.25/3194.51	c      3195         122201       14976         1         -57.0000         -92.7846     62.78%
3190.24/3199.52	c      3200         122555       14996         1         -57.0000         -92.7842     62.78%
3195.52/3204.80	c      3205         122872       15025         1         -57.0000         -92.7808     62.77%
3201.31/3210.68	c      3211         123001       15054         1         -57.0000         -92.7806     62.77%
3207.81/3217.14	c      3217         123309       15074         1         -57.0000         -92.7800     62.77%
3212.79/3222.17	c      3222         123589       15106         1         -57.0000         -92.7782     62.77%
3217.96/3227.35	c      3227         123749       15132         1         -57.0000         -92.7773     62.77%
3223.16/3232.51	c      3233         124006       15145         1         -57.0000         -92.7764     62.77%
3228.65/3238.01	c      3238         124152       15159         1         -57.0000         -92.7763     62.77%
3233.64/3243.03	c      3243         124306       15179         1         -57.0000         -92.7756     62.76%
3238.81/3248.20	c      3248         124462       15191         1         -57.0000         -92.7753     62.76%
3244.70/3254.19	c      3254         124640       15201         1         -57.0000         -92.7752     62.76%
3249.98/3259.45	c      3259         124809       15214         1         -57.0000         -92.7740     62.76%
3255.27/3264.76	c      3265         125113       15244         1         -57.0000         -92.7721     62.76%
3260.85/3270.34	c      3270         125446       15253         1         -57.0000         -92.7717     62.76%
3266.33/3275.83	c      3276         125653       15278         1         -57.0000         -92.7711     62.76%
3271.72/3281.23	c      3281         126012       15319         1         -57.0000         -92.7696     62.75%
3277.30/3286.81	c      3287         126192       15337         1         -57.0000         -92.7695     62.75%
3283.09/3292.63	c      3293         126315       15354         1         -57.0000         -92.7691     62.75%
3288.48/3298.03	c      3298         126414       15371         1         -57.0000         -92.7681     62.75%
3293.96/3303.54	c      3304         126527       15376         1         -57.0000         -92.7677     62.75%
3299.04/3308.68	c      3309         126729       15384         1         -57.0000         -92.7676     62.75%
3304.82/3314.42	c      3314         127232       15397         1         -57.0000         -92.7645     62.74%
3310.42/3320.09	c      3320         127378       15421         1         -57.0000         -92.7643     62.74%
3316.10/3325.74	c      3326         127782       15447         1         -57.0000         -92.7633     62.74%
3321.78/3331.45	c      3331         128062       15471         1         -57.0000         -92.7623     62.74%
3327.26/3336.97	c      3337         128216       15501         1         -57.0000         -92.7615     62.74%
3332.75/3342.42	c      3342         128419       15530         1         -57.0000         -92.7588     62.73%
3337.84/3347.52	c      3348         128724       15545         1         -57.0000         -92.7577     62.73%
3343.62/3353.31	c      3353         128909       15570         1         -57.0000         -92.7573     62.73%
3348.90/3358.67	c      3359         129031       15588         1         -57.0000         -92.7564     62.73%
3354.08/3363.83	c      3364         129246       15611         1         -57.0000         -92.7554     62.73%
3359.77/3369.55	c      3370         129409       15638         1         -57.0000         -92.7543     62.73%
3365.15/3374.91	c      3375         129597       15660         1         -57.0000         -92.7537     62.73%
3370.14/3379.94	c      3380         129832       15691         1         -57.0000         -92.7536     62.73%
3375.72/3385.56	c      3386         129898       15699         1         -57.0000         -92.7536     62.73%
3381.22/3391.02	c      3391         130096       15717         1         -57.0000         -92.7531     62.72%
3386.60/3396.40	c      3396         130215       15732         1         -57.0000         -92.7522     62.72%
3392.19/3402.08	c      3402         130372       15745         1         -57.0000         -92.7507     62.72%
3398.17/3408.05	c      3408         130491       15768         1         -57.0000         -92.7503     62.72%
3403.94/3413.83	c      3414         130762       15807         1         -57.0000         -92.7485     62.72%
3409.83/3419.78	c      3420         130974       15849         1         -57.0000         -92.7480     62.72%
3414.91/3424.88	c      3425         131182       15861         1         -57.0000         -92.7468     62.71%
3420.30/3430.22	c      3430         131462       15891         1         -57.0000         -92.7438     62.71%
3425.57/3435.55	c      3436         131908       15935         1         -57.0000         -92.7421     62.71%
3430.66/3440.66	c      3441         132226       15969         1         -57.0000         -92.7414     62.70%
3436.06/3446.04	c      3446         132572       15995         1         -57.0000         -92.7403     62.70%
3441.83/3451.89	c      3452         132844       16043         1         -57.0000         -92.7366     62.70%
3447.71/3457.73	c      3458         133109       16068         1         -57.0000         -92.7342     62.69%
3453.50/3463.53	c      3464         133485       16088         1         -57.0000         -92.7338     62.69%
3458.59/3468.68	c      3469         133712       16099         1         -57.0000         -92.7317     62.69%
3464.17/3474.21	c      3474         133966       16119         1         -57.0000         -92.7311     62.69%
3470.55/3480.62	c      3481         134159       16134         1         -57.0000         -92.7307     62.69%
3476.43/3486.54	c      3487         134513       16162         1         -57.0000         -92.7282     62.68%
3482.32/3492.46	c      3492         134878       16173         1         -57.0000         -92.7275     62.68%
3487.41/3497.50	c      3498         135066       16205         1         -57.0000         -92.7261     62.68%
3492.59/3502.71	c      3503         135540       16221         1         -57.0000         -92.7255     62.68%
3498.07/3508.24	c      3508         135952       16269         1         -57.0000         -92.7225     62.67%
3503.76/3513.92	c      3514         136325       16332         1         -57.0000         -92.7189     62.66%
3509.45/3519.67	c      3520         136832       16347         1         -57.0000         -92.7176     62.66%
3515.13/3525.31	c      3525         136932       16379         1         -57.0000         -92.7156     62.66%
3520.21/3530.43	c      3530         137144       16399         1         -57.0000         -92.7153     62.66%
3525.41/3535.65	c      3536         137301       16414         1         -57.0000         -92.7148     62.66%
3530.69/3540.91	c      3541         137522       16443         1         -57.0000         -92.7144     62.66%
3535.78/3546.03	c      3546         137847       16494         1         -57.0000         -92.7127     62.65%
3541.15/3551.48	c      3551         138179       16544         1         -57.0000         -92.7117     62.65%
3546.44/3556.72	c      3557         138692       16583         1         -57.0000         -92.7097     62.65%
3551.63/3561.91	c      3562         139009       16612         1         -57.0000         -92.7089     62.65%
3557.12/3567.45	c      3567         139600       16643         1         -57.0000         -92.7085     62.65%
3563.20/3573.53	c      3574         139902       16661         1         -57.0000         -92.7078     62.65%
3568.70/3579.05	c      3579         140053       16684         1         -57.0000         -92.7075     62.64%
3574.07/3584.46	c      3584         140167       16694         1         -57.0000         -92.7075     62.64%
3579.35/3589.76	c      3590         140542       16729         1         -57.0000         -92.7059     62.64%
3585.65/3596.10	c      3596         141199       16772         1         -57.0000         -92.7040     62.64%
3588.23/3598.66	c SCIP Status        : c solving was interrupted [hard time limit reached]
3588.23/3598.66	c Total Time         : 3598.66
3588.23/3598.66	c   solving          : 3598.66
3588.23/3598.66	c   presolving       : 0.03 (included in solving)
3588.23/3598.66	c B&B Tree           :
3588.23/3598.66	c   nodes (total)    : 1
3588.23/3598.66	c Solution           :
3588.23/3598.66	c   Solutions found  : 7
3588.23/3598.66	c   Primal Bound     : -5.70000000000000e+01
3588.23/3598.66	c   Dual Bound       : -9.27027241320071e+01
3588.23/3598.66	c Gap                : 62.63636 %
3588.23/3598.66	c * Warning: final gap: 6.26364e-01 is greater than SCIPepsilon: 1.00000e-09
3588.23/3598.68	o -57
3588.23/3598.68	s SATISFIABLE
3588.23/3598.68	v -x337 -x271 -x243 -x325 -x375 -x334 -x247 -x395 -x360 -x303 -x396 -x330 x295 -x298 -x296 -x256 -x244 x394 -x313 -x328 -x326 -x258 
3588.23/3598.68	v -x377 x287 x227 -x249 -x251 -x289 -x263 -x381 -x308 -x302 -x286 -x388 -x226 -x348 -x354 -x364 -x230 -x301 x266 x314 x352 -x272 
3588.23/3598.68	v x365 -x223 -x312 x290 -x281 -x240 -x220 -x279 -x327 -x353 -x216 -x339 -x241 -x341 -x267 -x372 -x268 -x399 -x217 -x323 -x345 
3588.23/3598.68	v -x340 -x285 -x269 -x292 -x351 -x213 -x305 -x232 x333 -x382 -x342 -x306 -x336 x275 -x393 -x390 x273 -x233 -x284 -x212 -x347 
3588.23/3598.68	v -x283 x384 x355 -x239 -x215 -x319 x309 -x356 -x209 -x260 -x242 -x224 -x218 -x252 -x304 x282 -x277 -x254 x234 x386 -x207 x371 
3588.23/3598.68	v x288 -x311 x391 -x369 -x318 -x257 x317 -x206 x379 x359 x338 -x235 -x363 x349 -x324 x361 -x367 -x400 -x246 x205 x344 x321 -x293 
3588.23/3598.68	v -x259 -x208 x276 -x315 x357 x366 -x261 x307 -x329 x385 -x237 -x236 -x358 -x398 -x378 x253 -x397 -x362 x383 x387 x203 -x335 
3588.23/3598.68	v x310 -x274 -x270 x248 -x225 x204 -x214 x297 -x231 x211 -x392 x316 x370 -x373 -x202 x332 -x322 -x300 x280 -x245 x229 x219 x210 
3588.23/3598.68	v -x331 x368 x374 -x255 x250 x238 -x294 -x350 x380 -x343 -x201 -x264 -x222 -x221 -x228 -x346 -x278 -x265 -x299 x262 -x376 -x389 
3588.23/3598.68	v -x320 -x291 x200 x199 -x198 -x197 -x196 x195 -x194 x193 -x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 -x184 -x183 x182 x181 
3588.23/3598.68	v -x180 -x179 -x178 x177 x176 -x175 -x174 -x173 x172 -x171 -x170 x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 
3588.23/3598.68	v x158 -x157 -x156 -x155 x154 x153 -x152 -x151 x150 -x149 -x148 -x147 x146 x145 -x144 -x143 x142 x141 -x140 x139 -x138 -x137 
3588.23/3598.68	v x136 -x135 x134 -x133 -x132 x131 x130 -x129 -x128 x127 x126 x125 -x124 -x123 x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 
3588.23/3598.68	v -x114 x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 
3588.23/3598.68	v x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 x79 x78 -x77 -x76 -x75 -x74 -x73 x72 x71 -x70 x69 x68 -x67 -x66 x65 
3588.23/3598.68	v -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 x55 -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 x42 -x41 x40 -x39 
3588.23/3598.68	v -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 x22 x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 
3588.23/3598.68	v -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1 

Verifier Data

OK	-57

Watcher Data

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

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

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=31312, runsolver pid=31309

[startup+0.100069 s]*
/proc/loadavg: 4.11 4.12 4.07 5/254 31315
/proc/meminfo: memFree=121399772/131655788 swapFree=131071996/131071996
[pid=31312] ppid=31309 vsize=124712 memory=36944 CPUtime=0.09 cores=4,6
/proc/31312/stat : 31312 (fscip) S 31309 31312 29084 0 -1 1077936128 6682 0 0 0 8 1 0 0 20 0 3 0 4815100 127705088 9236 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
/proc/31312/statm: 31178 9236 2806 3035 0 12766 0
[pid=31312/tid=31314] ppid=31309 vsize=124712 memory=4026561586 CPUtime=0.04 cores=4,6
/proc/31312/task/31314/stat : 31314 (fscip) R 31309 31312 29084 0 -1 4194368 1782 0 0 0 4 0 0 0 20 0 3 0 4815105 127705088 9236 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
[pid=31312/tid=31315] ppid=31309 vsize=124712 memory=232851243367 CPUtime=0 cores=4,6
/proc/31312/task/31315/stat : 31315 (fscip) S 31309 31312 29084 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4815106 127705088 9236 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 124712 KiB
Current children cumulated memory: 36944 KiB

[startup+0.217075 s]*
/proc/loadavg: 4.11 4.12 4.07 5/254 31315
/proc/meminfo: memFree=121396420/131655788 swapFree=131071996/131071996
[pid=31312] ppid=31309 vsize=124712 memory=40628 CPUtime=0.19 cores=4,6
/proc/31312/stat : 31312 (fscip) S 31309 31312 29084 0 -1 1077936128 7497 0 0 0 18 1 0 0 20 0 3 0 4815100 127705088 10157 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
/proc/31312/statm: 31178 10157 2950 3035 0 13651 0
[pid=31312/tid=31314] ppid=31309 vsize=124712 memory=664970838410264707 CPUtime=0.14 cores=4,6
/proc/31312/task/31314/stat : 31314 (fscip) R 31309 31312 29084 0 -1 4194368 2597 0 0 0 14 0 0 0 20 0 3 0 4815105 127705088 10157 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
[pid=31312/tid=31315] ppid=31309 vsize=124712 memory=3616 CPUtime=0 cores=4,6
/proc/31312/task/31315/stat : 31315 (fscip) S 31309 31312 29084 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4815106 127705088 10157 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 124712 KiB
Current children cumulated memory: 40628 KiB

[startup+0.312073 s]*
/proc/loadavg: 4.11 4.12 4.07 5/254 31315
/proc/meminfo: memFree=121395412/131655788 swapFree=131071996/131071996
[pid=31312] ppid=31309 vsize=125112 memory=41684 CPUtime=0.28 cores=4,6
/proc/31312/stat : 31312 (fscip) S 31309 31312 29084 0 -1 1077936128 7746 0 0 0 27 1 0 0 20 0 3 0 4815100 128114688 10421 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
/proc/31312/statm: 31278 10421 2950 3035 0 13897 0
[pid=31312/tid=31314] ppid=31309 vsize=125112 memory=-5155625816971504517 CPUtime=0.22 cores=4,6
/proc/31312/task/31314/stat : 31314 (fscip) R 31309 31312 29084 0 -1 4194368 2846 0 0 0 22 0 0 0 20 0 3 0 4815105 128114688 10421 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
[pid=31312/tid=31315] ppid=31309 vsize=125112 memory=0 CPUtime=0 cores=4,6
/proc/31312/task/31315/stat : 31315 (fscip) S 31309 31312 29084 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4815106 128114688 10421 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 125112 KiB
Current children cumulated memory: 41684 KiB

[startup+0.701062 s]
/proc/loadavg: 4.11 4.12 4.07 6/254 31315
/proc/meminfo: memFree=121380628/131655788 swapFree=131071996/131071996
[pid=31312] ppid=31309 vsize=134908 memory=59108 CPUtime=0.62 cores=4,6
/proc/31312/stat : 31312 (fscip) S 31309 31312 29084 0 -1 1077936128 12423 0 0 0 60 2 0 0 20 0 3 0 4815100 138145792 14777 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
/proc/31312/statm: 33727 14777 2950 3035 0 18307 0
[pid=31312/tid=31314] ppid=31309 vsize=134908 memory=0 CPUtime=0.57 cores=4,6
/proc/31312/task/31314/stat : 31314 (fscip) R 31309 31312 29084 0 -1 4194368 7523 0 0 0 56 1 0 0 20 0 3 0 4815105 138145792 14777 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
[pid=31312/tid=31315] ppid=31309 vsize=134908 memory=0 CPUtime=0 cores=4,6
/proc/31312/task/31315/stat : 31315 (fscip) S 31309 31312 29084 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4815106 138145792 14777 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 134908 KiB
Current children cumulated memory: 59108 KiB

[startup+1.50106 s]
/proc/loadavg: 4.11 4.12 4.07 5/254 31315
/proc/meminfo: memFree=121365940/131655788 swapFree=131071996/131071996
[pid=31312] ppid=31309 vsize=148080 memory=75076 CPUtime=1.41 cores=4,6
/proc/31312/stat : 31312 (fscip) S 31309 31312 29084 0 -1 1077936128 22379 0 0 0 138 3 0 0 20 0 3 0 4815100 151633920 18769 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
/proc/31312/statm: 37020 18769 2950 3035 0 22864 0
[pid=31312/tid=31314] ppid=31309 vsize=148080 memory=0 CPUtime=1.36 cores=4,6
/proc/31312/task/31314/stat : 31314 (fscip) R 31309 31312 29084 0 -1 4194368 17479 0 0 0 133 3 0 0 20 0 3 0 4815105 151633920 18769 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
[pid=31312/tid=31315] ppid=31309 vsize=148080 memory=0 CPUtime=0 cores=4,6
/proc/31312/task/31315/stat : 31315 (fscip) S 31309 31312 29084 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4815106 151633920 18769 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 148080 KiB
Current children cumulated memory: 75076 KiB

[startup+3.11294 s]
/proc/loadavg: 4.11 4.12 4.07 5/254 31315
/proc/meminfo: memFree=121345436/131655788 swapFree=131071996/131071996
[pid=31312] ppid=31309 vsize=147400 memory=97500 CPUtime=3.01 cores=4,6
/proc/31312/stat : 31312 (fscip) S 31309 31312 29084 0 -1 1077936128 30342 0 0 0 296 5 0 0 20 0 3 0 4815100 150937600 24375 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
/proc/31312/statm: 36850 24375 2998 3035 0 28262 0
[pid=31312/tid=31314] ppid=31309 vsize=147400 memory=2273 CPUtime=2.96 cores=4,6
/proc/31312/task/31314/stat : 31314 (fscip) R 31309 31312 29084 0 -1 4194368 25301 0 0 0 292 4 0 0 20 0 3 0 4815105 150937600 24375 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
[pid=31312/tid=31315] ppid=31309 vsize=147400 memory=0 CPUtime=0 cores=4,6
/proc/31312/task/31315/stat : 31315 (fscip) S 31309 31312 29084 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 4815106 150937600 24375 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 147400 KiB
Current children cumulated memory: 97500 KiB

[startup+6.3003 s]
/proc/loadavg: 4.10 4.12 4.07 5/254 31315
/proc/meminfo: memFree=121304332/131655788 swapFree=131071996/131071996
[pid=31312] ppid=31309 vsize=212020 memory=133584 CPUtime=6.2 cores=4,6
/proc/31312/stat : 31312 (fscip) S 31309 31312 29084 0 -1 1077936128 50024 0 0 0 613 7 0 0 20 0 3 0 4815100 217108480 33396 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
/proc/31312/statm: 53005 33396 2998 3035 0 37547 0
[pid=31312/tid=31314] ppid=31309 vsize=212020 memory=-5155625816971504517 CPUtime=6.14 cores=4,6
/proc/31312/task/31314/stat : 31314 (fscip) R 31309 31312 29084 0 -1 4194368 44980 0 0 0 608 6 0 0 20 0 3 0 4815105 217108480 33396 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
[pid=31312/tid=31315] ppid=31309 vsize=212020 memory=131416 CPUtime=0 cores=4,6
/proc/31312/task/31315/stat : 31315 (fscip) S 31309 31312 29084 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4815106 217108480 33396 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 212020 KiB
Current children cumulated memory: 133584 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.12 4.07 5/254 31317
/proc/meminfo: memFree=121227268/131655788 swapFree=131071996/131071996
[pid=31312] ppid=31309 vsize=212120 memory=165412 CPUtime=12.58 cores=4,6
/proc/31312/stat : 31312 (fscip) S 31309 31312 29084 0 -1 1077936128 86998 0 0 0 1249 9 0 0 20 0 3 0 4815100 217210880 41353 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
/proc/31312/statm: 53030 41353 2998 3035 0 45767 0
[pid=31312/tid=31314] ppid=31309 vsize=212120 memory=97500 CPUtime=12.53 cores=4,6
/proc/31312/task/31314/stat : 31314 (fscip) R 31309 31312 29084 0 -1 4194368 81948 0 0 0 1245 8 0 0 20 0 3 0 4815105 217210880 41353 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
[pid=31312/tid=31315] ppid=31309 vsize=212120 memory=0 CPUtime=0 cores=4,6
/proc/31312/task/31315/stat : 31315 (fscip) S 31309 31312 29084 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4815106 217210880 41353 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 212120 KiB
Current children cumulated memory: 165412 KiB

[startup+25.5004 s]
/proc/loadavg: 4.07 4.11 4.07 5/254 31366
/proc/meminfo: memFree=120651812/131655788 swapFree=131071996/131071996
[pid=31312] ppid=31309 vsize=212272 memory=168128 CPUtime=25.35 cores=4,6
/proc/31312/stat : 31312 (fscip) S 31309 31312 29084 0 -1 1077936128 113770 0 0 0 2524 11 0 0 20 0 3 0 4815100 217366528 42032 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
/proc/31312/statm: 53068 42032 2998 3035 0 46391 0
[pid=31312/tid=31314] ppid=31309 vsize=212272 memory=11352 CPUtime=25.29 cores=4,6
/proc/31312/task/31314/stat : 31314 (fscip) R 31309 31312 29084 0 -1 4194368 108530 0 0 0 2519 10 0 0 20 0 3 0 4815105 217366528 42032 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
[pid=31312/tid=31315] ppid=31309 vsize=212272 memory=168128 CPUtime=0 cores=4,6
/proc/31312/task/31315/stat : 31315 (fscip) S 31309 31312 29084 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 4815106 217366528 42032 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 212272 KiB
Current children cumulated memory: 168128 KiB

[startup+51.1133 s]
/proc/loadavg: 4.13 4.12 4.07 5/254 31427
/proc/meminfo: memFree=120397724/131655788 swapFree=131071996/131071996
[pid=31312] ppid=31309 vsize=212272 memory=172520 CPUtime=50.9 cores=4,6
/proc/31312/stat : 31312 (fscip) S 31309 31312 29084 0 -1 1077936128 144931 0 0 0 5078 12 0 0 20 0 3 0 4815100 217366528 43130 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
/proc/31312/statm: 53068 43130 2998 3035 0 47595 0
[pid=31312/tid=31314] ppid=31309 vsize=212272 memory=172296 CPUtime=50.84 cores=4,6
/proc/31312/task/31314/stat : 31314 (fscip) R 31309 31312 29084 0 -1 4194368 139432 0 0 0 5073 11 0 0 20 0 3 0 4815105 217366528 43130 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
[pid=31312/tid=31315] ppid=31309 vsize=212272 memory=172296 CPUtime=0 cores=4,6
/proc/31312/task/31315/stat : 31315 (fscip) S 31309 31312 29084 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 4815106 217366528 43130 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 212272 KiB
Current children cumulated memory: 172520 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.08 5/252 31435
/proc/meminfo: memFree=120274524/131655788 swapFree=131071996/131071996
[pid=31312] ppid=31309 vsize=343344 memory=264348 CPUtime=101.95 cores=4,6
/proc/31312/stat : 31312 (fscip) S 31309 31312 29084 0 -1 1077936128 240138 0 0 0 10175 20 0 0 20 0 3 0 4815100 351584256 66087 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
/proc/31312/statm: 85836 66087 2998 3035 0 70486 0
[pid=31312/tid=31314] ppid=31309 vsize=343344 memory=-7452168224999824768 CPUtime=101.89 cores=4,6
/proc/31312/task/31314/stat : 31314 (fscip) R 31309 31312 29084 0 -1 4194368 234408 0 0 0 10170 19 0 0 20 0 3 0 4815105 351584256 66087 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
[pid=31312/tid=31315] ppid=31309 vsize=343344 memory=250024 CPUtime=0 cores=4,6
/proc/31312/task/31315/stat : 31315 (fscip) S 31309 31312 29084 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 4815106 351584256 66087 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 343344 KiB
Current children cumulated memory: 264348 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/252 31447
/proc/meminfo: memFree=120245136/131655788 swapFree=131071996/131071996
[pid=31312] ppid=31309 vsize=343344 memory=283512 CPUtime=161.77 cores=4,6
/proc/31312/stat : 31312 (fscip) S 31309 31312 29084 0 -1 1077936128 267014 0 0 0 16154 23 0 0 20 0 3 0 4815100 351584256 70878 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
/proc/31312/statm: 85836 70878 2998 3035 0 75286 0
[pid=31312/tid=31314] ppid=31309 vsize=343344 memory=282264 CPUtime=161.7 cores=4,6
/proc/31312/task/31314/stat : 31314 (fscip) R 31309 31312 29084 0 -1 4194368 261145 0 0 0 16148 22 0 0 20 0 3 0 4815105 351584256 70878 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
[pid=31312/tid=31315] ppid=31309 vsize=343344 memory=11352 CPUtime=0 cores=4,6
/proc/31312/task/31315/stat : 31315 (fscip) S 31309 31312 29084 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 4815106 351584256 70878 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 343344 KiB

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

/proc/31312/statm: 179949 170810 3014 3035 0 174770 0
[pid=31312/tid=31314] ppid=31309 vsize=719796 memory=681912 CPUtime=3392.05 cores=4,6
/proc/31312/task/31314/stat : 31314 (fscip) R 31309 31312 29084 0 -1 4194368 2766929 0 0 0 338936 269 0 0 20 0 3 0 4815105 737071104 170810 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
[pid=31312/tid=31315] ppid=31309 vsize=719796 memory=682524 CPUtime=0.05 cores=4,6
/proc/31312/task/31315/stat : 31315 (fscip) S 31309 31312 29084 0 -1 1077936192 208 0 0 0 2 3 0 0 20 0 3 0 4815106 737071104 170810 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
Current children cumulated CPU time: 3392.48 s
Current children cumulated vsize: 719796 KiB
Current children cumulated memory: 683240 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.22 4.30 5/249 33109
/proc/meminfo: memFree=121267868/131655788 swapFree=131071996/131071996
[pid=31312] ppid=31309 vsize=725844 memory=684552 CPUtime=3452.3 cores=4,6
/proc/31312/stat : 31312 (fscip) S 31309 31312 29084 0 -1 1077936128 2787948 0 0 0 344941 289 0 0 20 0 3 0 4815100 743264256 171138 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
/proc/31312/statm: 181461 171138 3014 3035 0 176282 0
[pid=31312/tid=31314] ppid=31309 vsize=725844 memory=681912 CPUtime=3451.87 cores=4,6
/proc/31312/task/31314/stat : 31314 (fscip) R 31309 31312 29084 0 -1 4194368 2780626 0 0 0 344916 271 0 0 20 0 3 0 4815105 743264256 171138 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
[pid=31312/tid=31315] ppid=31309 vsize=725844 memory=682524 CPUtime=0.05 cores=4,6
/proc/31312/task/31315/stat : 31315 (fscip) S 31309 31312 29084 0 -1 1077936192 210 0 0 0 2 3 0 0 20 0 3 0 4815106 743264256 171138 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
Current children cumulated CPU time: 3452.3 s
Current children cumulated vsize: 725844 KiB
Current children cumulated memory: 684552 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.18 4.28 5/251 33122
/proc/meminfo: memFree=120849312/131655788 swapFree=131071996/131071996
[pid=31312] ppid=31309 vsize=725844 memory=687156 CPUtime=3512.14 cores=4,6
/proc/31312/stat : 31312 (fscip) S 31309 31312 29084 0 -1 1077936128 2805815 0 0 0 350922 292 0 0 20 0 3 0 4815100 743264256 171789 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
/proc/31312/statm: 181461 171789 3014 3035 0 176282 0
[pid=31312/tid=31314] ppid=31309 vsize=725844 memory=687032 CPUtime=3511.7 cores=4,6
/proc/31312/task/31314/stat : 31314 (fscip) R 31309 31312 29084 0 -1 4194368 2798477 0 0 0 350897 273 0 0 20 0 3 0 4815105 743264256 171789 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
[pid=31312/tid=31315] ppid=31309 vsize=725844 memory=5540 CPUtime=0.05 cores=4,6
/proc/31312/task/31315/stat : 31315 (fscip) S 31309 31312 29084 0 -1 1077936192 212 0 0 0 2 3 0 0 20 0 3 0 4815106 743264256 171789 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
Current children cumulated CPU time: 3512.14 s
Current children cumulated vsize: 725844 KiB
Current children cumulated memory: 687156 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.17 4.27 5/253 33304
/proc/meminfo: memFree=120831924/131655788 swapFree=131071996/131071996
[pid=31312] ppid=31309 vsize=725844 memory=687608 CPUtime=3571.98 cores=4,6
/proc/31312/stat : 31312 (fscip) S 31309 31312 29084 0 -1 1077936128 2823481 0 0 0 356904 294 0 0 20 0 3 0 4815100 743264256 171902 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
/proc/31312/statm: 181461 171902 3014 3035 0 176282 0
[pid=31312/tid=31314] ppid=31309 vsize=725844 memory=687480 CPUtime=3571.53 cores=4,6
/proc/31312/task/31314/stat : 31314 (fscip) R 31309 31312 29084 0 -1 4194368 2816128 0 0 0 356878 275 0 0 20 0 3 0 4815105 743264256 171902 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
[pid=31312/tid=31315] ppid=31309 vsize=725844 memory=16744 CPUtime=0.06 cores=4,6
/proc/31312/task/31315/stat : 31315 (fscip) S 31309 31312 29084 0 -1 1077936192 214 0 0 0 2 4 0 0 20 0 3 0 4815106 743264256 171902 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
Current children cumulated CPU time: 3571.98 s
Current children cumulated vsize: 725844 KiB
Current children cumulated memory: 687608 KiB

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

# cumulated CPU time of all completed processes:  user=3585.36 s, system=2.96608 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.17 4.27 5/253 33304
/proc/meminfo: memFree=120830176/131655788 swapFree=131071996/131071996
[pid=31312] ppid=31309 vsize=725844 memory=687608 CPUtime=3573.69 cores=4,6
/proc/31312/stat : 31312 (fscip) S 31309 31312 29084 0 -1 1077936128 2823492 0 0 0 357075 294 0 0 20 0 3 0 4815100 743264256 171902 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
/proc/31312/statm: 181461 171902 3014 3035 0 176282 0
[pid=31312/tid=31314] ppid=31309 vsize=725844 memory=-5155635712609577861 CPUtime=3573.24 cores=4,6
/proc/31312/task/31314/stat : 31314 (fscip) R 31309 31312 29084 0 -1 4194368 2816139 0 0 0 357049 275 0 0 20 0 3 0 4815105 743264256 171902 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
[pid=31312/tid=31315] ppid=31309 vsize=725844 memory=4786367201760931486 CPUtime=0.06 cores=4,6
/proc/31312/task/31315/stat : 31315 (fscip) S 31309 31312 29084 0 -1 1077936192 214 0 0 0 2 4 0 0 20 0 3 0 4815106 743264256 171902 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
Current children cumulated CPU time: 3573.69 s
Current children cumulated vsize: 725844 KiB
Current children cumulated memory: 687608 KiB

[startup+3590.4 s]
/proc/loadavg: 4.11 4.17 4.27 5/253 33305
/proc/meminfo: memFree=120829900/131655788 swapFree=131071996/131071996
[pid=31312] ppid=31309 vsize=725844 memory=687612 CPUtime=3580.05 cores=4,6
/proc/31312/stat : 31312 (fscip) S 31309 31312 29084 0 -1 1077936128 2828841 0 0 0 357711 294 0 0 20 0 3 0 4815100 743264256 171903 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
/proc/31312/statm: 181461 171903 3014 3035 0 176282 0
[pid=31312/tid=31314] ppid=31309 vsize=725844 memory=11352 CPUtime=3579.61 cores=4,6
/proc/31312/task/31314/stat : 31314 (fscip) R 31309 31312 29084 0 -1 4194368 2821474 0 0 0 357685 276 0 0 20 0 3 0 4815105 743264256 171903 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
[pid=31312/tid=31315] ppid=31309 vsize=725844 memory=16744 CPUtime=0.06 cores=4,6
/proc/31312/task/31315/stat : 31315 (fscip) S 31309 31312 29084 0 -1 1077936192 214 0 0 0 2 4 0 0 20 0 3 0 4815106 743264256 171903 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
Current children cumulated CPU time: 3580.05 s
Current children cumulated vsize: 725844 KiB
Current children cumulated memory: 687612 KiB

[startup+3593.6 s]
/proc/loadavg: 4.11 4.17 4.27 5/253 33305
/proc/meminfo: memFree=120826440/131655788 swapFree=131071996/131071996
[pid=31312] ppid=31309 vsize=725844 memory=687612 CPUtime=3583.24 cores=4,6
/proc/31312/stat : 31312 (fscip) S 31309 31312 29084 0 -1 1077936128 2829116 0 0 0 358030 294 0 0 20 0 3 0 4815100 743264256 171903 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
/proc/31312/statm: 181461 171903 3014 3035 0 176282 0
[pid=31312/tid=31314] ppid=31309 vsize=725844 memory=687612 CPUtime=3582.8 cores=4,6
/proc/31312/task/31314/stat : 31314 (fscip) R 31309 31312 29084 0 -1 4194368 2821749 0 0 0 358004 276 0 0 20 0 3 0 4815105 743264256 171903 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
[pid=31312/tid=31315] ppid=31309 vsize=725844 memory=5540 CPUtime=0.06 cores=4,6
/proc/31312/task/31315/stat : 31315 (fscip) S 31309 31312 29084 0 -1 1077936192 214 0 0 0 2 4 0 0 20 0 3 0 4815106 743264256 171903 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
Current children cumulated CPU time: 3583.24 s
Current children cumulated vsize: 725844 KiB
Current children cumulated memory: 687612 KiB

[startup+3596.8 s]
/proc/loadavg: 4.10 4.17 4.26 5/253 33305
/proc/meminfo: memFree=120825236/131655788 swapFree=131071996/131071996
[pid=31312] ppid=31309 vsize=725844 memory=687704 CPUtime=3586.44 cores=4,6
/proc/31312/stat : 31312 (fscip) S 31309 31312 29084 0 -1 1077936128 2833921 0 0 0 358349 295 0 0 20 0 3 0 4815100 743264256 171926 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
/proc/31312/statm: 181461 171926 3014 3035 0 176282 0
[pid=31312/tid=31314] ppid=31309 vsize=725844 memory=687612 CPUtime=3585.99 cores=4,6
/proc/31312/task/31314/stat : 31314 (fscip) R 31309 31312 29084 0 -1 4194368 2826554 0 0 0 358323 276 0 0 20 0 3 0 4815105 743264256 171926 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
[pid=31312/tid=31315] ppid=31309 vsize=725844 memory=4786367201760931486 CPUtime=0.06 cores=4,6
/proc/31312/task/31315/stat : 31315 (fscip) S 31309 31312 29084 0 -1 1077936192 214 0 0 0 2 4 0 0 20 0 3 0 4815106 743264256 171926 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
Current children cumulated CPU time: 3586.44 s
Current children cumulated vsize: 725844 KiB
Current children cumulated memory: 687704 KiB

[startup+3597.6 s]
/proc/loadavg: 4.10 4.17 4.26 5/253 33305
/proc/meminfo: memFree=120825236/131655788 swapFree=131071996/131071996
[pid=31312] ppid=31309 vsize=725844 memory=687704 CPUtime=3587.24 cores=4,6
/proc/31312/stat : 31312 (fscip) S 31309 31312 29084 0 -1 1077936128 2833937 0 0 0 358429 295 0 0 20 0 3 0 4815100 743264256 171926 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
/proc/31312/statm: 181461 171926 3014 3035 0 176282 0
[pid=31312/tid=31314] ppid=31309 vsize=725844 memory=11352 CPUtime=3586.78 cores=4,6
/proc/31312/task/31314/stat : 31314 (fscip) R 31309 31312 29084 0 -1 4194368 2826570 0 0 0 358402 276 0 0 20 0 3 0 4815105 743264256 171926 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
[pid=31312/tid=31315] ppid=31309 vsize=725844 memory=12220 CPUtime=0.06 cores=4,6
/proc/31312/task/31315/stat : 31315 (fscip) S 31309 31312 29084 0 -1 1077936192 214 0 0 0 2 4 0 0 20 0 3 0 4815106 743264256 171926 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
Current children cumulated CPU time: 3587.24 s
Current children cumulated vsize: 725844 KiB
Current children cumulated memory: 687704 KiB

[startup+3598.4 s]
/proc/loadavg: 4.10 4.17 4.26 5/253 33305
/proc/meminfo: memFree=120825236/131655788 swapFree=131071996/131071996
[pid=31312] ppid=31309 vsize=725844 memory=687704 CPUtime=3588.03 cores=4,6
/proc/31312/stat : 31312 (fscip) S 31309 31312 29084 0 -1 1077936128 2834973 0 0 0 358508 295 0 0 20 0 3 0 4815100 743264256 171926 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
/proc/31312/statm: 181461 171926 3014 3035 0 176282 0
[pid=31312/tid=31314] ppid=31309 vsize=725844 memory=1908 CPUtime=3587.59 cores=4,6
/proc/31312/task/31314/stat : 31314 (fscip) R 31309 31312 29084 0 -1 4194368 2827604 0 0 0 358482 277 0 0 20 0 3 0 4815105 743264256 171926 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
[pid=31312/tid=31315] ppid=31309 vsize=725844 memory=100 CPUtime=0.06 cores=4,6
/proc/31312/task/31315/stat : 31315 (fscip) S 31309 31312 29084 0 -1 1077936192 214 0 0 0 2 4 0 0 20 0 3 0 4815106 743264256 171926 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
Current children cumulated CPU time: 3588.03 s
Current children cumulated vsize: 725844 KiB
Current children cumulated memory: 687704 KiB

[startup+3598.6 s]
/proc/loadavg: 4.10 4.17 4.26 5/253 33305
/proc/meminfo: memFree=120825236/131655788 swapFree=131071996/131071996
[pid=31312] ppid=31309 vsize=725844 memory=687704 CPUtime=3588.23 cores=4,6
/proc/31312/stat : 31312 (fscip) S 31309 31312 29084 0 -1 1077936128 2835025 0 0 0 358528 295 0 0 20 0 3 0 4815100 743264256 171926 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
/proc/31312/statm: 181461 171926 3014 3035 0 176282 0
[pid=31312/tid=31314] ppid=31309 vsize=725844 memory=16744 CPUtime=3587.79 cores=4,6
/proc/31312/task/31314/stat : 31314 (fscip) R 31309 31312 29084 0 -1 4194368 2827656 0 0 0 358502 277 0 0 20 0 3 0 4815105 743264256 171926 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
[pid=31312/tid=31315] ppid=31309 vsize=725844 memory=12220 CPUtime=0.06 cores=4,6
/proc/31312/task/31315/stat : 31315 (fscip) S 31309 31312 29084 0 -1 1077936192 214 0 0 0 2 4 0 0 20 0 3 0 4815106 743264256 171926 134679101440 4194304 16623229 140729072518480 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34066432 140729072522262 140729072522378 140729072522378 140729072529392 0
Current children cumulated CPU time: 3588.23 s
Current children cumulated vsize: 725844 KiB
Current children cumulated memory: 687704 KiB

Child status: 0

Real time (s): 3598.69
CPU time (s): 3588.33
CPU user time (s): 3585.36
CPU system time (s): 2.96608
CPU usage (%): 99.7121
Max. virtual memory (cumulated for all children) (KiB): 725844
Max. memory (cumulated for all children) (KiB): 687704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.36
system time used= 2.96608
maximum resident set size= 687704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2835428
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= 11713
involuntary context switches= 2992


# summary of solver processes directly reported to runsolver:
#   pid: 31312
#   total CPU time (s): 3588.33
#   total CPU user time (s): 3585.36
#   total CPU system time (s): 2.96608

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1478 second user time and 34.9696 second system time

The end

Launcher Data

Begin job on nodeC002 at 2024-07-31 01:29:55
IDJOB=4464775
IDBENCH=148699
IDSOLVER=3092
FILE ID=nodeC002/4464775-1722382195
RUNJOBID= nodeC002-1722378594-29095
SLURM_JOB_ID= 8249832
Free space on /tmp= 723688 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_2.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-4464775-1722382195/watcher-4464775-1722382195 -o /tmp/evaluation-result-4464775-1722382195/solver-4464775-1722382195 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722378594-29095 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464775-1722382195.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 2ee40362659bac8ce3ae96da1e16af6a
RANDOM SEED=1367756045

nodeC002.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		: 3670.652
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.65
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		: 3610.092
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.23
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.426
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.65
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.379
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.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.846
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.65
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		: 3665.075
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.23
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.199
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.65
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.329
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.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        121426460 kB
MemAvailable:   126299168 kB
Buffers:           98900 kB
Cached:          5563396 kB
SwapCached:            0 kB
Active:           274520 kB
Inactive:        9398804 kB
Active(anon):       1908 kB
Inactive(anon):  4038672 kB
Active(file):     272612 kB
Inactive(file):  5360132 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28492 kB
Writeback:             0 kB
AnonPages:       4008516 kB
Mapped:           128032 kB
Shmem:             29512 kB
KReclaimable:     159988 kB
Slab:             244120 kB
SReclaimable:     159988 kB
SUnreclaim:        84132 kB
KernelStack:        4032 kB
PageTables:        17008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2550932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6976 kB
HardwareCorrupted:     0 kB
AnonHugePages:    917504 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:      224072 kB
DirectMap2M:    19603456 kB
DirectMap1G:    116391936 kB

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