Trace number 4434629

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-02SAT64 3591 3600.27

General information on the benchmark

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

Solver Data

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01	c Default LC presolving (default).
0.00/0.01	c ** Before presolving: virtualMemUsedAtLc = 32133120, getVmSize() = 32133120, SCIPgetMemUsed() = 7349363, SCIPgetMemTotal() = 10231795, SCIPgetMemExternEstim() = 5187808
0.00/0.01	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.09/0.11	c ** Estimated virtualMemUsedAtSolver = 26471082, getVmSize() = 47280128, SCIPgetMemUsed() = 13654054, SCIPgetMemTotal() = 23856934, SCIPgetMemExternEstim() = 5187808
0.09/0.11	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.09/0.11	c Original Problem   :
0.09/0.11	c   Problem name     : instance-4434629-1721067691
0.09/0.11	c   Variables        : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.11	c   Constraints      : 4476
0.09/0.11	c   Objective sense  : minimize
0.09/0.11	c Presolved Problem  :
0.09/0.11	c   Variables        : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.11	c   Constraints      : 4476
0.09/0.11	c Constraints        : Number
0.09/0.11	c   knapsack         : 1734 
0.09/0.11	c   setppc           : 840 
0.09/0.11	c   logicor          : 1902 
0.09/0.11	c ** Instance transfer method used: 0
0.09/0.12	c ** ParaScipInstance copy does not increase the number of variables. **
0.09/0.13	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.09/0.13	c                                Nodes    Active                                            
0.09/0.13	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.19/0.24	c *       0              0           1         1          94.0000                -          -
0.48/0.58	c *       1              0           1         1          82.0000                -          -
5.96/6.06	c         6              4           3         1          82.0000          48.0000     70.83%
11.64/11.70	c        12             16          15         1          82.0000          48.0000     70.83%
17.13/17.27	c        17             26          25         1          82.0000          48.0000     70.83%
19.94/20.05	c *      20             60          59         1          76.0000          48.0000     58.33%
22.63/22.75	c        23            124         119         1          76.0000          48.0000     58.33%
23.42/23.50	c *      24            124         119         1          74.0000          48.0000     54.17%
28.51/28.65	c        29            167         148         1          74.0000          48.0000     54.17%
33.90/34.02	c        34            284         227         1          74.0000          48.0000     54.17%
39.49/39.63	c        40            344         287         1          74.0000          48.0000     54.17%
44.97/45.14	c        45            404         347         1          74.0000          48.0000     54.17%
50.45/50.62	c        51            462         405         1          74.0000          48.0000     54.17%
55.85/56.06	c        56            512         453         1          74.0000          48.0000     54.17%
61.32/61.51	c        62            561         502         1          74.0000          48.0000     54.17%
66.61/66.80	c        67            607         548         1          74.0000          48.0000     54.17%
72.21/72.43	c        72            663         604         1          74.0000          48.0000     54.17%
77.69/77.96	c        78            731         672         1          74.0000          48.0000     54.17%
83.27/83.58	c        84            780         721         1          74.0000          48.0000     54.17%
88.86/89.17	c        89            833         774         1          74.0000          48.0000     54.17%
94.25/94.56	c        95            896         837         1          74.0000          48.0000     54.17%
99.33/99.62	c       100            940         881         1          74.0000          48.0000     54.17%
100.43/100.76	c *     101            964         905         1          72.0000          48.0000     50.00%
104.62/104.91	c       105           1016         945         1          72.0000          48.0000     50.00%
110.10/110.47	c       110           1071         994         1          72.0000          48.0000     50.00%
115.39/115.72	c       116           1129        1046         1          72.0000          48.0000     50.00%
121.27/121.61	c       122           1185        1100         1          72.0000          48.0000     50.00%
126.67/127.06	c       127           1233        1142         1          72.0000          48.0000     50.00%
132.15/132.58	c       133           1284        1191         1          72.0000          48.0000     50.00%
137.53/137.92	c       138           1328        1231         1          72.0000          48.0000     50.00%
142.82/143.22	c       143           1378        1275         1          72.0000          48.0000     50.00%
148.51/148.95	c       149           1444        1327         1          72.0000          48.0000     50.00%
153.99/154.49	c       154           1507        1372         1          72.0000          48.0000     50.00%
159.28/159.79	c       160           1580        1431         1          72.0000          48.0000     50.00%
164.57/165.06	c       165           1650        1491         1          72.0000          48.0000     50.00%
170.56/171.07	c       171           1715        1552         1          72.0000          48.0000     50.00%
176.14/176.65	c       177           1774        1607         1          72.0000          48.0000     50.00%
181.73/182.21	c       182           1826        1659         1          72.0000          48.0000     50.00%
187.31/187.84	c       188           1887        1720         1          72.0000          48.0000     50.00%
192.90/193.44	c       193           1942        1775         1          72.0000          48.0000     50.00%
198.38/198.94	c       199           2006        1839         1          72.0000          48.0000     50.00%
203.87/204.42	c       204           2058        1891         1          72.0000          48.0000     50.00%
209.46/210.02	c       210           2127        1948         1          72.0000          48.0000     50.00%
215.14/215.74	c       216           2186        2007         1          72.0000          48.0000     50.00%
220.83/221.45	c       221           2259        2078         1          72.0000          48.0000     50.00%
226.62/227.26	c       227           2331        2150         1          72.0000          48.0000     50.00%
227.42/228.03	c *     228           2331        2150         1          70.0000          48.0000     45.83%
232.00/232.65	c       233           2404        2201         1          70.0000          48.0000     45.83%
237.59/238.22	c       238           2480        2275         1          70.0000          48.0000     45.83%
242.87/243.55	c       244           2548        2337         1          70.0000          48.0000     45.83%
248.66/249.30	c       249           2613        2400         1          70.0000          48.0000     45.83%
254.54/255.25	c       255           2669        2452         1          70.0000          48.0000     45.83%
260.03/260.79	c       261           2727        2508         1          70.0000          48.0000     45.83%
265.32/266.09	c       266           2780        2561         1          70.0000          48.0000     45.83%
270.90/271.62	c       272           2837        2618         1          70.0000          48.0000     45.83%
276.49/277.22	c       277           2898        2675         1          70.0000          48.0000     45.83%
282.17/282.93	c       283           2957        2730         1          70.0000          48.0000     45.83%
287.37/288.11	c       288           3042        2805         1          70.0000          48.0000     45.83%
292.75/293.55	c       294           3136        2891         1          70.0000          48.0000     45.83%
298.03/298.87	c       299           3213        2966         1          70.0000          48.0000     45.83%
303.43/304.23	c       304           3297        3046         1          70.0000          48.0000     45.83%
308.71/309.55	c       310           3367        3110         1          70.0000          48.0000     45.83%
313.90/314.78	c       315           3441        3180         1          70.0000          48.0000     45.83%
319.29/320.16	c       320           3515        3248         1          70.0000          48.0000     45.83%
324.57/325.41	c       325           3591        3316         1          70.0000          48.0000     45.83%
330.65/331.51	c       332           3663        3386         1          70.0000          48.0000     45.83%
336.34/337.27	c       337           3754        3471         1          70.0000          48.0000     45.83%
341.93/342.87	c       343           3824        3535         1          70.0000          48.0000     45.83%
347.61/348.52	c       349           3916        3621         1          70.0000          48.0000     45.83%
353.70/354.60	c       355           3984        3685         1          70.0000          48.0000     45.83%
357.19/358.18	c *     358           4018        3715         1          68.0000          48.0000     41.67%
359.18/360.10	c       360           4060        3692         1          68.0000          48.0000     41.67%
364.67/365.63	c       366           4142        3766         1          68.0000          48.0000     41.67%
365.87/366.83	c *     367           4163        3787         1          66.0000          48.0000     37.50%
370.06/371.03	c       371           4232        3716         1          66.0000          48.0000     37.50%
375.34/376.38	c       376           4300        3776         1          66.0000          48.0000     37.50%
380.63/381.65	c       382           4391        3845         1          66.0000          48.0000     37.50%
385.81/386.83	c       387           4473        3911         1          66.0000          48.0000     37.50%
391.40/392.47	c       392           4547        3983         1          66.0000          48.0000     37.50%
396.89/397.93	c       398           4631        4053         1          66.0000          48.0000     37.50%
402.08/403.17	c       403           4713        4129         1          66.0000          48.0000     37.50%
407.66/408.74	c       409           4791        4197         1          66.0000          48.0000     37.50%
412.75/413.88	c       414           4882        4270         1          66.0000          48.0000     37.50%
418.04/419.18	c       419           4958        4340         1          66.0000          48.0000     37.50%
423.32/424.48	c       424           5056        4416         1          66.0000          48.0000     37.50%
428.61/429.77	c       430           5138        4494         1          66.0000          48.0000     37.50%
434.19/435.32	c       435           5243        4575         1          66.0000          48.0000     37.50%
439.39/440.55	c       441           5345        4655         1          66.0000          48.0000     37.50%
444.88/446.04	c       446           5446        4738         1          66.0000          48.0000     37.50%
450.35/451.55	c       452           5518        4802         1          66.0000          48.0000     37.50%
455.84/457.06	c       457           5609        4875         1          66.0000          48.0000     37.50%
461.32/462.54	c       463           5731        4973         1          66.0000          48.0000     37.50%
466.61/467.87	c       468           5807        5047         1          66.0000          48.0000     37.50%
472.01/473.20	c       473           5909        5133         1          66.0000          48.0000     37.50%
477.28/478.52	c       479           6015        5211         1          66.0000          48.0000     37.50%
482.67/483.92	c       484           6114        5282         1          66.0000          48.0000     37.50%
487.96/489.24	c       489           6199        5357         1          66.0000          48.0000     37.50%
493.05/494.33	c       494           6295        5437         1          66.0000          48.0000     37.50%
498.54/499.80	c       500           6413        5529         1          66.0000          48.0000     37.50%
503.62/504.96	c       505           6547        5625         1          66.0000          48.0000     37.50%
509.01/510.30	c       510           6702        5742         1          66.0000          48.0000     37.50%
514.20/515.53	c       516           6834        5835         1          66.0000          48.0000     37.50%
519.48/520.80	c       521           6969        5934         1          66.0000          48.0000     37.50%
524.47/525.89	c       526           7125        6040         1          66.0000          48.0000     37.50%
530.45/531.83	c       532           7254        6135         1          66.0000          48.0000     37.50%
535.85/537.22	c       537           7355        6224         1          66.0000          48.0000     37.50%
541.13/542.51	c       543           7476        6317         1          66.0000          48.0000     37.50%
546.62/548.10	c       548           7603        6406         1          66.0000          48.0000     37.50%
552.30/553.70	c       554           7735        6521         1          66.0000          48.0000     37.50%
557.59/559.00	c       559           7843        6611         1          66.0000          48.0000     37.50%
563.07/564.52	c       565           7946        6700         1          66.0000          48.0000     37.50%
568.17/569.64	c       570           8057        6793         1          66.0000          48.0000     37.50%
573.66/575.12	c       575           8153        6869         1          66.0000          48.0000     37.50%
578.84/580.39	c       580           8288        6976         1          66.0000          48.0000     37.50%
584.12/585.62	c       586           8361        7049         1          66.0000          48.0000     37.50%
589.71/591.22	c       591           8428        7112         1          66.0000          48.0000     37.50%
594.90/596.44	c       596           8519        7185         1          66.0000          48.0000     37.50%
600.09/601.69	c       602           8595        7255         1          66.0000          48.0000     37.50%
605.48/607.05	c       607           8718        7356         1          66.0000          48.0000     37.50%
610.66/612.22	c       612           8818        7444         1          66.0000          48.0000     37.50%
615.95/617.50	c       618           8950        7538         1          66.0000          48.0000     37.50%
621.24/622.89	c       623           9074        7642         1          66.0000          48.0000     37.50%
626.43/628.06	c       628           9197        7745         1          66.0000          48.0000     37.50%
631.61/633.22	c       633           9348        7845         1          66.0000          48.0000     37.50%
636.80/638.44	c       638           9472        7941         1          66.0000          48.0000     37.50%
642.08/643.73	c       644           9591        8034         1          66.0000          48.0000     37.50%
647.27/648.92	c       649           9693        8118         1          66.0000          48.0000     37.50%
652.46/654.18	c       654           9878        8233         1          66.0000          48.0000     37.50%
658.24/659.96	c       660          10005        8340         1          66.0000          48.0000     37.50%
663.43/665.11	c       665          10127        8454         1          66.0000          48.0000     37.50%
668.52/670.20	c       670          10274        8564         1          66.0000          48.0000     37.50%
673.70/675.44	c       675          10394        8664         1          66.0000          48.0000     37.50%
678.89/680.60	c       681          10552        8766         1          66.0000          48.0000     37.50%
684.18/685.92	c       686          10668        8850         1          66.0000          48.0000     37.50%
689.46/691.28	c       691          10782        8938         1          66.0000          48.0000     37.50%
694.75/696.57	c       697          10882        9022         1          66.0000          48.0000     37.50%
699.94/701.72	c       702          11002        9106         1          66.0000          48.0000     37.50%
705.03/706.86	c       707          11131        9215         1          66.0000          48.0000     37.50%
710.12/711.98	c       712          11254        9316         1          66.0000          48.0000     37.50%
715.30/717.16	c       717          11394        9414         1          66.0000          48.0000     37.50%
720.89/722.75	c       723          11529        9507         1          66.0000          48.0000     37.50%
726.67/728.52	c       729          11667        9615         1          66.0000          48.0000     37.50%
731.86/733.72	c       734          11748           1         1          66.0000          48.0000     37.50%
738.05/739.90	c       740          11768          21         1          66.0000          48.0000     37.50%
743.03/744.95	c       745          11782          35         1          66.0000          48.0000     37.50%
748.72/750.66	c       751          11814          67         1          66.0000          48.0000     37.50%
754.41/756.38	c       756          11853         104         1          66.0000          48.0000     37.50%
759.99/761.94	c       762          11892         139         1          66.0000          48.0000     37.50%
765.98/767.93	c       768          11941         188         1          66.0000          48.0000     37.50%
771.27/773.29	c       773          12013         252         1          66.0000          48.0000     37.50%
776.75/778.76	c       779          12084         321         1          66.0000          48.0000     37.50%
782.44/784.40	c       784          12161         382         1          66.0000          48.0000     37.50%
787.82/789.80	c       790          12290         477         1          66.0000          48.0000     37.50%
793.02/795.05	c       795          12389         558         1          66.0000          48.0000     37.50%
798.20/800.29	c       800          12499         658         1          66.0000          48.0000     37.50%
803.48/805.53	c       806          12677         784         1          66.0000          48.0000     37.50%
809.27/811.34	c       811          12739         834         1          66.0000          48.0000     37.50%
814.56/816.69	c       817          12865         936         1          66.0000          48.0000     37.50%
820.05/822.14	c       822          12943        1006         1          66.0000          48.0000     37.50%
825.23/827.36	c       827          13143        1124         1          66.0000          48.0000     37.50%
830.41/832.54	c       833          13339        1236         1          66.0000          48.0000     37.50%
835.61/837.72	c       838          13504        1373         1          66.0000          48.0000     37.50%
840.59/842.78	c       843          13676        1494         1          66.0000          48.0000     37.50%
845.98/848.13	c       848          13787        1573         1          66.0000          48.0000     37.50%
851.07/853.28	c       853          13964        1698         1          66.0000          48.0000     37.50%
856.16/858.39	c       858          14157        1835         1          66.0000          48.0000     37.50%
861.54/863.70	c       864          14248        1900         1          66.0000          48.0000     37.50%
866.84/869.05	c       869          14462        2050         1          66.0000          48.0000     37.50%
872.02/874.21	c       874          14805        2185         1          66.0000          48.0000     37.50%
873.21/875.40	c *     875          14844        2216         1          64.0000          48.0000     33.33%
877.10/879.36	c       879          15003        2119         1          64.0000          48.0000     33.33%
882.29/884.52	c       885          15154        2224         1          64.0000          48.0000     33.33%
887.47/889.75	c       890          15350        2344         1          64.0000          48.0000     33.33%
892.76/895.01	c       895          15557        2473         1          64.0000          48.0000     33.33%
897.85/900.15	c       900          15651        2567         1          64.0000          48.0000     33.33%
903.03/905.37	c       905          15793        2673         1          64.0000          48.0000     33.33%
908.23/910.55	c       911          15938        2768         1          64.0000          48.0000     33.33%
913.41/915.73	c       916          16199        2911         1          64.0000          48.0000     33.33%
918.60/920.94	c       921          16311        3013         1          64.0000          48.0000     33.33%
923.69/926.04	c       926          16409        3111         1          64.0000          48.0000     33.33%
928.78/931.12	c       931          16593        3219         1          64.0000          48.0000     33.33%
933.97/936.39	c       936          16783        3325         1          64.0000          48.0000     33.33%
939.25/941.60	c       942          17001        3437         1          64.0000          48.0000     33.33%
944.34/946.72	c       947          17123        3549         1          64.0000          48.0000     33.33%
949.63/952.05	c       952          17329        3650         1          64.0000          48.0000     33.33%
954.72/957.15	c       957          17488        3753         1          64.0000          48.0000     33.33%
959.90/962.37	c       962          17616        3827         1          64.0000          48.0000     33.33%
965.08/967.59	c       968          17750        3931         1          64.0000          48.0000     33.33%
970.37/972.80	c       973          17915        4048         1          64.0000          48.0000     33.33%
975.66/978.17	c       978          18053        4150         1          64.0000          48.0000     33.33%
981.34/983.81	c       984          18179        4242         1          64.0000          48.0000     33.33%
986.43/988.98	c       989          18319        4334         1          64.0000          48.0000     33.33%
991.72/994.25	c       994          18433        4430         1          64.0000          48.0000     33.33%
997.01/999.50	c      1000          18605        4554         1          64.0000          48.0000     33.33%
1002.29/1004.83	c      1005          18742        4673         1          64.0000          48.0000     33.33%
1007.37/1009.96	c      1010          18884        4785         1          64.0000          48.0000     33.33%
1012.56/1015.19	c      1015          19072        4909         1          64.0000          48.0000     33.33%
1017.74/1020.37	c      1020          19281        5039         1          64.0000          48.0000     33.33%
1023.02/1025.66	c      1026          19518        5156         1          64.0000          48.0000     33.33%
1028.21/1030.87	c      1031          19686        5275         1          64.0000          48.0000     33.33%
1033.59/1036.21	c      1036          19953        5410         1          64.0000          48.0000     33.33%
1038.77/1041.41	c      1041          20172        5533         1          64.0000          48.0000     33.33%
1043.95/1046.63	c      1047          20385        5643         1          64.0000          48.0000     33.33%
1049.04/1051.78	c      1052          20591        5768         1          64.0000          48.0000     33.33%
1054.23/1056.94	c      1057          20856        5888         1          64.0000          48.0000     33.33%
1059.42/1062.14	c      1062          21034        5998         1          64.0000          48.0000     33.33%
1064.50/1067.29	c      1067          21228        6097         1          64.0000          48.0000     33.33%
1069.58/1072.35	c      1072          21584        6215         1          64.0000          48.0000     33.33%
1074.76/1077.52	c      1078          21833        6310         1          64.0000          48.0000     33.33%
1079.85/1082.64	c      1083          22042        6429         1          64.0000          48.0000     33.33%
1084.93/1087.75	c      1088          22255        6564         1          64.0000          48.0000     33.33%
1090.12/1092.92	c      1093          22431        6672         1          64.0000          48.0000     33.33%
1095.40/1098.29	c      1098          22673        6771         1          64.0000          48.0000     33.33%
1100.68/1103.52	c      1104          22994        6848         1          64.0000          48.0000     33.33%
1105.77/1108.65	c      1109          23180        6968         1          64.0000          48.0000     33.33%
1110.95/1113.89	c      1114          23403        7084         1          64.0000          48.0000     33.33%
1116.14/1119.02	c      1119          23675        7187         1          64.0000          48.0000     33.33%
1121.22/1124.12	c      1124          23963        7287         1          64.0000          48.0000     33.33%
1126.30/1129.20	c      1129          24153        7403         1          64.0000          48.0000     33.33%
1131.48/1134.41	c      1134          24380        7528         1          64.0000          48.0000     33.33%
1136.57/1139.52	c      1140          24652        7645         1          64.0000          48.0000     33.33%
1141.65/1144.63	c      1145          24960        7758         1          64.0000          48.0000     33.33%
1146.84/1149.85	c      1150          25186        7878         1          64.0000          48.0000     33.33%
1151.92/1154.97	c      1155          25329        8011         1          64.0000          48.0000     33.33%
1157.12/1160.18	c      1160          25488        8144         1          64.0000          48.0140     33.29%
1162.70/1165.77	c      1166          25662        8274         1          64.0000          48.0413     33.22%
1168.18/1171.26	c      1171          25945        8403         1          64.0000          48.0465     33.20%
1173.66/1176.71	c      1177          26125        8523         1          64.0000          48.0476     33.20%
1178.66/1181.77	c      1182          26341        8660         1          64.0000          48.0476     33.20%
1183.74/1186.87	c      1187          26649        8788         1          64.0000          48.0476     33.20%
1188.94/1192.03	c      1192          26881        8902         1          64.0000          48.0476     33.20%
1194.92/1198.07	c      1198          27203        9040         1          64.0000          48.0488     33.20%
1200.11/1203.27	c      1203          27349        9168         1          64.0000          48.0488     33.20%
1205.19/1208.38	c      1208          27508        9281         1          64.0000          48.0513     33.19%
1210.78/1213.92	c      1214          27706        9395         1          64.0000          48.0513     33.19%
1215.97/1219.18	c      1219          27908        9511         1          64.0000          48.0638     33.16%
1221.54/1224.79	c      1225          28176        9651         1          64.0000          48.0667     33.15%
1227.13/1230.35	c      1230          28435        9777         1          64.0000          48.0676     33.15%
1232.62/1235.84	c      1236          28837        9907         1          64.0000          48.0769     33.12%
1237.91/1241.11	c      1241          29102       10006         1          64.0000          48.0769     33.12%
1243.49/1246.70	c      1247          29315       10127         1          64.0000          48.0833     33.10%
1248.78/1252.02	c      1252          29520       10252         1          64.0000          48.0870     33.09%
1254.26/1257.54	c      1258          29723       10353         1          64.0000          48.0889     33.09%
1259.35/1262.65	c      1263          29916       10434         1          64.0000          48.0909     33.08%
1264.94/1268.20	c      1268          30146       10558         1          64.0000          48.0952     33.07%
1270.03/1273.31	c      1273          30471       10663         1          64.0000          48.0952     33.07%
1275.51/1278.80	c      1279          30724       10750         1          64.0000          48.0952     33.07%
1280.90/1284.29	c      1284          30954       10872         1          64.0000          48.0964     33.07%
1285.99/1289.37	c      1289          31178       10982         1          64.0000          48.1085     33.03%
1292.07/1295.43	c      1295          31519       11107         1          64.0000          48.1116     33.02%
1297.65/1301.06	c      1301          31717       11233         1          64.0000          48.1157     33.01%
1302.84/1306.20	c      1306          32001       11353         1          64.0000          48.1176     33.01%
1307.93/1311.39	c      1311          32223       11451         1          64.0000          48.1176     33.01%
1313.12/1316.58	c      1317          32486       11537         1          64.0000          48.1176     33.01%
1318.71/1322.12	c      1322          32842       11667         1          64.0000          48.1176     33.01%
1323.78/1327.22	c      1327          33158       11781         1          64.0000          48.1176     33.01%
1329.07/1332.51	c      1333          33312       11891         1          64.0000          48.1176     33.01%
1334.25/1337.74	c      1338          33495       11992         1          64.0000          48.1207     33.00%
1339.74/1343.28	c      1343          33701       12108         1          64.0000          48.1212     33.00%
1345.53/1349.06	c      1349          33927       12274         1          64.0000          48.1234     32.99%
1350.91/1354.47	c      1354          34298       12375         1          64.0000          48.1390     32.95%
1355.90/1359.49	c      1360          34658       12479         1          64.0000          48.1429     32.94%
1361.78/1365.30	c      1365          35063       12596         1          64.0000          48.1429     32.94%
1366.77/1370.39	c      1370          35436       12678         1          64.0000          48.1429     32.94%
1372.36/1375.94	c      1376          35718       12792         1          64.0000          48.1538     32.91%
1377.45/1381.06	c      1381          35972       12902         1          64.0000          48.1538     32.91%
1382.54/1386.19	c      1386          36139       13020         1          64.0000          48.1538     32.91%
1388.32/1391.90	c      1392          36412       13165         1          64.0000          48.1538     32.91%
1393.42/1397.00	c      1397          36658       13277         1          64.0000          48.1538     32.91%
1398.50/1402.10	c      1402          36952       13415         1          64.0000          48.1538     32.91%
1404.39/1408.04	c      1408          37198       13555         1          64.0000          48.1667     32.87%
1409.87/1413.52	c      1414          37528       13681         1          64.0000          48.1736     32.85%
1415.65/1419.30	c      1419          37880       13758         1          64.0000          48.1742     32.85%
1421.54/1425.26	c      1425          38313       13854         1          64.0000          48.1805     32.83%
1427.33/1431.05	c      1431          38679       13966         1          64.0000          48.1818     32.83%
1432.72/1436.43	c      1436          38892       14075         1          64.0000          48.1888     32.81%
1438.01/1441.71	c      1442          39138       14183         1          64.0000          48.1935     32.80%
1443.79/1447.52	c      1448          39435       14320         1          64.0000          48.2000     32.78%
1449.98/1453.73	c      1454          39633       14454         1          64.0000          48.2020     32.77%
1454.96/1458.76	c      1459          39952       14571         1          64.0000          48.2049     32.77%
1460.05/1463.84	c      1464          40140       14657         1          64.0000          48.2069     32.76%
1465.14/1468.96	c      1469          40403       14800         1          64.0000          48.2069     32.76%
1471.12/1474.98	c      1475          40788       14955         1          64.0000          48.2222     32.72%
1476.22/1480.05	c      1480          41181       15064         1          64.0000          48.2222     32.72%
1481.40/1485.25	c      1485          41437       15161         1          64.0000          48.2222     32.72%
1486.49/1490.34	c      1490          41717       15276         1          64.0000          48.2222     32.72%
1491.77/1495.69	c      1496          42040       15391         1          64.0000          48.2268     32.71%
1497.56/1501.48	c      1501          42296       15519         1          64.0000          48.2296     32.70%
1503.64/1507.53	c      1508          42635       15633         1          64.0000          48.2369     32.68%
1508.63/1512.56	c      1513          42848       15739         1          64.0000          48.2430     32.66%
1514.52/1518.44	c      1518          43127       15869         1          64.0000          48.2472     32.65%
1520.21/1524.13	c      1524          43421       16019         1          64.0000          48.2500     32.64%
1525.29/1529.23	c      1529          43715       16122         1          64.0000          48.2500     32.64%
1530.98/1534.94	c      1535          43961       16268         1          64.0000          48.2626     32.61%
1536.37/1540.34	c      1540          44368       16383         1          64.0000          48.2667     32.60%
1542.25/1546.27	c      1546          44713       16494         1          64.0000          48.2771     32.57%
1547.65/1551.65	c      1552          44866       16607         1          64.0000          48.2811     32.56%
1553.63/1557.67	c      1558          45147       16760         1          64.0000          48.2856     32.54%
1558.82/1562.82	c      1563          45433       16894         1          64.0000          48.2857     32.54%
1564.01/1568.06	c      1568          45838       17002         1          64.0000          48.2995     32.51%
1569.39/1573.46	c      1573          46058       17140         1          64.0000          48.3037     32.49%
1575.38/1579.48	c      1579          46386       17285         1          64.0000          48.3077     32.48%
1580.56/1584.69	c      1585          46770       17415         1          64.0000          48.3083     32.48%
1586.35/1590.45	c      1590          47011       17506         1          64.0000          48.3109     32.48%
1591.53/1595.69	c      1596          47168       17619         1          64.0000          48.3125     32.47%
1596.93/1601.03	c      1601          47328       17747         1          64.0000          48.3154     32.46%
1602.91/1607.02	c      1607          47514       17869         1          64.0000          48.3235     32.44%
1608.10/1612.24	c      1612          47801       17966         1          64.0000          48.3271     32.43%
1613.09/1617.25	c      1617          48055       18064         1          64.0000          48.3333     32.41%
1618.17/1622.35	c      1622          48371       18186         1          64.0000          48.3333     32.41%
1623.46/1627.66	c      1628          48656       18326         1          64.0000          48.3370     32.40%
1628.75/1632.91	c      1633          49017       18447         1          64.0000          48.3436     32.39%
1633.84/1638.07	c      1638          49321       18558         1          64.0000          48.3483     32.37%
1639.22/1643.46	c      1643          49557       18708         1          64.0000          48.3623     32.33%
1644.51/1648.79	c      1649          49907       18850         1          64.0000          48.3699     32.31%
1650.50/1654.72	c      1655          50223       18964         1          64.0000          48.4000     32.23%
1655.59/1659.86	c      1660          50596       19051         1          64.0000          48.4000     32.23%
1660.88/1665.13	c      1665          50769       19200         1          64.0000          48.4000     32.23%
1665.96/1670.22	c      1670          51123       19364         1          64.0000          48.4000     32.23%
1670.95/1675.28	c      1675          51427       19469         1          64.0000          48.4000     32.23%
1676.14/1680.42	c      1680          51746       19589         1          64.0000          48.4000     32.23%
1681.22/1685.50	c      1686          52095       19734         1          64.0000          48.4000     32.23%
1686.31/1690.69	c      1691          52360       19851         1          64.0000          48.4000     32.23%
1691.49/1695.81	c      1696          52609       19968         1          64.0000          48.4000     32.23%
1696.58/1700.92	c      1701          52947       20062         1          64.0000          48.4000     32.23%
1701.67/1706.03	c      1706          53308       20153         1          64.0000          48.4000     32.23%
1706.77/1711.11	c      1711          53602       20263         1          64.0000          48.4000     32.23%
1711.85/1716.27	c      1716          53844       20362         1          64.0000          48.4000     32.23%
1716.94/1721.39	c      1721          54051       20497         1          64.0000          48.4000     32.23%
1722.22/1726.67	c      1727          54246       20616         1          64.0000          48.4000     32.23%
1727.31/1731.76	c      1732          54586       20742         1          64.0000          48.4000     32.23%
1732.39/1736.88	c      1737          54925       20854         1          64.0000          48.4000     32.23%
1737.59/1742.05	c      1742          55062       20985         1          64.0000          48.4000     32.23%
1742.68/1747.13	c      1747          55326       21125         1          64.0000          48.4000     32.23%
1747.76/1752.27	c      1752          55531       21270         1          64.0000          48.4000     32.23%
1752.95/1757.46	c      1757          55738       21389         1          64.0000          48.4000     32.23%
1758.14/1762.64	c      1763          55967       21534         1          64.0000          48.4000     32.23%
1763.23/1767.74	c      1768          56182       21691         1          64.0000          48.4000     32.23%
1768.31/1772.87	c      1773          56519       21815         1          64.0000          48.4000     32.23%
1773.40/1777.99	c      1778          56776       21948         1          64.0000          48.4000     32.23%
1778.78/1783.34	c      1783          57053       22083         1          64.0000          48.4000     32.23%
1783.87/1788.46	c      1788          57215       22223         1          64.0000          48.4000     32.23%
1789.06/1793.62	c      1794          57479       22355         1          64.0000          48.4000     32.23%
1794.15/1798.70	c      1799          57727       22477         1          64.0000          48.4000     32.23%
1799.24/1803.86	c      1804          57974       22610         1          64.0000          48.4000     32.23%
1804.33/1808.97	c      1809          58198       22723         1          64.0000          48.4000     32.23%
1809.52/1814.15	c      1814          58445       22816         1          64.0000          48.4000     32.23%
1814.70/1819.31	c      1819          58681       22958         1          64.0000          48.4000     32.23%
1819.79/1824.42	c      1824          58892       23083         1          64.0000          48.4000     32.23%
1824.87/1829.59	c      1830          59190       23196         1          64.0000          48.4000     32.23%
1830.16/1834.83	c      1835          59415       23325         1          64.0000          48.4000     32.23%
1835.25/1839.95	c      1840          59675       23451         1          64.0000          48.4000     32.23%
1840.34/1845.10	c      1845          59995       23565         1          64.0000          48.4000     32.23%
1845.43/1850.17	c      1850          60238       23689         1          64.0000          48.4000     32.23%
1850.61/1855.37	c      1855          60502       23817         1          64.0000          48.4000     32.23%
1855.70/1860.48	c      1860          60753       23932         1          64.0000          48.4000     32.23%
1860.79/1865.57	c      1866          61075       24036         1          64.0000          48.4000     32.23%
1866.17/1870.93	c      1871          61338       24151         1          64.0000          48.4000     32.23%
1871.46/1876.25	c      1876          61613       24253         1          64.0000          48.4000     32.23%
1876.55/1881.38	c      1881          61789       24344         1          64.0000          48.4000     32.23%
1881.63/1886.47	c      1886          61997       24442         1          64.0000          48.4000     32.23%
1886.73/1891.59	c      1892          62231       24576         1          64.0000          48.4000     32.23%
1891.82/1896.67	c      1897          62562       24706         1          64.0000          48.4000     32.23%
1896.90/1901.74	c      1902          62820       24819         1          64.0000          48.4000     32.23%
1901.99/1906.86	c      1907          63089       24962         1          64.0000          48.4000     32.23%
1907.08/1911.96	c      1912          63398       25093         1          64.0000          48.4000     32.23%
1912.37/1917.22	c      1917          63551       25216         1          64.0000          48.4000     32.23%
1917.45/1922.37	c      1922          63889       25342         1          64.0000          48.4000     32.23%
1922.73/1927.68	c      1928          64129       25486         1          64.0000          48.4000     32.23%
1928.02/1932.96	c      1933          64461       25609         1          64.0000          48.4000     32.23%
1933.32/1938.26	c      1938          64635       25707         1          64.0000          48.4000     32.23%
1938.50/1943.43	c      1943          64835       25823         1          64.0000          48.4000     32.23%
1943.59/1948.54	c      1949          65033       25929         1          64.0000          48.4000     32.23%
1948.87/1953.81	c      1954          65297       26053         1          64.0000          48.4000     32.23%
1953.96/1958.90	c      1959          65520       26176         1          64.0000          48.4000     32.23%
1959.05/1964.06	c      1964          65785       26281         1          64.0000          48.4000     32.23%
1964.15/1969.15	c      1969          66066       26394         1          64.0000          48.4000     32.23%
1969.23/1974.25	c      1974          66385       26471         1          64.0000          48.4014     32.23%
1974.81/1979.80	c      1980          66711       26597         1          64.0000          48.4056     32.22%
1980.11/1985.19	c      1985          66981       26727         1          64.0000          48.4148     32.19%
1986.09/1991.14	c      1991          67439       26808         1          64.0000          48.4250     32.16%
1991.27/1996.32	c      1996          67788       26918         1          64.0000          48.4250     32.16%
1997.16/2002.24	c      2002          68288       27000         1          64.0000          48.4250     32.16%
2003.05/2008.18	c      2008          68559       27121         1          64.0000          48.4370     32.13%
2008.04/2013.18	c      2013          68909       27215         1          64.0000          48.4403     32.12%
2013.82/2018.94	c      2019          69244       27358         1          64.0000          48.4444     32.11%
2019.21/2024.30	c      2024          69606       27490         1          64.0000          48.4448     32.11%
2024.19/2029.31	c      2029          70048       27596         1          64.0000          48.4488     32.10%
2029.18/2034.35	c      2034          70287       27734         1          64.0000          48.4500     32.09%
2034.77/2039.95	c      2040          70466       27879         1          64.0000          48.4503     32.09%
2040.56/2045.72	c      2046          70826       27999         1          64.0000          48.4545     32.08%
2045.74/2050.94	c      2051          71158       28103         1          64.0000          48.4604     32.07%
2050.73/2055.98	c      2056          71475       28193         1          64.0000          48.4629     32.06%
2056.12/2061.34	c      2061          71778       28315         1          64.0000          48.4714     32.04%
2061.71/2066.98	c      2067          71975       28434         1          64.0000          48.4727     32.03%
2067.29/2072.51	c      2073          72188       28559         1          64.0000          48.4754     32.03%
2072.28/2077.54	c      2078          72462       28707         1          64.0000          48.4769     32.02%
2077.36/2082.64	c      2083          72825       28812         1          64.0000          48.4769     32.02%
2082.45/2087.72	c      2088          73024       28967         1          64.0000          48.4800     32.01%
2088.44/2093.74	c      2094          73377       29098         1          64.0000          48.4842     32.00%
2093.52/2098.89	c      2099          73618       29225         1          64.0000          48.4870     31.99%
2098.81/2104.18	c      2104          73889       29353         1          64.0000          48.4886     31.99%
2104.50/2109.89	c      2110          74159       29470         1          64.0000          48.4889     31.99%
2110.49/2115.89	c      2116          74565       29575         1          64.0000          48.4909     31.98%
2115.67/2121.08	c      2121          74811       29650         1          64.0000          48.4923     31.98%
2121.35/2126.74	c      2127          75120       29743         1          64.0000          48.4964     31.97%
2126.64/2132.01	c      2132          75488       29862         1          64.0000          48.4999     31.96%
2131.82/2137.22	c      2137          75851       30017         1          64.0000          48.5000     31.96%
2137.02/2142.45	c      2142          76066       30135         1          64.0000          48.5000     31.96%
2142.20/2147.63	c      2148          76405       30267         1          64.0000          48.5000     31.96%
2147.29/2152.76	c      2153          76765       30387         1          64.0000          48.5000     31.96%
2152.38/2157.85	c      2158          77060       30513         1          64.0000          48.5000     31.96%
2157.46/2162.98	c      2163          77438       30632         1          64.0000          48.5000     31.96%
2162.66/2168.12	c      2168          77689       30773         1          64.0000          48.5000     31.96%
2167.74/2173.21	c      2173          78021       30894         1          64.0000          48.5000     31.96%
2172.82/2178.35	c      2178          78361       31038         1          64.0000          48.5000     31.96%
2177.92/2183.45	c      2183          78753       31136         1          64.0000          48.5000     31.96%
2183.01/2188.56	c      2189          79042       31248         1          64.0000          48.5000     31.96%
2188.29/2193.80	c      2194          79302       31350         1          64.0000          48.5000     31.96%
2193.28/2198.87	c      2199          79665       31453         1          64.0000          48.5000     31.96%
2198.47/2204.06	c      2204          80001       31553         1          64.0000          48.5000     31.96%
2203.65/2209.22	c      2209          80273       31676         1          64.0000          48.5000     31.96%
2208.74/2214.35	c      2214          80545       31766         1          64.0000          48.5000     31.96%
2213.83/2219.41	c      2219          80819       31902         1          64.0000          48.5000     31.96%
2219.12/2224.73	c      2225          81114       32013         1          64.0000          48.5000     31.96%
2224.41/2230.07	c      2230          81337       32126         1          64.0000          48.5000     31.96%
2229.59/2235.23	c      2235          81632       32242         1          64.0000          48.5000     31.96%
2234.68/2240.35	c      2240          81922       32361         1          64.0000          48.5000     31.96%
2239.87/2245.52	c      2246          82323       32464         1          64.0000          48.5000     31.96%
2244.95/2250.62	c      2251          82628       32559         1          64.0000          48.5000     31.96%
2249.94/2255.69	c      2256          82887       32695         1          64.0000          48.5000     31.96%
2255.13/2260.81	c      2261          83153       32825         1          64.0000          48.5000     31.96%
2260.22/2265.94	c      2266          83416       32991         1          64.0000          48.5000     31.96%
2265.31/2271.03	c      2271          83796       33105         1          64.0000          48.5000     31.96%
2270.99/2276.76	c      2277          84128       33234         1          64.0000          48.5020     31.95%
2276.28/2282.06	c      2282          84378       33374         1          64.0000          48.5043     31.95%
2282.27/2288.02	c      2288          84692       33544         1          64.0000          48.5059     31.94%
2287.95/2293.79	c      2294          84985       33723         1          64.0000          48.5104     31.93%
2293.24/2299.05	c      2299          85278       33882         1          64.0000          48.5165     31.91%
2298.53/2304.38	c      2304          85646       34000         1          64.0000          48.5176     31.91%
2304.11/2309.95	c      2310          85973       34132         1          64.0000          48.5192     31.91%
2309.99/2315.87	c      2316          86332       34259         1          64.0000          48.5250     31.89%
2315.29/2321.17	c      2321          86608       34377         1          64.0000          48.5259     31.89%
2321.18/2327.03	c      2327          87048       34486         1          64.0000          48.5280     31.88%
2326.66/2332.59	c      2333          87587       34576         1          64.0000          48.5333     31.87%
2331.75/2337.68	c      2338          87953       34661         1          64.0000          48.5333     31.87%
2337.33/2343.20	c      2343          88292       34736         1          64.0000          48.5333     31.87%
2342.32/2348.23	c      2348          88608       34831         1          64.0000          48.5370     31.86%
2348.21/2354.19	c      2354          88934       34943         1          64.0000          48.5404     31.85%
2353.29/2359.21	c      2359          89238       35053         1          64.0000          48.5460     31.83%
2358.68/2364.61	c      2365          89632       35148         1          64.0000          48.5498     31.82%
2363.67/2369.63	c      2370          89947       35260         1          64.0000          48.5529     31.81%
2369.35/2375.32	c      2375          90184       35407         1          64.0000          48.5536     31.81%
2374.34/2380.36	c      2380          90448       35515         1          64.0000          48.5556     31.81%
2380.23/2386.27	c      2386          90773       35672         1          64.0000          48.5588     31.80%
2385.32/2391.37	c      2391          91062       35762         1          64.0000          48.5588     31.80%
2390.70/2396.73	c      2397          91372       35867         1          64.0000          48.5667     31.78%
2396.29/2402.38	c      2402          91821       35981         1          64.0000          48.5714     31.76%
2402.18/2408.26	c      2408          92133       36119         1          64.0000          48.5769     31.75%
2407.46/2413.50	c      2414          92478       36258         1          64.0000          48.5778     31.75%
2412.75/2418.82	c      2419          92848       36385         1          64.0000          48.5836     31.73%
2418.43/2424.51	c      2425          93288       36502         1          64.0000          48.5909     31.71%
2424.02/2430.11	c      2430          93628       36617         1          64.0000          48.5952     31.70%
2429.02/2435.19	c      2435          93878       36713         1          64.0000          48.5990     31.69%
2435.00/2441.17	c      2441          94242       36819         1          64.0000          48.6000     31.69%
2440.48/2446.63	c      2447          94525       36918         1          64.0000          48.6000     31.69%
2445.57/2451.77	c      2452          94783       37029         1          64.0000          48.6000     31.69%
2450.86/2457.09	c      2457          95083       37152         1          64.0000          48.6000     31.69%
2455.95/2462.19	c      2462          95468       37254         1          64.0000          48.6000     31.69%
2461.13/2467.37	c      2467          95703       37373         1          64.0000          48.6000     31.69%
2466.32/2472.51	c      2473          96015       37485         1          64.0000          48.6000     31.69%
2471.31/2477.58	c      2478          96352       37587         1          64.0000          48.6000     31.69%
2477.29/2483.53	c      2484          96655       37730         1          64.0000          48.6028     31.68%
2482.27/2488.59	c      2489          96958       37826         1          64.0000          48.6070     31.67%
2487.87/2494.14	c      2494          97287       37954         1          64.0000          48.6087     31.66%
2493.14/2499.42	c      2499          97595       38062         1          64.0000          48.6174     31.64%
2498.43/2504.77	c      2505          97899       38177         1          64.0000          48.6222     31.63%
2503.51/2509.88	c      2510          98215       38279         1          64.0000          48.6222     31.63%
2508.70/2515.06	c      2515          98644       38373         1          64.0000          48.6222     31.63%
2513.88/2520.23	c      2520          98929       38472         1          64.0000          48.6222     31.63%
2519.36/2525.71	c      2526          99314       38577         1          64.0000          48.6225     31.63%
2525.04/2531.42	c      2531          99660       38687         1          64.0000          48.6250     31.62%
2530.12/2536.52	c      2537         100049       38766         1          64.0000          48.6250     31.62%
2535.32/2541.72	c      2542         100312       38850         1          64.0000          48.6275     31.61%
2540.50/2546.91	c      2547         100708       38968         1          64.0000          48.6315     31.60%
2545.98/2552.48	c      2552         101095       39080         1          64.0000          48.6383     31.58%
2551.47/2557.92	c      2558         101447       39188         1          64.0000          48.6433     31.57%
2556.95/2563.40	c      2563         101674       39283         1          64.0000          48.6500     31.55%
2562.23/2568.70	c      2569         101915       39392         1          64.0000          48.6500     31.55%
2568.12/2574.64	c      2575         102198       39510         1          64.0000          48.6560     31.54%
2573.10/2579.68	c      2580         102477       39611         1          64.0000          48.6603     31.52%
2579.08/2585.60	c      2586         102936       39726         1          64.0000          48.6667     31.51%
2584.06/2590.68	c      2591         103273       39825         1          64.0000          48.6667     31.51%
2589.15/2595.78	c      2596         103622       39942         1          64.0000          48.6667     31.51%
2594.23/2600.89	c      2601         104030       40008         1          64.0000          48.6667     31.51%
2599.53/2606.14	c      2606         104387       40109         1          64.0000          48.6667     31.51%
2604.51/2611.19	c      2611         104678       40216         1          64.0000          48.6667     31.51%
2609.59/2616.25	c      2616         105039       40326         1          64.0000          48.6667     31.51%
2614.68/2621.37	c      2621         105363       40432         1          64.0000          48.6667     31.51%
2620.16/2626.85	c      2627         105673       40552         1          64.0000          48.6667     31.51%
2625.45/2632.13	c      2632         105970       40669         1          64.0000          48.6667     31.51%
2630.52/2637.22	c      2637         106230       40792         1          64.0000          48.6667     31.51%
2635.61/2642.34	c      2642         106432       40908         1          64.0000          48.6667     31.51%
2641.09/2647.80	c      2648         106634       41019         1          64.0000          48.6667     31.51%
2646.28/2653.01	c      2653         106918       41139         1          64.0000          48.6667     31.51%
2651.26/2658.09	c      2658         107233       41224         1          64.0000          48.6667     31.51%
2656.44/2663.25	c      2663         107584       41337         1          64.0000          48.6667     31.51%
2661.63/2668.48	c      2668         107838       41461         1          64.0000          48.6667     31.51%
2666.72/2673.59	c      2674         108119       41589         1          64.0000          48.6667     31.51%
2671.80/2678.65	c      2679         108423       41699         1          64.0000          48.6667     31.51%
2676.88/2683.71	c      2684         108726       41802         1          64.0000          48.6667     31.51%
2682.07/2688.90	c      2689         109027       41914         1          64.0000          48.6667     31.51%
2687.05/2693.98	c      2694         109361       42016         1          64.0000          48.6667     31.51%
2692.24/2699.18	c      2699         109607       42141         1          64.0000          48.6667     31.51%
2697.52/2704.45	c      2704         109831       42233         1          64.0000          48.6667     31.51%
2702.70/2709.60	c      2710         110175       42329         1          64.0000          48.6667     31.51%
2707.69/2714.68	c      2715         110438       42444         1          64.0000          48.6667     31.51%
2712.88/2719.86	c      2720         110735       42556         1          64.0000          48.6667     31.51%
2717.96/2724.94	c      2725         110941       42674         1          64.0000          48.6667     31.51%
2723.15/2730.11	c      2730         111250       42796         1          64.0000          48.6667     31.51%
2728.22/2735.28	c      2735         111574       42907         1          64.0000          48.6667     31.51%
2733.41/2740.41	c      2740         111939       43011         1          64.0000          48.6667     31.51%
2738.60/2745.61	c      2746         112227       43125         1          64.0000          48.6667     31.51%
2743.88/2750.94	c      2751         112456       43238         1          64.0000          48.6667     31.51%
2748.97/2756.03	c      2756         112806       43304         1          64.0000          48.6667     31.51%
2754.14/2761.22	c      2761         112993       43415         1          64.0000          48.6667     31.51%
2759.34/2766.41	c      2766         113201       43552         1          64.0000          48.6667     31.51%
2764.42/2771.53	c      2772         113507       43664         1          64.0000          48.6667     31.51%
2769.50/2776.61	c      2777         113768       43788         1          64.0000          48.6667     31.51%
2774.49/2781.68	c      2782         114059       43879         1          64.0000          48.6667     31.51%
2779.88/2787.07	c      2787         114408       43968         1          64.0000          48.6667     31.51%
2785.05/2792.22	c      2792         114713       44051         1          64.0000          48.6667     31.51%
2790.14/2797.30	c      2797         114988       44167         1          64.0000          48.6667     31.51%
2795.33/2802.51	c      2803         115272       44285         1          64.0000          48.6667     31.51%
2800.51/2807.70	c      2808         115562       44396         1          64.0000          48.6667     31.51%
2805.49/2812.75	c      2813         115951       44469         1          64.0000          48.6667     31.51%
2810.57/2817.86	c      2818         116143       44575         1          64.0000          48.6667     31.51%
2815.77/2823.05	c      2823         116424       44692         1          64.0000          48.6667     31.51%
2821.64/2828.97	c      2829         116751       44816         1          64.0000          48.6667     31.51%
2826.73/2834.03	c      2834         117186       44937         1          64.0000          48.6667     31.51%
2831.82/2839.11	c      2839         117595       45060         1          64.0000          48.6667     31.51%
2837.00/2844.33	c      2844         117958       45156         1          64.0000          48.6667     31.51%
2842.09/2849.40	c      2849         118242       45264         1          64.0000          48.6667     31.51%
2847.16/2854.54	c      2855         118460       45364         1          64.0000          48.6667     31.51%
2852.25/2859.66	c      2860         118886       45452         1          64.0000          48.6667     31.51%
2857.24/2864.69	c      2865         119202       45564         1          64.0000          48.6667     31.51%
2862.62/2870.04	c      2870         119588       45675         1          64.0000          48.6723     31.49%
2868.00/2875.41	c      2875         119878       45805         1          64.0000          48.6737     31.49%
2873.09/2880.57	c      2881         120058       45875         1          64.0000          48.6769     31.48%
2878.57/2886.02	c      2886         120348       45936         1          64.0000          48.6798     31.47%
2884.05/2891.57	c      2892         120638       46050         1          64.0000          48.6821     31.47%
2889.54/2897.01	c      2897         120983       46179         1          64.0000          48.6857     31.46%
2894.53/2902.10	c      2902         121303       46289         1          64.0000          48.6857     31.46%
2899.91/2907.46	c      2907         121712       46405         1          64.0000          48.6875     31.45%
2905.10/2912.69	c      2913         122098       46525         1          64.0000          48.6971     31.42%
2910.59/2918.18	c      2918         122378       46659         1          64.0000          48.6992     31.42%
2916.27/2923.82	c      2924         122729       46772         1          64.0000          48.6995     31.42%
2921.66/2929.28	c      2929         123118       46860         1          64.0000          48.7018     31.41%
2927.14/2934.72	c      2935         123398       46961         1          64.0000          48.7051     31.40%
2932.63/2940.26	c      2940         123773       47078         1          64.0000          48.7105     31.39%
2938.43/2946.06	c      2946         124050       47189         1          64.0000          48.7111     31.39%
2943.52/2951.14	c      2951         124361       47318         1          64.0000          48.7111     31.39%
2948.70/2956.30	c      2956         124633       47447         1          64.0000          48.7111     31.39%
2953.78/2961.48	c      2961         124848       47566         1          64.0000          48.7132     31.38%
2959.07/2966.77	c      2967         125121       47668         1          64.0000          48.7143     31.38%
2964.86/2972.55	c      2973         125489       47749         1          64.0000          48.7143     31.38%
2970.74/2978.45	c      2978         125903       47874         1          64.0000          48.7154     31.38%
2976.43/2984.11	c      2984         126247       47988         1          64.0000          48.7179     31.37%
2981.51/2989.23	c      2989         126575       48090         1          64.0000          48.7179     31.37%
2986.80/2994.59	c      2995         126855       48196         1          64.0000          48.7179     31.37%
2992.08/2999.82	c      3000         127238       48276         1          64.0000          48.7186     31.37%
2997.78/3005.54	c      3006         127541       48376         1          64.0000          48.7200     31.36%
3003.66/3011.48	c      3011         127981       48503         1          64.0000          48.7222     31.36%
3009.14/3016.92	c      3017         128310       48594         1          64.0000          48.7230     31.35%
3014.92/3022.76	c      3023         128650       48717         1          64.0000          48.7250     31.35%
3020.10/3027.93	c      3028         128959       48813         1          64.0000          48.7273     31.34%
3025.19/3033.01	c      3033         129194       48902         1          64.0000          48.7273     31.34%
3030.76/3038.67	c      3039         129482       48999         1          64.0000          48.7333     31.33%
3036.06/3043.91	c      3044         129917       49096         1          64.0000          48.7333     31.33%
3041.25/3049.14	c      3049         130198       49202         1          64.0000          48.7356     31.32%
3046.62/3054.54	c      3055         130507       49297         1          64.0000          48.7371     31.32%
3052.60/3060.54	c      3061         130869       49437         1          64.0000          48.7381     31.31%
3058.19/3066.15	c      3066         131228       49536         1          64.0000          48.7429     31.30%
3063.27/3071.20	c      3071         131493       49641         1          64.0000          48.7436     31.30%
3068.65/3076.65	c      3077         131776       49768         1          64.0000          48.7440     31.30%
3073.74/3081.77	c      3082         132038       49894         1          64.0000          48.7453     31.29%
3079.62/3087.68	c      3088         132342       50010         1          64.0000          48.7489     31.29%
3085.40/3093.46	c      3093         132751       50138         1          64.0000          48.7500     31.28%
3090.49/3098.55	c      3099         132988       50274         1          64.0000          48.7500     31.28%
3095.57/3103.67	c      3104         133293       50393         1          64.0000          48.7500     31.28%
3100.65/3108.72	c      3109         133655       50479         1          64.0000          48.7500     31.28%
3105.75/3113.87	c      3114         134032       50574         1          64.0000          48.7512     31.28%
3111.73/3119.87	c      3120         134531       50671         1          64.0000          48.7536     31.27%
3117.01/3125.16	c      3125         134988       50756         1          64.0000          48.7536     31.27%
3122.59/3130.70	c      3131         135435       50857         1          64.0000          48.7556     31.27%
3127.88/3136.07	c      3136         135872       50951         1          64.0000          48.7556     31.27%
3133.16/3141.37	c      3141         136111       51058         1          64.0000          48.7568     31.26%
3139.05/3147.27	c      3147         136430       51156         1          64.0000          48.7576     31.26%
3144.33/3152.56	c      3153         136743       51248         1          64.0000          48.7576     31.26%
3149.41/3157.67	c      3158         136973       51349         1          64.0000          48.7579     31.26%
3154.99/3163.23	c      3163         137310       51461         1          64.0000          48.7609     31.25%
3160.38/3168.65	c      3169         137653       51566         1          64.0000          48.7619     31.25%
3165.56/3173.89	c      3174         138004       51638         1          64.0000          48.7619     31.25%
3171.14/3179.42	c      3179         138383       51747         1          64.0000          48.7623     31.25%
3176.94/3185.24	c      3185         138738       51837         1          64.0000          48.7667     31.24%
3182.02/3190.37	c      3190         139031       51942         1          64.0000          48.7667     31.24%
3187.61/3195.93	c      3196         139341       52050         1          64.0000          48.7692     31.23%
3192.89/3201.20	c      3201         139673       52123         1          64.0000          48.7692     31.23%
3198.48/3206.80	c      3207         139971       52247         1          64.0000          48.7716     31.22%
3204.37/3212.73	c      3213         140213       52344         1          64.0000          48.7733     31.22%
3209.95/3218.32	c      3218         140567       52443         1          64.0000          48.7778     31.21%
3215.33/3223.77	c      3224         140898       52533         1          64.0000          48.7804     31.20%
3220.52/3228.92	c      3229         141150       52634         1          64.0000          48.7821     31.20%
3225.82/3234.21	c      3234         141458       52743         1          64.0000          48.7829     31.19%
3231.00/3239.42	c      3239         141768       52845         1          64.0000          48.7835     31.19%
3236.49/3244.95	c      3245         142058       52951         1          64.0000          48.7848     31.19%
3241.58/3250.00	c      3250         142360       53047         1          64.0000          48.7857     31.19%
3247.16/3255.68	c      3256         142745       53136         1          64.0000          48.7879     31.18%
3253.04/3261.54	c      3262         143069       53246         1          64.0000          48.7918     31.17%
3258.23/3266.74	c      3267         143430       53351         1          64.0000          48.7940     31.16%
3263.52/3272.01	c      3272         143788       53449         1          64.0000          48.7957     31.16%
3268.90/3277.48	c      3277         144175       53542         1          64.0000          48.7963     31.16%
3274.40/3282.99	c      3283         144465       53642         1          64.0000          48.8000     31.15%
3279.49/3288.09	c      3288         144755       53716         1          64.0000          48.8000     31.15%
3284.67/3293.20	c      3293         145090       53816         1          64.0000          48.8000     31.15%
3289.66/3298.27	c      3298         145407       53913         1          64.0000          48.8000     31.15%
3294.75/3303.38	c      3303         145753       54017         1          64.0000          48.8000     31.15%
3299.83/3308.45	c      3308         146105       54126         1          64.0000          48.8000     31.15%
3304.92/3313.53	c      3314         146559       54224         1          64.0000          48.8000     31.15%
3310.01/3318.63	c      3319         146922       54325         1          64.0000          48.8000     31.15%
3315.09/3323.72	c      3324         147263       54405         1          64.0000          48.8000     31.15%
3320.18/3328.84	c      3329         147579       54509         1          64.0000          48.8000     31.15%
3325.27/3333.96	c      3334         147925       54620         1          64.0000          48.8000     31.15%
3330.46/3339.18	c      3339         148294       54744         1          64.0000          48.8000     31.15%
3335.64/3344.31	c      3344         148688       54838         1          64.0000          48.8000     31.15%
3340.73/3349.44	c      3349         149038       54932         1          64.0000          48.8000     31.15%
3345.92/3354.61	c      3355         149391       55033         1          64.0000          48.8000     31.15%
3351.01/3359.71	c      3360         149718       55135         1          64.0000          48.8000     31.15%
3356.10/3364.80	c      3365         150020       55235         1          64.0000          48.8000     31.15%
3361.69/3370.46	c      3370         150404       55354         1          64.0000          48.8000     31.15%
3366.77/3375.53	c      3376         150771       55465         1          64.0000          48.8000     31.15%
3371.86/3380.63	c      3381         151150       55566         1          64.0000          48.8000     31.15%
3376.95/3385.74	c      3386         151467       55659         1          64.0000          48.8000     31.15%
3382.13/3390.91	c      3391         151743       55741         1          64.0000          48.8000     31.15%
3387.22/3396.07	c      3396         151984       55848         1          64.0000          48.8000     31.15%
3392.40/3401.21	c      3401         152233       55979         1          64.0000          48.8000     31.15%
3397.39/3406.26	c      3406         152485       56082         1          64.0000          48.8000     31.15%
3402.48/3411.36	c      3411         152807       56161         1          64.0000          48.8000     31.15%
3407.68/3416.51	c      3417         153117       56257         1          64.0000          48.8000     31.15%
3412.66/3421.58	c      3422         153398       56358         1          64.0000          48.8033     31.14%
3417.95/3426.88	c      3427         153738       56451         1          64.0000          48.8057     31.13%
3423.13/3432.03	c      3432         154053       56533         1          64.0000          48.8085     31.12%
3428.33/3437.21	c      3437         154355       56644         1          64.0000          48.8095     31.12%
3433.31/3442.29	c      3442         154658       56729         1          64.0000          48.8140     31.11%
3438.50/3447.49	c      3447         154968       56840         1          64.0000          48.8177     31.10%
3443.58/3452.53	c      3453         155198       56926         1          64.0000          48.8192     31.10%
3449.37/3458.38	c      3458         155560       57046         1          64.0000          48.8205     31.09%
3454.76/3463.76	c      3464         155896       57135         1          64.0000          48.8214     31.09%
3460.34/3469.35	c      3469         156219       57221         1          64.0000          48.8235     31.08%
3466.23/3475.27	c      3475         156621       57347         1          64.0000          48.8260     31.08%
3471.21/3480.27	c      3480         156888       57410         1          64.0000          48.8283     31.07%
3477.11/3486.19	c      3486         157240       57516         1          64.0000          48.8302     31.07%
3482.39/3491.47	c      3491         157558       57620         1          64.0000          48.8327     31.06%
3487.58/3496.68	c      3497         157868       57735         1          64.0000          48.8333     31.06%
3492.77/3501.82	c      3502         158159       57843         1          64.0000          48.8333     31.06%
3497.75/3506.87	c      3507         158482       57958         1          64.0000          48.8333     31.06%
3502.84/3511.90	c      3512         158776       58045         1          64.0000          48.8364     31.05%
3508.12/3517.27	c      3517         159088       58142         1          64.0000          48.8396     31.04%
3513.21/3522.35	c      3522         159345       58211         1          64.0000          48.8396     31.04%
3518.60/3527.73	c      3528         159708       58322         1          64.0000          48.8447     31.03%
3523.79/3532.95	c      3533         160078       58420         1          64.0000          48.8483     31.02%
3529.37/3538.57	c      3539         160406       58552         1          64.0000          48.8483     31.02%
3534.96/3544.11	c      3544         160711       58655         1          64.0000          48.8485     31.02%
3540.25/3549.43	c      3549         160937       58724         1          64.0000          48.8487     31.02%
3545.43/3554.64	c      3555         161233       58835         1          64.0000          48.8505     31.01%
3550.52/3559.76	c      3560         161458       58921         1          64.0000          48.8552     31.00%
3555.91/3565.16	c      3565         161808       59039         1          64.0000          48.8598     30.99%
3561.59/3570.83	c      3571         162173       59134         1          64.0000          48.8632     30.98%
3567.38/3576.67	c      3577         162612       59239         1          64.0000          48.8636     30.98%
3573.37/3582.67	c      3583         162941       59359         1          64.0000          48.8660     30.97%
3578.55/3587.85	c      3588         163228       59449         1          64.0000          48.8681     30.96%
3583.64/3592.97	c      3593         163648       59552         1          64.0000          48.8707     30.96%
3589.13/3598.41	c      3598         163948       59643         1          64.0000          48.8727     30.95%
3590.92/3600.25	c SCIP Status        : c solving was interrupted [hard time limit reached]
3590.92/3600.25	c Total Time         : 3600.26
3590.92/3600.25	c   solving          : 3600.26
3590.92/3600.25	c   presolving       : 0.10 (included in solving)
3590.92/3600.25	c B&B Tree           :
3590.92/3600.25	c   nodes (total)    : 1
3590.92/3600.25	c Solution           :
3590.92/3600.25	c   Solutions found  : 9
3590.92/3600.25	c   Primal Bound     : +6.40000000000000e+01
3590.92/3600.25	c   Dual Bound       : +4.88727272727273e+01
3590.92/3600.25	c Gap                : 30.95238 %
3590.92/3600.25	c * Warning: final gap: 3.09524e-01 is greater than SCIPepsilon: 1.00000e-09
3590.92/3600.26	o 64
3590.92/3600.26	s SATISFIABLE
3590.92/3600.26	v -x325 x289 -x253 x217 -x181 -x145 -x109 x73 x37 x1 x360 x324 x288 -x252 -x216 -x180 x144 x108 -x72 -x36 x353 -x317 -x281 -x245 
3590.92/3600.26	v x209 x173 x137 -x101 -x65 x29 -x346 -x310 -x274 x238 x202 x166 -x130 -x94 x58 x22 -x339 -x303 x267 x231 -x195 x159 x123 x87 -x51 
3590.92/3600.26	v -x15 x332 x296 x260 -x224 x188 -x152 -x116 -x80 x44 -x8 -x359 -x323 -x287 -x251 -x215 -x179 -x143 -x107 -x71 x35 -x358 -x322 
3590.92/3600.26	v -x286 -x250 -x214 -x178 -x142 -x106 x70 -x34 -x357 -x321 -x285 -x249 -x213 x177 -x141 -x105 -x69 -x33 -x356 -x320 -x284 -x248 
3590.92/3600.26	v x212 -x176 -x140 -x104 -x68 -x32 -x355 -x319 -x283 x247 -x211 -x175 -x139 -x103 -x67 -x31 -x354 -x318 -x282 -x246 -x210 
3590.92/3600.26	v -x174 -x138 x102 -x66 -x30 -x352 -x316 -x280 x244 -x208 -x172 -x136 -x100 -x64 -x28 -x351 -x315 x279 -x243 -x207 -x171 -x135 
3590.92/3600.26	v -x99 -x63 -x27 -x350 x314 -x278 -x242 -x206 -x170 -x134 -x98 -x62 -x26 -x349 -x313 -x277 -x241 -x205 -x169 -x133 -x97 x61 -x25 
3590.92/3600.26	v -x348 -x312 x276 -x240 -x204 -x168 -x132 -x96 -x60 -x24 -x347 -x311 -x275 -x239 -x203 -x167 x131 -x95 -x59 -x23 -x345 -x309 
3590.92/3600.26	v -x273 -x237 -x201 -x165 -x129 x93 -x57 -x21 x344 -x308 -x272 -x236 -x200 -x164 -x128 -x92 -x56 -x20 -x343 x307 -x271 -x235 -x199 
3590.92/3600.26	v -x163 -x127 -x91 -x55 -x19 -x342 x306 -x270 -x234 -x198 -x162 -x126 -x90 -x54 -x18 x341 -x305 -x269 -x233 -x197 -x161 -x125 
3590.92/3600.26	v -x89 -x53 -x17 -x340 -x304 -x268 -x232 x196 -x160 -x124 -x88 -x52 -x16 -x338 -x302 -x266 -x230 -x194 -x158 -x122 -x86 x50 
3590.92/3600.26	v -x14 -x337 -x301 -x265 -x229 -x193 -x157 -x121 -x85 -x49 x13 -x336 -x300 -x264 -x228 -x192 -x156 x120 -x84 -x48 -x12 -x335 -x299 
3590.92/3600.26	v -x263 -x227 -x191 x155 -x119 -x83 -x47 -x11 -x334 -x298 -x262 -x226 -x190 -x154 -x118 -x82 -x46 x10 -x333 -x297 -x261 x225 
3590.92/3600.26	v -x189 -x153 -x117 -x81 -x45 -x9 -x331 -x295 -x259 -x223 -x187 -x151 -x115 x79 -x43 -x7 x330 -x294 -x258 -x222 -x186 -x150 
3590.92/3600.26	v -x114 -x78 -x42 -x6 -x329 -x293 -x257 -x221 x185 -x149 -x113 -x77 -x41 -x5 -x328 -x292 -x256 -x220 -x184 x148 -x112 -x76 -x40 
3590.92/3600.26	v -x4 -x327 -x291 -x255 -x219 -x183 -x147 x111 -x75 -x39 -x3 -x326 -x290 x254 -x218 -x182 -x146 -x110 -x74 -x38 -x2 x540 -x539 
3590.92/3600.26	v x538 -x537 -x536 -x535 x534 -x533 -x532 -x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 x522 -x521 -x520 -x519 -x518 -x517 
3590.92/3600.26	v x516 x515 -x514 -x513 -x512 -x511 x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 x501 -x500 -x499 x498 -x497 -x496 -x495 
3590.92/3600.26	v -x494 -x493 x492 -x491 -x490 x489 -x488 -x487 -x486 x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 x476 -x475 x474 
3590.92/3600.26	v -x473 -x472 -x471 x470 -x469 x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 x458 -x457 -x456 -x455 -x454 -x453 -x452 
3590.92/3600.26	v x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 x438 -x437 -x436 x435 -x434 x433 -x432 x431 -x430 
3590.92/3600.26	v -x429 -x428 x427 -x426 -x425 -x424 -x423 -x422 x421 x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 
3590.92/3600.26	v -x408 x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 x398 x397 x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 
3590.92/3600.26	v x386 -x385 -x384 -x383 -x382 x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368 -x367 x366 x365 
3590.92/3600.26	v -x364 -x363 x362 x361 

Verifier Data

OK	64

Watcher Data

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

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

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=812434, runsolver pid=812431

[startup+0.100285 s]*
/proc/loadavg: 4.11 4.11 4.08 6/261 812435
/proc/meminfo: memFree=126040404/131524600 swapFree=131071996/131071996
[pid=812434] ppid=812431 vsize=40900 memory=29876 CPUtime=0.09 cores=5,7
/proc/812434/stat : 812434 (fscip) R 812431 812434 809908 0 -1 4194304 5572 0 0 0 9 0 0 0 20 0 1 0 158938853 41881600 7469 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
/proc/812434/statm: 10225 7469 2750 3032 0 6625 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40900 KiB
Current children cumulated memory: 29876 KiB

[startup+0.206258 s]*
/proc/loadavg: 4.11 4.11 4.08 5/263 812437
/proc/meminfo: memFree=125997416/131524600 swapFree=131071996/131071996
[pid=812434] ppid=812431 vsize=130820 memory=56544 CPUtime=0.19 cores=5,7
/proc/812434/stat : 812434 (fscip) S 812431 812434 809908 0 -1 1077936128 13155 0 0 0 18 1 0 0 20 0 3 0 158938853 133959680 14136 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
/proc/812434/statm: 32705 14136 2798 3032 0 17856 0
[pid=812434/tid=812436] ppid=812431 vsize=130820 memory=8737651120394928259 CPUtime=0.07 cores=5,7
/proc/812434/task/812436/stat : 812436 (fscip) R 812431 812434 809908 0 -1 4194368 5076 0 0 0 7 0 0 0 20 0 3 0 158938865 133959680 14136 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
[pid=812434/tid=812437] ppid=812431 vsize=130820 memory=17963 CPUtime=0 cores=5,7
/proc/812434/task/812437/stat : 812437 (fscip) S 812431 812434 809908 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 158938867 133959680 14136 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 130820 KiB
Current children cumulated memory: 56544 KiB

[startup+0.306268 s]*
/proc/loadavg: 4.11 4.11 4.08 5/263 812437
/proc/meminfo: memFree=125978936/131524600 swapFree=131071996/131071996
[pid=812434] ppid=812431 vsize=131760 memory=62056 CPUtime=0.28 cores=5,7
/proc/812434/stat : 812434 (fscip) S 812431 812434 809908 0 -1 1077936128 14530 0 0 0 27 1 0 0 20 0 3 0 158938853 134922240 15514 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
/proc/812434/statm: 32940 15514 2830 3032 0 19236 0
[pid=812434/tid=812436] ppid=812431 vsize=131760 memory=-6514010928858708843 CPUtime=0.16 cores=5,7
/proc/812434/task/812436/stat : 812436 (fscip) R 812431 812434 809908 0 -1 4194368 6451 0 0 0 16 0 0 0 20 0 3 0 158938865 134922240 15514 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
[pid=812434/tid=812437] ppid=812431 vsize=131760 memory=0 CPUtime=0 cores=5,7
/proc/812434/task/812437/stat : 812437 (fscip) S 812431 812434 809908 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 158938867 134922240 15514 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 131760 KiB
Current children cumulated memory: 62056 KiB

[startup+0.70026 s]
/proc/loadavg: 4.11 4.11 4.08 5/263 812437
/proc/meminfo: memFree=125904992/131524600 swapFree=131071996/131071996
[pid=812434] ppid=812431 vsize=131760 memory=83576 CPUtime=0.67 cores=5,7
/proc/812434/stat : 812434 (fscip) S 812431 812434 809908 0 -1 1077936128 20986 0 0 0 65 2 0 0 20 0 3 0 158938853 134922240 20894 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
/proc/812434/statm: 32940 20894 2926 3032 0 24883 0
[pid=812434/tid=812436] ppid=812431 vsize=131760 memory=0 CPUtime=0.55 cores=5,7
/proc/812434/task/812436/stat : 812436 (fscip) R 812431 812434 809908 0 -1 4194368 12907 0 0 0 54 1 0 0 20 0 3 0 158938865 134922240 20894 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
[pid=812434/tid=812437] ppid=812431 vsize=131760 memory=0 CPUtime=0 cores=5,7
/proc/812434/task/812437/stat : 812437 (fscip) S 812431 812434 809908 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 158938867 134922240 20894 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 131760 KiB
Current children cumulated memory: 83576 KiB

[startup+1.50026 s]
/proc/loadavg: 4.11 4.11 4.08 5/263 812437
/proc/meminfo: memFree=125896172/131524600 swapFree=131071996/131071996
[pid=812434] ppid=812431 vsize=197296 memory=107028 CPUtime=1.47 cores=5,7
/proc/812434/stat : 812434 (fscip) S 812431 812434 809908 0 -1 1077936128 35278 0 0 0 144 3 0 0 20 0 3 0 158938853 202031104 26757 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
/proc/812434/statm: 49324 26757 2926 3032 0 31487 0
[pid=812434/tid=812436] ppid=812431 vsize=197296 memory=0 CPUtime=1.34 cores=5,7
/proc/812434/task/812436/stat : 812436 (fscip) R 812431 812434 809908 0 -1 4194368 27199 0 0 0 132 2 0 0 20 0 3 0 158938865 202031104 26757 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
[pid=812434/tid=812437] ppid=812431 vsize=197296 memory=0 CPUtime=0 cores=5,7
/proc/812434/task/812437/stat : 812437 (fscip) S 812431 812434 809908 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 158938867 202031104 26757 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 197296 KiB
Current children cumulated memory: 107028 KiB

[startup+3.10534 s]
/proc/loadavg: 4.11 4.11 4.08 5/265 812441
/proc/meminfo: memFree=125451068/131524600 swapFree=131071996/131071996
[pid=812434] ppid=812431 vsize=197296 memory=113608 CPUtime=3.08 cores=5,7
/proc/812434/stat : 812434 (fscip) S 812431 812434 809908 0 -1 1077936128 37111 0 0 0 304 4 0 0 20 0 3 0 158938853 202031104 28402 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
/proc/812434/statm: 49324 28402 2926 3032 0 33366 0
[pid=812434/tid=812436] ppid=812431 vsize=197296 memory=0 CPUtime=2.95 cores=5,7
/proc/812434/task/812436/stat : 812436 (fscip) R 812431 812434 809908 0 -1 4194368 29030 0 0 0 292 3 0 0 20 0 3 0 158938865 202031104 28402 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
[pid=812434/tid=812437] ppid=812431 vsize=197296 memory=2209 CPUtime=0 cores=5,7
/proc/812434/task/812437/stat : 812437 (fscip) S 812431 812434 809908 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 158938867 202031104 28402 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 197296 KiB
Current children cumulated memory: 113608 KiB

[startup+6.30017 s]
/proc/loadavg: 4.10 4.11 4.08 5/265 812441
/proc/meminfo: memFree=125430596/131524600 swapFree=131071996/131071996
[pid=812434] ppid=812431 vsize=197296 memory=120864 CPUtime=6.26 cores=5,7
/proc/812434/stat : 812434 (fscip) S 812431 812434 809908 0 -1 1077936128 39685 0 0 0 622 4 0 0 20 0 3 0 158938853 202031104 30216 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
/proc/812434/statm: 49324 30216 2926 3032 0 35918 0
[pid=812434/tid=812436] ppid=812431 vsize=197296 memory=0 CPUtime=6.13 cores=5,7
/proc/812434/task/812436/stat : 812436 (fscip) R 812431 812434 809908 0 -1 4194368 31568 0 0 0 610 3 0 0 20 0 3 0 158938865 202031104 30216 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
[pid=812434/tid=812437] ppid=812431 vsize=197296 memory=0 CPUtime=0 cores=5,7
/proc/812434/task/812437/stat : 812437 (fscip) S 812431 812434 809908 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 158938867 202031104 30216 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 197296 KiB
Current children cumulated memory: 120864 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.08 5/265 812442
/proc/meminfo: memFree=125399620/131524600 swapFree=131071996/131071996
[pid=812434] ppid=812431 vsize=197296 memory=121904 CPUtime=12.64 cores=5,7
/proc/812434/stat : 812434 (fscip) S 812431 812434 809908 0 -1 1077936128 58598 0 0 0 1259 5 0 0 20 0 3 0 158938853 202031104 30476 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
/proc/812434/statm: 49324 30476 2974 3032 0 35918 0
[pid=812434/tid=812436] ppid=812431 vsize=197296 memory=121904 CPUtime=12.52 cores=5,7
/proc/812434/task/812436/stat : 812436 (fscip) R 812431 812434 809908 0 -1 4194368 50425 0 0 0 1248 4 0 0 20 0 3 0 158938865 202031104 30476 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
[pid=812434/tid=812437] ppid=812431 vsize=197296 memory=12316 CPUtime=0 cores=5,7
/proc/812434/task/812437/stat : 812437 (fscip) S 812431 812434 809908 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 158938867 202031104 30476 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 197296 KiB
Current children cumulated memory: 121904 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.10 4.08 5/265 812444
/proc/meminfo: memFree=125322728/131524600 swapFree=131071996/131071996
[pid=812434] ppid=812431 vsize=266908 memory=215112 CPUtime=25.42 cores=5,7
/proc/812434/stat : 812434 (fscip) S 812431 812434 809908 0 -1 1077936128 128568 0 0 0 2531 11 0 0 20 0 3 0 158938853 273313792 53778 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
/proc/812434/statm: 66727 53778 2990 3032 0 61683 0
[pid=812434/tid=812436] ppid=812431 vsize=266908 memory=168732 CPUtime=25.29 cores=5,7
/proc/812434/task/812436/stat : 812436 (fscip) R 812431 812434 809908 0 -1 4194368 120010 0 0 0 2519 10 0 0 20 0 3 0 158938865 273313792 53778 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
[pid=812434/tid=812437] ppid=812431 vsize=266908 memory=12316 CPUtime=0 cores=5,7
/proc/812434/task/812437/stat : 812437 (fscip) S 812431 812434 809908 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 158938867 273313792 53778 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 266908 KiB
Current children cumulated memory: 215112 KiB

[startup+51.1055 s]
/proc/loadavg: 4.11 4.11 4.08 5/265 812448
/proc/meminfo: memFree=125196512/131524600 swapFree=131071996/131071996
[pid=812434] ppid=812431 vsize=332444 memory=275360 CPUtime=50.95 cores=5,7
/proc/812434/stat : 812434 (fscip) S 812431 812434 809908 0 -1 1077936128 208024 0 0 0 5077 18 0 0 20 0 3 0 158938853 340422656 68840 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
/proc/812434/statm: 83111 68840 2990 3032 0 78241 0
[pid=812434/tid=812436] ppid=812431 vsize=332444 memory=275360 CPUtime=50.83 cores=5,7
/proc/812434/task/812436/stat : 812436 (fscip) R 812431 812434 809908 0 -1 4194368 199383 0 0 0 5066 17 0 0 20 0 3 0 158938865 340422656 68840 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
[pid=812434/tid=812437] ppid=812431 vsize=332444 memory=275360 CPUtime=0 cores=5,7
/proc/812434/task/812437/stat : 812437 (fscip) S 812431 812434 809908 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 158938867 340422656 68840 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 332444 KiB
Current children cumulated memory: 275360 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/265 812458
/proc/meminfo: memFree=125188736/131524600 swapFree=131071996/131071996
[pid=812434] ppid=812431 vsize=332444 memory=275384 CPUtime=102.02 cores=5,7
/proc/812434/stat : 812434 (fscip) S 812431 812434 809908 0 -1 1077936128 276158 0 0 0 10179 23 0 0 20 0 3 0 158938853 340422656 68846 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
/proc/812434/statm: 83111 68846 2990 3032 0 78241 0
[pid=812434/tid=812436] ppid=812431 vsize=332444 memory=275376 CPUtime=101.89 cores=5,7
/proc/812434/task/812436/stat : 812436 (fscip) R 812431 812434 809908 0 -1 4194368 267272 0 0 0 10167 22 0 0 20 0 3 0 158938865 340422656 68846 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
[pid=812434/tid=812437] ppid=812431 vsize=332444 memory=275372 CPUtime=0 cores=5,7
/proc/812434/task/812437/stat : 812437 (fscip) S 812431 812434 809908 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 158938867 340422656 68846 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 332444 KiB
Current children cumulated memory: 275384 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 812469
/proc/meminfo: memFree=125142308/131524600 swapFree=131071996/131071996
[pid=812434] ppid=812431 vsize=332444 memory=275744 CPUtime=161.87 cores=5,7
/proc/812434/stat : 812434 (fscip) S 812431 812434 809908 0 -1 1077936128 329089 0 0 0 16161 26 0 0 20 0 3 0 158938853 340422656 68936 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
/proc/812434/statm: 83111 68936 2990 3032 0 78241 0
[pid=812434/tid=812436] ppid=812431 vsize=332444 memory=12312 CPUtime=161.74 cores=5,7
/proc/812434/task/812436/stat : 812436 (fscip) R 812431 812434 809908 0 -1 4194368 320131 0 0 0 16149 25 0 0 20 0 3 0 158938865 340422656 68936 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
[pid=812434/tid=812437] ppid=812431 vsize=332444 memory=275744 CPUtime=0 cores=5,7
/proc/812434/task/812437/stat : 812437 (fscip) S 812431 812434 809908 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 158938867 340422656 68936 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 332444 KiB
Current children cumulated memory: 275744 KiB

[startup+222.3 s]
/proc/loadavg: 4.33 4.18 4.11 5/265 812479

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

/proc/812434/statm: 160101 144325 3310 3032 0 147231 0
[pid=812434/tid=812436] ppid=812431 vsize=640404 memory=577272 CPUtime=3393.14 cores=5,7
/proc/812434/task/812436/stat : 812436 (fscip) R 812431 812434 809908 0 -1 4194368 1250727 0 0 0 339163 151 0 0 20 0 3 0 158938865 655773696 144325 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
[pid=812434/tid=812437] ppid=812431 vsize=640404 memory=6720661043414186860 CPUtime=0.02 cores=5,7
/proc/812434/task/812437/stat : 812437 (fscip) S 812431 812434 809908 0 -1 1077936192 146 0 0 0 0 2 0 0 20 0 3 0 158938867 655773696 144325 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
Current children cumulated CPU time: 3393.5 s
Current children cumulated vsize: 640404 KiB
Current children cumulated memory: 577300 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 814390
/proc/meminfo: memFree=124141140/131524600 swapFree=131071996/131071996
[pid=812434] ppid=812431 vsize=640404 memory=579824 CPUtime=3453.36 cores=5,7
/proc/812434/stat : 812434 (fscip) S 812431 812434 809908 0 -1 1077936128 1269512 0 0 0 345174 162 0 0 20 0 3 0 158938853 655773696 144956 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
/proc/812434/statm: 160101 144956 3310 3032 0 147470 0
[pid=812434/tid=812436] ppid=812431 vsize=640404 memory=12312 CPUtime=3452.99 cores=5,7
/proc/812434/task/812436/stat : 812436 (fscip) R 812431 812434 809908 0 -1 4194368 1258551 0 0 0 345146 153 0 0 20 0 3 0 158938865 655773696 144956 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
[pid=812434/tid=812437] ppid=812431 vsize=640404 memory=578832 CPUtime=0.02 cores=5,7
/proc/812434/task/812437/stat : 812437 (fscip) S 812431 812434 809908 0 -1 1077936192 148 0 0 0 0 2 0 0 20 0 3 0 158938867 655773696 144956 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
Current children cumulated CPU time: 3453.36 s
Current children cumulated vsize: 640404 KiB
Current children cumulated memory: 579824 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 814400
/proc/meminfo: memFree=124135032/131524600 swapFree=131071996/131071996
[pid=812434] ppid=812431 vsize=640404 memory=585532 CPUtime=3513.21 cores=5,7
/proc/812434/stat : 812434 (fscip) S 812431 812434 809908 0 -1 1077936128 1277058 0 0 0 351157 164 0 0 20 0 3 0 158938853 655773696 146383 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
/proc/812434/statm: 160101 146383 3310 3032 0 148760 0
[pid=812434/tid=812436] ppid=812431 vsize=640404 memory=578832 CPUtime=3512.84 cores=5,7
/proc/812434/task/812436/stat : 812436 (fscip) R 812431 812434 809908 0 -1 4194368 1266077 0 0 0 351128 156 0 0 20 0 3 0 158938865 655773696 146383 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
[pid=812434/tid=812437] ppid=812431 vsize=640404 memory=12316 CPUtime=0.02 cores=5,7
/proc/812434/task/812437/stat : 812437 (fscip) S 812431 812434 809908 0 -1 1077936192 150 0 0 0 0 2 0 0 20 0 3 0 158938867 655773696 146383 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
Current children cumulated CPU time: 3513.21 s
Current children cumulated vsize: 640404 KiB
Current children cumulated memory: 585532 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 814416
/proc/meminfo: memFree=124117252/131524600 swapFree=131071996/131071996
[pid=812434] ppid=812431 vsize=640404 memory=601376 CPUtime=3573.07 cores=5,7
/proc/812434/stat : 812434 (fscip) S 812431 812434 809908 0 -1 1077936128 1288952 0 0 0 357140 167 0 0 20 0 3 0 158938853 655773696 150344 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
/proc/812434/statm: 160101 150344 3310 3032 0 152900 0
[pid=812434/tid=812436] ppid=812431 vsize=640404 memory=601376 CPUtime=3572.69 cores=5,7
/proc/812434/task/812436/stat : 812436 (fscip) R 812431 812434 809908 0 -1 4194368 1277946 0 0 0 357111 158 0 0 20 0 3 0 158938865 655773696 150344 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
[pid=812434/tid=812437] ppid=812431 vsize=640404 memory=15976 CPUtime=0.02 cores=5,7
/proc/812434/task/812437/stat : 812437 (fscip) S 812431 812434 809908 0 -1 1077936192 152 0 0 0 0 2 0 0 20 0 3 0 158938867 655773696 150344 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
Current children cumulated CPU time: 3573.07 s
Current children cumulated vsize: 640404 KiB
Current children cumulated memory: 601376 KiB

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

# cumulated CPU time of all completed processes:  user=3589.32 s, system=1.68266 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.11 4.09 5/266 814416
/proc/meminfo: memFree=124117196/131524600 swapFree=131071996/131071996
[pid=812434] ppid=812431 vsize=640404 memory=601376 CPUtime=3574.77 cores=5,7
/proc/812434/stat : 812434 (fscip) S 812431 812434 809908 0 -1 1077936128 1289008 0 0 0 357310 167 0 0 20 0 3 0 158938853 655773696 150344 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
/proc/812434/statm: 160101 150344 3310 3032 0 152900 0
[pid=812434/tid=812436] ppid=812431 vsize=640404 memory=19804 CPUtime=3574.39 cores=5,7
/proc/812434/task/812436/stat : 812436 (fscip) R 812431 812434 809908 0 -1 4194368 1278002 0 0 0 357281 158 0 0 20 0 3 0 158938865 655773696 150344 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
[pid=812434/tid=812437] ppid=812431 vsize=640404 memory=-8621784567947968927 CPUtime=0.02 cores=5,7
/proc/812434/task/812437/stat : 812437 (fscip) S 812431 812434 809908 0 -1 1077936192 152 0 0 0 0 2 0 0 20 0 3 0 158938867 655773696 150344 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
Current children cumulated CPU time: 3574.77 s
Current children cumulated vsize: 640404 KiB
Current children cumulated memory: 601376 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 814416
/proc/meminfo: memFree=124116860/131524600 swapFree=131071996/131071996
[pid=812434] ppid=812431 vsize=643316 memory=601612 CPUtime=3581.15 cores=5,7
/proc/812434/stat : 812434 (fscip) S 812431 812434 809908 0 -1 1077936128 1289267 0 0 0 357948 167 0 0 20 0 3 0 158938853 658755584 150403 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
/proc/812434/statm: 160829 150403 3310 3032 0 153628 0
[pid=812434/tid=812436] ppid=812431 vsize=643316 memory=601376 CPUtime=3580.77 cores=5,7
/proc/812434/task/812436/stat : 812436 (fscip) R 812431 812434 809908 0 -1 4194368 1278261 0 0 0 357919 158 0 0 20 0 3 0 158938865 658755584 150403 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
[pid=812434/tid=812437] ppid=812431 vsize=643316 memory=601380 CPUtime=0.02 cores=5,7
/proc/812434/task/812437/stat : 812437 (fscip) S 812431 812434 809908 0 -1 1077936192 152 0 0 0 0 2 0 0 20 0 3 0 158938867 658755584 150403 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
Current children cumulated CPU time: 3581.15 s
Current children cumulated vsize: 643316 KiB
Current children cumulated memory: 601612 KiB

[startup+3596.8 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 814417
/proc/meminfo: memFree=124099976/131524600 swapFree=131071996/131071996
[pid=812434] ppid=812431 vsize=643316 memory=601660 CPUtime=3587.53 cores=5,7
/proc/812434/stat : 812434 (fscip) S 812431 812434 809908 0 -1 1077936128 1289834 0 0 0 358586 167 0 0 20 0 3 0 158938853 658755584 150415 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
/proc/812434/statm: 160829 150415 3310 3032 0 153628 0
[pid=812434/tid=812436] ppid=812431 vsize=643316 memory=12316 CPUtime=3587.15 cores=5,7
/proc/812434/task/812436/stat : 812436 (fscip) R 812431 812434 809908 0 -1 4194368 1278825 0 0 0 358557 158 0 0 20 0 3 0 158938865 658755584 150415 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
[pid=812434/tid=812437] ppid=812431 vsize=643316 memory=40760 CPUtime=0.02 cores=5,7
/proc/812434/task/812437/stat : 812437 (fscip) S 812431 812434 809908 0 -1 1077936192 154 0 0 0 0 2 0 0 20 0 3 0 158938867 658755584 150415 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
Current children cumulated CPU time: 3587.53 s
Current children cumulated vsize: 643316 KiB
Current children cumulated memory: 601660 KiB

[startup+3598.4 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 814417
/proc/meminfo: memFree=124099948/131524600 swapFree=131071996/131071996
[pid=812434] ppid=812431 vsize=643316 memory=601660 CPUtime=3589.13 cores=5,7
/proc/812434/stat : 812434 (fscip) S 812431 812434 809908 0 -1 1077936128 1289964 0 0 0 358746 167 0 0 20 0 3 0 158938853 658755584 150415 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
/proc/812434/statm: 160829 150415 3310 3032 0 153628 0
[pid=812434/tid=812436] ppid=812431 vsize=643316 memory=40760 CPUtime=3588.75 cores=5,7
/proc/812434/task/812436/stat : 812436 (fscip) R 812431 812434 809908 0 -1 4194368 1278955 0 0 0 358717 158 0 0 20 0 3 0 158938865 658755584 150415 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
[pid=812434/tid=812437] ppid=812431 vsize=643316 memory=12312 CPUtime=0.02 cores=5,7
/proc/812434/task/812437/stat : 812437 (fscip) S 812431 812434 809908 0 -1 1077936192 154 0 0 0 0 2 0 0 20 0 3 0 158938867 658755584 150415 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
Current children cumulated CPU time: 3589.13 s
Current children cumulated vsize: 643316 KiB
Current children cumulated memory: 601660 KiB

[startup+3599.2 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 814417
/proc/meminfo: memFree=124098604/131524600 swapFree=131071996/131071996
[pid=812434] ppid=812431 vsize=643316 memory=601660 CPUtime=3589.93 cores=5,7
/proc/812434/stat : 812434 (fscip) S 812431 812434 809908 0 -1 1077936128 1290963 0 0 0 358826 167 0 0 20 0 3 0 158938853 658755584 150415 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
/proc/812434/statm: 160829 150415 3310 3032 0 153628 0
[pid=812434/tid=812436] ppid=812431 vsize=643316 memory=2220 CPUtime=3589.54 cores=5,7
/proc/812434/task/812436/stat : 812436 (fscip) R 812431 812434 809908 0 -1 4194368 1279953 0 0 0 358796 158 0 0 20 0 3 0 158938865 658755584 150415 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
[pid=812434/tid=812437] ppid=812431 vsize=643316 memory=12316 CPUtime=0.02 cores=5,7
/proc/812434/task/812437/stat : 812437 (fscip) S 812431 812434 809908 0 -1 1077936192 154 0 0 0 0 2 0 0 20 0 3 0 158938867 658755584 150415 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
Current children cumulated CPU time: 3589.93 s
Current children cumulated vsize: 643316 KiB
Current children cumulated memory: 601660 KiB

[startup+3600 s]*
/proc/loadavg: 4.09 4.10 4.09 6/259 814477
/proc/meminfo: memFree=125743796/131524600 swapFree=131071996/131071996
[pid=812434] ppid=812431 vsize=643316 memory=601660 CPUtime=3590.73 cores=5,7
/proc/812434/stat : 812434 (fscip) S 812431 812434 809908 0 -1 1077936128 1291039 0 0 0 358906 167 0 0 20 0 3 0 158938853 658755584 150415 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
/proc/812434/statm: 160829 150415 3310 3032 0 153628 0
[pid=812434/tid=812436] ppid=812431 vsize=643316 memory=-6225778353683741545 CPUtime=3590.35 cores=5,7
/proc/812434/task/812436/stat : 812436 (fscip) R 812431 812434 809908 0 -1 4194368 1280028 0 0 0 358877 158 0 0 20 0 3 0 158938865 658755584 150415 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
[pid=812434/tid=812437] ppid=812431 vsize=643316 memory=5512 CPUtime=0.02 cores=5,7
/proc/812434/task/812437/stat : 812437 (fscip) S 812431 812434 809908 0 -1 1077936192 154 0 0 0 0 2 0 0 20 0 3 0 158938867 658755584 150415 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
Current children cumulated CPU time: 3590.73 s
Current children cumulated vsize: 643316 KiB
Current children cumulated memory: 601660 KiB

[startup+3600.2 s]
/proc/loadavg: 4.09 4.10 4.09 6/259 814477
/proc/meminfo: memFree=125743796/131524600 swapFree=131071996/131071996
[pid=812434] ppid=812431 vsize=641268 memory=599740 CPUtime=3590.92 cores=5,7
/proc/812434/stat : 812434 (fscip) S 812431 812434 809908 0 -1 1077936128 1300082 0 0 0 358925 167 0 0 20 0 3 0 158938853 656658432 149935 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
/proc/812434/statm: 160317 149935 3310 3032 0 153116 0
[pid=812434/tid=812436] ppid=812431 vsize=641268 memory=13884 CPUtime=3590.54 cores=5,7
/proc/812434/task/812436/stat : 812436 (fscip) R 812431 812434 809908 0 -1 4194368 1289072 0 0 0 358896 158 0 0 20 0 3 0 158938865 656658432 149935 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
[pid=812434/tid=812437] ppid=812431 vsize=641268 memory=11700 CPUtime=0.02 cores=5,7
/proc/812434/task/812437/stat : 812437 (fscip) S 812431 812434 809908 0 -1 1077936192 154 0 0 0 0 2 0 0 20 0 3 0 158938867 656658432 149935 134679101440 4194304 16613245 140731405360016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50720768 140731405366293 140731405366409 140731405366409 140731405373424 0
Current children cumulated CPU time: 3590.92 s
Current children cumulated vsize: 641268 KiB
Current children cumulated memory: 599740 KiB

Child status: 0

Real time (s): 3600.27
CPU time (s): 3591
CPU user time (s): 3589.32
CPU system time (s): 1.68266
CPU usage (%): 99.7425
Max. virtual memory (cumulated for all children) (KiB): 643316
Max. memory (cumulated for all children) (KiB): 601660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.32
system time used= 1.68266
maximum resident set size= 601660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1302392
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= 11450
involuntary context switches= 2920


# summary of solver processes directly reported to runsolver:
#   pid: 812434
#   total CPU time (s): 3591
#   total CPU user time (s): 3589.32
#   total CPU system time (s): 1.68266

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.49463 second user time and 15.0547 second system time

The end

Launcher Data

Begin job on nodeC033 at 2024-07-15 20:21:43
IDJOB=4434629
IDBENCH=147020
IDSOLVER=3064
FILE ID=nodeC033/4434629-1721067691
RUNJOBID= nodeC033-1721064102-809921
SLURM_JOB_ID= 7505520
Free space on /tmp= 889996 MiB

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

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

MD5SUM BENCH= 01f07e427327757fda434ad4b1d2038d
RANDOM SEED=479211744

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126127860 kB
MemAvailable:   129099028 kB
Buffers:          385992 kB
Cached:          3391236 kB
SwapCached:            0 kB
Active:           637712 kB
Inactive:        4100864 kB
Active(anon):       1532 kB
Inactive(anon):   997524 kB
Active(file):     636180 kB
Inactive(file):  3103340 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             88784 kB
Writeback:             0 kB
AnonPages:        960732 kB
Mapped:           136976 kB
Shmem:             37716 kB
KReclaimable:     142588 kB
Slab:             252736 kB
SReclaimable:     142588 kB
SUnreclaim:       110148 kB
KernelStack:        4204 kB
PageTables:        11140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1061280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60320 kB
HardwareCorrupted:     0 kB
AnonHugePages:    583680 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:      256724 kB
DirectMap2M:    25731072 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 889972 MiB
End job on nodeC033 at 2024-07-15 21:21:44