Trace number 4463961

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-30SAT66 3589.33 3598.26

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
MD5SUM01f07e427327757fda434ad4b1d2038d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 3
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 324
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 324
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: 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 = 32149504, getVmSize() = 32149504, SCIPgetMemUsed() = 7349443, SCIPgetMemTotal() = 10231795, SCIPgetMemExternEstim() = 5187808
0.00/0.01	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.10/0.12	c ** Estimated virtualMemUsedAtSolver = 26506581, getVmSize() = 47370240, SCIPgetMemUsed() = 13654134, SCIPgetMemTotal() = 23856934, SCIPgetMemExternEstim() = 5187808
0.10/0.12	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.10/0.12	c Original Problem   :
0.10/0.12	c   Problem name     : instance-4463961-1722378594
0.10/0.12	c   Variables        : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.12	c   Constraints      : 4476
0.10/0.12	c   Objective sense  : minimize
0.10/0.12	c Presolved Problem  :
0.10/0.12	c   Variables        : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.12	c   Constraints      : 4476
0.10/0.12	c Constraints        : Number
0.10/0.12	c   knapsack         : 1734 
0.10/0.12	c   setppc           : 840 
0.10/0.12	c   logicor          : 1902 
0.10/0.12	c ** Instance transfer method used: 0
0.10/0.13	c ** ParaScipInstance copy does not increase the number of variables. **
0.10/0.13	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.10/0.13	c                                Nodes    Active                                            
0.10/0.13	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.19/0.26	c *       0              0           1         1          94.0000                -          -
0.49/0.59	c *       1              0           1         1          82.0000                -          -
6.07/6.16	c         6              4           3         1          82.0000          48.0000     70.83%
11.25/11.36	c        11             13          12         1          82.0000          48.0000     70.83%
11.96/12.03	c *      12             13          12         1          80.0000          48.0000     66.67%
11.96/12.05	c *      12             13          12         1          76.0000          48.0000     58.33%
16.44/16.59	c        17             18          17         1          76.0000          48.0000     58.33%
21.72/21.80	c        22             26          21         1          76.0000          48.0000     58.33%
24.92/25.08	c *      25             59          52         1          72.0000          48.0000     50.00%
27.51/27.66	c        28            110          91         1          72.0000          48.0000     50.00%
32.79/32.97	c        33            194         145         1          72.0000          48.0000     50.00%
38.48/38.62	c        39            260         205         1          72.0000          48.0000     50.00%
43.97/44.18	c        44            302         247         1          72.0000          48.0000     50.00%
49.45/49.67	c        50            346         291         1          72.0000          48.0000     50.00%
54.84/55.04	c        55            387         332         1          72.0000          48.0000     50.00%
59.83/60.04	c        60            427         368         1          72.0000          48.0000     50.00%
65.40/65.67	c        66            473         414         1          72.0000          48.0000     50.00%
70.99/71.20	c        71            527         468         1          72.0000          48.0000     50.00%
76.27/76.56	c        77            583         524         1          72.0000          48.0000     50.00%
81.45/81.72	c        82            645         580         1          72.0000          48.0000     50.00%
87.03/87.32	c        87            704         637         1          72.0000          48.0000     50.00%
92.60/92.92	c        93            764         697         1          72.0000          48.0000     50.00%
98.38/98.75	c        99            836         765         1          72.0000          48.0000     50.00%
103.96/104.35	c       104            913         840         1          72.0000          48.0000     50.00%
109.25/109.68	c       110            997         922         1          72.0000          48.0000     50.00%
114.84/115.20	c       115           1076         997         1          72.0000          48.0000     50.00%
120.12/120.51	c       121           1144        1065         1          72.0000          48.0000     50.00%
125.71/126.15	c       126           1214        1129         1          72.0000          48.0000     50.00%
131.20/131.66	c       132           1289        1195         1          72.0000          48.0000     50.00%
137.38/137.84	c       138           1364        1252         1          72.0000          48.0000     50.00%
142.87/143.36	c       143           1425        1309         1          72.0000          48.0000     50.00%
148.66/149.11	c       149           1499        1375         1          72.0000          48.0000     50.00%
154.55/155.07	c       155           1551        1425         1          72.0000          48.0000     50.00%
160.33/160.83	c       161           1622        1492         1          72.0000          48.0000     50.00%
165.71/166.22	c       166           1688        1550         1          72.0000          48.0000     50.00%
171.10/171.69	c       172           1747        1607         1          72.0000          48.0000     50.00%
176.89/177.45	c       177           1813        1671         1          72.0000          48.0000     50.00%
182.37/182.97	c       183           1884        1738         1          72.0000          48.0000     50.00%
187.96/188.57	c       189           1940        1790         1          72.0000          48.0000     50.00%
193.15/193.71	c       194           1991        1839         1          72.0000          48.0000     50.00%
198.44/199.09	c       199           2054        1902         1          72.0000          48.0000     50.00%
204.11/204.72	c       205           2119        1967         1          72.0000          48.0000     50.00%
209.51/210.13	c       210           2175        2021         1          72.0000          48.0000     50.00%
214.89/215.58	c       216           2257        2103         1          72.0000          48.0000     50.00%
220.48/221.18	c       221           2311        2155         1          72.0000          48.0000     50.00%
225.76/226.42	c       226           2368        2212         1          72.0000          48.0000     50.00%
231.64/232.35	c       232           2468        2306         1          72.0000          48.0000     50.00%
236.83/237.53	c       238           2543        2381         1          72.0000          48.0000     50.00%
242.02/242.77	c       243           2618        2450         1          72.0000          48.0000     50.00%
247.51/248.28	c       248           2694        2524         1          72.0000          48.0000     50.00%
252.79/253.56	c       254           2764        2584         1          72.0000          48.0000     50.00%
258.48/259.20	c       259           2830        2646         1          72.0000          48.0000     50.00%
264.06/264.82	c       265           2907        2719         1          72.0000          48.0000     50.00%
269.35/270.13	c       270           2975        2775         1          72.0000          48.0000     50.00%
274.84/275.64	c       276           3023        2817         1          72.0000          48.0000     50.00%
280.33/281.10	c       281           3098        2880         1          72.0000          48.0000     50.00%
286.01/286.84	c       287           3172        2942         1          72.0000          48.0000     50.00%
291.39/292.20	c       292           3258        3012         1          72.0000          48.0000     50.00%
296.57/297.49	c       297           3329        3071         1          72.0000          48.0000     50.00%
301.97/302.89	c       303           3418        3154         1          72.0000          48.0000     50.00%
307.65/308.51	c       309           3491        3215         1          72.0000          48.0000     50.00%
312.94/313.85	c       314           3588        3304         1          72.0000          48.0000     50.00%
318.32/319.23	c       319           3673        3379         1          72.0000          48.0000     50.00%
323.71/324.64	c       325           3760        3462         1          72.0000          48.0000     50.00%
329.11/330.00	c       330           3869        3555         1          72.0000          48.0000     50.00%
334.48/335.42	c       335           3980        3654         1          72.0000          48.0000     50.00%
339.67/340.65	c       341           4078        3732         1          72.0000          48.0000     50.00%
345.06/346.08	c       346           4184        3814         1          72.0000          48.0000     50.00%
349.15/350.19	c *     350           4265        3885         1          70.0000          48.0000     45.83%
350.15/351.18	c       351           4301        3837         1          70.0000          48.0000     45.83%
355.33/356.34	c       356           4404        3918         1          70.0000          48.0000     45.83%
360.72/361.73	c       362           4513        4009         1          70.0000          48.0000     45.83%
366.01/367.09	c       367           4600        4086         1          70.0000          48.0000     45.83%
371.29/372.31	c       372           4641        4121         1          70.0000          48.0000     45.83%
376.48/377.50	c       378           4749        4201         1          70.0000          48.0000     45.83%
381.76/382.88	c       383           4840        4272         1          70.0000          48.0000     45.83%
386.96/388.10	c       388           4973        4371         1          70.0000          48.0000     45.83%
392.24/393.38	c       393           5078        4446         1          70.0000          48.0000     45.83%
397.82/398.94	c       399           5188        4536         1          70.0000          48.0000     45.83%
403.11/404.27	c       404           5281        4621         1          70.0000          48.0000     45.83%
408.40/409.55	c       410           5384        4706         1          70.0000          48.0000     45.83%
414.09/415.26	c       415           5499        4793         1          70.0000          48.0000     45.83%
419.67/420.82	c       421           5615        4883         1          70.0000          48.0000     45.83%
424.86/426.08	c       426           5728        4978         1          70.0000          48.0000     45.83%
430.64/431.85	c       432           5834        5062         1          70.0000          48.0000     45.83%
435.84/437.02	c       437           5926        5135         1          70.0000          48.0000     45.83%
441.12/442.37	c       442           6048        5237         1          70.0000          48.0000     45.83%
446.60/447.81	c       448           6150        5325         1          70.0000          48.0000     45.83%
451.79/453.01	c       453           6261        5410         1          70.0000          48.0000     45.83%
457.17/458.43	c       458           6373        5504         1          70.0000          48.0000     45.83%
462.77/464.10	c       464           6499        5602         1          70.0000          48.0000     45.83%
468.15/469.47	c       469           6606        5695         1          70.0000          48.0000     45.83%
473.54/474.89	c       475           6723        5786         1          70.0000          48.0000     45.83%
478.92/480.27	c       480           6884        5891         1          70.0000          48.0000     45.83%
484.11/485.47	c       485           7012        5997         1          70.0000          48.0000     45.83%
489.20/490.59	c       491           7160        6103         1          70.0000          48.0000     45.83%
494.69/496.02	c       496           7290        6197         1          70.0000          48.0000     45.83%
499.97/501.38	c       501           7423        6292         1          70.0000          48.0000     45.83%
505.26/506.61	c       507           7569        6374         1          70.0000          48.0000     45.83%
510.64/512.04	c       512           7687        6462         1          70.0000          48.0000     45.83%
515.82/517.20	c       517           7819        6558         1          70.0000          48.0000     45.83%
520.92/522.38	c       522           7856        6587         1          70.0000          48.0000     45.83%
526.20/527.61	c       528           7976        6678         1          70.0000          48.0000     45.83%
531.69/533.18	c       533           8142        6792         1          70.0000          48.0000     45.83%
537.07/538.53	c       539           8290        6906         1          70.0000          48.0000     45.83%
542.17/543.68	c       544           8424        7010         1          70.0000          48.0000     45.83%
547.35/548.87	c       549           8579        7117         1          70.0000          48.0000     45.83%
552.54/554.08	c       554           8696        7224         1          70.0000          48.0000     45.83%
557.63/559.18	c       559           8816        7318         1          70.0000          48.0000     45.83%
562.91/564.45	c       564           8949        7418         1          70.0000          48.0000     45.83%
568.20/569.71	c       570           9087        7520         1          70.0000          48.0000     45.83%
573.29/574.88	c       575           9209        7618         1          70.0000          48.0000     45.83%
578.48/580.08	c       580           9346        7729         1          70.0000          48.0000     45.83%
583.96/585.54	c       586           9491        7818         1          70.0000          48.0000     45.83%
589.15/590.71	c       591           9630        7917         1          70.0000          48.0000     45.83%
594.34/595.91	c       596           9780        8025         1          70.0000          48.0000     45.83%
599.53/601.11	c       601           9912        8109         1          70.0000          48.0000     45.83%
604.71/606.34	c       606          10053        8215         1          70.0000          48.0000     45.83%
610.19/611.85	c       612          10161        8303         1          70.0000          48.0000     45.83%
615.98/617.63	c       618          10304        8394         1          70.0000          48.0000     45.83%
621.26/622.90	c       623          10397        8477         1          70.0000          48.0000     45.83%
626.36/628.07	c       628          10517        8581         1          70.0000          48.0000     45.83%
631.74/633.44	c       633          10685        8712         1          70.0000          48.0000     45.83%
636.93/638.65	c       639          10829        8830         1          70.0000          48.0000     45.83%
642.21/643.98	c       644          10968        8939         1          70.0000          48.0000     45.83%
647.50/649.26	c       649          11077        9038         1          70.0000          48.0000     45.83%
652.89/654.61	c       655          11208        9135         1          70.0000          48.0000     45.83%
658.17/659.94	c       660          11340        9244         1          70.0000          48.0000     45.83%
663.37/665.17	c       665          11449        9341         1          70.0000          48.0000     45.83%
668.65/670.44	c       670          11588        9444         1          70.0000          48.0000     45.83%
673.84/675.60	c       676          11709        9549         1          70.0000          48.0000     45.83%
678.93/680.77	c       681          11871        9675         1          70.0000          48.0000     45.83%
684.11/685.97	c       686          11989        9773         1          70.0000          48.0000     45.83%
689.59/691.45	c       691          12095        9859         1          70.0000          48.0000     45.83%
693.49/695.39	c *     695          12183        9931         1          68.0000          48.0000     41.67%
694.88/696.74	c       697          12243        9550         1          68.0000          48.0000     41.67%
700.57/702.41	c       702          12356        9637         1          68.0000          48.0000     41.67%
705.75/707.67	c       708          12468        9729         1          68.0000          48.0000     41.67%
711.05/712.97	c       713          12614        9837         1          68.0000          48.0000     41.67%
716.24/718.16	c       718          12728        9939         1          68.0000          48.0000     41.67%
721.42/723.38	c       723          12850       10035         1          68.0000          48.0000     41.67%
726.80/728.73	c       729          12955       10126         1          68.0000          48.0000     41.67%
732.09/734.10	c       734          13114       10229         1          68.0000          48.0000     41.67%
737.28/739.25	c       739          13255       10331         1          68.0000          48.0000     41.67%
742.36/744.33	c       744          13387       10447         1          68.0000          48.0000     41.67%
747.45/749.49	c       749          13557       10555         1          68.0000          48.0000     41.67%
752.64/754.65	c       755          13685       10657         1          68.0000          48.0000     41.67%
757.73/759.79	c       760          13857       10785         1          68.0000          48.0000     41.67%
763.02/765.02	c       765          14015       10887         1          68.0000          48.0000     41.67%
768.20/770.22	c       770          14168       11010         1          68.0000          48.0000     41.67%
773.39/775.46	c       775          14308       11118         1          68.0000          48.0000     41.67%
778.58/780.62	c       781          14477       11213         1          68.0000          48.0000     41.67%
784.06/786.12	c       786          14642       11316         1          68.0000          48.0000     41.67%
789.15/791.24	c       791          14782       11418         1          68.0000          48.0000     41.67%
794.34/796.43	c       796          14871       11501         1          68.0000          48.0000     41.67%
799.63/801.70	c       802          14994       11610         1          68.0000          48.0000     41.67%
804.71/806.88	c       807          15152       11725         1          68.0000          48.0000     41.67%
809.80/811.99	c       812          15310       11845         1          68.0000          48.0000     41.67%
815.08/817.22	c       817          15462       11950         1          68.0000          48.0000     41.67%
820.17/822.38	c       822          15655       12086         1          68.0000          48.0000     41.67%
825.36/827.54	c       828          15827       12208         1          68.0000          48.0000     41.67%
830.55/832.75	c       833          15976       12314         1          68.0000          48.0000     41.67%
835.73/837.95	c       838          16107       12421         1          68.0000          48.0000     41.67%
840.93/843.12	c       843          16254       12533         1          68.0000          48.0000     41.67%
846.21/848.43	c       848          16388       12641         1          68.0000          48.0000     41.67%
851.30/853.57	c       854          16539       12762         1          68.0000          48.0000     41.67%
856.48/858.74	c       859          16694       12863         1          68.0000          48.0000     41.67%
861.67/863.95	c       864          16836       12970         1          68.0000          48.0000     41.67%
866.76/869.07	c       869          16969       13073         1          68.0000          48.0000     41.67%
872.04/874.35	c       874          17119       13178         1          68.0000          48.0000     41.67%
877.23/879.52	c       880          17274       13285         1          68.0000          48.0000     41.67%
882.31/884.67	c       885          17399       13384         1          68.0000          48.0000     41.67%
887.60/889.97	c       890          17527       13480         1          68.0000          48.0000     41.67%
892.80/895.12	c       895          17682       13585         1          68.0000          48.0000     41.67%
897.87/900.24	c       900          17797       13682         1          68.0000          48.0000     41.67%
902.96/905.33	c       905          17968       13791         1          68.0000          48.0000     41.67%
908.04/910.48	c       910          18151       13890         1          68.0000          48.0000     41.67%
913.44/915.87	c       916          18295       14008         1          68.0000          48.0000     41.67%
918.63/921.00	c       921          18475       14133         1          68.0000          48.0000     41.67%
923.81/926.22	c       926          18614       14246         1          68.0000          48.0000     41.67%
928.89/931.38	c       931          18727       14351         1          68.0000          48.0000     41.67%
934.28/936.75	c       937          18877       14461         1          68.0000          48.0000     41.67%
939.68/942.16	c       942          19040       14576         1          68.0000          48.0000     41.67%
944.86/947.39	c       947          19202       14684         1          68.0000          48.0000     41.67%
950.24/952.76	c       953          19352       14798         1          68.0000          48.0000     41.67%
955.73/958.20	c       958          19556       14924         1          68.0000          48.0000     41.67%
960.92/963.43	c       963          19770       15070         1          68.0000          48.0000     41.67%
966.61/969.13	c       969          19934       15180         1          68.0000          48.0000     41.67%
971.69/974.29	c       974          20085       15293         1          68.0000          48.0000     41.67%
976.97/979.53	c       980          20276       15402         1          68.0000          48.0000     41.67%
982.06/984.66	c       985          20484       15495         1          68.0000          48.0000     41.67%
988.34/990.95	c       991          20528           1         1          68.0000          48.0000     41.67%
993.73/996.36	c       996          20538          11         1          68.0000          48.0000     41.67%
1000.01/1002.69	c      1003          20560          33         1          68.0000          48.0000     41.67%
1006.00/1008.61	c      1009          20595          68         1          68.0000          48.0000     41.67%
1011.49/1014.11	c      1014          20624          97         1          68.0000          48.0000     41.67%
1016.87/1019.54	c      1020          20662         131         1          68.0000          48.0000     41.67%
1021.96/1024.63	c      1025          20726         193         1          68.0000          48.0000     41.67%
1027.25/1029.90	c      1030          20781         244         1          68.0000          48.0000     41.67%
1032.34/1035.05	c      1035          20846         301         1          68.0000          48.0000     41.67%
1037.63/1040.37	c      1040          20946         361         1          68.0000          48.0000     41.67%
1043.02/1045.72	c      1046          21006         419         1          68.0000          48.0000     41.67%
1048.20/1050.91	c      1051          21132         527         1          68.0000          48.0000     41.67%
1053.40/1056.15	c      1056          21212         597         1          68.0000          48.0000     41.67%
1058.98/1061.78	c      1062          21279         662         1          68.0000          48.0000     41.67%
1064.27/1067.00	c      1067          21409         764         1          68.0000          48.0000     41.67%
1069.35/1072.11	c      1072          21535         860         1          68.0000          48.0000     41.67%
1074.73/1077.50	c      1078          21679         934         1          68.0000          48.0000     41.67%
1080.12/1082.95	c      1083          21779        1024         1          68.0000          48.0000     41.67%
1085.21/1088.10	c      1088          21865        1110         1          68.0000          48.0000     41.67%
1090.30/1093.19	c      1093          22013        1200         1          68.0000          48.0000     41.67%
1095.58/1098.42	c      1098          22182        1275         1          68.0000          48.0000     41.67%
1100.77/1103.66	c      1104          22392        1387         1          68.0000          48.0000     41.67%
1105.96/1108.84	c      1109          22670        1475         1          68.0000          48.0000     41.67%
1111.26/1114.18	c      1114          22854        1590         1          68.0000          48.0000     41.67%
1116.64/1119.51	c      1120          22999        1685         1          68.0000          48.0000     41.67%
1121.73/1124.66	c      1125          23196        1802         1          68.0000          48.0000     41.67%
1126.91/1129.84	c      1130          23309        1897         1          68.0000          48.0000     41.67%
1132.10/1135.08	c      1135          23439        2004         1          68.0000          48.0000     41.67%
1137.29/1140.25	c      1140          23655        2108         1          68.0000          48.0000     41.67%
1142.47/1145.41	c      1145          23787        2214         1          68.0000          48.0000     41.67%
1147.66/1150.60	c      1151          23934        2327         1          68.0000          48.0000     41.67%
1152.85/1155.89	c      1156          24133        2464         1          68.0000          48.0000     41.67%
1158.04/1161.03	c      1161          24246        2573         1          68.0000          48.0000     41.67%
1163.13/1166.19	c      1166          24455        2674         1          68.0000          48.0000     41.67%
1168.31/1171.35	c      1171          24671        2730         1          68.0000          48.0000     41.67%
1173.50/1176.55	c      1177          24884        2793         1          68.0000          48.0000     41.67%
1178.58/1181.65	c      1182          25052        2903         1          68.0000          48.0000     41.67%
1183.77/1186.80	c      1187          25218        3027         1          68.0000          48.0000     41.67%
1188.86/1191.91	c      1192          25351        3146         1          68.0000          48.0000     41.67%
1194.05/1197.12	c      1197          25554        3265         1          68.0000          48.0000     41.67%
1199.13/1202.25	c      1202          25717        3397         1          68.0000          48.0000     41.67%
1204.42/1207.54	c      1208          25850        3516         1          68.0000          48.0000     41.67%
1209.61/1212.75	c      1213          25987        3625         1          68.0000          48.0000     41.67%
1214.70/1217.89	c      1218          26132        3734         1          68.0000          48.0000     41.67%
1219.89/1223.07	c      1223          26321        3859         1          68.0000          48.0000     41.67%
1225.08/1228.27	c      1228          26552        3994         1          68.0000          48.0000     41.67%
1230.56/1233.70	c      1234          26697        4088         1          68.0000          48.0000     41.67%
1235.55/1238.79	c      1239          26967        4226         1          68.0000          48.0000     41.67%
1240.84/1244.03	c      1244          27186        4355         1          68.0000          48.0000     41.67%
1246.02/1249.21	c      1249          27340        4433         1          68.0000          48.0000     41.67%
1251.21/1254.43	c      1254          27433        4508         1          68.0000          48.0000     41.67%
1256.39/1259.62	c      1260          27582        4581         1          68.0000          48.0000     41.67%
1261.69/1264.95	c      1265          27753        4674         1          68.0000          48.0000     41.67%
1267.08/1270.35	c      1270          27958        4722         1          68.0000          48.0000     41.67%
1272.17/1275.45	c      1275          28129        4837         1          68.0000          48.0000     41.67%
1277.35/1280.63	c      1281          28315        4946         1          68.0000          48.0000     41.67%
1282.44/1285.75	c      1286          28522        5060         1          68.0000          48.0000     41.67%
1287.53/1290.88	c      1291          28719        5169         1          68.0000          48.0000     41.67%
1292.72/1296.05	c      1296          28941        5282         1          68.0000          48.0000     41.67%
1297.81/1301.17	c      1301          29172        5385         1          68.0000          48.0000     41.67%
1302.89/1306.26	c      1306          29452        5459         1          68.0000          48.0000     41.67%
1308.78/1312.18	c      1312          29793        5493         1          68.0000          48.0000     41.67%
1314.76/1318.16	c      1318          30214        5577         1          68.0000          48.0000     41.67%
1319.94/1323.32	c      1323          30509        5677         1          68.0000          48.0000     41.67%
1325.03/1328.44	c      1328          30721        5773         1          68.0000          48.0000     41.67%
1330.12/1333.56	c      1334          31012        5900         1          68.0000          48.0000     41.67%
1335.30/1338.71	c      1339          31272        6032         1          68.0000          48.0000     41.67%
1340.39/1343.87	c      1344          31477        6163         1          68.0000          48.0000     41.67%
1345.58/1349.08	c      1349          31752        6293         1          68.0000          48.0000     41.67%
1350.77/1354.22	c      1354          32053        6418         1          68.0000          48.0000     41.67%
1355.86/1359.31	c      1359          32305        6530         1          68.0000          48.0000     41.67%
1360.94/1364.44	c      1364          32569        6640         1          68.0000          48.0000     41.67%
1366.23/1369.70	c      1370          32851        6771         1          68.0000          48.0000     41.67%
1371.32/1374.83	c      1375          33028        6878         1          68.0000          48.0000     41.67%
1376.40/1379.99	c      1380          33290        6996         1          68.0000          48.0000     41.67%
1381.50/1385.03	c      1385          33450        7068         1          68.0000          48.0000     41.67%
1386.78/1390.39	c      1390          33530        7146         1          68.0000          48.0000     41.67%
1392.07/1395.68	c      1396          33630        7220         1          68.0000          48.0000     41.67%
1397.46/1401.08	c      1401          33783        7298         1          68.0000          48.0000     41.67%
1402.55/1406.19	c      1406          34003        7403         1          68.0000          48.0000     41.67%
1407.83/1411.49	c      1412          34218        7522         1          68.0000          48.0000     41.67%
1413.12/1416.77	c      1417          34447        7634         1          68.0000          48.0000     41.67%
1418.31/1421.93	c      1422          34740        7729         1          68.0000          48.0000     41.67%
1423.40/1427.07	c      1427          35021        7834         1          68.0000          48.0000     41.67%
1428.49/1432.14	c      1432          35307        7946         1          68.0000          48.0000     41.67%
1433.57/1437.26	c      1437          35753        8035         1          68.0000          48.0000     41.67%
1438.76/1442.41	c      1442          36035        8141         1          68.0000          48.0000     41.67%
1444.34/1448.05	c      1448          36277        8271         1          68.0000          48.0000     41.67%
1450.23/1453.90	c      1454          36445        8359         1          68.0000          48.0000     41.67%
1455.22/1458.98	c      1459          36637        8461         1          68.0000          48.0000     41.67%
1460.41/1464.15	c      1464          36882        8590         1          68.0000          48.0000     41.67%
1465.59/1469.33	c      1469          37170        8720         1          68.0000          48.0290     41.58%
1470.68/1474.43	c      1474          37462        8861         1          68.0000          48.0290     41.58%
1476.37/1480.12	c      1480          37812        8999         1          68.0000          48.0365     41.56%
1481.66/1485.43	c      1485          38116        9133         1          68.0000          48.0476     41.53%
1487.25/1491.01	c      1491          38398        9309         1          68.0000          48.0513     41.52%
1493.23/1497.06	c      1497          38848        9438         1          68.0000          48.0593     41.49%
1498.91/1502.74	c      1503          39354        9551         1          68.0000          48.0690     41.46%
1504.20/1508.03	c      1508          39681        9684         1          68.0000          48.0714     41.46%
1509.29/1513.14	c      1513          39889        9783         1          68.0000          48.0714     41.46%
1514.47/1518.30	c      1518          40111        9909         1          68.0000          48.0714     41.46%
1519.56/1523.41	c      1523          40375       10019         1          68.0000          48.0714     41.46%
1525.25/1529.18	c      1529          40667       10172         1          68.0000          48.0741     41.45%
1531.03/1534.93	c      1535          40979       10303         1          68.0000          48.0742     41.45%
1536.23/1540.19	c      1540          41248       10397         1          68.0000          48.0800     41.43%
1541.41/1545.32	c      1545          41547       10503         1          68.0000          48.0800     41.43%
1545.60/1549.52	c *    1550          41766       10619         1          66.0000          48.0833     37.26%
1547.29/1551.20	c      1551          41880        9895         1          66.0000          48.0833     37.26%
1552.28/1556.21	c      1556          42183       10022         1          66.0000          48.0870     37.25%
1557.36/1561.38	c      1561          42474       10129         1          66.0000          48.0870     37.25%
1562.46/1566.47	c      1566          42885       10224         1          66.0000          48.0870     37.25%
1567.54/1571.56	c      1572          43355       10340         1          66.0000          48.0870     37.25%
1573.04/1577.02	c      1577          43741       10468         1          66.0000          48.0909     37.24%
1578.62/1582.65	c      1583          44128       10573         1          66.0000          48.0978     37.22%
1584.20/1588.28	c      1588          44695       10677         1          66.0000          48.0994     37.22%
1589.69/1593.72	c      1594          45019       10787         1          66.0000          48.1053     37.20%
1594.87/1598.91	c      1599          45374       10897         1          66.0000          48.1111     37.18%
1599.96/1604.08	c      1604          45700       11003         1          66.0000          48.1111     37.18%
1605.05/1609.16	c      1609          45989       11108         1          66.0000          48.1111     37.18%
1610.74/1614.80	c      1615          46286       11217         1          66.0000          48.1250     37.14%
1615.82/1619.91	c      1620          46606       11313         1          66.0000          48.1250     37.14%
1620.81/1624.92	c      1625          46869       11420         1          66.0000          48.1321     37.12%
1625.80/1629.93	c      1630          47138       11512         1          66.0000          48.1429     37.09%
1630.88/1635.02	c      1635          47341       11629         1          66.0000          48.1429     37.09%
1635.97/1640.12	c      1640          47641       11725         1          66.0000          48.1429     37.09%
1641.25/1645.45	c      1645          47882       11807         1          66.0000          48.1429     37.09%
1646.85/1651.02	c      1651          48084       11929         1          66.0000          48.1438     37.09%
1652.03/1656.23	c      1656          48388       12009         1          66.0000          48.1448     37.09%
1657.62/1661.80	c      1662          48811       12098         1          66.0000          48.1501     37.07%
1663.60/1667.80	c      1668          49146       12205         1          66.0000          48.1528     37.06%
1668.89/1673.13	c      1673          49443       12299         1          66.0000          48.1602     37.04%
1673.88/1678.15	c      1678          49728       12427         1          66.0000          48.1635     37.03%
1679.47/1683.74	c      1684          50117       12526         1          66.0000          48.1667     37.02%
1684.56/1688.86	c      1689          50357       12638         1          66.0000          48.1667     37.02%
1689.75/1694.04	c      1694          50790       12689         1          66.0000          48.1667     37.02%
1694.84/1699.16	c      1699          51136       12797         1          66.0000          48.1667     37.02%
1699.92/1704.26	c      1704          51419       12933         1          66.0000          48.1667     37.02%
1705.10/1709.42	c      1709          51722       13050         1          66.0000          48.1667     37.02%
1710.49/1714.82	c      1715          52038       13158         1          66.0000          48.1722     37.01%
1715.78/1720.14	c      1720          52368       13264         1          66.0000          48.1786     36.99%
1720.77/1725.15	c      1725          52720       13361         1          66.0000          48.1818     36.98%
1725.85/1730.26	c      1730          53014       13504         1          66.0000          48.1818     36.98%
1731.04/1735.46	c      1735          53259       13615         1          66.0000          48.1818     36.98%
1736.82/1741.20	c      1741          53592       13705         1          66.0000          48.1822     36.98%
1742.51/1746.94	c      1747          53848       13806         1          66.0000          48.1935     36.95%
1748.20/1752.67	c      1753          54174       13918         1          66.0000          48.1979     36.94%
1753.39/1757.87	c      1758          54522       14015         1          66.0000          48.2000     36.93%
1758.48/1762.96	c      1763          54781       14119         1          66.0000          48.2000     36.93%
1764.06/1768.56	c      1769          55110       14218         1          66.0000          48.2046     36.92%
1769.85/1774.31	c      1774          55428       14339         1          66.0000          48.2162     36.88%
1774.93/1779.47	c      1779          55599       14434         1          66.0000          48.2162     36.88%
1780.42/1784.97	c      1785          55984       14544         1          66.0000          48.2172     36.88%
1786.10/1790.62	c      1791          56292       14660         1          66.0000          48.2222     36.87%
1792.10/1796.60	c      1797          56583       14783         1          66.0000          48.2222     36.87%
1797.59/1802.15	c      1802          56986       14872         1          66.0000          48.2258     36.86%
1802.97/1807.54	c      1808          57378       14975         1          66.0000          48.2298     36.84%
1808.65/1813.27	c      1813          57678       15059         1          66.0000          48.2445     36.80%
1814.04/1818.62	c      1819          57993       15168         1          66.0000          48.2497     36.79%
1819.23/1823.88	c      1824          58406       15248         1          66.0000          48.2500     36.79%
1824.52/1829.11	c      1829          58708       15310         1          66.0000          48.2596     36.76%
1829.80/1834.47	c      1834          59018       15418         1          66.0000          48.2639     36.75%
1835.49/1840.13	c      1840          59318       15515         1          66.0000          48.2708     36.73%
1840.77/1845.41	c      1845          59668       15628         1          66.0000          48.2743     36.72%
1846.06/1850.77	c      1851          59988       15735         1          66.0000          48.2800     36.70%
1851.45/1856.12	c      1856          60238       15846         1          66.0000          48.2857     36.69%
1857.23/1861.96	c      1862          60586       15950         1          66.0000          48.2857     36.69%
1862.42/1867.14	c      1867          60899       16038         1          66.0000          48.2857     36.69%
1867.51/1872.29	c      1872          61128       16137         1          66.0000          48.2934     36.66%
1873.20/1877.94	c      1878          61356       16236         1          66.0000          48.2941     36.66%
1879.08/1883.82	c      1884          61629       16351         1          66.0000          48.2966     36.66%
1884.28/1889.04	c      1889          61965       16446         1          66.0000          48.3019     36.64%
1889.86/1894.69	c      1895          62393       16556         1          66.0000          48.3022     36.64%
1895.64/1900.49	c      1900          62796       16653         1          66.0000          48.3058     36.63%
1901.23/1906.07	c      1906          63028       16723         1          66.0000          48.3077     36.62%
1906.41/1911.22	c      1911          63219       16808         1          66.0000          48.3088     36.62%
1911.70/1916.59	c      1917          63549       16899         1          66.0000          48.3125     36.61%
1917.29/1922.13	c      1922          63858       17025         1          66.0000          48.3182     36.59%
1923.28/1928.13	c      1928          64114       17113         1          66.0000          48.3219     36.58%
1928.67/1933.52	c      1934          64446       17201         1          66.0000          48.3333     36.55%
1933.65/1938.57	c      1939          64884       17307         1          66.0000          48.3333     36.55%
1938.84/1943.73	c      1944          65125       17394         1          66.0000          48.3333     36.55%
1944.23/1949.11	c      1949          65450       17434         1          66.0000          48.3354     36.55%
1949.70/1954.66	c      1955          65708       17495         1          66.0000          48.3427     36.53%
1955.30/1960.25	c      1960          65938       17585         1          66.0000          48.3502     36.50%
1960.38/1965.38	c      1965          66230       17664         1          66.0000          48.3571     36.48%
1965.67/1970.65	c      1971          66544       17745         1          66.0000          48.3704     36.45%
1970.85/1975.82	c      1976          66988       17833         1          66.0000          48.3725     36.44%
1976.25/1981.24	c      1981          67336       17930         1          66.0000          48.3797     36.42%
1981.53/1986.56	c      1987          67598       17998         1          66.0000          48.3900     36.39%
1986.72/1991.73	c      1992          67908       18068         1          66.0000          48.3967     36.37%
1992.20/1997.28	c      1997          68204       18160         1          66.0000          48.4000     36.36%
1997.39/2002.42	c      2002          68455       18271         1          66.0000          48.4000     36.36%
2002.58/2007.60	c      2008          68711       18385         1          66.0000          48.4000     36.36%
2007.56/2012.68	c      2013          69014       18467         1          66.0000          48.4000     36.36%
2012.75/2017.82	c      2018          69242       18617         1          66.0000          48.4000     36.36%
2017.84/2022.91	c      2023          69583       18700         1          66.0000          48.4000     36.36%
2023.03/2028.11	c      2028          69904       18783         1          66.0000          48.4000     36.36%
2028.11/2033.29	c      2033          70191       18869         1          66.0000          48.4000     36.36%
2033.20/2038.38	c      2038          70507       18961         1          66.0000          48.4000     36.36%
2038.29/2043.44	c      2043          71008       19024         1          66.0000          48.4000     36.36%
2043.48/2048.67	c      2049          71348       19110         1          66.0000          48.4000     36.36%
2048.57/2053.78	c      2054          71612       19211         1          66.0000          48.4000     36.36%
2053.96/2059.19	c      2059          71974       19322         1          66.0000          48.4000     36.36%
2059.14/2064.39	c      2064          72359       19422         1          66.0000          48.4000     36.36%
2064.32/2069.58	c      2070          72624       19530         1          66.0000          48.4000     36.36%
2069.42/2074.68	c      2075          73077       19616         1          66.0000          48.4000     36.36%
2074.60/2079.80	c      2080          73478       19709         1          66.0000          48.4000     36.36%
2079.69/2084.96	c      2085          73800       19810         1          66.0000          48.4000     36.36%
2084.88/2090.17	c      2090          74098       19918         1          66.0000          48.4000     36.36%
2090.07/2095.33	c      2095          74447       20037         1          66.0000          48.4000     36.36%
2095.15/2100.43	c      2100          74775       20132         1          66.0000          48.4000     36.36%
2100.24/2105.55	c      2106          74964       20233         1          66.0000          48.4000     36.36%
2105.63/2110.93	c      2111          75194       20329         1          66.0000          48.4000     36.36%
2110.72/2116.01	c      2116          75513       20432         1          66.0000          48.4000     36.36%
2115.71/2121.09	c      2121          75844       20494         1          66.0000          48.4000     36.36%
2120.89/2126.25	c      2126          76154       20565         1          66.0000          48.4000     36.36%
2126.17/2131.57	c      2132          76464       20651         1          66.0000          48.4000     36.36%
2131.26/2136.69	c      2137          76807       20749         1          66.0000          48.4000     36.36%
2136.55/2141.97	c      2142          77153       20841         1          66.0000          48.4000     36.36%
2141.75/2147.11	c      2147          77529       20928         1          66.0000          48.4000     36.36%
2146.83/2152.24	c      2152          77825       21027         1          66.0000          48.4000     36.36%
2152.11/2157.59	c      2158          78135       21084         1          66.0000          48.4000     36.36%
2157.40/2162.85	c      2163          78353       21118         1          66.0000          48.4000     36.36%
2162.69/2168.11	c      2168          78637       21170         1          66.0000          48.4000     36.36%
2167.87/2173.36	c      2173          78869       21255         1          66.0000          48.4000     36.36%
2172.96/2178.49	c      2178          79072       21358         1          66.0000          48.4000     36.36%
2178.05/2183.59	c      2184          79408       21472         1          66.0000          48.4000     36.36%
2183.34/2188.81	c      2189          79822       21566         1          66.0000          48.4000     36.36%
2188.53/2194.05	c      2194          80199       21698         1          66.0000          48.4000     36.36%
2193.71/2199.28	c      2199          80497       21808         1          66.0000          48.4000     36.36%
2198.90/2204.41	c      2204          80739       21860         1          66.0000          48.4000     36.36%
2204.08/2209.68	c      2210          81099       21977         1          66.0000          48.4000     36.36%
2209.07/2214.69	c      2215          81448       22068         1          66.0000          48.4083     36.34%
2214.66/2220.22	c      2220          81788       22159         1          66.0000          48.4122     36.33%
2219.85/2225.49	c      2225          82029       22264         1          66.0000          48.4159     36.32%
2225.54/2231.19	c      2231          82419       22347         1          66.0000          48.4191     36.31%
2231.62/2237.23	c      2237          82751       22442         1          66.0000          48.4243     36.30%
2236.81/2242.43	c      2242          83015       22540         1          66.0000          48.4286     36.28%
2242.50/2248.14	c      2248          83303       22668         1          66.0000          48.4289     36.28%
2248.39/2254.07	c      2254          83671       22797         1          66.0000          48.4314     36.28%
2253.57/2259.24	c      2259          83858       22914         1          66.0000          48.4348     36.27%
2258.56/2264.26	c      2264          84086       23023         1          66.0000          48.4364     36.26%
2264.14/2269.84	c      2270          84383       23098         1          66.0000          48.4444     36.24%
2269.73/2275.47	c      2275          84658       23178         1          66.0000          48.4471     36.23%
2274.91/2280.68	c      2281          84922       23262         1          66.0000          48.4545     36.21%
2280.40/2286.17	c      2286          85248       23342         1          66.0000          48.4667     36.18%
2286.09/2291.84	c      2292          85508       23428         1          66.0000          48.4706     36.17%
2291.57/2297.39	c      2297          85859       23532         1          66.0000          48.4714     36.16%
2297.16/2302.94	c      2303          86298       23616         1          66.0000          48.4762     36.15%
2302.44/2308.25	c      2308          86728       23665         1          66.0000          48.4777     36.15%
2307.84/2313.63	c      2314          87050       23737         1          66.0000          48.4853     36.12%
2313.23/2319.02	c      2319          87493       23839         1          66.0000          48.4871     36.12%
2318.31/2324.16	c      2324          87808       23939         1          66.0000          48.4926     36.10%
2323.39/2329.23	c      2329          88108       24011         1          66.0000          48.4990     36.09%
2328.59/2334.45	c      2334          88352       24101         1          66.0000          48.5000     36.08%
2333.87/2339.73	c      2340          88641       24180         1          66.0000          48.5000     36.08%
2338.86/2344.79	c      2345          88963       24274         1          66.0000          48.5000     36.08%
2344.26/2350.19	c      2350          89396       24375         1          66.0000          48.5000     36.08%
2349.43/2355.36	c      2355          89723       24497         1          66.0000          48.5000     36.08%
2354.52/2360.44	c      2360          90151       24596         1          66.0000          48.5000     36.08%
2359.70/2365.61	c      2366          90571       24688         1          66.0000          48.5000     36.08%
2364.90/2370.88	c      2371          90964       24760         1          66.0000          48.5000     36.08%
2370.28/2376.22	c      2376          91263       24814         1          66.0000          48.5000     36.08%
2375.27/2381.29	c      2381          91524       24901         1          66.0000          48.5000     36.08%
2380.86/2386.85	c      2387          91810       24982         1          66.0000          48.5000     36.08%
2385.94/2391.97	c      2392          92074       25079         1          66.0000          48.5000     36.08%
2391.03/2397.06	c      2397          92486       25128         1          66.0000          48.5000     36.08%
2396.22/2402.20	c      2402          93028       25187         1          66.0000          48.5000     36.08%
2401.30/2407.38	c      2407          93282       25255         1          66.0000          48.5000     36.08%
2406.49/2412.52	c      2413          93588       25329         1          66.0000          48.5000     36.08%
2411.78/2417.83	c      2418          94005       25394         1          66.0000          48.5000     36.08%
2416.97/2423.07	c      2423          94241       25465         1          66.0000          48.5000     36.08%
2422.25/2428.37	c      2428          94510       25530         1          66.0000          48.5000     36.08%
2427.44/2433.51	c      2434          94725       25603         1          66.0000          48.5000     36.08%
2432.73/2438.88	c      2439          94976       25670         1          66.0000          48.5000     36.08%
2437.92/2444.04	c      2444          95190       25709         1          66.0000          48.5000     36.08%
2443.11/2449.22	c      2449          95569       25767         1          66.0000          48.5000     36.08%
2448.39/2454.54	c      2455          95840       25847         1          66.0000          48.5000     36.08%
2453.58/2459.75	c      2460          96066       25902         1          66.0000          48.5000     36.08%
2458.66/2464.89	c      2465          96364       25989         1          66.0000          48.5000     36.08%
2463.86/2470.01	c      2470          96769       26048         1          66.0000          48.5000     36.08%
2468.85/2475.10	c      2475          97142       26111         1          66.0000          48.5000     36.08%
2474.03/2480.27	c      2480          97516       26171         1          66.0000          48.5000     36.08%
2479.72/2485.93	c      2486          97849       26243         1          66.0000          48.5044     36.07%
2485.20/2491.40	c      2491          98208       26315         1          66.0000          48.5100     36.05%
2490.29/2496.59	c      2497          98507       26422         1          66.0000          48.5128     36.05%
2495.79/2502.02	c      2502          99030       26499         1          66.0000          48.5129     36.05%
2501.27/2507.50	c      2508          99398       26571         1          66.0000          48.5200     36.03%
2506.95/2513.25	c      2513          99740       26659         1          66.0000          48.5258     36.01%
2512.84/2519.16	c      2519         100001       26767         1          66.0000          48.5316     35.99%
2518.22/2524.54	c      2525         100224       26858         1          66.0000          48.5328     35.99%
2523.71/2530.00	c      2530         100578       26972         1          66.0000          48.5350     35.98%
2529.49/2535.83	c      2536         101018       27064         1          66.0000          48.5470     35.95%
2535.28/2541.69	c      2542         101418       27132         1          66.0000          48.5546     35.93%
2541.27/2547.66	c      2548         101819       27224         1          66.0000          48.5556     35.93%
2546.45/2552.80	c      2553         102258       27308         1          66.0000          48.5606     35.91%
2551.74/2558.13	c      2558         102636       27392         1          66.0000          48.5645     35.90%
2557.73/2564.14	c      2564         103060       27501         1          66.0000          48.5667     35.90%
2563.21/2569.63	c      2570         103426       27562         1          66.0000          48.5714     35.88%
2568.20/2574.68	c      2575         103883       27638         1          66.0000          48.5714     35.88%
2573.78/2580.25	c      2580         104328       27734         1          66.0000          48.5740     35.88%
2579.67/2586.11	c      2586         104723       27856         1          66.0000          48.5769     35.87%
2584.95/2591.40	c      2591         105123       27936         1          66.0000          48.5818     35.85%
2590.24/2596.79	c      2597         105548       28017         1          66.0000          48.5879     35.84%
2595.83/2602.30	c      2602         105838       28117         1          66.0000          48.5917     35.83%
2601.32/2607.82	c      2608         106188       28229         1          66.0000          48.6000     35.80%
2606.51/2613.00	c      2613         106579       28344         1          66.0000          48.6000     35.80%
2611.69/2618.21	c      2618         106927       28414         1          66.0000          48.6000     35.80%
2617.57/2624.16	c      2624         107286       28506         1          66.0000          48.6029     35.79%
2622.86/2629.43	c      2629         107680       28588         1          66.0000          48.6039     35.79%
2628.75/2635.35	c      2635         108138       28697         1          66.0000          48.6046     35.79%
2633.94/2640.58	c      2641         108487       28776         1          66.0000          48.6111     35.77%
2639.02/2645.69	c      2646         108763       28863         1          66.0000          48.6130     35.77%
2644.51/2651.12	c      2651         109108       28970         1          66.0000          48.6179     35.75%
2649.69/2656.30	c      2656         109456       29047         1          66.0000          48.6225     35.74%
2654.98/2661.60	c      2662         109801       29148         1          66.0000          48.6250     35.73%
2660.07/2666.74	c      2667         110077       29254         1          66.0000          48.6250     35.73%
2666.16/2672.80	c      2673         110467       29342         1          66.0000          48.6284     35.72%
2672.04/2678.78	c      2679         110918       29441         1          66.0000          48.6305     35.72%
2677.43/2684.13	c      2684         111247       29501         1          66.0000          48.6333     35.71%
2682.51/2689.24	c      2689         111575       29585         1          66.0000          48.6333     35.71%
2688.40/2695.19	c      2695         111981       29696         1          66.0000          48.6417     35.69%
2693.48/2700.21	c      2700         112246       29774         1          66.0000          48.6444     35.68%
2699.27/2706.04	c      2706         112681       29856         1          66.0000          48.6476     35.67%
2704.46/2711.29	c      2711         113066       29930         1          66.0000          48.6503     35.66%
2710.25/2717.02	c      2717         113472       29997         1          66.0000          48.6538     35.65%
2715.83/2722.70	c      2723         113820       30055         1          66.0000          48.6566     35.64%
2721.32/2728.14	c      2728         114206       30138         1          66.0000          48.6602     35.63%
2726.50/2733.32	c      2733         114555       30205         1          66.0000          48.6667     35.62%
2731.69/2738.53	c      2739         114865       30305         1          66.0000          48.6667     35.62%
2736.79/2743.65	c      2744         115209       30405         1          66.0000          48.6667     35.62%
2741.97/2748.84	c      2749         115629       30488         1          66.0000          48.6667     35.62%
2747.06/2753.94	c      2754         115950       30574         1          66.0000          48.6667     35.62%
2752.15/2759.04	c      2759         116254       30666         1          66.0000          48.6667     35.62%
2757.33/2764.30	c      2764         116570       30752         1          66.0000          48.6667     35.62%
2762.62/2769.51	c      2770         116879       30855         1          66.0000          48.6667     35.62%
2767.70/2774.66	c      2775         117113       30950         1          66.0000          48.6667     35.62%
2772.89/2779.82	c      2780         117476       31051         1          66.0000          48.6667     35.62%
2778.28/2785.26	c      2785         117874       31134         1          66.0000          48.6667     35.62%
2783.37/2790.37	c      2790         118273       31189         1          66.0000          48.6667     35.62%
2788.55/2795.50	c      2796         118579       31258         1          66.0000          48.6667     35.62%
2793.65/2800.67	c      2801         119016       31338         1          66.0000          48.6667     35.62%
2798.93/2805.92	c      2806         119395       31432         1          66.0000          48.6667     35.62%
2804.02/2811.04	c      2811         119735       31496         1          66.0000          48.6667     35.62%
2809.41/2816.43	c      2816         120129       31564         1          66.0000          48.6667     35.62%
2814.49/2821.51	c      2822         120517       31664         1          66.0000          48.6667     35.62%
2819.48/2826.59	c      2827         120987       31713         1          66.0000          48.6667     35.62%
2824.57/2831.64	c      2832         121487       31787         1          66.0000          48.6667     35.62%
2829.76/2836.86	c      2837         121821       31868         1          66.0000          48.6667     35.62%
2834.84/2841.98	c      2842         122136       31943         1          66.0000          48.6667     35.62%
2840.04/2847.11	c      2847         122449       32025         1          66.0000          48.6667     35.62%
2845.02/2852.19	c      2852         122749       32128         1          66.0000          48.6667     35.62%
2850.30/2857.40	c      2857         123011       32240         1          66.0000          48.6667     35.62%
2855.39/2862.51	c      2863         123332       32322         1          66.0000          48.6667     35.62%
2860.48/2867.62	c      2868         123703       32412         1          66.0000          48.6667     35.62%
2865.56/2872.74	c      2873         124024       32520         1          66.0000          48.6667     35.62%
2870.65/2877.87	c      2878         124326       32638         1          66.0000          48.6667     35.62%
2875.74/2882.95	c      2883         124630       32756         1          66.0000          48.6667     35.62%
2880.83/2888.09	c      2888         125022       32856         1          66.0000          48.6667     35.62%
2885.92/2893.18	c      2893         125512       32935         1          66.0000          48.6667     35.62%
2891.00/2898.26	c      2898         126000       33022         1          66.0000          48.6667     35.62%
2896.19/2903.49	c      2903         126382       33080         1          66.0000          48.6667     35.62%
2901.27/2908.58	c      2909         126726       33158         1          66.0000          48.6667     35.62%
2906.46/2913.71	c      2914         127109       33244         1          66.0000          48.6667     35.62%
2911.45/2918.78	c      2919         127499       33343         1          66.0000          48.6667     35.62%
2916.54/2923.89	c      2924         127920       33435         1          66.0000          48.6667     35.62%
2921.63/2928.98	c      2929         128461       33520         1          66.0000          48.6667     35.62%
2926.82/2934.19	c      2934         128725       33598         1          66.0000          48.6667     35.62%
2931.90/2939.29	c      2939         129087       33691         1          66.0000          48.6667     35.62%
2937.08/2944.43	c      2944         129380       33789         1          66.0000          48.6667     35.62%
2942.17/2949.59	c      2950         129841       33848         1          66.0000          48.6667     35.62%
2947.47/2954.82	c      2955         130142       33927         1          66.0000          48.6667     35.62%
2952.66/2960.03	c      2960         130514       33997         1          66.0000          48.6667     35.62%
2957.84/2965.21	c      2965         130813       34087         1          66.0000          48.6667     35.62%
2962.93/2970.35	c      2970         131041       34159         1          66.0000          48.6667     35.62%
2968.22/2975.62	c      2976         131314       34198         1          66.0000          48.6667     35.62%
2973.30/2980.76	c      2981         131632       34282         1          66.0000          48.6667     35.62%
2978.59/2986.01	c      2986         132039       34376         1          66.0000          48.6667     35.62%
2983.68/2991.13	c      2991         132445       34437         1          66.0000          48.6667     35.62%
2988.76/2996.22	c      2996         132807       34511         1          66.0000          48.6667     35.62%
2994.44/3001.91	c      3002         133133       34599         1          66.0000          48.6667     35.62%
2999.43/3006.98	c      3007         133403       34679         1          66.0000          48.6667     35.62%
3004.62/3012.12	c      3012         133765       34756         1          66.0000          48.6667     35.62%
3009.80/3017.38	c      3017         134095       34821         1          66.0000          48.6667     35.62%
3014.90/3022.47	c      3022         134378       34919         1          66.0000          48.6667     35.62%
3019.99/3027.57	c      3028         134657       35012         1          66.0000          48.6667     35.62%
3025.07/3032.66	c      3033         135101       35083         1          66.0000          48.6667     35.62%
3030.36/3037.92	c      3038         135401       35161         1          66.0000          48.6667     35.62%
3035.45/3043.01	c      3043         135721       35237         1          66.0000          48.6667     35.62%
3040.63/3048.26	c      3048         135976       35326         1          66.0000          48.6667     35.62%
3045.71/3053.35	c      3053         136322       35378         1          66.0000          48.6667     35.62%
3050.81/3058.47	c      3058         136631       35495         1          66.0000          48.6667     35.62%
3056.10/3063.74	c      3064         136851       35551         1          66.0000          48.6667     35.62%
3061.38/3069.09	c      3069         137002       35646         1          66.0000          48.6667     35.62%
3066.66/3074.35	c      3074         137209       35741         1          66.0000          48.6667     35.62%
3072.05/3079.74	c      3080         137541       35815         1          66.0000          48.6667     35.62%
3077.14/3084.86	c      3085         137971       35891         1          66.0000          48.6667     35.62%
3082.23/3089.97	c      3090         138381       35961         1          66.0000          48.6667     35.62%
3087.82/3095.57	c      3096         138778       36048         1          66.0000          48.6735     35.60%
3093.10/3100.81	c      3101         139138       36108         1          66.0000          48.6762     35.59%
3098.69/3106.47	c      3106         139429       36185         1          66.0000          48.6797     35.58%
3104.58/3112.32	c      3112         139766       36226         1          66.0000          48.6824     35.57%
3109.56/3117.37	c      3117         140100       36308         1          66.0000          48.6857     35.56%
3115.35/3123.12	c      3123         140490       36392         1          66.0000          48.6875     35.56%
3120.83/3128.69	c      3129         140778       36450         1          66.0000          48.6922     35.55%
3126.81/3134.63	c      3135         141269       36546         1          66.0000          48.6957     35.54%
3132.40/3140.30	c      3140         141656       36645         1          66.0000          48.7000     35.52%
3137.79/3145.63	c      3146         141997       36722         1          66.0000          48.7030     35.52%
3142.87/3150.73	c      3151         142408       36798         1          66.0000          48.7083     35.50%
3147.87/3155.77	c      3156         142778       36884         1          66.0000          48.7090     35.50%
3153.45/3161.35	c      3161         143133       36984         1          66.0000          48.7120     35.49%
3159.24/3167.11	c      3167         143649       37060         1          66.0000          48.7143     35.48%
3164.32/3172.22	c      3172         144030       37123         1          66.0000          48.7143     35.48%
3169.71/3177.62	c      3178         144385       37223         1          66.0000          48.7172     35.48%
3175.00/3182.92	c      3183         144802       37293         1          66.0000          48.7222     35.46%
3180.68/3188.69	c      3189         145156       37396         1          66.0000          48.7259     35.45%
3185.87/3193.89	c      3194         145528       37486         1          66.0000          48.7293     35.44%
3191.75/3199.78	c      3200         145886       37578         1          66.0000          48.7333     35.43%
3196.84/3204.85	c      3205         146337       37661         1          66.0000          48.7333     35.43%
3202.22/3210.20	c      3210         146694       37741         1          66.0000          48.7376     35.42%
3207.81/3215.81	c      3216         147050       37829         1          66.0000          48.7414     35.41%
3213.80/3221.89	c      3222         147320       37905         1          66.0000          48.7425     35.41%
3219.48/3227.58	c      3228         147708       37989         1          66.0000          48.7442     35.40%
3225.07/3233.13	c      3233         148055       38108         1          66.0000          48.7467     35.39%
3230.16/3238.22	c      3238         148558       38198         1          66.0000          48.7477     35.39%
3235.94/3244.09	c      3244         148960       38272         1          66.0000          48.7500     35.38%
3241.04/3249.19	c      3249         149373       38353         1          66.0000          48.7500     35.38%
3246.12/3254.27	c      3254         149746       38428         1          66.0000          48.7500     35.38%
3251.30/3259.47	c      3259         150092       38491         1          66.0000          48.7500     35.38%
3257.29/3265.46	c      3265         150663       38577         1          66.0000          48.7507     35.38%
3263.08/3271.28	c      3271         151179       38657         1          66.0000          48.7532     35.38%
3268.66/3276.85	c      3277         151450       38751         1          66.0000          48.7536     35.37%
3273.75/3281.93	c      3282         151767       38831         1          66.0000          48.7550     35.37%
3279.34/3287.54	c      3288         152168       38931         1          66.0000          48.7576     35.36%
3284.63/3292.84	c      3293         152546       39019         1          66.0000          48.7576     35.36%
3289.71/3297.92	c      3298         152959       39123         1          66.0000          48.7576     35.36%
3295.09/3303.38	c      3303         153300       39214         1          66.0000          48.7580     35.36%
3300.29/3308.53	c      3309         153628       39272         1          66.0000          48.7619     35.35%
3305.37/3313.64	c      3314         154006       39348         1          66.0000          48.7659     35.34%
3310.45/3318.75	c      3319         154488       39417         1          66.0000          48.7692     35.33%
3315.85/3324.19	c      3324         154828       39483         1          66.0000          48.7743     35.32%
3320.93/3329.21	c      3329         155259       39549         1          66.0000          48.7778     35.31%
3326.01/3334.36	c      3334         155666       39630         1          66.0000          48.7778     35.31%
3331.10/3339.42	c      3339         156048       39699         1          66.0000          48.7778     35.31%
3336.89/3345.25	c      3345         156668       39768         1          66.0000          48.7817     35.30%
3342.28/3350.69	c      3351         157022       39861         1          66.0000          48.7843     35.29%
3347.37/3355.78	c      3356         157311       39996         1          66.0000          48.7843     35.29%
3352.85/3361.29	c      3361         157908       40095         1          66.0000          48.7869     35.28%
3358.74/3367.19	c      3367         158439       40197         1          66.0000          48.7917     35.27%
3363.82/3372.20	c      3372         158863       40295         1          66.0000          48.7931     35.27%
3369.30/3377.77	c      3378         159269       40414         1          66.0000          48.7965     35.26%
3375.00/3383.47	c      3383         159683       40484         1          66.0000          48.8000     35.25%
3380.78/3389.24	c      3389         160150       40573         1          66.0000          48.8000     35.25%
3385.86/3394.31	c      3394         160500       40649         1          66.0000          48.8000     35.25%
3390.95/3399.42	c      3399         160913       40708         1          66.0000          48.8000     35.25%
3396.14/3404.66	c      3405         161276       40779         1          66.0000          48.8000     35.25%
3401.22/3409.72	c      3410         161595       40885         1          66.0000          48.8000     35.25%
3406.21/3414.77	c      3415         162060       40972         1          66.0000          48.8000     35.25%
3411.41/3419.91	c      3420         162416       41062         1          66.0000          48.8000     35.25%
3416.50/3425.06	c      3425         162809       41137         1          66.0000          48.8000     35.25%
3421.59/3430.15	c      3430         163062       41212         1          66.0000          48.8000     35.25%
3426.67/3435.29	c      3435         163441       41310         1          66.0000          48.8000     35.25%
3431.75/3440.39	c      3440         163778       41404         1          66.0000          48.8000     35.25%
3436.94/3445.55	c      3446         164157       41493         1          66.0000          48.8000     35.25%
3442.02/3450.62	c      3451         164555       41579         1          66.0000          48.8000     35.25%
3447.12/3455.70	c      3456         164951       41644         1          66.0000          48.8000     35.25%
3452.10/3460.71	c      3461         165338       41708         1          66.0000          48.8000     35.25%
3457.19/3465.83	c      3466         165718       41776         1          66.0000          48.8000     35.25%
3462.38/3471.01	c      3471         166117       41877         1          66.0000          48.8000     35.25%
3467.86/3476.52	c      3477         166508       41971         1          66.0000          48.8000     35.25%
3473.06/3481.77	c      3482         166888       42057         1          66.0000          48.8025     35.24%
3478.35/3487.06	c      3487         167348       42128         1          66.0000          48.8088     35.22%
3484.32/3493.02	c      3493         167741       42225         1          66.0000          48.8125     35.21%
3489.71/3498.42	c      3498         168064       42305         1          66.0000          48.8144     35.21%
3495.40/3504.12	c      3504         168493       42407         1          66.0000          48.8179     35.20%
3500.48/3509.25	c      3509         168919       42491         1          66.0000          48.8182     35.20%
3505.58/3514.39	c      3514         169254       42570         1          66.0000          48.8219     35.19%
3511.66/3520.40	c      3520         169733       42657         1          66.0000          48.8242     35.18%
3517.25/3526.09	c      3526         170086       42738         1          66.0000          48.8268     35.17%
3523.03/3531.87	c      3532         170591       42832         1          66.0000          48.8296     35.16%
3528.41/3537.29	c      3537         170857       42889         1          66.0000          48.8320     35.16%
3534.10/3542.99	c      3543         171290       42980         1          66.0000          48.8333     35.15%
3539.38/3548.23	c      3548         171696       43073         1          66.0000          48.8333     35.15%
3544.38/3553.29	c      3553         172172       43176         1          66.0000          48.8333     35.15%
3550.36/3559.23	c      3559         172703       43267         1          66.0000          48.8336     35.15%
3556.05/3564.96	c      3565         173110       43345         1          66.0000          48.8348     35.15%
3561.03/3569.99	c      3570         173548       43415         1          66.0000          48.8382     35.14%
3566.72/3575.63	c      3576         173942       43490         1          66.0000          48.8421     35.13%
3572.70/3581.61	c      3582         174423       43550         1          66.0000          48.8444     35.12%
3578.29/3587.26	c      3587         174786       43617         1          66.0000          48.8460     35.12%
3583.37/3592.37	c      3592         175123       43702         1          66.0000          48.8472     35.12%
3588.46/3597.42	c      3597         175519       43788         1          66.0000          48.8485     35.11%
3589.26/3598.23	c SCIP Status        : c solving was interrupted [hard time limit reached]
3589.26/3598.25	c Total Time         : 3598.24
3589.26/3598.25	c   solving          : 3598.24
3589.26/3598.25	c   presolving       : 0.10 (included in solving)
3589.26/3598.25	c B&B Tree           :
3589.26/3598.25	c   nodes (total)    : 1
3589.26/3598.25	c Solution           :
3589.26/3598.25	c   Solutions found  : 8
3589.26/3598.25	c   Primal Bound     : +6.60000000000000e+01
3589.26/3598.25	c   Dual Bound       : +4.88484848484849e+01
3589.26/3598.25	c Gap                : 35.11166 %
3589.26/3598.25	c * Warning: final gap: 3.51117e-01 is greater than SCIPepsilon: 1.00000e-09
3589.26/3598.25	o 66
3589.26/3598.25	s SATISFIABLE
3589.26/3598.25	v -x325 x289 x253 -x217 -x181 -x145 x109 x73 x37 -x1 x360 -x324 -x288 x252 x216 x180 -x144 -x108 -x72 x36 -x353 x317 x281 -x245 x209 
3589.26/3598.25	v x173 x137 -x101 -x65 -x29 x346 -x310 x274 x238 -x202 x166 x130 -x94 -x58 -x22 -x339 x303 -x267 -x231 x195 -x159 -x123 x87 
3589.26/3598.25	v x51 x15 x332 -x296 -x260 x224 -x188 -x152 -x116 x80 x44 x8 -x359 -x323 x287 -x251 -x215 -x179 -x143 -x107 -x71 -x35 -x358 -x322 
3589.26/3598.25	v -x286 -x250 -x214 -x178 x142 -x106 -x70 -x34 -x357 -x321 -x285 -x249 -x213 -x177 -x141 x105 -x69 -x33 -x356 -x320 -x284 -x248 
3589.26/3598.25	v -x212 -x176 -x140 -x104 x68 -x32 -x355 x319 -x283 -x247 -x211 -x175 -x139 -x103 -x67 -x31 x354 -x318 -x282 -x246 -x210 -x174 
3589.26/3598.25	v -x138 -x102 -x66 -x30 -x352 -x316 -x280 x244 -x208 -x172 -x136 -x100 -x64 -x28 -x351 -x315 -x279 -x243 -x207 -x171 -x135 
3589.26/3598.25	v -x99 x63 -x27 -x350 -x314 -x278 -x242 -x206 -x170 -x134 -x98 -x62 x26 -x349 -x313 -x277 -x241 -x205 -x169 -x133 x97 -x61 -x25 
3589.26/3598.25	v -x348 -x312 -x276 -x240 -x204 -x168 -x132 -x96 -x60 x24 -x347 x311 -x275 -x239 -x203 -x167 -x131 -x95 -x59 -x23 -x345 -x309 
3589.26/3598.25	v -x273 -x237 x201 -x165 -x129 -x93 -x57 -x21 -x344 -x308 -x272 -x236 -x200 -x164 -x128 x92 -x56 -x20 -x343 -x307 -x271 -x235 
3589.26/3598.25	v -x199 -x163 -x127 -x91 x55 -x19 -x342 -x306 -x270 -x234 -x198 x162 -x126 -x90 -x54 -x18 -x341 -x305 -x269 -x233 -x197 -x161 x125 
3589.26/3598.25	v -x89 -x53 -x17 x340 -x304 -x268 -x232 -x196 -x160 -x124 -x88 -x52 -x16 -x338 -x302 -x266 x230 -x194 -x158 -x122 -x86 -x50 
3589.26/3598.25	v -x14 -x337 -x301 x265 -x229 -x193 -x157 -x121 -x85 -x49 -x13 -x336 -x300 -x264 -x228 x192 -x156 -x120 -x84 -x48 -x12 -x335 -x299 
3589.26/3598.25	v -x263 -x227 -x191 x155 -x119 -x83 -x47 -x11 -x334 -x298 x262 -x226 -x190 -x154 -x118 -x82 -x46 -x10 -x333 x297 -x261 -x225 
3589.26/3598.25	v -x189 -x153 -x117 -x81 -x45 -x9 -x331 -x295 -x259 -x223 -x187 -x151 x115 -x79 -x43 -x7 -x330 -x294 -x258 x222 -x186 -x150 
3589.26/3598.25	v -x114 -x78 -x42 -x6 -x329 -x293 -x257 -x221 x185 -x149 -x113 -x77 -x41 -x5 -x328 -x292 -x256 -x220 -x184 x148 -x112 -x76 -x40 
3589.26/3598.25	v -x4 -x327 -x291 -x255 -x219 -x183 -x147 -x111 -x75 -x39 x3 x326 -x290 -x254 -x218 -x182 -x146 -x110 -x74 -x38 -x2 x540 -x539 
3589.26/3598.25	v -x538 x537 -x536 -x535 -x534 -x533 -x532 x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 x523 -x522 -x521 -x520 -x519 -x518 x517 
3589.26/3598.25	v -x516 x515 -x514 -x513 -x512 -x511 x510 -x509 -x508 -x507 -x506 x505 x504 -x503 x502 -x501 -x500 x499 -x498 -x497 -x496 -x495 
3589.26/3598.25	v -x494 -x493 -x492 x491 -x490 -x489 -x488 x487 -x486 -x485 x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 x476 -x475 x474 
3589.26/3598.25	v -x473 -x472 -x471 x470 x469 x468 -x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 x458 -x457 -x456 -x455 -x454 -x453 -x452 
3589.26/3598.25	v x451 -x450 -x449 x448 -x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 x438 -x437 -x436 -x435 x434 x433 x432 -x431 -x430 
3589.26/3598.25	v -x429 -x428 -x427 x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 -x418 x417 -x416 x415 -x414 -x413 -x412 -x411 -x410 -x409 x408 
3589.26/3598.25	v -x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 x398 -x397 x396 -x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 
3589.26/3598.25	v x386 x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369 -x368 -x367 x366 -x365 
3589.26/3598.25	v -x364 x363 x362 x361 

Verifier Data

OK	66

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (57174 MiB free)
  memory of node 1: 64510 MiB (62503 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=30674, runsolver pid=30671

[startup+0.100474 s]*
/proc/loadavg: 0.14 0.13 0.09 4/259 30676
/proc/meminfo: memFree=122431108/131524600 swapFree=131071216/131071996
[pid=30674] ppid=30671 vsize=39520 memory=28940 CPUtime=0.1 cores=5,7
/proc/30674/stat : 30674 (fscip) R 30671 30674 30590 0 -1 4194304 5315 0 0 0 9 1 0 0 20 0 1 0 4457721 40468480 7235 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
/proc/30674/statm: 9880 7235 2774 3035 0 6276 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39520 KiB
Current children cumulated memory: 28940 KiB

[startup+0.206459 s]*
/proc/loadavg: 0.14 0.13 0.09 4/261 30678
/proc/meminfo: memFree=122387932/131524600 swapFree=131071216/131071996
[pid=30674] ppid=30671 vsize=130840 memory=53688 CPUtime=0.19 cores=5,7
/proc/30674/stat : 30674 (fscip) S 30671 30674 30590 0 -1 1077936128 12329 0 0 0 17 2 0 0 20 0 3 0 4457721 133980160 13422 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
/proc/30674/statm: 32710 13422 2806 3035 0 17058 0
[pid=30674/tid=30677] ppid=30671 vsize=130840 memory=7236794705693048951 CPUtime=0.06 cores=5,7
/proc/30674/task/30677/stat : 30677 (fscip) R 30671 30674 30590 0 -1 4194368 4294 0 0 0 6 0 0 0 20 0 3 0 4457734 133980160 13422 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
[pid=30674/tid=30678] ppid=30671 vsize=130840 memory=103349 CPUtime=0 cores=5,7
/proc/30674/task/30678/stat : 30678 (fscip) S 30671 30674 30590 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4457735 133980160 13422 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 130840 KiB
Current children cumulated memory: 53688 KiB

[startup+0.306459 s]*
/proc/loadavg: 0.14 0.13 0.09 4/263 30684
/proc/meminfo: memFree=122313308/131524600 swapFree=131071216/131071996
[pid=30674] ppid=30671 vsize=131780 memory=62164 CPUtime=0.29 cores=5,7
/proc/30674/stat : 30674 (fscip) S 30671 30674 30590 0 -1 1077936128 14490 0 0 0 27 2 0 0 20 0 3 0 4457721 134942720 15541 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
/proc/30674/statm: 32945 15541 2854 3035 0 19238 0
[pid=30674/tid=30677] ppid=30671 vsize=131780 memory=-7236276917862753912 CPUtime=0.16 cores=5,7
/proc/30674/task/30677/stat : 30677 (fscip) R 30671 30674 30590 0 -1 4194368 6455 0 0 0 16 0 0 0 20 0 3 0 4457734 134942720 15541 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
[pid=30674/tid=30678] ppid=30671 vsize=131780 memory=0 CPUtime=0 cores=5,7
/proc/30674/task/30678/stat : 30678 (fscip) S 30671 30674 30590 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4457735 134942720 15541 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 131780 KiB
Current children cumulated memory: 62164 KiB

[startup+0.700255 s]
/proc/loadavg: 0.14 0.13 0.09 4/260 30701
/proc/meminfo: memFree=122310892/131524600 swapFree=131071216/131071996
[pid=30674] ppid=30671 vsize=131780 memory=83676 CPUtime=0.68 cores=5,7
/proc/30674/stat : 30674 (fscip) S 30671 30674 30590 0 -1 1077936128 20935 0 0 0 65 3 0 0 20 0 3 0 4457721 134942720 20919 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
/proc/30674/statm: 32945 20919 2950 3035 0 24883 0
[pid=30674/tid=30677] ppid=30671 vsize=131780 memory=0 CPUtime=0.55 cores=5,7
/proc/30674/task/30677/stat : 30677 (fscip) R 30671 30674 30590 0 -1 4194368 12900 0 0 0 53 2 0 0 20 0 3 0 4457734 134942720 20919 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
[pid=30674/tid=30678] ppid=30671 vsize=131780 memory=0 CPUtime=0 cores=5,7
/proc/30674/task/30678/stat : 30678 (fscip) S 30671 30674 30590 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4457735 134942720 20919 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 131780 KiB
Current children cumulated memory: 83676 KiB

[startup+1.50026 s]
/proc/loadavg: 0.14 0.13 0.09 4/261 30726
/proc/meminfo: memFree=122285064/131524600 swapFree=131071216/131071996
[pid=30674] ppid=30671 vsize=197316 memory=105904 CPUtime=1.48 cores=5,7
/proc/30674/stat : 30674 (fscip) S 30671 30674 30590 0 -1 1077936128 34790 0 0 0 143 5 0 0 20 0 3 0 4457721 202051584 26476 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
/proc/30674/statm: 49329 26476 2950 3035 0 30987 0
[pid=30674/tid=30677] ppid=30671 vsize=197316 memory=0 CPUtime=1.35 cores=5,7
/proc/30674/task/30677/stat : 30677 (fscip) R 30671 30674 30590 0 -1 4194368 26755 0 0 0 132 3 0 0 20 0 3 0 4457734 202051584 26476 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
[pid=30674/tid=30678] ppid=30671 vsize=197316 memory=0 CPUtime=0 cores=5,7
/proc/30674/task/30678/stat : 30678 (fscip) S 30671 30674 30590 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4457735 202051584 26476 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 197316 KiB
Current children cumulated memory: 105904 KiB

[startup+3.1058 s]
/proc/loadavg: 0.45 0.20 0.12 5/268 30766
/proc/meminfo: memFree=121681192/131524600 swapFree=131071216/131071996
[pid=30674] ppid=30671 vsize=197316 memory=113572 CPUtime=3.08 cores=5,7
/proc/30674/stat : 30674 (fscip) S 30671 30674 30590 0 -1 1077936128 36946 0 0 0 303 5 0 0 20 0 3 0 4457721 202051584 28393 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
/proc/30674/statm: 49329 28393 2950 3035 0 33349 0
[pid=30674/tid=30677] ppid=30671 vsize=197316 memory=0 CPUtime=2.95 cores=5,7
/proc/30674/task/30677/stat : 30677 (fscip) R 30671 30674 30590 0 -1 4194368 28909 0 0 0 292 3 0 0 20 0 3 0 4457734 202051584 28393 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
[pid=30674/tid=30678] ppid=30671 vsize=197316 memory=11400 CPUtime=0 cores=5,7
/proc/30674/task/30678/stat : 30678 (fscip) S 30671 30674 30590 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4457735 202051584 28393 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 197316 KiB
Current children cumulated memory: 113572 KiB

[startup+6.30019 s]
/proc/loadavg: 0.45 0.20 0.12 5/269 30919
/proc/meminfo: memFree=120927160/131524600 swapFree=131071216/131071996
[pid=30674] ppid=30671 vsize=197316 memory=121236 CPUtime=6.26 cores=5,7
/proc/30674/stat : 30674 (fscip) S 30671 30674 30590 0 -1 1077936128 39499 0 0 0 621 5 0 0 20 0 3 0 4457721 202051584 30309 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
/proc/30674/statm: 49329 30309 2950 3035 0 35909 0
[pid=30674/tid=30677] ppid=30671 vsize=197316 memory=0 CPUtime=6.14 cores=5,7
/proc/30674/task/30677/stat : 30677 (fscip) R 30671 30674 30590 0 -1 4194368 31428 0 0 0 610 4 0 0 20 0 3 0 4457734 202051584 30309 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
[pid=30674/tid=30678] ppid=30671 vsize=197316 memory=-5155634582949489541 CPUtime=0 cores=5,7
/proc/30674/task/30678/stat : 30678 (fscip) S 30671 30674 30590 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4457735 202051584 30309 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 197316 KiB
Current children cumulated memory: 121236 KiB

[startup+12.7003 s]
/proc/loadavg: 0.92 0.31 0.15 5/267 31111
/proc/meminfo: memFree=120200500/131524600 swapFree=131071216/131071996
[pid=30674] ppid=30671 vsize=197316 memory=132220 CPUtime=12.65 cores=5,7
/proc/30674/stat : 30674 (fscip) S 30671 30674 30590 0 -1 1077936128 60853 0 0 0 1258 7 0 0 20 0 3 0 4457721 202051584 33055 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
/proc/30674/statm: 49329 33055 3014 3035 0 38166 0
[pid=30674/tid=30677] ppid=30671 vsize=197316 memory=-5155634582949489541 CPUtime=12.52 cores=5,7
/proc/30674/task/30677/stat : 30677 (fscip) R 30671 30674 30590 0 -1 4194368 52578 0 0 0 1247 5 0 0 20 0 3 0 4457734 202051584 33055 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
[pid=30674/tid=30678] ppid=30671 vsize=197316 memory=132212 CPUtime=0 cores=5,7
/proc/30674/task/30678/stat : 30678 (fscip) S 30671 30674 30590 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 4457735 202051584 33055 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 197316 KiB
Current children cumulated memory: 132220 KiB

[startup+25.5003 s]
/proc/loadavg: 1.47 0.44 0.20 5/267 31113
/proc/meminfo: memFree=118636456/131524600 swapFree=131071216/131071996
[pid=30674] ppid=30671 vsize=262852 memory=225020 CPUtime=25.41 cores=5,7
/proc/30674/stat : 30674 (fscip) S 30671 30674 30590 0 -1 1077936128 139183 0 0 0 2526 15 0 0 20 0 3 0 4457721 269160448 56255 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
/proc/30674/statm: 65713 56255 3014 3035 0 62100 0
[pid=30674/tid=30677] ppid=30671 vsize=262852 memory=-6000919477085629292 CPUtime=25.28 cores=5,7
/proc/30674/task/30677/stat : 30677 (fscip) R 30671 30674 30590 0 -1 4194368 130682 0 0 0 2515 13 0 0 20 0 3 0 4457734 269160448 56255 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
[pid=30674/tid=30678] ppid=30671 vsize=262852 memory=2573 CPUtime=0 cores=5,7
/proc/30674/task/30678/stat : 30678 (fscip) S 30671 30674 30590 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 4457735 269160448 56255 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 262852 KiB
Current children cumulated memory: 225020 KiB

[startup+51.1059 s]
/proc/loadavg: 2.33 0.73 0.30 5/265 31119
/proc/meminfo: memFree=115697092/131524600 swapFree=131071216/131071996
[pid=30674] ppid=30671 vsize=262852 memory=228528 CPUtime=50.95 cores=5,7
/proc/30674/stat : 30674 (fscip) S 30671 30674 30590 0 -1 1077936128 216946 0 0 0 5073 22 0 0 20 0 3 0 4457721 269160448 57132 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
/proc/30674/statm: 65713 57132 3014 3035 0 62100 0
[pid=30674/tid=30677] ppid=30671 vsize=262852 memory=228496 CPUtime=50.82 cores=5,7
/proc/30674/task/30677/stat : 30677 (fscip) R 30671 30674 30590 0 -1 4194368 208338 0 0 0 5062 20 0 0 20 0 3 0 4457734 269160448 57132 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
[pid=30674/tid=30678] ppid=30671 vsize=262852 memory=228152 CPUtime=0 cores=5,7
/proc/30674/task/30678/stat : 30678 (fscip) S 30671 30674 30590 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 4457735 269160448 57132 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 262852 KiB
Current children cumulated memory: 228528 KiB

[startup+102.3 s]
/proc/loadavg: 3.38 1.30 0.52 5/267 31132
/proc/meminfo: memFree=114808196/131524600 swapFree=131071216/131071996
[pid=30674] ppid=30671 vsize=262852 memory=229420 CPUtime=101.97 cores=5,7
/proc/30674/stat : 30674 (fscip) S 30671 30674 30590 0 -1 1077936128 315458 0 0 0 10167 30 0 0 20 0 3 0 4457721 269160448 57355 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
/proc/30674/statm: 65713 57355 3014 3035 0 62100 0
[pid=30674/tid=30677] ppid=30671 vsize=262852 memory=5612 CPUtime=101.83 cores=5,7
/proc/30674/task/30677/stat : 30677 (fscip) R 30671 30674 30590 0 -1 4194368 306681 0 0 0 10155 28 0 0 20 0 3 0 4457734 269160448 57355 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
[pid=30674/tid=30678] ppid=30671 vsize=262852 memory=228564 CPUtime=0 cores=5,7
/proc/30674/task/30678/stat : 30678 (fscip) S 30671 30674 30590 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4457735 269160448 57355 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 262852 KiB
Current children cumulated memory: 229420 KiB

[startup+162.3 s]
/proc/loadavg: 3.87 1.82 0.75 5/268 31144
/proc/meminfo: memFree=114641720/131524600 swapFree=131071216/131071996
[pid=30674] ppid=30671 vsize=398208 memory=312480 CPUtime=161.82 cores=5,7
/proc/30674/stat : 30674 (fscip) S 30671 30674 30590 0 -1 1077936128 392900 0 0 0 16143 39 0 0 20 0 3 0 4457721 407764992 78120 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
/proc/30674/statm: 99552 78120 3318 3035 0 83902 0
[pid=30674/tid=30677] ppid=30671 vsize=398208 memory=229424 CPUtime=161.68 cores=5,7
/proc/30674/task/30677/stat : 30677 (fscip) R 30671 30674 30590 0 -1 4194368 384036 0 0 0 16131 37 0 0 20 0 3 0 4457734 407764992 78120 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
[pid=30674/tid=30678] ppid=30671 vsize=398208 memory=311136 CPUtime=0 cores=5,7
/proc/30674/task/30678/stat : 30678 (fscip) S 30671 30674 30590 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 4457735 407764992 78120 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 398208 KiB
Current children cumulated memory: 312480 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 2.25 0.97 5/266 31154

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

/proc/30674/statm: 162168 143191 3318 3035 0 146220 0
[pid=30674/tid=30677] ppid=30671 vsize=648672 memory=565116 CPUtime=3393.49 cores=5,7
/proc/30674/task/30677/stat : 30677 (fscip) R 30671 30674 30590 0 -1 4194368 1359231 0 0 0 339191 158 0 0 20 0 3 0 4457734 664240128 143191 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
[pid=30674/tid=30678] ppid=30671 vsize=648672 memory=572764 CPUtime=0.02 cores=5,7
/proc/30674/task/30678/stat : 30678 (fscip) S 30671 30674 30590 0 -1 1077936192 145 0 0 0 0 2 0 0 20 0 3 0 4457735 664240128 143191 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
Current children cumulated CPU time: 3393.84 s
Current children cumulated vsize: 648672 KiB
Current children cumulated memory: 572764 KiB

[startup+3462.3 s]
/proc/loadavg: 4.61 4.25 4.08 5/265 32695
/proc/meminfo: memFree=112130512/131524600 swapFree=131071216/131071996
[pid=30674] ppid=30671 vsize=655920 memory=575024 CPUtime=3453.7 cores=5,7
/proc/30674/stat : 30674 (fscip) S 30671 30674 30590 0 -1 1077936128 1382265 0 0 0 345200 170 0 0 20 0 3 0 4457721 671662080 143756 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
/proc/30674/statm: 163980 143756 3318 3035 0 148223 0
[pid=30674/tid=30677] ppid=30671 vsize=655920 memory=565116 CPUtime=3453.33 cores=5,7
/proc/30674/task/30677/stat : 30677 (fscip) R 30671 30674 30590 0 -1 4194368 1371716 0 0 0 345173 160 0 0 20 0 3 0 4457734 671662080 143756 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
[pid=30674/tid=30678] ppid=30671 vsize=655920 memory=572764 CPUtime=0.02 cores=5,7
/proc/30674/task/30678/stat : 30678 (fscip) S 30671 30674 30590 0 -1 1077936192 147 0 0 0 0 2 0 0 20 0 3 0 4457735 671662080 143756 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
Current children cumulated CPU time: 3453.7 s
Current children cumulated vsize: 655920 KiB
Current children cumulated memory: 575024 KiB

[startup+3522.3 s]
/proc/loadavg: 4.28 4.22 4.08 5/267 32876
/proc/meminfo: memFree=112103356/131524600 swapFree=131071216/131071996
[pid=30674] ppid=30671 vsize=655920 memory=587416 CPUtime=3513.55 cores=5,7
/proc/30674/stat : 30674 (fscip) S 30671 30674 30590 0 -1 1077936128 1409112 0 0 0 351181 174 0 0 20 0 3 0 4457721 671662080 146854 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
/proc/30674/statm: 163980 146854 3318 3035 0 150381 0
[pid=30674/tid=30677] ppid=30671 vsize=655920 memory=565796 CPUtime=3513.18 cores=5,7
/proc/30674/task/30677/stat : 30677 (fscip) R 30671 30674 30590 0 -1 4194368 1398539 0 0 0 351154 164 0 0 20 0 3 0 4457734 671662080 146854 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
[pid=30674/tid=30678] ppid=30671 vsize=655920 memory=11400 CPUtime=0.02 cores=5,7
/proc/30674/task/30678/stat : 30678 (fscip) S 30671 30674 30590 0 -1 1077936192 149 0 0 0 0 2 0 0 20 0 3 0 4457735 671662080 146854 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
Current children cumulated CPU time: 3513.55 s
Current children cumulated vsize: 655920 KiB
Current children cumulated memory: 587416 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.20 4.09 5/267 32886
/proc/meminfo: memFree=112043788/131524600 swapFree=131071216/131071996
[pid=30674] ppid=30671 vsize=655920 memory=599104 CPUtime=3573.4 cores=5,7
/proc/30674/stat : 30674 (fscip) S 30671 30674 30590 0 -1 1077936128 1424358 0 0 0 357164 176 0 0 20 0 3 0 4457721 671662080 149776 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
/proc/30674/statm: 163980 149776 3318 3035 0 153575 0
[pid=30674/tid=30677] ppid=30671 vsize=655920 memory=565796 CPUtime=3573.03 cores=5,7
/proc/30674/task/30677/stat : 30677 (fscip) R 30671 30674 30590 0 -1 4194368 1413766 0 0 0 357137 166 0 0 20 0 3 0 4457734 671662080 149776 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
[pid=30674/tid=30678] ppid=30671 vsize=655920 memory=11400 CPUtime=0.03 cores=5,7
/proc/30674/task/30678/stat : 30678 (fscip) S 30671 30674 30590 0 -1 1077936192 151 0 0 0 0 3 0 0 20 0 3 0 4457735 671662080 149776 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
Current children cumulated CPU time: 3573.4 s
Current children cumulated vsize: 655920 KiB
Current children cumulated memory: 599104 KiB

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

# cumulated CPU time of all completed processes:  user=3587.52 s, system=1.81025 s

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

[startup+3584 s]*
/proc/loadavg: 4.19 4.20 4.09 5/267 32886
/proc/meminfo: memFree=112043760/131524600 swapFree=131071216/131071996
[pid=30674] ppid=30671 vsize=655920 memory=599104 CPUtime=3575.1 cores=5,7
/proc/30674/stat : 30674 (fscip) S 30671 30674 30590 0 -1 1077936128 1424453 0 0 0 357334 176 0 0 20 0 3 0 4457721 671662080 149776 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
/proc/30674/statm: 163980 149776 3318 3035 0 153575 0
[pid=30674/tid=30677] ppid=30671 vsize=655920 memory=-5155628016028314501 CPUtime=3574.73 cores=5,7
/proc/30674/task/30677/stat : 30677 (fscip) R 30671 30674 30590 0 -1 4194368 1413861 0 0 0 357307 166 0 0 20 0 3 0 4457734 671662080 149776 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
[pid=30674/tid=30678] ppid=30671 vsize=655920 memory=-4050210904893341838 CPUtime=0.03 cores=5,7
/proc/30674/task/30678/stat : 30678 (fscip) S 30671 30674 30590 0 -1 1077936192 151 0 0 0 0 3 0 0 20 0 3 0 4457735 671662080 149776 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
Current children cumulated CPU time: 3575.1 s
Current children cumulated vsize: 655920 KiB
Current children cumulated memory: 599104 KiB

[startup+3590.4 s]
/proc/loadavg: 4.18 4.20 4.09 5/267 32887
/proc/meminfo: memFree=112043732/131524600 swapFree=131071216/131071996
[pid=30674] ppid=30671 vsize=655920 memory=599148 CPUtime=3581.49 cores=5,7
/proc/30674/stat : 30674 (fscip) S 30671 30674 30590 0 -1 1077936128 1424872 0 0 0 357972 177 0 0 20 0 3 0 4457721 671662080 149787 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
/proc/30674/statm: 163980 149787 3318 3035 0 153575 0
[pid=30674/tid=30677] ppid=30671 vsize=655920 memory=11400 CPUtime=3581.1 cores=5,7
/proc/30674/task/30677/stat : 30677 (fscip) R 30671 30674 30590 0 -1 4194368 1414280 0 0 0 357944 166 0 0 20 0 3 0 4457734 671662080 149787 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
[pid=30674/tid=30678] ppid=30671 vsize=655920 memory=599104 CPUtime=0.03 cores=5,7
/proc/30674/task/30678/stat : 30678 (fscip) S 30671 30674 30590 0 -1 1077936192 151 0 0 0 0 3 0 0 20 0 3 0 4457735 671662080 149787 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
Current children cumulated CPU time: 3581.49 s
Current children cumulated vsize: 655920 KiB
Current children cumulated memory: 599148 KiB

[startup+3593.6 s]
/proc/loadavg: 4.24 4.21 4.09 5/267 32887
/proc/meminfo: memFree=112043332/131524600 swapFree=131071216/131071996
[pid=30674] ppid=30671 vsize=655920 memory=599492 CPUtime=3584.67 cores=5,7
/proc/30674/stat : 30674 (fscip) S 30671 30674 30590 0 -1 1077936128 1437909 0 0 0 358290 177 0 0 20 0 3 0 4457721 671662080 149873 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
/proc/30674/statm: 163980 149873 3318 3035 0 153575 0
[pid=30674/tid=30677] ppid=30671 vsize=655920 memory=599148 CPUtime=3584.3 cores=5,7
/proc/30674/task/30677/stat : 30677 (fscip) R 30671 30674 30590 0 -1 4194368 1427314 0 0 0 358263 167 0 0 20 0 3 0 4457734 671662080 149873 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
[pid=30674/tid=30678] ppid=30671 vsize=655920 memory=11400 CPUtime=0.03 cores=5,7
/proc/30674/task/30678/stat : 30678 (fscip) S 30671 30674 30590 0 -1 1077936192 153 0 0 0 0 3 0 0 20 0 3 0 4457735 671662080 149873 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
Current children cumulated CPU time: 3584.67 s
Current children cumulated vsize: 655920 KiB
Current children cumulated memory: 599492 KiB

[startup+3596.8 s]
/proc/loadavg: 4.24 4.21 4.09 5/267 32887
/proc/meminfo: memFree=112043312/131524600 swapFree=131071216/131071996
[pid=30674] ppid=30671 vsize=655920 memory=599516 CPUtime=3587.86 cores=5,7
/proc/30674/stat : 30674 (fscip) S 30671 30674 30590 0 -1 1077936128 1438048 0 0 0 358609 177 0 0 20 0 3 0 4457721 671662080 149879 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
/proc/30674/statm: 163980 149879 3318 3035 0 153575 0
[pid=30674/tid=30677] ppid=30671 vsize=655920 memory=599104 CPUtime=3587.49 cores=5,7
/proc/30674/task/30677/stat : 30677 (fscip) R 30671 30674 30590 0 -1 4194368 1427453 0 0 0 358582 167 0 0 20 0 3 0 4457734 671662080 149879 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
[pid=30674/tid=30678] ppid=30671 vsize=655920 memory=599036 CPUtime=0.03 cores=5,7
/proc/30674/task/30678/stat : 30678 (fscip) S 30671 30674 30590 0 -1 1077936192 153 0 0 0 0 3 0 0 20 0 3 0 4457735 671662080 149879 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
Current children cumulated CPU time: 3587.86 s
Current children cumulated vsize: 655920 KiB
Current children cumulated memory: 599516 KiB

[startup+3597.6 s]
/proc/loadavg: 4.24 4.21 4.09 5/266 32889
/proc/meminfo: memFree=112043228/131524600 swapFree=131071216/131071996
[pid=30674] ppid=30671 vsize=655920 memory=599516 CPUtime=3588.66 cores=5,7
/proc/30674/stat : 30674 (fscip) S 30671 30674 30590 0 -1 1077936128 1438093 0 0 0 358689 177 0 0 20 0 3 0 4457721 671662080 149879 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
/proc/30674/statm: 163980 149879 3318 3035 0 153575 0
[pid=30674/tid=30677] ppid=30671 vsize=655920 memory=12264 CPUtime=3588.28 cores=5,7
/proc/30674/task/30677/stat : 30677 (fscip) R 30671 30674 30590 0 -1 4194368 1427498 0 0 0 358661 167 0 0 20 0 3 0 4457734 671662080 149879 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
[pid=30674/tid=30678] ppid=30671 vsize=655920 memory=5612 CPUtime=0.03 cores=5,7
/proc/30674/task/30678/stat : 30678 (fscip) S 30671 30674 30590 0 -1 1077936192 153 0 0 0 0 3 0 0 20 0 3 0 4457735 671662080 149879 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
Current children cumulated CPU time: 3588.66 s
Current children cumulated vsize: 655920 KiB
Current children cumulated memory: 599516 KiB

[startup+3598 s]*
/proc/loadavg: 4.22 4.21 4.09 5/266 32889
/proc/meminfo: memFree=112043220/131524600 swapFree=131071216/131071996
[pid=30674] ppid=30671 vsize=655920 memory=599516 CPUtime=3589.06 cores=5,7
/proc/30674/stat : 30674 (fscip) S 30671 30674 30590 0 -1 1077936128 1438244 0 0 0 358729 177 0 0 20 0 3 0 4457721 671662080 149879 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
/proc/30674/statm: 163980 149879 3318 3035 0 153575 0
[pid=30674/tid=30677] ppid=30671 vsize=655920 memory=-5155628016028314501 CPUtime=3588.69 cores=5,7
/proc/30674/task/30677/stat : 30677 (fscip) R 30671 30674 30590 0 -1 4194368 1427651 0 0 0 358702 167 0 0 20 0 3 0 4457734 671662080 149879 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
[pid=30674/tid=30678] ppid=30671 vsize=655920 memory=-4050210904893341838 CPUtime=0.03 cores=5,7
/proc/30674/task/30678/stat : 30678 (fscip) S 30671 30674 30590 0 -1 1077936192 153 0 0 0 0 3 0 0 20 0 3 0 4457735 671662080 149879 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
Current children cumulated CPU time: 3589.06 s
Current children cumulated vsize: 655920 KiB
Current children cumulated memory: 599516 KiB

[startup+3598.2 s]
/proc/loadavg: 4.22 4.21 4.09 5/266 32889
/proc/meminfo: memFree=112043220/131524600 swapFree=131071216/131071996
[pid=30674] ppid=30671 vsize=655920 memory=599516 CPUtime=3589.26 cores=5,7
/proc/30674/stat : 30674 (fscip) S 30671 30674 30590 0 -1 1077936128 1458017 0 0 0 358747 179 0 0 20 0 3 0 4457721 671662080 149879 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
/proc/30674/statm: 163980 149879 3318 3035 0 153575 0
[pid=30674/tid=30677] ppid=30671 vsize=655920 memory=27496 CPUtime=3588.89 cores=5,7
/proc/30674/task/30677/stat : 30677 (fscip) R 30671 30674 30590 0 -1 4194368 1447425 0 0 0 358720 169 0 0 20 0 3 0 4457734 671662080 149879 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
[pid=30674/tid=30678] ppid=30671 vsize=655920 memory=32812 CPUtime=0.03 cores=5,7
/proc/30674/task/30678/stat : 30678 (fscip) S 30671 30674 30590 0 -1 1077936192 153 0 0 0 0 3 0 0 20 0 3 0 4457735 671662080 149879 134679101440 4194304 16623229 140730734887968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54648832 140730734892054 140730734892170 140730734892170 140730734899184 0
Current children cumulated CPU time: 3589.26 s
Current children cumulated vsize: 655920 KiB
Current children cumulated memory: 599516 KiB

Child status: 0

Real time (s): 3598.26
CPU time (s): 3589.33
CPU user time (s): 3587.52
CPU system time (s): 1.81025
CPU usage (%): 99.7518
Max. virtual memory (cumulated for all children) (KiB): 655920
Max. memory (cumulated for all children) (KiB): 599516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.52
system time used= 1.81025
maximum resident set size= 599516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1460310
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= 11405
involuntary context switches= 2688


# summary of solver processes directly reported to runsolver:
#   pid: 30674
#   total CPU time (s): 3589.33
#   total CPU user time (s): 3587.52
#   total CPU system time (s): 1.81025

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.99787 second user time and 17.8955 second system time

The end

Launcher Data

Begin job on nodeC021 at 2024-07-31 00:29:54
IDJOB=4463961
IDBENCH=147020
IDSOLVER=3092
FILE ID=nodeC021/4463961-1722378594
RUNJOBID= nodeC021-1722378594-30603
SLURM_JOB_ID= 8249844
Free space on /tmp= 889996 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463961-1722378594/watcher-4463961-1722378594 -o /tmp/evaluation-result-4463961-1722378594/solver-4463961-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722378594-30603 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4463961-1722378594.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 01f07e427327757fda434ad4b1d2038d
RANDOM SEED=1497379858

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122560888 kB
MemAvailable:   129644204 kB
Buffers:           92564 kB
Cached:          7784188 kB
SwapCached:           56 kB
Active:           273244 kB
Inactive:        8121832 kB
Active(anon):       1464 kB
Inactive(anon):   538100 kB
Active(file):     271780 kB
Inactive(file):  7583732 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:            115244 kB
Writeback:             4 kB
AnonPages:        516500 kB
Mapped:           107892 kB
Shmem:             21208 kB
KReclaimable:     134900 kB
Slab:             224812 kB
SReclaimable:     134900 kB
SUnreclaim:        89912 kB
KernelStack:        4124 kB
PageTables:         9772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     768208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             8640 kB
HardwareCorrupted:     0 kB
AnonHugePages:    258048 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:      226004 kB
DirectMap2M:    15276032 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 889952 MiB
End job on nodeC021 at 2024-07-31 01:29:53