Trace number 4464082

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-30SAT22 3588.38 3598.12

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
MD5SUM2f5de9b63d0a2988dce846045b262c40
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 benchmark20
Best CPU time to get the best result obtained on this benchmark41.0486
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5499
Total number of constraints19319
Number of constraints which are clauses19312
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint613
Number of terms in the objective function 613
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 613
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 643
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: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.4.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.06	c Default LC presolving (default).
0.00/0.06	c ** Before presolving: virtualMemUsedAtLc = 61725064, getVmSize() = 61452288, SCIPgetMemUsed() = 33021144, SCIPgetMemTotal() = 38321608, SCIPgetMemExternEstim() = 23403456
0.00/0.06	c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.20/0.30	c ** Estimated virtualMemUsedAtSolver = 62004363, getVmSize() = 96403456, SCIPgetMemUsed() = 37269697, SCIPgetMemTotal() = 69603089, SCIPgetMemExternEstim() = 23403456
0.20/0.30	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.20/0.30	c Original Problem   :
0.20/0.30	c   Problem name     : instance-4464082-1722382192
0.20/0.30	c   Variables        : 5499 (5499 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.30	c   Constraints      : 19319
0.20/0.30	c   Objective sense  : minimize
0.20/0.30	c Presolved Problem  :
0.20/0.30	c   Variables        : 4873 (4873 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.30	c   Constraints      : 4813
0.20/0.30	c Constraints        : Number
0.20/0.30	c   knapsack         : 1 
0.20/0.30	c   setppc           : 542 
0.20/0.30	c   and              : 4265 
0.20/0.30	c   logicor          : 5 
0.20/0.30	c ** Instance transfer method used: 0
0.30/0.31	c ** ParaScipInstance copy does not increase the number of variables. **
0.30/0.33	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.30/0.33	c                                Nodes    Active                                            
0.30/0.33	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.49/0.60	c *       1              0           1         1          22.0000                -          -
14.23/14.38	c        14              2           1         1          22.0000          11.6137     89.43%
21.51/21.67	c        22              5           4         1          22.0000          11.7093     87.89%
28.09/28.24	c        28              8           7         1          22.0000          11.7580     87.11%
34.77/34.92	c        35             10           9         1          22.0000          11.7580     87.11%
48.64/48.89	c        49             12          11         1          22.0000          11.7580     87.11%
53.72/53.90	c        54             14          13         1          22.0000          11.7580     87.11%
59.71/59.94	c        60             17          16         1          22.0000          11.7580     87.11%
65.98/66.22	c        66             20          19         1          22.0000          11.7849     86.68%
79.65/79.90	c        80             24          23         1          22.0000          11.7849     86.68%
87.12/87.47	c        87             27          26         1          22.0000          11.7965     86.50%
92.60/92.93	c        93             32          31         1          22.0000          11.7965     86.50%
100.37/100.75	c       101             36          35         1          22.0000          11.8628     85.45%
110.24/110.69	c       111             41          40         1          22.0000          11.8628     85.45%
120.01/120.46	c       120             46          45         1          22.0000          11.8701     85.34%
125.59/126.07	c       126             50          49         1          22.0000          11.8701     85.34%
136.56/137.05	c       137             54          53         1          22.0000          11.8701     85.34%
142.35/142.85	c       143             56          55         1          22.0000          11.8925     84.99%
151.22/151.79	c       152             58          57         1          22.0000          11.8925     84.99%
159.51/160.05	c       160             59          58         1          22.0000          11.8925     84.99%
164.98/165.52	c       166             64          63         1          22.0000          11.8925     84.99%
177.45/178.05	c       178             65          64         1          22.0000          11.9768     83.69%
185.53/186.13	c       186             71          70         1          22.0000          11.9768     83.69%
191.11/191.77	c       192             78          77         1          22.0000          11.9768     83.69%
204.18/204.89	c       205             83          82         1          22.0000          11.9768     83.69%
243.57/244.39	c       244             90          89         1          22.0000          11.9768     83.69%
255.84/256.68	c       257             92          91         1          22.0000          11.9768     83.69%
262.73/263.54	c       264            102         101         1          22.0000          11.9768     83.69%
269.11/269.96	c       270            106         105         1          22.0000          11.9768     83.69%
275.20/276.00	c       276            114         115         1          22.0000          11.9768     83.69%
280.68/281.58	c       282            120         119         1          22.0000          11.9768     83.69%
296.24/297.18	c       297            126         125         1          22.0000          11.9768     83.69%
301.32/302.29	c       302            127         126         1          22.0000          11.9768     83.69%
312.79/313.71	c       314            130         129         1          22.0000          11.9768     83.69%
319.77/320.70	c       321            138         137         1          22.0000          11.9768     83.69%
337.72/338.78	c       339            141         140         1          22.0000          11.9768     83.69%
355.28/356.32	c       356            142         141         1          22.0000          11.9768     83.69%
368.14/369.28	c       369            144         143         1          22.0000          11.9768     83.69%
384.01/385.18	c       385            147         146         1          22.0000          11.9768     83.69%
398.27/399.41	c       399            151         150         1          22.0000          11.9768     83.69%
404.35/405.56	c       406            152         151         1          22.0000          11.9768     83.69%
421.00/422.29	c       422            153         152         1          22.0000          11.9768     83.69%
427.18/428.43	c       428            155         154         1          22.0000          11.9768     83.69%
432.17/433.45	c       433            156         155         1          22.0000          11.9794     83.65%
441.85/443.11	c       443            160         159         1          22.0000          12.0419     82.70%
449.53/450.85	c       451            162         161         1          22.0000          12.0419     82.70%
477.95/479.35	c       479            164         163         1          22.0000          12.0419     82.70%
484.44/485.82	c       486            165         164         1          22.0000          12.0419     82.70%
491.12/492.56	c       493            166         165         1          22.0000          12.0419     82.70%
497.40/498.89	c       499            168         167         1          22.0000          12.0419     82.70%
503.78/505.27	c       505            171         170         1          22.0000          12.0419     82.70%
515.85/517.32	c       517            172         171         1          22.0000          12.0419     82.70%
525.03/526.57	c       527            173         172         1          22.0000          12.0419     82.70%
550.05/551.67	c       552            175         174         1          22.0000          12.0419     82.70%
575.49/577.14	c       577            176         175         1          22.0000          12.0419     82.70%
581.27/582.91	c       583            177         176         1          22.0000          12.0419     82.70%
586.46/588.15	c       588            178         177         1          22.0000          12.0419     82.70%
596.44/598.11	c       598            179         178         1          22.0000          12.0419     82.70%
603.42/605.19	c       605            180         179         1          22.0000          12.0419     82.70%
611.30/613.01	c       613            181         180         1          22.0000          12.0419     82.70%
619.67/621.41	c       621            182         181         1          22.0000          12.1486     81.09%
628.15/629.90	c       630            184         183         1          22.0000          12.1486     81.09%
657.07/658.96	c       659            186         185         1          22.0000          12.1486     81.09%
665.05/666.92	c       667            187         186         1          22.0000          12.1486     81.09%
673.24/675.19	c       675            189         188         1          22.0000          12.1486     81.09%
681.61/683.56	c       684            191         190         1          22.0000          12.1486     81.09%
700.66/702.67	c       703            193         192         1          22.0000          12.1486     81.09%
706.85/708.86	c       709            194         193         1          22.0000          12.1486     81.09%
714.43/716.44	c       716            196         195         1          22.0000          12.1486     81.09%
720.21/722.25	c       722            199         198         1          22.0000          12.1486     81.09%
725.30/727.38	c       727            200         199         1          22.0000          12.1486     81.09%
738.46/740.55	c       741            201         200         1          22.0000          12.1486     81.09%
744.44/746.53	c       747            201         202         1          22.0000          12.1486     81.09%
777.97/780.14	c       780            204         203         1          22.0000          12.1486     81.09%
783.35/785.56	c       786            205         204         1          22.0000          12.1486     81.09%
790.63/792.88	c       793            206         205         1          22.0000          12.1486     81.09%
801.70/803.94	c       804            208         207         1          22.0000          12.1486     81.09%
810.08/812.33	c       812            210         209         1          22.0000          12.1486     81.09%
820.95/823.23	c       823            214         213         1          22.0000          12.1486     81.09%
832.22/834.54	c       835            215         214         1          22.0000          12.1486     81.09%
838.41/840.76	c       841            217         216         1          22.0000          12.1486     81.09%
846.89/849.25	c       849            218         217         1          22.0000          12.1486     81.09%
853.57/855.92	c       856            220         219         1          22.0000          12.1486     81.09%
862.35/864.75	c       865            221         220         1          22.0000          12.1486     81.09%
870.53/872.95	c       873            223         222         1          22.0000          12.1486     81.09%
877.91/880.38	c       880            225         224         1          22.0000          12.1486     81.09%
886.49/888.94	c       889            227         226         1          22.0000          12.1486     81.09%
894.47/896.93	c       897            229         228         1          22.0000          12.1486     81.09%
900.05/902.52	c       903            230         229         1          22.0000          12.1486     81.09%
905.24/907.74	c       908            232         231         1          22.0000          12.1486     81.09%
918.30/920.83	c       921            233         232         1          22.0000          12.1486     81.09%
925.79/928.31	c       928            235         234         1          22.0000          12.1486     81.09%
933.67/936.24	c       936            237         236         1          22.0000          12.1486     81.09%
977.36/980.01	c       980            239         238         1          22.0000          12.1486     81.09%
987.33/990.01	c       990            240         239         1          22.0000          12.1486     81.09%
994.71/997.42	c       997            242         241         1          22.0000          12.1486     81.09%
1036.20/1039.02	c      1039            245         244         1          22.0000          12.1486     81.09%
1049.27/1052.17	c      1052            246         245         1          22.0000          12.1486     81.09%
1075.01/1077.91	c      1078            247         246         1          22.0000          12.1486     81.09%
1092.26/1095.23	c      1095            249         248         1          22.0000          12.1486     81.09%
1100.64/1103.63	c      1104            251         250         1          22.0000          12.1486     81.09%
1107.92/1110.98	c      1111            253         252         1          22.0000          12.1486     81.09%
1113.90/1116.91	c      1117            255         254         1          22.0000          12.1486     81.09%
1131.76/1134.83	c      1135            256         255         1          22.0000          12.1486     81.09%
1154.30/1157.44	c      1157            257         256         1          22.0000          12.1486     81.09%
1162.58/1165.78	c      1166            258         257         1          22.0000          12.1486     81.09%
1169.16/1172.35	c      1172            260         259         1          22.0000          12.1486     81.09%
1175.45/1178.61	c      1179            262         261         1          22.0000          12.1486     81.09%
1205.57/1208.87	c      1209            263         262         1          22.0000          12.1486     81.09%
1226.32/1229.64	c      1230            264         263         1          22.0000          12.1486     81.09%
1234.50/1237.85	c      1238            265         264         1          22.0000          12.1486     81.09%
1239.79/1243.15	c      1243            267         266         1          22.0000          12.1486     81.09%
1248.77/1252.13	c      1252            268         267         1          22.0000          12.1486     81.09%
1254.94/1258.39	c      1258            269         268         1          22.0000          12.1486     81.09%
1266.63/1270.07	c      1270            270         269         1          22.0000          12.1486     81.09%
1277.40/1280.87	c      1281            271         270         1          22.0000          12.1486     81.09%
1287.97/1291.41	c      1291            273         272         1          22.0000          12.1486     81.09%
1295.05/1298.59	c      1299            274         273         1          22.0000          12.1486     81.09%
1304.12/1307.63	c      1308            276         275         1          22.0000          12.1486     81.09%
1312.00/1315.53	c      1316            277         276         1          22.0000          12.1486     81.09%
1327.76/1331.37	c      1331            280         279         1          22.0000          12.1486     81.09%
1341.03/1344.61	c      1345            281         280         1          22.0000          12.1486     81.09%
1350.51/1354.15	c      1354            283         282         1          22.0000          12.1486     81.09%
1381.62/1385.30	c      1385            284         283         1          22.0000          12.1486     81.09%
1389.80/1393.51	c      1394            285         284         1          22.0000          12.1486     81.09%
1403.97/1407.72	c      1408            287         286         1          22.0000          12.1486     81.09%
1413.04/1416.80	c      1417            289         288         1          22.0000          12.1486     81.09%
1423.91/1427.77	c      1428            291         290         1          22.0000          12.1486     81.09%
1430.21/1434.02	c      1434            292         291         1          22.0000          12.1486     81.09%
1464.82/1468.78	c      1469            294         293         1          22.0000          12.1486     81.09%
1483.67/1487.61	c      1488            295         294         1          22.0000          12.1486     81.09%
1488.95/1492.99	c      1493            296         295         1          22.0000          12.1486     81.09%
1494.94/1498.98	c      1499            297         296         1          22.0000          12.1486     81.09%
1501.92/1505.95	c      1506            298         297         1          22.0000          12.1486     81.09%
1522.38/1526.44	c      1526            299         298         1          22.0000          12.1486     81.09%
1539.73/1543.82	c      1544            301         300         1          22.0000          12.1486     81.09%
1546.21/1550.38	c      1550            302         301         1          22.0000          12.1486     81.09%
1555.19/1559.35	c      1559            304         303         1          22.0000          12.1486     81.09%
1560.38/1564.53	c      1565            305         304         1          22.0000          12.1486     81.09%
1568.65/1572.86	c      1573            306         305         1          22.0000          12.1486     81.09%
1574.54/1578.76	c      1579            307         306         1          22.0000          12.1486     81.09%
1602.56/1606.81	c      1607            309         308         1          22.0000          12.1486     81.09%
1610.34/1614.60	c      1615            310         309         1          22.0000          12.1486     81.09%
1617.13/1621.46	c      1621            311         310         1          22.0000          12.1486     81.09%
1630.50/1634.87	c      1635            313         312         1          22.0000          12.1486     81.09%
1637.98/1642.37	c      1642            315         314         1          22.0000          12.1486     81.09%
1646.26/1650.61	c      1651            316         315         1          22.0000          12.1486     81.09%
1656.74/1661.17	c      1661            318         317         1          22.0000          12.1486     81.09%
1665.01/1669.49	c      1669            320         319         1          22.0000          12.1486     81.09%
1676.78/1681.24	c      1681            322         321         1          22.0000          12.1796     80.63%
1684.75/1689.27	c      1689            324         323         1          22.0000          12.1796     80.63%
1690.44/1694.90	c      1695            326         325         1          22.0000          12.1796     80.63%
1696.72/1701.27	c      1701            329         328         1          22.0000          12.1796     80.63%
1704.71/1709.21	c      1709            330         329         1          22.0000          12.1796     80.63%
1715.68/1720.29	c      1720            331         330         1          22.0000          12.1796     80.63%
1724.86/1729.44	c      1729            332         331         1          22.0000          12.2863     79.06%
1730.94/1735.52	c      1736            334         333         1          22.0000          12.2863     79.06%
1736.23/1740.80	c      1741            336         335         1          22.0000          12.2863     79.06%
1742.81/1747.49	c      1747            338         337         1          22.0000          12.2863     79.06%
1752.89/1757.53	c      1758            339         338         1          22.0000          12.2863     79.06%
1762.06/1766.72	c      1767            341         340         1          22.0000          12.2863     79.06%
1768.55/1773.28	c      1773            343         344         1          22.0000          12.2863     79.06%
1773.63/1778.31	c      1778            346         345         1          22.0000          12.2863     79.06%
1791.19/1795.92	c      1796            347         346         1          22.0000          12.2863     79.06%
1797.38/1802.18	c      1802            348         347         1          22.0000          12.2863     79.06%
1816.33/1821.19	c      1821            349         348         1          22.0000          12.2863     79.06%
1824.40/1829.27	c      1829            350         349         1          22.0000          12.2863     79.06%
1843.55/1848.47	c      1848            352         351         1          22.0000          12.2863     79.06%
1866.89/1871.81	c      1872            353         352         1          22.0000          12.2863     79.06%
1873.97/1878.98	c      1879            354         353         1          22.0000          12.2863     79.06%
1885.05/1890.05	c      1890            356         355         1          22.0000          12.2863     79.06%
1892.04/1897.06	c      1897            358         357         1          22.0000          12.2863     79.06%
1899.02/1904.06	c      1904            360         359         1          22.0000          12.2863     79.06%
1905.40/1910.46	c      1910            362         361         1          22.0000          12.2863     79.06%
1916.17/1921.27	c      1921            365         364         1          22.0000          12.2863     79.06%
1923.26/1928.37	c      1928            367         366         1          22.0000          12.2863     79.06%
1938.02/1943.14	c      1943            369         368         1          22.0000          12.2863     79.06%
1958.56/1963.74	c      1964            370         369         1          22.0000          12.2863     79.06%
1963.55/1968.79	c      1969            371         370         1          22.0000          12.2863     79.06%
1972.13/1977.39	c      1977            373         372         1          22.0000          12.3187     78.59%
1980.71/1985.92	c      1986            374         373         1          22.0000          12.3187     78.59%
1989.48/1994.74	c      1995            375         374         1          22.0000          12.3187     78.59%
1995.37/2000.65	c      2001            377         376         1          22.0000          12.3187     78.59%
2001.76/2007.06	c      2007            378         377         1          22.0000          12.3187     78.59%
2009.13/2014.41	c      2014            380         379         1          22.0000          12.3187     78.59%
2014.52/2019.81	c      2020            381         380         1          22.0000          12.3187     78.59%
2027.79/2033.15	c      2033            384         383         1          22.0000          12.3187     78.59%
2042.05/2047.46	c      2047            387         386         1          22.0000          12.3187     78.59%
2048.93/2054.33	c      2054            390         389         1          22.0000          12.3187     78.59%
2055.51/2060.91	c      2061            394         393         1          22.0000          12.3187     78.59%
2065.10/2070.52	c      2071            396         395         1          22.0000          12.3187     78.59%
2073.77/2079.21	c      2079            397         396         1          22.0000          12.3187     78.59%
2081.16/2086.63	c      2087            398         397         1          22.0000          12.3187     78.59%
2092.73/2098.23	c      2098            399         398         1          22.0000          12.3187     78.59%
2102.00/2107.58	c      2108            400         399         1          22.0000          12.3187     78.59%
2114.37/2119.97	c      2120            402         401         1          22.0000          12.3187     78.59%
2120.76/2126.33	c      2126            405         404         1          22.0000          12.3187     78.59%
2128.34/2133.93	c      2134            406         405         1          22.0000          12.3557     78.05%
2137.52/2143.16	c      2143            407         406         1          22.0000          12.3557     78.05%
2142.70/2148.30	c      2148            408         407         1          22.0000          12.3557     78.05%
2150.68/2156.37	c      2156            409         408         1          22.0000          12.3557     78.05%
2165.64/2171.37	c      2171            412         411         1          22.0000          12.4691     76.44%
2171.13/2176.89	c      2177            414         413         1          22.0000          12.4691     76.44%
2177.02/2182.77	c      2183            415         414         1          22.0000          12.4795     76.29%
2192.68/2198.41	c      2198            418         417         1          22.0000          12.4795     76.29%
2294.72/2300.74	c      2301            420         419         1          22.0000          12.4795     76.29%
2301.31/2307.33	c      2307            423         422         1          22.0000          12.4795     76.29%
2307.49/2313.53	c      2314            425         424         1          22.0000          12.4795     76.29%
2316.67/2322.77	c      2323            427         426         1          22.0000          12.4795     76.29%
2324.45/2330.55	c      2331            429         428         1          22.0000          12.4795     76.29%
2330.73/2336.86	c      2337            430         429         1          22.0000          12.4795     76.29%
2336.42/2342.55	c      2343            431         430         1          22.0000          12.4795     76.29%
2377.41/2383.69	c      2384            433         432         1          22.0000          12.4795     76.29%
2385.59/2391.89	c      2392            434         433         1          22.0000          12.4795     76.29%
2400.16/2406.47	c      2406            435         434         1          22.0000          12.4795     76.29%
2408.93/2415.21	c      2415            436         435         1          22.0000          12.4795     76.29%
2414.52/2420.85	c      2421            438         437         1          22.0000          12.4795     76.29%
2421.10/2427.43	c      2427            439         438         1          22.0000          12.4795     76.29%
2452.52/2458.93	c      2459            440         439         1          22.0000          12.4795     76.29%
2458.71/2465.17	c      2465            441         440         1          22.0000          12.4795     76.29%
2472.78/2479.29	c      2479            443         442         1          22.0000          12.4986     76.02%
2483.66/2490.14	c      2490            445         444         1          22.0000          12.4986     76.02%
2489.04/2495.59	c      2496            446         445         1          22.0000          12.4986     76.02%
2496.12/2502.60	c      2503            447         446         1          22.0000          12.4986     76.02%
2512.38/2518.98	c      2519            448         447         1          22.0000          12.4986     76.02%
2519.16/2525.76	c      2526            449         448         1          22.0000          12.4986     76.02%
2533.22/2539.83	c      2540            451         450         1          22.0000          12.4986     76.02%
2540.21/2546.81	c      2547            453         452         1          22.0000          12.4986     76.02%
2548.68/2555.34	c      2555            454         453         1          22.0000          12.4986     76.02%
2558.06/2564.71	c      2565            456         455         1          22.0000          12.4986     76.02%
2564.94/2571.64	c      2572            457         456         1          22.0000          12.4986     76.02%
2585.79/2592.52	c      2593            459         458         1          22.0000          12.4986     76.02%
2591.88/2598.65	c      2599            460         459         1          22.0000          12.4986     76.02%
2598.37/2605.19	c      2605            462         461         1          22.0000          12.4986     76.02%
2605.14/2611.97	c      2612            463         462         1          22.0000          12.4986     76.02%
2617.22/2624.01	c      2624            466         465         1          22.0000          12.4986     76.02%
2631.47/2638.38	c      2638            467         466         1          22.0000          12.4986     76.02%
2636.96/2643.82	c      2644            468         467         1          22.0000          12.4986     76.02%
2644.44/2651.32	c      2651            469         468         1          22.0000          12.4986     76.02%
2649.63/2656.57	c      2657            471         470         1          22.0000          12.4986     76.02%
2655.61/2662.57	c      2663            472         471         1          22.0000          12.5029     75.96%
2673.08/2680.06	c      2680            475         474         1          22.0000          12.5029     75.96%
2685.84/2692.82	c      2693            477         476         1          22.0000          12.5029     75.96%
2697.11/2704.14	c      2704            480         479         1          22.0000          12.5029     75.96%
2710.56/2717.61	c      2718            481         480         1          22.0000          12.5029     75.96%
2720.43/2727.57	c      2728            482         481         1          22.0000          12.5029     75.96%
2733.69/2740.89	c      2741            484         483         1          22.0000          12.5029     75.96%
2750.63/2757.88	c      2758            486         485         1          22.0000          12.5029     75.96%
2757.41/2764.61	c      2765            487         486         1          22.0000          12.5029     75.96%
2763.90/2771.12	c      2771            489         488         1          22.0000          12.5029     75.96%
2769.57/2776.89	c      2777            490         489         1          22.0000          12.5029     75.96%
2775.16/2782.42	c      2782            492         491         1          22.0000          12.5029     75.96%
2786.82/2794.14	c      2794            493         492         1          22.0000          12.5029     75.96%
2794.59/2801.96	c      2802            495         494         1          22.0000          12.5029     75.96%
2803.96/2811.30	c      2811            496         495         1          22.0000          12.5029     75.96%
2815.53/2822.92	c      2823            498         497         1          22.0000          12.5029     75.96%
2824.30/2831.78	c      2832            499         498         1          22.0000          12.5029     75.96%
2830.18/2837.68	c      2838            500         499         1          22.0000          12.5029     75.96%
2869.75/2877.39	c      2877            501         500         1          22.0000          12.5029     75.96%
2881.02/2888.68	c      2889            503         502         1          22.0000          12.5267     75.62%
2888.89/2896.51	c      2897            505         504         1          22.0000          12.5267     75.62%
2895.77/2903.40	c      2903            506         505         1          22.0000          12.5267     75.62%
2908.34/2916.07	c      2916            507         506         1          22.0000          12.5267     75.62%
2917.20/2924.94	c      2925            509         508         1          22.0000          12.5267     75.62%
2927.38/2935.10	c      2935            510         509         1          22.0000          12.5267     75.62%
2934.65/2942.45	c      2942            512         511         1          22.0000          12.5267     75.62%
2947.81/2955.68	c      2956            514         513         1          22.0000          12.5267     75.62%
2955.20/2963.04	c      2963            515         514         1          22.0000          12.5267     75.62%
2967.55/2975.47	c      2975            516         515         1          22.0000          12.5267     75.62%
2972.63/2980.58	c      2981            518         517         1          22.0000          12.5267     75.62%
2986.29/2994.23	c      2994            520         519         1          22.0000          12.5267     75.62%
2994.56/3002.59	c      3003            522         521         1          22.0000          12.5267     75.62%
3001.64/3009.68	c      3010            524         523         1          22.0000          12.5267     75.62%
3007.72/3015.74	c      3016            526         525         1          22.0000          12.5267     75.62%
3018.88/3026.91	c      3027            529         528         1          22.0000          12.5267     75.62%
3027.35/3035.40	c      3035            532         531         1          22.0000          12.5309     75.57%
3032.44/3040.55	c      3041            534         533         1          22.0000          12.5309     75.57%
3038.32/3046.49	c      3046            535         534         1          22.0000          12.5309     75.57%
3057.16/3065.39	c      3065            537         536         1          22.0000          12.5309     75.57%
3072.71/3080.93	c      3081            538         537         1          22.0000          12.5309     75.57%
3084.27/3092.56	c      3093            540         539         1          22.0000          12.5309     75.57%
3089.65/3097.91	c      3098            541         540         1          22.0000          12.5309     75.57%
3104.11/3112.41	c      3112            543         542         1          22.0000          12.5309     75.57%
3119.86/3128.26	c      3128            546         545         1          22.0000          12.5309     75.57%
3125.05/3133.44	c      3133            547         546         1          22.0000          12.5309     75.57%
3131.03/3139.44	c      3139            549         548         1          22.0000          12.5309     75.57%
3137.21/3145.63	c      3146            552         551         1          22.0000          12.5309     75.57%
3142.70/3151.16	c      3151            554         553         1          22.0000          12.5309     75.57%
3158.55/3167.03	c      3167            555         554         1          22.0000          12.5309     75.57%
3171.10/3179.64	c      3180            557         556         1          22.0000          12.5309     75.57%
3176.68/3185.25	c      3185            559         558         1          22.0000          12.5309     75.57%
3183.06/3191.66	c      3192            562         561         1          22.0000          12.5330     75.54%
3190.24/3198.89	c      3199            565         564         1          22.0000          12.5330     75.54%
3198.11/3206.77	c      3207            570         569         1          22.0000          12.5330     75.54%
3209.38/3218.00	c      3218            572         571         1          22.0000          12.5330     75.54%
3234.01/3242.72	c      3243            574         573         1          22.0000          12.5330     75.54%
3258.14/3266.98	c      3267            576         575         1          22.0000          12.5330     75.54%
3267.02/3275.82	c      3276            580         579         1          22.0000          12.5330     75.54%
3275.70/3284.55	c      3285            582         581         1          22.0000          12.5330     75.54%
3280.88/3289.78	c      3290            583         582         1          22.0000          12.5330     75.54%
3291.95/3300.85	c      3301            586         585         1          22.0000          12.5330     75.54%
3303.92/3312.89	c      3313            588         587         1          22.0000          12.5330     75.54%
3310.41/3319.33	c      3319            589         588         1          22.0000          12.5330     75.54%
3325.86/3334.84	c      3335            591         590         1          22.0000          12.5330     75.54%
3332.54/3341.59	c      3342            592         591         1          22.0000          12.5527     75.26%
3340.61/3349.60	c      3350            594         593         1          22.0000          12.5527     75.26%
3351.78/3360.84	c      3361            595         594         1          22.0000          12.5527     75.26%
3365.64/3374.79	c      3375            597         596         1          22.0000          12.5527     75.26%
3372.03/3381.15	c      3381            598         597         1          22.0000          12.5527     75.26%
3399.24/3408.50	c      3408            599         598         1          22.0000          12.5527     75.26%
3405.42/3414.60	c      3415            600         599         1          22.0000          12.5527     75.26%
3414.89/3424.14	c      3424            601         600         1          22.0000          12.5527     75.26%
3421.87/3431.14	c      3431            602         601         1          22.0000          12.5527     75.26%
3434.22/3443.53	c      3444            604         603         1          22.0000          12.5527     75.26%
3440.21/3449.52	c      3450            605         604         1          22.0000          12.5527     75.26%
3445.19/3454.58	c      3455            606         605         1          22.0000          12.5527     75.26%
3452.17/3461.55	c      3462            607         606         1          22.0000          12.5527     75.26%
3457.55/3466.93	c      3467            608         607         1          22.0000          12.5527     75.26%
3462.64/3472.06	c      3472            609         608         1          22.0000          12.5527     75.26%
3472.30/3481.73	c      3482            611         610         1          22.0000          12.5527     75.26%
3478.38/3487.82	c      3488            613         612         1          22.0000          12.5527     75.26%
3486.86/3496.36	c      3496            615         614         1          22.0000          12.5527     75.26%
3504.70/3514.28	c      3514            617         616         1          22.0000          12.5527     75.26%
3512.08/3521.61	c      3522            618         617         1          22.0000          12.5527     75.26%
3521.25/3530.88	c      3531            620         619         1          22.0000          12.5527     75.26%
3527.13/3536.75	c      3537            622         621         1          22.0000          12.5529     75.26%
3538.80/3548.40	c      3548            625         624         1          22.0000          12.5529     75.26%
3544.88/3554.57	c      3555            627         626         1          22.0000          12.5529     75.26%
3550.17/3559.89	c      3560            628         627         1          22.0000          12.5529     75.26%
3556.45/3566.18	c      3566            629         628         1          22.0000          12.5529     75.26%
3562.53/3572.22	c      3572            632         631         1          22.0000          12.5529     75.26%
3569.71/3579.47	c      3579            634         633         1          22.0000          12.5529     75.26%
3575.89/3585.69	c      3586            635         634         1          22.0000          12.5529     75.26%
3588.25/3598.00	c      3598            635         634         0          22.0000          12.5529     75.26%
3588.25/3598.10	c SCIP Status        : c solving was interrupted [hard time limit reached]
3588.25/3598.10	c Total Time         : 3598.08
3588.25/3598.10	c   solving          : 3598.08
3588.25/3598.10	c   presolving       : 0.24 (included in solving)
3588.25/3598.10	c B&B Tree           :
3588.25/3598.10	c   nodes (total)    : 1
3588.25/3598.10	c Solution           :
3588.25/3598.10	c   Solutions found  : 1
3588.25/3598.10	c   Primal Bound     : +2.20000000000000e+01
3588.25/3598.10	c   Dual Bound       : +1.25529198152498e+01
3588.25/3598.10	c Gap                : 75.25803 %
3588.25/3598.10	c * Warning: final gap: 7.52580e-01 is greater than SCIPepsilon: 1.00000e-09
3588.25/3598.10	o 22
3588.25/3598.10	s SATISFIABLE
3588.25/3598.10	v -x5499 -x5497 -x5495 -x5493 -x5491 -x5489 -x5487 -x5485 -x5483 -x5481 -x5479 -x5477 x5475 -x5473 -x5471 -x5469 -x5467 -x5465 -x5464 
3588.25/3598.10	v -x5463 -x5462 -x5460 -x5459 -x5458 -x5457 -x5455 -x5454 -x5453 -x5452 -x5450 -x5449 -x5448 -x5447 -x5445 -x5444 -x5443 -x5442 
3588.25/3598.10	v -x5440 -x5439 -x5438 -x5437 -x5435 -x5434 -x5433 -x5432 -x5430 -x5429 -x5428 -x5427 -x5425 -x5424 -x5423 -x5422 -x5420 
3588.25/3598.10	v -x5419 -x5418 x5417 -x5415 -x5414 -x5413 -x5412 -x5410 -x5409 -x5408 -x5407 -x5405 -x5404 -x5403 -x5402 -x5400 -x5399 -x5398 
3588.25/3598.10	v x5397 -x5395 -x5394 -x5393 x5392 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5378 -x5377 -x5376 
3588.25/3598.10	v -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 
3588.25/3598.10	v -x5357 -x5356 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 x5344 -x5342 -x5341 -x5340 -x5339 -x5338 
3588.25/3598.10	v -x5337 -x5336 -x5335 -x5334 -x5333 x5332 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5318 
3588.25/3598.10	v -x5317 -x5316 -x5315 -x5313 -x5311 -x5310 -x5309 -x5308 x5306 -x5304 -x5303 -x5302 -x5301 x5299 -x5297 -x5296 -x5295 -x5294 -x5292 
3588.25/3598.10	v -x5290 -x5289 -x5288 -x5287 -x5285 -x5284 -x5283 -x5282 -x5280 -x5278 -x5277 -x5276 -x5275 x5273 -x5271 -x5270 -x5269 -x5268 
3588.25/3598.10	v x5266 -x5264 -x5263 -x5262 -x5261 x5259 -x5257 -x5256 -x5255 -x5254 -x5252 -x5250 -x5249 -x5248 -x5247 -x5245 -x5244 -x5243 
3588.25/3598.10	v -x5242 -x5240 -x5238 -x5237 -x5236 -x5235 -x5233 -x5232 -x5231 x5230 x5228 -x5226 -x5225 -x5224 -x5223 -x5221 -x5219 -x5218 
3588.25/3598.10	v -x5217 -x5216 -x5214 -x5212 -x5211 -x5210 -x5209 -x5207 -x5206 -x5205 -x5204 -x5202 -x5201 -x5200 -x5199 -x5197 -x5195 -x5194 
3588.25/3598.10	v -x5193 -x5192 -x5190 -x5188 -x5187 -x5186 -x5185 -x5183 -x5181 -x5180 -x5179 -x5178 -x5176 -x5174 -x5173 -x5172 -x5171 -x5169 
3588.25/3598.10	v -x5167 -x5166 -x5165 x5164 x5162 -x5160 -x5159 -x5158 -x5157 -x5155 -x5153 -x5151 -x5150 -x5149 -x5148 -x5146 -x5144 -x5143 
3588.25/3598.10	v -x5142 -x5141 x5139 -x5137 -x5136 -x5135 -x5134 -x5132 -x5130 -x5129 -x5128 -x5127 -x5125 -x5123 -x5122 -x5121 x5120 -x5118 
3588.25/3598.10	v -x5116 -x5115 -x5114 -x5113 -x5111 -x5109 x5108 -x5107 x5106 -x5104 -x5102 -x5101 -x5100 x5099 -x5097 -x5095 -x5094 -x5093 
3588.25/3598.10	v -x5092 -x5090 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5076 -x5075 -x5074 -x5073 -x5072 
3588.25/3598.10	v -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5052 
3588.25/3598.10	v -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 x5042 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 
3588.25/3598.10	v -x5032 -x5031 -x5030 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5016 -x5015 -x5014 -x5013 
3588.25/3598.10	v -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 
3588.25/3598.10	v -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 
3588.25/3598.10	v -x4974 -x4973 -x4972 -x4971 -x4970 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 x4958 -x4956 -x4955 
3588.25/3598.10	v -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 
3588.25/3598.10	v -x4935 -x4934 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 x4922 -x4920 -x4919 -x4918 -x4917 -x4916 
3588.25/3598.10	v -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4896 
3588.25/3598.10	v -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 
3588.25/3598.10	v -x4876 -x4875 -x4874 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4860 -x4859 -x4858 -x4857 
3588.25/3598.10	v -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4848 -x4847 -x4846 x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 x4838 
3588.25/3598.10	v -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 
3588.25/3598.10	v -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 
3588.25/3598.10	v -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4782 -x4781 
3588.25/3598.10	v -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 
3588.25/3598.10	v -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 
3588.25/3598.10	v -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4728 -x4727 -x4726 
3588.25/3598.10	v -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 
3588.25/3598.10	v -x4707 -x4706 -x4705 -x4704 -x4703 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 
3588.25/3598.10	v x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 x4676 -x4674 -x4673 -x4672 -x4671 -x4670 
3588.25/3598.10	v -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 
3588.25/3598.10	v -x4651 -x4650 -x4649 -x4647 -x4646 -x4645 -x4644 -x4642 -x4641 -x4640 -x4639 -x4637 -x4636 -x4635 -x4634 -x4632 -x4631 -x4630 
3588.25/3598.10	v -x4629 -x4627 -x4626 -x4625 -x4624 -x4622 -x4621 -x4620 -x4619 -x4617 -x4616 -x4615 -x4614 -x4612 -x4611 -x4610 -x4609 -x4607 
3588.25/3598.10	v -x4606 -x4605 -x4604 -x4602 -x4601 -x4600 -x4599 -x4597 -x4596 -x4595 -x4594 -x4592 -x4591 -x4590 -x4589 -x4587 -x4586 
3588.25/3598.10	v -x4585 -x4584 -x4582 -x4581 -x4580 -x4579 -x4577 -x4576 -x4575 -x4574 -x4572 -x4571 -x4570 -x4569 -x4567 -x4566 -x4565 -x4564 
3588.25/3598.10	v -x4562 -x4561 -x4560 -x4559 -x4557 -x4556 -x4555 -x4554 -x4552 -x4551 -x4550 -x4549 -x4547 -x4546 -x4545 -x4544 -x4542 -x4541 
3588.25/3598.10	v -x4540 -x4539 -x4537 -x4536 x4535 x4534 -x4532 -x4531 x4530 x4529 -x4527 -x4526 -x4525 -x4524 -x4522 -x4521 -x4520 -x4519 -x4517 
3588.25/3598.10	v -x4516 -x4515 -x4514 -x4512 -x4511 -x4510 -x4509 -x4507 -x4506 x4505 x4504 -x4502 -x4501 x4500 x4499 -x4497 -x4496 -x4495 
3588.25/3598.10	v -x4494 -x4492 -x4491 -x4490 -x4489 -x4487 -x4486 -x4485 -x4484 -x4482 -x4481 -x4480 -x4479 -x4477 -x4476 -x4475 -x4474 -x4472 
3588.25/3598.10	v -x4471 -x4470 -x4469 -x4467 -x4466 -x4465 -x4464 -x4462 -x4461 -x4460 -x4459 -x4457 -x4456 -x4455 -x4454 -x4452 -x4451 -x4450 
3588.25/3598.10	v -x4449 -x4447 -x4446 -x4445 -x4444 -x4442 -x4441 -x4440 -x4439 -x4437 -x4436 x4435 x4434 -x4432 -x4431 x4430 x4429 -x4427 
3588.25/3598.10	v -x4426 -x4425 -x4424 -x4422 -x4421 -x4420 -x4419 -x4417 -x4416 -x4415 -x4414 -x4412 -x4411 -x4410 -x4409 -x4407 -x4406 x4405 
3588.25/3598.10	v x4404 -x4402 -x4401 x4400 x4399 -x4397 -x4396 -x4395 -x4394 -x4392 -x4391 -x4390 -x4389 -x4387 -x4386 -x4385 -x4384 -x4382 
3588.25/3598.10	v -x4381 -x4380 -x4379 -x4377 -x4376 -x4375 -x4374 -x4372 -x4371 -x4370 -x4369 -x4367 -x4366 -x4365 -x4364 -x4362 -x4361 -x4360 
3588.25/3598.10	v -x4359 -x4357 -x4356 -x4355 -x4354 -x4352 -x4351 -x4350 -x4349 -x4347 -x4346 -x4345 -x4344 -x4342 -x4341 -x4340 -x4339 -x4337 
3588.25/3598.10	v -x4336 -x4335 -x4334 -x4332 -x4331 -x4330 -x4329 -x4327 -x4326 -x4325 -x4324 -x4322 -x4321 -x4320 -x4319 -x4317 -x4316 -x4315 
3588.25/3598.10	v -x4314 -x4312 -x4311 -x4310 -x4309 -x4307 x4306 -x4305 x4304 -x4302 x4301 x4300 x4299 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 
3588.25/3598.10	v -x4291 -x4290 -x4289 -x4288 -x4287 x4285 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 x4271 
3588.25/3598.10	v -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 x4257 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 
3588.25/3598.10	v -x4249 -x4248 -x4247 -x4246 -x4245 x4243 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4229 
3588.25/3598.10	v -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 x4215 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 
3588.25/3598.10	v -x4207 -x4206 -x4205 -x4204 -x4203 -x4201 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4187 
3588.25/3598.10	v -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 x4175 x4173 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 
3588.25/3598.10	v -x4165 -x4164 -x4163 -x4162 -x4161 -x4159 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4145 
3588.25/3598.10	v -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 x4133 x4131 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 
3588.25/3598.10	v -x4123 -x4122 -x4121 -x4120 -x4119 -x4117 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4103 
3588.25/3598.10	v -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 x4089 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 
3588.25/3598.10	v -x4081 -x4080 -x4079 -x4078 -x4077 -x4075 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 
3588.25/3598.10	v x4061 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 x4047 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 
3588.25/3598.10	v -x4039 -x4038 -x4037 -x4036 -x4035 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 x4021 -x4019 
3588.25/3598.10	v -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4007 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 
3588.25/3598.10	v -x3999 -x3998 -x3997 -x3996 -x3995 x3993 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3979 
3588.25/3598.10	v -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3965 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 
3588.25/3598.10	v -x3957 -x3956 -x3955 -x3954 x3953 x3951 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3937 
3588.25/3598.10	v -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 x3923 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 
3588.25/3598.10	v -x3915 -x3914 -x3913 -x3912 x3911 x3909 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 x3895 -x3893 
3588.25/3598.10	v -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 x3883 x3881 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 
3588.25/3598.10	v -x3872 -x3871 -x3870 -x3869 -x3867 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3853 -x3851 
3588.25/3598.10	v -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3839 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 
3588.25/3598.10	v -x3830 -x3829 -x3828 -x3827 -x3825 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 x3811 -x3809 
3588.25/3598.10	v -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3797 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 
3588.25/3598.10	v -x3789 -x3788 -x3787 -x3786 x3785 x3783 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3769 -x3767 
3588.25/3598.10	v -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3755 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 
3588.25/3598.10	v -x3747 -x3746 -x3745 -x3744 -x3743 x3741 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3727 
3588.25/3598.10	v -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3713 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 
3588.25/3598.10	v -x3705 -x3704 -x3703 -x3702 -x3701 -x3699 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3685 
3588.25/3598.10	v -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3671 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 
3588.25/3598.10	v -x3663 -x3662 -x3661 -x3660 x3659 x3657 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 x3643 
3588.25/3598.10	v -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 x3631 x3629 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 
3588.25/3598.10	v -x3621 -x3620 -x3619 -x3618 -x3617 x3615 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 x3601 -x3599 
3588.25/3598.10	v -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 x3587 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 
3588.25/3598.10	v -x3578 -x3577 -x3576 -x3575 x3573 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3559 -x3558 
3588.25/3598.10	v -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 x3547 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 
3588.25/3598.10	v -x3537 -x3536 -x3535 x3533 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 x3519 -x3517 -x3516 
3588.25/3598.10	v -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 
3588.25/3598.10	v -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 
3588.25/3598.10	v -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 x3467 -x3466 x3465 -x3463 -x3462 -x3461 -x3460 
3588.25/3598.10	v -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 
3588.25/3598.10	v -x3442 -x3441 -x3440 -x3439 -x3438 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 
3588.25/3598.10	v -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3409 -x3408 -x3407 -x3406 -x3405 
3588.25/3598.10	v -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 x3391 -x3390 -x3389 -x3388 -x3387 
3588.25/3598.10	v -x3386 -x3385 x3384 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 
3588.25/3598.10	v -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 
3588.25/3598.10	v -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 
3588.25/3598.10	v -x3330 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 
3588.25/3598.10	v -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 
3588.25/3598.10	v -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 
3588.25/3598.10	v -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 
3588.25/3598.10	v -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 
3588.25/3598.10	v -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3220 -x3219 
3588.25/3598.10	v -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 
3588.25/3598.10	v -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 
3588.25/3598.10	v -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3166 -x3165 -x3164 -x3163 
3588.25/3598.10	v -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 
3588.25/3598.10	v -x3145 -x3144 -x3143 -x3142 -x3141 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 
3588.25/3598.10	v -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3112 -x3111 -x3110 -x3109 -x3108 
3588.25/3598.10	v -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 
3588.25/3598.10	v -x3089 -x3088 -x3087 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 
3588.25/3598.10	v -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 
3588.25/3598.10	v -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 
3588.25/3598.10	v -x3033 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 
3588.25/3598.10	v -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 
3588.25/3598.10	v -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 x2979 
3588.25/3598.10	v -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 
3588.25/3598.10	v -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 
3588.25/3598.10	v -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2923 -x2922 
3588.25/3598.10	v -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 
3588.25/3598.10	v -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 
3588.25/3598.10	v -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2869 -x2868 -x2867 -x2866 
3588.25/3598.10	v -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 
3588.25/3598.10	v -x2848 -x2847 -x2846 -x2845 -x2844 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 
3588.25/3598.10	v -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2815 -x2814 -x2813 -x2812 -x2811 
3588.25/3598.10	v -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 
3588.25/3598.10	v -x2792 -x2791 x2790 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 
3588.25/3598.10	v -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 
3588.25/3598.10	v -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 
3588.25/3598.10	v -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 
3588.25/3598.10	v -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2703 -x2702 -x2701 -x2700 
3588.25/3598.10	v -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 
3588.25/3598.10	v -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 
3588.25/3598.10	v -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 
3588.25/3598.10	v -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 
3588.25/3598.10	v -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 
3588.25/3598.10	v -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 
3588.25/3598.10	v -x2591 -x2590 -x2589 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 
3588.25/3598.10	v -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 
3588.25/3598.10	v -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 
3588.25/3598.10	v -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 
3588.25/3598.10	v -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 
3588.25/3598.10	v -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 
3588.25/3598.10	v -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 
3588.25/3598.10	v -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 
3588.25/3598.10	v -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 
3588.25/3598.10	v -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2413 -x2412 -x2411 -x2410 
3588.25/3598.10	v -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 
3588.25/3598.10	v -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 
3588.25/3598.10	v -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2355 
3588.25/3598.10	v -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 
3588.25/3598.10	v -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 
3588.25/3598.10	v -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 
3588.25/3598.10	v -x2301 -x2300 -x2299 -x2297 -x2296 -x2295 -x2294 -x2292 -x2290 -x2289 -x2288 -x2287 x2285 -x2283 -x2282 -x2281 -x2280 -x2278 
3588.25/3598.10	v -x2276 -x2275 -x2274 -x2273 x2271 -x2269 -x2268 -x2267 -x2266 -x2264 -x2262 -x2261 -x2260 -x2259 -x2257 -x2255 -x2254 -x2253 
3588.25/3598.10	v -x2252 -x2250 -x2248 -x2247 -x2246 -x2245 -x2243 -x2241 -x2240 -x2239 -x2238 x2236 -x2234 -x2233 -x2232 -x2231 -x2229 -x2227 
3588.25/3598.10	v -x2226 -x2225 -x2224 -x2222 -x2220 -x2219 -x2218 x2217 x2215 -x2213 -x2212 -x2211 -x2210 x2208 -x2206 -x2205 -x2204 -x2203 -x2201 
3588.25/3598.10	v -x2199 -x2198 -x2197 -x2196 x2194 -x2192 -x2191 -x2190 -x2189 x2187 -x2185 -x2184 -x2183 -x2182 -x2180 -x2178 -x2177 -x2176 
3588.25/3598.10	v -x2175 -x2173 -x2171 -x2170 -x2169 -x2168 x2166 -x2164 -x2163 -x2162 -x2161 -x2159 -x2157 -x2156 -x2155 -x2154 -x2152 -x2150 
3588.25/3598.10	v -x2149 -x2148 x2147 -x2145 -x2143 -x2142 -x2141 -x2140 -x2138 -x2136 -x2135 -x2134 -x2133 -x2131 -x2129 -x2128 -x2127 -x2126 
3588.25/3598.10	v x2124 -x2122 -x2121 -x2120 -x2119 -x2117 -x2115 x2114 -x2113 x2112 -x2110 -x2108 -x2107 -x2106 -x2105 -x2103 -x2101 -x2100 
3588.25/3598.10	v -x2099 -x2098 -x2096 -x2094 -x2093 -x2092 -x2091 -x2089 -x2087 -x2086 -x2085 x2084 -x2082 -x2080 -x2079 -x2078 -x2077 -x2075 
3588.25/3598.10	v -x2073 -x2072 -x2071 x2070 x2068 -x2066 -x2065 -x2064 -x2063 -x2061 -x2059 -x2058 -x2057 -x2056 -x2054 -x2052 -x2051 -x2050 
3588.25/3598.10	v -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 
3588.25/3598.10	v x2030 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 
3588.25/3598.10	v -x2010 -x2009 -x2008 -x2007 -x2006 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1992 -x1991 
3588.25/3598.10	v -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 
3588.25/3598.10	v -x1971 -x1970 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1956 -x1955 -x1954 -x1953 -x1952 
3588.25/3598.10	v -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1932 
3588.25/3598.10	v -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 x1922 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 
3588.25/3598.10	v -x1912 -x1911 -x1910 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 x1898 -x1896 -x1895 -x1894 -x1893 
3588.25/3598.10	v -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 
3588.25/3598.10	v -x1874 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 x1865 -x1864 -x1863 x1862 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 
3588.25/3598.10	v -x1853 -x1852 -x1851 -x1850 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1836 -x1835 
3588.25/3598.10	v -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 
3588.25/3598.10	v -x1815 -x1814 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1800 -x1799 -x1798 -x1797 -x1796 
3588.25/3598.10	v -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 x1783 -x1782 -x1781 -x1780 -x1779 -x1778 
3588.25/3598.10	v -x1777 -x1776 x1775 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 
3588.25/3598.10	v -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 
3588.25/3598.10	v -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 
3588.25/3598.10	v -x1721 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 
3588.25/3598.10	v -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 
3588.25/3598.10	v -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 
3588.25/3598.10	v -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 
3588.25/3598.10	v -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 
3588.25/3598.10	v -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1611 -x1610 
3588.25/3598.10	v -x1609 -x1608 x1606 -x1604 -x1603 -x1602 -x1601 -x1599 -x1597 -x1596 -x1595 -x1594 x1592 -x1590 -x1589 -x1588 -x1587 -x1585 
3588.25/3598.10	v -x1583 -x1582 -x1581 -x1580 -x1578 -x1576 -x1575 -x1574 -x1573 x1571 -x1569 -x1568 -x1567 -x1566 -x1564 -x1562 -x1561 -x1560 
3588.25/3598.10	v -x1559 -x1557 -x1555 -x1554 x1553 x1552 -x1550 -x1548 -x1547 -x1546 -x1545 -x1543 -x1541 -x1540 -x1539 -x1538 -x1536 -x1534 
3588.25/3598.10	v -x1533 -x1532 -x1531 x1529 -x1527 -x1526 -x1525 -x1524 -x1522 -x1520 -x1519 -x1518 -x1517 -x1515 -x1513 -x1512 -x1511 -x1510 
3588.25/3598.10	v -x1508 -x1506 -x1505 -x1504 -x1503 -x1501 -x1499 -x1498 -x1497 -x1496 -x1494 -x1492 -x1491 -x1490 x1489 -x1487 -x1485 -x1484 
3588.25/3598.10	v -x1483 -x1482 -x1480 -x1478 -x1477 -x1476 -x1475 -x1473 -x1471 -x1470 -x1469 -x1468 -x1466 -x1464 -x1463 -x1462 -x1461 x1459 
3588.25/3598.10	v -x1457 -x1456 -x1455 -x1454 -x1452 -x1450 -x1449 -x1448 -x1447 -x1445 -x1443 -x1442 -x1441 -x1440 -x1438 -x1436 -x1435 -x1434 
3588.25/3598.10	v -x1433 -x1431 -x1429 -x1428 -x1427 -x1426 -x1424 -x1422 -x1421 -x1420 x1419 -x1417 -x1415 -x1414 -x1413 -x1412 -x1410 -x1408 
3588.25/3598.10	v -x1407 -x1406 -x1405 -x1403 -x1401 -x1400 -x1399 -x1398 x1396 -x1394 -x1393 -x1392 x1391 x1389 -x1387 -x1386 -x1385 -x1384 
3588.25/3598.10	v x1382 -x1380 -x1379 -x1378 -x1377 x1375 -x1373 -x1372 -x1371 x1370 x1368 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 
3588.25/3598.10	v -x1358 -x1357 -x1356 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1342 -x1341 -x1340 -x1339 
3588.25/3598.10	v -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 
3588.25/3598.10	v -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 
3588.25/3598.10	v -x1300 -x1299 -x1298 -x1297 -x1296 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1282 -x1281 
3588.25/3598.10	v -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 x1273 x1272 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 
3588.25/3598.10	v -x1261 -x1260 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1246 -x1245 -x1244 -x1243 -x1242 
3588.25/3598.10	v -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 x1224 -x1222 
3588.25/3598.10	v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 
3588.25/3598.10	v -x1202 -x1201 -x1200 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1186 -x1185 -x1184 -x1183 
3588.25/3598.10	v -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 x1164 
3588.25/3598.10	v -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 
3588.25/3598.10	v -x1143 -x1142 -x1141 -x1140 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1126 -x1125 -x1124 
3588.25/3598.10	v -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 x1116 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 
3588.25/3598.10	v -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1087 -x1086 
3588.25/3598.10	v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 
3588.25/3598.10	v -x1068 -x1067 -x1066 -x1065 -x1064 x1063 x1062 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 
3588.25/3598.10	v -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1033 -x1032 -x1031 
3588.25/3598.10	v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 
3588.25/3598.10	v -x1012 -x1011 -x1010 -x1009 -x1008 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 
3588.25/3598.10	v -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 
3588.25/3598.10	v -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x952 -x951 -x950 -x949 
3588.25/3598.10	v -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 
3588.25/3598.10	v -x927 -x863 -x862 -x861 x860 -x859 -x858 -x925 -x923 -x924 -x922 -x921 -x920 -x918 -x919 -x917 -x915 -x916 -x913 -x914 -x912 
3588.25/3598.10	v -x910 -x911 -x909 -x907 -x908 -x906 -x904 -x905 -x903 -x901 -x902 -x899 -x900 -x898 -x897 -x896 -x895 -x894 -x893 -x892 
3588.25/3598.10	v -x890 -x889 -x887 -x886 -x884 -x883 -x882 -x881 -x879 -x878 -x877 x876 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 
3588.25/3598.10	v -x865 -x864 -x707 -x706 -x705 -x704 -x703 x702 -x701 -x856 -x854 -x855 -x853 -x851 -x852 -x850 -x848 -x849 -x847 -x845 -x846 
3588.25/3598.10	v -x844 -x843 -x842 -x840 -x841 -x839 -x837 x838 -x836 -x834 -x835 -x833 -x831 -x832 -x830 -x828 -x829 -x827 -x826 -x825 -x823 
3588.25/3598.10	v -x824 -x822 -x821 x820 -x818 -x819 -x817 -x815 -x816 -x814 -x812 -x813 -x811 -x810 -x809 -x808 -x807 -x805 -x806 -x804 -x802 
3588.25/3598.10	v -x803 -x801 -x799 -x800 -x798 -x796 -x797 -x795 -x793 -x794 -x792 -x790 -x791 -x789 -x787 -x788 -x785 -x786 -x784 -x782 -x783 
3588.25/3598.10	v -x781 -x779 -x780 -x778 -x776 -x777 -x775 -x773 -x774 -x772 -x770 -x771 -x769 -x767 -x768 -x766 -x764 -x765 -x763 -x761 -x762 
3588.25/3598.10	v -x760 -x758 -x759 -x757 -x756 -x755 -x753 -x752 -x751 -x750 -x749 -x748 -x746 -x745 -x743 -x742 -x741 -x740 -x739 -x738 -x737 
3588.25/3598.10	v -x736 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x721 -x720 -x718 -x717 -x716 -x715 -x713 -x712 
3588.25/3598.10	v -x711 -x710 -x708 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x699 -x697 -x698 -x696 -x694 -x695 -x693 -x691 -x692 -x690 
3588.25/3598.10	v -x688 -x689 -x687 -x685 -x686 -x684 -x682 -x683 -x681 -x679 -x680 -x678 -x676 -x677 -x675 -x673 -x674 -x672 -x670 -x671 
3588.25/3598.10	v -x669 -x667 -x668 x666 x664 x665 -x663 -x661 -x662 -x660 -x658 -x659 -x657 -x655 -x656 -x654 -x652 -x653 -x651 -x649 -x650 -x648 
3588.25/3598.10	v -x646 -x647 -x645 -x643 -x644 -x642 -x640 -x641 -x639 -x637 -x638 -x636 -x634 -x635 -x633 -x631 -x632 -x630 -x628 -x629 -x627 
3588.25/3598.10	v -x625 -x626 -x624 -x622 -x623 -x621 -x619 -x620 -x618 -x616 -x617 -x615 -x613 -x614 -x612 -x610 -x611 -x609 -x607 -x608 
3588.25/3598.10	v -x606 -x604 -x605 -x603 -x601 -x602 -x600 -x598 -x599 -x597 -x595 -x596 -x594 -x592 -x593 -x591 -x589 -x590 -x588 -x586 -x587 
3588.25/3598.10	v -x585 -x583 -x584 -x582 -x580 -x581 -x579 -x577 -x578 -x576 -x574 -x575 -x573 -x571 -x572 -x570 -x568 -x569 -x567 -x565 -x566 
3588.25/3598.10	v -x564 -x562 -x563 -x561 -x559 -x560 -x558 -x556 -x557 -x555 -x553 -x554 -x552 -x550 -x551 -x549 -x547 -x548 -x546 -x544 -x545 
3588.25/3598.10	v -x543 -x541 -x542 -x540 -x539 -x538 -x536 -x537 -x535 -x533 -x534 -x532 -x530 -x531 -x529 -x527 -x528 -x526 -x524 -x525 -x523 
3588.25/3598.10	v -x521 -x522 -x520 -x518 -x519 -x517 -x515 -x516 -x514 -x512 -x513 -x511 -x509 -x510 -x508 -x506 -x507 -x505 -x503 -x504 -x502 
3588.25/3598.10	v -x500 -x501 -x499 -x497 -x498 -x496 -x494 -x495 -x493 -x491 -x492 -x490 -x488 -x489 -x487 -x485 -x486 -x484 -x482 -x483 
3588.25/3598.10	v -x481 -x479 -x480 -x478 -x476 -x477 -x475 -x473 -x474 -x472 -x470 -x471 -x469 -x467 -x468 -x466 -x464 -x465 -x463 -x461 -x462 
3588.25/3598.10	v -x460 -x458 -x459 -x457 -x455 -x456 -x454 -x452 -x453 -x451 -x449 -x450 -x448 -x446 -x447 -x445 -x443 -x444 -x442 -x440 -x441 
3588.25/3598.10	v -x439 -x438 -x437 -x435 -x436 -x434 -x432 -x433 -x431 -x429 -x430 -x428 -x426 -x425 -x424 -x423 -x421 -x420 -x418 -x417 -x416 
3588.25/3598.10	v -x415 -x414 -x413 -x411 -x410 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x399 -x398 -x397 -x396 -x394 -x393 -x392 -x391 
3588.25/3598.10	v -x389 -x388 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x377 -x376 -x375 -x374 -x372 -x371 -x370 -x369 -x367 -x366 -x364 
3588.25/3598.10	v -x363 -x361 -x360 -x359 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x349 -x347 -x348 -x346 -x344 -x345 -x343 -x341 -x342 -x340 
3588.25/3598.10	v -x338 -x339 -x337 -x335 -x336 -x334 -x332 -x333 -x331 -x329 -x330 -x328 -x326 -x327 -x325 -x323 x324 -x322 -x320 -x321 -x319 
3588.25/3598.10	v -x317 -x318 x316 -x314 -x315 -x313 -x311 -x312 -x310 -x308 -x309 -x307 -x305 -x306 -x304 -x302 -x303 -x301 -x299 -x300 -x298 
3588.25/3598.10	v -x296 -x297 -x295 -x293 -x294 -x292 -x290 -x291 -x289 -x287 -x288 -x286 -x284 -x285 -x283 -x281 -x282 -x280 -x278 -x279 
3588.25/3598.10	v -x277 -x275 -x276 -x274 -x272 -x273 -x271 -x269 -x270 -x268 -x266 -x267 -x265 -x263 -x264 -x262 -x260 -x261 -x259 -x257 -x258 
3588.25/3598.10	v -x256 -x254 -x255 -x253 -x251 -x252 -x250 -x248 -x249 -x247 -x245 -x246 -x244 -x242 -x241 -x239 -x238 -x236 -x235 -x234 -x233 
3588.25/3598.10	v -x231 -x230 -x228 -x227 -x225 -x224 -x222 -x221 -x219 -x218 -x217 -x216 -x214 -x213 -x211 -x210 -x209 -x208 -x206 -x205 -x203 
3588.25/3598.10	v -x202 -x200 -x199 -x197 -x196 -x194 -x193 -x191 -x190 -x188 -x187 -x185 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x176 -x174 -x175 -x173 
3588.25/3598.10	v -x171 -x172 -x170 -x168 x169 -x167 -x165 -x166 -x164 -x162 -x163 -x161 -x159 -x160 -x158 -x156 -x157 -x155 -x153 -x154 -x152 
3588.25/3598.10	v -x150 -x151 -x149 -x147 -x148 -x146 -x144 -x145 -x143 -x141 -x142 -x140 -x138 -x139 -x137 -x135 -x136 -x134 -x132 -x133 -x131 
3588.25/3598.10	v -x129 -x130 -x128 -x126 -x127 -x125 -x123 -x124 -x122 -x120 -x121 -x119 -x117 -x118 -x116 -x114 -x115 -x113 -x111 -x112 -x110 
3588.25/3598.10	v -x108 -x109 -x107 -x105 -x106 -x104 -x102 -x103 -x101 -x99 -x100 -x98 -x96 -x97 -x95 -x93 -x94 -x92 -x90 -x91 -x89 -x87 -x88 
3588.25/3598.10	v -x86 -x84 -x85 x83 -x81 -x82 -x80 -x78 -x79 -x77 -x75 -x76 -x74 -x72 -x73 -x71 -x69 -x68 -x66 -x65 -x63 -x62 -x60 -x59 -x57 
3588.25/3598.10	v -x56 -x54 -x53 -x51 -x50 -x48 -x47 -x45 -x44 -x42 -x41 -x39 -x38 -x36 -x35 -x33 -x32 -x30 -x29 -x27 -x26 -x24 -x23 -x21 -x20 
3588.25/3598.10	v -x18 -x17 -x15 -x14 -x12 -x11 -x9 -x5498 -x5496 -x5494 -x5492 -x5490 -x5488 -x5486 -x5484 -x5482 -x5480 -x5478 -x5476 -x5474 
3588.25/3598.10	v -x5472 -x5470 -x5468 -x5466 -x5461 -x5456 -x5451 -x5446 -x891 -x5441 -x888 -x5436 -x885 -x5431 -x5426 -x880 -x5421 x5416 -x875 
3588.25/3598.10	v -x5411 -x5406 -x5401 -x5396 -x5391 -x5379 -x5367 -x5355 x5343 -x5331 -x5319 -x5314 -x5312 -x5307 -x5305 -x5300 -x5298 -x5293 
3588.25/3598.10	v -x5291 -x5286 -x5281 -x5279 -x5274 x5272 -x5267 -x5265 -x5260 -x5258 -x5253 -x5251 -x5246 -x5241 -x5239 -x5234 x5229 -x5227 
3588.25/3598.10	v -x5222 -x5220 -x5215 -x5213 -x5208 -x5203 -x5198 -x5196 -x5191 -x5189 -x5184 -x5182 -x5177 -x5175 -x5170 -x5168 -x5163 -x5161 
3588.25/3598.10	v -x5156 -x5154 -x5152 -x5147 -x5145 -x5140 -x5138 -x5133 -x5131 -x5126 -x5124 -x5119 -x5117 -x5112 -x5110 -x5105 -x5103 -x5098 
3588.25/3598.10	v -x5096 -x5091 -x5089 -x5077 -x5065 -x754 -x5053 -x5041 -x5029 -x747 -x5017 -x744 -x5005 -x4993 -x4981 -x4969 -x735 -x4957 
3588.25/3598.10	v -x4945 -x4933 -x4921 -x4909 -x4897 -x722 -x4885 -x719 -x4873 -x4861 -x714 -x4849 -x4837 -x709 -x4810 -x4783 -x4756 -x4729 -x4702 
3588.25/3598.10	v x4675 -x4648 -x4643 -x4638 -x4633 -x4628 -x4623 -x4618 -x4613 -x4608 -x4603 -x4598 -x4593 -x4588 -x4583 -x4578 -x4573 -x4568 
3588.25/3598.10	v -x4563 -x4558 -x4553 -x4548 -x4543 -x4538 x4533 x4528 -x4523 -x4518 -x4513 -x4508 -x4503 -x4498 -x4493 -x4488 -x4483 -x4478 
3588.25/3598.10	v -x4473 -x4468 -x4463 -x4458 -x4453 -x4448 -x4443 -x4438 -x4433 -x4428 -x4423 -x4418 -x4413 -x4408 -x4403 -x4398 -x4393 -x4388 
3588.25/3598.10	v -x4383 -x4378 -x4373 -x4368 -x4363 -x4358 -x4353 -x4348 -x4343 -x4338 -x4333 -x4328 -x4323 -x4318 -x4313 -x4308 -x4303 
3588.25/3598.10	v -x4298 -x4286 -x4284 -x4272 -x4270 -x4258 -x4256 -x4244 -x4242 -x4230 -x4228 -x4216 -x4214 -x4202 -x4200 -x4188 -x4186 -x4174 
3588.25/3598.10	v -x4172 -x4160 -x4158 -x4146 -x4144 -x4132 -x4130 -x4118 -x4116 -x4104 -x4102 -x4090 -x4088 -x4076 -x4074 -x4062 -x4060 -x4048 
3588.25/3598.10	v -x4046 -x4034 -x4022 -x4020 -x4008 -x4006 -x3994 -x3992 -x3980 -x3978 -x3966 -x3964 -x3952 -x3950 -x3938 -x3936 -x3924 -x3922 
3588.25/3598.10	v -x3910 -x3908 -x3896 -x3894 -x3882 -x3880 -x3868 -x3866 -x3854 -x3852 -x3840 -x3838 -x3826 -x3824 -x3812 -x3810 -x3798 -x3796 
3588.25/3598.10	v -x3784 -x3782 -x3770 -x3768 -x3756 -x3754 -x3742 -x3740 -x3728 -x3726 -x3714 -x3712 -x3700 -x3698 -x3686 -x3684 -x3672 -x3670 
3588.25/3598.10	v -x3658 -x3656 -x3644 -x3642 -x3630 -x3628 -x3616 -x3614 -x3602 -x3600 -x3588 -x3586 -x3574 -x3572 -x3560 -x3548 -x3546 -x3534 
3588.25/3598.10	v -x3532 -x3520 -x3518 -x3491 -x427 -x3464 -x3437 -x422 -x3410 -x419 -x3383 -x3356 -x3329 -x412 -x3302 -x409 -x3275 -x3248 
3588.25/3598.10	v -x3221 -x3194 -x400 -x3167 -x3140 -x395 -x3113 -x3086 -x390 -x3059 -x387 -x3032 -x3005 -x2978 -x2951 -x378 -x2924 -x2897 -x373 
3588.25/3598.10	v -x2870 -x2843 -x368 -x2816 -x365 -x2789 x362 -x2762 -x2704 -x2646 -x2588 -x2530 -x2472 -x2414 -x2356 -x2298 -x2293 -x2291 
3588.25/3598.10	v -x2286 -x2284 -x2279 -x2277 -x2272 -x2270 -x2265 -x2263 -x2258 -x2256 -x2251 -x2249 -x2244 -x2242 -x2237 x2235 -x2230 -x2228 
3588.25/3598.10	v -x2223 -x2221 x2216 -x2214 -x2209 -x2207 -x2202 -x2200 -x2195 -x2193 -x2188 -x2186 -x2181 -x2179 -x2174 -x2172 -x2167 -x2165 
3588.25/3598.10	v -x2160 -x2158 -x2153 -x2151 -x2146 -x2144 -x2139 -x2137 -x2132 -x2130 -x2125 -x2123 -x2118 -x2116 -x2111 -x2109 -x2104 -x2102 
3588.35/3598.11	v -x2097 -x2095 -x2090 -x2088 -x2083 -x2081 -x2076 -x2074 -x2069 -x2067 -x2062 -x2060 -x2055 -x2053 -x2041 -x243 -x2029 -x240 
3588.35/3598.11	v -x2017 -x237 -x2005 -x1993 x232 -x1981 -x229 -x1969 -x226 -x1957 -x223 -x1945 -x220 -x1933 -x1921 -x215 -x1909 -x212 -x1897 
3588.35/3598.11	v -x1885 -x207 -x1873 -x204 -x1861 -x201 -x1849 -x198 -x1837 -x195 -x1825 -x192 -x1813 -x189 -x1801 -x186 x1774 -x1747 -x1720 -x1693 
3588.35/3598.11	v -x1666 -x1639 -x1612 -x1607 -x1605 -x1600 -x1598 -x1593 x1591 -x1586 -x1584 -x1579 -x1577 -x1572 -x1570 -x1565 -x1563 -x1558 
3588.35/3598.11	v -x1556 -x1551 -x1549 -x1544 -x1542 -x1537 -x1535 -x1530 -x1528 -x1523 -x1521 -x1516 -x1514 -x1509 -x1507 -x1502 -x1500 
3588.35/3598.11	v -x1495 -x1493 -x1488 -x1486 -x1481 -x1479 -x1474 -x1472 -x1467 -x1465 -x1460 -x1458 -x1453 -x1451 -x1446 -x1444 -x1439 -x1437 
3588.35/3598.11	v -x1432 -x1430 -x1425 -x1423 -x1418 -x1416 -x1411 -x1409 -x1404 -x1402 -x1397 -x1395 x1390 -x1388 -x1383 -x1381 -x1376 -x1374 
3588.35/3598.11	v -x1369 -x1367 -x1355 -x70 -x1343 x67 -x1331 -x64 -x1319 -x61 -x1307 -x58 -x1295 -x55 -x1283 -x52 -x1271 -x49 -x1259 -x46 -x1247 
3588.35/3598.11	v -x43 -x1235 -x40 -x1223 -x37 -x1211 -x34 -x1199 -x31 -x1187 -x28 -x1175 -x25 -x1163 -x22 -x1151 -x19 -x1139 -x16 -x1127 -x13 
3588.35/3598.11	v -x1115 x10 -x1088 x1061 -x1034 -x1007 -x980 -x953 -x926 x857 x700 x350 x177 x1

Verifier Data 

OK	22

Watcher Data 

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

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

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100092 s]*
/proc/loadavg: 4.06 4.10 4.05 5/259 31110
/proc/meminfo: memFree=121274356/131524592 swapFree=131071996/131071996
[pid=31095] ppid=31092 vsize=70152 memory=57832 CPUtime=0.09 cores=5,7
/proc/31095/stat : 31095 (fscip) R 31092 31095 29025 0 -1 4194304 12151 0 0 0 8 1 0 0 20 0 1 0 4816355 71835648 14458 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
/proc/31095/statm: 17538 14458 2630 3035 0 13934 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 70152 KiB
Current children cumulated memory: 57832 KiB

[startup+0.205746 s]*
/proc/loadavg: 4.06 4.10 4.05 5/259 31110
/proc/meminfo: memFree=121266840/131524592 swapFree=131071996/131071996
[pid=31095] ppid=31092 vsize=79240 memory=67704 CPUtime=0.2 cores=5,7
/proc/31095/stat : 31095 (fscip) R 31092 31095 29025 0 -1 4194304 17775 0 0 0 18 2 0 0 20 0 1 0 4816355 81141760 16926 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
/proc/31095/statm: 19810 16926 2774 3035 0 16206 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 79240 KiB
Current children cumulated memory: 67704 KiB

[startup+0.305765 s]*
/proc/loadavg: 4.06 4.10 4.05 3/256 31111
/proc/meminfo: memFree=123662700/131524592 swapFree=131071996/131071996
[pid=31095] ppid=31092 vsize=180028 memory=87360 CPUtime=0.3 cores=5,7
/proc/31095/stat : 31095 (fscip) R 31092 31095 29025 0 -1 4194304 22640 0 0 0 27 3 0 0 20 0 2 0 4816355 184348672 21840 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
/proc/31095/statm: 45007 21840 2806 3035 0 25051 0
[pid=31095/tid=31111] ppid=31092 vsize=180300 memory=4206468019014099040 CPUtime=0 cores=5,7
/proc/31095/task/31111/stat : 31111 (fscip) S 31092 31095 29025 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 2 0 4816385 184627200 21840 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 180028 KiB
Current children cumulated memory: 87360 KiB

[startup+0.70037 s]
/proc/loadavg: 4.06 4.10 4.05 5/254 31148
/proc/meminfo: memFree=123609428/131524592 swapFree=131071996/131071996
[pid=31095] ppid=31092 vsize=246412 memory=143824 CPUtime=0.68 cores=5,7
/proc/31095/stat : 31095 (fscip) S 31092 31095 29025 0 -1 1077936128 38807 0 0 0 63 5 0 0 20 0 3 0 4816355 252325888 35956 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
/proc/31095/statm: 61603 35956 2934 3035 0 41709 0
[pid=31095/tid=31111] ppid=31092 vsize=246412 memory=2268 CPUtime=0.36 cores=5,7
/proc/31095/task/31111/stat : 31111 (fscip) R 31092 31095 29025 0 -1 4194368 15840 0 0 0 34 2 0 0 20 0 3 0 4816385 252325888 35956 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
[pid=31095/tid=31115] ppid=31092 vsize=246412 memory=11576 CPUtime=0 cores=5,7
/proc/31095/task/31115/stat : 31115 (fscip) S 31092 31095 29025 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4816388 252325888 35956 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 246412 KiB
Current children cumulated memory: 143824 KiB

[startup+1.50036 s]
/proc/loadavg: 4.06 4.10 4.05 4/252 31199
/proc/meminfo: memFree=123592820/131524592 swapFree=131071996/131071996
[pid=31095] ppid=31092 vsize=246412 memory=193660 CPUtime=1.47 cores=5,7
/proc/31095/stat : 31095 (fscip) S 31092 31095 29025 0 -1 1077936128 60854 0 0 0 139 8 0 0 20 0 3 0 4816355 252325888 48415 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
/proc/31095/statm: 61603 48415 2966 3035 0 54752 0
[pid=31095/tid=31111] ppid=31092 vsize=246412 memory=11576 CPUtime=1.15 cores=5,7
/proc/31095/task/31111/stat : 31111 (fscip) R 31092 31095 29025 0 -1 4194368 37887 0 0 0 111 4 0 0 20 0 3 0 4816385 252325888 48415 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
[pid=31095/tid=31115] ppid=31092 vsize=246412 memory=0 CPUtime=0 cores=5,7
/proc/31095/task/31115/stat : 31115 (fscip) S 31092 31095 29025 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4816388 252325888 48415 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 246412 KiB
Current children cumulated memory: 193660 KiB

[startup+3.1055 s]
/proc/loadavg: 4.14 4.11 4.05 5/266 31242
/proc/meminfo: memFree=123420036/131524592 swapFree=131071996/131071996
[pid=31095] ppid=31092 vsize=246412 memory=195272 CPUtime=3.06 cores=5,7
/proc/31095/stat : 31095 (fscip) S 31092 31095 29025 0 -1 1077936128 72191 0 0 0 298 8 0 0 20 0 3 0 4816355 252325888 48818 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
/proc/31095/statm: 61603 48818 2966 3035 0 54752 0
[pid=31095/tid=31111] ppid=31092 vsize=246412 memory=11576 CPUtime=2.75 cores=5,7
/proc/31095/task/31111/stat : 31111 (fscip) R 31092 31095 29025 0 -1 4194368 49222 0 0 0 270 5 0 0 20 0 3 0 4816385 252325888 48818 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
[pid=31095/tid=31115] ppid=31092 vsize=246412 memory=0 CPUtime=0 cores=5,7
/proc/31095/task/31115/stat : 31115 (fscip) S 31092 31095 29025 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4816388 252325888 48818 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 246412 KiB
Current children cumulated memory: 195272 KiB

[startup+6.30017 s]
/proc/loadavg: 4.14 4.11 4.05 5/258 31280
/proc/meminfo: memFree=123426128/131524592 swapFree=131071996/131071996
[pid=31095] ppid=31092 vsize=311948 memory=224228 CPUtime=6.25 cores=5,7
/proc/31095/stat : 31095 (fscip) S 31092 31095 29025 0 -1 1077936128 101698 0 0 0 614 11 0 0 20 0 3 0 4816355 319434752 56057 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
/proc/31095/statm: 77987 56057 2966 3035 0 65287 0
[pid=31095/tid=31111] ppid=31092 vsize=311948 memory=11576 CPUtime=5.93 cores=5,7
/proc/31095/task/31111/stat : 31111 (fscip) R 31092 31095 29025 0 -1 4194368 78729 0 0 0 585 8 0 0 20 0 3 0 4816385 319434752 56057 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
[pid=31095/tid=31115] ppid=31092 vsize=311948 memory=0 CPUtime=0 cores=5,7
/proc/31095/task/31115/stat : 31115 (fscip) S 31092 31095 29025 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4816388 319434752 56057 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 311948 KiB
Current children cumulated memory: 224228 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 4.05 5/264 31290
/proc/meminfo: memFree=123155228/131524592 swapFree=131071996/131071996
[pid=31095] ppid=31092 vsize=377484 memory=262440 CPUtime=12.63 cores=5,7
/proc/31095/stat : 31095 (fscip) S 31092 31095 29025 0 -1 1077936128 143014 0 0 0 1249 14 0 0 20 0 3 0 4816355 386543616 65610 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
/proc/31095/statm: 94371 65610 2966 3035 0 75000 0
[pid=31095/tid=31111] ppid=31092 vsize=377484 memory=11576 CPUtime=12.32 cores=5,7
/proc/31095/task/31111/stat : 31111 (fscip) R 31092 31095 29025 0 -1 4194368 120036 0 0 0 1221 11 0 0 20 0 3 0 4816385 386543616 65610 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
[pid=31095/tid=31115] ppid=31092 vsize=377484 memory=225748 CPUtime=0 cores=5,7
/proc/31095/task/31115/stat : 31115 (fscip) S 31092 31095 29025 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 4816388 386543616 65610 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 377484 KiB
Current children cumulated memory: 262440 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.11 4.05 5/266 31295
/proc/meminfo: memFree=122873292/131524592 swapFree=131071996/131071996
[pid=31095] ppid=31092 vsize=377484 memory=262692 CPUtime=25.4 cores=5,7
/proc/31095/stat : 31095 (fscip) S 31092 31095 29025 0 -1 1077936128 160013 0 0 0 2524 16 0 0 20 0 3 0 4816355 386543616 65673 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
/proc/31095/statm: 94371 65673 3014 3035 0 75000 0
[pid=31095/tid=31111] ppid=31092 vsize=377484 memory=11576 CPUtime=25.08 cores=5,7
/proc/31095/task/31111/stat : 31111 (fscip) R 31092 31095 29025 0 -1 4194368 136955 0 0 0 2496 12 0 0 20 0 3 0 4816385 386543616 65673 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
[pid=31095/tid=31115] ppid=31092 vsize=377484 memory=132 CPUtime=0 cores=5,7
/proc/31095/task/31115/stat : 31115 (fscip) S 31092 31095 29025 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4816388 386543616 65673 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 377484 KiB
Current children cumulated memory: 262692 KiB

[startup+51.1058 s]
/proc/loadavg: 4.14 4.11 4.05 5/270 31406
/proc/meminfo: memFree=123091448/131524592 swapFree=131071996/131071996
[pid=31095] ppid=31092 vsize=377484 memory=262956 CPUtime=50.94 cores=5,7
/proc/31095/stat : 31095 (fscip) S 31092 31095 29025 0 -1 1077936128 202440 0 0 0 5075 19 0 0 20 0 3 0 4816355 386543616 65739 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
/proc/31095/statm: 94371 65739 3014 3035 0 75000 0
[pid=31095/tid=31111] ppid=31092 vsize=377484 memory=262712 CPUtime=50.62 cores=5,7
/proc/31095/task/31111/stat : 31111 (fscip) R 31092 31095 29025 0 -1 4194368 179296 0 0 0 5046 16 0 0 20 0 3 0 4816385 386543616 65739 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
[pid=31095/tid=31115] ppid=31092 vsize=377484 memory=262952 CPUtime=0 cores=5,7
/proc/31095/task/31115/stat : 31115 (fscip) S 31092 31095 29025 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 4816388 386543616 65739 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 377484 KiB
Current children cumulated memory: 262956 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/268 31416
/proc/meminfo: memFree=122990308/131524592 swapFree=131071996/131071996
[pid=31095] ppid=31092 vsize=377484 memory=263760 CPUtime=101.97 cores=5,7
/proc/31095/stat : 31095 (fscip) S 31092 31095 29025 0 -1 1077936128 266551 0 0 0 10173 24 0 0 20 0 3 0 4816355 386543616 65940 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
/proc/31095/statm: 94371 65940 3014 3035 0 75000 0
[pid=31095/tid=31111] ppid=31092 vsize=377484 memory=12888 CPUtime=101.65 cores=5,7
/proc/31095/task/31111/stat : 31111 (fscip) R 31092 31095 29025 0 -1 4194368 243277 0 0 0 10144 21 0 0 20 0 3 0 4816385 386543616 65940 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
[pid=31095/tid=31115] ppid=31092 vsize=377484 memory=11576 CPUtime=0 cores=5,7
/proc/31095/task/31115/stat : 31115 (fscip) S 31092 31095 29025 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4816388 386543616 65940 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 377484 KiB
Current children cumulated memory: 263760 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 4.09 4.05 5/268 31426
/proc/meminfo: memFree=122961244/131524592 swapFree=131071996/131071996
[pid=31095] ppid=31092 vsize=377484 memory=267268 CPUtime=161.79 cores=5,7
/proc/31095/stat : 31095 (fscip) S 31092 31095 29025 0 -1 1077936128 323857 0 0 0 16150 29 0 0 20 0 3 0 4816355 386543616 66817 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
/proc/31095/statm: 94371 66817 3014 3035 0 79866 0
[pid=31095/tid=31111] ppid=31092 vsize=377484 memory=264248 CPUtime=161.47 cores=5,7
/proc/31095/task/31111/stat : 31111 (fscip) R 31092 31095 29025 0 -1 4194368 300493 0 0 0 16122 25 0 0 20 0 3 0 4816385 386543616 66817 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
[pid=31095/tid=31115] ppid=31092 vsize=377484 memory=267032 CPUtime=0 cores=5,7
/proc/31095/task/31115/stat : 31115 (fscip) S 31092 31095 29025 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 4816388 386543616 66817 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 377484 KiB
Current children cumulated memory: 267268 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.12 4.06 5/268 31437
/proc/meminfo: memFree=122907144/131524592 swapFree=131071996/131071996
[pid=31095] ppid=31092 vsize=377484 memory=293184 CPUtime=221.63 cores=5,7
/proc/31095/stat : 31095 (fscip) S 31092 31095 29025 0 -1 1077936128 357852 0 0 0 22131 32 0 0 20 0 3 0 4816355 386543616 73296 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
/proc/31095/statm: 94371 73296 3014 3035 0 88809 0
[pid=31095/tid=31111] ppid=31092 vsize=377484 memory=293184 CPUtime=221.3 cores=5,7
/proc/31095/task/31111/stat : 31111 (fscip) R 31092 31095 29025 0 -1 4194368 334445 0 0 0 22102 28 0 0 20 0 3 0 4816385 386543616 73296 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0

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

[pid=31095] ppid=31092 vsize=643764 memory=574252 CPUtime=3452.96 cores=5,7
/proc/31095/stat : 31095 (fscip) S 31092 31095 29025 0 -1 1077936128 662683 0 0 0 345222 74 0 0 20 0 3 0 4816355 659214336 143563 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
/proc/31095/statm: 160941 143563 3030 3035 0 151299 0
[pid=31095/tid=31111] ppid=31092 vsize=643764 memory=11576 CPUtime=3452.56 cores=5,7
/proc/31095/task/31111/stat : 31111 (fscip) R 31092 31095 29025 0 -1 4194368 637970 0 0 0 345191 65 0 0 20 0 3 0 4816385 659214336 143563 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
[pid=31095/tid=31115] ppid=31092 vsize=643764 memory=11576 CPUtime=0.03 cores=5,7
/proc/31095/task/31115/stat : 31115 (fscip) S 31092 31095 29025 0 -1 1077936192 259 0 0 0 1 2 0 0 20 0 3 0 4816388 659214336 143563 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
Current children cumulated CPU time: 3452.96 s
Current children cumulated vsize: 643764 KiB
Current children cumulated memory: 574252 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.15 4.12 5/265 33091
/proc/meminfo: memFree=121319052/131524592 swapFree=131071996/131071996
[pid=31095] ppid=31092 vsize=643764 memory=574784 CPUtime=3512.77 cores=5,7
/proc/31095/stat : 31095 (fscip) S 31092 31095 29025 0 -1 1077936128 665035 0 0 0 351203 74 0 0 20 0 3 0 4816355 659214336 143696 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
/proc/31095/statm: 160941 143696 3030 3035 0 151427 0
[pid=31095/tid=31111] ppid=31092 vsize=643764 memory=11576 CPUtime=3512.38 cores=5,7
/proc/31095/task/31111/stat : 31111 (fscip) R 31092 31095 29025 0 -1 4194368 640300 0 0 0 351172 66 0 0 20 0 3 0 4816385 659214336 143696 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
[pid=31095/tid=31115] ppid=31092 vsize=643764 memory=574252 CPUtime=0.03 cores=5,7
/proc/31095/task/31115/stat : 31115 (fscip) S 31092 31095 29025 0 -1 1077936192 264 0 0 0 1 2 0 0 20 0 3 0 4816388 659214336 143696 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
Current children cumulated CPU time: 3512.77 s
Current children cumulated vsize: 643764 KiB
Current children cumulated memory: 574784 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.12 5/265 33269
/proc/meminfo: memFree=121311088/131524592 swapFree=131071996/131071996
[pid=31095] ppid=31092 vsize=643764 memory=575988 CPUtime=3572.6 cores=5,7
/proc/31095/stat : 31095 (fscip) S 31092 31095 29025 0 -1 1077936128 667216 0 0 0 357185 75 0 0 20 0 3 0 4816355 659214336 143997 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
/proc/31095/statm: 160941 143997 3030 3035 0 151755 0
[pid=31095/tid=31111] ppid=31092 vsize=643764 memory=11576 CPUtime=3572.19 cores=5,7
/proc/31095/task/31111/stat : 31111 (fscip) R 31092 31095 29025 0 -1 4194368 642462 0 0 0 357153 66 0 0 20 0 3 0 4816385 659214336 143997 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
[pid=31095/tid=31115] ppid=31092 vsize=643764 memory=11576 CPUtime=0.03 cores=5,7
/proc/31095/task/31115/stat : 31115 (fscip) S 31092 31095 29025 0 -1 1077936192 266 0 0 0 1 2 0 0 20 0 3 0 4816388 659214336 143997 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 643764 KiB
Current children cumulated memory: 575988 KiB

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

# cumulated CPU time of all completed processes:  user=3587.61 s, system=0.761852 s

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

[startup+3584 s]*
/proc/loadavg: 4.15 4.15 4.12 5/265 33269
/proc/meminfo: memFree=121310304/131524592 swapFree=131071996/131071996
[pid=31095] ppid=31092 vsize=643764 memory=575988 CPUtime=3574.3 cores=5,7
/proc/31095/stat : 31095 (fscip) S 31092 31095 29025 0 -1 1077936128 667247 0 0 0 357355 75 0 0 20 0 3 0 4816355 659214336 143997 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
/proc/31095/statm: 160941 143997 3030 3035 0 151798 0
[pid=31095/tid=31111] ppid=31092 vsize=643764 memory=-5155625799758015365 CPUtime=3573.89 cores=5,7
/proc/31095/task/31111/stat : 31111 (fscip) R 31092 31095 29025 0 -1 4194368 642493 0 0 0 357323 66 0 0 20 0 3 0 4816385 659214336 143997 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
[pid=31095/tid=31115] ppid=31092 vsize=643764 memory=31484 CPUtime=0.03 cores=5,7
/proc/31095/task/31115/stat : 31115 (fscip) S 31092 31095 29025 0 -1 1077936192 266 0 0 0 1 2 0 0 20 0 3 0 4816388 659214336 143997 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
Current children cumulated CPU time: 3574.3 s
Current children cumulated vsize: 643764 KiB
Current children cumulated memory: 575988 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.15 4.12 5/265 33270
/proc/meminfo: memFree=121308616/131524592 swapFree=131071996/131071996
[pid=31095] ppid=31092 vsize=643764 memory=577452 CPUtime=3580.67 cores=5,7
/proc/31095/stat : 31095 (fscip) S 31092 31095 29025 0 -1 1077936128 667868 0 0 0 357992 75 0 0 20 0 3 0 4816355 659214336 144363 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
/proc/31095/statm: 160941 144363 3030 3035 0 152232 0
[pid=31095/tid=31111] ppid=31092 vsize=643764 memory=575896 CPUtime=3580.26 cores=5,7
/proc/31095/task/31111/stat : 31111 (fscip) R 31092 31095 29025 0 -1 4194368 643114 0 0 0 357960 66 0 0 20 0 3 0 4816385 659214336 144363 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
[pid=31095/tid=31115] ppid=31092 vsize=643764 memory=577204 CPUtime=0.03 cores=5,7
/proc/31095/task/31115/stat : 31115 (fscip) S 31092 31095 29025 0 -1 1077936192 266 0 0 0 1 2 0 0 20 0 3 0 4816388 659214336 144363 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
Current children cumulated CPU time: 3580.67 s
Current children cumulated vsize: 643764 KiB
Current children cumulated memory: 577452 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.14 4.12 5/265 33270
/proc/meminfo: memFree=121308448/131524592 swapFree=131071996/131071996
[pid=31095] ppid=31092 vsize=643764 memory=577452 CPUtime=3583.86 cores=5,7
/proc/31095/stat : 31095 (fscip) S 31092 31095 29025 0 -1 1077936128 667871 0 0 0 358311 75 0 0 20 0 3 0 4816355 659214336 144363 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
/proc/31095/statm: 160941 144363 3030 3035 0 152232 0
[pid=31095/tid=31111] ppid=31092 vsize=643764 memory=577452 CPUtime=3583.46 cores=5,7
/proc/31095/task/31111/stat : 31111 (fscip) R 31092 31095 29025 0 -1 4194368 643117 0 0 0 358280 66 0 0 20 0 3 0 4816385 659214336 144363 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
[pid=31095/tid=31115] ppid=31092 vsize=643764 memory=12888 CPUtime=0.03 cores=5,7
/proc/31095/task/31115/stat : 31115 (fscip) S 31092 31095 29025 0 -1 1077936192 266 0 0 0 1 2 0 0 20 0 3 0 4816388 659214336 144363 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
Current children cumulated CPU time: 3583.86 s
Current children cumulated vsize: 643764 KiB
Current children cumulated memory: 577452 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.14 4.12 5/265 33272
/proc/meminfo: memFree=121308448/131524592 swapFree=131071996/131071996
[pid=31095] ppid=31092 vsize=643764 memory=577452 CPUtime=3585.45 cores=5,7
/proc/31095/stat : 31095 (fscip) S 31092 31095 29025 0 -1 1077936128 667871 0 0 0 358470 75 0 0 20 0 3 0 4816355 659214336 144363 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
/proc/31095/statm: 160941 144363 3030 3035 0 152232 0
[pid=31095/tid=31111] ppid=31092 vsize=643764 memory=5448 CPUtime=3585.05 cores=5,7
/proc/31095/task/31111/stat : 31111 (fscip) R 31092 31095 29025 0 -1 4194368 643117 0 0 0 358439 66 0 0 20 0 3 0 4816385 659214336 144363 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
[pid=31095/tid=31115] ppid=31092 vsize=643764 memory=11576 CPUtime=0.03 cores=5,7
/proc/31095/task/31115/stat : 31115 (fscip) S 31092 31095 29025 0 -1 1077936192 266 0 0 0 1 2 0 0 20 0 3 0 4816388 659214336 144363 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
Current children cumulated CPU time: 3585.45 s
Current children cumulated vsize: 643764 KiB
Current children cumulated memory: 577452 KiB

[startup+3596.8 s]
/proc/loadavg: 4.12 4.14 4.12 5/265 33272
/proc/meminfo: memFree=121308280/131524592 swapFree=131071996/131071996
[pid=31095] ppid=31092 vsize=643764 memory=577452 CPUtime=3587.05 cores=5,7
/proc/31095/stat : 31095 (fscip) S 31092 31095 29025 0 -1 1077936128 667873 0 0 0 358630 75 0 0 20 0 3 0 4816355 659214336 144363 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
/proc/31095/statm: 160941 144363 3030 3035 0 152232 0
[pid=31095/tid=31111] ppid=31092 vsize=643764 memory=577452 CPUtime=3586.64 cores=5,7
/proc/31095/task/31111/stat : 31111 (fscip) R 31092 31095 29025 0 -1 4194368 643119 0 0 0 358598 66 0 0 20 0 3 0 4816385 659214336 144363 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
[pid=31095/tid=31115] ppid=31092 vsize=643764 memory=576440 CPUtime=0.03 cores=5,7
/proc/31095/task/31115/stat : 31115 (fscip) S 31092 31095 29025 0 -1 1077936192 266 0 0 0 1 2 0 0 20 0 3 0 4816388 659214336 144363 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
Current children cumulated CPU time: 3587.05 s
Current children cumulated vsize: 643764 KiB
Current children cumulated memory: 577452 KiB

[startup+3597.6 s]
/proc/loadavg: 4.11 4.14 4.12 5/265 33272
/proc/meminfo: memFree=121308280/131524592 swapFree=131071996/131071996
[pid=31095] ppid=31092 vsize=643764 memory=577452 CPUtime=3587.85 cores=5,7
/proc/31095/stat : 31095 (fscip) S 31092 31095 29025 0 -1 1077936128 667873 0 0 0 358710 75 0 0 20 0 3 0 4816355 659214336 144363 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
/proc/31095/statm: 160941 144363 3030 3035 0 152232 0
[pid=31095/tid=31111] ppid=31092 vsize=643764 memory=-5155625799758015365 CPUtime=3587.44 cores=5,7
/proc/31095/task/31111/stat : 31111 (fscip) R 31092 31095 29025 0 -1 4194368 643119 0 0 0 358678 66 0 0 20 0 3 0 4816385 659214336 144363 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
[pid=31095/tid=31115] ppid=31092 vsize=643764 memory=-5155633680935826750 CPUtime=0.03 cores=5,7
/proc/31095/task/31115/stat : 31115 (fscip) S 31092 31095 29025 0 -1 1077936192 266 0 0 0 1 2 0 0 20 0 3 0 4816388 659214336 144363 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
Current children cumulated CPU time: 3587.85 s
Current children cumulated vsize: 643764 KiB
Current children cumulated memory: 577452 KiB

[startup+3598 s]*
/proc/loadavg: 4.11 4.14 4.12 5/265 33272
/proc/meminfo: memFree=121308280/131524592 swapFree=131071996/131071996
[pid=31095] ppid=31092 vsize=643764 memory=577452 CPUtime=3588.25 cores=5,7
/proc/31095/stat : 31095 (fscip) S 31092 31095 29025 0 -1 1077936128 667873 0 0 0 358750 75 0 0 20 0 3 0 4816355 659214336 144363 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
/proc/31095/statm: 160941 144363 3030 3035 0 152232 0
[pid=31095/tid=31111] ppid=31092 vsize=643764 memory=-5155625799758015365 CPUtime=3587.85 cores=5,7
/proc/31095/task/31111/stat : 31111 (fscip) R 31092 31095 29025 0 -1 4194368 643119 0 0 0 358719 66 0 0 20 0 3 0 4816385 659214336 144363 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
[pid=31095/tid=31115] ppid=31092 vsize=643764 memory=-5155633680935826750 CPUtime=0.03 cores=5,7
/proc/31095/task/31115/stat : 31115 (fscip) S 31092 31095 29025 0 -1 1077936192 266 0 0 0 1 2 0 0 20 0 3 0 4816388 659214336 144363 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
Current children cumulated CPU time: 3588.25 s
Current children cumulated vsize: 643764 KiB
Current children cumulated memory: 577452 KiB

[startup+3598.11 s]
/proc/loadavg: 4.11 4.14 4.12 5/265 33272
/proc/meminfo: memFree=121308280/131524592 swapFree=131071996/131071996
[pid=31095] ppid=31092 vsize=629484 memory=541268 CPUtime=3588.35 cores=5,7
/proc/31095/stat : 31095 (fscip) R 31092 31095 29025 0 -1 4194304 670882 0 0 0 358760 75 0 0 20 0 2 0 4816355 644591616 135317 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
/proc/31095/statm: 157371 135317 3030 3035 0 148662 0
[pid=31095/tid=31115] ppid=31092 vsize=629484 memory=11576 CPUtime=0.03 cores=5,7
/proc/31095/task/31115/stat : 31115 (fscip) S 31092 31095 29025 0 -1 1077936192 266 0 0 0 1 2 0 0 20 0 2 0 4816388 644591616 135317 134679101440 4194304 16623229 140727550626064 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51130368 140727550628886 140727550629002 140727550629002 140727550636016 0
Current children cumulated CPU time: 3588.35 s
Current children cumulated vsize: 629484 KiB
Current children cumulated memory: 541268 KiB

Child status: 0

Real time (s): 3598.12
CPU time (s): 3588.38
CPU user time (s): 3587.61
CPU system time (s): 0.761852
CPU usage (%): 99.7291
Max. virtual memory (cumulated for all children) (KiB): 643764
Max. memory (cumulated for all children) (KiB): 577452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.61
system time used= 0.761852
maximum resident set size= 577544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 670994
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= 4791
involuntary context switches= 3609


# summary of solver processes directly reported to runsolver:
#   pid: 31095
#   total CPU time (s): 3588.38
#   total CPU user time (s): 3587.61
#   total CPU system time (s): 0.761852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.42677 second user time and 15.5738 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-31 01:29:52
IDJOB=4464082
IDBENCH=148192
IDSOLVER=3092
FILE ID=nodeC016/4464082-1722382192
RUNJOBID= nodeC016-1722378594-29038
SLURM_JOB_ID= 8249829
Free space on /tmp= 889992 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.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-4464082-1722382192/watcher-4464082-1722382192 -o /tmp/evaluation-result-4464082-1722382192/solver-4464082-1722382192 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722378594-29038 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464082-1722382192.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 2f5de9b63d0a2988dce846045b262c40
RANDOM SEED=1453536771

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524592 kB
MemFree:        120135736 kB
MemAvailable:   125542936 kB
Buffers:          101068 kB
Cached:          6111932 kB
SwapCached:            0 kB
Active:           277724 kB
Inactive:       10561836 kB
Active(anon):       1580 kB
Inactive(anon):  4646320 kB
Active(file):     276144 kB
Inactive(file):  5915516 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             29000 kB
Writeback:             0 kB
AnonPages:       4623248 kB
Mapped:           126004 kB
Shmem:             21336 kB
KReclaimable:     110684 kB
Slab:             197680 kB
SReclaimable:     110684 kB
SUnreclaim:        86996 kB
KernelStack:        4252 kB
PageTables:        18168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:    2496724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9920 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3332096 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:      275156 kB
DirectMap2M:     7886848 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 889968 MiB
End job on nodeC016 at 2024-07-31 02:29:51