Trace number 4434946

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-02SAT-580 3589.3 3600.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: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.02	c Default LC presolving (default).
0.00/0.02	c ** Before presolving: virtualMemUsedAtLc = 38744064, getVmSize() = 38744064, SCIPgetMemUsed() = 13439827, 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 = 32044373, getVmSize() = 57389056, SCIPgetMemUsed() = 18274212, 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-4434946-1721168412
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.19/0.22	c *       0              0           1         1        -274.0000                -          -
0.19/0.28	c *       0              0           1         1        -426.0000                -          -
0.78/0.81	c *       1              0           1         1        -431.0000                -          -
0.88/0.95	c *       1              0           1         1        -433.0000                -          -
67.59/67.83	c        68              2           1         1        -433.0000        -647.1627     49.46%
74.28/74.53	c        75              3           2         1        -433.0000        -646.9061     49.40%
85.65/85.98	c        86              4           3         1        -433.0000        -646.9061     49.40%
95.52/95.84	c        96              5           4         1        -433.0000        -646.9061     49.40%
104.71/105.02	c       105              6           5         1        -433.0000        -646.9061     49.40%
112.38/112.76	c       113              7           6         1        -433.0000        -646.9061     49.40%
118.17/118.57	c       119              8           7         1        -433.0000        -646.9061     49.40%
136.11/136.53	c       137             12          11         1        -433.0000        -646.9061     49.40%
143.20/143.64	c *     144             12          11         1        -516.0000        -646.9061     25.37%
143.20/143.64	c       144             12          11         1        -516.0000        -646.9061     25.37%
143.20/143.67	c *     144             13          12         1        -520.0000        -646.9061     24.41%
148.78/149.21	c       149             14          13         1        -520.0000        -646.9061     24.41%
167.93/168.49	c       168             15          14         1        -520.0000        -646.9061     24.41%
174.41/174.95	c       175             25          24         1        -520.0000        -646.9061     24.41%
186.48/187.03	c       187             28          27         1        -520.0000        -646.9061     24.41%
196.45/197.08	c       197             33          32         1        -520.0000        -646.9061     24.41%
201.63/202.28	c       202             39          38         1        -520.0000        -646.9061     24.41%
209.90/210.53	c       211             42          41         1        -520.0000        -646.9061     24.41%
218.88/219.54	c       220             49          48         1        -520.0000        -646.9061     24.41%
236.64/237.34	c       237             53          52         1        -520.0000        -646.9061     24.41%
243.92/244.62	c       245             55          54         1        -520.0000        -646.9061     24.41%
252.90/253.69	c       254             57          56         1        -520.0000        -646.9061     24.41%
260.58/261.33	c       261             60          59         1        -520.0000        -646.9061     24.41%
274.64/275.48	c       275             61          60         1        -520.0000        -646.9061     24.41%
400.12/401.27	c *     401             61          60         1        -521.0000        -646.9061     24.17%
400.12/401.27	c       401             61          60         1        -521.0000        -646.9061     24.17%
400.12/401.27	c *     401             61          60         1        -523.0000        -646.9061     23.69%
405.60/406.73	c       407             68          67         1        -523.0000        -646.9061     23.69%
418.57/419.72	c       420             70          69         1        -523.0000        -646.9061     23.69%
426.05/427.27	c       427             74          73         1        -523.0000        -646.9061     23.69%
439.62/440.81	c       441             76          75         1        -523.0000        -646.9061     23.69%
446.00/447.29	c       447             77          76         1        -523.0000        -646.9061     23.69%
452.79/454.01	c *     454             77          76         1        -532.0000        -646.9061     21.60%
452.79/454.01	c       454             77          76         1        -532.0000        -646.9061     21.60%
452.79/454.03	c *     454             77          76         1        -534.0000        -646.9061     21.14%
458.37/459.67	c       460             82          81         1        -534.0000        -646.9061     21.14%
474.23/475.52	c *     476             82          81         1        -543.0000        -646.9061     19.14%
474.23/475.52	c       476             82          81         1        -543.0000        -646.9061     19.14%
474.23/475.54	c *     476             82          81         1        -545.0000        -646.9061     18.70%
484.81/486.18	c       486             85          84         1        -545.0000        -646.9061     18.70%
495.98/497.30	c       497             89          88         1        -545.0000        -646.9061     18.70%
505.96/507.39	c       507             90          89         1        -545.0000        -646.9061     18.70%
514.64/516.08	c       516             94          93         1        -545.0000        -646.9061     18.70%
520.32/521.72	c       522             96          95         1        -545.0000        -646.9061     18.70%
528.80/530.29	c       530            100          99         1        -545.0000        -646.9061     18.70%
535.18/536.64	c       537            101         100         1        -545.0000        -646.9061     18.70%
547.35/548.82	c       549            108         109         1        -545.0000        -646.9061     18.70%
553.74/555.27	c       555            111         110         1        -545.0000        -646.9061     18.70%
559.42/560.92	c       561            112         111         1        -545.0000        -646.9061     18.70%
570.50/572.02	c       572            115         114         1        -545.0000        -646.9061     18.70%
584.05/585.65	c       586            118         117         1        -545.0000        -646.9061     18.70%
589.45/591.08	c       591            120         119         1        -545.0000        -646.9061     18.70%
600.10/601.70	c *     602            123         122         1        -554.0000        -646.9061     16.77%
600.10/601.70	c       602            123         122         1        -554.0000        -646.9061     16.77%
606.18/607.85	c       608            126         125         1        -554.0000        -646.9061     16.77%
613.37/615.07	c *     615            128         127         1        -563.0000        -646.9061     14.90%
613.37/615.07	c       615            128         127         1        -563.0000        -646.9061     14.90%
614.56/616.30	c *     616            130         129         1        -565.0000        -646.9061     14.50%
622.44/624.18	c       624            137         136         1        -565.0000        -646.9061     14.50%
627.72/629.48	c       629            146         145         1        -565.0000        -646.9061     14.50%
633.51/635.20	c       635            152         151         1        -565.0000        -646.9061     14.50%
642.88/644.64	c       645            154         153         1        -565.0000        -646.9061     14.50%
650.47/652.27	c       652            160         159         1        -565.0000        -646.9061     14.50%
659.35/661.13	c       661            169         168         1        -565.0000        -646.9061     14.50%
664.83/666.65	c       667            171         170         1        -565.0000        -646.9061     14.50%
670.91/672.79	c       673            180         179         1        -565.0000        -646.9061     14.50%
679.49/681.34	c       681            187         186         1        -565.0000        -646.9061     14.50%
684.88/686.74	c       687            193         192         1        -565.0000        -646.9061     14.50%
692.76/694.67	c       695            200         199         1        -565.0000        -646.9061     14.50%
698.84/700.79	c       701            204         203         1        -565.0000        -646.9061     14.50%
704.23/706.15	c       706            211         210         1        -565.0000        -646.9061     14.50%
712.01/713.94	c       714            218         217         1        -565.0000        -646.9061     14.50%
717.29/719.21	c       719            232         231         1        -565.0000        -646.9061     14.50%
722.38/724.33	c       724            241         240         1        -565.0000        -646.9061     14.50%
731.86/733.86	c       734            242         241         1        -565.0000        -646.5508     14.43%
763.19/765.22	c       765            251         250         1        -565.0000        -646.5508     14.43%
777.45/779.56	c       780            252         251         1        -565.0000        -646.0442     14.34%
783.94/786.03	c       786            254         253         1        -565.0000        -646.0442     14.34%
790.61/792.79	c       793            259         258         1        -565.0000        -646.0442     14.34%
808.87/811.08	c       811            260         259         1        -565.0000        -646.0442     14.34%
824.42/826.65	c       827            261         260         1        -565.0000        -646.0442     14.34%
839.29/841.56	c       842            262         261         1        -565.0000        -645.4983     14.25%
847.67/849.99	c       850            264         263         1        -565.0000        -645.4983     14.25%
872.29/874.66	c       875            269         268         1        -565.0000        -645.4983     14.25%
1081.19/1084.23	c      1084            271         270         1        -565.0000        -645.4983     14.25%
1096.35/1099.40	c      1099            272         271         1        -565.0000        -644.8848     14.14%
1101.83/1104.96	c      1105            273         272         1        -565.0000        -644.8848     14.14%
1110.60/1113.73	c      1114            277         276         1        -565.0000        -644.8848     14.14%
1128.04/1131.23	c      1131            278         277         1        -565.0000        -644.8848     14.14%
1134.82/1138.09	c      1138            280         279         1        -565.0000        -644.8848     14.14%
1160.83/1164.12	c      1164            281         280         1        -565.0000        -644.8848     14.14%
1178.06/1181.44	c      1181            282         281         1        -565.0000        -644.3514     14.04%
1183.35/1186.76	c      1187            283         282         1        -565.0000        -644.3514     14.04%
1198.80/1202.23	c      1202            287         286         1        -565.0000        -644.3514     14.04%
1206.48/1209.96	c      1210            290         289         1        -565.0000        -644.3514     14.04%
1216.95/1220.41	c      1220            291         290         1        -565.0000        -644.3514     14.04%
1234.89/1238.45	c      1238            292         291         1        -565.0000        -643.4907     13.89%
1240.27/1243.88	c      1244            293         292         1        -565.0000        -643.4907     13.89%
1250.23/1253.84	c      1254            296         295         1        -565.0000        -643.4907     13.89%
1260.80/1264.46	c      1264            299         298         1        -565.0000        -643.4907     13.89%
1272.76/1276.47	c      1276            301         300         1        -565.0000        -643.4907     13.89%
1289.00/1292.78	c      1293            302         301         1        -565.0000        -643.1590     13.83%
1305.85/1309.69	c      1310            305         304         1        -565.0000        -643.1590     13.83%
1312.53/1316.36	c      1316            309         308         1        -565.0000        -643.1590     13.83%
1317.61/1321.40	c      1321            310         309         1        -565.0000        -643.1590     13.83%
1327.37/1331.20	c      1331            311         310         1        -565.0000        -643.1590     13.83%
1341.53/1345.40	c      1345            312         311         1        -565.0000        -641.7611     13.59%
1363.96/1367.97	c      1368            314         313         1        -565.0000        -641.7611     13.59%
1370.84/1374.83	c      1375            315         314         1        -565.0000        -641.7611     13.59%
1376.03/1380.02	c      1380            319         318         1        -565.0000        -641.7611     13.59%
1387.39/1391.43	c      1391            321         320         1        -565.0000        -641.7611     13.59%
1417.90/1422.02	c      1422            322         321         1        -565.0000        -639.3067     13.15%
1425.87/1430.00	c      1430            324         323         1        -565.0000        -639.3067     13.15%
1432.05/1436.21	c      1436            328         327         1        -565.0000        -639.3067     13.15%
1437.03/1441.23	c      1441            330         329         1        -565.0000        -639.3067     13.15%
1446.49/1450.78	c      1451            331         330         1        -565.0000        -639.3067     13.15%
1457.96/1462.26	c      1462            332         331         1        -565.0000        -639.2736     13.15%
1466.84/1471.16	c      1471            336         335         1        -565.0000        -639.2736     13.15%
1472.32/1476.61	c      1477            338         337         1        -565.0000        -639.2736     13.15%
1489.88/1494.21	c      1494            340         339         1        -565.0000        -639.2736     13.15%
1506.54/1510.97	c      1511            342         341         1        -565.0000        -638.6130     13.03%
1511.63/1516.02	c      1516            344         343         1        -565.0000        -638.6130     13.03%
1519.01/1523.48	c      1523            346         345         1        -565.0000        -638.6130     13.03%
1530.68/1535.10	c      1535            349         348         1        -565.0000        -638.6130     13.03%
1541.55/1546.09	c *    1546            350         349         1        -567.0000        -638.6130     12.63%
1541.55/1546.09	c      1546            350         349         1        -567.0000        -638.6130     12.63%
1555.31/1559.88	c      1560            352         351         1        -567.0000        -638.4367     12.60%
1561.79/1566.36	c      1566            355         354         1        -567.0000        -638.4367     12.60%
1567.37/1571.95	c      1572            356         355         1        -567.0000        -638.4367     12.60%
1585.11/1589.74	c      1590            358         357         1        -567.0000        -638.4367     12.60%
1591.39/1596.10	c      1596            360         359         1        -567.0000        -638.4367     12.60%
1597.26/1601.94	c      1602            361         360         1        -567.0000        -638.4367     12.60%
1610.92/1615.69	c      1616            362         361         1        -567.0000        -637.4072     12.42%
1617.20/1621.94	c      1622            365         364         1        -567.0000        -637.4072     12.42%
1632.65/1637.48	c      1637            367         366         1        -567.0000        -637.4072     12.42%
1638.73/1643.56	c      1644            369         368         1        -567.0000        -637.4072     12.42%
1645.51/1650.37	c      1650            373         372         1        -567.0000        -637.4072     12.42%
1650.99/1655.86	c      1656            376         375         1        -567.0000        -637.4072     12.42%
1657.77/1662.61	c      1663            378         377         1        -567.0000        -637.4072     12.42%
1664.55/1669.47	c      1669            383         382         1        -567.0000        -637.4072     12.42%
1671.43/1676.38	c      1676            387         386         1        -567.0000        -637.4072     12.42%
1676.51/1681.45	c      1681            388         387         1        -567.0000        -637.4072     12.42%
1682.00/1686.98	c      1687            394         393         1        -567.0000        -637.4072     12.42%
1688.37/1693.33	c      1693            396         395         1        -567.0000        -637.4072     12.42%
1693.96/1698.92	c      1699            400         399         1        -567.0000        -637.4072     12.42%
1699.24/1704.29	c      1704            406         405         1        -567.0000        -637.4072     12.42%
1706.61/1711.64	c      1712            408         407         1        -567.0000        -637.4072     12.42%
1712.59/1717.65	c      1718            411         410         1        -567.0000        -637.4072     12.42%
1718.37/1723.45	c      1723            413         412         1        -567.0000        -637.4072     12.42%
1723.85/1728.99	c      1729            420         419         1        -567.0000        -637.4072     12.42%
1730.94/1736.02	c      1736            424         423         1        -567.0000        -637.4072     12.42%
1740.01/1745.19	c      1745            428         427         1        -567.0000        -637.4072     12.42%
1748.47/1753.68	c      1754            436         435         1        -567.0000        -637.4072     12.42%
1754.65/1759.89	c      1760            448         447         1        -567.0000        -637.4072     12.42%
1760.63/1765.85	c      1766            452         451         1        -567.0000        -637.4072     12.42%
1768.31/1773.58	c      1774            460         459         1        -567.0000        -637.4072     12.42%
1773.30/1778.59	c      1779            462         461         1        -567.0000        -637.4072     12.42%
1778.59/1783.87	c      1784            465         464         1        -567.0000        -637.4072     12.42%
1786.16/1791.45	c      1791            470         469         1        -567.0000        -637.4072     12.42%
1791.15/1796.50	c      1796            473         472         1        -567.0000        -637.4072     12.42%
1800.42/1805.78	c      1806            484         483         1        -567.0000        -637.4072     12.42%
1806.20/1811.57	c      1812            502         501         1        -567.0000        -637.4072     12.42%
1811.78/1817.14	c      1817            510         509         1        -567.0000        -637.4072     12.42%
1816.86/1822.24	c      1822            526         525         1        -567.0000        -637.4072     12.42%
1821.94/1827.35	c      1827            538         537         1        -567.0000        -637.4072     12.42%
1864.80/1870.35	c      1870            550         551         1        -567.0000        -637.4072     12.42%
1864.80/1870.35	c *    1870            550         551         1        -571.0000        -637.4072     11.63%
1870.88/1876.42	c      1876            573         562         1        -571.0000        -637.1026     11.58%
1901.49/1907.18	c      1907            576         565         1        -571.0000        -637.1026     11.58%
1908.07/1913.75	c      1914            577         566         1        -571.0000        -637.1026     11.58%
1913.15/1918.88	c      1919            580         569         1        -571.0000        -637.1026     11.58%
1918.83/1924.59	c      1925            582         571         1        -571.0000        -637.1026     11.58%
1926.80/1932.55	c      1933            584         573         1        -571.0000        -637.1026     11.58%
1934.28/1940.06	c      1940            632         577         1        -571.0000        -636.6771     11.50%
1967.56/1973.48	c      1973            635         580         1        -571.0000        -636.6771     11.50%
1973.44/1979.31	c      1979            637         582         1        -571.0000        -636.6771     11.50%
1980.42/1986.34	c      1986            640         585         1        -571.0000        -636.6771     11.50%
1986.50/1992.49	c      1992            643         588         1        -571.0000        -636.6771     11.50%
1994.18/2000.16	c      2000            652         589         1        -571.0000        -636.0857     11.40%
2027.76/2033.88	c      2034            654         591         1        -571.0000        -636.0857     11.40%
2033.14/2039.21	c      2039            656         593         1        -571.0000        -636.0857     11.40%
2040.11/2046.24	c      2046            659         596         1        -571.0000        -636.0857     11.40%
2045.40/2051.54	c      2052            662         599         1        -571.0000        -636.0857     11.40%
2050.48/2056.63	c      2057            665         602         1        -571.0000        -636.0857     11.40%
2056.16/2062.31	c      2062            707         606         1        -571.0000        -636.0857     11.40%
2076.09/2082.30	c      2082            750         603         1        -571.0000        -636.0857     11.40%
2095.83/2102.11	c      2102            759         598         1        -571.0000        -636.0857     11.40%
2128.92/2135.36	c      2135            773         598         1        -571.0000        -635.7066     11.33%
2135.20/2141.66	c      2142            775         600         1        -571.0000        -635.7066     11.33%
2141.18/2147.69	c      2148            778         603         1        -571.0000        -635.7066     11.33%
2147.26/2153.70	c      2154            780         605         1        -571.0000        -635.7066     11.33%
2152.94/2159.47	c      2159            783         608         1        -571.0000        -635.7066     11.33%
2170.49/2177.06	c      2177            786         611         1        -571.0000        -635.7066     11.33%
2176.96/2183.55	c      2184            814         609         1        -571.0000        -635.4535     11.29%
2207.17/2213.88	c      2214            815         610         1        -571.0000        -635.4535     11.29%
2213.35/2220.09	c      2220            818         613         1        -571.0000        -635.4535     11.29%
2219.13/2225.86	c      2226            821         616         1        -571.0000        -635.4535     11.29%
2224.31/2231.08	c      2231            824         619         1        -571.0000        -635.4535     11.29%
2229.69/2236.45	c      2236            837         628         1        -571.0000        -635.4535     11.29%
2235.87/2242.63	c      2243            895         638         1        -571.0000        -635.4535     11.29%
2268.07/2274.94	c      2275            932         637         1        -571.0000        -635.1470     11.23%
2273.35/2280.24	c      2280            933         638         1        -571.0000        -635.1470     11.23%
2279.83/2286.71	c      2287            936         641         1        -571.0000        -635.1470     11.23%
2286.21/2293.12	c      2293            940         645         1        -571.0000        -635.1470     11.23%
2291.89/2298.86	c      2299            943         648         1        -571.0000        -635.1470     11.23%
2297.38/2304.38	c      2304            963         648         1        -571.0000        -635.1470     11.23%
2303.26/2310.24	c      2310            998         647         1        -571.0000        -635.1470     11.23%
2340.64/2347.78	c      2348           1014         649         1        -571.0000        -634.7930     11.17%
2347.02/2354.14	c      2354           1017         652         1        -571.0000        -634.7930     11.17%
2352.70/2359.81	c      2360           1019         654         1        -571.0000        -634.7930     11.17%
2357.88/2365.09	c      2365           1022         657         1        -571.0000        -634.7930     11.17%
2363.36/2370.58	c      2371           1024         659         1        -571.0000        -634.7930     11.17%
2397.76/2405.03	c      2405           1033         664         1        -571.0000        -634.4975     11.12%
2403.54/2410.80	c      2411           1035         666         1        -571.0000        -634.4975     11.12%
2408.72/2416.08	c      2416           1038         669         1        -571.0000        -634.4975     11.12%
2415.10/2422.40	c      2422           1041         672         1        -571.0000        -634.4975     11.12%
2420.58/2427.97	c      2428           1044         675         1        -571.0000        -634.4975     11.12%
2426.77/2434.19	c      2434           1069         676         1        -571.0000        -634.4975     11.12%
2459.97/2467.42	c      2467           1094         679         1        -571.0000        -634.3961     11.10%
2467.15/2474.65	c      2475           1097         682         1        -571.0000        -634.3961     11.10%
2472.53/2480.10	c      2480           1100         685         1        -571.0000        -634.3961     11.10%
2479.01/2486.52	c      2487           1104         689         1        -571.0000        -634.3961     11.10%
2517.00/2524.61	c      2525           1112         687         1        -571.0000        -634.1300     11.06%
2528.67/2536.30	c      2536           1113         688         1        -571.0000        -634.1300     11.06%
2533.86/2541.57	c      2542           1115         690         1        -571.0000        -634.1300     11.06%
2540.64/2548.33	c      2548           1118         693         1        -571.0000        -634.1300     11.06%
2550.42/2558.15	c      2558           1122         697         1        -571.0000        -634.1300     11.06%
2556.01/2563.75	c      2564           1131         702         1        -571.0000        -634.1300     11.06%
2588.42/2596.29	c      2596           1143         698         1        -571.0000        -634.1128     11.05%
2594.61/2602.41	c      2602           1144         699         1        -571.0000        -634.1128     11.05%
2601.89/2609.70	c      2610           1147         702         1        -571.0000        -634.1128     11.05%
2607.18/2615.05	c      2615           1150         705         1        -571.0000        -634.1128     11.05%
2613.96/2621.83	c      2622           1153         708         1        -571.0000        -634.1128     11.05%
2619.05/2626.93	c      2627           1155         710         1        -571.0000        -634.1128     11.05%
2654.16/2662.11	c      2662           1162         711         1        -571.0000        -634.1029     11.05%
2660.74/2668.79	c      2669           1164         713         1        -571.0000        -634.1029     11.05%
2667.22/2675.28	c      2675           1167         716         1        -571.0000        -634.1029     11.05%
2672.31/2680.35	c      2680           1169         718         1        -571.0000        -634.1029     11.05%
2678.59/2686.65	c      2687           1172         721         1        -571.0000        -634.1029     11.05%
2684.18/2692.20	c      2692           1175         724         1        -571.0000        -634.1029     11.05%
2689.77/2697.84	c      2698           1217         720         1        -571.0000        -634.1029     11.05%
2722.18/2730.32	c      2730           1234         721         1        -571.0000        -634.0620     11.04%
2729.16/2737.34	c      2737           1236         723         1        -571.0000        -634.0620     11.04%
2734.44/2742.63	c      2743           1238         725         1        -571.0000        -634.0620     11.04%
2739.62/2747.89	c      2748           1241         728         1        -571.0000        -634.0620     11.04%
2746.81/2755.08	c      2755           1244         731         1        -571.0000        -634.0620     11.04%
2753.58/2761.86	c *    2762           1244         731         1        -574.0000        -634.0620     10.46%
2753.58/2761.86	c      2762           1244         731         1        -574.0000        -634.0620     10.46%
2753.98/2762.25	c *    2762           1245         731         1        -575.0000        -634.0620     10.27%
2759.26/2767.50	c      2768           1275         734         1        -575.0000        -634.0620     10.27%
2764.35/2772.66	c      2773           1292         733         1        -575.0000        -634.0577     10.27%
2789.07/2797.48	c      2797           1293         734         1        -575.0000        -634.0577     10.27%
2796.45/2804.83	c      2805           1294         735         1        -575.0000        -634.0577     10.27%
2803.63/2812.02	c      2812           1297         738         1        -575.0000        -634.0577     10.27%
2810.20/2818.64	c      2819           1300         741         1        -575.0000        -634.0577     10.27%
2819.27/2827.73	c      2828           1303         744         1        -575.0000        -634.0577     10.27%
2824.45/2832.90	c      2833           1319         746         1        -575.0000        -634.0577     10.27%
2830.03/2838.50	c      2838           1346         747         1        -575.0000        -634.0577     10.27%
2835.62/2844.18	c      2844           1368         749         1        -575.0000        -634.0577     10.27%
2868.61/2877.22	c      2877           1372         749         1        -575.0000        -633.8534     10.24%
2874.09/2882.77	c      2883           1374         751         1        -575.0000        -633.8534     10.24%
2881.27/2889.95	c      2890           1377         754         1        -575.0000        -633.8534     10.24%
2887.54/2896.25	c      2896           1381         758         1        -575.0000        -633.8534     10.24%
2895.72/2904.48	c      2904           1383         760         1        -575.0000        -633.8534     10.24%
2904.29/2913.02	c      2913           1385         762         1        -575.0000        -633.8534     10.24%
2910.57/2919.32	c      2919           1412         765         1        -575.0000        -633.5531     10.18%
2932.89/2941.72	c      2942           1413         766         1        -575.0000        -633.5531     10.18%
2941.27/2950.16	c      2950           1415         768         1        -575.0000        -633.5531     10.18%
2947.25/2956.10	c      2956           1418         771         1        -575.0000        -633.5531     10.18%
2953.34/2962.22	c      2962           1422         775         1        -575.0000        -633.5531     10.18%
2960.71/2969.66	c      2970           1425         778         1        -575.0000        -633.5531     10.18%
2966.99/2975.91	c      2976           1453         780         1        -575.0000        -633.5531     10.18%
2974.46/2983.49	c      2983           1482         775         1        -575.0000        -633.5378     10.18%
2980.34/2989.30	c      2989           1483         776         1        -575.0000        -633.5378     10.18%
2986.13/2995.14	c      2995           1486         779         1        -575.0000        -633.5378     10.18%
2988.91/2997.97	c *    2998           1486         781         1        -578.0000        -633.5378      9.61%
2991.20/3000.26	c      3000           1488         773         1        -578.0000        -633.5378      9.61%
3012.23/3021.33	c      3021           1489         774         1        -578.0000        -633.5378      9.61%
3018.31/3027.42	c      3027           1491         776         1        -578.0000        -633.5378      9.61%
3023.90/3033.06	c      3033           1493         778         1        -578.0000        -633.5378      9.61%
3042.63/3051.81	c      3052           1495         780         1        -578.0000        -633.5378      9.61%
3048.22/3057.40	c      3057           1522         779         1        -578.0000        -633.5223      9.61%
3071.64/3080.93	c      3081           1523         780         1        -578.0000        -633.5223      9.61%
3080.71/3090.01	c      3090           1525         782         1        -578.0000        -633.5223      9.61%
3088.08/3097.46	c      3097           1527         784         1        -578.0000        -633.5223      9.61%
3094.76/3104.16	c      3104           1531         788         1        -578.0000        -633.5223      9.61%
3101.85/3111.20	c      3111           1534         791         1        -578.0000        -633.5223      9.61%
3108.63/3118.02	c      3118           1535         792         1        -578.0000        -633.5223      9.61%
3114.30/3123.77	c      3124           1569         792         1        -578.0000        -633.5223      9.61%
3154.27/3163.89	c      3164           1612         793         1        -578.0000        -633.4191      9.59%
3160.56/3170.12	c      3170           1614         795         1        -578.0000        -633.4191      9.59%
3167.13/3176.76	c      3177           1616         797         1        -578.0000        -633.4191      9.59%
3173.21/3182.80	c      3183           1619         800         1        -578.0000        -633.4191      9.59%
3178.59/3188.25	c      3188           1623         804         1        -578.0000        -633.4191      9.59%
3187.66/3197.36	c      3197           1625         806         1        -578.0000        -633.4191      9.59%
3217.86/3227.68	c      3228           1652         807         1        -578.0000        -633.3136      9.57%
3223.24/3233.04	c      3233           1654         809         1        -578.0000        -633.3136      9.57%
3228.33/3238.19	c      3238           1656         811         1        -578.0000        -633.3136      9.57%
3235.70/3245.53	c      3246           1659         814         1        -578.0000        -633.3136      9.57%
3249.05/3258.94	c      3259           1663         818         1        -578.0000        -633.3136      9.57%
3257.13/3267.09	c      3267           1682         823         1        -578.0000        -633.3014      9.57%
3280.95/3290.92	c      3291           1683         824         1        -578.0000        -633.3014      9.57%
3287.63/3297.60	c      3298           1685         826         1        -578.0000        -633.3014      9.57%
3293.21/3303.25	c      3303           1686         827         1        -578.0000        -633.3014      9.57%
3300.68/3310.74	c      3311           1689         830         1        -578.0000        -633.3014      9.57%
3306.56/3316.67	c      3317           1694         835         1        -578.0000        -633.3014      9.57%
3314.44/3324.52	c      3325           1702         835         1        -578.0000        -633.1343      9.54%
3339.66/3349.82	c      3350           1703         836         1        -578.0000        -633.1343      9.54%
3345.54/3355.74	c      3356           1706         839         1        -578.0000        -633.1343      9.54%
3351.22/3361.40	c      3361           1709         842         1        -578.0000        -633.1343      9.54%
3357.10/3367.34	c      3367           1713         846         1        -578.0000        -633.1343      9.54%
3362.08/3372.34	c      3372           1715         848         1        -578.0000        -633.1343      9.54%
3367.87/3378.16	c      3378           1728         851         1        -578.0000        -633.1343      9.54%
3373.56/3383.80	c      3384           1769         848         1        -578.0000        -633.1343      9.54%
3407.78/3418.13	c      3418           1812         845         1        -578.0000        -633.1274      9.54%
3413.56/3423.92	c      3424           1815         848         1        -578.0000        -633.1274      9.54%
3418.85/3429.20	c      3429           1817         850         1        -578.0000        -633.1274      9.54%
3425.24/3435.63	c      3436           1821         854         1        -578.0000        -633.1274      9.54%
3432.42/3442.89	c      3443           1824         857         1        -578.0000        -633.1274      9.54%
3439.00/3449.40	c      3449           1853         860         1        -578.0000        -633.1274      9.54%
3464.24/3474.71	c      3475           1862         861         1        -578.0000        -633.0317      9.52%
3470.53/3481.02	c      3481           1865         864         1        -578.0000        -633.0317      9.52%
3477.41/3487.95	c      3488           1870         869         1        -578.0000        -633.0317      9.52%
3482.89/3493.47	c      3493           1874         873         1        -578.0000        -633.0317      9.52%
3488.88/3499.45	c      3499           1875         874         1        -578.0000        -633.0317      9.52%
3490.97/3501.51	c *    3502           1884         873         1        -580.0000        -633.0317      9.14%
3497.35/3507.98	c      3508           1895         869         1        -580.0000        -633.0317      9.14%
3502.84/3513.41	c      3513           1899         873         1        -580.0000        -633.0317      9.14%
3508.72/3519.32	c      3519           1904         878         1        -580.0000        -633.0317      9.14%
3514.31/3524.91	c      3525           1909         883         1        -580.0000        -633.0317      9.14%
3529.48/3540.14	c      3540           1912         886         1        -580.0000        -633.0317      9.14%
3536.06/3546.77	c      3547           1919         893         1        -580.0000        -633.0317      9.14%
3546.83/3557.53	c      3558           1924         898         1        -580.0000        -633.0317      9.14%
3552.13/3562.88	c      3563           1926         900         1        -580.0000        -633.0317      9.14%
3559.71/3570.47	c      3570           1929         903         1        -580.0000        -633.0317      9.14%
3565.30/3576.06	c      3576           1937         911         1        -580.0000        -633.0317      9.14%
3571.08/3581.85	c      3582           1944         918         1        -580.0000        -633.0317      9.14%
3589.24/3600.00	c      3600           1947         921         0        -580.0000        -633.0317      9.14%
3589.24/3600.05	c SCIP Status        : c solving was interrupted [hard time limit reached]
3589.24/3600.05	c Total Time         : 3600.04
3589.24/3600.05	c   solving          : 3600.04
3589.24/3600.05	c   presolving       : 0.09 (included in solving)
3589.24/3600.05	c B&B Tree           :
3589.24/3600.05	c   nodes (total)    : 1
3589.24/3600.05	c Solution           :
3589.24/3600.05	c   Solutions found  : 23
3589.24/3600.05	c   Primal Bound     : -5.80000000000000e+02
3589.24/3600.05	c   Dual Bound       : -6.33031735917705e+02
3589.24/3600.05	c Gap                : 9.14340 %
3589.24/3600.05	c * Warning: final gap: 9.14340e-02 is greater than SCIPepsilon: 1.00000e-09
3589.24/3600.05	o -580
3589.24/3600.05	s SATISFIABLE
3589.24/3600.05	v x1058 x1025 x1014 x836 -x889 x1002 -x821 -x811 x776 -x829 -x855 x806 -x1225 -x1205 -x763 -x1193 x1116 x1209 -x1173 x812 -x755 x963 
3589.24/3600.05	v -x1203 x1168 -x1213 x1181 x1115 x985 -x1131 x825 -x1217 x779 -x777 -x1224 x1091 x766 -x877 -x1117 -x911 x790 -x978 x1211 
3589.24/3600.05	v x907 -x1175 x1182 x1220 -x1189 x1122 x841 -x1096 -x1223 -x882 x1222 -x792 -x1103 -x1110 x864 x1127 x1140 -x993 -x936 -x950 x1221 
3589.24/3600.05	v x1183 -x1190 x1199 -x1134 -x1084 x857 -x1219 x1206 -x1218 -x1216 x1102 -x1142 -x1126 -x939 x863 -x1151 -x772 -x876 x1215 
3589.24/3600.05	v x1214 -x874 x922 -x1200 -x1208 x1113 x970 x1070 x823 -x1112 -x1212 x1118 x893 x1028 x952 x786 -x891 -x1159 x1210 x906 x905 -x1109 
3589.24/3600.05	v -x946 -x761 -x1207 -x1157 -x956 -x796 -x1120 x986 x838 x1000 x1105 -x1204 -x1128 x896 -x1038 -x789 -x965 x964 x805 x803 
3589.24/3600.05	v x1169 x1125 -x1202 x1061 -x908 x1139 x1201 x1076 -x1017 x1015 -x987 x1198 x1148 -x944 -x810 -x1149 -x1147 -x1132 x1094 x1054 
3589.24/3600.05	v -x854 -x1197 x1178 -x835 -x747 -x1143 -x1196 x1195 -x819 x1194 -x849 x775 x979 x1176 -x1192 x1047 -x924 x1191 -x1060 -x1003 -x1073 
3589.24/3600.05	v -x1043 x1086 x972 -x1188 -x932 -x824 -x1158 -x1156 x1082 x742 -x1187 x999 x820 x1153 x1186 x1185 x834 -x1184 -x865 x892 
3589.24/3600.05	v x938 -x1046 -x920 x989 -x1087 x1035 -x988 x1180 -x1121 x957 -x1133 -x918 -x839 -x1165 x1164 -x1068 x884 -x1179 x1011 x778 -x767 
3589.24/3600.05	v -x740 -x914 -x1161 x879 x1177 x878 -x909 -x904 x1174 x1099 -x1172 -x1114 x971 -x1034 -x900 x1053 -x883 x1023 -x1171 -x758 
3589.24/3600.05	v -x746 -x897 -x1170 x928 -x895 -x925 -x951 x888 -x1167 x1166 x1107 x826 x1106 x1056 x1163 x1040 -x917 x869 x1033 x1031 -x793 
3589.24/3600.05	v x1162 x780 x1049 -x741 x1160 -x913 -x910 -x818 x873 x1016 -x919 x813 -x1097 -x1155 x1032 x931 x853 x1041 -x1039 x851 x998 -x997 
3589.24/3600.05	v x807 x1154 x768 x880 -x1152 -x1090 x832 -x801 x1150 -x921 -x732 -x903 -x1027 -x1026 -x845 x1136 x798 x1085 x1146 x1022 x1145 
3589.24/3600.05	v -x837 -x1052 x1051 -x867 -x984 x983 -x1144 x868 -x781 -x1104 x1064 -x898 x927 x1141 x1077 -x734 -x1137 x1138 -x816 -x1100 
3589.24/3600.05	v x887 -x1037 x1036 -x828 x770 x1135 x1071 -x1012 -x1130 -x822 x1069 -x1067 -x881 x968 x1129 -x852 x794 x1092 -x1065 -x915 -x912 
3589.24/3600.05	v -x733 -x1062 x926 x739 x1124 x1123 x872 -x1045 x1044 x815 x1057 -x749 x809 -x1083 -x1081 x899 x955 -x1119 -x808 -x1079 x1078 
3589.24/3600.05	v x1066 -x995 -x929 x831 -x1004 x1059 x800 x859 -x750 -x1072 x1042 x943 -x795 x1095 -x916 -x1080 -x866 x1050 x1063 -x1111 x735 
3589.24/3600.05	v x1010 -x942 x894 x738 -x1018 x923 x990 x1108 -x1075 -x1074 x799 x785 -x844 -x754 -x743 x930 x782 x1093 x850 -x1048 -x954 -x1101 
3589.24/3600.05	v x848 x1006 -x1005 -x802 -x937 -x860 -x731 x974 -x973 x1089 -x1088 -x771 x827 -x762 x760 -x1098 x1001 x1030 x1009 x967 -x1029 
3589.24/3600.05	v -x992 x991 -x817 -x960 -x959 x958 x769 x1013 x1021 -x1020 -x981 x1019 -x977 x976 x975 -x830 -x949 -x948 x947 x1024 x902 
3589.24/3600.05	v x840 -x1007 x962 x961 x935 -x934 -x1055 -x736 -x856 -x969 x901 x759 x996 x994 -x886 -x737 -x885 -x784 -x752 x982 x1008 -x980 
3589.24/3600.05	v -x870 -x797 -x748 x966 -x953 x941 -x940 -x804 -x788 -x774 -x773 x833 -x890 x787 x765 -x933 -x875 x757 -x945 x814 -x862 x861 -x756 
3589.24/3600.05	v -x847 x846 -x764 x871 x858 x843 -x842 -x783 x791 x751 x753 -x745 x744 -x3625 x3624 -x3623 -x3622 -x3621 -x3620 x3619 -x3618 
3589.24/3600.05	v -x3617 -x3616 x3615 x3614 -x3613 -x3612 x3611 -x3610 -x3609 -x3608 x3607 -x3606 -x3605 -x3604 x3603 x3602 -x3601 x3600 -x3599 
3589.24/3600.05	v -x3598 -x3597 -x3596 x3595 -x3594 -x3593 -x3592 -x3591 -x3590 x3589 -x3588 -x3587 x3586 x3585 -x3584 -x3583 -x3582 -x3581 
3589.24/3600.05	v -x3580 x3579 x3578 -x3577 -x3576 -x3575 -x3574 -x3573 x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 x3563 -x3562 
3589.24/3600.05	v x3561 -x3560 -x3559 -x3558 x3557 -x3556 -x3555 x3554 -x3553 -x3552 x3551 -x3550 x3549 -x3548 -x3547 -x3546 x3545 -x3544 
3589.24/3600.05	v -x3543 -x3542 x3541 x3540 -x3539 -x3538 x3537 -x3536 x3535 -x3534 -x3533 x3532 x3531 -x3530 -x3529 x3528 -x3527 -x3526 -x3525 
3589.24/3600.05	v -x3524 -x3523 x3522 -x3521 x3520 -x3519 -x3518 x3517 -x3516 -x3515 x3514 -x3513 x3512 x3511 x3510 x3509 -x3508 -x3507 -x3506 
3589.24/3600.05	v -x3505 x3504 x3503 x3502 x3501 -x3500 x3499 -x3498 -x3497 -x3496 x3495 x3494 -x3493 -x3492 x3491 x3490 x3489 x3488 -x3487 -x3486 
3589.24/3600.05	v x3485 x3484 -x3483 -x3482 -x3481 x3480 -x3479 -x3478 x3477 x3476 -x3475 -x3474 x3473 -x3472 -x3471 -x3470 -x3469 -x3468 
3589.24/3600.05	v x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 x3458 -x3457 -x3456 x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 
3589.24/3600.05	v -x3448 x3447 -x3446 x3445 x3444 x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 
3589.24/3600.05	v -x3430 -x3429 -x3428 x3427 -x3426 x3425 x3424 -x3423 -x3422 x3421 x3420 x3419 -x3418 -x3417 x3416 -x3415 x3414 -x3413 x3412 
3589.24/3600.05	v -x3411 -x3410 -x3409 -x3408 -x3407 x3406 -x3405 -x3404 -x3403 -x3402 -x3401 x3400 x3399 x3398 -x3397 -x3396 -x3395 -x3394 -x3393 
3589.24/3600.05	v -x3392 x3391 -x3390 x3389 -x3388 x3387 x3386 -x3385 -x3384 x3383 -x3382 x3381 -x3380 -x3379 x3378 -x3377 x3376 x3375 x3374 
3589.24/3600.05	v -x3373 -x3372 -x3371 -x3370 -x3369 x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 x3361 -x3360 x3359 -x3358 -x3357 -x3356 
3589.24/3600.05	v -x3355 -x3354 x3353 x3352 -x3351 -x3350 x3349 x3348 x3347 x3346 -x3345 -x3344 -x3343 -x3342 x3341 -x3340 x3339 -x3338 -x3337 
3589.24/3600.05	v -x3336 -x3335 x3334 -x3333 -x3332 -x3331 x3330 x3329 x3328 x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 x3319 -x3318 
3589.24/3600.05	v -x3317 x3316 -x3315 -x3314 x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 
3589.24/3600.05	v -x3299 x3298 x3297 -x3296 -x3295 -x3294 -x3293 x3292 -x3291 -x3290 x3289 -x3288 -x3287 -x3286 x3285 -x3284 -x3283 -x3282 -x3281 
3589.24/3600.05	v -x3280 -x3279 -x3278 x3277 -x3276 x3275 x3274 x3273 x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 
3589.24/3600.05	v x3262 -x3261 -x3260 -x3259 -x3258 -x3257 x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 
3589.24/3600.05	v x3244 -x3243 -x3242 -x3241 x3240 -x3239 -x3238 -x3237 x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 
3589.24/3600.05	v -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x725 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 
3589.24/3600.05	v -x3208 -x3207 x3206 -x3205 x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x715 -x3198 -x3197 -x714 -x3196 x3195 x3194 x3193 
3589.24/3600.05	v -x3192 -x3191 -x3190 -x713 -x3189 -x3188 -x3187 x711 x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 x3178 x704 -x3177 
3589.24/3600.05	v -x3176 -x3175 -x3174 -x3173 -x3172 x3171 x701 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 x3163 -x3162 -x3161 x3160 x3159 
3589.24/3600.05	v -x3158 x3157 -x3156 x3155 -x3154 -x3153 -x3152 x695 -x3151 -x3150 -x693 -x3149 -x3148 -x3147 -x3146 -x3145 x3144 x3143 -x3142 
3589.24/3600.05	v x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 x3133 -x3132 -x684 x682 -x3131 -x3130 -x3129 -x3128 -x3127 -x680 -x3126 
3589.24/3600.05	v -x3125 x3124 -x3123 -x3122 x3121 -x3120 -x3119 x679 x3118 -x3117 -x3116 -x3115 -x3114 -x3113 x3112 -x3111 -x3110 -x3109 
3589.24/3600.05	v -x674 -x3108 -x3107 -x3106 -x3105 x3104 -x3103 -x3102 -x3101 x670 -x3100 -x3099 -x3098 -x730 -x3097 x3096 x3095 -x3094 -x3093 
3589.24/3600.05	v -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x664 -x3085 -x3084 x663 -x3083 -x3082 -x3081 -x3080 -x3079 x3078 -x3077 -x3076 
3589.24/3600.05	v -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 x3068 x653 x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 
3589.24/3600.05	v -x3058 -x651 -x648 -x3057 -x3056 -x3055 -x3054 x649 -x3053 -x3052 -x3051 x3050 -x3049 -x3048 -x3047 -x3046 -x643 -x3045 x3044 
3589.24/3600.05	v x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x639 -x3033 -x3032 x3031 x3030 -x3029 -x3028 x3027 
3589.24/3600.05	v -x3026 -x699 -x3025 x3024 -x3023 -x3022 -x3021 -x3020 x3019 -x3018 -x3017 -x633 -x3016 x632 x3015 -x3014 -x3013 -x3012 -x3011 
3589.24/3600.05	v -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x623 x621 -x2995 -x2994 
3589.24/3600.05	v -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 x620 -x2987 -x2986 -x2985 -x619 -x2984 -x2983 x2982 x617 x2981 -x2980 -x2979 
3589.24/3600.05	v x2978 x615 -x2977 -x2976 -x2975 x2974 x614 x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 x609 -x2963 -x2962 
3589.24/3600.05	v x2961 -x2960 -x2959 -x2958 x726 -x2957 -x2956 -x2955 -x2954 -x2953 x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x602 -x2946 
3589.24/3600.05	v -x2945 -x2944 -x2943 -x2942 x721 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x596 -x2932 x2931 -x2930 x2929 
3589.24/3600.05	v -x2928 -x2927 x594 -x2926 -x2925 -x593 -x2924 -x2923 -x2922 -x2921 x2920 -x2919 -x705 -x2918 x592 x590 x2917 -x2916 -x2915 
3589.24/3600.05	v -x2914 -x591 x589 -x2913 x2912 x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x586 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 x2899 
3589.24/3600.05	v -x2898 -x2897 x2896 -x2895 x2894 -x636 x582 -x2893 -x2892 x637 -x2891 x583 -x2890 x2889 -x581 -x2888 -x2887 x2886 -x2885 
3589.24/3600.05	v -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 x689 x2873 -x2872 -x2871 x2870 -x2869 -x2868 -x2867 
3589.24/3600.05	v -x2866 x2865 x2864 -x2863 -x683 x568 -x2862 -x2861 -x2860 -x2859 x2858 -x2857 -x2856 -x2855 -x567 -x2854 -x2853 -x2852 x566 
3589.24/3600.05	v -x2851 -x2850 -x2849 -x564 -x2848 -x2847 -x2846 -x2845 -x2844 x2843 x2842 x2841 -x2840 -x2839 -x2838 -x2837 x558 -x2836 -x2835 
3589.24/3600.05	v -x2834 -x2833 -x2832 x666 -x2831 -x2830 -x2829 x2828 -x2827 -x2826 -x2825 -x2824 -x2823 x722 -x2822 -x2821 -x2820 -x2819 
3589.24/3600.05	v -x549 -x2818 -x2817 -x2816 -x2815 -x2814 x547 -x2813 -x2812 -x2811 x2810 x2809 x2808 -x2807 -x2806 -x2805 x2804 x2803 x542 x2802 
3589.24/3600.05	v -x2801 -x2800 -x2799 x2798 x2797 -x2796 x539 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x538 -x536 -x2788 -x2787 
3589.24/3600.05	v -x2786 -x537 -x2785 x2784 -x535 -x2783 -x2782 -x2781 x2780 x2779 -x2778 -x2777 x2776 -x2775 -x2774 x530 -x2773 -x2772 -x2771 
3589.24/3600.05	v x2770 x2769 x2768 x2767 x2766 x2765 -x2764 -x698 -x2763 x526 x2762 -x2761 -x2760 x635 -x2759 -x2758 -x2757 -x525 -x2756 -x2755 
3589.24/3600.05	v x2754 -x524 -x2753 -x628 -x2752 x572 -x2751 -x2750 -x2749 x2748 -x2747 -x2746 x2745 -x622 -x2744 -x2743 -x2742 x2741 -x521 
3589.24/3600.05	v -x2740 -x2739 x519 x2738 -x2737 -x2736 -x2735 -x2734 x2733 -x516 -x2732 -x2731 -x2730 x515 -x2729 -x2728 -x2727 x2726 -x514 x513 
3589.24/3600.05	v -x2725 x2724 -x2723 -x2722 -x2721 x2720 -x2719 -x2718 -x2717 -x509 -x2716 -x2715 -x2714 -x604 -x2713 -x2712 -x2711 -x727 
3589.24/3600.05	v -x2710 -x2709 x2708 -x660 -x2707 x2706 -x2705 -x2704 -x2703 x504 -x2702 x2701 -x502 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 
3589.24/3600.05	v -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x498 -x497 -x2688 x2687 -x2686 x541 x2685 x2684 -x2683 -x2682 -x2681 -x2680 x708 
3589.24/3600.05	v -x494 -x2679 -x2678 -x2677 -x2676 x495 x2675 -x2674 -x2673 -x2672 -x2671 -x493 -x2670 -x2669 -x2668 x2667 -x2666 x491 x2665 x2664 
3589.24/3600.05	v -x2663 -x2662 x2661 -x489 -x2660 x2659 x487 x2658 -x2657 -x2656 -x2655 -x2654 x2653 x2652 -x2651 x482 x2650 x2649 x2648 
3589.24/3600.05	v x2647 -x2646 -x2645 x697 -x2644 -x579 -x480 -x2643 -x2642 -x2641 x2640 -x2639 -x2638 -x2637 x479 -x478 -x2636 -x626 -x2635 x574 
3589.24/3600.05	v x2634 -x2633 -x2632 -x2631 -x2630 x2629 -x2628 x2627 -x2626 x476 -x2625 -x2624 -x2623 x474 x2622 -x2621 -x2620 -x2619 -x569 
3589.24/3600.05	v -x471 -x2618 -x2617 x2616 x2615 x2614 -x2613 -x2612 -x2611 x470 -x2610 x2609 -x468 -x2608 -x2607 -x2606 -x2605 -x2604 x2603 
3589.24/3600.05	v -x2602 x467 x465 x2601 -x2600 x2599 -x466 -x2598 -x2597 x464 -x2596 -x672 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 x559 
3589.24/3600.05	v -x460 -x2588 -x2587 -x2586 -x2585 -x2584 -x459 -x458 -x2583 -x2582 -x2581 x552 -x2580 -x2579 -x2578 x667 -x2577 -x2576 -x2575 
3589.24/3600.05	v -x2574 -x2573 -x723 -x2572 -x2571 x452 -x2570 -x2569 -x2568 x2567 x2566 x718 x2565 -x2564 -x2563 -x2562 x2561 -x2560 x2559 
3589.24/3600.05	v x448 x447 x2558 -x2557 -x2556 -x2555 -x2554 -x2553 x2552 x2551 -x2550 -x646 x444 -x2549 -x2548 -x2547 -x445 -x2546 -x2545 
3589.24/3600.05	v -x2544 x2543 -x2542 -x2541 -x2540 -x2539 x442 -x2538 -x2537 -x2536 -x2535 x2534 x2533 -x2532 -x2531 -x2530 x528 x2529 -x2528 
3589.24/3600.05	v -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 x2520 -x2519 x433 -x2518 x2517 x2516 -x2515 -x432 -x2514 -x2513 x431 -x2512 
3589.24/3600.05	v -x2511 -x2510 x687 -x2509 x2508 x2507 -x2506 -x2505 -x2504 -x475 -x2503 -x2502 -x2501 x427 -x2500 -x2499 -x2498 -x2497 x517 -x424 
3589.24/3600.05	v -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x423 -x2490 x2489 -x422 -x2488 -x2487 -x2486 -x2485 -x420 -x2484 -x2483 -x2482 
3589.24/3600.05	v x421 -x2481 -x2480 -x2479 x2478 x2477 -x610 -x2476 x417 x2475 -x2474 -x2473 -x2472 x2471 x416 x415 x2470 -x2469 x2468 -x2467 
3589.24/3600.05	v -x506 -x2466 -x2465 -x605 -x2464 -x2463 x2462 x2461 -x2460 -x2459 -x2458 -x661 -x2457 -x2456 -x2455 -x2454 -x2453 -x407 -x2452 
3589.24/3600.05	v x408 -x2451 -x2450 -x2449 -x656 -x2448 -x2447 -x2446 -x2445 -x650 -x404 -x2444 x2443 x2442 -x2441 -x2440 -x2439 -x2438 -x2437 
3589.24/3600.05	v -x2436 -x2435 -x2434 -x2433 -x2432 x2431 -x2430 -x2429 -x2428 x399 -x2427 x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 
3589.24/3600.05	v -x435 -x2419 -x2418 -x2417 -x2416 x2415 -x394 -x2414 -x2413 -x2412 -x2411 -x392 -x2410 -x2409 -x2408 x393 -x2407 x2406 x2405 
3589.24/3600.05	v x2404 -x2403 -x2402 x520 -x2401 -x2400 -x685 -x2399 -x2398 -x2397 -x2396 -x2395 x472 -x387 -x2394 -x2393 -x2392 -x681 -x2391 
3589.24/3600.05	v -x2390 -x2389 -x2388 -x2387 -x2386 x2385 -x2384 -x384 -x2383 -x2382 -x2381 -x2380 x383 -x382 -x2379 -x2378 -x2377 -x2376 -x2375 
3589.24/3600.05	v -x2374 -x2373 -x380 -x379 -x2372 -x2371 x378 -x2370 -x608 -x2369 -x2368 -x2367 -x455 -x2366 x2365 -x2364 -x553 -x2363 -x2362 
3589.24/3600.05	v -x2361 -x2360 -x2359 x2358 -x373 -x2357 -x2356 x372 -x2355 -x2354 x601 -x2353 -x2352 -x370 -x2351 -x2350 -x2349 x2348 x2347 
3589.24/3600.05	v -x2346 -x2345 x2344 x712 x2343 x367 x366 x2342 -x2341 -x2340 -x709 -x2339 -x365 -x2338 x2337 -x2336 x403 x2335 x2334 x2333 
3589.24/3600.05	v x2332 -x2331 x2330 -x2329 -x2328 x362 -x2327 x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 x481 -x2319 -x2318 x2317 -x2316 
3589.24/3600.05	v -x2315 -x2314 -x2313 x357 -x2312 -x2311 -x2310 x2309 x354 -x2308 -x2307 -x356 -x2306 -x2305 x2304 x2303 x352 x2302 -x2301 -x2300 
3589.24/3600.05	v -x2299 -x2298 x624 -x2297 x518 -x2296 -x2295 -x2294 -x2293 -x425 -x349 -x2292 -x2291 -x2290 -x2289 -x2288 x678 -x2287 -x2286 
3589.24/3600.05	v x2285 -x2284 -x2283 x2282 x2281 x346 x345 x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x343 -x2273 x2272 -x344 -x2271 
3589.24/3600.05	v -x2270 -x341 -x2269 x2268 x342 x340 x2267 -x2266 x339 -x2265 -x556 -x2264 x2263 -x2262 x412 -x2261 -x2260 -x2259 x507 -x2258 
3589.24/3600.05	v -x2257 -x2256 x410 -x2255 -x334 -x2254 -x2253 -x2252 x411 -x2251 -x2250 -x333 -x2249 x2248 -x548 -x2247 -x2246 x331 -x2245 
3589.24/3600.05	v -x2244 -x2243 -x2242 -x2241 -x2240 -x328 -x2239 x2238 -x647 -x2237 -x2236 -x2235 -x2234 -x2233 -x446 -x326 -x2232 -x2231 x327 
3589.24/3600.05	v -x2230 x492 -x2229 -x440 -x2228 -x2227 -x2226 -x2225 -x706 -x2224 -x323 -x2223 -x703 -x2222 x534 -x2221 -x2220 -x2219 -x2218 
3589.24/3600.05	v -x2217 -x2216 -x320 -x2215 -x2214 -x2213 x527 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 x2206 -x318 -x2205 -x2204 -x2203 -x2202 
3589.24/3600.05	v -x2201 x317 -x2200 -x2199 -x315 -x2198 x2197 x2196 x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x570 -x2189 x310 -x2188 -x2187 
3589.24/3600.05	v -x2186 -x2185 x388 -x309 -x2184 -x2183 -x2182 -x2181 -x308 -x2180 -x2179 x2178 -x618 -x2177 -x2176 -x2175 x307 -x2174 -x2173 
3589.24/3600.05	v -x2172 -x306 -x2171 -x2170 -x2169 -x305 -x2168 -x2167 -x2166 -x2165 -x303 -x2164 x2163 x2162 x2161 x2160 x301 x2159 -x2158 
3589.24/3600.05	v x2157 -x300 -x2156 x2155 -x2154 -x2153 -x2152 x508 -x2151 -x297 -x2150 -x2149 x374 -x2148 -x2147 -x2146 -x456 -x2145 x2144 
3589.24/3600.05	v x603 x2143 -x454 -x2142 x294 x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 x293 x2133 -x546 -x2132 -x503 -x2131 -x2130 
3589.24/3600.05	v -x290 -x2129 x2128 x2127 -x2126 x288 x2125 -x2124 x496 x2123 -x443 -x2122 -x2121 x644 -x2120 -x2119 x363 -x286 -x2118 -x641 
3589.24/3600.05	v -x2117 x486 -x2116 -x2115 -x2114 -x702 -x2113 x284 -x2112 -x2111 -x2110 -x2109 -x2108 -x584 -x2107 x2106 -x2105 x580 x2104 
3589.24/3600.05	v x281 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x575 -x2097 -x280 -x2096 -x2095 -x576 -x2094 -x2093 x279 -x2092 x2091 -x277 -x2090 
3589.24/3600.05	v -x2089 -x2088 -x2087 -x274 -x2086 -x2085 -x2084 -x350 -x2083 -x2082 -x565 -x2081 -x2080 -x2079 -x2078 -x271 -x2077 -x2076 
3589.24/3600.05	v -x2075 x675 -x2074 x272 -x270 -x2073 -x2072 x2071 -x2070 x2069 x2068 -x2067 -x2066 x612 -x2065 x269 -x2064 x268 -x267 -x2063 
3589.24/3600.05	v -x2062 -x2061 x2060 -x2059 -x2058 x266 -x2057 -x2056 -x265 -x264 -x2055 -x2054 x2053 -x263 -x2052 -x2051 -x2050 -x2049 -x2048 
3589.24/3600.05	v -x2047 x457 -x2046 -x260 -x2045 -x2044 -x335 -x2043 -x261 -x2042 x413 -x2041 -x2040 -x2039 -x2038 -x2037 x505 -x2036 -x256 
3589.24/3600.05	v -x2035 -x2034 -x2033 -x2032 -x662 -x2031 x257 x2030 -x2029 -x255 -x2028 -x600 -x2027 x453 -x2026 -x2025 x2024 -x252 -x2023 
3589.24/3600.05	v -x2022 -x2021 -x2020 -x250 -x2019 -x2018 -x540 -x2017 -x401 -x2016 x588 -x2015 -x439 -x2014 -x2013 -x2012 -x640 -x2011 x247 -x2010 
3589.24/3600.05	v -x2009 x2008 x2007 -x2006 -x2005 x2004 x2003 x634 x2002 x244 x2001 -x2000 -x1999 -x1998 -x1997 -x1996 x1995 -x692 -x1994 
3589.24/3600.05	v x629 x1993 x1992 -x1991 -x1990 -x242 -x1989 x241 x1988 -x1987 x240 -x1986 -x1985 -x313 -x1984 -x1983 -x473 -x1982 -x1981 -x1980 
3589.24/3600.05	v -x1979 -x1978 x236 -x235 -x1977 -x1976 -x1975 -x1974 x1973 -x1972 x1971 -x234 x233 -x1970 -x1969 -x1968 -x1967 x1966 x1965 
3589.24/3600.05	v x1964 x231 x1963 -x1962 -x561 -x1961 -x304 -x1960 -x232 x230 -x1959 -x1958 -x1957 -x1956 x1955 x1954 -x229 -x1953 x1952 x228 
3589.24/3600.05	v x227 x1951 -x1950 x729 x1949 -x226 -x1948 -x1947 x414 -x1946 x375 -x1945 -x1944 x295 -x1943 -x224 -x1942 -x1941 -x1940 -x1939 
3589.24/3600.05	v x550 -x222 -x1938 -x1937 -x292 -x1936 x658 x1935 -x409 -x1934 x1933 -x1932 x220 -x1931 x1930 -x1929 x1928 -x1927 -x1926 x218 
3589.24/3600.05	v x1925 x532 x1924 -x398 -x1923 -x1922 -x1921 x587 -x1920 -x215 -x1919 -x1918 -x1917 -x1916 -x1915 x1914 -x1913 x213 -x1912 
3589.24/3600.05	v -x1911 x1910 -x690 -x1909 x631 -x1908 -x429 -x1907 -x211 -x1906 -x1905 -x1904 -x1903 -x210 -x1902 -x278 -x1901 x212 -x1900 -x1899 
3589.24/3600.05	v x275 -x1898 x1897 x426 x1896 -x1895 -x1894 -x1893 x207 -x1892 -x1891 x1890 x1889 -x676 x205 -x1888 -x1887 -x1886 -x1885 
3589.24/3600.05	v -x1884 -x1883 -x1882 -x203 -x1881 -x1880 -x1879 x511 -x1878 -x204 -x202 -x1877 -x1876 -x1875 x462 -x1874 x1873 x1872 -x201 -x1871 
3589.24/3600.05	v x1870 x200 x199 x1869 -x1868 x669 -x1867 x198 -x1866 x1865 -x377 -x1864 -x336 -x1863 -x258 -x1862 x196 x1861 -x1860 x1859 
3589.24/3600.05	v -x720 -x1858 -x371 -x1857 -x1856 x1855 -x193 -x1854 -x1853 -x1852 x449 -x1851 -x1850 -x1849 -x1848 -x191 -x190 -x1847 -x1846 
3589.24/3600.05	v -x490 -x1845 -x1844 -x324 x189 -x1843 x1842 -x361 -x1841 -x1840 -x1839 -x531 -x1838 -x187 -x1837 -x1836 -x1835 x434 -x1834 
3589.24/3600.05	v x283 -x186 -x1833 -x1832 -x1831 -x1830 x185 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 x577 -x1823 x316 x1822 -x183 -x1821 x1820 
3589.24/3600.05	v -x1819 -x1818 -x238 -x1817 -x1816 -x389 -x1815 -x1814 -x1813 -x179 -x1812 -x1811 -x1810 x616 -x1809 x1808 -x1807 -x1806 -x1805 
3589.24/3600.05	v x1804 -x1803 x175 -x1802 -x1801 x1800 -x461 -x1799 x176 x174 x1798 -x1797 -x1796 -x1795 -x173 -x1794 -x1793 -x1792 x607 
3589.24/3600.05	v -x1791 x172 -x1790 x1789 -x338 -x1788 -x296 -x1787 -x1786 -x1785 x170 -x1784 -x1783 -x1782 -x1781 x332 -x1780 -x1779 -x1778 
3589.24/3600.05	v -x167 -x1777 -x1776 x1775 -x719 -x1774 x165 -x1773 x1772 -x1771 -x499 -x1770 x1769 -x1768 x164 x1767 -x1766 -x1765 x1764 -x1763 
3589.24/3600.05	v -x1762 x1761 x1760 -x484 -x1759 x160 -x1758 -x1757 x700 -x1756 x395 -x1755 x246 -x159 -x1754 -x1753 -x1752 -x1751 -x158 -x1750 
3589.24/3600.05	v -x1749 x1748 -x1747 x523 x1746 -x1745 -x243 -x1744 -x1743 -x355 -x1742 -x1741 x1740 x1739 x351 x1738 -x1737 -x1736 -x1735 
3589.24/3600.05	v x571 -x1734 -x151 -x1733 -x1732 x152 -x1731 -x1730 -x563 -x1729 -x1728 -x1727 -x1726 -x1725 x1724 -x1723 -x1722 x147 x1721 
3589.24/3600.05	v x1720 x671 x1719 -x418 -x1718 -x148 x146 -x1717 x1716 -x1715 x1714 x560 x145 x1713 -x1712 -x1711 x555 -x1710 -x144 -x1709 x299 
3589.24/3600.05	v -x1708 x259 -x1707 -x1706 -x1705 -x1704 -x141 -x1703 -x1702 x724 -x1701 -x551 -x1700 -x140 -x1699 -x1698 -x1697 -x1696 x291 
3589.24/3600.05	v -x1695 -x1694 -x1693 -x138 -x1692 -x1691 -x1690 x657 -x1689 -x136 -x1688 -x1687 x543 -x1686 -x1685 -x1684 x1683 x1682 -x135 
3589.24/3600.05	v -x1681 -x1680 x652 -x1679 x249 -x1678 -x132 -x1677 -x1676 -x1675 -x1674 -x1673 -x437 -x1672 x130 -x1671 -x1670 x638 -x1669 -x358 
3589.24/3600.05	v -x1668 -x214 -x129 -x1667 -x1666 -x1665 -x1664 -x128 -x1663 -x1662 x1661 x1660 x1659 -x691 -x1658 -x1657 -x1656 -x311 -x1655 
3589.24/3600.05	v -x125 -x1654 x1653 -x1652 x625 x1651 x124 x1650 -x1649 x1648 x673 x1647 -x1646 -x1645 -x1644 -x122 -x1643 -x1642 -x611 -x1641 
3589.24/3600.05	v x381 -x1640 x123 -x121 -x1639 -x1638 -x1637 x510 -x1636 x302 -x120 -x1635 -x1634 x1633 -x606 -x1632 -x119 -x1631 x262 -x1630 
3589.24/3600.05	v -x223 -x1629 -x1628 x1627 x1626 x116 -x1625 -x1624 -x1623 x1622 -x1621 x253 x1620 x114 -x1619 -x1618 x1617 -x599 -x1616 
3589.24/3600.05	v x113 -x1615 -x595 -x1614 x287 -x1613 x163 -x1612 -x1611 -x1610 -x1609 x397 -x111 -x1608 -x1607 x1606 -x585 -x1605 -x319 x110 
3589.24/3600.05	v -x1604 -x1603 -x1602 x430 -x1601 x1600 x1599 x1598 x694 x108 x1597 x1596 -x1595 x696 x1594 -x109 x107 -x1593 -x1592 x630 -x1591 
3589.24/3600.05	v x1590 x1589 x686 x1588 x105 -x1587 -x1586 -x1585 -x1584 -x1583 -x613 -x103 -x1582 x1581 -x1580 x1579 x512 x102 x1578 -x1577 
3589.24/3600.05	v x101 -x1576 -x1575 x1574 -x668 -x1573 -x100 -x1572 -x1571 x225 -x1570 -x1569 -x1568 -x1567 x195 -x1566 -x1565 -x1564 -x1563 
3589.24/3600.05	v -x97 -x96 -x1562 -x1561 -x1560 -x1559 -x1558 x221 -x1557 -x94 -x1556 -x1555 x717 -x1554 -x545 -x1553 -x93 -x1552 -x1551 -x1550 
3589.24/3600.05	v -x1549 x134 -x92 -x1548 -x1547 -x1546 x360 -x1545 x161 -x91 -x1544 -x1543 x1542 -x1541 -x321 x90 -x1540 x1539 -x1538 -x529 
3589.24/3600.05	v -x1537 -x282 x89 -x1536 x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x87 -x1529 -x1528 -x1527 -x184 -x1526 x88 -x86 -x1525 -x1524 
3589.24/3600.05	v -x463 -x1523 -x419 -x1522 -x1521 -x1520 -x562 -x1519 x85 -x84 -x1518 -x1517 -x83 -x1516 -x1515 -x728 -x1514 -x82 -x1513 -x1512 
3589.24/3600.05	v -x197 -x1511 -x169 -x1510 x80 x1509 -x1508 -x1507 -x1506 -x1505 x194 -x1504 -x78 -x1503 -x1502 -x655 -x1501 x501 -x1500 
3589.24/3600.05	v -x77 -x1499 -x1498 x217 -x1497 x133 -x1496 x1495 -x325 -x1494 -x112 -x1493 -x76 x75 -x1492 -x1491 -x1490 -x1489 -x74 -x1488 -x1487 
3589.24/3600.05	v -x1486 -x1485 -x1484 -x1483 x483 -x1482 x245 -x72 -x1481 -x1480 -x1479 -x1478 x1477 -x1476 x1475 x157 x70 x1474 -x1473 
3589.24/3600.05	v -x1472 x156 -x1471 x1470 -x206 -x1469 -x1468 -x171 -x1467 -x1466 x376 -x1465 -x98 -x1464 x67 -x66 -x1463 -x1462 -x1461 x254 -x1460 
3589.24/3600.05	v x1459 -x1458 -x168 -x1457 x64 -x1456 -x1455 x598 -x1454 -x451 -x1453 -x63 -x1452 -x1451 x1450 -x1449 x62 -x1448 -x1447 
3589.24/3600.05	v -x1446 x1445 x436 x61 x1444 x1443 x578 x1442 x127 x1441 -x71 x60 -x1440 -x1439 -x1438 -x1437 -x1436 x1435 -x178 -x1434 -x143 
3589.24/3600.05	v -x1433 -x1432 x337 -x1431 -x117 -x1430 x57 -x56 -x1429 -x1428 -x1427 x659 -x1426 -x1425 -x1424 x139 -x1423 -x54 -x1422 x1421 
3589.24/3600.05	v -x544 -x1420 -x406 -x1419 x53 -x1418 -x1417 x1416 x1415 x52 -x1414 -x1413 -x1412 x1411 -x396 x51 -x1410 x1409 -x1408 -x150 -x1407 
3589.24/3600.05	v x50 -x1406 -x386 -x1405 x68 -x1404 -x1403 -x1402 -x1401 -x48 -x1400 x118 -x1399 x298 -x1398 -x142 -x1397 -x47 -x1396 x1395 
3589.24/3600.05	v -x1394 x115 x1393 -x65 x45 -x1392 -x1391 x500 -x1390 -x369 -x1389 -x44 -x1388 -x1387 -x1386 -x1385 x642 -x43 -x1384 -x1383 
3589.24/3600.05	v -x1382 -x359 -x1381 x73 -x42 -x1380 -x1379 -x1378 x273 -x1377 -x104 -x41 -x1376 -x1375 -x348 -x1374 x58 -x1373 -x1372 -x1371 
3589.24/3600.05	v -x1370 -x40 x39 -x1369 -x1368 -x1367 -x1366 -x38 -x1365 -x1364 x99 -x37 -x1363 -x1362 x1361 -x95 -x1360 -x55 x36 -x1359 x1358 
3589.24/3600.05	v -x450 -x1357 -x330 -x1356 x35 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 x149 x33 x1348 -x1347 x81 -x32 -x1346 -x1345 
3589.24/3600.05	v -x1344 -x166 -x1343 x79 -x31 -x1342 -x1341 x405 -x1340 x289 -x1339 x137 -x30 -x1338 -x1337 -x1336 -x1335 -x177 x29 -x1334 -x1333 
3589.24/3600.05	v x716 -x1332 -x368 -x1331 x251 -x28 -x1330 -x1329 -x654 -x1328 -x329 -x1327 -x219 x27 -x1326 -x557 -x1325 -x46 x26 -x1324 
3589.24/3600.05	v -x1323 -x1322 -x597 -x1321 x192 -x25 -x1320 -x1319 -x1318 -x533 -x1317 -x322 x24 -x1316 -x1315 -x1314 x485 x1313 -x285 x23 -x1312 
3589.24/3600.05	v -x1311 -x391 -x1310 -x1309 -x237 x22 -x1308 -x710 -x1307 x707 -x1306 -x441 -x1305 x364 -x21 -x1304 -x1303 -x1302 x438 x1301 
3589.24/3600.05	v -x248 x20 -x1300 -x353 -x1299 -x1298 -x208 -x1297 x677 -x1296 x469 -x1295 -x347 -x1294 -x1293 x645 -x1292 -x402 -x1291 -x400 
3589.24/3600.05	v -x17 -x1290 -x1289 -x1288 -x1287 x216 -x16 -x1286 -x1285 -x314 -x1284 -x1283 x181 -x15 -x1282 -x1281 -x1280 x488 -x1279 
3589.24/3600.05	v x188 -x14 -x1278 x688 x1277 -x276 -x1276 -x1275 -x154 x13 -x1274 -x1273 -x1272 x59 -x1271 x19 -x12 -x1270 -x1269 x1268 -x1267 
3589.24/3600.05	v -x162 x11 -x1266 -x627 -x1265 x239 -x1264 -x1263 x153 -x10 -x1262 -x1261 x1260 -x1259 -x131 x9 -x1258 x573 x1257 -x209 -x1256 
3589.24/3600.05	v -x180 -x1255 x8 -x1254 -x1253 -x522 -x1252 x182 -x1251 -x7 -x1250 x1249 x477 x1248 -x155 -x1247 x6 -x1246 -x1245 -x1244 -x428 
3589.24/3600.05	v -x1243 x126 -x5 -x1242 -x1241 -x385 -x1240 -x34 -x1239 -x18 x4 -x1238 x390 x1237 x312 x1236 -x106 -x1235 -x69 x3 -x1234 -x1233 
3589.24/3600.05	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 (60941 MiB free)
  memory of node 1: 64473 MiB (61821 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=877317, runsolver pid=877314

[startup+0.10092 s]*
/proc/loadavg: 4.14 4.16 4.11 5/262 877318
/proc/meminfo: memFree=125680620/131524600 swapFree=131071996/131071996
[pid=877317] ppid=877314 vsize=55076 memory=38216 CPUtime=0.1 cores=5,7
/proc/877317/stat : 877317 (fscip) R 877314 877317 872627 0 -1 4194304 7872 0 0 0 9 1 0 0 20 0 1 0 169010128 56397824 9554 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
/proc/877317/statm: 13769 9554 2750 3032 0 10169 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 55076 KiB
Current children cumulated memory: 38216 KiB

[startup+0.20592 s]*
/proc/loadavg: 4.14 4.16 4.11 5/264 877320
/proc/meminfo: memFree=125644884/131524600 swapFree=131071996/131071996
[pid=877317] ppid=877314 vsize=147432 memory=71144 CPUtime=0.19 cores=5,7
/proc/877317/stat : 877317 (fscip) S 877314 877317 872627 0 -1 1077936128 16901 0 0 0 17 2 0 0 20 0 3 0 169010128 150970368 17786 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
/proc/877317/statm: 36858 17786 2830 3032 0 22945 0
[pid=877317/tid=877319] ppid=877314 vsize=147432 memory=8737651120394928259 CPUtime=0.08 cores=5,7
/proc/877317/task/877319/stat : 877319 (fscip) R 877314 877317 872627 0 -1 4194368 7153 0 0 0 7 1 0 0 20 0 3 0 169010139 150970368 17786 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
[pid=877317/tid=877320] ppid=877314 vsize=147432 memory=15932 CPUtime=0 cores=5,7
/proc/877317/task/877320/stat : 877320 (fscip) S 877314 877317 872627 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 169010141 150970368 17786 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 147432 KiB
Current children cumulated memory: 71144 KiB

[startup+0.305902 s]*
/proc/loadavg: 4.14 4.16 4.11 5/264 877320
/proc/meminfo: memFree=125641524/131524600 swapFree=131071996/131071996
[pid=877317] ppid=877314 vsize=148460 memory=74520 CPUtime=0.29 cores=5,7
/proc/877317/stat : 877317 (fscip) S 877314 877317 872627 0 -1 1077936128 17700 0 0 0 27 2 0 0 20 0 3 0 169010128 152023040 18630 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
/proc/877317/statm: 37115 18630 2910 3032 0 23780 0
[pid=877317/tid=877319] ppid=877314 vsize=148460 memory=-6658402068583332712 CPUtime=0.18 cores=5,7
/proc/877317/task/877319/stat : 877319 (fscip) R 877314 877317 872627 0 -1 4194368 7952 0 0 0 17 1 0 0 20 0 3 0 169010139 152023040 18630 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
[pid=877317/tid=877320] ppid=877314 vsize=148460 memory=0 CPUtime=0 cores=5,7
/proc/877317/task/877320/stat : 877320 (fscip) S 877314 877317 872627 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 169010141 152023040 18630 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 148460 KiB
Current children cumulated memory: 74520 KiB

[startup+0.700241 s]
/proc/loadavg: 4.14 4.16 4.11 5/264 877320
/proc/meminfo: memFree=125639256/131524600 swapFree=131071996/131071996
[pid=877317] ppid=877314 vsize=148460 memory=102448 CPUtime=0.68 cores=5,7
/proc/877317/stat : 877317 (fscip) S 877314 877317 872627 0 -1 1077936128 26370 0 0 0 64 4 0 0 20 0 3 0 169010128 152023040 25612 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
/proc/877317/statm: 37115 25612 2910 3032 0 31396 0
[pid=877317/tid=877319] ppid=877314 vsize=148460 memory=0 CPUtime=0.56 cores=5,7
/proc/877317/task/877319/stat : 877319 (fscip) R 877314 877317 872627 0 -1 4194368 16622 0 0 0 54 2 0 0 20 0 3 0 169010139 152023040 25612 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
[pid=877317/tid=877320] ppid=877314 vsize=148460 memory=0 CPUtime=0 cores=5,7
/proc/877317/task/877320/stat : 877320 (fscip) S 877314 877317 872627 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 169010141 152023040 25612 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 148460 KiB
Current children cumulated memory: 102448 KiB

[startup+1.50025 s]
/proc/loadavg: 4.14 4.16 4.11 5/264 877320
/proc/meminfo: memFree=125607816/131524600 swapFree=131071996/131071996
[pid=877317] ppid=877314 vsize=148460 memory=104264 CPUtime=1.48 cores=5,7
/proc/877317/stat : 877317 (fscip) S 877314 877317 872627 0 -1 1077936128 35890 0 0 0 144 4 0 0 20 0 3 0 169010128 152023040 26066 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
/proc/877317/statm: 37115 26066 2910 3032 0 31396 0
[pid=877317/tid=877319] ppid=877314 vsize=148460 memory=0 CPUtime=1.36 cores=5,7
/proc/877317/task/877319/stat : 877319 (fscip) R 877314 877317 872627 0 -1 4194368 26142 0 0 0 133 3 0 0 20 0 3 0 169010139 152023040 26066 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
[pid=877317/tid=877320] ppid=877314 vsize=148460 memory=0 CPUtime=0 cores=5,7
/proc/877317/task/877320/stat : 877320 (fscip) S 877314 877317 872627 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 169010141 152023040 26066 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 148460 KiB
Current children cumulated memory: 104264 KiB

[startup+3.10547 s]
/proc/loadavg: 4.20 4.18 4.12 5/264 877416
/proc/meminfo: memFree=126283136/131524600 swapFree=131071996/131071996
[pid=877317] ppid=877314 vsize=148460 memory=109928 CPUtime=3.08 cores=5,7
/proc/877317/stat : 877317 (fscip) S 877314 877317 872627 0 -1 1077936128 39494 0 0 0 303 5 0 0 20 0 3 0 169010128 152023040 27482 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
/proc/877317/statm: 37115 27482 2910 3032 0 33193 0
[pid=877317/tid=877319] ppid=877314 vsize=148460 memory=0 CPUtime=2.96 cores=5,7
/proc/877317/task/877319/stat : 877319 (fscip) R 877314 877317 872627 0 -1 4194368 29744 0 0 0 293 3 0 0 20 0 3 0 169010139 152023040 27482 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
[pid=877317/tid=877320] ppid=877314 vsize=148460 memory=2209 CPUtime=0 cores=5,7
/proc/877317/task/877320/stat : 877320 (fscip) S 877314 877317 872627 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 169010141 152023040 27482 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 148460 KiB
Current children cumulated memory: 109928 KiB

[startup+6.3002 s]
/proc/loadavg: 4.20 4.18 4.12 5/264 877417
/proc/meminfo: memFree=126240252/131524600 swapFree=131071996/131071996
[pid=877317] ppid=877314 vsize=213996 memory=129172 CPUtime=6.26 cores=5,7
/proc/877317/stat : 877317 (fscip) S 877314 877317 872627 0 -1 1077936128 59074 0 0 0 620 6 0 0 20 0 3 0 169010128 219131904 32293 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
/proc/877317/statm: 53499 32293 2910 3032 0 38775 0
[pid=877317/tid=877319] ppid=877314 vsize=213996 memory=0 CPUtime=6.15 cores=5,7
/proc/877317/task/877319/stat : 877319 (fscip) R 877314 877317 872627 0 -1 4194368 49322 0 0 0 610 5 0 0 20 0 3 0 169010139 219131904 32293 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
[pid=877317/tid=877320] ppid=877314 vsize=213996 memory=12088 CPUtime=0 cores=5,7
/proc/877317/task/877320/stat : 877320 (fscip) S 877314 877317 872627 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 169010141 219131904 32293 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 213996 KiB
Current children cumulated memory: 129172 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.17 4.12 5/264 877465
/proc/meminfo: memFree=126592420/131524600 swapFree=131071996/131071996
[pid=877317] ppid=877314 vsize=213996 memory=136324 CPUtime=12.65 cores=5,7
/proc/877317/stat : 877317 (fscip) S 877314 877317 872627 0 -1 1077936128 92580 0 0 0 1257 8 0 0 20 0 3 0 169010128 219131904 34081 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
/proc/877317/statm: 53499 34081 2910 3032 0 41235 0
[pid=877317/tid=877319] ppid=877314 vsize=213996 memory=12088 CPUtime=12.54 cores=5,7
/proc/877317/task/877319/stat : 877319 (fscip) R 877314 877317 872627 0 -1 4194368 82819 0 0 0 1247 7 0 0 20 0 3 0 169010139 219131904 34081 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
[pid=877317/tid=877320] ppid=877314 vsize=213996 memory=134960 CPUtime=0 cores=5,7
/proc/877317/task/877320/stat : 877320 (fscip) S 877314 877317 872627 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 169010141 219131904 34081 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 213996 KiB
Current children cumulated memory: 136324 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.16 4.12 5/264 877468
/proc/meminfo: memFree=126511216/131524600 swapFree=131071996/131071996
[pid=877317] ppid=877314 vsize=215504 memory=137316 CPUtime=25.42 cores=5,7
/proc/877317/stat : 877317 (fscip) S 877314 877317 872627 0 -1 1077936128 114700 0 0 0 2532 10 0 0 20 0 3 0 169010128 220676096 34329 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
/proc/877317/statm: 53876 34329 2910 3032 0 42084 0
[pid=877317/tid=877319] ppid=877314 vsize=215504 memory=129172 CPUtime=25.3 cores=5,7
/proc/877317/task/877319/stat : 877319 (fscip) R 877314 877317 872627 0 -1 4194368 104925 0 0 0 2522 8 0 0 20 0 3 0 169010139 220676096 34329 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
[pid=877317/tid=877320] ppid=877314 vsize=215504 memory=104400 CPUtime=0 cores=5,7
/proc/877317/task/877320/stat : 877320 (fscip) S 877314 877317 872627 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 169010141 220676096 34329 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 215504 KiB
Current children cumulated memory: 137316 KiB

[startup+51.1055 s]
/proc/loadavg: 4.18 4.17 4.12 5/266 877476
/proc/meminfo: memFree=126426496/131524600 swapFree=131071996/131071996
[pid=877317] ppid=877314 vsize=215504 memory=140764 CPUtime=50.95 cores=5,7
/proc/877317/stat : 877317 (fscip) S 877314 877317 872627 0 -1 1077936128 134380 0 0 0 5084 11 0 0 20 0 3 0 169010128 220676096 35191 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
/proc/877317/statm: 53876 35191 2910 3032 0 42936 0
[pid=877317/tid=877319] ppid=877314 vsize=215504 memory=137316 CPUtime=50.84 cores=5,7
/proc/877317/task/877319/stat : 877319 (fscip) R 877314 877317 872627 0 -1 4194368 124587 0 0 0 5074 10 0 0 20 0 3 0 169010139 220676096 35191 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
[pid=877317/tid=877320] ppid=877314 vsize=215504 memory=137316 CPUtime=0 cores=5,7
/proc/877317/task/877320/stat : 877320 (fscip) S 877314 877317 872627 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 169010141 220676096 35191 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 215504 KiB
Current children cumulated memory: 140764 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/266 877532
/proc/meminfo: memFree=125069224/131524600 swapFree=131071996/131071996
[pid=877317] ppid=877314 vsize=215504 memory=156076 CPUtime=102 cores=5,7
/proc/877317/stat : 877317 (fscip) S 877314 877317 872627 0 -1 1077936128 160627 0 0 0 10187 13 0 0 20 0 3 0 169010128 220676096 39019 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
/proc/877317/statm: 53876 39019 2974 3032 0 47045 0
[pid=877317/tid=877319] ppid=877314 vsize=215504 memory=156076 CPUtime=101.89 cores=5,7
/proc/877317/task/877319/stat : 877319 (fscip) R 877314 877317 872627 0 -1 4194368 150755 0 0 0 10177 12 0 0 20 0 3 0 169010139 220676096 39019 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
[pid=877317/tid=877320] ppid=877314 vsize=215504 memory=41816 CPUtime=0 cores=5,7
/proc/877317/task/877320/stat : 877320 (fscip) S 877314 877317 872627 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 169010141 220676096 39019 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 215504 KiB
Current children cumulated memory: 156076 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/266 877543
/proc/meminfo: memFree=124933020/131524600 swapFree=131071996/131071996
[pid=877317] ppid=877314 vsize=215504 memory=161704 CPUtime=161.84 cores=5,7
/proc/877317/stat : 877317 (fscip) S 877314 877317 872627 0 -1 1077936128 195404 0 0 0 16169 15 0 0 20 0 3 0 169010128 220676096 40426 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
/proc/877317/statm: 53876 40426 2974 3032 0 47045 0
[pid=877317/tid=877319] ppid=877314 vsize=215504 memory=12088 CPUtime=161.73 cores=5,7
/proc/877317/task/877319/stat : 877319 (fscip) R 877314 877317 872627 0 -1 4194368 184870 0 0 0 16159 14 0 0 20 0 3 0 169010139 220676096 40426 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
[pid=877317/tid=877320] ppid=877314 vsize=215504 memory=161648 CPUtime=0 cores=5,7
/proc/877317/task/877320/stat : 877320 (fscip) S 877314 877317 872627 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 169010141 220676096 40426 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 215504 KiB
Current children cumulated memory: 161704 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.17 4.12 5/266 877554

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

/proc/877317/statm: 104218 82567 2974 3032 0 86963 0
[pid=877317/tid=877319] ppid=877314 vsize=416872 memory=328816 CPUtime=3391.8 cores=5,7
/proc/877317/task/877319/stat : 877319 (fscip) R 877314 877317 872627 0 -1 4194368 422362 0 0 0 339141 39 0 0 20 0 3 0 169010139 426876928 82567 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
[pid=877317/tid=877320] ppid=877314 vsize=416872 memory=328848 CPUtime=0.03 cores=5,7
/proc/877317/task/877320/stat : 877320 (fscip) S 877314 877317 872627 0 -1 1077936192 313 0 0 0 1 2 0 0 20 0 3 0 169010141 426876928 82567 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
Current children cumulated CPU time: 3392.01 s
Current children cumulated vsize: 416872 KiB
Current children cumulated memory: 330268 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/262 879336
/proc/meminfo: memFree=121644108/131524600 swapFree=131071996/131071996
[pid=877317] ppid=877314 vsize=416872 memory=332484 CPUtime=3451.87 cores=5,7
/proc/877317/stat : 877317 (fscip) S 877314 877317 872627 0 -1 1077936128 435836 0 0 0 345141 46 0 0 20 0 3 0 169010128 426876928 83121 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
/proc/877317/statm: 104218 83121 2974 3032 0 87860 0
[pid=877317/tid=877319] ppid=877314 vsize=416872 memory=328816 CPUtime=3451.66 cores=5,7
/proc/877317/task/877319/stat : 877319 (fscip) R 877314 877317 872627 0 -1 4194368 423945 0 0 0 345126 40 0 0 20 0 3 0 169010139 426876928 83121 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
[pid=877317/tid=877320] ppid=877314 vsize=416872 memory=328848 CPUtime=0.03 cores=5,7
/proc/877317/task/877320/stat : 877320 (fscip) S 877314 877317 872627 0 -1 1077936192 319 0 0 0 1 2 0 0 20 0 3 0 169010141 426876928 83121 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
Current children cumulated CPU time: 3451.87 s
Current children cumulated vsize: 416872 KiB
Current children cumulated memory: 332484 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.12 6/262 879347
/proc/meminfo: memFree=121619868/131524600 swapFree=131071996/131071996
[pid=877317] ppid=877314 vsize=416872 memory=344164 CPUtime=3511.72 cores=5,7
/proc/877317/stat : 877317 (fscip) S 877314 877317 872627 0 -1 1077936128 440611 0 0 0 351126 46 0 0 20 0 3 0 169010128 426876928 86041 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
/proc/877317/statm: 104218 86041 2974 3032 0 91389 0
[pid=877317/tid=877319] ppid=877314 vsize=416872 memory=343972 CPUtime=3511.5 cores=5,7
/proc/877317/task/877319/stat : 877319 (fscip) R 877314 877317 872627 0 -1 4194368 428657 0 0 0 351110 40 0 0 20 0 3 0 169010139 426876928 86041 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
[pid=877317/tid=877320] ppid=877314 vsize=416872 memory=344164 CPUtime=0.03 cores=5,7
/proc/877317/task/877320/stat : 877320 (fscip) S 877314 877317 872627 0 -1 1077936192 321 0 0 0 1 2 0 0 20 0 3 0 169010141 426876928 86041 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
Current children cumulated CPU time: 3511.72 s
Current children cumulated vsize: 416872 KiB
Current children cumulated memory: 344164 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.12 5/262 879357
/proc/meminfo: memFree=121497908/131524600 swapFree=131071996/131071996
[pid=877317] ppid=877314 vsize=416872 memory=344172 CPUtime=3571.58 cores=5,7
/proc/877317/stat : 877317 (fscip) S 877314 877317 872627 0 -1 1077936128 441466 0 0 0 357111 47 0 0 20 0 3 0 169010128 426876928 86043 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
/proc/877317/statm: 104218 86043 2974 3032 0 91389 0
[pid=877317/tid=877319] ppid=877314 vsize=416872 memory=343972 CPUtime=3571.36 cores=5,7
/proc/877317/task/877319/stat : 877319 (fscip) R 877314 877317 872627 0 -1 4194368 429491 0 0 0 357096 40 0 0 20 0 3 0 169010139 426876928 86043 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
[pid=877317/tid=877320] ppid=877314 vsize=416872 memory=12088 CPUtime=0.03 cores=5,7
/proc/877317/task/877320/stat : 877320 (fscip) S 877314 877317 872627 0 -1 1077936192 323 0 0 0 1 2 0 0 20 0 3 0 169010141 426876928 86043 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
Current children cumulated CPU time: 3571.58 s
Current children cumulated vsize: 416872 KiB
Current children cumulated memory: 344172 KiB

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

# cumulated CPU time of all completed processes:  user=3588.82 s, system=0.477564 s

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

[startup+3584 s]*
/proc/loadavg: 4.06 4.09 4.11 5/262 879357
/proc/meminfo: memFree=121497180/131524600 swapFree=131071996/131071996
[pid=877317] ppid=877314 vsize=416872 memory=344172 CPUtime=3573.28 cores=5,7
/proc/877317/stat : 877317 (fscip) S 877314 877317 872627 0 -1 1077936128 441466 0 0 0 357281 47 0 0 20 0 3 0 169010128 426876928 86043 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
/proc/877317/statm: 104218 86043 2974 3032 0 91389 0
[pid=877317/tid=877319] ppid=877314 vsize=416872 memory=6720668731422753129 CPUtime=3573.06 cores=5,7
/proc/877317/task/877319/stat : 877319 (fscip) R 877314 877317 872627 0 -1 4194368 429491 0 0 0 357266 40 0 0 20 0 3 0 169010139 426876928 86043 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
[pid=877317/tid=877320] ppid=877314 vsize=416872 memory=-8621784567864212633 CPUtime=0.03 cores=5,7
/proc/877317/task/877320/stat : 877320 (fscip) S 877314 877317 872627 0 -1 1077936192 323 0 0 0 1 2 0 0 20 0 3 0 169010141 426876928 86043 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
Current children cumulated CPU time: 3573.28 s
Current children cumulated vsize: 416872 KiB
Current children cumulated memory: 344172 KiB

[startup+3590.4 s]
/proc/loadavg: 4.06 4.09 4.11 5/262 879359
/proc/meminfo: memFree=121496172/131524600 swapFree=131071996/131071996
[pid=877317] ppid=877314 vsize=416872 memory=344172 CPUtime=3579.66 cores=5,7
/proc/877317/stat : 877317 (fscip) S 877314 877317 872627 0 -1 1077936128 441466 0 0 0 357919 47 0 0 20 0 3 0 169010128 426876928 86043 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
/proc/877317/statm: 104218 86043 2974 3032 0 91389 0
[pid=877317/tid=877319] ppid=877314 vsize=416872 memory=344172 CPUtime=3579.44 cores=5,7
/proc/877317/task/877319/stat : 877319 (fscip) R 877314 877317 872627 0 -1 4194368 429491 0 0 0 357904 40 0 0 20 0 3 0 169010139 426876928 86043 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
[pid=877317/tid=877320] ppid=877314 vsize=416872 memory=344172 CPUtime=0.03 cores=5,7
/proc/877317/task/877320/stat : 877320 (fscip) S 877314 877317 872627 0 -1 1077936192 323 0 0 0 1 2 0 0 20 0 3 0 169010141 426876928 86043 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
Current children cumulated CPU time: 3579.66 s
Current children cumulated vsize: 416872 KiB
Current children cumulated memory: 344172 KiB

[startup+3596.8 s]
/proc/loadavg: 4.05 4.09 4.11 5/262 879360
/proc/meminfo: memFree=121495052/131524600 swapFree=131071996/131071996
[pid=877317] ppid=877314 vsize=416872 memory=344172 CPUtime=3586.04 cores=5,7
/proc/877317/stat : 877317 (fscip) S 877314 877317 872627 0 -1 1077936128 441466 0 0 0 358557 47 0 0 20 0 3 0 169010128 426876928 86043 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
/proc/877317/statm: 104218 86043 2974 3032 0 91389 0
[pid=877317/tid=877319] ppid=877314 vsize=416872 memory=344172 CPUtime=3585.82 cores=5,7
/proc/877317/task/877319/stat : 877319 (fscip) R 877314 877317 872627 0 -1 4194368 429491 0 0 0 358542 40 0 0 20 0 3 0 169010139 426876928 86043 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
[pid=877317/tid=877320] ppid=877314 vsize=416872 memory=12088 CPUtime=0.03 cores=5,7
/proc/877317/task/877320/stat : 877320 (fscip) S 877314 877317 872627 0 -1 1077936192 323 0 0 0 1 2 0 0 20 0 3 0 169010141 426876928 86043 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
Current children cumulated CPU time: 3586.04 s
Current children cumulated vsize: 416872 KiB
Current children cumulated memory: 344172 KiB

[startup+3598.4 s]
/proc/loadavg: 4.05 4.09 4.11 5/262 879360
/proc/meminfo: memFree=121494888/131524600 swapFree=131071996/131071996
[pid=877317] ppid=877314 vsize=416872 memory=344172 CPUtime=3587.64 cores=5,7
/proc/877317/stat : 877317 (fscip) S 877314 877317 872627 0 -1 1077936128 441466 0 0 0 358717 47 0 0 20 0 3 0 169010128 426876928 86043 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
/proc/877317/statm: 104218 86043 2974 3032 0 91389 0
[pid=877317/tid=877319] ppid=877314 vsize=416872 memory=40384 CPUtime=3587.42 cores=5,7
/proc/877317/task/877319/stat : 877319 (fscip) R 877314 877317 872627 0 -1 4194368 429491 0 0 0 358702 40 0 0 20 0 3 0 169010139 426876928 86043 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
[pid=877317/tid=877320] ppid=877314 vsize=416872 memory=2700 CPUtime=0.03 cores=5,7
/proc/877317/task/877320/stat : 877320 (fscip) S 877314 877317 872627 0 -1 1077936192 323 0 0 0 1 2 0 0 20 0 3 0 169010141 426876928 86043 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
Current children cumulated CPU time: 3587.64 s
Current children cumulated vsize: 416872 KiB
Current children cumulated memory: 344172 KiB

[startup+3599.2 s]
/proc/loadavg: 4.05 4.09 4.11 5/262 879361
/proc/meminfo: memFree=121494696/131524600 swapFree=131071996/131071996
[pid=877317] ppid=877314 vsize=416872 memory=344172 CPUtime=3588.44 cores=5,7
/proc/877317/stat : 877317 (fscip) S 877314 877317 872627 0 -1 1077936128 441466 0 0 0 358797 47 0 0 20 0 3 0 169010128 426876928 86043 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
/proc/877317/statm: 104218 86043 2974 3032 0 91389 0
[pid=877317/tid=877319] ppid=877314 vsize=416872 memory=344172 CPUtime=3588.22 cores=5,7
/proc/877317/task/877319/stat : 877319 (fscip) R 877314 877317 872627 0 -1 4194368 429491 0 0 0 358782 40 0 0 20 0 3 0 169010139 426876928 86043 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
[pid=877317/tid=877320] ppid=877314 vsize=416872 memory=12512 CPUtime=0.03 cores=5,7
/proc/877317/task/877320/stat : 877320 (fscip) S 877314 877317 872627 0 -1 1077936192 323 0 0 0 1 2 0 0 20 0 3 0 169010141 426876928 86043 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
Current children cumulated CPU time: 3588.44 s
Current children cumulated vsize: 416872 KiB
Current children cumulated memory: 344172 KiB

[startup+3599.6 s]
/proc/loadavg: 4.05 4.09 4.11 5/262 879361
/proc/meminfo: memFree=121494696/131524600 swapFree=131071996/131071996
[pid=877317] ppid=877314 vsize=416872 memory=344172 CPUtime=3588.84 cores=5,7
/proc/877317/stat : 877317 (fscip) S 877314 877317 872627 0 -1 1077936128 441466 0 0 0 358837 47 0 0 20 0 3 0 169010128 426876928 86043 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
/proc/877317/statm: 104218 86043 2974 3032 0 91389 0
[pid=877317/tid=877319] ppid=877314 vsize=416872 memory=6720664333342687599 CPUtime=3588.62 cores=5,7
/proc/877317/task/877319/stat : 877319 (fscip) R 877314 877317 872627 0 -1 4194368 429491 0 0 0 358822 40 0 0 20 0 3 0 169010139 426876928 86043 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
[pid=877317/tid=877320] ppid=877314 vsize=416872 memory=20368 CPUtime=0.03 cores=5,7
/proc/877317/task/877320/stat : 877320 (fscip) S 877314 877317 872627 0 -1 1077936192 323 0 0 0 1 2 0 0 20 0 3 0 169010141 426876928 86043 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
Current children cumulated CPU time: 3588.84 s
Current children cumulated vsize: 416872 KiB
Current children cumulated memory: 344172 KiB

[startup+3600 s]*
/proc/loadavg: 4.05 4.09 4.11 6/262 879361
/proc/meminfo: memFree=121502208/131524600 swapFree=131071996/131071996
[pid=877317] ppid=877314 vsize=416872 memory=344172 CPUtime=3589.24 cores=5,7
/proc/877317/stat : 877317 (fscip) R 877314 877317 872627 0 -1 1077936128 441493 0 0 0 358877 47 0 0 20 0 3 0 169010128 426876928 86043 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
/proc/877317/statm: 104218 86043 2974 3032 0 91389 0
[pid=877317/tid=877319] ppid=877314 vsize=416872 memory=6720668731422753129 CPUtime=3589.02 cores=5,7
/proc/877317/task/877319/stat : 877319 (fscip) R 877314 877317 872627 0 -1 4194368 429524 0 0 0 358862 40 0 0 20 0 3 0 169010139 426876928 86043 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
[pid=877317/tid=877320] ppid=877314 vsize=416872 memory=-8621784567864212633 CPUtime=0.03 cores=5,7
/proc/877317/task/877320/stat : 877320 (fscip) S 877314 877317 872627 0 -1 1077936192 323 0 0 0 1 2 0 0 20 0 3 0 169010141 426876928 86043 134679101440 4194304 16613245 140720982557104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46366720 140720982565909 140720982566025 140720982566025 140720982573040 0
Current children cumulated CPU time: 3589.24 s
Current children cumulated vsize: 416872 KiB
Current children cumulated memory: 344172 KiB

Child status: 0

Real time (s): 3600.05
CPU time (s): 3589.3
CPU user time (s): 3588.82
CPU system time (s): 0.477564
CPU usage (%): 99.7012
Max. virtual memory (cumulated for all children) (KiB): 416872
Max. memory (cumulated for all children) (KiB): 344172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.82
system time used= 0.477564
maximum resident set size= 344172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 442367
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= 5268
involuntary context switches= 1784


# summary of solver processes directly reported to runsolver:
#   pid: 877317
#   total CPU time (s): 3589.3
#   total CPU user time (s): 3588.82
#   total CPU system time (s): 0.477564

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.18241 second user time and 16.4702 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-17 00:20:24
IDJOB=4434946
IDBENCH=158503
IDSOLVER=3064
FILE ID=nodeC032/4434946-1721168412
RUNJOBID= nodeC032-1721161218-872640
SLURM_JOB_ID= 7505777
Free space on /tmp= 890000 MiB

SOLVER NAME= FiberSCIP 2024-07-02
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-4434946-1721168412/watcher-4434946-1721168412 -o /tmp/evaluation-result-4434946-1721168412/solver-4434946-1721168412 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721161218-872640 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434946-1721168412.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 16979d2f8203ffed07f73a3588d8874c
RANDOM SEED=460423298

nodeC032.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		: 3675.300
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.33
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		: 3674.526
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.03
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		: 3599.963
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.33
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		: 3633.317
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.03
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		: 3600.189
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.33
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		: 3679.173
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.03
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		: 3675.279
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.33
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		: 3665.797
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.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125709104 kB
MemAvailable:   128411240 kB
Buffers:          431740 kB
Cached:          3079876 kB
SwapCached:            0 kB
Active:           746724 kB
Inactive:        4408512 kB
Active(anon):       1572 kB
Inactive(anon):  1679744 kB
Active(file):     745152 kB
Inactive(file):  2728768 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             56484 kB
Writeback:             0 kB
AnonPages:       1643608 kB
Mapped:           140388 kB
Shmem:             37720 kB
KReclaimable:     136080 kB
Slab:             247676 kB
SReclaimable:     136080 kB
SUnreclaim:       111596 kB
KernelStack:        4144 kB
PageTables:        12496 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1240144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            65152 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1382400 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:      226004 kB
DirectMap2M:    21567488 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 889972 MiB
End job on nodeC032 at 2024-07-17 01:20:24