Trace number 4464122

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-30SAT-68 3587.76 3598.37

General information on the benchmark

NamePB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-7000opt.opb
MD5SUMa2ed787f64e4174fa3d5b649f06337f0
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-68
Best CPU time to get the best result obtained on this benchmark2.31994
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2025
Total number of constraints29069
Number of constraints which are clauses29069
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 135
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 347
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 347
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.4.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.08	c Default LC presolving (default).
0.00/0.08	c ** Before presolving: virtualMemUsedAtLc = 73491613, getVmSize() = 66547712, SCIPgetMemUsed() = 36806890, SCIPgetMemTotal() = 42811386, SCIPgetMemExternEstim() = 30680227
0.00/0.08	c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.40/0.43	c ** Estimated virtualMemUsedAtSolver = 65871196, getVmSize() = 95117312, SCIPgetMemUsed() = 37062600, SCIPgetMemTotal() = 68126568, SCIPgetMemExternEstim() = 30680227
0.40/0.43	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.40/0.43	c Original Problem   :
0.40/0.43	c   Problem name     : instance-4464122-1722382196
0.40/0.43	c   Variables        : 2025 (2025 binary, 0 integer, 0 implicit integer, 0 continuous)
0.40/0.43	c   Constraints      : 29069
0.40/0.43	c   Objective sense  : minimize
0.40/0.43	c Presolved Problem  :
0.40/0.43	c   Variables        : 1402 (1402 binary, 0 integer, 0 implicit integer, 0 continuous)
0.40/0.43	c   Constraints      : 23926
0.40/0.43	c Constraints        : Number
0.40/0.43	c   setppc           : 1132 
0.40/0.43	c   and              : 24 
0.40/0.43	c   logicor          : 22770 
0.40/0.43	c ** Instance transfer method used: 0
0.40/0.47	c ** ParaScipInstance copy does not increase the number of variables. **
0.40/0.50	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.40/0.50	c                                Nodes    Active                                            
0.40/0.50	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.78/0.86	c *       1              0           1         1         -17.0000                -          -
0.88/0.91	c *       1              0           1         1         -18.0000                -          -
91.66/92.22	c *      92              0           1         1         -48.0000                -          -
91.66/92.22	c        92              0           1         1         -48.0000                -          -
107.52/108.17	c *     108              0           1         1         -55.0000                -          -
107.52/108.17	c       108              0           1         1         -55.0000                -          -
130.06/130.70	c       131              2           1         1         -55.0000        -143.9227    161.68%
138.74/139.48	c       139              4           3         1         -55.0000        -143.9227    161.68%
147.92/148.68	c       149              5           4         1         -55.0000        -143.9227    161.68%
153.00/153.70	c       154              6           5         1         -55.0000        -138.5980    152.00%
160.48/161.26	c       161              8           7         1         -55.0000        -137.1354    149.34%
170.96/171.75	c       172             10           9         1         -55.0000        -137.1354    149.34%
177.25/178.03	c       178             11          10         1         -55.0000        -137.1354    149.34%
185.62/186.45	c       186             13          12         1         -55.0000        -137.1354    149.34%
193.60/194.41	c       194             15          14         1         -55.0000        -137.1354    149.34%
201.28/202.10	c       202             17          16         1         -55.0000        -137.1354    149.34%
209.75/210.64	c       211             21          20         1         -55.0000        -137.1354    149.34%
215.64/216.50	c       217             26          23         1         -55.0000        -137.1354    149.34%
221.42/222.31	c       222             43          28         1         -55.0000        -137.1354    149.34%
222.13/223.09	c *     223             43          28         1         -56.0000        -137.1354    144.88%
230.70/231.65	c       232             53          28         1         -56.0000        -136.7500    144.20%
239.57/240.51	c       241             54          29         1         -56.0000        -136.7500    144.20%
240.67/241.61	c *     242             54          29         1         -57.0000        -136.7500    139.91%
245.07/246.02	c       246             64          29         1         -57.0000        -136.7500    139.91%
251.54/252.58	c       253             87          26         1         -57.0000        -136.7500    139.91%
257.24/258.22	c       258             98          29         1         -57.0000        -136.7500    139.91%
262.42/263.44	c       263            122          31         1         -57.0000        -136.7500    139.91%
290.06/291.17	c       291            125          34         1         -57.0000        -136.7500    139.91%
295.83/296.98	c *     297            136          31         1         -60.0000        -136.7500    127.92%
295.83/296.98	c       297            136          31         1         -60.0000        -136.7500    127.92%
303.12/304.29	c       304            143          32         1         -60.0000        -135.7833    126.31%
313.60/314.71	c       315            145          34         1         -60.0000        -135.7833    126.31%
316.59/317.72	c *     318            148          35         1         -62.0000        -135.7833    119.01%
319.68/320.85	c       321            158          33         1         -62.0000        -135.7833    119.01%
320.58/321.73	c *     322            158          33         1         -63.0000        -135.7833    115.53%
325.46/326.66	c       327            162          33         1         -63.0000        -133.1000    111.27%
333.14/334.34	c       334            164          35         1         -63.0000        -133.1000    111.27%
338.62/339.86	c       340            165          36         1         -63.0000        -133.1000    111.27%
345.01/346.27	c       346            168          39         1         -63.0000        -133.1000    111.27%
347.80/349.00	c *     349            169          40         1         -65.0000        -133.1000    104.77%
348.90/350.10	c *     350            174          39         1         -66.0000        -133.1000    101.67%
353.38/354.69	c       355            182          39         1         -66.0000        -132.1201    100.18%
364.06/365.31	c       365            185          42         1         -66.0000        -132.1201    100.18%
369.04/370.35	c       370            196          41         1         -66.0000        -132.1201    100.18%
377.52/378.85	c       379            212          41         1         -66.0000        -131.0000     98.48%
384.20/385.53	c       386            214          43         1         -66.0000        -131.0000     98.48%
389.39/390.78	c       391            216          45         1         -66.0000        -131.0000     98.48%
394.87/396.21	c       396            233          46         1         -66.0000        -131.0000     98.48%
401.95/403.39	c       403            248          45         1         -66.0000        -131.0000     98.48%
408.74/410.17	c       410            253          46         1         -66.0000        -131.0000     98.48%
415.41/416.82	c       417            255          48         1         -66.0000        -131.0000     98.48%
420.80/422.29	c       422            262          51         1         -66.0000        -131.0000     98.48%
432.36/433.88	c       434            266          50         1         -66.0000        -131.0000     98.48%
438.15/439.69	c       440            269          53         1         -66.0000        -131.0000     98.48%
444.93/446.49	c       446            273          53         1         -66.0000        -130.1833     97.25%
450.42/451.95	c       452            275          55         1         -66.0000        -130.1833     97.25%
456.61/458.15	c       458            283          55         1         -66.0000        -130.1833     97.25%
462.09/463.64	c       464            287          55         1         -66.0000        -130.1833     97.25%
468.28/469.88	c       470            293          53         1         -66.0000        -130.1833     97.25%
474.26/475.82	c       476            302          52         1         -66.0000        -130.1833     97.25%
479.85/481.41	c       481            304          54         1         -66.0000        -130.1833     97.25%
487.83/489.44	c       489            305          55         1         -66.0000        -130.1833     97.25%
492.81/494.48	c       494            310          58         1         -66.0000        -130.1833     97.25%
498.00/499.65	c       500            317          57         1         -66.0000        -130.1833     97.25%
503.59/505.27	c       505            320          56         1         -66.0000        -130.1833     97.25%
509.57/511.26	c       511            322          56         1         -66.0000        -130.0917     97.11%
515.46/517.11	c       517            324          58         1         -66.0000        -130.0917     97.11%
522.74/524.41	c       524            327          61         1         -66.0000        -130.0917     97.11%
529.42/531.18	c       531            333          61         1         -66.0000        -130.0917     97.11%
534.90/536.61	c       537            338          60         1         -66.0000        -130.0917     97.11%
541.09/542.81	c       543            345          57         1         -66.0000        -130.0917     97.11%
546.47/548.21	c       548            353          57         1         -66.0000        -130.0917     97.11%
552.16/553.97	c       554            361          57         1         -66.0000        -130.0917     97.11%
557.35/559.11	c       559            367          55         1         -66.0000        -130.0917     97.11%
563.03/564.88	c       565            373          55         1         -66.0000        -130.0917     97.11%
570.11/571.93	c       572            376          54         1         -66.0000        -130.0917     97.11%
577.69/579.52	c       580            382          56         1         -66.0000        -129.6042     96.37%
583.67/585.59	c       586            384          58         1         -66.0000        -129.6042     96.37%
589.56/591.44	c       591            385          59         1         -66.0000        -129.6042     96.37%
596.44/598.33	c       598            391          59         1         -66.0000        -129.6042     96.37%
601.62/603.52	c       604            394          58         1         -66.0000        -129.6042     96.37%
606.71/608.69	c       609            397          59         1         -66.0000        -129.6042     96.37%
613.10/615.09	c       615            400          62         1         -66.0000        -129.6042     96.37%
619.38/621.35	c       621            405          61         1         -66.0000        -129.6042     96.37%
625.67/627.67	c       628            412          62         1         -66.0000        -129.1302     95.65%
631.65/633.65	c       634            414          64         1         -66.0000        -129.1302     95.65%
637.33/639.40	c       639            419          65         1         -66.0000        -129.1302     95.65%
642.42/644.44	c       644            422          64         1         -66.0000        -128.8333     95.20%
648.41/650.40	c       650            424          66         1         -66.0000        -128.8333     95.20%
655.69/657.73	c       658            425          67         1         -66.0000        -128.8333     95.20%
663.86/665.99	c       666            432          68         1         -66.0000        -127.6250     93.37%
675.33/677.45	c       677            435          71         1         -66.0000        -127.6250     93.37%
681.42/683.55	c       684            439          71         1         -66.0000        -127.6250     93.37%
688.50/690.67	c       691            443          71         1         -66.0000        -127.6250     93.37%
693.78/695.99	c       696            444          70         1         -66.0000        -127.6250     93.37%
699.78/701.90	c       702            446          72         1         -66.0000        -127.6250     93.37%
706.36/708.51	c       709            456          72         1         -66.0000        -127.6250     93.37%
713.54/715.78	c       716            465          69         1         -66.0000        -127.6250     93.37%
720.52/722.75	c       723            467          69         1         -66.0000        -127.6250     93.37%
733.19/735.40	c       735            469          69         1         -66.0000        -127.6250     93.37%
738.88/741.15	c       741            470          68         1         -66.0000        -127.6250     93.37%
746.16/748.46	c       748            472          70         1         -66.0000        -127.6250     93.37%
754.53/756.85	c       757            474          68         1         -66.0000        -127.6250     93.37%
769.58/771.99	c       772            476          70         1         -66.0000        -127.6250     93.37%
778.25/780.66	c       781            487          69         1         -66.0000        -127.6250     93.37%
784.23/786.63	c       787            490          68         1         -66.0000        -127.6250     93.37%
792.71/795.17	c       795            491          67         1         -66.0000        -127.6250     93.37%
801.97/804.49	c       804            492          66         1         -66.0000        -127.6250     93.37%
810.55/813.05	c       813            495          69         1         -66.0000        -127.6250     93.37%
820.31/822.90	c       823            497          69         1         -66.0000        -127.6250     93.37%
825.69/828.29	c       828            500          68         1         -66.0000        -127.6250     93.37%
833.87/836.44	c       836            504          68         1         -66.0000        -127.5444     93.25%
839.55/842.12	c       842            506          68         1         -66.0000        -127.5444     93.25%
845.13/847.79	c       848            508          68         1         -66.0000        -127.5444     93.25%
851.11/853.75	c       854            511          67         1         -66.0000        -127.5444     93.25%
857.69/860.31	c       860            515          67         1         -66.0000        -127.5444     93.25%
864.67/867.32	c       867            517          67         1         -66.0000        -127.5444     93.25%
871.15/873.84	c       874            521          65         1         -66.0000        -127.5444     93.25%
887.09/889.81	c       890            523          65         1         -66.0000        -127.5444     93.25%
892.88/895.67	c       896            527          65         1         -66.0000        -127.5444     93.25%
900.95/903.77	c       904            528          64         1         -66.0000        -127.5444     93.25%
907.23/910.01	c       910            530          64         1         -66.0000        -127.5444     93.25%
912.61/915.44	c       915            532          62         1         -66.0000        -127.5444     93.25%
919.68/922.57	c       923            534          64         1         -66.0000        -127.5444     93.25%
932.64/935.57	c       936            537          65         1         -66.0000        -127.5444     93.25%
939.43/942.31	c       942            545          65         1         -66.0000        -127.5444     93.25%
945.81/948.73	c       949            552          64         1         -66.0000        -126.8250     92.16%
951.39/954.34	c       954            554          66         1         -66.0000        -126.8250     92.16%
965.94/968.96	c       969            556          68         1         -66.0000        -126.8250     92.16%
971.62/974.65	c       975            564          68         1         -66.0000        -126.8250     92.16%
979.59/982.69	c       983            572          66         1         -66.0000        -126.6250     91.86%
986.07/989.11	c       989            574          68         1         -66.0000        -126.6250     91.86%
995.74/998.86	c       999            576          68         1         -66.0000        -126.6250     91.86%
1003.31/1006.44	c      1006            583          67         1         -66.0000        -126.6250     91.86%
1009.39/1012.57	c      1013            587          67         1         -66.0000        -126.6250     91.86%
1017.66/1020.88	c      1021            593          69         1         -66.0000        -126.6250     91.86%
1025.34/1028.56	c      1029            596          70         1         -66.0000        -126.6250     91.86%
1032.92/1036.19	c      1036            601          69         1         -66.0000        -126.6250     91.86%
1044.48/1047.78	c      1048            603          69         1         -66.0000        -126.6250     91.86%
1055.54/1058.88	c      1059            604          68         1         -66.0000        -126.6250     91.86%
1061.02/1064.37	c      1064            606          70         1         -66.0000        -126.6250     91.86%
1067.70/1071.01	c      1071            611          71         1         -66.0000        -126.6250     91.86%
1072.88/1076.29	c      1076            612          70         1         -66.0000        -126.6250     91.86%
1079.16/1082.50	c      1083            614          70         1         -66.0000        -126.6250     91.86%
1086.64/1090.02	c      1090            615          69         1         -66.0000        -126.6250     91.86%
1093.72/1097.12	c      1097            618          70         1         -66.0000        -126.6250     91.86%
1098.79/1102.29	c      1102            624          70         1         -66.0000        -126.6250     91.86%
1104.87/1108.40	c      1108            627          69         1         -66.0000        -126.6250     91.86%
1110.56/1114.06	c      1114            630          68         1         -66.0000        -126.6250     91.86%
1117.33/1120.81	c      1121            636          68         1         -66.0000        -126.6250     91.86%
1123.51/1127.08	c      1127            638          66         1         -66.0000        -126.6250     91.86%
1131.58/1135.10	c      1135            641          69         1         -66.0000        -126.6250     91.86%
1137.66/1141.27	c      1141            643          71         1         -66.0000        -126.6250     91.86%
1144.23/1147.85	c      1148            648          72         1         -66.0000        -126.6250     91.86%
1149.71/1153.33	c      1153            652          72         1         -66.0000        -125.5217     90.18%
1156.78/1160.43	c      1160            654          74         1         -66.0000        -125.5217     90.18%
1162.86/1166.54	c      1167            657          73         1         -66.0000        -125.5217     90.18%
1168.34/1172.06	c      1172            662          72         1         -66.0000        -125.5217     90.18%
1175.01/1178.78	c      1179            665          73         1         -66.0000        -125.5217     90.18%
1180.99/1184.71	c      1185            669          77         1         -66.0000        -125.5217     90.18%
1186.87/1190.66	c      1191            672          76         1         -66.0000        -125.5217     90.18%
1193.84/1197.64	c      1198            674          78         1         -66.0000        -125.5217     90.18%
1199.62/1203.47	c      1203            675          79         1         -66.0000        -125.5217     90.18%
1208.99/1212.80	c      1213            678          78         1         -66.0000        -125.5217     90.18%
1215.27/1219.12	c      1219            683          77         1         -66.0000        -125.5217     90.18%
1220.35/1224.27	c      1224            685          77         1         -66.0000        -125.5217     90.18%
1229.22/1233.18	c      1233            688          78         1         -66.0000        -125.5217     90.18%
1235.69/1239.61	c      1240            692          78         1         -66.0000        -125.5000     90.15%
1242.07/1246.02	c      1246            694          80         1         -66.0000        -125.5000     90.15%
1269.58/1273.67	c      1274            695          81         1         -66.0000        -125.5000     90.15%
1274.77/1278.87	c      1279            697          81         1         -66.0000        -125.5000     90.15%
1280.95/1285.05	c      1285            700          80         1         -66.0000        -125.5000     90.15%
1288.21/1292.37	c      1292            706          78         1         -66.0000        -124.4429     88.55%
1294.89/1299.04	c      1299            709          79         1         -66.0000        -124.4429     88.55%
1302.66/1306.86	c      1307            712          78         1         -66.0000        -124.4429     88.55%
1310.73/1314.99	c      1315            715          81         1         -66.0000        -124.4429     88.55%
1318.70/1322.93	c      1323            716          80         1         -66.0000        -124.4429     88.55%
1329.66/1333.96	c      1334            717          81         1         -66.0000        -124.4429     88.55%
1335.34/1339.67	c      1340            722          84         1         -66.0000        -124.4429     88.55%
1340.83/1345.19	c      1345            728          82         1         -66.0000        -124.4429     88.55%
1346.61/1350.98	c      1351            734          82         1         -66.0000        -124.4429     88.55%
1352.39/1356.76	c      1357            740          80         1         -66.0000        -124.4429     88.55%
1358.37/1362.72	c      1363            743          81         1         -66.0000        -124.0297     87.92%
1363.76/1368.17	c      1368            745          83         1         -66.0000        -124.0297     87.92%
1370.83/1375.21	c      1375            746          82         1         -66.0000        -124.0297     87.92%
1379.50/1383.93	c      1384            747          83         1         -66.0000        -124.0297     87.92%
1386.17/1390.63	c      1391            755          85         1         -66.0000        -124.0297     87.92%
1392.45/1396.93	c      1397            763          89         1         -66.0000        -123.7935     87.57%
1404.01/1408.57	c      1409            765          88         1         -66.0000        -123.7935     87.57%
1406.20/1410.73	c *    1411            767          90         1         -68.0000        -123.7935     82.05%
1409.09/1413.63	c      1414            774          87         1         -68.0000        -123.7935     82.05%
1422.34/1426.96	c      1427            780          85         1         -68.0000        -123.7935     82.05%
1428.53/1433.13	c      1433            782          85         1         -68.0000        -123.7935     82.05%
1435.70/1440.31	c      1440            789          86         1         -68.0000        -123.7935     82.05%
1440.99/1445.60	c      1446            792          85         1         -68.0000        -123.7500     81.99%
1446.47/1451.16	c      1451            794          87         1         -68.0000        -123.7500     81.99%
1453.15/1457.86	c      1458            796          89         1         -68.0000        -123.7500     81.99%
1460.12/1464.83	c      1465            798          87         1         -68.0000        -123.7500     81.99%
1466.10/1470.82	c      1471            800          89         1         -68.0000        -123.7500     81.99%
1471.98/1476.73	c      1477            807          90         1         -68.0000        -123.7500     81.99%
1477.16/1481.90	c      1482            813          90         1         -68.0000        -123.7500     81.99%
1483.54/1488.39	c      1488            822          87         1         -68.0000        -123.7500     81.99%
1489.23/1494.08	c      1494            824          89         1         -68.0000        -123.7500     81.99%
1495.11/1499.92	c      1500            827          88         1         -68.0000        -123.7500     81.99%
1501.58/1506.46	c      1506            831          88         1         -68.0000        -123.7500     81.99%
1506.76/1511.62	c      1512            834          89         1         -68.0000        -123.7500     81.99%
1512.05/1516.99	c      1517            839          88         1         -68.0000        -123.7500     81.99%
1517.83/1522.76	c      1523            843          86         1         -68.0000        -123.7500     81.99%
1523.21/1528.12	c      1528            847          88         1         -68.0000        -123.7500     81.99%
1529.88/1534.88	c      1535            858          87         1         -68.0000        -123.7500     81.99%
1537.85/1542.84	c      1543            861          84         1         -68.0000        -123.7500     81.99%
1543.73/1548.71	c      1549            863          86         1         -68.0000        -123.4694     81.57%
1558.09/1563.12	c      1563            865          88         1         -68.0000        -123.4694     81.57%
1563.77/1568.80	c      1569            867          88         1         -68.0000        -123.4694     81.57%
1572.04/1577.12	c      1577            871          88         1         -68.0000        -123.4694     81.57%
1577.53/1582.65	c      1583            873          88         1         -68.0000        -123.4694     81.57%
1583.50/1588.65	c      1589            875          88         1         -68.0000        -123.4694     81.57%
1594.97/1600.19	c      1600            876          89         1         -68.0000        -123.4694     81.57%
1603.23/1608.40	c      1608            882          89         1         -68.0000        -123.4694     81.57%
1610.61/1615.82	c      1616            888          87         1         -68.0000        -123.4694     81.57%
1617.19/1622.42	c      1622            890          87         1         -68.0000        -123.4694     81.57%
1622.37/1627.64	c      1628            896          87         1         -68.0000        -123.4694     81.57%
1629.94/1635.26	c      1635            904          85         1         -68.0000        -123.4694     81.57%
1637.62/1642.92	c      1643            906          83         1         -68.0000        -123.4694     81.57%
1644.19/1649.50	c      1650            909          86         1         -68.0000        -123.4694     81.57%
1649.78/1655.15	c      1655            913          86         1         -68.0000        -122.8152     80.61%
1655.35/1660.76	c      1661            915          88         1         -68.0000        -122.8152     80.61%
1661.23/1666.65	c      1667            919          88         1         -68.0000        -122.8152     80.61%
1667.21/1672.62	c      1673            926          87         1         -68.0000        -122.8152     80.61%
1677.19/1682.62	c      1683            929          86         1         -68.0000        -122.8152     80.61%
1683.86/1689.34	c      1689            933          86         1         -68.0000        -122.8152     80.61%
1689.84/1695.30	c      1695            935          84         1         -68.0000        -122.8152     80.61%
1697.42/1702.95	c      1703            941          84         1         -68.0000        -122.8152     80.61%
1710.07/1715.68	c      1716            944          87         1         -68.0000        -122.8152     80.61%
1721.54/1727.13	c      1727            946          87         1         -68.0000        -122.8152     80.61%
1727.31/1732.98	c      1733            948          87         1         -68.0000        -122.8152     80.61%
1734.60/1740.22	c      1740            951          84         1         -68.0000        -122.8152     80.61%
1741.77/1747.45	c      1747            953          86         1         -68.0000        -122.7923     80.58%
1749.45/1755.12	c      1755            955          88         1         -68.0000        -122.7923     80.58%
1757.72/1763.46	c      1763            956          87         1         -68.0000        -122.7923     80.58%
1767.88/1773.63	c      1774            957          88         1         -68.0000        -122.7923     80.58%
1774.66/1780.46	c      1780            964          89         1         -68.0000        -122.7923     80.58%
1782.73/1788.54	c      1789            972          89         1         -68.0000        -122.6875     80.42%
1788.32/1794.19	c      1794            974          91         1         -68.0000        -122.6875     80.42%
1795.99/1801.81	c      1802            976          89         1         -68.0000        -122.6875     80.42%
1803.36/1809.25	c      1809            979          88         1         -68.0000        -122.6875     80.42%
1812.24/1818.12	c      1818            980          87         1         -68.0000        -122.6875     80.42%
1820.80/1826.75	c      1827            982          87         1         -68.0000        -122.2269     79.75%
1826.69/1832.60	c      1833            984          89         1         -68.0000        -122.2269     79.75%
1834.07/1840.00	c      1840            988          87         1         -68.0000        -122.2269     79.75%
1839.45/1845.49	c      1846            990          87         1         -68.0000        -122.2269     79.75%
1846.62/1852.65	c      1853            994          87         1         -68.0000        -122.2269     79.75%
1854.10/1860.18	c      1860            997          86         1         -68.0000        -122.2269     79.75%
1860.47/1866.51	c      1867            999          84         1         -68.0000        -122.2269     79.75%
1866.15/1872.29	c      1872           1001          84         1         -68.0000        -122.2269     79.75%
1872.53/1878.66	c      1879           1003          84         1         -68.0000        -122.2269     79.75%
1878.02/1884.13	c      1884           1007          84         1         -68.0000        -122.2269     79.75%
1883.00/1889.14	c      1889           1010          83         1         -68.0000        -122.2269     79.75%
1889.99/1896.13	c      1896           1012          85         1         -68.0000        -122.2269     79.75%
1896.86/1903.06	c      1903           1016          85         1         -68.0000        -122.2269     79.75%
1902.54/1908.70	c      1909           1021          86         1         -68.0000        -122.2269     79.75%
1908.22/1914.47	c      1914           1027          86         1         -68.0000        -122.2269     79.75%
1915.59/1921.83	c      1922           1034          85         1         -68.0000        -122.2269     79.75%
1921.57/1927.87	c      1928           1038          85         1         -68.0000        -122.2269     79.75%
1927.05/1933.33	c      1933           1042          85         1         -68.0000        -121.9746     79.37%
1932.43/1938.74	c      1939           1044          87         1         -68.0000        -121.9746     79.37%
1938.61/1944.90	c      1945           1045          88         1         -68.0000        -121.9746     79.37%
1944.20/1950.58	c      1951           1049          88         1         -68.0000        -121.9746     79.37%
1951.48/1957.86	c      1958           1052          87         1         -68.0000        -121.9746     79.37%
1958.25/1964.68	c      1965           1054          85         1         -68.0000        -121.9746     79.37%
1964.53/1970.93	c      1971           1057          88         1         -68.0000        -121.9746     79.37%
1969.81/1976.22	c      1976           1070          87         1         -68.0000        -121.9746     79.37%
1975.70/1982.11	c      1982           1079          86         1         -68.0000        -121.9746     79.37%
1981.37/1987.80	c      1988           1089          86         1         -68.0000        -121.9746     79.37%
1986.66/1993.17	c      1993           1096          85         1         -68.0000        -121.9746     79.37%
1991.84/1998.38	c      1998           1099          88         1         -68.0000        -121.9746     79.37%
1998.73/2005.22	c      2005           1103          88         1         -68.0000        -121.8333     79.17%
2008.80/2015.32	c      2015           1105          90         1         -68.0000        -121.8333     79.17%
2013.98/2020.50	c      2021           1112          89         1         -68.0000        -121.4773     78.64%
2023.36/2029.94	c      2030           1115          90         1         -68.0000        -121.4773     78.64%
2031.34/2037.97	c      2038           1118          89         1         -68.0000        -121.4773     78.64%
2037.12/2043.75	c      2044           1120          89         1         -68.0000        -121.4773     78.64%
2043.21/2049.89	c      2050           1122          89         1         -68.0000        -121.4773     78.64%
2048.50/2055.18	c      2055           1123          88         1         -68.0000        -121.4773     78.64%
2055.08/2061.72	c      2062           1125          90         1         -68.0000        -121.4773     78.64%
2064.66/2071.38	c      2071           1127          88         1         -68.0000        -121.4773     78.64%
2070.74/2077.41	c      2077           1129          88         1         -68.0000        -121.4773     78.64%
2075.72/2082.44	c      2082           1131          88         1         -68.0000        -121.4773     78.64%
2090.98/2097.72	c      2098           1134          91         1         -68.0000        -121.4773     78.64%
2097.27/2104.10	c      2104           1139          92         1         -68.0000        -121.4773     78.64%
2102.55/2109.31	c      2109           1141          90         1         -68.0000        -121.4773     78.64%
2108.84/2115.67	c      2116           1143          92         1         -68.0000        -121.3333     78.43%
2116.12/2122.93	c      2123           1147          92         1         -68.0000        -121.3333     78.43%
2123.40/2130.23	c      2130           1149          90         1         -68.0000        -121.3333     78.43%
2135.07/2141.91	c      2142           1151          90         1         -68.0000        -121.3333     78.43%
2141.95/2148.81	c      2149           1152          89         1         -68.0000        -121.3333     78.43%
2148.64/2155.57	c      2156           1155          90         1         -68.0000        -121.3333     78.43%
2155.52/2162.49	c      2162           1158          89         1         -68.0000        -121.3333     78.43%
2162.90/2169.80	c      2170           1161          90         1         -68.0000        -121.3333     78.43%
2168.28/2175.22	c      2175           1165          90         1         -68.0000        -121.3333     78.43%
2175.66/2182.62	c      2183           1169          90         1         -68.0000        -121.3333     78.43%
2182.55/2189.58	c      2190           1172          89         1         -68.0000        -121.1818     78.21%
2188.63/2195.66	c      2196           1174          91         1         -68.0000        -121.1818     78.21%
2194.41/2201.42	c      2201           1176          89         1         -68.0000        -121.1818     78.21%
2200.41/2207.40	c      2207           1178          89         1         -68.0000        -121.1818     78.21%
2205.59/2212.62	c      2213           1180          89         1         -68.0000        -121.1818     78.21%
2210.88/2217.98	c      2218           1184          89         1         -68.0000        -121.1818     78.21%
2217.16/2224.24	c      2224           1188          89         1         -68.0000        -121.1818     78.21%
2224.94/2232.09	c      2232           1192          87         1         -68.0000        -121.1818     78.21%
2237.20/2244.31	c      2244           1193          88         1         -68.0000        -121.1818     78.21%
2242.29/2249.41	c      2249           1195          88         1         -68.0000        -121.1818     78.21%
2248.28/2255.46	c      2255           1199          90         1         -68.0000        -121.1818     78.21%
2254.76/2261.95	c      2262           1203          90         1         -68.0000        -120.2308     76.81%
2262.94/2270.11	c      2270           1205          92         1         -68.0000        -120.2308     76.81%
2268.02/2275.28	c      2275           1210          91         1         -68.0000        -120.2308     76.81%
2276.00/2283.20	c      2283           1212          91         1         -68.0000        -119.8750     76.29%
2283.18/2290.46	c      2290           1214          93         1         -68.0000        -119.8750     76.29%
2289.57/2296.89	c      2297           1215          92         1         -68.0000        -119.8750     76.29%
2295.86/2303.14	c      2303           1216          91         1         -68.0000        -119.8750     76.29%
2302.14/2309.42	c      2309           1217          90         1         -68.0000        -119.8750     76.29%
2314.00/2321.34	c      2321           1219          92         1         -68.0000        -119.8750     76.29%
2326.77/2334.19	c      2334           1223          92         1         -68.0000        -119.8750     76.29%
2333.75/2341.18	c      2341           1228          93         1         -68.0000        -119.8750     76.29%
2339.83/2347.21	c      2347           1236          93         1         -68.0000        -119.3696     75.54%
2349.51/2356.98	c      2357           1242          91         1         -68.0000        -119.1667     75.25%
2355.79/2363.24	c      2363           1244          93         1         -68.0000        -119.1667     75.25%
2368.46/2375.93	c      2376           1246          93         1         -68.0000        -119.1667     75.25%
2380.63/2388.14	c      2388           1247          94         1         -68.0000        -119.1667     75.25%
2388.21/2395.71	c      2396           1253          94         1         -68.0000        -118.9250     74.89%
2398.68/2406.28	c      2406           1255          94         1         -68.0000        -118.9250     74.89%
2405.16/2412.76	c      2413           1263          94         1         -68.0000        -118.9250     74.89%
2410.65/2418.27	c      2418           1271          91         1         -68.0000        -118.8446     74.77%
2418.63/2426.20	c      2426           1273          93         1         -68.0000        -117.5833     72.92%
2426.51/2434.19	c      2434           1275          95         1         -68.0000        -117.5833     72.92%
2433.50/2441.12	c      2441           1277          93         1         -68.0000        -117.5833     72.92%
2443.47/2451.19	c      2451           1282          92         1         -68.0000        -117.5833     72.92%
2455.14/2462.85	c      2463           1285          91         1         -68.0000        -117.5833     72.92%
2464.61/2472.36	c      2472           1286          90         1         -68.0000        -117.5833     72.92%
2473.59/2481.39	c      2481           1288          90         1         -68.0000        -117.5833     72.92%
2480.67/2488.46	c      2488           1291          91         1         -68.0000        -117.5833     72.92%
2486.86/2494.63	c      2495           1296          90         1         -68.0000        -117.5833     72.92%
2492.44/2500.24	c      2500           1302          94         1         -68.0000        -117.5833     72.92%
2497.83/2505.67	c      2506           1309          91         1         -68.0000        -117.5833     72.92%
2504.11/2511.97	c      2512           1320          90         1         -68.0000        -117.5833     72.92%
2515.58/2523.40	c      2523           1324          88         1         -68.0000        -117.5833     72.92%
2521.37/2529.22	c      2529           1325          87         1         -68.0000        -117.5833     72.92%
2527.45/2535.36	c      2535           1328          88         1         -68.0000        -117.5833     72.92%
2534.14/2542.02	c      2542           1332          86         1         -68.0000        -117.5833     72.92%
2542.51/2550.47	c      2550           1334          86         1         -68.0000        -117.5833     72.92%
2553.59/2561.57	c      2562           1335          87         1         -68.0000        -117.5833     72.92%
2561.17/2569.13	c      2569           1339          87         1         -68.0000        -117.5833     72.92%
2566.65/2574.66	c      2575           1344          86         1         -68.0000        -117.5833     72.92%
2579.02/2587.09	c      2587           1346          86         1         -68.0000        -117.5833     72.92%
2593.38/2601.44	c      2601           1347          87         1         -68.0000        -117.5833     72.92%
2599.16/2607.23	c      2607           1352          90         1         -68.0000        -117.5833     72.92%
2605.84/2613.95	c      2614           1362          90         1         -68.0000        -117.5833     72.92%
2611.93/2620.08	c      2620           1367          89         1         -68.0000        -117.5833     72.92%
2617.31/2625.44	c      2625           1374          88         1         -68.0000        -117.5833     72.92%
2624.29/2632.43	c      2632           1380          86         1         -68.0000        -117.5833     72.92%
2640.86/2649.09	c      2649           1381          87         1         -68.0000        -117.5833     72.92%
2656.31/2664.53	c      2665           1385          87         1         -68.0000        -117.5833     72.92%
2661.99/2670.20	c      2670           1387          87         1         -68.0000        -117.5833     72.92%
2668.48/2676.70	c      2677           1391          87         1         -68.0000        -117.5833     72.92%
2674.67/2682.93	c      2683           1398          84         1         -68.0000        -117.5833     72.92%
2680.65/2688.91	c      2689           1399          83         1         -68.0000        -117.5833     72.92%
2685.64/2693.97	c      2694           1402          84         1         -68.0000        -117.5833     72.92%
2691.62/2699.93	c      2700           1404          82         1         -68.0000        -117.5833     72.92%
2701.59/2710.00	c      2710           1406          82         1         -68.0000        -117.5833     72.92%
2716.16/2724.56	c      2725           1407          83         1         -68.0000        -117.5833     72.92%
2722.44/2730.83	c      2731           1414          82         1         -68.0000        -117.5833     72.92%
2730.32/2738.77	c      2739           1422          82         1         -68.0000        -117.4565     72.73%
2736.80/2745.28	c      2745           1424          84         1         -68.0000        -117.4565     72.73%
2743.48/2751.99	c      2752           1425          83         1         -68.0000        -117.4565     72.73%
2752.36/2760.83	c      2761           1427          83         1         -68.0000        -117.4565     72.73%
2765.82/2774.38	c      2774           1429          83         1         -68.0000        -117.4565     72.73%
2772.21/2780.77	c      2781           1436          84         1         -68.0000        -117.4565     72.73%
2778.89/2787.47	c      2787           1445          83         1         -68.0000        -117.4565     72.73%
2785.88/2794.43	c      2794           1449          83         1         -68.0000        -117.4565     72.73%
2790.86/2799.44	c      2799           1450          82         1         -68.0000        -117.4565     72.73%
2798.14/2806.79	c      2807           1451          81         1         -68.0000        -117.4565     72.73%
2804.82/2813.44	c      2813           1453          83         1         -68.0000        -117.4490     72.72%
2815.00/2823.69	c      2824           1455          83         1         -68.0000        -117.4490     72.72%
2828.47/2837.15	c      2837           1456          82         1         -68.0000        -117.4490     72.72%
2836.24/2844.92	c      2845           1458          82         1         -68.0000        -117.4490     72.72%
2846.32/2855.02	c      2855           1459          81         1         -68.0000        -117.4490     72.72%
2858.68/2867.44	c      2867           1460          82         1         -68.0000        -117.4490     72.72%
2863.87/2872.69	c      2873           1464          82         1         -68.0000        -117.4490     72.72%
2872.45/2881.29	c      2881           1466          80         1         -68.0000        -117.4490     72.72%
2879.93/2888.78	c      2889           1468          80         1         -68.0000        -117.4490     72.72%
2888.21/2897.05	c      2897           1469          81         1         -68.0000        -117.4490     72.72%
2893.20/2902.07	c      2902           1472          80         1         -68.0000        -117.2308     72.40%
2898.38/2907.26	c      2907           1474          82         1         -68.0000        -117.2308     72.40%
2905.17/2914.05	c      2914           1475          81         1         -68.0000        -117.2308     72.40%
2914.94/2923.82	c      2924           1476          82         1         -68.0000        -117.2308     72.40%
2922.52/2931.49	c      2932           1482          84         1         -68.0000        -117.1159     72.23%
2931.10/2940.02	c      2940           1484          86         1         -68.0000        -117.1159     72.23%
2936.48/2945.48	c      2945           1485          85         1         -68.0000        -117.1159     72.23%
2942.66/2951.65	c      2952           1491          85         1         -68.0000        -117.1159     72.23%
2948.75/2957.77	c      2958           1497          85         1         -68.0000        -117.1159     72.23%
2955.04/2964.01	c      2964           1500          84         1         -68.0000        -117.1159     72.23%
2960.52/2969.57	c      2970           1502          86         1         -68.0000        -117.1159     72.23%
2967.30/2976.32	c      2976           1505          85         1         -68.0000        -117.1159     72.23%
2972.79/2981.80	c      2982           1506          84         1         -68.0000        -117.1159     72.23%
2980.17/2989.29	c      2989           1510          82         1         -68.0000        -117.1159     72.23%
2986.56/2995.66	c      2996           1513          85         1         -68.0000        -117.1159     72.23%
2994.14/3003.20	c      3003           1519          83         1         -68.0000        -117.1159     72.23%
2999.62/3008.78	c      3009           1525          83         1         -68.0000        -117.1159     72.23%
3006.60/3015.70	c      3016           1529          83         1         -68.0000        -117.1159     72.23%
3014.58/3023.73	c      3024           1532          84         1         -68.0000        -117.1159     72.23%
3020.87/3030.01	c      3030           1534          84         1         -68.0000        -117.1159     72.23%
3029.34/3038.58	c      3039           1536          82         1         -68.0000        -117.1159     72.23%
3038.12/3047.36	c      3047           1539          83         1         -68.0000        -117.1159     72.23%
3043.31/3052.50	c      3053           1541          83         1         -68.0000        -117.1159     72.23%
3055.87/3065.15	c      3065           1543          81         1         -68.0000        -117.1159     72.23%
3062.86/3072.10	c      3072           1545          81         1         -68.0000        -117.1159     72.23%
3069.33/3078.69	c      3079           1548          82         1         -68.0000        -117.1159     72.23%
3075.02/3084.34	c      3084           1551          81         1         -68.0000        -117.1159     72.23%
3080.90/3090.25	c      3090           1553          83         1         -68.0000        -116.8958     71.91%
3085.99/3095.37	c      3095           1554          82         1         -68.0000        -116.8958     71.91%
3098.16/3107.50	c      3108           1555          83         1         -68.0000        -116.8958     71.91%
3104.15/3113.57	c      3114           1556          84         1         -68.0000        -116.8958     71.91%
3109.23/3118.60	c      3119           1558          84         1         -68.0000        -116.8958     71.91%
3115.12/3124.56	c      3125           1563          87         1         -68.0000        -116.8958     71.91%
3120.71/3130.11	c      3130           1573          87         1         -68.0000        -116.8333     71.81%
3131.58/3141.09	c      3141           1575          87         1         -68.0000        -116.8333     71.81%
3137.66/3147.19	c      3147           1585          87         1         -68.0000        -116.8333     71.81%
3154.02/3163.54	c      3164           1597          85         1         -68.0000        -116.8333     71.81%
3159.91/3169.43	c      3169           1603          87         1         -68.0000        -116.8333     71.81%
3166.89/3176.49	c      3176           1616          86         1         -68.0000        -116.8333     71.81%
3173.07/3182.67	c      3183           1628          84         1         -68.0000        -116.8333     71.81%
3178.46/3188.08	c      3188           1634          84         1         -68.0000        -116.8333     71.81%
3190.32/3199.91	c      3200           1636          82         1         -68.0000        -116.8333     71.81%
3196.31/3205.91	c      3206           1638          82         1         -68.0000        -116.8333     71.81%
3202.69/3212.36	c      3212           1644          82         1         -68.0000        -116.8333     71.81%
3210.07/3219.76	c      3220           1645          81         1         -68.0000        -116.8333     71.81%
3225.53/3235.29	c      3235           1646          82         1         -68.0000        -116.8333     71.81%
3233.71/3243.45	c      3243           1655          83         1         -68.0000        -116.8333     71.81%
3239.99/3249.72	c      3250           1659          83         1         -68.0000        -116.8333     71.81%
3245.98/3255.72	c      3256           1663          83         1         -68.0000        -116.4167     71.20%
3255.15/3264.90	c      3265           1664          82         1         -68.0000        -116.4167     71.20%
3266.83/3276.68	c      3277           1665          83         1         -68.0000        -116.4167     71.20%
3272.22/3282.00	c      3282           1668          86         1         -68.0000        -116.4167     71.20%
3278.20/3288.02	c      3288           1672          86         1         -68.0000        -116.3571     71.11%
3290.07/3299.90	c      3300           1674          86         1         -68.0000        -116.3571     71.11%
3303.33/3313.28	c      3313           1675          87         1         -68.0000        -116.3571     71.11%
3309.82/3319.73	c      3320           1676          88         1         -68.0000        -116.3571     71.11%
3315.60/3325.51	c      3326           1686          86         1         -68.0000        -116.3571     71.11%
3320.89/3330.80	c      3331           1691          83         1         -68.0000        -116.3571     71.11%
3327.47/3337.40	c      3337           1694          86         1         -68.0000        -116.3571     71.11%
3332.75/3342.74	c      3343           1699          87         1         -68.0000        -116.3571     71.11%
3338.94/3348.96	c      3349           1709          85         1         -68.0000        -116.3571     71.11%
3344.62/3354.66	c      3355           1712          84         1         -68.0000        -116.3571     71.11%
3357.79/3367.89	c      3368           1714          84         1         -68.0000        -116.3571     71.11%
3370.36/3380.41	c      3380           1715          85         1         -68.0000        -116.3571     71.11%
3376.64/3386.78	c      3387           1724          86         1         -68.0000        -116.3571     71.11%
3382.42/3392.53	c      3393           1730          86         1         -68.0000        -116.3571     71.11%
3388.31/3398.41	c      3398           1736          84         1         -68.0000        -116.3571     71.11%
3397.59/3407.77	c      3408           1742          82         1         -68.0000        -116.3571     71.11%
3404.87/3415.04	c      3415           1743          83         1         -68.0000        -116.3571     71.11%
3411.55/3421.74	c      3422           1751          85         1         -68.0000        -116.3571     71.11%
3416.94/3427.11	c      3427           1758          86         1         -68.0000        -116.3571     71.11%
3423.62/3433.86	c      3434           1763          85         1         -68.0000        -116.3344     71.08%
3431.60/3441.88	c      3442           1764          84         1         -68.0000        -116.3344     71.08%
3437.08/3447.38	c      3447           1765          83         1         -68.0000        -116.3344     71.08%
3442.47/3452.76	c      3453           1769          83         1         -68.0000        -116.3344     71.08%
3454.53/3464.82	c      3465           1771          81         1         -68.0000        -116.3344     71.08%
3463.01/3473.36	c      3473           1773          83         1         -68.0000        -116.2375     70.94%
3474.38/3484.74	c      3485           1776          84         1         -68.0000        -116.2375     70.94%
3479.67/3490.09	c      3490           1778          84         1         -68.0000        -116.2375     70.94%
3486.65/3497.06	c      3497           1783          83         1         -68.0000        -116.2375     70.94%
3492.63/3503.05	c      3503           1785          83         1         -68.0000        -116.2375     70.94%
3497.91/3508.35	c      3508           1787          83         1         -68.0000        -116.2375     70.94%
3504.90/3515.39	c      3515           1789          81         1         -68.0000        -116.2375     70.94%
3517.67/3528.13	c      3528           1791          81         1         -68.0000        -116.2375     70.94%
3523.56/3534.01	c      3534           1793          81         1         -68.0000        -116.2375     70.94%
3540.61/3551.13	c      3551           1794          82         1         -68.0000        -116.2375     70.94%
3547.39/3557.96	c      3558           1799          83         1         -68.0000        -116.2375     70.94%
3553.17/3563.72	c      3564           1803          83         1         -68.0000        -115.5000     69.85%
3565.45/3576.08	c      3576           1805          83         1         -68.0000        -115.5000     69.85%
3572.12/3582.77	c      3583           1807          83         1         -68.0000        -115.5000     69.85%
3582.20/3592.87	c      3593           1810          82         1         -68.0000        -115.5000     69.85%
3587.39/3598.00	c      3598           1811          83         0         -68.0000        -115.5000     69.85%
3587.68/3598.32	c SCIP Status        : c solving was interrupted [hard time limit reached]
3587.68/3598.32	c Total Time         : 3598.33
3587.68/3598.32	c   solving          : 3598.33
3587.68/3598.32	c   presolving       : 0.35 (included in solving)
3587.68/3598.32	c B&B Tree           :
3587.68/3598.32	c   nodes (total)    : 1
3587.68/3598.32	c Solution           :
3587.68/3598.32	c   Solutions found  : 13
3587.68/3598.32	c   Primal Bound     : -6.80000000000000e+01
3587.68/3598.32	c   Dual Bound       : -1.15500000000000e+02
3587.68/3598.32	c Gap                : 69.85294 %
3587.68/3598.32	c * Warning: final gap: 6.98529e-01 is greater than SCIPepsilon: 1.00000e-09
3587.68/3598.33	o -68
3587.68/3598.33	s SATISFIABLE
3587.68/3598.33	v -x2025 x2024 -x2023 -x2022 -x2021 x2020 x2019 x2018 x2017 x2016 x2015 x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 x2006 
3587.68/3598.33	v -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 x1997 -x1996 x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 x1988 
3587.68/3598.33	v x1987 x1986 -x1985 -x1984 -x1983 x1982 x1981 x1980 -x1979 x1978 x1977 x1976 x1975 x1974 -x1973 -x1972 -x1971 -x1970 -x1969 
3587.68/3598.33	v -x1968 -x1967 -x1966 x1965 -x1964 -x1963 -x1962 -x1961 x1960 -x1959 -x1958 x1957 -x1956 x1955 -x1954 -x1953 -x1952 -x1951 x1950 
3587.68/3598.33	v -x1949 -x1948 -x1947 -x1946 x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 x1936 x1935 x1934 x1933 x1932 x1931 
3587.68/3598.33	v x1930 x1929 x1928 x1927 -x1926 -x1925 x1924 -x1923 -x1922 x1921 x1920 x1919 x1918 -x1917 -x1916 -x1915 -x1914 -x1913 x1912 
3587.68/3598.33	v x1911 -x1910 -x1909 -x1908 x1907 -x1906 x1905 -x1904 x1903 -x1902 -x1901 x1900 -x1899 -x1898 -x1897 x1896 x1895 x1894 -x1893 
3587.68/3598.33	v x1892 -x1891 x1890 -x1889 x1888 -x1887 -x1886 x1885 -x1884 x1883 -x1882 -x1881 -x1880 -x1879 x1878 x1877 x1876 -x1875 -x1874 
3587.68/3598.33	v -x1873 -x1872 x1871 x1870 x1869 -x1868 -x1867 x1866 -x1865 -x1864 -x1863 -x1862 x1861 x1860 -x1859 -x1858 -x1857 -x1856 x1855 
3587.68/3598.33	v -x1854 x1853 x1852 x1851 x1850 -x1849 -x1848 x1847 x1846 -x1845 x1844 -x1843 -x1842 -x1841 -x1840 -x1839 x1838 -x1837 -x1836 
3587.68/3598.33	v x1835 -x1834 -x1833 -x1832 -x1831 x1830 -x1829 x1828 x1827 -x1826 -x1825 -x1824 -x1823 x1822 -x1821 x1820 -x1819 -x1818 x1817 
3587.68/3598.33	v x1816 -x1815 -x1814 -x1813 x1812 -x1811 -x1810 x1809 x1808 x1807 x1806 -x1805 x1804 x1803 -x1802 -x1801 -x1800 x1799 x1798 
3587.68/3598.33	v -x1797 x1796 x1795 -x1794 x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 x1786 -x1785 -x1784 x1783 x1782 x1781 -x1780 x1779 
3587.68/3598.33	v -x1778 x1777 -x1776 -x1775 x1774 -x1773 x1772 -x1771 -x1770 -x1769 -x1768 x1767 -x1766 x1765 -x1764 -x1763 x1762 x1761 x1760 
3587.68/3598.33	v -x1759 x1758 x1757 x1756 -x1755 -x1754 -x1753 x1752 -x1751 x1750 x1749 x1748 -x1747 x1746 -x1745 x1744 -x1743 -x1742 x1741 
3587.68/3598.33	v -x1740 -x1739 x1738 x1737 -x1736 -x1735 x1734 -x1733 -x1732 x1731 x1730 -x1729 -x1728 x1727 x1726 x1725 x1724 x1723 x1722 x1721 
3587.68/3598.33	v x1720 x1719 x1718 x1717 -x1716 -x1715 x1714 -x1713 x1712 -x1711 x1710 -x1709 -x1708 x1707 x1706 -x1705 x1704 -x1703 x1702 
3587.68/3598.33	v -x1701 x1700 -x1699 x1698 x1697 -x1696 -x1695 x1694 -x1693 -x1692 -x1691 x1690 x1689 x1688 -x1687 -x1686 x1685 -x1684 x1683 x1682 
3587.68/3598.33	v -x1681 -x1680 x1679 x1678 x1677 -x1676 x1675 -x1674 x1673 -x1672 x1671 -x1670 x1669 -x1668 x1667 -x1666 -x1665 x1664 -x1663 
3587.68/3598.33	v x1662 -x1661 x1660 -x1659 x1658 -x1657 -x1656 -x1655 -x1654 x1653 x1652 x1651 x1650 x1649 -x1648 -x1647 -x1646 -x1645 x1644 
3587.68/3598.33	v -x1643 -x1642 x1641 x1640 -x1639 x1638 x1637 -x1636 -x1635 x1634 -x1633 -x1632 x1631 x1630 -x1629 x1628 x1627 -x1626 -x1625 
3587.68/3598.33	v -x1624 -x1623 x1622 x1621 x1620 -x1619 -x1618 x1617 -x1616 x1615 -x1614 -x1613 x1612 x1611 -x1610 -x1609 x1608 x1607 x1606 
3587.68/3598.33	v x1605 x1604 x1603 x1602 -x1601 x1600 -x1599 -x1598 -x1597 -x1596 x1595 -x1594 x1593 x1592 -x1591 -x1590 x1589 x1588 -x1587 -x1586 
3587.68/3598.33	v x1585 -x1584 -x1583 x1582 x1581 x1580 x1579 x1578 x1577 -x1576 -x1575 x1574 -x1573 x1572 x1571 x1570 x1569 -x1568 -x1567 
3587.68/3598.33	v x1566 x1565 -x1564 -x1563 x1562 x1561 x1560 -x1559 -x1558 x1557 x1556 -x1555 -x1554 x1553 -x1552 x1551 x1550 -x1549 -x1548 -x1547 
3587.68/3598.33	v x1546 x1545 x1544 x1543 -x1542 -x1541 -x1540 -x1539 x1538 -x1537 x1536 -x1535 -x1534 x1533 x1532 -x1531 -x1530 x1529 -x1528 
3587.68/3598.33	v -x1527 x1526 x1525 -x1524 x1523 x1522 -x1521 x1520 x1519 x1518 -x1517 -x1516 -x1515 x1514 -x1513 x1512 -x1511 -x1510 -x1509 
3587.68/3598.33	v x1508 -x1507 x1506 -x1505 x1504 -x1503 x1502 -x1501 -x1500 -x1499 -x1498 x1497 x1496 x1495 x1494 -x1493 -x1492 x1491 x1490 
3587.68/3598.33	v -x1489 -x1488 x1487 x1486 x1485 -x1484 -x1483 -x1482 -x1481 x1480 x1479 -x1478 -x1477 x1476 x1475 x1474 x1473 x1472 -x1471 
3587.68/3598.33	v -x1470 -x1469 -x1468 x1467 x1466 -x1465 x1464 -x1463 -x1462 x1461 x1460 -x1459 -x1458 x1457 -x1456 -x1455 -x1454 -x1453 -x1452 
3587.68/3598.33	v -x1451 -x1450 x1449 -x1448 -x1447 x1446 x1445 -x1444 -x1443 x1442 x1441 x1440 x1439 x1438 -x1437 -x1436 x1435 -x1434 -x1433 
3587.68/3598.33	v x1432 x1431 x1430 -x1429 -x1428 -x1427 -x1426 x1425 x1424 x1423 -x1422 -x1421 -x1420 -x1419 x1418 x1417 x1416 x1415 x1414 x1413 
3587.68/3598.33	v -x1412 -x1411 -x1410 x1409 x1408 x1407 -x1406 -x1405 -x1404 -x1403 -x1402 x1401 x1400 -x1399 x1398 -x1397 x1396 -x1395 x1394 
3587.68/3598.33	v -x1393 x1392 -x1391 x1390 -x1389 -x1388 x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 x1380 x1379 x1378 x1377 x1376 x1375 
3587.68/3598.33	v x1374 x1373 x1372 -x1371 x1370 x1369 x1368 -x1367 -x1366 x1365 x1364 x1363 -x1362 -x1361 x1360 -x1359 -x1358 x1357 x1356 x1355 
3587.68/3598.33	v x1354 -x1353 -x1352 -x1351 -x1350 x1349 -x1348 -x1347 x1346 x1345 x1344 x1343 x1342 -x1341 -x1340 -x1339 -x1338 x1337 x1336 
3587.68/3598.33	v x1335 -x1334 x1333 x1332 x1331 x1330 -x1329 -x1328 x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 x1319 x1318 x1317 
3587.68/3598.33	v x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 x1307 x1306 x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 
3587.68/3598.33	v x1298 -x1297 -x1296 x1295 x1294 -x1293 x1292 x1291 -x1290 -x1289 x1288 x1287 x1286 x1285 x1284 -x1283 -x1282 x1281 x1280 x1279 
3587.68/3598.33	v -x1278 -x1277 x1276 x1275 -x1274 -x1273 -x1272 -x1271 x1270 -x1269 -x1268 -x1267 -x1266 -x1265 x1264 x1263 x1262 x1261 x1260 
3587.68/3598.33	v x1259 -x1258 -x1257 x1256 -x1255 -x1254 x1253 -x1252 -x1251 x1250 x1249 x1248 x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 
3587.68/3598.33	v x1240 x1239 -x1238 -x1237 x1236 -x1235 -x1234 -x1233 x1232 -x1231 -x1230 x1229 -x1228 -x1227 -x1226 -x1225 x1224 x1223 -x1222 
3587.68/3598.33	v -x1221 x1220 -x1219 -x1218 -x1217 -x1216 x1215 -x1214 -x1213 -x1212 -x1211 x1210 -x1209 -x1208 -x1207 -x1206 x1205 x1204 
3587.68/3598.33	v x1203 -x1202 x1201 x1200 -x1199 -x1198 x1197 x1196 x1195 x1194 x1193 -x1192 -x1191 -x1190 x1189 -x1188 -x1187 x1186 -x1185 x1184 
3587.68/3598.33	v -x1183 -x1182 -x1181 -x1180 x1179 -x1178 -x1177 x1176 -x1175 -x1174 -x1173 -x1172 x1171 x1170 x1169 x1168 x1167 x1166 -x1165 
3587.68/3598.33	v -x1164 x1163 x1162 x1161 -x1160 -x1159 x1158 -x1157 -x1156 -x1155 -x1154 -x1153 x1152 x1151 x1150 x1149 -x1148 -x1147 -x1146 
3587.68/3598.33	v x1145 -x1144 -x1143 x1142 -x1141 -x1140 x1139 x1138 x1137 -x1136 -x1135 x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 x1127 
3587.68/3598.33	v -x1126 -x1125 x1124 -x1123 -x1122 x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 x1114 x1113 x1112 x1111 x1110 -x1109 -x1108 
3587.68/3598.33	v -x1107 -x1106 x1105 x1104 -x1103 -x1102 -x1101 -x1100 x1099 -x1098 -x1097 x1096 x1095 x1094 x1093 x1092 -x1091 -x1090 -x1089 
3587.68/3598.33	v -x1088 -x1087 -x1086 x1085 x1084 -x1083 -x1082 x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 x1074 x1073 x1072 x1071 
3587.68/3598.33	v x1070 x1069 x1068 x1067 x1066 -x1065 -x1064 x1063 x1062 x1061 x1060 x1059 x1058 x1057 x1056 x1055 -x1054 -x1053 -x1052 -x1051 
3587.68/3598.33	v x1050 -x1049 x1048 -x1047 -x1046 -x1045 x1044 x1043 x1042 x1041 -x1040 -x1039 -x1038 -x1037 -x1036 x1035 x1034 x1033 x1032 -x1031 
3587.68/3598.33	v -x1030 -x1029 -x1028 x1027 x1026 -x1025 -x1024 x1023 -x1022 -x1021 x1020 x1019 x1018 x1017 x1016 -x1015 -x1014 x1013 x1012 
3587.68/3598.33	v x1011 x1010 x1009 x1008 -x1007 -x1006 -x1005 -x1004 x1003 x1002 x1001 x1000 -x999 x998 x997 -x996 x995 -x994 -x993 x992 -x991 
3587.68/3598.33	v -x990 x989 -x988 -x987 -x986 -x985 x984 -x983 x982 -x981 -x980 x979 -x978 -x977 x976 x975 x974 -x973 -x972 -x971 x970 x969 
3587.68/3598.33	v -x968 -x967 -x966 -x965 x964 x963 -x962 -x961 x960 x959 x958 x957 -x956 -x955 x954 x953 -x952 -x951 x950 -x949 -x948 x947 
3587.68/3598.33	v x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 x938 x937 -x936 -x935 -x934 -x933 x932 x931 -x930 x929 x928 x927 -x926 x925 -x924 
3587.68/3598.33	v -x923 -x922 -x921 -x920 -x919 -x918 -x917 x916 x915 x914 -x913 -x912 -x911 x910 -x909 x908 x907 -x906 -x905 x904 -x903 -x902 
3587.68/3598.33	v -x901 -x900 -x899 -x898 -x897 x896 x895 x894 -x893 -x892 x891 -x890 -x889 -x888 x887 x886 -x885 x884 x883 x882 -x881 -x880 
3587.68/3598.33	v x879 x878 -x877 -x876 -x875 x874 x873 -x872 -x871 x870 x869 x868 x867 x866 x865 x864 x863 -x862 -x861 x860 -x859 -x858 -x857 
3587.68/3598.33	v -x856 x855 x854 x853 x852 -x851 -x850 x849 x848 x847 -x846 -x845 x844 -x843 -x842 x841 x840 -x839 x838 -x837 -x836 x835 x834 
3587.68/3598.33	v -x833 x832 x831 -x830 x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 x821 -x820 x819 x818 -x817 -x816 x815 -x814 -x813 x812 
3587.68/3598.33	v -x811 x810 x809 x808 -x807 x806 x805 -x804 -x803 -x802 -x801 x800 -x799 -x798 -x797 -x796 -x795 x794 x793 -x792 -x791 x790 x789 
3587.68/3598.33	v -x788 -x787 -x786 -x785 x784 x783 -x782 x781 x780 -x779 -x778 -x777 -x776 x775 -x774 -x773 -x772 x771 x770 -x769 -x768 x767 
3587.68/3598.33	v -x766 -x765 -x764 x763 -x762 x761 -x760 x759 x758 x757 -x756 x755 x754 -x753 x752 x751 x750 -x749 x748 x747 x746 x745 x744 
3587.68/3598.33	v x743 -x742 -x741 x740 -x739 -x738 x737 x736 -x735 x734 -x733 x732 -x731 x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 
3587.68/3598.33	v x721 -x720 -x719 -x718 x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 
3587.68/3598.33	v x699 -x698 -x697 x696 x695 -x694 x693 x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 x679 -x678 
3587.68/3598.33	v -x677 -x676 -x675 x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 x665 -x664 -x663 -x662 -x661 -x660 x659 -x658 x657 
3587.68/3598.33	v -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 x641 x640 -x639 x638 -x637 -x636 -x635 
3587.68/3598.33	v -x634 -x633 -x632 -x631 -x630 -x629 -x628 x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 x617 -x616 -x615 -x614 
3587.68/3598.33	v -x613 -x612 -x611 x610 -x609 x608 -x607 x606 -x605 -x604 x603 x602 -x601 -x600 -x599 -x598 x597 -x596 -x595 x594 -x593 -x592 
3587.68/3598.33	v -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 x581 x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 x572 -x571 
3587.68/3598.33	v -x570 x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 
3587.68/3598.33	v -x549 -x548 -x547 -x546 x545 -x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 x533 -x532 -x531 -x530 -x529 
3587.68/3598.33	v -x528 -x527 -x526 -x525 -x524 x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 x514 x513 -x512 -x511 -x510 -x509 -x508 -x507 
3587.68/3598.33	v -x506 x505 -x504 -x503 -x502 -x501 -x500 -x499 x498 -x497 -x496 -x495 -x494 x493 -x492 -x491 x490 -x489 -x488 -x487 x486 
3587.68/3598.33	v -x485 -x484 -x483 -x482 x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 
3587.68/3598.33	v -x463 -x462 -x461 -x460 x459 -x458 -x457 -x456 x455 -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 
3587.68/3598.33	v -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 -x425 -x424 x423 -x422 
3587.68/3598.33	v -x421 -x420 x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 x411 -x410 -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 x400 
3587.68/3598.33	v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 
3587.68/3598.33	v -x378 -x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 x363 -x362 -x361 -x360 -x359 -x358 
3587.68/3598.33	v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 
3587.68/3598.33	v x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 x317 x316 
3587.68/3598.33	v -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 
3587.68/3598.33	v -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 
3587.68/3598.33	v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 x255 -x254 -x253 
3587.68/3598.33	v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 x235 -x234 -x233 -x232 
3587.68/3598.33	v -x231 -x230 -x229 -x228 -x227 -x226 x225 x224 -x223 -x222 x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 
3587.68/3598.33	v -x209 -x208 -x207 x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 x189 x188 
3587.68/3598.33	v -x187 -x186 x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 x172 -x171 x170 -x169 x168 -x167 -x166 
3587.68/3598.33	v -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 
3587.68/3598.33	v -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 x125 -x124 
3587.68/3598.33	v -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 x105 -x104 -x103 
3587.68/3598.33	v -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 x78 
3587.68/3598.36	v -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 
3587.68/3598.36	v -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 x35 -x34 -x33 x32 -x31 -x30 x29 x28 x27 x26 
3587.68/3598.36	v x25 -x24 x23 x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 x2 x1 

Verifier Data

OK	-68

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: 63968 MiB (55776 MiB free)
  memory of node 1: 64473 MiB (61784 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100094 s]*
/proc/loadavg: 4.12 4.10 4.05 4/261 32226
/proc/meminfo: memFree=120337980/131524600 swapFree=131071996/131071996
[pid=32211] ppid=32208 vsize=67316 memory=55928 CPUtime=0.09 cores=1,3
/proc/32211/stat : 32211 (fscip) R 32208 32211 30060 0 -1 4194304 11687 0 0 0 8 1 0 0 20 0 1 0 4824186 68931584 13982 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
/proc/32211/statm: 16829 13982 2614 3035 0 13225 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 67316 KiB
Current children cumulated memory: 55928 KiB

[startup+0.20567 s]*
/proc/loadavg: 4.12 4.10 4.05 5/258 32241
/proc/meminfo: memFree=120316728/131524600 swapFree=131071996/131071996
[pid=32211] ppid=32208 vsize=84088 memory=72644 CPUtime=0.2 cores=1,3
/proc/32211/stat : 32211 (fscip) R 32208 32211 30060 0 -1 4194304 18180 0 0 0 18 2 0 0 20 0 1 0 4824186 86106112 18161 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
/proc/32211/statm: 21022 18161 2710 3035 0 17418 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 84088 KiB
Current children cumulated memory: 72644 KiB

[startup+0.305867 s]*
/proc/loadavg: 4.12 4.10 4.05 5/260 32247
/proc/meminfo: memFree=120352264/131524600 swapFree=131071996/131071996
[pid=32211] ppid=32208 vsize=81388 memory=70584 CPUtime=0.3 cores=1,3
/proc/32211/stat : 32211 (fscip) R 32208 32211 30060 0 -1 4194304 18364 0 0 0 28 2 0 0 20 0 1 0 4824186 83341312 17646 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
/proc/32211/statm: 20347 17646 2710 3035 0 16743 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 81388 KiB
Current children cumulated memory: 70584 KiB

[startup+0.701177 s]
/proc/loadavg: 4.12 4.10 4.05 5/264 32260
/proc/meminfo: memFree=120276212/131524600 swapFree=131071996/131071996
[pid=32211] ppid=32208 vsize=177540 memory=136264 CPUtime=0.68 cores=1,3
/proc/32211/stat : 32211 (fscip) S 32208 32211 30060 0 -1 1077936128 38196 0 0 0 63 5 0 0 20 0 3 0 4824186 181800960 34066 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
/proc/32211/statm: 44385 34066 2790 3035 0 38037 0
[pid=32211/tid=32259] ppid=32208 vsize=177540 memory=25936 CPUtime=0.22 cores=1,3
/proc/32211/task/32259/stat : 32259 (fscip) R 32208 32211 30060 0 -1 4194368 13266 0 0 0 20 2 0 0 20 0 3 0 4824229 181800960 34066 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
[pid=32211/tid=32260] ppid=32208 vsize=177540 memory=2241 CPUtime=0 cores=1,3
/proc/32211/task/32260/stat : 32260 (fscip) S 32208 32211 30060 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4824236 181800960 34066 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 177540 KiB
Current children cumulated memory: 136264 KiB

[startup+1.50117 s]
/proc/loadavg: 4.12 4.10 4.05 5/264 32306
/proc/meminfo: memFree=120495064/131524600 swapFree=131071996/131071996
[pid=32211] ppid=32208 vsize=243076 memory=191404 CPUtime=1.47 cores=1,3
/proc/32211/stat : 32211 (fscip) S 32208 32211 30060 0 -1 1077936128 53630 0 0 0 140 7 0 0 20 0 3 0 4824186 248909824 47851 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
/proc/32211/statm: 60769 47851 2950 3035 0 52268 0
[pid=32211/tid=32259] ppid=32208 vsize=243076 memory=2241 CPUtime=1.01 cores=1,3
/proc/32211/task/32259/stat : 32259 (fscip) R 32208 32211 30060 0 -1 4194368 28700 0 0 0 97 4 0 0 20 0 3 0 4824229 248909824 47851 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
[pid=32211/tid=32260] ppid=32208 vsize=243076 memory=0 CPUtime=0 cores=1,3
/proc/32211/task/32260/stat : 32260 (fscip) S 32208 32211 30060 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4824236 248909824 47851 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 243076 KiB
Current children cumulated memory: 191404 KiB

[startup+3.10617 s]
/proc/loadavg: 4.11 4.10 4.05 5/266 32308
/proc/meminfo: memFree=119864860/131524600 swapFree=131071996/131071996
[pid=32211] ppid=32208 vsize=243076 memory=191404 CPUtime=3.06 cores=1,3
/proc/32211/stat : 32211 (fscip) S 32208 32211 30060 0 -1 1077936128 53965 0 0 0 299 7 0 0 20 0 3 0 4824186 248909824 47851 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
/proc/32211/statm: 60769 47851 2950 3035 0 52268 0
[pid=32211/tid=32259] ppid=32208 vsize=243076 memory=0 CPUtime=2.59 cores=1,3
/proc/32211/task/32259/stat : 32259 (fscip) R 32208 32211 30060 0 -1 4194368 29028 0 0 0 255 4 0 0 20 0 3 0 4824229 248909824 47851 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
[pid=32211/tid=32260] ppid=32208 vsize=243076 memory=0 CPUtime=0 cores=1,3
/proc/32211/task/32260/stat : 32260 (fscip) S 32208 32211 30060 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4824236 248909824 47851 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 243076 KiB
Current children cumulated memory: 191404 KiB

[startup+6.30119 s]
/proc/loadavg: 4.11 4.10 4.05 5/266 32308
/proc/meminfo: memFree=119864232/131524600 swapFree=131071996/131071996
[pid=32211] ppid=32208 vsize=243076 memory=191468 CPUtime=6.22 cores=1,3
/proc/32211/stat : 32211 (fscip) S 32208 32211 30060 0 -1 1077936128 57432 0 0 0 615 7 0 0 20 0 3 0 4824186 248909824 47867 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
/proc/32211/statm: 60769 47867 2966 3035 0 52268 0
[pid=32211/tid=32259] ppid=32208 vsize=243076 memory=0 CPUtime=5.76 cores=1,3
/proc/32211/task/32259/stat : 32259 (fscip) R 32208 32211 30060 0 -1 4194368 32488 0 0 0 572 4 0 0 20 0 3 0 4824229 248909824 47867 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
[pid=32211/tid=32260] ppid=32208 vsize=243076 memory=191404 CPUtime=0 cores=1,3
/proc/32211/task/32260/stat : 32260 (fscip) S 32208 32211 30060 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4824236 248909824 47867 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 243076 KiB
Current children cumulated memory: 191468 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.05 5/268 32368
/proc/meminfo: memFree=119861140/131524600 swapFree=131071996/131071996
[pid=32211] ppid=32208 vsize=243076 memory=191596 CPUtime=12.57 cores=1,3
/proc/32211/stat : 32211 (fscip) S 32208 32211 30060 0 -1 1077936128 69322 0 0 0 1249 8 0 0 20 0 3 0 4824186 248909824 47899 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
/proc/32211/statm: 60769 47899 2966 3035 0 52268 0
[pid=32211/tid=32259] ppid=32208 vsize=243076 memory=191404 CPUtime=12.09 cores=1,3
/proc/32211/task/32259/stat : 32259 (fscip) R 32208 32211 30060 0 -1 4194368 44368 0 0 0 1205 4 0 0 20 0 3 0 4824229 248909824 47899 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
[pid=32211/tid=32260] ppid=32208 vsize=243076 memory=191596 CPUtime=0 cores=1,3
/proc/32211/task/32260/stat : 32260 (fscip) S 32208 32211 30060 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4824236 248909824 47899 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 243076 KiB
Current children cumulated memory: 191596 KiB

[startup+25.5012 s]
/proc/loadavg: 4.08 4.09 4.05 5/268 32369
/proc/meminfo: memFree=119809900/131524600 swapFree=131071996/131071996
[pid=32211] ppid=32208 vsize=311664 memory=216404 CPUtime=25.24 cores=1,3
/proc/32211/stat : 32211 (fscip) S 32208 32211 30060 0 -1 1077936128 106146 0 0 0 2515 9 0 0 20 0 3 0 4824186 319143936 54101 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
/proc/32211/statm: 77916 54101 2966 3035 0 60092 0
[pid=32211/tid=32259] ppid=32208 vsize=311664 memory=216404 CPUtime=24.77 cores=1,3
/proc/32211/task/32259/stat : 32259 (fscip) R 32208 32211 30060 0 -1 4194368 81178 0 0 0 2471 6 0 0 20 0 3 0 4824229 319143936 54101 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
[pid=32211/tid=32260] ppid=32208 vsize=311664 memory=-5155626916499843973 CPUtime=0 cores=1,3
/proc/32211/task/32260/stat : 32260 (fscip) S 32208 32211 30060 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 4824236 319143936 54101 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
Current children cumulated CPU time: 25.24 s
Current children cumulated vsize: 311664 KiB
Current children cumulated memory: 216404 KiB

[startup+51.1057 s]
/proc/loadavg: 4.12 4.10 4.05 5/269 32376
/proc/meminfo: memFree=119288480/131524600 swapFree=131071996/131071996
[pid=32211] ppid=32208 vsize=311664 memory=250268 CPUtime=50.68 cores=1,3
/proc/32211/stat : 32211 (fscip) S 32208 32211 30060 0 -1 1077936128 169131 0 0 0 5054 14 0 0 20 0 3 0 4824186 319143936 62567 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
/proc/32211/statm: 77916 62567 2966 3035 0 73811 0
[pid=32211/tid=32259] ppid=32208 vsize=311664 memory=242700 CPUtime=50.2 cores=1,3
/proc/32211/task/32259/stat : 32259 (fscip) R 32208 32211 30060 0 -1 4194368 144142 0 0 0 5010 10 0 0 20 0 3 0 4824229 319143936 62567 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
[pid=32211/tid=32260] ppid=32208 vsize=311664 memory=249816 CPUtime=0 cores=1,3
/proc/32211/task/32260/stat : 32260 (fscip) S 32208 32211 30060 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 4824236 319143936 62567 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
Current children cumulated CPU time: 50.68 s
Current children cumulated vsize: 311664 KiB
Current children cumulated memory: 250268 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/268 32385
/proc/meminfo: memFree=119098908/131524600 swapFree=131071996/131071996
[pid=32211] ppid=32208 vsize=320680 memory=251232 CPUtime=101.73 cores=1,3
/proc/32211/stat : 32211 (fscip) S 32208 32211 30060 0 -1 1077936128 182932 0 0 0 10159 14 0 0 20 0 3 0 4824186 328376320 62808 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
/proc/32211/statm: 80170 62808 3014 3035 0 76301 0
[pid=32211/tid=32259] ppid=32208 vsize=320680 memory=-4050210904893736339 CPUtime=101.26 cores=1,3
/proc/32211/task/32259/stat : 32259 (fscip) R 32208 32211 30060 0 -1 4194368 157550 0 0 0 10115 11 0 0 20 0 3 0 4824229 328376320 62808 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
[pid=32211/tid=32260] ppid=32208 vsize=320680 memory=251064 CPUtime=0 cores=1,3
/proc/32211/task/32260/stat : 32260 (fscip) S 32208 32211 30060 0 -1 1077936192 66 0 0 0 0 0 0 0 20 0 3 0 4824236 328376320 62808 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
Current children cumulated CPU time: 101.73 s
Current children cumulated vsize: 320680 KiB
Current children cumulated memory: 251232 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.05 5/267 32395
/proc/meminfo: memFree=119041548/131524600 swapFree=131071996/131071996
[pid=32211] ppid=32208 vsize=386216 memory=275652 CPUtime=161.58 cores=1,3
/proc/32211/stat : 32211 (fscip) S 32208 32211 30060 0 -1 1077936128 214810 0 0 0 16141 17 0 0 20 0 3 0 4824186 395485184 68913 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
/proc/32211/statm: 96554 68913 3014 3035 0 84030 0
[pid=32211/tid=32259] ppid=32208 vsize=386216 memory=275572 CPUtime=161.11 cores=1,3
/proc/32211/task/32259/stat : 32259 (fscip) R 32208 32211 30060 0 -1 4194368 189318 0 0 0 16097 14 0 0 20 0 3 0 4824229 395485184 68913 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
[pid=32211/tid=32260] ppid=32208 vsize=386216 memory=275572 CPUtime=0 cores=1,3
/proc/32211/task/32260/stat : 32260 (fscip) S 32208 32211 30060 0 -1 1077936192 74 0 0 0 0 0 0 0 20 0 3 0 4824236 395485184 68913 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
Current children cumulated CPU time: 161.58 s
Current children cumulated vsize: 386216 KiB
Current children cumulated memory: 275652 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.10 4.06 5/266 32405
/proc/meminfo: memFree=119005652/131524600 swapFree=131071996/131071996
[pid=32211] ppid=32208 vsize=386216 memory=293908 CPUtime=221.42 cores=1,3
/proc/32211/stat : 32211 (fscip) S 32208 32211 30060 0 -1 1077936128 254346 0 0 0 22121 21 0 0 20 0 3 0 4824186 395485184 73477 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
/proc/32211/statm: 96554 73477 3014 3035 0 88942 0
[pid=32211/tid=32259] ppid=32208 vsize=386216 memory=275720 CPUtime=220.95 cores=1,3
/proc/32211/task/32259/stat : 32259 (fscip) R 32208 32211 30060 0 -1 4194368 228817 0 0 0 22078 17 0 0 20 0 3 0 4824229 395485184 73477 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
[pid=32211/tid=32260] ppid=32208 vsize=386216 memory=5604 CPUtime=0 cores=1,3
/proc/32211/task/32260/stat : 32260 (fscip) S 32208 32211 30060 0 -1 1077936192 77 0 0 0 0 0 0 0 20 0 3 0 4824236 395485184 73477 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0

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

/proc/32211/statm: 145706 113248 3030 3035 0 141106 0
[pid=32211/tid=32259] ppid=32208 vsize=582824 memory=11592 CPUtime=3451.45 cores=1,3
/proc/32211/task/32259/stat : 32259 (fscip) R 32208 32211 30060 0 -1 4194368 749716 0 0 0 345091 54 0 0 20 0 3 0 4824229 596811776 113248 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
[pid=32211/tid=32260] ppid=32208 vsize=582824 memory=5604 CPUtime=0.03 cores=1,3
/proc/32211/task/32260/stat : 32260 (fscip) S 32208 32211 30060 0 -1 1077936192 368 0 0 0 0 3 0 0 20 0 3 0 4824236 596811776 113248 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
Current children cumulated CPU time: 3452.04 s
Current children cumulated vsize: 582824 KiB
Current children cumulated memory: 452992 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.17 4.13 5/268 34179
/proc/meminfo: memFree=105647836/131524600 swapFree=131071996/131071996
[pid=32211] ppid=32208 vsize=582824 memory=453112 CPUtime=3511.88 cores=1,3
/proc/32211/stat : 32211 (fscip) S 32208 32211 30060 0 -1 1077936128 792933 0 0 0 351124 64 0 0 20 0 3 0 4824186 596811776 113278 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
/proc/32211/statm: 145706 113278 3030 3035 0 141106 0
[pid=32211/tid=32259] ppid=32208 vsize=582824 memory=453084 CPUtime=3511.29 cores=1,3
/proc/32211/task/32259/stat : 32259 (fscip) R 32208 32211 30060 0 -1 4194368 765279 0 0 0 351074 55 0 0 20 0 3 0 4824229 596811776 113278 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
[pid=32211/tid=32260] ppid=32208 vsize=582824 memory=12852 CPUtime=0.03 cores=1,3
/proc/32211/task/32260/stat : 32260 (fscip) S 32208 32211 30060 0 -1 1077936192 374 0 0 0 0 3 0 0 20 0 3 0 4824236 596811776 113278 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
Current children cumulated CPU time: 3511.88 s
Current children cumulated vsize: 582824 KiB
Current children cumulated memory: 453112 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.13 5/268 34189
/proc/meminfo: memFree=105645088/131524600 swapFree=131071996/131071996
[pid=32211] ppid=32208 vsize=582824 memory=453116 CPUtime=3571.73 cores=1,3
/proc/32211/stat : 32211 (fscip) S 32208 32211 30060 0 -1 1077936128 804800 0 0 0 357108 65 0 0 20 0 3 0 4824186 596811776 113279 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
/proc/32211/statm: 145706 113279 3030 3035 0 141106 0
[pid=32211/tid=32259] ppid=32208 vsize=582824 memory=-7523944344061042304 CPUtime=3571.13 cores=1,3
/proc/32211/task/32259/stat : 32259 (fscip) R 32208 32211 30060 0 -1 4194368 777129 0 0 0 357057 56 0 0 20 0 3 0 4824229 596811776 113279 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
[pid=32211/tid=32260] ppid=32208 vsize=582824 memory=11592 CPUtime=0.03 cores=1,3
/proc/32211/task/32260/stat : 32260 (fscip) S 32208 32211 30060 0 -1 1077936192 376 0 0 0 0 3 0 0 20 0 3 0 4824236 596811776 113279 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
Current children cumulated CPU time: 3571.73 s
Current children cumulated vsize: 582824 KiB
Current children cumulated memory: 453116 KiB

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

# cumulated CPU time of all completed processes:  user=3587.09 s, system=0.667018 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.16 4.13 5/268 34189
/proc/meminfo: memFree=105645120/131524600 swapFree=131071996/131071996
[pid=32211] ppid=32208 vsize=582824 memory=453116 CPUtime=3573.43 cores=1,3
/proc/32211/stat : 32211 (fscip) S 32208 32211 30060 0 -1 1077936128 805066 0 0 0 357278 65 0 0 20 0 3 0 4824186 596811776 113279 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
/proc/32211/statm: 145706 113279 3030 3035 0 141106 0
[pid=32211/tid=32259] ppid=32208 vsize=582824 memory=11760 CPUtime=3572.83 cores=1,3
/proc/32211/task/32259/stat : 32259 (fscip) R 32208 32211 30060 0 -1 4194368 777395 0 0 0 357227 56 0 0 20 0 3 0 4824229 596811776 113279 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
[pid=32211/tid=32260] ppid=32208 vsize=582824 memory=2764 CPUtime=0.03 cores=1,3
/proc/32211/task/32260/stat : 32260 (fscip) S 32208 32211 30060 0 -1 1077936192 376 0 0 0 0 3 0 0 20 0 3 0 4824236 596811776 113279 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
Current children cumulated CPU time: 3573.43 s
Current children cumulated vsize: 582824 KiB
Current children cumulated memory: 453116 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.16 4.13 5/268 34191
/proc/meminfo: memFree=105643712/131524600 swapFree=131071996/131071996
[pid=32211] ppid=32208 vsize=582824 memory=453116 CPUtime=3579.8 cores=1,3
/proc/32211/stat : 32211 (fscip) S 32208 32211 30060 0 -1 1077936128 805739 0 0 0 357915 65 0 0 20 0 3 0 4824186 596811776 113279 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
/proc/32211/statm: 145706 113279 3030 3035 0 141106 0
[pid=32211/tid=32259] ppid=32208 vsize=582824 memory=279985832159104 CPUtime=3579.21 cores=1,3
/proc/32211/task/32259/stat : 32259 (fscip) R 32208 32211 30060 0 -1 4194368 778068 0 0 0 357865 56 0 0 20 0 3 0 4824229 596811776 113279 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
[pid=32211/tid=32260] ppid=32208 vsize=582824 memory=453116 CPUtime=0.03 cores=1,3
/proc/32211/task/32260/stat : 32260 (fscip) S 32208 32211 30060 0 -1 1077936192 376 0 0 0 0 3 0 0 20 0 3 0 4824236 596811776 113279 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
Current children cumulated CPU time: 3579.8 s
Current children cumulated vsize: 582824 KiB
Current children cumulated memory: 453116 KiB

[startup+3593.6 s]
/proc/loadavg: 4.13 4.16 4.13 5/268 34191
/proc/meminfo: memFree=105643784/131524600 swapFree=131071996/131071996
[pid=32211] ppid=32208 vsize=582824 memory=453124 CPUtime=3583 cores=1,3
/proc/32211/stat : 32211 (fscip) S 32208 32211 30060 0 -1 1077936128 806106 0 0 0 358235 65 0 0 20 0 3 0 4824186 596811776 113281 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
/proc/32211/statm: 145706 113281 3030 3035 0 141106 0
[pid=32211/tid=32259] ppid=32208 vsize=582824 memory=453116 CPUtime=3582.4 cores=1,3
/proc/32211/task/32259/stat : 32259 (fscip) R 32208 32211 30060 0 -1 4194368 778435 0 0 0 358184 56 0 0 20 0 3 0 4824229 596811776 113281 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
[pid=32211/tid=32260] ppid=32208 vsize=582824 memory=453116 CPUtime=0.03 cores=1,3
/proc/32211/task/32260/stat : 32260 (fscip) S 32208 32211 30060 0 -1 1077936192 376 0 0 0 0 3 0 0 20 0 3 0 4824236 596811776 113281 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
Current children cumulated CPU time: 3583 s
Current children cumulated vsize: 582824 KiB
Current children cumulated memory: 453124 KiB

[startup+3596.8 s]
/proc/loadavg: 4.12 4.16 4.12 5/268 34191
/proc/meminfo: memFree=105643768/131524600 swapFree=131071996/131071996
[pid=32211] ppid=32208 vsize=582824 memory=453124 CPUtime=3586.19 cores=1,3
/proc/32211/stat : 32211 (fscip) S 32208 32211 30060 0 -1 1077936128 806106 0 0 0 358554 65 0 0 20 0 3 0 4824186 596811776 113281 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
/proc/32211/statm: 145706 113281 3030 3035 0 141106 0
[pid=32211/tid=32259] ppid=32208 vsize=582824 memory=453116 CPUtime=3585.59 cores=1,3
/proc/32211/task/32259/stat : 32259 (fscip) R 32208 32211 30060 0 -1 4194368 778435 0 0 0 358503 56 0 0 20 0 3 0 4824229 596811776 113281 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
[pid=32211/tid=32260] ppid=32208 vsize=582824 memory=4513 CPUtime=0.03 cores=1,3
/proc/32211/task/32260/stat : 32260 (fscip) S 32208 32211 30060 0 -1 1077936192 376 0 0 0 0 3 0 0 20 0 3 0 4824236 596811776 113281 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
Current children cumulated CPU time: 3586.19 s
Current children cumulated vsize: 582824 KiB
Current children cumulated memory: 453124 KiB

[startup+3597.6 s]
/proc/loadavg: 4.12 4.16 4.12 5/268 34191
/proc/meminfo: memFree=105643696/131524600 swapFree=131071996/131071996
[pid=32211] ppid=32208 vsize=582824 memory=453124 CPUtime=3586.98 cores=1,3
/proc/32211/stat : 32211 (fscip) S 32208 32211 30060 0 -1 1077936128 806107 0 0 0 358633 65 0 0 20 0 3 0 4824186 596811776 113281 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
/proc/32211/statm: 145706 113281 3030 3035 0 141106 0
[pid=32211/tid=32259] ppid=32208 vsize=582824 memory=12852 CPUtime=3586.39 cores=1,3
/proc/32211/task/32259/stat : 32259 (fscip) R 32208 32211 30060 0 -1 4194368 778436 0 0 0 358583 56 0 0 20 0 3 0 4824229 596811776 113281 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
[pid=32211/tid=32260] ppid=32208 vsize=582824 memory=11592 CPUtime=0.03 cores=1,3
/proc/32211/task/32260/stat : 32260 (fscip) S 32208 32211 30060 0 -1 1077936192 376 0 0 0 0 3 0 0 20 0 3 0 4824236 596811776 113281 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
Current children cumulated CPU time: 3586.98 s
Current children cumulated vsize: 582824 KiB
Current children cumulated memory: 453124 KiB

[startup+3598 s]*
/proc/loadavg: 4.12 4.16 4.12 5/268 34192
/proc/meminfo: memFree=105643712/131524600 swapFree=131071996/131071996
[pid=32211] ppid=32208 vsize=582824 memory=453124 CPUtime=3587.39 cores=1,3
/proc/32211/stat : 32211 (fscip) R 32208 32211 30060 0 -1 1077936128 806132 0 0 0 358674 65 0 0 20 0 3 0 4824186 596811776 113281 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
/proc/32211/statm: 145706 113281 3030 3035 0 141106 0
[pid=32211/tid=32259] ppid=32208 vsize=582824 memory=-5155629076834839429 CPUtime=3586.79 cores=1,3
/proc/32211/task/32259/stat : 32259 (fscip) R 32208 32211 30060 0 -1 4194368 778463 0 0 0 358623 56 0 0 20 0 3 0 4824229 596811776 113281 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
[pid=32211/tid=32260] ppid=32208 vsize=582824 memory=4641971638219992731 CPUtime=0.03 cores=1,3
/proc/32211/task/32260/stat : 32260 (fscip) S 32208 32211 30060 0 -1 1077936192 376 0 0 0 0 3 0 0 20 0 3 0 4824236 596811776 113281 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
Current children cumulated CPU time: 3587.39 s
Current children cumulated vsize: 582824 KiB
Current children cumulated memory: 453124 KiB

[startup+3598.2 s]
/proc/loadavg: 4.12 4.16 4.12 5/268 34192
/proc/meminfo: memFree=105643712/131524600 swapFree=131071996/131071996
[pid=32211] ppid=32208 vsize=582824 memory=453124 CPUtime=3587.58 cores=1,3
/proc/32211/stat : 32211 (fscip) S 32208 32211 30060 0 -1 1077936128 807147 0 0 0 358693 65 0 0 20 0 3 0 4824186 596811776 113281 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
/proc/32211/statm: 145706 113281 3030 3035 0 141106 0
[pid=32211/tid=32259] ppid=32208 vsize=582824 memory=27904 CPUtime=3586.99 cores=1,3
/proc/32211/task/32259/stat : 32259 (fscip) R 32208 32211 30060 0 -1 4194368 779475 0 0 0 358643 56 0 0 20 0 3 0 4824229 596811776 113281 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
[pid=32211/tid=32260] ppid=32208 vsize=582824 memory=32784 CPUtime=0.03 cores=1,3
/proc/32211/task/32260/stat : 32260 (fscip) S 32208 32211 30060 0 -1 1077936192 376 0 0 0 0 3 0 0 20 0 3 0 4824236 596811776 113281 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
Current children cumulated CPU time: 3587.58 s
Current children cumulated vsize: 582824 KiB
Current children cumulated memory: 453124 KiB

[startup+3598.3 s]
/proc/loadavg: 4.12 4.16 4.12 5/268 34192
/proc/meminfo: memFree=105643712/131524600 swapFree=131071996/131071996
[pid=32211] ppid=32208 vsize=582824 memory=453124 CPUtime=3587.68 cores=1,3
/proc/32211/stat : 32211 (fscip) S 32208 32211 30060 0 -1 1077936128 807787 0 0 0 358703 65 0 0 20 0 3 0 4824186 596811776 113281 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
/proc/32211/statm: 145706 113281 3030 3035 0 141106 0
[pid=32211/tid=32259] ppid=32208 vsize=582824 memory=5604 CPUtime=3587.09 cores=1,3
/proc/32211/task/32259/stat : 32259 (fscip) R 32208 32211 30060 0 -1 4194368 780115 0 0 0 358653 56 0 0 20 0 3 0 4824229 596811776 113281 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
[pid=32211/tid=32260] ppid=32208 vsize=582824 memory=453116 CPUtime=0.03 cores=1,3
/proc/32211/task/32260/stat : 32260 (fscip) S 32208 32211 30060 0 -1 1077936192 376 0 0 0 0 3 0 0 20 0 3 0 4824236 596811776 113281 134679101440 4194304 16623229 140731525402384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47722496 140731525407766 140731525407882 140731525407882 140731525414896 0
Current children cumulated CPU time: 3587.68 s
Current children cumulated vsize: 582824 KiB
Current children cumulated memory: 453124 KiB

Child status: 0

Real time (s): 3598.37
CPU time (s): 3587.76
CPU user time (s): 3587.09
CPU system time (s): 0.667018
CPU usage (%): 99.7053
Max. virtual memory (cumulated for all children) (KiB): 582824
Max. memory (cumulated for all children) (KiB): 453124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.1
system time used= 0.667018
maximum resident set size= 453124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 811514
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= 5859
involuntary context switches= 2650


# summary of solver processes directly reported to runsolver:
#   pid: 32211
#   total CPU time (s): 3587.76
#   total CPU user time (s): 3587.09
#   total CPU system time (s): 0.667018

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.05326 second user time and 17.8388 second system time

The end

Launcher Data

Begin job on nodeC035 at 2024-07-31 01:29:56
IDJOB=4464122
IDBENCH=148782
IDSOLVER=3092
FILE ID=nodeC035/4464122-1722382196
RUNJOBID= nodeC035-1722378597-30072
SLURM_JOB_ID= 8249858
Free space on /tmp= 889992 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB09/OPT-LIN/featureSubscription/normalized-50-750-false-45-90-4-7000opt.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-4464122-1722382196/watcher-4464122-1722382196 -o /tmp/evaluation-result-4464122-1722382196/solver-4464122-1722382196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722378597-30072 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464122-1722382196.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= a2ed787f64e4174fa3d5b649f06337f0
RANDOM SEED=881201410

nodeC035.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.707
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	: 7000.79
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		: 3666.977
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.92
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		: 3601.144
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	: 7000.79
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		: 3674.073
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.92
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		: 3651.951
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	: 7000.79
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		: 3674.750
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.92
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		: 3662.558
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	: 7000.79
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		: 3600.827
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        120382916 kB
MemAvailable:   128395284 kB
Buffers:           90360 kB
Cached:          8717116 kB
SwapCached:            0 kB
Active:           274196 kB
Inactive:       10301664 kB
Active(anon):       1536 kB
Inactive(anon):  1788184 kB
Active(file):     272660 kB
Inactive(file):  8513480 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             29260 kB
Writeback:             0 kB
AnonPages:       1764556 kB
Mapped:           112928 kB
Shmem:             21336 kB
KReclaimable:     132104 kB
Slab:             222288 kB
SReclaimable:     132104 kB
SUnreclaim:        90184 kB
KernelStack:        4208 kB
PageTables:        12536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1281532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1329152 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:      254676 kB
DirectMap2M:     7907328 kB
DirectMap1G:    127926272 kB

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