Trace number 4434719

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-51 3589.22 3600.93

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
MD5SUM13efe7890d7fc5aab9247ea9860b6d53
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-58
Best CPU time to get the best result obtained on this benchmark3558.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1534
Total number of constraints126163
Number of constraints which are clauses126163
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1534
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 1534
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1534
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.74/0.84	c Default LC presolving (default).
0.74/0.84	c ** Before presolving: virtualMemUsedAtLc = 273272155, getVmSize() = 180772864, SCIPgetMemUsed() = 134871725, SCIPgetMemTotal() = 150341509, SCIPgetMemExternEstim() = 122930646
0.74/0.84	c ** set memory limit for presolving in LC to 8.79601e+12 for SCIP **
4.22/4.31	c ** Estimated virtualMemUsedAtSolver = 405536321, getVmSize() = 527958016, SCIPgetMemUsed() = 309401556, SCIPgetMemTotal() = 485373836, SCIPgetMemExternEstim() = 122930646
4.22/4.31	c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
4.22/4.31	c Original Problem   :
4.22/4.31	c   Problem name     : instance-4434719-1721058936
4.22/4.31	c   Variables        : 1534 (1534 binary, 0 integer, 0 implicit integer, 0 continuous)
4.22/4.31	c   Constraints      : 126163
4.22/4.31	c   Objective sense  : minimize
4.22/4.31	c Presolved Problem  :
4.22/4.31	c   Variables        : 1534 (1534 binary, 0 integer, 0 implicit integer, 0 continuous)
4.22/4.31	c   Constraints      : 126163
4.22/4.31	c Constraints        : Number
4.22/4.31	c   setppc           : 126163 
4.22/4.31	c ** Instance transfer method used: 0
4.43/4.52	c ** ParaScipInstance copy does not increase the number of variables. **
4.72/4.86	c LC is working with racing ramp-up and with rebuilding tree after racing.
4.72/4.86	c                                Nodes    Active                                            
4.72/4.86	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
8.40/8.52	c *       9              0           1         1         -36.0000                -          -
8.40/8.52	c         9              0           1         1         -36.0000                -          -
8.50/8.66	c *       9              0           1         1         -37.0000                -          -
9.21/9.31	c *       9              0           1         1         -38.0000                -          -
69.53/69.84	c *      70              0           1         1         -40.0000                -          -
69.53/69.84	c        70              0           1         1         -40.0000                -          -
69.93/70.25	c *      70              0           1         1         -43.0000                -          -
78.60/78.91	c        79              2           1         1         -43.0000         -59.0000     37.21%
88.87/89.29	c        89             15          14         1         -43.0000         -59.0000     37.21%
89.37/89.79	c *      90             15          14         1         -45.0000         -59.0000     31.11%
94.16/94.58	c        95             26          25         1         -45.0000         -59.0000     31.11%
100.23/100.60	c       101             32          31         1         -45.0000         -59.0000     31.11%
100.53/101.01	c *     101             32          31         1         -48.0000         -59.0000     22.92%
106.81/107.25	c       107             43          42         1         -48.0000         -59.0000     22.92%
112.61/113.05	c       113             47          46         1         -48.0000         -59.0000     22.92%
118.88/119.38	c       119             49          48         1         -48.0000         -59.0000     22.92%
124.76/125.22	c       125             53          52         1         -48.0000         -59.0000     22.92%
130.05/130.50	c       131             57          56         1         -48.0000         -59.0000     22.92%
137.42/137.95	c       138             61          60         1         -48.0000         -59.0000     22.92%
142.41/143.01	c       143             68          67         1         -48.0000         -59.0000     22.92%
148.18/148.74	c       149             73          72         1         -48.0000         -59.0000     22.92%
153.76/154.33	c       154             78          77         1         -48.0000         -59.0000     22.92%
159.05/159.67	c       160             87          78         1         -48.0000         -59.0000     22.92%
167.43/168.09	c       168             99          84         1         -48.0000         -59.0000     22.92%
173.59/174.25	c       174            109          90         1         -48.0000         -59.0000     22.92%
179.28/179.92	c       180            139         112         1         -48.0000         -59.0000     22.92%
184.56/185.27	c       185            160         131         1         -48.0000         -59.0000     22.92%
190.46/191.14	c       191            189         150         1         -48.0000         -59.0000     22.92%
199.33/200.06	c       200            225         174         1         -48.0000         -59.0000     22.92%
204.90/205.68	c       206            249         192         1         -48.0000         -59.0000     22.92%
210.08/210.89	c       211            277         214         1         -48.0000         -59.0000     22.92%
216.07/216.81	c       217            293         230         1         -48.0000         -59.0000     22.92%
221.37/222.12	c       222            376         293         1         -48.0000         -59.0000     22.92%
227.35/228.16	c       228            434         351         1         -48.0000         -59.0000     22.92%
232.82/233.67	c       234            503         420         1         -48.0000         -59.0000     22.92%
238.10/238.96	c       239            518         435         1         -48.0000         -59.0000     22.92%
244.08/244.93	c       245            578         495         1         -48.0000         -59.0000     22.92%
249.17/250.01	c       250            618         535         1         -48.0000         -59.0000     22.92%
249.55/250.46	c *     250            618         535         1         -49.0000         -59.0000     20.41%
254.73/255.64	c       256            689         574         1         -49.0000         -59.0000     20.41%
262.00/262.97	c       263            730         615         1         -49.0000         -59.0000     20.41%
267.59/268.52	c       269            735         620         1         -49.0000         -59.0000     20.41%
279.44/280.45	c       280            744         629         1         -49.0000         -59.0000     20.41%
292.60/293.65	c       294            748         631         1         -49.0000         -59.0000     20.41%
297.88/298.93	c       299            771         654         1         -49.0000         -59.0000     20.41%
304.45/305.55	c       306            792         675         1         -49.0000         -59.0000     20.41%
310.04/311.14	c       311            837         720         1         -49.0000         -59.0000     20.41%
315.92/317.09	c       317            892         775         1         -49.0000         -59.0000     20.41%
321.89/323.08	c       323            946         829         1         -49.0000         -59.0000     20.41%
327.87/329.03	c       329           1004         887         1         -49.0000         -59.0000     20.41%
333.13/334.38	c       334           1014         897         1         -49.0000         -59.0000     20.41%
339.00/340.26	c       340           1061         944         1         -49.0000         -59.0000     20.41%
359.32/360.64	c       361           1079         962         1         -49.0000         -59.0000     20.41%
365.20/366.51	c       367           1137        1020         1         -49.0000         -59.0000     20.41%
377.34/378.71	c       379           1174        1057         1         -49.0000         -59.0000     20.41%
386.51/387.93	c       388           1210        1093         1         -49.0000         -59.0000     20.41%
395.96/397.43	c       397           1242        1123         1         -49.0000         -59.0000     20.41%
401.55/403.05	c       403           1281        1164         1         -49.0000         -59.0000     20.41%
406.64/408.14	c       408           1322        1203         1         -49.0000         -59.0000     20.41%
412.30/413.80	c       414           1379        1258         1         -49.0000         -59.0000     20.41%
418.17/419.70	c       420           1420        1299         1         -49.0000         -59.0000     20.41%
424.35/425.99	c       426           1454        1331         1         -49.0000         -59.0000     20.41%
430.33/432.01	c       432           1490        1367         1         -49.0000         -59.0000     20.41%
435.60/437.27	c       437           1515        1392         1         -49.0000         -59.0000     20.41%
441.18/442.85	c       443           1531        1408         1         -49.0000         -59.0000     20.41%
446.48/448.17	c       448           1585        1462         1         -49.0000         -59.0000     20.41%
459.61/461.31	c       461           1600        1477         1         -49.0000         -59.0000     20.41%
465.48/467.29	c       467           1633        1508         1         -49.0000         -59.0000     20.41%
470.86/472.62	c       473           1642        1517         1         -49.0000         -59.0000     20.41%
478.03/479.81	c       480           1677        1552         1         -49.0000         -59.0000     20.41%
483.61/485.46	c       485           1703        1578         1         -49.0000         -59.0000     20.41%
488.98/490.88	c       491           1747        1622         1         -49.0000         -59.0000     20.41%
495.45/497.34	c       497           1792        1667         1         -49.0000         -59.0000     20.41%
501.43/503.37	c       503           1841        1716         1         -49.0000         -59.0000     20.41%
506.71/508.66	c       509           1883        1758         1         -49.0000         -59.0000     20.41%
511.78/513.72	c       514           1907        1782         1         -49.0000         -59.0000     20.41%
523.44/525.46	c       525           1918        1793         1         -49.0000         -59.0000     20.41%
530.31/532.31	c       532           1939        1814         1         -49.0000         -59.0000     20.41%
535.89/537.90	c       538           1951        1826         1         -49.0000         -59.0000     20.41%
554.62/556.79	c       557           1978        1853         1         -49.0000         -59.0000     20.41%
560.19/562.30	c       562           2017        1892         1         -49.0000         -59.0000     20.41%
565.36/567.57	c       568           2064        1939         1         -49.0000         -59.0000     20.41%
574.23/576.43	c       576           2113        1988         1         -49.0000         -59.0000     20.41%
579.41/581.64	c       582           2127        2002         1         -49.0000         -59.0000     20.41%
594.05/596.32	c       596           2134        2009         1         -49.0000         -59.0000     20.41%
599.64/601.90	c       602           2161        2036         1         -49.0000         -59.0000     20.41%
605.91/608.24	c       608           2205        2078         1         -49.0000         -59.0000     20.41%
611.70/614.01	c       614           2253        2126         1         -49.0000         -59.0000     20.41%
619.95/622.31	c       622           2283        2156         1         -49.0000         -59.0000     20.41%
626.75/629.13	c       629           2314        2187         1         -49.0000         -59.0000     20.41%
635.20/637.62	c       638           2319        2192         1         -49.0000         -59.0000     20.41%
642.87/645.33	c       645           2374        2247         1         -49.0000         -59.0000     20.41%
647.95/650.45	c       650           2390        2263         1         -49.0000         -59.0000     20.41%
658.42/661.01	c       661           2439        2310         1         -49.0000         -59.0000     20.41%
664.00/666.51	c       667           2493        2364         1         -49.0000         -59.0000     20.41%
669.78/672.36	c       672           2512        2383         1         -49.0000         -59.0000     20.41%
675.96/678.55	c       679           2516        2387         1         -49.0000         -59.0000     20.41%
685.23/687.85	c       688           2541        2408         1         -49.0000         -59.0000     20.41%
690.72/693.35	c       693           2573        2438         1         -49.0000         -59.0000     20.41%
695.70/698.36	c       698           2615        2480         1         -49.0000         -59.0000     20.41%
701.28/703.92	c       704           2665        2530         1         -49.0000         -59.0000     20.41%
707.76/710.44	c       710           2714        2579         1         -49.0000         -59.0000     20.41%
713.04/715.76	c       716           2745        2608         1         -49.0000         -59.0000     20.41%
721.12/723.80	c       724           2752        2615         1         -49.0000         -59.0000     20.41%
726.32/729.03	c       729           2800        2663         1         -49.0000         -59.0000     20.41%
733.89/736.64	c       737           2806        2669         1         -49.0000         -59.0000     20.41%
742.86/745.64	c       746           2823        2686         1         -49.0000         -59.0000     20.41%
750.44/753.29	c       753           2844        2707         1         -49.0000         -59.0000     20.41%
758.33/761.14	c       761           2852        2713         1         -49.0000         -59.0000     20.41%
764.59/767.47	c       767           2869        2730         1         -49.0000         -59.0000     20.41%
770.20/773.02	c       773           2913        2772         1         -49.0000         -59.0000     20.41%
775.56/778.49	c       778           2948        2805         1         -49.0000         -59.0000     20.41%
785.33/788.25	c       788           2978        2835         1         -49.0000         -59.0000     20.41%
792.12/795.10	c       795           3025        2878         1         -49.0000         -59.0000     20.41%
797.49/800.45	c       800           3040        2893         1         -49.0000         -59.0000     20.41%
804.19/807.11	c       807           3056        2909         1         -49.0000         -59.0000     20.41%
811.85/814.83	c       815           3080        2931         1         -49.0000         -59.0000     20.41%
816.93/819.94	c       820           3112        2963         1         -49.0000         -59.0000     20.41%
822.81/825.80	c       826           3156        3005         1         -49.0000         -59.0000     20.41%
828.50/831.59	c       832           3204        3053         1         -49.0000         -59.0000     20.41%
833.89/836.93	c       837           3223        3072         1         -49.0000         -59.0000     20.41%
839.17/842.25	c       842           3236        3085         1         -49.0000         -59.0000     20.41%
844.85/847.98	c       848           3289        3136         1         -49.0000         -59.0000     20.41%
853.12/856.28	c       856           3324        3169         1         -49.0000         -59.0000     20.41%
858.30/861.40	c       861           3370        3213         1         -49.0000         -59.0000     20.41%
863.59/866.78	c       867           3419        3262         1         -49.0000         -59.0000     20.41%
870.27/873.49	c       874           3442        3285         1         -49.0000         -59.0000     20.41%
875.87/879.05	c       879           3471        3314         1         -49.0000         -59.0000     20.41%
881.73/884.90	c       885           3533        3376         1         -49.0000         -59.0000     20.41%
887.11/890.31	c       890           3608        3451         1         -49.0000         -59.0000     20.41%
893.99/897.28	c       897           3632        3473         1         -49.0000         -59.0000     20.41%
899.47/902.71	c       903           3680        3517         1         -49.0000         -59.0000     20.41%
904.87/908.18	c       908           3727        3562         1         -49.0000         -59.0000     20.41%
910.05/913.33	c       913           3790        3623         1         -49.0000         -59.0000     20.41%
916.03/919.30	c       919           3816        3649         1         -49.0000         -59.0000     20.41%
922.10/925.41	c       925           3853        3682         1         -49.0000         -59.0000     20.41%
927.70/931.03	c       931           3908        3737         1         -49.0000         -59.0000     20.41%
939.35/942.77	c       943           3938        3767         1         -49.0000         -59.0000     20.41%
945.13/948.55	c       949           3992        3819         1         -49.0000         -59.0000     20.41%
950.73/954.16	c       954           4058        3885         1         -49.0000         -59.0000     20.41%
960.99/964.43	c       964           4094        3923         1         -49.0000         -59.0000     20.41%
966.47/969.96	c       970           4114        3941         1         -49.0000         -59.0000     20.41%
973.66/977.13	c       977           4148        3975         1         -49.0000         -59.0000     20.41%
985.41/988.98	c       989           4157        3984         1         -49.0000         -59.0000     20.41%
992.88/996.40	c       996           4171        3998         1         -49.0000         -59.0000     20.41%
1000.75/1004.39	c      1004           4211        4038         1         -49.0000         -59.0000     20.41%
1011.79/1015.48	c      1015           4250        4077         1         -49.0000         -59.0000     20.41%
1016.88/1020.51	c      1021           4258        4085         1         -49.0000         -59.0000     20.41%
1026.25/1029.93	c      1030           4267        4094         1         -49.0000         -59.0000     20.41%
1031.34/1035.09	c      1035           4311        4136         1         -49.0000         -59.0000     20.41%
1037.20/1041.01	c      1041           4367        4192         1         -49.0000         -59.0000     20.41%
1044.39/1048.19	c      1048           4409        4234         1         -49.0000         -59.0000     20.41%
1050.85/1054.63	c      1055           4443        4266         1         -49.0000         -59.0000     20.41%
1056.53/1060.32	c      1060           4492        4313         1         -49.0000         -59.0000     20.41%
1062.11/1065.96	c      1066           4498        4319         1         -49.0000         -59.0000     20.41%
1071.38/1075.29	c      1075           4554        4373         1         -49.0000         -59.0000     20.41%
1076.66/1080.55	c      1081           4555        4374         1         -49.0000         -59.0000     20.41%
1082.16/1086.10	c      1086           4596        4409         1         -49.0000         -59.0000     20.41%
1087.52/1091.40	c      1091           4654        4467         1         -49.0000         -59.0000     20.41%
1093.79/1097.71	c      1098           4675        4488         1         -49.0000         -59.0000     20.41%
1106.65/1110.65	c      1111           4704        4513         1         -49.0000         -59.0000     20.41%
1118.90/1123.01	c      1123           4751        4558         1         -49.0000         -59.0000     20.41%
1124.68/1128.71	c      1129           4803        4610         1         -49.0000         -59.0000     20.41%
1132.26/1136.35	c      1136           4830        4637         1         -49.0000         -59.0000     20.41%
1137.54/1141.67	c      1142           4886        4693         1         -49.0000         -59.0000     20.41%
1143.42/1147.52	c      1148           4915        4722         1         -49.0000         -59.0000     20.41%
1148.71/1152.86	c      1153           4981        4784         1         -49.0000         -59.0000     20.41%
1156.48/1160.68	c      1161           5027        4824         1         -49.0000         -59.0000     20.41%
1162.16/1166.31	c      1166           5047        4844         1         -49.0000         -59.0000     20.41%
1167.86/1172.11	c      1172           5077        4872         1         -49.0000         -59.0000     20.41%
1172.94/1177.16	c      1177           5107        4902         1         -49.0000         -59.0000     20.41%
1178.92/1183.16	c      1183           5170        4961         1         -49.0000         -59.0000     20.41%
1190.37/1194.65	c      1195           5175        4966         1         -49.0000         -59.0000     20.41%
1196.04/1200.34	c      1200           5231        5022         1         -49.0000         -59.0000     20.41%
1199.85/1204.13	c *    1204           5255        5042         1         -50.0000         -59.0000     18.00%
1202.13/1206.47	c      1206           5279        4925         1         -50.0000         -59.0000     18.00%
1210.30/1214.65	c      1215           5317        4959         1         -50.0000         -59.0000     18.00%
1216.79/1221.14	c      1221           5353        4993         1         -50.0000         -59.0000     18.00%
1225.76/1230.17	c      1230           5364        5002         1         -50.0000         -59.0000     18.00%
1231.03/1235.45	c      1235           5424        5062         1         -50.0000         -59.0000     18.00%
1236.31/1240.72	c      1241           5460        5096         1         -50.0000         -59.0000     18.00%
1241.70/1246.11	c      1246           5474        5110         1         -50.0000         -59.0000     18.00%
1249.96/1254.47	c      1254           5533        5163         1         -50.0000         -59.0000     18.00%
1255.55/1260.11	c      1260           5584        5214         1         -50.0000         -59.0000     18.00%
1260.63/1265.19	c      1265           5648        5278         1         -50.0000         -59.0000     18.00%
1271.69/1276.24	c      1276           5654        5284         1         -50.0000         -59.0000     18.00%
1281.76/1286.37	c      1286           5678        5306         1         -50.0000         -59.0000     18.00%
1288.03/1292.64	c      1293           5706        5332         1         -50.0000         -59.0000     18.00%
1296.01/1300.68	c      1301           5753        5377         1         -50.0000         -59.0000     18.00%
1302.68/1307.31	c      1307           5786        5410         1         -50.0000         -59.0000     18.00%
1309.86/1314.52	c      1315           5803        5427         1         -50.0000         -59.0000     18.00%
1315.35/1320.06	c      1320           5826        5450         1         -50.0000         -59.0000     18.00%
1320.52/1325.21	c      1325           5876        5500         1         -50.0000         -59.0000     18.00%
1326.60/1331.31	c      1331           5905        5529         1         -50.0000         -59.0000     18.00%
1332.08/1336.81	c      1337           5944        5568         1         -50.0000         -59.0000     18.00%
1338.05/1342.86	c      1343           6005        5629         1         -50.0000         -59.0000     18.00%
1343.94/1348.76	c      1349           6072        5696         1         -50.0000         -59.0000     18.00%
1349.61/1354.45	c      1354           6133        5757         1         -50.0000         -59.0000     18.00%
1355.30/1360.15	c      1360           6191        5815         1         -50.0000         -59.0000     18.00%
1360.77/1365.62	c      1366           6243        5865         1         -50.0000         -59.0000     18.00%
1365.95/1370.88	c      1371           6284        5906         1         -50.0000         -59.0000     18.00%
1371.14/1376.10	c      1376           6337        5953         1         -50.0000         -59.0000     18.00%
1377.00/1381.90	c      1382           6380        5996         1         -50.0000         -59.0000     18.00%
1384.97/1390.01	c      1390           6416        6028         1         -50.0000         -59.0000     18.00%
1390.25/1395.29	c      1395           6434        6042         1         -50.0000         -59.0000     18.00%
1396.72/1401.73	c      1402           6435        6043         1         -50.0000         -59.0000     18.00%
1404.01/1409.11	c      1409           6455        6061         1         -50.0000         -59.0000     18.00%
1412.18/1417.27	c      1417           6473        6079         1         -50.0000         -59.0000     18.00%
1419.07/1424.15	c      1424           6482        6088         1         -50.0000         -59.0000     18.00%
1424.64/1429.75	c      1430           6510        6116         1         -50.0000         -59.0000     18.00%
1430.42/1435.50	c      1436           6531        6137         1         -50.0000         -59.0000     18.00%
1435.71/1440.84	c      1441           6578        6180         1         -50.0000         -59.0000     18.00%
1447.07/1452.26	c      1452           6595        6195         1         -50.0000         -59.0000     18.00%
1457.05/1462.21	c      1462           6633        6229         1         -50.0000         -59.0000     18.00%
1462.72/1467.99	c      1468           6658        6254         1         -50.0000         -59.0000     18.00%
1472.50/1477.80	c      1478           6673        6269         1         -50.0000         -59.0000     18.00%
1477.98/1483.26	c      1483           6731        6321         1         -50.0000         -59.0000     18.00%
1483.16/1488.47	c      1488           6739        6329         1         -50.0000         -59.0000     18.00%
1489.14/1494.44	c      1494           6787        6377         1         -50.0000         -59.0000     18.00%
1494.33/1499.70	c      1500           6832        6420         1         -50.0000         -59.0000     18.00%
1500.12/1505.45	c      1505           6893        6475         1         -50.0000         -59.0000     18.00%
1506.00/1511.37	c      1511           6933        6511         1         -50.0000         -59.0000     18.00%
1511.79/1517.18	c      1517           6955        6533         1         -50.0000         -59.0000     18.00%
1519.45/1524.85	c      1525           6973        6551         1         -50.0000         -59.0000     18.00%
1525.44/1530.89	c      1531           7006        6584         1         -50.0000         -59.0000     18.00%
1530.53/1535.94	c      1536           7037        6615         1         -50.0000         -59.0000     18.00%
1535.81/1541.26	c      1541           7094        6668         1         -50.0000         -59.0000     18.00%
1547.08/1552.55	c      1553           7130        6704         1         -50.0000         -59.0000     18.00%
1556.46/1562.01	c      1562           7148        6716         1         -50.0000         -59.0000     18.00%
1562.12/1567.69	c      1568           7193        6759         1         -50.0000         -59.0000     18.00%
1571.30/1576.84	c      1577           7247        6813         1         -50.0000         -59.0000     18.00%
1577.18/1582.74	c      1583           7287        6853         1         -50.0000         -59.0000     18.00%
1582.86/1588.48	c      1588           7335        6899         1         -50.0000         -59.0000     18.00%
1591.24/1596.89	c      1597           7341        6905         1         -50.0000         -59.0000     18.00%
1597.22/1602.85	c      1603           7364        6928         1         -50.0000         -59.0000     18.00%
1603.21/1608.88	c      1609           7412        6974         1         -50.0000         -59.0000     18.00%
1608.69/1614.39	c      1614           7438        7000         1         -50.0000         -59.0000     18.00%
1614.57/1620.29	c      1620           7504        7062         1         -50.0000         -59.0000     18.00%
1621.25/1627.01	c      1627           7512        7070         1         -50.0000         -59.0000     18.00%
1626.54/1632.27	c      1632           7576        7128         1         -50.0000         -59.0000     18.00%
1631.92/1637.63	c      1638           7634        7184         1         -50.0000         -59.0000     18.00%
1638.60/1644.30	c      1644           7641        7189         1         -50.0000         -59.0000     18.00%
1657.15/1662.93	c      1663           7705        7245         1         -50.0000         -59.0000     18.00%
1671.82/1677.65	c      1678           7715        7255         1         -50.0000         -59.0000     18.00%
1677.22/1683.04	c      1683           7765        7305         1         -50.0000         -59.0000     18.00%
1686.77/1692.63	c      1693           7799        7333         1         -50.0000         -59.0000     18.00%
1696.65/1702.53	c      1703           7842        7376         1         -50.0000         -59.0000     18.00%
1702.14/1708.09	c      1708           7892        7424         1         -50.0000         -59.0000     18.00%
1707.71/1713.62	c      1714           7958        7486         1         -50.0000         -59.0000     18.00%
1716.28/1722.23	c      1722           7990        7516         1         -50.0000         -59.0000     18.00%
1721.66/1727.61	c      1728           8060        7586         1         -50.0000         -59.0000     18.00%
1727.44/1733.46	c      1733           8124        7650         1         -50.0000         -59.0000     18.00%
1732.92/1738.90	c      1739           8197        7723         1         -50.0000         -59.0000     18.00%
1738.11/1744.19	c      1744           8259        7783         1         -50.0000         -59.0000     18.00%
1743.57/1749.62	c      1750           8348        7862         1         -50.0000         -59.0000     18.00%
1748.75/1754.85	c      1755           8420        7934         1         -50.0000         -59.0000     18.00%
1754.23/1760.39	c      1760           8436        7950         1         -50.0000         -59.0000     18.00%
1759.93/1766.10	c      1766           8518        8026         1         -50.0000         -59.0000     18.00%
1765.49/1771.66	c      1772           8578        8086         1         -50.0000         -59.0000     18.00%
1774.06/1780.24	c      1780           8640        8148         1         -50.0000         -59.0000     18.00%
1780.53/1786.71	c      1787           8652        8160         1         -50.0000         -59.0000     18.00%
1789.01/1795.27	c      1795           8711        8219         1         -50.0000         -59.0000     18.00%
1794.28/1800.54	c      1801           8742        8248         1         -50.0000         -59.0000     18.00%
1799.87/1806.18	c      1806           8828        8330         1         -50.0000         -59.0000     18.00%
1805.55/1811.88	c      1812           8888        8388         1         -50.0000         -59.0000     18.00%
1810.92/1817.21	c      1817           8928        8426         1         -50.0000         -59.0000     18.00%
1816.50/1822.81	c      1823           8966        8460         1         -50.0000         -59.0000     18.00%
1821.88/1828.23	c      1828           9021        8515         1         -50.0000         -59.0000     18.00%
1827.86/1834.21	c      1834           9076        8570         1         -50.0000         -59.0000     18.00%
1834.93/1841.31	c      1841           9146        8638         1         -50.0000         -59.0000     18.00%
1840.42/1846.84	c      1847           9164        8656         1         -50.0000         -59.0000     18.00%
1858.75/1865.23	c      1865           9214        8702         1         -50.0000         -59.0000     18.00%
1871.21/1877.73	c      1878           9242        8730         1         -50.0000         -59.0000     18.00%
1876.50/1883.06	c      1883           9299        8787         1         -50.0000         -59.0000     18.00%
1881.96/1888.58	c      1889           9355        8843         1         -50.0000         -59.0000     18.00%
1887.34/1894.01	c      1894           9420        8908         1         -50.0000         -59.0000     18.00%
1893.53/1900.17	c      1900           9498        8980         1         -50.0000         -59.0000     18.00%
1898.80/1905.49	c      1905           9552        9028         1         -50.0000         -59.0000     18.00%
1904.08/1910.72	c      1911           9627        9103         1         -50.0000         -59.0000     18.00%
1909.27/1915.94	c      1916           9697        9173         1         -50.0000         -59.0000     18.00%
1919.13/1925.86	c      1926           9724        9200         1         -50.0000         -59.0000     18.00%
1924.81/1931.51	c      1932           9797        9269         1         -50.0000         -59.0000     18.00%
1933.88/1940.66	c      1941           9825        9295         1         -50.0000         -59.0000     18.00%
1939.45/1946.29	c      1946           9877        9345         1         -50.0000         -59.0000     18.00%
1954.21/1961.10	c      1961           9901        9369         1         -50.0000         -59.0000     18.00%
1962.78/1969.67	c      1970           9928        9392         1         -50.0000         -59.0000     18.00%
1967.96/1974.89	c      1975           9932        9396         1         -50.0000         -59.0000     18.00%
1975.84/1982.79	c      1983           9947        9411         1         -50.0000         -59.0000     18.00%
1981.32/1988.29	c      1988           9987        9449         1         -50.0000         -59.0000     18.00%
1987.22/1994.18	c      1994          10040        9502         1         -50.0000         -59.0000     18.00%
1992.69/1999.62	c      2000          10115        9567         1         -50.0000         -59.0000     18.00%
1998.37/2005.37	c      2005          10163        9615         1         -50.0000         -59.0000     18.00%
2003.36/2010.38	c      2010          10206        9658         1         -50.0000         -59.0000     18.00%
2012.23/2019.28	c      2019          10225        9677         1         -50.0000         -59.0000     18.00%
2022.40/2029.44	c      2029          10229        9681         1         -50.0000         -59.0000     18.00%
2028.28/2035.32	c      2035          10245        9697         1         -50.0000         -59.0000     18.00%
2033.67/2040.72	c      2041          10254        9706         1         -50.0000         -59.0000     18.00%
2041.55/2048.65	c      2049          10271        9723         1         -50.0000         -59.0000     18.00%
2055.71/2062.80	c      2063          10289        9741         1         -50.0000         -59.0000     18.00%
2066.58/2073.78	c      2074          10307        9759         1         -50.0000         -59.0000     18.00%
2072.26/2079.47	c      2079          10355        9805         1         -50.0000         -59.0000     18.00%
2078.54/2085.71	c      2086          10404        9854         1         -50.0000         -59.0000     18.00%
2083.63/2090.85	c      2091          10419        9869         1         -50.0000         -59.0000     18.00%
2089.60/2096.80	c      2097          10461        9911         1         -50.0000         -59.0000     18.00%
2096.28/2103.53	c      2104          10507        9951         1         -50.0000         -59.0000     18.00%
2101.96/2109.25	c      2109          10552        9996         1         -50.0000         -59.0000     18.00%
2112.63/2119.96	c      2120          10581       10025         1         -50.0000         -59.0000     18.00%
2122.40/2129.71	c      2130          10593       10037         1         -50.0000         -59.0000     18.00%
2133.67/2141.05	c      2141          10624       10068         1         -50.0000         -59.0000     18.00%
2138.75/2146.12	c      2146          10684       10126         1         -50.0000         -59.0000     18.00%
2144.21/2151.62	c      2152          10730       10172         1         -50.0000         -59.0000     18.00%
2149.20/2156.65	c      2157          10781       10223         1         -50.0000         -59.0000     18.00%
2158.27/2165.76	c      2166          10827       10269         1         -50.0000         -59.0000     18.00%
2163.74/2171.29	c      2171          10890       10326         1         -50.0000         -59.0000     18.00%
2169.32/2176.89	c      2177          10940       10370         1         -50.0000         -59.0000     18.00%
2174.62/2182.14	c      2182          11013       10441         1         -50.0000         -59.0000     18.00%
2179.99/2187.50	c      2188          11061       10489         1         -50.0000         -59.0000     18.00%
2189.95/2197.59	c      2198          11092       10520         1         -50.0000         -59.0000     18.00%
2200.31/2207.96	c      2208          11151       10579         1         -50.0000         -59.0000     18.00%
2205.40/2213.06	c      2213          11184       10612         1         -50.0000         -59.0000     18.00%
2219.36/2227.08	c      2227          11206       10634         1         -50.0000         -59.0000     18.00%
2224.92/2232.67	c      2233          11258       10684         1         -50.0000         -59.0000     18.00%
2235.49/2243.25	c      2243          11264       10690         1         -50.0000         -59.0000     18.00%
2242.86/2250.69	c      2251          11299       10725         1         -50.0000         -59.0000     18.00%
2248.35/2256.20	c      2256          11365       10789         1         -50.0000         -59.0000     18.00%
2253.83/2261.66	c      2262          11394       10814         1         -50.0000         -59.0000     18.00%
2259.22/2267.09	c      2267          11440       10856         1         -50.0000         -59.0000     18.00%
2268.37/2276.27	c      2276          11483       10899         1         -50.0000         -59.0000     18.00%
2275.45/2283.34	c      2283          11539       10953         1         -50.0000         -59.0000     18.00%
2281.33/2289.21	c      2289          11580       10994         1         -50.0000         -59.0000     18.00%
2286.82/2294.76	c      2295          11594       11008         1         -50.0000         -59.0000     18.00%
2292.50/2300.42	c      2300          11613       11027         1         -50.0000         -59.0000     18.00%
2297.99/2305.91	c      2306          11698       11108         1         -50.0000         -59.0000     18.00%
2304.86/2312.87	c      2313          11762       11164         1         -50.0000         -59.0000     18.00%
2311.24/2319.24	c      2319          11814       11214         1         -50.0000         -59.0000     18.00%
2316.63/2324.66	c      2325          11877       11275         1         -50.0000         -59.0000     18.00%
2322.50/2330.58	c      2331          11925       11323         1         -50.0000         -59.0000     18.00%
2331.48/2339.50	c      2340          11971       11369         1         -50.0000         -59.0000     18.00%
2336.66/2344.71	c      2345          11981       11379         1         -50.0000         -59.0000     18.00%
2344.14/2352.25	c      2352          11990       11388         1         -50.0000         -59.0000     18.00%
2349.94/2358.07	c      2358          12008       11406         1         -50.0000         -59.0000     18.00%
2355.52/2363.62	c      2364          12027       11425         1         -50.0000         -59.0000     18.00%
2360.91/2369.03	c      2369          12082       11480         1         -50.0000         -59.0000     18.00%
2366.48/2374.60	c      2375          12148       11544         1         -50.0000         -59.0000     18.00%
2371.66/2379.87	c      2380          12207       11603         1         -50.0000         -59.0000     18.00%
2377.24/2385.44	c      2385          12267       11663         1         -50.0000         -59.0000     18.00%
2386.84/2395.07	c      2395          12282       11678         1         -50.0000         -59.0000     18.00%
2391.92/2400.15	c      2400          12332       11722         1         -50.0000         -59.0000     18.00%
2397.29/2405.57	c      2406          12383       11765         1         -50.0000         -59.0000     18.00%
2402.47/2410.71	c      2411          12447       11823         1         -50.0000         -59.0000     18.00%
2408.46/2416.78	c      2417          12496       11872         1         -50.0000         -59.0000     18.00%
2414.14/2422.41	c      2422          12535       11909         1         -50.0000         -59.0000     18.00%
2429.28/2437.62	c      2438          12566       11940         1         -50.0000         -59.0000     18.00%
2437.95/2446.39	c      2446          12609       11981         1         -50.0000         -59.0000     18.00%
2443.54/2451.96	c      2452          12687       12053         1         -50.0000         -59.0000     18.00%
2448.91/2457.31	c      2457          12716       12078         1         -50.0000         -59.0000     18.00%
2461.58/2470.08	c      2470          12768       12128         1         -50.0000         -59.0000     18.00%
2467.75/2476.29	c      2476          12808       12164         1         -50.0000         -59.0000     18.00%
2473.12/2481.62	c      2482          12854       12210         1         -50.0000         -59.0000     18.00%
2478.30/2486.89	c      2487          12894       12248         1         -50.0000         -59.0000     18.00%
2484.19/2492.73	c      2493          12968       12318         1         -50.0000         -59.0000     18.00%
2490.07/2498.67	c      2499          13023       12367         1         -50.0000         -59.0000     18.00%
2495.14/2503.79	c      2504          13072       12414         1         -50.0000         -59.0000     18.00%
2505.01/2513.69	c      2514          13090       12432         1         -50.0000         -59.0000     18.00%
2511.69/2520.32	c      2520          13120       12460         1         -50.0000         -59.0000     18.00%
2517.37/2526.10	c      2526          13182       12514         1         -50.0000         -59.0000     18.00%
2523.36/2532.08	c      2532          13205       12537         1         -50.0000         -59.0000     18.00%
2528.62/2537.34	c      2537          13262       12594         1         -50.0000         -59.0000     18.00%
2534.20/2542.90	c      2543          13313       12643         1         -50.0000         -59.0000     18.00%
2547.76/2556.56	c      2557          13317       12643         1         -50.0000         -59.0000     18.00%
2556.43/2565.25	c      2565          13386       12708         1         -50.0000         -59.0000     18.00%
2563.71/2572.57	c      2573          13387       12709         1         -50.0000         -59.0000     18.00%
2569.88/2578.74	c      2579          13439       12757         1         -50.0000         -59.0000     18.00%
2575.06/2584.01	c      2584          13515       12829         1         -50.0000         -59.0000     18.00%
2581.04/2589.92	c      2590          13548       12860         1         -50.0000         -59.0000     18.00%
2586.42/2595.32	c      2595          13616       12926         1         -50.0000         -59.0000     18.00%
2591.50/2600.49	c      2600          13698       13002         1         -50.0000         -59.0000     18.00%
2598.67/2607.68	c      2608          13711       13015         1         -50.0000         -59.0000     18.00%
2612.04/2621.08	c      2621          13749       13047         1         -50.0000         -59.0000     18.00%
2618.02/2627.07	c      2627          13804       13096         1         -50.0000         -59.0000     18.00%
2623.69/2632.74	c      2633          13866       13156         1         -50.0000         -59.0000     18.00%
2628.77/2637.89	c      2638          13951       13229         1         -50.0000         -59.0000     18.00%
2634.65/2643.79	c      2644          14000       13278         1         -50.0000         -59.0000     18.00%
2639.74/2648.84	c      2649          14023       13299         1         -50.0000         -59.0000     18.00%
2644.94/2654.03	c      2654          14090       13366         1         -50.0000         -59.0000     18.00%
2653.40/2662.53	c      2663          14138       13414         1         -50.0000         -59.0000     18.00%
2658.39/2667.56	c      2668          14185       13461         1         -50.0000         -59.0000     18.00%
2664.46/2673.69	c      2674          14251       13525         1         -50.0000         -59.0000     18.00%
2676.95/2686.12	c      2686          14278       13552         1         -50.0000         -59.0000     18.00%
2689.30/2698.54	c      2699          14328       13600         1         -50.0000         -59.0000     18.00%
2696.48/2705.77	c      2706          14387       13659         1         -50.0000         -59.0000     18.00%
2701.96/2711.25	c      2711          14443       13713         1         -50.0000         -59.0000     18.00%
2707.76/2717.11	c      2717          14527       13791         1         -50.0000         -59.0000     18.00%
2725.10/2734.45	c      2734          14573       13831         1         -50.0000         -59.0000     18.00%
2730.88/2740.22	c      2740          14629       13883         1         -50.0000         -59.0000     18.00%
2742.96/2752.39	c      2752          14655       13909         1         -50.0000         -59.0000     18.00%
2748.14/2757.53	c      2758          14698       13952         1         -50.0000         -59.0000     18.00%
2753.92/2763.32	c      2763          14745       13999         1         -50.0000         -59.0000     18.00%
2760.01/2769.44	c      2769          14818       14064         1         -50.0000         -59.0000     18.00%
2765.39/2774.85	c      2775          14866       14106         1         -50.0000         -59.0000     18.00%
2771.47/2780.95	c      2781          14931       14171         1         -50.0000         -59.0000     18.00%
2778.56/2788.02	c      2788          14968       14208         1         -50.0000         -59.0000     18.00%
2783.93/2793.45	c      2793          15031       14271         1         -50.0000         -59.0000     18.00%
2789.12/2798.65	c      2799          15067       14307         1         -50.0000         -59.0000     18.00%
2795.00/2804.53	c      2805          15120       14358         1         -50.0000         -59.0000     18.00%
2802.38/2811.99	c      2812          15178       14414         1         -50.0000         -59.0000     18.00%
2808.26/2817.89	c      2818          15235       14471         1         -50.0000         -59.0000     18.00%
2814.24/2823.85	c      2824          15300       14534         1         -50.0000         -59.0000     18.00%
2819.33/2828.91	c      2829          15319       14553         1         -50.0000         -59.0000     18.00%
2824.72/2834.37	c      2834          15342       14574         1         -50.0000         -59.0000     18.00%
2829.99/2839.65	c      2840          15401       14633         1         -50.0000         -59.0000     18.00%
2836.88/2846.54	c      2847          15413       14645         1         -50.0000         -59.0000     18.00%
2845.95/2855.69	c      2856          15467       14697         1         -50.0000         -59.0000     18.00%
2851.63/2861.34	c      2861          15531       14759         1         -50.0000         -59.0000     18.00%
2856.82/2866.52	c      2867          15574       14802         1         -50.0000         -59.0000     18.00%
2862.50/2872.30	c      2872          15607       14833         1         -50.0000         -59.0000     18.00%
2868.68/2878.41	c      2878          15621       14845         1         -50.0000         -59.0000     18.00%
2874.38/2884.18	c      2884          15658       14878         1         -50.0000         -59.0000     18.00%
2879.75/2889.51	c      2890          15724       14942         1         -50.0000         -59.0000     18.00%
2885.73/2895.52	c      2896          15756       14972         1         -50.0000         -59.0000     18.00%
2891.52/2901.32	c      2901          15797       15013         1         -50.0000         -59.0000     18.00%
2897.21/2907.10	c      2907          15844       15060         1         -50.0000         -59.0000     18.00%
2903.38/2913.25	c      2913          15910       15124         1         -50.0000         -59.0000     18.00%
2909.36/2919.24	c      2919          15943       15155         1         -50.0000         -59.0000     18.00%
2914.95/2924.82	c      2925          16001       15207         1         -50.0000         -59.0000     18.00%
2921.14/2931.01	c      2931          16043       15249         1         -50.0000         -59.0000     18.00%
2932.21/2942.17	c      2942          16077       15283         1         -50.0000         -59.0000     18.00%
2940.57/2950.58	c      2951          16119       15323         1         -50.0000         -59.0000     18.00%
2950.55/2960.57	c      2961          16156       15358         1         -50.0000         -59.0000     18.00%
2956.04/2966.02	c      2966          16177       15375         1         -50.0000         -59.0000     18.00%
2961.81/2971.80	c      2972          16227       15419         1         -50.0000         -59.0000     18.00%
2969.88/2980.01	c      2980          16266       15456         1         -50.0000         -59.0000     18.00%
2977.16/2987.20	c      2987          16287       15477         1         -50.0000         -59.0000     18.00%
2982.84/2992.91	c      2993          16358       15542         1         -50.0000         -59.0000     18.00%
2988.23/2998.31	c      2998          16401       15585         1         -50.0000         -59.0000     18.00%
2993.81/3003.90	c      3004          16452       15636         1         -50.0000         -59.0000     18.00%
2999.31/3009.47	c      3009          16514       15698         1         -50.0000         -59.0000     18.00%
3004.68/3014.88	c      3015          16580       15762         1         -50.0000         -59.0000     18.00%
3010.99/3021.17	c      3021          16622       15804         1         -50.0000         -59.0000     18.00%
3018.05/3028.28	c      3028          16695       15873         1         -50.0000         -59.0000     18.00%
3023.44/3033.68	c      3034          16768       15946         1         -50.0000         -59.0000     18.00%
3030.83/3041.09	c      3041          16798       15974         1         -50.0000         -59.0000     18.00%
3046.28/3056.59	c      3057          16822       15996         1         -50.0000         -59.0000     18.00%
3052.45/3062.78	c      3063          16882       16046         1         -50.0000         -59.0000     18.00%
3057.85/3068.15	c      3068          16922       16086         1         -50.0000         -59.0000     18.00%
3063.42/3073.77	c      3074          16997       16159         1         -50.0000         -59.0000     18.00%
3069.01/3079.39	c      3079          17064       16224         1         -50.0000         -59.0000     18.00%
3074.59/3084.98	c      3085          17137       16295         1         -50.0000         -59.0000     18.00%
3085.17/3095.51	c      3096          17151       16309         1         -50.0000         -59.0000     18.00%
3090.54/3100.94	c      3101          17224       16380         1         -50.0000         -59.0000     18.00%
3096.03/3106.45	c      3106          17249       16405         1         -50.0000         -59.0000     18.00%
3101.52/3111.96	c      3112          17321       16475         1         -50.0000         -59.0000     18.00%
3106.80/3117.23	c      3117          17368       16520         1         -50.0000         -59.0000     18.00%
3111.99/3122.41	c      3122          17438       16590         1         -50.0000         -59.0000     18.00%
3120.17/3130.68	c      3131          17460       16610         1         -50.0000         -59.0000     18.00%
3125.45/3135.96	c      3136          17534       16684         1         -50.0000         -59.0000     18.00%
3131.64/3142.15	c      3142          17579       16729         1         -50.0000         -59.0000     18.00%
3137.12/3147.69	c      3148          17613       16759         1         -50.0000         -59.0000     18.00%
3142.40/3152.96	c      3153          17692       16832         1         -50.0000         -59.0000     18.00%
3147.60/3158.15	c      3158          17774       16902         1         -50.0000         -59.0000     18.00%
3157.76/3168.38	c      3168          17816       16942         1         -50.0000         -59.0000     18.00%
3166.84/3177.44	c      3177          17838       16964         1         -50.0000         -59.0000     18.00%
3174.82/3185.47	c      3185          17893       17015         1         -50.0000         -59.0000     18.00%
3184.79/3195.46	c      3195          17930       17048         1         -50.0000         -59.0000     18.00%
3192.27/3202.98	c      3203          17979       17093         1         -50.0000         -59.0000     18.00%
3197.47/3208.12	c      3208          18070       17176         1         -50.0000         -59.0000     18.00%
3202.54/3213.21	c      3213          18145       17249         1         -50.0000         -59.0000     18.00%
3208.34/3219.09	c      3219          18168       17272         1         -50.0000         -59.0000     18.00%
3213.61/3224.38	c      3224          18248       17350         1         -50.0000         -59.0000     18.00%
3218.99/3229.70	c      3230          18338       17438         1         -50.0000         -59.0000     18.00%
3224.39/3235.13	c      3235          18423       17523         1         -50.0000         -59.0000     18.00%
3229.66/3240.44	c      3240          18503       17599         1         -50.0000         -59.0000     18.00%
3234.75/3245.52	c      3246          18554       17650         1         -50.0000         -59.0000     18.00%
3243.92/3254.71	c      3255          18620       17716         1         -50.0000         -59.0000     18.00%
3249.41/3260.26	c      3260          18710       17800         1         -50.0000         -59.0000     18.00%
3261.77/3272.62	c      3273          18753       17841         1         -50.0000         -59.0000     18.00%
3267.06/3277.90	c      3278          18824       17912         1         -50.0000         -59.0000     18.00%
3273.04/3283.92	c      3284          18909       17997         1         -50.0000         -59.0000     18.00%
3285.81/3296.70	c      3297          18967       18051         1         -50.0000         -59.0000     18.00%
3296.68/3307.65	c      3308          18990       18074         1         -50.0000         -59.0000     18.00%
3302.17/3313.18	c      3313          19065       18145         1         -50.0000         -59.0000     18.00%
3307.44/3318.44	c      3318          19101       18181         1         -50.0000         -59.0000     18.00%
3318.31/3329.31	c      3329          19155       18233         1         -50.0000         -59.0000     18.00%
3323.91/3334.94	c      3335          19232       18310         1         -50.0000         -59.0000     18.00%
3331.19/3342.21	c      3342          19249       18321         1         -50.0000         -59.0000     18.00%
3336.57/3347.60	c      3348          19287       18349         1         -50.0000         -59.0000     18.00%
3341.65/3352.73	c      3353          19354       18414         1         -50.0000         -59.0000     18.00%
3347.24/3358.34	c      3358          19422       18480         1         -50.0000         -59.0000     18.00%
3352.53/3363.64	c      3364          19438       18496         1         -50.0000         -59.0000     18.00%
3357.72/3368.85	c      3369          19465       18521         1         -50.0000         -59.0000     18.00%
3363.50/3374.68	c      3375          19522       18578         1         -50.0000         -59.0000     18.00%
3378.26/3389.48	c      3389          19548       18600         1         -50.0000         -59.0000     18.00%
3383.96/3395.18	c      3395          19627       18679         1         -50.0000         -59.0000     18.00%
3389.84/3401.07	c      3401          19696       18738         1         -50.0000         -59.0000     18.00%
3399.92/3411.11	c      3411          19734       18774         1         -50.0000         -59.0000     18.00%
3405.29/3416.57	c      3417          19757       18791         1         -50.0000         -59.0000     18.00%
3410.48/3421.79	c      3422          19785       18819         1         -50.0000         -59.0000     18.00%
3415.78/3427.05	c      3427          19870       18900         1         -50.0000         -59.0000     18.00%
3420.95/3432.22	c      3432          19945       18973         1         -50.0000         -59.0000     18.00%
3426.43/3437.79	c      3438          20016       19040         1         -50.0000         -59.0000     18.00%
3432.83/3444.16	c      3444          20055       19079         1         -50.0000         -59.0000     18.00%
3438.11/3449.49	c      3449          20101       19125         1         -50.0000         -59.0000     18.00%
3444.80/3456.12	c      3456          20157       19177         1         -50.0000         -59.0000     18.00%
3450.87/3462.21	c      3462          20176       19196         1         -50.0000         -59.0000     18.00%
3456.95/3468.35	c      3468          20240       19256         1         -50.0000         -59.0000     18.00%
3463.64/3475.09	c      3475          20273       19289         1         -50.0000         -59.0000     18.00%
3474.80/3486.23	c      3486          20308       19324         1         -50.0000         -59.0000     18.00%
3480.19/3491.61	c      3492          20385       19401         1         -50.0000         -59.0000     18.00%
3485.27/3496.73	c      3497          20461       19477         1         -50.0000         -59.0000     18.00%
3490.57/3502.10	c      3502          20536       19550         1         -50.0000         -59.0000     18.00%
3496.25/3507.77	c      3508          20572       19582         1         -50.0000         -59.0000     18.00%
3505.42/3517.01	c      3517          20633       19641         1         -50.0000         -59.0000     18.00%
3510.90/3522.42	c      3522          20716       19722         1         -50.0000         -59.0000     18.00%
3515.99/3527.54	c      3528          20738       19740         1         -50.0000         -59.0000     18.00%
3521.67/3533.24	c      3533          20809       19803         1         -50.0000         -59.0000     18.00%
3526.76/3538.37	c      3538          20851       19839         1         -50.0000         -59.0000     18.00%
3532.64/3544.20	c      3544          20874       19862         1         -50.0000         -59.0000     18.00%
3553.29/3565.01	c      3565          20942       19920         1         -50.0000         -59.0000     18.00%
3559.67/3571.39	c      3571          20993       19965         1         -50.0000         -59.0000     18.00%
3565.16/3576.85	c      3577          21058       20028         1         -50.0000         -59.0000     18.00%
3568.36/3580.05	c *    3580          21091       20057         1         -51.0000         -59.0000     15.69%
3570.45/3582.18	c      3582          21136       19174         1         -51.0000         -59.0000     15.69%
3584.60/3596.39	c      3596          21201       19237         1         -51.0000         -59.0000     15.69%
3588.78/3600.55	c SCIP Status        : c solving was interrupted [hard time limit reached]
3588.78/3600.55	c Total Time         : 3600.55
3588.78/3600.55	c   solving          : 3600.55
3588.78/3600.55	c   presolving       : 3.47 (included in solving)
3588.78/3600.55	c B&B Tree           :
3588.78/3600.55	c   nodes (total)    : 1
3588.78/3600.55	c Solution           :
3588.78/3600.55	c   Solutions found  : 11
3588.78/3600.55	c   Primal Bound     : -5.10000000000000e+01
3588.78/3600.55	c   Dual Bound       : -5.90000000000000e+01
3588.78/3600.55	c Gap                : 15.68627 %
3588.78/3600.55	c * Warning: final gap: 1.56863e-01 is greater than SCIPepsilon: 1.00000e-09
3588.89/3600.62	o -51
3588.89/3600.62	s SATISFIABLE
3588.89/3600.62	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 
3588.89/3600.62	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 
3588.89/3600.62	v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 
3588.89/3600.62	v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 
3588.89/3600.62	v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 
3588.89/3600.62	v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 
3588.89/3600.62	v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 
3588.89/3600.62	v -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 
3588.89/3600.62	v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 
3588.89/3600.62	v -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 
3588.89/3600.62	v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 
3588.89/3600.62	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 
3588.89/3600.62	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 
3588.89/3600.62	v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 
3588.89/3600.62	v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 
3588.89/3600.62	v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 
3588.89/3600.62	v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 
3588.89/3600.62	v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 
3588.89/3600.62	v -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 
3588.89/3600.62	v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 
3588.89/3600.62	v x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 
3588.89/3600.62	v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 
3588.89/3600.62	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 
3588.89/3600.62	v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 
3588.89/3600.62	v -x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 
3588.89/3600.62	v -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 
3588.89/3600.62	v -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 
3588.89/3600.62	v -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 
3588.89/3600.62	v -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 
3588.89/3600.62	v -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 
3588.89/3600.62	v -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 
3588.89/3600.62	v -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 
3588.89/3600.62	v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 
3588.89/3600.62	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 
3588.89/3600.62	v -x732 -x733 -x734 -x735 -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 
3588.89/3600.62	v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 
3588.89/3600.62	v -x774 -x775 -x776 -x777 -x778 x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 
3588.89/3600.62	v -x795 -x796 -x797 -x798 -x799 -x800 -x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 
3588.89/3600.62	v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 x833 -x834 -x835 -x836 
3588.89/3600.62	v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 
3588.89/3600.62	v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 
3588.89/3600.62	v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 
3588.89/3600.62	v -x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 
3588.89/3600.62	v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 
3588.89/3600.62	v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 
3588.89/3600.62	v -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 
3588.89/3600.62	v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 
3588.89/3600.62	v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 
3588.89/3600.62	v -x1022 -x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 
3588.89/3600.62	v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 
3588.89/3600.62	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 
3588.89/3600.62	v -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 
3588.89/3600.62	v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 -x1110 -x1111 
3588.89/3600.62	v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 
3588.89/3600.62	v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 x1143 -x1144 -x1145 -x1146 -x1147 
3588.89/3600.62	v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 
3588.89/3600.62	v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 
3588.89/3600.62	v -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 
3588.89/3600.62	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 
3588.89/3600.62	v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 
3588.89/3600.62	v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 
3588.89/3600.62	v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 
3588.89/3600.62	v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 
3588.89/3600.62	v -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 
3589.18/3600.90	v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 
3589.18/3600.90	v x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 
3589.18/3600.90	v -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 
3589.18/3600.90	v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 
3589.18/3600.90	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 
3589.18/3600.90	v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 
3589.18/3600.90	v -x1416 -x1417 -x1418 -x1419 x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 
3589.18/3600.90	v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 
3589.18/3600.90	v -x1452 -x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 
3589.18/3600.90	v -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 
3589.18/3600.90	v -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 x1502 -x1503 -x1504 -x1505 
3589.18/3600.90	v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 
3589.18/3600.90	v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 

Verifier Data

OK	-51

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=804285, runsolver pid=804282

[startup+0.100752 s]*
/proc/loadavg: 4.15 4.15 4.15 5/249 804286
/proc/meminfo: memFree=121973840/131655788 swapFree=131071996/131071996
[pid=804285] ppid=804282 vsize=36076 memory=24492 CPUtime=0.09 cores=1,3
/proc/804285/stat : 804285 (fscip) R 804282 804285 797687 0 -1 4194304 4042 0 0 0 8 1 0 0 20 0 1 0 158050814 36941824 6123 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
/proc/804285/statm: 9019 6123 2318 3032 0 5419 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36076 KiB
Current children cumulated memory: 24492 KiB

[startup+0.217752 s]*
/proc/loadavg: 4.15 4.15 4.15 6/249 804286
/proc/meminfo: memFree=121961408/131655788 swapFree=131071996/131071996
[pid=804285] ppid=804282 vsize=48516 memory=36800 CPUtime=0.19 cores=1,3
/proc/804285/stat : 804285 (fscip) R 804282 804285 797687 0 -1 4194304 7082 0 0 0 17 2 0 0 20 0 1 0 158050814 49680384 9200 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
/proc/804285/statm: 12129 9200 2318 3032 0 8529 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 48516 KiB
Current children cumulated memory: 36800 KiB

[startup+0.31475 s]*
/proc/loadavg: 4.15 4.15 4.15 5/249 804286
/proc/meminfo: memFree=121950992/131655788 swapFree=131071996/131071996
[pid=804285] ppid=804282 vsize=60524 memory=48192 CPUtime=0.28 cores=1,3
/proc/804285/stat : 804285 (fscip) R 804282 804285 797687 0 -1 4194304 9951 0 0 0 26 2 0 0 20 0 1 0 158050814 61976576 12048 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
/proc/804285/statm: 15131 12048 2318 3032 0 11531 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 60524 KiB
Current children cumulated memory: 48192 KiB

[startup+0.700267 s]
/proc/loadavg: 4.15 4.15 4.15 5/249 804286
/proc/meminfo: memFree=121924840/131655788 swapFree=131071996/131071996
[pid=804285] ppid=804282 vsize=137308 memory=126352 CPUtime=0.64 cores=1,3
/proc/804285/stat : 804285 (fscip) R 804282 804285 797687 0 -1 4194304 30052 0 0 0 56 8 0 0 20 0 1 0 158050814 140603392 31588 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
/proc/804285/statm: 34327 31588 2558 3032 0 30727 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 137308 KiB
Current children cumulated memory: 126352 KiB

[startup+1.50034 s]
/proc/loadavg: 4.15 4.15 4.15 5/249 804286
/proc/meminfo: memFree=121827764/131655788 swapFree=131071996/131071996
[pid=804285] ppid=804282 vsize=263880 memory=250360 CPUtime=1.43 cores=1,3
/proc/804285/stat : 804285 (fscip) R 804282 804285 797687 0 -1 4194304 57158 0 0 0 128 15 0 0 20 0 1 0 158050814 270213120 62590 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
/proc/804285/statm: 65970 62590 2654 3032 0 62370 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 263880 KiB
Current children cumulated memory: 250360 KiB

[startup+3.11377 s]
/proc/loadavg: 4.14 4.15 4.15 5/249 804286
/proc/meminfo: memFree=121745376/131655788 swapFree=131071996/131071996
[pid=804285] ppid=804282 vsize=267308 memory=253460 CPUtime=3.04 cores=1,3
/proc/804285/stat : 804285 (fscip) R 804282 804285 797687 0 -1 4194304 71377 0 0 0 286 18 0 0 20 0 1 0 158050814 273723392 63365 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
/proc/804285/statm: 66827 63365 2686 3032 0 63227 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 267308 KiB
Current children cumulated memory: 253460 KiB

[startup+6.30038 s]
/proc/loadavg: 4.14 4.15 4.15 5/251 804288
/proc/meminfo: memFree=121334552/131655788 swapFree=131071996/131071996
[pid=804285] ppid=804282 vsize=801248 memory=708800 CPUtime=6.21 cores=1,3
/proc/804285/stat : 804285 (fscip) S 804282 804285 797687 0 -1 1077936128 165025 0 0 0 581 40 0 0 20 0 3 0 158050814 820477952 177200 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
/proc/804285/statm: 200312 177200 2782 3032 0 193406 0
[pid=804285/tid=804287] ppid=804282 vsize=801248 memory=-6154283713894202218 CPUtime=1.76 cores=1,3
/proc/804285/task/804287/stat : 804287 (fscip) R 804282 804285 797687 0 -1 4194368 67574 0 0 0 162 14 0 0 20 0 3 0 158051245 820477952 177200 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
[pid=804285/tid=804288] ppid=804282 vsize=801248 memory=626424 CPUtime=0 cores=1,3
/proc/804285/task/804288/stat : 804288 (fscip) S 804282 804285 797687 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 158051301 820477952 177200 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 801248 KiB
Current children cumulated memory: 708800 KiB

[startup+12.7004 s]
/proc/loadavg: 4.13 4.14 4.15 5/251 804290
/proc/meminfo: memFree=120960172/131655788 swapFree=131071996/131071996
[pid=804285] ppid=804282 vsize=1241440 memory=1042396 CPUtime=12.59 cores=1,3
/proc/804285/stat : 804285 (fscip) S 804282 804285 797687 0 -1 1077936128 226714 0 0 0 1208 51 0 0 20 0 3 0 158050814 1271234560 260599 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
/proc/804285/statm: 310360 260599 2958 3032 0 293718 0
[pid=804285/tid=804287] ppid=804282 vsize=1241440 memory=11420 CPUtime=8.13 cores=1,3
/proc/804285/task/804287/stat : 804287 (fscip) R 804282 804285 797687 0 -1 4194368 128932 0 0 0 788 25 0 0 20 0 3 0 158051245 1271234560 260599 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
[pid=804285/tid=804288] ppid=804282 vsize=1241440 memory=1027900 CPUtime=0 cores=1,3
/proc/804285/task/804288/stat : 804288 (fscip) S 804282 804285 797687 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 158051301 1271234560 260599 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 1241440 KiB
Current children cumulated memory: 1042396 KiB

[startup+25.5004 s]
/proc/loadavg: 4.10 4.14 4.15 5/251 804291
/proc/meminfo: memFree=120915624/131655788 swapFree=131071996/131071996
[pid=804285] ppid=804282 vsize=1241440 memory=1047844 CPUtime=25.35 cores=1,3
/proc/804285/stat : 804285 (fscip) S 804282 804285 797687 0 -1 1077936128 268374 0 0 0 2481 54 0 0 20 0 3 0 158050814 1271234560 261961 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
/proc/804285/statm: 310360 261961 2958 3032 0 300989 0
[pid=804285/tid=804287] ppid=804282 vsize=1241440 memory=1047824 CPUtime=20.89 cores=1,3
/proc/804285/task/804287/stat : 804287 (fscip) R 804282 804285 797687 0 -1 4194368 170588 0 0 0 2061 28 0 0 20 0 3 0 158051245 1271234560 261961 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
[pid=804285/tid=804288] ppid=804282 vsize=1241440 memory=1047824 CPUtime=0 cores=1,3
/proc/804285/task/804288/stat : 804288 (fscip) S 804282 804285 797687 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 158051301 1271234560 261961 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 1241440 KiB
Current children cumulated memory: 1047844 KiB

[startup+51.1136 s]
/proc/loadavg: 4.06 4.13 4.14 5/249 804296
/proc/meminfo: memFree=120885528/131655788 swapFree=131071996/131071996
[pid=804285] ppid=804282 vsize=1437516 memory=1056248 CPUtime=50.89 cores=1,3
/proc/804285/stat : 804285 (fscip) S 804282 804285 797687 0 -1 1077936128 352998 0 0 0 5029 60 0 0 20 0 3 0 158050814 1472016384 264062 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
/proc/804285/statm: 359379 264062 2958 3032 0 352895 0
[pid=804285/tid=804287] ppid=804282 vsize=1437516 memory=-6154283713894202218 CPUtime=46.43 cores=1,3
/proc/804285/task/804287/stat : 804287 (fscip) R 804282 804285 797687 0 -1 4194368 255200 0 0 0 4609 34 0 0 20 0 3 0 158051245 1472016384 264062 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
[pid=804285/tid=804288] ppid=804282 vsize=1437516 memory=11420 CPUtime=0 cores=1,3
/proc/804285/task/804288/stat : 804288 (fscip) S 804282 804285 797687 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 158051301 1472016384 264062 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1437516 KiB
Current children cumulated memory: 1056248 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/249 804304
/proc/meminfo: memFree=120590520/131655788 swapFree=131071996/131071996
[pid=804285] ppid=804282 vsize=1699660 memory=1205584 CPUtime=101.93 cores=1,3
/proc/804285/stat : 804285 (fscip) S 804282 804285 797687 0 -1 1077936128 507817 0 0 0 10120 73 0 0 20 0 3 0 158050814 1740451840 301396 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
/proc/804285/statm: 424915 301396 2958 3032 0 414284 0
[pid=804285/tid=804287] ppid=804282 vsize=1699660 memory=11420 CPUtime=97.47 cores=1,3
/proc/804285/task/804287/stat : 804287 (fscip) R 804282 804285 797687 0 -1 4194368 409255 0 0 0 9700 47 0 0 20 0 3 0 158051245 1740451840 301396 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
[pid=804285/tid=804288] ppid=804282 vsize=1699660 memory=42444 CPUtime=0 cores=1,3
/proc/804285/task/804288/stat : 804288 (fscip) S 804282 804285 797687 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 158051301 1740451840 301396 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1699660 KiB
Current children cumulated memory: 1205584 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.11 4.13 5/249 804315
/proc/meminfo: memFree=120496344/131655788 swapFree=131071996/131071996
[pid=804285] ppid=804282 vsize=1699660 memory=1206040 CPUtime=161.74 cores=1,3
/proc/804285/stat : 804285 (fscip) S 804282 804285 797687 0 -1 1077936128 554259 0 0 0 16097 77 0 0 20 0 3 0 158050814 1740451840 301510 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
/proc/804285/statm: 424915 301510 2958 3032 0 414284 0
[pid=804285/tid=804287] ppid=804282 vsize=1699660 memory=1205588 CPUtime=157.26 cores=1,3
/proc/804285/task/804287/stat : 804287 (fscip) R 804282 804285 797687 0 -1 4194368 455606 0 0 0 15676 50 0 0 20 0 3 0 158051245 1740451840 301510 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
[pid=804285/tid=804288] ppid=804282 vsize=1699660 memory=1206036 CPUtime=0 cores=1,3
/proc/804285/task/804288/stat : 804288 (fscip) S 804282 804285 797687 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 158051301 1740451840 301510 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 1699660 KiB
Current children cumulated memory: 1206040 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/251 804496
/proc/meminfo: memFree=120379184/131655788 swapFree=131071996/131071996
[pid=804285] ppid=804282 vsize=1812552 memory=1267308 CPUtime=221.55 cores=1,3
/proc/804285/stat : 804285 (fscip) S 804282 804285 797687 0 -1 1077936128 712811 0 0 0 22064 91 0 0 20 0 3 0 158050814 1856053248 316827 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
/proc/804285/statm: 453138 316827 2958 3032 0 444019 0
[pid=804285/tid=804287] ppid=804282 vsize=1812552 memory=1291124 CPUtime=217.08 cores=1,3
/proc/804285/task/804287/stat : 804287 (fscip) R 804282 804285 797687 0 -1 4194368 614107 0 0 0 21644 64 0 0 20 0 3 0 158051245 1856053248 316827 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
[pid=804285/tid=804288] ppid=804282 vsize=1812552 memory=1267300 CPUtime=0 cores=1,3
/proc/804285/task/804288/stat : 804288 (fscip) S 804282 804285 797687 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 158051301 1856053248 316827 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 1812552 KiB
Current children cumulated memory: 1267308 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 4.10 4.12 5/251 804506
/proc/meminfo: memFree=120289416/131655788 swapFree=131071996/131071996
[pid=804285] ppid=804282 vsize=1919124 memory=1281312 CPUtime=281.34 cores=1,3
/proc/804285/stat : 804285 (fscip) S 804282 804285 797687 0 -1 1077936128 801350 0 0 0 28035 99 0 0 20 0 3 0 158050814 1965182976 320328 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
/proc/804285/statm: 479781 320328 2958 3032 0 470662 0
[pid=804285/tid=804287] ppid=804282 vsize=1919124 memory=1279232 CPUtime=276.86 cores=1,3
/proc/804285/task/804287/stat : 804287 (fscip) R 804282 804285 797687 0 -1 4194368 702306 0 0 0 27614 72 0 0 20 0 3 0 158051245 1965182976 320328 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0

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

/proc/loadavg: 1.10 1.51 2.43 2/225 805808
/proc/meminfo: memFree=122202356/131655788 swapFree=131071996/131071996
[pid=804285] ppid=804282 vsize=3495500 memory=2587820 CPUtime=3450.97 cores=1,3
/proc/804285/stat : 804285 (fscip) S 804282 804285 797687 0 -1 1077936128 5032826 0 0 0 344664 433 0 0 20 0 3 0 158050814 3579392000 646955 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
/proc/804285/statm: 873875 646955 3278 3032 0 858797 0
[pid=804285/tid=804287] ppid=804282 vsize=3495500 memory=2587756 CPUtime=3446.27 cores=1,3
/proc/804285/task/804287/stat : 804287 (fscip) R 804282 804285 797687 0 -1 4194368 4931323 0 0 0 344230 397 0 0 20 0 3 0 158051245 3579392000 646955 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
[pid=804285/tid=804288] ppid=804282 vsize=3495500 memory=2587760 CPUtime=0.04 cores=1,3
/proc/804285/task/804288/stat : 804288 (fscip) S 804282 804285 797687 0 -1 1077936192 153 0 0 0 1 3 0 0 20 0 3 0 158051301 3579392000 646955 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
Current children cumulated CPU time: 3450.97 s
Current children cumulated vsize: 3495500 KiB
Current children cumulated memory: 2587820 KiB

[startup+3522.3 s]
/proc/loadavg: 1.08 1.43 2.34 2/225 805818
/proc/meminfo: memFree=122055448/131655788 swapFree=131071996/131071996
[pid=804285] ppid=804282 vsize=3561036 memory=2734424 CPUtime=3510.8 cores=1,3
/proc/804285/stat : 804285 (fscip) S 804282 804285 797687 0 -1 1077936128 5161329 0 0 0 350633 447 0 0 20 0 3 0 158050814 3646500864 683606 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
/proc/804285/statm: 890259 683606 3278 3032 0 875018 0
[pid=804285/tid=804287] ppid=804282 vsize=3561036 memory=2587760 CPUtime=3506.11 cores=1,3
/proc/804285/task/804287/stat : 804287 (fscip) R 804282 804285 797687 0 -1 4194368 5059793 0 0 0 350200 411 0 0 20 0 3 0 158051245 3646500864 683606 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
[pid=804285/tid=804288] ppid=804282 vsize=3561036 memory=2734372 CPUtime=0.05 cores=1,3
/proc/804285/task/804288/stat : 804288 (fscip) S 804282 804285 797687 0 -1 1077936192 155 0 0 0 1 4 0 0 20 0 3 0 158051301 3646500864 683606 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
Current children cumulated CPU time: 3510.8 s
Current children cumulated vsize: 3561036 KiB
Current children cumulated memory: 2734424 KiB

[startup+3582.3 s]
/proc/loadavg: 1.09 1.36 2.26 2/225 805829
/proc/meminfo: memFree=122040592/131655788 swapFree=131071996/131071996
[pid=804285] ppid=804282 vsize=3561036 memory=2748980 CPUtime=3570.64 cores=1,3
/proc/804285/stat : 804285 (fscip) S 804282 804285 797687 0 -1 1077936128 5269026 0 0 0 356609 455 0 0 20 0 3 0 158050814 3646500864 687245 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
/proc/804285/statm: 890259 687245 3278 3032 0 875018 0
[pid=804285/tid=804287] ppid=804282 vsize=3561036 memory=11420 CPUtime=3565.93 cores=1,3
/proc/804285/task/804287/stat : 804287 (fscip) R 804282 804285 797687 0 -1 4194368 5167365 0 0 0 356175 418 0 0 20 0 3 0 158051245 3646500864 687245 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
[pid=804285/tid=804288] ppid=804282 vsize=3561036 memory=11420 CPUtime=0.05 cores=1,3
/proc/804285/task/804288/stat : 804288 (fscip) S 804282 804285 797687 0 -1 1077936192 157 0 0 0 1 4 0 0 20 0 3 0 158051301 3646500864 687245 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
Current children cumulated CPU time: 3570.64 s
Current children cumulated vsize: 3561036 KiB
Current children cumulated memory: 2748980 KiB

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

# cumulated CPU time of all completed processes:  user=3584.56 s, system=4.65801 s

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

[startup+3584 s]*
/proc/loadavg: 1.08 1.36 2.25 2/225 805829
/proc/meminfo: memFree=122040564/131655788 swapFree=131071996/131071996
[pid=804285] ppid=804282 vsize=3561036 memory=2749012 CPUtime=3572.35 cores=1,3
/proc/804285/stat : 804285 (fscip) S 804282 804285 797687 0 -1 1077936128 5269829 0 0 0 356780 455 0 0 20 0 3 0 158050814 3646500864 687253 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
/proc/804285/statm: 890259 687253 3278 3032 0 875018 0
[pid=804285/tid=804287] ppid=804282 vsize=3561036 memory=164 CPUtime=3567.64 cores=1,3
/proc/804285/task/804287/stat : 804287 (fscip) R 804282 804285 797687 0 -1 4194368 5168168 0 0 0 356346 418 0 0 20 0 3 0 158051245 3646500864 687253 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
[pid=804285/tid=804288] ppid=804282 vsize=3561036 memory=-4421386483295741543 CPUtime=0.05 cores=1,3
/proc/804285/task/804288/stat : 804288 (fscip) S 804282 804285 797687 0 -1 1077936192 157 0 0 0 1 4 0 0 20 0 3 0 158051301 3646500864 687253 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
Current children cumulated CPU time: 3572.35 s
Current children cumulated vsize: 3561036 KiB
Current children cumulated memory: 2749012 KiB

[startup+3590.4 s]
/proc/loadavg: 1.08 1.35 2.25 2/225 805832
/proc/meminfo: memFree=122040448/131655788 swapFree=131071996/131071996
[pid=804285] ppid=804282 vsize=3561036 memory=2749136 CPUtime=3578.71 cores=1,3
/proc/804285/stat : 804285 (fscip) S 804282 804285 797687 0 -1 1077936128 5270053 0 0 0 357416 455 0 0 20 0 3 0 158050814 3646500864 687284 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
/proc/804285/statm: 890259 687284 3278 3032 0 875018 0
[pid=804285/tid=804287] ppid=804282 vsize=3561036 memory=2748964 CPUtime=3574.01 cores=1,3
/proc/804285/task/804287/stat : 804287 (fscip) R 804282 804285 797687 0 -1 4194368 5168391 0 0 0 356983 418 0 0 20 0 3 0 158051245 3646500864 687284 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
[pid=804285/tid=804288] ppid=804282 vsize=3561036 memory=2749072 CPUtime=0.05 cores=1,3
/proc/804285/task/804288/stat : 804288 (fscip) S 804282 804285 797687 0 -1 1077936192 157 0 0 0 1 4 0 0 20 0 3 0 158051301 3646500864 687284 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
Current children cumulated CPU time: 3578.71 s
Current children cumulated vsize: 3561036 KiB
Current children cumulated memory: 2749136 KiB

[startup+3596.8 s]
/proc/loadavg: 1.07 1.34 2.24 2/225 805833
/proc/meminfo: memFree=122040368/131655788 swapFree=131071996/131071996
[pid=804285] ppid=804282 vsize=3561036 memory=2749136 CPUtime=3585.09 cores=1,3
/proc/804285/stat : 804285 (fscip) S 804282 804285 797687 0 -1 1077936128 5294026 0 0 0 358053 456 0 0 20 0 3 0 158050814 3646500864 687284 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
/proc/804285/statm: 890259 687284 3278 3032 0 875018 0
[pid=804285/tid=804287] ppid=804282 vsize=3561036 memory=42444 CPUtime=3580.4 cores=1,3
/proc/804285/task/804287/stat : 804287 (fscip) R 804282 804285 797687 0 -1 4194368 5192364 0 0 0 357620 420 0 0 20 0 3 0 158051245 3646500864 687284 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
[pid=804285/tid=804288] ppid=804282 vsize=3561036 memory=12508 CPUtime=0.05 cores=1,3
/proc/804285/task/804288/stat : 804288 (fscip) S 804282 804285 797687 0 -1 1077936192 157 0 0 0 1 4 0 0 20 0 3 0 158051301 3646500864 687284 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
Current children cumulated CPU time: 3585.09 s
Current children cumulated vsize: 3561036 KiB
Current children cumulated memory: 2749136 KiB

[startup+3598.4 s]
/proc/loadavg: 1.07 1.34 2.24 2/226 806216
/proc/meminfo: memFree=122039268/131655788 swapFree=131071996/131071996
[pid=804285] ppid=804282 vsize=3561036 memory=2749164 CPUtime=3586.69 cores=1,3
/proc/804285/stat : 804285 (fscip) S 804282 804285 797687 0 -1 1077936128 5294388 0 0 0 358213 456 0 0 20 0 3 0 158050814 3646500864 687291 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
/proc/804285/statm: 890259 687291 3278 3032 0 875018 0
[pid=804285/tid=804287] ppid=804282 vsize=3561036 memory=2749148 CPUtime=3581.99 cores=1,3
/proc/804285/task/804287/stat : 804287 (fscip) R 804282 804285 797687 0 -1 4194368 5192724 0 0 0 357779 420 0 0 20 0 3 0 158051245 3646500864 687291 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
[pid=804285/tid=804288] ppid=804282 vsize=3561036 memory=12508 CPUtime=0.05 cores=1,3
/proc/804285/task/804288/stat : 804288 (fscip) S 804282 804285 797687 0 -1 1077936192 157 0 0 0 1 4 0 0 20 0 3 0 158051301 3646500864 687291 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
Current children cumulated CPU time: 3586.69 s
Current children cumulated vsize: 3561036 KiB
Current children cumulated memory: 2749164 KiB

[startup+3600 s]*
/proc/loadavg: 1.06 1.34 2.23 2/226 806218
/proc/meminfo: memFree=122039336/131655788 swapFree=131071996/131071996
[pid=804285] ppid=804282 vsize=3561036 memory=2749208 CPUtime=3588.29 cores=1,3
/proc/804285/stat : 804285 (fscip) S 804282 804285 797687 0 -1 1077936128 5294660 0 0 0 358373 456 0 0 20 0 3 0 158050814 3646500864 687302 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
/proc/804285/statm: 890259 687302 3278 3032 0 875018 0
[pid=804285/tid=804287] ppid=804282 vsize=3561036 memory=6720662164367227501 CPUtime=3583.6 cores=1,3
/proc/804285/task/804287/stat : 804287 (fscip) R 804282 804285 797687 0 -1 4194368 5192996 0 0 0 357940 420 0 0 20 0 3 0 158051245 3646500864 687302 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
[pid=804285/tid=804288] ppid=804282 vsize=3561036 memory=-4421386496281634151 CPUtime=0.05 cores=1,3
/proc/804285/task/804288/stat : 804288 (fscip) S 804282 804285 797687 0 -1 1077936192 157 0 0 0 1 4 0 0 20 0 3 0 158051301 3646500864 687302 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
Current children cumulated CPU time: 3588.29 s
Current children cumulated vsize: 3561036 KiB
Current children cumulated memory: 2749208 KiB

[startup+3600.4 s]
/proc/loadavg: 1.06 1.34 2.23 2/226 806218
/proc/meminfo: memFree=122039336/131655788 swapFree=131071996/131071996
[pid=804285] ppid=804282 vsize=3561036 memory=2752912 CPUtime=3588.68 cores=1,3
/proc/804285/stat : 804285 (fscip) S 804282 804285 797687 0 -1 1077936128 5316635 0 0 0 358410 458 0 0 20 0 3 0 158050814 3646500864 688228 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
/proc/804285/statm: 890259 688228 3278 3032 0 875018 0
[pid=804285/tid=804287] ppid=804282 vsize=3561036 memory=5424 CPUtime=3583.97 cores=1,3
/proc/804285/task/804287/stat : 804287 (fscip) R 804282 804285 797687 0 -1 4194368 5214976 0 0 0 357976 421 0 0 20 0 3 0 158051245 3646500864 688228 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
[pid=804285/tid=804288] ppid=804282 vsize=3561036 memory=108 CPUtime=0.05 cores=1,3
/proc/804285/task/804288/stat : 804288 (fscip) S 804282 804285 797687 0 -1 1077936192 157 0 0 0 1 4 0 0 20 0 3 0 158051301 3646500864 688228 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
Current children cumulated CPU time: 3588.68 s
Current children cumulated vsize: 3561036 KiB
Current children cumulated memory: 2752912 KiB

[startup+3600.8 s]
/proc/loadavg: 1.06 1.34 2.23 2/226 806218
/proc/meminfo: memFree=122039336/131655788 swapFree=131071996/131071996
[pid=804285] ppid=804282 vsize=2307520 memory=1877976 CPUtime=3589.08 cores=1,3
/proc/804285/stat : 804285 (fscip) R 804282 804285 797687 0 -1 4194304 5335240 0 0 0 358447 461 0 0 20 0 2 0 158050814 2362900480 469494 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
/proc/804285/statm: 576880 469494 3278 3032 0 561889 0
[pid=804285/tid=804288] ppid=804282 vsize=2307520 memory=2749196 CPUtime=0.05 cores=1,3
/proc/804285/task/804288/stat : 804288 (fscip) S 804282 804285 797687 0 -1 1077936192 157 0 0 0 1 4 0 0 20 0 2 0 158051301 2362900480 469494 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
Current children cumulated CPU time: 3589.08 s
Current children cumulated vsize: 2307520 KiB
Current children cumulated memory: 1877976 KiB

[startup+3600.9 s]
/proc/loadavg: 1.06 1.34 2.23 2/226 806218
/proc/meminfo: memFree=122039336/131655788 swapFree=131071996/131071996
[pid=804285] ppid=804282 vsize=2081860 memory=1695892 CPUtime=3589.18 cores=1,3
/proc/804285/stat : 804285 (fscip) R 804282 804285 797687 0 -1 4194304 5336595 0 0 0 358455 463 0 0 20 0 2 0 158050814 2131824640 423973 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
/proc/804285/statm: 520465 423973 3278 3032 0 505474 0
[pid=804285/tid=804288] ppid=804282 vsize=2081860 memory=2749044 CPUtime=0.05 cores=1,3
/proc/804285/task/804288/stat : 804288 (fscip) S 804282 804285 797687 0 -1 1077936192 157 0 0 0 1 4 0 0 20 0 2 0 158051301 2131824640 423973 134679101440 4194304 16613245 140733927785408 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30638080 140733927789589 140733927789705 140733927789705 140733927796720 0
Current children cumulated CPU time: 3589.18 s
Current children cumulated vsize: 2081860 KiB
Current children cumulated memory: 1695892 KiB

Child status: 0

Real time (s): 3600.93
CPU time (s): 3589.22
CPU user time (s): 3584.56
CPU system time (s): 4.65801
CPU usage (%): 99.6748
Max. virtual memory (cumulated for all children) (KiB): 3626572
Max. memory (cumulated for all children) (KiB): 2766284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.56
system time used= 4.65801
maximum resident set size= 2766284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5336619
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= 7881
involuntary context switches= 2155


# summary of solver processes directly reported to runsolver:
#   pid: 804285
#   total CPU time (s): 3589.22
#   total CPU user time (s): 3584.56
#   total CPU system time (s): 4.65801

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9091 second user time and 37.223 second system time

The end

Launcher Data

Begin job on nodeC011 at 2024-07-15 17:55:49
IDJOB=4434719
IDBENCH=146702
IDSOLVER=3064
FILE ID=nodeC011/4434719-1721058936
RUNJOBID= nodeC011-1721054725-801073
SLURM_JOB_ID= 7505475
Free space on /tmp= 723696 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-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-4434719-1721058936/watcher-4434719-1721058936 -o /tmp/evaluation-result-4434719-1721058936/solver-4434719-1721058936 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721054725-801073 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434719-1721058936.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 13efe7890d7fc5aab9247ea9860b6d53
RANDOM SEED=1697247606

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        121989908 kB
MemAvailable:   127164436 kB
Buffers:          383204 kB
Cached:          5569028 kB
SwapCached:            0 kB
Active:           652380 kB
Inactive:        8341024 kB
Active(anon):       1428 kB
Inactive(anon):  3077476 kB
Active(file):     650952 kB
Inactive(file):  5263548 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             31376 kB
Writeback:             0 kB
AnonPages:       3038624 kB
Mapped:           143012 kB
Shmem:             37704 kB
KReclaimable:     200456 kB
Slab:             310144 kB
SReclaimable:     200456 kB
SUnreclaim:       109688 kB
KernelStack:        4016 kB
PageTables:        16000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2143240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51392 kB
HardwareCorrupted:     0 kB
AnonHugePages:    915456 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:      262984 kB
DirectMap2M:    33196032 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723752 MiB
End job on nodeC011 at 2024-07-15 18:55:50