Trace number 4464278

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-30SAT-580 3587.42 3598.05

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament50.lin.opb
MD5SUM16979d2f8203ffed07f73a3588d8874c
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-599
Best CPU time to get the best result obtained on this benchmark72000.6
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3625
Total number of constraints4800
Number of constraints which are clauses2400
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2400
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 3130
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 3368
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3368
Number of bits of the biggest sum of numbers12
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.02	c Default LC presolving (default).
0.00/0.02	c ** Before presolving: virtualMemUsedAtLc = 38760448, getVmSize() = 38760448, SCIPgetMemUsed() = 13439907, SCIPgetMemTotal() = 16767419, SCIPgetMemExternEstim() = 7695499
0.00/0.02	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.10/0.10	c ** Estimated virtualMemUsedAtSolver = 32056661, getVmSize() = 57409536, SCIPgetMemUsed() = 18274292, SCIPgetMemTotal() = 33407820, SCIPgetMemExternEstim() = 7695499
0.10/0.10	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.10/0.10	c Original Problem   :
0.10/0.10	c   Problem name     : instance-4464278-1722385796
0.10/0.10	c   Variables        : 3625 (3625 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.10	c   Constraints      : 4800
0.10/0.10	c   Objective sense  : minimize
0.10/0.10	c Presolved Problem  :
0.10/0.10	c   Variables        : 3625 (3625 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.10	c   Constraints      : 2400
0.10/0.10	c Constraints        : Number
0.10/0.10	c   and              : 2400 
0.10/0.10	c ** Instance transfer method used: 0
0.10/0.11	c ** ParaScipInstance copy does not increase the number of variables. **
0.10/0.12	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.10/0.12	c                                Nodes    Active                                            
0.10/0.12	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.20/0.22	c *       0              0           1         1        -274.0000                -          -
0.20/0.29	c *       0              0           1         1        -426.0000                -          -
0.78/0.82	c *       1              0           1         1        -431.0000                -          -
0.88/0.97	c *       1              0           1         1        -433.0000                -          -
67.31/67.53	c        68              2           1         1        -433.0000        -647.1627     49.46%
73.89/74.17	c        74              3           2         1        -433.0000        -646.9061     49.40%
85.26/85.50	c        86              4           3         1        -433.0000        -646.9061     49.40%
95.03/95.32	c        95              5           4         1        -433.0000        -646.9061     49.40%
104.12/104.41	c       104              6           5         1        -433.0000        -646.9061     49.40%
111.70/112.04	c       112              7           6         1        -433.0000        -646.9061     49.40%
117.38/117.77	c       118              8           7         1        -433.0000        -646.9061     49.40%
134.83/135.28	c       135             12          11         1        -433.0000        -646.9061     49.40%
141.91/142.33	c *     142             12          11         1        -516.0000        -646.9061     25.37%
141.91/142.33	c       142             12          11         1        -516.0000        -646.9061     25.37%
141.91/142.36	c *     142             13          12         1        -520.0000        -646.9061     24.41%
147.29/147.78	c       148             14          13         1        -520.0000        -646.9061     24.41%
166.22/166.74	c       167             15          14         1        -520.0000        -646.9061     24.41%
172.51/173.01	c       173             25          24         1        -520.0000        -646.9061     24.41%
184.36/184.90	c       185             28          27         1        -520.0000        -646.9061     24.41%
194.23/194.88	c       195             33          32         1        -520.0000        -646.9061     24.41%
199.32/199.94	c       200             39          38         1        -520.0000        -646.9061     24.41%
207.39/208.06	c       208             42          41         1        -520.0000        -646.9061     24.41%
216.26/216.98	c       217             49          48         1        -520.0000        -646.9061     24.41%
234.20/234.92	c       235             53          52         1        -520.0000        -646.9061     24.41%
241.47/242.22	c       242             55          54         1        -520.0000        -646.9061     24.41%
250.64/251.42	c       251             57          56         1        -520.0000        -646.9061     24.41%
258.23/259.06	c       259             60          59         1        -520.0000        -646.9061     24.41%
272.38/273.21	c       273             61          60         1        -520.0000        -646.9061     24.41%
397.38/398.59	c *     399             61          60         1        -521.0000        -646.9061     24.17%
397.38/398.59	c       399             61          60         1        -521.0000        -646.9061     24.17%
397.38/398.59	c *     399             61          60         1        -523.0000        -646.9061     23.69%
402.76/403.97	c       404             68          67         1        -523.0000        -646.9061     23.69%
415.73/416.99	c       417             70          69         1        -523.0000        -646.9061     23.69%
423.31/424.51	c       425             74          73         1        -523.0000        -646.9061     23.69%
436.38/437.69	c       438             76          75         1        -523.0000        -646.9061     23.69%
442.87/444.12	c       444             77          76         1        -523.0000        -646.9061     23.69%
449.44/450.76	c *     451             77          76         1        -532.0000        -646.9061     21.60%
449.44/450.76	c       451             77          76         1        -532.0000        -646.9061     21.60%
449.44/450.78	c *     451             77          76         1        -534.0000        -646.9061     21.14%
455.03/456.32	c       456             82          81         1        -534.0000        -646.9061     21.14%
470.69/472.07	c *     472             82          81         1        -543.0000        -646.9061     19.14%
470.69/472.07	c       472             82          81         1        -543.0000        -646.9061     19.14%
470.69/472.10	c *     472             82          81         1        -545.0000        -646.9061     18.70%
481.26/482.64	c       483             85          84         1        -545.0000        -646.9061     18.70%
492.34/493.75	c       494             89          88         1        -545.0000        -646.9061     18.70%
502.41/503.81	c       504             90          89         1        -545.0000        -646.9061     18.70%
510.99/512.44	c       512             94          93         1        -545.0000        -646.9061     18.70%
516.47/517.96	c       518             96          95         1        -545.0000        -646.9061     18.70%
525.05/526.52	c       527            100          99         1        -545.0000        -646.9061     18.70%
531.24/532.76	c       533            101         100         1        -545.0000        -646.9061     18.70%
543.32/544.86	c       545            108         109         1        -545.0000        -646.9061     18.70%
549.70/551.29	c       551            111         110         1        -545.0000        -646.9061     18.70%
555.39/556.95	c       557            112         111         1        -545.0000        -646.9061     18.70%
566.46/568.01	c       568            115         114         1        -545.0000        -646.9061     18.70%
579.92/581.50	c       582            118         117         1        -545.0000        -646.9061     18.70%
585.21/586.89	c       587            120         119         1        -545.0000        -646.9061     18.70%
595.78/597.42	c *     597            123         122         1        -554.0000        -646.9061     16.77%
595.78/597.42	c       597            123         122         1        -554.0000        -646.9061     16.77%
601.87/603.51	c       604            126         125         1        -554.0000        -646.9061     16.77%
609.05/610.72	c *     611            128         127         1        -563.0000        -646.9061     14.90%
609.05/610.72	c       611            128         127         1        -563.0000        -646.9061     14.90%
610.25/611.93	c *     612            130         129         1        -565.0000        -646.9061     14.50%
618.03/619.75	c       620            137         136         1        -565.0000        -646.9061     14.50%
623.22/624.96	c       625            146         145         1        -565.0000        -646.9061     14.50%
628.80/630.58	c       631            152         151         1        -565.0000        -646.9061     14.50%
638.18/639.96	c       640            154         153         1        -565.0000        -646.9061     14.50%
645.76/647.56	c       648            160         159         1        -565.0000        -646.9061     14.50%
654.54/656.30	c       656            169         168         1        -565.0000        -646.9061     14.50%
659.93/661.77	c       662            171         170         1        -565.0000        -646.9061     14.50%
666.01/667.83	c       668            180         179         1        -565.0000        -646.9061     14.50%
674.49/676.36	c       676            187         186         1        -565.0000        -646.9061     14.50%
679.88/681.70	c       682            193         192         1        -565.0000        -646.9061     14.50%
687.66/689.59	c       690            200         199         1        -565.0000        -646.9061     14.50%
693.84/695.70	c       696            204         203         1        -565.0000        -646.9061     14.50%
699.13/701.04	c       701            211         210         1        -565.0000        -646.9061     14.50%
706.91/708.80	c       709            218         217         1        -565.0000        -646.9061     14.50%
712.10/714.03	c       714            232         231         1        -565.0000        -646.9061     14.50%
717.19/719.12	c       719            241         240         1        -565.0000        -646.9061     14.50%
726.66/728.63	c       729            242         241         1        -565.0000        -646.5508     14.43%
757.66/759.78	c       760            251         250         1        -565.0000        -646.5508     14.43%
771.82/773.97	c       774            252         251         1        -565.0000        -646.0442     14.34%
778.10/780.28	c       780            254         253         1        -565.0000        -646.0442     14.34%
784.58/786.70	c       787            259         258         1        -565.0000        -646.0442     14.34%
802.62/804.86	c       805            260         259         1        -565.0000        -646.0442     14.34%
818.07/820.33	c       820            261         260         1        -565.0000        -646.0442     14.34%
832.73/835.10	c       835            262         261         1        -565.0000        -645.4983     14.25%
841.10/843.45	c       843            264         263         1        -565.0000        -645.4983     14.25%
865.33/867.76	c       868            269         268         1        -565.0000        -645.4983     14.25%
1073.59/1076.61	c      1077            271         270         1        -565.0000        -645.4983     14.25%
1088.44/1091.58	c      1092            272         271         1        -565.0000        -644.8848     14.14%
1094.03/1097.11	c      1097            273         272         1        -565.0000        -644.8848     14.14%
1102.70/1105.80	c      1106            277         276         1        -565.0000        -644.8848     14.14%
1119.65/1122.82	c      1123            278         277         1        -565.0000        -644.8848     14.14%
1126.32/1129.52	c      1130            280         279         1        -565.0000        -644.8848     14.14%
1152.04/1155.34	c      1155            281         280         1        -565.0000        -644.8848     14.14%
1168.89/1172.29	c      1172            282         281         1        -565.0000        -644.3514     14.04%
1174.17/1177.55	c      1178            283         282         1        -565.0000        -644.3514     14.04%
1189.33/1192.79	c      1193            287         286         1        -565.0000        -644.3514     14.04%
1197.00/1200.46	c      1200            290         289         1        -565.0000        -644.3514     14.04%
1207.47/1210.90	c      1211            291         290         1        -565.0000        -644.3514     14.04%
1225.01/1228.58	c      1229            292         291         1        -565.0000        -643.4907     13.89%
1230.40/1233.94	c      1234            293         292         1        -565.0000        -643.4907     13.89%
1240.17/1243.72	c      1244            296         295         1        -565.0000        -643.4907     13.89%
1250.64/1254.28	c      1254            299         298         1        -565.0000        -643.4907     13.89%
1262.60/1266.26	c      1266            301         300         1        -565.0000        -643.4907     13.89%
1278.45/1282.17	c      1282            302         301         1        -565.0000        -643.1590     13.83%
1295.19/1298.91	c      1299            305         304         1        -565.0000        -643.1590     13.83%
1301.67/1305.47	c      1305            309         308         1        -565.0000        -643.1590     13.83%
1316.14/1319.91	c      1320            311         310         1        -565.0000        -643.1590     13.83%
1330.10/1333.90	c      1334            312         311         1        -565.0000        -641.7611     13.59%
1352.33/1356.24	c      1356            314         313         1        -565.0000        -641.7611     13.59%
1359.11/1363.09	c      1363            315         314         1        -565.0000        -641.7611     13.59%
1364.29/1368.23	c      1368            319         318         1        -565.0000        -641.7611     13.59%
1375.65/1379.68	c      1380            321         320         1        -565.0000        -641.7611     13.59%
1405.86/1409.90	c      1410            322         321         1        -565.0000        -639.3067     13.15%
1413.74/1417.86	c      1418            324         323         1        -565.0000        -639.3067     13.15%
1419.81/1423.96	c      1424            328         327         1        -565.0000        -639.3067     13.15%
1434.28/1438.45	c      1438            331         330         1        -565.0000        -639.3067     13.15%
1445.54/1449.77	c      1450            332         331         1        -565.0000        -639.2736     13.15%
1454.31/1458.55	c      1459            336         335         1        -565.0000        -639.2736     13.15%
1459.70/1463.97	c      1464            338         337         1        -565.0000        -639.2736     13.15%
1477.14/1481.45	c      1481            340         339         1        -565.0000        -639.2736     13.15%
1493.59/1497.97	c      1498            342         341         1        -565.0000        -638.6130     13.03%
1500.46/1504.85	c      1505            345         344         1        -565.0000        -638.6130     13.03%
1505.95/1510.33	c      1510            346         345         1        -565.0000        -638.6130     13.03%
1517.31/1521.73	c      1522            349         348         1        -565.0000        -638.6130     13.03%
1528.18/1532.65	c *    1533            350         349         1        -567.0000        -638.6130     12.63%
1528.18/1532.65	c      1533            350         349         1        -567.0000        -638.6130     12.63%
1541.83/1546.33	c      1546            352         351         1        -567.0000        -638.4367     12.60%
1548.21/1552.74	c      1553            355         354         1        -567.0000        -638.4367     12.60%
1553.70/1558.27	c      1558            356         355         1        -567.0000        -638.4367     12.60%
1571.24/1575.84	c      1576            358         357         1        -567.0000        -638.4367     12.60%
1577.43/1582.04	c      1582            360         359         1        -567.0000        -638.4367     12.60%
1583.20/1587.86	c      1588            361         360         1        -567.0000        -638.4367     12.60%
1596.77/1601.47	c      1601            362         361         1        -567.0000        -637.4072     12.42%
1602.95/1607.69	c      1608            365         364         1        -567.0000        -637.4072     12.42%
1618.30/1623.06	c      1623            367         366         1        -567.0000        -637.4072     12.42%
1624.38/1629.11	c      1629            369         368         1        -567.0000        -637.4072     12.42%
1631.06/1635.82	c      1636            373         372         1        -567.0000        -637.4072     12.42%
1636.44/1641.21	c      1641            376         375         1        -567.0000        -637.4072     12.42%
1643.02/1647.87	c      1648            378         377         1        -567.0000        -637.4072     12.42%
1649.80/1654.60	c      1655            383         382         1        -567.0000        -637.4072     12.42%
1656.58/1661.47	c      1661            387         386         1        -567.0000        -637.4072     12.42%
1663.16/1668.01	c      1668            389         388         1        -567.0000        -637.4072     12.42%
1673.23/1678.11	c      1678            396         395         1        -567.0000        -637.4072     12.42%
1678.70/1683.60	c      1684            400         399         1        -567.0000        -637.4072     12.42%
1683.89/1688.88	c      1689            406         405         1        -567.0000        -637.4072     12.42%
1691.17/1696.15	c      1696            408         407         1        -567.0000        -637.4072     12.42%
1697.15/1702.12	c      1702            411         410         1        -567.0000        -637.4072     12.42%
1702.83/1707.82	c      1708            413         412         1        -567.0000        -637.4072     12.42%
1708.21/1713.23	c      1713            420         419         1        -567.0000        -637.4072     12.42%
1715.19/1720.23	c      1720            424         423         1        -567.0000        -637.4072     12.42%
1724.26/1729.30	c      1729            428         427         1        -567.0000        -637.4072     12.42%
1732.44/1737.53	c      1738            436         435         1        -567.0000        -637.4072     12.42%
1738.53/1743.62	c      1744            448         447         1        -567.0000        -637.4072     12.42%
1744.41/1749.52	c      1750            452         451         1        -567.0000        -637.4072     12.42%
1752.09/1757.20	c      1757            460         459         1        -567.0000        -637.4072     12.42%
1760.77/1765.97	c      1766            463         462         1        -567.0000        -637.4072     12.42%
1769.75/1774.94	c      1775            470         469         1        -567.0000        -637.4072     12.42%
1775.84/1781.04	c      1781            475         474         1        -567.0000        -637.4072     12.42%
1783.92/1789.13	c      1789            484         483         1        -567.0000        -637.4072     12.42%
1789.59/1794.81	c      1795            502         501         1        -567.0000        -637.4072     12.42%
1795.08/1800.34	c      1800            510         509         1        -567.0000        -637.4072     12.42%
1800.06/1805.37	c      1805            526         525         1        -567.0000        -637.4072     12.42%
1805.14/1810.40	c      1810            538         537         1        -567.0000        -637.4072     12.42%
1848.01/1853.44	c      1853            550         551         1        -567.0000        -637.4072     12.42%
1848.01/1853.44	c *    1853            550         551         1        -571.0000        -637.4072     11.63%
1854.00/1859.46	c      1859            573         562         1        -571.0000        -637.1026     11.58%
1884.30/1889.87	c      1890            576         565         1        -571.0000        -637.1026     11.58%
1890.78/1896.39	c      1896            577         566         1        -571.0000        -637.1026     11.58%
1895.86/1901.47	c      1901            580         569         1        -571.0000        -637.1026     11.58%
1901.55/1907.13	c      1907            582         571         1        -571.0000        -637.1026     11.58%
1909.42/1915.00	c      1915            584         573         1        -571.0000        -637.1026     11.58%
1916.79/1922.44	c      1922            632         577         1        -571.0000        -636.6771     11.50%
1949.49/1955.26	c      1955            635         580         1        -571.0000        -636.6771     11.50%
1955.28/1961.02	c      1961            637         582         1        -571.0000        -636.6771     11.50%
1962.15/1967.95	c      1968            640         585         1        -571.0000        -636.6771     11.50%
1968.23/1974.00	c      1974            643         588         1        -571.0000        -636.6771     11.50%
1975.70/1981.54	c      1982            652         589         1        -571.0000        -636.0857     11.40%
2008.72/2014.62	c      2015            654         591         1        -571.0000        -636.0857     11.40%
2013.70/2019.67	c      2020            656         593         1        -571.0000        -636.0857     11.40%
2020.59/2026.52	c      2027            659         596         1        -571.0000        -636.0857     11.40%
2025.77/2031.74	c      2032            662         599         1        -571.0000        -636.0857     11.40%
2031.76/2037.79	c      2038            666         603         1        -571.0000        -636.0857     11.40%
2037.45/2043.45	c      2043            727         604         1        -571.0000        -636.0857     11.40%
2056.30/2062.36	c      2062            750         603         1        -571.0000        -636.0857     11.40%
2076.14/2082.27	c      2082            759         598         1        -571.0000        -636.0857     11.40%
2108.87/2115.09	c      2115            773         598         1        -571.0000        -635.7066     11.33%
2115.15/2121.39	c      2121            775         600         1        -571.0000        -635.7066     11.33%
2121.14/2127.34	c      2127            778         603         1        -571.0000        -635.7066     11.33%
2127.12/2133.31	c      2133            780         605         1        -571.0000        -635.7066     11.33%
2132.81/2139.02	c      2139            783         608         1        -571.0000        -635.7066     11.33%
2150.26/2156.55	c      2157            786         611         1        -571.0000        -635.7066     11.33%
2156.64/2162.97	c      2163            814         609         1        -571.0000        -635.4535     11.29%
2186.67/2193.07	c      2193            815         610         1        -571.0000        -635.4535     11.29%
2192.76/2199.16	c      2199            818         613         1        -571.0000        -635.4535     11.29%
2198.44/2204.86	c      2205            821         616         1        -571.0000        -635.4535     11.29%
2203.63/2210.00	c      2210            824         619         1        -571.0000        -635.4535     11.29%
2208.91/2215.36	c      2215            837         628         1        -571.0000        -635.4535     11.29%
2215.09/2221.53	c      2222            895         638         1        -571.0000        -635.4535     11.29%
2247.00/2253.56	c      2254            932         637         1        -571.0000        -635.1470     11.23%
2252.28/2258.85	c      2259            933         638         1        -571.0000        -635.1470     11.23%
2258.66/2265.25	c      2265            936         641         1        -571.0000        -635.1470     11.23%
2264.94/2271.55	c      2272            940         645         1        -571.0000        -635.1470     11.23%
2270.43/2277.04	c      2277            943         648         1        -571.0000        -635.1470     11.23%
2275.91/2282.55	c      2283            963         648         1        -571.0000        -635.1470     11.23%
2281.79/2288.48	c      2288            998         647         1        -571.0000        -635.1470     11.23%
2318.98/2325.79	c      2326           1014         649         1        -571.0000        -634.7930     11.17%
2325.26/2332.04	c      2332           1017         652         1        -571.0000        -634.7930     11.17%
2330.84/2337.66	c      2338           1019         654         1        -571.0000        -634.7930     11.17%
2336.12/2342.91	c      2343           1022         657         1        -571.0000        -634.7930     11.17%
2341.50/2348.35	c      2348           1024         659         1        -571.0000        -634.7930     11.17%
2375.80/2382.71	c      2383           1033         664         1        -571.0000        -634.4975     11.12%
2381.48/2388.43	c      2388           1035         666         1        -571.0000        -634.4975     11.12%
2386.67/2393.64	c      2394           1038         669         1        -571.0000        -634.4975     11.12%
2392.95/2399.94	c      2400           1041         672         1        -571.0000        -634.4975     11.12%
2398.53/2405.50	c      2406           1044         675         1        -571.0000        -634.4975     11.12%
2404.71/2411.74	c      2412           1069         676         1        -571.0000        -634.4975     11.12%
2437.71/2444.87	c      2445           1094         679         1        -571.0000        -634.3961     11.10%
2444.89/2452.09	c      2452           1097         682         1        -571.0000        -634.3961     11.10%
2450.37/2457.52	c      2458           1100         685         1        -571.0000        -634.3961     11.10%
2456.75/2463.90	c      2464           1104         689         1        -571.0000        -634.3961     11.10%
2494.23/2501.57	c      2502           1112         687         1        -571.0000        -634.1300     11.06%
2505.80/2513.13	c      2513           1113         688         1        -571.0000        -634.1300     11.06%
2510.98/2518.31	c      2518           1115         690         1        -571.0000        -634.1300     11.06%
2517.56/2524.97	c      2525           1118         693         1        -571.0000        -634.1300     11.06%
2527.33/2534.71	c      2535           1122         697         1        -571.0000        -634.1300     11.06%
2532.82/2540.24	c      2540           1131         702         1        -571.0000        -634.1300     11.06%
2565.02/2572.53	c      2573           1143         698         1        -571.0000        -634.1128     11.05%
2571.10/2578.69	c      2579           1144         699         1        -571.0000        -634.1128     11.05%
2578.37/2585.90	c      2586           1147         702         1        -571.0000        -634.1128     11.05%
2583.66/2591.24	c      2591           1150         705         1        -571.0000        -634.1128     11.05%
2590.44/2598.03	c      2598           1153         708         1        -571.0000        -634.1128     11.05%
2595.52/2603.13	c      2603           1155         710         1        -571.0000        -634.1128     11.05%
2630.21/2637.99	c      2638           1162         711         1        -571.0000        -634.1029     11.05%
2636.88/2644.64	c      2645           1164         713         1        -571.0000        -634.1029     11.05%
2643.06/2650.87	c      2651           1167         716         1        -571.0000        -634.1029     11.05%
2651.34/2659.16	c      2659           1170         719         1        -571.0000        -634.1029     11.05%
2656.92/2664.79	c      2665           1173         722         1        -571.0000        -634.1029     11.05%
2663.00/2670.83	c      2671           1200         721         1        -571.0000        -634.1029     11.05%
2668.30/2676.15	c      2676           1232         719         1        -571.0000        -634.0620     11.04%
2697.49/2705.41	c      2705           1234         721         1        -571.0000        -634.0620     11.04%
2704.37/2712.38	c      2712           1236         723         1        -571.0000        -634.0620     11.04%
2709.66/2717.65	c      2718           1238         725         1        -571.0000        -634.0620     11.04%
2714.94/2722.92	c      2723           1241         728         1        -571.0000        -634.0620     11.04%
2722.02/2730.09	c      2730           1244         731         1        -571.0000        -634.0620     11.04%
2728.80/2736.81	c *    2737           1244         731         1        -574.0000        -634.0620     10.46%
2728.80/2736.81	c      2737           1244         731         1        -574.0000        -634.0620     10.46%
2729.10/2737.19	c *    2737           1245         731         1        -575.0000        -634.0620     10.27%
2734.48/2742.50	c      2742           1275         734         1        -575.0000        -634.0620     10.27%
2739.56/2747.68	c      2748           1292         733         1        -575.0000        -634.0577     10.27%
2764.18/2772.36	c      2772           1293         734         1        -575.0000        -634.0577     10.27%
2771.56/2779.75	c      2780           1294         735         1        -575.0000        -634.0577     10.27%
2778.73/2786.94	c      2787           1297         738         1        -575.0000        -634.0577     10.27%
2785.21/2793.49	c      2794           1300         741         1        -575.0000        -634.0577     10.27%
2794.29/2802.54	c      2803           1303         744         1        -575.0000        -634.0577     10.27%
2799.38/2807.69	c      2808           1319         746         1        -575.0000        -634.0577     10.27%
2805.16/2813.43	c      2813           1347         748         1        -575.0000        -634.0577     10.27%
2810.74/2819.03	c      2819           1368         749         1        -575.0000        -634.0577     10.27%
2843.43/2851.87	c      2852           1372         749         1        -575.0000        -633.8534     10.24%
2848.91/2857.34	c      2857           1374         751         1        -575.0000        -633.8534     10.24%
2855.99/2864.45	c      2864           1377         754         1        -575.0000        -633.8534     10.24%
2862.17/2870.69	c      2871           1381         758         1        -575.0000        -633.8534     10.24%
2870.35/2878.87	c      2879           1383         760         1        -575.0000        -633.8534     10.24%
2878.82/2887.36	c      2887           1385         762         1        -575.0000        -633.8534     10.24%
2885.10/2893.63	c      2894           1412         765         1        -575.0000        -633.5531     10.18%
2907.13/2915.76	c      2916           1413         766         1        -575.0000        -633.5531     10.18%
2915.51/2924.18	c      2924           1415         768         1        -575.0000        -633.5531     10.18%
2921.39/2930.10	c      2930           1418         771         1        -575.0000        -633.5531     10.18%
2927.47/2936.16	c      2936           1422         775         1        -575.0000        -633.5531     10.18%
2934.85/2943.58	c      2944           1425         778         1        -575.0000        -633.5531     10.18%
2941.12/2949.84	c      2950           1453         780         1        -575.0000        -633.5531     10.18%
2948.60/2957.36	c      2957           1482         775         1        -575.0000        -633.5378     10.18%
2954.29/2963.06	c      2963           1483         776         1        -575.0000        -633.5378     10.18%
2960.07/2968.82	c      2969           1486         779         1        -575.0000        -633.5378     10.18%
2962.87/2971.60	c *    2972           1486         781         1        -578.0000        -633.5378      9.61%
2985.81/2994.64	c      2995           1489         774         1        -578.0000        -633.5378      9.61%
2991.89/3000.71	c      3001           1491         776         1        -578.0000        -633.5378      9.61%
2997.49/3006.31	c      3006           1493         778         1        -578.0000        -633.5378      9.61%
3015.93/3024.84	c      3025           1495         780         1        -578.0000        -633.5378      9.61%
3021.42/3030.39	c      3030           1522         779         1        -578.0000        -633.5223      9.61%
3044.55/3053.59	c      3054           1523         780         1        -578.0000        -633.5223      9.61%
3053.52/3062.54	c      3063           1525         782         1        -578.0000        -633.5223      9.61%
3060.90/3069.90	c      3070           1527         784         1        -578.0000        -633.5223      9.61%
3067.37/3076.48	c      3076           1531         788         1        -578.0000        -633.5223      9.61%
3074.35/3083.45	c      3083           1534         791         1        -578.0000        -633.5223      9.61%
3081.13/3090.23	c      3090           1535         792         1        -578.0000        -633.5223      9.61%
3086.81/3095.94	c      3096           1569         792         1        -578.0000        -633.5223      9.61%
3126.29/3135.59	c      3136           1612         793         1        -578.0000        -633.4191      9.59%
3132.47/3141.74	c      3142           1614         795         1        -578.0000        -633.4191      9.59%
3138.95/3148.23	c      3148           1616         797         1        -578.0000        -633.4191      9.59%
3144.93/3154.21	c      3154           1619         800         1        -578.0000        -633.4191      9.59%
3150.32/3159.61	c      3160           1623         804         1        -578.0000        -633.4191      9.59%
3159.29/3168.69	c      3169           1625         806         1        -578.0000        -633.4191      9.59%
3189.10/3198.50	c      3199           1652         807         1        -578.0000        -633.3136      9.57%
3194.18/3203.62	c      3204           1654         809         1        -578.0000        -633.3136      9.57%
3199.16/3208.68	c      3209           1656         811         1        -578.0000        -633.3136      9.57%
3206.44/3215.90	c      3216           1659         814         1        -578.0000        -633.3136      9.57%
3219.70/3229.27	c      3229           1663         818         1        -578.0000        -633.3136      9.57%
3227.77/3237.37	c      3237           1682         823         1        -578.0000        -633.3014      9.57%
3251.31/3260.90	c      3261           1683         824         1        -578.0000        -633.3014      9.57%
3257.79/3267.48	c      3267           1685         826         1        -578.0000        -633.3014      9.57%
3263.37/3273.08	c      3273           1686         827         1        -578.0000        -633.3014      9.57%
3270.85/3280.52	c      3281           1689         830         1        -578.0000        -633.3014      9.57%
3276.73/3286.41	c      3286           1694         835         1        -578.0000        -633.3014      9.57%
3284.50/3294.23	c      3294           1702         835         1        -578.0000        -633.1343      9.54%
3309.42/3319.27	c      3319           1703         836         1        -578.0000        -633.1343      9.54%
3315.21/3325.09	c      3325           1706         839         1        -578.0000        -633.1343      9.54%
3320.79/3330.67	c      3331           1709         842         1        -578.0000        -633.1343      9.54%
3326.67/3336.53	c      3337           1713         846         1        -578.0000        -633.1343      9.54%
3332.65/3342.50	c      3343           1720         849         1        -578.0000        -633.1343      9.54%
3338.43/3348.31	c      3348           1737         848         1        -578.0000        -633.1343      9.54%
3343.91/3353.84	c      3354           1776         851         1        -578.0000        -633.1343      9.54%
3376.91/3386.93	c      3387           1812         845         1        -578.0000        -633.1274      9.54%
3382.59/3392.64	c      3393           1815         848         1        -578.0000        -633.1274      9.54%
3387.77/3397.87	c      3398           1817         850         1        -578.0000        -633.1274      9.54%
3394.15/3404.24	c      3404           1821         854         1        -578.0000        -633.1274      9.54%
3401.34/3411.48	c      3411           1824         857         1        -578.0000        -633.1274      9.54%
3407.82/3417.94	c      3418           1853         860         1        -578.0000        -633.1274      9.54%
3432.84/3443.02	c      3443           1862         861         1        -578.0000        -633.0317      9.52%
3439.02/3449.27	c      3449           1865         864         1        -578.0000        -633.0317      9.52%
3445.90/3456.11	c      3456           1870         869         1        -578.0000        -633.0317      9.52%
3451.28/3461.56	c      3462           1874         873         1        -578.0000        -633.0317      9.52%
3457.16/3467.46	c      3467           1875         874         1        -578.0000        -633.0317      9.52%
3459.15/3469.49	c *    3470           1884         873         1        -580.0000        -633.0317      9.14%
3465.64/3475.92	c      3476           1895         869         1        -580.0000        -633.0317      9.14%
3471.02/3481.32	c      3481           1899         873         1        -580.0000        -633.0317      9.14%
3476.81/3487.18	c      3487           1904         878         1        -580.0000        -633.0317      9.14%
3482.39/3492.74	c      3493           1909         883         1        -580.0000        -633.0317      9.14%
3497.54/3507.93	c      3508           1912         886         1        -580.0000        -633.0317      9.14%
3504.02/3514.45	c      3514           1919         893         1        -580.0000        -633.0317      9.14%
3514.69/3525.15	c      3525           1924         898         1        -580.0000        -633.0317      9.14%
3520.07/3530.53	c      3531           1926         900         1        -580.0000        -633.0317      9.14%
3527.65/3538.13	c      3538           1929         903         1        -580.0000        -633.0317      9.14%
3533.13/3543.66	c      3544           1937         911         1        -580.0000        -633.0317      9.14%
3538.91/3549.45	c      3549           1944         918         1        -580.0000        -633.0317      9.14%
3587.26/3598.00	c      3598           1947         921         0        -580.0000        -633.0317      9.14%
3587.37/3598.02	c SCIP Status        : c solving was interrupted [hard time limit reached]
3587.37/3598.02	c Total Time         : 3598.03
3587.37/3598.02	c   solving          : 3598.03
3587.37/3598.02	c   presolving       : 0.09 (included in solving)
3587.37/3598.02	c B&B Tree           :
3587.37/3598.02	c   nodes (total)    : 1
3587.37/3598.02	c Solution           :
3587.37/3598.02	c   Solutions found  : 23
3587.37/3598.02	c   Primal Bound     : -5.80000000000000e+02
3587.37/3598.02	c   Dual Bound       : -6.33031735917705e+02
3587.37/3598.02	c Gap                : 9.14340 %
3587.37/3598.02	c * Warning: final gap: 9.14340e-02 is greater than SCIPepsilon: 1.00000e-09
3587.37/3598.03	o -580
3587.37/3598.03	s SATISFIABLE
3587.37/3598.03	v x1058 x1025 x1014 x836 -x889 x1002 -x821 -x811 x776 -x829 -x855 x806 -x1225 -x1205 -x763 -x1193 x1116 x1209 -x1173 x812 -x755 x963 
3587.37/3598.03	v -x1203 x1168 -x1213 x1181 x1115 x985 -x1131 x825 -x1217 x779 -x777 -x1224 x1091 x766 -x877 -x1117 -x911 x790 -x978 x1211 
3587.37/3598.03	v x907 -x1175 x1182 x1220 -x1189 x1122 x841 -x1096 -x1223 -x882 x1222 -x792 -x1103 -x1110 x864 x1127 x1140 -x993 -x936 -x950 x1221 
3587.37/3598.03	v x1183 -x1190 x1199 -x1134 -x1084 x857 -x1219 x1206 -x1218 -x1216 x1102 -x1142 -x1126 -x939 x863 -x1151 -x772 -x876 x1215 
3587.37/3598.03	v x1214 -x874 x922 -x1200 -x1208 x1113 x970 x1070 x823 -x1112 -x1212 x1118 x893 x1028 x952 x786 -x891 -x1159 x1210 x906 x905 -x1109 
3587.37/3598.03	v -x946 -x761 -x1207 -x1157 -x956 -x796 -x1120 x986 x838 x1000 x1105 -x1204 -x1128 x896 -x1038 -x789 -x965 x964 x805 x803 
3587.37/3598.03	v x1169 x1125 -x1202 x1061 -x908 x1139 x1201 x1076 -x1017 x1015 -x987 x1198 x1148 -x944 -x810 -x1149 -x1147 -x1132 x1094 x1054 
3587.37/3598.03	v -x854 -x1197 x1178 -x835 -x747 -x1143 -x1196 x1195 -x819 x1194 -x849 x775 x979 x1176 -x1192 x1047 -x924 x1191 -x1060 -x1003 -x1073 
3587.37/3598.03	v -x1043 x1086 x972 -x1188 -x932 -x824 -x1158 -x1156 x1082 x742 -x1187 x999 x820 x1153 x1186 x1185 x834 -x1184 -x865 x892 
3587.37/3598.03	v x938 -x1046 -x920 x989 -x1087 x1035 -x988 x1180 -x1121 x957 -x1133 -x918 -x839 -x1165 x1164 -x1068 x884 -x1179 x1011 x778 -x767 
3587.37/3598.03	v -x740 -x914 -x1161 x879 x1177 x878 -x909 -x904 x1174 x1099 -x1172 -x1114 x971 -x1034 -x900 x1053 -x883 x1023 -x1171 -x758 
3587.37/3598.03	v -x746 -x897 -x1170 x928 -x895 -x925 -x951 x888 -x1167 x1166 x1107 x826 x1106 x1056 x1163 x1040 -x917 x869 x1033 x1031 -x793 
3587.37/3598.03	v x1162 x780 x1049 -x741 x1160 -x913 -x910 -x818 x873 x1016 -x919 x813 -x1097 -x1155 x1032 x931 x853 x1041 -x1039 x851 x998 -x997 
3587.37/3598.03	v x807 x1154 x768 x880 -x1152 -x1090 x832 -x801 x1150 -x921 -x732 -x903 -x1027 -x1026 -x845 x1136 x798 x1085 x1146 x1022 x1145 
3587.37/3598.03	v -x837 -x1052 x1051 -x867 -x984 x983 -x1144 x868 -x781 -x1104 x1064 -x898 x927 x1141 x1077 -x734 -x1137 x1138 -x816 -x1100 
3587.37/3598.03	v x887 -x1037 x1036 -x828 x770 x1135 x1071 -x1012 -x1130 -x822 x1069 -x1067 -x881 x968 x1129 -x852 x794 x1092 -x1065 -x915 -x912 
3587.37/3598.03	v -x733 -x1062 x926 x739 x1124 x1123 x872 -x1045 x1044 x815 x1057 -x749 x809 -x1083 -x1081 x899 x955 -x1119 -x808 -x1079 x1078 
3587.37/3598.03	v x1066 -x995 -x929 x831 -x1004 x1059 x800 x859 -x750 -x1072 x1042 x943 -x795 x1095 -x916 -x1080 -x866 x1050 x1063 -x1111 x735 
3587.37/3598.03	v x1010 -x942 x894 x738 -x1018 x923 x990 x1108 -x1075 -x1074 x799 x785 -x844 -x754 -x743 x930 x782 x1093 x850 -x1048 -x954 -x1101 
3587.37/3598.03	v x848 x1006 -x1005 -x802 -x937 -x860 -x731 x974 -x973 x1089 -x1088 -x771 x827 -x762 x760 -x1098 x1001 x1030 x1009 x967 -x1029 
3587.37/3598.03	v -x992 x991 -x817 -x960 -x959 x958 x769 x1013 x1021 -x1020 -x981 x1019 -x977 x976 x975 -x830 -x949 -x948 x947 x1024 x902 
3587.37/3598.03	v x840 -x1007 x962 x961 x935 -x934 -x1055 -x736 -x856 -x969 x901 x759 x996 x994 -x886 -x737 -x885 -x784 -x752 x982 x1008 -x980 
3587.37/3598.03	v -x870 -x797 -x748 x966 -x953 x941 -x940 -x804 -x788 -x774 -x773 x833 -x890 x787 x765 -x933 -x875 x757 -x945 x814 -x862 x861 -x756 
3587.37/3598.03	v -x847 x846 -x764 x871 x858 x843 -x842 -x783 x791 x751 x753 -x745 x744 -x3625 x3624 -x3623 -x3622 -x3621 -x3620 x3619 -x3618 
3587.37/3598.03	v -x3617 -x3616 x3615 x3614 -x3613 -x3612 x3611 -x3610 -x3609 -x3608 x3607 -x3606 -x3605 -x3604 x3603 x3602 -x3601 x3600 -x3599 
3587.37/3598.03	v -x3598 -x3597 -x3596 x3595 -x3594 -x3593 -x3592 -x3591 -x3590 x3589 -x3588 -x3587 x3586 x3585 -x3584 -x3583 -x3582 -x3581 
3587.37/3598.03	v -x3580 x3579 x3578 -x3577 -x3576 -x3575 -x3574 -x3573 x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 x3563 -x3562 
3587.37/3598.03	v x3561 -x3560 -x3559 -x3558 x3557 -x3556 -x3555 x3554 -x3553 -x3552 x3551 -x3550 x3549 -x3548 -x3547 -x3546 x3545 -x3544 
3587.37/3598.03	v -x3543 -x3542 x3541 x3540 -x3539 -x3538 x3537 -x3536 x3535 -x3534 -x3533 x3532 x3531 -x3530 -x3529 x3528 -x3527 -x3526 -x3525 
3587.37/3598.03	v -x3524 -x3523 x3522 -x3521 x3520 -x3519 -x3518 x3517 -x3516 -x3515 x3514 -x3513 x3512 x3511 x3510 x3509 -x3508 -x3507 -x3506 
3587.37/3598.03	v -x3505 x3504 x3503 x3502 x3501 -x3500 x3499 -x3498 -x3497 -x3496 x3495 x3494 -x3493 -x3492 x3491 x3490 x3489 x3488 -x3487 -x3486 
3587.37/3598.03	v x3485 x3484 -x3483 -x3482 -x3481 x3480 -x3479 -x3478 x3477 x3476 -x3475 -x3474 x3473 -x3472 -x3471 -x3470 -x3469 -x3468 
3587.37/3598.03	v x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 x3458 -x3457 -x3456 x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 
3587.37/3598.03	v -x3448 x3447 -x3446 x3445 x3444 x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 
3587.37/3598.03	v -x3430 -x3429 -x3428 x3427 -x3426 x3425 x3424 -x3423 -x3422 x3421 x3420 x3419 -x3418 -x3417 x3416 -x3415 x3414 -x3413 x3412 
3587.37/3598.03	v -x3411 -x3410 -x3409 -x3408 -x3407 x3406 -x3405 -x3404 -x3403 -x3402 -x3401 x3400 x3399 x3398 -x3397 -x3396 -x3395 -x3394 -x3393 
3587.37/3598.03	v -x3392 x3391 -x3390 x3389 -x3388 x3387 x3386 -x3385 -x3384 x3383 -x3382 x3381 -x3380 -x3379 x3378 -x3377 x3376 x3375 x3374 
3587.37/3598.03	v -x3373 -x3372 -x3371 -x3370 -x3369 x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 x3361 -x3360 x3359 -x3358 -x3357 -x3356 
3587.37/3598.03	v -x3355 -x3354 x3353 x3352 -x3351 -x3350 x3349 x3348 x3347 x3346 -x3345 -x3344 -x3343 -x3342 x3341 -x3340 x3339 -x3338 -x3337 
3587.37/3598.03	v -x3336 -x3335 x3334 -x3333 -x3332 -x3331 x3330 x3329 x3328 x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 x3319 -x3318 
3587.37/3598.03	v -x3317 x3316 -x3315 -x3314 x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 
3587.37/3598.03	v -x3299 x3298 x3297 -x3296 -x3295 -x3294 -x3293 x3292 -x3291 -x3290 x3289 -x3288 -x3287 -x3286 x3285 -x3284 -x3283 -x3282 -x3281 
3587.37/3598.03	v -x3280 -x3279 -x3278 x3277 -x3276 x3275 x3274 x3273 x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 
3587.37/3598.03	v x3262 -x3261 -x3260 -x3259 -x3258 -x3257 x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 
3587.37/3598.03	v x3244 -x3243 -x3242 -x3241 x3240 -x3239 -x3238 -x3237 x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 
3587.37/3598.03	v -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x725 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 
3587.37/3598.03	v -x3208 -x3207 x3206 -x3205 x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x715 -x3198 -x3197 -x714 -x3196 x3195 x3194 x3193 
3587.37/3598.03	v -x3192 -x3191 -x3190 -x713 -x3189 -x3188 -x3187 x711 x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 x3178 x704 -x3177 
3587.37/3598.03	v -x3176 -x3175 -x3174 -x3173 -x3172 x3171 x701 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 x3163 -x3162 -x3161 x3160 x3159 
3587.37/3598.03	v -x3158 x3157 -x3156 x3155 -x3154 -x3153 -x3152 x695 -x3151 -x3150 -x693 -x3149 -x3148 -x3147 -x3146 -x3145 x3144 x3143 -x3142 
3587.37/3598.03	v x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 x3133 -x3132 -x684 x682 -x3131 -x3130 -x3129 -x3128 -x3127 -x680 -x3126 
3587.37/3598.03	v -x3125 x3124 -x3123 -x3122 x3121 -x3120 -x3119 x679 x3118 -x3117 -x3116 -x3115 -x3114 -x3113 x3112 -x3111 -x3110 -x3109 
3587.37/3598.03	v -x674 -x3108 -x3107 -x3106 -x3105 x3104 -x3103 -x3102 -x3101 x670 -x3100 -x3099 -x3098 -x730 -x3097 x3096 x3095 -x3094 -x3093 
3587.37/3598.03	v -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x664 -x3085 -x3084 x663 -x3083 -x3082 -x3081 -x3080 -x3079 x3078 -x3077 -x3076 
3587.37/3598.03	v -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 x3068 x653 x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 
3587.37/3598.03	v -x3058 -x651 -x648 -x3057 -x3056 -x3055 -x3054 x649 -x3053 -x3052 -x3051 x3050 -x3049 -x3048 -x3047 -x3046 -x643 -x3045 x3044 
3587.37/3598.03	v x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x639 -x3033 -x3032 x3031 x3030 -x3029 -x3028 x3027 
3587.37/3598.03	v -x3026 -x699 -x3025 x3024 -x3023 -x3022 -x3021 -x3020 x3019 -x3018 -x3017 -x633 -x3016 x632 x3015 -x3014 -x3013 -x3012 -x3011 
3587.37/3598.03	v -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x623 x621 -x2995 -x2994 
3587.37/3598.03	v -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 x620 -x2987 -x2986 -x2985 -x619 -x2984 -x2983 x2982 x617 x2981 -x2980 -x2979 
3587.37/3598.03	v x2978 x615 -x2977 -x2976 -x2975 x2974 x614 x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 x609 -x2963 -x2962 
3587.37/3598.03	v x2961 -x2960 -x2959 -x2958 x726 -x2957 -x2956 -x2955 -x2954 -x2953 x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x602 -x2946 
3587.37/3598.03	v -x2945 -x2944 -x2943 -x2942 x721 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x596 -x2932 x2931 -x2930 x2929 
3587.37/3598.03	v -x2928 -x2927 x594 -x2926 -x2925 -x593 -x2924 -x2923 -x2922 -x2921 x2920 -x2919 -x705 -x2918 x592 x590 x2917 -x2916 -x2915 
3587.37/3598.03	v -x2914 -x591 x589 -x2913 x2912 x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x586 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 x2899 
3587.37/3598.03	v -x2898 -x2897 x2896 -x2895 x2894 -x636 x582 -x2893 -x2892 x637 -x2891 x583 -x2890 x2889 -x581 -x2888 -x2887 x2886 -x2885 
3587.37/3598.03	v -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 x689 x2873 -x2872 -x2871 x2870 -x2869 -x2868 -x2867 
3587.37/3598.03	v -x2866 x2865 x2864 -x2863 -x683 x568 -x2862 -x2861 -x2860 -x2859 x2858 -x2857 -x2856 -x2855 -x567 -x2854 -x2853 -x2852 x566 
3587.37/3598.03	v -x2851 -x2850 -x2849 -x564 -x2848 -x2847 -x2846 -x2845 -x2844 x2843 x2842 x2841 -x2840 -x2839 -x2838 -x2837 x558 -x2836 -x2835 
3587.37/3598.03	v -x2834 -x2833 -x2832 x666 -x2831 -x2830 -x2829 x2828 -x2827 -x2826 -x2825 -x2824 -x2823 x722 -x2822 -x2821 -x2820 -x2819 
3587.37/3598.03	v -x549 -x2818 -x2817 -x2816 -x2815 -x2814 x547 -x2813 -x2812 -x2811 x2810 x2809 x2808 -x2807 -x2806 -x2805 x2804 x2803 x542 x2802 
3587.37/3598.03	v -x2801 -x2800 -x2799 x2798 x2797 -x2796 x539 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x538 -x536 -x2788 -x2787 
3587.37/3598.03	v -x2786 -x537 -x2785 x2784 -x535 -x2783 -x2782 -x2781 x2780 x2779 -x2778 -x2777 x2776 -x2775 -x2774 x530 -x2773 -x2772 -x2771 
3587.37/3598.03	v x2770 x2769 x2768 x2767 x2766 x2765 -x2764 -x698 -x2763 x526 x2762 -x2761 -x2760 x635 -x2759 -x2758 -x2757 -x525 -x2756 -x2755 
3587.37/3598.03	v x2754 -x524 -x2753 -x628 -x2752 x572 -x2751 -x2750 -x2749 x2748 -x2747 -x2746 x2745 -x622 -x2744 -x2743 -x2742 x2741 -x521 
3587.37/3598.03	v -x2740 -x2739 x519 x2738 -x2737 -x2736 -x2735 -x2734 x2733 -x516 -x2732 -x2731 -x2730 x515 -x2729 -x2728 -x2727 x2726 -x514 x513 
3587.37/3598.03	v -x2725 x2724 -x2723 -x2722 -x2721 x2720 -x2719 -x2718 -x2717 -x509 -x2716 -x2715 -x2714 -x604 -x2713 -x2712 -x2711 -x727 
3587.37/3598.03	v -x2710 -x2709 x2708 -x660 -x2707 x2706 -x2705 -x2704 -x2703 x504 -x2702 x2701 -x502 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 
3587.37/3598.03	v -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x498 -x497 -x2688 x2687 -x2686 x541 x2685 x2684 -x2683 -x2682 -x2681 -x2680 x708 
3587.37/3598.03	v -x494 -x2679 -x2678 -x2677 -x2676 x495 x2675 -x2674 -x2673 -x2672 -x2671 -x493 -x2670 -x2669 -x2668 x2667 -x2666 x491 x2665 x2664 
3587.37/3598.03	v -x2663 -x2662 x2661 -x489 -x2660 x2659 x487 x2658 -x2657 -x2656 -x2655 -x2654 x2653 x2652 -x2651 x482 x2650 x2649 x2648 
3587.37/3598.03	v x2647 -x2646 -x2645 x697 -x2644 -x579 -x480 -x2643 -x2642 -x2641 x2640 -x2639 -x2638 -x2637 x479 -x478 -x2636 -x626 -x2635 x574 
3587.37/3598.03	v x2634 -x2633 -x2632 -x2631 -x2630 x2629 -x2628 x2627 -x2626 x476 -x2625 -x2624 -x2623 x474 x2622 -x2621 -x2620 -x2619 -x569 
3587.37/3598.03	v -x471 -x2618 -x2617 x2616 x2615 x2614 -x2613 -x2612 -x2611 x470 -x2610 x2609 -x468 -x2608 -x2607 -x2606 -x2605 -x2604 x2603 
3587.37/3598.03	v -x2602 x467 x465 x2601 -x2600 x2599 -x466 -x2598 -x2597 x464 -x2596 -x672 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 x559 
3587.37/3598.03	v -x460 -x2588 -x2587 -x2586 -x2585 -x2584 -x459 -x458 -x2583 -x2582 -x2581 x552 -x2580 -x2579 -x2578 x667 -x2577 -x2576 -x2575 
3587.37/3598.03	v -x2574 -x2573 -x723 -x2572 -x2571 x452 -x2570 -x2569 -x2568 x2567 x2566 x718 x2565 -x2564 -x2563 -x2562 x2561 -x2560 x2559 
3587.37/3598.03	v x448 x447 x2558 -x2557 -x2556 -x2555 -x2554 -x2553 x2552 x2551 -x2550 -x646 x444 -x2549 -x2548 -x2547 -x445 -x2546 -x2545 
3587.37/3598.03	v -x2544 x2543 -x2542 -x2541 -x2540 -x2539 x442 -x2538 -x2537 -x2536 -x2535 x2534 x2533 -x2532 -x2531 -x2530 x528 x2529 -x2528 
3587.37/3598.03	v -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 x2520 -x2519 x433 -x2518 x2517 x2516 -x2515 -x432 -x2514 -x2513 x431 -x2512 
3587.37/3598.03	v -x2511 -x2510 x687 -x2509 x2508 x2507 -x2506 -x2505 -x2504 -x475 -x2503 -x2502 -x2501 x427 -x2500 -x2499 -x2498 -x2497 x517 -x424 
3587.37/3598.03	v -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x423 -x2490 x2489 -x422 -x2488 -x2487 -x2486 -x2485 -x420 -x2484 -x2483 -x2482 
3587.37/3598.03	v x421 -x2481 -x2480 -x2479 x2478 x2477 -x610 -x2476 x417 x2475 -x2474 -x2473 -x2472 x2471 x416 x415 x2470 -x2469 x2468 -x2467 
3587.37/3598.03	v -x506 -x2466 -x2465 -x605 -x2464 -x2463 x2462 x2461 -x2460 -x2459 -x2458 -x661 -x2457 -x2456 -x2455 -x2454 -x2453 -x407 -x2452 
3587.37/3598.03	v x408 -x2451 -x2450 -x2449 -x656 -x2448 -x2447 -x2446 -x2445 -x650 -x404 -x2444 x2443 x2442 -x2441 -x2440 -x2439 -x2438 -x2437 
3587.37/3598.03	v -x2436 -x2435 -x2434 -x2433 -x2432 x2431 -x2430 -x2429 -x2428 x399 -x2427 x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 
3587.37/3598.03	v -x435 -x2419 -x2418 -x2417 -x2416 x2415 -x394 -x2414 -x2413 -x2412 -x2411 -x392 -x2410 -x2409 -x2408 x393 -x2407 x2406 x2405 
3587.37/3598.03	v x2404 -x2403 -x2402 x520 -x2401 -x2400 -x685 -x2399 -x2398 -x2397 -x2396 -x2395 x472 -x387 -x2394 -x2393 -x2392 -x681 -x2391 
3587.37/3598.03	v -x2390 -x2389 -x2388 -x2387 -x2386 x2385 -x2384 -x384 -x2383 -x2382 -x2381 -x2380 x383 -x382 -x2379 -x2378 -x2377 -x2376 -x2375 
3587.37/3598.03	v -x2374 -x2373 -x380 -x379 -x2372 -x2371 x378 -x2370 -x608 -x2369 -x2368 -x2367 -x455 -x2366 x2365 -x2364 -x553 -x2363 -x2362 
3587.37/3598.03	v -x2361 -x2360 -x2359 x2358 -x373 -x2357 -x2356 x372 -x2355 -x2354 x601 -x2353 -x2352 -x370 -x2351 -x2350 -x2349 x2348 x2347 
3587.37/3598.03	v -x2346 -x2345 x2344 x712 x2343 x367 x366 x2342 -x2341 -x2340 -x709 -x2339 -x365 -x2338 x2337 -x2336 x403 x2335 x2334 x2333 
3587.37/3598.03	v x2332 -x2331 x2330 -x2329 -x2328 x362 -x2327 x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 x481 -x2319 -x2318 x2317 -x2316 
3587.37/3598.03	v -x2315 -x2314 -x2313 x357 -x2312 -x2311 -x2310 x2309 x354 -x2308 -x2307 -x356 -x2306 -x2305 x2304 x2303 x352 x2302 -x2301 -x2300 
3587.37/3598.03	v -x2299 -x2298 x624 -x2297 x518 -x2296 -x2295 -x2294 -x2293 -x425 -x349 -x2292 -x2291 -x2290 -x2289 -x2288 x678 -x2287 -x2286 
3587.37/3598.03	v x2285 -x2284 -x2283 x2282 x2281 x346 x345 x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x343 -x2273 x2272 -x344 -x2271 
3587.37/3598.03	v -x2270 -x341 -x2269 x2268 x342 x340 x2267 -x2266 x339 -x2265 -x556 -x2264 x2263 -x2262 x412 -x2261 -x2260 -x2259 x507 -x2258 
3587.37/3598.03	v -x2257 -x2256 x410 -x2255 -x334 -x2254 -x2253 -x2252 x411 -x2251 -x2250 -x333 -x2249 x2248 -x548 -x2247 -x2246 x331 -x2245 
3587.37/3598.03	v -x2244 -x2243 -x2242 -x2241 -x2240 -x328 -x2239 x2238 -x647 -x2237 -x2236 -x2235 -x2234 -x2233 -x446 -x326 -x2232 -x2231 x327 
3587.37/3598.03	v -x2230 x492 -x2229 -x440 -x2228 -x2227 -x2226 -x2225 -x706 -x2224 -x323 -x2223 -x703 -x2222 x534 -x2221 -x2220 -x2219 -x2218 
3587.37/3598.03	v -x2217 -x2216 -x320 -x2215 -x2214 -x2213 x527 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 x2206 -x318 -x2205 -x2204 -x2203 -x2202 
3587.37/3598.03	v -x2201 x317 -x2200 -x2199 -x315 -x2198 x2197 x2196 x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x570 -x2189 x310 -x2188 -x2187 
3587.37/3598.03	v -x2186 -x2185 x388 -x309 -x2184 -x2183 -x2182 -x2181 -x308 -x2180 -x2179 x2178 -x618 -x2177 -x2176 -x2175 x307 -x2174 -x2173 
3587.37/3598.03	v -x2172 -x306 -x2171 -x2170 -x2169 -x305 -x2168 -x2167 -x2166 -x2165 -x303 -x2164 x2163 x2162 x2161 x2160 x301 x2159 -x2158 
3587.37/3598.03	v x2157 -x300 -x2156 x2155 -x2154 -x2153 -x2152 x508 -x2151 -x297 -x2150 -x2149 x374 -x2148 -x2147 -x2146 -x456 -x2145 x2144 
3587.37/3598.03	v x603 x2143 -x454 -x2142 x294 x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 x293 x2133 -x546 -x2132 -x503 -x2131 -x2130 
3587.37/3598.03	v -x290 -x2129 x2128 x2127 -x2126 x288 x2125 -x2124 x496 x2123 -x443 -x2122 -x2121 x644 -x2120 -x2119 x363 -x286 -x2118 -x641 
3587.37/3598.03	v -x2117 x486 -x2116 -x2115 -x2114 -x702 -x2113 x284 -x2112 -x2111 -x2110 -x2109 -x2108 -x584 -x2107 x2106 -x2105 x580 x2104 
3587.37/3598.03	v x281 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x575 -x2097 -x280 -x2096 -x2095 -x576 -x2094 -x2093 x279 -x2092 x2091 -x277 -x2090 
3587.37/3598.03	v -x2089 -x2088 -x2087 -x274 -x2086 -x2085 -x2084 -x350 -x2083 -x2082 -x565 -x2081 -x2080 -x2079 -x2078 -x271 -x2077 -x2076 
3587.37/3598.03	v -x2075 x675 -x2074 x272 -x270 -x2073 -x2072 x2071 -x2070 x2069 x2068 -x2067 -x2066 x612 -x2065 x269 -x2064 x268 -x267 -x2063 
3587.37/3598.03	v -x2062 -x2061 x2060 -x2059 -x2058 x266 -x2057 -x2056 -x265 -x264 -x2055 -x2054 x2053 -x263 -x2052 -x2051 -x2050 -x2049 -x2048 
3587.37/3598.03	v -x2047 x457 -x2046 -x260 -x2045 -x2044 -x335 -x2043 -x261 -x2042 x413 -x2041 -x2040 -x2039 -x2038 -x2037 x505 -x2036 -x256 
3587.37/3598.03	v -x2035 -x2034 -x2033 -x2032 -x662 -x2031 x257 x2030 -x2029 -x255 -x2028 -x600 -x2027 x453 -x2026 -x2025 x2024 -x252 -x2023 
3587.37/3598.03	v -x2022 -x2021 -x2020 -x250 -x2019 -x2018 -x540 -x2017 -x401 -x2016 x588 -x2015 -x439 -x2014 -x2013 -x2012 -x640 -x2011 x247 -x2010 
3587.37/3598.03	v -x2009 x2008 x2007 -x2006 -x2005 x2004 x2003 x634 x2002 x244 x2001 -x2000 -x1999 -x1998 -x1997 -x1996 x1995 -x692 -x1994 
3587.37/3598.03	v x629 x1993 x1992 -x1991 -x1990 -x242 -x1989 x241 x1988 -x1987 x240 -x1986 -x1985 -x313 -x1984 -x1983 -x473 -x1982 -x1981 -x1980 
3587.37/3598.03	v -x1979 -x1978 x236 -x235 -x1977 -x1976 -x1975 -x1974 x1973 -x1972 x1971 -x234 x233 -x1970 -x1969 -x1968 -x1967 x1966 x1965 
3587.37/3598.03	v x1964 x231 x1963 -x1962 -x561 -x1961 -x304 -x1960 -x232 x230 -x1959 -x1958 -x1957 -x1956 x1955 x1954 -x229 -x1953 x1952 x228 
3587.37/3598.03	v x227 x1951 -x1950 x729 x1949 -x226 -x1948 -x1947 x414 -x1946 x375 -x1945 -x1944 x295 -x1943 -x224 -x1942 -x1941 -x1940 -x1939 
3587.37/3598.03	v x550 -x222 -x1938 -x1937 -x292 -x1936 x658 x1935 -x409 -x1934 x1933 -x1932 x220 -x1931 x1930 -x1929 x1928 -x1927 -x1926 x218 
3587.37/3598.03	v x1925 x532 x1924 -x398 -x1923 -x1922 -x1921 x587 -x1920 -x215 -x1919 -x1918 -x1917 -x1916 -x1915 x1914 -x1913 x213 -x1912 
3587.37/3598.03	v -x1911 x1910 -x690 -x1909 x631 -x1908 -x429 -x1907 -x211 -x1906 -x1905 -x1904 -x1903 -x210 -x1902 -x278 -x1901 x212 -x1900 -x1899 
3587.37/3598.03	v x275 -x1898 x1897 x426 x1896 -x1895 -x1894 -x1893 x207 -x1892 -x1891 x1890 x1889 -x676 x205 -x1888 -x1887 -x1886 -x1885 
3587.37/3598.03	v -x1884 -x1883 -x1882 -x203 -x1881 -x1880 -x1879 x511 -x1878 -x204 -x202 -x1877 -x1876 -x1875 x462 -x1874 x1873 x1872 -x201 -x1871 
3587.37/3598.03	v x1870 x200 x199 x1869 -x1868 x669 -x1867 x198 -x1866 x1865 -x377 -x1864 -x336 -x1863 -x258 -x1862 x196 x1861 -x1860 x1859 
3587.37/3598.03	v -x720 -x1858 -x371 -x1857 -x1856 x1855 -x193 -x1854 -x1853 -x1852 x449 -x1851 -x1850 -x1849 -x1848 -x191 -x190 -x1847 -x1846 
3587.37/3598.03	v -x490 -x1845 -x1844 -x324 x189 -x1843 x1842 -x361 -x1841 -x1840 -x1839 -x531 -x1838 -x187 -x1837 -x1836 -x1835 x434 -x1834 
3587.37/3598.03	v x283 -x186 -x1833 -x1832 -x1831 -x1830 x185 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 x577 -x1823 x316 x1822 -x183 -x1821 x1820 
3587.37/3598.03	v -x1819 -x1818 -x238 -x1817 -x1816 -x389 -x1815 -x1814 -x1813 -x179 -x1812 -x1811 -x1810 x616 -x1809 x1808 -x1807 -x1806 -x1805 
3587.37/3598.03	v x1804 -x1803 x175 -x1802 -x1801 x1800 -x461 -x1799 x176 x174 x1798 -x1797 -x1796 -x1795 -x173 -x1794 -x1793 -x1792 x607 
3587.37/3598.03	v -x1791 x172 -x1790 x1789 -x338 -x1788 -x296 -x1787 -x1786 -x1785 x170 -x1784 -x1783 -x1782 -x1781 x332 -x1780 -x1779 -x1778 
3587.37/3598.03	v -x167 -x1777 -x1776 x1775 -x719 -x1774 x165 -x1773 x1772 -x1771 -x499 -x1770 x1769 -x1768 x164 x1767 -x1766 -x1765 x1764 -x1763 
3587.37/3598.03	v -x1762 x1761 x1760 -x484 -x1759 x160 -x1758 -x1757 x700 -x1756 x395 -x1755 x246 -x159 -x1754 -x1753 -x1752 -x1751 -x158 -x1750 
3587.37/3598.03	v -x1749 x1748 -x1747 x523 x1746 -x1745 -x243 -x1744 -x1743 -x355 -x1742 -x1741 x1740 x1739 x351 x1738 -x1737 -x1736 -x1735 
3587.37/3598.03	v x571 -x1734 -x151 -x1733 -x1732 x152 -x1731 -x1730 -x563 -x1729 -x1728 -x1727 -x1726 -x1725 x1724 -x1723 -x1722 x147 x1721 
3587.37/3598.03	v x1720 x671 x1719 -x418 -x1718 -x148 x146 -x1717 x1716 -x1715 x1714 x560 x145 x1713 -x1712 -x1711 x555 -x1710 -x144 -x1709 x299 
3587.37/3598.03	v -x1708 x259 -x1707 -x1706 -x1705 -x1704 -x141 -x1703 -x1702 x724 -x1701 -x551 -x1700 -x140 -x1699 -x1698 -x1697 -x1696 x291 
3587.37/3598.03	v -x1695 -x1694 -x1693 -x138 -x1692 -x1691 -x1690 x657 -x1689 -x136 -x1688 -x1687 x543 -x1686 -x1685 -x1684 x1683 x1682 -x135 
3587.37/3598.03	v -x1681 -x1680 x652 -x1679 x249 -x1678 -x132 -x1677 -x1676 -x1675 -x1674 -x1673 -x437 -x1672 x130 -x1671 -x1670 x638 -x1669 -x358 
3587.37/3598.03	v -x1668 -x214 -x129 -x1667 -x1666 -x1665 -x1664 -x128 -x1663 -x1662 x1661 x1660 x1659 -x691 -x1658 -x1657 -x1656 -x311 -x1655 
3587.37/3598.03	v -x125 -x1654 x1653 -x1652 x625 x1651 x124 x1650 -x1649 x1648 x673 x1647 -x1646 -x1645 -x1644 -x122 -x1643 -x1642 -x611 -x1641 
3587.37/3598.03	v x381 -x1640 x123 -x121 -x1639 -x1638 -x1637 x510 -x1636 x302 -x120 -x1635 -x1634 x1633 -x606 -x1632 -x119 -x1631 x262 -x1630 
3587.37/3598.03	v -x223 -x1629 -x1628 x1627 x1626 x116 -x1625 -x1624 -x1623 x1622 -x1621 x253 x1620 x114 -x1619 -x1618 x1617 -x599 -x1616 
3587.37/3598.03	v x113 -x1615 -x595 -x1614 x287 -x1613 x163 -x1612 -x1611 -x1610 -x1609 x397 -x111 -x1608 -x1607 x1606 -x585 -x1605 -x319 x110 
3587.37/3598.03	v -x1604 -x1603 -x1602 x430 -x1601 x1600 x1599 x1598 x694 x108 x1597 x1596 -x1595 x696 x1594 -x109 x107 -x1593 -x1592 x630 -x1591 
3587.37/3598.03	v x1590 x1589 x686 x1588 x105 -x1587 -x1586 -x1585 -x1584 -x1583 -x613 -x103 -x1582 x1581 -x1580 x1579 x512 x102 x1578 -x1577 
3587.37/3598.03	v x101 -x1576 -x1575 x1574 -x668 -x1573 -x100 -x1572 -x1571 x225 -x1570 -x1569 -x1568 -x1567 x195 -x1566 -x1565 -x1564 -x1563 
3587.37/3598.03	v -x97 -x96 -x1562 -x1561 -x1560 -x1559 -x1558 x221 -x1557 -x94 -x1556 -x1555 x717 -x1554 -x545 -x1553 -x93 -x1552 -x1551 -x1550 
3587.37/3598.03	v -x1549 x134 -x92 -x1548 -x1547 -x1546 x360 -x1545 x161 -x91 -x1544 -x1543 x1542 -x1541 -x321 x90 -x1540 x1539 -x1538 -x529 
3587.37/3598.04	v -x1537 -x282 x89 -x1536 x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x87 -x1529 -x1528 -x1527 -x184 -x1526 x88 -x86 -x1525 -x1524 
3587.37/3598.04	v -x463 -x1523 -x419 -x1522 -x1521 -x1520 -x562 -x1519 x85 -x84 -x1518 -x1517 -x83 -x1516 -x1515 -x728 -x1514 -x82 -x1513 -x1512 
3587.37/3598.04	v -x197 -x1511 -x169 -x1510 x80 x1509 -x1508 -x1507 -x1506 -x1505 x194 -x1504 -x78 -x1503 -x1502 -x655 -x1501 x501 -x1500 
3587.37/3598.04	v -x77 -x1499 -x1498 x217 -x1497 x133 -x1496 x1495 -x325 -x1494 -x112 -x1493 -x76 x75 -x1492 -x1491 -x1490 -x1489 -x74 -x1488 -x1487 
3587.37/3598.04	v -x1486 -x1485 -x1484 -x1483 x483 -x1482 x245 -x72 -x1481 -x1480 -x1479 -x1478 x1477 -x1476 x1475 x157 x70 x1474 -x1473 
3587.37/3598.04	v -x1472 x156 -x1471 x1470 -x206 -x1469 -x1468 -x171 -x1467 -x1466 x376 -x1465 -x98 -x1464 x67 -x66 -x1463 -x1462 -x1461 x254 -x1460 
3587.37/3598.04	v x1459 -x1458 -x168 -x1457 x64 -x1456 -x1455 x598 -x1454 -x451 -x1453 -x63 -x1452 -x1451 x1450 -x1449 x62 -x1448 -x1447 
3587.37/3598.04	v -x1446 x1445 x436 x61 x1444 x1443 x578 x1442 x127 x1441 -x71 x60 -x1440 -x1439 -x1438 -x1437 -x1436 x1435 -x178 -x1434 -x143 
3587.37/3598.04	v -x1433 -x1432 x337 -x1431 -x117 -x1430 x57 -x56 -x1429 -x1428 -x1427 x659 -x1426 -x1425 -x1424 x139 -x1423 -x54 -x1422 x1421 
3587.37/3598.04	v -x544 -x1420 -x406 -x1419 x53 -x1418 -x1417 x1416 x1415 x52 -x1414 -x1413 -x1412 x1411 -x396 x51 -x1410 x1409 -x1408 -x150 -x1407 
3587.37/3598.04	v x50 -x1406 -x386 -x1405 x68 -x1404 -x1403 -x1402 -x1401 -x48 -x1400 x118 -x1399 x298 -x1398 -x142 -x1397 -x47 -x1396 x1395 
3587.37/3598.04	v -x1394 x115 x1393 -x65 x45 -x1392 -x1391 x500 -x1390 -x369 -x1389 -x44 -x1388 -x1387 -x1386 -x1385 x642 -x43 -x1384 -x1383 
3587.37/3598.04	v -x1382 -x359 -x1381 x73 -x42 -x1380 -x1379 -x1378 x273 -x1377 -x104 -x41 -x1376 -x1375 -x348 -x1374 x58 -x1373 -x1372 -x1371 
3587.37/3598.04	v -x1370 -x40 x39 -x1369 -x1368 -x1367 -x1366 -x38 -x1365 -x1364 x99 -x37 -x1363 -x1362 x1361 -x95 -x1360 -x55 x36 -x1359 x1358 
3587.37/3598.04	v -x450 -x1357 -x330 -x1356 x35 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 x149 x33 x1348 -x1347 x81 -x32 -x1346 -x1345 
3587.37/3598.04	v -x1344 -x166 -x1343 x79 -x31 -x1342 -x1341 x405 -x1340 x289 -x1339 x137 -x30 -x1338 -x1337 -x1336 -x1335 -x177 x29 -x1334 -x1333 
3587.37/3598.04	v x716 -x1332 -x368 -x1331 x251 -x28 -x1330 -x1329 -x654 -x1328 -x329 -x1327 -x219 x27 -x1326 -x557 -x1325 -x46 x26 -x1324 
3587.37/3598.04	v -x1323 -x1322 -x597 -x1321 x192 -x25 -x1320 -x1319 -x1318 -x533 -x1317 -x322 x24 -x1316 -x1315 -x1314 x485 x1313 -x285 x23 -x1312 
3587.37/3598.04	v -x1311 -x391 -x1310 -x1309 -x237 x22 -x1308 -x710 -x1307 x707 -x1306 -x441 -x1305 x364 -x21 -x1304 -x1303 -x1302 x438 x1301 
3587.37/3598.04	v -x248 x20 -x1300 -x353 -x1299 -x1298 -x208 -x1297 x677 -x1296 x469 -x1295 -x347 -x1294 -x1293 x645 -x1292 -x402 -x1291 -x400 
3587.37/3598.04	v -x17 -x1290 -x1289 -x1288 -x1287 x216 -x16 -x1286 -x1285 -x314 -x1284 -x1283 x181 -x15 -x1282 -x1281 -x1280 x488 -x1279 
3587.37/3598.04	v x188 -x14 -x1278 x688 x1277 -x276 -x1276 -x1275 -x154 x13 -x1274 -x1273 -x1272 x59 -x1271 x19 -x12 -x1270 -x1269 x1268 -x1267 
3587.37/3598.04	v -x162 x11 -x1266 -x627 -x1265 x239 -x1264 -x1263 x153 -x10 -x1262 -x1261 x1260 -x1259 -x131 x9 -x1258 x573 x1257 -x209 -x1256 
3587.37/3598.04	v -x180 -x1255 x8 -x1254 -x1253 -x522 -x1252 x182 -x1251 -x7 -x1250 x1249 x477 x1248 -x155 -x1247 x6 -x1246 -x1245 -x1244 -x428 
3587.37/3598.04	v -x1243 x126 -x5 -x1242 -x1241 -x385 -x1240 -x34 -x1239 -x18 x4 -x1238 x390 x1237 x312 x1236 -x106 -x1235 -x69 x3 -x1234 -x1233 
3587.37/3598.04	v -x1232 -x665 -x1231 x554 -x2 -x1230 x1229 -x1228 x1227 -x49 x1 -x1226

Verifier Data 

OK	-580

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (59471 MiB free)
  memory of node 1: 64473 MiB (63169 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464278-1722385796/watcher-4464278-1722385796 -o /tmp/evaluation-result-4464278-1722385796/solver-4464278-1722385796 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722378597-28644 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464278-1722385796.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=32851, runsolver pid=32848
Current StackSize limit: 8192 KiB


[startup+0.100084 s]*
/proc/loadavg: 4.15 4.12 4.09 5/266 32852
/proc/meminfo: memFree=125556272/131524600 swapFree=131071996/131071996
[pid=32851] ppid=32848 vsize=55064 memory=38320 CPUtime=0.1 cores=5,7
/proc/32851/stat : 32851 (fscip) R 32848 32851 28631 0 -1 4194304 7864 0 0 0 9 1 0 0 20 0 1 0 5184161 56385536 9580 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
/proc/32851/statm: 13766 9580 2774 3035 0 10162 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 55064 KiB
Current children cumulated memory: 38320 KiB

[startup+0.205861 s]*
/proc/loadavg: 4.15 4.12 4.09 5/268 32854
/proc/meminfo: memFree=125513200/131524600 swapFree=131071996/131071996
[pid=32851] ppid=32848 vsize=147444 memory=71252 CPUtime=0.2 cores=5,7
/proc/32851/stat : 32851 (fscip) S 32848 32851 28631 0 -1 1077936128 16911 0 0 0 18 2 0 0 20 0 3 0 5184161 150982656 17813 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
/proc/32851/statm: 36861 17813 2854 3035 0 22944 0
[pid=32851/tid=32853] ppid=32848 vsize=147444 memory=8505393642823811203 CPUtime=0.08 cores=5,7
/proc/32851/task/32853/stat : 32853 (fscip) R 32848 32851 28631 0 -1 4194368 7153 0 0 0 7 1 0 0 20 0 3 0 5184172 150982656 17813 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
[pid=32851/tid=32854] ppid=32848 vsize=147444 memory=43249 CPUtime=0 cores=5,7
/proc/32851/task/32854/stat : 32854 (fscip) S 32848 32851 28631 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5184173 150982656 17813 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 147444 KiB
Current children cumulated memory: 71252 KiB

[startup+0.30586 s]*
/proc/loadavg: 4.15 4.12 4.09 5/268 32854
/proc/meminfo: memFree=125499396/131524600 swapFree=131071996/131071996
[pid=32851] ppid=32848 vsize=148472 memory=74680 CPUtime=0.29 cores=5,7
/proc/32851/stat : 32851 (fscip) S 32848 32851 28631 0 -1 1077936128 17712 0 0 0 27 2 0 0 20 0 3 0 5184161 152035328 18670 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
/proc/32851/statm: 37118 18670 2950 3035 0 23779 0
[pid=32851/tid=32853] ppid=32848 vsize=148472 memory=-5155626899219311493 CPUtime=0.18 cores=5,7
/proc/32851/task/32853/stat : 32853 (fscip) R 32848 32851 28631 0 -1 4194368 7954 0 0 0 17 1 0 0 20 0 3 0 5184172 152035328 18670 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
[pid=32851/tid=32854] ppid=32848 vsize=148472 memory=0 CPUtime=0 cores=5,7
/proc/32851/task/32854/stat : 32854 (fscip) S 32848 32851 28631 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5184173 152035328 18670 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 148472 KiB
Current children cumulated memory: 74680 KiB

[startup+0.700257 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 32854
/proc/meminfo: memFree=125494908/131524600 swapFree=131071996/131071996
[pid=32851] ppid=32848 vsize=148472 memory=102664 CPUtime=0.68 cores=5,7
/proc/32851/stat : 32851 (fscip) S 32848 32851 28631 0 -1 1077936128 26383 0 0 0 65 3 0 0 20 0 3 0 5184161 152035328 25666 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
/proc/32851/statm: 37118 25666 2950 3035 0 31406 0
[pid=32851/tid=32853] ppid=32848 vsize=148472 memory=0 CPUtime=0.57 cores=5,7
/proc/32851/task/32853/stat : 32853 (fscip) R 32848 32851 28631 0 -1 4194368 16625 0 0 0 55 2 0 0 20 0 3 0 5184172 152035328 25666 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
[pid=32851/tid=32854] ppid=32848 vsize=148472 memory=0 CPUtime=0 cores=5,7
/proc/32851/task/32854/stat : 32854 (fscip) S 32848 32851 28631 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5184173 152035328 25666 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 148472 KiB
Current children cumulated memory: 102664 KiB

[startup+1.50025 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 32854
/proc/meminfo: memFree=125465768/131524600 swapFree=131071996/131071996
[pid=32851] ppid=32848 vsize=148472 memory=104644 CPUtime=1.48 cores=5,7
/proc/32851/stat : 32851 (fscip) S 32848 32851 28631 0 -1 1077936128 35852 0 0 0 144 4 0 0 20 0 3 0 5184161 152035328 26161 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
/proc/32851/statm: 37118 26161 2950 3035 0 31406 0
[pid=32851/tid=32853] ppid=32848 vsize=148472 memory=0 CPUtime=1.36 cores=5,7
/proc/32851/task/32853/stat : 32853 (fscip) R 32848 32851 28631 0 -1 4194368 26094 0 0 0 134 2 0 0 20 0 3 0 5184172 152035328 26161 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
[pid=32851/tid=32854] ppid=32848 vsize=148472 memory=0 CPUtime=0 cores=5,7
/proc/32851/task/32854/stat : 32854 (fscip) S 32848 32851 28631 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5184173 152035328 26161 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 148472 KiB
Current children cumulated memory: 104644 KiB

[startup+3.10542 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 32854
/proc/meminfo: memFree=125454016/131524600 swapFree=131071996/131071996
[pid=32851] ppid=32848 vsize=148472 memory=110992 CPUtime=3.08 cores=5,7
/proc/32851/stat : 32851 (fscip) S 32848 32851 28631 0 -1 1077936128 39498 0 0 0 304 4 0 0 20 0 3 0 5184161 152035328 27748 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
/proc/32851/statm: 37118 27748 2950 3035 0 33161 0
[pid=32851/tid=32853] ppid=32848 vsize=148472 memory=0 CPUtime=2.96 cores=5,7
/proc/32851/task/32853/stat : 32853 (fscip) R 32848 32851 28631 0 -1 4194368 29738 0 0 0 293 3 0 0 20 0 3 0 5184172 152035328 27748 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
[pid=32851/tid=32854] ppid=32848 vsize=148472 memory=2209 CPUtime=0 cores=5,7
/proc/32851/task/32854/stat : 32854 (fscip) S 32848 32851 28631 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5184173 152035328 27748 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 148472 KiB
Current children cumulated memory: 110992 KiB

[startup+6.30018 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 32854
/proc/meminfo: memFree=125428736/131524600 swapFree=131071996/131071996
[pid=32851] ppid=32848 vsize=214008 memory=130484 CPUtime=6.26 cores=5,7
/proc/32851/stat : 32851 (fscip) S 32848 32851 28631 0 -1 1077936128 59069 0 0 0 621 5 0 0 20 0 3 0 5184161 219144192 32621 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
/proc/32851/statm: 53502 32621 2950 3035 0 38760 0
[pid=32851/tid=32853] ppid=32848 vsize=214008 memory=0 CPUtime=6.15 cores=5,7
/proc/32851/task/32853/stat : 32853 (fscip) R 32848 32851 28631 0 -1 4194368 49307 0 0 0 611 4 0 0 20 0 3 0 5184172 219144192 32621 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
[pid=32851/tid=32854] ppid=32848 vsize=214008 memory=0 CPUtime=0 cores=5,7
/proc/32851/task/32854/stat : 32854 (fscip) S 32848 32851 28631 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5184173 219144192 32621 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 214008 KiB
Current children cumulated memory: 130484 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 32903
/proc/meminfo: memFree=128180516/131524600 swapFree=131071996/131071996
[pid=32851] ppid=32848 vsize=214008 memory=137388 CPUtime=12.65 cores=5,7
/proc/32851/stat : 32851 (fscip) S 32848 32851 28631 0 -1 1077936128 92612 0 0 0 1258 7 0 0 20 0 3 0 5184161 219144192 34347 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
/proc/32851/statm: 53502 34347 2950 3035 0 41200 0
[pid=32851/tid=32853] ppid=32848 vsize=214008 memory=135856 CPUtime=12.53 cores=5,7
/proc/32851/task/32853/stat : 32853 (fscip) R 32848 32851 28631 0 -1 4194368 82841 0 0 0 1247 6 0 0 20 0 3 0 5184172 219144192 34347 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
[pid=32851/tid=32854] ppid=32848 vsize=214008 memory=11592 CPUtime=0 cores=5,7
/proc/32851/task/32854/stat : 32854 (fscip) S 32848 32851 28631 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 5184173 219144192 34347 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 214008 KiB
Current children cumulated memory: 137388 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 32953
/proc/meminfo: memFree=127953116/131524600 swapFree=131071996/131071996
[pid=32851] ppid=32848 vsize=215516 memory=138376 CPUtime=25.42 cores=5,7
/proc/32851/stat : 32851 (fscip) S 32848 32851 28631 0 -1 1077936128 114832 0 0 0 2533 9 0 0 20 0 3 0 5184161 220688384 34594 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
/proc/32851/statm: 53879 34594 2950 3035 0 42049 0
[pid=32851/tid=32853] ppid=32848 vsize=215516 memory=11592 CPUtime=25.3 cores=5,7
/proc/32851/task/32853/stat : 32853 (fscip) R 32848 32851 28631 0 -1 4194368 105048 0 0 0 2523 7 0 0 20 0 3 0 5184172 220688384 34594 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
[pid=32851/tid=32854] ppid=32848 vsize=215516 memory=4532 CPUtime=0 cores=5,7
/proc/32851/task/32854/stat : 32854 (fscip) S 32848 32851 28631 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5184173 220688384 34594 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 215516 KiB
Current children cumulated memory: 138376 KiB

[startup+51.1054 s]
/proc/loadavg: 4.12 4.12 4.09 5/268 33013
/proc/meminfo: memFree=127911860/131524600 swapFree=131071996/131071996
[pid=32851] ppid=32848 vsize=215516 memory=141864 CPUtime=50.96 cores=5,7
/proc/32851/stat : 32851 (fscip) S 32848 32851 28631 0 -1 1077936128 134459 0 0 0 5086 10 0 0 20 0 3 0 5184161 220688384 35466 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
/proc/32851/statm: 53879 35466 2950 3035 0 42901 0
[pid=32851/tid=32853] ppid=32848 vsize=215516 memory=11592 CPUtime=50.85 cores=5,7
/proc/32851/task/32853/stat : 32853 (fscip) R 32848 32851 28631 0 -1 4194368 124657 0 0 0 5076 9 0 0 20 0 3 0 5184172 220688384 35466 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
[pid=32851/tid=32854] ppid=32848 vsize=215516 memory=138376 CPUtime=0 cores=5,7
/proc/32851/task/32854/stat : 32854 (fscip) S 32848 32851 28631 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 5184173 220688384 35466 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 215516 KiB
Current children cumulated memory: 141864 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/266 33070
/proc/meminfo: memFree=128256816/131524600 swapFree=131071996/131071996
[pid=32851] ppid=32848 vsize=215516 memory=157280 CPUtime=102.02 cores=5,7
/proc/32851/stat : 32851 (fscip) S 32848 32851 28631 0 -1 1077936128 160677 0 0 0 10190 12 0 0 20 0 3 0 5184161 220688384 39320 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
/proc/32851/statm: 53879 39320 3014 3035 0 47045 0
[pid=32851/tid=32853] ppid=32848 vsize=215516 memory=11592 CPUtime=101.9 cores=5,7
/proc/32851/task/32853/stat : 32853 (fscip) R 32848 32851 28631 0 -1 4194368 150797 0 0 0 10179 11 0 0 20 0 3 0 5184172 220688384 39320 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
[pid=32851/tid=32854] ppid=32848 vsize=215516 memory=157280 CPUtime=0 cores=5,7
/proc/32851/task/32854/stat : 32854 (fscip) S 32848 32851 28631 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 5184173 220688384 39320 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 215516 KiB
Current children cumulated memory: 157280 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/264 33127
/proc/meminfo: memFree=126866048/131524600 swapFree=131071996/131071996
[pid=32851] ppid=32848 vsize=215516 memory=158868 CPUtime=161.84 cores=5,7
/proc/32851/stat : 32851 (fscip) S 32848 32851 28631 0 -1 1077936128 196444 0 0 0 16170 14 0 0 20 0 3 0 5184161 220688384 39717 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
/proc/32851/statm: 53879 39717 3014 3035 0 47174 0
[pid=32851/tid=32853] ppid=32848 vsize=215516 memory=157308 CPUtime=161.72 cores=5,7
/proc/32851/task/32853/stat : 32853 (fscip) R 32848 32851 28631 0 -1 4194368 185860 0 0 0 16159 13 0 0 20 0 3 0 5184172 220688384 39717 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
[pid=32851/tid=32854] ppid=32848 vsize=215516 memory=158528 CPUtime=0 cores=5,7
/proc/32851/task/32854/stat : 32854 (fscip) S 32848 32851 28631 0 -1 1077936192 68 0 0 0 0 0 0 0 20 0 3 0 5184173 220688384 39717 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 215516 KiB
Current children cumulated memory: 158868 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/264 33137

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

/proc/32851/statm: 104240 81401 3014 3035 0 87763 0
[pid=32851/tid=32853] ppid=32848 vsize=416960 memory=324000 CPUtime=3392.05 cores=5,7
/proc/32851/task/32853/stat : 32853 (fscip) R 32848 32851 28631 0 -1 4194368 550305 0 0 0 339151 54 0 0 20 0 3 0 5184172 426967040 81401 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
[pid=32851/tid=32854] ppid=32848 vsize=416960 memory=324000 CPUtime=0.03 cores=5,7
/proc/32851/task/32854/stat : 32854 (fscip) S 32848 32851 28631 0 -1 1077936192 293 0 0 0 1 2 0 0 20 0 3 0 5184173 426967040 81401 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
Current children cumulated CPU time: 3392.26 s
Current children cumulated vsize: 416960 KiB
Current children cumulated memory: 325604 KiB

[startup+3462.3 s]
/proc/loadavg: 4.48 4.23 4.17 5/265 34898
/proc/meminfo: memFree=124884448/131524600 swapFree=131071996/131071996
[pid=32851] ppid=32848 vsize=416960 memory=326340 CPUtime=3452.07 cores=5,7
/proc/32851/stat : 32851 (fscip) S 32848 32851 28631 0 -1 1077936128 566150 0 0 0 345146 61 0 0 20 0 3 0 5184161 426967040 81585 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
/proc/32851/statm: 104240 81585 3014 3035 0 88104 0
[pid=32851/tid=32853] ppid=32848 vsize=416960 memory=324000 CPUtime=3451.86 cores=5,7
/proc/32851/task/32853/stat : 32853 (fscip) R 32848 32851 28631 0 -1 4194368 554183 0 0 0 345131 55 0 0 20 0 3 0 5184172 426967040 81585 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
[pid=32851/tid=32854] ppid=32848 vsize=416960 memory=324000 CPUtime=0.03 cores=5,7
/proc/32851/task/32854/stat : 32854 (fscip) S 32848 32851 28631 0 -1 1077936192 299 0 0 0 1 2 0 0 20 0 3 0 5184173 426967040 81585 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
Current children cumulated CPU time: 3452.07 s
Current children cumulated vsize: 416960 KiB
Current children cumulated memory: 326340 KiB

[startup+3522.3 s]
/proc/loadavg: 4.34 4.24 4.18 5/265 34909
/proc/meminfo: memFree=124859036/131524600 swapFree=131071996/131071996
[pid=32851] ppid=32848 vsize=416960 memory=337136 CPUtime=3511.89 cores=5,7
/proc/32851/stat : 32851 (fscip) S 32848 32851 28631 0 -1 1077936128 573535 0 0 0 351127 62 0 0 20 0 3 0 5184161 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
/proc/32851/statm: 104240 84284 3014 3035 0 91249 0
[pid=32851/tid=32853] ppid=32848 vsize=416960 memory=337136 CPUtime=3511.68 cores=5,7
/proc/32851/task/32853/stat : 32853 (fscip) R 32848 32851 28631 0 -1 4194368 561515 0 0 0 351112 56 0 0 20 0 3 0 5184172 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
[pid=32851/tid=32854] ppid=32848 vsize=416960 memory=12936 CPUtime=0.03 cores=5,7
/proc/32851/task/32854/stat : 32854 (fscip) S 32848 32851 28631 0 -1 1077936192 305 0 0 0 1 2 0 0 20 0 3 0 5184173 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
Current children cumulated CPU time: 3511.89 s
Current children cumulated vsize: 416960 KiB
Current children cumulated memory: 337136 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.21 4.17 5/266 35090
/proc/meminfo: memFree=124832660/131524600 swapFree=131071996/131071996
[pid=32851] ppid=32848 vsize=416960 memory=337136 CPUtime=3571.71 cores=5,7
/proc/32851/stat : 32851 (fscip) S 32848 32851 28631 0 -1 1077936128 575961 0 0 0 357109 62 0 0 20 0 3 0 5184161 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
/proc/32851/statm: 104240 84284 3014 3035 0 91249 0
[pid=32851/tid=32853] ppid=32848 vsize=416960 memory=337136 CPUtime=3571.5 cores=5,7
/proc/32851/task/32853/stat : 32853 (fscip) R 32848 32851 28631 0 -1 4194368 563919 0 0 0 357094 56 0 0 20 0 3 0 5184172 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
[pid=32851/tid=32854] ppid=32848 vsize=416960 memory=2349196 CPUtime=0.03 cores=5,7
/proc/32851/task/32854/stat : 32854 (fscip) S 32848 32851 28631 0 -1 1077936192 310 0 0 0 1 2 0 0 20 0 3 0 5184173 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
Current children cumulated CPU time: 3571.71 s
Current children cumulated vsize: 416960 KiB
Current children cumulated memory: 337136 KiB

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

# cumulated CPU time of all completed processes:  user=3586.79 s, system=0.630223 s

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

[startup+3584 s]*
/proc/loadavg: 4.18 4.21 4.17 5/266 35090
/proc/meminfo: memFree=124831964/131524600 swapFree=131071996/131071996
[pid=32851] ppid=32848 vsize=416960 memory=337136 CPUtime=3573.41 cores=5,7
/proc/32851/stat : 32851 (fscip) S 32848 32851 28631 0 -1 1077936128 576670 0 0 0 357279 62 0 0 20 0 3 0 5184161 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
/proc/32851/statm: 104240 84284 3014 3035 0 91249 0
[pid=32851/tid=32853] ppid=32848 vsize=416960 memory=20048 CPUtime=3573.2 cores=5,7
/proc/32851/task/32853/stat : 32853 (fscip) R 32848 32851 28631 0 -1 4194368 564625 0 0 0 357264 56 0 0 20 0 3 0 5184172 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
[pid=32851/tid=32854] ppid=32848 vsize=416960 memory=5440 CPUtime=0.03 cores=5,7
/proc/32851/task/32854/stat : 32854 (fscip) S 32848 32851 28631 0 -1 1077936192 313 0 0 0 1 2 0 0 20 0 3 0 5184173 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
Current children cumulated CPU time: 3573.41 s
Current children cumulated vsize: 416960 KiB
Current children cumulated memory: 337136 KiB

[startup+3590.4 s]
/proc/loadavg: 4.15 4.20 4.17 5/266 35091
/proc/meminfo: memFree=124829856/131524600 swapFree=131071996/131071996
[pid=32851] ppid=32848 vsize=416960 memory=337136 CPUtime=3579.79 cores=5,7
/proc/32851/stat : 32851 (fscip) S 32848 32851 28631 0 -1 1077936128 576691 0 0 0 357917 62 0 0 20 0 3 0 5184161 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
/proc/32851/statm: 104240 84284 3014 3035 0 91249 0
[pid=32851/tid=32853] ppid=32848 vsize=416960 memory=337136 CPUtime=3579.57 cores=5,7
/proc/32851/task/32853/stat : 32853 (fscip) R 32848 32851 28631 0 -1 4194368 564646 0 0 0 357901 56 0 0 20 0 3 0 5184172 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
[pid=32851/tid=32854] ppid=32848 vsize=416960 memory=337136 CPUtime=0.03 cores=5,7
/proc/32851/task/32854/stat : 32854 (fscip) S 32848 32851 28631 0 -1 1077936192 313 0 0 0 1 2 0 0 20 0 3 0 5184173 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
Current children cumulated CPU time: 3579.79 s
Current children cumulated vsize: 416960 KiB
Current children cumulated memory: 337136 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.20 4.17 5/266 35091
/proc/meminfo: memFree=124824772/131524600 swapFree=131071996/131071996
[pid=32851] ppid=32848 vsize=416960 memory=337136 CPUtime=3582.98 cores=5,7
/proc/32851/stat : 32851 (fscip) S 32848 32851 28631 0 -1 1077936128 576693 0 0 0 358236 62 0 0 20 0 3 0 5184161 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
/proc/32851/statm: 104240 84284 3014 3035 0 91249 0
[pid=32851/tid=32853] ppid=32848 vsize=416960 memory=11592 CPUtime=3582.76 cores=5,7
/proc/32851/task/32853/stat : 32853 (fscip) R 32848 32851 28631 0 -1 4194368 564648 0 0 0 358220 56 0 0 20 0 3 0 5184172 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
[pid=32851/tid=32854] ppid=32848 vsize=416960 memory=337136 CPUtime=0.03 cores=5,7
/proc/32851/task/32854/stat : 32854 (fscip) S 32848 32851 28631 0 -1 1077936192 313 0 0 0 1 2 0 0 20 0 3 0 5184173 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
Current children cumulated CPU time: 3582.98 s
Current children cumulated vsize: 416960 KiB
Current children cumulated memory: 337136 KiB

[startup+3595.2 s]
/proc/loadavg: 4.14 4.20 4.17 5/266 35091
/proc/meminfo: memFree=124823516/131524600 swapFree=131071996/131071996
[pid=32851] ppid=32848 vsize=416960 memory=337136 CPUtime=3584.57 cores=5,7
/proc/32851/stat : 32851 (fscip) S 32848 32851 28631 0 -1 1077936128 576704 0 0 0 358395 62 0 0 20 0 3 0 5184161 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
/proc/32851/statm: 104240 84284 3014 3035 0 91249 0
[pid=32851/tid=32853] ppid=32848 vsize=416960 memory=16000 CPUtime=3584.36 cores=5,7
/proc/32851/task/32853/stat : 32853 (fscip) R 32848 32851 28631 0 -1 4194368 564659 0 0 0 358380 56 0 0 20 0 3 0 5184172 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
[pid=32851/tid=32854] ppid=32848 vsize=416960 memory=2248 CPUtime=0.03 cores=5,7
/proc/32851/task/32854/stat : 32854 (fscip) S 32848 32851 28631 0 -1 1077936192 313 0 0 0 1 2 0 0 20 0 3 0 5184173 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
Current children cumulated CPU time: 3584.57 s
Current children cumulated vsize: 416960 KiB
Current children cumulated memory: 337136 KiB

[startup+3596.8 s]
/proc/loadavg: 4.14 4.20 4.17 5/266 35091
/proc/meminfo: memFree=124822900/131524600 swapFree=131071996/131071996
[pid=32851] ppid=32848 vsize=416960 memory=337136 CPUtime=3586.17 cores=5,7
/proc/32851/stat : 32851 (fscip) S 32848 32851 28631 0 -1 1077936128 576706 0 0 0 358555 62 0 0 20 0 3 0 5184161 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
/proc/32851/statm: 104240 84284 3014 3035 0 91249 0
[pid=32851/tid=32853] ppid=32848 vsize=416960 memory=337136 CPUtime=3585.95 cores=5,7
/proc/32851/task/32853/stat : 32853 (fscip) R 32848 32851 28631 0 -1 4194368 564661 0 0 0 358539 56 0 0 20 0 3 0 5184172 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
[pid=32851/tid=32854] ppid=32848 vsize=416960 memory=337136 CPUtime=0.03 cores=5,7
/proc/32851/task/32854/stat : 32854 (fscip) S 32848 32851 28631 0 -1 1077936192 313 0 0 0 1 2 0 0 20 0 3 0 5184173 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
Current children cumulated CPU time: 3586.17 s
Current children cumulated vsize: 416960 KiB
Current children cumulated memory: 337136 KiB

[startup+3597.6 s]
/proc/loadavg: 4.14 4.20 4.17 5/266 35091
/proc/meminfo: memFree=124822788/131524600 swapFree=131071996/131071996
[pid=32851] ppid=32848 vsize=416960 memory=337136 CPUtime=3586.96 cores=5,7
/proc/32851/stat : 32851 (fscip) S 32848 32851 28631 0 -1 1077936128 576706 0 0 0 358634 62 0 0 20 0 3 0 5184161 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
/proc/32851/statm: 104240 84284 3014 3035 0 91249 0
[pid=32851/tid=32853] ppid=32848 vsize=416960 memory=12520 CPUtime=3586.75 cores=5,7
/proc/32851/task/32853/stat : 32853 (fscip) R 32848 32851 28631 0 -1 4194368 564661 0 0 0 358619 56 0 0 20 0 3 0 5184172 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
[pid=32851/tid=32854] ppid=32848 vsize=416960 memory=12936 CPUtime=0.03 cores=5,7
/proc/32851/task/32854/stat : 32854 (fscip) S 32848 32851 28631 0 -1 1077936192 313 0 0 0 1 2 0 0 20 0 3 0 5184173 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
Current children cumulated CPU time: 3586.96 s
Current children cumulated vsize: 416960 KiB
Current children cumulated memory: 337136 KiB

[startup+3598 s]*
/proc/loadavg: 4.14 4.20 4.17 4/259 35099
/proc/meminfo: memFree=126140928/131524600 swapFree=131071996/131071996
[pid=32851] ppid=32848 vsize=416960 memory=337136 CPUtime=3587.37 cores=5,7
/proc/32851/stat : 32851 (fscip) S 32848 32851 28631 0 -1 1077936128 577001 0 0 0 358675 62 0 0 20 0 3 0 5184161 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
/proc/32851/statm: 104240 84284 3014 3035 0 91249 0
[pid=32851/tid=32853] ppid=32848 vsize=416960 memory=8039887049847964582 CPUtime=3587.16 cores=5,7
/proc/32851/task/32853/stat : 32853 (fscip) R 32848 32851 28631 0 -1 4194368 564942 0 0 0 358660 56 0 0 20 0 3 0 5184172 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
[pid=32851/tid=32854] ppid=32848 vsize=416960 memory=18004 CPUtime=0.03 cores=5,7
/proc/32851/task/32854/stat : 32854 (fscip) S 32848 32851 28631 0 -1 1077936192 313 0 0 0 1 2 0 0 20 0 3 0 5184173 426967040 84284 134679101440 4194304 16623229 140728368673328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25382912 140728368682006 140728368682122 140728368682122 140728368689136 0
Current children cumulated CPU time: 3587.37 s
Current children cumulated vsize: 416960 KiB
Current children cumulated memory: 337136 KiB

Child status: 0

Real time (s): 3598.05
CPU time (s): 3587.42
CPU user time (s): 3586.79
CPU system time (s): 0.630223
CPU usage (%): 99.7046
Max. virtual memory (cumulated for all children) (KiB): 416960
Max. memory (cumulated for all children) (KiB): 337136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.79
system time used= 0.630223
maximum resident set size= 337136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 578783
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= 5272
involuntary context switches= 1536


# summary of solver processes directly reported to runsolver:
#   pid: 32851
#   total CPU time (s): 3587.42
#   total CPU user time (s): 3586.79
#   total CPU system time (s): 0.630223

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75064 second user time and 16.7008 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-07-31 02:29:57
IDJOB=4464278
IDBENCH=158503
IDSOLVER=3092
FILE ID=nodeC028/4464278-1722385796
RUNJOBID= nodeC028-1722378597-28644
SLURM_JOB_ID= 8249851
Free space on /tmp= 889988 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament50.lin.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-4464278-1722385796/watcher-4464278-1722385796 -o /tmp/evaluation-result-4464278-1722385796/solver-4464278-1722385796 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722378597-28644 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464278-1722385796.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 16979d2f8203ffed07f73a3588d8874c
RANDOM SEED=1078368009

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3673.845
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.94
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		: 3679.044
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	: 7005.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.061
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.94
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		: 3645.177
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	: 7005.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3673.836
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.94
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		: 3665.453
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	: 7005.71
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		: 3600.205
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.94
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		: 3668.713
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	: 7005.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125592632 kB
MemAvailable:   126471752 kB
Buffers:           95880 kB
Cached:          1606928 kB
SwapCached:            0 kB
Active:           268716 kB
Inactive:        5153488 kB
Active(anon):       1524 kB
Inactive(anon):  3738876 kB
Active(file):     267192 kB
Inactive(file):  1414612 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             56912 kB
Writeback:             0 kB
AnonPages:       3716460 kB
Mapped:           125040 kB
Shmem:             21336 kB
KReclaimable:      74276 kB
Slab:             160212 kB
SReclaimable:      74276 kB
SUnreclaim:        85936 kB
KernelStack:        4236 kB
PageTables:        16808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3165188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9856 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2998272 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:      207572 kB
DirectMap2M:     6905856 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 889972 MiB
End job on nodeC028 at 2024-07-31 03:29:55