Trace number 4434748

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-02SAT26 3586.7 3600.14

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
MD5SUM529ae296d86301d65a8fd4e36abb4ed9
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 benchmark21
Best CPU time to get the best result obtained on this benchmark90.3129
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6076
Total number of constraints21401
Number of constraints which are clauses21392
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint666
Number of terms in the objective function 666
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 666
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 697
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.09	c Default LC presolving (default).
0.00/0.09	c ** Before presolving: virtualMemUsedAtLc = 66712528, getVmSize() = 63987712, SCIPgetMemUsed() = 36364924, SCIPgetMemTotal() = 40799772, SCIPgetMemExternEstim() = 25912756
0.00/0.09	c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.60/0.67	c ** Estimated virtualMemUsedAtSolver = 67710415, getVmSize() = 102936576, SCIPgetMemUsed() = 41601035, SCIPgetMemTotal() = 75652867, SCIPgetMemExternEstim() = 25912756
0.60/0.67	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.60/0.67	c Original Problem   :
0.60/0.67	c   Problem name     : instance-4434748-1721115584
0.60/0.67	c   Variables        : 6076 (6076 binary, 0 integer, 0 implicit integer, 0 continuous)
0.60/0.67	c   Constraints      : 21401
0.60/0.67	c   Objective sense  : minimize
0.60/0.67	c Presolved Problem  :
0.60/0.67	c   Variables        : 5337 (5337 binary, 0 integer, 0 implicit integer, 0 continuous)
0.60/0.67	c   Constraints      : 5278
0.60/0.67	c Constraints        : Number
0.60/0.67	c   knapsack         : 1 
0.60/0.67	c   setppc           : 596 
0.60/0.67	c   and              : 4676 
0.60/0.67	c   logicor          : 5 
0.60/0.67	c ** Instance transfer method used: 0
0.68/0.70	c ** ParaScipInstance copy does not increase the number of variables. **
0.68/0.74	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.68/0.74	c                                Nodes    Active                                            
0.68/0.74	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
1.67/1.72	c *       2              0           1         1          28.0000                -          -
24.58/24.75	c *      25              0           1         1          26.0000                -          -
24.58/24.75	c        25              0           1         1          26.0000                -          -
31.26/31.42	c        31              3           2         1          26.0000          11.4952    126.18%
38.64/38.80	c        39              5           4         1          26.0000          11.5133    125.82%
46.61/46.80	c        47              7           6         1          26.0000          11.5133    125.82%
65.76/66.06	c        66              8           7         1          26.0000          11.6073    124.00%
73.92/74.23	c        74              9           8         1          26.0000          11.6073    124.00%
79.40/79.79	c        80             10           9         1          26.0000          11.6073    124.00%
99.12/99.50	c       100             12          11         1          26.0000          11.6389    123.39%
107.79/108.23	c       108             13          12         1          26.0000          11.6389    123.39%
115.15/115.65	c       116             15          14         1          26.0000          11.6389    123.39%
134.88/135.45	c       135             16          15         1          26.0000          11.6389    123.39%
141.57/142.18	c       142             17          16         1          26.0000          11.6389    123.39%
149.72/150.33	c       150             19          18         1          26.0000          11.6389    123.39%
154.70/155.37	c       155             20          19         1          26.0000          11.6389    123.39%
168.95/169.61	c       170             21          20         1          26.0000          11.6389    123.39%
177.22/177.98	c       178             22          21         1          26.0000          11.6389    123.39%
184.48/185.20	c       185             23          22         1          26.0000          11.6389    123.39%
189.86/190.70	c       191             24          23         1          26.0000          11.6389    123.39%
196.14/196.98	c       197             25          24         1          26.0000          11.6389    123.39%
206.70/207.54	c       208             27          26         1          26.0000          11.6389    123.39%
212.68/213.54	c       214             28          27         1          26.0000          11.6389    123.39%
221.75/222.62	c       223             30          29         1          26.0000          11.6389    123.39%
227.93/228.83	c       229             31          30         1          26.0000          11.6389    123.39%
268.79/269.82	c       270             32          31         1          26.0000          11.6389    123.39%
274.08/275.11	c       275             33          32         1          26.0000          11.6389    123.39%
282.54/283.63	c       284             34          33         1          26.0000          11.6389    123.39%
293.10/294.21	c       294             35          34         1          26.0000          11.6389    123.39%
298.58/299.72	c       300             36          35         1          26.0000          11.6389    123.39%
305.87/307.01	c       307             37          36         1          26.0000          11.6389    123.39%
311.44/312.65	c       313             38          37         1          26.0000          11.6389    123.39%
316.71/318.01	c       318             39          38         1          26.0000          11.6389    123.39%
324.48/325.79	c       326             41          40         1          26.0000          11.6389    123.39%
344.12/345.43	c       345             44          43         1          26.0000          11.6389    123.39%
351.10/352.49	c       352             46          45         1          26.0000          11.6389    123.39%
356.18/357.51	c       358             47          46         1          26.0000          11.6389    123.39%
361.96/363.40	c       363             48          47         1          26.0000          11.6389    123.39%
370.33/371.77	c       372             50          49         1          26.0000          11.6389    123.39%
378.40/379.82	c       380             52          51         1          26.0000          11.6389    123.39%
386.59/388.07	c       388             54          53         1          26.0000          11.6389    123.39%
403.22/404.71	c       405             56          55         1          26.0000          11.6389    123.39%
420.36/421.98	c       422             57          56         1          26.0000          11.6389    123.39%
428.73/430.37	c       430             58          57         1          26.0000          11.6389    123.39%
438.41/440.03	c       440             60          59         1          26.0000          11.6389    123.39%
446.07/447.70	c       448             63          62         1          26.0000          11.6389    123.39%
452.25/453.92	c       454             66          65         1          26.0000          11.6389    123.39%
467.79/469.57	c       470             68          67         1          26.0000          11.6389    123.39%
481.53/483.33	c       483             70          69         1          26.0000          11.6389    123.39%
488.32/490.18	c       490             72          71         1          26.0000          11.6389    123.39%
494.30/496.18	c       496             77          76         1          26.0000          11.6389    123.39%
502.65/504.55	c       505             79          78         1          26.0000          11.6389    123.39%
533.33/535.34	c       535             80          79         1          26.0000          11.6389    123.39%
541.70/543.73	c       544             81          80         1          26.0000          11.6389    123.39%
547.47/549.50	c       550             82          81         1          26.0000          11.6389    123.39%
558.23/560.37	c       560             83          82         1          26.0000          11.6389    123.39%
566.02/568.13	c       568             87          86         1          26.0000          11.6389    123.39%
574.37/576.59	c       577             91          90         1          26.0000          11.6389    123.39%
593.49/595.73	c       596             92          91         1          26.0000          11.6393    123.38%
603.65/605.94	c       606             93          92         1          26.0000          11.6393    123.38%
609.43/611.74	c       612             94          93         1          26.0000          11.6393    123.38%
639.31/641.71	c       642             96          95         1          26.0000          11.6393    123.38%
645.19/647.67	c       648             97          96         1          26.0000          11.6393    123.38%
651.69/654.19	c       654             98          97         1          26.0000          11.6393    123.38%
660.04/662.58	c       663             99          98         1          26.0000          11.6393    123.38%
666.82/669.35	c       669            100          99         1          26.0000          11.6393    123.38%
674.50/677.07	c       677            102         101         1          26.0000          11.6393    123.38%
680.66/683.22	c       683            103         102         1          26.0000          11.6393    123.38%
695.42/698.06	c       698            104         103         1          26.0000          11.7817    120.68%
705.96/708.61	c       709            106         105         1          26.0000          11.7817    120.68%
714.73/717.42	c       717            108         107         1          26.0000          11.7817    120.68%
720.11/722.80	c       723            110         109         1          26.0000          11.7817    120.68%
731.66/734.43	c       734            111         110         1          26.0000          11.7817    120.68%
738.14/740.95	c       741            112         111         1          26.0000          11.7817    120.68%
745.22/748.03	c       748            114         113         1          26.0000          11.7817    120.68%
759.55/762.48	c       762            116         115         1          26.0000          11.7817    120.68%
768.52/771.45	c       771            117         116         1          26.0000          11.7817    120.68%
820.42/823.50	c       824            119         118         1          26.0000          11.7817    120.68%
827.69/830.80	c       831            120         119         1          26.0000          11.7817    120.68%
835.97/839.12	c       839            121         120         1          26.0000          11.7817    120.68%
841.33/844.56	c       845            122         121         1          26.0000          11.7817    120.68%
848.82/852.05	c       852            123         122         1          26.0000          11.7817    120.68%
855.48/858.79	c       859            124         123         1          26.0000          11.7817    120.68%
861.06/864.37	c       864            125         124         1          26.0000          11.7817    120.68%
869.02/872.30	c       872            127         126         1          26.0000          11.7817    120.68%
891.43/894.83	c       895            128         127         1          26.0000          11.7817    120.68%
898.30/901.78	c       902            129         128         1          26.0000          11.7817    120.68%
906.47/909.93	c       910            130         129         1          26.0000          11.7817    120.68%
912.85/916.34	c       916            131         130         1          26.0000          11.7817    120.68%
919.63/923.14	c       923            132         131         1          26.0000          11.7817    120.68%
928.60/932.12	c       932            133         132         1          26.0000          11.7817    120.68%
937.35/940.91	c       941            135         134         1          26.0000          11.7817    120.68%
976.90/980.62	c       981            136         135         1          26.0000          11.7817    120.68%
982.58/986.37	c       986            137         136         1          26.0000          11.7817    120.68%
988.45/992.20	c       992            138         137         1          26.0000          11.7817    120.68%
993.93/997.73	c       998            139         138         1          26.0000          11.7817    120.68%
1003.69/1007.53	c      1008            140         139         1          26.0000          11.7817    120.68%
1011.27/1015.16	c      1015            141         140         1          26.0000          11.7817    120.68%
1027.00/1030.93	c      1031            142         141         1          26.0000          11.7817    120.68%
1032.97/1036.93	c      1037            143         142         1          26.0000          11.7817    120.68%
1067.05/1071.11	c      1071            145         144         1          26.0000          11.7817    120.68%
1080.68/1084.88	c      1085            147         146         1          26.0000          11.7817    120.68%
1086.46/1090.70	c      1091            148         147         1          26.0000          11.7817    120.68%
1095.33/1099.58	c      1100            150         149         1          26.0000          11.7817    120.68%
1101.20/1105.47	c      1105            151         150         1          26.0000          11.7817    120.68%
1118.04/1122.34	c      1122            152         151         1          26.0000          11.7852    120.62%
1123.62/1127.99	c      1128            153         152         1          26.0000          11.7852    120.62%
1133.18/1137.57	c      1138            155         154         1          26.0000          11.7852    120.62%
1175.53/1180.09	c      1180            158         157         1          26.0000          11.7852    120.62%
1183.39/1187.98	c      1188            159         158         1          26.0000          11.7852    120.62%
1190.06/1194.70	c      1195            160         159         1          26.0000          11.7852    120.62%
1196.45/1201.09	c      1201            161         160         1          26.0000          11.7852    120.62%
1206.51/1211.20	c      1211            162         161         1          26.0000          11.7852    120.62%
1225.02/1229.72	c      1230            164         163         1          26.0000          11.7939    120.45%
1231.41/1236.15	c      1236            165         164         1          26.0000          11.7939    120.45%
1236.68/1241.44	c      1241            166         165         1          26.0000          11.7939    120.45%
1245.44/1250.22	c      1250            168         167         1          26.0000          11.7939    120.45%
1279.61/1284.55	c      1285            169         168         1          26.0000          11.7939    120.45%
1285.38/1290.30	c      1290            170         169         1          26.0000          11.7939    120.45%
1292.66/1297.62	c      1298            171         170         1          26.0000          11.7939    120.45%
1303.21/1308.25	c      1308            173         172         1          26.0000          11.7939    120.45%
1311.59/1316.61	c      1317            175         174         1          26.0000          11.7939    120.45%
1333.02/1338.16	c      1338            176         175         1          26.0000          11.7939    120.45%
1340.28/1345.45	c      1345            177         176         1          26.0000          11.7939    120.45%
1345.66/1350.83	c      1351            178         177         1          26.0000          11.7939    120.45%
1357.61/1362.81	c      1363            180         179         1          26.0000          11.7939    120.45%
1365.28/1370.51	c      1371            182         181         1          26.0000          11.7939    120.45%
1412.60/1418.07	c      1418            183         182         1          26.0000          11.7939    120.45%
1419.47/1425.01	c      1425            184         183         1          26.0000          11.7939    120.45%
1428.54/1434.04	c      1434            185         184         1          26.0000          11.7939    120.45%
1435.11/1440.65	c      1441            186         185         1          26.0000          11.7939    120.45%
1442.68/1448.23	c      1448            187         186         1          26.0000          11.7939    120.45%
1452.25/1457.84	c      1458            188         187         1          26.0000          11.7939    120.45%
1459.32/1464.91	c      1465            189         188         1          26.0000          11.7939    120.45%
1464.52/1470.15	c      1470            191         190         1          26.0000          11.7939    120.45%
1490.44/1496.18	c      1496            192         191         1          26.0000          11.7939    120.45%
1512.66/1518.48	c      1518            193         192         1          26.0000          11.7939    120.45%
1524.72/1530.58	c      1531            194         193         1          26.0000          11.7939    120.45%
1536.78/1542.64	c      1543            196         195         1          26.0000          11.7939    120.45%
1542.96/1548.89	c      1549            197         196         1          26.0000          11.7939    120.45%
1548.54/1554.44	c      1554            199         198         1          26.0000          11.7939    120.45%
1562.39/1568.39	c      1568            201         202         1          26.0000          11.8076    120.20%
1569.46/1575.45	c      1575            201         202         1          26.0000          11.8076    120.20%
1574.95/1580.91	c      1581            203         202         1          26.0000          11.8076    120.20%
1580.23/1586.28	c      1586            205         204         1          26.0000          11.8076    120.20%
1645.12/1651.36	c      1651            206         205         1          26.0000          11.8076    120.20%
1653.99/1660.20	c      1660            207         206         1          26.0000          11.8076    120.20%
1668.64/1674.93	c      1675            208         207         1          26.0000          11.8076    120.20%
1677.01/1683.32	c      1683            209         208         1          26.0000          11.8076    120.20%
1684.29/1690.68	c      1691            210         209         1          26.0000          11.8076    120.20%
1691.07/1697.49	c      1697            211         210         1          26.0000          11.8076    120.20%
1699.24/1705.61	c      1706            212         211         1          26.0000          11.8076    120.20%
1709.01/1715.42	c      1715            213         212         1          26.0000          11.8076    120.20%
1714.09/1720.50	c      1720            214         213         1          26.0000          11.8076    120.20%
1745.50/1752.06	c      1752            215         214         1          26.0000          11.8076    120.20%
1763.12/1769.71	c      1770            216         215         1          26.0000          11.8076    120.20%
1776.17/1782.85	c      1783            217         216         1          26.0000          11.8076    120.20%
1825.19/1832.08	c      1832            218         217         1          26.0000          11.8076    120.20%
1833.75/1840.67	c      1841            219         218         1          26.0000          11.8076    120.20%
1842.61/1849.57	c      1850            220         219         1          26.0000          11.8076    120.20%
1851.38/1858.33	c      1858            221         220         1          26.0000          11.8076    120.20%
1860.64/1867.67	c      1868            222         221         1          26.0000          11.8076    120.20%
1866.03/1873.08	c      1873            223         222         1          26.0000          11.8076    120.20%
1876.18/1883.22	c      1883            224         223         1          26.0000          11.8076    120.20%
1881.17/1888.24	c      1888            225         224         1          26.0000          11.8076    120.20%
1890.43/1897.52	c      1898            227         226         1          26.0000          11.8076    120.20%
1896.41/1903.52	c      1904            228         227         1          26.0000          11.8076    120.20%
1902.68/1909.86	c      1910            229         228         1          26.0000          11.8076    120.20%
1912.34/1919.54	c      1920            230         229         1          26.0000          11.8291    119.80%
1921.11/1928.34	c      1928            231         230         1          26.0000          11.8291    119.80%
1938.75/1946.09	c      1946            232         231         1          26.0000          11.8291    119.80%
1949.71/1957.07	c      1957            233         232         1          26.0000          11.8291    119.80%
1957.68/1965.06	c      1965            234         233         1          26.0000          11.8291    119.80%
1986.85/1994.33	c      1994            235         234         1          26.0000          11.8291    119.80%
1994.42/2001.98	c      2002            236         235         1          26.0000          11.8291    119.80%
2003.09/2010.66	c      2011            237         236         1          26.0000          11.8291    119.80%
2009.06/2016.61	c      2017            238         237         1          26.0000          11.8291    119.80%
2016.14/2023.71	c      2024            239         238         1          26.0000          11.8291    119.80%
2023.91/2031.55	c      2032            240         239         1          26.0000          11.8291    119.80%
2034.07/2041.77	c      2042            241         240         1          26.0000          11.8291    119.80%
2046.52/2054.20	c      2054            243         242         1          26.0000          11.8291    119.80%
2052.89/2060.66	c      2061            244         243         1          26.0000          11.8291    119.80%
2062.55/2070.36	c      2070            245         244         1          26.0000          11.8291    119.80%
2069.24/2077.10	c      2077            246         245         1          26.0000          11.8291    119.80%
2081.08/2088.94	c      2089            247         246         1          26.0000          11.8291    119.80%
2087.95/2095.85	c      2096            249         248         1          26.0000          11.8291    119.80%
2093.73/2101.66	c      2102            252         251         1          26.0000          11.8291    119.80%
2104.49/2112.43	c      2112            253         252         1          26.0000          11.8291    119.80%
2110.77/2118.71	c      2119            255         254         1          26.0000          11.8291    119.80%
2118.34/2126.38	c      2126            257         258         1          26.0000          11.8291    119.80%
2123.92/2131.99	c      2132            260         259         1          26.0000          11.8291    119.80%
2135.27/2143.32	c      2143            261         260         1          26.0000          11.8475    119.46%
2174.12/2182.37	c      2182            262         261         1          26.0000          11.8475    119.46%
2191.86/2200.15	c      2200            263         262         1          26.0000          11.8475    119.46%
2197.92/2206.21	c      2206            264         263         1          26.0000          11.8475    119.46%
2214.86/2223.25	c      2223            265         264         1          26.0000          11.8475    119.46%
2225.91/2234.37	c      2234            267         266         1          26.0000          11.8475    119.46%
2233.19/2241.69	c      2242            268         267         1          26.0000          11.8475    119.46%
2240.77/2249.28	c      2249            269         268         1          26.0000          11.8475    119.46%
2247.34/2255.84	c      2256            271         270         1          26.0000          11.8475    119.46%
2256.30/2264.84	c      2265            277         276         1          26.0000          11.8475    119.46%
2268.47/2277.03	c      2277            278         277         1          26.0000          11.8475    119.46%
2277.43/2286.06	c      2286            280         279         1          26.0000          11.8475    119.46%
2286.08/2294.70	c      2295            281         280         1          26.0000          11.8475    119.46%
2293.37/2302.02	c      2302            283         282         1          26.0000          11.8475    119.46%
2298.83/2307.51	c      2308            284         283         1          26.0000          11.8475    119.46%
2314.87/2323.61	c      2324            285         284         1          26.0000          11.8475    119.46%
2322.25/2331.07	c      2331            287         286         1          26.0000          11.8475    119.46%
2329.22/2338.05	c      2338            289         288         1          26.0000          11.8475    119.46%
2366.86/2375.86	c      2376            292         291         1          26.0000          11.8475    119.46%
2375.83/2384.83	c      2385            293         292         1          26.0000          11.8475    119.46%
2386.19/2395.28	c      2395            294         293         1          26.0000          11.8475    119.46%
2402.22/2411.31	c      2411            296         295         1          26.0000          11.8475    119.46%
2413.08/2422.24	c      2422            300         299         1          26.0000          11.8475    119.46%
2428.52/2437.70	c      2438            301         300         1          26.0000          11.8475    119.46%
2434.91/2444.16	c      2444            302         301         1          26.0000          11.8475    119.46%
2440.57/2449.85	c      2450            303         302         1          26.0000          11.8475    119.46%
2464.28/2473.66	c      2474            305         304         1          26.0000          11.8475    119.46%
2480.02/2489.41	c      2489            306         305         1          26.0000          11.8475    119.46%
2489.78/2499.25	c      2499            308         307         1          26.0000          11.8475    119.46%
2495.75/2505.29	c      2505            309         308         1          26.0000          11.8475    119.46%
2500.94/2510.45	c      2510            312         311         1          26.0000          11.8475    119.46%
2510.01/2519.51	c      2520            315         314         1          26.0000          11.8475    119.46%
2520.96/2530.56	c      2531            317         316         1          26.0000          11.8475    119.46%
2531.02/2540.65	c      2541            318         317         1          26.0000          11.8475    119.46%
2537.80/2547.42	c      2547            321         320         1          26.0000          11.8475    119.46%
2543.49/2553.14	c      2553            325         324         1          26.0000          11.8475    119.46%
2551.25/2560.96	c      2561            329         328         1          26.0000          11.8475    119.46%
2582.72/2592.50	c      2593            334         333         1          26.0000          11.8475    119.46%
2597.76/2607.60	c      2608            335         334         1          26.0000          11.8475    119.46%
2630.63/2640.66	c      2641            337         336         1          26.0000          11.8475    119.46%
2636.51/2646.54	c      2647            338         337         1          26.0000          11.8475    119.46%
2645.88/2655.92	c      2656            339         338         1          26.0000          11.8475    119.46%
2652.85/2662.98	c      2663            340         339         1          26.0000          11.8475    119.46%
2660.42/2670.53	c      2671            341         340         1          26.0000          11.8475    119.46%
2667.01/2677.11	c      2677            342         341         1          26.0000          11.8475    119.46%
2672.27/2682.41	c      2682            343         342         1          26.0000          11.8475    119.46%
2677.35/2687.58	c      2688            345         344         1          26.0000          11.8475    119.46%
2687.21/2697.45	c      2697            347         346         1          26.0000          11.8475    119.46%
2703.76/2714.09	c      2714            350         349         1          26.0000          11.8475    119.46%
2715.00/2725.36	c      2725            352         351         1          26.0000          11.8475    119.46%
2728.96/2739.39	c      2739            353         352         1          26.0000          11.8475    119.46%
2736.82/2747.22	c      2747            355         354         1          26.0000          11.8475    119.46%
2744.79/2755.25	c      2755            357         356         1          26.0000          11.8475    119.46%
2791.14/2801.77	c      2802            359         358         1          26.0000          11.8475    119.46%
2797.22/2807.82	c      2808            360         359         1          26.0000          11.8475    119.46%
2805.09/2815.79	c      2816            361         360         1          26.0000          11.8475    119.46%
2812.56/2823.23	c      2823            362         361         1          26.0000          11.8475    119.46%
2819.04/2829.70	c      2830            363         362         1          26.0000          11.8475    119.46%
2827.61/2838.32	c      2838            364         363         1          26.0000          11.8475    119.46%
2835.18/2845.95	c      2846            366         365         1          26.0000          11.8475    119.46%
2841.27/2852.10	c      2852            369         368         1          26.0000          11.8475    119.46%
2856.61/2867.43	c      2867            370         369         1          26.0000          11.8531    119.35%
2864.68/2875.54	c      2876            371         370         1          26.0000          11.8531    119.35%
2876.55/2887.48	c      2887            372         371         1          26.0000          11.8531    119.35%
2886.91/2897.80	c      2898            373         372         1          26.0000          11.8531    119.35%
2902.17/2913.17	c      2913            375         374         1          26.0000          11.9156    118.20%
2907.34/2918.30	c      2918            376         375         1          26.0000          11.9156    118.20%
2913.62/2924.65	c      2925            377         376         1          26.0000          11.9156    118.20%
2921.79/2932.82	c      2933            379         378         1          26.0000          11.9156    118.20%
2933.46/2944.52	c      2945            381         380         1          26.0000          11.9156    118.20%
2939.44/2950.54	c      2951            385         384         1          26.0000          11.9156    118.20%
2944.82/2955.92	c      2956            388         387         1          26.0000          11.9156    118.20%
2950.80/2961.92	c      2962            392         391         1          26.0000          11.9156    118.20%
2962.66/2973.80	c      2974            393         392         1          26.0000          11.9156    118.20%
2970.63/2981.80	c      2982            395         394         1          26.0000          11.9156    118.20%
2975.71/2986.97	c      2987            397         396         1          26.0000          11.9156    118.20%
3006.11/3017.44	c      3017            398         397         1          26.0000          11.9156    118.20%
3013.49/3024.84	c      3025            399         398         1          26.0000          11.9156    118.20%
3020.78/3032.13	c      3032            400         399         1          26.0000          11.9156    118.20%
3028.44/3039.80	c      3040            402         401         1          26.0000          11.9156    118.20%
3035.51/3047.01	c      3047            405         404         1          26.0000          11.9156    118.20%
3041.09/3052.58	c      3053            408         407         1          26.0000          11.9156    118.20%
3050.26/3061.72	c      3062            410         409         1          26.0000          11.9156    118.20%
3061.72/3073.23	c      3073            411         410         1          26.0000          11.9156    118.20%
3070.69/3082.24	c      3082            412         411         1          26.0000          11.9156    118.20%
3083.74/3095.34	c      3095            413         412         1          26.0000          11.9156    118.20%
3090.92/3102.58	c      3103            414         413         1          26.0000          11.9156    118.20%
3104.28/3115.95	c      3116            415         414         1          26.0000          11.9156    118.20%
3111.66/3123.39	c      3123            416         415         1          26.0000          11.9156    118.20%
3117.84/3129.56	c      3130            417         416         1          26.0000          11.9156    118.20%
3127.11/3138.85	c      3139            418         417         1          26.0000          11.9156    118.20%
3171.76/3183.65	c      3184            419         418         1          26.0000          11.9156    118.20%
3180.24/3192.16	c      3192            420         419         1          26.0000          11.9156    118.20%
3188.21/3200.12	c      3200            421         420         1          26.0000          11.9156    118.20%
3202.54/3214.59	c      3215            423         422         1          26.0000          11.9156    118.20%
3208.62/3220.67	c      3221            424         423         1          26.0000          11.9156    118.20%
3214.39/3226.41	c      3226            425         424         1          26.0000          11.9156    118.20%
3220.57/3232.64	c      3233            428         427         1          26.0000          11.9156    118.20%
3227.44/3239.54	c      3240            429         428         1          26.0000          11.9156    118.20%
3232.93/3245.05	c      3245            430         429         1          26.0000          11.9156    118.20%
3238.10/3250.30	c      3250            433         432         1          26.0000          11.9156    118.20%
3258.32/3270.53	c      3271            435         434         1          26.0000          11.9156    118.20%
3263.41/3275.65	c      3276            436         435         1          26.0000          11.9156    118.20%
3272.67/3284.91	c      3285            439         438         1          26.0000          11.9156    118.20%
3303.85/3316.20	c      3316            440         439         1          26.0000          11.9156    118.20%
3311.82/3324.25	c      3324            441         440         1          26.0000          11.9156    118.20%
3319.70/3332.17	c      3332            442         441         1          26.0000          11.9156    118.20%
3328.95/3341.42	c      3341            443         442         1          26.0000          11.9156    118.20%
3337.53/3350.05	c      3350            445         444         1          26.0000          11.9156    118.20%
3343.20/3355.73	c      3356            447         446         1          26.0000          11.9156    118.20%
3349.48/3362.10	c      3362            449         448         1          26.0000          11.9156    118.20%
3361.23/3373.80	c      3374            451         450         1          26.0000          11.9156    118.20%
3375.97/3388.67	c      3389            452         451         1          26.0000          11.9397    117.76%
3385.63/3398.30	c      3398            453         452         1          26.0000          11.9397    117.76%
3394.20/3406.99	c      3407            455         454         1          26.0000          11.9397    117.76%
3429.76/3442.63	c      3443            457         456         1          26.0000          11.9397    117.76%
3436.73/3449.60	c      3450            458         457         1          26.0000          11.9397    117.76%
3446.00/3458.98	c      3459            460         459         1          26.0000          11.9397    117.76%
3451.38/3464.31	c      3464            462         461         1          26.0000          11.9397    117.76%
3456.36/3469.34	c      3469            464         463         1          26.0000          11.9397    117.76%
3479.98/3493.02	c      3493            469         468         1          26.0000          11.9397    117.76%
3485.34/3498.43	c      3498            470         469         1          26.0000          11.9397    117.76%
3522.20/3535.47	c      3535            471         470         1          26.0000          11.9397    117.76%
3527.38/3540.65	c      3541            472         471         1          26.0000          11.9397    117.76%
3535.55/3548.88	c      3549            473         472         1          26.0000          11.9397    117.76%
3544.51/3557.80	c      3558            475         474         1          26.0000          11.9397    117.76%
3552.18/3565.54	c      3566            477         476         1          26.0000          11.9397    117.76%
3559.36/3572.70	c      3573            480         479         1          26.0000          11.9397    117.76%
3564.65/3578.06	c      3578            482         481         1          26.0000          11.9397    117.76%
3571.21/3584.67	c      3585            485         484         1          26.0000          11.9397    117.76%
3581.87/3595.38	c      3595            486         485         1          26.0000          11.9397    117.76%
3586.56/3600.09	c SCIP Status        : c solving was interrupted [hard time limit reached]
3586.56/3600.09	c Total Time         : 3600.08
3586.56/3600.09	c   solving          : 3600.08
3586.56/3600.09	c   presolving       : 0.59 (included in solving)
3586.56/3600.09	c B&B Tree           :
3586.56/3600.09	c   nodes (total)    : 1
3586.56/3600.09	c Solution           :
3586.56/3600.09	c   Solutions found  : 2
3586.56/3600.09	c   Primal Bound     : +2.60000000000000e+01
3586.56/3600.09	c   Dual Bound       : +1.19397395188819e+01
3586.56/3600.09	c Gap                : 117.76019 %
3586.56/3600.09	c * Warning: final gap: 1.17760e+00 is greater than SCIPepsilon: 1.00000e-09
3586.56/3600.09	o 26
3586.56/3600.09	s SATISFIABLE
3586.56/3600.09	v -x6076 -x6075 -x6074 x6073 -x6071 x6069 -x6067 -x6066 -x6065 x6064 -x6062 -x6060 -x6059 -x6058 x6057 x6055 -x6053 -x6052 -x6051 
3586.56/3600.09	v -x6050 x6048 -x6046 -x6045 -x6044 -x6043 x6041 -x6039 -x6038 -x6037 -x6036 -x6034 -x6033 -x6032 -x6031 -x6029 -x6028 -x6027 
3586.56/3600.09	v -x6026 x6024 -x6022 -x6021 -x6020 -x6019 x6017 -x6015 -x6014 -x6013 -x6012 -x6010 -x6008 -x6007 -x6006 -x6005 -x6003 -x6001 -x6000 
3586.56/3600.09	v -x5999 -x5998 -x5996 -x5994 -x5993 -x5992 -x5991 -x5989 -x5987 -x5986 -x5985 -x5984 x5982 -x5980 -x5979 -x5978 -x5977 -x5975 
3586.56/3600.09	v -x5973 -x5972 -x5971 -x5970 x5968 -x5966 -x5965 -x5964 -x5963 x5961 -x5959 -x5958 -x5957 -x5956 -x5954 -x5953 -x5952 -x5951 
3586.56/3600.09	v x5949 -x5947 -x5946 -x5945 -x5944 -x5942 -x5940 -x5939 x5938 x5937 -x5935 -x5934 -x5933 -x5932 -x5930 -x5928 -x5927 -x5926 
3586.56/3600.09	v -x5925 -x5923 -x5921 -x5920 -x5919 -x5918 x5916 -x5914 -x5913 -x5912 -x5911 -x5909 -x5907 -x5906 -x5905 -x5904 -x5902 -x5900 
3586.56/3600.09	v -x5899 -x5898 -x5897 x5895 -x5893 -x5892 -x5891 -x5890 -x5888 -x5887 -x5886 -x5885 -x5883 -x5881 x5880 -x5879 x5878 -x5876 
3586.56/3600.09	v -x5874 -x5873 -x5872 -x5871 -x5869 -x5867 -x5866 -x5865 -x5864 -x5862 -x5861 -x5860 -x5859 -x5857 -x5855 -x5854 -x5853 -x5852 
3586.56/3600.09	v -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 x5840 x5838 -x5837 -x5836 -x5835 -x5834 -x5833 -x5832 
3586.56/3600.09	v -x5831 -x5830 -x5829 x5828 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 -x5814 -x5813 -x5812 
3586.56/3600.09	v -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 x5804 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 
3586.56/3600.09	v x5792 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 
3586.56/3600.09	v -x5772 -x5771 -x5770 -x5769 -x5768 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5754 -x5753 
3586.56/3600.09	v -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 
3586.56/3600.09	v -x5733 -x5732 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5718 -x5717 -x5716 -x5715 -x5714 
3586.56/3600.09	v -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5694 
3586.56/3600.09	v -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 
3586.56/3600.09	v -x5674 -x5673 -x5672 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5658 -x5657 -x5656 
3586.56/3600.09	v -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 
3586.56/3600.09	v -x5636 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5622 -x5621 -x5620 -x5619 -x5618 -x5617 
3586.56/3600.09	v -x5616 -x5615 -x5614 -x5613 -x5612 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5598 -x5597 
3586.56/3600.09	v -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 x5587 -x5586 -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 
3586.56/3600.09	v -x5578 -x5577 -x5576 -x5575 -x5574 x5573 -x5571 -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 
3586.56/3600.09	v -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 -x5544 -x5543 -x5542 -x5541 
3586.56/3600.09	v -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 
3586.56/3600.09	v -x5522 -x5521 -x5520 -x5519 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 
3586.56/3600.09	v -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5490 -x5489 -x5488 -x5487 -x5486 
3586.56/3600.09	v -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 
3586.56/3600.09	v -x5467 -x5466 -x5465 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 
3586.56/3600.09	v -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 
3586.56/3600.09	v -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 
3586.56/3600.09	v -x5411 -x5409 -x5408 -x5407 -x5406 x5404 -x5402 -x5401 -x5400 -x5399 -x5397 -x5395 -x5394 -x5393 -x5392 x5390 -x5388 -x5387 
3586.56/3600.09	v -x5386 -x5385 x5383 -x5381 -x5380 -x5379 x5378 -x5376 -x5374 -x5373 -x5372 -x5371 x5369 -x5367 -x5366 -x5365 -x5364 -x5362 
3586.56/3600.09	v -x5360 -x5359 -x5358 -x5357 -x5355 -x5353 -x5352 -x5351 -x5350 -x5348 -x5346 -x5345 -x5344 -x5343 x5341 -x5339 -x5338 -x5337 
3586.56/3600.09	v -x5336 -x5334 -x5332 -x5331 -x5330 -x5329 x5327 -x5325 -x5324 -x5323 -x5322 -x5320 -x5318 -x5317 -x5316 -x5315 -x5313 -x5311 
3586.56/3600.09	v -x5310 -x5309 -x5308 -x5306 -x5304 -x5303 -x5302 -x5301 x5299 -x5297 -x5296 -x5295 -x5294 -x5292 -x5290 -x5289 -x5288 -x5287 
3586.56/3600.09	v -x5285 -x5283 -x5282 -x5281 -x5280 -x5278 -x5276 -x5275 -x5274 -x5273 -x5271 -x5269 -x5268 -x5267 x5266 -x5264 -x5262 -x5261 
3586.56/3600.09	v -x5260 -x5259 x5257 -x5255 -x5254 -x5253 -x5252 -x5250 -x5249 -x5248 -x5247 -x5245 -x5243 -x5242 -x5241 -x5240 -x5238 -x5236 
3586.56/3600.09	v -x5235 -x5234 -x5233 x5231 -x5229 -x5228 -x5227 x5226 -x5224 -x5222 -x5221 -x5220 x5219 -x5217 -x5215 -x5214 -x5213 -x5212 -x5210 
3586.56/3600.09	v -x5208 -x5207 -x5206 -x5205 -x5203 -x5201 -x5200 -x5199 -x5198 -x5196 -x5194 -x5193 -x5192 -x5191 -x5189 -x5188 -x5187 
3586.56/3600.09	v -x5186 -x5184 -x5182 -x5181 -x5180 -x5179 -x5177 -x5175 -x5174 -x5173 -x5172 -x5170 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 
3586.56/3600.09	v -x5162 -x5161 -x5160 -x5159 -x5158 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5144 -x5143 
3586.56/3600.09	v -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 
3586.56/3600.09	v -x5123 -x5122 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5108 -x5107 -x5106 -x5105 -x5104 
3586.56/3600.09	v -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5084 
3586.56/3600.09	v -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 x5074 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 
3586.56/3600.09	v -x5064 -x5063 -x5062 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5048 -x5047 -x5046 -x5045 
3586.56/3600.09	v -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 
3586.56/3600.09	v -x5026 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 
3586.56/3600.09	v -x5006 -x5005 -x5004 -x5003 -x5002 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4988 -x4987 
3586.56/3600.09	v -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 
3586.56/3600.09	v -x4967 x4966 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4952 -x4951 -x4950 -x4949 -x4948 
3586.56/3600.09	v -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 x4930 -x4928 
3586.56/3600.09	v -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 
3586.56/3600.09	v -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 
3586.56/3600.09	v -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 
3586.56/3600.09	v -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 
3586.56/3600.09	v -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4835 
3586.56/3600.09	v -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 
3586.56/3600.09	v -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 
3586.56/3600.09	v -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 x4783 -x4781 -x4780 -x4779 
3586.56/3600.09	v -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 
3586.56/3600.09	v -x4760 -x4759 -x4758 -x4757 -x4756 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 
3586.56/3600.09	v -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 x4729 -x4727 -x4726 -x4725 -x4724 -x4722 
3586.56/3600.09	v -x4720 -x4719 -x4718 -x4717 x4715 -x4713 -x4712 -x4711 -x4710 x4708 -x4706 -x4705 -x4704 -x4703 x4701 -x4699 -x4698 -x4697 
3586.56/3600.09	v -x4696 -x4694 -x4692 -x4691 -x4690 -x4689 -x4687 -x4685 -x4684 -x4683 x4682 -x4680 -x4678 -x4677 -x4676 -x4675 -x4673 -x4672 
3586.56/3600.09	v -x4671 -x4670 x4668 -x4666 -x4665 -x4664 -x4663 -x4661 -x4659 -x4658 -x4657 -x4656 -x4654 -x4652 -x4651 -x4650 -x4649 -x4647 
3586.56/3600.09	v -x4645 -x4644 -x4643 -x4642 -x4640 -x4638 -x4637 -x4636 -x4635 x4633 -x4631 -x4630 -x4629 -x4628 x4626 -x4624 -x4623 -x4622 
3586.56/3600.09	v -x4621 -x4619 -x4617 -x4616 -x4615 -x4614 -x4612 -x4610 -x4609 -x4608 -x4607 -x4605 -x4603 -x4602 -x4601 -x4600 -x4598 -x4596 
3586.56/3600.09	v -x4595 -x4594 -x4593 -x4591 -x4589 -x4588 -x4587 -x4586 -x4584 -x4582 -x4581 -x4580 -x4579 -x4577 -x4575 -x4574 -x4573 x4572 
3586.56/3600.09	v -x4570 -x4568 -x4567 -x4566 -x4565 x4563 -x4561 -x4560 -x4559 -x4558 x4556 -x4554 -x4553 -x4552 -x4551 -x4549 -x4547 -x4546 
3586.56/3600.09	v -x4545 -x4544 -x4542 -x4540 -x4539 -x4538 x4537 -x4535 -x4534 -x4533 x4532 -x4530 -x4528 -x4527 -x4526 -x4525 -x4523 -x4521 
3586.56/3600.09	v -x4520 -x4519 -x4518 -x4516 -x4514 -x4513 -x4512 -x4511 -x4509 -x4507 -x4506 -x4505 -x4504 -x4502 -x4500 -x4499 -x4498 -x4497 
3586.56/3600.09	v -x4495 -x4493 -x4492 -x4491 -x4490 -x4488 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4474 
3586.56/3600.09	v -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 
3586.56/3600.09	v -x4454 -x4453 x4452 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4438 -x4437 -x4436 -x4435 
3586.56/3600.09	v -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 
3586.56/3600.09	v -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 
3586.56/3600.09	v -x4395 -x4394 -x4393 -x4392 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4378 -x4377 
3586.56/3600.09	v -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 
3586.56/3600.09	v -x4357 -x4356 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4342 -x4341 -x4340 -x4339 -x4338 
3586.56/3600.09	v -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4318 
3586.56/3600.09	v -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 
3586.56/3600.09	v -x4298 -x4297 -x4296 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 x4284 -x4282 -x4281 -x4280 -x4279 
3586.56/3600.09	v -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 x4272 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 
3586.56/3600.09	v -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 
3586.56/3600.09	v -x4239 -x4238 -x4237 -x4236 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 
3586.56/3600.09	v -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4207 -x4206 -x4205 -x4204 -x4203 
3586.56/3600.09	v -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 
3586.56/3600.09	v -x4184 -x4183 x4182 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 
3586.56/3600.09	v -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 
3586.56/3600.09	v -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 
3586.56/3600.09	v -x4128 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 
3586.56/3600.09	v -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 
3586.56/3600.09	v -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4072 
3586.56/3600.09	v -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 
3586.56/3600.09	v -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 x4047 -x4045 -x4044 -x4043 -x4042 -x4040 -x4038 -x4037 -x4036 -x4035 x4033 -x4031 
3586.56/3600.09	v -x4030 -x4029 -x4028 x4026 -x4024 -x4023 -x4022 -x4021 -x4019 -x4017 -x4016 -x4015 -x4014 -x4012 -x4010 -x4009 -x4008 -x4007 
3586.56/3600.09	v -x4005 -x4003 -x4002 -x4001 x4000 -x3998 -x3996 -x3995 -x3994 -x3993 x3991 -x3989 -x3988 -x3987 -x3986 -x3984 -x3982 -x3981 
3586.56/3600.09	v -x3980 -x3979 -x3977 -x3975 -x3974 -x3973 -x3972 -x3970 -x3968 -x3967 -x3966 -x3965 -x3963 -x3961 -x3960 -x3959 x3958 -x3956 
3586.56/3600.09	v -x3954 -x3953 -x3952 -x3951 x3949 -x3947 -x3946 -x3945 -x3944 -x3942 -x3940 -x3939 -x3938 -x3937 -x3935 -x3933 -x3932 -x3931 
3586.56/3600.09	v -x3930 -x3928 -x3926 -x3925 -x3924 x3923 -x3921 -x3919 -x3918 -x3917 x3916 -x3914 -x3912 -x3911 -x3910 -x3909 -x3907 -x3905 
3586.56/3600.09	v -x3904 -x3903 -x3902 -x3900 -x3898 -x3897 -x3896 -x3895 -x3893 -x3891 -x3890 -x3889 -x3888 -x3886 -x3884 -x3883 -x3882 -x3881 
3586.56/3600.09	v x3879 -x3877 -x3876 -x3875 -x3874 -x3872 -x3870 -x3869 -x3868 -x3867 -x3865 -x3863 -x3862 -x3861 -x3860 -x3858 -x3857 -x3856 
3586.56/3600.09	v -x3855 -x3853 -x3851 -x3850 -x3849 -x3848 -x3846 -x3844 -x3843 -x3842 -x3841 -x3839 -x3837 -x3836 -x3835 -x3834 -x3832 -x3830 
3586.56/3600.09	v -x3829 -x3828 -x3827 -x3825 -x3823 -x3822 -x3821 -x3820 -x3818 -x3816 -x3815 -x3814 -x3813 -x3811 -x3809 -x3808 -x3807 
3586.56/3600.09	v -x3806 -x3804 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3790 -x3789 -x3788 -x3787 -x3786 
3586.56/3600.09	v -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3766 
3586.56/3600.09	v -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 
3586.56/3600.09	v -x3746 -x3745 -x3744 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3730 -x3729 -x3728 -x3727 
3586.56/3600.09	v -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 x3708 
3586.56/3600.09	v -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 
3586.56/3600.09	v -x3687 -x3686 -x3685 -x3684 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3670 -x3669 -x3668 
3586.56/3600.09	v -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 x3660 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 
3586.56/3600.09	v -x3648 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3634 -x3633 -x3632 -x3631 -x3630 
3586.56/3600.09	v -x3629 -x3628 -x3627 -x3626 -x3625 x3624 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3610 
3586.56/3600.09	v -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 
3586.56/3600.09	v -x3590 -x3589 -x3588 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3574 -x3573 -x3572 -x3571 
3586.56/3600.09	v -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 
3586.56/3600.09	v -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 
3586.56/3600.09	v -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 
3586.56/3600.09	v -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3496 -x3495 
3586.56/3600.09	v -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 
3586.56/3600.09	v -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 
3586.56/3600.09	v -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3442 -x3441 -x3440 
3586.56/3600.09	v -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 
3586.56/3600.09	v -x3421 -x3420 -x3419 -x3418 x3417 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 
3586.56/3600.09	v -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 x3390 -x3388 -x3387 -x3386 -x3385 -x3384 
3586.56/3600.09	v -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 
3586.56/3600.09	v -x3365 -x3364 -x3363 -x3361 -x3360 -x3359 -x3358 -x3356 -x3355 -x3354 -x3353 -x3351 -x3350 -x3349 -x3348 -x3346 -x3345 -x3344 
3586.56/3600.09	v -x3343 -x3341 -x3340 -x3339 -x3338 -x3336 -x3335 -x3334 -x3333 -x3331 -x3330 -x3329 -x3328 -x3326 -x3325 -x3324 -x3323 -x3321 
3586.56/3600.09	v -x3320 -x3319 -x3318 -x3316 -x3315 -x3314 -x3313 -x3311 -x3310 -x3309 -x3308 -x3306 -x3305 -x3304 -x3303 -x3301 -x3300 
3586.56/3600.09	v -x3299 -x3298 -x3296 -x3295 -x3294 -x3293 -x3291 -x3290 -x3289 -x3288 -x3286 -x3285 -x3284 -x3283 -x3281 -x3280 -x3279 -x3278 
3586.56/3600.09	v -x3276 -x3275 -x3274 -x3273 -x3271 -x3270 -x3269 -x3268 -x3266 -x3265 -x3264 -x3263 -x3261 -x3260 -x3259 -x3258 -x3256 -x3255 
3586.56/3600.09	v -x3254 -x3253 -x3251 -x3250 -x3249 -x3248 -x3246 -x3245 -x3244 -x3243 -x3241 -x3240 -x3239 -x3238 -x3236 -x3235 -x3234 -x3233 
3586.56/3600.09	v -x3231 -x3230 -x3229 -x3228 -x3226 -x3225 -x3224 -x3223 -x3221 -x3220 -x3219 -x3218 -x3216 -x3215 -x3214 -x3213 -x3211 -x3210 
3586.56/3600.09	v -x3209 -x3208 -x3206 -x3205 -x3204 -x3203 -x3201 -x3200 -x3199 -x3198 -x3196 -x3195 -x3194 -x3193 -x3191 -x3190 -x3189 -x3188 
3586.56/3600.09	v -x3186 -x3185 -x3184 -x3183 -x3181 -x3180 -x3179 -x3178 -x3176 -x3175 -x3174 -x3173 -x3171 -x3170 -x3169 -x3168 -x3166 -x3165 
3586.56/3600.09	v -x3164 -x3163 -x3161 -x3160 -x3159 -x3158 -x3156 -x3155 -x3154 -x3153 -x3151 -x3150 -x3149 -x3148 -x3146 -x3145 -x3144 
3586.56/3600.09	v -x3143 -x3141 -x3140 -x3139 -x3138 -x3136 -x3135 -x3134 -x3133 -x3131 -x3130 -x3129 -x3128 -x3126 -x3125 -x3124 -x3123 -x3121 
3586.56/3600.09	v -x3120 -x3119 -x3118 -x3116 -x3115 -x3114 -x3113 -x3111 -x3110 -x3109 -x3108 -x3106 -x3105 -x3104 -x3103 -x3101 -x3100 -x3099 
3586.56/3600.09	v -x3098 -x3096 -x3095 -x3094 -x3093 -x3091 -x3090 -x3089 -x3088 -x3086 -x3085 -x3084 -x3083 -x3081 -x3080 -x3079 -x3078 -x3076 
3586.56/3600.09	v -x3075 -x3074 -x3073 -x3071 -x3070 -x3069 -x3068 -x3066 -x3065 -x3064 -x3063 -x3061 -x3060 -x3059 -x3058 -x3056 -x3055 -x3054 
3586.56/3600.09	v -x3053 -x3051 -x3050 -x3049 -x3048 -x3046 -x3045 -x3044 -x3043 -x3041 -x3040 -x3039 -x3038 -x3036 -x3035 -x3034 -x3033 -x3031 
3586.56/3600.09	v -x3030 -x3029 -x3028 -x3026 -x3025 -x3024 -x3023 -x3021 -x3020 -x3019 -x3018 -x3016 -x3015 x3014 x3013 -x3011 -x3010 -x3009 
3586.56/3600.09	v -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 x3001 -x2999 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 
3586.56/3600.09	v -x2988 x2987 -x2985 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 x2973 -x2971 -x2969 -x2968 -x2967 
3586.56/3600.09	v -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 x2959 -x2957 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 
3586.56/3600.09	v -x2946 -x2945 -x2943 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2929 -x2927 -x2926 -x2925 
3586.56/3600.09	v -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2915 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 
3586.56/3600.09	v -x2904 -x2903 -x2901 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2887 -x2885 -x2884 -x2883 
3586.56/3600.09	v -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2873 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 
3586.56/3600.09	v -x2863 -x2862 -x2861 -x2859 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2845 -x2843 -x2842 
3586.56/3600.09	v -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2831 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 
3586.56/3600.09	v -x2821 -x2820 -x2819 -x2817 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2803 -x2801 -x2800 
3586.56/3600.09	v -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2789 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 
3586.56/3600.09	v -x2779 -x2778 -x2777 x2775 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 x2761 -x2759 -x2758 
3586.56/3600.09	v -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 x2747 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 
3586.56/3600.09	v -x2737 -x2736 -x2735 x2733 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2719 -x2717 -x2716 
3586.56/3600.09	v -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2705 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 
3586.56/3600.09	v -x2695 -x2694 -x2693 -x2691 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2677 -x2675 -x2674 
3586.56/3600.09	v -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2663 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 
3586.56/3600.09	v -x2653 -x2652 -x2651 -x2649 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2635 -x2633 
3586.56/3600.09	v -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2621 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 
3586.56/3600.09	v -x2612 -x2611 -x2610 -x2609 -x2607 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2593 -x2591 
3586.56/3600.09	v -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 x2579 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 
3586.56/3600.09	v -x2570 -x2569 -x2568 -x2567 x2565 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 x2551 -x2549 
3586.56/3600.09	v -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 x2537 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 
3586.56/3600.09	v -x2528 -x2527 -x2526 -x2525 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2511 -x2509 -x2508 
3586.56/3600.09	v -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2497 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 
3586.56/3600.09	v -x2487 -x2486 -x2485 -x2483 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2469 -x2467 -x2466 
3586.56/3600.09	v -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2455 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 
3586.56/3600.09	v -x2445 -x2444 -x2443 -x2441 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2427 -x2425 -x2424 
3586.56/3600.09	v -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2413 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 
3586.56/3600.09	v -x2404 -x2403 -x2402 -x2401 -x2399 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2385 -x2383 
3586.56/3600.09	v -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2371 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 
3586.56/3600.09	v -x2362 -x2361 -x2360 -x2359 -x2357 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2343 -x2341 
3586.56/3600.09	v -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2329 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 
3586.56/3600.09	v -x2320 -x2319 -x2318 -x2317 x2315 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 x2301 -x2299 
3586.56/3600.09	v -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 x2287 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 
3586.56/3600.09	v -x2278 -x2277 -x2276 -x2275 x2273 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 x2259 -x2257 
3586.56/3600.09	v -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 x2245 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 
3586.56/3600.09	v -x2236 -x2235 -x2234 -x2233 x2231 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 
3586.56/3600.09	v -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2202 -x2201 -x2200 -x2199 -x2198 
3586.56/3600.09	v -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 
3586.56/3600.09	v -x2179 -x2178 -x2177 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 
3586.56/3600.09	v -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 x2150 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 
3586.56/3600.09	v -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 
3586.56/3600.09	v -x2123 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 
3586.56/3600.09	v -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 x2096 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 
3586.56/3600.09	v -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 x2069 
3586.56/3600.09	v -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 
3586.56/3600.09	v -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 
3586.56/3600.09	v -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2013 -x2012 
3586.56/3600.09	v -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 
3586.56/3600.09	v -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 
3586.56/3600.09	v -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1959 -x1958 -x1957 -x1956 
3586.56/3600.09	v -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 
3586.56/3600.09	v -x1938 -x1937 -x1936 -x1935 -x1934 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 
3586.56/3600.09	v -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1905 -x1904 -x1903 -x1902 -x1901 
3586.56/3600.09	v -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 
3586.56/3600.09	v -x1882 -x1881 -x1880 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 
3586.56/3600.09	v -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 
3586.56/3600.09	v -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 
3586.56/3600.09	v -x1826 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 
3586.56/3600.09	v -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 
3586.56/3600.09	v -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 
3586.56/3600.09	v -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 
3586.56/3600.09	v -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 
3586.56/3600.09	v -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1716 -x1715 
3586.56/3600.09	v -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 
3586.56/3600.09	v -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 
3586.56/3600.09	v -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1662 -x1661 -x1660 
3586.56/3600.09	v -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 
3586.56/3600.09	v -x1641 -x1640 -x1639 -x1638 -x1637 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 
3586.56/3600.09	v -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1608 -x1607 -x1606 -x1605 -x1604 
3586.56/3600.09	v -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 
3586.56/3600.09	v -x1585 -x1584 -x1583 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 
3586.56/3600.09	v -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 
3586.56/3600.09	v -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 
3586.56/3600.09	v -x1530 -x1529 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 
3586.56/3600.09	v -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 
3586.56/3600.09	v -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 
3586.56/3600.09	v -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 
3586.56/3600.09	v -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 
3586.56/3600.09	v -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 
3586.56/3600.09	v -x1420 -x1419 -x1418 -x1417 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 
3586.56/3600.09	v -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 
3586.56/3600.09	v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 
3586.56/3600.09	v -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 x1359 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 
3586.56/3600.09	v -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 
3586.56/3600.09	v -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 
3586.56/3600.09	v -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 
3586.56/3600.09	v -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 
3586.56/3600.09	v -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 
3586.56/3600.09	v -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 x1243 -x1241 -x1240 -x1239 -x1238 
3586.56/3600.09	v -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 
3586.56/3600.09	v -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 
3586.56/3600.09	v -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1183 
3586.56/3600.09	v -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 
3586.56/3600.09	v -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 
3586.56/3600.09	v -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 
3586.56/3600.09	v -x1129 -x1128 -x1127 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 
3586.56/3600.09	v -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 
3586.56/3600.09	v -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 
3586.56/3600.09	v -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 
3586.56/3600.09	v -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 
3586.56/3600.09	v -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 
3586.56/3600.09	v -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 x866 -x865 -x864 -x863 -x862 -x861 -x860 -x1009 -x1007 -x1008 
3586.56/3600.09	v -x1005 -x1006 -x1004 -x1002 -x1003 -x1001 -x999 -x1000 -x998 -x996 -x997 -x995 -x993 -x994 -x992 -x991 -x990 -x989 -x988 
3586.56/3600.09	v -x986 -x987 -x985 -x983 -x984 -x982 -x980 -x981 -x979 -x977 -x978 -x976 -x974 -x975 -x973 -x971 -x972 -x970 -x968 -x969 -x967 
3586.56/3600.09	v -x965 -x966 -x964 -x962 -x963 -x961 -x959 -x960 -x958 -x957 -x956 -x954 -x955 -x953 -x951 -x952 -x950 -x949 -x948 -x946 -x947 
3586.56/3600.09	v -x945 -x943 -x944 -x942 -x940 -x941 -x939 -x937 -x938 -x936 -x934 -x935 -x933 -x931 -x932 -x930 -x929 -x928 -x926 -x927 -x925 
3586.56/3600.09	v -x923 -x924 -x922 -x920 -x921 -x919 -x918 -x917 -x915 -x916 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 
3586.56/3600.09	v -x904 -x903 -x902 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x889 -x888 -x886 -x885 -x884 -x883 -x881 -x880 
3586.56/3600.09	v -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x703 -x702 -x701 -x700 -x699 -x698 x697 -x858 
3586.56/3600.09	v -x856 -x857 -x855 -x853 -x854 -x852 -x850 -x851 -x849 -x847 -x848 -x846 -x844 -x845 -x843 -x841 -x842 -x840 -x838 -x839 -x837 
3586.56/3600.09	v -x835 -x836 -x834 -x832 -x833 -x831 -x829 -x830 -x828 -x826 -x827 -x825 -x823 -x824 -x822 -x820 -x821 -x819 -x817 -x818 -x816 
3586.56/3600.09	v -x814 -x815 -x813 -x811 x812 -x810 -x808 -x809 -x807 -x805 -x806 -x804 -x802 -x803 -x801 -x799 -x800 -x798 -x796 -x797 -x795 
3586.56/3600.09	v -x793 -x794 -x792 -x791 -x790 -x788 -x789 -x787 -x785 -x786 -x784 -x782 -x783 -x781 -x779 -x780 x778 -x776 -x777 -x775 -x773 
3586.56/3600.09	v -x774 -x772 -x770 -x771 -x769 -x767 -x768 -x766 -x765 -x764 -x762 -x763 -x761 -x759 -x760 -x758 -x756 -x757 -x755 -x753 -x752 
3586.56/3600.09	v -x751 -x750 -x749 -x748 -x746 -x745 -x744 -x743 -x741 -x740 -x739 -x738 -x736 -x735 -x733 -x732 -x730 -x729 -x728 -x727 -x726 
3586.56/3600.09	v -x725 -x724 -x723 -x721 -x720 -x718 -x717 -x715 -x714 -x713 -x712 -x711 -x710 -x708 x707 -x706 -x705 -x704 -x539 -x538 -x537 
3586.56/3600.09	v -x536 -x535 -x534 x533 -x695 -x693 -x694 -x692 -x690 -x691 -x689 -x687 -x688 -x686 -x684 -x685 -x683 -x681 -x682 -x680 -x678 
3586.56/3600.09	v -x679 -x677 -x675 -x676 -x674 -x673 -x672 -x670 -x671 -x669 -x667 -x668 -x666 -x664 -x665 -x663 -x661 -x662 -x660 -x658 
3586.56/3600.09	v -x659 -x657 -x655 x656 -x654 -x652 -x653 -x651 -x649 -x650 -x648 -x646 -x647 -x645 -x643 -x644 -x642 -x640 -x641 -x639 -x637 
3586.56/3600.09	v -x638 -x636 -x634 -x635 -x633 -x631 -x632 x630 -x628 -x629 -x627 -x625 -x626 -x624 -x622 -x623 -x621 -x619 -x620 -x618 -x616 
3586.56/3600.09	v -x617 -x615 -x614 -x613 -x611 -x612 -x610 -x608 -x609 -x607 -x605 -x606 -x604 -x602 -x603 -x601 -x599 -x600 -x598 -x596 -x597 
3586.56/3600.09	v -x595 -x593 -x594 -x592 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x572 
3586.56/3600.09	v -x571 -x570 -x569 -x567 -x566 -x564 -x563 -x561 -x560 -x558 -x557 -x555 -x554 -x553 x552 -x551 -x550 -x548 -x547 -x545 -x544 
3586.56/3600.09	v -x543 -x542 -x540 -x370 -x369 -x368 -x367 -x366 x365 -x364 -x531 -x529 -x530 -x528 -x526 -x527 -x525 -x523 -x524 -x522 -x520 
3586.56/3600.09	v -x521 -x519 -x517 -x518 -x516 -x514 -x515 -x513 -x511 -x512 -x510 -x508 -x509 -x507 -x505 -x506 -x504 -x502 -x503 -x501 -x499 
3586.56/3600.09	v -x500 -x498 -x496 -x497 -x495 -x493 -x494 -x492 -x490 -x491 -x489 -x487 -x488 -x486 -x484 -x485 -x483 -x481 -x482 x480 -x478 
3586.56/3600.09	v -x479 -x477 -x475 -x476 -x474 -x472 -x473 -x471 -x469 -x470 -x468 -x466 -x467 -x465 -x463 -x464 -x462 -x460 x461 -x459 -x457 
3586.56/3600.09	v -x458 -x456 -x454 -x455 -x453 -x452 -x451 -x449 -x450 -x448 -x446 -x447 -x445 -x443 -x444 -x442 -x440 -x441 -x439 -x437 -x438 
3586.56/3600.09	v -x436 -x434 -x435 -x433 -x431 -x432 -x430 -x428 -x429 -x427 -x426 -x425 -x423 -x422 -x420 -x419 -x417 -x416 -x414 -x413 -x411 
3586.56/3600.09	v -x410 -x409 -x408 -x406 -x405 -x403 -x402 -x400 -x399 -x397 -x396 -x394 -x393 -x391 -x390 -x388 x387 -x386 -x385 -x384 -x383 
3586.56/3600.09	v -x381 -x380 -x378 -x377 -x375 -x374 -x373 -x372 -x371 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x362 -x360 -x361 -x359 -x357 -x358 
3586.56/3600.09	v -x356 -x354 -x355 -x353 -x351 -x352 -x350 -x348 -x349 -x347 -x345 -x346 -x344 -x342 -x343 -x341 -x339 -x340 -x338 -x336 -x337 
3586.56/3600.09	v -x335 -x333 -x334 -x332 -x330 -x331 -x329 -x327 -x328 -x326 -x324 -x325 -x323 -x321 -x322 -x320 -x318 -x319 -x317 -x315 -x316 
3586.56/3600.09	v -x314 -x312 -x313 -x311 -x309 -x310 -x308 -x306 -x307 -x305 -x303 -x304 -x302 -x300 -x301 -x299 -x297 -x298 -x296 -x294 -x295 
3586.56/3600.09	v -x293 -x291 -x292 -x290 -x288 -x289 -x287 -x285 -x286 -x284 -x282 -x283 -x281 -x279 -x280 -x278 -x276 -x277 -x275 -x273 -x274 
3586.56/3600.09	v -x272 -x270 -x271 -x269 -x267 -x268 -x266 -x264 -x265 -x263 -x261 -x262 -x260 -x258 x259 -x257 -x255 -x256 -x254 -x252 -x253 
3586.56/3600.09	v -x251 -x249 -x250 x248 -x246 -x247 -x245 -x243 -x244 -x242 -x240 -x241 -x239 -x237 -x238 -x236 -x234 -x235 -x233 -x231 -x232 
3586.56/3600.09	v -x230 -x228 -x229 -x227 -x225 -x226 -x224 -x222 -x223 -x221 -x219 -x220 -x218 -x216 -x217 -x215 -x213 -x214 -x212 -x210 
3586.56/3600.09	v -x211 -x209 -x207 -x208 -x206 -x204 -x205 -x203 -x201 -x202 -x200 -x198 -x199 -x197 -x195 -x196 -x194 -x192 -x193 -x191 -x189 
3586.56/3600.09	v -x190 -x188 -x186 -x187 -x185 -x183 -x184 -x182 -x180 -x181 -x179 -x177 -x178 -x176 -x174 -x175 -x173 -x171 -x172 -x170 -x168 
3586.56/3600.09	v -x169 -x167 -x165 -x166 -x164 -x162 -x163 -x161 -x159 -x160 -x158 -x156 -x157 -x155 -x154 -x153 -x151 -x152 -x150 -x148 -x149 
3586.56/3600.09	v -x147 -x145 -x146 -x144 -x142 -x143 -x141 -x139 -x140 -x138 -x136 -x137 -x135 -x133 -x134 -x132 -x130 -x131 -x129 -x127 -x128 
3586.56/3600.09	v -x126 -x124 -x125 -x123 -x121 -x122 -x120 -x118 -x119 -x117 -x115 -x116 -x114 -x112 -x113 -x111 -x109 -x110 -x108 -x106 -x107 
3586.56/3600.09	v -x105 -x103 -x104 -x102 -x100 -x101 -x99 -x97 -x98 -x96 -x94 -x95 -x93 -x91 -x92 -x90 -x88 -x87 -x85 -x84 -x82 -x81 -x79 
3586.56/3600.09	v x78 -x76 -x75 -x73 -x72 -x70 -x69 -x67 -x66 -x64 -x63 -x61 -x60 -x58 -x57 -x55 -x54 -x52 -x51 -x49 -x48 -x47 -x46 -x44 -x43 
3586.56/3600.09	v -x41 -x40 -x38 -x37 -x35 -x34 -x33 -x32 -x31 -x30 -x28 -x27 -x25 -x24 -x22 -x21 -x19 -x18 -x16 -x15 -x13 -x12 -x10 -x6072 -x6070 
3586.56/3600.09	v -x6068 -x6063 -x6061 -x6056 -x6054 -x6049 -x6047 -x6042 -x6040 -x6035 -x6030 -x6025 -x6023 -x6018 -x6016 -x6011 -x6009 -x6004 
3586.56/3600.09	v -x6002 -x5997 -x5995 -x5990 -x5988 -x5983 -x5981 -x5976 -x5974 -x5969 -x5967 -x5962 -x5960 -x5955 -x5950 -x5948 -x5943 -x5941 
3586.56/3600.09	v -x5936 -x5931 -x5929 -x5924 -x5922 -x5917 -x5915 -x5910 -x5908 -x5903 -x5901 -x5896 -x5894 -x5889 -x5884 -x5882 -x5877 
3586.56/3600.09	v -x5875 -x5870 -x5868 -x5863 -x5858 -x5856 -x5851 -x5839 -x5827 -x5815 -x5803 -x5791 -x5779 -x901 -x5767 -x5755 -x5743 -x5731 
3586.56/3600.09	v -x5719 -x890 -x5707 -x887 -x5695 -x5683 -x882 -x5671 -x5659 -x5647 -x5635 -x5623 -x5611 -x5599 x5572 -x5545 -x5518 -x5491 -x5464 
3586.56/3600.09	v -x5437 -x5410 -x5405 -x5403 -x5398 -x5396 -x5391 -x5389 -x5384 -x5382 -x5377 -x5375 -x5370 -x5368 -x5363 -x5361 -x5356 -x5354 
3586.56/3600.09	v -x5349 -x5347 -x5342 -x5340 -x5335 -x5333 -x5328 -x5326 -x5321 -x5319 -x5314 -x5312 -x5307 -x5305 -x5300 x5298 -x5293 -x5291 
3586.56/3600.09	v -x5286 -x5284 -x5279 -x5277 -x5272 -x5270 -x5265 -x5263 -x5258 -x5256 -x5251 -x5246 -x5244 -x5239 -x5237 -x5232 -x5230 -x5225 
3586.56/3600.09	v -x5223 x5218 -x5216 -x5211 -x5209 -x5204 -x5202 -x5197 -x5195 -x5190 -x5185 -x5183 -x5178 -x5176 -x5171 -x5169 -x5157 -x754 
3586.56/3600.09	v -x5145 -x5133 -x5121 -x747 -x5109 -x5097 x742 -x5085 -x5073 -x737 -x5061 -x734 -x5049 -x731 -x5037 -x5025 -x5013 -x5001 
3586.56/3600.09	v -x722 -x4989 -x719 -x4977 -x716 -x4965 -x4953 -x4941 -x709 x4929 -x4917 -x4890 -x4863 -x4836 -x4809 -x4782 -x4755 x4728 -x4723 
3586.56/3600.09	v -x4721 -x4716 -x4714 -x4709 -x4707 -x4702 -x4700 -x4695 -x4693 -x4688 -x4686 -x4681 -x4679 -x4674 -x4669 -x4667 -x4662 -x4660 
3586.56/3600.09	v -x4655 -x4653 -x4648 -x4646 -x4641 -x4639 -x4634 x4632 -x4627 -x4625 -x4620 -x4618 -x4613 -x4611 -x4606 -x4604 -x4599 -x4597 
3586.56/3600.09	v -x4592 -x4590 -x4585 -x4583 -x4578 -x4576 x4571 -x4569 -x4564 -x4562 -x4557 -x4555 -x4550 -x4548 -x4543 -x4541 -x4536 -x4531 
3586.56/3600.09	v -x4529 -x4524 -x4522 -x4517 -x4515 -x4510 -x4508 -x4503 -x4501 -x4496 -x4494 -x4489 -x4487 -x4475 -x591 -x4463 -x4451 -x4439 
3586.56/3600.09	v -x4427 x582 -x4415 -x4403 -x4391 -x4379 -x573 -x4367 -x4355 -x568 -x4343 -x565 -x4331 -x562 -x4319 -x559 -x4307 -x556 -x4295 
3586.56/3600.09	v x4283 -x4271 -x549 -x4259 -x546 -x4247 -x4235 -x541 -x4208 -x4181 -x4154 -x4127 -x4100 -x4073 x4046 -x4041 -x4039 -x4034 -x4032 
3586.56/3600.09	v -x4027 -x4025 -x4020 -x4018 -x4013 -x4011 -x4006 -x4004 -x3999 -x3997 -x3992 -x3990 -x3985 -x3983 -x3978 -x3976 -x3971 
3586.56/3600.09	v -x3969 -x3964 -x3962 -x3957 -x3955 -x3950 -x3948 -x3943 -x3941 -x3936 -x3934 -x3929 -x3927 x3922 -x3920 -x3915 -x3913 -x3908 
3586.56/3600.09	v -x3906 -x3901 -x3899 -x3894 -x3892 -x3887 -x3885 -x3880 x3878 -x3873 -x3871 -x3866 -x3864 -x3859 -x3854 -x3852 -x3847 -x3845 
3586.56/3600.09	v -x3840 -x3838 -x3833 -x3831 -x3826 -x3824 -x3819 -x3817 -x3812 -x3810 -x3805 -x3803 -x3791 -x3779 -x424 -x3767 -x421 -x3755 x418 
3586.56/3600.09	v -x3743 -x415 -x3731 -x412 -x3719 -x3707 -x407 -x3695 -x404 -x3683 -x401 -x3671 -x398 -x3659 -x395 -x3647 -x392 -x3635 -x389 
3586.56/3600.09	v x3623 -x3611 -x3599 -x382 -x3587 -x379 -x3575 -x376 -x3563 -x3551 -x3524 -x3497 -x3470 -x3443 -x3416 x3389 -x3362 -x3357 -x3352 
3586.56/3600.09	v -x3347 -x3342 -x3337 -x3332 -x3327 -x3322 -x3317 -x3312 -x3307 -x3302 -x3297 -x3292 -x3287 -x3282 -x3277 -x3272 -x3267 
3586.56/3600.09	v -x3262 -x3257 -x3252 -x3247 -x3242 -x3237 -x3232 -x3227 -x3222 -x3217 -x3212 -x3207 -x3202 -x3197 -x3192 -x3187 -x3182 -x3177 
3586.56/3600.09	v -x3172 -x3167 -x3162 -x3157 -x3152 -x3147 -x3142 -x3137 -x3132 -x3127 -x3122 -x3117 -x3112 -x3107 -x3102 -x3097 -x3092 -x3087 
3586.67/3600.13	v -x3082 -x3077 -x3072 -x3067 -x3062 -x3057 -x3052 -x3047 -x3042 -x3037 -x3032 -x3027 -x3022 -x3017 x3012 -x3000 -x2998 -x2986 
3586.67/3600.13	v -x2984 -x2972 -x2970 x2958 -x2956 -x2944 -x2942 -x2930 -x2928 -x2916 -x2914 -x2902 -x2900 -x2888 -x2886 -x2874 -x2872 -x2860 
3586.67/3600.13	v -x2858 -x2846 -x2844 -x2832 -x2830 -x2818 -x2816 -x2804 -x2802 -x2790 -x2788 -x2776 -x2774 -x2762 -x2760 -x2748 -x2746 -x2734 
3586.67/3600.13	v -x2732 -x2720 -x2718 -x2706 -x2704 -x2692 -x2690 -x2678 -x2676 -x2664 -x2662 -x2650 -x2648 -x2636 -x2634 -x2622 -x2620 -x2608 
3586.67/3600.13	v -x2606 -x2594 -x2592 -x2580 -x2578 -x2566 -x2564 -x2552 -x2550 -x2538 -x2536 -x2524 -x2512 -x2510 -x2498 -x2496 -x2484 -x2482 
3586.67/3600.13	v -x2470 -x2468 -x2456 -x2454 -x2442 -x2440 -x2428 -x2426 -x2414 -x2412 -x2400 -x2398 -x2386 -x2384 -x2372 -x2370 -x2358 -x2356 
3586.67/3600.13	v -x2344 -x2342 -x2330 -x2328 -x2316 -x2314 -x2302 -x2300 -x2288 -x2286 -x2274 -x2272 -x2260 -x2258 -x2246 -x2244 -x2232 
3586.67/3600.13	v -x2230 -x2203 -x89 -x2176 -x86 -x2149 -x83 -x2122 -x80 x2095 -x77 -x2068 -x74 -x2041 -x71 -x2014 -x68 -x1987 -x65 -x1960 -x62 
3586.67/3600.13	v -x1933 -x59 -x1906 -x56 -x1879 -x53 -x1852 -x50 -x1825 -x1798 -x45 -x1771 -x42 -x1744 -x39 -x1717 -x36 -x1690 -x1663 -x1636 
3586.67/3600.13	v -x29 -x1609 -x26 -x1582 -x23 -x1555 -x20 -x1528 -x17 -x1501 -x14 -x1474 x11 -x1416 -x1358 -x1300 x1242 -x1184 -x1126 -x1068 -x1010 
3586.67/3600.13	v x859 x696 x532 x363 x1

Verifier Data 

OK	26

Watcher Data 

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

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

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=832908, runsolver pid=832905

[startup+0.100101 s]*
/proc/loadavg: 3.90 4.07 4.12 5/241 832924
/proc/meminfo: memFree=126483156/131655788 swapFree=131071996/131071996
[pid=832908] ppid=832905 vsize=65880 memory=54156 CPUtime=0.1 cores=0,2
/proc/832908/stat : 832908 (fscip) R 832905 832908 832856 0 -1 4194304 11188 0 0 0 8 2 0 0 20 0 1 0 163715400 67461120 13539 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
/proc/832908/statm: 16470 13539 2606 3032 0 12870 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 65880 KiB
Current children cumulated memory: 54156 KiB

[startup+0.213756 s]*
/proc/loadavg: 3.90 4.07 4.12 4/237 832924
/proc/meminfo: memFree=126461896/131655788 swapFree=131071996/131071996
[pid=832908] ppid=832905 vsize=82556 memory=71156 CPUtime=0.22 cores=0,2
/proc/832908/stat : 832908 (fscip) R 832905 832908 832856 0 -1 4194304 16726 0 0 0 18 4 0 0 20 0 1 0 163715400 84537344 17789 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
/proc/832908/statm: 20639 17789 2654 3032 0 17039 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 82556 KiB
Current children cumulated memory: 71156 KiB

[startup+0.313421 s]*
/proc/loadavg: 3.90 4.07 4.12 5/241 832938
/proc/meminfo: memFree=126428028/131655788 swapFree=131071996/131071996
[pid=832908] ppid=832905 vsize=75740 memory=63836 CPUtime=0.31 cores=0,2
/proc/832908/stat : 832908 (fscip) R 832905 832908 832856 0 -1 4194304 17728 0 0 0 27 4 0 0 20 0 1 0 163715400 77557760 15959 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
/proc/832908/statm: 18935 15959 2702 3032 0 15335 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 75740 KiB
Current children cumulated memory: 63836 KiB

[startup+0.700333 s]
/proc/loadavg: 3.90 4.07 4.12 6/240 832949
/proc/meminfo: memFree=126286416/131655788 swapFree=131071996/131071996
[pid=832908] ppid=832905 vsize=186692 memory=96628 CPUtime=0.68 cores=0,2
/proc/832908/stat : 832908 (fscip) R 832905 832908 832856 0 -1 4194304 25312 0 0 0 62 6 0 0 20 0 2 0 163715400 191172608 24157 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
/proc/832908/statm: 46673 24157 2798 3032 0 26721 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 186692 KiB
Current children cumulated memory: 96628 KiB

[startup+1.50044 s]
/proc/loadavg: 3.90 4.07 4.12 5/247 832982
/proc/meminfo: memFree=125969752/131655788 swapFree=131071996/131071996
[pid=832908] ppid=832905 vsize=252524 memory=154776 CPUtime=1.48 cores=0,2
/proc/832908/stat : 832908 (fscip) S 832905 832908 832856 0 -1 1077936128 41971 0 0 0 136 12 0 0 20 0 3 0 163715400 258584576 38694 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
/proc/832908/statm: 63131 38694 2846 3032 0 43868 0
[pid=832908/tid=832971] ppid=832905 vsize=252524 memory=11404 CPUtime=0.77 cores=0,2
/proc/832908/task/832971/stat : 832971 (fscip) R 832905 832908 832856 0 -1 4194368 16447 0 0 0 72 5 0 0 20 0 3 0 163715468 258584576 38694 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
[pid=832908/tid=832972] ppid=832905 vsize=252524 memory=41484 CPUtime=0 cores=0,2
/proc/832908/task/832972/stat : 832972 (fscip) S 832905 832908 832856 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 163715475 258584576 38694 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 252524 KiB
Current children cumulated memory: 154776 KiB

[startup+3.11372 s]
/proc/loadavg: 3.90 4.07 4.12 5/249 832984
/proc/meminfo: memFree=124789404/131655788 swapFree=131071996/131071996
[pid=832908] ppid=832905 vsize=318060 memory=224924 CPUtime=3.08 cores=0,2
/proc/832908/stat : 832908 (fscip) S 832905 832908 832856 0 -1 1077936128 69968 0 0 0 291 17 0 0 20 0 3 0 163715400 325693440 56231 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
/proc/832908/statm: 79515 56231 2942 3032 0 62096 0
[pid=832908/tid=832971] ppid=832905 vsize=318060 memory=121556 CPUtime=2.38 cores=0,2
/proc/832908/task/832971/stat : 832971 (fscip) R 832905 832908 832856 0 -1 4194368 44437 0 0 0 228 10 0 0 20 0 3 0 163715468 325693440 56231 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
[pid=832908/tid=832972] ppid=832905 vsize=318060 memory=11404 CPUtime=0 cores=0,2
/proc/832908/task/832972/stat : 832972 (fscip) S 832905 832908 832856 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 163715475 325693440 56231 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 318060 KiB
Current children cumulated memory: 224924 KiB

[startup+6.30038 s]
/proc/loadavg: 3.91 4.07 4.12 5/251 833084
/proc/meminfo: memFree=123645788/131655788 swapFree=131071996/131071996
[pid=832908] ppid=832905 vsize=318060 memory=254296 CPUtime=6.25 cores=0,2
/proc/832908/stat : 832908 (fscip) S 832905 832908 832856 0 -1 1077936128 101343 0 0 0 606 19 0 0 20 0 3 0 163715400 325693440 63574 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
/proc/832908/statm: 79515 63574 2942 3032 0 70200 0
[pid=832908/tid=832971] ppid=832905 vsize=318060 memory=11404 CPUtime=5.55 cores=0,2
/proc/832908/task/832971/stat : 832971 (fscip) R 832905 832908 832856 0 -1 4194368 75810 0 0 0 542 13 0 0 20 0 3 0 163715468 325693440 63574 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
[pid=832908/tid=832972] ppid=832905 vsize=318060 memory=244976 CPUtime=0 cores=0,2
/proc/832908/task/832972/stat : 832972 (fscip) S 832905 832908 832856 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 163715475 325693440 63574 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 318060 KiB
Current children cumulated memory: 254296 KiB

[startup+12.7004 s]
/proc/loadavg: 3.91 4.07 4.12 5/249 833132
/proc/meminfo: memFree=123419948/131655788 swapFree=131071996/131071996
[pid=832908] ppid=832905 vsize=318060 memory=262092 CPUtime=12.63 cores=0,2
/proc/832908/stat : 832908 (fscip) S 832905 832908 832856 0 -1 1077936128 153782 0 0 0 1240 23 0 0 20 0 3 0 163715400 325693440 65523 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
/proc/832908/statm: 79515 65523 2942 3032 0 74734 0
[pid=832908/tid=832971] ppid=832905 vsize=318060 memory=1369088 CPUtime=11.92 cores=0,2
/proc/832908/task/832971/stat : 832971 (fscip) R 832905 832908 832856 0 -1 4194368 128242 0 0 0 1176 16 0 0 20 0 3 0 163715468 325693440 65523 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
[pid=832908/tid=832972] ppid=832905 vsize=318060 memory=-6728776327499004775 CPUtime=0 cores=0,2
/proc/832908/task/832972/stat : 832972 (fscip) S 832905 832908 832856 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 163715475 325693440 65523 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 318060 KiB
Current children cumulated memory: 262092 KiB

[startup+25.5004 s]
/proc/loadavg: 3.94 4.07 4.12 5/249 833373
/proc/meminfo: memFree=118515636/131655788 swapFree=131071996/131071996
[pid=832908] ppid=832905 vsize=383596 memory=314532 CPUtime=25.39 cores=0,2
/proc/832908/stat : 832908 (fscip) S 832905 832908 832856 0 -1 1077936128 189772 0 0 0 2512 27 0 0 20 0 3 0 163715400 392802304 78633 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
/proc/832908/statm: 95899 78633 2990 3032 0 87852 0
[pid=832908/tid=832971] ppid=832905 vsize=383596 memory=311780 CPUtime=24.68 cores=0,2
/proc/832908/task/832971/stat : 832971 (fscip) R 832905 832908 832856 0 -1 4194368 163362 0 0 0 2448 20 0 0 20 0 3 0 163715468 392802304 78633 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
[pid=832908/tid=832972] ppid=832905 vsize=383596 memory=310728 CPUtime=0 cores=0,2
/proc/832908/task/832972/stat : 832972 (fscip) S 832905 832908 832856 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 163715475 392802304 78633 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 383596 KiB
Current children cumulated memory: 314532 KiB

[startup+51.1125 s]
/proc/loadavg: 4.02 4.08 4.12 5/251 833378
/proc/meminfo: memFree=109525692/131655788 swapFree=131071996/131071996
[pid=832908] ppid=832905 vsize=383596 memory=314720 CPUtime=50.9 cores=0,2
/proc/832908/stat : 832908 (fscip) S 832905 832908 832856 0 -1 1077936128 224099 0 0 0 5061 29 0 0 20 0 3 0 163715400 392802304 78680 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
/proc/832908/statm: 95899 78680 2990 3032 0 87852 0
[pid=832908/tid=832971] ppid=832905 vsize=383596 memory=314664 CPUtime=50.2 cores=0,2
/proc/832908/task/832971/stat : 832971 (fscip) R 832905 832908 832856 0 -1 4194368 197604 0 0 0 4998 22 0 0 20 0 3 0 163715468 392802304 78680 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
[pid=832908/tid=832972] ppid=832905 vsize=383596 memory=314660 CPUtime=0 cores=0,2
/proc/832908/task/832972/stat : 832972 (fscip) S 832905 832908 832856 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 163715475 392802304 78680 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 383596 KiB
Current children cumulated memory: 314720 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.11 5/258 833447
/proc/meminfo: memFree=124931944/131655788 swapFree=131071996/131071996
[pid=832908] ppid=832905 vsize=383596 memory=314876 CPUtime=101.91 cores=0,2
/proc/832908/stat : 832908 (fscip) S 832905 832908 832856 0 -1 1077936128 270952 0 0 0 10159 32 0 0 20 0 3 0 163715400 392802304 78719 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
/proc/832908/statm: 95899 78719 2990 3032 0 87852 0
[pid=832908/tid=832971] ppid=832905 vsize=383596 memory=41484 CPUtime=101.2 cores=0,2
/proc/832908/task/832971/stat : 832971 (fscip) R 832905 832908 832856 0 -1 4194368 244347 0 0 0 10095 25 0 0 20 0 3 0 163715468 392802304 78719 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
[pid=832908/tid=832972] ppid=832905 vsize=383596 memory=6720668739995647337 CPUtime=0 cores=0,2
/proc/832908/task/832972/stat : 832972 (fscip) S 832905 832908 832856 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 163715475 392802304 78719 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 383596 KiB
Current children cumulated memory: 314876 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.11 5/258 833458
/proc/meminfo: memFree=124842924/131655788 swapFree=131071996/131071996
[pid=832908] ppid=832905 vsize=383596 memory=314900 CPUtime=161.68 cores=0,2
/proc/832908/stat : 832908 (fscip) S 832905 832908 832856 0 -1 1077936128 305773 0 0 0 16133 35 0 0 20 0 3 0 163715400 392802304 78725 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
/proc/832908/statm: 95899 78725 2990 3032 0 87852 0
[pid=832908/tid=832971] ppid=832905 vsize=383596 memory=314896 CPUtime=160.96 cores=0,2
/proc/832908/task/832971/stat : 832971 (fscip) R 832905 832908 832856 0 -1 4194368 279096 0 0 0 16069 27 0 0 20 0 3 0 163715468 392802304 78725 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
[pid=832908/tid=832972] ppid=832905 vsize=383596 memory=314900 CPUtime=0 cores=0,2
/proc/832908/task/832972/stat : 832972 (fscip) S 832905 832908 832856 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 163715475 392802304 78725 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 383596 KiB
Current children cumulated memory: 314900 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.11 5/258 833468
/proc/meminfo: memFree=124818104/131655788 swapFree=131071996/131071996
[pid=832908] ppid=832905 vsize=383596 memory=317600 CPUtime=221.45 cores=0,2
/proc/832908/stat : 832908 (fscip) S 832905 832908 832856 0 -1 1077936128 328601 0 0 0 22109 36 0 0 20 0 3 0 163715400 392802304 79400 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
/proc/832908/statm: 95899 79400 2990 3032 0 87852 0
[pid=832908/tid=832971] ppid=832905 vsize=383596 memory=11404 CPUtime=220.73 cores=0,2
/proc/832908/task/832971/stat : 832971 (fscip) R 832905 832908 832856 0 -1 4194368 301880 0 0 0 22045 28 0 0 20 0 3 0 163715468 392802304 79400 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
[pid=832908/tid=832972] ppid=832905 vsize=383596 memory=317584 CPUtime=0 cores=0,2
/proc/832908/task/832972/stat : 832972 (fscip) S 832905 832908 832856 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 163715475 392802304 79400 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 383596 KiB
Current children cumulated memory: 317600 KiB


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

[pid=832908] ppid=832905 vsize=584616 memory=543272 CPUtime=3449.38 cores=0,2
/proc/832908/stat : 832908 (fscip) S 832905 832908 832856 0 -1 1077936128 531800 0 0 0 344881 57 0 0 20 0 3 0 163715400 598646784 135818 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
/proc/832908/statm: 146154 135818 2990 3032 0 138718 0
[pid=832908/tid=832971] ppid=832905 vsize=584616 memory=11404 CPUtime=3448.57 cores=0,2
/proc/832908/task/832971/stat : 832971 (fscip) R 832905 832908 832856 0 -1 4194368 503799 0 0 0 344813 44 0 0 20 0 3 0 163715468 598646784 135818 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
[pid=832908/tid=832972] ppid=832905 vsize=584616 memory=41484 CPUtime=0.05 cores=0,2
/proc/832908/task/832972/stat : 832972 (fscip) S 832905 832908 832856 0 -1 1077936192 318 0 0 0 2 3 0 0 20 0 3 0 163715475 598646784 135818 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
Current children cumulated CPU time: 3449.38 s
Current children cumulated vsize: 584616 KiB
Current children cumulated memory: 543272 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.36 4.28 5/250 835287
/proc/meminfo: memFree=123969572/131655788 swapFree=131071996/131071996
[pid=832908] ppid=832905 vsize=584616 memory=543272 CPUtime=3509.15 cores=0,2
/proc/832908/stat : 832908 (fscip) S 832905 832908 832856 0 -1 1077936128 532563 0 0 0 350858 57 0 0 20 0 3 0 163715400 598646784 135818 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
/proc/832908/statm: 146154 135818 2990 3032 0 139459 0
[pid=832908/tid=832971] ppid=832905 vsize=584616 memory=543272 CPUtime=3508.33 cores=0,2
/proc/832908/task/832971/stat : 832971 (fscip) R 832905 832908 832856 0 -1 4194368 504556 0 0 0 350789 44 0 0 20 0 3 0 163715468 598646784 135818 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
[pid=832908/tid=832972] ppid=832905 vsize=584616 memory=543272 CPUtime=0.05 cores=0,2
/proc/832908/task/832972/stat : 832972 (fscip) S 832905 832908 832856 0 -1 1077936192 323 0 0 0 2 3 0 0 20 0 3 0 163715475 598646784 135818 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
Current children cumulated CPU time: 3509.15 s
Current children cumulated vsize: 584616 KiB
Current children cumulated memory: 543272 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.32 4.27 5/250 835297
/proc/meminfo: memFree=123944272/131655788 swapFree=131071996/131071996
[pid=832908] ppid=832905 vsize=584616 memory=544584 CPUtime=3568.92 cores=0,2
/proc/832908/stat : 832908 (fscip) S 832905 832908 832856 0 -1 1077936128 534360 0 0 0 356835 57 0 0 20 0 3 0 163715400 598646784 136146 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
/proc/832908/statm: 146154 136146 2990 3032 0 139862 0
[pid=832908/tid=832971] ppid=832905 vsize=584616 memory=543848 CPUtime=3568.1 cores=0,2
/proc/832908/task/832971/stat : 832971 (fscip) R 832905 832908 832856 0 -1 4194368 506317 0 0 0 356765 45 0 0 20 0 3 0 163715468 598646784 136146 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
[pid=832908/tid=832972] ppid=832905 vsize=584616 memory=544428 CPUtime=0.05 cores=0,2
/proc/832908/task/832972/stat : 832972 (fscip) S 832905 832908 832856 0 -1 1077936192 329 0 0 0 2 3 0 0 20 0 3 0 163715475 598646784 136146 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
Current children cumulated CPU time: 3568.92 s
Current children cumulated vsize: 584616 KiB
Current children cumulated memory: 544584 KiB

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

# cumulated CPU time of all completed processes:  user=3586.11 s, system=0.588407 s

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

[startup+3584 s]*
/proc/loadavg: 4.18 4.32 4.27 5/250 835299
/proc/meminfo: memFree=123944316/131655788 swapFree=131071996/131071996
[pid=832908] ppid=832905 vsize=584616 memory=544628 CPUtime=3570.62 cores=0,2
/proc/832908/stat : 832908 (fscip) S 832905 832908 832856 0 -1 1077936128 534641 0 0 0 357005 57 0 0 20 0 3 0 163715400 598646784 136157 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
/proc/832908/statm: 146154 136157 2990 3032 0 139862 0
[pid=832908/tid=832971] ppid=832905 vsize=584616 memory=544584 CPUtime=3569.81 cores=0,2
/proc/832908/task/832971/stat : 832971 (fscip) R 832905 832908 832856 0 -1 4194368 506595 0 0 0 356936 45 0 0 20 0 3 0 163715468 598646784 136157 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
[pid=832908/tid=832972] ppid=832905 vsize=584616 memory=7825457936960100255 CPUtime=0.05 cores=0,2
/proc/832908/task/832972/stat : 832972 (fscip) S 832905 832908 832856 0 -1 1077936192 332 0 0 0 2 3 0 0 20 0 3 0 163715475 598646784 136157 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
Current children cumulated CPU time: 3570.62 s
Current children cumulated vsize: 584616 KiB
Current children cumulated memory: 544628 KiB

[startup+3590.4 s]
/proc/loadavg: 4.15 4.31 4.26 5/250 835299
/proc/meminfo: memFree=123943196/131655788 swapFree=131071996/131071996
[pid=832908] ppid=832905 vsize=584616 memory=544628 CPUtime=3576.99 cores=0,2
/proc/832908/stat : 832908 (fscip) S 832905 832908 832856 0 -1 1077936128 534700 0 0 0 357642 57 0 0 20 0 3 0 163715400 598646784 136157 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
/proc/832908/statm: 146154 136157 2990 3032 0 139862 0
[pid=832908/tid=832971] ppid=832905 vsize=584616 memory=6720665428659682672 CPUtime=3576.17 cores=0,2
/proc/832908/task/832971/stat : 832971 (fscip) R 832905 832908 832856 0 -1 4194368 506654 0 0 0 357572 45 0 0 20 0 3 0 163715468 598646784 136157 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
[pid=832908/tid=832972] ppid=832905 vsize=584616 memory=511 CPUtime=0.05 cores=0,2
/proc/832908/task/832972/stat : 832972 (fscip) S 832905 832908 832856 0 -1 1077936192 332 0 0 0 2 3 0 0 20 0 3 0 163715475 598646784 136157 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
Current children cumulated CPU time: 3576.99 s
Current children cumulated vsize: 584616 KiB
Current children cumulated memory: 544628 KiB

[startup+3596.8 s]
/proc/loadavg: 4.14 4.31 4.26 5/250 835300
/proc/meminfo: memFree=123942748/131655788 swapFree=131071996/131071996
[pid=832908] ppid=832905 vsize=584616 memory=544628 CPUtime=3583.36 cores=0,2
/proc/832908/stat : 832908 (fscip) S 832905 832908 832856 0 -1 1077936128 534743 0 0 0 358279 57 0 0 20 0 3 0 163715400 598646784 136157 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
/proc/832908/statm: 146154 136157 2990 3032 0 139862 0
[pid=832908/tid=832971] ppid=832905 vsize=584616 memory=544628 CPUtime=3582.55 cores=0,2
/proc/832908/task/832971/stat : 832971 (fscip) R 832905 832908 832856 0 -1 4194368 506697 0 0 0 358210 45 0 0 20 0 3 0 163715468 598646784 136157 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
[pid=832908/tid=832972] ppid=832905 vsize=584616 memory=281208957988880 CPUtime=0.05 cores=0,2
/proc/832908/task/832972/stat : 832972 (fscip) S 832905 832908 832856 0 -1 1077936192 332 0 0 0 2 3 0 0 20 0 3 0 163715475 598646784 136157 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
Current children cumulated CPU time: 3583.36 s
Current children cumulated vsize: 584616 KiB
Current children cumulated memory: 544628 KiB

[startup+3598.4 s]
/proc/loadavg: 4.14 4.31 4.26 5/250 835300
/proc/meminfo: memFree=123942748/131655788 swapFree=131071996/131071996
[pid=832908] ppid=832905 vsize=584616 memory=544628 CPUtime=3584.95 cores=0,2
/proc/832908/stat : 832908 (fscip) S 832905 832908 832856 0 -1 1077936128 534743 0 0 0 358438 57 0 0 20 0 3 0 163715400 598646784 136157 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
/proc/832908/statm: 146154 136157 2990 3032 0 139862 0
[pid=832908/tid=832971] ppid=832905 vsize=584616 memory=25884 CPUtime=3584.14 cores=0,2
/proc/832908/task/832971/stat : 832971 (fscip) R 832905 832908 832856 0 -1 4194368 506697 0 0 0 358369 45 0 0 20 0 3 0 163715468 598646784 136157 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
[pid=832908/tid=832972] ppid=832905 vsize=584616 memory=11404 CPUtime=0.05 cores=0,2
/proc/832908/task/832972/stat : 832972 (fscip) S 832905 832908 832856 0 -1 1077936192 332 0 0 0 2 3 0 0 20 0 3 0 163715475 598646784 136157 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
Current children cumulated CPU time: 3584.95 s
Current children cumulated vsize: 584616 KiB
Current children cumulated memory: 544628 KiB

[startup+3599.2 s]
/proc/loadavg: 4.14 4.31 4.26 5/250 835300
/proc/meminfo: memFree=123942748/131655788 swapFree=131071996/131071996
[pid=832908] ppid=832905 vsize=584616 memory=544628 CPUtime=3585.75 cores=0,2
/proc/832908/stat : 832908 (fscip) S 832905 832908 832856 0 -1 1077936128 534743 0 0 0 358518 57 0 0 20 0 3 0 163715400 598646784 136157 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
/proc/832908/statm: 146154 136157 2990 3032 0 139862 0
[pid=832908/tid=832971] ppid=832905 vsize=584616 memory=12556 CPUtime=3584.94 cores=0,2
/proc/832908/task/832971/stat : 832971 (fscip) R 832905 832908 832856 0 -1 4194368 506697 0 0 0 358449 45 0 0 20 0 3 0 163715468 598646784 136157 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
[pid=832908/tid=832972] ppid=832905 vsize=584616 memory=12556 CPUtime=0.05 cores=0,2
/proc/832908/task/832972/stat : 832972 (fscip) S 832905 832908 832856 0 -1 1077936192 332 0 0 0 2 3 0 0 20 0 3 0 163715475 598646784 136157 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
Current children cumulated CPU time: 3585.75 s
Current children cumulated vsize: 584616 KiB
Current children cumulated memory: 544628 KiB

[startup+3599.6 s]
/proc/loadavg: 4.14 4.31 4.26 5/250 835300
/proc/meminfo: memFree=123942748/131655788 swapFree=131071996/131071996
[pid=832908] ppid=832905 vsize=584616 memory=544628 CPUtime=3586.15 cores=0,2
/proc/832908/stat : 832908 (fscip) S 832905 832908 832856 0 -1 1077936128 534743 0 0 0 358558 57 0 0 20 0 3 0 163715400 598646784 136157 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
/proc/832908/statm: 146154 136157 2990 3032 0 139862 0
[pid=832908/tid=832971] ppid=832905 vsize=584616 memory=1900 CPUtime=3585.34 cores=0,2
/proc/832908/task/832971/stat : 832971 (fscip) R 832905 832908 832856 0 -1 4194368 506697 0 0 0 358489 45 0 0 20 0 3 0 163715468 598646784 136157 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
[pid=832908/tid=832972] ppid=832905 vsize=584616 memory=39816 CPUtime=0.05 cores=0,2
/proc/832908/task/832972/stat : 832972 (fscip) S 832905 832908 832856 0 -1 1077936192 332 0 0 0 2 3 0 0 20 0 3 0 163715475 598646784 136157 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
Current children cumulated CPU time: 3586.15 s
Current children cumulated vsize: 584616 KiB
Current children cumulated memory: 544628 KiB

[startup+3600 s]*
/proc/loadavg: 4.13 4.30 4.26 5/250 835300
/proc/meminfo: memFree=123942748/131655788 swapFree=131071996/131071996
[pid=832908] ppid=832905 vsize=584616 memory=544628 CPUtime=3586.56 cores=0,2
/proc/832908/stat : 832908 (fscip) S 832905 832908 832856 0 -1 1077936128 534758 0 0 0 358599 57 0 0 20 0 3 0 163715400 598646784 136157 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
/proc/832908/statm: 146154 136157 2990 3032 0 139862 0
[pid=832908/tid=832971] ppid=832905 vsize=584616 memory=6720659939590946155 CPUtime=3585.75 cores=0,2
/proc/832908/task/832971/stat : 832971 (fscip) R 832905 832908 832856 0 -1 4194368 506712 0 0 0 358530 45 0 0 20 0 3 0 163715468 598646784 136157 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
[pid=832908/tid=832972] ppid=832905 vsize=584616 memory=7825457936960100255 CPUtime=0.05 cores=0,2
/proc/832908/task/832972/stat : 832972 (fscip) S 832905 832908 832856 0 -1 1077936192 332 0 0 0 2 3 0 0 20 0 3 0 163715475 598646784 136157 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
Current children cumulated CPU time: 3586.56 s
Current children cumulated vsize: 584616 KiB
Current children cumulated memory: 544628 KiB

[startup+3600.11 s]
/proc/loadavg: 4.13 4.30 4.26 5/250 835300
/proc/meminfo: memFree=123942748/131655788 swapFree=131071996/131071996
[pid=832908] ppid=832905 vsize=580520 memory=538088 CPUtime=3586.67 cores=0,2
/proc/832908/stat : 832908 (fscip) R 832905 832908 832856 0 -1 4194304 536143 0 0 0 358609 58 0 0 20 0 2 0 163715400 594452480 134522 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
/proc/832908/statm: 145130 134522 2990 3032 0 138838 0
[pid=832908/tid=832972] ppid=832905 vsize=580520 memory=544428 CPUtime=0.05 cores=0,2
/proc/832908/task/832972/stat : 832972 (fscip) S 832905 832908 832856 0 -1 1077936192 332 0 0 0 2 3 0 0 20 0 2 0 163715475 594452480 134522 134679101440 4194304 16613245 140729294652464 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 34611200 140729294660629 140729294660745 140729294660745 140729294667760 0
Current children cumulated CPU time: 3586.67 s
Current children cumulated vsize: 580520 KiB
Current children cumulated memory: 538088 KiB

Child status: 0

Real time (s): 3600.14
CPU time (s): 3586.7
CPU user time (s): 3586.11
CPU system time (s): 0.588407
CPU usage (%): 99.6266
Max. virtual memory (cumulated for all children) (KiB): 584616
Max. memory (cumulated for all children) (KiB): 544628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.11
system time used= 0.588407
maximum resident set size= 544628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 536636
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= 4585
involuntary context switches= 24573


# summary of solver processes directly reported to runsolver:
#   pid: 832908
#   total CPU time (s): 3586.7
#   total CPU user time (s): 3586.11
#   total CPU system time (s): 0.588407

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2109 second user time and 35.3305 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-16 09:39:57
IDJOB=4434748
IDBENCH=148194
IDSOLVER=3064
FILE ID=nodeC012/4434748-1721115584
RUNJOBID= nodeC012-1721115597-832866
SLURM_JOB_ID= 7505652
Free space on /tmp= 723776 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434748-1721115584/watcher-4434748-1721115584 -o /tmp/evaluation-result-4434748-1721115584/solver-4434748-1721115584 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721115597-832866 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434748-1721115584.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9
RANDOM SEED=83718043

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126588288 kB
MemAvailable:   129908812 kB
Buffers:          394320 kB
Cached:          3729384 kB
SwapCached:            0 kB
Active:           672188 kB
Inactive:        3784096 kB
Active(anon):       1344 kB
Inactive(anon):   368972 kB
Active(file):     670844 kB
Inactive(file):  3415124 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            100968 kB
Writeback:             4 kB
AnonPages:        332672 kB
Mapped:           103560 kB
Shmem:             37704 kB
KReclaimable:     149172 kB
Slab:             252508 kB
SReclaimable:     149172 kB
SUnreclaim:       103336 kB
KernelStack:        3712 kB
PageTables:         9740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     679256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52544 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 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:      301896 kB
DirectMap2M:    32108544 kB
DirectMap1G:    103809024 kB

Free space on /tmp at the end= 723664 MiB
End job on nodeC012 at 2024-07-16 10:39:57