Trace number 4116877

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.01 1800.51

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size96-round23-2.opb
MD5SUM8720edcebb4d35aaf36c8e6b8be5ec36
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9472
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)384
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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 2016-06-26T23:39:41+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4116877-1466977181.opb"]
0.00/0.01	c use --random-gen="3321512018 1332843441 613952365 3714062413 237577412 2429920049 749561260 1319300454 1438057700 1268769898 2837532360 1462268250 2033363687 4152102466 4062864014 2089549927 2166447293 2571784114 3474222722 2555913675 1325074254 3620859366 1137478535 981390861 1487839879 1206708904 3917754190 3077376782 1768927302 4134211680 3918117103 1687580440 4162448003 2218352804 400122493 2193758708 1455024477 1897004698 3039984160 1547635096 2204712360 2348260978 2885435018 3885355660 2020663098 1828303231 1471768130 4019215965 2154937102 1736257038 2375784310 3111442083 3398689775 1355703481 2935228479 1914681339 2319647675 1650442129 2607651505 2427180946 2589548103 3662131513 492864666 3318479812 4095264351 521334823 1382553769 869144484 2762662978 1523418394 1256265140 766723612 2079203074 558741073 1903232640 1962635184 647454996 936370068 1200334729 4259435349 1524798158 1975644833 1486985607 1362869973 3864580101 3679809905 162231616 4103152237 2749540530 2363243839 4271225567 2331273251 201251273 1747469514 2304214921 2313356321 490670186 2599672447 1021866131 2784987843 1397699052 2981758937 4054624854 688915853 30206116 2381033344 2087324017 2172659389 508084436 816207352 2366529535 1551527805 716495641 2200584976 271950520 3977021875 2473641839 685167517 379168089 1276801495 4240686913 1192413983 3263875027 1126972020 1940056749 1008632525 1673762370 4139760015 3433253458 2732975933 888116322 3411774441 2962132643 742309696 2075454697 740461271 261441488 2584129582 3250117548 245765768 2786392801 2456788527 2444629001 2441176821 2712514845 3476579806 1056696177 731296953 1238382002 1004030565 2420187357 1492062817 1913431678 1990462998 2931332643 1021122341 1848293466 2653707104 2255482811 4118727535 3842701106 2030876656 2745624536 1486051451 1651184781 836848076 4233165085 2532970573 2375297035 2847917042 3436187629 2246179236 3755663536 4216527688 1245838950 1801536091 3374164252 1952881274 127833669 2739904932 1200141780 4041705807 2120272575 111713832 3882950408 1695768295 2098215472 614216303 481361697 4130917283 2528335947 380961582 1034388656 551593048 2355368939 3836378090 242973359 1896029197 428244896 3466713690 3323718630 3089735006 3486598318 3760620213 3516625823 454975890 685758545 4252868935 1442870653 3316478105 3234847124 224243162 1066507396 3656203592 1638970330 3689244407 3822929438 1238336935 2277266184 3797071509 1570161243 1733481700 1698205360 3281739459 1290450630 3674383267 146581390 3403966675 3869144949 2618016414 146906406 3331497572 124343635 1997313814 3956327443 343013651 1260634039 2638372518 3129810572 2285088780 1022625726 2646433527 1740899821 986950644 3282988082 1370718460 1944085492 3515318211 3401070484 4126668573 510619896 4163052925 4224112722 3690363400 3291648984 2035811338 255 362436" option to reproduce the execution
0.10/0.12	c #vars 4288
0.10/0.12	c #constraints 9472
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      642 |        0
0.29/0.36	c  0.1s |       1 |      895 |      100 |     4565      0 |      643 |      490
0.39/0.44	c  0.2s |       2 |     2034 |      250 |     5022      0 |      643 |      490
0.59/0.64	c  0.4s |       3 |     4190 |      475 |     5525      0 |      643 |      490
0.99/1.05	c  0.8s |       4 |     5950 |      813 |     6078      0 |      643 |      490
1.39/1.43	c  1.2s |       5 |     9987 |     1320 |     6686      0 |      644 |      490
1.99/2.09	c  1.8s |       6 |    13229 |     2081 |     8091      0 |      644 |      490
3.09/3.17	c  2.9s |       7 |    17710 |     3223 |     8901      0 |      644 |      490
4.29/4.33	c  4.1s |       8 |    25736 |     4936 |     9792      0 |      644 |      490
6.39/6.42	c  6.1s |       8 |    30726 |     6936 |     9792      0 |      644 |      490
7.59/7.68	c  7.4s |       9 |    31483 |     7506 |    10772      0 |      644 |      490
9.69/9.72	c  9.4s |       9 |    41193 |     9706 |    10772      0 |      644 |      490
11.79/11.82	c 11.5s |       9 |    43305 |    11206 |    10772      0 |      644 |      490
11.99/12.09	c 11.8s |      10 |    43508 |    11361 |    11850      0 |      644 |      490
14.09/14.11	c 13.8s |      10 |    53359 |    13461 |    11850      0 |      644 |      490
16.09/16.15	c 15.9s |      10 |    54666 |    14461 |    11850      0 |      644 |      490
18.29/18.37	c 18.1s |      10 |    55840 |    15361 |    11850      1 |      644 |      490
20.38/20.47	c 20.2s |      10 |    58251 |    16561 |    11850      1 |      644 |      490
21.18/21.30	c 21.0s |      11 |    59622 |    17144 |    13036      1 |      644 |      490
23.38/23.46	c 23.2s |      11 |    67163 |    19544 |    13036      1 |      644 |      490
25.39/25.48	c 25.2s |      11 |    70818 |    21244 |    13036      1 |      644 |      490
27.59/27.60	c 27.3s |      11 |    72788 |    22544 |    13036      1 |      644 |      490
29.69/29.76	c 29.5s |      11 |    74100 |    23544 |    13036      1 |      644 |      490
31.78/31.86	c 31.6s |      11 |    75353 |    24444 |    13036      2 |      644 |      490
33.98/34.02	c 33.7s |      11 |    76986 |    25644 |    13036      2 |      644 |      490
34.28/34.33	c 34.1s |      12 |    77219 |    25819 |    14340      2 |      644 |      490
36.29/36.39	c 36.1s |      12 |    81269 |    27819 |    14340      2 |      644 |      490
38.38/38.48	c 38.2s |      12 |    83159 |    29519 |    14340      2 |      644 |      490
40.48/40.57	c 40.3s |      12 |    84796 |    31019 |    14340      2 |      644 |      490
42.58/42.67	c 42.4s |      12 |    86401 |    32419 |    14340      2 |      644 |      490
44.78/44.83	c 44.6s |      12 |    87734 |    33619 |    14340      3 |      644 |      490
46.78/46.83	c 46.6s |      12 |    89209 |    34919 |    14340      3 |      644 |      490
48.98/49.02	c 48.7s |      12 |    90839 |    36219 |    14340      3 |      644 |      490
51.08/51.18	c 50.9s |      12 |    92191 |    37319 |    14340      3 |      644 |      490
53.18/53.27	c 53.0s |      12 |    93223 |    38219 |    14340      3 |      644 |      490
54.58/54.67	c 54.4s |      13 |    93890 |    38832 |    15775      3 |      644 |      490
56.58/56.67	c 56.4s |      13 |   100083 |    40532 |    15775      3 |      644 |      490
58.68/58.76	c 58.5s |      13 |   103484 |    41832 |    15775      4 |      644 |      490
60.88/60.91	c 60.6s |      13 |   106065 |    43532 |    15775      4 |      644 |      490
62.88/62.91	c 62.6s |      13 |   107872 |    44932 |    15775      4 |      644 |      490
64.98/65.04	c 64.8s |      13 |   109263 |    46132 |    15775      4 |      644 |      490
67.08/67.18	c 66.9s |      13 |   110544 |    47232 |    15775      4 |      644 |      490
69.18/69.20	c 68.9s |      13 |   111718 |    48232 |    15775      4 |      644 |      490
71.18/71.28	c 71.0s |      13 |   112879 |    49232 |    15775      4 |      644 |      490
73.28/73.30	c 73.0s |      13 |   114096 |    50232 |    15775      4 |      644 |      490
75.28/75.34	c 75.1s |      13 |   115287 |    51232 |    15775      4 |      644 |      490
77.48/77.51	c 77.2s |      13 |   116311 |    52132 |    15775      4 |      644 |      490
79.47/79.58	c 79.3s |      13 |   117090 |    52832 |    15775      5 |      644 |      490
81.67/81.78	c 81.5s |      13 |   118112 |    53732 |    15775      5 |      644 |      490
83.88/83.92	c 83.6s |      13 |   119006 |    54532 |    15775      5 |      644 |      490
85.89/85.96	c 85.7s |      13 |   119928 |    55332 |    15775      5 |      644 |      490
88.09/88.15	c 87.9s |      13 |   120864 |    56132 |    15775      5 |      644 |      490
90.29/90.33	c 90.1s |      13 |   121792 |    56932 |    15775      5 |      644 |      490
92.39/92.43	c 92.2s |      13 |   122569 |    57632 |    15775      5 |      644 |      490
94.48/94.59	c 94.3s |      13 |   123196 |    58232 |    17353      5 |      644 |      490
94.98/95.03	c 94.8s |      14 |   123322 |    58352 |    17353      5 |      644 |      490
96.98/97.05	c 96.8s |      14 |   135246 |    60852 |    17353      5 |      644 |      490
99.18/99.21	c 98.9s |      14 |   138467 |    62452 |    17353      6 |      644 |      490
101.19/101.24	c  100s |      14 |   147431 |    64452 |    17353      6 |      644 |      490
103.39/103.42	c  103s |      14 |   149089 |    65752 |    17353      6 |      644 |      490
105.48/105.60	c  105s |      14 |   150439 |    66852 |    17353      6 |      644 |      490
107.68/107.78	c  107s |      14 |   151884 |    67952 |    17353      6 |      644 |      490
109.78/109.80	c  109s |      14 |   152927 |    68852 |    17353      6 |      644 |      490
111.78/111.83	c  111s |      14 |   153673 |    69552 |    17353      6 |      644 |      490
113.88/113.90	c  113s |      14 |   154671 |    70452 |    17353      6 |      644 |      490
115.98/116.06	c  115s |      14 |   155684 |    71352 |    17353      6 |      644 |      490
118.18/118.29	c  118s |      14 |   156545 |    72152 |    17353      6 |      644 |      490
120.38/120.44	c  120s |      14 |   157315 |    72852 |    17353      6 |      644 |      490
122.58/122.67	c  122s |      14 |   158102 |    73552 |    17353      7 |      644 |      490
124.68/124.77	c  124s |      14 |   159000 |    74352 |    17353      7 |      644 |      490
126.67/126.77	c  126s |      14 |   159787 |    75052 |    17353      7 |      644 |      490
128.78/128.87	c  128s |      14 |   160862 |    75952 |    17353      7 |      644 |      490
130.88/130.92	c  130s |      14 |   161776 |    76752 |    17353      7 |      644 |      490
133.08/133.12	c  132s |      14 |   162679 |    77552 |    17353      7 |      644 |      490
135.17/135.27	c  134s |      14 |   163791 |    78452 |    17353      7 |      644 |      490
137.17/137.28	c  137s |      14 |   164618 |    79152 |    17353      7 |      644 |      490
139.37/139.41	c  139s |      14 |   165421 |    79852 |    17353      7 |      644 |      490
141.37/141.50	c  141s |      14 |   166232 |    80552 |    17353      7 |      644 |      490
143.57/143.69	c  143s |      14 |   166919 |    81152 |    17353      7 |      644 |      490
145.77/145.88	c  145s |      14 |   167760 |    81852 |    17353      7 |      644 |      490
147.97/148.09	c  147s |      14 |   168548 |    82552 |    17353      7 |      644 |      490
150.37/150.40	c  150s |      14 |   169321 |    83252 |    17353      7 |      644 |      490
152.87/152.99	c  152s |      14 |   170118 |    83952 |    17353      8 |      644 |      490
154.97/155.07	c  154s |      14 |   171029 |    84752 |    17353      8 |      644 |      490
157.27/157.37	c  157s |      14 |   171951 |    85552 |    17353      8 |      644 |      490
159.47/159.51	c  159s |      14 |   174678 |    86752 |    17353      8 |      644 |      490
161.67/161.75	c  161s |      15 |   175796 |    87632 |    19089      8 |      644 |      490
163.77/163.89	c  163s |      15 |   180501 |    89732 |    19089      8 |      644 |      490
165.87/165.91	c  165s |      15 |   182769 |    91332 |    19089      8 |      644 |      490
167.87/167.97	c  167s |      15 |   184605 |    92732 |    19089      8 |      644 |      490
169.97/170.04	c  169s |      15 |   186338 |    94032 |    19089      8 |      644 |      490
172.16/172.23	c  171s |      15 |   187902 |    95232 |    19089      8 |      644 |      490
174.26/174.38	c  174s |      15 |   189027 |    96132 |    19089      9 |      644 |      490
176.26/176.39	c  176s |      15 |   190122 |    97032 |    19089      9 |      644 |      490
178.66/178.74	c  178s |      15 |   191309 |    98032 |    19089      9 |      644 |      490
180.86/180.91	c  180s |      15 |   192449 |    98932 |    19089      9 |      644 |      490
182.96/183.08	c  182s |      15 |   193686 |    99932 |    19089      9 |      644 |      490
185.06/185.17	c  184s |      15 |   194668 |   100732 |    19089      9 |      644 |      490
187.26/187.35	c  187s |      15 |   195605 |   101532 |    19089      9 |      644 |      490
189.36/189.40	c  189s |      15 |   196390 |   102232 |    19089      9 |      644 |      490
191.37/191.41	c  191s |      15 |   197306 |   103032 |    19089      9 |      644 |      490
193.57/193.63	c  193s |      15 |   198242 |   103832 |    19089      9 |      644 |      490
195.87/195.94	c  195s |      15 |   199150 |   104632 |    19089      9 |      644 |      490
198.07/198.18	c  197s |      15 |   199963 |   105332 |    19089      9 |      644 |      490
200.36/200.42	c  200s |      15 |   200760 |   106032 |    19089      9 |      644 |      490
202.56/202.60	c  202s |      15 |   201426 |   106632 |    19089      9 |      644 |      490
204.56/204.65	c  204s |      15 |   201997 |   107132 |    19089     10 |      644 |      490
206.76/206.84	c  206s |      15 |   202792 |   107832 |    19089     10 |      644 |      490
208.76/208.84	c  208s |      15 |   203614 |   108532 |    19089     10 |      644 |      490
210.86/210.91	c  210s |      15 |   204445 |   109232 |    19089     10 |      644 |      490
212.95/213.04	c  212s |      15 |   205293 |   109932 |    19089     10 |      644 |      490
215.05/215.16	c  214s |      15 |   206171 |   110632 |    19089     10 |      644 |      490
217.15/217.25	c  216s |      15 |   206865 |   111232 |    19089     10 |      644 |      490
219.35/219.46	c  219s |      15 |   207700 |   111932 |    19089     10 |      644 |      490
221.45/221.56	c  221s |      15 |   208566 |   112632 |    19089     10 |      644 |      490
223.65/223.78	c  223s |      15 |   209393 |   113332 |    19089     10 |      644 |      490
225.86/225.96	c  225s |      15 |   210220 |   114032 |    19089     10 |      644 |      490
227.86/227.99	c  227s |      15 |   210940 |   114632 |    19089     10 |      644 |      490
230.26/230.32	c  230s |      15 |   211795 |   115332 |    19089     10 |      644 |      490
232.36/232.49	c  232s |      15 |   212372 |   115832 |    19089     10 |      644 |      490
234.56/234.64	c  234s |      15 |   213062 |   116432 |    19089     10 |      644 |      490
236.96/237.00	c  236s |      15 |   213728 |   117032 |    19089     10 |      644 |      490
239.36/239.41	c  239s |      15 |   214442 |   117632 |    19089     10 |      644 |      490
241.46/241.53	c  241s |      15 |   215021 |   118132 |    19089     10 |      644 |      490
243.46/243.53	c  243s |      15 |   215630 |   118632 |    19089     11 |      644 |      490
245.46/245.57	c  245s |      15 |   216461 |   119332 |    19089     11 |      644 |      490
247.66/247.75	c  247s |      15 |   217257 |   120032 |    19089     11 |      644 |      490
249.86/249.99	c  249s |      15 |   218023 |   120732 |    19089     11 |      644 |      490
252.15/252.24	c  251s |      15 |   218974 |   121532 |    19089     11 |      644 |      490
254.35/254.40	c  254s |      15 |   219651 |   122132 |    19089     11 |      644 |      490
256.55/256.62	c  256s |      15 |   220612 |   122932 |    19089     11 |      644 |      490
258.75/258.83	c  258s |      15 |   221601 |   123732 |    19089     11 |      644 |      490
260.85/260.97	c  260s |      15 |   222399 |   124432 |    19089     11 |      644 |      490
263.05/263.17	c  262s |      15 |   223068 |   125032 |    19089     11 |      644 |      490
265.16/265.27	c  264s |      15 |   223764 |   125632 |    19089     11 |      644 |      490
267.26/267.40	c  267s |      15 |   224440 |   126232 |    19089     11 |      644 |      490
269.35/269.44	c  269s |      15 |   225131 |   126832 |    19089     11 |      644 |      490
271.66/271.74	c  271s |      15 |   225797 |   127432 |    19089     11 |      644 |      490
273.96/274.04	c  273s |      15 |   226484 |   128032 |    19089     11 |      644 |      490
276.25/276.30	c  276s |      15 |   227170 |   128632 |    19089     11 |      644 |      490
278.45/278.57	c  278s |      15 |   227857 |   129232 |    19089     11 |      644 |      490
280.56/280.68	c  280s |      15 |   228439 |   129732 |    19089     12 |      644 |      490
282.75/282.87	c  282s |      15 |   229246 |   130432 |    19089     12 |      644 |      490
284.85/284.96	c  284s |      15 |   230057 |   131132 |    20998     12 |      644 |      490
286.45/286.59	c  286s |      16 |   230541 |   131552 |    20998     12 |      644 |      490
288.55/288.67	c  288s |      16 |   233513 |   132852 |    20998     12 |      644 |      490
290.74/290.88	c  290s |      16 |   234635 |   133852 |    20998     12 |      644 |      490
293.04/293.10	c  292s |      16 |   235498 |   134652 |    20998     12 |      644 |      490
295.04/295.14	c  294s |      16 |   236682 |   135652 |    20998     12 |      644 |      490
297.24/297.35	c  297s |      16 |   237878 |   136752 |    20998     12 |      644 |      490
299.44/299.54	c  299s |      16 |   238826 |   137652 |    20998     12 |      644 |      490
301.54/301.66	c  301s |      16 |   239645 |   138452 |    20998     12 |      644 |      490
303.74/303.86	c  303s |      16 |   240570 |   139352 |    20998     12 |      644 |      490
305.85/305.92	c  305s |      16 |   241746 |   140252 |    20998     12 |      644 |      490
307.95/308.10	c  307s |      16 |   243009 |   141252 |    20998     12 |      644 |      490
310.04/310.14	c  309s |      16 |   243929 |   142052 |    20998     12 |      644 |      490
312.14/312.23	c  311s |      16 |   244582 |   142652 |    20998     13 |      644 |      490
314.24/314.32	c  314s |      16 |   247182 |   144252 |    20998     13 |      644 |      490
316.24/316.38	c  316s |      16 |   249044 |   145752 |    20998     13 |      644 |      490
318.45/318.51	c  318s |      16 |   250577 |   147152 |    20998     13 |      644 |      490
320.55/320.66	c  320s |      16 |   251964 |   148452 |    20998     13 |      644 |      490
322.65/322.74	c  322s |      16 |   253187 |   149552 |    20998     13 |      644 |      490
324.75/324.84	c  324s |      16 |   254368 |   150652 |    20998     13 |      644 |      490
326.85/326.98	c  326s |      16 |   255504 |   151652 |    20998     13 |      644 |      490
328.95/329.05	c  328s |      16 |   256705 |   152652 |    20998     13 |      644 |      490
331.05/331.17	c  330s |      16 |   258345 |   153752 |    20998     13 |      644 |      490
333.25/333.33	c  333s |      16 |   259449 |   154652 |    20998     14 |      644 |      490
335.34/335.40	c  335s |      16 |   260571 |   155652 |    20998     14 |      644 |      490
337.34/337.41	c  337s |      16 |   261791 |   156652 |    20998     14 |      644 |      490
339.44/339.50	c  339s |      16 |   265894 |   157952 |    20998     14 |      644 |      490
341.54/341.67	c  341s |      16 |   267263 |   159152 |    20998     14 |      644 |      490
343.74/343.84	c  343s |      16 |   268506 |   160252 |    20998     14 |      644 |      490
345.94/346.06	c  345s |      16 |   269657 |   161252 |    20998     14 |      644 |      490
348.04/348.13	c  347s |      16 |   270748 |   162252 |    20998     14 |      644 |      490
350.04/350.18	c  349s |      16 |   271731 |   163152 |    20998     14 |      644 |      490
352.24/352.39	c  352s |      16 |   272681 |   164052 |    20998     14 |      644 |      490
354.34/354.47	c  354s |      16 |   273560 |   164852 |    20998     14 |      644 |      490
356.54/356.68	c  356s |      16 |   274439 |   165652 |    20998     14 |      644 |      490
358.74/358.80	c  358s |      16 |   275389 |   166452 |    20998     14 |      644 |      490
360.85/360.94	c  360s |      16 |   276222 |   167152 |    20998     15 |      644 |      490
363.04/363.18	c  362s |      16 |   277079 |   167952 |    20998     15 |      644 |      490
365.24/365.31	c  365s |      16 |   277964 |   168752 |    20998     15 |      644 |      490
367.44/367.58	c  367s |      16 |   278867 |   169552 |    20998     15 |      644 |      490
369.64/369.76	c  369s |      16 |   279636 |   170252 |    20998     15 |      644 |      490
371.74/371.82	c  371s |      16 |   280418 |   170952 |    20998     15 |      644 |      490
373.84/373.98	c  373s |      16 |   281189 |   171652 |    20998     15 |      644 |      490
375.84/375.98	c  375s |      16 |   281954 |   172352 |    20998     15 |      644 |      490
378.04/378.10	c  377s |      16 |   282697 |   173052 |    20998     15 |      644 |      490
380.14/380.23	c  379s |      16 |   283359 |   173652 |    20998     15 |      644 |      490
382.13/382.26	c  381s |      16 |   284126 |   174352 |    20998     15 |      644 |      490
384.33/384.44	c  384s |      16 |   284871 |   175052 |    20998     15 |      644 |      490
386.63/386.72	c  386s |      16 |   285636 |   175752 |    20998     15 |      644 |      490
388.83/388.96	c  388s |      16 |   286544 |   176552 |    20998     15 |      644 |      490
390.83/390.99	c  390s |      16 |   287182 |   177152 |    20998     15 |      644 |      490
393.03/393.12	c  392s |      16 |   287850 |   177752 |    20998     15 |      644 |      490
395.23/395.32	c  395s |      16 |   288652 |   178452 |    20998     15 |      644 |      490
397.43/397.56	c  397s |      16 |   289287 |   179052 |    20998     15 |      644 |      490
399.43/399.57	c  399s |      16 |   289806 |   179552 |    20998     16 |      644 |      490
401.63/401.70	c  401s |      16 |   290553 |   180252 |    20998     16 |      644 |      490
403.74/403.89	c  403s |      16 |   291338 |   180952 |    20998     16 |      644 |      490
405.84/405.99	c  405s |      16 |   292099 |   181652 |    20998     16 |      644 |      490
407.93/408.08	c  407s |      16 |   292845 |   182352 |    20998     16 |      644 |      490
410.24/410.39	c  410s |      16 |   293583 |   183052 |    20998     16 |      644 |      490
412.33/412.49	c  412s |      16 |   294334 |   183752 |    20998     16 |      644 |      490
414.43/414.53	c  414s |      16 |   294986 |   184352 |    20998     16 |      644 |      490
416.63/416.77	c  416s |      16 |   295740 |   185052 |    20998     16 |      644 |      490
418.73/418.86	c  418s |      16 |   296418 |   185652 |    20998     16 |      644 |      490
420.83/420.93	c  420s |      16 |   297055 |   186252 |    20998     16 |      644 |      490
423.13/423.23	c  422s |      16 |   297687 |   186852 |    20998     16 |      644 |      490
425.43/425.53	c  425s |      16 |   298337 |   187452 |    20998     16 |      644 |      490
427.63/427.70	c  427s |      16 |   299002 |   188052 |    20998     16 |      644 |      490
429.73/429.87	c  429s |      16 |   299644 |   188652 |    20998     16 |      644 |      490
432.13/432.20	c  431s |      16 |   300280 |   189252 |    20998     16 |      644 |      490
434.33/434.47	c  434s |      16 |   300929 |   189852 |    20998     16 |      644 |      490
436.52/436.66	c  436s |      16 |   301455 |   190352 |    20998     16 |      644 |      490
438.52/438.69	c  438s |      16 |   302000 |   190852 |    20998     16 |      644 |      490
440.62/440.79	c  440s |      16 |   302520 |   191352 |    20998     16 |      644 |      490
442.92/443.03	c  442s |      16 |   303174 |   191952 |    20998     17 |      644 |      490
445.12/445.29	c  445s |      16 |   303928 |   192652 |    20998     17 |      644 |      490
447.22/447.33	c  447s |      16 |   304572 |   193252 |    20998     17 |      644 |      490
449.42/449.56	c  449s |      16 |   305218 |   193852 |    20998     17 |      644 |      490
451.52/451.65	c  451s |      16 |   305878 |   194452 |    20998     17 |      644 |      490
453.82/453.97	c  453s |      16 |   306631 |   195152 |    20998     17 |      644 |      490
455.82/455.98	c  455s |      16 |   307276 |   195752 |    20998     17 |      644 |      490
458.22/458.35	c  458s |      16 |   308016 |   196452 |    23098     17 |      644 |      490
460.62/460.71	c  460s |      16 |   308781 |   197152 |    23098     17 |      644 |      490
461.52/461.66	c  461s |      17 |   309070 |   197432 |    23098     17 |      644 |      490
463.62/463.78	c  463s |      17 |   312658 |   199132 |    23098     17 |      644 |      490
465.71/465.84	c  465s |      17 |   318762 |   201432 |    23098     17 |      644 |      490
467.71/467.87	c  467s |      17 |   330776 |   203932 |    23098     17 |      644 |      490
469.81/469.95	c  469s |      17 |   337955 |   205932 |    23098     18 |      644 |      490
471.82/471.99	c  471s |      17 |   340003 |   207232 |    23098     18 |      644 |      490
474.01/474.14	c  473s |      17 |   341078 |   208132 |    23098     18 |      644 |      490
476.11/476.22	c  475s |      17 |   342458 |   209032 |    23098     18 |      644 |      490
478.31/478.42	c  478s |      17 |   344618 |   210432 |    23098     18 |      644 |      490
480.31/480.49	c  480s |      17 |   346153 |   211532 |    23098     18 |      644 |      490
482.41/482.55	c  482s |      17 |   347300 |   212432 |    23098     18 |      644 |      490
484.51/484.60	c  484s |      17 |   348371 |   213232 |    23098     18 |      644 |      490
486.51/486.66	c  486s |      17 |   349392 |   214032 |    23098     18 |      644 |      490
488.61/488.78	c  488s |      17 |   351844 |   215132 |    23098     18 |      644 |      490
490.81/490.95	c  490s |      17 |   353066 |   216132 |    23098     18 |      644 |      490
492.81/492.98	c  492s |      17 |   353867 |   216832 |    23098     18 |      644 |      490
494.91/495.06	c  494s |      17 |   355691 |   217632 |    23098     18 |      644 |      490
496.90/497.06	c  496s |      17 |   357313 |   218632 |    23098     19 |      644 |      490
499.00/499.16	c  498s |      17 |   359199 |   219732 |    23098     19 |      644 |      490
501.10/501.20	c  500s |      17 |   360576 |   220732 |    23098     19 |      644 |      490
503.20/503.32	c  503s |      17 |   362060 |   221732 |    23098     19 |      644 |      490
505.30/505.42	c  505s |      17 |   363261 |   222632 |    23098     19 |      644 |      490
507.30/507.48	c  507s |      17 |   365371 |   223732 |    23098     19 |      644 |      490
509.70/509.85	c  509s |      17 |   366553 |   224632 |    23098     19 |      644 |      490
511.80/511.99	c  511s |      17 |   367643 |   225432 |    23098     19 |      644 |      490
513.90/514.03	c  513s |      17 |   368520 |   226132 |    23098     19 |      644 |      490
516.20/516.32	c  516s |      17 |   369366 |   226832 |    23098     19 |      644 |      490
518.40/518.50	c  518s |      17 |   370212 |   227532 |    23098     19 |      644 |      490
520.50/520.65	c  520s |      17 |   371082 |   228232 |    23098     19 |      644 |      490
522.60/522.74	c  522s |      17 |   371854 |   228832 |    23098     19 |      644 |      490
524.80/524.97	c  524s |      17 |   372577 |   229432 |    23098     19 |      644 |      490
527.00/527.14	c  526s |      17 |   373328 |   230032 |    23098     19 |      644 |      490
529.29/529.48	c  529s |      17 |   373939 |   230532 |    23098     19 |      644 |      490
531.39/531.54	c  531s |      17 |   374718 |   231132 |    23098     19 |      644 |      490
533.59/533.70	c  533s |      17 |   375544 |   231732 |    23098     20 |      644 |      490
535.70/535.82	c  535s |      17 |   376652 |   232532 |    23098     20 |      644 |      490
537.90/538.07	c  537s |      17 |   377609 |   233332 |    23098     20 |      644 |      490
540.19/540.35	c  540s |      17 |   378278 |   233932 |    23098     20 |      644 |      490
542.20/542.36	c  542s |      17 |   379027 |   234532 |    23098     20 |      644 |      490
544.39/544.54	c  544s |      17 |   379977 |   235232 |    23098     20 |      644 |      490
546.49/546.66	c  546s |      17 |   381235 |   236032 |    23098     20 |      644 |      490
548.80/548.94	c  548s |      17 |   382489 |   236832 |    23098     20 |      644 |      490
551.00/551.19	c  550s |      17 |   383322 |   237532 |    23098     20 |      644 |      490
553.49/553.61	c  553s |      17 |   384140 |   238232 |    23098     20 |      644 |      490
555.59/555.75	c  555s |      17 |   385032 |   238932 |    23098     20 |      644 |      490
557.79/557.99	c  557s |      17 |   385716 |   239532 |    23098     20 |      644 |      490
560.19/560.35	c  560s |      17 |   386402 |   240132 |    23098     20 |      644 |      490
562.69/562.81	c  562s |      17 |   386955 |   240632 |    23098     20 |      644 |      490
564.69/564.89	c  564s |      17 |   387533 |   241132 |    23098     20 |      644 |      490
566.99/567.15	c  566s |      17 |   388102 |   241632 |    23098     20 |      644 |      490
569.39/569.54	c  569s |      17 |   388669 |   242132 |    23098     20 |      644 |      490
571.49/571.67	c  571s |      17 |   389115 |   242532 |    23098     20 |      644 |      490
573.88/574.08	c  573s |      17 |   389688 |   243032 |    23098     20 |      644 |      490
576.29/576.42	c  576s |      17 |   390235 |   243532 |    23098     20 |      644 |      490
578.68/578.87	c  578s |      17 |   390800 |   244032 |    23098     20 |      644 |      490
580.88/581.07	c  580s |      17 |   391350 |   244532 |    23098     20 |      644 |      490
583.08/583.26	c  582s |      17 |   391806 |   244932 |    23098     21 |      644 |      490
585.38/585.50	c  585s |      17 |   392649 |   245632 |    23098     21 |      644 |      490
587.48/587.69	c  587s |      17 |   393522 |   246332 |    23098     21 |      644 |      490
589.68/589.80	c  589s |      17 |   394559 |   247132 |    23098     21 |      644 |      490
591.88/592.02	c  591s |      17 |   395466 |   247832 |    23098     21 |      644 |      490
594.08/594.26	c  593s |      17 |   396323 |   248532 |    23098     21 |      644 |      490
596.08/596.29	c  596s |      17 |   397069 |   249132 |    23098     21 |      644 |      490
598.18/598.36	c  598s |      17 |   397654 |   249632 |    23098     21 |      644 |      490
600.38/600.55	c  600s |      17 |   398388 |   250232 |    23098     21 |      644 |      490
602.68/602.81	c  602s |      17 |   399386 |   251032 |    23098     21 |      644 |      490
604.67/604.88	c  604s |      17 |   400075 |   251632 |    23098     21 |      644 |      490
607.17/607.33	c  607s |      17 |   400755 |   252232 |    23098     21 |      644 |      490
609.37/609.59	c  609s |      17 |   401460 |   252832 |    23098     21 |      644 |      490
611.57/611.74	c  611s |      17 |   402010 |   253332 |    23098     21 |      644 |      490
613.56/613.79	c  613s |      17 |   402557 |   253832 |    23098     21 |      644 |      490
615.66/615.88	c  615s |      17 |   403119 |   254332 |    23098     21 |      644 |      490
617.66/617.88	c  617s |      17 |   403567 |   254732 |    23098     21 |      644 |      490
620.16/620.33	c  620s |      17 |   404128 |   255232 |    23098     21 |      644 |      490
622.67/622.85	c  622s |      17 |   404680 |   255732 |    23098     21 |      644 |      490
624.86/625.00	c  624s |      17 |   405116 |   256132 |    23098     21 |      644 |      490
627.16/627.36	c  627s |      17 |   405560 |   256532 |    23098     21 |      644 |      490
629.26/629.41	c  629s |      17 |   406206 |   257032 |    23098     21 |      644 |      490
631.27/631.42	c  631s |      17 |   406828 |   257532 |    23098     21 |      644 |      490
633.26/633.49	c  633s |      17 |   407345 |   257932 |    23098     22 |      644 |      490
635.46/635.64	c  635s |      17 |   408302 |   258732 |    23098     22 |      644 |      490
637.56/637.79	c  637s |      17 |   409153 |   259432 |    23098     22 |      644 |      490
639.96/640.12	c  639s |      17 |   409991 |   260132 |    23098     22 |      644 |      490
642.26/642.41	c  642s |      17 |   410711 |   260732 |    23098     22 |      644 |      490
644.25/644.47	c  644s |      17 |   411413 |   261332 |    23098     22 |      644 |      490
646.55/646.73	c  646s |      17 |   412227 |   262032 |    23098     22 |      644 |      490
648.75/648.96	c  648s |      17 |   412888 |   262632 |    23098     22 |      644 |      490
650.95/651.10	c  650s |      17 |   413674 |   263232 |    23098     22 |      644 |      490
653.05/653.29	c  653s |      17 |   414566 |   263932 |    23098     22 |      644 |      490
655.25/655.48	c  655s |      17 |   415264 |   264532 |    23098     22 |      644 |      490
657.55/657.72	c  657s |      17 |   416013 |   265132 |    23098     22 |      644 |      490
659.65/659.87	c  659s |      17 |   416620 |   265632 |    23098     22 |      644 |      490
661.95/662.13	c  661s |      17 |   417376 |   266232 |    23098     22 |      644 |      490
664.04/664.29	c  664s |      17 |   418195 |   266832 |    23098     22 |      644 |      490
666.14/666.34	c  666s |      17 |   418815 |   267332 |    23098     22 |      644 |      490
668.14/668.39	c  668s |      17 |   419437 |   267832 |    23098     22 |      644 |      490
670.24/670.47	c  670s |      17 |   419870 |   268232 |    23098     22 |      644 |      490
672.54/672.74	c  672s |      17 |   420465 |   268732 |    23098     22 |      644 |      490
674.74/674.92	c  674s |      17 |   421107 |   269232 |    23098     22 |      644 |      490
676.84/677.09	c  676s |      17 |   421565 |   269632 |    23098     22 |      644 |      490
679.34/679.57	c  679s |      17 |   422128 |   270132 |    23098     22 |      644 |      490
681.74/681.92	c  681s |      17 |   422563 |   270532 |    23098     22 |      644 |      490
684.04/684.21	c  683s |      17 |   423038 |   270932 |    23098     22 |      644 |      490
686.24/686.50	c  686s |      17 |   423678 |   271432 |    23098     23 |      644 |      490
688.33/688.58	c  688s |      17 |   424436 |   272032 |    23098     23 |      644 |      490
690.43/690.69	c  690s |      17 |   425348 |   272732 |    23098     23 |      644 |      490
692.63/692.87	c  692s |      17 |   426053 |   273332 |    23098     23 |      644 |      490
694.82/695.09	c  694s |      17 |   426769 |   273932 |    23098     23 |      644 |      490
697.33/697.51	c  697s |      17 |   427428 |   274532 |    23098     23 |      644 |      490
699.43/699.66	c  699s |      17 |   427988 |   275032 |    23098     23 |      644 |      490
701.63/701.82	c  701s |      17 |   428568 |   275532 |    23098     23 |      644 |      490
703.83/704.08	c  703s |      17 |   429113 |   276032 |    23098     23 |      644 |      490
706.02/706.23	c  705s |      17 |   429572 |   276432 |    23098     23 |      644 |      490
708.23/708.49	c  708s |      17 |   430159 |   276932 |    23098     23 |      644 |      490
710.53/710.76	c  710s |      17 |   430914 |   277532 |    23098     23 |      644 |      490
712.92/713.19	c  712s |      17 |   431631 |   278132 |    23098     23 |      644 |      490
715.22/715.45	c  715s |      17 |   432233 |   278632 |    23098     23 |      644 |      490
717.51/717.79	c  717s |      17 |   432791 |   279132 |    23098     23 |      644 |      490
719.71/719.98	c  719s |      17 |   433358 |   279632 |    23098     23 |      644 |      490
722.21/722.42	c  722s |      17 |   433935 |   280132 |    23098     23 |      644 |      490
724.31/724.54	c  724s |      17 |   434399 |   280532 |    23098     23 |      644 |      490
726.71/726.97	c  726s |      17 |   434979 |   281032 |    23098     23 |      644 |      490
728.91/729.18	c  728s |      17 |   435543 |   281532 |    23098     23 |      644 |      490
731.01/731.27	c  730s |      17 |   436000 |   281932 |    23098     23 |      644 |      490
733.41/733.65	c  733s |      17 |   436556 |   282432 |    23098     23 |      644 |      490
735.81/736.02	c  735s |      17 |   437103 |   282932 |    23098     23 |      644 |      490
738.20/738.45	c  738s |      17 |   437659 |   283432 |    23098     23 |      644 |      490
740.50/740.78	c  740s |      17 |   438259 |   283932 |    23098     23 |      644 |      490
742.70/742.93	c  742s |      17 |   438583 |   284232 |    23098     24 |      644 |      490
744.80/745.03	c  744s |      17 |   439123 |   284732 |    23098     24 |      644 |      490
746.90/747.16	c  746s |      17 |   439721 |   285232 |    23098     24 |      644 |      490
749.20/749.41	c  749s |      17 |   440446 |   285832 |    23098     24 |      644 |      490
751.20/751.42	c  751s |      17 |   441004 |   286332 |    23098     24 |      644 |      490
753.60/753.80	c  753s |      17 |   441670 |   286932 |    23098     24 |      644 |      490
755.79/756.05	c  755s |      17 |   442252 |   287432 |    23098     24 |      644 |      490
757.99/758.23	c  757s |      17 |   442800 |   287932 |    23098     24 |      644 |      490
760.29/760.55	c  760s |      17 |   443391 |   288432 |    23098     24 |      644 |      490
762.59/762.86	c  762s |      17 |   443950 |   288932 |    23098     24 |      644 |      490
764.68/764.95	c  764s |      17 |   444395 |   289332 |    23098     24 |      644 |      490
767.18/767.44	c  767s |      17 |   445139 |   289932 |    23098     24 |      644 |      490
769.48/769.76	c  769s |      17 |   445571 |   290332 |    23098     24 |      644 |      490
771.88/772.16	c  771s |      17 |   446282 |   290932 |    23098     24 |      644 |      490
773.98/774.21	c  773s |      17 |   447190 |   291632 |    23098     24 |      644 |      490
775.98/776.26	c  775s |      17 |   447909 |   292232 |    23098     24 |      644 |      490
778.08/778.31	c  778s |      17 |   448665 |   292832 |    23098     24 |      644 |      490
780.28/780.54	c  780s |      17 |   449394 |   293432 |    23098     24 |      644 |      490
782.68/782.99	c  782s |      17 |   450101 |   294032 |    23098     24 |      644 |      490
785.19/785.42	c  785s |      17 |   450779 |   294632 |    25408     24 |      644 |      490
787.39/787.66	c  787s |      17 |   451365 |   295132 |    25408     24 |      644 |      490
789.59/789.87	c  789s |      17 |   451921 |   295632 |    25408     24 |      644 |      490
791.68/791.99	c  791s |      17 |   452505 |   296132 |    25408     24 |      644 |      490
792.18/792.49	c  792s |      18 |   452638 |   296252 |    25408     24 |      644 |      490
794.28/794.57	c  794s |      18 |   457226 |   297652 |    25408     24 |      644 |      490
796.37/796.62	c  796s |      18 |   458942 |   299152 |    25408     24 |      644 |      490
798.38/798.68	c  798s |      18 |   459793 |   299952 |    25408     25 |      644 |      490
800.47/800.71	c  800s |      18 |   460940 |   301052 |    25408     25 |      644 |      490
802.47/802.74	c  802s |      18 |   461977 |   302052 |    25408     25 |      644 |      490
804.57/804.80	c  804s |      18 |   463041 |   303052 |    25408     25 |      644 |      490
806.57/806.85	c  806s |      18 |   463976 |   303952 |    25408     25 |      644 |      490
808.77/809.08	c  808s |      18 |   464911 |   304852 |    25408     25 |      644 |      490
810.86/811.17	c  810s |      18 |   465766 |   305652 |    25408     25 |      644 |      490
813.06/813.34	c  813s |      18 |   466584 |   306452 |    25408     25 |      644 |      490
815.26/815.55	c  815s |      18 |   467413 |   307252 |    25408     25 |      644 |      490
817.26/817.57	c  817s |      18 |   468137 |   307952 |    25408     25 |      644 |      490
819.26/819.59	c  819s |      18 |   468874 |   308652 |    25408     25 |      644 |      490
821.36/821.60	c  821s |      18 |   469500 |   309252 |    25408     25 |      644 |      490
823.45/823.70	c  823s |      18 |   470233 |   309952 |    25408     25 |      644 |      490
825.55/825.82	c  825s |      18 |   470958 |   310652 |    25408     25 |      644 |      490
827.65/827.99	c  827s |      18 |   471999 |   311552 |    25408     25 |      644 |      490
829.85/830.10	c  829s |      18 |   473000 |   312452 |    25408     25 |      644 |      490
832.05/832.36	c  832s |      18 |   473873 |   313252 |    25408     25 |      644 |      490
834.04/834.39	c  834s |      18 |   474641 |   313952 |    25408     25 |      644 |      490
836.34/836.61	c  836s |      18 |   475280 |   314552 |    25408     26 |      644 |      490
838.44/838.79	c  838s |      18 |   476025 |   315252 |    25408     26 |      644 |      490
840.74/841.06	c  840s |      18 |   477089 |   316052 |    25408     26 |      644 |      490
842.84/843.13	c  842s |      18 |   477858 |   316752 |    25408     26 |      644 |      490
844.94/845.21	c  844s |      18 |   478610 |   317452 |    25408     26 |      644 |      490
846.94/847.24	c  846s |      18 |   479247 |   318052 |    25408     26 |      644 |      490
849.14/849.40	c  849s |      18 |   479906 |   318652 |    25408     26 |      644 |      490
851.34/851.63	c  851s |      18 |   480544 |   319252 |    25408     26 |      644 |      490
853.54/853.81	c  853s |      18 |   481180 |   319852 |    25408     26 |      644 |      490
855.54/855.86	c  855s |      18 |   484521 |   321352 |    25408     26 |      644 |      490
857.53/857.88	c  857s |      18 |   486167 |   322752 |    25408     26 |      644 |      490
859.73/860.01	c  859s |      18 |   487523 |   323952 |    25408     26 |      644 |      490
861.83/862.12	c  861s |      18 |   488863 |   325152 |    25408     26 |      644 |      490
863.83/864.14	c  863s |      18 |   490129 |   326252 |    25408     26 |      644 |      490
865.92/866.27	c  865s |      18 |   491268 |   327252 |    25408     26 |      644 |      490
868.02/868.30	c  868s |      18 |   492445 |   328252 |    25408     26 |      644 |      490
870.12/870.40	c  870s |      18 |   493367 |   329052 |    25408     27 |      644 |      490
872.13/872.47	c  872s |      18 |   494687 |   330252 |    25408     27 |      644 |      490
874.23/874.55	c  874s |      18 |   495780 |   331252 |    25408     27 |      644 |      490
876.32/876.67	c  876s |      18 |   496853 |   332252 |    25408     27 |      644 |      490
878.52/878.82	c  878s |      18 |   497818 |   333152 |    25408     27 |      644 |      490
880.52/880.88	c  880s |      18 |   498704 |   333952 |    25408     27 |      644 |      490
882.72/883.02	c  882s |      18 |   499553 |   334752 |    25408     27 |      644 |      490
884.82/885.12	c  884s |      18 |   500583 |   335652 |    25408     27 |      644 |      490
886.82/887.18	c  886s |      18 |   501597 |   336552 |    25408     27 |      644 |      490
888.82/889.18	c  888s |      18 |   502511 |   337352 |    25408     27 |      644 |      490
891.02/891.34	c  891s |      18 |   503393 |   338152 |    25408     27 |      644 |      490
893.22/893.51	c  893s |      18 |   504274 |   338952 |    25408     27 |      644 |      490
895.22/895.52	c  895s |      18 |   505042 |   339652 |    25408     27 |      644 |      490
897.42/897.75	c  897s |      18 |   505921 |   340452 |    25408     27 |      644 |      490
899.62/899.92	c  899s |      18 |   506664 |   341152 |    25408     27 |      644 |      490
901.61/901.94	c  901s |      18 |   507312 |   341752 |    25408     27 |      644 |      490
903.61/903.98	c  903s |      18 |   507967 |   342352 |    25408     27 |      644 |      490
905.81/906.18	c  905s |      18 |   508627 |   342952 |    25408     28 |      644 |      490
907.91/908.20	c  907s |      18 |   509493 |   343752 |    25408     28 |      644 |      490
910.10/910.41	c  910s |      18 |   510359 |   344552 |    25408     28 |      644 |      490
912.20/912.58	c  912s |      18 |   511244 |   345352 |    25408     28 |      644 |      490
914.30/914.61	c  914s |      18 |   512010 |   346052 |    25408     28 |      644 |      490
916.30/916.63	c  916s |      18 |   512758 |   346752 |    25408     28 |      644 |      490
918.40/918.70	c  918s |      18 |   513526 |   347452 |    25408     28 |      644 |      490
920.50/920.87	c  920s |      18 |   514294 |   348152 |    25408     28 |      644 |      490
922.50/922.89	c  922s |      18 |   515046 |   348852 |    25408     28 |      644 |      490
924.80/925.10	c  924s |      18 |   515799 |   349552 |    25408     28 |      644 |      490
927.00/927.38	c  927s |      18 |   516555 |   350252 |    25408     28 |      644 |      490
929.30/929.67	c  929s |      18 |   517325 |   350952 |    25408     28 |      644 |      490
931.40/931.77	c  931s |      18 |   517968 |   351552 |    25408     28 |      644 |      490
933.60/933.98	c  933s |      18 |   518590 |   352152 |    25408     28 |      644 |      490
935.79/936.15	c  935s |      18 |   519255 |   352752 |    25408     28 |      644 |      490
938.09/938.41	c  938s |      18 |   519895 |   353352 |    25408     28 |      644 |      490
940.29/940.69	c  940s |      18 |   520526 |   353952 |    25408     28 |      644 |      490
942.39/942.79	c  942s |      18 |   521050 |   354452 |    25408     28 |      644 |      490
944.48/944.83	c  944s |      18 |   521588 |   354952 |    25408     28 |      644 |      490
946.88/947.22	c  946s |      18 |   522234 |   355552 |    25408     28 |      644 |      490
948.88/949.30	c  949s |      18 |   522757 |   356052 |    25408     28 |      644 |      490
950.98/951.34	c  951s |      18 |   523388 |   356652 |    25408     28 |      644 |      490
953.27/953.66	c  953s |      18 |   523819 |   357052 |    25408     29 |      644 |      490
955.37/955.70	c  955s |      18 |   524579 |   357752 |    25408     29 |      644 |      490
957.57/957.95	c  957s |      18 |   525502 |   358552 |    25408     29 |      644 |      490
959.67/960.01	c  959s |      18 |   526263 |   359252 |    25408     29 |      644 |      490
961.77/962.14	c  961s |      18 |   527020 |   359952 |    25408     29 |      644 |      490
963.96/964.39	c  964s |      18 |   527786 |   360652 |    25408     29 |      644 |      490
966.06/966.42	c  966s |      18 |   528441 |   361252 |    25408     29 |      644 |      490
968.26/968.69	c  968s |      18 |   529211 |   361952 |    25408     29 |      644 |      490
970.36/970.76	c  970s |      18 |   529887 |   362552 |    25408     29 |      644 |      490
972.56/972.98	c  972s |      18 |   530559 |   363152 |    25408     29 |      644 |      490
974.85/975.25	c  974s |      18 |   531311 |   363852 |    25408     29 |      644 |      490
977.05/977.49	c  977s |      18 |   532059 |   364552 |    25408     29 |      644 |      490
979.25/979.60	c  979s |      18 |   532720 |   365152 |    25408     29 |      644 |      490
981.25/981.66	c  981s |      18 |   533361 |   365752 |    25408     29 |      644 |      490
983.55/983.91	c  983s |      18 |   534151 |   366452 |    25408     29 |      644 |      490
985.65/986.02	c  985s |      18 |   534811 |   367052 |    25408     29 |      644 |      490
987.65/988.08	c  987s |      18 |   535510 |   367652 |    25408     29 |      644 |      490
989.95/990.35	c  990s |      18 |   536181 |   368252 |    25408     29 |      644 |      490
992.14/992.54	c  992s |      18 |   536830 |   368852 |    25408     29 |      644 |      490
994.24/994.66	c  994s |      18 |   537489 |   369452 |    25408     29 |      644 |      490
996.44/996.85	c  996s |      18 |   538032 |   369952 |    25408     29 |      644 |      490
998.55/998.90	c  998s |      18 |   538576 |   370452 |    25408     29 |      644 |      490
1000.54/1000.91	c 1000s |      18 |   539122 |   370952 |    25408     29 |      644 |      490
1002.74/1003.11	c 1002s |      18 |   539675 |   371452 |    25408     30 |      644 |      490
1004.83/1005.29	c 1005s |      18 |   540458 |   372152 |    25408     30 |      644 |      490
1007.13/1007.51	c 1007s |      18 |   541343 |   372952 |    25408     30 |      644 |      490
1009.33/1009.79	c 1009s |      18 |   542131 |   373652 |    25408     30 |      644 |      490
1011.74/1012.15	c 1011s |      18 |   542887 |   374352 |    25408     30 |      644 |      490
1013.93/1014.33	c 1014s |      18 |   543525 |   374952 |    25408     30 |      644 |      490
1016.13/1016.54	c 1016s |      18 |   544166 |   375552 |    25408     30 |      644 |      490
1018.33/1018.72	c 1018s |      18 |   544814 |   376152 |    25408     30 |      644 |      490
1020.62/1021.03	c 1020s |      18 |   545475 |   376752 |    25408     30 |      644 |      490
1022.93/1023.32	c 1023s |      18 |   546146 |   377352 |    25408     30 |      644 |      490
1025.02/1025.45	c 1025s |      18 |   546958 |   378052 |    25408     30 |      644 |      490
1027.22/1027.69	c 1027s |      18 |   547712 |   378752 |    25408     30 |      644 |      490
1029.42/1029.84	c 1029s |      18 |   548370 |   379352 |    25408     30 |      644 |      490
1031.53/1031.92	c 1031s |      18 |   549061 |   379952 |    25408     30 |      644 |      490
1033.73/1034.18	c 1033s |      18 |   549732 |   380552 |    25408     30 |      644 |      490
1035.92/1036.36	c 1036s |      18 |   550412 |   381152 |    25408     30 |      644 |      490
1038.31/1038.74	c 1038s |      18 |   551098 |   381752 |    25408     30 |      644 |      490
1040.71/1041.14	c 1040s |      18 |   551763 |   382352 |    25408     30 |      644 |      490
1043.11/1043.55	c 1043s |      18 |   552434 |   382952 |    25408     30 |      644 |      490
1045.21/1045.60	c 1045s |      18 |   552986 |   383452 |    25408     30 |      644 |      490
1047.31/1047.77	c 1047s |      18 |   553625 |   384052 |    25408     30 |      644 |      490
1049.41/1049.86	c 1049s |      18 |   554186 |   384552 |    25408     30 |      644 |      490
1051.81/1052.24	c 1051s |      18 |   554856 |   385152 |    25408     30 |      644 |      490
1053.91/1054.33	c 1054s |      18 |   555309 |   385552 |    25408     31 |      644 |      490
1056.11/1056.59	c 1056s |      18 |   556066 |   386252 |    25408     31 |      644 |      490
1058.31/1058.75	c 1058s |      18 |   556838 |   386952 |    25408     31 |      644 |      490
1060.31/1060.76	c 1060s |      18 |   557508 |   387552 |    25408     31 |      644 |      490
1062.61/1063.08	c 1062s |      18 |   558271 |   388252 |    25408     31 |      644 |      490
1064.61/1065.09	c 1064s |      18 |   558929 |   388852 |    25408     31 |      644 |      490
1066.91/1067.40	c 1067s |      18 |   559718 |   389552 |    25408     31 |      644 |      490
1069.01/1069.48	c 1069s |      18 |   560382 |   390152 |    25408     31 |      644 |      490
1071.20/1071.61	c 1071s |      18 |   561049 |   390752 |    25408     31 |      644 |      490
1073.41/1073.81	c 1073s |      18 |   561705 |   391352 |    25408     31 |      644 |      490
1075.52/1075.95	c 1075s |      18 |   562372 |   391952 |    25408     31 |      644 |      490
1077.72/1078.15	c 1077s |      18 |   563056 |   392552 |    25408     31 |      644 |      490
1079.71/1080.19	c 1079s |      18 |   563748 |   393152 |    25408     31 |      644 |      490
1081.81/1082.25	c 1081s |      18 |   564302 |   393652 |    25408     31 |      644 |      490
1083.91/1084.30	c 1084s |      18 |   564874 |   394152 |    25408     31 |      644 |      490
1086.21/1086.69	c 1086s |      18 |   565576 |   394752 |    25408     31 |      644 |      490
1088.62/1089.09	c 1088s |      18 |   566115 |   395252 |    25408     31 |      644 |      490
1091.11/1091.52	c 1091s |      18 |   566664 |   395752 |    25408     31 |      644 |      490
1093.11/1093.53	c 1093s |      18 |   567114 |   396152 |    25408     31 |      644 |      490
1095.11/1095.56	c 1095s |      18 |   567644 |   396652 |    25408     31 |      644 |      490
1097.51/1097.96	c 1097s |      18 |   568304 |   397252 |    25408     31 |      644 |      490
1099.91/1100.39	c 1100s |      18 |   568953 |   397852 |    25408     31 |      644 |      490
1102.41/1102.80	c 1102s |      18 |   569641 |   398452 |    25408     31 |      644 |      490
1104.40/1104.85	c 1104s |      18 |   570187 |   398952 |    25408     31 |      644 |      490
1106.70/1107.17	c 1106s |      18 |   570866 |   399552 |    25408     31 |      644 |      490
1108.90/1109.32	c 1109s |      18 |   571435 |   400052 |    25408     32 |      644 |      490
1111.10/1111.53	c 1111s |      18 |   572207 |   400752 |    25408     32 |      644 |      490
1113.10/1113.53	c 1113s |      18 |   572994 |   401452 |    25408     32 |      644 |      490
1115.30/1115.75	c 1115s |      18 |   573922 |   402252 |    25408     32 |      644 |      490
1117.40/1117.82	c 1117s |      18 |   574683 |   402952 |    25408     32 |      644 |      490
1119.41/1119.86	c 1119s |      18 |   575466 |   403652 |    25408     32 |      644 |      490
1121.40/1121.87	c 1121s |      18 |   576125 |   404252 |    25408     32 |      644 |      490
1123.60/1124.03	c 1123s |      18 |   576799 |   404852 |    25408     32 |      644 |      490
1125.90/1126.30	c 1126s |      18 |   577574 |   405552 |    25408     32 |      644 |      490
1127.90/1128.35	c 1128s |      18 |   578119 |   406052 |    25408     32 |      644 |      490
1130.20/1130.66	c 1130s |      18 |   578924 |   406752 |    25408     32 |      644 |      490
1132.50/1132.91	c 1132s |      18 |   579726 |   407452 |    25408     32 |      644 |      490
1134.70/1135.19	c 1134s |      18 |   580393 |   408052 |    25408     32 |      644 |      490
1137.00/1137.42	c 1137s |      18 |   580956 |   408552 |    25408     32 |      644 |      490
1139.10/1139.60	c 1139s |      18 |   581611 |   409152 |    25408     32 |      644 |      490
1141.20/1141.67	c 1141s |      18 |   582152 |   409652 |    25408     32 |      644 |      490
1143.40/1143.89	c 1143s |      18 |   582885 |   410252 |    25408     32 |      644 |      490
1145.59/1146.00	c 1145s |      18 |   583664 |   410952 |    25408     32 |      644 |      490
1147.89/1148.34	c 1148s |      18 |   584563 |   411752 |    25408     32 |      644 |      490
1149.99/1150.47	c 1150s |      18 |   585475 |   412552 |    25408     32 |      644 |      490
1152.29/1152.76	c 1152s |      18 |   586250 |   413252 |    25408     32 |      644 |      490
1154.29/1154.79	c 1154s |      18 |   586899 |   413852 |    25408     32 |      644 |      490
1156.39/1156.83	c 1156s |      18 |   587442 |   414352 |    25408     33 |      644 |      490
1158.49/1158.96	c 1158s |      18 |   588439 |   415252 |    25408     33 |      644 |      490
1160.59/1161.01	c 1160s |      18 |   589369 |   416052 |    25408     33 |      644 |      490
1162.59/1163.05	c 1162s |      18 |   590306 |   416852 |    25408     33 |      644 |      490
1164.69/1165.15	c 1164s |      18 |   591192 |   417652 |    25408     33 |      644 |      490
1166.89/1167.36	c 1167s |      18 |   592063 |   418452 |    25408     33 |      644 |      490
1169.19/1169.63	c 1169s |      18 |   593080 |   419352 |    25408     33 |      644 |      490
1171.29/1171.75	c 1171s |      18 |   594007 |   420152 |    25408     33 |      644 |      490
1173.40/1173.85	c 1173s |      18 |   594834 |   420852 |    25408     33 |      644 |      490
1175.69/1176.11	c 1175s |      18 |   595736 |   421652 |    25408     33 |      644 |      490
1177.70/1178.11	c 1177s |      18 |   596399 |   422252 |    25408     33 |      644 |      490
1180.00/1180.41	c 1180s |      18 |   597180 |   422952 |    25408     33 |      644 |      490
1182.20/1182.64	c 1182s |      18 |   598457 |   423752 |    25408     33 |      644 |      490
1184.40/1184.82	c 1184s |      18 |   599459 |   424552 |    25408     33 |      644 |      490
1186.59/1187.02	c 1186s |      18 |   600601 |   425452 |    25408     33 |      644 |      490
1188.59/1189.06	c 1188s |      18 |   601690 |   426352 |    25408     33 |      644 |      490
1190.79/1191.23	c 1190s |      18 |   602394 |   426952 |    25408     33 |      644 |      490
1193.09/1193.54	c 1193s |      18 |   603201 |   427652 |    25408     33 |      644 |      490
1195.69/1196.13	c 1195s |      18 |   603946 |   428252 |    25408     34 |      644 |      490
1197.79/1198.24	c 1197s |      18 |   604747 |   428952 |    25408     34 |      644 |      490
1199.89/1200.31	c 1200s |      18 |   606573 |   430252 |    25408     34 |      644 |      490
1202.00/1202.41	c 1202s |      18 |   607760 |   431352 |    25408     34 |      644 |      490
1203.99/1204.47	c 1204s |      18 |   608969 |   432452 |    25408     34 |      644 |      490
1206.09/1206.58	c 1206s |      18 |   610120 |   433552 |    25408     34 |      644 |      490
1208.39/1208.84	c 1208s |      18 |   611165 |   434452 |    25408     34 |      644 |      490
1210.39/1210.89	c 1210s |      18 |   612019 |   435252 |    25408     34 |      644 |      490
1212.59/1213.03	c 1212s |      18 |   612988 |   436152 |    25408     34 |      644 |      490
1214.69/1215.13	c 1214s |      18 |   613932 |   437052 |    25408     34 |      644 |      490
1216.69/1217.16	c 1216s |      18 |   614815 |   437852 |    25408     34 |      644 |      490
1218.79/1219.23	c 1218s |      18 |   615653 |   438652 |    25408     34 |      644 |      490
1220.89/1221.35	c 1221s |      18 |   616493 |   439452 |    25408     34 |      644 |      490
1222.90/1223.35	c 1223s |      18 |   617218 |   440152 |    25408     34 |      644 |      490
1225.09/1225.52	c 1225s |      18 |   617959 |   440852 |    25408     34 |      644 |      490
1227.39/1227.82	c 1227s |      18 |   618741 |   441552 |    27949     34 |      644 |      490
1229.39/1229.90	c 1229s |      18 |   619494 |   442252 |    27949     34 |      644 |      490
1231.59/1232.09	c 1231s |      18 |   620237 |   442952 |    27949     34 |      644 |      490
1233.79/1234.20	c 1233s |      18 |   620850 |   443552 |    27949     34 |      644 |      490
1235.89/1236.33	c 1236s |      18 |   621475 |   444152 |    27949     34 |      644 |      490
1236.89/1237.35	c 1237s |      19 |   621866 |   444482 |    27949     34 |      644 |      490
1238.99/1239.42	c 1239s |      19 |   625480 |   445282 |    27949     35 |      644 |      490
1240.98/1241.45	c 1241s |      19 |   627420 |   446682 |    27949     35 |      644 |      490
1243.08/1243.54	c 1243s |      19 |   630041 |   448182 |    27949     35 |      644 |      490
1245.08/1245.55	c 1245s |      19 |   631415 |   449382 |    27949     35 |      644 |      490
1247.28/1247.71	c 1247s |      19 |   632926 |   450582 |    27949     35 |      644 |      490
1249.48/1249.91	c 1249s |      19 |   634312 |   451682 |    27949     35 |      644 |      490
1251.49/1251.96	c 1251s |      19 |   635345 |   452582 |    27949     35 |      644 |      490
1253.48/1253.96	c 1253s |      19 |   636288 |   453382 |    27949     35 |      644 |      490
1255.68/1256.20	c 1255s |      19 |   637216 |   454182 |    27949     35 |      644 |      490
1257.88/1258.40	c 1258s |      19 |   638091 |   454982 |    27949     35 |      644 |      490
1260.08/1260.52	c 1260s |      19 |   639016 |   455782 |    27949     35 |      644 |      490
1262.18/1262.61	c 1262s |      19 |   639917 |   456582 |    27949     35 |      644 |      490
1264.28/1264.70	c 1264s |      19 |   640690 |   457282 |    27949     35 |      644 |      490
1266.38/1266.87	c 1266s |      19 |   641598 |   457982 |    27949     35 |      644 |      490
1268.58/1269.08	c 1268s |      19 |   642378 |   458682 |    27949     35 |      644 |      490
1270.68/1271.15	c 1270s |      19 |   643269 |   459382 |    27949     35 |      644 |      490
1273.08/1273.53	c 1273s |      19 |   644099 |   460082 |    27949     35 |      644 |      490
1275.28/1275.74	c 1275s |      19 |   644788 |   460682 |    27949     36 |      644 |      490
1277.28/1277.79	c 1277s |      19 |   645467 |   461282 |    27949     36 |      644 |      490
1279.38/1279.86	c 1279s |      19 |   646131 |   461882 |    27949     36 |      644 |      490
1281.58/1282.01	c 1281s |      19 |   646865 |   462482 |    27949     36 |      644 |      490
1283.77/1284.20	c 1283s |      19 |   647531 |   463082 |    27949     36 |      644 |      490
1285.77/1286.20	c 1285s |      19 |   648099 |   463582 |    27949     36 |      644 |      490
1287.78/1288.24	c 1287s |      19 |   648671 |   464082 |    27949     36 |      644 |      490
1289.77/1290.26	c 1289s |      19 |   649224 |   464582 |    27949     36 |      644 |      490
1291.87/1292.31	c 1292s |      19 |   649773 |   465082 |    27949     36 |      644 |      490
1293.87/1294.36	c 1294s |      19 |   650328 |   465582 |    27949     36 |      644 |      490
1295.97/1296.44	c 1296s |      19 |   650913 |   466082 |    27949     36 |      644 |      490
1298.17/1298.65	c 1298s |      19 |   651464 |   466582 |    27949     36 |      644 |      490
1300.37/1300.88	c 1300s |      19 |   652023 |   467082 |    27949     36 |      644 |      490
1302.67/1303.18	c 1302s |      19 |   652575 |   467582 |    27949     36 |      644 |      490
1304.77/1305.29	c 1305s |      19 |   653230 |   468082 |    27949     36 |      644 |      490
1306.87/1307.38	c 1307s |      19 |   654023 |   468782 |    27949     36 |      644 |      490
1309.17/1309.64	c 1309s |      19 |   654847 |   469482 |    27949     36 |      644 |      490
1311.37/1311.89	c 1311s |      19 |   655668 |   470182 |    27949     36 |      644 |      490
1313.47/1313.92	c 1313s |      19 |   656361 |   470782 |    27949     36 |      644 |      490
1315.47/1315.93	c 1315s |      19 |   657034 |   471382 |    27949     36 |      644 |      490
1317.67/1318.18	c 1317s |      19 |   657696 |   471982 |    27949     36 |      644 |      490
1319.77/1320.21	c 1319s |      19 |   658418 |   472582 |    27949     36 |      644 |      490
1321.97/1322.46	c 1322s |      19 |   659078 |   473182 |    27949     36 |      644 |      490
1324.37/1324.84	c 1324s |      19 |   659755 |   473782 |    27949     36 |      644 |      490
1326.37/1326.88	c 1326s |      19 |   660303 |   474282 |    27949     36 |      644 |      490
1328.67/1329.10	c 1328s |      19 |   660861 |   474782 |    27949     36 |      644 |      490
1330.77/1331.21	c 1330s |      19 |   661419 |   475282 |    27949     36 |      644 |      490
1333.17/1333.60	c 1333s |      19 |   662103 |   475882 |    27949     36 |      644 |      490
1335.37/1335.82	c 1335s |      19 |   662538 |   476282 |    27949     37 |      644 |      490
1337.37/1337.87	c 1337s |      19 |   663194 |   476882 |    27949     37 |      644 |      490
1339.47/1339.92	c 1339s |      19 |   664020 |   477582 |    27949     37 |      644 |      490
1341.47/1341.93	c 1341s |      19 |   664704 |   478182 |    27949     37 |      644 |      490
1343.77/1344.26	c 1343s |      19 |   665376 |   478782 |    27949     37 |      644 |      490
1345.86/1346.30	c 1346s |      19 |   666110 |   479382 |    27949     37 |      644 |      490
1347.86/1348.32	c 1348s |      19 |   666791 |   479982 |    27949     37 |      644 |      490
1350.06/1350.57	c 1350s |      19 |   667464 |   480582 |    27949     37 |      644 |      490
1352.36/1352.87	c 1352s |      19 |   668132 |   481182 |    27949     37 |      644 |      490
1354.46/1354.97	c 1354s |      19 |   668820 |   481782 |    27949     37 |      644 |      490
1356.46/1356.99	c 1356s |      19 |   669481 |   482382 |    27949     37 |      644 |      490
1358.76/1359.22	c 1358s |      19 |   670137 |   482982 |    27949     37 |      644 |      490
1360.86/1361.30	c 1361s |      19 |   670683 |   483482 |    27949     37 |      644 |      490
1363.16/1363.61	c 1363s |      19 |   671351 |   484082 |    27949     37 |      644 |      490
1365.56/1366.01	c 1365s |      19 |   672010 |   484682 |    27949     37 |      644 |      490
1367.76/1368.29	c 1368s |      19 |   672564 |   485182 |    27949     37 |      644 |      490
1370.06/1370.52	c 1370s |      19 |   673101 |   485682 |    27949     37 |      644 |      490
1372.26/1372.71	c 1372s |      19 |   673666 |   486182 |    27949     37 |      644 |      490
1374.67/1375.15	c 1374s |      19 |   674216 |   486682 |    27949     37 |      644 |      490
1376.87/1377.35	c 1377s |      19 |   674762 |   487182 |    27949     37 |      644 |      490
1379.17/1379.64	c 1379s |      19 |   675344 |   487682 |    27949     37 |      644 |      490
1381.27/1381.72	c 1381s |      19 |   675923 |   488182 |    27949     37 |      644 |      490
1383.37/1383.82	c 1383s |      19 |   676526 |   488682 |    27949     37 |      644 |      490
1385.57/1386.06	c 1385s |      19 |   677083 |   489182 |    27949     37 |      644 |      490
1387.77/1388.23	c 1387s |      19 |   677673 |   489682 |    27949     37 |      644 |      490
1389.86/1390.40	c 1390s |      19 |   678209 |   490182 |    27949     37 |      644 |      490
1392.27/1392.76	c 1392s |      19 |   678800 |   490682 |    27949     37 |      644 |      490
1394.37/1394.85	c 1394s |      19 |   679348 |   491182 |    27949     37 |      644 |      490
1396.67/1397.12	c 1396s |      19 |   679921 |   491682 |    27949     37 |      644 |      490
1398.77/1399.29	c 1399s |      19 |   680356 |   492082 |    27949     38 |      644 |      490
1400.86/1401.32	c 1401s |      19 |   681044 |   492682 |    27949     38 |      644 |      490
1403.17/1403.61	c 1403s |      19 |   681701 |   493282 |    27949     38 |      644 |      490
1405.37/1405.90	c 1405s |      19 |   682360 |   493882 |    27949     38 |      644 |      490
1407.57/1408.06	c 1407s |      19 |   683017 |   494482 |    27949     38 |      644 |      490
1409.56/1410.08	c 1409s |      19 |   683547 |   494982 |    27949     38 |      644 |      490
1411.66/1412.10	c 1411s |      19 |   684098 |   495482 |    27949     38 |      644 |      490
1413.76/1414.23	c 1413s |      19 |   684744 |   496082 |    27949     38 |      644 |      490
1415.76/1416.26	c 1415s |      19 |   685290 |   496582 |    27949     38 |      644 |      490
1418.16/1418.65	c 1418s |      19 |   685816 |   497082 |    27949     38 |      644 |      490
1420.16/1420.67	c 1420s |      19 |   686245 |   497482 |    27949     38 |      644 |      490
1422.46/1422.99	c 1422s |      19 |   686903 |   498082 |    27949     38 |      644 |      490
1424.76/1425.29	c 1425s |      19 |   687552 |   498682 |    27949     38 |      644 |      490
1427.16/1427.61	c 1427s |      19 |   688215 |   499282 |    27949     38 |      644 |      490
1429.26/1429.79	c 1429s |      19 |   688770 |   499782 |    27949     38 |      644 |      490
1431.56/1432.00	c 1431s |      19 |   689193 |   500182 |    27949     38 |      644 |      490
1433.66/1434.14	c 1433s |      19 |   689768 |   500682 |    27949     38 |      644 |      490
1435.95/1436.46	c 1436s |      19 |   690303 |   501182 |    27949     38 |      644 |      490
1438.36/1438.88	c 1438s |      19 |   690865 |   501682 |    27949     38 |      644 |      490
1440.66/1441.15	c 1440s |      19 |   691415 |   502182 |    27949     38 |      644 |      490
1443.15/1443.69	c 1443s |      19 |   691959 |   502682 |    27949     38 |      644 |      490
1445.25/1445.71	c 1445s |      19 |   692528 |   503182 |    27949     38 |      644 |      490
1447.45/1447.94	c 1447s |      19 |   693190 |   503782 |    27949     38 |      644 |      490
1449.65/1450.17	c 1449s |      19 |   693786 |   504282 |    27949     38 |      644 |      490
1451.85/1452.34	c 1452s |      19 |   694328 |   504782 |    27949     38 |      644 |      490
1454.35/1454.84	c 1454s |      19 |   694981 |   505382 |    27949     38 |      644 |      490
1456.55/1457.10	c 1456s |      19 |   695406 |   505782 |    27949     38 |      644 |      490
1458.95/1459.48	c 1459s |      19 |   695837 |   506182 |    27949     38 |      644 |      490
1461.15/1461.69	c 1461s |      19 |   696284 |   506582 |    27949     38 |      644 |      490
1463.25/1463.70	c 1463s |      19 |   696716 |   506982 |    27949     38 |      644 |      490
1465.45/1465.99	c 1465s |      19 |   697136 |   507382 |    27949     38 |      644 |      490
1468.25/1468.75	c 1468s |      19 |   697568 |   507782 |    27949     39 |      644 |      490
1470.36/1470.87	c 1470s |      19 |   698098 |   508282 |    27949     39 |      644 |      490
1472.35/1472.89	c 1472s |      19 |   698635 |   508782 |    27949     39 |      644 |      490
1474.65/1475.11	c 1474s |      19 |   699300 |   509382 |    27949     39 |      644 |      490
1476.95/1477.44	c 1477s |      19 |   699975 |   509982 |    27949     39 |      644 |      490
1479.35/1479.87	c 1479s |      19 |   700619 |   510582 |    27949     39 |      644 |      490
1481.45/1481.98	c 1481s |      19 |   701148 |   511082 |    27949     39 |      644 |      490
1483.75/1484.20	c 1483s |      19 |   701678 |   511582 |    27949     39 |      644 |      490
1485.85/1486.33	c 1486s |      19 |   702389 |   512182 |    27949     39 |      644 |      490
1488.05/1488.58	c 1488s |      19 |   703057 |   512782 |    27949     39 |      644 |      490
1490.35/1490.88	c 1490s |      19 |   703701 |   513382 |    27949     39 |      644 |      490
1492.64/1493.13	c 1492s |      19 |   704390 |   513982 |    27949     39 |      644 |      490
1494.94/1495.43	c 1495s |      19 |   705091 |   514582 |    27949     39 |      644 |      490
1496.94/1497.47	c 1497s |      19 |   705634 |   515082 |    27949     39 |      644 |      490
1499.14/1499.69	c 1499s |      19 |   706199 |   515582 |    27949     39 |      644 |      490
1501.24/1501.77	c 1501s |      19 |   706729 |   516082 |    27949     39 |      644 |      490
1503.74/1504.26	c 1503s |      19 |   707253 |   516582 |    27949     39 |      644 |      490
1506.04/1506.52	c 1506s |      19 |   707680 |   516982 |    27949     39 |      644 |      490
1508.14/1508.62	c 1508s |      19 |   708098 |   517382 |    27949     39 |      644 |      490
1510.14/1510.65	c 1510s |      19 |   708539 |   517782 |    27949     39 |      644 |      490
1512.24/1512.76	c 1512s |      19 |   708955 |   518182 |    27949     39 |      644 |      490
1514.54/1515.00	c 1514s |      19 |   709394 |   518582 |    27949     39 |      644 |      490
1516.94/1517.45	c 1517s |      19 |   709936 |   519082 |    27949     39 |      644 |      490
1519.24/1519.74	c 1519s |      19 |   710357 |   519482 |    27949     39 |      644 |      490
1521.44/1521.92	c 1521s |      19 |   710777 |   519882 |    27949     39 |      644 |      490
1523.54/1524.06	c 1523s |      19 |   711193 |   520282 |    27949     39 |      644 |      490
1525.64/1526.14	c 1525s |      19 |   711641 |   520682 |    27949     39 |      644 |      490
1527.84/1528.33	c 1528s |      19 |   712070 |   521082 |    27949     39 |      644 |      490
1530.04/1530.58	c 1530s |      19 |   712479 |   521482 |    27949     39 |      644 |      490
1532.34/1532.83	c 1532s |      19 |   712907 |   521882 |    27949     39 |      644 |      490
1534.34/1534.83	c 1534s |      19 |   713342 |   522282 |    27949     39 |      644 |      490
1536.74/1537.20	c 1536s |      19 |   713879 |   522782 |    27949     39 |      644 |      490
1538.74/1539.23	c 1538s |      19 |   714314 |   523182 |    27949     39 |      644 |      490
1541.04/1541.55	c 1541s |      19 |   714751 |   523582 |    27949     40 |      644 |      490
1543.14/1543.63	c 1543s |      19 |   715296 |   524082 |    27949     40 |      644 |      490
1545.14/1545.64	c 1545s |      19 |   715838 |   524582 |    27949     40 |      644 |      490
1547.63/1548.11	c 1547s |      19 |   716479 |   525182 |    27949     40 |      644 |      490
1549.73/1550.24	c 1549s |      19 |   717004 |   525682 |    27949     40 |      644 |      490
1551.83/1552.38	c 1552s |      19 |   717552 |   526182 |    27949     40 |      644 |      490
1554.03/1554.56	c 1554s |      19 |   718216 |   526782 |    27949     40 |      644 |      490
1556.33/1556.82	c 1556s |      19 |   718735 |   527282 |    27949     40 |      644 |      490
1558.43/1558.96	c 1558s |      19 |   719290 |   527782 |    27949     40 |      644 |      490
1560.54/1561.03	c 1560s |      19 |   719824 |   528282 |    27949     40 |      644 |      490
1562.83/1563.38	c 1563s |      19 |   720360 |   528782 |    27949     40 |      644 |      490
1564.94/1565.44	c 1565s |      19 |   720907 |   529282 |    27949     40 |      644 |      490
1567.04/1567.60	c 1567s |      19 |   721585 |   529882 |    27949     40 |      644 |      490
1569.34/1569.81	c 1569s |      19 |   722245 |   530482 |    27949     40 |      644 |      490
1571.54/1572.06	c 1571s |      19 |   722954 |   531082 |    27949     40 |      644 |      490
1573.73/1574.29	c 1574s |      19 |   723496 |   531582 |    27949     40 |      644 |      490
1576.03/1576.57	c 1576s |      19 |   724039 |   532082 |    27949     40 |      644 |      490
1578.23/1578.71	c 1578s |      19 |   724564 |   532582 |    27949     40 |      644 |      490
1580.33/1580.89	c 1580s |      19 |   725096 |   533082 |    27949     40 |      644 |      490
1582.44/1582.98	c 1582s |      19 |   725633 |   533582 |    27949     40 |      644 |      490
1584.74/1585.28	c 1585s |      19 |   726186 |   534082 |    27949     40 |      644 |      490
1587.03/1587.58	c 1587s |      19 |   726727 |   534582 |    27949     40 |      644 |      490
1589.23/1589.73	c 1589s |      19 |   727807 |   535282 |    27949     40 |      644 |      490
1591.24/1591.73	c 1591s |      19 |   728535 |   535882 |    27949     40 |      644 |      490
1593.33/1593.83	c 1593s |      19 |   729223 |   536482 |    27949     40 |      644 |      490
1595.53/1596.03	c 1595s |      19 |   729925 |   537082 |    27949     40 |      644 |      490
1597.84/1598.31	c 1598s |      19 |   730642 |   537682 |    27949     40 |      644 |      490
1600.23/1600.71	c 1600s |      19 |   731337 |   538282 |    27949     40 |      644 |      490
1602.34/1602.88	c 1602s |      19 |   731883 |   538782 |    27949     40 |      644 |      490
1604.73/1605.21	c 1604s |      19 |   732316 |   539182 |    27949     41 |      644 |      490
1606.74/1607.24	c 1606s |      19 |   732967 |   539782 |    27949     41 |      644 |      490
1608.94/1609.42	c 1609s |      19 |   733759 |   540482 |    27949     41 |      644 |      490
1611.04/1611.60	c 1611s |      19 |   734423 |   541082 |    27949     41 |      644 |      490
1613.23/1613.72	c 1613s |      19 |   735203 |   541782 |    27949     41 |      644 |      490
1615.33/1615.82	c 1615s |      19 |   735871 |   542382 |    27949     41 |      644 |      490
1617.53/1618.00	c 1617s |      19 |   736514 |   542982 |    27949     41 |      644 |      490
1619.52/1620.04	c 1619s |      19 |   737058 |   543482 |    27949     41 |      644 |      490
1621.52/1622.06	c 1621s |      19 |   737607 |   543982 |    27949     41 |      644 |      490
1623.82/1624.32	c 1624s |      19 |   738245 |   544582 |    27949     41 |      644 |      490
1625.82/1626.34	c 1626s |      19 |   738792 |   545082 |    27949     41 |      644 |      490
1627.92/1628.44	c 1628s |      19 |   739335 |   545582 |    27949     41 |      644 |      490
1630.22/1630.78	c 1630s |      19 |   739863 |   546082 |    27949     41 |      644 |      490
1632.32/1632.83	c 1632s |      19 |   740286 |   546482 |    27949     41 |      644 |      490
1634.42/1634.99	c 1634s |      19 |   740845 |   546982 |    27949     41 |      644 |      490
1636.62/1637.12	c 1636s |      19 |   741366 |   547482 |    27949     41 |      644 |      490
1638.72/1639.22	c 1638s |      19 |   741915 |   547982 |    27949     41 |      644 |      490
1640.83/1641.31	c 1641s |      19 |   742453 |   548482 |    27949     41 |      644 |      490
1643.12/1643.65	c 1643s |      19 |   743114 |   549082 |    27949     41 |      644 |      490
1645.23/1645.77	c 1645s |      19 |   743647 |   549582 |    27949     41 |      644 |      490
1647.33/1647.84	c 1647s |      19 |   744208 |   550082 |    27949     41 |      644 |      490
1649.42/1649.97	c 1649s |      19 |   744899 |   550682 |    27949     41 |      644 |      490
1651.72/1652.27	c 1651s |      19 |   745599 |   551282 |    27949     41 |      644 |      490
1653.72/1654.28	c 1654s |      19 |   746163 |   551782 |    27949     41 |      644 |      490
1656.22/1656.72	c 1656s |      19 |   746702 |   552282 |    27949     41 |      644 |      490
1658.52/1659.05	c 1658s |      19 |   747258 |   552782 |    27949     41 |      644 |      490
1660.72/1661.22	c 1660s |      19 |   747804 |   553282 |    27949     41 |      644 |      490
1662.72/1663.29	c 1663s |      19 |   748235 |   553682 |    27949     41 |      644 |      490
1665.12/1665.62	c 1665s |      19 |   748787 |   554182 |    27949     41 |      644 |      490
1668.02/1668.51	c 1668s |      19 |   749318 |   554682 |    27949     42 |      644 |      490
1670.32/1670.81	c 1670s |      19 |   749952 |   555282 |    27949     42 |      644 |      490
1672.51/1673.05	c 1672s |      19 |   750607 |   555882 |    27949     42 |      644 |      490
1674.82/1675.35	c 1675s |      19 |   751386 |   556582 |    27949     42 |      644 |      490
1676.91/1677.47	c 1677s |      19 |   752039 |   557182 |    27949     42 |      644 |      490
1679.11/1679.65	c 1679s |      19 |   752693 |   557782 |    27949     42 |      644 |      490
1681.52/1682.05	c 1681s |      19 |   753330 |   558382 |    27949     42 |      644 |      490
1683.81/1684.35	c 1684s |      19 |   753980 |   558982 |    27949     42 |      644 |      490
1686.21/1686.73	c 1686s |      19 |   754618 |   559582 |    27949     42 |      644 |      490
1688.41/1688.96	c 1688s |      19 |   755151 |   560082 |    27949     42 |      644 |      490
1690.61/1691.19	c 1690s |      19 |   755695 |   560582 |    27949     42 |      644 |      490
1692.81/1693.33	c 1693s |      19 |   756242 |   561082 |    27949     42 |      644 |      490
1695.11/1695.66	c 1695s |      19 |   756915 |   561682 |    27949     42 |      644 |      490
1697.22/1697.72	c 1697s |      19 |   757461 |   562182 |    27949     42 |      644 |      490
1699.32/1699.82	c 1699s |      19 |   758003 |   562682 |    27949     42 |      644 |      490
1701.52/1702.05	c 1701s |      19 |   758543 |   563182 |    27949     42 |      644 |      490
1703.82/1704.30	c 1704s |      19 |   759081 |   563682 |    27949     42 |      644 |      490
1706.02/1706.54	c 1706s |      19 |   759623 |   564182 |    27949     42 |      644 |      490
1708.32/1708.83	c 1708s |      19 |   760157 |   564682 |    27949     42 |      644 |      490
1710.52/1711.04	c 1710s |      19 |   760702 |   565182 |    27949     42 |      644 |      490
1712.51/1713.07	c 1712s |      19 |   761253 |   565682 |    27949     42 |      644 |      490
1714.61/1715.12	c 1714s |      19 |   761801 |   566182 |    27949     42 |      644 |      490
1716.81/1717.33	c 1717s |      19 |   762339 |   566682 |    27949     42 |      644 |      490
1719.01/1719.50	c 1719s |      19 |   762872 |   567182 |    27949     42 |      644 |      490
1721.21/1721.79	c 1721s |      19 |   763401 |   567682 |    27949     42 |      644 |      490
1723.61/1724.18	c 1723s |      19 |   763928 |   568182 |    27949     42 |      644 |      490
1726.11/1726.66	c 1726s |      19 |   764471 |   568682 |    27949     42 |      644 |      490
1728.61/1729.11	c 1728s |      19 |   765005 |   569182 |    27949     42 |      644 |      490
1730.61/1731.18	c 1730s |      19 |   765444 |   569582 |    27949     42 |      644 |      490
1732.71/1733.20	c 1732s |      19 |   765868 |   569982 |    27949     42 |      644 |      490
1734.91/1735.41	c 1735s |      19 |   766193 |   570282 |    27949     43 |      644 |      490
1737.21/1737.76	c 1737s |      19 |   766715 |   570782 |    27949     43 |      644 |      490
1739.51/1740.00	c 1739s |      19 |   767375 |   571382 |    27949     43 |      644 |      490
1741.71/1742.26	c 1741s |      19 |   768029 |   571982 |    27949     43 |      644 |      490
1744.11/1744.64	c 1744s |      19 |   768674 |   572582 |    27949     43 |      644 |      490
1746.41/1746.93	c 1746s |      19 |   769308 |   573182 |    27949     43 |      644 |      490
1748.41/1748.96	c 1748s |      19 |   769853 |   573682 |    27949     43 |      644 |      490
1750.60/1751.13	c 1750s |      19 |   770382 |   574182 |    27949     43 |      644 |      490
1752.80/1753.30	c 1753s |      19 |   770914 |   574682 |    27949     43 |      644 |      490
1755.00/1755.59	c 1755s |      19 |   771447 |   575182 |    27949     43 |      644 |      490
1757.10/1757.67	c 1757s |      19 |   772051 |   575682 |    27949     43 |      644 |      490
1759.40/1759.99	c 1759s |      19 |   772765 |   576282 |    27949     43 |      644 |      490
1761.50/1762.02	c 1761s |      19 |   773395 |   576782 |    27949     43 |      644 |      490
1763.60/1764.13	c 1763s |      19 |   773973 |   577282 |    27949     43 |      644 |      490
1765.80/1766.39	c 1766s |      19 |   774726 |   577882 |    27949     43 |      644 |      490
1768.10/1768.65	c 1768s |      19 |   775415 |   578482 |    27949     43 |      644 |      490
1770.30/1770.88	c 1770s |      19 |   775960 |   578982 |    27949     43 |      644 |      490
1772.71/1773.20	c 1772s |      19 |   776505 |   579482 |    27949     43 |      644 |      490
1775.01/1775.58	c 1775s |      19 |   777057 |   579982 |    27949     43 |      644 |      490
1777.50/1778.01	c 1777s |      19 |   777602 |   580482 |    27949     43 |      644 |      490
1779.50/1780.09	c 1779s |      19 |   778169 |   580982 |    27949     43 |      644 |      490
1781.80/1782.35	c 1782s |      19 |   778729 |   581482 |    27949     43 |      644 |      490
1784.00/1784.58	c 1784s |      19 |   779298 |   581982 |    27949     43 |      644 |      490
1786.30/1786.83	c 1786s |      19 |   779876 |   582482 |    27949     43 |      644 |      490
1788.70/1789.26	c 1788s |      19 |   780410 |   582982 |    27949     43 |      644 |      490
1790.80/1791.39	c 1791s |      19 |   780826 |   583382 |    27949     43 |      644 |      490
1793.30/1793.86	c 1793s |      19 |   781378 |   583882 |    27949     43 |      644 |      490
1795.60/1796.15	c 1795s |      19 |   781956 |   584382 |    27949     43 |      644 |      490
1798.00/1798.58	c 1798s |      19 |   782739 |   584982 |    27949     43 |      644 |      490

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4116877-1466977181/watcher-4116877-1466977181 -o /tmp/evaluation-result-4116877-1466977181/solver-4116877-1466977181 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466975380-22733 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116877-1466977181.opb 

pid=22890
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.18 2.16 2.01 4/172 22893
/proc/meminfo: memFree=30782132/32872528 swapFree=870628/942168
[pid=22893] ppid=22890 vsize=783804 CPUtime=0 cores=1,3,5,7
/proc/22893/stat : 22893 (toysat) R 22890 22893 22716 0 -1 4202496 2937 0 0 0 0 0 0 0 20 0 4 0 30757805 802615296 3298 33554432000 4194304 16246674 140735220229888 140735220229312 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22893/statm: 196719 3309 441 2943 0 193613 0
[pid=22893/tid=22894] ppid=22890 vsize=802236 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22894/stat : 22894 (toysat) S 22890 22893 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757805 821489664 3370 33554432000 4194304 16246674 140735220229888 140169173773552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22893/tid=22895] ppid=22890 vsize=807356 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22895/stat : 22895 (toysat) S 22890 22893 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757805 826732544 3389 33554432000 4194304 16246674 140735220229888 140169163283696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22893/tid=22896] ppid=22890 vsize=812476 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22896/stat : 22896 (toysat) S 22890 22893 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757805 831975424 3407 33554432000 4194304 16246674 140735220229888 140169076272304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100104 s]
/proc/loadavg: 2.18 2.16 2.01 4/172 22893
/proc/meminfo: memFree=30782132/32872528 swapFree=870628/942168
[pid=22893] ppid=22890 vsize=1220164 CPUtime=0.1 cores=1,3,5,7
/proc/22893/stat : 22893 (toysat) R 22890 22893 22716 0 -1 4202496 28468 0 0 0 6 4 0 0 20 0 4 0 30757805 1249447936 28767 33554432000 4194304 16246674 140735220229888 140735220229200 4221027 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22893/statm: 305041 28767 801 2943 0 301935 0
[pid=22893/tid=22894] ppid=22890 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22894/stat : 22894 (toysat) S 22890 22893 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757805 1249447936 28767 33554432000 4194304 16246674 140735220229888 140169173773552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22893/tid=22895] ppid=22890 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22895/stat : 22895 (toysat) S 22890 22893 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757805 1249447936 28767 33554432000 4194304 16246674 140735220229888 140169163283696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22893/tid=22896] ppid=22890 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22896/stat : 22896 (toysat) S 22890 22893 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757805 1249447936 28767 33554432000 4194304 16246674 140735220229888 140169076272304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1220164

[startup+0.200401 s]
/proc/loadavg: 2.18 2.16 2.01 4/172 22893
/proc/meminfo: memFree=30782132/32872528 swapFree=870628/942168
[pid=22893] ppid=22890 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/22893/stat : 22893 (toysat) R 22890 22893 22716 0 -1 4202496 48675 0 0 0 12 7 0 0 20 0 4 0 30757805 1332285440 48974 33554432000 4194304 16246674 140735220229888 140735220229200 6934856 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22893/statm: 325265 48974 842 2943 0 322159 0
[pid=22893/tid=22894] ppid=22890 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22894/stat : 22894 (toysat) S 22890 22893 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757805 1332285440 48974 33554432000 4194304 16246674 140735220229888 140169173773552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22893/tid=22895] ppid=22890 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22895/stat : 22895 (toysat) S 22890 22893 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757805 1332285440 48974 33554432000 4194304 16246674 140735220229888 140169163283696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22893/tid=22896] ppid=22890 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22896/stat : 22896 (toysat) S 22890 22893 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757805 1332285440 48974 33554432000 4194304 16246674 140735220229888 140169076272304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.30035 s]
/proc/loadavg: 2.18 2.16 2.01 4/172 22893
/proc/meminfo: memFree=30782132/32872528 swapFree=870628/942168
[pid=22893] ppid=22890 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/22893/stat : 22893 (toysat) R 22890 22893 22716 0 -1 4202496 54699 0 0 0 22 7 0 0 20 0 4 0 30757805 1332285440 54998 33554432000 4194304 16246674 140735220229888 140735220229200 5532301 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22893/statm: 325265 55005 882 2943 0 322159 0
[pid=22893/tid=22894] ppid=22890 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22894/stat : 22894 (toysat) S 22890 22893 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757805 1332285440 55009 33554432000 4194304 16246674 140735220229888 140169173773552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22893/tid=22895] ppid=22890 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22895/stat : 22895 (toysat) S 22890 22893 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757805 1332285440 55013 33554432000 4194304 16246674 140735220229888 140169163283696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22893/tid=22896] ppid=22890 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22896/stat : 22896 (toysat) S 22890 22893 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757805 1332285440 55014 33554432000 4194304 16246674 140735220229888 140169076272304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700276 s]
/proc/loadavg: 2.18 2.16 2.01 4/172 22893
/proc/meminfo: memFree=30782132/32872528 swapFree=870628/942168
[pid=22893] ppid=22890 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/22893/stat : 22893 (toysat) R 22890 22893 22716 0 -1 4202496 104642 0 0 0 56 13 0 0 20 0 4 0 30757805 1332285440 104941 33554432000 4194304 16246674 140735220229888 140735220212880 6836566 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22893/statm: 325265 104943 882 2943 0 322159 0
[pid=22893/tid=22894] ppid=22890 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22894/stat : 22894 (toysat) S 22890 22893 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757805 1332285440 104945 33554432000 4194304 16246674 140735220229888 140169173773552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22893/tid=22895] ppid=22890 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22895/stat : 22895 (toysat) S 22890 22893 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757805 1332285440 104946 33554432000 4194304 16246674 140735220229888 140169163283696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22893/tid=22896] ppid=22890 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22896/stat : 22896 (toysat) S 22890 22893 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757805 1332285440 104948 33554432000 4194304 16246674 140735220229888 140169076272304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50034 s]
/proc/loadavg: 2.18 2.16 2.01 3/183 22911
/proc/meminfo: memFree=29549200/32872528 swapFree=870628/942168
[pid=22893] ppid=22890 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/22893/stat : 22893 (toysat) R 22890 22893 22716 0 -1 4202496 206015 0 0 0 121 28 0 0 20 0 4 0 30757805 1332285440 206314 33554432000 4194304 16246674 140735220229888 140735220212880 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22893/statm: 325265 206319 882 2943 0 322159 0
[pid=22893/tid=22894] ppid=22890 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22894/stat : 22894 (toysat) S 22890 22893 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757805 1332285440 206322 33554432000 4194304 16246674 140735220229888 140169173773552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22893/tid=22895] ppid=22890 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22895/stat : 22895 (toysat) S 22890 22893 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757805 1332285440 206326 33554432000 4194304 16246674 140735220229888 140169163283696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22893/tid=22896] ppid=22890 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22896/stat : 22896 (toysat) S 22890 22893 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757805 1332285440 206330 33554432000 4194304 16246674 140735220229888 140169076272304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10036 s]
/proc/loadavg: 2.18 2.16 2.01 3/183 22911
/proc/meminfo: memFree=28609528/32872528 swapFree=870628/942168
[pid=22893] ppid=22890 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/22893/stat : 22893 (toysat) R 22890 22893 22716 0 -1 4202496 269510 0 0 0 272 37 0 0 20 0 4 0 30757805 1344868352 269809 33554432000 4194304 16246674 140735220229888 140735220211776 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22893/statm: 328337 269809 889 2943 0 325231 0
[pid=22893/tid=22894] ppid=22890 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22894/stat : 22894 (toysat) S 22890 22893 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757805 1344868352 269809 33554432000 4194304 16246674 140735220229888 140169173773552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22893/tid=22895] ppid=22890 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22895/stat : 22895 (toysat) S 22890 22893 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757805 1344868352 269809 33554432000 4194304 16246674 140735220229888 140169163283696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22893/tid=22896] ppid=22890 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22896/stat : 22896 (toysat) S 22890 22893 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757805 1344868352 269809 33554432000 4194304 16246674 140735220229888 140169076272304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30035 s]
/proc/loadavg: 2.16 2.16 2.01 3/183 22911
/proc/meminfo: memFree=28608308/32872528 swapFree=870628/942168
[pid=22893] ppid=22890 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/22893/stat : 22893 (toysat) R 22890 22893 22716 0 -1 4202496 269527 0 0 0 592 37 0 0 20 0 4 0 30757805 1344868352 269826 33554432000 4194304 16246674 140735220229888 140735220211776 5721673 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22893/statm: 328337 269826 891 2943 0 325231 0
[pid=22893/tid=22894] ppid=22890 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22894/stat : 22894 (toysat) S 22890 22893 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757805 1344868352 269826 33554432000 4194304 16246674 140735220229888 140169173773552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22893/tid=22895] ppid=22890 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22895/stat : 22895 (toysat) S 22890 22893 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757805 1344868352 269826 33554432000 4194304 16246674 140735220229888 140169163283696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22893/tid=22896] ppid=22890 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22896/stat : 22896 (toysat) S 22890 22893 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757805 1344868352 269826 33554432000 4194304 16246674 140735220229888 140169076272304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.23 2.17 2.01 3/183 22911
/proc/meminfo: memFree=28608196/32872528 swapFree=870628/942168
[pid=22893] ppid=22890 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/22893/stat : 22893 (toysat) R 22890 22893 22716 0 -1 4202496 269527 0 0 0 1232 37 0 0 20 0 4 0 30757805 1344868352 269826 33554432000 4194304 16246674 140735220229888 140735220211776 5822722 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22893/statm: 328337 269826 891 2943 0 325231 0
[pid=22893/tid=22894] ppid=22890 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22894/stat : 22894 (toysat) S 22890 22893 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757805 1344868352 269826 33554432000 4194304 16246674 140735220229888 140169173773552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22893/tid=22895] ppid=22890 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22895/stat : 22895 (toysat) S 22890 22893 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757805 1344868352 269826 33554432000 4194304 16246674 140735220229888 140169163283696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22893/tid=22896] ppid=22890 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22896/stat : 22896 (toysat) S 22890 22893 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757805 1344868352 269826 33554432000 4194304 16246674 140735220229888 140169076272304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.18 2.16 2.01 3/184 22914
/proc/meminfo: memFree=28608520/32872528 swapFree=870628/942168
[pid=22893] ppid=22890 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/22893/stat : 22893 (toysat) R 22890 22893 22716 0 -1 4202496 269528 0 0 0 2511 37 0 0 20 0 4 0 30757805 1344868352 269827 33554432000 4194304 16246674 140735220229888 140735220211776 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22893/statm: 328337 269827 892 2943 0 325231 0
[pid=22893/tid=22894] ppid=22890 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22894/stat : 22894 (toysat) S 22890 22893 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757805 1344868352 269827 33554432000 4194304 16246674 140735220229888 140169173773552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22893/tid=22895] ppid=22890 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22895/stat : 22895 (toysat) S 22890 22893 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757805 1344868352 269827 33554432000 4194304 16246674 140735220229888 140169163283696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22893/tid=22896] ppid=22890 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22896/stat : 22896 (toysat) S 22890 22893 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757805 1344868352 269827 33554432000 4194304 16246674 140735220229888 140169076272304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.19 2.17 2.01 3/184 22914
/proc/meminfo: memFree=28609260/32872528 swapFree=870628/942168
[pid=22893] ppid=22890 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/22893/stat : 22893 (toysat) R 22890 22893 22716 0 -1 4202496 269528 0 0 0 5071 37 0 0 20 0 4 0 30757805 1344868352 269827 33554432000 4194304 16246674 140735220229888 140735220211776 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22893/statm: 328337 269827 892 2943 0 325231 0
[pid=22893/tid=22894] ppid=22890 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22894/stat : 22894 (toysat) S 22890 22893 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757805 1344868352 269827 33554432000 4194304 16246674 140735220229888 140169173773552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22893/tid=22895] ppid=22890 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22895/stat : 22895 (toysat) S 22890 22893 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757805 1344868352 269827 33554432000 4194304 16246674 140735220229888 140169163283696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22893/tid=22896] ppid=22890 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22896/stat : 22896 (toysat) S 22890 22893 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757805 1344868352 269827 33554432000 4194304 16246674 140735220229888 140169076272304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.08 2.14 2.01 3/183 22915
/proc/meminfo: memFree=28590844/32872528 swapFree=870628/942168
[pid=22893] ppid=22890 vsize=1319492 CPUtime=102.29 cores=1,3,5,7
/proc/22893/stat : 22893 (toysat) R 22890 22893 22716 0 -1 4202496 270813 0 0 0 10191 38 0 0 20 0 4 0 30757805 1351159808 271112 33554432000 4194304 16246674 140735220229888 140735220211776 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22893/statm: 329873 271112 892 2943 0 326767 0
[pid=22893/tid=22894] ppid=22890 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22894/stat : 22894 (toysat) S 22890 22893 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757805 1351159808 271112 33554432000 4194304 16246674 140735220229888 140169173773552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22893/tid=22895] ppid=22890 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22895/stat : 22895 (toysat) S 22890 22893 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757805 1351159808 271112 33554432000 4194304 16246674 140735220229888 140169163283696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22893/tid=22896] ppid=22890 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22896/stat : 22896 (toysat) S 22890 22893 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757805 1351159808 271112 33554432000 4194304 16246674 140735220229888 140169076272304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1319492


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

/proc/22893/task/22896/stat : 22896 (toysat) S 22890 22893 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169076272304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1334852

[startup+1362.3 s]
/proc/loadavg: 2.24 2.22 2.10 3/183 22981
/proc/meminfo: memFree=28563656/32872528 swapFree=870628/942168
[pid=22893] ppid=22890 vsize=1334852 CPUtime=1361.86 cores=1,3,5,7
/proc/22893/stat : 22893 (toysat) R 22890 22893 22716 0 -1 4202496 275269 0 0 0 136138 48 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140735220211776 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22893/statm: 333713 275459 892 2943 0 330607 0
[pid=22893/tid=22894] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22894/stat : 22894 (toysat) S 22890 22893 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169173773552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22893/tid=22895] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22895/stat : 22895 (toysat) S 22890 22893 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169163283696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22893/tid=22896] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22896/stat : 22896 (toysat) S 22890 22893 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169076272304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1334852

[startup+1422.3 s]
/proc/loadavg: 2.18 2.20 2.10 3/183 22982
/proc/meminfo: memFree=28564092/32872528 swapFree=870628/942168
[pid=22893] ppid=22890 vsize=1334852 CPUtime=1421.86 cores=1,3,5,7
/proc/22893/stat : 22893 (toysat) R 22890 22893 22716 0 -1 4202496 275269 0 0 0 142137 49 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140735220211776 12477957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22893/statm: 333713 275459 892 2943 0 330607 0
[pid=22893/tid=22894] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22894/stat : 22894 (toysat) S 22890 22893 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169173773552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22893/tid=22895] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22895/stat : 22895 (toysat) S 22890 22893 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169163283696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22893/tid=22896] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22896/stat : 22896 (toysat) S 22890 22893 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169076272304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1334852

[startup+1482.3 s]
/proc/loadavg: 2.20 2.21 2.10 3/183 22984
/proc/meminfo: memFree=28564116/32872528 swapFree=870628/942168
[pid=22893] ppid=22890 vsize=1334852 CPUtime=1481.85 cores=1,3,5,7
/proc/22893/stat : 22893 (toysat) R 22890 22893 22716 0 -1 4202496 275269 0 0 0 148136 49 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140735220229064 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22893/statm: 333713 275459 892 2943 0 330607 0
[pid=22893/tid=22894] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22894/stat : 22894 (toysat) S 22890 22893 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169173773552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22893/tid=22895] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22895/stat : 22895 (toysat) S 22890 22893 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169163283696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22893/tid=22896] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22896/stat : 22896 (toysat) S 22890 22893 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169076272304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1334852

[startup+1542.31 s]
/proc/loadavg: 2.13 2.18 2.10 3/183 22985
/proc/meminfo: memFree=28564372/32872528 swapFree=870628/942168
[pid=22893] ppid=22890 vsize=1334852 CPUtime=1541.84 cores=1,3,5,7
/proc/22893/stat : 22893 (toysat) R 22890 22893 22716 0 -1 4202496 275269 0 0 0 154135 49 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140735220211776 5721252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22893/statm: 333713 275459 892 2943 0 330607 0
[pid=22893/tid=22894] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22894/stat : 22894 (toysat) S 22890 22893 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169173773552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22893/tid=22895] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22895/stat : 22895 (toysat) S 22890 22893 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169163283696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22893/tid=22896] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22896/stat : 22896 (toysat) S 22890 22893 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169076272304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1334852

[startup+1602.3 s]
/proc/loadavg: 2.10 2.16 2.09 3/183 22986
/proc/meminfo: memFree=28564392/32872528 swapFree=870628/942168
[pid=22893] ppid=22890 vsize=1334852 CPUtime=1601.83 cores=1,3,5,7
/proc/22893/stat : 22893 (toysat) R 22890 22893 22716 0 -1 4202496 275269 0 0 0 160133 50 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140735220211776 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22893/statm: 333713 275459 892 2943 0 330607 0
[pid=22893/tid=22894] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22894/stat : 22894 (toysat) S 22890 22893 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169173773552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22893/tid=22895] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22895/stat : 22895 (toysat) S 22890 22893 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169163283696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22893/tid=22896] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22896/stat : 22896 (toysat) S 22890 22893 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169076272304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1334852

[startup+1662.3 s]
/proc/loadavg: 2.04 2.13 2.09 3/183 22987
/proc/meminfo: memFree=28564160/32872528 swapFree=870628/942168
[pid=22893] ppid=22890 vsize=1334852 CPUtime=1661.82 cores=1,3,5,7
/proc/22893/stat : 22893 (toysat) R 22890 22893 22716 0 -1 4202496 275269 0 0 0 166132 50 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140735220211776 6022410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22893/statm: 333713 275459 892 2943 0 330607 0
[pid=22893/tid=22894] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22894/stat : 22894 (toysat) S 22890 22893 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169173773552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22893/tid=22895] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22895/stat : 22895 (toysat) S 22890 22893 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169163283696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22893/tid=22896] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22896/stat : 22896 (toysat) S 22890 22893 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169076272304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1334852

[startup+1722.3 s]
/proc/loadavg: 2.13 2.14 2.09 3/183 22988
/proc/meminfo: memFree=28563944/32872528 swapFree=870628/942168
[pid=22893] ppid=22890 vsize=1334852 CPUtime=1721.81 cores=1,3,5,7
/proc/22893/stat : 22893 (toysat) R 22890 22893 22716 0 -1 4202496 275269 0 0 0 172130 51 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140735220211776 5546072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22893/statm: 333713 275459 892 2943 0 330607 0
[pid=22893/tid=22894] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22894/stat : 22894 (toysat) S 22890 22893 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169173773552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22893/tid=22895] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22895/stat : 22895 (toysat) S 22890 22893 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169163283696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22893/tid=22896] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22896/stat : 22896 (toysat) S 22890 22893 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169076272304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1334852

[startup+1782.3 s]
/proc/loadavg: 2.10 2.12 2.09 3/183 22990
/proc/meminfo: memFree=28563852/32872528 swapFree=870628/942168
[pid=22893] ppid=22890 vsize=1334852 CPUtime=1781.8 cores=1,3,5,7
/proc/22893/stat : 22893 (toysat) R 22890 22893 22716 0 -1 4202496 275269 0 0 0 178129 51 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140735220211776 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22893/statm: 333713 275459 892 2943 0 330607 0
[pid=22893/tid=22894] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22894/stat : 22894 (toysat) S 22890 22893 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169173773552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22893/tid=22895] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22895/stat : 22895 (toysat) S 22890 22893 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169163283696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22893/tid=22896] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22896/stat : 22896 (toysat) S 22890 22893 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169076272304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1334852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.15 2.13 2.09 3/183 22990
/proc/meminfo: memFree=28563852/32872528 swapFree=870628/942168
[pid=22893] ppid=22890 vsize=1334852 CPUtime=1800 cores=1,3,5,7
/proc/22893/stat : 22893 (toysat) R 22890 22893 22716 0 -1 4202496 275269 0 0 0 179949 51 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140735220211776 5824563 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22893/statm: 333713 275459 892 2943 0 330607 0
[pid=22893/tid=22894] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22894/stat : 22894 (toysat) S 22890 22893 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169173773552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22893/tid=22895] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22895/stat : 22895 (toysat) S 22890 22893 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169163283696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22893/tid=22896] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22896/stat : 22896 (toysat) S 22890 22893 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169076272304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1334852

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22893 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.15 2.13 2.09 3/183 22990
/proc/meminfo: memFree=28563852/32872528 swapFree=870628/942168
[pid=22893] ppid=22890 vsize=1334852 CPUtime=1800 cores=1,3,5,7
/proc/22893/stat : 22893 (toysat) R 22890 22893 22716 0 -1 4202496 275269 0 0 0 179949 51 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140735220211776 5824563 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22893/statm: 333713 275459 892 2943 0 330607 0
[pid=22893/tid=22894] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22894/stat : 22894 (toysat) S 22890 22893 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169173773552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22893/tid=22895] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22895/stat : 22895 (toysat) S 22890 22893 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169163283696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22893/tid=22896] ppid=22890 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/22893/task/22896/stat : 22896 (toysat) S 22890 22893 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757805 1366888448 275459 33554432000 4194304 16246674 140735220229888 140169076272304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1334852

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.49
CPU system time (s): 0.517921
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 1334852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.517921
maximum resident set size= 1101836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275269
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= 384
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.65129 second user time and 6.87096 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-26 23:39:41
IDJOB=4116877
IDBENCH=109525
IDSOLVER=2542
FILE ID=node113/4116877-1466977181
RUNJOBID= node113-1466975380-22733
PBS_JOBID= 19976383
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116877-1466977181/watcher-4116877-1466977181 -o /tmp/evaluation-result-4116877-1466977181/solver-4116877-1466977181 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466975380-22733 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116877-1466977181.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 8720edcebb4d35aaf36c8e6b8be5ec36
RANDOM SEED=1258596632

node113.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.699
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.699
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.699
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.699
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.699
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.699
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.699
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.699
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5325.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30783140 kB
Buffers:           55576 kB
Cached:           340132 kB
SwapCached:        18844 kB
Active:            70680 kB
Inactive:         345416 kB
Active(anon):       3224 kB
Inactive(anon):    20016 kB
Active(file):      67456 kB
Inactive(file):   325400 kB
Unevictable:      942168 kB
Mlocked:          870628 kB
SwapTotal:      67108856 kB
SwapFree:       67082244 kB
Dirty:             16756 kB
Writeback:             4 kB
AnonPages:        945512 kB
Mapped:             8152 kB
Shmem:                 0 kB
Slab:             597368 kB
SReclaimable:      41324 kB
SUnreclaim:       556044 kB
KernelStack:        1464 kB
PageTables:         5888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1039256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71668 MiB
End job on node113 at 2016-06-27 00:09:42