Trace number 4078880

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.08 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K70.opb
MD5SUMe50339bba16007b68fcf75042d633deb
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark51.8041
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3850
Total number of constraints3992
Number of constraints which are clauses3922
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint70
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 71
Number of bits of the biggest sum of numbers7
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-07T10:15:27+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-4078880-1465287326.opb"]
0.00/0.01	c use --random-gen="782967818 2508903501 741868947 1044284586 4003829930 1264292186 3776258695 4105764403 2237760538 1979514863 1262998543 4223186111 413807086 3055605131 2486058633 3462502243 3086505712 1274052403 933137209 860996503 4133905906 1065216880 3461210191 1688973917 294780739 2754581895 3188555976 3874157920 1887740690 604641748 3423363740 3813717134 649154152 320534752 3358793164 528393488 150041871 1561452352 141977675 2136670137 2678441916 722848885 548322154 3757919153 1365021179 733388081 4169153041 4079790915 4255981921 2641177282 3012864250 521021956 1371963743 4242935313 3196021065 2016005627 3171861555 1808797361 2745353484 2046888463 3820303394 2575074569 3765895177 950623568 3576591226 3882859710 3250416422 1295979753 994035453 731991539 1040577637 1526894665 1311464005 1070618427 4258822856 2363600217 462051090 2629126655 679376673 4010776035 762111971 1385650033 846815880 251929591 2883588802 1283584897 3699326564 1639906142 77042779 3058020670 176199299 707384396 3129820502 2348604611 1265870662 403382900 2402277934 2125798908 1622451349 2196281651 1414514716 1114388160 768410901 2536077228 3248066961 2263524753 2657947357 2276495135 353430738 1561115416 2228022607 1375689880 2739950778 2020370090 1045783649 630411745 161556522 2918255356 1763968825 1058809902 3676736870 1722688284 2774293814 1318780068 2517541750 2446593812 2531913812 2521813942 4085987913 469299581 229549694 2651142078 180702190 3012708028 1730474318 4127865912 1809203120 3697705086 2393729943 4243976129 3361238581 2230595166 1739152121 3719757022 2625845303 1569026751 163966908 2445661858 452149966 3520414945 3267793931 4136341233 3948320157 3562239698 3552961257 2577836246 3882683735 3715798619 2109746760 2337532550 2681490379 3742574013 3783324632 3779749367 2535108746 3803643257 1475959024 4203350752 1310073455 717250314 3933594269 4163231370 3425425072 1626543127 701002421 1402801847 1145383912 851993699 1252497690 3753536427 2125104958 2802197670 828555086 3736350611 645030439 1326629327 2332477920 1818824110 3643616217 2037091744 104700597 3458300109 1613906337 894298722 3282893135 2618934180 158550672 1912375533 683478242 4011029244 1604185600 3789568594 3163519402 1317498079 3009135137 3801801294 3219076803 4118623574 3877548960 2779400072 4111541284 729403839 160207943 2433535468 1715718975 676367411 3914040027 1125852718 3274797716 4216799209 2524039031 4197783502 1112421393 1421884630 440063151 3965800535 2124182976 3469901560 729134332 584224044 2056020637 1304889810 1851722835 2928452022 4211066182 3810426105 94737103 3263453981 2713725951 3822399406 3457690236 54418000 2819703089 2157988260 1530374355 4259639395 576208624 3237822497 4156212844 2428841697 847884526 1900340787 2879268751 3734443978 2042942875 2396157900 255 362436" option to reproduce the execution
0.00/0.06	c #vars 3850
0.00/0.06	c #constraints 3992
0.09/0.14	c Solving starts ...
0.09/0.14	c ============================[ Search Statistics ]============================
0.09/0.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.14	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.14	c =============================================================================
0.09/0.14	c  0.0s |       0 |        0 |        0 |     2613      0 |      455 |        0
0.29/0.30	c  0.2s |       1 |     1209 |      100 |     2613      0 |      456 |      411
0.39/0.47	c  0.3s |       2 |     3190 |      250 |     2875      0 |      460 |      415
0.59/0.66	c  0.5s |       3 |     6051 |      475 |     3163      0 |      461 |      416
0.89/0.99	c  0.8s |       4 |     8663 |      813 |     3480      0 |      461 |      416
1.49/1.50	c  1.4s |       5 |    14492 |     1320 |     3829      0 |      463 |      418
2.19/2.23	c  2.1s |       6 |    20530 |     2081 |     4634      0 |      467 |      422
3.59/3.61	c  3.5s |       7 |    31519 |     3223 |     5098      0 |      473 |      428
4.99/5.09	c  4.9s |       8 |    48257 |     4936 |     5608      0 |      474 |      429
6.99/7.09	c  7.0s |       8 |    69053 |     7236 |     5608      1 |      479 |      434
7.29/7.35	c  7.2s |       9 |    72671 |     7506 |     6169      1 |      480 |      435
9.39/9.42	c  9.3s |       9 |    88718 |     9706 |     6169      1 |      481 |      436
11.19/11.26	c 11.1s |      10 |   103007 |    11361 |     6786      2 |      486 |      441
13.19/13.28	c 13.1s |      10 |   115303 |    13161 |     6786      2 |      488 |      443
15.39/15.49	c 15.3s |      10 |   120982 |    14761 |     6786      2 |      489 |      444
17.59/17.68	c 17.5s |      10 |   124037 |    15761 |     6786      2 |      489 |      444
19.68/19.79	c 19.6s |      10 |   126787 |    16761 |     6786      3 |      489 |      444
20.18/20.27	c 20.1s |      11 |   128384 |    17144 |     7465      3 |      490 |      445
22.38/22.42	c 22.3s |      11 |   139357 |    18744 |     7465      3 |      490 |      445
24.58/24.64	c 24.5s |      11 |   144967 |    20044 |     7465      3 |      490 |      445
26.88/26.92	c 26.8s |      11 |   149101 |    21044 |     7465      4 |      490 |      445
28.98/29.01	c 28.9s |      11 |   154423 |    22244 |     7465      4 |      490 |      445
31.18/31.20	c 31.1s |      11 |   157963 |    23244 |     7465      4 |      490 |      445
33.18/33.27	c 33.1s |      11 |   160362 |    23944 |     7465      4 |      490 |      445
35.38/35.48	c 35.3s |      11 |   162780 |    24744 |     7465      4 |      490 |      445
37.49/37.53	c 37.4s |      11 |   164969 |    25444 |     7465      4 |      490 |      445
39.18/39.26	c 39.1s |      12 |   165950 |    25819 |     8212      5 |      490 |      445
41.18/41.26	c 41.1s |      12 |   176299 |    27819 |     8212      5 |      491 |      446
43.18/43.28	c 43.1s |      12 |   180658 |    29119 |     8212      5 |      491 |      446
45.29/45.31	c 45.2s |      12 |   183418 |    30119 |     8212      5 |      491 |      446
47.39/47.44	c 47.3s |      12 |   186344 |    31219 |     8212      5 |      491 |      446
49.38/49.45	c 49.3s |      12 |   188565 |    32119 |     8212      6 |      491 |      446
51.48/51.52	c 51.4s |      12 |   195921 |    33819 |     8212      6 |      491 |      446
53.58/53.63	c 53.5s |      12 |   200468 |    35319 |     8212      6 |      491 |      446
55.68/55.70	c 55.6s |      12 |   203142 |    36419 |     8212      6 |      491 |      446
57.68/57.78	c 57.6s |      12 |   205830 |    37419 |     8212      7 |      491 |      446
59.78/59.89	c 59.7s |      12 |   208063 |    38319 |     8212      7 |      491 |      446
61.18/61.25	c 61.1s |      13 |   209110 |    38832 |     9034      7 |      491 |      446
63.28/63.35	c 63.2s |      13 |   215037 |    40132 |     9034      7 |      491 |      446
65.48/65.54	c 65.4s |      13 |   217216 |    40732 |     9034      7 |      491 |      446
67.48/67.58	c 67.4s |      13 |   220441 |    41732 |     9034      7 |      491 |      446
69.88/69.93	c 69.8s |      13 |   221890 |    42332 |     9034      7 |      491 |      446
72.38/72.44	c 72.3s |      13 |   223362 |    42932 |     9034      8 |      491 |      446
74.48/74.50	c 74.4s |      13 |   226217 |    43732 |     9034      8 |      491 |      446
76.58/76.60	c 76.5s |      13 |   239784 |    45632 |     9034      8 |      492 |      447
78.58/78.66	c 78.5s |      13 |   254786 |    47732 |     9034      9 |      492 |      447
80.68/80.74	c 80.6s |      13 |   269224 |    49932 |     9034      9 |      492 |      447
82.78/82.83	c 82.7s |      13 |   277325 |    51232 |     9034      9 |      493 |      448
84.88/84.92	c 84.8s |      13 |   294006 |    53232 |     9034     10 |      494 |      449
86.88/87.00	c 86.9s |      13 |   305471 |    55132 |     9034     10 |      497 |      452
88.98/89.02	c 88.9s |      13 |   314031 |    56632 |     9034     10 |      497 |      452
90.98/91.07	c 90.9s |      13 |   329912 |    58332 |     9938     11 |      499 |      454
91.08/91.10	c 91.0s |      14 |   330370 |    58352 |     9938     11 |      499 |      454
93.08/93.18	c 93.0s |      14 |   339626 |    60052 |     9938     11 |      499 |      454
95.18/95.25	c 95.1s |      14 |   349164 |    61852 |     9938     11 |      499 |      454
97.28/97.32	c 97.2s |      14 |   359166 |    63552 |     9938     11 |      502 |      457
99.37/99.40	c 99.3s |      14 |   367282 |    65452 |     9938     12 |      502 |      457
101.37/101.49	c  101s |      14 |   372854 |    66952 |     9938     12 |      502 |      457
103.48/103.59	c  103s |      14 |   377108 |    68252 |     9938     12 |      502 |      457
105.77/105.82	c  105s |      14 |   382239 |    69452 |     9938     13 |      502 |      457
107.88/107.94	c  107s |      14 |   388902 |    70952 |     9938     13 |      502 |      457
109.98/110.08	c  109s |      14 |   394417 |    72452 |     9938     13 |      502 |      457
112.18/112.27	c  112s |      14 |   399904 |    73752 |     9938     13 |      502 |      457
114.17/114.27	c  114s |      14 |   404387 |    74752 |     9938     13 |      502 |      457
116.27/116.34	c  116s |      14 |   410416 |    76352 |     9938     14 |      503 |      458
118.37/118.47	c  118s |      14 |   414971 |    77852 |     9938     14 |      503 |      458
120.47/120.56	c  120s |      14 |   421172 |    79152 |     9938     14 |      505 |      460
122.97/123.02	c  122s |      14 |   425726 |    80352 |     9938     15 |      506 |      461
125.07/125.18	c  125s |      14 |   433937 |    82052 |     9938     15 |      506 |      461
127.17/127.22	c  127s |      14 |   441104 |    83752 |     9938     15 |      506 |      461
129.27/129.35	c  129s |      14 |   448273 |    85152 |     9938     15 |      506 |      461
131.37/131.46	c  131s |      14 |   453248 |    86452 |     9938     16 |      506 |      461
133.18/133.23	c  133s |      15 |   458011 |    87632 |    10932     16 |      506 |      461
135.17/135.26	c  135s |      15 |   460729 |    88532 |    10932     16 |      506 |      461
137.37/137.40	c  137s |      15 |   465005 |    89532 |    10932     16 |      507 |      462
139.47/139.54	c  139s |      15 |   467235 |    90232 |    10932     16 |      507 |      462
141.57/141.68	c  141s |      15 |   472513 |    91332 |    10932     16 |      508 |      463
143.67/143.73	c  143s |      15 |   480441 |    92832 |    10932     17 |      508 |      463
145.67/145.75	c  145s |      15 |   488647 |    94132 |    10932     17 |      509 |      464
147.77/147.83	c  147s |      15 |   504916 |    96332 |    10932     17 |      509 |      464
149.87/149.94	c  149s |      15 |   514581 |    98132 |    10932     17 |      509 |      464
152.06/152.11	c  151s |      15 |   519849 |    99632 |    10932     18 |      509 |      464
154.07/154.19	c  154s |      15 |   526266 |   101332 |    10932     18 |      509 |      464
156.36/156.41	c  156s |      15 |   530606 |   102632 |    10932     18 |      509 |      464
158.47/158.53	c  158s |      15 |   535475 |   103932 |    10932     18 |      509 |      464
160.46/160.57	c  160s |      15 |   543095 |   105732 |    10932     19 |      509 |      464
162.56/162.66	c  162s |      15 |   551100 |   107732 |    10932     19 |      509 |      464
164.56/164.67	c  164s |      15 |   554987 |   109132 |    10932     19 |      509 |      464
166.56/166.67	c  166s |      15 |   558030 |   110132 |    10932     19 |      509 |      464
168.66/168.73	c  168s |      15 |   561969 |   111232 |    10932     19 |      509 |      464
170.76/170.82	c  170s |      15 |   571190 |   113232 |    10932     20 |      509 |      464
172.86/172.96	c  172s |      15 |   582181 |   115332 |    10932     20 |      509 |      464
175.26/175.38	c  175s |      15 |   587055 |   116732 |    10932     20 |      509 |      464
177.36/177.42	c  177s |      15 |   589709 |   117632 |    10932     20 |      509 |      464
179.37/179.48	c  179s |      15 |   592281 |   118532 |    10932     21 |      509 |      464
181.66/181.71	c  181s |      15 |   594635 |   119332 |    10932     21 |      509 |      464
183.86/183.95	c  183s |      15 |   597146 |   120132 |    10932     21 |      509 |      464
185.96/186.04	c  185s |      15 |   601929 |   121132 |    10932     21 |      509 |      464
188.06/188.15	c  188s |      15 |   608918 |   122832 |    10932     21 |      509 |      464
190.16/190.21	c  190s |      15 |   616365 |   124632 |    10932     22 |      509 |      464
192.16/192.26	c  192s |      15 |   624600 |   126432 |    10932     22 |      510 |      465
194.26/194.35	c  194s |      15 |   631339 |   127832 |    10932     22 |      511 |      466
196.36/196.41	c  196s |      15 |   645490 |   129532 |    10932     23 |      512 |      467
197.96/198.03	c  197s |      16 |   662121 |   131552 |    12026     23 |      512 |      467
200.06/200.16	c  200s |      16 |   668152 |   133052 |    12026     23 |      512 |      467
202.16/202.20	c  202s |      16 |   680740 |   134852 |    12026     23 |      512 |      467
204.16/204.20	c  204s |      16 |   687744 |   136152 |    12026     24 |      512 |      467
206.26/206.39	c  206s |      16 |   695527 |   137652 |    12026     24 |      512 |      467
208.26/208.39	c  208s |      16 |   705448 |   139052 |    12026     24 |      512 |      467
210.36/210.48	c  210s |      16 |   714275 |   140652 |    12026     24 |      512 |      467
212.46/212.53	c  212s |      16 |   725079 |   142552 |    12026     25 |      512 |      467
214.47/214.58	c  214s |      16 |   735572 |   144452 |    12026     25 |      513 |      468
216.56/216.68	c  216s |      16 |   746042 |   146252 |    12026     25 |      513 |      468
218.66/218.74	c  218s |      16 |   752555 |   147752 |    12026     26 |      513 |      468
220.66/220.77	c  220s |      16 |   761409 |   149252 |    12026     26 |      513 |      468
222.76/222.89	c  222s |      16 |   765037 |   150252 |    12026     26 |      513 |      468
224.96/225.02	c  224s |      16 |   771337 |   151452 |    12026     26 |      513 |      468
227.06/227.18	c  227s |      16 |   776235 |   152852 |    12026     26 |      513 |      468
229.16/229.29	c  229s |      16 |   786472 |   154752 |    12026     27 |      513 |      468
231.26/231.35	c  231s |      16 |   790747 |   155852 |    12026     27 |      513 |      468
233.26/233.36	c  233s |      16 |   794288 |   156952 |    12026     27 |      513 |      468
235.46/235.53	c  235s |      16 |   797210 |   158152 |    12026     27 |      513 |      468
237.86/237.94	c  237s |      16 |   798181 |   158652 |    12026     27 |      513 |      468
239.95/240.08	c  239s |      16 |   799613 |   159252 |    12026     27 |      513 |      468
242.15/242.22	c  242s |      16 |   801923 |   160052 |    12026     28 |      513 |      468
244.16/244.23	c  244s |      16 |   806364 |   161352 |    12026     28 |      513 |      468
246.15/246.26	c  246s |      16 |   811500 |   162752 |    12026     28 |      513 |      468
248.25/248.39	c  248s |      16 |   815444 |   163952 |    12026     28 |      513 |      468
250.45/250.52	c  250s |      16 |   817227 |   164752 |    12026     28 |      513 |      468
252.55/252.61	c  252s |      16 |   821922 |   165752 |    12026     29 |      513 |      468
254.65/254.77	c  254s |      16 |   828051 |   167252 |    12026     29 |      513 |      468
256.75/256.86	c  256s |      16 |   831335 |   168452 |    12026     29 |      513 |      468
258.85/258.90	c  258s |      16 |   833322 |   169252 |    12026     29 |      513 |      468
260.95/261.04	c  260s |      16 |   835426 |   170052 |    12026     29 |      513 |      468
262.95/263.09	c  262s |      16 |   837258 |   170752 |    12026     29 |      513 |      468
265.16/265.21	c  265s |      16 |   840925 |   172052 |    12026     30 |      513 |      468
267.26/267.32	c  267s |      16 |   845707 |   173552 |    12026     30 |      513 |      468
269.25/269.37	c  269s |      16 |   849001 |   174652 |    12026     30 |      513 |      468
271.45/271.51	c  271s |      16 |   851913 |   175652 |    12026     30 |      513 |      468
273.45/273.58	c  273s |      16 |   855473 |   176652 |    12026     31 |      513 |      468
275.55/275.68	c  275s |      16 |   859743 |   177952 |    12026     31 |      513 |      468
277.75/277.88	c  277s |      16 |   864670 |   179452 |    12026     31 |      513 |      468
279.95/280.07	c  279s |      16 |   866480 |   180252 |    12026     31 |      513 |      468
282.15/282.28	c  282s |      16 |   868810 |   181252 |    12026     31 |      513 |      468
284.24/284.35	c  284s |      16 |   872553 |   182252 |    12026     32 |      513 |      468
286.44/286.55	c  286s |      16 |   876363 |   183552 |    12026     32 |      513 |      468
288.64/288.75	c  288s |      16 |   879033 |   184552 |    12026     32 |      513 |      468
290.84/290.98	c  290s |      16 |   882161 |   185652 |    12026     32 |      513 |      468
292.94/293.09	c  292s |      16 |   884334 |   186552 |    12026     33 |      513 |      468
295.14/295.20	c  295s |      16 |   890655 |   188452 |    12026     33 |      513 |      468
297.34/297.47	c  297s |      16 |   894060 |   189652 |    12026     33 |      513 |      468
299.54/299.66	c  299s |      16 |   897345 |   190752 |    12026     33 |      513 |      468
301.74/301.81	c  301s |      16 |   900258 |   191652 |    12026     33 |      513 |      468
303.84/303.90	c  303s |      16 |   905565 |   192952 |    12026     34 |      513 |      468
305.85/305.97	c  305s |      16 |   908972 |   194152 |    12026     34 |      513 |      468
307.95/308.02	c  307s |      16 |   912137 |   195252 |    12026     34 |      513 |      468
309.94/310.07	c  309s |      16 |   914420 |   196152 |    13229     34 |      513 |      468
312.14/312.22	c  312s |      16 |   916894 |   197052 |    13229     34 |      513 |      468
312.94/313.02	c  312s |      17 |   919724 |   197432 |    13229     35 |      513 |      468
314.94/315.04	c  314s |      17 |   932602 |   199732 |    13229     35 |      513 |      468
316.94/317.09	c  316s |      17 |   939064 |   200832 |    13229     35 |      513 |      468
319.34/319.45	c  319s |      17 |   940581 |   201332 |    13229     35 |      513 |      468
321.34/321.48	c  321s |      17 |   946680 |   202632 |    13229     36 |      513 |      468
323.44/323.56	c  323s |      17 |   958247 |   204832 |    13229     36 |      513 |      468
325.54/325.66	c  325s |      17 |   963130 |   206132 |    13229     36 |      513 |      468
327.64/327.74	c  327s |      17 |   971392 |   208032 |    13229     37 |      513 |      468
329.64/329.75	c  329s |      17 |   976959 |   209632 |    13229     37 |      513 |      468
331.74/331.80	c  331s |      17 |   985477 |   211632 |    13229     38 |      513 |      468
333.74/333.80	c  333s |      17 |   994623 |   213532 |    13229     38 |      513 |      468
335.74/335.88	c  335s |      17 |  1007046 |   215632 |    13229     39 |      513 |      468
337.94/338.04	c  337s |      17 |  1010354 |   216932 |    13229     39 |      513 |      468
339.94/340.09	c  339s |      17 |  1013850 |   218232 |    13229     39 |      513 |      468
342.04/342.19	c  342s |      17 |  1021567 |   219932 |    13229     40 |      513 |      468
344.24/344.31	c  344s |      17 |  1030537 |   221832 |    13229     40 |      513 |      468
346.23/346.35	c  346s |      17 |  1035511 |   223432 |    13229     41 |      514 |      469
348.43/348.50	c  348s |      17 |  1048071 |   225432 |    13229     41 |      515 |      470
350.43/350.59	c  350s |      17 |  1052248 |   226432 |    13229     42 |      515 |      470
352.53/352.67	c  352s |      17 |  1067349 |   228732 |    13229     42 |      515 |      470
354.63/354.70	c  354s |      17 |  1082787 |   230832 |    13229     43 |      515 |      470
356.63/356.74	c  356s |      17 |  1092007 |   232532 |    13229     43 |      515 |      470
358.73/358.86	c  358s |      17 |  1102919 |   234532 |    13229     44 |      515 |      470
360.93/361.00	c  360s |      17 |  1105363 |   235432 |    13229     44 |      515 |      470
363.23/363.35	c  363s |      17 |  1107619 |   236232 |    13229     44 |      515 |      470
365.33/365.41	c  365s |      17 |  1112991 |   237732 |    13229     45 |      515 |      470
367.34/367.45	c  367s |      17 |  1117888 |   239232 |    13229     45 |      515 |      470
369.43/369.59	c  369s |      17 |  1127831 |   240832 |    13229     46 |      517 |      472
371.53/371.63	c  371s |      17 |  1131444 |   241832 |    13229     46 |      517 |      472
373.63/373.75	c  373s |      17 |  1136932 |   242932 |    13229     47 |      517 |      472
375.73/375.81	c  375s |      17 |  1140982 |   243932 |    13229     47 |      517 |      472
377.73/377.83	c  377s |      17 |  1147186 |   245332 |    13229     47 |      517 |      472
379.73/379.87	c  379s |      17 |  1152185 |   246932 |    13229     48 |      517 |      472
381.83/381.92	c  381s |      17 |  1157902 |   248432 |    13229     48 |      517 |      472
383.83/383.95	c  383s |      17 |  1160221 |   249332 |    13229     49 |      517 |      472
385.93/386.07	c  385s |      17 |  1163806 |   250432 |    13229     49 |      517 |      472
388.04/388.13	c  387s |      17 |  1165302 |   251132 |    13229     49 |      517 |      472
390.03/390.18	c  390s |      17 |  1170134 |   252532 |    13229     50 |      517 |      472
392.13/392.28	c  392s |      17 |  1175300 |   254132 |    13229     50 |      517 |      472
394.33/394.43	c  394s |      17 |  1183185 |   255932 |    13229     51 |      517 |      472
396.53/396.64	c  396s |      17 |  1185207 |   256732 |    13229     51 |      517 |      472
398.83/398.98	c  398s |      17 |  1189331 |   257832 |    13229     52 |      517 |      472
401.13/401.22	c  401s |      17 |  1193972 |   258732 |    13229     52 |      517 |      472
403.13/403.28	c  403s |      17 |  1199052 |   260032 |    13229     53 |      517 |      472
405.33/405.43	c  405s |      17 |  1203691 |   261332 |    13229     53 |      517 |      472
407.33/407.46	c  407s |      17 |  1208249 |   262432 |    13229     54 |      517 |      472
409.63/409.70	c  409s |      17 |  1214617 |   263932 |    13229     54 |      517 |      472
411.93/412.03	c  411s |      17 |  1217506 |   264832 |    13229     54 |      517 |      472
413.93/414.09	c  413s |      17 |  1220900 |   265632 |    13229     55 |      517 |      472
416.03/416.12	c  415s |      17 |  1224782 |   266632 |    13229     55 |      517 |      472
418.13/418.27	c  418s |      17 |  1227455 |   267532 |    13229     55 |      517 |      472
420.24/420.36	c  420s |      17 |  1229205 |   268132 |    13229     55 |      517 |      472
422.53/422.60	c  422s |      17 |  1234923 |   269432 |    13229     56 |      517 |      472
424.43/424.60	c  424s |      17 |  1237910 |   270432 |    13229     56 |      517 |      472
426.63/426.76	c  426s |      17 |  1243900 |   272132 |    13229     57 |      517 |      472
428.73/428.81	c  428s |      17 |  1248783 |   273532 |    13229     58 |      517 |      472
430.72/430.88	c  430s |      17 |  1251358 |   274532 |    13229     58 |      517 |      472
432.82/432.95	c  432s |      17 |  1257377 |   276032 |    13229     59 |      517 |      472
434.82/434.99	c  434s |      17 |  1265766 |   277832 |    13229     60 |      517 |      472
436.92/437.05	c  436s |      17 |  1273698 |   279732 |    13229     61 |      517 |      472
439.02/439.16	c  439s |      17 |  1278325 |   281132 |    13229     61 |      517 |      472
441.13/441.21	c  441s |      17 |  1283212 |   282532 |    13229     62 |      517 |      472
443.12/443.21	c  443s |      17 |  1286415 |   283532 |    13229     63 |      517 |      472
445.22/445.32	c  445s |      17 |  1293351 |   285232 |    13229     64 |      517 |      472
447.42/447.52	c  447s |      17 |  1298568 |   286532 |    13229     64 |      517 |      472
449.42/449.57	c  449s |      17 |  1302585 |   287732 |    13229     65 |      517 |      472
451.52/451.63	c  451s |      17 |  1307983 |   288832 |    13229     66 |      517 |      472
453.62/453.70	c  453s |      17 |  1313461 |   290432 |    13229     66 |      517 |      472
455.62/455.70	c  455s |      17 |  1317629 |   291732 |    13229     67 |      517 |      472
457.72/457.83	c  457s |      17 |  1321757 |   292932 |    13229     68 |      517 |      472
459.73/459.85	c  459s |      17 |  1325128 |   294232 |    14552     68 |      517 |      472
461.72/461.88	c  461s |      17 |  1327194 |   295032 |    14552     68 |      517 |      472
463.62/463.79	c  463s |      18 |  1331741 |   296252 |    14552     69 |      517 |      472
465.72/465.80	c  465s |      18 |  1335671 |   297452 |    14552     69 |      517 |      472
467.72/467.88	c  467s |      18 |  1343293 |   298952 |    14552     70 |      517 |      472
470.02/470.10	c  469s |      18 |  1345117 |   299652 |    14552     70 |      517 |      472
472.62/472.74	c  472s |      18 |  1346425 |   300252 |    14552     70 |      517 |      472
475.22/475.32	c  475s |      18 |  1347526 |   300752 |    14552     70 |      517 |      472
477.42/477.51	c  477s |      18 |  1348489 |   301152 |    14552     70 |      517 |      472
479.41/479.58	c  479s |      18 |  1350367 |   301652 |    14552     71 |      517 |      472
481.51/481.60	c  481s |      18 |  1359879 |   303552 |    14552     72 |      518 |      473
483.61/483.71	c  483s |      18 |  1365621 |   305152 |    14552     72 |      518 |      473
485.71/485.84	c  485s |      18 |  1370079 |   306452 |    14552     73 |      518 |      473
487.71/487.89	c  487s |      18 |  1377036 |   308252 |    14552     73 |      518 |      473
489.91/490.01	c  489s |      18 |  1382822 |   309852 |    14552     74 |      518 |      473
492.01/492.17	c  492s |      18 |  1386657 |   310952 |    14552     74 |      518 |      473
494.21/494.30	c  494s |      18 |  1392646 |   312452 |    14552     75 |      518 |      473
496.31/496.45	c  496s |      18 |  1395100 |   313452 |    14552     75 |      518 |      473
498.32/498.48	c  498s |      18 |  1398781 |   314752 |    14552     76 |      518 |      473
500.42/500.55	c  500s |      18 |  1401811 |   315752 |    14552     76 |      518 |      473
502.41/502.56	c  502s |      18 |  1408055 |   317252 |    14552     77 |      518 |      473
504.51/504.60	c  504s |      18 |  1411264 |   318352 |    14552     77 |      518 |      473
506.61/506.74	c  506s |      18 |  1416753 |   319652 |    14552     78 |      518 |      473
508.71/508.80	c  508s |      18 |  1420508 |   320552 |    14552     79 |      518 |      473
510.71/510.86	c  510s |      18 |  1426783 |   322152 |    14552     79 |      518 |      473
512.81/512.99	c  512s |      18 |  1431592 |   323852 |    14552     80 |      518 |      473
515.01/515.12	c  514s |      18 |  1433528 |   324752 |    14552     81 |      518 |      473
517.01/517.14	c  517s |      18 |  1440646 |   326452 |    14552     81 |      518 |      473
519.01/519.18	c  519s |      18 |  1445461 |   327752 |    14552     82 |      518 |      473
521.21/521.30	c  521s |      18 |  1451753 |   329352 |    14552     83 |      518 |      473
523.21/523.35	c  523s |      18 |  1458528 |   330952 |    14552     84 |      519 |      474
525.21/525.37	c  525s |      18 |  1467663 |   332852 |    14552     85 |      519 |      474
527.31/527.49	c  527s |      18 |  1473501 |   334552 |    14552     86 |      519 |      474
529.41/529.54	c  529s |      18 |  1477294 |   335752 |    14552     86 |      519 |      474
531.41/531.54	c  531s |      18 |  1482169 |   337052 |    14552     87 |      519 |      474
533.52/533.64	c  533s |      18 |  1486546 |   338352 |    14552     88 |      519 |      474
535.62/535.76	c  535s |      18 |  1492252 |   339952 |    14552     88 |      519 |      474
537.82/537.92	c  537s |      18 |  1497022 |   341452 |    14552     89 |      519 |      474
539.91/540.05	c  539s |      18 |  1506840 |   343252 |    14552     90 |      519 |      474
542.01/542.18	c  542s |      18 |  1512251 |   344952 |    14552     92 |      519 |      474
544.21/544.32	c  544s |      18 |  1517144 |   346652 |    14552     93 |      519 |      474
546.31/546.41	c  546s |      18 |  1521298 |   348152 |    14552     93 |      519 |      474
548.31/548.48	c  548s |      18 |  1530203 |   349652 |    14552     96 |      519 |      474
550.41/550.50	c  550s |      18 |  1537050 |   351052 |    14552     97 |      519 |      474
552.41/552.59	c  552s |      18 |  1540764 |   352152 |    14552     98 |      519 |      474
554.71/554.83	c  554s |      18 |  1545273 |   353552 |    14552     98 |      519 |      474
556.71/556.85	c  556s |      18 |  1548585 |   354452 |    14552     99 |      519 |      474
558.81/558.91	c  558s |      18 |  1551354 |   354952 |    14552    252 |      520 |      475
560.80/561.00	c  560s |      18 |  1561223 |   357252 |    14552    255 |      520 |      475
562.90/563.01	c  562s |      18 |  1566936 |   359052 |    14552    256 |      520 |      475
565.00/565.10	c  564s |      18 |  1572336 |   360952 |    14552    258 |      520 |      475
567.00/567.14	c  566s |      18 |  1582611 |   362852 |    14552    320 |      520 |      475
569.00/569.19	c  569s |      18 |  1591845 |   364852 |    14552    359 |      520 |      475
571.10/571.25	c  571s |      18 |  1597429 |   366152 |    14552    450 |      520 |      475
573.10/573.25	c  573s |      18 |  1601904 |   367952 |    14552    453 |      520 |      475
575.20/575.36	c  575s |      18 |  1606753 |   369652 |    14552    455 |      520 |      475
577.30/577.41	c  577s |      18 |  1611094 |   371152 |    14552    457 |      520 |      475
579.30/579.46	c  579s |      18 |  1616474 |   373152 |    14552    461 |      520 |      475
581.40/581.57	c  581s |      18 |  1620937 |   374752 |    14552    464 |      520 |      475
583.60/583.78	c  583s |      18 |  1624588 |   375752 |    14552    578 |      520 |      475
586.10/586.20	c  586s |      18 |  1628327 |   376252 |    14552    898 |      520 |      475
588.10/588.27	c  588s |      18 |  1632475 |   376952 |    14552   1118 |      520 |      475
590.71/590.87	c  590s |      18 |  1637323 |   377852 |    14552   1383 |      520 |      475
593.10/593.22	c  593s |      18 |  1640396 |   378552 |    14552   1652 |      520 |      475
597.00/597.12	c  596s |      18 |  1644269 |   379152 |    14552   2183 |      520 |      475
599.30/599.41	c  599s |      18 |  1646504 |   379552 |    14552   2474 |      520 |      475
601.60/601.75	c  601s |      18 |  1651137 |   380552 |    14552   2676 |      520 |      475
606.69/606.89	c  606s |      18 |  1654029 |   381152 |    14552   3318 |      520 |      475
608.89/609.06	c  608s |      18 |  1656375 |   381752 |    14552   3516 |      520 |      475
610.99/611.17	c  611s |      18 |  1661031 |   383152 |    14552   3518 |      520 |      475
613.19/613.32	c  613s |      18 |  1663842 |   384352 |    14552   3520 |      520 |      475
615.20/615.36	c  615s |      18 |  1666374 |   385452 |    14552   3522 |      520 |      475
617.20/617.37	c  617s |      18 |  1669724 |   386652 |    14552   3524 |      520 |      475
619.20/619.40	c  619s |      18 |  1673086 |   387852 |    14552   3534 |      520 |      475
621.50/621.68	c  621s |      18 |  1677567 |   389352 |    14552   3612 |      520 |      475
623.80/623.95	c  623s |      18 |  1680826 |   390452 |    14552   3811 |      520 |      475
625.90/626.05	c  625s |      18 |  1685257 |   391952 |    14552   3816 |      520 |      475
627.89/628.06	c  627s |      18 |  1689793 |   393352 |    14552   3854 |      520 |      475
629.99/630.15	c  630s |      18 |  1693170 |   394552 |    14552   3858 |      520 |      475
633.09/633.21	c  633s |      18 |  1696217 |   395252 |    14552   4126 |      520 |      475
635.99/636.17	c  636s |      18 |  1698791 |   395952 |    14552   4478 |      520 |      475
638.29/638.43	c  638s |      18 |  1702410 |   396952 |    14552   4718 |      520 |      475
640.70/640.87	c  640s |      18 |  1705871 |   398052 |    14552   4954 |      520 |      475
646.39/646.52	c  646s |      18 |  1708305 |   398552 |    14552   5742 |      520 |      475
648.39/648.60	c  648s |      18 |  1709173 |   398752 |    14552   6060 |      520 |      475
651.59/651.71	c  651s |      18 |  1709898 |   398852 |    14552   6578 |      520 |      475
654.09/654.25	c  654s |      18 |  1711112 |   399052 |    14552   6969 |      520 |      475
656.19/656.31	c  656s |      18 |  1712104 |   399252 |    14552   7284 |      520 |      475
658.49/658.67	c  658s |      18 |  1713949 |   399552 |    14552   7636 |      520 |      475
660.59/660.71	c  660s |      18 |  1719540 |   401252 |    14552   7716 |      520 |      475
662.59/662.76	c  662s |      18 |  1724120 |   402752 |    14552   7764 |      520 |      475
664.59/664.77	c  664s |      18 |  1725349 |   403252 |    14552   7964 |      520 |      475
668.28/668.48	c  668s |      18 |  1726900 |   403652 |    14552   8512 |      520 |      475
670.68/670.81	c  670s |      18 |  1728095 |   403852 |    14552   8875 |      520 |      475
674.30/674.41	c  674s |      18 |  1729326 |   404052 |    14552   9444 |      520 |      475
678.79/678.98	c  678s |      18 |  1731003 |   404452 |    14552  10153 |      520 |      475
682.89/683.08	c  682s |      18 |  1731687 |   404552 |    14552  10778 |      520 |      475
686.18/686.30	c  686s |      18 |  1732271 |   404652 |    14552  11302 |      520 |      475
688.18/688.33	c  688s |      18 |  1732605 |   404752 |    14552  11620 |      520 |      475
691.89/692.06	c  691s |      18 |  1733535 |   404952 |    14552  12211 |      520 |      475
694.08/694.25	c  694s |      18 |  1733952 |   405052 |    14552  12563 |      520 |      475
697.39/697.56	c  697s |      18 |  1734537 |   405252 |    14552  13081 |      520 |      475
700.68/700.87	c  700s |      18 |  1735346 |   405452 |    14552  13594 |      520 |      475
703.57/703.73	c  703s |      18 |  1736448 |   405752 |    14552  14026 |      520 |      475
706.08/706.23	c  706s |      18 |  1737152 |   405952 |    14552  14412 |      520 |      475
708.29/708.43	c  708s |      18 |  1737587 |   406052 |    14552  14763 |      520 |      475
710.88/711.04	c  710s |      18 |  1738463 |   406252 |    14552  15163 |      520 |      475
713.18/713.35	c  713s |      18 |  1738909 |   406352 |    14552  15526 |      520 |      475
716.87/717.08	c  716s |      18 |  1739955 |   406552 |    14552  16081 |      520 |      475
721.68/721.88	c  721s |      18 |  1740784 |   406652 |    14552  16837 |      520 |      475
724.78/724.95	c  724s |      18 |  1741466 |   406852 |    14552  17282 |      520 |      475
728.57/728.71	c  728s |      18 |  1742138 |   406952 |    14552  17882 |      520 |      475
731.48/731.61	c  731s |      18 |  1742626 |   407152 |    14552  18313 |      520 |      475
734.68/734.82	c  734s |      18 |  1743296 |   407252 |    14552  18822 |      520 |      475
737.77/737.98	c  737s |      18 |  1743936 |   407452 |    14552  19304 |      520 |      475
739.97/740.13	c  739s |      18 |  1744371 |   407552 |    14552  19637 |      520 |      475
746.77/746.94	c  746s |      18 |  1745486 |   407752 |    14552  20717 |      520 |      475
750.47/750.64	c  750s |      18 |  1746234 |   407952 |    14552  21278 |      520 |      475
753.06/753.27	c  753s |      18 |  1746674 |   408152 |    14552  21678 |      520 |      475
756.06/756.22	c  756s |      18 |  1747187 |   408352 |    14552  22125 |      520 |      475
758.47/758.65	c  758s |      18 |  1747597 |   408452 |    14552  22507 |      520 |      475
760.76/760.90	c  760s |      18 |  1747978 |   408552 |    14552  22860 |      520 |      475
764.16/764.37	c  764s |      18 |  1748613 |   408752 |    14552  23388 |      520 |      475
766.46/766.63	c  766s |      18 |  1749023 |   408852 |    14552  23738 |      520 |      475
773.35/773.54	c  773s |      18 |  1750220 |   409052 |    14552  24811 |      520 |      475
776.86/777.01	c  776s |      18 |  1750749 |   409252 |    14552  25340 |      520 |      475
781.25/781.46	c  781s |      18 |  1751486 |   409452 |    14552  26009 |      520 |      475
785.56/785.77	c  785s |      18 |  1752047 |   409652 |    14552  26566 |      520 |      475
787.76/787.94	c  787s |      18 |  1752352 |   409752 |    14552  26870 |      520 |      475
789.85/790.03	c  789s |      18 |  1752675 |   409852 |    14552  27187 |      520 |      475
792.45/792.67	c  792s |      18 |  1753076 |   410052 |    14552  27569 |      520 |      475
795.65/795.87	c  795s |      18 |  1753605 |   410252 |    14552  28031 |      520 |      475
799.85/800.01	c  799s |      18 |  1754388 |   410452 |    14552  28638 |      520 |      475
804.15/804.39	c  804s |      18 |  1755055 |   410552 |    14552  29305 |      520 |      475
806.85/807.05	c  806s |      18 |  1755516 |   410652 |    14552  29720 |      520 |      475
810.35/810.58	c  810s |      18 |  1756127 |   410852 |    14552  30264 |      520 |      475
813.74/813.92	c  813s |      18 |  1756672 |   411052 |    14552  30778 |      520 |      475
819.04/819.21	c  819s |      18 |  1757580 |   411252 |    14552  31602 |      520 |      475
822.04/822.23	c  822s |      18 |  1758128 |   411452 |    14552  32048 |      520 |      475
825.24/825.43	c  825s |      18 |  1758656 |   411652 |    14552  32521 |      520 |      475
829.04/829.21	c  829s |      18 |  1759258 |   411852 |    14552  33067 |      520 |      475
831.04/831.29	c  831s |      18 |  1759630 |   411952 |    14552  33380 |      520 |      475
834.14/834.36	c  834s |      18 |  1760166 |   412152 |    14552  33838 |      520 |      475
837.34/837.56	c  837s |      18 |  1760851 |   412352 |    14552  34314 |      520 |      475
840.34/840.52	c  840s |      18 |  1761413 |   412552 |    14552  34757 |      520 |      475
842.74/842.92	c  842s |      18 |  1761779 |   412652 |    14552  35123 |      520 |      475
844.84/845.00	c  844s |      18 |  1762097 |   412752 |    14552  35440 |      520 |      475
847.64/847.88	c  847s |      18 |  1762554 |   412852 |    14552  35891 |      520 |      475
851.33/851.59	c  851s |      18 |  1763136 |   413052 |    14552  36464 |      520 |      475
854.73/854.93	c  854s |      18 |  1763657 |   413252 |    14552  36974 |      520 |      475
859.03/859.21	c  859s |      18 |  1764311 |   413452 |    14552  37627 |      520 |      475
862.13/862.38	c  862s |      18 |  1764787 |   413652 |    14552  38103 |      520 |      475
864.63/864.80	c  864s |      18 |  1765171 |   413752 |    14552  38477 |      520 |      475
867.03/867.23	c  867s |      18 |  1765550 |   413852 |    14552  38850 |      520 |      475
870.32/870.58	c  870s |      18 |  1766047 |   414052 |    14552  39347 |      520 |      475
873.52/873.70	c  873s |      18 |  1766510 |   414252 |    14552  39809 |      520 |      475
876.43/876.63	c  876s |      18 |  1766955 |   414452 |    14552  40244 |      520 |      475
879.52/879.71	c  879s |      18 |  1767436 |   414652 |    14552  40688 |      520 |      475
884.82/885.01	c  884s |      18 |  1768300 |   414852 |    14552  41474 |      520 |      475
887.02/887.29	c  887s |      18 |  1768639 |   414952 |    14552  41813 |      520 |      475
890.02/890.23	c  890s |      18 |  1769058 |   415152 |    14552  42232 |      520 |      475
893.82/894.04	c  893s |      18 |  1769661 |   415352 |    14552  42794 |      520 |      475
896.22/896.41	c  896s |      18 |  1770050 |   415452 |    14552  43157 |      520 |      475
899.81/900.05	c  899s |      18 |  1770596 |   415652 |    14552  43699 |      520 |      475
901.82/902.05	c  901s |      18 |  1770901 |   415752 |    14552  44004 |      520 |      475
906.82/907.05	c  906s |      18 |  1771643 |   415952 |    14552  44746 |      520 |      475
909.01/909.26	c  909s |      18 |  1771982 |   416052 |    14552  45085 |      520 |      475
911.81/912.05	c  911s |      18 |  1772429 |   416152 |    14552  45512 |      520 |      475
914.81/915.09	c  914s |      18 |  1772967 |   416252 |    14552  45978 |      520 |      475
917.71/917.98	c  917s |      18 |  1773457 |   416352 |    14552  46426 |      520 |      475
919.80/920.00	c  919s |      18 |  1773762 |   416452 |    14552  46731 |      520 |      475
922.01/922.20	c  922s |      18 |  1774098 |   416552 |    14552  47060 |      520 |      475
924.01/924.27	c  924s |      18 |  1774402 |   416652 |    14552  47364 |      520 |      475
927.41/927.67	c  927s |      18 |  1774891 |   416852 |    14552  47853 |      520 |      475
931.21/931.42	c  931s |      18 |  1775562 |   417052 |    14552  48405 |      520 |      475
936.10/936.35	c  936s |      18 |  1776366 |   417252 |    14552  49160 |      520 |      475
938.31/938.52	c  938s |      18 |  1776712 |   417352 |    14552  49482 |      520 |      475
940.60/940.86	c  940s |      18 |  1777070 |   417452 |    14552  49840 |      520 |      475
943.20/943.45	c  943s |      18 |  1777464 |   417552 |    14552  50234 |      520 |      475
946.50/946.74	c  946s |      18 |  1777964 |   417752 |    14552  50721 |      520 |      475
949.21/949.47	c  949s |      18 |  1778485 |   417952 |    14552  51105 |      520 |      475
951.50/951.75	c  951s |      18 |  1778848 |   418052 |    14552  51440 |      520 |      475
953.61/953.87	c  953s |      18 |  1779182 |   418152 |    14552  51753 |      520 |      475
956.69/956.95	c  956s |      18 |  1779659 |   418352 |    14552  52200 |      520 |      475
960.40/960.69	c  960s |      18 |  1780249 |   418552 |    14552  52760 |      520 |      475
962.59/962.85	c  962s |      18 |  1780579 |   418652 |    14552  53090 |      520 |      475
965.71/965.92	c  965s |      18 |  1781084 |   418752 |    14552  53555 |      520 |      475
968.00/968.27	c  968s |      18 |  1781442 |   418952 |    14552  53878 |      520 |      475
971.79/972.01	c  971s |      18 |  1781985 |   419152 |    14552  54420 |      520 |      475
973.99/974.28	c  974s |      18 |  1782327 |   419252 |    14552  54757 |      520 |      475
976.70/976.98	c  976s |      18 |  1782753 |   419352 |    14552  55169 |      520 |      475
981.19/981.45	c  981s |      18 |  1783454 |   419552 |    14552  55819 |      520 |      475
985.09/985.32	c  985s |      18 |  1784097 |   419752 |    14552  56387 |      520 |      475
989.58/989.81	c  989s |      18 |  1784774 |   419952 |    14552  57064 |      520 |      475
996.49/996.73	c  996s |      18 |  1785902 |   420052 |    14552  58152 |      520 |      475
1001.89/1002.16	c 1002s |      18 |  1786776 |   420152 |    14552  59003 |      520 |      475
1005.58/1005.82	c 1005s |      18 |  1787381 |   420252 |    14552  59561 |      520 |      475
1009.47/1009.72	c 1009s |      18 |  1787987 |   420352 |    14552  60163 |      520 |      475
1012.37/1012.63	c 1012s |      18 |  1788424 |   420452 |    14552  60600 |      520 |      475
1015.28/1015.57	c 1015s |      18 |  1788891 |   420552 |    14552  61045 |      520 |      475
1019.07/1019.30	c 1019s |      18 |  1789436 |   420752 |    14552  61590 |      520 |      475
1021.37/1021.62	c 1021s |      18 |  1789810 |   420852 |    14552  61946 |      520 |      475
1023.66/1023.94	c 1023s |      18 |  1790154 |   420952 |    14552  62283 |      520 |      475
1027.07/1027.35	c 1027s |      18 |  1790639 |   421152 |    14552  62768 |      520 |      475
1029.76/1030.05	c 1029s |      18 |  1791063 |   421252 |    14552  63183 |      520 |      475
1032.56/1032.90	c 1032s |      18 |  1791547 |   421352 |    14552  63618 |      520 |      475
1036.07/1036.36	c 1036s |      18 |  1792102 |   421452 |    14552  64152 |      520 |      475
1039.27/1039.57	c 1039s |      18 |  1792586 |   421652 |    14552  64609 |      520 |      475
1041.75/1042.05	c 1041s |      18 |  1792945 |   421852 |    14552  64948 |      520 |      475
1044.77/1045.05	c 1044s |      18 |  1793415 |   421952 |    14552  65410 |      520 |      475
1048.66/1048.90	c 1048s |      18 |  1794102 |   422152 |    14552  65985 |      520 |      475
1050.75/1051.01	c 1050s |      18 |  1794428 |   422252 |    14552  66298 |      520 |      475
1054.85/1055.10	c 1054s |      18 |  1795077 |   422452 |    14552  66913 |      520 |      475
1057.35/1057.66	c 1057s |      18 |  1795511 |   422552 |    14552  67299 |      520 |      475
1059.75/1060.06	c 1059s |      18 |  1795880 |   422652 |    14552  67664 |      520 |      475
1062.85/1063.12	c 1062s |      18 |  1796367 |   422852 |    14552  68108 |      520 |      475
1066.55/1066.82	c 1066s |      18 |  1796936 |   423052 |    14552  68663 |      520 |      475
1068.95/1069.23	c 1069s |      18 |  1797296 |   423152 |    14552  69021 |      520 |      475
1072.15/1072.49	c 1072s |      18 |  1797781 |   423352 |    14552  69506 |      520 |      475
1074.35/1074.64	c 1074s |      18 |  1798120 |   423452 |    14552  69826 |      520 |      475
1076.65/1076.97	c 1076s |      18 |  1798490 |   423552 |    14552  70177 |      520 |      475
1078.74/1079.10	c 1078s |      18 |  1798830 |   423652 |    14552  70493 |      520 |      475
1082.04/1082.40	c 1082s |      18 |  1799374 |   423852 |    14552  70973 |      520 |      475
1084.54/1084.82	c 1084s |      18 |  1799767 |   423952 |    14552  71339 |      520 |      475
1087.24/1087.59	c 1087s |      18 |  1800212 |   424052 |    14552  71759 |      520 |      475
1090.14/1090.40	c 1090s |      18 |  1800650 |   424252 |    14552  72158 |      520 |      475
1093.33/1093.65	c 1093s |      18 |  1801187 |   424452 |    14552  72631 |      520 |      475
1095.44/1095.72	c 1095s |      18 |  1801507 |   424552 |    14552  72933 |      520 |      475
1097.55/1097.85	c 1097s |      18 |  1801849 |   424652 |    14552  73254 |      520 |      475
1100.43/1100.74	c 1100s |      18 |  1802274 |   424852 |    14552  73663 |      520 |      475
1103.84/1104.15	c 1104s |      18 |  1802781 |   425052 |    14552  74163 |      520 |      475
1106.84/1107.17	c 1107s |      18 |  1803228 |   425252 |    14552  74606 |      520 |      475
1110.23/1110.59	c 1110s |      18 |  1803781 |   425452 |    14552  75113 |      520 |      475
1112.33/1112.64	c 1112s |      18 |  1804102 |   425552 |    14552  75419 |      520 |      475
1115.73/1116.05	c 1115s |      18 |  1804622 |   425752 |    14552  75913 |      520 |      475
1118.92/1119.27	c 1119s |      18 |  1805100 |   425952 |    14552  76371 |      520 |      475
1122.22/1122.50	c 1122s |      18 |  1805577 |   426152 |    14552  76822 |      520 |      475
1126.02/1126.33	c 1126s |      18 |  1806161 |   426352 |    14552  77394 |      520 |      475
1130.63/1130.93	c 1130s |      18 |  1806862 |   426552 |    14552  78089 |      520 |      475
1134.62/1134.91	c 1134s |      18 |  1807461 |   426752 |    14552  78687 |      520 |      475
1138.11/1138.47	c 1138s |      18 |  1807996 |   426952 |    14552  79222 |      520 |      475
1140.72/1141.04	c 1140s |      18 |  1808377 |   427152 |    14552  79598 |      520 |      475
1144.62/1144.90	c 1144s |      18 |  1808961 |   427352 |    14552  80182 |      520 |      475
1146.61/1146.97	c 1146s |      18 |  1809276 |   427452 |    14552  80497 |      520 |      475
1149.01/1149.31	c 1149s |      18 |  1809661 |   427552 |    14552  80852 |      520 |      475
1152.62/1152.98	c 1152s |      18 |  1810243 |   427752 |    14552  81408 |      520 |      475
1154.82/1155.16	c 1155s |      18 |  1810569 |   427852 |    14552  81734 |      520 |      475
1157.02/1157.34	c 1157s |      18 |  1810906 |   427952 |    14552  82061 |      520 |      475
1159.71/1160.06	c 1159s |      18 |  1811324 |   428152 |    14552  82446 |      520 |      475
1162.21/1162.59	c 1162s |      18 |  1811692 |   428352 |    14552  82811 |      520 |      475
1165.51/1165.82	c 1165s |      18 |  1812176 |   428552 |    14552  83287 |      520 |      475
1168.81/1169.16	c 1169s |      18 |  1812665 |   428752 |    14552  83776 |      520 |      475
1171.90/1172.21	c 1172s |      18 |  1813112 |   428952 |    14552  84219 |      520 |      475
1174.51/1174.81	c 1174s |      18 |  1813490 |   429152 |    14552  84597 |      520 |      475
1177.71/1178.07	c 1177s |      18 |  1813970 |   429352 |    14552  85069 |      520 |      475
1181.40/1181.73	c 1181s |      18 |  1814503 |   429552 |    14552  85598 |      520 |      475
1184.30/1184.65	c 1184s |      18 |  1814941 |   429752 |    14552  86014 |      520 |      475
1187.19/1187.55	c 1187s |      18 |  1815354 |   429952 |    14552  86424 |      520 |      475
1190.10/1190.42	c 1190s |      18 |  1815809 |   430052 |    14552  86866 |      520 |      475
1193.20/1193.60	c 1193s |      18 |  1816275 |   430252 |    14552  87327 |      520 |      475
1197.00/1197.37	c 1197s |      18 |  1816835 |   430452 |    14552  87883 |      520 |      475
1200.59/1200.94	c 1200s |      18 |  1817347 |   430652 |    14552  88395 |      520 |      475
1204.79/1205.17	c 1205s |      18 |  1817992 |   430852 |    14552  89040 |      520 |      475
1207.08/1207.46	c 1207s |      18 |  1818339 |   430952 |    14552  89387 |      520 |      475
1209.19/1209.56	c 1209s |      18 |  1818648 |   431052 |    14552  89696 |      520 |      475
1211.69/1212.04	c 1211s |      18 |  1819026 |   431152 |    14552  90074 |      520 |      475
1214.19/1214.53	c 1214s |      18 |  1819407 |   431252 |    14552  90455 |      520 |      475
1217.58/1217.93	c 1217s |      18 |  1819901 |   431452 |    14552  90949 |      520 |      475
1220.48/1220.90	c 1220s |      18 |  1820326 |   431652 |    14552  91374 |      520 |      475
1223.99/1224.33	c 1224s |      18 |  1820809 |   431852 |    14552  91857 |      520 |      475
1227.08/1227.47	c 1227s |      18 |  1821275 |   432052 |    14552  92323 |      520 |      475
1229.17/1229.51	c 1229s |      18 |  1821583 |   432152 |    14552  92631 |      520 |      475
1233.18/1233.55	c 1233s |      18 |  1822192 |   432352 |    14552  93240 |      520 |      475
1235.38/1235.76	c 1235s |      18 |  1822529 |   432452 |    14552  93577 |      520 |      475
1237.87/1238.27	c 1238s |      18 |  1822917 |   432552 |    14552  93965 |      520 |      475
1241.27/1241.68	c 1241s |      18 |  1823424 |   432752 |    14552  94472 |      520 |      475
1245.37/1245.74	c 1245s |      18 |  1824034 |   432952 |    14552  95082 |      520 |      475
1248.37/1248.75	c 1248s |      18 |  1824482 |   433052 |    14552  95530 |      520 |      475
1251.66/1252.00	c 1251s |      18 |  1824956 |   433252 |    14552  96004 |      520 |      475
1254.47/1254.86	c 1254s |      18 |  1825337 |   433452 |    14552  96385 |      520 |      475
1257.86/1258.25	c 1258s |      18 |  1825836 |   433652 |    14552  96884 |      520 |      475
1260.86/1261.22	c 1261s |      18 |  1826264 |   433852 |    14552  97312 |      520 |      475
1264.55/1264.90	c 1264s |      18 |  1826798 |   434052 |    14552  97846 |      520 |      475
1268.56/1268.93	c 1268s |      18 |  1827402 |   434252 |    14552  98450 |      520 |      475
1272.46/1272.83	c 1272s |      18 |  1827984 |   434452 |    14552  99032 |      520 |      475
1276.35/1276.74	c 1276s |      18 |  1828552 |   434652 |    14552  99600 |      520 |      475
1279.65/1280.02	c 1279s |      18 |  1829029 |   434852 |    14552 100077 |      520 |      475
1282.55/1282.90	c 1282s |      18 |  1829444 |   435052 |    14552 100492 |      520 |      475
1287.35/1287.70	c 1287s |      18 |  1830164 |   435252 |    14552 101212 |      520 |      475
1289.65/1290.00	c 1289s |      18 |  1830511 |   435352 |    14552 101559 |      520 |      475
1291.65/1292.09	c 1291s |      18 |  1830832 |   435452 |    14552 101880 |      520 |      475
1294.04/1294.40	c 1294s |      18 |  1831187 |   435552 |    14552 102235 |      520 |      475
1297.14/1297.50	c 1297s |      18 |  1831633 |   435752 |    14552 102681 |      520 |      475
1299.54/1299.93	c 1299s |      18 |  1832009 |   435852 |    14552 103057 |      520 |      475
1301.54/1301.93	c 1301s |      18 |  1832318 |   435952 |    14552 103366 |      520 |      475
1303.54/1303.96	c 1303s |      18 |  1832624 |   436052 |    14552 103672 |      520 |      475
1306.74/1307.11	c 1306s |      18 |  1833091 |   436252 |    14552 104139 |      520 |      475
1309.44/1309.84	c 1309s |      18 |  1833513 |   436352 |    14552 104561 |      520 |      475
1313.63/1314.03	c 1313s |      18 |  1834144 |   436552 |    14552 105192 |      520 |      475
1317.73/1318.15	c 1318s |      18 |  1834773 |   436752 |    14552 105821 |      520 |      475
1320.14/1320.58	c 1320s |      18 |  1835150 |   436852 |    14552 106198 |      520 |      475
1322.43/1322.88	c 1322s |      18 |  1835497 |   436952 |    14552 106545 |      520 |      475
1325.94/1326.36	c 1326s |      18 |  1835993 |   437152 |    14552 107041 |      520 |      475
1328.74/1329.15	c 1329s |      18 |  1836402 |   437352 |    14552 107450 |      520 |      475
1331.74/1332.17	c 1332s |      18 |  1836850 |   437552 |    14552 107898 |      520 |      475
1334.93/1335.35	c 1335s |      18 |  1837334 |   437752 |    14552 108382 |      520 |      475
1338.83/1339.29	c 1339s |      18 |  1837942 |   437952 |    14552 108990 |      520 |      475
1341.74/1342.12	c 1341s |      18 |  1838351 |   438152 |    14552 109399 |      520 |      475
1344.03/1344.41	c 1344s |      18 |  1838707 |   438252 |    14552 109755 |      520 |      475
1346.03/1346.45	c 1346s |      18 |  1839011 |   438352 |    14552 110059 |      520 |      475
1349.83/1350.28	c 1350s |      18 |  1839589 |   438552 |    14552 110637 |      520 |      475
1352.03/1352.40	c 1352s |      18 |  1839912 |   438652 |    14552 110960 |      520 |      475
1355.63/1356.00	c 1355s |      18 |  1840468 |   438852 |    14552 111516 |      520 |      475
1359.23/1359.65	c 1359s |      18 |  1841022 |   439052 |    14552 112070 |      520 |      475
1362.73/1363.20	c 1363s |      18 |  1841552 |   439252 |    14552 112600 |      520 |      475
1366.73/1367.17	c 1367s |      18 |  1842144 |   439452 |    14552 113192 |      520 |      475
1370.24/1370.70	c 1370s |      18 |  1842667 |   439652 |    14552 113715 |      520 |      475
1373.03/1373.50	c 1373s |      18 |  1843093 |   439752 |    14552 114141 |      520 |      475
1375.63/1376.01	c 1375s |      18 |  1843477 |   439852 |    14552 114525 |      520 |      475
1378.22/1378.63	c 1378s |      18 |  1843874 |   439952 |    14552 114922 |      520 |      475
1382.13/1382.56	c 1382s |      18 |  1844462 |   440152 |    14552 115510 |      520 |      475
1386.02/1386.49	c 1386s |      18 |  1845048 |   440352 |    14552 116096 |      520 |      475
1388.32/1388.73	c 1388s |      18 |  1845389 |   440452 |    14552 116437 |      520 |      475
1392.13/1392.54	c 1392s |      18 |  1845945 |   440652 |    14552 116993 |      520 |      475
1395.82/1396.25	c 1396s |      18 |  1846491 |   440852 |    14552 117539 |      520 |      475
1397.92/1398.38	c 1398s |      18 |  1846812 |   440952 |    14552 117860 |      520 |      475
1400.32/1400.73	c 1400s |      18 |  1847158 |   441052 |    14552 118206 |      520 |      475
1405.53/1405.96	c 1405s |      18 |  1847949 |   441252 |    14552 118997 |      520 |      475
1407.63/1408.01	c 1407s |      18 |  1850109 |   441952 |    16008 119193 |      520 |      475
1410.12/1410.52	c 1410s |      18 |  1852130 |   442652 |    16008 119446 |      520 |      475
1412.42/1412.87	c 1412s |      18 |  1855901 |   443452 |    16008 119720 |      520 |      475
1420.22/1420.61	c 1420s |      18 |  1859831 |   444252 |    16008 120845 |      520 |      475
1420.42/1420.87	c 1420s |      19 |  1860814 |   444482 |    16008 120851 |      520 |      475
1422.81/1423.23	c 1423s |      19 |  1861473 |   444582 |    16008 121210 |      520 |      475
1425.01/1425.48	c 1425s |      19 |  1865251 |   445482 |    16008 121403 |      520 |      475
1427.42/1427.82	c 1427s |      19 |  1870910 |   446882 |    16008 121555 |      520 |      475
1429.51/1429.91	c 1429s |      19 |  1876343 |   448482 |    16008 121606 |      520 |      475
1431.52/1431.93	c 1431s |      19 |  1879721 |   449482 |    16008 121737 |      520 |      475
1433.52/1433.93	c 1433s |      19 |  1884048 |   450582 |    16008 121870 |      520 |      475
1435.62/1436.07	c 1435s |      19 |  1886564 |   451282 |    16008 122076 |      520 |      475
1441.01/1441.41	c 1441s |      19 |  1890929 |   452382 |    16008 122717 |      520 |      475
1443.52/1443.99	c 1443s |      19 |  1891347 |   452582 |    16008 123072 |      520 |      475
1446.92/1447.38	c 1447s |      19 |  1892793 |   452882 |    16008 123546 |      520 |      475
1450.11/1450.57	c 1450s |      19 |  1894908 |   453182 |    16008 123989 |      520 |      475
1455.02/1455.44	c 1455s |      19 |  1897413 |   453582 |    16008 124663 |      520 |      475
1457.12/1457.60	c 1457s |      19 |  1905485 |   455582 |    16008 124721 |      520 |      475
1459.22/1459.68	c 1459s |      19 |  1906695 |   455982 |    16008 124982 |      520 |      475
1461.42/1461.83	c 1461s |      19 |  1907535 |   456182 |    16008 125285 |      520 |      475
1469.41/1469.85	c 1469s |      19 |  1912390 |   457082 |    16008 126402 |      520 |      475
1471.81/1472.20	c 1472s |      19 |  1913184 |   457382 |    16008 126725 |      520 |      475
1473.81/1474.26	c 1474s |      19 |  1914530 |   457682 |    16008 127001 |      520 |      475
1478.71/1479.13	c 1478s |      19 |  1916645 |   457882 |    16008 127711 |      520 |      475
1482.01/1482.44	c 1482s |      19 |  1917803 |   457982 |    16008 128204 |      520 |      475
1485.82/1486.28	c 1486s |      19 |  1918919 |   458082 |    16008 128780 |      520 |      475
1489.01/1489.48	c 1489s |      19 |  1922515 |   458882 |    16008 129159 |      520 |      475
1494.01/1494.41	c 1494s |      19 |  1924005 |   459082 |    16008 129856 |      520 |      475
1497.81/1498.26	c 1498s |      19 |  1925525 |   459282 |    16008 130421 |      520 |      475
1500.40/1500.81	c 1500s |      19 |  1926341 |   459382 |    16008 130797 |      520 |      475
1505.70/1506.12	c 1505s |      19 |  1927747 |   459582 |    16008 131583 |      520 |      475
1509.60/1510.05	c 1509s |      19 |  1929014 |   459782 |    16008 132154 |      520 |      475
1511.91/1512.34	c 1512s |      19 |  1929520 |   459882 |    16008 132471 |      520 |      475
1514.81/1515.24	c 1515s |      19 |  1930348 |   460082 |    16008 132859 |      520 |      475
1518.60/1519.05	c 1518s |      19 |  1931052 |   460282 |    16008 133385 |      520 |      475
1521.70/1522.16	c 1522s |      19 |  1931564 |   460382 |    16008 133827 |      520 |      475
1525.10/1525.56	c 1525s |      19 |  1932098 |   460482 |    16008 134298 |      520 |      475
1528.61/1529.07	c 1528s |      19 |  1932805 |   460682 |    16008 134767 |      520 |      475
1532.91/1533.37	c 1533s |      19 |  1933540 |   460882 |    16008 135376 |      520 |      475
1535.21/1535.68	c 1535s |      19 |  1933894 |   460982 |    16008 135698 |      520 |      475
1538.40/1538.85	c 1538s |      19 |  1934439 |   461182 |    16008 136124 |      520 |      475
1541.10/1541.52	c 1541s |      19 |  1934870 |   461282 |    16008 136496 |      520 |      475
1543.10/1543.56	c 1543s |      19 |  1935237 |   461382 |    16008 136784 |      520 |      475
1546.70/1547.10	c 1546s |      19 |  1935751 |   461482 |    16008 137286 |      520 |      475
1550.40/1550.87	c 1550s |      19 |  1936385 |   461682 |    16008 137808 |      520 |      475
1552.70/1553.16	c 1553s |      19 |  1936878 |   461782 |    16008 138130 |      520 |      475
1555.90/1556.32	c 1556s |      19 |  1937757 |   461982 |    16008 138557 |      520 |      475
1559.70/1560.12	c 1559s |      19 |  1938682 |   462182 |    16008 139084 |      520 |      475
1562.20/1562.65	c 1562s |      19 |  1939397 |   462282 |    16008 139436 |      520 |      475
1565.69/1566.17	c 1566s |      19 |  1940078 |   462482 |    16008 139919 |      520 |      475
1568.00/1568.48	c 1568s |      19 |  1940434 |   462582 |    16008 140240 |      520 |      475
1570.70/1571.14	c 1571s |      19 |  1941269 |   462782 |    16008 140599 |      520 |      475
1572.90/1573.38	c 1573s |      19 |  1941980 |   462982 |    16008 140887 |      520 |      475
1575.49/1575.93	c 1575s |      19 |  1942812 |   463182 |    16008 141231 |      520 |      475
1578.20/1578.67	c 1578s |      19 |  1943412 |   463282 |    16008 141622 |      520 |      475
1583.50/1583.92	c 1583s |      19 |  1944471 |   463482 |    16008 142316 |      520 |      475
1586.10/1586.52	c 1586s |      19 |  1945204 |   463682 |    16008 142656 |      520 |      475
1589.69/1590.10	c 1589s |      19 |  1945796 |   463782 |    16008 143140 |      520 |      475
1592.79/1593.27	c 1593s |      19 |  1946321 |   463882 |    16008 143566 |      520 |      475
1595.50/1595.94	c 1595s |      19 |  1946880 |   464082 |    16008 143905 |      520 |      475
1597.79/1598.23	c 1598s |      19 |  1947287 |   464182 |    16008 144213 |      520 |      475
1601.99/1602.49	c 1602s |      19 |  1947916 |   464282 |    16008 144792 |      520 |      475
1605.19/1605.63	c 1605s |      19 |  1948449 |   464482 |    16008 145191 |      520 |      475
1607.69/1608.14	c 1607s |      19 |  1948813 |   464582 |    16008 145521 |      520 |      475
1609.79/1610.22	c 1610s |      19 |  1949090 |   464682 |    16008 145793 |      520 |      475
1613.30/1613.79	c 1613s |      19 |  1949710 |   464882 |    16008 146261 |      520 |      475
1618.99/1619.48	c 1619s |      19 |  1950653 |   465082 |    16008 147021 |      520 |      475
1621.59/1622.08	c 1621s |      19 |  1951104 |   465282 |    16008 147352 |      520 |      475
1625.69/1626.17	c 1626s |      19 |  1951761 |   465482 |    16008 147892 |      520 |      475
1628.29/1628.76	c 1628s |      19 |  1952202 |   465682 |    16008 148214 |      520 |      475
1631.79/1632.20	c 1632s |      19 |  1953187 |   465882 |    16008 148668 |      520 |      475
1635.29/1635.71	c 1635s |      19 |  1953780 |   466082 |    16008 149129 |      520 |      475
1637.89/1638.31	c 1638s |      19 |  1954286 |   466182 |    16008 149473 |      520 |      475
1641.89/1642.34	c 1642s |      19 |  1954943 |   466282 |    16008 150022 |      520 |      475
1644.29/1644.72	c 1644s |      19 |  1955330 |   466382 |    16008 150340 |      520 |      475
1647.78/1648.26	c 1648s |      19 |  1955891 |   466482 |    16008 150821 |      520 |      475
1650.08/1650.56	c 1650s |      19 |  1956230 |   466582 |    16008 151129 |      520 |      475
1653.18/1653.68	c 1653s |      19 |  1956908 |   466782 |    16008 151531 |      520 |      475
1655.48/1655.99	c 1655s |      19 |  1957426 |   466882 |    16008 151835 |      520 |      475
1657.89/1658.37	c 1658s |      19 |  1957951 |   466982 |    16008 152155 |      520 |      475
1662.19/1662.60	c 1662s |      19 |  1958686 |   467182 |    16008 152708 |      520 |      475
1664.18/1664.69	c 1664s |      19 |  1958995 |   467282 |    16008 152983 |      520 |      475
1667.48/1667.92	c 1667s |      19 |  1959476 |   467382 |    16008 153421 |      520 |      475
1670.88/1671.35	c 1671s |      19 |  1959946 |   467482 |    16008 153883 |      520 |      475
1673.78/1674.30	c 1674s |      19 |  1960429 |   467682 |    16008 154255 |      520 |      475
1676.88/1677.38	c 1677s |      19 |  1960875 |   467782 |    16008 154666 |      520 |      475
1679.78/1680.28	c 1680s |      19 |  1961431 |   467982 |    16008 155046 |      520 |      475
1683.18/1683.67	c 1683s |      19 |  1961936 |   468182 |    16008 155492 |      520 |      475
1686.47/1686.97	c 1686s |      19 |  1962624 |   468282 |    16008 155937 |      520 |      475
1689.88/1690.33	c 1690s |      19 |  1963338 |   468482 |    16008 156365 |      520 |      475
1693.18/1693.62	c 1693s |      19 |  1964075 |   468682 |    16008 156775 |      520 |      475
1696.98/1697.41	c 1697s |      19 |  1964726 |   468882 |    16008 157260 |      520 |      475
1700.38/1700.80	c 1700s |      19 |  1965617 |   469082 |    16008 157689 |      520 |      475
1703.18/1703.61	c 1703s |      19 |  1966082 |   469182 |    16008 158063 |      520 |      475
1706.48/1706.91	c 1706s |      19 |  1966656 |   469282 |    16008 158509 |      520 |      475
1711.87/1712.39	c 1712s |      19 |  1967596 |   469482 |    16008 159234 |      520 |      475
1714.17/1714.65	c 1714s |      19 |  1967987 |   469582 |    16008 159534 |      520 |      475
1717.28/1717.78	c 1717s |      19 |  1968571 |   469682 |    16008 159946 |      520 |      475
1721.47/1721.96	c 1721s |      19 |  1969354 |   469882 |    16008 160496 |      520 |      475
1724.77/1725.23	c 1725s |      19 |  1969888 |   469982 |    16008 160938 |      520 |      475
1726.87/1727.37	c 1727s |      19 |  1970255 |   470082 |    16008 161228 |      520 |      475
1731.58/1732.01	c 1731s |      19 |  1971034 |   470282 |    16008 161842 |      520 |      475
1735.07/1735.56	c 1735s |      19 |  1971572 |   470382 |    16008 162322 |      520 |      475
1738.68/1739.13	c 1738s |      19 |  1972128 |   470582 |    16008 162782 |      520 |      475
1741.87/1742.36	c 1742s |      19 |  1972616 |   470782 |    16008 163201 |      520 |      475
1744.07/1744.57	c 1744s |      19 |  1973008 |   470882 |    16008 163486 |      520 |      475
1746.87/1747.38	c 1747s |      19 |  1973553 |   471082 |    16008 163842 |      520 |      475
1753.17/1753.60	c 1753s |      19 |  1974527 |   471282 |    16008 164670 |      520 |      475
1756.07/1756.59	c 1756s |      19 |  1974930 |   471382 |    16008 165070 |      520 |      475
1759.47/1759.91	c 1759s |      19 |  1975422 |   471482 |    16008 165519 |      520 |      475
1762.88/1763.35	c 1763s |      19 |  1976000 |   471682 |    16008 165955 |      520 |      475
1767.27/1767.73	c 1767s |      19 |  1976670 |   471882 |    16008 166527 |      520 |      475
1769.97/1770.41	c 1770s |      19 |  1977084 |   471982 |    16008 166877 |      520 |      475
1772.96/1773.45	c 1773s |      19 |  1977602 |   472082 |    16008 167281 |      520 |      475
1775.96/1776.40	c 1776s |      19 |  1978050 |   472182 |    16008 167673 |      520 |      475
1778.06/1778.54	c 1778s |      19 |  1978529 |   472282 |    16008 167954 |      520 |      475
1781.46/1781.91	c 1781s |      19 |  1979045 |   472382 |    16008 168405 |      520 |      475
1785.16/1785.67	c 1785s |      19 |  1979576 |   472482 |    16008 168909 |      520 |      475
1787.46/1787.90	c 1787s |      19 |  1979874 |   472582 |    16008 169196 |      520 |      475
1789.76/1790.26	c 1790s |      19 |  1980195 |   472682 |    16008 169502 |      520 |      475
1793.97/1794.43	c 1794s |      19 |  1980774 |   472782 |    16008 170069 |      520 |      475
1798.66/1799.11	c 1798s |      19 |  1981411 |   472982 |    16008 170688 |      520 |      475

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-4078880-1465287326/watcher-4078880-1465287326 -o /tmp/evaluation-result-4078880-1465287326/solver-4078880-1465287326 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465262703-3573 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078880-1465287326.opb 

pid=6821
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.28 2.23 2.19 4/179 6824
/proc/meminfo: memFree=29090916/32872528 swapFree=17892/1720544
[pid=6824] ppid=6821 vsize=803260 CPUtime=0 cores=1,3,5,7
/proc/6824/stat : 6824 (toysat) R 6821 6824 3556 0 -1 4202496 3009 0 0 0 0 0 0 0 20 0 4 0 110665801 822538240 3370 33554432000 4194304 16246674 140737019062656 140737019062080 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6824/statm: 201327 3378 441 2943 0 198221 0
[pid=6824/tid=6825] ppid=6821 vsize=820668 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6825/stat : 6825 (toysat) S 6821 6824 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110665801 840364032 3438 33554432000 4194304 16246674 140737019062656 140671790853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6826] ppid=6821 vsize=825788 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (toysat) S 6821 6824 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110665801 845606912 3456 33554432000 4194304 16246674 140737019062656 140671780363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6827] ppid=6821 vsize=829884 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (toysat) S 6821 6824 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110665801 849801216 3472 33554432000 4194304 16246674 140737019062656 140671769889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.28 2.23 2.19 4/179 6824
/proc/meminfo: memFree=29090916/32872528 swapFree=17892/1720544
[pid=6824] ppid=6821 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/6824/stat : 6824 (toysat) R 6821 6824 3556 0 -1 4202496 23294 0 0 0 6 3 0 0 20 0 4 0 110665801 1249447936 23593 33554432000 4194304 16246674 140737019062656 140737019061968 6974459 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6824/statm: 305041 23602 834 2943 0 301935 0
[pid=6824/tid=6825] ppid=6821 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6825/stat : 6825 (toysat) S 6821 6824 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110665801 1249447936 23609 33554432000 4194304 16246674 140737019062656 140671790853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6826] ppid=6821 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (toysat) S 6821 6824 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110665801 1249447936 23614 33554432000 4194304 16246674 140737019062656 140671780363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6827] ppid=6821 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (toysat) S 6821 6824 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110665801 1249447936 23620 33554432000 4194304 16246674 140737019062656 140671769889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200494 s]
/proc/loadavg: 2.28 2.23 2.19 4/179 6824
/proc/meminfo: memFree=29090916/32872528 swapFree=17892/1720544
[pid=6824] ppid=6821 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/6824/stat : 6824 (toysat) R 6821 6824 3556 0 -1 4202496 43184 0 0 0 13 6 0 0 20 0 4 0 110665801 1249447936 43483 33554432000 4194304 16246674 140737019062656 140737019061968 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6824/statm: 305041 43490 877 2943 0 301935 0
[pid=6824/tid=6825] ppid=6821 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6825/stat : 6825 (toysat) S 6821 6824 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110665801 1249447936 43494 33554432000 4194304 16246674 140737019062656 140671790853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6826] ppid=6821 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (toysat) S 6821 6824 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110665801 1249447936 43501 33554432000 4194304 16246674 140737019062656 140671780363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6827] ppid=6821 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (toysat) S 6821 6824 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110665801 1249447936 43508 33554432000 4194304 16246674 140737019062656 140671769889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300501 s]
/proc/loadavg: 2.28 2.23 2.19 4/179 6824
/proc/meminfo: memFree=29090916/32872528 swapFree=17892/1720544
[pid=6824] ppid=6821 vsize=1220164 CPUtime=0.29 cores=1,3,5,7
/proc/6824/stat : 6824 (toysat) R 6821 6824 3556 0 -1 4202496 64316 0 0 0 21 8 0 0 20 0 4 0 110665801 1249447936 64616 33554432000 4194304 16246674 140737019062656 140737019061968 6836566 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6824/statm: 305041 64624 877 2943 0 301935 0
[pid=6824/tid=6825] ppid=6821 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6825/stat : 6825 (toysat) S 6821 6824 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110665801 1249447936 64633 33554432000 4194304 16246674 140737019062656 140671790853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6826] ppid=6821 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (toysat) S 6821 6824 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110665801 1249447936 64642 33554432000 4194304 16246674 140737019062656 140671780363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6827] ppid=6821 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (toysat) S 6821 6824 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110665801 1249447936 64652 33554432000 4194304 16246674 140737019062656 140671769889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700363 s]
/proc/loadavg: 2.28 2.23 2.19 4/179 6824
/proc/meminfo: memFree=29090916/32872528 swapFree=17892/1720544
[pid=6824] ppid=6821 vsize=1220164 CPUtime=0.69 cores=1,3,5,7
/proc/6824/stat : 6824 (toysat) R 6821 6824 3556 0 -1 4202496 148487 0 0 0 50 19 0 0 20 0 4 0 110665801 1249447936 148786 33554432000 4194304 16246674 140737019062656 140737019044544 13954410 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6824/statm: 305041 148797 877 2943 0 301935 0
[pid=6824/tid=6825] ppid=6821 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6825/stat : 6825 (toysat) S 6821 6824 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110665801 1249447936 148803 33554432000 4194304 16246674 140737019062656 140671790853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6826] ppid=6821 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (toysat) S 6821 6824 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110665801 1249447936 148810 33554432000 4194304 16246674 140737019062656 140671780363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6827] ppid=6821 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (toysat) S 6821 6824 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110665801 1249447936 148815 33554432000 4194304 16246674 140737019062656 140671769889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.50037 s]
/proc/loadavg: 2.28 2.23 2.19 4/183 6828
/proc/meminfo: memFree=28171188/32872528 swapFree=17892/1720544
[pid=6824] ppid=6821 vsize=1300036 CPUtime=1.49 cores=1,3,5,7
/proc/6824/stat : 6824 (toysat) R 6821 6824 3556 0 -1 4202496 266146 0 0 0 115 34 0 0 20 0 4 0 110665801 1331236864 266445 33554432000 4194304 16246674 140737019062656 140737019061968 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6824/statm: 325009 266445 880 2943 0 321903 0
[pid=6824/tid=6825] ppid=6821 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6825/stat : 6825 (toysat) S 6821 6824 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110665801 1331236864 266445 33554432000 4194304 16246674 140737019062656 140671790853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6826] ppid=6821 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (toysat) S 6821 6824 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110665801 1331236864 266445 33554432000 4194304 16246674 140737019062656 140671780363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6827] ppid=6821 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (toysat) S 6821 6824 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110665801 1331236864 266445 33554432000 4194304 16246674 140737019062656 140671769889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1300036

[startup+3.10037 s]
/proc/loadavg: 2.28 2.23 2.19 4/183 6828
/proc/meminfo: memFree=28018296/32872528 swapFree=17892/1720544
[pid=6824] ppid=6821 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/6824/stat : 6824 (toysat) R 6821 6824 3556 0 -1 4202496 267982 0 0 0 275 34 0 0 20 0 4 0 110665801 1338576896 268281 33554432000 4194304 16246674 140737019062656 140737019044544 5546214 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6824/statm: 326801 268281 884 2943 0 323695 0
[pid=6824/tid=6825] ppid=6821 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6825/stat : 6825 (toysat) S 6821 6824 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110665801 1338576896 268281 33554432000 4194304 16246674 140737019062656 140671790853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6826] ppid=6821 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (toysat) S 6821 6824 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110665801 1338576896 268281 33554432000 4194304 16246674 140737019062656 140671780363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6827] ppid=6821 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (toysat) S 6821 6824 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110665801 1338576896 268281 33554432000 4194304 16246674 140737019062656 140671769889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30042 s]
/proc/loadavg: 2.26 2.22 2.18 3/183 6828
/proc/meminfo: memFree=28017936/32872528 swapFree=17892/1720544
[pid=6824] ppid=6821 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/6824/stat : 6824 (toysat) R 6821 6824 3556 0 -1 4202496 267982 0 0 0 595 34 0 0 20 0 4 0 110665801 1338576896 268281 33554432000 4194304 16246674 140737019062656 140737019044544 5717604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6824/statm: 326801 268281 884 2943 0 323695 0
[pid=6824/tid=6825] ppid=6821 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6825/stat : 6825 (toysat) S 6821 6824 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110665801 1338576896 268281 33554432000 4194304 16246674 140737019062656 140671790853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6826] ppid=6821 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (toysat) S 6821 6824 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110665801 1338576896 268281 33554432000 4194304 16246674 140737019062656 140671780363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6827] ppid=6821 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (toysat) S 6821 6824 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110665801 1338576896 268281 33554432000 4194304 16246674 140737019062656 140671769889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.24 2.22 2.18 4/183 6828
/proc/meminfo: memFree=28016908/32872528 swapFree=17892/1720544
[pid=6824] ppid=6821 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/6824/stat : 6824 (toysat) R 6821 6824 3556 0 -1 4202496 268239 0 0 0 1235 34 0 0 20 0 4 0 110665801 1339625472 268538 33554432000 4194304 16246674 140737019062656 140737019044544 5721414 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6824/statm: 327057 268538 885 2943 0 323951 0
[pid=6824/tid=6825] ppid=6821 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6825/stat : 6825 (toysat) S 6821 6824 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110665801 1339625472 268538 33554432000 4194304 16246674 140737019062656 140671790853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6826] ppid=6821 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (toysat) S 6821 6824 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110665801 1339625472 268538 33554432000 4194304 16246674 140737019062656 140671780363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6827] ppid=6821 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (toysat) S 6821 6824 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110665801 1339625472 268538 33554432000 4194304 16246674 140737019062656 140671769889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.33 2.24 2.19 3/183 6828
/proc/meminfo: memFree=28016924/32872528 swapFree=17892/1720544
[pid=6824] ppid=6821 vsize=1309252 CPUtime=25.48 cores=1,3,5,7
/proc/6824/stat : 6824 (toysat) R 6821 6824 3556 0 -1 4202496 268255 0 0 0 2514 34 0 0 20 0 4 0 110665801 1340674048 268554 33554432000 4194304 16246674 140737019062656 140737019044544 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6824/statm: 327313 268554 885 2943 0 324207 0
[pid=6824/tid=6825] ppid=6821 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6825/stat : 6825 (toysat) S 6821 6824 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110665801 1340674048 268554 33554432000 4194304 16246674 140737019062656 140671790853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6826] ppid=6821 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (toysat) S 6821 6824 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110665801 1340674048 268554 33554432000 4194304 16246674 140737019062656 140671780363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6827] ppid=6821 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (toysat) S 6821 6824 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110665801 1340674048 268554 33554432000 4194304 16246674 140737019062656 140671769889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 2.29 2.24 2.19 3/183 6828
/proc/meminfo: memFree=28013580/32872528 swapFree=17892/1720544
[pid=6824] ppid=6821 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/6824/stat : 6824 (toysat) R 6821 6824 3556 0 -1 4202496 269123 0 0 0 5073 35 0 0 20 0 4 0 110665801 1343819776 269422 33554432000 4194304 16246674 140737019062656 140737019044544 5677492 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6824/statm: 328081 269422 885 2943 0 324975 0
[pid=6824/tid=6825] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6825/stat : 6825 (toysat) S 6821 6824 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269422 33554432000 4194304 16246674 140737019062656 140671790853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6826] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (toysat) S 6821 6824 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269422 33554432000 4194304 16246674 140737019062656 140671780363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6827] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (toysat) S 6821 6824 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269422 33554432000 4194304 16246674 140737019062656 140671769889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.20 2.21 2.18 3/183 6829
/proc/meminfo: memFree=28012432/32872528 swapFree=17892/1720544
[pid=6824] ppid=6821 vsize=1312324 CPUtime=102.28 cores=1,3,5,7
/proc/6824/stat : 6824 (toysat) R 6821 6824 3556 0 -1 4202496 269263 0 0 0 10193 35 0 0 20 0 4 0 110665801 1343819776 269562 33554432000 4194304 16246674 140737019062656 140737019044544 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6824/statm: 328081 269562 885 2943 0 324975 0
[pid=6824/tid=6825] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6825/stat : 6825 (toysat) S 6821 6824 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269562 33554432000 4194304 16246674 140737019062656 140671790853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6826] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (toysat) S 6821 6824 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269562 33554432000 4194304 16246674 140737019062656 140671780363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6827] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (toysat) S 6821 6824 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269562 33554432000 4194304 16246674 140737019062656 140671769889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1312324


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

/proc/6824/task/6827/stat : 6827 (toysat) S 6821 6824 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671769889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1312324

[startup+1362.3 s]
/proc/loadavg: 2.32 2.24 2.19 3/183 6910
/proc/meminfo: memFree=28009532/32872528 swapFree=17892/1720544
[pid=6824] ppid=6821 vsize=1312324 CPUtime=1361.93 cores=1,3,5,7
/proc/6824/stat : 6824 (toysat) R 6821 6824 3556 0 -1 4202496 269567 0 0 0 136074 119 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140737019061752 5652776 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6824/statm: 328081 269565 885 2943 0 324975 0
[pid=6824/tid=6825] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6825/stat : 6825 (toysat) S 6821 6824 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671790853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6826] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (toysat) S 6821 6824 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671780363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6827] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (toysat) S 6821 6824 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671769889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1312324

[startup+1422.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 6911
/proc/meminfo: memFree=28009704/32872528 swapFree=17892/1720544
[pid=6824] ppid=6821 vsize=1312324 CPUtime=1421.92 cores=1,3,5,7
/proc/6824/stat : 6824 (toysat) R 6821 6824 3556 0 -1 4202496 269567 0 0 0 142066 126 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140737019061752 13818354 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6824/statm: 328081 269565 885 2943 0 324975 0
[pid=6824/tid=6825] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6825/stat : 6825 (toysat) S 6821 6824 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671790853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6826] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (toysat) S 6821 6824 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671780363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6827] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (toysat) S 6821 6824 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671769889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1312324

[startup+1482.3 s]
/proc/loadavg: 2.17 2.21 2.18 3/184 6915
/proc/meminfo: memFree=28009240/32872528 swapFree=17892/1720544
[pid=6824] ppid=6821 vsize=1312324 CPUtime=1481.91 cores=1,3,5,7
/proc/6824/stat : 6824 (toysat) R 6821 6824 3556 0 -1 4202496 269567 0 0 0 148059 132 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140737019061832 4220507 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6824/statm: 328081 269565 885 2943 0 324975 0
[pid=6824/tid=6825] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6825/stat : 6825 (toysat) S 6821 6824 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671790853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6826] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (toysat) S 6821 6824 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671780363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6827] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (toysat) S 6821 6824 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671769889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1312324

[startup+1542.31 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 6916
/proc/meminfo: memFree=28009136/32872528 swapFree=17892/1720544
[pid=6824] ppid=6821 vsize=1312324 CPUtime=1541.9 cores=1,3,5,7
/proc/6824/stat : 6824 (toysat) R 6821 6824 3556 0 -1 4202496 269567 0 0 0 154052 138 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140737019061752 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6824/statm: 328081 269565 885 2943 0 324975 0
[pid=6824/tid=6825] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6825/stat : 6825 (toysat) S 6821 6824 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671790853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6826] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (toysat) S 6821 6824 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671780363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6827] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (toysat) S 6821 6824 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671769889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1312324

[startup+1602.3 s]
/proc/loadavg: 2.29 2.23 2.19 3/183 6917
/proc/meminfo: memFree=28009416/32872528 swapFree=17892/1720544
[pid=6824] ppid=6821 vsize=1312324 CPUtime=1601.89 cores=1,3,5,7
/proc/6824/stat : 6824 (toysat) R 6821 6824 3556 0 -1 4202496 269567 0 0 0 160046 143 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140737019061752 13818354 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6824/statm: 328081 269565 885 2943 0 324975 0
[pid=6824/tid=6825] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6825/stat : 6825 (toysat) S 6821 6824 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671790853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6826] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (toysat) S 6821 6824 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671780363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6827] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (toysat) S 6821 6824 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671769889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1312324

[startup+1662.3 s]
/proc/loadavg: 2.30 2.25 2.19 3/183 6919
/proc/meminfo: memFree=28009324/32872528 swapFree=17892/1720544
[pid=6824] ppid=6821 vsize=1312324 CPUtime=1661.88 cores=1,3,5,7
/proc/6824/stat : 6824 (toysat) R 6821 6824 3556 0 -1 4202496 269567 0 0 0 166039 149 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140737019044544 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6824/statm: 328081 269565 885 2943 0 324975 0
[pid=6824/tid=6825] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6825/stat : 6825 (toysat) S 6821 6824 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671790853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6826] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (toysat) S 6821 6824 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671780363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6827] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (toysat) S 6821 6824 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671769889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1312324

[startup+1722.3 s]
/proc/loadavg: 2.33 2.26 2.19 3/183 6920
/proc/meminfo: memFree=28008952/32872528 swapFree=17892/1720544
[pid=6824] ppid=6821 vsize=1312324 CPUtime=1721.87 cores=1,3,5,7
/proc/6824/stat : 6824 (toysat) R 6821 6824 3556 0 -1 4202496 269567 0 0 0 172032 155 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140737019061752 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6824/statm: 328081 269565 885 2943 0 324975 0
[pid=6824/tid=6825] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6825/stat : 6825 (toysat) S 6821 6824 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671790853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6826] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (toysat) S 6821 6824 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671780363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6827] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (toysat) S 6821 6824 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671769889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1312324

[startup+1782.3 s]
/proc/loadavg: 2.26 2.26 2.19 3/183 6921
/proc/meminfo: memFree=28009496/32872528 swapFree=17892/1720544
[pid=6824] ppid=6821 vsize=1312324 CPUtime=1781.86 cores=1,3,5,7
/proc/6824/stat : 6824 (toysat) R 6821 6824 3556 0 -1 4202496 269567 0 0 0 178026 160 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140737019044544 13191752 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6824/statm: 328081 269565 885 2943 0 324975 0
[pid=6824/tid=6825] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6825/stat : 6825 (toysat) S 6821 6824 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671790853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6826] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (toysat) S 6821 6824 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671780363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6827] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (toysat) S 6821 6824 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671769889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1312324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.27 2.26 2.19 3/183 6921
/proc/meminfo: memFree=28008876/32872528 swapFree=17892/1720544
[pid=6824] ppid=6821 vsize=1312324 CPUtime=1800.06 cores=1,3,5,7
/proc/6824/stat : 6824 (toysat) R 6821 6824 3556 0 -1 4202496 269567 0 0 0 179844 162 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140737019061752 13191456 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6824/statm: 328081 269565 885 2943 0 324975 0
[pid=6824/tid=6825] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6825/stat : 6825 (toysat) S 6821 6824 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671790853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6826] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (toysat) S 6821 6824 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671780363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6827] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (toysat) S 6821 6824 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671769889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1312324

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 6824 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.27 2.26 2.19 3/183 6921
/proc/meminfo: memFree=28008876/32872528 swapFree=17892/1720544
[pid=6824] ppid=6821 vsize=1312324 CPUtime=1800.06 cores=1,3,5,7
/proc/6824/stat : 6824 (toysat) R 6821 6824 3556 0 -1 4202496 269567 0 0 0 179844 162 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140737019061752 13191456 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6824/statm: 328081 269565 885 2943 0 324975 0
[pid=6824/tid=6825] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6825/stat : 6825 (toysat) S 6821 6824 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671790853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6826] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (toysat) S 6821 6824 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671780363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6827] ppid=6821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (toysat) S 6821 6824 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110665801 1343819776 269565 33554432000 4194304 16246674 140737019062656 140671769889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1312324

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1798.45
CPU system time (s): 1.62875
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 1312324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.45
system time used= 1.62875
maximum resident set size= 1078260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269567
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= 322
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5873 second user time and 6.94094 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-07 10:15:26
IDJOB=4078880
IDBENCH=90219
IDSOLVER=2542
FILE ID=node117/4078880-1465287326
RUNJOBID= node117-1465262703-3573
PBS_JOBID= 19843298
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K70.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078880-1465287326/watcher-4078880-1465287326 -o /tmp/evaluation-result-4078880-1465287326/solver-4078880-1465287326 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465262703-3573 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078880-1465287326.opb

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

MD5SUM BENCH= e50339bba16007b68fcf75042d633deb
RANDOM SEED=1245397486

node117.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		: 2667.088
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	: 5334.17
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		: 2667.088
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.55
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		: 2667.088
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		: 2667.088
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.56
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		: 2667.088
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.54
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		: 2667.088
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		: 2667.088
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.53
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		: 2667.088
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29090924 kB
Buffers:           90268 kB
Cached:           124272 kB
SwapCached:        29276 kB
Active:          1163708 kB
Inactive:         162964 kB
Active(anon):    1085556 kB
Inactive(anon):    29468 kB
Active(file):      78152 kB
Inactive(file):   133496 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67071196 kB
Dirty:             16348 kB
Writeback:             0 kB
AnonPages:       2804860 kB
Mapped:            10640 kB
Shmem:                 0 kB
Slab:             599308 kB
SReclaimable:      43416 kB
SUnreclaim:       555892 kB
KernelStack:        1488 kB
PageTables:         9712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2947740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2779136 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= 71704 MiB
End job on node117 at 2016-06-07 10:45:27