Trace number 4459779

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-121 3588.01 3600.18

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_500_10_2.opb
MD5SUMa8db507b9a19068579e2e54aa556294a
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-130
Best CPU time to get the best result obtained on this benchmark71345.8
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint10
Maximum length of a constraint21
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6328
Sum of products size (including duplicates)12656
Number of different products3164
Sum of products size6328

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 = 36962304, getVmSize() = 36962304, SCIPgetMemUsed() = 12060383, SCIPgetMemTotal() = 14903655, SCIPgetMemExternEstim() = 7444071
0.00/0.02	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.05	c ** Estimated virtualMemUsedAtSolver = 27335338, getVmSize() = 45043712, SCIPgetMemUsed() = 12700076, SCIPgetMemTotal() = 21660268, SCIPgetMemExternEstim() = 7444071
0.00/0.05	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.05	c Original Problem   :
0.00/0.05	c   Problem name     : instance-4459779-1721939464
0.00/0.05	c   Variables        : 3664 (500 binary, 0 integer, 3164 implicit integer, 0 continuous)
0.00/0.05	c   Constraints      : 4164
0.00/0.05	c   Objective sense  : minimize
0.00/0.05	c Presolved Problem  :
0.00/0.05	c   Variables        : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.05	c   Constraints      : 3164
0.00/0.05	c Constraints        : Number
0.00/0.05	c   setppc           : 3164 
0.00/0.05	c ** Instance transfer method used: 0
0.00/0.06	c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.06	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.06	c                                Nodes    Active                                            
0.00/0.06	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.10/0.11	c *       0              0           1         1         -86.0000                -          -
0.10/0.11	c *       0              0           1         1        -110.0000                -          -
0.10/0.12	c *       0              0           1         1        -115.0000                -          -
5.56/5.67	c         6              3           2         1        -115.0000        -188.4479     63.87%
12.05/12.14	c        12              9           8         1        -115.0000        -188.4479     63.87%
17.82/17.95	c        18             57          56         1        -115.0000        -188.4011     63.83%
23.02/23.13	c        23             91          90         1        -115.0000        -188.4011     63.83%
29.18/29.34	c        29            114         113         1        -115.0000        -187.2857     62.86%
35.57/35.72	c *      36            142         141         1        -119.0000        -186.4058     56.64%
35.57/35.72	c        36            142         141         1        -119.0000        -186.4058     56.64%
41.85/42.01	c        42            173         172         1        -119.0000        -186.1513     56.43%
47.93/48.16	c        48            195         194         1        -119.0000        -185.6300     55.99%
54.01/54.21	c        54            248         247         1        -119.0000        -185.5692     55.94%
57.29/57.57	c *      58            269         268         1        -121.0000        -185.5692     53.36%
59.09/59.35	c        59            443         292         1        -121.0000        -185.2543     53.10%
64.88/65.18	c        65            598         319         1        -121.0000        -185.1131     52.99%
69.96/70.21	c        70            822         341         1        -121.0000        -184.6441     52.60%
75.34/75.68	c        76           1020         365         1        -121.0000        -184.4422     52.43%
81.01/81.38	c        81           1171         386         1        -121.0000        -184.2371     52.26%
86.59/86.91	c        87           1198         413         1        -121.0000        -184.0788     52.13%
91.58/91.97	c        92           1256         471         1        -121.0000        -183.9482     52.02%
98.05/98.43	c        98           1311         522         1        -121.0000        -183.9482     52.02%
103.14/103.55	c       104           1374         561         1        -121.0000        -183.3828     51.56%
108.42/108.84	c       109           1488         631         1        -121.0000        -183.3828     51.56%
114.30/114.70	c       115           1560         671         1        -121.0000        -183.3828     51.56%
119.59/120.03	c       120           1655         744         1        -121.0000        -183.3220     51.51%
124.87/125.35	c       125           1724         785         1        -121.0000        -183.2104     51.41%
130.34/130.80	c       131           1828         851         1        -121.0000        -183.2104     51.41%
135.53/136.06	c       136           1927         928         1        -121.0000        -183.1387     51.35%
141.61/142.17	c       142           1986         979         1        -121.0000        -183.1387     51.35%
147.19/147.73	c       148           2028        1021         1        -121.0000        -183.1300     51.35%
152.37/152.98	c       153           2098        1069         1        -121.0000        -183.1300     51.35%
157.95/158.59	c       159           2196        1137         1        -121.0000        -183.1300     51.35%
163.45/164.09	c       164           2285        1208         1        -121.0000        -183.0882     51.31%
170.12/170.75	c       171           2381        1286         1        -121.0000        -183.0240     51.26%
175.20/175.88	c       176           2452        1333         1        -121.0000        -182.5584     50.87%
180.68/181.30	c       181           2531        1388         1        -121.0000        -182.5578     50.87%
186.66/187.34	c       187           2622        1447         1        -121.0000        -182.4869     50.82%
192.24/192.97	c       193           2689        1498         1        -121.0000        -182.4869     50.82%
197.53/198.20	c       198           2761        1566         1        -121.0000        -182.4409     50.78%
202.52/203.23	c       203           2812        1607         1        -121.0000        -182.3295     50.69%
207.90/208.63	c       209           2880        1675         1        -121.0000        -182.3295     50.69%
213.88/214.62	c       215           2952        1733         1        -121.0000        -182.1606     50.55%
219.06/219.84	c       220           3022        1803         1        -121.0000        -182.1606     50.55%
224.35/225.19	c       225           3082        1851         1        -121.0000        -182.0264     50.44%
229.92/230.77	c       231           3175        1924         1        -121.0000        -182.0264     50.44%
235.21/236.02	c       236           3240        1983         1        -121.0000        -182.0183     50.43%
240.39/241.25	c       241           3341        2058         1        -121.0000        -181.9913     50.41%
246.47/247.30	c       247           3408        2101         1        -121.0000        -181.9111     50.34%
252.26/253.15	c       253           3520        2171         1        -121.0000        -181.8226     50.27%
258.03/258.96	c       259           3615        2262         1        -121.0000        -181.7433     50.20%
263.81/264.73	c       265           3722        2343         1        -121.0000        -181.7433     50.20%
269.10/270.04	c       270           3799        2398         1        -121.0000        -181.7163     50.18%
274.98/275.99	c       276           3876        2465         1        -121.0000        -181.6981     50.16%
280.56/281.54	c       282           3935        2514         1        -121.0000        -181.6923     50.16%
286.44/287.49	c       287           3990        2557         1        -121.0000        -181.6923     50.16%
292.53/293.59	c       294           4066        2609         1        -121.0000        -181.6731     50.14%
298.31/299.36	c       299           4180        2705         1        -121.0000        -181.6186     50.10%
303.99/305.05	c       305           4273        2770         1        -121.0000        -181.5995     50.08%
309.57/310.68	c       311           4356        2833         1        -121.0000        -181.5995     50.08%
315.55/316.61	c       317           4432        2893         1        -121.0000        -181.4577     49.97%
321.13/322.23	c       322           4501        2936         1        -121.0000        -181.4364     49.95%
326.71/327.82	c       328           4579        3006         1        -121.0000        -181.4353     49.95%
332.09/333.23	c       333           4626        3041         1        -121.0000        -181.3278     49.86%
337.47/338.64	c       339           4679        3078         1        -121.0000        -181.2408     49.79%
342.96/344.13	c       344           4744        3131         1        -121.0000        -181.2146     49.76%
348.14/349.33	c       349           4822        3181         1        -121.0000        -181.1762     49.73%
354.23/355.43	c       355           4892        3235         1        -121.0000        -181.1391     49.70%
359.51/360.76	c       361           4937        3266         1        -121.0000        -181.1391     49.70%
364.80/366.03	c       366           4994        3319         1        -121.0000        -181.1391     49.70%
370.27/371.51	c       372           5082        3393         1        -121.0000        -181.1346     49.70%
375.46/376.75	c       377           5152        3447         1        -121.0000        -181.1197     49.69%
381.04/382.36	c       382           5210        3485         1        -121.0000        -181.1197     49.69%
386.92/388.22	c       388           5278        3527         1        -121.0000        -180.9975     49.58%
392.11/393.40	c       393           5338        3575         1        -121.0000        -180.9354     49.53%
397.39/398.77	c       399           5402        3623         1        -121.0000        -180.8459     49.46%
402.57/403.95	c       404           5485        3676         1        -121.0000        -180.8459     49.46%
407.86/409.24	c       409           5551        3728         1        -121.0000        -180.7311     49.36%
413.74/415.16	c       415           5640        3813         1        -121.0000        -180.7253     49.36%
419.82/421.28	c       421           5717        3858         1        -121.0000        -180.6990     49.34%
425.10/426.53	c       427           5802        3929         1        -121.0000        -180.6392     49.29%
430.98/432.42	c       432           5866        3981         1        -121.0000        -180.5911     49.25%
436.36/437.85	c       438           5942        4031         1        -121.0000        -180.5619     49.22%
441.94/443.40	c       443           5987        4068         1        -121.0000        -180.5619     49.22%
447.53/449.01	c       449           6066        4131         1        -121.0000        -180.5524     49.22%
452.70/454.21	c       454           6132        4191         1        -121.0000        -180.5005     49.17%
458.09/459.62	c       460           6219        4274         1        -121.0000        -180.4956     49.17%
463.77/465.34	c       465           6328        4373         1        -121.0000        -180.3967     49.09%
468.95/470.56	c       471           6402        4445         1        -121.0000        -180.2916     49.00%
474.03/475.64	c       476           6482        4521         1        -121.0000        -180.2830     48.99%
479.31/480.98	c       481           6557        4576         1        -121.0000        -180.2530     48.97%
485.49/487.17	c       487           6669        4664         1        -121.0000        -180.1630     48.90%
491.18/492.81	c       493           6713        4704         1        -121.0000        -180.1532     48.89%
496.55/498.27	c       498           6792        4761         1        -121.0000        -180.0312     48.79%
502.13/503.82	c       504           6898        4823         1        -121.0000        -180.0109     48.77%
507.91/509.62	c       510           7005        4908         1        -121.0000        -180.0109     48.77%
513.78/515.60	c       516           7143        5000         1        -121.0000        -179.9821     48.75%
518.87/520.62	c       521           7242        5073         1        -121.0000        -179.9597     48.73%
523.96/525.70	c       526           7352        5147         1        -121.0000        -179.8330     48.62%
529.24/531.00	c       531           7442        5233         1        -121.0000        -179.8067     48.60%
534.33/536.12	c       536           7532        5313         1        -121.0000        -179.7489     48.55%
539.61/541.40	c       541           7602        5365         1        -121.0000        -179.7413     48.55%
545.29/547.18	c       547           7716        5449         1        -121.0000        -179.7018     48.51%
550.47/552.36	c       552           7808        5493         1        -121.0000        -179.6840     48.50%
555.85/557.70	c       558           7910        5551         1        -121.0000        -179.6571     48.48%
560.94/562.87	c       563           8023        5612         1        -121.0000        -179.6571     48.48%
566.72/568.63	c       569           8085        5670         1        -121.0000        -179.6296     48.45%
572.00/573.94	c       574           8192        5749         1        -121.0000        -179.5670     48.40%
578.19/580.11	c       580           8258        5795         1        -121.0000        -179.5650     48.40%
583.86/585.81	c       586           8352        5857         1        -121.0000        -179.5154     48.36%
589.74/591.76	c       592           8442        5921         1        -121.0000        -179.5088     48.35%
595.82/597.85	c       598           8568        5973         1        -121.0000        -179.4902     48.34%
601.20/603.24	c       603           8656        6025         1        -121.0000        -179.4498     48.31%
606.79/608.88	c       609           8772        6061         1        -121.0000        -179.4446     48.30%
612.27/614.36	c       614           8886        6133         1        -121.0000        -179.4102     48.27%
618.25/620.30	c       620           8975        6176         1        -121.0000        -179.4102     48.27%
623.93/626.08	c       626           9089        6224         1        -121.0000        -179.4096     48.27%
629.81/631.99	c       632           9182        6287         1        -121.0000        -179.3688     48.24%
635.00/637.19	c       637           9268        6337         1        -121.0000        -179.3663     48.24%
641.17/643.37	c       643           9369        6390         1        -121.0000        -179.3420     48.22%
646.55/648.74	c       649           9443        6440         1        -121.0000        -179.3297     48.21%
651.84/654.04	c       654           9518        6481         1        -121.0000        -179.3164     48.20%
657.41/659.64	c       660           9599        6526         1        -121.0000        -179.3111     48.19%
662.91/665.12	c       665           9772        6583         1        -121.0000        -179.2379     48.13%
668.18/670.44	c       670           9856        6617         1        -121.0000        -179.2017     48.10%
673.37/675.67	c       676           9927        6648         1        -121.0000        -179.1701     48.07%
678.86/681.19	c       681          10140        6701         1        -121.0000        -179.0854     48.00%
684.13/686.47	c       686          10222        6727         1        -121.0000        -179.0838     48.00%
689.61/691.92	c       692          10306        6753         1        -121.0000        -179.0594     47.98%
694.90/697.22	c       697          10379        6790         1        -121.0000        -179.0594     47.98%
699.88/702.24	c       702          10513        6820         1        -121.0000        -179.0117     47.94%
704.86/707.29	c       707          10630        6871         1        -121.0000        -178.9972     47.93%
710.34/712.79	c       713          10733        6932         1        -121.0000        -178.9745     47.91%
715.63/718.07	c       718          10822        6967         1        -121.0000        -178.9439     47.89%
721.51/723.95	c       724          10948        7025         1        -121.0000        -178.9298     47.88%
727.49/729.93	c       730          11112        7065         1        -121.0000        -178.9298     47.88%
732.97/735.40	c       735          11211        7112         1        -121.0000        -178.9157     47.86%
738.56/741.04	c       741          11333        7156         1        -121.0000        -178.8855     47.84%
743.73/746.25	c       746          11416        7189         1        -121.0000        -178.8855     47.84%
749.12/751.64	c       752          11531        7230         1        -121.0000        -178.8824     47.84%
754.90/757.42	c       757          11652        7283         1        -121.0000        -178.8721     47.83%
759.88/762.48	c       762          11842        7327         1        -121.0000        -178.8519     47.81%
765.76/768.33	c       768          11977        7386         1        -121.0000        -178.8315     47.79%
770.83/773.42	c       773          12072        7433         1        -121.0000        -178.8233     47.79%
777.01/779.67	c       780          12244        7495         1        -121.0000        -178.8215     47.79%
783.49/786.14	c       786          12378        7555         1        -121.0000        -178.8047     47.77%
789.06/791.78	c       792          12493        7618         1        -121.0000        -178.7879     47.76%
794.94/797.64	c       798          12706        7671         1        -121.0000        -178.7608     47.74%
800.02/802.72	c       803          12772        7723         1        -121.0000        -178.7254     47.71%
805.11/807.80	c       808          12902        7759         1        -121.0000        -178.6981     47.68%
810.09/812.87	c       813          12992        7795         1        -121.0000        -178.6925     47.68%
815.47/818.24	c       818          13062        7839         1        -121.0000        -178.6171     47.62%
820.55/823.38	c       823          13128        7871         1        -121.0000        -178.6057     47.61%
826.33/829.17	c       829          13220        7913         1        -121.0000        -178.5278     47.54%
831.60/834.40	c       834          13280        7927         1        -121.0000        -178.5271     47.54%
837.38/840.20	c       840          13428        7983         1        -121.0000        -178.5271     47.54%
843.46/846.34	c       846          13550        8035         1        -121.0000        -178.5109     47.53%
849.04/851.90	c       852          13648        8073         1        -121.0000        -178.4954     47.52%
854.12/857.05	c       857          13812        8139         1        -121.0000        -178.4942     47.52%
859.30/862.27	c       862          13891        8178         1        -121.0000        -178.4745     47.50%
864.78/867.73	c       868          13992        8219         1        -121.0000        -178.4017     47.44%
869.86/872.89	c       873          14062        8251         1        -121.0000        -178.4017     47.44%
875.74/878.76	c       879          14194        8315         1        -121.0000        -178.3789     47.42%
881.21/884.27	c       884          14326        8361         1        -121.0000        -178.3534     47.40%
886.39/889.41	c       889          14432        8395         1        -121.0000        -178.2863     47.34%
891.37/894.44	c       894          14550        8441         1        -121.0000        -178.2807     47.34%
897.25/900.30	c       900          14639        8492         1        -121.0000        -178.2604     47.32%
902.63/905.75	c       906          14757        8532         1        -121.0000        -178.2551     47.32%
907.71/910.83	c       911          14975        8576         1        -121.0000        -178.2410     47.31%
912.80/915.94	c       916          15052        8613         1        -121.0000        -178.1645     47.24%
918.88/922.04	c       922          15244        8657         1        -121.0000        -178.1557     47.24%
924.85/928.00	c       928          15446        8719         1        -121.0000        -178.1139     47.20%
930.42/933.64	c       934          15581        8750         1        -121.0000        -178.0605     47.16%
935.91/939.19	c       939          15701        8794         1        -121.0000        -178.0102     47.12%
941.29/944.53	c       945          15845        8822         1        -121.0000        -177.9276     47.05%
947.57/950.85	c       951          16062        8891         1        -121.0000        -177.9210     47.04%
953.35/956.63	c       957          16310        8925         1        -121.0000        -177.8736     47.00%
958.73/962.07	c       962          16502        8993         1        -121.0000        -177.8565     46.99%
964.22/967.54	c       968          16562        9039         1        -121.0000        -177.8522     46.99%
970.10/973.48	c       973          16688        9065         1        -121.0000        -177.8522     46.99%
975.18/978.54	c       979          16759        9086         1        -121.0000        -177.8426     46.98%
980.26/983.67	c       984          16852        9127         1        -121.0000        -177.8142     46.95%
986.14/989.57	c       990          17031        9166         1        -121.0000        -177.8122     46.95%
991.63/995.03	c       995          17232        9197         1        -121.0000        -177.7893     46.93%
996.72/1000.13	c      1000          17409        9226         1        -121.0000        -177.7018     46.86%
1002.19/1005.61	c      1006          17578        9261         1        -121.0000        -177.6659     46.83%
1008.26/1011.79	c      1012          17766        9315         1        -121.0000        -177.5981     46.78%
1014.24/1017.76	c      1018          17907        9366         1        -121.0000        -177.5100     46.70%
1019.42/1022.92	c      1023          18033        9410         1        -121.0000        -177.4813     46.68%
1025.21/1028.77	c      1029          18126        9435         1        -121.0000        -177.4595     46.66%
1030.68/1034.26	c      1034          18306        9481         1        -121.0000        -177.4431     46.65%
1036.26/1039.85	c      1040          18663        9528         1        -121.0000        -177.4130     46.62%
1041.74/1045.34	c      1045          18832        9567         1        -121.0000        -177.4109     46.62%
1046.73/1050.37	c      1050          18985        9602         1        -121.0000        -177.4053     46.62%
1052.01/1055.67	c      1056          19112        9635         1        -121.0000        -177.3889     46.60%
1057.99/1061.60	c      1062          19586        9691         1        -121.0000        -177.3889     46.60%
1063.87/1067.51	c      1068          19700        9733         1        -121.0000        -177.3528     46.57%
1069.15/1072.85	c      1073          19804        9783         1        -121.0000        -177.3084     46.54%
1074.13/1077.88	c      1078          20049        9856         1        -121.0000        -177.2861     46.52%
1079.61/1083.35	c      1083          20255        9898         1        -121.0000        -177.2820     46.51%
1084.90/1088.66	c      1089          20353        9934         1        -121.0000        -177.2656     46.50%
1089.98/1093.73	c      1094          20712        9959         1        -121.0000        -177.2114     46.46%
1095.76/1099.58	c      1100          20964       10003         1        -121.0000        -177.1751     46.43%
1100.94/1104.72	c      1105          21311       10038         1        -121.0000        -177.1610     46.41%
1106.53/1110.33	c      1110          21389       10074         1        -121.0000        -177.1539     46.41%
1111.61/1115.43	c      1115          21529       10124         1        -121.0000        -177.1215     46.38%
1118.20/1122.07	c      1122          21651       10182         1        -121.0000        -177.1149     46.38%
1123.77/1127.64	c      1128          21751       10210         1        -121.0000        -177.1141     46.38%
1128.86/1132.79	c      1133          21838       10241         1        -121.0000        -177.0842     46.35%
1135.43/1139.38	c      1139          21954       10297         1        -121.0000        -177.0690     46.34%
1141.02/1144.99	c      1145          22142       10343         1        -121.0000        -177.0380     46.31%
1147.09/1151.00	c      1151          22446       10399         1        -121.0000        -177.0180     46.30%
1152.67/1156.67	c      1157          22722       10447         1        -121.0000        -176.9971     46.28%
1157.85/1161.81	c      1162          22882       10493         1        -121.0000        -176.9666     46.25%
1163.93/1167.98	c      1168          23020       10523         1        -121.0000        -176.9555     46.24%
1170.21/1174.20	c      1174          23200       10561         1        -121.0000        -176.9172     46.21%
1175.70/1179.76	c      1180          23368       10597         1        -121.0000        -176.8962     46.20%
1181.78/1185.86	c      1186          23578       10659         1        -121.0000        -176.8818     46.18%
1186.97/1191.06	c      1191          23772       10703         1        -121.0000        -176.8724     46.18%
1192.24/1196.35	c      1196          24192       10729         1        -121.0000        -176.8615     46.17%
1197.32/1201.40	c      1201          24472       10763         1        -121.0000        -176.8311     46.14%
1202.60/1206.71	c      1207          24622       10805         1        -121.0000        -176.7935     46.11%
1207.69/1211.89	c      1212          24927       10844         1        -121.0000        -176.7821     46.10%
1214.16/1218.36	c      1218          25195       10890         1        -121.0000        -176.7362     46.06%
1219.36/1223.59	c      1224          25296       10909         1        -121.0000        -176.7295     46.06%
1225.24/1229.45	c      1229          25466       10969         1        -121.0000        -176.6797     46.02%
1230.52/1234.71	c      1235          25801       11008         1        -121.0000        -176.6520     45.99%
1235.70/1240.00	c      1240          25892       11051         1        -121.0000        -176.6154     45.96%
1240.98/1245.23	c      1245          26088       11087         1        -121.0000        -176.6147     45.96%
1246.16/1250.49	c      1250          26268       11141         1        -121.0000        -176.5993     45.95%
1251.64/1255.99	c      1256          26437       11194         1        -121.0000        -176.5817     45.94%
1257.13/1261.40	c      1261          26696       11247         1        -121.0000        -176.5695     45.93%
1262.51/1266.82	c      1267          26902       11281         1        -121.0000        -176.5369     45.90%
1267.70/1272.09	c      1272          27118       11321         1        -121.0000        -176.5220     45.89%
1272.98/1277.30	c      1277          27362       11365         1        -121.0000        -176.4993     45.87%
1278.56/1282.96	c      1283          27632       11433         1        -121.0000        -176.4889     45.86%
1283.74/1288.14	c      1288          27842       11477         1        -121.0000        -176.4783     45.85%
1288.73/1293.18	c      1293          27971       11524         1        -121.0000        -176.4692     45.84%
1294.10/1298.50	c      1298          28149       11564         1        -121.0000        -176.4413     45.82%
1299.09/1303.52	c      1304          28462       11611         1        -121.0000        -176.4158     45.80%
1304.87/1309.30	c      1309          28712       11649         1        -121.0000        -176.3950     45.78%
1310.75/1315.21	c      1315          29230       11683         1        -121.0000        -176.3723     45.76%
1316.43/1320.94	c      1321          29714       11715         1        -121.0000        -176.3502     45.74%
1321.71/1326.24	c      1326          30078       11757         1        -121.0000        -176.3463     45.74%
1326.89/1331.42	c      1331          30462       11803         1        -121.0000        -176.3235     45.72%
1331.88/1336.43	c      1336          30562       11849         1        -121.0000        -176.3123     45.71%
1337.16/1341.75	c      1342          30732       11877         1        -121.0000        -176.3036     45.71%
1342.94/1347.55	c      1348          31116       11919         1        -121.0000        -176.2828     45.69%
1348.22/1352.82	c      1353          31212       11961         1        -121.0000        -176.2733     45.68%
1353.20/1357.88	c      1358          31442       11999         1        -121.0000        -176.2510     45.66%
1358.79/1363.42	c      1363          31672       12039         1        -121.0000        -176.2166     45.63%
1364.77/1369.41	c      1369          31876       12089         1        -121.0000        -176.1927     45.61%
1371.25/1375.99	c      1376          32147       12136         1        -121.0000        -176.1874     45.61%
1376.63/1381.38	c      1381          32245       12174         1        -121.0000        -176.1853     45.61%
1382.91/1387.62	c      1388          32427       12216         1        -121.0000        -176.1704     45.60%
1389.40/1394.17	c      1394          32658       12273         1        -121.0000        -176.1329     45.56%
1395.47/1400.22	c      1400          32842       12317         1        -121.0000        -176.0939     45.53%
1400.85/1405.67	c      1406          33016       12349         1        -121.0000        -176.0921     45.53%
1406.63/1411.48	c      1411          33404       12397         1        -121.0000        -176.0777     45.52%
1412.42/1417.25	c      1417          33714       12427         1        -121.0000        -176.0750     45.52%
1417.60/1422.44	c      1422          34292       12455         1        -121.0000        -176.0630     45.51%
1422.68/1427.59	c      1428          34578       12501         1        -121.0000        -176.0458     45.49%
1427.86/1432.75	c      1433          34922       12549         1        -121.0000        -176.0317     45.48%
1433.05/1437.97	c      1438          35082       12585         1        -121.0000        -176.0264     45.48%
1438.63/1443.50	c      1444          35352       12613         1        -121.0000        -176.0026     45.46%
1443.71/1448.67	c      1449          35822       12651         1        -121.0000        -176.0000     45.45%
1449.49/1454.44	c      1454          36092       12701         1        -121.0000        -175.9865     45.44%
1455.07/1460.07	c      1460          36462       12729         1        -121.0000        -175.9832     45.44%
1460.55/1465.58	c      1466          36676       12767         1        -121.0000        -175.9774     45.44%
1466.23/1471.23	c      1471          37066       12789         1        -121.0000        -175.9637     45.42%
1471.41/1476.43	c      1476          37624       12837         1        -121.0000        -175.9536     45.42%
1477.40/1482.44	c      1482          38188       12887         1        -121.0000        -175.9278     45.39%
1482.57/1487.68	c      1488          38632       12919         1        -121.0000        -175.9104     45.38%
1487.85/1492.95	c      1493          39142       12955         1        -121.0000        -175.8951     45.37%
1493.33/1498.41	c      1498          39752       12989         1        -121.0000        -175.8735     45.35%
1499.21/1504.33	c      1504          40178       13027         1        -121.0000        -175.8596     45.34%
1504.49/1509.64	c      1510          40652       13063         1        -121.0000        -175.8435     45.33%
1510.28/1515.43	c      1515          41248       13101         1        -121.0000        -175.8332     45.32%
1515.86/1521.10	c      1521          41732       13129         1        -121.0000        -175.8124     45.30%
1521.04/1526.27	c      1526          41932       13179         1        -121.0000        -175.8002     45.29%
1526.51/1531.72	c      1532          42202       13227         1        -121.0000        -175.7927     45.28%
1532.40/1537.64	c      1538          42702       13273         1        -121.0000        -175.7721     45.27%
1538.18/1543.41	c      1543          42898       13315         1        -121.0000        -175.7589     45.26%
1543.76/1549.07	c      1549          43210       13345         1        -121.0000        -175.7500     45.25%
1548.94/1554.21	c      1554          43796       13375         1        -121.0000        -175.7473     45.25%
1554.13/1559.47	c      1559          44172       13415         1        -121.0000        -175.7075     45.21%
1559.50/1564.87	c      1565          44474       13467         1        -121.0000        -175.6947     45.20%
1564.69/1570.05	c      1570          44979       13492         1        -121.0000        -175.6841     45.19%
1570.26/1575.63	c      1576          45552       13535         1        -121.0000        -175.6688     45.18%
1575.75/1581.15	c      1581          46002       13577         1        -121.0000        -175.6550     45.17%
1580.93/1586.37	c      1586          46342       13629         1        -121.0000        -175.6299     45.15%
1586.71/1592.12	c      1592          46569       13672         1        -121.0000        -175.6255     45.15%
1592.29/1597.73	c      1598          47137       13730         1        -121.0000        -175.6049     45.13%
1597.57/1603.02	c      1603          47622       13769         1        -121.0000        -175.5899     45.12%
1602.65/1608.15	c      1608          48119       13804         1        -121.0000        -175.5832     45.11%
1608.33/1613.80	c      1614          48538       13853         1        -121.0000        -175.5764     45.10%
1614.80/1620.31	c      1620          48739       13908         1        -121.0000        -175.5625     45.09%
1619.99/1625.52	c      1626          49042       13947         1        -121.0000        -175.5530     45.09%
1625.37/1630.98	c      1631          49632       14005         1        -121.0000        -175.5422     45.08%
1630.75/1636.32	c      1636          50036       14051         1        -121.0000        -175.5309     45.07%
1635.83/1641.48	c      1641          50542       14083         1        -121.0000        -175.5139     45.05%
1641.51/1647.18	c      1647          50862       14141         1        -121.0000        -175.4868     45.03%
1646.88/1652.52	c      1653          51222       14193         1        -121.0000        -175.4731     45.02%
1652.66/1658.31	c      1658          51945       14226         1        -121.0000        -175.4698     45.02%
1658.34/1664.01	c      1664          52402       14261         1        -121.0000        -175.4535     45.00%
1663.42/1669.20	c      1669          52732       14299         1        -121.0000        -175.4425     44.99%
1669.00/1674.77	c      1675          53292       14365         1        -121.0000        -175.4265     44.98%
1674.08/1679.88	c      1680          53659       14418         1        -121.0000        -175.4151     44.97%
1679.66/1685.42	c      1685          53962       14453         1        -121.0000        -175.3995     44.96%
1685.14/1690.98	c      1691          54742       14495         1        -121.0000        -175.3874     44.95%
1690.12/1696.00	c      1696          55092       14543         1        -121.0000        -175.3748     44.94%
1695.51/1701.38	c      1701          55543       14584         1        -121.0000        -175.3547     44.92%
1700.59/1706.49	c      1706          56032       14623         1        -121.0000        -175.3386     44.91%
1705.96/1711.83	c      1712          56452       14669         1        -121.0000        -175.3270     44.90%
1711.64/1717.51	c      1718          56752       14713         1        -121.0000        -175.3113     44.89%
1717.03/1722.90	c      1723          57071       14754         1        -121.0000        -175.2976     44.87%
1722.71/1728.65	c      1729          57662       14803         1        -121.0000        -175.2914     44.87%
1728.59/1734.54	c      1735          58030       14859         1        -121.0000        -175.2812     44.86%
1733.57/1739.58	c      1740          58555       14890         1        -121.0000        -175.2732     44.85%
1738.65/1744.69	c      1745          58762       14927         1        -121.0000        -175.2646     44.85%
1744.04/1750.04	c      1750          59282       14981         1        -121.0000        -175.2533     44.84%
1749.02/1755.10	c      1755          59692       15019         1        -121.0000        -175.2316     44.82%
1754.91/1760.95	c      1761          60187       15062         1        -121.0000        -175.2182     44.81%
1760.38/1766.48	c      1766          60832       15099         1        -121.0000        -175.2001     44.79%
1765.57/1771.69	c      1772          61282       15133         1        -121.0000        -175.1907     44.79%
1770.75/1776.89	c      1777          61612       15175         1        -121.0000        -175.1833     44.78%
1776.13/1782.24	c      1782          61972       15215         1        -121.0000        -175.1722     44.77%
1781.51/1787.67	c      1788          62312       15257         1        -121.0000        -175.1669     44.77%
1787.29/1793.42	c      1793          62732       15305         1        -121.0000        -175.1527     44.75%
1792.38/1798.51	c      1799          63052       15351         1        -121.0000        -175.1337     44.74%
1797.57/1803.71	c      1804          63472       15399         1        -121.0000        -175.1296     44.74%
1803.05/1809.24	c      1809          63815       15448         1        -121.0000        -175.1262     44.73%
1808.53/1814.73	c      1815          64202       15521         1        -121.0000        -175.1224     44.73%
1813.51/1819.76	c      1820          64408       15561         1        -121.0000        -175.1124     44.72%
1819.20/1825.43	c      1825          64892       15609         1        -121.0000        -175.0953     44.71%
1824.68/1830.94	c      1831          65322       15651         1        -121.0000        -175.0856     44.70%
1830.36/1836.68	c      1837          65539       15704         1        -121.0000        -175.0799     44.69%
1835.64/1841.93	c      1842          66122       15747         1        -121.0000        -175.0717     44.69%
1841.23/1847.58	c      1848          66593       15786         1        -121.0000        -175.0637     44.68%
1846.51/1852.81	c      1853          66852       15845         1        -121.0000        -175.0582     44.68%
1852.39/1858.73	c      1859          67373       15898         1        -121.0000        -175.0463     44.67%
1857.57/1863.93	c      1864          67581       15936         1        -121.0000        -175.0463     44.67%
1863.45/1869.82	c      1870          67982       15989         1        -121.0000        -175.0387     44.66%
1868.43/1874.87	c      1875          68252       16043         1        -121.0000        -175.0230     44.65%
1873.42/1879.88	c      1880          68539       16088         1        -121.0000        -175.0189     44.64%
1879.20/1885.66	c      1886          68952       16115         1        -121.0000        -175.0069     44.63%
1884.88/1891.35	c      1891          69302       16155         1        -121.0000        -174.9994     44.63%
1890.36/1896.89	c      1897          69760       16199         1        -121.0000        -174.9877     44.62%
1895.94/1902.47	c      1902          70362       16249         1        -121.0000        -174.9795     44.61%
1901.03/1907.53	c      1908          70766       16299         1        -121.0000        -174.9632     44.60%
1906.02/1912.58	c      1913          71220       16333         1        -121.0000        -174.9533     44.59%
1911.20/1917.71	c      1918          71592       16375         1        -121.0000        -174.9401     44.58%
1916.77/1923.33	c      1923          71836       16415         1        -121.0000        -174.9283     44.57%
1921.96/1928.53	c      1929          72362       16447         1        -121.0000        -174.9192     44.56%
1926.94/1933.55	c      1934          72724       16495         1        -121.0000        -174.9116     44.56%
1932.32/1938.91	c      1939          73092       16539         1        -121.0000        -174.9017     44.55%
1937.51/1944.13	c      1944          73272       16583         1        -121.0000        -174.8953     44.54%
1942.69/1949.32	c      1949          73902       16627         1        -121.0000        -174.8898     44.54%
1947.88/1954.50	c      1954          74302       16673         1        -121.0000        -174.8800     44.53%
1953.16/1959.88	c      1960          74912       16725         1        -121.0000        -174.8756     44.53%
1958.74/1965.49	c      1966          75396       16767         1        -121.0000        -174.8675     44.52%
1964.42/1971.12	c      1971          75942       16811         1        -121.0000        -174.8543     44.51%
1969.51/1976.25	c      1976          76252       16857         1        -121.0000        -174.8382     44.49%
1975.19/1981.98	c      1982          76652       16903         1        -121.0000        -174.8332     44.49%
1980.28/1987.06	c      1987          77052       16953         1        -121.0000        -174.8233     44.48%
1986.06/1992.83	c      1993          77472       17001         1        -121.0000        -174.8061     44.47%
1991.64/1998.47	c      1998          77782       17045         1        -121.0000        -174.7990     44.46%
1997.02/2003.86	c      2004          78202       17101         1        -121.0000        -174.7820     44.45%
2002.30/2009.15	c      2009          78522       17141         1        -121.0000        -174.7697     44.44%
2008.68/2015.52	c      2016          78919       17188         1        -121.0000        -174.7608     44.43%
2013.66/2020.57	c      2021          79142       17227         1        -121.0000        -174.7556     44.43%
2018.94/2025.82	c      2026          79262       17259         1        -121.0000        -174.7515     44.42%
2024.33/2031.21	c      2031          79710       17297         1        -121.0000        -174.7484     44.42%
2029.41/2036.30	c      2036          79931       17338         1        -121.0000        -174.7429     44.42%
2034.50/2041.40	c      2041          80172       17385         1        -121.0000        -174.7400     44.41%
2039.58/2046.55	c      2047          80275       17434         1        -121.0000        -174.7341     44.41%
2045.46/2052.41	c      2052          80562       17461         1        -121.0000        -174.7281     44.40%
2050.45/2057.41	c      2057          80832       17495         1        -121.0000        -174.7227     44.40%
2055.83/2062.85	c      2063          81242       17541         1        -121.0000        -174.7099     44.39%
2061.71/2068.75	c      2069          81882       17585         1        -121.0000        -174.7046     44.38%
2067.00/2074.02	c      2074          82329       17628         1        -121.0000        -174.6917     44.37%
2072.37/2079.45	c      2079          83039       17652         1        -121.0000        -174.6891     44.37%
2078.36/2085.40	c      2085          83837       17698         1        -121.0000        -174.6835     44.37%
2083.64/2090.79	c      2091          84312       17739         1        -121.0000        -174.6724     44.36%
2089.22/2096.38	c      2096          84802       17785         1        -121.0000        -174.6647     44.35%
2095.49/2102.65	c      2103          85293       17820         1        -121.0000        -174.6616     44.35%
2100.88/2108.10	c      2108          85692       17855         1        -121.0000        -174.6533     44.34%
2106.36/2113.58	c      2114          86192       17905         1        -121.0000        -174.6395     44.33%
2112.33/2119.59	c      2120          86842       17947         1        -121.0000        -174.6338     44.33%
2118.61/2125.88	c      2126          87136       17985         1        -121.0000        -174.6306     44.32%
2123.68/2130.94	c      2131          87302       18041         1        -121.0000        -174.6229     44.32%
2128.96/2136.22	c      2136          87602       18085         1        -121.0000        -174.6072     44.30%
2134.25/2141.54	c      2142          87789       18114         1        -121.0000        -174.6003     44.30%
2139.62/2146.97	c      2147          88262       18151         1        -121.0000        -174.5871     44.29%
2144.71/2152.03	c      2152          88492       18205         1        -121.0000        -174.5856     44.29%
2150.29/2157.64	c      2158          88922       18251         1        -121.0000        -174.5805     44.28%
2155.77/2163.19	c      2163          89272       18291         1        -121.0000        -174.5675     44.27%
2161.14/2168.58	c      2169          89542       18339         1        -121.0000        -174.5564     44.26%
2167.32/2174.77	c      2175          89819       18378         1        -121.0000        -174.5564     44.26%
2173.19/2180.70	c      2181          90110       18455         1        -121.0000        -174.5379     44.25%
2178.97/2186.41	c      2186          90439       18530         1        -121.0000        -174.5328     44.24%
2184.24/2191.79	c      2192          91059       18572         1        -121.0000        -174.5256     44.24%
2189.43/2196.93	c      2197          91582       18607         1        -121.0000        -174.5185     44.23%
2194.81/2202.37	c      2202          91731       18662         1        -121.0000        -174.5117     44.22%
2200.59/2208.19	c      2208          92072       18727         1        -121.0000        -174.4992     44.21%
2206.48/2214.03	c      2214          92385       18772         1        -121.0000        -174.4904     44.21%
2212.05/2219.68	c      2220          92692       18809         1        -121.0000        -174.4773     44.20%
2217.23/2224.86	c      2225          92918       18843         1        -121.0000        -174.4758     44.19%
2223.31/2230.93	c      2231          93409       18898         1        -121.0000        -174.4677     44.19%
2228.90/2236.53	c      2237          93672       18959         1        -121.0000        -174.4578     44.18%
2234.88/2242.53	c      2243          94226       19003         1        -121.0000        -174.4473     44.17%
2241.25/2248.96	c      2249          94638       19079         1        -121.0000        -174.4425     44.17%
2247.23/2254.90	c      2255          95099       19152         1        -121.0000        -174.4356     44.16%
2252.71/2260.41	c      2260          95262       19201         1        -121.0000        -174.4310     44.16%
2257.89/2265.68	c      2266          95417       19232         1        -121.0000        -174.4245     44.15%
2262.98/2270.79	c      2271          95672       19277         1        -121.0000        -174.4210     44.15%
2268.07/2275.87	c      2276          95912       19325         1        -121.0000        -174.4163     44.15%
2273.75/2281.54	c      2282          96178       19373         1        -121.0000        -174.4138     44.14%
2279.53/2287.36	c      2287          96707       19410         1        -121.0000        -174.4106     44.14%
2285.71/2293.52	c      2294          97008       19473         1        -121.0000        -174.3983     44.13%
2291.48/2299.39	c      2299          97259       19526         1        -121.0000        -174.3939     44.13%
2297.67/2305.53	c      2306          97714       19555         1        -121.0000        -174.3922     44.13%
2303.65/2311.50	c      2312          98480       19595         1        -121.0000        -174.3851     44.12%
2309.33/2317.28	c      2317          99082       19627         1        -121.0000        -174.3769     44.11%
2314.51/2322.46	c      2322          99282       19677         1        -121.0000        -174.3709     44.11%
2319.70/2327.67	c      2328          99582       19729         1        -121.0000        -174.3658     44.10%
2324.78/2332.74	c      2333          99923       19766         1        -121.0000        -174.3525     44.09%
2330.56/2338.55	c      2339         100081       19820         1        -121.0000        -174.3471     44.09%
2336.54/2344.50	c      2344         100292       19867         1        -121.0000        -174.3403     44.08%
2341.92/2349.99	c      2350         100792       19911         1        -121.0000        -174.3333     44.08%
2347.20/2355.25	c      2355         101112       19949         1        -121.0000        -174.3280     44.07%
2352.49/2360.55	c      2361         101525       19992         1        -121.0000        -174.3231     44.07%
2358.47/2366.52	c      2367         101989       20038         1        -121.0000        -174.3097     44.06%
2363.85/2371.94	c      2372         102315       20082         1        -121.0000        -174.3034     44.05%
2369.03/2377.19	c      2377         102592       20135         1        -121.0000        -174.2955     44.05%
2374.81/2382.96	c      2383         102992       20183         1        -121.0000        -174.2834     44.04%
2380.50/2388.60	c      2389         103266       20243         1        -121.0000        -174.2694     44.02%
2386.18/2394.31	c      2394         103526       20293         1        -121.0000        -174.2621     44.02%
2392.36/2400.52	c      2401         103829       20336         1        -121.0000        -174.2527     44.01%
2397.34/2405.55	c      2406         104054       20391         1        -121.0000        -174.2494     44.01%
2402.62/2410.83	c      2411         104524       20449         1        -121.0000        -174.2451     44.00%
2407.91/2416.17	c      2416         104892       20491         1        -121.0000        -174.2416     44.00%
2413.28/2421.58	c      2422         105062       20515         1        -121.0000        -174.2416     44.00%
2418.37/2426.69	c      2427         105456       20549         1        -121.0000        -174.2355     44.00%
2424.35/2432.60	c      2433         105742       20599         1        -121.0000        -174.2283     43.99%
2430.03/2438.35	c      2438         105952       20627         1        -121.0000        -174.2252     43.99%
2435.11/2443.44	c      2443         106192       20673         1        -121.0000        -174.2166     43.98%
2440.29/2448.65	c      2449         106314       20735         1        -121.0000        -174.2143     43.98%
2445.37/2453.73	c      2454         106781       20784         1        -121.0000        -174.2129     43.98%
2451.26/2459.60	c      2460         107242       20843         1        -121.0000        -174.2080     43.97%
2456.84/2465.26	c      2465         107582       20891         1        -121.0000        -174.2033     43.97%
2462.72/2471.17	c      2471         107892       20953         1        -121.0000        -174.1972     43.96%
2468.80/2477.24	c      2477         108152       21001         1        -121.0000        -174.1948     43.96%
2473.98/2482.49	c      2482         108632       21059         1        -121.0000        -174.1852     43.95%
2479.75/2488.25	c      2488         108936       21087         1        -121.0000        -174.1816     43.95%
2485.23/2493.74	c      2494         109211       21138         1        -121.0000        -174.1723     43.94%
2491.01/2499.54	c      2500         109428       21171         1        -121.0000        -174.1660     43.94%
2496.00/2504.55	c      2505         109814       21217         1        -121.0000        -174.1659     43.94%
2501.38/2509.99	c      2510         110233       21294         1        -121.0000        -174.1621     43.94%
2507.26/2515.82	c      2516         110669       21340         1        -121.0000        -174.1536     43.93%
2512.24/2520.87	c      2521         111022       21381         1        -121.0000        -174.1481     43.92%
2518.02/2526.68	c      2527         111342       21423         1        -121.0000        -174.1475     43.92%
2523.71/2532.32	c      2532         111702       21467         1        -121.0000        -174.1462     43.92%
2529.09/2537.77	c      2538         112003       21534         1        -121.0000        -174.1397     43.92%
2534.57/2543.23	c      2543         112184       21577         1        -121.0000        -174.1380     43.92%
2539.95/2548.60	c      2549         112347       21614         1        -121.0000        -174.1352     43.91%
2545.64/2554.37	c      2554         112609       21666         1        -121.0000        -174.1347     43.91%
2550.82/2559.54	c      2560         112882       21721         1        -121.0000        -174.1222     43.90%
2556.69/2565.46	c      2565         113293       21786         1        -121.0000        -174.1177     43.90%
2562.08/2570.84	c      2571         113534       21833         1        -121.0000        -174.1129     43.89%
2567.86/2576.63	c      2577         114034       21879         1        -121.0000        -174.1100     43.89%
2573.14/2581.99	c      2582         114275       21922         1        -121.0000        -174.1054     43.89%
2579.12/2587.91	c      2588         114533       21968         1        -121.0000        -174.0998     43.88%
2584.21/2593.00	c      2593         114702       21995         1        -121.0000        -174.0948     43.88%
2590.09/2598.96	c      2599         114857       22040         1        -121.0000        -174.0927     43.88%
2595.97/2604.85	c      2605         115019       22068         1        -121.0000        -174.0914     43.88%
2601.45/2610.34	c      2610         115365       22118         1        -121.0000        -174.0786     43.87%
2606.93/2615.82	c      2616         115562       22169         1        -121.0000        -174.0759     43.86%
2612.81/2621.71	c      2622         115839       22196         1        -121.0000        -174.0683     43.86%
2617.99/2626.91	c      2627         116168       22243         1        -121.0000        -174.0655     43.86%
2623.47/2632.42	c      2632         116622       22281         1        -121.0000        -174.0625     43.85%
2628.65/2637.60	c      2638         116871       22326         1        -121.0000        -174.0549     43.85%
2633.84/2642.80	c      2643         117194       22401         1        -121.0000        -174.0533     43.85%
2639.32/2648.33	c      2648         117470       22445         1        -121.0000        -174.0500     43.84%
2645.11/2654.19	c      2654         117740       22487         1        -121.0000        -174.0455     43.84%
2651.48/2660.52	c      2661         118052       22557         1        -121.0000        -174.0445     43.84%
2657.16/2666.27	c      2666         118459       22632         1        -121.0000        -174.0420     43.84%
2662.24/2671.32	c      2671         118562       22667         1        -121.0000        -174.0408     43.84%
2667.83/2676.92	c      2677         118696       22703         1        -121.0000        -174.0378     43.83%
2673.21/2682.30	c      2682         118922       22757         1        -121.0000        -174.0346     43.83%
2678.89/2688.10	c      2688         119198       22817         1        -121.0000        -174.0339     43.83%
2684.07/2693.20	c      2693         119482       22843         1        -121.0000        -174.0244     43.82%
2689.56/2698.73	c      2699         119784       22897         1        -121.0000        -174.0183     43.82%
2694.94/2704.16	c      2704         120182       22953         1        -121.0000        -174.0051     43.81%
2700.82/2710.10	c      2710         120409       22994         1        -121.0000        -173.9966     43.80%
2705.99/2715.24	c      2715         120735       23014         1        -121.0000        -173.9960     43.80%
2711.88/2721.12	c      2721         120907       23060         1        -121.0000        -173.9887     43.79%
2717.66/2726.90	c      2727         121187       23108         1        -121.0000        -173.9826     43.79%
2723.54/2732.88	c      2733         121566       23157         1        -121.0000        -173.9775     43.78%
2728.72/2738.06	c      2738         121722       23203         1        -121.0000        -173.9746     43.78%
2733.81/2743.17	c      2743         121919       23270         1        -121.0000        -173.9734     43.78%
2739.69/2749.03	c      2749         122176       23307         1        -121.0000        -173.9663     43.77%
2744.86/2754.28	c      2754         122372       23361         1        -121.0000        -173.9530     43.76%
2750.04/2759.43	c      2759         122636       23389         1        -121.0000        -173.9522     43.76%
2755.12/2764.51	c      2765         122952       23443         1        -121.0000        -173.9431     43.75%
2761.00/2770.40	c      2770         123509       23488         1        -121.0000        -173.9416     43.75%
2766.88/2776.30	c      2776         123899       23536         1        -121.0000        -173.9362     43.75%
2773.05/2782.52	c      2783         124288       23571         1        -121.0000        -173.9347     43.75%
2778.82/2788.31	c      2788         124772       23611         1        -121.0000        -173.9308     43.74%
2784.61/2794.10	c      2794         125082       23667         1        -121.0000        -173.9231     43.74%
2790.19/2799.76	c      2800         125229       23722         1        -121.0000        -173.9187     43.73%
2795.26/2804.82	c      2805         125521       23768         1        -121.0000        -173.9142     43.73%
2800.84/2810.45	c      2810         125772       23809         1        -121.0000        -173.9094     43.73%
2806.13/2815.73	c      2816         126057       23850         1        -121.0000        -173.9036     43.72%
2811.31/2820.96	c      2821         126352       23911         1        -121.0000        -173.8997     43.72%
2816.40/2826.01	c      2826         126558       23955         1        -121.0000        -173.8952     43.72%
2821.68/2831.30	c      2831         126782       24011         1        -121.0000        -173.8907     43.71%
2826.86/2836.50	c      2836         127032       24053         1        -121.0000        -173.8868     43.71%
2831.84/2841.53	c      2842         127332       24101         1        -121.0000        -173.8832     43.71%
2836.82/2846.56	c      2847         127642       24151         1        -121.0000        -173.8781     43.70%
2842.01/2851.72	c      2852         127938       24189         1        -121.0000        -173.8750     43.70%
2847.00/2856.79	c      2857         128112       24223         1        -121.0000        -173.8733     43.70%
2852.08/2861.86	c      2862         128262       24251         1        -121.0000        -173.8727     43.70%
2857.45/2867.24	c      2867         128552       24301         1        -121.0000        -173.8616     43.69%
2863.34/2873.18	c      2873         128922       24351         1        -121.0000        -173.8572     43.68%
2869.02/2878.87	c      2879         129432       24397         1        -121.0000        -173.8532     43.68%
2874.50/2884.32	c      2884         129792       24435         1        -121.0000        -173.8487     43.68%
2880.68/2890.51	c      2891         130066       24481         1        -121.0000        -173.8450     43.67%
2886.16/2896.02	c      2896         130442       24541         1        -121.0000        -173.8388     43.67%
2891.55/2901.43	c      2901         130682       24571         1        -121.0000        -173.8363     43.67%
2897.03/2906.96	c      2907         131152       24619         1        -121.0000        -173.8331     43.66%
2903.01/2912.98	c      2913         131421       24664         1        -121.0000        -173.8285     43.66%
2908.88/2918.81	c      2919         131657       24708         1        -121.0000        -173.8232     43.66%
2914.57/2924.58	c      2925         131962       24767         1        -121.0000        -173.8118     43.65%
2919.85/2929.87	c      2930         132352       24809         1        -121.0000        -173.8071     43.64%
2925.33/2935.39	c      2935         132822       24859         1        -121.0000        -173.7988     43.64%
2930.52/2940.50	c      2940         133232       24895         1        -121.0000        -173.7952     43.63%
2936.10/2946.10	c      2946         133812       24935         1        -121.0000        -173.7896     43.63%
2941.78/2951.89	c      2952         134202       24975         1        -121.0000        -173.7760     43.62%
2946.86/2956.99	c      2957         134669       25020         1        -121.0000        -173.7732     43.61%
2951.84/2961.99	c      2962         135352       25053         1        -121.0000        -173.7687     43.61%
2957.72/2967.89	c      2968         135752       25107         1        -121.0000        -173.7587     43.60%
2963.40/2973.52	c      2974         136341       25146         1        -121.0000        -173.7529     43.60%
2969.89/2980.00	c      2980         136544       25175         1        -121.0000        -173.7503     43.60%
2974.88/2985.03	c      2985         136732       25219         1        -121.0000        -173.7493     43.59%
2980.05/2990.28	c      2990         137092       25269         1        -121.0000        -173.7427     43.59%
2985.43/2995.66	c      2996         137952       25301         1        -121.0000        -173.7388     43.59%
2991.41/3001.63	c      3002         138298       25357         1        -121.0000        -173.7342     43.58%
2997.09/3007.32	c      3007         138700       25397         1        -121.0000        -173.7315     43.58%
3002.47/3012.73	c      3013         139082       25427         1        -121.0000        -173.7285     43.58%
3007.96/3018.24	c      3018         139459       25474         1        -121.0000        -173.7248     43.57%
3013.14/3023.42	c      3023         139792       25509         1        -121.0000        -173.7205     43.57%
3018.32/3028.65	c      3029         140182       25563         1        -121.0000        -173.7113     43.56%
3024.00/3034.34	c      3034         140602       25607         1        -121.0000        -173.7008     43.55%
3029.38/3039.74	c      3040         140962       25669         1        -121.0000        -173.6961     43.55%
3034.77/3045.19	c      3045         141492       25703         1        -121.0000        -173.6928     43.55%
3040.44/3050.85	c      3051         141992       25735         1        -121.0000        -173.6871     43.54%
3045.93/3056.31	c      3056         142312       25801         1        -121.0000        -173.6784     43.54%
3051.02/3061.48	c      3061         142542       25833         1        -121.0000        -173.6728     43.53%
3056.20/3066.65	c      3067         142956       25871         1        -121.0000        -173.6686     43.53%
3061.28/3071.71	c      3072         143362       25901         1        -121.0000        -173.6625     43.52%
3066.67/3077.15	c      3077         143732       25943         1        -121.0000        -173.6603     43.52%
3072.05/3082.52	c      3083         144129       25990         1        -121.0000        -173.6578     43.52%
3077.73/3088.26	c      3088         144372       26037         1        -121.0000        -173.6495     43.51%
3083.01/3093.55	c      3094         144612       26085         1        -121.0000        -173.6475     43.51%
3088.59/3099.16	c      3099         145072       26129         1        -121.0000        -173.6459     43.51%
3093.77/3104.35	c      3104         145371       26174         1        -121.0000        -173.6415     43.51%
3098.86/3109.40	c      3109         145669       26202         1        -121.0000        -173.6412     43.51%
3103.94/3114.59	c      3115         146091       26242         1        -121.0000        -173.6400     43.50%
3109.02/3119.63	c      3120         146315       26272         1        -121.0000        -173.6378     43.50%
3114.90/3125.51	c      3126         146853       26320         1        -121.0000        -173.6315     43.50%
3120.38/3131.00	c      3131         147170       26359         1        -121.0000        -173.6302     43.50%
3125.86/3136.55	c      3137         147412       26407         1        -121.0000        -173.6259     43.49%
3131.35/3142.04	c      3142         147815       26444         1        -121.0000        -173.6241     43.49%
3136.82/3147.55	c      3148         148282       26507         1        -121.0000        -173.6197     43.49%
3142.61/3153.34	c      3153         148742       26565         1        -121.0000        -173.6155     43.48%
3148.19/3158.93	c      3159         149102       26617         1        -121.0000        -173.6114     43.48%
3153.68/3164.46	c      3164         149468       26673         1        -121.0000        -173.6048     43.48%
3159.26/3170.01	c      3170         149830       26721         1        -121.0000        -173.5945     43.47%
3164.53/3175.36	c      3175         150102       26767         1        -121.0000        -173.5894     43.46%
3171.11/3181.99	c      3182         150387       26818         1        -121.0000        -173.5842     43.46%
3176.80/3187.61	c      3188         150602       26863         1        -121.0000        -173.5786     43.45%
3182.98/3193.84	c      3194         150692       26901         1        -121.0000        -173.5750     43.45%
3188.56/3199.41	c      3199         150856       26949         1        -121.0000        -173.5693     43.45%
3193.94/3204.88	c      3205         151252       27001         1        -121.0000        -173.5657     43.44%
3199.32/3210.21	c      3210         151702       27047         1        -121.0000        -173.5614     43.44%
3205.01/3215.97	c      3216         152118       27103         1        -121.0000        -173.5558     43.43%
3210.29/3221.24	c      3221         152542       27135         1        -121.0000        -173.5520     43.43%
3215.48/3226.43	c      3226         152842       27183         1        -121.0000        -173.5484     43.43%
3220.56/3231.55	c      3232         153159       27220         1        -121.0000        -173.5433     43.42%
3225.94/3236.96	c      3237         153582       27275         1        -121.0000        -173.5318     43.41%
3231.32/3242.37	c      3242         154292       27313         1        -121.0000        -173.5214     43.41%
3236.60/3247.65	c      3248         154952       27349         1        -121.0000        -173.5192     43.40%
3241.68/3252.70	c      3253         155312       27395         1        -121.0000        -173.5104     43.40%
3246.96/3258.05	c      3258         155740       27447         1        -121.0000        -173.5073     43.39%
3252.25/3263.33	c      3263         156572       27467         1        -121.0000        -173.5032     43.39%
3257.33/3268.48	c      3268         156992       27513         1        -121.0000        -173.4994     43.39%
3262.91/3274.06	c      3274         157581       27554         1        -121.0000        -173.4913     43.38%
3268.19/3279.36	c      3279         157952       27611         1        -121.0000        -173.4833     43.37%
3273.37/3284.57	c      3285         158602       27643         1        -121.0000        -173.4815     43.37%
3278.76/3289.90	c      3290         159034       27693         1        -121.0000        -173.4763     43.37%
3283.85/3295.04	c      3295         159552       27729         1        -121.0000        -173.4726     43.37%
3288.84/3300.06	c      3300         159942       27775         1        -121.0000        -173.4652     43.36%
3294.01/3305.23	c      3305         160232       27825         1        -121.0000        -173.4588     43.35%
3299.59/3310.84	c      3311         160792       27875         1        -121.0000        -173.4536     43.35%
3304.88/3316.14	c      3316         161322       27919         1        -121.0000        -173.4462     43.34%
3310.06/3321.30	c      3321         161722       27947         1        -121.0000        -173.4413     43.34%
3315.34/3326.69	c      3327         162192       28007         1        -121.0000        -173.4348     43.33%
3320.62/3331.96	c      3332         162562       28051         1        -121.0000        -173.4310     43.33%
3325.91/3337.28	c      3337         163052       28101         1        -121.0000        -173.4201     43.32%
3331.69/3343.04	c      3343         163619       28148         1        -121.0000        -173.4141     43.32%
3336.97/3348.35	c      3348         164252       28185         1        -121.0000        -173.4097     43.31%
3342.65/3354.01	c      3354         164489       28218         1        -121.0000        -173.4053     43.31%
3348.03/3359.48	c      3359         164844       28273         1        -121.0000        -173.4024     43.31%
3353.72/3365.14	c      3365         165362       28333         1        -121.0000        -173.3993     43.31%
3358.70/3370.18	c      3370         165667       28388         1        -121.0000        -173.3916     43.30%
3364.07/3375.55	c      3376         166362       28433         1        -121.0000        -173.3848     43.29%
3369.56/3381.10	c      3381         166722       28475         1        -121.0000        -173.3825     43.29%
3375.83/3387.35	c      3387         167336       28511         1        -121.0000        -173.3750     43.29%
3381.31/3392.81	c      3393         167540       28547         1        -121.0000        -173.3721     43.28%
3386.89/3398.49	c      3398         168097       28572         1        -121.0000        -173.3706     43.28%
3393.57/3405.18	c      3405         168479       28636         1        -121.0000        -173.3652     43.28%
3398.85/3410.40	c      3410         168882       28693         1        -121.0000        -173.3612     43.27%
3404.44/3416.02	c      3416         169452       28735         1        -121.0000        -173.3575     43.27%
3410.12/3421.75	c      3422         169589       28752         1        -121.0000        -173.3571     43.27%
3415.20/3426.85	c      3427         169832       28787         1        -121.0000        -173.3535     43.27%
3421.18/3432.85	c      3433         170161       28836         1        -121.0000        -173.3490     43.26%
3426.26/3437.93	c      3438         170492       28879         1        -121.0000        -173.3471     43.26%
3431.74/3443.45	c      3443         170782       28933         1        -121.0000        -173.3444     43.26%
3437.72/3449.45	c      3449         171374       28981         1        -121.0000        -173.3379     43.25%
3443.21/3454.91	c      3455         171742       29003         1        -121.0000        -173.3349     43.25%
3448.19/3459.93	c      3460         172099       29042         1        -121.0000        -173.3333     43.25%
3453.47/3465.21	c      3465         172472       29079         1        -121.0000        -173.3309     43.25%
3458.85/3470.69	c      3471         172706       29133         1        -121.0000        -173.3288     43.25%
3463.93/3475.76	c      3476         172972       29163         1        -121.0000        -173.3244     43.24%
3469.81/3481.66	c      3482         173375       29218         1        -121.0000        -173.3223     43.24%
3475.39/3487.28	c      3487         173582       29247         1        -121.0000        -173.3202     43.24%
3481.38/3493.28	c      3493         173741       29290         1        -121.0000        -173.3193     43.24%
3487.65/3499.59	c      3500         174134       29335         1        -121.0000        -173.3168     43.24%
3493.63/3505.50	c      3506         174469       29380         1        -121.0000        -173.3145     43.24%
3498.92/3510.82	c      3511         174668       29407         1        -121.0000        -173.3132     43.23%
3504.00/3515.91	c      3516         175118       29447         1        -121.0000        -173.3117     43.23%
3509.19/3521.11	c      3521         175591       29484         1        -121.0000        -173.3098     43.23%
3514.77/3526.71	c      3527         175902       29535         1        -121.0000        -173.3075     43.23%
3521.05/3533.03	c      3533         176309       29588         1        -121.0000        -173.3036     43.23%
3526.63/3538.62	c      3539         176604       29629         1        -121.0000        -173.2980     43.22%
3533.01/3545.03	c      3545         177022       29689         1        -121.0000        -173.2942     43.22%
3538.09/3550.11	c      3550         177232       29725         1        -121.0000        -173.2892     43.21%
3544.37/3556.49	c      3556         177631       29774         1        -121.0000        -173.2839     43.21%
3549.45/3561.51	c      3562         178042       29811         1        -121.0000        -173.2813     43.21%
3554.63/3566.79	c      3567         178512       29871         1        -121.0000        -173.2778     43.20%
3559.82/3571.91	c      3572         178739       29908         1        -121.0000        -173.2744     43.20%
3565.01/3577.19	c      3577         179106       29937         1        -121.0000        -173.2709     43.20%
3570.68/3582.86	c      3583         179287       30006         1        -121.0000        -173.2674     43.20%
3576.26/3588.49	c      3588         179555       30052         1        -121.0000        -173.2659     43.19%
3582.24/3594.42	c      3594         179908       30091         1        -121.0000        -173.2658     43.19%
3587.83/3600.00	c      3600         180102       30129         0        -121.0000        -173.2626     43.19%
3587.93/3600.18	c SCIP Status        : c solving was interrupted [hard time limit reached]
3587.93/3600.18	c Total Time         : 3600.17
3587.93/3600.18	c   solving          : 3600.17
3587.93/3600.18	c   presolving       : 0.03 (included in solving)
3587.93/3600.18	c B&B Tree           :
3587.93/3600.18	c   nodes (total)    : 1
3587.93/3600.18	c Solution           :
3587.93/3600.18	c   Solutions found  : 6
3587.93/3600.18	c   Primal Bound     : -1.21000000000000e+02
3587.93/3600.18	c   Dual Bound       : -1.73262632525873e+02
3587.93/3600.18	c Gap                : 43.19226 %
3587.93/3600.18	c * Warning: final gap: 4.31923e-01 is greater than SCIPepsilon: 1.00000e-09
3587.93/3600.18	o -121
3587.93/3600.18	s SATISFIABLE
3587.93/3600.18	v x500 -x499 -x498 x497 x496 -x495 -x494 -x493 x492 -x491 x490 -x489 x488 -x487 x486 x485 -x484 x483 x482 x481 -x480 -x479 x478 -x477 
3587.93/3600.18	v -x476 x475 -x474 x473 -x472 -x471 x470 -x469 x468 x467 x466 x465 -x464 -x463 -x462 x461 x460 -x459 -x458 -x457 -x456 x455 
3587.93/3600.18	v -x454 x453 -x452 -x451 x450 -x449 x448 x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 x438 -x437 -x436 -x435 x434 -x433 
3587.93/3600.18	v -x432 -x431 -x430 x429 -x428 -x427 -x426 -x425 x424 x423 x422 -x421 -x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 
3587.93/3600.18	v x410 -x409 x408 x407 -x406 x405 -x404 -x403 -x402 x401 -x400 x399 -x398 x397 -x396 x395 -x394 -x393 x392 x391 -x390 x389 
3587.93/3600.18	v -x388 x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 x378 x377 -x376 x375 -x374 x373 -x372 -x371 -x370 -x369 -x368 x367 
3587.93/3600.18	v -x366 x365 x364 -x363 x362 -x361 x360 -x359 x358 -x357 x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 
3587.93/3600.18	v x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332 -x331 x330 x329 -x328 x327 -x326 -x325 x324 -x323 
3587.93/3600.18	v -x322 -x321 -x320 x319 -x318 x317 -x316 -x315 x314 -x313 -x312 x311 x310 -x309 x308 -x307 -x306 -x305 x304 -x303 -x302 -x301 
3587.93/3600.18	v x300 -x299 x298 x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 x279 
3587.93/3600.18	v x278 -x277 -x276 x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 x267 x266 -x265 -x264 -x263 -x262 x261 -x260 x259 x258 -x257 
3587.93/3600.18	v -x256 -x255 -x254 -x253 x252 -x251 -x250 x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 x240 x239 -x238 -x237 x236 -x235 
3587.93/3600.18	v -x234 -x233 -x232 -x231 -x230 x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 
3587.93/3600.18	v -x213 -x212 x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 x194 x193 -x192 
3587.93/3600.18	v -x191 x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 x179 -x178 -x177 -x176 x175 x174 -x173 -x172 -x171 
3587.93/3600.18	v x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 
3587.93/3600.18	v -x148 -x147 x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 
3587.93/3600.18	v -x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 
3587.93/3600.18	v x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 x86 -x85 -x84 -x83 -x82 
3587.93/3600.18	v -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 
3587.93/3600.18	v -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 
3587.93/3600.18	v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 
3587.93/3600.18	v -x4 -x3 -x2 -x1 

Verifier Data

OK	-121

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=310820, runsolver pid=310817

[startup+0.100089 s]*
/proc/loadavg: 0.09 0.09 0.19 5/267 310823
/proc/meminfo: memFree=109065632/131524600 swapFree=131071728/131071996
[pid=310820] ppid=310817 vsize=131812 memory=49904 CPUtime=0.1 cores=0,2
/proc/310820/stat : 310820 (fscip) S 310817 310820 310643 0 -1 1077936128 10310 0 0 0 9 1 0 0 20 0 3 0 30475831 134975488 12476 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
/proc/310820/statm: 32953 12476 2782 3032 0 16116 0
[pid=310820/tid=310822] ppid=310817 vsize=131812 memory=4026561586 CPUtime=0.04 cores=0,2
/proc/310820/task/310822/stat : 310822 (fscip) R 310817 310820 310643 0 -1 4194368 3581 0 0 0 4 0 0 0 20 0 3 0 30475837 134975488 12476 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
[pid=310820/tid=310823] ppid=310817 vsize=131812 memory=237146210664 CPUtime=0 cores=0,2
/proc/310820/task/310823/stat : 310823 (fscip) S 310817 310820 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30475838 134975488 12476 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 131812 KiB
Current children cumulated memory: 49904 KiB

[startup+0.205805 s]*
/proc/loadavg: 0.09 0.09 0.19 4/263 310823
/proc/meminfo: memFree=109070844/131524600 swapFree=131071728/131071996
[pid=310820] ppid=310817 vsize=131812 memory=54328 CPUtime=0.2 cores=0,2
/proc/310820/stat : 310820 (fscip) S 310817 310820 310643 0 -1 1077936128 11310 0 0 0 19 1 0 0 20 0 3 0 30475831 134975488 13582 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
/proc/310820/statm: 32953 13582 2910 3032 0 17200 0
[pid=310820/tid=310822] ppid=310817 vsize=131812 memory=664970851429515383 CPUtime=0.14 cores=0,2
/proc/310820/task/310822/stat : 310822 (fscip) R 310817 310820 310643 0 -1 4194368 4580 0 0 0 14 0 0 0 20 0 3 0 30475837 134975488 13582 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
[pid=310820/tid=310823] ppid=310817 vsize=131812 memory=224261958401 CPUtime=0 cores=0,2
/proc/310820/task/310823/stat : 310823 (fscip) S 310817 310820 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30475838 134975488 13582 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 131812 KiB
Current children cumulated memory: 54328 KiB

[startup+0.305544 s]*
/proc/loadavg: 0.09 0.09 0.19 6/262 310827
/proc/meminfo: memFree=109063032/131524600 swapFree=131071728/131071996
[pid=310820] ppid=310817 vsize=131812 memory=56176 CPUtime=0.3 cores=0,2
/proc/310820/stat : 310820 (fscip) S 310817 310820 310643 0 -1 1077936128 11755 0 0 0 29 1 0 0 20 0 3 0 30475831 134975488 14044 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
/proc/310820/statm: 32953 14044 2910 3032 0 17721 0
[pid=310820/tid=310822] ppid=310817 vsize=131812 memory=7682744562830902035 CPUtime=0.24 cores=0,2
/proc/310820/task/310822/stat : 310822 (fscip) R 310817 310820 310643 0 -1 4194368 5025 0 0 0 24 0 0 0 20 0 3 0 30475837 134975488 14044 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
[pid=310820/tid=310823] ppid=310817 vsize=131812 memory=1399103955520229747 CPUtime=0 cores=0,2
/proc/310820/task/310823/stat : 310823 (fscip) S 310817 310820 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30475838 134975488 14044 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 131812 KiB
Current children cumulated memory: 56176 KiB

[startup+0.700214 s]
/proc/loadavg: 0.09 0.09 0.19 3/253 310839
/proc/meminfo: memFree=109109888/131524600 swapFree=131071728/131071996
[pid=310820] ppid=310817 vsize=131812 memory=59080 CPUtime=0.69 cores=0,2
/proc/310820/stat : 310820 (fscip) S 310817 310820 310643 0 -1 1077936128 12480 0 0 0 67 2 0 0 20 0 3 0 30475831 134975488 14770 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
/proc/310820/statm: 32953 14770 2910 3032 0 18743 0
[pid=310820/tid=310822] ppid=310817 vsize=131812 memory=0 CPUtime=0.62 cores=0,2
/proc/310820/task/310822/stat : 310822 (fscip) R 310817 310820 310643 0 -1 4194368 5750 0 0 0 61 1 0 0 20 0 3 0 30475837 134975488 14770 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
[pid=310820/tid=310823] ppid=310817 vsize=131812 memory=4784908934478575825 CPUtime=0 cores=0,2
/proc/310820/task/310823/stat : 310823 (fscip) S 310817 310820 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30475838 134975488 14770 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 131812 KiB
Current children cumulated memory: 59080 KiB

[startup+1.5002 s]
/proc/loadavg: 0.09 0.09 0.19 5/261 310910
/proc/meminfo: memFree=109092612/131524600 swapFree=131071728/131071996
[pid=310820] ppid=310817 vsize=132836 memory=71880 CPUtime=1.48 cores=0,2
/proc/310820/stat : 310820 (fscip) S 310817 310820 310643 0 -1 1077936128 20157 0 0 0 145 3 0 0 20 0 3 0 30475831 136024064 17970 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
/proc/310820/statm: 33209 17970 2910 3032 0 22400 0
[pid=310820/tid=310822] ppid=310817 vsize=132836 memory=0 CPUtime=1.42 cores=0,2
/proc/310820/task/310822/stat : 310822 (fscip) R 310817 310820 310643 0 -1 4194368 13427 0 0 0 140 2 0 0 20 0 3 0 30475837 136024064 17970 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
[pid=310820/tid=310823] ppid=310817 vsize=132836 memory=0 CPUtime=0 cores=0,2
/proc/310820/task/310823/stat : 310823 (fscip) S 310817 310820 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30475838 136024064 17970 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 132836 KiB
Current children cumulated memory: 71880 KiB

[startup+3.10542 s]
/proc/loadavg: 0.49 0.17 0.22 6/268 310920
/proc/meminfo: memFree=109019944/131524600 swapFree=131071728/131071996
[pid=310820] ppid=310817 vsize=132836 memory=79120 CPUtime=3.08 cores=0,2
/proc/310820/stat : 310820 (fscip) S 310817 310820 310643 0 -1 1077936128 22436 0 0 0 305 3 0 0 20 0 3 0 30475831 136024064 19780 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
/proc/310820/statm: 33209 19780 2910 3032 0 25241 0
[pid=310820/tid=310822] ppid=310817 vsize=132836 memory=0 CPUtime=3.02 cores=0,2
/proc/310820/task/310822/stat : 310822 (fscip) R 310817 310820 310643 0 -1 4194368 15704 0 0 0 300 2 0 0 20 0 3 0 30475837 136024064 19780 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
[pid=310820/tid=310823] ppid=310817 vsize=132836 memory=280936092734848 CPUtime=0 cores=0,2
/proc/310820/task/310823/stat : 310823 (fscip) S 310817 310820 310643 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 30475838 136024064 19780 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 132836 KiB
Current children cumulated memory: 79120 KiB

[startup+6.30018 s]
/proc/loadavg: 0.49 0.17 0.22 5/268 311016
/proc/meminfo: memFree=108818808/131524600 swapFree=131071728/131071996
[pid=310820] ppid=310817 vsize=132836 memory=79120 CPUtime=6.26 cores=0,2
/proc/310820/stat : 310820 (fscip) S 310817 310820 310643 0 -1 1077936128 22482 0 0 0 623 3 0 0 20 0 3 0 30475831 136024064 19780 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
/proc/310820/statm: 33209 19780 2910 3032 0 25241 0
[pid=310820/tid=310822] ppid=310817 vsize=132836 memory=79120 CPUtime=6.19 cores=0,2
/proc/310820/task/310822/stat : 310822 (fscip) R 310817 310820 310643 0 -1 4194368 15718 0 0 0 617 2 0 0 20 0 3 0 30475837 136024064 19780 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
[pid=310820/tid=310823] ppid=310817 vsize=132836 memory=11540 CPUtime=0 cores=0,2
/proc/310820/task/310823/stat : 310823 (fscip) S 310817 310820 310643 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 30475838 136024064 19780 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 132836 KiB
Current children cumulated memory: 79120 KiB

[startup+12.7002 s]
/proc/loadavg: 0.77 0.24 0.24 5/268 311114
/proc/meminfo: memFree=108588100/131524600 swapFree=131071728/131071996
[pid=310820] ppid=310817 vsize=132836 memory=79348 CPUtime=12.64 cores=0,2
/proc/310820/stat : 310820 (fscip) S 310817 310820 310643 0 -1 1077936128 30540 0 0 0 1260 4 0 0 20 0 3 0 30475831 136024064 19837 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
/proc/310820/statm: 33209 19837 2958 3032 0 25241 0
[pid=310820/tid=310822] ppid=310817 vsize=132836 memory=11540 CPUtime=12.58 cores=0,2
/proc/310820/task/310822/stat : 310822 (fscip) R 310817 310820 310643 0 -1 4194368 23720 0 0 0 1255 3 0 0 20 0 3 0 30475837 136024064 19837 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
[pid=310820/tid=310823] ppid=310817 vsize=132836 memory=280936092728128 CPUtime=0 cores=0,2
/proc/310820/task/310823/stat : 310823 (fscip) S 310817 310820 310643 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 30475838 136024064 19837 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 132836 KiB
Current children cumulated memory: 79348 KiB

[startup+25.5002 s]
/proc/loadavg: 1.56 0.44 0.30 5/268 311116
/proc/meminfo: memFree=108417140/131524600 swapFree=131071728/131071996
[pid=310820] ppid=310817 vsize=199400 memory=104948 CPUtime=25.4 cores=0,2
/proc/310820/stat : 310820 (fscip) S 310817 310820 310643 0 -1 1077936128 60692 0 0 0 2533 7 0 0 20 0 3 0 30475831 204185600 26237 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
/proc/310820/statm: 49850 26237 2958 3032 0 34063 0
[pid=310820/tid=310822] ppid=310817 vsize=199400 memory=11540 CPUtime=25.34 cores=0,2
/proc/310820/task/310822/stat : 310822 (fscip) R 310817 310820 310643 0 -1 4194368 53791 0 0 0 2528 6 0 0 20 0 3 0 30475837 204185600 26237 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
[pid=310820/tid=310823] ppid=310817 vsize=199400 memory=79120 CPUtime=0 cores=0,2
/proc/310820/task/310823/stat : 310823 (fscip) S 310817 310820 310643 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 30475838 204185600 26237 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 199400 KiB
Current children cumulated memory: 104948 KiB

[startup+51.1055 s]
/proc/loadavg: 2.82 0.82 0.43 5/268 311120
/proc/meminfo: memFree=108297340/131524600 swapFree=131071728/131071996
[pid=310820] ppid=310817 vsize=267768 memory=157364 CPUtime=50.92 cores=0,2
/proc/310820/stat : 310820 (fscip) S 310817 310820 310643 0 -1 1077936128 115738 0 0 0 5081 11 0 0 20 0 3 0 30475831 274194432 39341 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
/proc/310820/statm: 66942 39341 2958 3032 0 48039 0
[pid=310820/tid=310822] ppid=310817 vsize=267768 memory=11540 CPUtime=50.85 cores=0,2
/proc/310820/task/310822/stat : 310822 (fscip) R 310817 310820 310643 0 -1 4194368 108667 0 0 0 5075 10 0 0 20 0 3 0 30475837 274194432 39341 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
[pid=310820/tid=310823] ppid=310817 vsize=267768 memory=93824 CPUtime=0 cores=0,2
/proc/310820/task/310823/stat : 310823 (fscip) S 310817 310820 310643 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 30475838 274194432 39341 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 267768 KiB
Current children cumulated memory: 157364 KiB

[startup+102.3 s]
/proc/loadavg: 3.92 1.45 0.67 5/268 311130
/proc/meminfo: memFree=108172288/131524600 swapFree=131071728/131071996
[pid=310820] ppid=310817 vsize=273624 memory=210312 CPUtime=101.95 cores=0,2
/proc/310820/stat : 310820 (fscip) S 310817 310820 310643 0 -1 1077936128 161419 0 0 0 10178 17 0 0 20 0 3 0 30475831 280190976 52578 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
/proc/310820/statm: 68406 52578 2974 3032 0 59181 0
[pid=310820/tid=310822] ppid=310817 vsize=273624 memory=162052 CPUtime=101.87 cores=0,2
/proc/310820/task/310822/stat : 310822 (fscip) R 310817 310820 310643 0 -1 4194368 154209 0 0 0 10172 15 0 0 20 0 3 0 30475837 280190976 52578 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
[pid=310820/tid=310823] ppid=310817 vsize=273624 memory=6720667631960996707 CPUtime=0 cores=0,2
/proc/310820/task/310823/stat : 310823 (fscip) S 310817 310820 310643 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 30475838 280190976 52578 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 273624 KiB
Current children cumulated memory: 210312 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 1.93 0.89 5/268 311141
/proc/meminfo: memFree=108116844/131524600 swapFree=131071728/131071996
[pid=310820] ppid=310817 vsize=349532 memory=237468 CPUtime=161.75 cores=0,2
/proc/310820/stat : 310820 (fscip) S 310817 310820 310643 0 -1 1077936128 181755 0 0 0 16155 20 0 0 20 0 3 0 30475831 357920768 59367 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
/proc/310820/statm: 87383 59367 2974 3032 0 68332 0
[pid=310820/tid=310822] ppid=310817 vsize=349532 memory=11540 CPUtime=161.67 cores=0,2
/proc/310820/task/310822/stat : 310822 (fscip) R 310817 310820 310643 0 -1 4194368 174495 0 0 0 16149 18 0 0 20 0 3 0 30475837 357920768 59367 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
[pid=310820/tid=310823] ppid=310817 vsize=349532 memory=223020 CPUtime=0 cores=0,2
/proc/310820/task/310823/stat : 310823 (fscip) S 310817 310820 310643 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 30475838 357920768 59367 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 349532 KiB

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

/proc/310820/statm: 202347 180179 2974 3032 0 196472 0
[pid=310820/tid=310822] ppid=310817 vsize=809388 memory=711340 CPUtime=3450.27 cores=0,2
/proc/310820/task/310822/stat : 310822 (fscip) R 310817 310820 310643 0 -1 4194368 1798657 0 0 0 344853 174 0 0 20 0 3 0 30475837 828813312 180179 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
[pid=310820/tid=310823] ppid=310817 vsize=809388 memory=713336 CPUtime=0.02 cores=0,2
/proc/310820/task/310823/stat : 310823 (fscip) S 310817 310820 310643 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 30475838 828813312 180179 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
Current children cumulated CPU time: 3450.58 s
Current children cumulated vsize: 809388 KiB
Current children cumulated memory: 720716 KiB

[startup+3522.3 s]
/proc/loadavg: 4.30 4.15 4.04 5/268 313030
/proc/meminfo: memFree=106992048/131524600 swapFree=131071728/131071996
[pid=310820] ppid=310817 vsize=809388 memory=729640 CPUtime=3510.38 cores=0,2
/proc/310820/stat : 310820 (fscip) S 310817 310820 310643 0 -1 1077936128 1853626 0 0 0 350851 187 0 0 20 0 3 0 30475831 828813312 182410 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
/proc/310820/statm: 202347 182410 2974 3032 0 196610 0
[pid=310820/tid=310822] ppid=310817 vsize=809388 memory=74940 CPUtime=3510.07 cores=0,2
/proc/310820/task/310822/stat : 310822 (fscip) R 310817 310820 310643 0 -1 4194368 1845284 0 0 0 350830 177 0 0 20 0 3 0 30475837 828813312 182410 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
[pid=310820/tid=310823] ppid=310817 vsize=809388 memory=12544 CPUtime=0.03 cores=0,2
/proc/310820/task/310823/stat : 310823 (fscip) S 310817 310820 310643 0 -1 1077936192 142 0 0 0 1 2 0 0 20 0 3 0 30475838 828813312 182410 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
Current children cumulated CPU time: 3510.38 s
Current children cumulated vsize: 809388 KiB
Current children cumulated memory: 729640 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.16 4.06 5/267 313097
/proc/meminfo: memFree=106974860/131524600 swapFree=131071728/131071996
[pid=310820] ppid=310817 vsize=810416 memory=735080 CPUtime=3570.18 cores=0,2
/proc/310820/stat : 310820 (fscip) S 310817 310820 310643 0 -1 1077936128 1890940 0 0 0 356827 191 0 0 20 0 3 0 30475831 829865984 183770 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
/proc/310820/statm: 202604 183770 2974 3032 0 198595 0
[pid=310820/tid=310822] ppid=310817 vsize=810416 memory=74940 CPUtime=3569.86 cores=0,2
/proc/310820/task/310822/stat : 310822 (fscip) R 310817 310820 310643 0 -1 4194368 1882579 0 0 0 356805 181 0 0 20 0 3 0 30475837 829865984 183770 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
[pid=310820/tid=310823] ppid=310817 vsize=810416 memory=2304 CPUtime=0.03 cores=0,2
/proc/310820/task/310823/stat : 310823 (fscip) S 310817 310820 310643 0 -1 1077936192 144 0 0 0 1 2 0 0 20 0 3 0 30475838 829865984 183770 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
Current children cumulated CPU time: 3570.18 s
Current children cumulated vsize: 810416 KiB
Current children cumulated memory: 735080 KiB

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

# cumulated CPU time of all completed processes:  user=3586.09 s, system=1.92905 s

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

[startup+3584 s]*
/proc/loadavg: 4.28 4.18 4.06 5/267 313097
/proc/meminfo: memFree=106974896/131524600 swapFree=131071728/131071996
[pid=310820] ppid=310817 vsize=810416 memory=735080 CPUtime=3571.88 cores=0,2
/proc/310820/stat : 310820 (fscip) S 310817 310820 310643 0 -1 1077936128 1891024 0 0 0 356997 191 0 0 20 0 3 0 30475831 829865984 183770 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
/proc/310820/statm: 202604 183770 2974 3032 0 198595 0
[pid=310820/tid=310822] ppid=310817 vsize=810416 memory=6720664337603771242 CPUtime=3571.56 cores=0,2
/proc/310820/task/310822/stat : 310822 (fscip) R 310817 310820 310643 0 -1 4194368 1882663 0 0 0 356975 181 0 0 20 0 3 0 30475837 829865984 183770 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
[pid=310820/tid=310823] ppid=310817 vsize=810416 memory=-8982072546711028383 CPUtime=0.03 cores=0,2
/proc/310820/task/310823/stat : 310823 (fscip) S 310817 310820 310643 0 -1 1077936192 144 0 0 0 1 2 0 0 20 0 3 0 30475838 829865984 183770 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
Current children cumulated CPU time: 3571.88 s
Current children cumulated vsize: 810416 KiB
Current children cumulated memory: 735080 KiB

[startup+3590.4 s]
/proc/loadavg: 4.26 4.17 4.06 5/267 313099
/proc/meminfo: memFree=106973876/131524600 swapFree=131071728/131071996
[pid=310820] ppid=310817 vsize=810416 memory=736276 CPUtime=3578.25 cores=0,2
/proc/310820/stat : 310820 (fscip) S 310817 310820 310643 0 -1 1077936128 1891761 0 0 0 357634 191 0 0 20 0 3 0 30475831 829865984 184069 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
/proc/310820/statm: 202604 184069 2974 3032 0 198595 0
[pid=310820/tid=310822] ppid=310817 vsize=810416 memory=735080 CPUtime=3577.94 cores=0,2
/proc/310820/task/310822/stat : 310822 (fscip) R 310817 310820 310643 0 -1 4194368 1883400 0 0 0 357613 181 0 0 20 0 3 0 30475837 829865984 184069 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
[pid=310820/tid=310823] ppid=310817 vsize=810416 memory=0 CPUtime=0.03 cores=0,2
/proc/310820/task/310823/stat : 310823 (fscip) S 310817 310820 310643 0 -1 1077936192 144 0 0 0 1 2 0 0 20 0 3 0 30475838 829865984 184069 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
Current children cumulated CPU time: 3578.25 s
Current children cumulated vsize: 810416 KiB
Current children cumulated memory: 736276 KiB

[startup+3596.8 s]
/proc/loadavg: 4.23 4.17 4.06 5/265 313100
/proc/meminfo: memFree=106975012/131524600 swapFree=131071728/131071996
[pid=310820] ppid=310817 vsize=810416 memory=736276 CPUtime=3584.63 cores=0,2
/proc/310820/stat : 310820 (fscip) S 310817 310820 310643 0 -1 1077936128 1892559 0 0 0 358272 191 0 0 20 0 3 0 30475831 829865984 184069 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
/proc/310820/statm: 202604 184069 2974 3032 0 198595 0
[pid=310820/tid=310822] ppid=310817 vsize=810416 memory=735080 CPUtime=3584.31 cores=0,2
/proc/310820/task/310822/stat : 310822 (fscip) R 310817 310820 310643 0 -1 4194368 1884196 0 0 0 358250 181 0 0 20 0 3 0 30475837 829865984 184069 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
[pid=310820/tid=310823] ppid=310817 vsize=810416 memory=12544 CPUtime=0.03 cores=0,2
/proc/310820/task/310823/stat : 310823 (fscip) S 310817 310820 310643 0 -1 1077936192 146 0 0 0 1 2 0 0 20 0 3 0 30475838 829865984 184069 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
Current children cumulated CPU time: 3584.63 s
Current children cumulated vsize: 810416 KiB
Current children cumulated memory: 736276 KiB

[startup+3598.4 s]
/proc/loadavg: 4.23 4.17 4.06 5/265 313101
/proc/meminfo: memFree=106975008/131524600 swapFree=131071728/131071996
[pid=310820] ppid=310817 vsize=810416 memory=736276 CPUtime=3586.23 cores=0,2
/proc/310820/stat : 310820 (fscip) S 310817 310820 310643 0 -1 1077936128 1892636 0 0 0 358432 191 0 0 20 0 3 0 30475831 829865984 184069 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
/proc/310820/statm: 202604 184069 2974 3032 0 198595 0
[pid=310820/tid=310822] ppid=310817 vsize=810416 memory=13748 CPUtime=3585.91 cores=0,2
/proc/310820/task/310822/stat : 310822 (fscip) R 310817 310820 310643 0 -1 4194368 1884273 0 0 0 358410 181 0 0 20 0 3 0 30475837 829865984 184069 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
[pid=310820/tid=310823] ppid=310817 vsize=810416 memory=11432 CPUtime=0.03 cores=0,2
/proc/310820/task/310823/stat : 310823 (fscip) S 310817 310820 310643 0 -1 1077936192 146 0 0 0 1 2 0 0 20 0 3 0 30475838 829865984 184069 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
Current children cumulated CPU time: 3586.23 s
Current children cumulated vsize: 810416 KiB
Current children cumulated memory: 736276 KiB

[startup+3599.2 s]
/proc/loadavg: 4.22 4.17 4.06 5/265 313101
/proc/meminfo: memFree=106975016/131524600 swapFree=131071728/131071996
[pid=310820] ppid=310817 vsize=810416 memory=736276 CPUtime=3587.02 cores=0,2
/proc/310820/stat : 310820 (fscip) S 310817 310820 310643 0 -1 1077936128 1892686 0 0 0 358511 191 0 0 20 0 3 0 30475831 829865984 184069 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
/proc/310820/statm: 202604 184069 2974 3032 0 198595 0
[pid=310820/tid=310822] ppid=310817 vsize=810416 memory=12544 CPUtime=3586.71 cores=0,2
/proc/310820/task/310822/stat : 310822 (fscip) R 310817 310820 310643 0 -1 4194368 1884323 0 0 0 358490 181 0 0 20 0 3 0 30475837 829865984 184069 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
[pid=310820/tid=310823] ppid=310817 vsize=810416 memory=5536 CPUtime=0.03 cores=0,2
/proc/310820/task/310823/stat : 310823 (fscip) S 310817 310820 310643 0 -1 1077936192 146 0 0 0 1 2 0 0 20 0 3 0 30475838 829865984 184069 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
Current children cumulated CPU time: 3587.02 s
Current children cumulated vsize: 810416 KiB
Current children cumulated memory: 736276 KiB

[startup+3599.6 s]
/proc/loadavg: 4.22 4.17 4.06 5/265 313101
/proc/meminfo: memFree=106975016/131524600 swapFree=131071728/131071996
[pid=310820] ppid=310817 vsize=810416 memory=736276 CPUtime=3587.42 cores=0,2
/proc/310820/stat : 310820 (fscip) S 310817 310820 310643 0 -1 1077936128 1892697 0 0 0 358551 191 0 0 20 0 3 0 30475831 829865984 184069 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
/proc/310820/statm: 202604 184069 2974 3032 0 198595 0
[pid=310820/tid=310822] ppid=310817 vsize=810416 memory=6720667631960996707 CPUtime=3587.1 cores=0,2
/proc/310820/task/310822/stat : 310822 (fscip) R 310817 310820 310643 0 -1 4194368 1884334 0 0 0 358529 181 0 0 20 0 3 0 30475837 829865984 184069 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
[pid=310820/tid=310823] ppid=310817 vsize=810416 memory=1988 CPUtime=0.03 cores=0,2
/proc/310820/task/310823/stat : 310823 (fscip) S 310817 310820 310643 0 -1 1077936192 146 0 0 0 1 2 0 0 20 0 3 0 30475838 829865984 184069 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
Current children cumulated CPU time: 3587.42 s
Current children cumulated vsize: 810416 KiB
Current children cumulated memory: 736276 KiB

[startup+3600 s]*
/proc/loadavg: 4.22 4.17 4.06 5/265 313101
/proc/meminfo: memFree=106975044/131524600 swapFree=131071728/131071996
[pid=310820] ppid=310817 vsize=810416 memory=736276 CPUtime=3587.83 cores=0,2
/proc/310820/stat : 310820 (fscip) R 310817 310820 310643 0 -1 1077936128 1892842 0 0 0 358592 191 0 0 20 0 3 0 30475831 829865984 184069 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
/proc/310820/statm: 202604 184069 2974 3032 0 198595 0
[pid=310820/tid=310822] ppid=310817 vsize=810416 memory=6720664337603771242 CPUtime=3587.51 cores=0,2
/proc/310820/task/310822/stat : 310822 (fscip) R 310817 310820 310643 0 -1 4194368 1884479 0 0 0 358570 181 0 0 20 0 3 0 30475837 829865984 184069 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
[pid=310820/tid=310823] ppid=310817 vsize=810416 memory=-8982072546711028383 CPUtime=0.03 cores=0,2
/proc/310820/task/310823/stat : 310823 (fscip) S 310817 310820 310643 0 -1 1077936192 146 0 0 0 1 2 0 0 20 0 3 0 30475838 829865984 184069 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
Current children cumulated CPU time: 3587.83 s
Current children cumulated vsize: 810416 KiB
Current children cumulated memory: 736276 KiB

[startup+3600.11 s]
/proc/loadavg: 4.22 4.17 4.06 5/265 313101
/proc/meminfo: memFree=106975044/131524600 swapFree=131071728/131071996
[pid=310820] ppid=310817 vsize=807332 memory=733196 CPUtime=3587.93 cores=0,2
/proc/310820/stat : 310820 (fscip) S 310817 310820 310643 0 -1 1077936128 1897578 0 0 0 358601 192 0 0 20 0 3 0 30475831 826707968 183299 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
/proc/310820/statm: 201833 183299 2974 3032 0 197824 0
[pid=310820/tid=310822] ppid=310817 vsize=807332 memory=2304 CPUtime=3587.61 cores=0,2
/proc/310820/task/310822/stat : 310822 (fscip) R 310817 310820 310643 0 -1 4194368 1889213 0 0 0 358580 181 0 0 20 0 3 0 30475837 826707968 183299 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
[pid=310820/tid=310823] ppid=310817 vsize=807332 memory=736276 CPUtime=0.03 cores=0,2
/proc/310820/task/310823/stat : 310823 (fscip) S 310817 310820 310643 0 -1 1077936192 146 0 0 0 1 2 0 0 20 0 3 0 30475838 826707968 183299 134679101440 4194304 16613245 140722208307712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 41979904 140722208314388 140722208314504 140722208314504 140722208321520 0
Current children cumulated CPU time: 3587.93 s
Current children cumulated vsize: 807332 KiB
Current children cumulated memory: 733196 KiB

Child status: 0

Real time (s): 3600.18
CPU time (s): 3588.01
CPU user time (s): 3586.09
CPU system time (s): 1.92905
CPU usage (%): 99.6621
Max. virtual memory (cumulated for all children) (KiB): 875952
Max. memory (cumulated for all children) (KiB): 738436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.09
system time used= 1.92905
maximum resident set size= 738436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1900627
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= 12031
involuntary context switches= 25116


# summary of solver processes directly reported to runsolver:
#   pid: 310820
#   total CPU time (s): 3588.01
#   total CPU user time (s): 3586.09
#   total CPU system time (s): 1.92905

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.48014 second user time and 15.5887 second system time

The end

Launcher Data

Begin job on nodeC029 at 2024-07-25 22:31:04
IDJOB=4459779
IDBENCH=148554
IDSOLVER=3064
FILE ID=nodeC029/4459779-1721939464
RUNJOBID= nodeC029-1721939462-310655
SLURM_JOB_ID= 8247249
Free space on /tmp= 889984 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_2.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-4459779-1721939464/watcher-4459779-1721939464 -o /tmp/evaluation-result-4459779-1721939464/solver-4459779-1721939464 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721939462-310655 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4459779-1721939464.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= a8db507b9a19068579e2e54aa556294a
RANDOM SEED=694240006

nodeC029.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		: 3663.562
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.50
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		: 3667.990
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.34
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.995
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.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.226
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.34
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		: 3663.536
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.50
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		: 3670.429
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.34
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		: 3599.992
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.50
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		: 3637.400
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        109110316 kB
MemAvailable:   129481672 kB
Buffers:          330024 kB
Cached:         20744312 kB
SwapCached:           44 kB
Active:          2898724 kB
Inactive:       18638608 kB
Active(anon):       1572 kB
Inactive(anon):   515148 kB
Active(file):    2897152 kB
Inactive(file): 18123460 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:            113100 kB
Writeback:             0 kB
AnonPages:        462508 kB
Mapped:           154844 kB
Shmem:             54012 kB
KReclaimable:     381136 kB
Slab:             516040 kB
SReclaimable:     381136 kB
SUnreclaim:       134904 kB
KernelStack:        4276 kB
PageTables:        10256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     880632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21472 kB
HardwareCorrupted:     0 kB
AnonHugePages:    247808 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:      350932 kB
DirectMap2M:    44511232 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 889956 MiB
End job on nodeC029 at 2024-07-25 23:31:04