Trace number 4464796

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-30SAT-121 3587.88 3598.33

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_500_10_2.opb
MD5SUMa8db507b9a19068579e2e54aa556294a
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-130
Best CPU time to get the best result obtained on this benchmark71345.8
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint10
Maximum length of a constraint21
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6328
Sum of products size (including duplicates)12656
Number of different products3164
Sum of products size6328

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.05	c Default LC presolving (default).
0.00/0.05	c ** Before presolving: virtualMemUsedAtLc = 36962304, getVmSize() = 36962304, SCIPgetMemUsed() = 12060463, SCIPgetMemTotal() = 14903655, SCIPgetMemExternEstim() = 7444071
0.00/0.05	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.10/0.15	c ** Estimated virtualMemUsedAtSolver = 27348992, getVmSize() = 45084672, SCIPgetMemUsed() = 12700156, SCIPgetMemTotal() = 21660268, SCIPgetMemExternEstim() = 7444071
0.10/0.15	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.10/0.15	c Original Problem   :
0.10/0.15	c   Problem name     : instance-4464796-1722382194
0.10/0.15	c   Variables        : 3664 (500 binary, 0 integer, 3164 implicit integer, 0 continuous)
0.10/0.15	c   Constraints      : 4164
0.10/0.15	c   Objective sense  : minimize
0.10/0.15	c Presolved Problem  :
0.10/0.15	c   Variables        : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.15	c   Constraints      : 3164
0.10/0.15	c Constraints        : Number
0.10/0.15	c   setppc           : 3164 
0.10/0.15	c ** Instance transfer method used: 0
0.10/0.17	c ** ParaScipInstance copy does not increase the number of variables. **
0.10/0.18	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.10/0.18	c                                Nodes    Active                                            
0.10/0.18	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.21/0.30	c *       0              0           1         1         -86.0000                -          -
0.21/0.30	c *       0              0           1         1        -110.0000                -          -
0.31/0.33	c *       0              0           1         1        -115.0000                -          -
5.07/5.18	c         5              2           1         1        -115.0000        -188.9342     64.29%
11.06/11.15	c        11              7           6         1        -115.0000        -188.4479     63.87%
16.33/16.48	c        16             35          34         1        -115.0000        -188.4011     63.83%
22.70/22.81	c        23             81          80         1        -115.0000        -188.4011     63.83%
28.39/28.54	c        29            111         110         1        -115.0000        -187.4287     62.98%
34.37/34.50	c        34            139         138         1        -115.0000        -186.4683     62.15%
36.07/36.21	c *      36            142         141         1        -119.0000        -186.4058     56.64%
40.65/40.89	c        41            169         168         1        -119.0000        -186.1513     56.43%
46.95/47.17	c        47            191         190         1        -119.0000        -186.1500     56.43%
51.93/52.19	c        52            209         208         1        -119.0000        -185.5891     55.96%
57.01/57.27	c        57            269         268         1        -119.0000        -185.5692     55.94%
60.81/61.09	c *      61            323         298         1        -121.0000        -185.2543     53.10%
62.20/62.40	c        62            450         319         1        -121.0000        -185.2543     53.10%
68.79/69.07	c        69            652         343         1        -121.0000        -185.1131     52.99%
73.97/74.26	c        74            708         375         1        -121.0000        -184.9219     52.83%
79.25/79.51	c        80            739         406         1        -121.0000        -184.9219     52.83%
85.13/85.43	c        85            785         452         1        -121.0000        -184.7687     52.70%
91.01/91.39	c        91            862         527         1        -121.0000        -184.4193     52.41%
96.20/96.50	c        96            911         560         1        -121.0000        -184.4193     52.41%
101.48/101.89	c       102            972         611         1        -121.0000        -184.4193     52.41%
106.96/107.31	c       107           1029         662         1        -121.0000        -184.0964     52.15%
112.04/112.41	c       112           1063         690         1        -121.0000        -183.9540     52.03%
117.13/117.56	c       118           1106         719         1        -121.0000        -183.9482     52.02%
123.41/123.90	c       124           1163         772         1        -121.0000        -183.3828     51.56%
128.60/129.05	c       129           1222         817         1        -121.0000        -183.3563     51.53%
134.47/134.99	c       135           1278         861         1        -121.0000        -183.2684     51.46%
139.67/140.15	c       140           1326         897         1        -121.0000        -183.2482     51.44%
144.94/145.48	c       145           1378         939         1        -121.0000        -183.1938     51.40%
150.92/151.48	c       151           1467         992         1        -121.0000        -183.1938     51.40%
156.11/156.61	c       157           1531        1038         1        -121.0000        -183.1837     51.39%
161.79/162.32	c       162           1598        1077         1        -121.0000        -183.1837     51.39%
168.08/168.65	c       169           1663        1138         1        -121.0000        -183.1387     51.35%
173.57/174.11	c       174           1731        1182         1        -121.0000        -183.1387     51.35%
178.74/179.35	c       179           1780        1219         1        -121.0000        -183.1387     51.35%
184.22/184.86	c       185           1833        1256         1        -121.0000        -183.1387     51.35%
189.70/190.31	c       190           1922        1299         1        -121.0000        -182.9678     51.21%
195.58/196.21	c       196           2016        1361         1        -121.0000        -182.9678     51.21%
200.97/201.62	c       202           2091        1414         1        -121.0000        -182.9218     51.18%
206.96/207.63	c       208           2187        1476         1        -121.0000        -182.9218     51.18%
212.64/213.35	c       213           2256        1521         1        -121.0000        -182.6493     50.95%
218.12/218.80	c       219           2359        1586         1        -121.0000        -182.6493     50.95%
223.90/224.61	c       225           2435        1634         1        -121.0000        -182.6009     50.91%
229.48/230.29	c       230           2531        1682         1        -121.0000        -182.6009     50.91%
235.37/236.17	c       236           2630        1741         1        -121.0000        -182.6009     50.91%
240.75/241.58	c       242           2677        1778         1        -121.0000        -182.5578     50.87%
245.93/246.70	c       247           2731        1824         1        -121.0000        -182.4895     50.82%
251.01/251.84	c       252           2779        1868         1        -121.0000        -182.4869     50.82%
256.59/257.46	c       257           2846        1923         1        -121.0000        -182.4869     50.82%
261.88/262.77	c       263           2923        1998         1        -121.0000        -182.3251     50.68%
267.46/268.33	c       268           3022        2069         1        -121.0000        -182.3003     50.66%
272.55/273.47	c       273           3107        2120         1        -121.0000        -182.2900     50.65%
277.83/278.73	c       279           3180        2169         1        -121.0000        -182.2900     50.65%
283.23/284.14	c       284           3242        2217         1        -121.0000        -182.2876     50.65%
288.30/289.21	c       289           3299        2270         1        -121.0000        -182.1606     50.55%
294.19/295.13	c       295           3374        2323         1        -121.0000        -182.1606     50.55%
299.76/300.71	c       301           3460        2379         1        -121.0000        -182.1606     50.55%
304.74/305.72	c       306           3540        2445         1        -121.0000        -182.0132     50.42%
309.93/310.99	c       311           3623        2506         1        -121.0000        -182.0010     50.41%
315.13/316.15	c       316           3678        2553         1        -121.0000        -181.9105     50.34%
320.40/321.44	c       321           3746        2621         1        -121.0000        -181.9038     50.33%
326.58/327.63	c       328           3825        2690         1        -121.0000        -181.7433     50.20%
331.66/332.78	c       333           3906        2751         1        -121.0000        -181.6417     50.12%
337.74/338.86	c       339           3993        2824         1        -121.0000        -181.6417     50.12%
343.22/344.33	c       344           4056        2877         1        -121.0000        -181.5936     50.08%
348.81/349.99	c       350           4122        2923         1        -121.0000        -181.5318     50.03%
354.19/355.30	c       355           4186        2973         1        -121.0000        -181.4852     49.99%
359.47/360.65	c       361           4273        3030         1        -121.0000        -181.4852     49.99%
364.87/366.06	c       366           4344        3093         1        -121.0000        -181.4364     49.95%
371.14/372.35	c       372           4403        3140         1        -121.0000        -181.4364     49.95%
376.32/377.55	c       378           4482        3209         1        -121.0000        -181.4074     49.92%
381.91/383.14	c       383           4544        3271         1        -121.0000        -181.4074     49.92%
387.68/388.99	c       389           4625        3350         1        -121.0000        -181.3011     49.84%
393.66/395.01	c       395           4720        3437         1        -121.0000        -181.2900     49.83%
398.76/400.07	c       400           4777        3494         1        -121.0000        -181.2759     49.81%
404.42/405.79	c       406           4860        3569         1        -121.0000        -181.2283     49.78%
409.82/411.14	c       411           4917        3624         1        -121.0000        -181.1970     49.75%
415.20/416.50	c       416           5010        3697         1        -121.0000        -181.1970     49.75%
420.49/421.87	c       422           5102        3771         1        -121.0000        -181.0897     49.66%
425.67/427.06	c       427           5162        3821         1        -121.0000        -181.0841     49.66%
431.45/432.89	c       433           5249        3894         1        -121.0000        -180.9811     49.57%
436.93/438.33	c       438           5315        3960         1        -121.0000        -180.9801     49.57%
442.41/443.82	c       444           5400        4029         1        -121.0000        -180.7498     49.38%
448.61/450.10	c       450           5493        4110         1        -121.0000        -180.7452     49.38%
453.89/455.33	c       455           5545        4162         1        -121.0000        -180.7264     49.36%
458.87/460.35	c       460           5611        4222         1        -121.0000        -180.7074     49.34%
464.76/466.23	c       466           5666        4269         1        -121.0000        -180.6990     49.34%
469.84/471.34	c       471           5715        4308         1        -121.0000        -180.5793     49.24%
475.23/476.70	c       477           5801        4374         1        -121.0000        -180.5793     49.24%
481.01/482.54	c       483           5869        4430         1        -121.0000        -180.5524     49.22%
486.40/487.99	c       488           5945        4464         1        -121.0000        -180.5524     49.22%
492.29/493.87	c       494           6035        4516         1        -121.0000        -180.5524     49.22%
497.58/499.18	c       499           6102        4571         1        -121.0000        -180.4489     49.13%
504.05/505.63	c       506           6178        4627         1        -121.0000        -180.4298     49.12%
510.44/512.01	c       512           6258        4675         1        -121.0000        -180.4298     49.12%
516.62/518.27	c       518           6328        4725         1        -121.0000        -180.3505     49.05%
521.80/523.43	c       523           6392        4773         1        -121.0000        -180.3236     49.03%
527.09/528.77	c       529           6453        4820         1        -121.0000        -180.3236     49.03%
532.17/533.88	c       534           6502        4865         1        -121.0000        -180.2630     48.98%
537.37/539.03	c       539           6582        4901         1        -121.0000        -180.2229     48.94%
542.46/544.12	c       544           6659        4960         1        -121.0000        -180.2229     48.94%
548.03/549.79	c       550           6723        5002         1        -121.0000        -180.2229     48.94%
553.71/555.46	c       555           6832        5067         1        -121.0000        -180.2229     48.94%
559.90/561.61	c       562           6907        5120         1        -121.0000        -180.1653     48.90%
565.88/567.65	c       568           6968        5173         1        -121.0000        -180.0834     48.83%
572.07/573.90	c       574           7050        5225         1        -121.0000        -180.0834     48.83%
578.05/579.89	c       580           7138        5269         1        -121.0000        -180.0834     48.83%
584.34/586.14	c       586           7203        5306         1        -121.0000        -180.0834     48.83%
589.72/591.56	c       592           7289        5360         1        -121.0000        -180.0787     48.83%
595.20/597.03	c       597           7347        5402         1        -121.0000        -180.0496     48.80%
600.87/602.70	c       603           7419        5454         1        -121.0000        -180.0196     48.78%
606.27/608.15	c       608           7507        5518         1        -121.0000        -180.0196     48.78%
611.65/613.51	c       614           7572        5561         1        -121.0000        -179.9762     48.74%
617.03/618.95	c       619           7629        5582         1        -121.0000        -179.9762     48.74%
622.24/624.14	c       624           7711        5626         1        -121.0000        -179.9725     48.74%
627.22/629.18	c       629           7773        5674         1        -121.0000        -179.9052     48.68%
632.39/634.38	c       634           7857        5738         1        -121.0000        -179.7667     48.57%
638.19/640.12	c       640           7924        5791         1        -121.0000        -179.7494     48.55%
643.46/645.41	c       645           7988        5839         1        -121.0000        -179.7256     48.53%
648.45/650.47	c       650           8048        5873         1        -121.0000        -179.7234     48.53%
654.43/656.49	c       656           8122        5933         1        -121.0000        -179.7206     48.53%
659.81/661.86	c       662           8204        5973         1        -121.0000        -179.7206     48.53%
666.30/668.30	c       668           8302        6041         1        -121.0000        -179.6991     48.51%
671.99/674.05	c       674           8374        6091         1        -121.0000        -179.6942     48.51%
677.47/679.59	c       680           8455        6144         1        -121.0000        -179.6628     48.48%
682.66/684.72	c       685           8514        6183         1        -121.0000        -179.6592     48.48%
687.96/690.08	c       690           8592        6241         1        -121.0000        -179.6323     48.46%
694.12/696.20	c       696           8700        6305         1        -121.0000        -179.6323     48.46%
699.93/702.04	c       702           8799        6354         1        -121.0000        -179.5656     48.40%
705.20/707.34	c       707           8849        6394         1        -121.0000        -179.4982     48.35%
710.78/712.91	c       713           9013        6452         1        -121.0000        -179.4821     48.33%
715.98/718.11	c       718           9066        6487         1        -121.0000        -179.3936     48.26%
721.75/723.95	c       724           9488        6525         1        -121.0000        -179.3244     48.20%
726.74/728.98	c       729           9602        6583         1        -121.0000        -179.3207     48.20%
731.93/734.15	c       734           9655        6612         1        -121.0000        -179.3109     48.19%
737.00/739.20	c       739           9728        6665         1        -121.0000        -179.2555     48.15%
742.91/745.18	c       745           9927        6704         1        -121.0000        -179.2555     48.15%
748.68/750.94	c       751          10032        6741         1        -121.0000        -179.2501     48.14%
754.56/756.80	c       757          10251        6812         1        -121.0000        -179.1647     48.07%
759.64/761.97	c       762          10317        6864         1        -121.0000        -179.1456     48.05%
765.03/767.32	c       767          10472        6909         1        -121.0000        -179.0803     48.00%
770.12/772.42	c       772          10796        6937         1        -121.0000        -179.0513     47.98%
775.30/777.60	c       778          11099        6990         1        -121.0000        -178.9964     47.93%
780.59/782.91	c       783          11329        7044         1        -121.0000        -178.9777     47.92%
786.37/788.72	c       789          11511        7094         1        -121.0000        -178.9546     47.90%
791.45/793.83	c       794          11588        7153         1        -121.0000        -178.9035     47.85%
797.14/799.50	c       800          11683        7232         1        -121.0000        -178.8965     47.85%
802.43/804.85	c       805          11799        7294         1        -121.0000        -178.8566     47.82%
808.11/810.52	c       811          11992        7347         1        -121.0000        -178.8140     47.78%
813.40/815.83	c       816          12050        7393         1        -121.0000        -178.8112     47.78%
819.08/821.55	c       822          12247        7456         1        -121.0000        -178.7940     47.76%
824.97/827.49	c       827          12355        7516         1        -121.0000        -178.7708     47.74%
830.85/833.32	c       833          12584        7597         1        -121.0000        -178.7696     47.74%
836.73/839.22	c       839          12753        7676         1        -121.0000        -178.7215     47.70%
842.32/844.87	c       845          12981        7754         1        -121.0000        -178.6776     47.67%
848.20/850.72	c       851          13077        7810         1        -121.0000        -178.6601     47.65%
853.78/856.37	c       856          13261        7864         1        -121.0000        -178.6093     47.61%
859.37/861.95	c       862          13463        7906         1        -121.0000        -178.5760     47.58%
864.57/867.14	c       867          13602        7965         1        -121.0000        -178.5326     47.55%
870.34/872.94	c       873          13741        8042         1        -121.0000        -178.5108     47.53%
875.44/878.09	c       878          13958        8105         1        -121.0000        -178.5085     47.53%
881.01/883.64	c       884          14184        8161         1        -121.0000        -178.4798     47.50%
886.99/889.68	c       890          14739        8194         1        -121.0000        -178.4548     47.48%
892.49/895.17	c       895          15165        8220         1        -121.0000        -178.4227     47.46%
897.86/900.56	c       901          15492        8245         1        -121.0000        -178.3612     47.41%
903.35/906.06	c       906          15822        8275         1        -121.0000        -178.3224     47.37%
908.82/911.59	c       912          16190        8321         1        -121.0000        -178.2720     47.33%
913.90/916.69	c       917          16422        8353         1        -121.0000        -178.2003     47.27%
919.18/922.01	c       922          16772        8391         1        -121.0000        -178.1371     47.22%
924.38/927.14	c       927          16989        8418         1        -121.0000        -178.0783     47.17%
930.15/932.98	c       933          17313        8458         1        -121.0000        -178.0060     47.11%
935.24/938.10	c       938          17722        8499         1        -121.0000        -177.9251     47.05%
940.41/943.25	c       943          18142        8523         1        -121.0000        -177.8958     47.02%
945.39/948.28	c       948          18502        8559         1        -121.0000        -177.8862     47.01%
950.67/953.52	c       954          18789        8588         1        -121.0000        -177.8832     47.01%
956.56/959.43	c       959          19072        8623         1        -121.0000        -177.8477     46.98%
962.25/965.15	c       965          19281        8670         1        -121.0000        -177.8261     46.96%
967.42/970.39	c       970          19622        8713         1        -121.0000        -177.8053     46.95%
973.30/976.23	c       976          20082        8751         1        -121.0000        -177.7833     46.93%
978.88/981.89	c       982          20542        8783         1        -121.0000        -177.7391     46.89%
984.56/987.59	c       988          20749        8814         1        -121.0000        -177.6986     46.86%
990.24/993.21	c       993          21226        8845         1        -121.0000        -177.6714     46.84%
995.82/998.86	c       999          21757        8880         1        -121.0000        -177.6567     46.82%
1001.90/1004.92	c      1005          21999        8910         1        -121.0000        -177.6313     46.80%
1007.79/1010.84	c      1011          22244        8957         1        -121.0000        -177.6053     46.78%
1013.86/1016.95	c      1017          22641        9002         1        -121.0000        -177.5913     46.77%
1018.95/1022.01	c      1022          22832        9049         1        -121.0000        -177.5535     46.74%
1024.93/1028.05	c      1028          23187        9082         1        -121.0000        -177.5387     46.73%
1030.21/1033.34	c      1033          23332        9107         1        -121.0000        -177.5274     46.72%
1035.49/1038.69	c      1039          23782        9141         1        -121.0000        -177.5227     46.71%
1041.28/1044.46	c      1044          24102        9189         1        -121.0000        -177.4602     46.66%
1046.37/1049.56	c      1050          24495        9238         1        -121.0000        -177.4539     46.66%
1052.34/1055.58	c      1056          24759        9272         1        -121.0000        -177.4449     46.65%
1057.42/1060.69	c      1061          25292        9303         1        -121.0000        -177.4071     46.62%
1063.21/1066.41	c      1066          25672        9343         1        -121.0000        -177.3983     46.61%
1068.30/1071.59	c      1072          26212        9393         1        -121.0000        -177.3825     46.60%
1073.68/1076.98	c      1077          26572        9427         1        -121.0000        -177.3339     46.56%
1079.66/1083.01	c      1083          26968        9465         1        -121.0000        -177.3001     46.53%
1084.75/1088.04	c      1088          27272        9499         1        -121.0000        -177.2705     46.50%
1090.33/1093.64	c      1094          27492        9541         1        -121.0000        -177.2516     46.49%
1096.01/1099.31	c      1099          27934        9575         1        -121.0000        -177.2274     46.47%
1101.00/1104.35	c      1104          28322        9607         1        -121.0000        -177.1830     46.43%
1106.09/1109.43	c      1109          28686        9639         1        -121.0000        -177.1707     46.42%
1111.68/1115.03	c      1115          28932        9685         1        -121.0000        -177.1259     46.39%
1117.45/1120.82	c      1121          29202        9725         1        -121.0000        -177.0785     46.35%
1123.14/1126.51	c      1127          29486        9773         1        -121.0000        -177.0688     46.34%
1129.02/1132.46	c      1132          29982        9797         1        -121.0000        -177.0479     46.32%
1134.72/1138.13	c      1138          30146        9825         1        -121.0000        -177.0129     46.29%
1140.39/1143.80	c      1144          30379        9882         1        -121.0000        -176.9488     46.24%
1145.37/1148.81	c      1149          30822        9915         1        -121.0000        -176.8833     46.18%
1150.58/1154.05	c      1154          31482        9941         1        -121.0000        -176.8492     46.16%
1156.56/1160.04	c      1160          31945        9988         1        -121.0000        -176.8368     46.15%
1161.83/1165.35	c      1165          32249       10018         1        -121.0000        -176.8075     46.12%
1167.21/1170.73	c      1171          32782       10055         1        -121.0000        -176.7901     46.11%
1173.10/1176.62	c      1177          33082       10093         1        -121.0000        -176.7693     46.09%
1178.69/1182.27	c      1182          33452       10137         1        -121.0000        -176.7405     46.07%
1183.97/1187.54	c      1188          33642       10181         1        -121.0000        -176.7086     46.04%
1189.36/1193.01	c      1193          33932       10217         1        -121.0000        -176.6748     46.01%
1194.64/1198.24	c      1198          34242       10267         1        -121.0000        -176.6557     46.00%
1199.72/1203.38	c      1203          34452       10307         1        -121.0000        -176.6448     45.99%
1206.09/1209.73	c      1210          34682       10355         1        -121.0000        -176.6300     45.98%
1211.39/1215.01	c      1215          34919       10400         1        -121.0000        -176.6199     45.97%
1216.66/1220.31	c      1220          35152       10425         1        -121.0000        -176.5940     45.95%
1222.04/1225.75	c      1226          35342       10445         1        -121.0000        -176.5853     45.94%
1227.44/1231.17	c      1231          35732       10481         1        -121.0000        -176.5490     45.91%
1233.42/1237.13	c      1237          36261       10540         1        -121.0000        -176.5426     45.90%
1238.58/1242.36	c      1242          36765       10576         1        -121.0000        -176.5282     45.89%
1244.46/1248.27	c      1248          37386       10605         1        -121.0000        -176.4989     45.87%
1250.44/1254.22	c      1254          37610       10631         1        -121.0000        -176.4946     45.86%
1256.02/1259.88	c      1260          38172       10677         1        -121.0000        -176.4804     45.85%
1261.71/1265.51	c      1266          38678       10709         1        -121.0000        -176.4708     45.84%
1267.09/1270.96	c      1271          39172       10739         1        -121.0000        -176.4479     45.82%
1272.67/1276.56	c      1277          39462       10789         1        -121.0000        -176.4155     45.80%
1277.85/1281.79	c      1282          39672       10829         1        -121.0000        -176.3910     45.78%
1282.93/1286.83	c      1287          40132       10867         1        -121.0000        -176.3726     45.76%
1288.51/1292.40	c      1292          40772       10901         1        -121.0000        -176.3505     45.74%
1293.80/1297.76	c      1298          40979       10940         1        -121.0000        -176.3404     45.74%
1299.77/1303.75	c      1304          41387       10992         1        -121.0000        -176.3135     45.71%
1304.86/1308.85	c      1309          41829       11020         1        -121.0000        -176.3033     45.71%
1310.24/1314.24	c      1314          42362       11065         1        -121.0000        -176.2732     45.68%
1315.32/1319.38	c      1319          42802       11113         1        -121.0000        -176.2507     45.66%
1320.80/1324.80	c      1325          43302       11145         1        -121.0000        -176.2383     45.65%
1325.79/1329.83	c      1330          43762       11185         1        -121.0000        -176.2233     45.64%
1331.27/1335.36	c      1335          44090       11229         1        -121.0000        -176.2118     45.63%
1336.96/1341.03	c      1341          44609       11268         1        -121.0000        -176.1740     45.60%
1342.44/1346.57	c      1347          45092       11309         1        -121.0000        -176.1470     45.58%
1347.93/1352.10	c      1352          45402       11343         1        -121.0000        -176.1355     45.57%
1353.10/1357.25	c      1357          45936       11385         1        -121.0000        -176.1263     45.56%
1358.78/1362.97	c      1363          46292       11423         1        -121.0000        -176.1027     45.54%
1364.66/1368.85	c      1369          46620       11479         1        -121.0000        -176.0812     45.52%
1369.74/1373.94	c      1374          47226       11511         1        -121.0000        -176.0664     45.51%
1375.32/1379.52	c      1380          47746       11555         1        -121.0000        -176.0492     45.50%
1380.50/1384.77	c      1385          48102       11607         1        -121.0000        -176.0134     45.47%
1386.19/1390.42	c      1390          48522       11659         1        -121.0000        -175.9846     45.44%
1391.17/1395.49	c      1395          49012       11691         1        -121.0000        -175.9770     45.44%
1397.15/1401.41	c      1401          49241       11744         1        -121.0000        -175.9648     45.43%
1402.34/1406.64	c      1407          49452       11795         1        -121.0000        -175.9470     45.41%
1407.51/1411.81	c      1412          49730       11831         1        -121.0000        -175.9410     45.41%
1412.49/1416.84	c      1417          49992       11873         1        -121.0000        -175.9318     45.40%
1417.58/1421.98	c      1422          50422       11933         1        -121.0000        -175.9240     45.39%
1423.16/1427.50	c      1428          50772       11975         1        -121.0000        -175.9191     45.39%
1428.84/1433.27	c      1433          51163       12020         1        -121.0000        -175.8949     45.37%
1434.33/1438.77	c      1439          51472       12065         1        -121.0000        -175.8849     45.36%
1439.40/1443.83	c      1444          51827       12086         1        -121.0000        -175.8782     45.35%
1444.89/1449.37	c      1449          52232       12115         1        -121.0000        -175.8737     45.35%
1450.17/1454.69	c      1455          52592       12165         1        -121.0000        -175.8557     45.34%
1455.56/1460.09	c      1460          53052       12215         1        -121.0000        -175.8411     45.32%
1461.13/1465.67	c      1466          53267       12240         1        -121.0000        -175.8373     45.32%
1466.43/1470.92	c      1471          53594       12291         1        -121.0000        -175.8285     45.31%
1471.51/1476.06	c      1476          53923       12340         1        -121.0000        -175.8155     45.30%
1476.68/1481.29	c      1481          54312       12397         1        -121.0000        -175.8080     45.30%
1482.67/1487.21	c      1487          54700       12461         1        -121.0000        -175.8013     45.29%
1488.06/1492.65	c      1493          55262       12499         1        -121.0000        -175.7837     45.28%
1493.14/1497.73	c      1498          55527       12532         1        -121.0000        -175.7775     45.27%
1499.12/1503.76	c      1504          55762       12607         1        -121.0000        -175.7559     45.25%
1504.70/1509.30	c      1509          56010       12651         1        -121.0000        -175.7501     45.25%
1510.58/1515.24	c      1515          56492       12693         1        -121.0000        -175.7379     45.24%
1516.39/1521.10	c      1521          56871       12744         1        -121.0000        -175.7257     45.23%
1521.66/1526.33	c      1526          57079       12764         1        -121.0000        -175.7236     45.23%
1527.45/1532.15	c      1532          57672       12809         1        -121.0000        -175.7149     45.22%
1532.52/1537.22	c      1537          57980       12833         1        -121.0000        -175.7123     45.22%
1538.11/1542.90	c      1543          58352       12887         1        -121.0000        -175.6821     45.19%
1543.41/1548.14	c      1548          58672       12931         1        -121.0000        -175.6776     45.19%
1549.68/1554.45	c      1554          59330       12969         1        -121.0000        -175.6601     45.17%
1555.46/1560.29	c      1560          59808       13025         1        -121.0000        -175.6473     45.16%
1561.45/1566.27	c      1566          60340       13069         1        -121.0000        -175.6343     45.15%
1567.03/1571.80	c      1572          60664       13123         1        -121.0000        -175.6250     45.14%
1572.12/1576.96	c      1577          61182       13155         1        -121.0000        -175.6134     45.14%
1577.10/1582.01	c      1582          61493       13204         1        -121.0000        -175.6011     45.12%
1582.68/1587.50	c      1588          61849       13224         1        -121.0000        -175.5935     45.12%
1588.36/1593.27	c      1593          62098       13261         1        -121.0000        -175.5810     45.11%
1593.65/1598.58	c      1599          62293       13324         1        -121.0000        -175.5743     45.10%
1599.53/1604.49	c      1604          62668       13353         1        -121.0000        -175.5687     45.10%
1605.01/1609.97	c      1610          62972       13395         1        -121.0000        -175.5602     45.09%
1611.12/1616.09	c      1616          63426       13429         1        -121.0000        -175.5592     45.09%
1616.39/1621.34	c      1621          63557       13458         1        -121.0000        -175.5556     45.09%
1621.37/1626.38	c      1626          63772       13497         1        -121.0000        -175.5514     45.08%
1626.95/1631.99	c      1632          64052       13533         1        -121.0000        -175.5348     45.07%
1632.63/1637.62	c      1638          64282       13585         1        -121.0000        -175.5271     45.06%
1638.81/1643.88	c      1644          64591       13624         1        -121.0000        -175.5188     45.06%
1644.12/1649.19	c      1649          64862       13665         1        -121.0000        -175.5116     45.05%
1649.49/1654.58	c      1655          65029       13710         1        -121.0000        -175.5063     45.05%
1655.47/1660.53	c      1661          65169       13732         1        -121.0000        -175.5031     45.04%
1660.96/1666.01	c      1666          65401       13784         1        -121.0000        -175.4955     45.04%
1666.33/1671.47	c      1671          65669       13806         1        -121.0000        -175.4907     45.03%
1672.42/1677.59	c      1678          65933       13838         1        -121.0000        -175.4821     45.03%
1677.61/1682.70	c      1683          66230       13859         1        -121.0000        -175.4730     45.02%
1682.90/1688.05	c      1688          66502       13879         1        -121.0000        -175.4704     45.02%
1688.57/1693.77	c      1694          66795       13932         1        -121.0000        -175.4644     45.01%
1693.88/1699.05	c      1699          67192       13973         1        -121.0000        -175.4593     45.01%
1700.05/1705.22	c      1705          67422       14033         1        -121.0000        -175.4529     45.00%
1705.53/1710.70	c      1711          67822       14077         1        -121.0000        -175.4473     45.00%
1711.41/1716.62	c      1717          68129       14108         1        -121.0000        -175.4455     45.00%
1716.50/1721.74	c      1722          68382       14143         1        -121.0000        -175.4393     44.99%
1721.79/1727.02	c      1727          68530       14173         1        -121.0000        -175.4371     44.99%
1727.96/1733.24	c      1733          68865       14218         1        -121.0000        -175.4311     44.98%
1733.15/1738.48	c      1738          69100       14253         1        -121.0000        -175.4258     44.98%
1738.23/1743.54	c      1744          69372       14301         1        -121.0000        -175.4135     44.97%
1743.83/1749.13	c      1749          69550       14337         1        -121.0000        -175.4093     44.97%
1748.91/1754.22	c      1754          69752       14367         1        -121.0000        -175.3985     44.96%
1753.99/1759.35	c      1759          69912       14425         1        -121.0000        -175.3942     44.95%
1759.37/1764.78	c      1765          70236       14457         1        -121.0000        -175.3912     44.95%
1765.05/1770.40	c      1770          70571       14490         1        -121.0000        -175.3859     44.95%
1770.43/1775.80	c      1776          70832       14535         1        -121.0000        -175.3758     44.94%
1775.63/1781.08	c      1781          71124       14565         1        -121.0000        -175.3707     44.93%
1781.10/1786.59	c      1787          71365       14588         1        -121.0000        -175.3707     44.93%
1786.69/1792.18	c      1792          71705       14608         1        -121.0000        -175.3649     44.93%
1792.16/1797.62	c      1798          72022       14657         1        -121.0000        -175.3437     44.91%
1798.04/1803.53	c      1804          72239       14702         1        -121.0000        -175.3394     44.91%
1804.41/1809.93	c      1810          72628       14731         1        -121.0000        -175.3339     44.90%
1809.62/1815.13	c      1815          72892       14767         1        -121.0000        -175.3298     44.90%
1815.38/1820.97	c      1821          73202       14799         1        -121.0000        -175.3269     44.90%
1821.47/1827.08	c      1827          73507       14828         1        -121.0000        -175.3163     44.89%
1827.14/1832.76	c      1833          73772       14853         1        -121.0000        -175.3153     44.89%
1832.12/1837.80	c      1838          73942       14879         1        -121.0000        -175.3125     44.89%
1837.31/1842.91	c      1843          74092       14921         1        -121.0000        -175.3039     44.88%
1843.19/1848.85	c      1849          74192       14963         1        -121.0000        -175.3013     44.88%
1848.16/1853.89	c      1854          74458       14983         1        -121.0000        -175.2978     44.87%
1853.37/1859.06	c      1859          74669       15022         1        -121.0000        -175.2931     44.87%
1858.83/1864.50	c      1864          74942       15059         1        -121.0000        -175.2804     44.86%
1864.62/1870.34	c      1870          75145       15096         1        -121.0000        -175.2782     44.86%
1870.41/1876.19	c      1876          75422       15143         1        -121.0000        -175.2668     44.85%
1875.77/1881.58	c      1882          75720       15193         1        -121.0000        -175.2497     44.83%
1880.96/1886.76	c      1887          75952       15211         1        -121.0000        -175.2485     44.83%
1886.04/1891.86	c      1892          76233       15256         1        -121.0000        -175.2361     44.82%
1891.34/1897.15	c      1897          76454       15297         1        -121.0000        -175.2326     44.82%
1896.32/1902.18	c      1902          76742       15323         1        -121.0000        -175.2238     44.81%
1901.79/1907.69	c      1908          77084       15381         1        -121.0000        -175.2143     44.81%
1907.67/1913.59	c      1914          77289       15414         1        -121.0000        -175.2120     44.80%
1913.05/1918.91	c      1919          77482       15457         1        -121.0000        -175.2012     44.79%
1918.84/1924.70	c      1925          77785       15514         1        -121.0000        -175.1919     44.79%
1924.52/1930.42	c      1930          78089       15550         1        -121.0000        -175.1706     44.77%
1930.60/1936.56	c      1937          78411       15584         1        -121.0000        -175.1684     44.77%
1936.38/1942.35	c      1942          78750       15615         1        -121.0000        -175.1621     44.76%
1941.96/1947.95	c      1948          78872       15655         1        -121.0000        -175.1544     44.76%
1947.54/1953.53	c      1954          79030       15675         1        -121.0000        -175.1429     44.75%
1952.62/1958.68	c      1959          79190       15701         1        -121.0000        -175.1402     44.74%
1957.71/1963.78	c      1964          79409       15712         1        -121.0000        -175.1347     44.74%
1963.38/1969.41	c      1969          79732       15737         1        -121.0000        -175.1284     44.73%
1968.37/1974.46	c      1974          80052       15771         1        -121.0000        -175.1199     44.73%
1974.15/1980.21	c      1980          80548       15813         1        -121.0000        -175.1033     44.71%
1979.95/1986.06	c      1986          80809       15860         1        -121.0000        -175.0952     44.71%
1984.93/1991.10	c      1991          81487       15888         1        -121.0000        -175.0842     44.70%
1991.30/1997.41	c      1997          81784       15943         1        -121.0000        -175.0789     44.69%
1996.29/2002.47	c      2002          82172       15985         1        -121.0000        -175.0725     44.69%
2001.57/2007.77	c      2008          82702       16013         1        -121.0000        -175.0660     44.68%
2007.25/2013.41	c      2013          82952       16065         1        -121.0000        -175.0608     44.68%
2013.45/2019.64	c      2020          83450       16109         1        -121.0000        -175.0455     44.67%
2018.73/2024.98	c      2025          83657       16150         1        -121.0000        -175.0395     44.66%
2024.71/2030.97	c      2031          83857       16192         1        -121.0000        -175.0382     44.66%
2030.40/2036.65	c      2037          84145       16236         1        -121.0000        -175.0305     44.65%
2035.98/2042.29	c      2042          84332       16259         1        -121.0000        -175.0272     44.65%
2041.78/2048.04	c      2048          84736       16317         1        -121.0000        -175.0255     44.65%
2047.35/2053.60	c      2054          84986       16349         1        -121.0000        -175.0255     44.65%
2052.85/2059.20	c      2059          85317       16398         1        -121.0000        -175.0178     44.64%
2058.42/2064.74	c      2065          85542       16441         1        -121.0000        -175.0133     44.64%
2064.50/2070.89	c      2071          85663       16476         1        -121.0000        -175.0069     44.63%
2071.19/2077.50	c      2078          86086       16503         1        -121.0000        -175.0037     44.63%
2076.37/2082.79	c      2083          86222       16555         1        -121.0000        -174.9947     44.62%
2081.67/2088.03	c      2088          86442       16599         1        -121.0000        -174.9926     44.62%
2086.84/2093.28	c      2093          86600       16635         1        -121.0000        -174.9849     44.62%
2093.13/2099.59	c      2100          86902       16695         1        -121.0000        -174.9719     44.60%
2099.21/2105.66	c      2106          87254       16719         1        -121.0000        -174.9715     44.60%
2105.09/2111.54	c      2112          87422       16753         1        -121.0000        -174.9646     44.60%
2110.48/2116.95	c      2117          87593       16790         1        -121.0000        -174.9601     44.60%
2116.16/2122.69	c      2123          87915       16848         1        -121.0000        -174.9564     44.59%
2121.25/2127.72	c      2128          88468       16873         1        -121.0000        -174.9548     44.59%
2126.55/2133.04	c      2133          88786       16913         1        -121.0000        -174.9440     44.58%
2132.32/2138.87	c      2139          88999       16966         1        -121.0000        -174.9300     44.57%
2137.80/2144.35	c      2144          89322       17007         1        -121.0000        -174.9221     44.56%
2143.39/2149.93	c      2150          89426       17055         1        -121.0000        -174.9175     44.56%
2149.38/2155.90	c      2156          89613       17092         1        -121.0000        -174.9143     44.56%
2155.26/2161.86	c      2162          89812       17121         1        -121.0000        -174.9073     44.55%
2161.14/2167.77	c      2168          90007       17148         1        -121.0000        -174.9053     44.55%
2166.23/2172.88	c      2173          90312       17183         1        -121.0000        -174.8906     44.54%
2171.43/2178.06	c      2178          90515       17212         1        -121.0000        -174.8906     44.54%
2177.59/2184.22	c      2184          90931       17244         1        -121.0000        -174.8852     44.53%
2182.69/2189.30	c      2189          91222       17273         1        -121.0000        -174.8776     44.53%
2187.77/2194.44	c      2194          91606       17311         1        -121.0000        -174.8759     44.53%
2194.75/2201.44	c      2201          91830       17365         1        -121.0000        -174.8616     44.51%
2200.34/2207.07	c      2207          91961       17394         1        -121.0000        -174.8610     44.51%
2206.02/2212.74	c      2213          92292       17419         1        -121.0000        -174.8599     44.51%
2211.50/2218.29	c      2218          92662       17473         1        -121.0000        -174.8547     44.51%
2216.59/2223.30	c      2223          92896       17497         1        -121.0000        -174.8533     44.51%
2222.08/2228.87	c      2229          93225       17532         1        -121.0000        -174.8484     44.50%
2228.06/2234.84	c      2235          93461       17586         1        -121.0000        -174.8291     44.49%
2234.05/2240.86	c      2241          93762       17631         1        -121.0000        -174.8261     44.48%
2239.13/2245.92	c      2246          94152       17667         1        -121.0000        -174.8190     44.48%
2244.33/2251.16	c      2251          94318       17711         1        -121.0000        -174.8120     44.47%
2249.50/2256.39	c      2256          94493       17754         1        -121.0000        -174.8067     44.47%
2254.69/2261.57	c      2262          94625       17776         1        -121.0000        -174.8044     44.47%
2260.38/2267.24	c      2267          94781       17818         1        -121.0000        -174.7891     44.45%
2265.86/2272.75	c      2273          95061       17844         1        -121.0000        -174.7846     44.45%
2271.16/2278.08	c      2278          95185       17860         1        -121.0000        -174.7843     44.45%
2277.04/2283.99	c      2284          95442       17901         1        -121.0000        -174.7819     44.45%
2282.13/2289.03	c      2289          95692       17943         1        -121.0000        -174.7791     44.45%
2287.21/2294.17	c      2294          95883       17986         1        -121.0000        -174.7743     44.44%
2292.19/2299.19	c      2299          96031       18024         1        -121.0000        -174.7695     44.44%
2297.57/2304.52	c      2305          96452       18061         1        -121.0000        -174.7657     44.43%
2303.26/2310.23	c      2310          97052       18103         1        -121.0000        -174.7563     44.43%
2309.24/2316.22	c      2316          97192       18145         1        -121.0000        -174.7522     44.42%
2315.22/2322.20	c      2322          97475       18190         1        -121.0000        -174.7380     44.41%
2321.21/2328.28	c      2328          97752       18241         1        -121.0000        -174.7331     44.41%
2326.80/2333.83	c      2334          97946       18291         1        -121.0000        -174.7239     44.40%
2333.28/2340.35	c      2340          98251       18348         1        -121.0000        -174.7073     44.39%
2338.97/2346.04	c      2346          98466       18379         1        -121.0000        -174.7060     44.39%
2344.74/2351.86	c      2352          98782       18423         1        -121.0000        -174.7001     44.38%
2350.05/2357.18	c      2357          99172       18463         1        -121.0000        -174.6964     44.38%
2355.42/2362.53	c      2363          99520       18489         1        -121.0000        -174.6957     44.38%
2361.30/2368.41	c      2368          99711       18528         1        -121.0000        -174.6828     44.37%
2366.79/2373.90	c      2374          99902       18585         1        -121.0000        -174.6742     44.36%
2372.57/2379.78	c      2380         100321       18630         1        -121.0000        -174.6603     44.35%
2378.75/2385.99	c      2386         100670       18679         1        -121.0000        -174.6597     44.35%
2384.86/2392.05	c      2392         100966       18737         1        -121.0000        -174.6579     44.35%
2390.84/2398.03	c      2398         101290       18801         1        -121.0000        -174.6458     44.34%
2396.11/2403.34	c      2403         101749       18856         1        -121.0000        -174.6371     44.33%
2401.20/2408.46	c      2408         102122       18887         1        -121.0000        -174.6311     44.32%
2406.38/2413.63	c      2414         102352       18917         1        -121.0000        -174.6256     44.32%
2412.27/2419.59	c      2420         102465       18958         1        -121.0000        -174.6230     44.32%
2417.65/2424.96	c      2425         102642       18999         1        -121.0000        -174.6178     44.31%
2423.44/2430.76	c      2431         102849       19044         1        -121.0000        -174.6089     44.30%
2428.62/2435.90	c      2436         103092       19077         1        -121.0000        -174.6041     44.30%
2433.62/2440.93	c      2441         103322       19105         1        -121.0000        -174.6009     44.30%
2438.90/2446.28	c      2446         103552       19133         1        -121.0000        -174.6000     44.30%
2444.79/2452.16	c      2452         103787       19180         1        -121.0000        -174.5873     44.29%
2450.57/2457.92	c      2458         103984       19221         1        -121.0000        -174.5859     44.29%
2456.25/2463.62	c      2464         104259       19282         1        -121.0000        -174.5803     44.28%
2461.94/2469.36	c      2469         104490       19335         1        -121.0000        -174.5759     44.28%
2467.22/2474.61	c      2475         104780       19369         1        -121.0000        -174.5691     44.27%
2472.41/2479.86	c      2480         105022       19407         1        -121.0000        -174.5637     44.27%
2478.19/2485.64	c      2486         105386       19447         1        -121.0000        -174.5567     44.26%
2483.58/2491.11	c      2491         105634       19479         1        -121.0000        -174.5548     44.26%
2488.86/2496.38	c      2496         105856       19513         1        -121.0000        -174.5514     44.26%
2494.15/2501.69	c      2502         106622       19543         1        -121.0000        -174.5427     44.25%
2500.33/2507.89	c      2508         106836       19589         1        -121.0000        -174.5404     44.25%
2505.41/2512.93	c      2513         107042       19621         1        -121.0000        -174.5354     44.24%
2510.61/2518.18	c      2518         107190       19651         1        -121.0000        -174.5338     44.24%
2515.98/2523.55	c      2524         107502       19693         1        -121.0000        -174.5285     44.24%
2522.07/2529.62	c      2530         107620       19739         1        -121.0000        -174.5273     44.24%
2527.15/2534.78	c      2535         107980       19791         1        -121.0000        -174.5238     44.23%
2532.94/2540.59	c      2541         108246       19815         1        -121.0000        -174.5214     44.23%
2538.54/2546.16	c      2546         108672       19835         1        -121.0000        -174.5196     44.23%
2544.30/2552.01	c      2552         109110       19885         1        -121.0000        -174.5166     44.23%
2549.89/2557.57	c      2558         109558       19903         1        -121.0000        -174.5123     44.23%
2555.67/2563.34	c      2563         109765       19966         1        -121.0000        -174.5082     44.22%
2561.36/2569.08	c      2569         110020       20017         1        -121.0000        -174.5061     44.22%
2567.04/2574.73	c      2575         110386       20061         1        -121.0000        -174.5026     44.22%
2572.43/2580.12	c      2580         110642       20111         1        -121.0000        -174.4926     44.21%
2578.80/2586.57	c      2587         110826       20161         1        -121.0000        -174.4895     44.21%
2584.69/2592.41	c      2592         111079       20208         1        -121.0000        -174.4855     44.20%
2589.67/2597.49	c      2597         111389       20232         1        -121.0000        -174.4840     44.20%
2595.06/2602.82	c      2603         111709       20272         1        -121.0000        -174.4830     44.20%
2600.95/2608.76	c      2609         111950       20315         1        -121.0000        -174.4755     44.19%
2607.24/2615.10	c      2615         112286       20371         1        -121.0000        -174.4694     44.19%
2612.82/2620.69	c      2621         112433       20404         1        -121.0000        -174.4668     44.19%
2618.60/2626.41	c      2626         112624       20449         1        -121.0000        -174.4637     44.18%
2623.98/2631.90	c      2632         112855       20504         1        -121.0000        -174.4577     44.18%
2629.97/2637.87	c      2638         113025       20556         1        -121.0000        -174.4496     44.17%
2635.45/2643.30	c      2643         113272       20587         1        -121.0000        -174.4408     44.17%
2640.74/2648.67	c      2649         113542       20619         1        -121.0000        -174.4388     44.16%
2645.93/2653.86	c      2654         113722       20675         1        -121.0000        -174.4365     44.16%
2651.70/2659.68	c      2660         113980       20723         1        -121.0000        -174.4348     44.16%
2657.29/2665.21	c      2665         114165       20786         1        -121.0000        -174.4309     44.16%
2662.68/2670.64	c      2671         114330       20823         1        -121.0000        -174.4259     44.15%
2668.36/2676.36	c      2676         114554       20863         1        -121.0000        -174.4237     44.15%
2673.54/2681.51	c      2682         114825       20908         1        -121.0000        -174.4223     44.15%
2679.82/2687.88	c      2688         115060       20945         1        -121.0000        -174.4211     44.15%
2684.92/2692.99	c      2693         115302       20989         1        -121.0000        -174.4178     44.15%
2690.20/2698.25	c      2698         115442       21037         1        -121.0000        -174.4144     44.14%
2695.28/2703.37	c      2703         115640       21081         1        -121.0000        -174.4122     44.14%
2700.88/2709.01	c      2709         115801       21112         1        -121.0000        -174.4120     44.14%
2705.97/2714.07	c      2714         115979       21150         1        -121.0000        -174.4103     44.14%
2711.54/2719.65	c      2720         116235       21206         1        -121.0000        -174.4073     44.14%
2717.62/2725.70	c      2726         116602       21263         1        -121.0000        -174.3970     44.13%
2722.61/2730.79	c      2731         116789       21312         1        -121.0000        -174.3906     44.12%
2728.39/2736.50	c      2736         116920       21363         1        -121.0000        -174.3862     44.12%
2734.57/2742.76	c      2743         117165       21416         1        -121.0000        -174.3842     44.12%
2740.55/2748.75	c      2749         117301       21452         1        -121.0000        -174.3827     44.12%
2746.24/2754.49	c      2754         117508       21481         1        -121.0000        -174.3781     44.11%
2751.32/2759.57	c      2760         117725       21512         1        -121.0000        -174.3736     44.11%
2756.41/2764.69	c      2765         117892       21549         1        -121.0000        -174.3704     44.11%
2761.91/2770.19	c      2770         118102       21589         1        -121.0000        -174.3679     44.11%
2767.48/2775.71	c      2776         118266       21633         1        -121.0000        -174.3636     44.10%
2773.07/2781.31	c      2781         118457       21676         1        -121.0000        -174.3606     44.10%
2778.66/2786.99	c      2787         118610       21719         1        -121.0000        -174.3588     44.10%
2784.54/2792.84	c      2793         118765       21764         1        -121.0000        -174.3586     44.10%
2790.83/2799.18	c      2799         119100       21835         1        -121.0000        -174.3502     44.09%
2795.90/2804.21	c      2804         119277       21882         1        -121.0000        -174.3491     44.09%
2801.00/2809.35	c      2809         119412       21919         1        -121.0000        -174.3468     44.09%
2807.08/2815.41	c      2815         119620       21963         1        -121.0000        -174.3419     44.08%
2812.16/2820.54	c      2821         119900       22001         1        -121.0000        -174.3410     44.08%
2818.05/2826.44	c      2826         120260       22061         1        -121.0000        -174.3335     44.08%
2823.83/2832.26	c      2832         120571       22128         1        -121.0000        -174.3283     44.07%
2829.22/2837.69	c      2838         120877       22158         1        -121.0000        -174.3264     44.07%
2835.20/2843.66	c      2844         121017       22194         1        -121.0000        -174.3226     44.07%
2840.49/2848.97	c      2849         121242       22245         1        -121.0000        -174.3155     44.06%
2846.28/2854.75	c      2855         121472       22297         1        -121.0000        -174.3100     44.06%
2851.26/2859.79	c      2860         121581       22326         1        -121.0000        -174.3094     44.06%
2856.45/2864.98	c      2865         121999       22360         1        -121.0000        -174.3072     44.06%
2862.33/2870.86	c      2871         122198       22417         1        -121.0000        -174.3064     44.05%
2868.12/2876.61	c      2877         122560       22457         1        -121.0000        -174.3048     44.05%
2873.40/2881.96	c      2882         123060       22491         1        -121.0000        -174.2970     44.05%
2878.39/2886.97	c      2887         123599       22522         1        -121.0000        -174.2925     44.04%
2883.59/2892.15	c      2892         123752       22557         1        -121.0000        -174.2898     44.04%
2888.96/2897.58	c      2898         124132       22601         1        -121.0000        -174.2824     44.04%
2894.95/2903.58	c      2904         124431       22664         1        -121.0000        -174.2798     44.03%
2900.63/2909.23	c      2909         124624       22741         1        -121.0000        -174.2743     44.03%
2906.61/2915.25	c      2915         124860       22847         1        -121.0000        -174.2695     44.02%
2912.30/2920.90	c      2921         125040       22895         1        -121.0000        -174.2640     44.02%
2917.39/2926.01	c      2926         125226       22935         1        -121.0000        -174.2619     44.02%
2922.87/2931.53	c      2932         125556       22981         1        -121.0000        -174.2605     44.02%
2928.15/2936.88	c      2937         125786       23039         1        -121.0000        -174.2593     44.02%
2933.64/2942.35	c      2942         126042       23105         1        -121.0000        -174.2576     44.01%
2938.92/2947.69	c      2948         126234       23179         1        -121.0000        -174.2552     44.01%
2944.82/2953.52	c      2954         126376       23223         1        -121.0000        -174.2544     44.01%
2950.10/2958.86	c      2959         126538       23281         1        -121.0000        -174.2461     44.01%
2955.18/2963.93	c      2964         126712       23305         1        -121.0000        -174.2429     44.00%
2960.97/2969.70	c      2970         126813       23344         1        -121.0000        -174.2389     44.00%
2966.37/2975.18	c      2975         127042       23369         1        -121.0000        -174.2376     44.00%
2971.44/2980.23	c      2980         127172       23427         1        -121.0000        -174.2309     43.99%
2976.62/2985.43	c      2985         127382       23463         1        -121.0000        -174.2275     43.99%
2982.51/2991.35	c      2991         127643       23534         1        -121.0000        -174.2194     43.98%
2987.80/2996.63	c      2997         127832       23571         1        -121.0000        -174.2177     43.98%
2992.99/3001.81	c      3002         127916       23629         1        -121.0000        -174.2177     43.98%
2998.18/3007.06	c      3007         128132       23667         1        -121.0000        -174.2166     43.98%
3003.36/3012.25	c      3012         128317       23726         1        -121.0000        -174.2156     43.98%
3008.74/3017.66	c      3018         128442       23779         1        -121.0000        -174.2102     43.98%
3014.72/3023.68	c      3024         128601       23818         1        -121.0000        -174.2084     43.97%
3020.22/3029.16	c      3029         128825       23872         1        -121.0000        -174.2020     43.97%
3026.10/3035.07	c      3035         129048       23919         1        -121.0000        -174.1962     43.96%
3032.08/3041.03	c      3041         129290       23955         1        -121.0000        -174.1943     43.96%
3037.36/3046.36	c      3046         129471       24006         1        -121.0000        -174.1890     43.96%
3043.25/3052.27	c      3052         129608       24057         1        -121.0000        -174.1870     43.96%
3048.73/3057.71	c      3058         129832       24117         1        -121.0000        -174.1843     43.95%
3054.61/3063.67	c      3064         129976       24187         1        -121.0000        -174.1806     43.95%
3059.70/3068.71	c      3069         130132       24225         1        -121.0000        -174.1801     43.95%
3065.10/3074.15	c      3074         130402       24271         1        -121.0000        -174.1798     43.95%
3071.08/3080.15	c      3080         130551       24356         1        -121.0000        -174.1732     43.94%
3077.25/3086.36	c      3086         130682       24415         1        -121.0000        -174.1678     43.94%
3083.33/3092.49	c      3092         130954       24473         1        -121.0000        -174.1638     43.94%
3088.72/3097.90	c      3098         131198       24527         1        -121.0000        -174.1631     43.94%
3093.92/3103.11	c      3103         131357       24570         1        -121.0000        -174.1605     43.93%
3099.50/3108.61	c      3109         131448       24607         1        -121.0000        -174.1508     43.93%
3105.58/3114.74	c      3115         131714       24673         1        -121.0000        -174.1506     43.93%
3111.07/3120.28	c      3120         131872       24741         1        -121.0000        -174.1499     43.93%
3116.96/3126.13	c      3126         132122       24815         1        -121.0000        -174.1490     43.92%
3122.03/3131.22	c      3131         132381       24862         1        -121.0000        -174.1483     43.92%
3127.71/3136.94	c      3137         132692       24913         1        -121.0000        -174.1447     43.92%
3133.00/3142.23	c      3142         132997       24972         1        -121.0000        -174.1425     43.92%
3138.79/3148.11	c      3148         133117       25032         1        -121.0000        -174.1388     43.92%
3143.97/3153.26	c      3153         133262       25065         1        -121.0000        -174.1374     43.92%
3149.95/3159.20	c      3159         133415       25134         1        -121.0000        -174.1347     43.91%
3155.34/3164.66	c      3165         133649       25178         1        -121.0000        -174.1304     43.91%
3160.62/3169.95	c      3170         133836       25245         1        -121.0000        -174.1287     43.91%
3165.61/3175.01	c      3175         133985       25274         1        -121.0000        -174.1278     43.91%
3171.39/3180.75	c      3181         134344       25347         1        -121.0000        -174.1270     43.91%
3176.78/3186.16	c      3186         134583       25404         1        -121.0000        -174.1244     43.90%
3182.46/3191.81	c      3192         134915       25458         1        -121.0000        -174.1175     43.90%
3188.15/3197.56	c      3198         135170       25515         1        -121.0000        -174.1172     43.90%
3193.83/3203.22	c      3203         135427       25580         1        -121.0000        -174.1146     43.90%
3199.63/3209.07	c      3209         135717       25638         1        -121.0000        -174.1087     43.89%
3205.50/3214.96	c      3215         135962       25691         1        -121.0000        -174.1051     43.89%
3211.98/3221.41	c      3221         136230       25751         1        -121.0000        -174.0998     43.88%
3218.07/3227.50	c      3228         136528       25817         1        -121.0000        -174.0972     43.88%
3224.15/3233.68	c      3234         136758       25867         1        -121.0000        -174.0956     43.88%
3229.34/3238.83	c      3239         136862       25915         1        -121.0000        -174.0931     43.88%
3234.53/3244.10	c      3244         137042       25955         1        -121.0000        -174.0896     43.88%
3240.21/3249.71	c      3250         137220       25995         1        -121.0000        -174.0859     43.87%
3245.69/3255.23	c      3255         137372       26047         1        -121.0000        -174.0818     43.87%
3250.88/3260.43	c      3260         137522       26097         1        -121.0000        -174.0787     43.87%
3256.16/3265.73	c      3266         137639       26132         1        -121.0000        -174.0787     43.87%
3261.75/3271.38	c      3271         137872       26209         1        -121.0000        -174.0768     43.87%
3267.23/3276.80	c      3277         137985       26266         1        -121.0000        -174.0757     43.86%
3272.22/3281.88	c      3282         138382       26325         1        -121.0000        -174.0752     43.86%
3277.30/3286.90	c      3287         138642       26369         1        -121.0000        -174.0705     43.86%
3282.69/3292.37	c      3292         138897       26410         1        -121.0000        -174.0683     43.86%
3288.27/3297.98	c      3298         139108       26471         1        -121.0000        -174.0645     43.85%
3293.96/3303.66	c      3304         139362       26539         1        -121.0000        -174.0635     43.85%
3299.95/3309.67	c      3310         139501       26598         1        -121.0000        -174.0598     43.85%
3305.62/3315.30	c      3315         139746       26645         1        -121.0000        -174.0586     43.85%
3311.32/3321.07	c      3321         139912       26699         1        -121.0000        -174.0533     43.85%
3316.41/3326.11	c      3326         140252       26741         1        -121.0000        -174.0507     43.84%
3321.49/3331.25	c      3331         140436       26805         1        -121.0000        -174.0449     43.84%
3326.57/3336.38	c      3336         140665       26862         1        -121.0000        -174.0395     43.83%
3332.46/3342.26	c      3342         140806       26925         1        -121.0000        -174.0385     43.83%
3337.84/3347.61	c      3348         141082       27007         1        -121.0000        -174.0352     43.83%
3343.23/3353.11	c      3353         141396       27091         1        -121.0000        -174.0324     43.83%
3348.91/3358.72	c      3359         141625       27144         1        -121.0000        -174.0317     43.83%
3354.09/3363.91	c      3364         141875       27206         1        -121.0000        -174.0312     43.83%
3359.67/3369.59	c      3370         142092       27257         1        -121.0000        -174.0311     43.83%
3365.28/3375.14	c      3375         142417       27330         1        -121.0000        -174.0298     43.83%
3371.16/3381.08	c      3381         142718       27393         1        -121.0000        -174.0254     43.82%
3377.24/3387.14	c      3387         143092       27445         1        -121.0000        -174.0186     43.82%
3382.81/3392.75	c      3393         143313       27500         1        -121.0000        -174.0168     43.82%
3388.60/3398.51	c      3399         143478       27541         1        -121.0000        -174.0134     43.81%
3394.38/3404.31	c      3404         143619       27604         1        -121.0000        -174.0115     43.81%
3399.47/3409.43	c      3409         143812       27659         1        -121.0000        -174.0094     43.81%
3405.25/3415.24	c      3415         144012       27687         1        -121.0000        -174.0071     43.81%
3410.54/3420.50	c      3420         144161       27734         1        -121.0000        -174.0030     43.80%
3415.53/3425.52	c      3426         144302       27783         1        -121.0000        -174.0013     43.80%
3420.71/3430.79	c      3431         144517       27852         1        -121.0000        -174.0013     43.80%
3425.80/3435.80	c      3436         144682       27929         1        -121.0000        -173.9975     43.80%
3430.89/3440.92	c      3441         144870       27989         1        -121.0000        -173.9962     43.80%
3436.17/3446.21	c      3446         145088       28073         1        -121.0000        -173.9962     43.80%
3441.46/3451.51	c      3452         145317       28126         1        -121.0000        -173.9945     43.80%
3446.84/3456.93	c      3457         145492       28179         1        -121.0000        -173.9926     43.80%
3453.32/3463.42	c      3463         145680       28265         1        -121.0000        -173.9899     43.79%
3458.81/3468.97	c      3469         145839       28306         1        -121.0000        -173.9892     43.79%
3464.01/3474.15	c      3474         146148       28351         1        -121.0000        -173.9892     43.79%
3469.28/3479.41	c      3479         146285       28408         1        -121.0000        -173.9857     43.79%
3474.76/3484.98	c      3485         146499       28482         1        -121.0000        -173.9829     43.79%
3480.15/3490.33	c      3490         146692       28553         1        -121.0000        -173.9793     43.78%
3485.74/3495.94	c      3496         146871       28608         1        -121.0000        -173.9793     43.78%
3491.72/3501.95	c      3502         147040       28667         1        -121.0000        -173.9782     43.78%
3497.11/3507.34	c      3507         147217       28696         1        -121.0000        -173.9763     43.78%
3502.29/3512.59	c      3513         147548       28743         1        -121.0000        -173.9749     43.78%
3507.38/3517.65	c      3518         147725       28798         1        -121.0000        -173.9677     43.77%
3513.36/3523.66	c      3524         147835       28834         1        -121.0000        -173.9659     43.77%
3518.76/3529.09	c      3529         148092       28899         1        -121.0000        -173.9651     43.77%
3524.24/3534.58	c      3535         148402       28979         1        -121.0000        -173.9606     43.77%
3529.51/3539.84	c      3540         148626       29051         1        -121.0000        -173.9565     43.77%
3535.11/3545.44	c      3545         148782       29127         1        -121.0000        -173.9565     43.77%
3540.89/3551.26	c      3551         149054       29197         1        -121.0000        -173.9562     43.77%
3546.78/3557.14	c      3557         149428       29291         1        -121.0000        -173.9507     43.76%
3552.26/3562.67	c      3563         149842       29337         1        -121.0000        -173.9383     43.75%
3557.76/3568.15	c      3568         150092       29425         1        -121.0000        -173.9335     43.75%
3562.93/3573.36	c      3573         150252       29487         1        -121.0000        -173.9323     43.75%
3567.91/3578.39	c      3578         150500       29549         1        -121.0000        -173.9292     43.74%
3574.39/3584.85	c      3585         150724       29607         1        -121.0000        -173.9264     43.74%
3580.08/3590.53	c      3591         150872       29675         1        -121.0000        -173.9257     43.74%
3585.27/3595.76	c      3596         151122       29773         1        -121.0000        -173.9207     43.74%
3587.76/3598.28	c SCIP Status        : c solving was interrupted [hard time limit reached]
3587.76/3598.28	c Total Time         : 3598.27
3587.76/3598.28	c   solving          : 3598.27
3587.76/3598.28	c   presolving       : 0.10 (included in solving)
3587.76/3598.28	c B&B Tree           :
3587.76/3598.28	c   nodes (total)    : 1
3587.76/3598.28	c Solution           :
3587.76/3598.28	c   Solutions found  : 6
3587.76/3598.28	c   Primal Bound     : -1.21000000000000e+02
3587.76/3598.28	c   Dual Bound       : -1.73918874178087e+02
3587.76/3598.28	c Gap                : 43.73461 %
3587.76/3598.28	c * Warning: final gap: 4.37346e-01 is greater than SCIPepsilon: 1.00000e-09
3587.76/3598.28	o -121
3587.76/3598.28	s SATISFIABLE
3587.76/3598.28	v x500 -x499 -x498 x497 x496 -x495 -x494 -x493 x492 -x491 x490 x489 x488 -x487 x486 x485 -x484 x483 -x482 x481 -x480 -x479 x478 -x477 
3587.76/3598.28	v x476 x475 -x474 x473 -x472 -x471 x470 -x469 x468 x467 x466 x465 -x464 -x463 -x462 x461 x460 -x459 -x458 -x457 -x456 x455 
3587.76/3598.28	v -x454 x453 -x452 -x451 x450 -x449 x448 x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 x438 -x437 -x436 -x435 x434 -x433 
3587.76/3598.28	v -x432 -x431 -x430 x429 -x428 -x427 -x426 -x425 x424 x423 x422 -x421 -x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 
3587.76/3598.28	v x410 -x409 x408 x407 -x406 x405 -x404 -x403 -x402 x401 -x400 x399 -x398 x397 -x396 x395 -x394 -x393 x392 x391 -x390 x389 -x388 
3587.76/3598.28	v x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 x378 x377 -x376 x375 -x374 x373 -x372 -x371 -x370 -x369 -x368 x367 
3587.76/3598.28	v -x366 -x365 x364 -x363 x362 -x361 x360 -x359 x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 
3587.76/3598.28	v x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332 -x331 x330 x329 -x328 x327 -x326 -x325 x324 -x323 
3587.76/3598.28	v -x322 -x321 -x320 x319 -x318 x317 -x316 -x315 x314 -x313 -x312 x311 x310 -x309 x308 -x307 -x306 -x305 x304 -x303 -x302 -x301 
3587.76/3598.28	v x300 -x299 x298 x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 
3587.76/3598.28	v x279 x278 -x277 -x276 x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 x267 x266 -x265 -x264 -x263 -x262 x261 -x260 x259 x258 -x257 
3587.76/3598.28	v -x256 -x255 -x254 -x253 x252 -x251 -x250 x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 x240 x239 -x238 -x237 x236 -x235 
3587.76/3598.28	v -x234 -x233 -x232 -x231 -x230 x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 
3587.76/3598.28	v -x213 -x212 x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 x194 x193 
3587.76/3598.28	v -x192 -x191 x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 x179 -x178 -x177 -x176 x175 x174 -x173 -x172 -x171 
3587.76/3598.28	v x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 
3587.76/3598.28	v -x149 -x148 -x147 x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 
3587.76/3598.28	v -x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 
3587.76/3598.28	v -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 x86 -x85 x84 -x83 -x82 
3587.76/3598.28	v -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 
3587.76/3598.28	v -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 
3587.76/3598.28	v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 
3587.76/3598.28	v -x4 -x3 -x2 -x1 

Verifier Data

OK	-121

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (60740 MiB free)
  memory of node 1: 64473 MiB (57537 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=29602, runsolver pid=29599

[startup+0.100829 s]*
/proc/loadavg: 4.22 4.16 4.10 4/245 29613
/proc/meminfo: memFree=121092964/131655788 swapFree=131071472/131071996
[pid=29602] ppid=29599 vsize=41840 memory=30888 CPUtime=0.1 cores=4,6
/proc/29602/stat : 29602 (fscip) R 29599 29602 27283 0 -1 4194304 5325 0 0 0 8 2 0 0 20 0 1 0 4589503 42844160 7722 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
/proc/29602/statm: 10460 7722 2630 3035 0 6856 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41840 KiB
Current children cumulated memory: 30888 KiB

[startup+0.213646 s]*
/proc/loadavg: 4.22 4.16 4.10 4/246 29636
/proc/meminfo: memFree=121090328/131655788 swapFree=131071472/131071996
[pid=29602] ppid=29599 vsize=129988 memory=45280 CPUtime=0.21 cores=4,6
/proc/29602/stat : 29602 (fscip) S 29599 29602 27283 0 -1 1077936128 9216 0 0 0 18 3 0 0 20 0 3 0 4589503 133107712 11320 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
/proc/29602/statm: 32497 11320 2742 3035 0 15013 0
[pid=29602/tid=29626] ppid=29599 vsize=129988 memory=7236794705693048951 CPUtime=0.04 cores=4,6
/proc/29602/task/29626/stat : 29626 (fscip) R 29599 29602 27283 0 -1 4194368 2486 0 0 0 4 0 0 0 20 0 3 0 4589518 133107712 11320 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
[pid=29602/tid=29633] ppid=29599 vsize=129988 memory=55998 CPUtime=0 cores=4,6
/proc/29602/task/29633/stat : 29633 (fscip) S 29599 29602 27283 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4589521 133107712 11320 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 129988 KiB
Current children cumulated memory: 45280 KiB

[startup+0.313509 s]*
/proc/loadavg: 4.22 4.16 4.10 6/246 29639
/proc/meminfo: memFree=121050716/131655788 swapFree=131071472/131071996
[pid=29602] ppid=29599 vsize=131828 memory=52584 CPUtime=0.31 cores=4,6
/proc/29602/stat : 29602 (fscip) S 29599 29602 27283 0 -1 1077936128 10825 0 0 0 27 4 0 0 20 0 3 0 4589503 134991872 13146 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
/proc/29602/statm: 32957 13146 2934 3035 0 16624 0
[pid=29602/tid=29626] ppid=29599 vsize=131828 memory=-5155625816920648837 CPUtime=0.14 cores=4,6
/proc/29602/task/29626/stat : 29626 (fscip) R 29599 29602 27283 0 -1 4194368 4095 0 0 0 13 1 0 0 20 0 3 0 4589518 134991872 13146 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
[pid=29602/tid=29633] ppid=29599 vsize=131828 memory=0 CPUtime=0 cores=4,6
/proc/29602/task/29633/stat : 29633 (fscip) S 29599 29602 27283 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4589521 134991872 13146 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 131828 KiB
Current children cumulated memory: 52584 KiB

[startup+0.700463 s]
/proc/loadavg: 4.22 4.16 4.10 6/252 29649
/proc/meminfo: memFree=121024368/131655788 swapFree=131071472/131071996
[pid=29602] ppid=29599 vsize=131828 memory=55808 CPUtime=0.68 cores=4,6
/proc/29602/stat : 29602 (fscip) S 29599 29602 27283 0 -1 1077936128 11672 0 0 0 64 4 0 0 20 0 3 0 4589503 134991872 13952 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
/proc/29602/statm: 32957 13952 2950 3035 0 17640 0
[pid=29602/tid=29626] ppid=29599 vsize=131828 memory=0 CPUtime=0.51 cores=4,6
/proc/29602/task/29626/stat : 29626 (fscip) R 29599 29602 27283 0 -1 4194368 4942 0 0 0 50 1 0 0 20 0 3 0 4589518 134991872 13952 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
[pid=29602/tid=29633] ppid=29599 vsize=131828 memory=0 CPUtime=0 cores=4,6
/proc/29602/task/29633/stat : 29633 (fscip) S 29599 29602 27283 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4589521 134991872 13952 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 131828 KiB
Current children cumulated memory: 55808 KiB

[startup+1.50043 s]
/proc/loadavg: 4.22 4.16 4.10 5/254 29651
/proc/meminfo: memFree=120990164/131655788 swapFree=131071472/131071996
[pid=29602] ppid=29599 vsize=131828 memory=60564 CPUtime=1.47 cores=4,6
/proc/29602/stat : 29602 (fscip) S 29599 29602 27283 0 -1 1077936128 15770 0 0 0 143 4 0 0 20 0 3 0 4589503 134991872 15141 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
/proc/29602/statm: 32957 15141 2950 3035 0 19111 0
[pid=29602/tid=29626] ppid=29599 vsize=131828 memory=0 CPUtime=1.32 cores=4,6
/proc/29602/task/29626/stat : 29626 (fscip) R 29599 29602 27283 0 -1 4194368 9035 0 0 0 130 2 0 0 20 0 3 0 4589518 134991872 15141 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
[pid=29602/tid=29633] ppid=29599 vsize=131828 memory=0 CPUtime=0 cores=4,6
/proc/29602/task/29633/stat : 29633 (fscip) S 29599 29602 27283 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4589521 134991872 15141 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 131828 KiB
Current children cumulated memory: 60564 KiB

[startup+3.11313 s]
/proc/loadavg: 4.22 4.16 4.10 5/254 29653
/proc/meminfo: memFree=120922944/131655788 swapFree=131071472/131071996
[pid=29602] ppid=29599 vsize=132852 memory=73340 CPUtime=3.09 cores=4,6
/proc/29602/stat : 29602 (fscip) S 29599 29602 27283 0 -1 1077936128 19239 0 0 0 304 5 0 0 20 0 3 0 4589503 136040448 18335 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
/proc/29602/statm: 33213 18335 2950 3035 0 23419 0
[pid=29602/tid=29626] ppid=29599 vsize=132852 memory=72124 CPUtime=2.92 cores=4,6
/proc/29602/task/29626/stat : 29626 (fscip) R 29599 29602 27283 0 -1 4194368 12504 0 0 0 290 2 0 0 20 0 3 0 4589518 136040448 18335 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
[pid=29602/tid=29633] ppid=29599 vsize=132852 memory=5939240096261170529 CPUtime=0 cores=4,6
/proc/29602/task/29633/stat : 29633 (fscip) S 29599 29602 27283 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4589521 136040448 18335 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 132852 KiB
Current children cumulated memory: 73340 KiB

[startup+6.30039 s]
/proc/loadavg: 4.20 4.16 4.10 5/254 29653
/proc/meminfo: memFree=120863032/131655788 swapFree=131071472/131071996
[pid=29602] ppid=29599 vsize=132852 memory=79260 CPUtime=6.26 cores=4,6
/proc/29602/stat : 29602 (fscip) S 29599 29602 27283 0 -1 1077936128 25674 0 0 0 621 5 0 0 20 0 3 0 4589503 136040448 19815 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
/proc/29602/statm: 33213 19815 2950 3035 0 25230 0
[pid=29602/tid=29626] ppid=29599 vsize=132852 memory=11424 CPUtime=6.1 cores=4,6
/proc/29602/task/29626/stat : 29626 (fscip) R 29599 29602 27283 0 -1 4194368 18908 0 0 0 607 3 0 0 20 0 3 0 4589518 136040448 19815 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
[pid=29602/tid=29633] ppid=29599 vsize=132852 memory=12736 CPUtime=0 cores=4,6
/proc/29602/task/29633/stat : 29633 (fscip) S 29599 29602 27283 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4589521 136040448 19815 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 132852 KiB
Current children cumulated memory: 79260 KiB

[startup+12.7003 s]
/proc/loadavg: 4.19 4.15 4.10 5/246 29784
/proc/meminfo: memFree=122174996/131655788 swapFree=131071472/131071996
[pid=29602] ppid=29599 vsize=132852 memory=80560 CPUtime=12.65 cores=4,6
/proc/29602/stat : 29602 (fscip) S 29599 29602 27283 0 -1 1077936128 31560 0 0 0 1259 6 0 0 20 0 3 0 4589503 136040448 20140 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
/proc/29602/statm: 33213 20140 2950 3035 0 25230 0
[pid=29602/tid=29626] ppid=29599 vsize=132852 memory=-7305802336621911415 CPUtime=12.48 cores=4,6
/proc/29602/task/29626/stat : 29626 (fscip) R 29599 29602 27283 0 -1 4194368 24761 0 0 0 1245 3 0 0 20 0 3 0 4589518 136040448 20140 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
[pid=29602/tid=29633] ppid=29599 vsize=132852 memory=2244 CPUtime=0 cores=4,6
/proc/29602/task/29633/stat : 29633 (fscip) S 29599 29602 27283 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4589521 136040448 20140 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 132852 KiB
Current children cumulated memory: 80560 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.14 4.09 6/254 29800
/proc/meminfo: memFree=121216736/131655788 swapFree=131071472/131071996
[pid=29602] ppid=29599 vsize=199416 memory=107736 CPUtime=25.39 cores=4,6
/proc/29602/stat : 29602 (fscip) S 29599 29602 27283 0 -1 1077936128 61027 0 0 0 2531 8 0 0 20 0 3 0 4589503 204201984 26934 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
/proc/29602/statm: 49854 26934 2998 3035 0 33675 0
[pid=29602/tid=29626] ppid=29599 vsize=199416 memory=98516 CPUtime=25.23 cores=4,6
/proc/29602/task/29626/stat : 29626 (fscip) R 29599 29602 27283 0 -1 4194368 54185 0 0 0 2517 6 0 0 20 0 3 0 4589518 204201984 26934 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
[pid=29602/tid=29633] ppid=29599 vsize=199416 memory=11424 CPUtime=0 cores=4,6
/proc/29602/task/29633/stat : 29633 (fscip) S 29599 29602 27283 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 4589521 204201984 26934 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 199416 KiB
Current children cumulated memory: 107736 KiB

[startup+51.1122 s]
/proc/loadavg: 4.17 4.15 4.09 5/252 29859
/proc/meminfo: memFree=120617072/131655788 swapFree=131071472/131071996
[pid=29602] ppid=29599 vsize=267784 memory=159208 CPUtime=50.93 cores=4,6
/proc/29602/stat : 29602 (fscip) S 29599 29602 27283 0 -1 1077936128 110519 0 0 0 5080 13 0 0 20 0 3 0 4589503 274210816 39802 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
/proc/29602/statm: 66946 39802 2998 3035 0 47776 0
[pid=29602/tid=29626] ppid=29599 vsize=267784 memory=158388 CPUtime=50.77 cores=4,6
/proc/29602/task/29626/stat : 29626 (fscip) R 29599 29602 27283 0 -1 4194368 103535 0 0 0 5066 11 0 0 20 0 3 0 4589518 274210816 39802 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
[pid=29602/tid=29633] ppid=29599 vsize=267784 memory=155932 CPUtime=0 cores=4,6
/proc/29602/task/29633/stat : 29633 (fscip) S 29599 29602 27283 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4589521 274210816 39802 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 267784 KiB
Current children cumulated memory: 159208 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/252 29869
/proc/meminfo: memFree=120460840/131655788 swapFree=131071472/131071996
[pid=29602] ppid=29599 vsize=277284 memory=205536 CPUtime=101.97 cores=4,6
/proc/29602/stat : 29602 (fscip) S 29599 29602 27283 0 -1 1077936128 156891 0 0 0 10180 17 0 0 20 0 3 0 4589503 283938816 51384 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
/proc/29602/statm: 69321 51384 2998 3035 0 60910 0
[pid=29602/tid=29626] ppid=29599 vsize=277284 memory=11424 CPUtime=101.8 cores=4,6
/proc/29602/task/29626/stat : 29626 (fscip) R 29599 29602 27283 0 -1 4194368 149771 0 0 0 10166 14 0 0 20 0 3 0 4589518 283938816 51384 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
[pid=29602/tid=29633] ppid=29599 vsize=277284 memory=12736 CPUtime=0 cores=4,6
/proc/29602/task/29633/stat : 29633 (fscip) S 29599 29602 27283 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4589521 283938816 51384 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 277284 KiB
Current children cumulated memory: 205536 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/252 29880
/proc/meminfo: memFree=120416008/131655788 swapFree=131071472/131071996
[pid=29602] ppid=29599 vsize=353628 memory=222624 CPUtime=161.79 cores=4,6
/proc/29602/stat : 29602 (fscip) S 29599 29602 27283 0 -1 1077936128 193692 0 0 0 16159 20 0 0 20 0 3 0 4589503 362115072 55656 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
/proc/29602/statm: 88407 55656 2998 3035 0 69828 0
[pid=29602/tid=29626] ppid=29599 vsize=353628 memory=211020 CPUtime=161.62 cores=4,6
/proc/29602/task/29626/stat : 29626 (fscip) R 29599 29602 27283 0 -1 4194368 186535 0 0 0 16145 17 0 0 20 0 3 0 4589518 362115072 55656 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
[pid=29602/tid=29633] ppid=29599 vsize=353628 memory=12736 CPUtime=0 cores=4,6
/proc/29602/task/29633/stat : 29633 (fscip) S 29599 29602 27283 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 4589521 362115072 55656 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 353628 KiB
Current children cumulated memory: 222624 KiB

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

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

Current children cumulated memory: 665772 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.13 4.13 5/251 31504
/proc/meminfo: memFree=115703680/131655788 swapFree=131071472/131071996
[pid=29602] ppid=29599 vsize=806672 memory=673328 CPUtime=3452.23 cores=4,6
/proc/29602/stat : 29602 (fscip) S 29599 29602 27283 0 -1 1077936128 2760804 0 0 0 344930 293 0 0 20 0 3 0 4589503 826032128 168332 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
/proc/29602/statm: 201668 168332 2998 3035 0 197781 0
[pid=29602/tid=29626] ppid=29599 vsize=806672 memory=680424 CPUtime=3451.68 cores=4,6
/proc/29602/task/29626/stat : 29626 (fscip) R 29599 29602 27283 0 -1 4194368 2752684 0 0 0 344893 275 0 0 20 0 3 0 4589518 826032128 168332 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
[pid=29602/tid=29633] ppid=29599 vsize=806672 memory=673328 CPUtime=0.05 cores=4,6
/proc/29602/task/29633/stat : 29633 (fscip) S 29599 29602 27283 0 -1 1077936192 141 0 0 0 2 3 0 0 20 0 3 0 4589521 826032128 168332 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
Current children cumulated CPU time: 3452.23 s
Current children cumulated vsize: 806672 KiB
Current children cumulated memory: 673328 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/253 31684
/proc/meminfo: memFree=115691012/131655788 swapFree=131071472/131071996
[pid=29602] ppid=29599 vsize=806672 memory=679400 CPUtime=3512.07 cores=4,6
/proc/29602/stat : 29602 (fscip) S 29599 29602 27283 0 -1 1077936128 2823360 0 0 0 350909 298 0 0 20 0 3 0 4589503 826032128 169850 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
/proc/29602/statm: 201668 169850 2998 3035 0 197781 0
[pid=29602/tid=29626] ppid=29599 vsize=806672 memory=12700 CPUtime=3511.5 cores=4,6
/proc/29602/task/29626/stat : 29626 (fscip) R 29599 29602 27283 0 -1 4194368 2815222 0 0 0 350871 279 0 0 20 0 3 0 4589518 826032128 169850 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
[pid=29602/tid=29633] ppid=29599 vsize=806672 memory=678860 CPUtime=0.06 cores=4,6
/proc/29602/task/29633/stat : 29633 (fscip) S 29599 29602 27283 0 -1 1077936192 141 0 0 0 2 4 0 0 20 0 3 0 4589521 826032128 169850 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
Current children cumulated CPU time: 3512.07 s
Current children cumulated vsize: 806672 KiB
Current children cumulated memory: 679400 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.14 4.13 5/253 31694
/proc/meminfo: memFree=115662276/131655788 swapFree=131071472/131071996
[pid=29602] ppid=29599 vsize=873888 memory=689804 CPUtime=3571.9 cores=4,6
/proc/29602/stat : 29602 (fscip) S 29599 29602 27283 0 -1 1077936128 2899895 0 0 0 356886 304 0 0 20 0 3 0 4589503 894861312 172451 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
/proc/29602/statm: 218472 172451 2998 3035 0 198632 0
[pid=29602/tid=29626] ppid=29599 vsize=873888 memory=11424 CPUtime=3571.34 cores=4,6
/proc/29602/task/29626/stat : 29626 (fscip) R 29599 29602 27283 0 -1 4194368 2891740 0 0 0 356849 285 0 0 20 0 3 0 4589518 894861312 172451 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
[pid=29602/tid=29633] ppid=29599 vsize=873888 memory=689756 CPUtime=0.06 cores=4,6
/proc/29602/task/29633/stat : 29633 (fscip) S 29599 29602 27283 0 -1 1077936192 143 0 0 0 2 4 0 0 20 0 3 0 4589521 894861312 172451 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
Current children cumulated CPU time: 3571.9 s
Current children cumulated vsize: 873888 KiB
Current children cumulated memory: 689804 KiB

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

# cumulated CPU time of all completed processes:  user=3584.78 s, system=3.10522 s

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

[startup+3584 s]*
/proc/loadavg: 4.19 4.14 4.13 5/253 31695
/proc/meminfo: memFree=115661896/131655788 swapFree=131071472/131071996
[pid=29602] ppid=29599 vsize=873888 memory=689804 CPUtime=3573.61 cores=4,6
/proc/29602/stat : 29602 (fscip) S 29599 29602 27283 0 -1 1077936128 2900127 0 0 0 357057 304 0 0 20 0 3 0 4589503 894861312 172451 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
/proc/29602/statm: 218472 172451 2998 3035 0 198632 0
[pid=29602/tid=29626] ppid=29599 vsize=873888 memory=-7017571960470201210 CPUtime=3573.05 cores=4,6
/proc/29602/task/29626/stat : 29626 (fscip) R 29599 29602 27283 0 -1 4194368 2891972 0 0 0 357020 285 0 0 20 0 3 0 4589518 894861312 172451 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
[pid=29602/tid=29633] ppid=29599 vsize=873888 memory=4715433308606590621 CPUtime=0.06 cores=4,6
/proc/29602/task/29633/stat : 29633 (fscip) S 29599 29602 27283 0 -1 1077936192 143 0 0 0 2 4 0 0 20 0 3 0 4589521 894861312 172451 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
Current children cumulated CPU time: 3573.61 s
Current children cumulated vsize: 873888 KiB
Current children cumulated memory: 689804 KiB

[startup+3590.4 s]
/proc/loadavg: 4.16 4.14 4.13 5/253 31695
/proc/meminfo: memFree=115661612/131655788 swapFree=131071472/131071996
[pid=29602] ppid=29599 vsize=873888 memory=689804 CPUtime=3579.98 cores=4,6
/proc/29602/stat : 29602 (fscip) S 29599 29602 27283 0 -1 1077936128 2900732 0 0 0 357693 305 0 0 20 0 3 0 4589503 894861312 172451 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
/proc/29602/statm: 218472 172451 2998 3035 0 198632 0
[pid=29602/tid=29626] ppid=29599 vsize=873888 memory=4715433308606590621 CPUtime=3579.41 cores=4,6
/proc/29602/task/29626/stat : 29626 (fscip) R 29599 29602 27283 0 -1 4194368 2892577 0 0 0 357656 285 0 0 20 0 3 0 4589518 894861312 172451 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
[pid=29602/tid=29633] ppid=29599 vsize=873888 memory=-7305802336621911415 CPUtime=0.06 cores=4,6
/proc/29602/task/29633/stat : 29633 (fscip) S 29599 29602 27283 0 -1 1077936192 143 0 0 0 2 4 0 0 20 0 3 0 4589521 894861312 172451 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
Current children cumulated CPU time: 3579.98 s
Current children cumulated vsize: 873888 KiB
Current children cumulated memory: 689804 KiB

[startup+3593.6 s]
/proc/loadavg: 4.16 4.14 4.13 5/253 31697
/proc/meminfo: memFree=115661592/131655788 swapFree=131071472/131071996
[pid=29602] ppid=29599 vsize=873888 memory=689804 CPUtime=3583.17 cores=4,6
/proc/29602/stat : 29602 (fscip) S 29599 29602 27283 0 -1 1077936128 2900877 0 0 0 358012 305 0 0 20 0 3 0 4589503 894861312 172451 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
/proc/29602/statm: 218472 172451 2998 3035 0 198632 0
[pid=29602/tid=29626] ppid=29599 vsize=873888 memory=689804 CPUtime=3582.6 cores=4,6
/proc/29602/task/29626/stat : 29626 (fscip) R 29599 29602 27283 0 -1 4194368 2892722 0 0 0 357975 285 0 0 20 0 3 0 4589518 894861312 172451 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
[pid=29602/tid=29633] ppid=29599 vsize=873888 memory=11424 CPUtime=0.06 cores=4,6
/proc/29602/task/29633/stat : 29633 (fscip) S 29599 29602 27283 0 -1 1077936192 143 0 0 0 2 4 0 0 20 0 3 0 4589521 894861312 172451 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
Current children cumulated CPU time: 3583.17 s
Current children cumulated vsize: 873888 KiB
Current children cumulated memory: 689804 KiB

[startup+3596.8 s]
/proc/loadavg: 4.14 4.14 4.13 5/253 31697
/proc/meminfo: memFree=115661176/131655788 swapFree=131071472/131071996
[pid=29602] ppid=29599 vsize=873888 memory=689804 CPUtime=3586.36 cores=4,6
/proc/29602/stat : 29602 (fscip) S 29599 29602 27283 0 -1 1077936128 2906486 0 0 0 358331 305 0 0 20 0 3 0 4589503 894861312 172451 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
/proc/29602/statm: 218472 172451 2998 3035 0 198632 0
[pid=29602/tid=29626] ppid=29599 vsize=873888 memory=689804 CPUtime=3585.8 cores=4,6
/proc/29602/task/29626/stat : 29626 (fscip) R 29599 29602 27283 0 -1 4194368 2898330 0 0 0 358294 286 0 0 20 0 3 0 4589518 894861312 172451 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
[pid=29602/tid=29633] ppid=29599 vsize=873888 memory=1944 CPUtime=0.06 cores=4,6
/proc/29602/task/29633/stat : 29633 (fscip) S 29599 29602 27283 0 -1 1077936192 143 0 0 0 2 4 0 0 20 0 3 0 4589521 894861312 172451 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
Current children cumulated CPU time: 3586.36 s
Current children cumulated vsize: 873888 KiB
Current children cumulated memory: 689804 KiB

[startup+3597.6 s]
/proc/loadavg: 4.14 4.14 4.13 5/253 31697
/proc/meminfo: memFree=115661196/131655788 swapFree=131071472/131071996
[pid=29602] ppid=29599 vsize=873888 memory=689804 CPUtime=3587.16 cores=4,6
/proc/29602/stat : 29602 (fscip) S 29599 29602 27283 0 -1 1077936128 2906750 0 0 0 358411 305 0 0 20 0 3 0 4589503 894861312 172451 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
/proc/29602/statm: 218472 172451 2998 3035 0 198632 0
[pid=29602/tid=29626] ppid=29599 vsize=873888 memory=11424 CPUtime=3586.6 cores=4,6
/proc/29602/task/29626/stat : 29626 (fscip) R 29599 29602 27283 0 -1 4194368 2898594 0 0 0 358374 286 0 0 20 0 3 0 4589518 894861312 172451 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
[pid=29602/tid=29633] ppid=29599 vsize=873888 memory=12700 CPUtime=0.06 cores=4,6
/proc/29602/task/29633/stat : 29633 (fscip) S 29599 29602 27283 0 -1 1077936192 143 0 0 0 2 4 0 0 20 0 3 0 4589521 894861312 172451 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
Current children cumulated CPU time: 3587.16 s
Current children cumulated vsize: 873888 KiB
Current children cumulated memory: 689804 KiB

[startup+3598 s]*
/proc/loadavg: 4.14 4.14 4.13 5/253 31697
/proc/meminfo: memFree=115661168/131655788 swapFree=131071472/131071996
[pid=29602] ppid=29599 vsize=873888 memory=689804 CPUtime=3587.57 cores=4,6
/proc/29602/stat : 29602 (fscip) S 29599 29602 27283 0 -1 1077936128 2908227 0 0 0 358452 305 0 0 20 0 3 0 4589503 894861312 172451 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
/proc/29602/statm: 218472 172451 2998 3035 0 198632 0
[pid=29602/tid=29626] ppid=29599 vsize=873888 memory=-7017571960470201210 CPUtime=3587.01 cores=4,6
/proc/29602/task/29626/stat : 29626 (fscip) R 29599 29602 27283 0 -1 4194368 2900078 0 0 0 358415 286 0 0 20 0 3 0 4589518 894861312 172451 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
[pid=29602/tid=29633] ppid=29599 vsize=873888 memory=4715433308606590621 CPUtime=0.06 cores=4,6
/proc/29602/task/29633/stat : 29633 (fscip) S 29599 29602 27283 0 -1 1077936192 143 0 0 0 2 4 0 0 20 0 3 0 4589521 894861312 172451 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
Current children cumulated CPU time: 3587.57 s
Current children cumulated vsize: 873888 KiB
Current children cumulated memory: 689804 KiB

[startup+3598.2 s]
/proc/loadavg: 4.14 4.14 4.13 5/253 31697
/proc/meminfo: memFree=115661168/131655788 swapFree=131071472/131071996
[pid=29602] ppid=29599 vsize=870804 memory=686728 CPUtime=3587.76 cores=4,6
/proc/29602/stat : 29602 (fscip) S 29599 29602 27283 0 -1 1077936128 2924541 0 0 0 358470 306 0 0 20 0 3 0 4589503 891703296 171682 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
/proc/29602/statm: 217701 171682 2998 3035 0 197861 0
[pid=29602/tid=29626] ppid=29599 vsize=870804 memory=768760 CPUtime=3587.19 cores=4,6
/proc/29602/task/29626/stat : 29626 (fscip) R 29599 29602 27283 0 -1 4194368 2916395 0 0 0 358432 287 0 0 20 0 3 0 4589518 891703296 171682 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
[pid=29602/tid=29633] ppid=29599 vsize=870804 memory=2700 CPUtime=0.06 cores=4,6
/proc/29602/task/29633/stat : 29633 (fscip) S 29599 29602 27283 0 -1 1077936192 143 0 0 0 2 4 0 0 20 0 3 0 4589521 891703296 171682 134679101440 4194304 16623229 140724354457520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36372480 140724354462742 140724354462858 140724354462858 140724354469872 0
Current children cumulated CPU time: 3587.76 s
Current children cumulated vsize: 870804 KiB
Current children cumulated memory: 686728 KiB

[startup+3598.31 s]*
/proc/loadavg: 4.14 4.14 4.13 5/252 31697
/proc/meminfo: memFree=116206676/131655788 swapFree=131071472/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3598.33
CPU time (s): 3587.88
CPU user time (s): 3584.78
CPU system time (s): 3.10522
CPU usage (%): 99.7097
Max. virtual memory (cumulated for all children) (KiB): 873888
Max. memory (cumulated for all children) (KiB): 689804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.78
system time used= 3.10522
maximum resident set size= 689804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2929772
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= 11662
involuntary context switches= 2628


# summary of solver processes directly reported to runsolver:
#   pid: 29602
#   total CPU time (s): 3587.88
#   total CPU user time (s): 3584.78
#   total CPU system time (s): 3.10522

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4034 second user time and 36.3281 second system time

The end

Launcher Data

Begin job on nodeC012 at 2024-07-31 01:29:54
IDJOB=4464796
IDBENCH=148554
IDSOLVER=3092
FILE ID=nodeC012/4464796-1722382194
RUNJOBID= nodeC012-1722378594-27294
SLURM_JOB_ID= 8249842
Free space on /tmp= 723724 MiB

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

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

MD5SUM BENCH= a8db507b9a19068579e2e54aa556294a
RANDOM SEED=1367756045

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        121116792 kB
MemAvailable:   128646496 kB
Buffers:           91060 kB
Cached:          8240692 kB
SwapCached:           48 kB
Active:           263240 kB
Inactive:        9773220 kB
Active(anon):       1400 kB
Inactive(anon):  1724576 kB
Active(file):     261840 kB
Inactive(file):  8048644 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:             85140 kB
Writeback:             0 kB
AnonPages:       1704364 kB
Mapped:            99552 kB
Shmem:             21248 kB
KReclaimable:     118840 kB
Slab:             201716 kB
SReclaimable:     118840 kB
SUnreclaim:        82876 kB
KernelStack:        3872 kB
PageTables:        11352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1095352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6336 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1406976 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      199496 kB
DirectMap2M:    13336576 kB
DirectMap1G:    122683392 kB

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