Trace number 4078894

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.11 1800.62

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K129.opb
MD5SUM1a22ba01765c232fe0c8623cfb5d750f
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15351
Total number of constraints15611
Number of constraints which are clauses15482
Number of constraints which are cardinality constraints (but not clauses)129
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint129
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 130
Number of bits of the biggest sum of numbers8
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-07T09:40:36+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-4078894-1465285236.opb"]
0.00/0.02	c use --random-gen="4050745742 233673781 411542637 1125636741 2030654508 2249024785 2709572680 1734107720 2622373777 2778174483 67858263 279995273 3312724879 2609957679 3581268417 3075694184 4132637551 3154300029 3067284919 2576742015 1154639410 1950135292 1744380505 508081982 1967200030 3594817033 4156098367 2570542325 1547936776 3554007679 3095916089 3043343336 1176192024 3152276302 4291356300 2738357310 4127180762 3890874720 1432054007 3925245581 3316576947 1880822139 813209972 1497297819 3058560317 4126482080 1341139889 80294865 846740730 3405339551 1064256467 810310249 241235387 709173844 4256294993 2531785876 4005204746 1912733457 1436364023 1786550670 854139648 2286177718 1855030720 2690137246 2655904790 1035415507 783833126 3858713283 1352790851 1516153505 1966808861 596222103 3052309852 1590798207 1060914593 1800868384 231739231 2244096113 3559159781 2255288028 3222446603 298177351 2593673640 1183444842 2162611834 3961216285 1181186366 3738354017 4069084777 4025130413 3910078113 2138423472 3769458224 1137836227 3225413134 2447203838 3941989271 1154289927 3324981595 1240405898 3346021642 4151388086 3216594581 2607013482 1419977581 1854367518 1751749042 2864672319 1896399578 2737286498 664276026 2316442066 953776346 1232078243 3929554583 96965889 639808745 3627638830 219107769 2162477726 4131544119 971090345 3024280684 2067518045 2339903562 3529884699 2017211199 246177071 1255335456 1130056472 281441515 2133470058 2442337548 1671219413 1426759477 187927598 3394781275 952640646 622178147 1278558272 1949717002 1248047667 648931809 2635933313 2774326835 416643384 2594739870 906146890 557938679 4230524122 2283981528 2675082688 4052885601 1290301052 576031440 1290104120 3762809128 2455851916 3746354055 3701266770 4053073046 388993012 1232900561 3783845485 3527917834 2538532610 2222221733 1508615454 3646164925 2118852653 4133931635 2216086758 2673185802 3139471538 1268128149 3089679948 4034064469 4236000318 1706341497 2450147097 2134580093 1684058358 2436806577 3206638613 3651511544 991316006 1050928513 4283922942 3369578974 3355075180 1751973035 3246234809 994995067 1253457619 3303387913 201094744 2772038199 2754151930 3797287512 2134142832 2002065530 3651438872 3809003414 2982354384 1671791550 3148108255 360677721 1920517669 2034523373 3188936079 3326035380 2661604226 2018964544 3475435737 3359354668 1088759071 2061107044 341923233 1017582224 2647496403 1573860632 764679695 2605895417 2057437893 2876828946 2650318878 903689248 424605386 481021865 3734734591 2654847396 3068899363 3154888734 2953975663 3296824486 485606359 4174871463 1193137516 760080312 2750948752 1463389296 354708269 3684864903 3161809221 225262081 609140234 534617512 1883580698 3727832272 2366361877 544049213 1589375084 1558624971 1340784004 2684159548 218193880 255 362436" option to reproduce the execution
0.18/0.23	c #vars 15351
0.18/0.23	c #constraints 15611
0.48/0.56	c Solving starts ...
0.48/0.56	c ============================[ Search Statistics ]============================
0.48/0.56	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.48/0.56	c       |         |          |          |    Limit     GC | Var      | Constra 
0.48/0.56	c =============================================================================
0.48/0.56	c  0.0s |       0 |        0 |        0 |    10320      0 |      742 |        0
0.99/1.02	c  0.5s |       1 |     3449 |      100 |    10320      0 |      743 |      634
1.38/1.46	c  0.9s |       2 |     9511 |      250 |    11353      0 |      744 |      635
2.08/2.13	c  1.6s |       3 |    17048 |      475 |    12489      0 |      745 |      636
2.88/2.90	c  2.3s |       4 |    27715 |      813 |    13738      0 |      745 |      636
3.98/4.04	c  3.5s |       5 |    43045 |     1320 |    15112      0 |      746 |      637
5.78/5.86	c  5.3s |       6 |    68788 |     2081 |    18287      0 |      748 |      639
7.87/7.94	c  7.4s |       6 |    80680 |     3081 |    18287      0 |      748 |      639
8.27/8.34	c  7.8s |       7 |    84332 |     3223 |    20116      0 |      748 |      639
10.37/10.42	c  9.9s |       7 |   100423 |     4123 |    20116      0 |      749 |      640
12.08/12.18	c 11.6s |       8 |   109919 |     4936 |    22128      0 |      749 |      640
14.28/14.35	c 13.8s |       8 |   131428 |     5836 |    22128      0 |      749 |      640
16.58/16.65	c 16.1s |       8 |   143512 |     6736 |    22128      0 |      752 |      643
18.87/18.90	c 18.3s |       9 |   161942 |     7506 |    24341      0 |      754 |      645
20.98/21.03	c 20.5s |       9 |   170203 |     8306 |    24341      0 |      754 |      645
23.08/23.17	c 22.6s |       9 |   177094 |     9006 |    24341      0 |      754 |      645
25.38/25.40	c 24.8s |       9 |   207447 |     9706 |    24341      0 |      755 |      646
27.67/27.70	c 27.1s |       9 |   233708 |    10606 |    24341      0 |      757 |      648
29.68/29.75	c 29.2s |       9 |   259627 |    11306 |    26776      0 |      757 |      648
29.87/29.90	c 29.3s |      10 |   261761 |    11361 |    26776      0 |      757 |      648
32.07/32.18	c 31.6s |      10 |   280393 |    12161 |    26776      0 |      758 |      649
34.17/34.23	c 33.7s |      10 |   308285 |    12861 |    26776      0 |      758 |      649
36.16/36.24	c 35.7s |      10 |   325494 |    13761 |    26776      0 |      759 |      650
38.36/38.43	c 37.9s |      10 |   339894 |    14561 |    26776      0 |      759 |      650
40.56/40.63	c 40.1s |      10 |   363390 |    15361 |    26776      0 |      759 |      650
42.76/42.81	c 42.3s |      10 |   373378 |    16061 |    26776      0 |      760 |      651
44.96/45.09	c 44.5s |      10 |   375824 |    16761 |    26776      0 |      760 |      651
46.76/46.87	c 46.3s |      11 |   377181 |    17144 |    29454      0 |      760 |      651
48.86/48.94	c 48.4s |      11 |   394528 |    17644 |    29454      0 |      762 |      653
51.06/51.15	c 50.6s |      11 |   408317 |    18544 |    29454      0 |      762 |      653
53.16/53.29	c 52.7s |      11 |   419998 |    19444 |    29454      0 |      762 |      653
55.36/55.43	c 54.9s |      11 |   439005 |    20144 |    29454      0 |      762 |      653
57.36/57.43	c 56.9s |      11 |   457385 |    20744 |    29454      0 |      762 |      653
59.56/59.62	c 59.1s |      11 |   482055 |    21444 |    29454      0 |      762 |      653
61.56/61.66	c 61.1s |      11 |   496578 |    22244 |    29454      0 |      762 |      653
63.76/63.87	c 63.3s |      11 |   509395 |    23144 |    29454      0 |      762 |      653
65.86/65.92	c 65.4s |      11 |   528735 |    23744 |    29454      0 |      762 |      653
68.26/68.36	c 67.8s |      11 |   534290 |    24344 |    29454      0 |      762 |      653
70.36/70.48	c 69.9s |      11 |   545591 |    25044 |    29454      0 |      762 |      653
72.66/72.74	c 72.2s |      11 |   553451 |    25544 |    29454      0 |      762 |      653
74.76/74.85	c 74.3s |      12 |   554465 |    25819 |    32400      0 |      762 |      653
76.85/76.90	c 76.3s |      12 |   567194 |    26419 |    32400      0 |      762 |      653
79.05/79.10	c 78.5s |      12 |   583840 |    27219 |    32400      0 |      762 |      653
81.56/81.62	c 81.1s |      12 |   596415 |    27819 |    32400      0 |      762 |      653
83.57/83.68	c 83.1s |      12 |   607001 |    28419 |    32400      0 |      763 |      654
85.66/85.75	c 85.2s |      12 |   614982 |    29119 |    32400      0 |      764 |      655
87.86/87.92	c 87.4s |      12 |   631830 |    29819 |    32400      0 |      764 |      655
89.86/89.93	c 89.4s |      12 |   647868 |    30419 |    32400      0 |      764 |      655
91.96/92.02	c 91.5s |      12 |   658313 |    31019 |    32400      0 |      764 |      655
94.06/94.13	c 93.6s |      12 |   675528 |    31719 |    32400      0 |      764 |      655
96.16/96.21	c 95.7s |      12 |   679915 |    32419 |    32400      0 |      764 |      655
98.16/98.21	c 97.7s |      12 |   688988 |    33319 |    32400      0 |      764 |      655
100.16/100.24	c 99.7s |      12 |   697172 |    34119 |    32400      0 |      764 |      655
102.36/102.46	c  101s |      12 |   703099 |    34819 |    32400      0 |      764 |      655
104.66/104.71	c  104s |      12 |   706129 |    35419 |    32400      0 |      764 |      655
106.96/107.02	c  106s |      12 |   707774 |    35819 |    32400      0 |      764 |      655
109.75/109.89	c  109s |      12 |   709112 |    36219 |    32400      0 |      764 |      655
111.85/111.94	c  111s |      12 |   709809 |    36419 |    32400      0 |      764 |      655
114.15/114.22	c  113s |      12 |   710707 |    36719 |    32400      0 |      764 |      655
116.35/116.49	c  115s |      12 |   713551 |    37219 |    32400      0 |      764 |      655
118.95/119.07	c  118s |      12 |   715095 |    37619 |    32400      0 |      764 |      655
121.35/121.49	c  120s |      12 |   716208 |    38019 |    32400      0 |      764 |      655
123.95/124.05	c  123s |      12 |   718119 |    38519 |    32400      0 |      764 |      655
125.85/125.92	c  125s |      13 |   719473 |    38832 |    35640      0 |      764 |      655
127.95/128.06	c  127s |      13 |   727405 |    39132 |    35640      1 |      764 |      655
130.15/130.20	c  129s |      13 |   742007 |    39732 |    35640      1 |      765 |      656
132.25/132.31	c  131s |      13 |   759147 |    40432 |    35640      1 |      765 |      656
134.35/134.42	c  133s |      13 |   779441 |    40932 |    35640      1 |      766 |      657
136.35/136.49	c  135s |      13 |   794703 |    41732 |    35640      1 |      766 |      657
138.65/138.74	c  138s |      13 |   808019 |    42432 |    35640      1 |      766 |      657
141.15/141.25	c  140s |      13 |   818627 |    42932 |    35640      1 |      766 |      657
143.75/143.87	c  143s |      13 |   834561 |    43532 |    35640      1 |      767 |      658
146.04/146.11	c  145s |      13 |   853571 |    44232 |    35640      1 |      767 |      658
148.04/148.11	c  147s |      13 |   868153 |    44832 |    35640      1 |      767 |      658
150.04/150.19	c  149s |      13 |   876930 |    45432 |    35640      1 |      767 |      658
152.14/152.20	c  151s |      13 |   890400 |    46132 |    35640      1 |      767 |      658
154.24/154.39	c  153s |      13 |   900750 |    46932 |    35640      1 |      767 |      658
156.54/156.68	c  156s |      13 |   909505 |    47732 |    35640      1 |      767 |      658
158.84/158.90	c  158s |      13 |   915395 |    48332 |    35640      1 |      767 |      658
160.94/161.06	c  160s |      13 |   928984 |    49032 |    35640      1 |      767 |      658
162.94/163.09	c  162s |      13 |   941652 |    49532 |    35640      1 |      767 |      658
165.44/165.51	c  164s |      13 |   957566 |    50332 |    35640      1 |      767 |      658
167.54/167.62	c  167s |      13 |   971581 |    51032 |    35640      1 |      767 |      658
169.74/169.83	c  169s |      13 |   988382 |    51632 |    35640      1 |      767 |      658
172.74/172.86	c  172s |      13 |   990071 |    52132 |    35640      1 |      767 |      658
175.04/175.10	c  174s |      13 |  1002177 |    52632 |    35640      1 |      767 |      658
177.24/177.35	c  176s |      13 |  1017449 |    53332 |    35640      1 |      767 |      658
179.34/179.48	c  178s |      13 |  1033844 |    53932 |    35640      1 |      767 |      658
181.44/181.51	c  180s |      13 |  1049891 |    54432 |    35640      1 |      767 |      658
183.53/183.60	c  183s |      13 |  1061324 |    54932 |    35640      1 |      767 |      658
185.73/185.83	c  185s |      13 |  1074629 |    55532 |    35640      1 |      767 |      658
187.83/187.91	c  187s |      13 |  1085402 |    55932 |    35640      1 |      768 |      659
190.34/190.47	c  189s |      13 |  1104514 |    56432 |    35640      1 |      768 |      659
192.45/192.53	c  191s |      13 |  1119121 |    57032 |    35640      1 |      768 |      659
194.94/195.05	c  194s |      13 |  1130397 |    57532 |    35640      2 |      768 |      659
197.04/197.13	c  196s |      13 |  1140404 |    58232 |    39204      2 |      768 |      659
197.64/197.75	c  197s |      14 |  1141054 |    58352 |    39204      2 |      768 |      659
199.74/199.87	c  199s |      14 |  1151572 |    58952 |    39204      2 |      768 |      659
201.84/201.91	c  201s |      14 |  1157335 |    59452 |    39204      2 |      768 |      659
203.94/204.05	c  203s |      14 |  1162612 |    60252 |    39204      2 |      768 |      659
206.64/206.77	c  206s |      14 |  1167484 |    60852 |    39204      2 |      768 |      659
208.94/209.06	c  208s |      14 |  1169126 |    61152 |    39204      2 |      768 |      659
211.24/211.34	c  210s |      14 |  1172698 |    61552 |    39204      2 |      768 |      659
213.23/213.37	c  212s |      14 |  1186413 |    62252 |    39204      2 |      768 |      659
215.43/215.59	c  215s |      14 |  1196115 |    63052 |    39204      2 |      768 |      659
217.74/217.85	c  217s |      14 |  1213163 |    63752 |    39204      2 |      768 |      659
220.13/220.28	c  219s |      14 |  1228925 |    64352 |    39204      2 |      768 |      659
222.33/222.43	c  221s |      14 |  1245811 |    64952 |    39204      2 |      768 |      659
224.63/224.70	c  224s |      14 |  1262180 |    65752 |    39204      2 |      768 |      659
226.64/226.75	c  226s |      14 |  1275296 |    66352 |    39204      2 |      768 |      659
228.93/229.07	c  228s |      14 |  1285864 |    67052 |    39204      2 |      768 |      659
231.13/231.25	c  230s |      14 |  1296277 |    67652 |    39204      2 |      768 |      659
233.43/233.58	c  233s |      14 |  1310163 |    68252 |    39204      2 |      768 |      659
235.93/236.01	c  235s |      14 |  1316085 |    68852 |    39204      2 |      768 |      659
238.03/238.10	c  237s |      14 |  1318091 |    69352 |    39204      2 |      768 |      659
240.12/240.24	c  239s |      14 |  1320819 |    69852 |    39204      2 |      768 |      659
242.32/242.40	c  241s |      14 |  1323997 |    70352 |    39204      2 |      768 |      659
244.32/244.46	c  243s |      14 |  1332546 |    70852 |    39204      2 |      768 |      659
246.62/246.76	c  246s |      14 |  1340720 |    71652 |    39204      2 |      768 |      659
248.92/249.05	c  248s |      14 |  1345343 |    72252 |    39204      2 |      768 |      659
250.93/251.09	c  250s |      14 |  1349274 |    72752 |    39204      2 |      768 |      659
253.43/253.55	c  252s |      14 |  1355132 |    73352 |    39204      2 |      768 |      659
256.24/256.32	c  255s |      14 |  1356164 |    73752 |    39204      2 |      768 |      659
258.44/258.58	c  258s |      14 |  1363040 |    74252 |    39204      2 |      768 |      659
260.64/260.75	c  260s |      14 |  1372250 |    74852 |    39204      2 |      768 |      659
262.73/262.87	c  262s |      14 |  1386179 |    75352 |    39204      2 |      768 |      659
264.83/264.98	c  264s |      14 |  1397622 |    75852 |    39204      2 |      768 |      659
266.93/267.01	c  266s |      14 |  1405230 |    76252 |    39204      2 |      768 |      659
269.23/269.38	c  268s |      14 |  1416741 |    76652 |    39204      2 |      769 |      660
271.63/271.77	c  271s |      14 |  1430128 |    77252 |    39204      2 |      769 |      660
273.73/273.84	c  273s |      14 |  1442572 |    77752 |    39204      2 |      769 |      660
276.03/276.12	c  275s |      14 |  1453847 |    78352 |    39204      2 |      769 |      660
278.23/278.40	c  277s |      14 |  1468846 |    78952 |    39204      2 |      769 |      660
280.63/280.76	c  280s |      14 |  1478373 |    79552 |    39204      2 |      769 |      660
282.93/283.09	c  282s |      14 |  1486599 |    79952 |    39204      3 |      769 |      660
285.12/285.26	c  284s |      14 |  1503085 |    80652 |    39204      3 |      769 |      660
287.32/287.40	c  286s |      14 |  1514656 |    81352 |    39204      3 |      769 |      660
289.33/289.45	c  288s |      14 |  1524823 |    82052 |    39204      3 |      769 |      660
291.32/291.47	c  290s |      14 |  1539255 |    82652 |    39204      3 |      769 |      660
293.73/293.88	c  293s |      14 |  1557070 |    83452 |    39204      3 |      769 |      660
295.93/296.08	c  295s |      14 |  1575252 |    84152 |    39204      3 |      769 |      660
298.13/298.26	c  297s |      14 |  1591769 |    84852 |    39204      3 |      769 |      660
300.23/300.38	c  299s |      14 |  1600803 |    85552 |    39204      3 |      769 |      660
302.82/302.94	c  302s |      14 |  1607353 |    86152 |    39204      3 |      769 |      660
304.82/304.95	c  304s |      14 |  1616935 |    86852 |    39204      3 |      769 |      660
307.12/307.25	c  306s |      14 |  1627153 |    87552 |    43125      3 |      769 |      660
307.32/307.46	c  306s |      15 |  1628534 |    87632 |    43125      3 |      769 |      660
309.72/309.88	c  309s |      15 |  1634914 |    88332 |    43125      3 |      769 |      660
311.92/312.06	c  311s |      15 |  1650074 |    89032 |    43125      3 |      769 |      660
314.02/314.15	c  313s |      15 |  1663574 |    89632 |    43125      3 |      769 |      660
316.12/316.28	c  315s |      15 |  1678391 |    90232 |    43125      3 |      769 |      660
318.22/318.31	c  317s |      15 |  1688726 |    90932 |    43125      3 |      769 |      660
320.32/320.42	c  319s |      15 |  1696318 |    91432 |    43125      3 |      770 |      661
322.62/322.74	c  322s |      15 |  1702180 |    92032 |    43125      3 |      770 |      661
324.92/325.08	c  324s |      15 |  1716206 |    92632 |    43125      3 |      770 |      661
327.02/327.13	c  326s |      15 |  1728144 |    93132 |    43125      3 |      770 |      661
329.12/329.23	c  328s |      15 |  1733599 |    93732 |    43125      3 |      770 |      661
331.21/331.34	c  330s |      15 |  1735336 |    94132 |    43125      3 |      770 |      661
333.41/333.53	c  332s |      15 |  1737839 |    94632 |    43125      3 |      770 |      661
336.41/336.59	c  336s |      15 |  1739179 |    95032 |    43125      3 |      770 |      661
338.51/338.62	c  338s |      15 |  1739690 |    95232 |    43125      3 |      770 |      661
341.31/341.48	c  340s |      15 |  1740410 |    95532 |    43125      3 |      770 |      661
344.01/344.15	c  343s |      15 |  1741506 |    95832 |    43125      3 |      770 |      661
346.52/346.66	c  346s |      15 |  1742517 |    96132 |    43125      3 |      770 |      661
349.21/349.31	c  348s |      15 |  1744152 |    96532 |    43125      3 |      770 |      661
351.81/351.90	c  351s |      15 |  1745168 |    96832 |    43125      3 |      770 |      661
354.30/354.40	c  353s |      15 |  1745597 |    97032 |    43125      3 |      770 |      661
356.50/356.66	c  356s |      15 |  1746282 |    97232 |    43125      3 |      770 |      661
361.81/361.95	c  361s |      15 |  1746815 |    97432 |    43125      3 |      770 |      661
365.11/365.23	c  364s |      15 |  1747813 |    97632 |    43125      3 |      770 |      661
367.41/367.56	c  367s |      15 |  1748215 |    97732 |    43125      3 |      770 |      661
370.20/370.36	c  369s |      15 |  1748594 |    97832 |    43125      3 |      770 |      661
373.10/373.23	c  372s |      15 |  1748873 |    97932 |    43125      3 |      770 |      661
377.40/377.57	c  377s |      15 |  1749670 |    98132 |    43125      3 |      770 |      661
379.60/379.74	c  379s |      15 |  1750780 |    98432 |    43125      3 |      770 |      661
383.00/383.13	c  382s |      15 |  1751265 |    98632 |    43125      3 |      770 |      661
386.70/386.88	c  386s |      15 |  1751940 |    98832 |    43125      3 |      770 |      661
389.20/389.36	c  388s |      15 |  1752114 |    98932 |    43125      3 |      770 |      661
392.60/392.78	c  392s |      15 |  1752581 |    99032 |    43125      3 |      770 |      661
396.40/396.53	c  395s |      15 |  1752765 |    99132 |    43125      3 |      770 |      661
399.30/399.49	c  398s |      15 |  1752993 |    99232 |    43125      3 |      770 |      661
401.70/401.81	c  401s |      15 |  1753536 |    99432 |    43125      3 |      770 |      661
403.71/403.86	c  403s |      15 |  1754015 |    99532 |    43125      3 |      770 |      661
405.91/406.04	c  405s |      15 |  1754399 |    99632 |    43125      3 |      770 |      661
408.90/409.04	c  408s |      15 |  1754734 |    99732 |    43125      3 |      770 |      661
411.41/411.59	c  411s |      15 |  1755026 |    99832 |    43125      3 |      770 |      661
414.80/414.99	c  414s |      15 |  1755200 |    99932 |    43125      3 |      770 |      661
417.30/417.41	c  416s |      15 |  1756060 |   100032 |    43125      3 |      770 |      661
419.40/419.58	c  419s |      15 |  1758726 |   100532 |    43125      3 |      770 |      661
421.50/421.65	c  421s |      15 |  1761822 |   101032 |    43125      3 |      770 |      661
423.80/423.95	c  423s |      15 |  1763384 |   101432 |    43125      3 |      770 |      661
426.30/426.47	c  425s |      15 |  1764152 |   101732 |    43125      3 |      770 |      661
428.40/428.58	c  428s |      15 |  1764718 |   101932 |    43125      3 |      770 |      661
430.60/430.74	c  430s |      15 |  1764965 |   102032 |    43125      3 |      770 |      661
433.10/433.26	c  432s |      15 |  1765572 |   102232 |    43125      3 |      770 |      661
435.79/435.90	c  435s |      15 |  1766221 |   102432 |    43125      3 |      770 |      661
437.99/438.16	c  437s |      15 |  1767865 |   102832 |    43125      3 |      770 |      661
440.79/440.92	c  440s |      15 |  1769106 |   103132 |    43125      3 |      770 |      661
442.89/443.05	c  442s |      15 |  1770294 |   103432 |    43125      3 |      770 |      661
445.40/445.53	c  444s |      15 |  1773087 |   103832 |    43125      3 |      770 |      661
447.79/447.97	c  447s |      15 |  1773970 |   104132 |    43125      3 |      770 |      661
450.19/450.35	c  449s |      15 |  1775857 |   104432 |    43125      3 |      770 |      661
452.49/452.62	c  452s |      15 |  1779265 |   104832 |    43125      4 |      770 |      661
454.69/454.80	c  454s |      15 |  1787488 |   105332 |    43125      4 |      770 |      661
456.69/456.83	c  456s |      15 |  1795407 |   105832 |    43125      4 |      770 |      661
458.99/459.14	c  458s |      15 |  1804295 |   106532 |    43125      4 |      770 |      661
461.19/461.32	c  460s |      15 |  1805938 |   107032 |    43125      4 |      770 |      661
463.39/463.55	c  462s |      15 |  1819309 |   107532 |    43125      4 |      771 |      662
465.39/465.56	c  465s |      15 |  1825279 |   108132 |    43125      4 |      771 |      662
467.49/467.69	c  467s |      15 |  1827480 |   108732 |    43125      4 |      771 |      662
469.59/469.75	c  469s |      15 |  1828145 |   109032 |    43125      4 |      771 |      662
471.79/471.91	c  471s |      15 |  1830643 |   109532 |    43125      4 |      771 |      662
473.89/474.00	c  473s |      15 |  1833697 |   110032 |    43125      4 |      771 |      662
476.20/476.40	c  475s |      15 |  1846698 |   110832 |    43125      4 |      771 |      662
478.50/478.61	c  478s |      15 |  1848632 |   111232 |    43125      4 |      771 |      662
480.60/480.75	c  480s |      15 |  1853292 |   111832 |    43125      4 |      771 |      662
483.09/483.24	c  482s |      15 |  1856484 |   112332 |    43125      4 |      771 |      662
485.19/485.33	c  484s |      15 |  1858538 |   112632 |    43125      4 |      771 |      662
487.39/487.50	c  486s |      15 |  1859326 |   112832 |    43125      4 |      771 |      662
489.69/489.81	c  489s |      15 |  1861366 |   113232 |    43125      4 |      771 |      662
492.09/492.27	c  491s |      15 |  1863563 |   113632 |    43125      4 |      771 |      662
494.79/494.98	c  494s |      15 |  1865429 |   113932 |    43125      4 |      771 |      662
497.09/497.20	c  496s |      15 |  1866126 |   114132 |    43125      4 |      771 |      662
499.88/500.09	c  499s |      15 |  1867501 |   114332 |    43125      4 |      771 |      662
502.88/503.01	c  502s |      15 |  1868895 |   114532 |    43125      4 |      771 |      662
505.68/505.86	c  505s |      15 |  1870112 |   114732 |    43125      4 |      771 |      662
507.88/508.07	c  507s |      15 |  1871510 |   114932 |    43125      4 |      771 |      662
510.08/510.26	c  509s |      15 |  1872785 |   115132 |    43125      4 |      771 |      662
512.68/512.84	c  512s |      15 |  1874059 |   115332 |    43125      4 |      771 |      662
515.48/515.62	c  515s |      15 |  1874570 |   115532 |    43125      4 |      771 |      662
518.89/519.02	c  518s |      15 |  1875044 |   115732 |    43125      4 |      771 |      662
522.79/522.96	c  522s |      15 |  1875759 |   115932 |    43125      4 |      771 |      662
525.09/525.22	c  524s |      15 |  1876430 |   116132 |    43125      4 |      771 |      662
528.18/528.31	c  527s |      15 |  1877690 |   116332 |    43125      4 |      771 |      662
531.88/532.00	c  531s |      15 |  1878337 |   116532 |    43125      4 |      771 |      662
535.88/536.05	c  535s |      15 |  1879170 |   116732 |    43125      4 |      771 |      662
537.98/538.11	c  537s |      15 |  1879626 |   116832 |    43125      4 |      771 |      662
541.18/541.35	c  540s |      15 |  1881861 |   117232 |    43125      4 |      771 |      662
543.38/543.59	c  543s |      15 |  1883292 |   117532 |    43125      4 |      771 |      662
545.98/546.19	c  545s |      15 |  1883895 |   117732 |    43125      4 |      771 |      662
548.27/548.44	c  547s |      15 |  1884925 |   117932 |    43125      4 |      771 |      662
551.47/551.65	c  551s |      15 |  1885656 |   118132 |    43125      4 |      771 |      662
555.48/555.62	c  555s |      15 |  1886448 |   118332 |    43125      4 |      771 |      662
557.58/557.79	c  557s |      15 |  1886677 |   118432 |    43125      4 |      771 |      662
559.88/560.01	c  559s |      15 |  1886986 |   118532 |    43125      4 |      771 |      662
562.17/562.31	c  561s |      15 |  1888062 |   118732 |    43125      4 |      771 |      662
564.48/564.62	c  564s |      15 |  1889256 |   118932 |    43125      4 |      771 |      662
566.68/566.81	c  566s |      15 |  1890218 |   119132 |    43125      4 |      771 |      662
568.69/568.82	c  568s |      15 |  1890695 |   119332 |    43125      4 |      771 |      662
571.47/571.67	c  571s |      15 |  1891713 |   119632 |    43125      4 |      771 |      662
574.77/574.95	c  574s |      15 |  1892807 |   119932 |    43125      4 |      771 |      662
577.17/577.35	c  576s |      15 |  1893822 |   120132 |    43125      4 |      771 |      662
579.58/579.72	c  579s |      15 |  1894431 |   120332 |    43125      4 |      771 |      662
581.67/581.84	c  581s |      15 |  1909240 |   120832 |    43125      4 |      771 |      662
583.98/584.13	c  583s |      15 |  1919451 |   121532 |    43125      4 |      771 |      662
586.27/586.43	c  585s |      15 |  1921935 |   121932 |    43125      4 |      771 |      662
588.37/588.57	c  588s |      15 |  1923063 |   122232 |    43125      4 |      771 |      662
590.87/591.06	c  590s |      15 |  1923925 |   122432 |    43125      4 |      771 |      662
593.07/593.23	c  592s |      15 |  1926244 |   122832 |    43125      4 |      771 |      662
595.27/595.42	c  594s |      15 |  1928156 |   123032 |    43125      4 |      771 |      662
597.77/597.92	c  597s |      15 |  1929855 |   123232 |    43125      4 |      771 |      662
600.36/600.53	c  599s |      15 |  1931014 |   123432 |    43125      4 |      771 |      662
602.37/602.58	c  602s |      15 |  1932630 |   123632 |    43125      4 |      771 |      662
604.67/604.81	c  604s |      15 |  1940762 |   124132 |    43125      4 |      771 |      662
606.97/607.11	c  606s |      15 |  1954960 |   124732 |    43125      4 |      771 |      662
609.28/609.41	c  608s |      15 |  1963301 |   125332 |    43125      4 |      771 |      662
611.48/611.66	c  611s |      15 |  1965250 |   125732 |    43125      4 |      771 |      662
613.68/613.87	c  613s |      15 |  1975451 |   126332 |    43125      4 |      771 |      662
615.77/615.96	c  615s |      15 |  1986473 |   127132 |    43125      4 |      771 |      662
617.87/618.08	c  617s |      15 |  1990950 |   127732 |    43125      4 |      771 |      662
620.17/620.34	c  619s |      15 |  1996514 |   128232 |    43125      4 |      771 |      662
623.27/623.49	c  622s |      15 |  2005030 |   128732 |    43125      5 |      771 |      662
625.37/625.51	c  624s |      15 |  2010691 |   129132 |    43125      5 |      771 |      662
627.47/627.61	c  627s |      15 |  2019690 |   129732 |    43125      5 |      771 |      662
629.57/629.73	c  629s |      15 |  2025545 |   130232 |    43125      5 |      771 |      662
631.77/631.96	c  631s |      15 |  2033613 |   131032 |    47438      5 |      771 |      662
633.67/633.80	c  633s |      16 |  2050891 |   131552 |    47438      5 |      771 |      662
635.87/636.02	c  635s |      16 |  2067482 |   132352 |    47438      5 |      771 |      662
637.87/638.04	c  637s |      16 |  2080341 |   133052 |    47438      5 |      771 |      662
639.97/640.14	c  639s |      16 |  2092782 |   133952 |    47438      5 |      771 |      662
642.07/642.23	c  641s |      16 |  2101634 |   134552 |    47438      5 |      771 |      662
644.07/644.28	c  643s |      16 |  2116488 |   135252 |    47438      5 |      771 |      662
646.36/646.56	c  646s |      16 |  2132812 |   136052 |    47438      5 |      771 |      662
648.66/648.81	c  648s |      16 |  2138364 |   136452 |    47438      5 |      771 |      662
650.96/651.15	c  650s |      16 |  2148783 |   137152 |    47438      5 |      771 |      662
653.27/653.44	c  652s |      16 |  2152605 |   137752 |    47438      5 |      771 |      662
655.36/655.54	c  654s |      16 |  2154631 |   138252 |    47438      5 |      771 |      662
657.46/657.67	c  657s |      16 |  2166441 |   138952 |    47438      5 |      771 |      662
659.66/659.83	c  659s |      16 |  2176658 |   139652 |    47438      5 |      771 |      662
661.86/662.06	c  661s |      16 |  2184809 |   140352 |    47438      5 |      771 |      662
663.86/664.07	c  663s |      16 |  2195134 |   140952 |    47438      5 |      771 |      662
665.96/666.10	c  665s |      16 |  2197001 |   141552 |    47438      5 |      771 |      662
667.96/668.15	c  667s |      16 |  2199568 |   142152 |    47438      5 |      771 |      662
670.06/670.24	c  669s |      16 |  2200733 |   142552 |    47438      5 |      771 |      662
672.46/672.69	c  672s |      16 |  2201671 |   142952 |    47438      5 |      771 |      662
674.66/674.85	c  674s |      16 |  2216996 |   143452 |    47438      5 |      772 |      663
677.06/677.26	c  676s |      16 |  2231691 |   143952 |    47438      5 |      773 |      664
679.15/679.31	c  678s |      16 |  2243127 |   144452 |    47438      5 |      773 |      664
681.35/681.52	c  680s |      16 |  2259331 |   145052 |    47438      5 |      773 |      664
683.55/683.75	c  683s |      16 |  2274849 |   145752 |    47438      5 |      773 |      664
685.55/685.77	c  685s |      16 |  2280718 |   146452 |    47438      5 |      773 |      664
687.95/688.16	c  687s |      16 |  2294261 |   147052 |    47438      5 |      773 |      664
690.05/690.22	c  689s |      16 |  2307724 |   147652 |    47438      5 |      773 |      664
692.25/692.48	c  691s |      16 |  2317186 |   148452 |    47438      5 |      773 |      664
694.75/694.90	c  694s |      16 |  2330965 |   149152 |    47438      5 |      773 |      664
697.05/697.23	c  696s |      16 |  2347676 |   149752 |    47438      5 |      773 |      664
699.35/699.50	c  698s |      16 |  2362606 |   150252 |    47438      5 |      773 |      664
701.55/701.70	c  701s |      16 |  2378451 |   150852 |    47438      5 |      773 |      664
703.75/703.92	c  703s |      16 |  2386162 |   151552 |    47438      5 |      773 |      664
706.16/706.31	c  705s |      16 |  2391606 |   152052 |    47438      5 |      773 |      664
708.26/708.49	c  707s |      16 |  2395802 |   152552 |    47438      5 |      773 |      664
710.46/710.63	c  710s |      16 |  2402129 |   152952 |    47438      5 |      773 |      664
712.55/712.77	c  712s |      16 |  2406261 |   153452 |    47438      5 |      773 |      664
714.85/715.05	c  714s |      16 |  2418930 |   154052 |    47438      5 |      773 |      664
717.55/717.77	c  717s |      16 |  2421325 |   154552 |    47438      5 |      773 |      664
719.85/720.09	c  719s |      16 |  2426785 |   154952 |    47438      5 |      773 |      664
722.14/722.33	c  721s |      16 |  2432349 |   155252 |    47438      6 |      773 |      664
724.44/724.64	c  724s |      16 |  2449729 |   155852 |    47438      6 |      773 |      664
726.74/726.95	c  726s |      16 |  2467289 |   156452 |    47438      6 |      773 |      664
728.84/729.07	c  728s |      16 |  2485450 |   157052 |    47438      6 |      773 |      664
730.84/731.07	c  730s |      16 |  2497244 |   157652 |    47438      6 |      773 |      664
732.94/733.17	c  732s |      16 |  2509572 |   158252 |    47438      6 |      773 |      664
735.24/735.44	c  734s |      16 |  2522600 |   158852 |    47438      6 |      773 |      664
737.44/737.66	c  737s |      16 |  2533259 |   159352 |    47438      6 |      773 |      664
739.54/739.71	c  739s |      16 |  2545117 |   159952 |    47438      6 |      773 |      664
741.84/742.04	c  741s |      16 |  2558658 |   160652 |    47438      6 |      773 |      664
744.04/744.26	c  743s |      16 |  2567053 |   161452 |    47438      6 |      773 |      664
746.34/746.53	c  745s |      16 |  2577602 |   162152 |    47438      6 |      773 |      664
748.44/748.66	c  748s |      16 |  2588079 |   162752 |    47438      6 |      773 |      664
750.54/750.71	c  750s |      16 |  2590253 |   163252 |    47438      6 |      773 |      664
752.54/752.78	c  752s |      16 |  2591249 |   163552 |    47438      6 |      773 |      664
755.24/755.41	c  754s |      16 |  2591843 |   163852 |    47438      6 |      773 |      664
757.35/757.58	c  757s |      16 |  2592556 |   164052 |    47438      6 |      773 |      664
760.14/760.30	c  759s |      16 |  2592908 |   164252 |    47438      6 |      773 |      664
762.34/762.54	c  761s |      16 |  2594129 |   164552 |    47438      6 |      773 |      664
764.94/765.16	c  764s |      16 |  2596048 |   164852 |    47438      6 |      773 |      664
767.34/767.51	c  766s |      16 |  2599916 |   165552 |    47438      6 |      773 |      664
770.04/770.24	c  769s |      16 |  2600997 |   165952 |    47438      6 |      773 |      664
772.64/772.86	c  772s |      16 |  2602038 |   166352 |    47438      6 |      773 |      664
775.14/775.31	c  774s |      16 |  2603221 |   166752 |    47438      6 |      773 |      664
777.74/777.93	c  777s |      16 |  2604489 |   167152 |    47438      6 |      773 |      664
779.75/779.95	c  779s |      16 |  2609062 |   167552 |    47438      6 |      773 |      664
782.24/782.42	c  781s |      16 |  2612486 |   168152 |    47438      6 |      773 |      664
784.34/784.51	c  783s |      16 |  2616907 |   168652 |    47438      6 |      773 |      664
786.35/786.54	c  785s |      16 |  2621228 |   169452 |    47438      6 |      773 |      664
788.65/788.88	c  788s |      16 |  2631061 |   170052 |    47438      6 |      773 |      664
790.75/790.92	c  790s |      16 |  2642042 |   170452 |    47438      6 |      773 |      664
793.05/793.26	c  792s |      16 |  2647668 |   171052 |    47438      6 |      773 |      664
795.04/795.29	c  794s |      16 |  2649264 |   171552 |    47438      6 |      773 |      664
797.34/797.55	c  796s |      16 |  2650171 |   171852 |    47438      6 |      773 |      664
800.14/800.32	c  799s |      16 |  2652058 |   172252 |    47438      6 |      773 |      664
802.44/802.66	c  802s |      16 |  2652738 |   172452 |    47438      6 |      773 |      664
805.04/805.23	c  804s |      16 |  2653268 |   172652 |    47438      6 |      773 |      664
808.44/808.65	c  808s |      16 |  2653888 |   172852 |    47438      6 |      773 |      664
810.54/810.70	c  810s |      16 |  2656856 |   173152 |    47438      6 |      773 |      664
812.93/813.10	c  812s |      16 |  2660868 |   173752 |    47438      6 |      773 |      664
815.63/815.82	c  815s |      16 |  2662710 |   174152 |    47438      6 |      773 |      664
817.73/817.97	c  817s |      16 |  2664141 |   174352 |    47438      6 |      773 |      664
820.54/820.77	c  820s |      16 |  2667273 |   174752 |    47438      6 |      773 |      664
822.53/822.77	c  822s |      16 |  2669818 |   175052 |    47438      6 |      773 |      664
824.53/824.78	c  824s |      16 |  2674108 |   175552 |    47438      6 |      773 |      664
826.93/827.19	c  826s |      16 |  2675765 |   175852 |    47438      6 |      773 |      664
829.03/829.25	c  828s |      16 |  2678761 |   176252 |    47438      6 |      773 |      664
831.33/831.55	c  830s |      16 |  2680923 |   176752 |    47438      6 |      773 |      664
833.63/833.89	c  833s |      16 |  2682675 |   177152 |    47438      6 |      773 |      664
835.83/836.05	c  835s |      16 |  2684431 |   177552 |    47438      6 |      773 |      664
838.53/838.72	c  838s |      16 |  2686511 |   177952 |    47438      6 |      773 |      664
840.93/841.12	c  840s |      16 |  2687249 |   178152 |    47438      6 |      773 |      664
843.22/843.48	c  842s |      16 |  2688015 |   178352 |    47438      6 |      773 |      664
845.83/846.03	c  845s |      16 |  2689458 |   178652 |    47438      6 |      773 |      664
848.32/848.57	c  848s |      16 |  2691912 |   178952 |    47438      6 |      773 |      664
850.42/850.62	c  850s |      16 |  2693185 |   179252 |    47438      6 |      773 |      664
853.02/853.20	c  852s |      16 |  2694715 |   179552 |    47438      6 |      773 |      664
855.42/855.65	c  855s |      16 |  2695648 |   179852 |    47438      6 |      773 |      664
857.94/858.12	c  857s |      16 |  2695986 |   180052 |    47438      6 |      773 |      664
860.53/860.75	c  860s |      16 |  2697007 |   180352 |    47438      6 |      773 |      664
863.03/863.21	c  862s |      16 |  2698612 |   180652 |    47438      6 |      773 |      664
865.83/866.08	c  865s |      16 |  2699966 |   180952 |    47438      6 |      773 |      664
868.83/869.04	c  868s |      16 |  2700913 |   181152 |    47438      6 |      773 |      664
872.43/872.64	c  872s |      16 |  2702026 |   181352 |    47438      6 |      773 |      664
876.13/876.33	c  875s |      16 |  2702365 |   181452 |    47438      6 |      773 |      664
879.73/879.97	c  879s |      16 |  2702577 |   181552 |    47438      6 |      773 |      664
882.13/882.35	c  881s |      16 |  2702858 |   181652 |    47438      6 |      773 |      664
884.42/884.64	c  884s |      16 |  2703494 |   181852 |    47438      6 |      773 |      664
886.43/886.64	c  886s |      16 |  2706025 |   182152 |    47438      6 |      773 |      664
889.12/889.31	c  888s |      16 |  2708298 |   182452 |    47438      6 |      773 |      664
891.22/891.42	c  890s |      16 |  2709763 |   182652 |    47438      6 |      773 |      664
893.62/893.86	c  893s |      16 |  2712000 |   182952 |    47438      6 |      773 |      664
896.22/896.47	c  895s |      16 |  2712214 |   183052 |    47438      6 |      773 |      664
898.92/899.15	c  898s |      16 |  2713131 |   183252 |    47438      6 |      773 |      664
901.82/902.04	c  901s |      16 |  2714090 |   183452 |    47438      6 |      773 |      664
904.02/904.26	c  903s |      16 |  2715410 |   183652 |    47438      6 |      773 |      664
907.22/907.40	c  906s |      16 |  2716089 |   183852 |    47438      6 |      773 |      664
909.21/909.46	c  908s |      16 |  2716853 |   184052 |    47438      6 |      773 |      664
911.72/911.98	c  911s |      16 |  2718744 |   184352 |    47438      6 |      773 |      664
914.02/914.25	c  913s |      16 |  2719926 |   184552 |    47438      6 |      773 |      664
916.91/917.12	c  916s |      16 |  2720363 |   184752 |    47438      6 |      773 |      664
919.81/920.05	c  919s |      16 |  2721534 |   184952 |    47438      6 |      773 |      664
923.01/923.23	c  922s |      16 |  2722149 |   185152 |    47438      6 |      773 |      664
925.21/925.43	c  924s |      16 |  2722786 |   185352 |    47438      6 |      773 |      664
929.11/929.33	c  928s |      16 |  2723827 |   185552 |    47438      6 |      773 |      664
932.21/932.49	c  931s |      16 |  2724018 |   185652 |    47438      6 |      773 |      664
935.11/935.33	c  934s |      16 |  2725694 |   185852 |    47438      6 |      773 |      664
937.81/938.06	c  937s |      16 |  2726015 |   185952 |    47438      6 |      773 |      664
941.61/941.80	c  941s |      16 |  2726226 |   186052 |    47438      6 |      773 |      664
944.21/944.42	c  943s |      16 |  2726715 |   186152 |    47438      6 |      773 |      664
946.42/946.63	c  946s |      16 |  2727188 |   186252 |    47438      6 |      773 |      664
956.71/956.91	c  956s |      16 |  2727391 |   186352 |    47438      6 |      773 |      664
965.31/965.56	c  965s |      16 |  2727586 |   186452 |    47438      6 |      773 |      664
969.51/969.76	c  969s |      16 |  2728018 |   186552 |    47438      7 |      773 |      664
972.31/972.55	c  971s |      16 |  2728249 |   186652 |    47438      7 |      773 |      664
975.51/975.78	c  975s |      16 |  2728483 |   186752 |    47438      7 |      773 |      664
978.81/979.06	c  978s |      16 |  2728964 |   186852 |    47438      7 |      773 |      664
981.70/981.97	c  981s |      16 |  2729232 |   186952 |    47438      7 |      773 |      664
985.70/985.99	c  985s |      16 |  2729527 |   187052 |    47438      7 |      773 |      664
988.20/988.48	c  987s |      16 |  2729822 |   187152 |    47438      7 |      773 |      664
991.60/991.84	c  991s |      16 |  2730550 |   187352 |    47438      7 |      773 |      664
993.90/994.19	c  993s |      16 |  2730845 |   187452 |    47438      7 |      773 |      664
996.00/996.24	c  995s |      16 |  2731383 |   187552 |    47438      7 |      773 |      664
999.90/1000.15	c  999s |      16 |  2732171 |   187752 |    47438      7 |      773 |      664
1003.20/1003.42	c 1002s |      16 |  2732473 |   187852 |    47438      7 |      773 |      664
1006.60/1006.89	c 1006s |      16 |  2732691 |   187952 |    47438      7 |      773 |      664
1011.00/1011.25	c 1010s |      16 |  2732928 |   188052 |    47438      7 |      773 |      664
1014.60/1014.86	c 1014s |      16 |  2733123 |   188152 |    47438      7 |      773 |      664
1016.70/1016.94	c 1016s |      16 |  2733452 |   188252 |    47438      7 |      773 |      664
1019.40/1019.70	c 1019s |      16 |  2734238 |   188352 |    47438      7 |      773 |      664
1021.81/1022.02	c 1021s |      16 |  2734432 |   188452 |    47438      7 |      773 |      664
1024.20/1024.48	c 1023s |      16 |  2734972 |   188552 |    47438      7 |      773 |      664
1027.31/1027.54	c 1026s |      16 |  2735325 |   188652 |    47438      7 |      773 |      664
1030.90/1031.12	c 1030s |      16 |  2735821 |   188752 |    47438      7 |      773 |      664
1035.10/1035.34	c 1034s |      16 |  2736047 |   188852 |    47438      7 |      773 |      664
1039.60/1039.85	c 1039s |      16 |  2736326 |   188952 |    47438      7 |      773 |      664
1042.90/1043.16	c 1042s |      16 |  2736843 |   189052 |    47438      7 |      773 |      664
1045.90/1046.12	c 1045s |      16 |  2737067 |   189152 |    47438      7 |      773 |      664
1048.99/1049.29	c 1048s |      16 |  2737375 |   189252 |    47438      7 |      773 |      664
1052.29/1052.52	c 1051s |      16 |  2737642 |   189352 |    47438      7 |      773 |      664
1055.39/1055.64	c 1055s |      16 |  2738222 |   189452 |    47438      7 |      773 |      664
1057.69/1057.94	c 1057s |      16 |  2738772 |   189552 |    47438      7 |      773 |      664
1060.90/1061.14	c 1060s |      16 |  2739139 |   189652 |    47438      7 |      773 |      664
1064.90/1065.19	c 1064s |      16 |  2739322 |   189752 |    47438      7 |      773 |      664
1068.89/1069.12	c 1068s |      16 |  2739732 |   189852 |    47438      7 |      773 |      664
1072.69/1072.92	c 1072s |      16 |  2740242 |   189952 |    47438      7 |      773 |      664
1076.89/1077.15	c 1076s |      16 |  2740489 |   190052 |    47438      7 |      773 |      664
1080.89/1081.15	c 1080s |      16 |  2740955 |   190152 |    47438      7 |      773 |      664
1084.89/1085.12	c 1084s |      16 |  2741301 |   190252 |    47438      7 |      773 |      664
1088.99/1089.21	c 1088s |      16 |  2741515 |   190352 |    47438      7 |      773 |      664
1091.29/1091.55	c 1090s |      16 |  2742427 |   190452 |    47438      7 |      773 |      664
1095.40/1095.61	c 1095s |      16 |  2743052 |   190552 |    47438      7 |      773 |      664
1100.39/1100.61	c 1100s |      16 |  2743518 |   190652 |    47438      7 |      773 |      664
1105.59/1105.86	c 1105s |      16 |  2743890 |   190752 |    47438      7 |      773 |      664
1111.99/1112.23	c 1111s |      16 |  2744184 |   190852 |    47438      7 |      773 |      664
1116.68/1116.96	c 1116s |      16 |  2744720 |   191052 |    47438      7 |      773 |      664
1119.59/1119.90	c 1119s |      16 |  2744995 |   191152 |    47438      7 |      773 |      664
1121.79/1122.04	c 1121s |      16 |  2745236 |   191252 |    47438      7 |      773 |      664
1124.58/1124.80	c 1124s |      16 |  2745741 |   191452 |    47438      7 |      773 |      664
1128.49/1128.72	c 1128s |      16 |  2746169 |   191652 |    47438      7 |      773 |      664
1131.58/1131.83	c 1131s |      16 |  2747826 |   191852 |    47438      7 |      773 |      664
1133.68/1133.92	c 1133s |      16 |  2748327 |   191952 |    47438      7 |      773 |      664
1135.79/1136.09	c 1135s |      16 |  2748696 |   192052 |    47438      7 |      773 |      664
1137.98/1138.25	c 1137s |      16 |  2748925 |   192152 |    47438      7 |      773 |      664
1142.08/1142.37	c 1141s |      16 |  2749427 |   192352 |    47438      7 |      773 |      664
1144.48/1144.74	c 1144s |      16 |  2749886 |   192452 |    47438      7 |      773 |      664
1146.78/1147.07	c 1146s |      16 |  2750109 |   192552 |    47438      7 |      773 |      664
1149.39/1149.64	c 1149s |      16 |  2750421 |   192652 |    47438      7 |      773 |      664
1154.08/1154.40	c 1153s |      16 |  2751163 |   192852 |    47438      7 |      773 |      664
1156.58/1156.88	c 1156s |      16 |  2751892 |   192952 |    47438      7 |      773 |      664
1158.78/1159.09	c 1158s |      16 |  2752124 |   193052 |    47438      7 |      773 |      664
1161.17/1161.40	c 1160s |      16 |  2752480 |   193152 |    47438      7 |      773 |      664
1166.08/1166.32	c 1165s |      16 |  2752916 |   193352 |    47438      7 |      773 |      664
1168.68/1168.97	c 1168s |      16 |  2753271 |   193452 |    47438      7 |      773 |      664
1171.68/1171.97	c 1171s |      16 |  2753454 |   193552 |    47438      7 |      773 |      664
1174.18/1174.40	c 1173s |      16 |  2753672 |   193652 |    47438      7 |      773 |      664
1176.88/1177.16	c 1176s |      16 |  2753958 |   193752 |    47438      7 |      773 |      664
1180.68/1180.98	c 1180s |      16 |  2754553 |   193952 |    47438      7 |      773 |      664
1183.08/1183.35	c 1182s |      16 |  2754819 |   194052 |    47438      7 |      773 |      664
1186.07/1186.34	c 1185s |      16 |  2756524 |   194252 |    47438      7 |      773 |      664
1189.57/1189.82	c 1189s |      16 |  2757420 |   194452 |    47438      7 |      773 |      664
1192.37/1192.65	c 1192s |      16 |  2758793 |   194652 |    47438      7 |      773 |      664
1195.27/1195.55	c 1194s |      16 |  2759561 |   194852 |    47438      7 |      773 |      664
1198.07/1198.36	c 1197s |      16 |  2760665 |   195152 |    47438      7 |      773 |      664
1201.08/1201.36	c 1200s |      16 |  2761376 |   195352 |    47438      7 |      773 |      664
1204.28/1204.57	c 1204s |      16 |  2761611 |   195452 |    47438      7 |      773 |      664
1206.37/1206.62	c 1206s |      16 |  2761858 |   195552 |    47438      7 |      773 |      664
1210.17/1210.41	c 1209s |      16 |  2762069 |   195652 |    47438      7 |      773 |      664
1213.07/1213.37	c 1212s |      16 |  2762508 |   195752 |    47438      7 |      773 |      664
1215.37/1215.63	c 1215s |      16 |  2762969 |   195852 |    47438      7 |      773 |      664
1218.17/1218.46	c 1217s |      16 |  2763329 |   195952 |    47438      7 |      773 |      664
1222.07/1222.36	c 1221s |      16 |  2763582 |   196052 |    47438      7 |      773 |      664
1226.27/1226.55	c 1225s |      16 |  2763935 |   196152 |    52182      7 |      773 |      664
1230.86/1231.14	c 1230s |      16 |  2764148 |   196252 |    52182      7 |      773 |      664
1236.06/1236.31	c 1235s |      16 |  2765114 |   196452 |    52182      7 |      773 |      664
1240.86/1241.18	c 1240s |      16 |  2765438 |   196552 |    52182      7 |      773 |      664
1243.87/1244.13	c 1243s |      16 |  2765776 |   196652 |    52182      7 |      773 |      664
1247.66/1247.98	c 1247s |      16 |  2766040 |   196752 |    52182      7 |      773 |      664
1252.77/1253.07	c 1252s |      16 |  2766247 |   196852 |    52182      7 |      773 |      664
1258.17/1258.46	c 1257s |      16 |  2766390 |   196952 |    52182      7 |      773 |      664
1262.96/1263.21	c 1262s |      16 |  2766760 |   197052 |    52182      7 |      773 |      664
1270.05/1270.35	c 1269s |      16 |  2766939 |   197152 |    52182      7 |      773 |      664
1274.55/1274.82	c 1274s |      16 |  2767145 |   197252 |    52182      7 |      773 |      664
1277.85/1278.18	c 1277s |      16 |  2767486 |   197352 |    52182      7 |      773 |      664
1282.05/1282.36	c 1281s |      17 |  2767777 |   197432 |    52182      7 |      773 |      664
1284.45/1284.77	c 1284s |      17 |  2774238 |   197832 |    52182      7 |      773 |      664
1286.54/1286.80	c 1286s |      17 |  2781032 |   198632 |    52182      7 |      773 |      664
1288.54/1288.84	c 1288s |      17 |  2794775 |   199232 |    52182      7 |      773 |      664
1290.54/1290.85	c 1290s |      17 |  2797288 |   199832 |    52182      7 |      773 |      664
1292.64/1292.94	c 1292s |      17 |  2798601 |   200332 |    52182      7 |      773 |      664
1294.74/1295.10	c 1294s |      17 |  2803474 |   200732 |    52182      7 |      773 |      664
1296.94/1297.26	c 1296s |      17 |  2811690 |   201432 |    52182      7 |      773 |      664
1299.14/1299.40	c 1298s |      17 |  2822689 |   202132 |    52182      7 |      773 |      664
1301.34/1301.66	c 1301s |      17 |  2838642 |   202832 |    52182      7 |      773 |      664
1303.54/1303.80	c 1303s |      17 |  2848221 |   203632 |    52182      7 |      773 |      664
1305.83/1306.18	c 1305s |      17 |  2869681 |   204532 |    52182      7 |      773 |      664
1307.93/1308.27	c 1307s |      17 |  2878433 |   205132 |    52182      7 |      773 |      664
1310.23/1310.54	c 1309s |      17 |  2893552 |   205832 |    52182      7 |      773 |      664
1312.43/1312.75	c 1312s |      17 |  2897112 |   206432 |    52182      7 |      773 |      664
1314.73/1315.01	c 1314s |      17 |  2912219 |   206932 |    52182      7 |      773 |      664
1316.93/1317.22	c 1316s |      17 |  2926380 |   207632 |    52182      7 |      773 |      664
1319.33/1319.60	c 1319s |      17 |  2946725 |   208232 |    52182      7 |      773 |      664
1321.53/1321.81	c 1321s |      17 |  2958975 |   209132 |    52182      7 |      773 |      664
1323.73/1324.01	c 1323s |      17 |  2973681 |   209832 |    52182      7 |      773 |      664
1326.02/1326.31	c 1325s |      17 |  2983304 |   210532 |    52182      7 |      773 |      664
1328.22/1328.52	c 1327s |      17 |  2985072 |   210932 |    52182      7 |      773 |      664
1330.32/1330.60	c 1330s |      17 |  2995706 |   211532 |    52182      7 |      773 |      664
1332.32/1332.60	c 1332s |      17 |  3007427 |   212132 |    52182      7 |      773 |      664
1335.82/1336.11	c 1335s |      17 |  3011394 |   212432 |    52182      8 |      773 |      664
1338.12/1338.43	c 1337s |      17 |  3024769 |   213232 |    52182      8 |      773 |      664
1340.32/1340.61	c 1340s |      17 |  3039495 |   213932 |    52182      8 |      773 |      664
1342.61/1342.98	c 1342s |      17 |  3052169 |   214632 |    52182      8 |      773 |      664
1344.91/1345.29	c 1344s |      17 |  3066118 |   215232 |    52182      8 |      773 |      664
1347.11/1347.41	c 1346s |      17 |  3076714 |   215832 |    52182      8 |      773 |      664
1349.11/1349.49	c 1348s |      17 |  3081203 |   216532 |    52182      8 |      773 |      664
1351.41/1351.73	c 1351s |      17 |  3084023 |   217132 |    52182      8 |      773 |      664
1353.51/1353.82	c 1353s |      17 |  3087031 |   217532 |    52182      8 |      773 |      664
1355.71/1356.00	c 1355s |      17 |  3089895 |   218032 |    52182      8 |      773 |      664
1357.81/1358.16	c 1357s |      17 |  3091346 |   218432 |    52182      8 |      773 |      664
1360.11/1360.41	c 1359s |      17 |  3092846 |   218732 |    52182      8 |      773 |      664
1362.50/1362.86	c 1362s |      17 |  3094047 |   219032 |    52182      8 |      773 |      664
1364.81/1365.17	c 1364s |      17 |  3095473 |   219432 |    52182      8 |      773 |      664
1367.20/1367.52	c 1366s |      17 |  3096636 |   219732 |    52182      8 |      773 |      664
1369.80/1370.15	c 1369s |      17 |  3097910 |   220032 |    52182      8 |      773 |      664
1372.00/1372.36	c 1371s |      17 |  3099156 |   220232 |    52182      8 |      773 |      664
1374.50/1374.80	c 1374s |      17 |  3099779 |   220432 |    52182      8 |      773 |      664
1377.09/1377.42	c 1376s |      17 |  3100563 |   220632 |    52182      8 |      773 |      664
1380.39/1380.73	c 1380s |      17 |  3101121 |   220832 |    52182      8 |      773 |      664
1382.99/1383.32	c 1382s |      17 |  3104424 |   221532 |    52182      8 |      773 |      664
1384.99/1385.40	c 1384s |      17 |  3106721 |   221932 |    52182      8 |      773 |      664
1387.39/1387.76	c 1387s |      17 |  3111645 |   222732 |    52182      8 |      773 |      664
1390.10/1390.43	c 1389s |      17 |  3113704 |   223132 |    52182      8 |      773 |      664
1392.49/1392.89	c 1392s |      17 |  3114755 |   223432 |    52182      8 |      773 |      664
1395.29/1395.63	c 1395s |      17 |  3115887 |   223732 |    52182      8 |      773 |      664
1397.29/1397.67	c 1397s |      17 |  3116126 |   223832 |    52182      8 |      773 |      664
1399.39/1399.71	c 1399s |      17 |  3117120 |   224032 |    52182      8 |      773 |      664
1402.79/1403.16	c 1402s |      17 |  3118206 |   224332 |    52182      8 |      773 |      664
1405.78/1406.10	c 1405s |      17 |  3118840 |   224532 |    52182      8 |      773 |      664
1410.18/1410.54	c 1409s |      17 |  3119726 |   224732 |    52182      8 |      773 |      664
1412.28/1412.61	c 1412s |      17 |  3120224 |   224832 |    52182      8 |      773 |      664
1414.29/1414.67	c 1414s |      17 |  3122860 |   225132 |    52182      8 |      773 |      664
1416.68/1417.08	c 1416s |      17 |  3124698 |   225532 |    52182      8 |      773 |      664
1419.28/1419.60	c 1419s |      17 |  3127096 |   225932 |    52182      8 |      773 |      664
1421.58/1421.94	c 1421s |      17 |  3128152 |   226132 |    52182      8 |      773 |      664
1424.38/1424.71	c 1424s |      17 |  3130197 |   226532 |    52182      8 |      773 |      664
1426.67/1427.02	c 1426s |      17 |  3130520 |   226632 |    52182      8 |      773 |      664
1429.78/1430.13	c 1429s |      17 |  3131455 |   226832 |    52182      8 |      773 |      664
1431.98/1432.32	c 1431s |      17 |  3131762 |   226932 |    52182      8 |      773 |      664
1434.97/1435.35	c 1434s |      17 |  3132027 |   227032 |    52182      8 |      773 |      664
1437.48/1437.86	c 1437s |      17 |  3133724 |   227432 |    52182      8 |      773 |      664
1439.97/1440.31	c 1439s |      17 |  3134931 |   227632 |    52182      8 |      773 |      664
1442.27/1442.66	c 1442s |      17 |  3135404 |   227732 |    52182      8 |      773 |      664
1444.77/1445.13	c 1444s |      17 |  3135841 |   227832 |    52182      8 |      773 |      664
1447.87/1448.20	c 1447s |      17 |  3136717 |   228032 |    52182      8 |      773 |      664
1451.37/1451.78	c 1451s |      17 |  3137402 |   228232 |    52182      8 |      773 |      664
1455.66/1456.00	c 1455s |      17 |  3138482 |   228432 |    52182      8 |      773 |      664
1457.66/1458.03	c 1457s |      17 |  3138798 |   228532 |    52182      8 |      773 |      664
1460.47/1460.85	c 1460s |      17 |  3139100 |   228632 |    52182      8 |      773 |      664
1464.26/1464.64	c 1464s |      17 |  3139322 |   228732 |    52182      8 |      773 |      664
1468.17/1468.59	c 1468s |      17 |  3139565 |   228832 |    52182      8 |      773 |      664
1471.26/1471.69	c 1471s |      17 |  3139815 |   228932 |    52182      8 |      773 |      664
1476.16/1476.53	c 1475s |      17 |  3140082 |   229032 |    52182      8 |      773 |      664
1480.06/1480.48	c 1479s |      17 |  3140482 |   229132 |    52182      8 |      773 |      664
1485.06/1485.48	c 1484s |      17 |  3141922 |   229332 |    52182      8 |      773 |      664
1487.35/1487.73	c 1487s |      17 |  3142603 |   229532 |    52182      8 |      773 |      664
1491.55/1491.92	c 1491s |      17 |  3143673 |   229732 |    52182      8 |      773 |      664
1495.65/1496.06	c 1495s |      17 |  3144400 |   229932 |    52182      8 |      773 |      664
1498.85/1499.25	c 1498s |      17 |  3145102 |   230132 |    52182      8 |      773 |      664
1501.15/1501.56	c 1501s |      17 |  3145380 |   230232 |    52182      8 |      773 |      664
1503.54/1503.97	c 1503s |      17 |  3145790 |   230332 |    52182      8 |      773 |      664
1506.24/1506.68	c 1506s |      17 |  3146154 |   230432 |    52182      8 |      773 |      664
1508.34/1508.75	c 1508s |      17 |  3146504 |   230532 |    52182      8 |      773 |      664
1510.84/1511.23	c 1510s |      17 |  3146907 |   230632 |    52182      8 |      773 |      664
1513.54/1513.90	c 1513s |      17 |  3147364 |   230732 |    52182      8 |      773 |      664
1517.04/1517.45	c 1516s |      17 |  3148195 |   230932 |    52182      8 |      773 |      664
1519.54/1519.97	c 1519s |      17 |  3148531 |   231032 |    52182      8 |      773 |      664
1521.64/1522.05	c 1521s |      17 |  3149176 |   231132 |    52182      8 |      773 |      664
1524.74/1525.11	c 1524s |      17 |  3149524 |   231232 |    52182      8 |      773 |      664
1528.03/1528.44	c 1527s |      17 |  3149961 |   231332 |    52182      8 |      773 |      664
1531.33/1531.73	c 1531s |      17 |  3150344 |   231432 |    52182      8 |      773 |      664
1533.33/1533.73	c 1533s |      17 |  3150743 |   231532 |    52182      8 |      773 |      664
1537.23/1537.64	c 1537s |      17 |  3151140 |   231632 |    52182      8 |      773 |      664
1541.13/1541.50	c 1540s |      17 |  3151315 |   231732 |    52182      8 |      773 |      664
1545.72/1546.15	c 1545s |      17 |  3151516 |   231832 |    52182      8 |      773 |      664
1548.43/1548.88	c 1548s |      17 |  3151992 |   231932 |    52182      8 |      773 |      664
1551.22/1551.61	c 1551s |      17 |  3152325 |   232032 |    52182      8 |      773 |      664
1554.92/1555.31	c 1554s |      17 |  3152510 |   232132 |    52182      8 |      773 |      664
1558.82/1559.22	c 1558s |      17 |  3152777 |   232232 |    52182      8 |      773 |      664
1561.52/1561.92	c 1561s |      17 |  3153273 |   232332 |    52182      8 |      773 |      664
1563.93/1564.37	c 1563s |      17 |  3153580 |   232432 |    52182      8 |      773 |      664
1566.82/1567.26	c 1566s |      17 |  3153848 |   232532 |    52182      8 |      773 |      664
1570.42/1570.86	c 1570s |      17 |  3154634 |   232632 |    52182      8 |      773 |      664
1574.01/1574.49	c 1573s |      17 |  3154946 |   232732 |    52182      8 |      773 |      664
1577.51/1577.95	c 1577s |      17 |  3155198 |   232832 |    52182      8 |      773 |      664
1582.01/1582.41	c 1581s |      17 |  3155466 |   232932 |    52182      8 |      773 |      664
1586.11/1586.54	c 1585s |      17 |  3155778 |   233032 |    52182      8 |      773 |      664
1590.71/1591.14	c 1590s |      17 |  3156076 |   233132 |    52182      8 |      773 |      664
1592.81/1593.24	c 1592s |      17 |  3160820 |   233632 |    52182      8 |      773 |      664
1594.91/1595.37	c 1594s |      17 |  3164942 |   234232 |    52182      8 |      773 |      664
1597.10/1597.56	c 1597s |      17 |  3167967 |   234732 |    52182      8 |      773 |      664
1599.30/1599.71	c 1599s |      17 |  3169430 |   235132 |    52182      8 |      773 |      664
1601.70/1602.16	c 1601s |      17 |  3170561 |   235432 |    52182      8 |      773 |      664
1604.30/1604.70	c 1604s |      17 |  3171328 |   235732 |    52182      8 |      773 |      664
1606.60/1607.01	c 1606s |      17 |  3172614 |   236032 |    52182      8 |      773 |      664
1608.70/1609.12	c 1608s |      17 |  3180112 |   236532 |    52182      8 |      773 |      664
1610.90/1611.38	c 1610s |      17 |  3192123 |   237132 |    52182      8 |      773 |      664
1613.41/1613.81	c 1613s |      17 |  3200621 |   237832 |    52182      8 |      773 |      664
1616.19/1616.64	c 1616s |      17 |  3205612 |   238432 |    52182      8 |      773 |      664
1618.39/1618.85	c 1618s |      17 |  3208188 |   238932 |    52182      8 |      773 |      664
1621.89/1622.37	c 1621s |      17 |  3209400 |   239232 |    52182      8 |      773 |      664
1624.09/1624.55	c 1623s |      17 |  3210231 |   239432 |    52182      8 |      773 |      664
1626.99/1627.47	c 1626s |      17 |  3210895 |   239632 |    52182      8 |      773 |      664
1629.69/1630.16	c 1629s |      17 |  3213851 |   240132 |    52182      8 |      773 |      664
1632.98/1633.40	c 1632s |      17 |  3215163 |   240332 |    52182      8 |      773 |      664
1636.08/1636.55	c 1635s |      17 |  3217199 |   240532 |    52182      8 |      773 |      664
1638.08/1638.56	c 1638s |      17 |  3221009 |   241032 |    52182      8 |      773 |      664
1640.28/1640.79	c 1640s |      17 |  3225963 |   241532 |    52182      8 |      773 |      664
1642.38/1642.87	c 1642s |      17 |  3230972 |   242032 |    52182      8 |      773 |      664
1644.58/1645.06	c 1644s |      17 |  3237726 |   242632 |    52182      8 |      773 |      664
1646.87/1647.36	c 1646s |      17 |  3244567 |   242932 |    52182      9 |      773 |      664
1649.07/1649.52	c 1648s |      17 |  3260897 |   243532 |    52182      9 |      774 |      665
1651.17/1651.68	c 1651s |      17 |  3271627 |   244432 |    52182      9 |      774 |      665
1653.37/1653.80	c 1653s |      17 |  3274189 |   245032 |    52182      9 |      774 |      665
1655.57/1656.10	c 1655s |      17 |  3283050 |   245832 |    52182      9 |      774 |      665
1657.87/1658.38	c 1657s |      17 |  3296933 |   246632 |    52182      9 |      774 |      665
1660.16/1660.60	c 1660s |      17 |  3306194 |   247432 |    52182      9 |      774 |      665
1662.26/1662.78	c 1662s |      17 |  3317850 |   248032 |    52182      9 |      774 |      665
1664.36/1664.84	c 1664s |      17 |  3326545 |   248732 |    52182      9 |      774 |      665
1666.56/1667.03	c 1666s |      17 |  3337943 |   249432 |    52182      9 |      774 |      665
1668.56/1669.08	c 1668s |      17 |  3349367 |   250032 |    52182      9 |      774 |      665
1670.66/1671.19	c 1670s |      17 |  3364204 |   250632 |    52182      9 |      774 |      665
1673.46/1673.95	c 1673s |      17 |  3370208 |   251132 |    52182      9 |      774 |      665
1675.45/1675.96	c 1675s |      17 |  3383767 |   251632 |    52182      9 |      774 |      665
1677.45/1677.98	c 1677s |      17 |  3393244 |   252332 |    52182      9 |      774 |      665
1679.55/1680.04	c 1679s |      17 |  3402434 |   252932 |    52182      9 |      774 |      665
1681.65/1682.14	c 1681s |      17 |  3415148 |   253632 |    52182      9 |      774 |      665
1684.05/1684.51	c 1683s |      17 |  3437559 |   254332 |    52182      9 |      774 |      665
1686.25/1686.79	c 1686s |      17 |  3452116 |   255032 |    52182      9 |      774 |      665
1688.65/1689.10	c 1688s |      17 |  3466322 |   255732 |    52182      9 |      774 |      665
1690.85/1691.32	c 1690s |      17 |  3471044 |   256332 |    52182      9 |      774 |      665
1692.95/1693.40	c 1692s |      17 |  3476525 |   256932 |    52182      9 |      774 |      665
1695.24/1695.74	c 1695s |      17 |  3495051 |   257632 |    52182      9 |      774 |      665
1697.34/1697.84	c 1697s |      17 |  3507164 |   258132 |    52182      9 |      774 |      665
1699.44/1699.92	c 1699s |      17 |  3521775 |   258632 |    52182      9 |      774 |      665
1701.44/1701.94	c 1701s |      17 |  3530522 |   259232 |    52182      9 |      774 |      665
1703.64/1704.14	c 1703s |      17 |  3539788 |   260032 |    52182      9 |      774 |      665
1706.04/1706.57	c 1706s |      17 |  3553839 |   260732 |    52182      9 |      774 |      665
1708.34/1708.84	c 1708s |      17 |  3559322 |   261232 |    52182      9 |      774 |      665
1710.64/1711.14	c 1710s |      17 |  3562215 |   261732 |    52182      9 |      774 |      665
1712.74/1713.22	c 1712s |      17 |  3568794 |   262232 |    52182      9 |      774 |      665
1714.84/1715.34	c 1714s |      17 |  3579255 |   262832 |    52182      9 |      774 |      665
1716.93/1717.47	c 1716s |      17 |  3589522 |   263432 |    52182      9 |      774 |      665
1719.13/1719.65	c 1719s |      17 |  3593798 |   263932 |    52182      9 |      774 |      665
1721.33/1721.82	c 1721s |      17 |  3600629 |   264532 |    52182      9 |      774 |      665
1723.53/1724.04	c 1723s |      17 |  3602706 |   264932 |    52182      9 |      774 |      665
1728.13/1728.68	c 1728s |      17 |  3604533 |   265332 |    52182      9 |      774 |      665
1730.23/1730.77	c 1730s |      17 |  3614556 |   265832 |    52182      9 |      774 |      665
1732.42/1732.90	c 1732s |      17 |  3622818 |   266332 |    52182      9 |      774 |      665
1734.62/1735.15	c 1734s |      17 |  3628503 |   266932 |    52182      9 |      774 |      665
1736.82/1737.33	c 1736s |      17 |  3638088 |   267632 |    52182      9 |      774 |      665
1738.82/1739.39	c 1738s |      17 |  3642543 |   268132 |    52182      9 |      774 |      665
1741.02/1741.59	c 1741s |      17 |  3649021 |   268732 |    52182      9 |      774 |      665
1743.32/1743.89	c 1743s |      17 |  3660584 |   269232 |    52182      9 |      774 |      665
1745.71/1746.23	c 1745s |      17 |  3662741 |   269632 |    52182      9 |      774 |      665
1747.91/1748.44	c 1747s |      17 |  3666994 |   269932 |    52182     10 |      774 |      665
1750.21/1750.77	c 1750s |      17 |  3675128 |   270632 |    52182     10 |      774 |      665
1752.51/1753.02	c 1752s |      17 |  3688260 |   271232 |    52182     10 |      774 |      665
1754.71/1755.22	c 1754s |      17 |  3693735 |   271832 |    52182     10 |      774 |      665
1756.71/1757.29	c 1756s |      17 |  3701495 |   272332 |    52182     10 |      774 |      665
1758.91/1759.41	c 1758s |      17 |  3708910 |   272832 |    52182     10 |      774 |      665
1760.91/1761.42	c 1760s |      17 |  3717325 |   273432 |    52182     10 |      774 |      665
1763.11/1763.60	c 1763s |      17 |  3723206 |   273932 |    52182     10 |      774 |      665
1765.60/1766.17	c 1765s |      17 |  3725059 |   274332 |    52182     10 |      774 |      665
1767.60/1768.19	c 1767s |      17 |  3729862 |   274932 |    52182     10 |      774 |      665
1769.90/1770.48	c 1769s |      17 |  3732805 |   275432 |    52182     10 |      774 |      665
1772.10/1772.68	c 1772s |      17 |  3737198 |   276032 |    52182     10 |      774 |      665
1774.30/1774.88	c 1774s |      17 |  3743926 |   276632 |    52182     10 |      774 |      665
1776.69/1777.23	c 1776s |      17 |  3751231 |   277132 |    52182     10 |      774 |      665
1778.79/1779.35	c 1778s |      17 |  3758951 |   277632 |    52182     10 |      774 |      665
1781.09/1781.69	c 1781s |      17 |  3764820 |   278132 |    52182     10 |      774 |      665
1783.19/1783.78	c 1783s |      17 |  3771716 |   278632 |    52182     10 |      774 |      665
1785.29/1785.88	c 1785s |      17 |  3775317 |   279132 |    52182     10 |      774 |      665
1787.69/1788.27	c 1787s |      17 |  3777090 |   279532 |    52182     10 |      774 |      665
1789.79/1790.30	c 1789s |      17 |  3782247 |   280032 |    52182     10 |      774 |      665
1792.09/1792.68	c 1792s |      17 |  3786399 |   280432 |    52182     10 |      774 |      665
1794.50/1795.05	c 1794s |      17 |  3789875 |   281032 |    52182     10 |      774 |      665
1796.69/1797.25	c 1796s |      17 |  3792251 |   281532 |    52182     10 |      774 |      665
1799.59/1800.13	c 1799s |      17 |  3794178 |   281932 |    52182     10 |      774 |      665

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

pid=18795
running on 4 cores: 0,2,4,6

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

[startup+0 s]
/proc/loadavg: 2.32 2.28 2.25 3/180 18798
/proc/meminfo: memFree=29243224/32872528 swapFree=17452/1581112
[pid=18798] ppid=18795 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/18798/stat : 18798 (runsolver) R 18795 13546 13546 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 1 0 110455523 24911872 80 33554432000 4194304 4338465 140736165207344 140736165204880 248780986867 0 0 4096 24578 0 0 0 17 6 0 0 0 0 0
/proc/18798/statm: 6082 80 34 36 0 2655 0
Current StackSize limit: 10240 KiB


[startup+0.100126 s]
/proc/loadavg: 2.32 2.28 2.25 3/180 18798
/proc/meminfo: memFree=29243224/32872528 swapFree=17452/1581112
[pid=18798] ppid=18795 vsize=1220164 CPUtime=0.08 cores=0,2,4,6
/proc/18798/stat : 18798 (toysat) R 18795 18798 13546 0 -1 4202496 27640 0 0 0 5 3 0 0 20 0 4 0 110455523 1249447936 27428 33554432000 4194304 16246674 140733724326640 140733724325952 4220897 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18798/statm: 305041 27428 801 2943 0 301935 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200339 s]
/proc/loadavg: 2.32 2.28 2.25 3/180 18798
/proc/meminfo: memFree=29243224/32872528 swapFree=17452/1581112
[pid=18798] ppid=18795 vsize=1313348 CPUtime=0.18 cores=0,2,4,6
/proc/18798/stat : 18798 (toysat) R 18795 18798 13546 0 -1 4202496 50411 0 0 0 11 7 0 0 20 0 4 0 110455523 1344868352 50710 33554432000 4194304 16246674 140733724326640 140733724325952 7361352 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18798/statm: 328337 50710 801 2943 0 325231 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.30033 s]
/proc/loadavg: 2.32 2.28 2.25 3/180 18798
/proc/meminfo: memFree=29243224/32872528 swapFree=17452/1581112
[pid=18798] ppid=18795 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/18798/stat : 18798 (toysat) R 18795 18798 13546 0 -1 4202496 50592 0 0 0 21 7 0 0 20 0 4 0 110455523 1344868352 50891 33554432000 4194304 16246674 140733724326640 140733724325952 13753072 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18798/statm: 328337 50891 833 2943 0 325231 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700244 s]
/proc/loadavg: 2.32 2.28 2.25 3/180 18798
/proc/meminfo: memFree=29243224/32872528 swapFree=17452/1581112
[pid=18798] ppid=18795 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/18798/stat : 18798 (toysat) R 18795 18798 13546 0 -1 4202496 115934 0 0 0 52 17 0 0 20 0 4 0 110455523 1344868352 116233 33554432000 4194304 16246674 140733724326640 140733724308544 6023792 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18798/statm: 328337 116238 876 2943 0 325231 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50035 s]
/proc/loadavg: 2.29 2.27 2.25 4/184 18802
/proc/meminfo: memFree=28680044/32872528 swapFree=17452/1581112
[pid=18798] ppid=18795 vsize=1325636 CPUtime=1.49 cores=0,2,4,6
/proc/18798/stat : 18798 (toysat) R 18795 18798 13546 0 -1 4202496 175595 0 0 0 123 26 0 0 20 0 4 0 110455523 1357451264 175894 33554432000 4194304 16246674 140733724326640 140733724308544 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18798/statm: 331409 175901 879 2943 0 328303 0
[pid=18798/tid=18800] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18800/stat : 18800 (toysat) S 18795 18798 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 175904 33554432000 4194304 16246674 140733724326640 139930343812336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18798/tid=18801] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18801/stat : 18801 (toysat) S 18795 18798 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 175908 33554432000 4194304 16246674 140733724326640 139930333322480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18798/tid=18802] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18802/stat : 18802 (toysat) S 18795 18798 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 175912 33554432000 4194304 16246674 140733724326640 139930322848944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1325636

[startup+3.10039 s]
/proc/loadavg: 2.29 2.27 2.25 4/184 18802
/proc/meminfo: memFree=28153912/32872528 swapFree=17452/1581112
[pid=18798] ppid=18795 vsize=1325636 CPUtime=3.08 cores=0,2,4,6
/proc/18798/stat : 18798 (toysat) R 18795 18798 13546 0 -1 4202496 272077 0 0 0 271 37 0 0 20 0 4 0 110455523 1357451264 272376 33554432000 4194304 16246674 140733724326640 140733724308544 13950986 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18798/statm: 331409 272376 882 2943 0 328303 0
[pid=18798/tid=18800] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18800/stat : 18800 (toysat) S 18795 18798 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272376 33554432000 4194304 16246674 140733724326640 139930343812336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18798/tid=18801] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18801/stat : 18801 (toysat) S 18795 18798 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272376 33554432000 4194304 16246674 140733724326640 139930333322480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18798/tid=18802] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18802/stat : 18802 (toysat) S 18795 18798 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272376 33554432000 4194304 16246674 140733724326640 139930322848944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1325636

[startup+6.30041 s]
/proc/loadavg: 2.29 2.27 2.25 3/184 18802
/proc/meminfo: memFree=28154408/32872528 swapFree=17452/1581112
[pid=18798] ppid=18795 vsize=1325636 CPUtime=6.28 cores=0,2,4,6
/proc/18798/stat : 18798 (toysat) R 18795 18798 13546 0 -1 4202496 272077 0 0 0 591 37 0 0 20 0 4 0 110455523 1357451264 272376 33554432000 4194304 16246674 140733724326640 140733724308544 6020672 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18798/statm: 331409 272376 882 2943 0 328303 0
[pid=18798/tid=18800] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18800/stat : 18800 (toysat) S 18795 18798 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272376 33554432000 4194304 16246674 140733724326640 139930343812336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18798/tid=18801] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18801/stat : 18801 (toysat) S 18795 18798 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272376 33554432000 4194304 16246674 140733724326640 139930333322480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18798/tid=18802] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18802/stat : 18802 (toysat) S 18795 18798 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272376 33554432000 4194304 16246674 140733724326640 139930322848944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1325636

[startup+12.7004 s]
/proc/loadavg: 2.25 2.26 2.24 3/184 18802
/proc/meminfo: memFree=28154500/32872528 swapFree=17452/1581112
[pid=18798] ppid=18795 vsize=1325636 CPUtime=12.67 cores=0,2,4,6
/proc/18798/stat : 18798 (toysat) R 18795 18798 13546 0 -1 4202496 272079 0 0 0 1230 37 0 0 20 0 4 0 110455523 1357451264 272378 33554432000 4194304 16246674 140733724326640 140733724308544 5829044 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18798/statm: 331409 272378 884 2943 0 328303 0
[pid=18798/tid=18800] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18800/stat : 18800 (toysat) S 18795 18798 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272378 33554432000 4194304 16246674 140733724326640 139930343812336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18798/tid=18801] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18801/stat : 18801 (toysat) S 18795 18798 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272378 33554432000 4194304 16246674 140733724326640 139930333322480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18798/tid=18802] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18802/stat : 18802 (toysat) S 18795 18798 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272378 33554432000 4194304 16246674 140733724326640 139930322848944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1325636

[startup+25.5005 s]
/proc/loadavg: 2.21 2.25 2.24 3/183 18802
/proc/meminfo: memFree=28154928/32872528 swapFree=17452/1581112
[pid=18798] ppid=18795 vsize=1325636 CPUtime=25.47 cores=0,2,4,6
/proc/18798/stat : 18798 (toysat) R 18795 18798 13546 0 -1 4202496 272081 0 0 0 2510 37 0 0 20 0 4 0 110455523 1357451264 272380 33554432000 4194304 16246674 140733724326640 140733724308544 5662764 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18798/statm: 331409 272380 885 2943 0 328303 0
[pid=18798/tid=18800] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18800/stat : 18800 (toysat) S 18795 18798 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272380 33554432000 4194304 16246674 140733724326640 139930343812336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18798/tid=18801] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18801/stat : 18801 (toysat) S 18795 18798 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272380 33554432000 4194304 16246674 140733724326640 139930333322480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18798/tid=18802] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18802/stat : 18802 (toysat) S 18795 18798 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272380 33554432000 4194304 16246674 140733724326640 139930322848944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1325636

[startup+51.1004 s]
/proc/loadavg: 2.27 2.26 2.24 3/183 18802
/proc/meminfo: memFree=28155064/32872528 swapFree=17452/1581112
[pid=18798] ppid=18795 vsize=1325636 CPUtime=51.06 cores=0,2,4,6
/proc/18798/stat : 18798 (toysat) R 18795 18798 13546 0 -1 4202496 272081 0 0 0 5069 37 0 0 20 0 4 0 110455523 1357451264 272380 33554432000 4194304 16246674 140733724326640 140733724308544 5674919 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18798/statm: 331409 272380 885 2943 0 328303 0
[pid=18798/tid=18800] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18800/stat : 18800 (toysat) S 18795 18798 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272380 33554432000 4194304 16246674 140733724326640 139930343812336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18798/tid=18801] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18801/stat : 18801 (toysat) S 18795 18798 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272380 33554432000 4194304 16246674 140733724326640 139930333322480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18798/tid=18802] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18802/stat : 18802 (toysat) S 18795 18798 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272380 33554432000 4194304 16246674 140733724326640 139930322848944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1325636

[startup+102.3 s]
/proc/loadavg: 2.22 2.25 2.24 4/183 18803
/proc/meminfo: memFree=28154568/32872528 swapFree=17452/1581112
[pid=18798] ppid=18795 vsize=1325636 CPUtime=102.26 cores=0,2,4,6
/proc/18798/stat : 18798 (toysat) R 18795 18798 13546 0 -1 4202496 272081 0 0 0 10188 38 0 0 20 0 4 0 110455523 1357451264 272380 33554432000 4194304 16246674 140733724326640 140733724308544 5545708 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18798/statm: 331409 272380 885 2943 0 328303 0
[pid=18798/tid=18800] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18800/stat : 18800 (toysat) S 18795 18798 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272380 33554432000 4194304 16246674 140733724326640 139930343812336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18798/tid=18801] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18801/stat : 18801 (toysat) S 18795 18798 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272380 33554432000 4194304 16246674 140733724326640 139930333322480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18798/tid=18802] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18802/stat : 18802 (toysat) S 18795 18798 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272380 33554432000 4194304 16246674 140733724326640 139930322848944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1325636

[startup+162.3 s]
/proc/loadavg: 2.28 2.26 2.24 3/183 18804
/proc/meminfo: memFree=28154692/32872528 swapFree=17452/1581112
[pid=18798] ppid=18795 vsize=1325636 CPUtime=162.24 cores=0,2,4,6
/proc/18798/stat : 18798 (toysat) R 18795 18798 13546 0 -1 4202496 272081 0 0 0 16186 38 0 0 20 0 4 0 110455523 1357451264 272380 33554432000 4194304 16246674 140733724326640 140733724309640 5754796 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18798/statm: 331409 272380 885 2943 0 328303 0
[pid=18798/tid=18800] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18800/stat : 18800 (toysat) S 18795 18798 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272380 33554432000 4194304 16246674 140733724326640 139930343812336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18798/tid=18801] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18801/stat : 18801 (toysat) S 18795 18798 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272380 33554432000 4194304 16246674 140733724326640 139930333322480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18798/tid=18802] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18802/stat : 18802 (toysat) S 18795 18798 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272380 33554432000 4194304 16246674 140733724326640 139930322848944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1325636

[startup+222.307 s]
/proc/loadavg: 2.30 2.27 2.25 3/183 18806
/proc/meminfo: memFree=28154336/32872528 swapFree=17452/1581112
[pid=18798] ppid=18795 vsize=1325636 CPUtime=222.24 cores=0,2,4,6
/proc/18798/stat : 18798 (toysat) R 18795 18798 13546 0 -1 4202496 272082 0 0 0 22185 39 0 0 20 0 4 0 110455523 1357451264 272381 33554432000 4194304 16246674 140733724326640 140733724308544 5822428 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18798/statm: 331409 272381 886 2943 0 328303 0
[pid=18798/tid=18800] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18800/stat : 18800 (toysat) S 18795 18798 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272381 33554432000 4194304 16246674 140733724326640 139930343812336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18798/tid=18801] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18801/stat : 18801 (toysat) S 18795 18798 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272381 33554432000 4194304 16246674 140733724326640 139930333322480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18798/tid=18802] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18802/stat : 18802 (toysat) S 18795 18798 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272381 33554432000 4194304 16246674 140733724326640 139930322848944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1325636


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

/proc/18798/task/18802/stat : 18802 (toysat) S 18795 18798 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930322848944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 1325636

[startup+1302.3 s]
/proc/loadavg: 2.27 2.22 2.19 3/183 18856
/proc/meminfo: memFree=28149320/32872528 swapFree=17452/1581112
[pid=18798] ppid=18795 vsize=1325636 CPUtime=1302.04 cores=0,2,4,6
/proc/18798/stat : 18798 (toysat) R 18795 18798 13546 0 -1 4202496 272114 0 0 0 130150 54 0 0 20 0 4 0 110455523 1357451264 272637 33554432000 4194304 16246674 140733724326640 140733724308544 5754796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18798/statm: 331409 272637 886 2943 0 328303 0
[pid=18798/tid=18800] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18800/stat : 18800 (toysat) S 18795 18798 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930343812336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18798/tid=18801] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18801/stat : 18801 (toysat) S 18795 18798 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930333322480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18798/tid=18802] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18802/stat : 18802 (toysat) S 18795 18798 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930322848944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 1325636

[startup+1362.3 s]
/proc/loadavg: 2.21 2.21 2.19 3/183 18857
/proc/meminfo: memFree=28149480/32872528 swapFree=17452/1581112
[pid=18798] ppid=18795 vsize=1325636 CPUtime=1362.01 cores=0,2,4,6
/proc/18798/stat : 18798 (toysat) R 18795 18798 13546 0 -1 4202496 272157 0 0 0 136147 54 0 0 20 0 4 0 110455523 1357451264 272637 33554432000 4194304 16246674 140733724326640 140733724308544 5721540 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18798/statm: 331409 272637 886 2943 0 328303 0
[pid=18798/tid=18800] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18800/stat : 18800 (toysat) S 18795 18798 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930343812336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18798/tid=18801] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18801/stat : 18801 (toysat) S 18795 18798 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930333322480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18798/tid=18802] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18802/stat : 18802 (toysat) S 18795 18798 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930322848944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 1325636

[startup+1422.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/183 18859
/proc/meminfo: memFree=28149644/32872528 swapFree=17452/1581112
[pid=18798] ppid=18795 vsize=1325636 CPUtime=1421.98 cores=0,2,4,6
/proc/18798/stat : 18798 (toysat) R 18795 18798 13546 0 -1 4202496 272198 0 0 0 142143 55 0 0 20 0 4 0 110455523 1357451264 272637 33554432000 4194304 16246674 140733724326640 140733724308544 12478342 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18798/statm: 331409 272637 886 2943 0 328303 0
[pid=18798/tid=18800] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18800/stat : 18800 (toysat) S 18795 18798 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930343812336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18798/tid=18801] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18801/stat : 18801 (toysat) S 18795 18798 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930333322480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18798/tid=18802] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18802/stat : 18802 (toysat) S 18795 18798 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930322848944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1325636

[startup+1482.3 s]
/proc/loadavg: 2.32 2.24 2.19 4/183 18860
/proc/meminfo: memFree=28149648/32872528 swapFree=17452/1581112
[pid=18798] ppid=18795 vsize=1325636 CPUtime=1481.96 cores=0,2,4,6
/proc/18798/stat : 18798 (toysat) R 18795 18798 13546 0 -1 4202496 272213 0 0 0 148141 55 0 0 20 0 4 0 110455523 1357451264 272637 33554432000 4194304 16246674 140733724326640 140733724308544 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18798/statm: 331409 272637 886 2943 0 328303 0
[pid=18798/tid=18800] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18800/stat : 18800 (toysat) S 18795 18798 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930343812336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18798/tid=18801] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18801/stat : 18801 (toysat) S 18795 18798 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930333322480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18798/tid=18802] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18802/stat : 18802 (toysat) S 18795 18798 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930322848944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1325636

[startup+1542.31 s]
/proc/loadavg: 2.30 2.24 2.19 3/183 18861
/proc/meminfo: memFree=28149416/32872528 swapFree=17452/1581112
[pid=18798] ppid=18795 vsize=1325636 CPUtime=1541.93 cores=0,2,4,6
/proc/18798/stat : 18798 (toysat) R 18795 18798 13546 0 -1 4202496 272245 0 0 0 154138 55 0 0 20 0 4 0 110455523 1357451264 272637 33554432000 4194304 16246674 140733724326640 140733724308544 13950184 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18798/statm: 331409 272637 886 2943 0 328303 0
[pid=18798/tid=18800] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18800/stat : 18800 (toysat) S 18795 18798 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930343812336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18798/tid=18801] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18801/stat : 18801 (toysat) S 18795 18798 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930333322480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18798/tid=18802] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18802/stat : 18802 (toysat) S 18795 18798 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930322848944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1325636

[startup+1602.3 s]
/proc/loadavg: 2.15 2.21 2.18 4/183 18862
/proc/meminfo: memFree=28149284/32872528 swapFree=17452/1581112
[pid=18798] ppid=18795 vsize=1325636 CPUtime=1601.9 cores=0,2,4,6
/proc/18798/stat : 18798 (toysat) R 18795 18798 13546 0 -1 4202496 272279 0 0 0 160135 55 0 0 20 0 4 0 110455523 1357451264 272637 33554432000 4194304 16246674 140733724326640 140733724325816 4220498 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18798/statm: 331409 272637 886 2943 0 328303 0
[pid=18798/tid=18800] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18800/stat : 18800 (toysat) S 18795 18798 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930343812336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18798/tid=18801] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18801/stat : 18801 (toysat) S 18795 18798 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930333322480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18798/tid=18802] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18802/stat : 18802 (toysat) S 18795 18798 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930322848944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1325636

[startup+1662.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/183 18911
/proc/meminfo: memFree=28160616/32872528 swapFree=17452/1581112
[pid=18798] ppid=18795 vsize=1325636 CPUtime=1661.86 cores=0,2,4,6
/proc/18798/stat : 18798 (toysat) R 18795 18798 13546 0 -1 4202496 272323 0 0 0 166130 56 0 0 20 0 4 0 110455523 1357451264 272637 33554432000 4194304 16246674 140733724326640 140733724308544 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18798/statm: 331409 272637 886 2943 0 328303 0
[pid=18798/tid=18800] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18800/stat : 18800 (toysat) S 18795 18798 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930343812336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18798/tid=18801] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18801/stat : 18801 (toysat) S 18795 18798 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930333322480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18798/tid=18802] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18802/stat : 18802 (toysat) S 18795 18798 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930322848944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1325636

[startup+1722.3 s]
/proc/loadavg: 2.34 2.25 2.19 3/183 18913
/proc/meminfo: memFree=28160444/32872528 swapFree=17452/1581112
[pid=18798] ppid=18795 vsize=1325636 CPUtime=1721.83 cores=0,2,4,6
/proc/18798/stat : 18798 (toysat) R 18795 18798 13546 0 -1 4202496 272362 0 0 0 172127 56 0 0 20 0 4 0 110455523 1357451264 272637 33554432000 4194304 16246674 140733724326640 140733724325736 12483674 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18798/statm: 331409 272637 886 2943 0 328303 0
[pid=18798/tid=18800] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18800/stat : 18800 (toysat) S 18795 18798 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930343812336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18798/tid=18801] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18801/stat : 18801 (toysat) S 18795 18798 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930333322480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18798/tid=18802] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18802/stat : 18802 (toysat) S 18795 18798 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930322848944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1325636

[startup+1782.3 s]
/proc/loadavg: 2.27 2.24 2.19 3/184 18917
/proc/meminfo: memFree=28159836/32872528 swapFree=17452/1581112
[pid=18798] ppid=18795 vsize=1325636 CPUtime=1781.79 cores=0,2,4,6
/proc/18798/stat : 18798 (toysat) R 18795 18798 13546 0 -1 4202496 272403 0 0 0 178123 56 0 0 20 0 4 0 110455523 1357451264 272637 33554432000 4194304 16246674 140733724326640 140733724308544 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18798/statm: 331409 272637 886 2943 0 328303 0
[pid=18798/tid=18800] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18800/stat : 18800 (toysat) S 18795 18798 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930343812336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18798/tid=18801] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18801/stat : 18801 (toysat) S 18795 18798 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930333322480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18798/tid=18802] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18802/stat : 18802 (toysat) S 18795 18798 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930322848944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1325636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.28 2.25 2.19 4/184 18918
/proc/meminfo: memFree=28159980/32872528 swapFree=17452/1581112
[pid=18798] ppid=18795 vsize=1325636 CPUtime=1800.09 cores=0,2,4,6
/proc/18798/stat : 18798 (toysat) R 18795 18798 13546 0 -1 4202496 272418 0 0 0 179952 57 0 0 20 0 4 0 110455523 1357451264 272637 33554432000 4194304 16246674 140733724326640 140733724308544 13923665 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18798/statm: 331409 272637 886 2943 0 328303 0
[pid=18798/tid=18800] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18800/stat : 18800 (toysat) S 18795 18798 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930343812336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18798/tid=18801] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18801/stat : 18801 (toysat) S 18795 18798 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930333322480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18798/tid=18802] ppid=18795 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/18798/task/18802/stat : 18802 (toysat) S 18795 18798 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110455524 1357451264 272637 33554432000 4194304 16246674 140733724326640 139930322848944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1325636

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.62
CPU time (s): 1800.11
CPU user time (s): 1799.53
CPU system time (s): 0.581911
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 1325636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.581911
maximum resident set size= 1090548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272418
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= 351
involuntary context switches= 2431

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2774 second user time and 8.23275 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-07 09:40:36
IDJOB=4078894
IDBENCH=90161
IDSOLVER=2542
FILE ID=node139/4078894-1465285236
RUNJOBID= node139-1465254943-13562
PBS_JOBID= 19843273
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K129.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078894-1465285236/watcher-4078894-1465285236 -o /tmp/evaluation-result-4078894-1465285236/solver-4078894-1465285236 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13562 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078894-1465285236.opb

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

MD5SUM BENCH= 1a22ba01765c232fe0c8623cfb5d750f
RANDOM SEED=2044713445

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.868
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		: 2666.868
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.868
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:        29243752 kB
Buffers:           75824 kB
Cached:           143964 kB
SwapCached:         1412 kB
Active:          1174908 kB
Inactive:         138116 kB
Active(anon):    1091652 kB
Inactive(anon):     3552 kB
Active(file):      83256 kB
Inactive(file):   134564 kB
Unevictable:     1581112 kB
Mlocked:           17452 kB
SwapTotal:      67108856 kB
SwapFree:       67099812 kB
Dirty:             17488 kB
Writeback:             0 kB
AnonPages:       2756916 kB
Mapped:            10712 kB
Shmem:                 0 kB
Slab:             599304 kB
SReclaimable:      43388 kB
SUnreclaim:       555916 kB
KernelStack:        1528 kB
PageTables:         8908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2817808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1652736 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= 71700 MiB
End job on node139 at 2016-06-07 10:10:37