Trace number 4103273

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.1 1800.61

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-markshare2_1.opb
MD5SUMb994237fdc481ca53da2e19e2a850128
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark42160
Best CPU time to get the best result obtained on this benchmark1800.72
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 31694
Optimality of the best value was proved NO
Number of variables330
Total number of constraints13
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13
Minimum length of a constraint11
Maximum length of a constraint150
Number of terms in the objective function 210
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 7516192761
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 7516192761
Number of bits of the biggest sum of numbers33
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-18T09:23:29+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-4103273-1466234609.opb"]
0.00/0.01	c use --random-gen="698572704 693354541 103546676 1023558601 577889583 131486003 2040997811 3757782711 1978055160 3459952298 4124937818 659205451 2957872741 1196592232 2859817403 3894938430 591678593 535662931 349064891 1981159826 3574219788 3923135889 899070906 1345096013 1115487415 3003931681 746422286 2480313980 548626002 3416928519 2613626524 2086729178 1676986835 2199897065 170542021 341044318 1262094735 1035068243 2228219594 294187115 591247469 3973850589 1758352308 400412968 2553936068 3062986520 860594383 2377830992 4036554068 951015331 521788648 1056540037 2024054848 2609185202 2516653364 2393016457 2262433893 2826855734 3850975409 363733525 1278180717 1554714423 741014377 3124568449 129835993 1869584348 3183125098 2138745573 2809621174 2585156356 501015982 2951936357 1261787108 1390459212 3224233322 3861077216 4124389377 2806557047 2662608773 3361438987 1432766265 3314207759 720239904 1281340768 1064782370 2543561287 2310926470 4192168750 1205534233 3564818595 3619979814 3843517511 581285787 3630010697 1412211522 1764056337 1175709444 1094308679 1141157446 4054210875 3818302944 521106499 3401775320 2948481303 1225321043 979779296 905008616 3119815849 1194370160 3130467492 2095358712 3604965444 1559599178 2077714302 1032169413 2938032217 4264640569 2643898577 2573457647 1413055398 4015515397 158390539 2541713672 4094668235 483872406 3848744888 4015561785 2594780632 3694165693 654497375 948726417 3723510520 515982196 3320902505 1507253626 1866257061 422288401 93970648 3418248974 2681724313 3579934143 3644608289 1018832702 4163460545 497853367 3572593924 3964034423 1403273427 730964765 3608466407 704587362 86741612 648504381 2344690454 249559965 2104049250 1015074026 2886782134 1467782165 4264258739 2584445889 867620677 3413612216 264017088 1564776563 3235767014 375408480 1143987812 1325039744 4191590967 3801253987 2919730454 3712208217 2297211442 3590039237 3455854284 43642419 1997411119 2229236061 1923616840 2292152613 1574306397 2630870640 3126676042 498403408 1488988878 3534762820 3190659094 4175507912 554625159 4272781015 1417036692 1785893959 1653985674 495315226 567301255 1997506629 3440520690 97872290 1833362997 811474631 3708694499 3494442463 95577463 1136646170 4140827094 2981964502 4274790133 2764772055 3307818801 2990975494 1097937115 232414334 3562579655 3007187991 320650372 1017411951 285960701 2803637921 1000033114 592564169 3707678355 2282992228 2528072299 891962823 2099459530 4025957202 195332883 2661356170 2276391439 712835647 2361329519 1263920779 1941279782 3704747837 1555930795 2955823088 3145234253 1711303774 3922400520 2178548445 85952928 2584490383 1197794519 520687343 1392482924 688027921 4135743381 3006894928 3334004396 1981547023 781239615 572615047 3318837235 2974323363 4267406414 255 362436" option to reproduce the execution
0.00/0.01	c #vars 330
0.00/0.01	c #constraints 13
10.09/10.17	c BCD2: Hardening is enabled.
10.09/10.17	c BCD2: BiasedSearch is enabled.
10.09/10.17	c Solving starts ...
10.09/10.17	c ============================[ Search Statistics ]============================
10.09/10.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.09/10.17	c       |         |          |          |    Limit     GC | Var      | Constra 
10.09/10.17	c =============================================================================
10.09/10.17	c  0.0s |       0 |        0 |        0 |      116      0 |       63 |        0
10.19/10.21	c  0.0s |       1 |      129 |      100 |      116      0 |       63 |        0
10.19/10.21	c  0.0s |       1 |      161 |      100 |      116      0 |       63 |        0
10.19/10.21	c #cpu_time = 0.041s
10.19/10.21	c #wall_clock_time = 0.041s
10.19/10.21	c #decision = 161
10.19/10.21	c #random_decision = 0
10.19/10.21	c #conflict = 100
10.19/10.21	c #restart = 1
10.19/10.21	o 710656
10.39/10.41	c BCD2: hardening fixes 70 literals
10.39/10.41	c BCD2: updating upper bound: 7516192761 -> 710655
10.59/10.62	c BCD2: 0 <= obj <= 710655
10.59/10.62	c BCD2: #cores=0, #unrelaxed=140, #relaxed=0, #hardened=70
10.59/10.62	c BCD2: #sat=1 #unsat=1 bias=1/2
10.59/10.62	c Solving starts ...
10.59/10.62	c ============================[ Search Statistics ]============================
10.59/10.62	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.59/10.62	c       |         |          |          |    Limit     GC | Var      | Constra 
10.59/10.62	c =============================================================================
10.59/10.62	c  0.0s |       0 |        0 |        0 |      116      0 |       70 |        0
10.59/10.65	c  0.0s |       1 |      273 |      100 |      128      0 |       70 |        0
10.59/10.69	c  0.1s |       2 |      597 |      250 |      141      0 |       70 |        0
10.69/10.75	c  0.1s |       3 |     1002 |      475 |      156      1 |       70 |        0
10.79/10.85	c  0.2s |       4 |     1517 |      813 |      172      3 |       70 |        0
10.89/10.98	c  0.4s |       5 |     2209 |     1320 |      190      5 |       70 |        0
11.09/11.17	c  0.6s |       6 |     3139 |     2081 |      210      8 |       70 |        0
11.39/11.48	c  0.9s |       7 |     4450 |     3223 |      232     13 |       70 |        0
11.89/11.93	c  1.3s |       8 |     6344 |     4936 |      256     20 |       70 |        0
12.59/12.64	c  2.0s |       9 |     9087 |     7506 |      282     29 |       70 |        0
13.69/13.71	c  3.1s |      10 |    13127 |    11361 |      311     43 |       70 |        0
15.29/15.35	c  4.7s |      11 |    19097 |    17144 |      343     62 |       70 |        0
17.29/17.36	c  6.7s |      11 |    26515 |    24344 |      343     85 |       70 |        0
17.69/17.75	c  7.1s |      12 |    28007 |    25819 |      378     90 |       70 |        0
19.69/19.75	c  9.1s |      12 |    35211 |    32819 |      378    111 |       70 |        0
21.38/21.48	c 10.9s |      13 |    41250 |    38832 |      416    129 |       70 |        0
23.48/23.50	c 12.9s |      13 |    48342 |    45732 |      416    148 |       70 |        0
25.48/25.50	c 14.9s |      13 |    55461 |    52832 |      416    169 |       70 |        0
27.08/27.11	c 16.5s |      14 |    60987 |    58352 |      458    184 |       70 |        0
29.08/29.13	c 18.5s |      14 |    68402 |    65552 |      458    204 |       70 |        0
31.09/31.16	c 20.5s |      14 |    75524 |    72652 |      458    223 |       70 |        0
33.10/33.18	c 22.6s |      14 |    82860 |    79952 |      458    242 |       70 |        0
35.09/35.19	c 24.6s |      14 |    89773 |    86852 |      458    261 |       70 |        0
35.39/35.42	c 24.8s |      15 |    90547 |    87632 |      504    263 |       70 |        0
37.40/37.43	c 26.8s |      15 |    97845 |    94732 |      504    281 |       70 |        0
39.39/39.45	c 28.8s |      15 |   104853 |   101732 |      504    298 |       70 |        0
41.39/41.46	c 30.8s |      15 |   111660 |   108532 |      504    316 |       70 |        0
43.39/43.46	c 32.8s |      15 |   118391 |   115232 |      504    333 |       70 |        0
45.39/45.46	c 34.8s |      15 |   125216 |   122032 |      504    350 |       70 |        0
47.39/47.48	c 36.9s |      15 |   132330 |   129132 |      504    368 |       70 |        0
48.08/48.19	c 37.6s |      16 |   134758 |   131552 |      555    374 |       70 |        0
50.18/50.22	c 39.6s |      16 |   141955 |   138552 |      555    390 |       70 |        0
52.18/52.23	c 41.6s |      16 |   148879 |   145452 |      555    407 |       70 |        0
54.18/54.25	c 43.6s |      16 |   156101 |   152652 |      555    424 |       70 |        0
56.19/56.26	c 45.6s |      16 |   163130 |   159652 |      555    441 |       70 |        0
58.18/58.27	c 47.6s |      16 |   170258 |   166752 |      555    457 |       70 |        0
60.18/60.28	c 49.7s |      16 |   177166 |   173652 |      555    474 |       70 |        0
62.28/62.31	c 51.7s |      16 |   184196 |   180652 |      555    491 |       70 |        0
64.28/64.34	c 53.7s |      16 |   190710 |   187152 |      555    506 |       70 |        0
66.28/66.35	c 55.7s |      16 |   197443 |   193852 |      555    523 |       70 |        0
67.38/67.42	c 56.8s |      17 |   201029 |   197432 |      611    531 |       70 |        0
69.38/69.44	c 58.8s |      17 |   208022 |   204232 |      611    546 |       70 |        0
71.37/71.47	c 60.8s |      17 |   215038 |   211232 |      611    562 |       70 |        0
73.37/73.49	c 62.9s |      17 |   221759 |   217932 |      611    577 |       70 |        0
75.47/75.51	c 64.9s |      17 |   228399 |   224532 |      611    591 |       70 |        0
77.47/77.53	c 66.9s |      17 |   234909 |   231032 |      611    606 |       70 |        0
79.47/79.54	c 68.9s |      17 |   241834 |   237932 |      611    621 |       70 |        0
81.47/81.56	c 70.9s |      17 |   249074 |   245132 |      611    638 |       70 |        0
83.46/83.57	c 72.9s |      17 |   255797 |   251832 |      611    653 |       70 |        0
85.46/85.58	c 75.0s |      17 |   262429 |   258432 |      611    667 |       70 |        0
87.46/87.59	c 77.0s |      17 |   269239 |   265232 |      611    683 |       70 |        0
89.56/89.60	c 79.0s |      17 |   275982 |   271932 |      611    698 |       70 |        0
91.56/91.60	c 81.0s |      17 |   282605 |   278532 |      611    713 |       70 |        0
93.56/93.61	c 83.0s |      17 |   289134 |   285032 |      611    727 |       70 |        0
95.57/95.63	c 85.0s |      17 |   295744 |   291632 |      611    742 |       70 |        0
96.97/97.03	c 86.4s |      18 |   300375 |   296252 |      673    752 |       70 |        0
98.97/99.05	c 88.4s |      18 |   307177 |   302852 |      673    766 |       70 |        0
100.96/101.08	c 90.5s |      18 |   313822 |   309452 |      673    779 |       70 |        0
103.06/103.11	c 92.5s |      18 |   320138 |   315752 |      673    793 |       70 |        0
105.06/105.13	c 94.5s |      18 |   326566 |   322152 |      673    806 |       70 |        0
107.06/107.14	c 96.5s |      18 |   333022 |   328552 |      673    820 |       70 |        0
109.06/109.14	c 98.5s |      18 |   339437 |   334952 |      673    833 |       70 |        0
111.06/111.16	c  100s |      18 |   346167 |   341652 |      673    847 |       70 |        0
113.05/113.17	c  102s |      18 |   353186 |   348652 |      673    862 |       70 |        0
115.05/115.18	c  104s |      18 |   359799 |   355252 |      673    876 |       70 |        0
117.05/117.19	c  106s |      18 |   366939 |   362352 |      673    891 |       70 |        0
119.15/119.20	c  108s |      18 |   373750 |   369152 |      673    905 |       70 |        0
121.15/121.20	c  110s |      18 |   380480 |   375852 |      673    919 |       70 |        0
123.15/123.22	c  112s |      18 |   387406 |   382752 |      673    934 |       70 |        0
125.15/125.24	c  114s |      18 |   394231 |   389552 |      673    948 |       70 |        0
127.14/127.25	c  116s |      18 |   400773 |   396052 |      673    962 |       70 |        0
129.14/129.26	c  118s |      18 |   407500 |   402752 |      673    976 |       70 |        0
131.14/131.27	c  120s |      18 |   414227 |   409452 |      673    990 |       70 |        0
133.15/133.27	c  122s |      18 |   420961 |   416152 |      673   1004 |       70 |        0
135.14/135.30	c  124s |      18 |   427678 |   422852 |      673   1019 |       70 |        0
137.24/137.31	c  126s |      18 |   434322 |   429452 |      673   1032 |       70 |        0
139.24/139.34	c  128s |      18 |   440746 |   435852 |      673   1046 |       70 |        0
141.23/141.36	c  130s |      18 |   447286 |   442352 |      741   1060 |       70 |        0
141.84/142.00	c  131s |      19 |   449433 |   444482 |      741   1064 |       70 |        0
143.93/144.02	c  133s |      19 |   455893 |   450682 |      741   1076 |       70 |        0
145.93/146.04	c  135s |      19 |   462304 |   457082 |      741   1088 |       70 |        0
147.94/148.06	c  137s |      19 |   468530 |   463282 |      741   1100 |       70 |        0
149.94/150.07	c  139s |      19 |   474562 |   469282 |      741   1112 |       70 |        0
152.04/152.10	c  141s |      19 |   480584 |   475282 |      741   1124 |       70 |        0
154.04/154.11	c  143s |      19 |   486592 |   481282 |      741   1136 |       70 |        0
156.04/156.12	c  145s |      19 |   492721 |   487382 |      741   1148 |       70 |        0
158.04/158.12	c  147s |      19 |   498844 |   493482 |      741   1160 |       70 |        0
160.04/160.12	c  149s |      19 |   504770 |   499382 |      741   1172 |       70 |        0
162.04/162.15	c  151s |      19 |   510596 |   505182 |      741   1183 |       70 |        0
164.03/164.15	c  153s |      19 |   516221 |   510782 |      741   1195 |       70 |        0
166.04/166.17	c  155s |      19 |   522447 |   516982 |      741   1207 |       70 |        0
168.03/168.19	c  157s |      19 |   528566 |   523082 |      741   1219 |       70 |        0
170.13/170.20	c  159s |      19 |   534481 |   528982 |      741   1230 |       70 |        0
172.13/172.23	c  161s |      19 |   540199 |   534682 |      741   1242 |       70 |        0
174.13/174.24	c  163s |      19 |   545924 |   540382 |      741   1253 |       70 |        0
176.13/176.25	c  165s |      19 |   551642 |   546082 |      741   1265 |       70 |        0
178.13/178.28	c  167s |      19 |   557370 |   551782 |      741   1276 |       70 |        0
180.23/180.31	c  169s |      19 |   563190 |   557582 |      741   1288 |       70 |        0
182.22/182.31	c  171s |      19 |   569306 |   563682 |      741   1300 |       70 |        0
184.22/184.32	c  173s |      19 |   575228 |   569582 |      741   1311 |       70 |        0
186.22/186.33	c  175s |      19 |   580947 |   575282 |      741   1323 |       70 |        0
188.22/188.34	c  177s |      19 |   586855 |   581182 |      741   1334 |       70 |        0
190.23/190.37	c  179s |      19 |   593198 |   587482 |      741   1347 |       70 |        0
192.21/192.37	c  181s |      19 |   599227 |   593482 |      741   1359 |       70 |        0
194.21/194.40	c  183s |      19 |   605046 |   599282 |      741   1370 |       70 |        0
196.31/196.42	c  185s |      19 |   610851 |   605082 |      741   1382 |       70 |        0
198.31/198.46	c  187s |      19 |   616774 |   610982 |      741   1394 |       70 |        0
200.31/200.47	c  189s |      19 |   622710 |   616882 |      741   1405 |       70 |        0
202.32/202.48	c  191s |      19 |   628635 |   622782 |      741   1417 |       70 |        0
204.31/204.49	c  193s |      19 |   634463 |   628582 |      741   1429 |       70 |        0
206.41/206.52	c  195s |      19 |   640289 |   634382 |      741   1440 |       70 |        0
208.41/208.54	c  197s |      19 |   646120 |   640182 |      741   1452 |       70 |        0
210.41/210.55	c  199s |      19 |   651850 |   645882 |      741   1463 |       70 |        0
212.40/212.56	c  201s |      19 |   657458 |   651482 |      741   1474 |       70 |        0
214.41/214.59	c  203s |      19 |   662982 |   656982 |      741   1485 |       70 |        0
216.50/216.61	c  205s |      19 |   668385 |   662382 |      816   1496 |       70 |        0
218.10/218.25	c  207s |      20 |   672847 |   666827 |      816   1504 |       70 |        0
220.10/220.28	c  209s |      20 |   679036 |   672827 |      816   1515 |       70 |        0
222.20/222.32	c  211s |      20 |   685144 |   678927 |      816   1527 |       70 |        0
224.20/224.32	c  213s |      20 |   690966 |   684727 |      816   1537 |       70 |        0
226.19/226.35	c  215s |      20 |   697207 |   690927 |      816   1549 |       70 |        0
228.20/228.38	c  217s |      20 |   703337 |   697027 |      816   1560 |       70 |        0
230.30/230.40	c  219s |      20 |   709458 |   703127 |      816   1571 |       70 |        0
232.30/232.41	c  221s |      20 |   715377 |   709027 |      816   1582 |       70 |        0
234.30/234.44	c  223s |      20 |   721704 |   715327 |      816   1594 |       70 |        0
236.30/236.47	c  225s |      20 |   727943 |   721527 |      816   1605 |       70 |        0
238.29/238.47	c  227s |      20 |   733652 |   727227 |      816   1616 |       70 |        0
240.39/240.50	c  229s |      20 |   740091 |   733627 |      816   1628 |       70 |        0
242.39/242.53	c  231s |      20 |   746098 |   739627 |      816   1639 |       70 |        0
244.39/244.55	c  233s |      20 |   751935 |   745427 |      816   1650 |       70 |        0
246.39/246.56	c  235s |      20 |   758157 |   751627 |      816   1661 |       70 |        0
248.39/248.59	c  237s |      20 |   764390 |   757827 |      816   1672 |       70 |        0
250.49/250.63	c  240s |      20 |   770514 |   763927 |      816   1684 |       70 |        0
252.48/252.63	c  242s |      20 |   776533 |   769927 |      816   1695 |       70 |        0
254.48/254.63	c  244s |      20 |   782368 |   775727 |      816   1705 |       70 |        0
256.48/256.64	c  246s |      20 |   787990 |   781327 |      816   1716 |       70 |        0
258.49/258.67	c  248s |      20 |   793819 |   787127 |      816   1726 |       70 |        0
260.48/260.70	c  250s |      20 |   799638 |   792927 |      816   1737 |       70 |        0
262.58/262.71	c  252s |      20 |   805463 |   798727 |      816   1748 |       70 |        0
264.58/264.71	c  254s |      20 |   811184 |   804427 |      816   1758 |       70 |        0
266.58/266.72	c  256s |      20 |   816909 |   810127 |      816   1769 |       70 |        0
268.58/268.73	c  258s |      20 |   823041 |   816227 |      816   1780 |       70 |        0
270.58/270.75	c  260s |      20 |   828860 |   822027 |      816   1791 |       70 |        0
272.57/272.78	c  262s |      20 |   834576 |   827727 |      816   1802 |       70 |        0
274.67/274.80	c  264s |      20 |   840300 |   833427 |      816   1812 |       70 |        0
276.67/276.83	c  266s |      20 |   845933 |   839027 |      816   1823 |       70 |        0
278.67/278.84	c  268s |      20 |   851544 |   844627 |      816   1833 |       70 |        0
280.67/280.85	c  270s |      20 |   857068 |   850127 |      816   1843 |       70 |        0
282.67/282.89	c  272s |      20 |   862680 |   855727 |      816   1854 |       70 |        0
284.67/284.89	c  274s |      20 |   868213 |   861227 |      816   1864 |       70 |        0
286.77/286.92	c  276s |      20 |   873949 |   866927 |      816   1874 |       70 |        0
288.77/288.95	c  278s |      20 |   879463 |   872427 |      816   1885 |       70 |        0
290.77/290.98	c  280s |      20 |   884982 |   877927 |      816   1895 |       70 |        0
292.87/293.00	c  282s |      20 |   890415 |   883327 |      816   1905 |       70 |        0
294.87/295.02	c  284s |      20 |   897072 |   889927 |      816   1917 |       70 |        0
296.87/297.04	c  286s |      20 |   903498 |   896327 |      816   1929 |       70 |        0
298.87/299.07	c  288s |      20 |   910140 |   902927 |      816   1941 |       70 |        0
300.96/301.10	c  290s |      20 |   916590 |   909327 |      816   1953 |       70 |        0
302.96/303.12	c  292s |      20 |   922821 |   915527 |      816   1964 |       70 |        0
304.96/305.15	c  294s |      20 |   929155 |   921827 |      816   1976 |       70 |        0
306.96/307.15	c  296s |      20 |   935190 |   927827 |      816   1987 |       70 |        0
308.97/309.16	c  298s |      20 |   941118 |   933727 |      816   1997 |       70 |        0
310.96/311.17	c  300s |      20 |   946941 |   939527 |      816   2008 |       70 |        0
312.96/313.18	c  302s |      20 |   952883 |   945427 |      816   2019 |       70 |        0
314.96/315.19	c  304s |      20 |   958813 |   951327 |      816   2030 |       70 |        0
317.06/317.21	c  306s |      20 |   964535 |   957027 |      816   2040 |       70 |        0
319.06/319.22	c  308s |      20 |   970583 |   963027 |      816   2051 |       70 |        0
321.06/321.24	c  310s |      20 |   976812 |   969227 |      816   2063 |       70 |        0
323.05/323.24	c  312s |      20 |   982831 |   975227 |      816   2074 |       70 |        0
325.05/325.24	c  314s |      20 |   988659 |   981027 |      816   2085 |       70 |        0
327.05/327.27	c  316s |      20 |   994393 |   986727 |      816   2095 |       70 |        0
329.05/329.29	c  318s |      20 |  1000114 |   992427 |      816   2106 |       70 |        0
331.15/331.32	c  320s |      20 |  1005932 |   998227 |      898   2115 |       70 |        0
331.85/332.02	c  321s |      21 |  1008061 |  1000345 |      898   2119 |       70 |        0
333.85/334.04	c  323s |      21 |  1014176 |  1006245 |      898   2129 |       70 |        0
335.85/336.04	c  325s |      21 |  1020022 |  1012045 |      898   2139 |       70 |        0
337.84/338.05	c  327s |      21 |  1025737 |  1017745 |      898   2149 |       70 |        0
339.85/340.06	c  329s |      21 |  1031295 |  1023245 |      898   2158 |       70 |        0
341.84/342.09	c  331s |      21 |  1037223 |  1029145 |      898   2168 |       70 |        0
343.95/344.13	c  333s |      21 |  1043251 |  1035145 |      898   2179 |       70 |        0
345.95/346.15	c  335s |      21 |  1048985 |  1040845 |      898   2188 |       70 |        0
347.94/348.17	c  337s |      21 |  1054826 |  1046645 |      898   2198 |       70 |        0
349.94/350.17	c  339s |      21 |  1060659 |  1052445 |      898   2208 |       70 |        0
351.94/352.19	c  341s |      21 |  1066512 |  1058245 |      898   2218 |       70 |        0
354.04/354.21	c  343s |      21 |  1072369 |  1064045 |      898   2228 |       70 |        0
356.03/356.23	c  345s |      21 |  1078455 |  1070045 |      898   2238 |       70 |        0
358.03/358.25	c  347s |      21 |  1084505 |  1076045 |      898   2249 |       70 |        0
360.03/360.26	c  349s |      21 |  1090246 |  1081745 |      898   2258 |       70 |        0
362.03/362.28	c  351s |      21 |  1095689 |  1087145 |      898   2268 |       70 |        0
364.04/364.29	c  353s |      21 |  1101647 |  1093045 |      898   2278 |       70 |        0
366.03/366.30	c  355s |      21 |  1107393 |  1098745 |      898   2288 |       70 |        0
368.13/368.30	c  357s |      21 |  1113040 |  1104345 |      898   2297 |       70 |        0
370.12/370.33	c  359s |      21 |  1118570 |  1109845 |      898   2307 |       70 |        0
372.12/372.36	c  361s |      21 |  1124125 |  1115345 |      898   2316 |       70 |        0
374.12/374.37	c  363s |      21 |  1129967 |  1121145 |      898   2326 |       70 |        0
376.22/376.40	c  365s |      21 |  1135796 |  1126945 |      898   2336 |       70 |        0
378.23/378.42	c  367s |      21 |  1141643 |  1132745 |      898   2346 |       70 |        0
380.22/380.46	c  369s |      21 |  1147500 |  1138545 |      898   2356 |       70 |        0
382.21/382.47	c  371s |      21 |  1153030 |  1144045 |      898   2365 |       70 |        0
384.21/384.48	c  373s |      21 |  1158861 |  1149845 |      898   2375 |       70 |        0
386.21/386.48	c  375s |      21 |  1164581 |  1155545 |      898   2385 |       70 |        0
388.31/388.50	c  377s |      21 |  1170502 |  1161445 |      898   2395 |       70 |        0
390.32/390.51	c  379s |      21 |  1176239 |  1167145 |      898   2405 |       70 |        0
392.31/392.53	c  381s |      21 |  1181858 |  1172745 |      898   2414 |       70 |        0
394.31/394.55	c  383s |      21 |  1187600 |  1178445 |      898   2424 |       70 |        0
396.30/396.57	c  385s |      21 |  1193137 |  1183945 |      898   2433 |       70 |        0
398.31/398.57	c  387s |      21 |  1198793 |  1189545 |      898   2443 |       70 |        0
400.32/400.58	c  389s |      21 |  1204217 |  1194945 |      898   2452 |       70 |        0
402.31/402.60	c  391s |      21 |  1209654 |  1200345 |      898   2462 |       70 |        0
404.41/404.61	c  393s |      21 |  1215184 |  1205845 |      898   2471 |       70 |        0
406.41/406.64	c  396s |      21 |  1220915 |  1211545 |      898   2481 |       70 |        0
408.41/408.67	c  398s |      21 |  1226544 |  1217145 |      898   2490 |       70 |        0
410.41/410.69	c  400s |      21 |  1232077 |  1222645 |      898   2500 |       70 |        0
412.50/412.72	c  402s |      21 |  1237734 |  1228245 |      898   2509 |       70 |        0
414.51/414.73	c  404s |      21 |  1243060 |  1233545 |      898   2518 |       70 |        0
416.50/416.74	c  406s |      21 |  1248393 |  1238845 |      898   2528 |       70 |        0
418.50/418.74	c  408s |      21 |  1253913 |  1244345 |      898   2537 |       70 |        0
420.50/420.75	c  410s |      21 |  1259438 |  1249845 |      898   2546 |       70 |        0
422.50/422.75	c  412s |      21 |  1264823 |  1255145 |      898   2555 |       70 |        0
424.50/424.77	c  414s |      21 |  1270458 |  1260745 |      898   2565 |       70 |        0
426.60/426.81	c  416s |      21 |  1276101 |  1266345 |      898   2575 |       70 |        0
428.60/428.83	c  418s |      21 |  1281619 |  1271845 |      898   2584 |       70 |        0
430.59/430.87	c  420s |      21 |  1287155 |  1277345 |      898   2593 |       70 |        0
432.69/432.90	c  422s |      21 |  1292498 |  1282645 |      898   2603 |       70 |        0
434.69/434.90	c  424s |      21 |  1297920 |  1288045 |      898   2612 |       70 |        0
436.69/436.91	c  426s |      21 |  1303351 |  1293445 |      898   2621 |       70 |        0
438.69/438.93	c  428s |      21 |  1308681 |  1298745 |      898   2630 |       70 |        0
440.69/440.95	c  430s |      21 |  1314022 |  1304045 |      898   2639 |       70 |        0
442.68/442.98	c  432s |      21 |  1319339 |  1309345 |      898   2649 |       70 |        0
444.68/444.98	c  434s |      21 |  1324884 |  1314845 |      898   2658 |       70 |        0
446.68/446.98	c  436s |      21 |  1330852 |  1320745 |      898   2668 |       70 |        0
448.69/448.99	c  438s |      21 |  1336996 |  1326845 |      898   2678 |       70 |        0
450.68/451.00	c  440s |      21 |  1343044 |  1332845 |      898   2689 |       70 |        0
452.78/453.02	c  442s |      21 |  1349059 |  1338845 |      898   2699 |       70 |        0
454.78/455.05	c  444s |      21 |  1354997 |  1344745 |      898   2709 |       70 |        0
456.78/457.07	c  446s |      21 |  1360727 |  1350445 |      898   2719 |       70 |        0
458.78/459.09	c  448s |      21 |  1366362 |  1356045 |      898   2728 |       70 |        0
460.88/461.10	c  450s |      21 |  1372283 |  1361945 |      898   2738 |       70 |        0
462.88/463.11	c  452s |      21 |  1377945 |  1367545 |      898   2748 |       70 |        0
464.87/465.15	c  454s |      21 |  1383596 |  1373145 |      898   2758 |       70 |        0
466.88/467.16	c  456s |      21 |  1389323 |  1378845 |      898   2767 |       70 |        0
468.88/469.17	c  458s |      21 |  1395147 |  1384645 |      898   2777 |       70 |        0
470.88/471.18	c  460s |      21 |  1400782 |  1390245 |      898   2787 |       70 |        0
472.89/473.19	c  462s |      21 |  1406605 |  1396045 |      898   2797 |       70 |        0
474.88/475.20	c  464s |      21 |  1412240 |  1401645 |      898   2806 |       70 |        0
476.98/477.22	c  466s |      21 |  1417871 |  1407245 |      898   2816 |       70 |        0
478.98/479.23	c  468s |      21 |  1423291 |  1412645 |      898   2825 |       70 |        0
480.98/481.24	c  470s |      21 |  1428536 |  1417845 |      898   2834 |       70 |        0
482.98/483.25	c  472s |      21 |  1434058 |  1423345 |      898   2844 |       70 |        0
484.98/485.25	c  474s |      21 |  1439500 |  1428745 |      898   2853 |       70 |        0
486.98/487.27	c  476s |      21 |  1445255 |  1434445 |      898   2863 |       70 |        0
488.98/489.29	c  478s |      21 |  1450892 |  1440045 |      898   2872 |       70 |        0
491.08/491.31	c  480s |      21 |  1456624 |  1445745 |      898   2882 |       70 |        0
493.08/493.32	c  482s |      21 |  1462060 |  1451145 |      898   2891 |       70 |        0
495.08/495.34	c  484s |      21 |  1467515 |  1456545 |      898   2901 |       70 |        0
497.08/497.37	c  486s |      21 |  1472966 |  1461945 |      898   2910 |       70 |        0
499.07/499.40	c  488s |      21 |  1478691 |  1467645 |      898   2920 |       70 |        0
501.17/501.40	c  490s |      21 |  1484353 |  1473245 |      898   2929 |       70 |        0
503.17/503.43	c  492s |      21 |  1489784 |  1478645 |      898   2938 |       70 |        0
505.17/505.45	c  494s |      21 |  1495325 |  1484145 |      898   2948 |       70 |        0
507.17/507.45	c  496s |      21 |  1500860 |  1489645 |      898   2957 |       70 |        0
509.18/509.48	c  498s |      21 |  1506188 |  1494945 |      988   2966 |       70 |        0
511.17/511.49	c  500s |      21 |  1511517 |  1500245 |      988   2974 |       70 |        0
511.38/511.64	c  501s |      22 |  1511892 |  1500622 |      988   2975 |       70 |        0
513.37/513.65	c  503s |      22 |  1517512 |  1506022 |      988   2983 |       70 |        0
515.37/515.68	c  505s |      22 |  1523272 |  1511722 |      988   2992 |       70 |        0
517.47/517.71	c  507s |      22 |  1529211 |  1517622 |      988   3002 |       70 |        0
519.47/519.75	c  509s |      22 |  1534945 |  1523322 |      988   3011 |       70 |        0
521.47/521.77	c  511s |      22 |  1540389 |  1528722 |      988   3019 |       70 |        0
523.57/523.80	c  513s |      22 |  1545946 |  1534222 |      988   3028 |       70 |        0
525.58/525.80	c  515s |      22 |  1551600 |  1539822 |      988   3037 |       70 |        0
527.57/527.81	c  517s |      22 |  1557760 |  1545922 |      988   3047 |       70 |        0
529.57/529.82	c  519s |      22 |  1563696 |  1551822 |      988   3056 |       70 |        0
531.57/531.85	c  521s |      22 |  1569877 |  1557922 |      988   3066 |       70 |        0
533.56/533.85	c  523s |      22 |  1575838 |  1563822 |      988   3075 |       70 |        0
535.57/535.87	c  525s |      22 |  1581811 |  1569722 |      988   3085 |       70 |        0
537.57/537.87	c  527s |      22 |  1587539 |  1575422 |      988   3094 |       70 |        0
539.57/539.89	c  529s |      22 |  1593171 |  1581022 |      988   3103 |       70 |        0
541.67/541.93	c  531s |      22 |  1598703 |  1586522 |      988   3111 |       70 |        0
543.67/543.96	c  533s |      22 |  1604435 |  1592222 |      988   3121 |       70 |        0
545.67/545.97	c  535s |      22 |  1610409 |  1598122 |      988   3130 |       70 |        0
547.68/547.99	c  537s |      22 |  1616395 |  1604022 |      988   3139 |       70 |        0
549.78/550.02	c  539s |      22 |  1622249 |  1609822 |      988   3149 |       70 |        0
551.77/552.05	c  541s |      22 |  1628194 |  1615722 |      988   3158 |       70 |        0
553.77/554.05	c  543s |      22 |  1634128 |  1621622 |      988   3167 |       70 |        0
555.77/556.06	c  545s |      22 |  1639983 |  1627422 |      988   3177 |       70 |        0
557.77/558.08	c  547s |      22 |  1645812 |  1633222 |      988   3186 |       70 |        0
559.77/560.10	c  549s |      22 |  1651537 |  1638922 |      988   3195 |       70 |        0
561.77/562.10	c  551s |      22 |  1657474 |  1644822 |      988   3204 |       70 |        0
563.87/564.11	c  553s |      22 |  1663652 |  1650922 |      988   3214 |       70 |        0
565.87/566.11	c  555s |      22 |  1669590 |  1656822 |      988   3224 |       70 |        0
567.87/568.13	c  557s |      22 |  1675449 |  1662622 |      988   3233 |       70 |        0
569.87/570.17	c  559s |      22 |  1680970 |  1668122 |      988   3242 |       70 |        0
571.87/572.17	c  561s |      22 |  1686412 |  1673522 |      988   3250 |       70 |        0
573.86/574.20	c  563s |      22 |  1691882 |  1678922 |      988   3259 |       70 |        0
575.96/576.21	c  565s |      22 |  1697630 |  1684622 |      988   3268 |       70 |        0
577.96/578.21	c  567s |      22 |  1703266 |  1690222 |      988   3277 |       70 |        0
579.96/580.21	c  569s |      22 |  1708802 |  1695722 |      988   3286 |       70 |        0
581.95/582.24	c  571s |      22 |  1714122 |  1701022 |      988   3294 |       70 |        0
583.96/584.25	c  573s |      22 |  1719443 |  1706322 |      988   3303 |       70 |        0
585.95/586.26	c  575s |      22 |  1724784 |  1711622 |      988   3311 |       70 |        0
587.95/588.29	c  577s |      22 |  1730468 |  1717222 |      988   3320 |       70 |        0
590.05/590.30	c  579s |      22 |  1735796 |  1722522 |      988   3329 |       70 |        0
592.05/592.32	c  581s |      22 |  1741232 |  1727922 |      988   3337 |       70 |        0
594.05/594.33	c  583s |      22 |  1746903 |  1733522 |      988   3346 |       70 |        0
596.05/596.34	c  585s |      22 |  1753079 |  1739622 |      988   3356 |       70 |        0
598.05/598.36	c  587s |      22 |  1759136 |  1745622 |      988   3366 |       70 |        0
600.04/600.39	c  589s |      22 |  1765278 |  1751722 |      988   3375 |       70 |        0
602.14/602.42	c  591s |      22 |  1771422 |  1757822 |      988   3385 |       70 |        0
604.14/604.45	c  593s |      22 |  1777356 |  1763722 |      988   3394 |       70 |        0
606.14/606.48	c  595s |      22 |  1783691 |  1770022 |      988   3404 |       70 |        0
608.24/608.50	c  597s |      22 |  1789830 |  1776122 |      988   3414 |       70 |        0
610.25/610.53	c  599s |      22 |  1795758 |  1782022 |      988   3423 |       70 |        0
612.23/612.55	c  601s |      22 |  1801496 |  1787722 |      988   3433 |       70 |        0
614.23/614.55	c  603s |      22 |  1807235 |  1793422 |      988   3442 |       70 |        0
616.23/616.56	c  605s |      22 |  1813700 |  1799822 |      988   3452 |       70 |        0
618.23/618.59	c  607s |      22 |  1819732 |  1805822 |      988   3462 |       70 |        0
620.33/620.61	c  609s |      22 |  1825895 |  1811922 |      988   3471 |       70 |        0
622.33/622.64	c  612s |      22 |  1832077 |  1818022 |      988   3481 |       70 |        0
624.32/624.64	c  614s |      22 |  1838046 |  1823922 |      988   3490 |       70 |        0
626.32/626.67	c  616s |      22 |  1844094 |  1829922 |      988   3500 |       70 |        0
628.42/628.70	c  618s |      22 |  1850261 |  1836022 |      988   3510 |       70 |        0
630.42/630.71	c  620s |      22 |  1856126 |  1841822 |      988   3519 |       70 |        0
632.43/632.74	c  622s |      22 |  1861837 |  1847522 |      988   3528 |       70 |        0
634.43/634.76	c  624s |      22 |  1867569 |  1853222 |      988   3537 |       70 |        0
636.42/636.78	c  626s |      22 |  1873095 |  1858722 |      988   3546 |       70 |        0
638.52/638.80	c  628s |      22 |  1878635 |  1864222 |      988   3555 |       70 |        0
640.52/640.80	c  630s |      22 |  1884085 |  1869622 |      988   3563 |       70 |        0
642.52/642.81	c  632s |      22 |  1889505 |  1875022 |      988   3572 |       70 |        0
644.52/644.82	c  634s |      22 |  1894939 |  1880422 |      988   3581 |       70 |        0
646.52/646.86	c  636s |      22 |  1900477 |  1885922 |      988   3590 |       70 |        0
648.52/648.87	c  638s |      22 |  1906317 |  1891722 |      988   3599 |       70 |        0
650.62/650.90	c  640s |      22 |  1911847 |  1897222 |      988   3608 |       70 |        0
652.61/652.90	c  642s |      22 |  1917179 |  1902522 |      988   3616 |       70 |        0
654.61/654.94	c  644s |      22 |  1922417 |  1907722 |      988   3625 |       70 |        0
656.61/656.95	c  646s |      22 |  1927959 |  1913222 |      988   3633 |       70 |        0
658.62/658.95	c  648s |      22 |  1933597 |  1918822 |      988   3642 |       70 |        0
660.61/660.96	c  650s |      22 |  1939144 |  1924322 |      988   3651 |       70 |        0
662.61/662.99	c  652s |      22 |  1944793 |  1929922 |      988   3660 |       70 |        0
664.71/665.01	c  654s |      22 |  1950227 |  1935322 |      988   3668 |       70 |        0
666.71/667.02	c  656s |      22 |  1955983 |  1941022 |      988   3678 |       70 |        0
668.71/669.05	c  658s |      22 |  1961540 |  1946522 |      988   3686 |       70 |        0
670.71/671.08	c  660s |      22 |  1966960 |  1951922 |      988   3695 |       70 |        0
672.80/673.11	c  662s |      22 |  1972634 |  1957522 |      988   3704 |       70 |        0
674.80/675.14	c  664s |      22 |  1978192 |  1963022 |      988   3713 |       70 |        0
676.80/677.17	c  666s |      22 |  1983846 |  1968622 |      988   3722 |       70 |        0
678.80/679.19	c  668s |      22 |  1989819 |  1974522 |      988   3731 |       70 |        0
680.89/681.20	c  670s |      22 |  1995750 |  1980422 |      988   3740 |       70 |        0
682.90/683.21	c  672s |      22 |  2001168 |  1985822 |      988   3749 |       70 |        0
684.89/685.23	c  674s |      22 |  2006888 |  1991522 |      988   3758 |       70 |        0
686.89/687.25	c  676s |      22 |  2012531 |  1997122 |      988   3767 |       70 |        0
688.90/689.28	c  678s |      22 |  2018047 |  2002622 |      988   3776 |       70 |        0
690.90/691.29	c  680s |      22 |  2023471 |  2008022 |      988   3785 |       70 |        0
693.00/693.32	c  682s |      22 |  2029010 |  2013522 |      988   3793 |       70 |        0
695.01/695.35	c  684s |      22 |  2034646 |  2019122 |      988   3802 |       70 |        0
697.00/697.37	c  686s |      22 |  2040063 |  2024522 |      988   3811 |       70 |        0
699.00/699.38	c  688s |      22 |  2045291 |  2029722 |      988   3819 |       70 |        0
701.09/701.41	c  690s |      22 |  2050908 |  2035322 |      988   3828 |       70 |        0
703.09/703.42	c  692s |      22 |  2056552 |  2040922 |      988   3837 |       70 |        0
705.09/705.44	c  694s |      22 |  2062090 |  2046422 |      988   3846 |       70 |        0
707.10/707.44	c  696s |      22 |  2067529 |  2051822 |      988   3855 |       70 |        0
709.09/709.46	c  698s |      22 |  2072942 |  2057222 |      988   3863 |       70 |        0
711.09/711.47	c  700s |      22 |  2078385 |  2062622 |      988   3872 |       70 |        0
713.09/713.49	c  702s |      22 |  2083822 |  2068022 |      988   3881 |       70 |        0
715.19/715.51	c  704s |      22 |  2088844 |  2073022 |      988   3889 |       70 |        0
717.19/717.55	c  706s |      22 |  2093959 |  2078122 |      988   3897 |       70 |        0
719.19/719.57	c  708s |      22 |  2099590 |  2083722 |      988   3906 |       70 |        0
721.18/721.60	c  710s |      22 |  2104920 |  2089022 |      988   3914 |       70 |        0
723.28/723.63	c  713s |      22 |  2110230 |  2094322 |      988   3923 |       70 |        0
725.28/725.64	c  715s |      22 |  2115247 |  2099322 |      988   3931 |       70 |        0
727.28/727.67	c  717s |      22 |  2120272 |  2104322 |      988   3939 |       70 |        0
729.28/729.68	c  719s |      22 |  2125502 |  2109522 |      988   3947 |       70 |        0
731.37/731.70	c  721s |      22 |  2131536 |  2115522 |      988   3957 |       70 |        0
733.27/733.70	c  723s |      22 |  2137355 |  2121322 |      988   3966 |       70 |        0
735.37/735.73	c  725s |      22 |  2143197 |  2127122 |      988   3975 |       70 |        0
737.37/737.74	c  727s |      22 |  2148829 |  2132722 |      988   3984 |       70 |        0
739.37/739.76	c  729s |      22 |  2154578 |  2138422 |      988   3993 |       70 |        0
741.36/741.78	c  731s |      22 |  2160623 |  2144422 |      988   4003 |       70 |        0
743.37/743.79	c  733s |      22 |  2166350 |  2150122 |      988   4012 |       70 |        0
745.47/745.82	c  735s |      22 |  2172313 |  2156022 |      988   4022 |       70 |        0
747.46/747.84	c  737s |      22 |  2177967 |  2161622 |      988   4030 |       70 |        0
749.46/749.84	c  739s |      22 |  2183303 |  2166922 |      988   4039 |       70 |        0
751.45/751.86	c  741s |      22 |  2188519 |  2172122 |      988   4047 |       70 |        0
753.46/753.89	c  743s |      22 |  2193639 |  2177222 |      988   4055 |       70 |        0
755.56/755.93	c  745s |      22 |  2198863 |  2182422 |      988   4064 |       70 |        0
757.57/757.96	c  747s |      22 |  2204299 |  2187822 |      988   4072 |       70 |        0
759.56/759.99	c  749s |      22 |  2209738 |  2193222 |      988   4081 |       70 |        0
761.56/761.99	c  751s |      22 |  2214960 |  2198422 |      988   4089 |       70 |        0
763.65/764.00	c  753s |      22 |  2220094 |  2203522 |      988   4097 |       70 |        0
765.65/766.04	c  755s |      22 |  2225235 |  2208622 |      988   4106 |       70 |        0
767.65/768.06	c  757s |      22 |  2230688 |  2214022 |      988   4114 |       70 |        0
769.66/770.10	c  759s |      22 |  2236128 |  2219422 |      988   4123 |       70 |        0
771.75/772.11	c  761s |      22 |  2241156 |  2224422 |      988   4131 |       70 |        0
773.75/774.14	c  763s |      22 |  2246496 |  2229722 |      988   4139 |       70 |        0
775.75/776.16	c  765s |      22 |  2251819 |  2235022 |     1087   4148 |       70 |        0
777.74/778.17	c  767s |      22 |  2257192 |  2240322 |     1087   4156 |       70 |        0
779.84/780.20	c  769s |      22 |  2262941 |  2246022 |     1087   4164 |       70 |        0
781.75/782.11	c  771s |      23 |  2267990 |  2251038 |     1087   4172 |       70 |        0
783.74/784.13	c  773s |      23 |  2273411 |  2256238 |     1087   4179 |       70 |        0
785.74/786.14	c  775s |      23 |  2278750 |  2261538 |     1087   4187 |       70 |        0
787.74/788.16	c  777s |      23 |  2284163 |  2266938 |     1087   4195 |       70 |        0
789.74/790.17	c  779s |      23 |  2289376 |  2272138 |     1087   4203 |       70 |        0
791.74/792.19	c  781s |      23 |  2294809 |  2277538 |     1087   4211 |       70 |        0
793.84/794.23	c  783s |      23 |  2300144 |  2282838 |     1087   4218 |       70 |        0
795.83/796.25	c  785s |      23 |  2305256 |  2287938 |     1087   4226 |       70 |        0
797.83/798.29	c  787s |      23 |  2310495 |  2293138 |     1087   4234 |       70 |        0
799.93/800.31	c  789s |      23 |  2315723 |  2298338 |     1087   4241 |       70 |        0
801.93/802.32	c  791s |      23 |  2320851 |  2303438 |     1087   4249 |       70 |        0
803.94/804.34	c  793s |      23 |  2325967 |  2308538 |     1087   4256 |       70 |        0
805.95/806.37	c  795s |      23 |  2330887 |  2313438 |     1087   4264 |       70 |        0
807.94/808.39	c  797s |      23 |  2336124 |  2318638 |     1087   4271 |       70 |        0
810.04/810.40	c  799s |      23 |  2341385 |  2323838 |     1087   4279 |       70 |        0
812.04/812.43	c  801s |      23 |  2346724 |  2329138 |     1087   4287 |       70 |        0
814.04/814.44	c  803s |      23 |  2351964 |  2334338 |     1087   4295 |       70 |        0
816.04/816.45	c  805s |      23 |  2357178 |  2339538 |     1087   4302 |       70 |        0
818.04/818.45	c  807s |      23 |  2362509 |  2344838 |     1087   4310 |       70 |        0
820.04/820.46	c  809s |      23 |  2367419 |  2349738 |     1087   4317 |       70 |        0
822.14/822.50	c  811s |      23 |  2372438 |  2354738 |     1087   4325 |       70 |        0
824.13/824.51	c  813s |      23 |  2377381 |  2359638 |     1087   4332 |       70 |        0
826.13/826.56	c  815s |      23 |  2382700 |  2364938 |     1087   4340 |       70 |        0
828.13/828.57	c  817s |      23 |  2387938 |  2370138 |     1087   4348 |       70 |        0
830.24/830.61	c  819s |      23 |  2393272 |  2375438 |     1087   4356 |       70 |        0
832.23/832.64	c  822s |      23 |  2398503 |  2380638 |     1087   4363 |       70 |        0
834.23/834.67	c  824s |      23 |  2403841 |  2385938 |     1087   4371 |       70 |        0
836.33/836.70	c  826s |      23 |  2408975 |  2391038 |     1087   4379 |       70 |        0
838.33/838.74	c  828s |      23 |  2414312 |  2396338 |     1087   4387 |       70 |        0
840.33/840.78	c  830s |      23 |  2419541 |  2401538 |     1087   4394 |       70 |        0
842.43/842.80	c  832s |      23 |  2424767 |  2406738 |     1087   4402 |       70 |        0
844.43/844.83	c  834s |      23 |  2429917 |  2411838 |     1087   4410 |       70 |        0
846.43/846.86	c  836s |      23 |  2434854 |  2416738 |     1087   4417 |       70 |        0
848.53/848.91	c  838s |      23 |  2439974 |  2421838 |     1087   4425 |       70 |        0
850.53/850.92	c  840s |      23 |  2444913 |  2426738 |     1087   4432 |       70 |        0
852.53/852.94	c  842s |      23 |  2450128 |  2431938 |     1087   4440 |       70 |        0
854.53/854.98	c  844s |      23 |  2455251 |  2437038 |     1087   4447 |       70 |        0
856.63/857.01	c  846s |      23 |  2460274 |  2442038 |     1087   4455 |       70 |        0
858.62/859.02	c  848s |      23 |  2465115 |  2446838 |     1087   4462 |       70 |        0
860.62/861.02	c  850s |      23 |  2469931 |  2451638 |     1087   4469 |       70 |        0
862.63/863.03	c  852s |      23 |  2474864 |  2456538 |     1087   4476 |       70 |        0
864.63/865.05	c  854s |      23 |  2480014 |  2461638 |     1087   4484 |       70 |        0
866.63/867.08	c  856s |      23 |  2485344 |  2466938 |     1087   4492 |       70 |        0
868.74/869.12	c  858s |      23 |  2490677 |  2472238 |     1087   4500 |       70 |        0
870.73/871.14	c  860s |      23 |  2496212 |  2477738 |     1087   4508 |       70 |        0
872.73/873.15	c  862s |      23 |  2502249 |  2483738 |     1087   4516 |       70 |        0
874.73/875.18	c  864s |      23 |  2508081 |  2489538 |     1087   4525 |       70 |        0
876.73/877.19	c  866s |      23 |  2513905 |  2495338 |     1087   4534 |       70 |        0
878.83/879.20	c  868s |      23 |  2519955 |  2501338 |     1087   4542 |       70 |        0
880.83/881.21	c  870s |      23 |  2525693 |  2507038 |     1087   4551 |       70 |        0
882.82/883.23	c  872s |      23 |  2531614 |  2512938 |     1087   4559 |       70 |        0
884.82/885.24	c  874s |      23 |  2537257 |  2518538 |     1087   4568 |       70 |        0
886.82/887.28	c  876s |      23 |  2542768 |  2524038 |     1087   4576 |       70 |        0
888.92/889.30	c  878s |      23 |  2548403 |  2529638 |     1087   4584 |       70 |        0
890.92/891.33	c  880s |      23 |  2554043 |  2535238 |     1087   4592 |       70 |        0
892.93/893.34	c  882s |      23 |  2559683 |  2540838 |     1087   4600 |       70 |        0
894.92/895.35	c  884s |      23 |  2565007 |  2546138 |     1087   4608 |       70 |        0
896.92/897.37	c  886s |      23 |  2570430 |  2551538 |     1087   4616 |       70 |        0
898.93/899.39	c  888s |      23 |  2575751 |  2556838 |     1087   4624 |       70 |        0
901.02/901.42	c  890s |      23 |  2581177 |  2562238 |     1087   4632 |       70 |        0
903.02/903.44	c  892s |      23 |  2587021 |  2568038 |     1087   4641 |       70 |        0
905.03/905.47	c  894s |      23 |  2592558 |  2573538 |     1087   4649 |       70 |        0
907.02/907.49	c  896s |      23 |  2598080 |  2579038 |     1087   4657 |       70 |        0
909.12/909.50	c  898s |      23 |  2603402 |  2584338 |     1087   4664 |       70 |        0
911.12/911.54	c  900s |      23 |  2608830 |  2589738 |     1087   4672 |       70 |        0
913.12/913.58	c  902s |      23 |  2614456 |  2595338 |     1087   4681 |       70 |        0
915.12/915.58	c  904s |      23 |  2619770 |  2600638 |     1087   4688 |       70 |        0
917.13/917.59	c  906s |      23 |  2624773 |  2605638 |     1087   4696 |       70 |        0
919.23/919.62	c  908s |      23 |  2630405 |  2611238 |     1087   4704 |       70 |        0
921.22/921.65	c  911s |      23 |  2636412 |  2617238 |     1087   4713 |       70 |        0
923.22/923.65	c  913s |      23 |  2642040 |  2622838 |     1087   4721 |       70 |        0
925.22/925.68	c  915s |      23 |  2647894 |  2628638 |     1087   4730 |       70 |        0
927.32/927.70	c  917s |      23 |  2653531 |  2634238 |     1087   4738 |       70 |        0
929.32/929.72	c  919s |      23 |  2659188 |  2639838 |     1087   4746 |       70 |        0
931.32/931.75	c  921s |      23 |  2664724 |  2645338 |     1087   4754 |       70 |        0
933.31/933.79	c  923s |      23 |  2670448 |  2651038 |     1087   4763 |       70 |        0
935.41/935.82	c  925s |      23 |  2676124 |  2656638 |     1087   4771 |       70 |        0
937.41/937.83	c  927s |      23 |  2681660 |  2662138 |     1087   4779 |       70 |        0
939.41/939.86	c  929s |      23 |  2687087 |  2667538 |     1087   4787 |       70 |        0
941.41/941.89	c  931s |      23 |  2692620 |  2673038 |     1087   4795 |       70 |        0
943.52/943.91	c  933s |      23 |  2698269 |  2678638 |     1087   4803 |       70 |        0
945.51/945.94	c  935s |      23 |  2703784 |  2684138 |     1087   4812 |       70 |        0
947.51/947.96	c  937s |      23 |  2709313 |  2689638 |     1087   4820 |       70 |        0
949.51/949.99	c  939s |      23 |  2714822 |  2695138 |     1087   4828 |       70 |        0
951.61/952.01	c  941s |      23 |  2720143 |  2700438 |     1087   4836 |       70 |        0
953.61/954.04	c  943s |      23 |  2725893 |  2706138 |     1087   4844 |       70 |        0
955.61/956.06	c  945s |      23 |  2731618 |  2711838 |     1087   4852 |       70 |        0
957.61/958.09	c  947s |      23 |  2737275 |  2717438 |     1087   4861 |       70 |        0
959.71/960.14	c  949s |      23 |  2742808 |  2722938 |     1087   4869 |       70 |        0
961.71/962.16	c  951s |      23 |  2747955 |  2728038 |     1087   4876 |       70 |        0
963.71/964.17	c  953s |      23 |  2752880 |  2732938 |     1087   4884 |       70 |        0
965.71/966.19	c  955s |      23 |  2758021 |  2738038 |     1087   4891 |       70 |        0
967.72/968.19	c  957s |      23 |  2763155 |  2743138 |     1087   4899 |       70 |        0
969.71/970.20	c  959s |      23 |  2768580 |  2748538 |     1087   4907 |       70 |        0
971.81/972.22	c  961s |      23 |  2774044 |  2753938 |     1087   4915 |       70 |        0
973.81/974.24	c  963s |      23 |  2779380 |  2759238 |     1087   4923 |       70 |        0
975.81/976.26	c  965s |      23 |  2784814 |  2764638 |     1087   4931 |       70 |        0
977.81/978.29	c  967s |      23 |  2790056 |  2769838 |     1087   4938 |       70 |        0
979.91/980.31	c  969s |      23 |  2795183 |  2774938 |     1087   4946 |       70 |        0
981.92/982.32	c  971s |      23 |  2800432 |  2780138 |     1087   4954 |       70 |        0
983.91/984.33	c  973s |      23 |  2805881 |  2785538 |     1087   4962 |       70 |        0
985.91/986.37	c  975s |      23 |  2811347 |  2790938 |     1087   4970 |       70 |        0
987.91/988.37	c  977s |      23 |  2816884 |  2796438 |     1087   4978 |       70 |        0
989.91/990.38	c  979s |      23 |  2822353 |  2801838 |     1087   4986 |       70 |        0
992.01/992.40	c  981s |      23 |  2827519 |  2806938 |     1087   4994 |       70 |        0
994.01/994.41	c  983s |      23 |  2832552 |  2811938 |     1087   5001 |       70 |        0
996.01/996.41	c  985s |      23 |  2837601 |  2816938 |     1087   5008 |       70 |        0
998.00/998.41	c  987s |      23 |  2842531 |  2821838 |     1087   5016 |       70 |        0
1000.00/1000.43	c  989s |      23 |  2847460 |  2826738 |     1087   5023 |       70 |        0
1002.00/1002.47	c  991s |      23 |  2852375 |  2831638 |     1087   5030 |       70 |        0
1004.01/1004.49	c  993s |      23 |  2857826 |  2837038 |     1087   5038 |       70 |        0
1006.11/1006.52	c  995s |      23 |  2863312 |  2842438 |     1087   5046 |       70 |        0
1008.10/1008.55	c  997s |      23 |  2868557 |  2847638 |     1087   5054 |       70 |        0
1010.10/1010.57	c  999s |      23 |  2873811 |  2852838 |     1087   5062 |       70 |        0
1012.10/1012.58	c 1001s |      23 |  2879055 |  2858038 |     1087   5070 |       70 |        0
1014.10/1014.59	c 1003s |      23 |  2884076 |  2863038 |     1087   5077 |       70 |        0
1016.20/1016.60	c 1005s |      23 |  2888883 |  2867838 |     1087   5084 |       70 |        0
1018.21/1018.62	c 1008s |      23 |  2893817 |  2872738 |     1087   5092 |       70 |        0
1020.20/1020.65	c 1010s |      23 |  2898836 |  2877738 |     1087   5099 |       70 |        0
1022.20/1022.68	c 1012s |      23 |  2904583 |  2883438 |     1087   5107 |       70 |        0
1024.20/1024.69	c 1014s |      23 |  2910448 |  2889238 |     1087   5116 |       70 |        0
1026.30/1026.70	c 1016s |      23 |  2916087 |  2894838 |     1087   5124 |       70 |        0
1028.30/1028.70	c 1018s |      23 |  2921529 |  2900238 |     1087   5132 |       70 |        0
1030.31/1030.72	c 1020s |      23 |  2926999 |  2905638 |     1087   5140 |       70 |        0
1032.30/1032.75	c 1022s |      23 |  2932327 |  2910938 |     1087   5148 |       70 |        0
1034.30/1034.77	c 1024s |      23 |  2937859 |  2916438 |     1087   5156 |       70 |        0
1036.40/1036.81	c 1026s |      23 |  2943274 |  2921838 |     1087   5165 |       70 |        0
1038.40/1038.82	c 1028s |      23 |  2948590 |  2927138 |     1087   5172 |       70 |        0
1040.40/1040.83	c 1030s |      23 |  2954019 |  2932538 |     1087   5180 |       70 |        0
1042.41/1042.86	c 1032s |      23 |  2959644 |  2938138 |     1087   5189 |       70 |        0
1044.40/1044.86	c 1034s |      23 |  2964965 |  2943438 |     1087   5197 |       70 |        0
1046.40/1046.89	c 1036s |      23 |  2970483 |  2948938 |     1087   5205 |       70 |        0
1048.50/1048.90	c 1038s |      23 |  2975899 |  2954338 |     1087   5213 |       70 |        0
1050.50/1050.93	c 1040s |      23 |  2981223 |  2959638 |     1087   5221 |       70 |        0
1052.50/1052.93	c 1042s |      23 |  2986655 |  2965038 |     1087   5229 |       70 |        0
1054.51/1054.94	c 1044s |      23 |  2992289 |  2970638 |     1087   5237 |       70 |        0
1056.50/1056.96	c 1046s |      23 |  2997515 |  2975838 |     1087   5245 |       70 |        0
1058.50/1058.98	c 1048s |      23 |  3002844 |  2981138 |     1087   5253 |       70 |        0
1060.50/1060.99	c 1050s |      23 |  3008168 |  2986438 |     1087   5261 |       70 |        0
1062.60/1063.00	c 1052s |      23 |  3013514 |  2991738 |     1087   5268 |       70 |        0
1064.60/1065.03	c 1054s |      23 |  3018829 |  2997038 |     1087   5276 |       70 |        0
1066.60/1067.05	c 1056s |      23 |  3024052 |  3002238 |     1087   5284 |       70 |        0
1068.59/1069.09	c 1058s |      23 |  3029184 |  3007338 |     1087   5292 |       70 |        0
1070.69/1071.11	c 1060s |      23 |  3034294 |  3012438 |     1087   5299 |       70 |        0
1072.69/1073.12	c 1062s |      23 |  3039511 |  3017638 |     1087   5307 |       70 |        0
1074.69/1075.13	c 1064s |      23 |  3044931 |  3023038 |     1087   5315 |       70 |        0
1076.69/1077.14	c 1066s |      23 |  3050171 |  3028238 |     1087   5323 |       70 |        0
1078.70/1079.16	c 1068s |      23 |  3055509 |  3033538 |     1087   5331 |       70 |        0
1080.79/1081.20	c 1070s |      23 |  3060947 |  3038938 |     1087   5339 |       70 |        0
1082.79/1083.21	c 1072s |      23 |  3066300 |  3044238 |     1087   5346 |       70 |        0
1084.79/1085.21	c 1074s |      23 |  3071547 |  3049438 |     1087   5354 |       70 |        0
1086.79/1087.21	c 1076s |      23 |  3076793 |  3054638 |     1087   5362 |       70 |        0
1088.79/1089.22	c 1078s |      23 |  3081713 |  3059538 |     1087   5369 |       70 |        0
1090.80/1091.23	c 1080s |      23 |  3086834 |  3064638 |     1087   5377 |       70 |        0
1092.79/1093.26	c 1082s |      23 |  3092159 |  3069938 |     1087   5385 |       70 |        0
1094.79/1095.26	c 1084s |      23 |  3097906 |  3075638 |     1087   5393 |       70 |        0
1096.89/1097.30	c 1086s |      23 |  3103658 |  3081338 |     1087   5402 |       70 |        0
1098.89/1099.31	c 1088s |      23 |  3109272 |  3086938 |     1087   5410 |       70 |        0
1100.89/1101.33	c 1090s |      23 |  3114794 |  3092438 |     1087   5418 |       70 |        0
1102.89/1103.34	c 1092s |      23 |  3120234 |  3097838 |     1087   5426 |       70 |        0
1104.89/1105.35	c 1094s |      23 |  3125668 |  3103238 |     1087   5434 |       70 |        0
1106.89/1107.38	c 1096s |      23 |  3131090 |  3108638 |     1087   5442 |       70 |        0
1108.99/1109.42	c 1098s |      23 |  3136411 |  3113938 |     1087   5450 |       70 |        0
1110.99/1111.43	c 1100s |      23 |  3141724 |  3119238 |     1087   5457 |       70 |        0
1112.98/1113.47	c 1102s |      23 |  3147162 |  3124638 |     1087   5465 |       70 |        0
1114.99/1115.48	c 1104s |      23 |  3152415 |  3129838 |     1087   5473 |       70 |        0
1117.08/1117.51	c 1106s |      23 |  3157635 |  3135038 |     1087   5481 |       70 |        0
1119.08/1119.54	c 1108s |      23 |  3162864 |  3140238 |     1087   5489 |       70 |        0
1121.08/1121.57	c 1110s |      23 |  3168204 |  3145538 |     1087   5496 |       70 |        0
1123.18/1123.60	c 1112s |      23 |  3173226 |  3150538 |     1087   5504 |       70 |        0
1125.19/1125.60	c 1114s |      23 |  3178260 |  3155538 |     1087   5511 |       70 |        0
1127.20/1127.62	c 1117s |      23 |  3183497 |  3160738 |     1087   5519 |       70 |        0
1129.19/1129.64	c 1119s |      23 |  3188815 |  3166038 |     1087   5527 |       70 |        0
1131.19/1131.64	c 1121s |      23 |  3194054 |  3171238 |     1087   5534 |       70 |        0
1133.19/1133.65	c 1123s |      23 |  3199285 |  3176438 |     1087   5542 |       70 |        0
1135.19/1135.66	c 1125s |      23 |  3204305 |  3181438 |     1087   5550 |       70 |        0
1137.18/1137.67	c 1127s |      23 |  3209559 |  3186638 |     1087   5557 |       70 |        0
1139.19/1139.69	c 1129s |      23 |  3214590 |  3191638 |     1087   5565 |       70 |        0
1141.28/1141.70	c 1131s |      23 |  3219631 |  3196638 |     1087   5572 |       70 |        0
1143.28/1143.74	c 1133s |      23 |  3224573 |  3201538 |     1087   5579 |       70 |        0
1145.28/1145.74	c 1135s |      23 |  3229416 |  3206338 |     1087   5586 |       70 |        0
1147.28/1147.77	c 1137s |      23 |  3234854 |  3211738 |     1087   5594 |       70 |        0
1149.28/1149.79	c 1139s |      23 |  3240072 |  3216938 |     1087   5602 |       70 |        0
1151.29/1151.79	c 1141s |      23 |  3245819 |  3222638 |     1087   5610 |       70 |        0
1153.38/1153.81	c 1143s |      23 |  3251434 |  3228238 |     1087   5619 |       70 |        0
1155.38/1155.84	c 1145s |      23 |  3256975 |  3233738 |     1087   5627 |       70 |        0
1157.38/1157.86	c 1147s |      23 |  3262299 |  3239038 |     1087   5635 |       70 |        0
1159.38/1159.87	c 1149s |      23 |  3267615 |  3244338 |     1087   5643 |       70 |        0
1161.38/1161.88	c 1151s |      23 |  3272865 |  3249538 |     1087   5650 |       70 |        0
1163.48/1163.92	c 1153s |      23 |  3278429 |  3255038 |     1087   5659 |       70 |        0
1165.48/1165.94	c 1155s |      23 |  3283770 |  3260338 |     1087   5666 |       70 |        0
1167.48/1167.94	c 1157s |      23 |  3288802 |  3265338 |     1087   5674 |       70 |        0
1169.48/1169.97	c 1159s |      23 |  3294047 |  3270538 |     1087   5681 |       70 |        0
1171.57/1172.00	c 1161s |      23 |  3299395 |  3275838 |     1087   5689 |       70 |        0
1173.58/1174.03	c 1163s |      23 |  3304319 |  3280738 |     1087   5697 |       70 |        0
1175.59/1176.04	c 1165s |      23 |  3309162 |  3285538 |     1087   5704 |       70 |        0
1177.58/1178.08	c 1167s |      23 |  3314296 |  3290638 |     1087   5711 |       70 |        0
1179.58/1180.09	c 1169s |      23 |  3319314 |  3295638 |     1087   5719 |       70 |        0
1181.68/1182.12	c 1171s |      23 |  3324336 |  3300638 |     1087   5726 |       70 |        0
1183.68/1184.15	c 1173s |      23 |  3329259 |  3305538 |     1087   5733 |       70 |        0
1185.68/1186.17	c 1175s |      23 |  3334691 |  3310938 |     1087   5741 |       70 |        0
1187.69/1188.18	c 1177s |      23 |  3339818 |  3316038 |     1087   5749 |       70 |        0
1189.68/1190.18	c 1179s |      23 |  3344844 |  3321038 |     1087   5756 |       70 |        0
1191.68/1192.18	c 1181s |      23 |  3350083 |  3326238 |     1087   5764 |       70 |        0
1193.78/1194.20	c 1183s |      23 |  3355126 |  3331238 |     1087   5771 |       70 |        0
1195.78/1196.21	c 1185s |      23 |  3360245 |  3336338 |     1087   5779 |       70 |        0
1197.78/1198.24	c 1187s |      23 |  3365167 |  3341238 |     1087   5786 |       70 |        0
1199.78/1200.27	c 1189s |      23 |  3370191 |  3346238 |     1087   5794 |       70 |        0
1201.77/1202.27	c 1191s |      23 |  3375413 |  3351438 |     1087   5801 |       70 |        0
1203.87/1204.31	c 1193s |      23 |  3380564 |  3356538 |     1196   5808 |       70 |        0
1205.87/1206.33	c 1195s |      23 |  3385783 |  3361738 |     1196   5815 |       70 |        0
1207.87/1208.35	c 1197s |      23 |  3391108 |  3367038 |     1196   5823 |       70 |        0
1209.87/1210.38	c 1199s |      23 |  3396139 |  3372038 |     1196   5829 |       70 |        0
1211.88/1212.31	c 1201s |      24 |  3400775 |  3376662 |     1196   5836 |       70 |        0
1213.87/1214.33	c 1203s |      24 |  3406184 |  3381862 |     1196   5843 |       70 |        0
1215.87/1216.36	c 1205s |      24 |  3411431 |  3387062 |     1196   5850 |       70 |        0
1217.87/1218.36	c 1207s |      24 |  3416695 |  3392262 |     1196   5857 |       70 |        0
1219.87/1220.37	c 1209s |      24 |  3421817 |  3397362 |     1196   5864 |       70 |        0
1221.97/1222.40	c 1211s |      24 |  3426828 |  3402362 |     1196   5871 |       70 |        0
1223.98/1224.43	c 1213s |      24 |  3431776 |  3407262 |     1196   5877 |       70 |        0
1225.97/1226.44	c 1215s |      24 |  3436693 |  3412162 |     1196   5884 |       70 |        0
1227.97/1228.45	c 1217s |      24 |  3442035 |  3417462 |     1196   5891 |       70 |        0
1229.97/1230.48	c 1219s |      24 |  3447453 |  3422862 |     1196   5898 |       70 |        0
1232.07/1232.50	c 1221s |      24 |  3452574 |  3427962 |     1196   5905 |       70 |        0
1234.07/1234.52	c 1223s |      24 |  3457702 |  3433062 |     1196   5912 |       70 |        0
1236.07/1236.55	c 1225s |      24 |  3462926 |  3438262 |     1196   5919 |       70 |        0
1238.07/1238.58	c 1227s |      24 |  3468044 |  3443362 |     1196   5926 |       70 |        0
1240.16/1240.62	c 1229s |      24 |  3473175 |  3448462 |     1196   5933 |       70 |        0
1242.16/1242.65	c 1232s |      24 |  3478398 |  3453662 |     1196   5940 |       70 |        0
1244.16/1244.67	c 1234s |      24 |  3483515 |  3458762 |     1196   5947 |       70 |        0
1246.16/1246.68	c 1236s |      24 |  3488530 |  3463762 |     1196   5954 |       70 |        0
1248.26/1248.70	c 1238s |      24 |  3493536 |  3468762 |     1196   5960 |       70 |        0
1250.27/1250.74	c 1240s |      24 |  3498652 |  3473862 |     1196   5967 |       70 |        0
1252.26/1252.75	c 1242s |      24 |  3503569 |  3478762 |     1196   5974 |       70 |        0
1254.26/1254.76	c 1244s |      24 |  3508487 |  3483662 |     1196   5981 |       70 |        0
1256.26/1256.78	c 1246s |      24 |  3513415 |  3488562 |     1196   5987 |       70 |        0
1258.26/1258.79	c 1248s |      24 |  3518339 |  3493462 |     1196   5994 |       70 |        0
1260.27/1260.79	c 1250s |      24 |  3523156 |  3498262 |     1196   6001 |       70 |        0
1262.37/1262.83	c 1252s |      24 |  3528379 |  3503462 |     1196   6008 |       70 |        0
1264.37/1264.84	c 1254s |      24 |  3533500 |  3508562 |     1196   6015 |       70 |        0
1266.37/1266.85	c 1256s |      24 |  3538622 |  3513662 |     1196   6022 |       70 |        0
1268.37/1268.88	c 1258s |      24 |  3543552 |  3518562 |     1196   6028 |       70 |        0
1270.47/1270.92	c 1260s |      24 |  3548576 |  3523562 |     1196   6035 |       70 |        0
1272.47/1272.94	c 1262s |      24 |  3553588 |  3528562 |     1196   6042 |       70 |        0
1274.47/1274.97	c 1264s |      24 |  3558811 |  3533762 |     1196   6049 |       70 |        0
1276.47/1276.97	c 1266s |      24 |  3563831 |  3538762 |     1196   6056 |       70 |        0
1278.57/1279.00	c 1268s |      24 |  3568842 |  3543762 |     1196   6063 |       70 |        0
1280.57/1281.01	c 1270s |      24 |  3573666 |  3548562 |     1196   6069 |       70 |        0
1282.57/1283.02	c 1272s |      24 |  3578483 |  3553362 |     1196   6076 |       70 |        0
1284.56/1285.02	c 1274s |      24 |  3583500 |  3558362 |     1196   6083 |       70 |        0
1286.57/1287.06	c 1276s |      24 |  3588638 |  3563462 |     1196   6090 |       70 |        0
1288.56/1289.08	c 1278s |      24 |  3593672 |  3568462 |     1196   6096 |       70 |        0
1290.66/1291.11	c 1280s |      24 |  3598899 |  3573662 |     1196   6103 |       70 |        0
1292.66/1293.14	c 1282s |      24 |  3603815 |  3578562 |     1196   6110 |       70 |        0
1294.66/1295.15	c 1284s |      24 |  3608540 |  3583262 |     1196   6117 |       70 |        0
1296.66/1297.17	c 1286s |      24 |  3613567 |  3588262 |     1196   6123 |       70 |        0
1298.67/1299.18	c 1288s |      24 |  3618474 |  3593162 |     1196   6130 |       70 |        0
1300.76/1301.22	c 1290s |      24 |  3623300 |  3597962 |     1196   6137 |       70 |        0
1302.76/1303.24	c 1292s |      24 |  3628025 |  3602662 |     1196   6143 |       70 |        0
1304.76/1305.28	c 1294s |      24 |  3632759 |  3607362 |     1196   6150 |       70 |        0
1306.86/1307.31	c 1296s |      24 |  3637575 |  3612162 |     1196   6156 |       70 |        0
1308.86/1309.34	c 1298s |      24 |  3642275 |  3616862 |     1196   6163 |       70 |        0
1310.86/1311.37	c 1300s |      24 |  3647099 |  3621662 |     1196   6169 |       70 |        0
1312.86/1313.40	c 1302s |      24 |  3651721 |  3626262 |     1196   6175 |       70 |        0
1314.96/1315.40	c 1304s |      24 |  3656639 |  3631162 |     1196   6182 |       70 |        0
1316.95/1317.43	c 1306s |      24 |  3661780 |  3636262 |     1196   6189 |       70 |        0
1318.95/1319.46	c 1308s |      24 |  3666927 |  3641362 |     1196   6196 |       70 |        0
1320.95/1321.47	c 1310s |      24 |  3672143 |  3646562 |     1196   6203 |       70 |        0
1322.96/1323.48	c 1312s |      24 |  3677880 |  3652262 |     1196   6211 |       70 |        0
1325.06/1325.51	c 1314s |      24 |  3683329 |  3657662 |     1196   6218 |       70 |        0
1327.05/1327.53	c 1316s |      24 |  3688551 |  3662862 |     1196   6225 |       70 |        0
1329.05/1329.53	c 1318s |      24 |  3693896 |  3668162 |     1196   6232 |       70 |        0
1331.05/1331.54	c 1320s |      24 |  3699249 |  3673462 |     1196   6240 |       70 |        0
1333.05/1333.56	c 1322s |      24 |  3704465 |  3678662 |     1196   6247 |       70 |        0
1335.06/1335.59	c 1324s |      24 |  3709711 |  3683862 |     1196   6254 |       70 |        0
1337.16/1337.61	c 1326s |      24 |  3714828 |  3688962 |     1196   6261 |       70 |        0
1339.16/1339.62	c 1328s |      24 |  3720165 |  3694262 |     1196   6268 |       70 |        0
1341.16/1341.65	c 1331s |      24 |  3725794 |  3699862 |     1196   6276 |       70 |        0
1343.15/1343.67	c 1333s |      24 |  3731106 |  3705162 |     1196   6283 |       70 |        0
1345.15/1345.68	c 1335s |      24 |  3736358 |  3710362 |     1196   6290 |       70 |        0
1347.25/1347.70	c 1337s |      24 |  3741595 |  3715562 |     1196   6297 |       70 |        0
1349.26/1349.75	c 1339s |      24 |  3746733 |  3720662 |     1196   6304 |       70 |        0
1351.25/1351.75	c 1341s |      24 |  3751768 |  3725662 |     1196   6311 |       70 |        0
1353.25/1353.77	c 1343s |      24 |  3756999 |  3730862 |     1196   6318 |       70 |        0
1355.25/1355.79	c 1345s |      24 |  3762533 |  3736362 |     1196   6325 |       70 |        0
1357.25/1357.80	c 1347s |      24 |  3767769 |  3741562 |     1196   6332 |       70 |        0
1359.35/1359.83	c 1349s |      24 |  3773308 |  3747062 |     1196   6340 |       70 |        0
1361.36/1361.86	c 1351s |      24 |  3778648 |  3752362 |     1196   6347 |       70 |        0
1363.35/1363.87	c 1353s |      24 |  3783794 |  3757462 |     1196   6354 |       70 |        0
1365.35/1365.89	c 1355s |      24 |  3789220 |  3762862 |     1196   6361 |       70 |        0
1367.45/1367.90	c 1357s |      24 |  3794443 |  3768062 |     1196   6369 |       70 |        0
1369.45/1369.92	c 1359s |      24 |  3799886 |  3773462 |     1196   6376 |       70 |        0
1371.45/1371.96	c 1361s |      24 |  3805107 |  3778662 |     1196   6383 |       70 |        0
1373.45/1373.96	c 1363s |      24 |  3810252 |  3783762 |     1196   6390 |       70 |        0
1375.44/1375.98	c 1365s |      24 |  3815174 |  3788662 |     1196   6397 |       70 |        0
1377.54/1378.01	c 1367s |      24 |  3820222 |  3793662 |     1196   6403 |       70 |        0
1379.54/1380.03	c 1369s |      24 |  3825157 |  3798562 |     1196   6410 |       70 |        0
1381.54/1382.06	c 1371s |      24 |  3830314 |  3803662 |     1196   6417 |       70 |        0
1383.54/1384.07	c 1373s |      24 |  3835450 |  3808762 |     1196   6424 |       70 |        0
1385.55/1386.08	c 1375s |      24 |  3840481 |  3813762 |     1196   6431 |       70 |        0
1387.64/1388.12	c 1377s |      24 |  3845815 |  3819062 |     1196   6438 |       70 |        0
1389.64/1390.12	c 1379s |      24 |  3851249 |  3824462 |     1196   6445 |       70 |        0
1391.64/1392.15	c 1381s |      24 |  3856782 |  3829962 |     1196   6453 |       70 |        0
1393.64/1394.17	c 1383s |      24 |  3861925 |  3835062 |     1196   6460 |       70 |        0
1395.75/1396.20	c 1385s |      24 |  3866960 |  3840062 |     1196   6466 |       70 |        0
1397.75/1398.24	c 1387s |      24 |  3872198 |  3845262 |     1196   6473 |       70 |        0
1399.75/1400.27	c 1389s |      24 |  3877239 |  3850262 |     1196   6480 |       70 |        0
1401.75/1402.29	c 1391s |      24 |  3882371 |  3855362 |     1196   6487 |       70 |        0
1403.84/1404.33	c 1393s |      24 |  3887614 |  3860562 |     1196   6494 |       70 |        0
1405.84/1406.35	c 1395s |      24 |  3892667 |  3865562 |     1196   6501 |       70 |        0
1407.84/1408.39	c 1397s |      24 |  3897822 |  3870662 |     1196   6508 |       70 |        0
1409.85/1410.40	c 1399s |      24 |  3902836 |  3875662 |     1196   6515 |       70 |        0
1411.95/1412.41	c 1401s |      24 |  3907769 |  3880562 |     1196   6522 |       70 |        0
1413.94/1414.43	c 1403s |      24 |  3912698 |  3885462 |     1196   6529 |       70 |        0
1415.94/1416.45	c 1405s |      24 |  3917531 |  3890262 |     1196   6535 |       70 |        0
1417.94/1418.45	c 1407s |      24 |  3922273 |  3894962 |     1196   6542 |       70 |        0
1419.94/1420.45	c 1409s |      24 |  3927385 |  3900062 |     1196   6548 |       70 |        0
1421.94/1422.49	c 1411s |      24 |  3932500 |  3905162 |     1196   6555 |       70 |        0
1424.04/1424.52	c 1413s |      24 |  3937836 |  3910462 |     1196   6563 |       70 |        0
1426.03/1426.54	c 1415s |      24 |  3943067 |  3915662 |     1196   6570 |       70 |        0
1428.03/1428.54	c 1417s |      24 |  3948192 |  3920762 |     1196   6577 |       70 |        0
1430.03/1430.57	c 1419s |      24 |  3953401 |  3925962 |     1196   6584 |       70 |        0
1432.13/1432.60	c 1421s |      24 |  3958540 |  3931062 |     1196   6591 |       70 |        0
1434.13/1434.61	c 1423s |      24 |  3963567 |  3936062 |     1196   6597 |       70 |        0
1436.14/1436.63	c 1426s |      24 |  3968707 |  3941162 |     1196   6604 |       70 |        0
1438.14/1438.65	c 1428s |      24 |  3973728 |  3946162 |     1196   6611 |       70 |        0
1440.14/1440.65	c 1430s |      24 |  3978852 |  3951262 |     1196   6618 |       70 |        0
1442.14/1442.68	c 1432s |      24 |  3983786 |  3956162 |     1196   6625 |       70 |        0
1444.24/1444.71	c 1434s |      24 |  3988718 |  3961062 |     1196   6632 |       70 |        0
1446.24/1446.73	c 1436s |      24 |  3993645 |  3965962 |     1196   6638 |       70 |        0
1448.24/1448.74	c 1438s |      24 |  3998381 |  3970662 |     1196   6645 |       70 |        0
1450.24/1450.76	c 1440s |      24 |  4003099 |  3975362 |     1196   6651 |       70 |        0
1452.34/1452.80	c 1442s |      24 |  4008039 |  3980262 |     1196   6658 |       70 |        0
1454.34/1454.84	c 1444s |      24 |  4012861 |  3985062 |     1196   6665 |       70 |        0
1456.34/1456.84	c 1446s |      24 |  4017789 |  3989962 |     1196   6671 |       70 |        0
1458.34/1458.89	c 1448s |      24 |  4022707 |  3994862 |     1196   6678 |       70 |        0
1460.44/1460.93	c 1450s |      24 |  4027531 |  3999662 |     1196   6685 |       70 |        0
1462.43/1462.97	c 1452s |      24 |  4032453 |  4004562 |     1196   6691 |       70 |        0
1464.43/1464.98	c 1454s |      24 |  4037295 |  4009362 |     1196   6698 |       70 |        0
1466.43/1466.98	c 1456s |      24 |  4042518 |  4014562 |     1196   6705 |       70 |        0
1468.53/1469.01	c 1458s |      24 |  4047646 |  4019662 |     1196   6712 |       70 |        0
1470.53/1471.02	c 1460s |      24 |  4052672 |  4024662 |     1196   6719 |       70 |        0
1472.54/1473.02	c 1462s |      24 |  4057805 |  4029762 |     1196   6726 |       70 |        0
1474.53/1475.04	c 1464s |      24 |  4062830 |  4034762 |     1196   6733 |       70 |        0
1476.53/1477.06	c 1466s |      24 |  4067845 |  4039762 |     1196   6739 |       70 |        0
1478.53/1479.08	c 1468s |      24 |  4072881 |  4044762 |     1196   6746 |       70 |        0
1480.53/1481.10	c 1470s |      24 |  4077596 |  4049462 |     1196   6753 |       70 |        0
1482.63/1483.11	c 1472s |      24 |  4082752 |  4054562 |     1196   6760 |       70 |        0
1484.64/1485.13	c 1474s |      24 |  4087788 |  4059562 |     1196   6767 |       70 |        0
1486.63/1487.17	c 1476s |      24 |  4092937 |  4064662 |     1196   6774 |       70 |        0
1488.63/1489.19	c 1478s |      24 |  4097871 |  4069562 |     1196   6780 |       70 |        0
1490.73/1491.21	c 1480s |      24 |  4102908 |  4074562 |     1196   6787 |       70 |        0
1492.73/1493.22	c 1482s |      24 |  4107861 |  4079462 |     1196   6794 |       70 |        0
1494.72/1495.26	c 1484s |      24 |  4112891 |  4084462 |     1196   6801 |       70 |        0
1496.73/1497.29	c 1486s |      24 |  4118016 |  4089562 |     1196   6808 |       70 |        0
1498.83/1499.32	c 1488s |      24 |  4123143 |  4094662 |     1196   6815 |       70 |        0
1500.82/1501.33	c 1490s |      24 |  4128275 |  4099762 |     1196   6822 |       70 |        0
1502.82/1503.35	c 1492s |      24 |  4133721 |  4105162 |     1196   6829 |       70 |        0
1504.82/1505.39	c 1494s |      24 |  4139060 |  4110462 |     1196   6836 |       70 |        0
1506.92/1507.42	c 1496s |      24 |  4144309 |  4115662 |     1196   6843 |       70 |        0
1508.92/1509.46	c 1498s |      24 |  4149259 |  4120562 |     1196   6850 |       70 |        0
1510.93/1511.49	c 1500s |      24 |  4154419 |  4125662 |     1196   6857 |       70 |        0
1512.92/1513.49	c 1502s |      24 |  4159453 |  4130662 |     1196   6864 |       70 |        0
1515.02/1515.50	c 1504s |      24 |  4164372 |  4135562 |     1196   6870 |       70 |        0
1517.02/1517.53	c 1506s |      24 |  4169294 |  4140462 |     1196   6877 |       70 |        0
1519.02/1519.56	c 1508s |      24 |  4174427 |  4145562 |     1196   6884 |       70 |        0
1521.02/1521.57	c 1510s |      24 |  4179454 |  4150562 |     1196   6891 |       70 |        0
1523.03/1523.58	c 1512s |      24 |  4184473 |  4155562 |     1196   6898 |       70 |        0
1525.02/1525.59	c 1514s |      24 |  4189400 |  4160462 |     1196   6905 |       70 |        0
1527.12/1527.64	c 1517s |      24 |  4194521 |  4165562 |     1196   6912 |       70 |        0
1529.12/1529.66	c 1519s |      24 |  4199547 |  4170562 |     1196   6918 |       70 |        0
1531.12/1531.67	c 1521s |      24 |  4204583 |  4175562 |     1196   6925 |       70 |        0
1533.22/1533.72	c 1523s |      24 |  4209499 |  4180462 |     1196   6932 |       70 |        0
1535.22/1535.73	c 1525s |      24 |  4214541 |  4185462 |     1196   6939 |       70 |        0
1537.22/1537.76	c 1527s |      24 |  4219472 |  4190362 |     1196   6946 |       70 |        0
1539.22/1539.77	c 1529s |      24 |  4224213 |  4195062 |     1196   6952 |       70 |        0
1541.33/1541.80	c 1531s |      24 |  4229266 |  4200062 |     1196   6959 |       70 |        0
1543.33/1543.80	c 1533s |      24 |  4234290 |  4205062 |     1196   6966 |       70 |        0
1545.33/1545.84	c 1535s |      24 |  4239408 |  4210162 |     1196   6972 |       70 |        0
1547.33/1547.87	c 1537s |      24 |  4244541 |  4215262 |     1196   6979 |       70 |        0
1549.32/1549.88	c 1539s |      24 |  4249563 |  4220262 |     1196   6986 |       70 |        0
1551.32/1551.89	c 1541s |      24 |  4254592 |  4225262 |     1196   6993 |       70 |        0
1553.42/1553.91	c 1543s |      24 |  4259426 |  4230062 |     1196   7000 |       70 |        0
1555.42/1555.94	c 1545s |      24 |  4264555 |  4235162 |     1196   7006 |       70 |        0
1557.42/1557.98	c 1547s |      24 |  4269768 |  4240362 |     1196   7014 |       70 |        0
1559.52/1560.01	c 1549s |      24 |  4274992 |  4245562 |     1196   7021 |       70 |        0
1561.53/1562.04	c 1551s |      24 |  4280221 |  4250762 |     1196   7028 |       70 |        0
1563.52/1564.06	c 1553s |      24 |  4285549 |  4256062 |     1196   7035 |       70 |        0
1565.52/1566.07	c 1555s |      24 |  4290563 |  4261062 |     1196   7042 |       70 |        0
1567.52/1568.09	c 1557s |      24 |  4295579 |  4266062 |     1196   7048 |       70 |        0
1569.62/1570.12	c 1559s |      24 |  4300714 |  4271162 |     1196   7055 |       70 |        0
1571.62/1572.14	c 1561s |      24 |  4305842 |  4276262 |     1196   7062 |       70 |        0
1573.63/1574.15	c 1563s |      24 |  4310988 |  4281362 |     1196   7069 |       70 |        0
1575.62/1576.18	c 1565s |      24 |  4316110 |  4286462 |     1196   7076 |       70 |        0
1577.72/1578.21	c 1567s |      24 |  4321448 |  4291762 |     1196   7083 |       70 |        0
1579.72/1580.23	c 1569s |      24 |  4326469 |  4296762 |     1196   7090 |       70 |        0
1581.72/1582.25	c 1571s |      24 |  4331391 |  4301662 |     1196   7097 |       70 |        0
1583.72/1584.26	c 1573s |      24 |  4336526 |  4306762 |     1196   7104 |       70 |        0
1585.72/1586.26	c 1575s |      24 |  4341750 |  4311962 |     1196   7111 |       70 |        0
1587.72/1588.27	c 1577s |      24 |  4346977 |  4317162 |     1196   7118 |       70 |        0
1589.81/1590.30	c 1579s |      24 |  4352197 |  4322362 |     1196   7125 |       70 |        0
1591.81/1592.30	c 1581s |      24 |  4357426 |  4327562 |     1196   7132 |       70 |        0
1593.81/1594.32	c 1583s |      24 |  4362331 |  4332462 |     1196   7139 |       70 |        0
1595.81/1596.36	c 1585s |      24 |  4367355 |  4337462 |     1196   7146 |       70 |        0
1597.92/1598.40	c 1587s |      24 |  4372581 |  4342662 |     1196   7153 |       70 |        0
1599.91/1600.43	c 1589s |      24 |  4377822 |  4347862 |     1196   7160 |       70 |        0
1601.91/1602.45	c 1591s |      24 |  4383080 |  4353062 |     1196   7167 |       70 |        0
1603.91/1604.46	c 1593s |      24 |  4388118 |  4358062 |     1196   7174 |       70 |        0
1605.91/1606.48	c 1595s |      24 |  4393644 |  4363562 |     1196   7181 |       70 |        0
1608.01/1608.51	c 1597s |      24 |  4398969 |  4368862 |     1196   7188 |       70 |        0
1610.01/1610.52	c 1599s |      24 |  4403908 |  4373762 |     1196   7195 |       70 |        0
1612.01/1612.56	c 1601s |      24 |  4409120 |  4378962 |     1196   7202 |       70 |        0
1614.01/1614.56	c 1603s |      24 |  4414356 |  4384162 |     1196   7209 |       70 |        0
1616.01/1616.56	c 1605s |      24 |  4419585 |  4389362 |     1196   7216 |       70 |        0
1618.01/1618.59	c 1607s |      24 |  4424828 |  4394562 |     1196   7223 |       70 |        0
1620.00/1620.59	c 1609s |      24 |  4429972 |  4399662 |     1196   7230 |       70 |        0
1622.11/1622.63	c 1612s |      24 |  4435205 |  4404862 |     1196   7237 |       70 |        0
1624.10/1624.64	c 1614s |      24 |  4440534 |  4410162 |     1196   7245 |       70 |        0
1626.11/1626.64	c 1616s |      24 |  4445653 |  4415262 |     1196   7252 |       70 |        0
1628.11/1628.65	c 1618s |      24 |  4450595 |  4420162 |     1196   7258 |       70 |        0
1630.21/1630.70	c 1620s |      24 |  4455811 |  4425362 |     1196   7265 |       70 |        0
1632.21/1632.71	c 1622s |      24 |  4460848 |  4430362 |     1196   7272 |       70 |        0
1634.22/1634.73	c 1624s |      24 |  4465783 |  4435262 |     1196   7279 |       70 |        0
1636.21/1636.76	c 1626s |      24 |  4470706 |  4440162 |     1196   7286 |       70 |        0
1638.21/1638.79	c 1628s |      24 |  4475625 |  4445062 |     1196   7292 |       70 |        0
1640.31/1640.82	c 1630s |      24 |  4480457 |  4449862 |     1196   7299 |       70 |        0
1642.31/1642.84	c 1632s |      24 |  4485378 |  4454762 |     1196   7306 |       70 |        0
1644.31/1644.86	c 1634s |      24 |  4490398 |  4459762 |     1196   7312 |       70 |        0
1646.31/1646.87	c 1636s |      24 |  4495444 |  4464762 |     1196   7319 |       70 |        0
1648.30/1648.90	c 1638s |      24 |  4500404 |  4469662 |     1196   7326 |       70 |        0
1650.40/1650.92	c 1640s |      24 |  4505450 |  4474662 |     1196   7333 |       70 |        0
1652.40/1652.92	c 1642s |      24 |  4510285 |  4479462 |     1196   7339 |       70 |        0
1654.40/1654.92	c 1644s |      24 |  4515003 |  4484162 |     1196   7346 |       70 |        0
1656.40/1656.95	c 1646s |      24 |  4519943 |  4489062 |     1196   7352 |       70 |        0
1658.41/1658.98	c 1648s |      24 |  4524969 |  4494062 |     1196   7359 |       70 |        0
1660.51/1661.01	c 1650s |      24 |  4530099 |  4499162 |     1196   7366 |       70 |        0
1662.50/1663.04	c 1652s |      24 |  4535232 |  4504262 |     1196   7373 |       70 |        0
1664.50/1665.04	c 1654s |      24 |  4540151 |  4509162 |     1196   7380 |       70 |        0
1666.50/1667.07	c 1656s |      24 |  4545182 |  4514162 |     1196   7387 |       70 |        0
1668.50/1669.10	c 1658s |      24 |  4550129 |  4519062 |     1196   7393 |       70 |        0
1670.60/1671.11	c 1660s |      24 |  4555256 |  4524162 |     1196   7400 |       70 |        0
1672.61/1673.14	c 1662s |      24 |  4560395 |  4529262 |     1196   7407 |       70 |        0
1674.60/1675.15	c 1664s |      24 |  4565421 |  4534262 |     1196   7414 |       70 |        0
1676.60/1677.16	c 1666s |      24 |  4570444 |  4539262 |     1196   7421 |       70 |        0
1678.60/1679.19	c 1668s |      24 |  4575581 |  4544362 |     1196   7428 |       70 |        0
1680.70/1681.22	c 1670s |      24 |  4580515 |  4549262 |     1196   7434 |       70 |        0
1682.70/1683.25	c 1672s |      24 |  4585544 |  4554262 |     1196   7441 |       70 |        0
1684.70/1685.26	c 1674s |      24 |  4590674 |  4559362 |     1196   7448 |       70 |        0
1686.70/1687.27	c 1676s |      24 |  4595596 |  4564262 |     1196   7455 |       70 |        0
1688.70/1689.28	c 1678s |      24 |  4600837 |  4569462 |     1196   7462 |       70 |        0
1690.69/1691.29	c 1680s |      24 |  4605750 |  4574362 |     1196   7469 |       70 |        0
1692.79/1693.32	c 1682s |      24 |  4610998 |  4579562 |     1196   7476 |       70 |        0
1694.79/1695.34	c 1684s |      24 |  4616325 |  4584862 |     1196   7483 |       70 |        0
1696.80/1697.37	c 1686s |      24 |  4621685 |  4590162 |     1196   7490 |       70 |        0
1698.79/1699.38	c 1688s |      24 |  4626938 |  4595362 |     1196   7497 |       70 |        0
1700.80/1701.39	c 1690s |      24 |  4632090 |  4600462 |     1196   7504 |       70 |        0
1702.90/1703.40	c 1692s |      24 |  4637137 |  4605462 |     1196   7511 |       70 |        0
1704.90/1705.41	c 1694s |      24 |  4641986 |  4610262 |     1196   7518 |       70 |        0
1706.90/1707.45	c 1696s |      24 |  4646941 |  4615162 |     1196   7524 |       70 |        0
1708.91/1709.47	c 1698s |      24 |  4651862 |  4620062 |     1196   7531 |       70 |        0
1710.90/1711.49	c 1700s |      24 |  4656700 |  4624862 |     1196   7538 |       70 |        0
1713.00/1713.52	c 1702s |      24 |  4661644 |  4629762 |     1196   7544 |       70 |        0
1715.00/1715.53	c 1704s |      24 |  4666670 |  4634762 |     1196   7551 |       70 |        0
1717.00/1717.57	c 1706s |      24 |  4671677 |  4639762 |     1196   7558 |       70 |        0
1719.10/1719.60	c 1708s |      24 |  4677011 |  4645062 |     1196   7565 |       70 |        0
1721.10/1721.62	c 1710s |      24 |  4682033 |  4650062 |     1196   7572 |       70 |        0
1723.10/1723.64	c 1713s |      24 |  4687062 |  4655062 |     1196   7579 |       70 |        0
1725.09/1725.68	c 1715s |      24 |  4692083 |  4660062 |     1196   7586 |       70 |        0
1727.09/1727.68	c 1717s |      24 |  4696888 |  4664862 |     1196   7592 |       70 |        0
1729.09/1729.69	c 1719s |      24 |  4701925 |  4669862 |     1196   7599 |       70 |        0
1731.19/1731.72	c 1721s |      24 |  4706962 |  4674862 |     1196   7606 |       70 |        0
1733.20/1733.75	c 1723s |      24 |  4711912 |  4679762 |     1196   7613 |       70 |        0
1735.19/1735.76	c 1725s |      24 |  4716727 |  4684562 |     1196   7619 |       70 |        0
1737.19/1737.78	c 1727s |      24 |  4721563 |  4689362 |     1196   7626 |       70 |        0
1739.29/1739.81	c 1729s |      24 |  4726389 |  4694162 |     1196   7632 |       70 |        0
1741.29/1741.83	c 1731s |      24 |  4731196 |  4698962 |     1196   7639 |       70 |        0
1743.29/1743.84	c 1733s |      24 |  4735920 |  4703662 |     1196   7645 |       70 |        0
1745.29/1745.86	c 1735s |      24 |  4740740 |  4708462 |     1196   7652 |       70 |        0
1747.29/1747.88	c 1737s |      24 |  4745363 |  4713062 |     1196   7658 |       70 |        0
1749.39/1749.91	c 1739s |      24 |  4749883 |  4717562 |     1196   7664 |       70 |        0
1751.38/1751.94	c 1741s |      24 |  4754405 |  4722062 |     1196   7670 |       70 |        0
1753.39/1753.98	c 1743s |      24 |  4759433 |  4727062 |     1196   7677 |       70 |        0
1755.49/1756.01	c 1745s |      24 |  4764578 |  4732162 |     1196   7684 |       70 |        0
1757.49/1758.02	c 1747s |      24 |  4769520 |  4737062 |     1196   7691 |       70 |        0
1759.50/1760.06	c 1749s |      24 |  4774474 |  4741962 |     1196   7698 |       70 |        0
1761.59/1762.10	c 1751s |      24 |  4779589 |  4747062 |     1196   7705 |       70 |        0
1763.59/1764.11	c 1753s |      24 |  4784627 |  4752062 |     1196   7711 |       70 |        0
1765.59/1766.11	c 1755s |      24 |  4789966 |  4757362 |     1196   7719 |       70 |        0
1767.59/1768.12	c 1757s |      24 |  4795197 |  4762562 |     1196   7726 |       70 |        0
1769.59/1770.14	c 1759s |      24 |  4800314 |  4767662 |     1196   7733 |       70 |        0
1771.60/1772.16	c 1761s |      24 |  4805452 |  4772762 |     1196   7740 |       70 |        0
1773.59/1774.18	c 1763s |      24 |  4810490 |  4777762 |     1196   7747 |       70 |        0
1775.59/1776.19	c 1765s |      24 |  4815527 |  4782762 |     1196   7753 |       70 |        0
1777.69/1778.20	c 1767s |      24 |  4820441 |  4787662 |     1196   7760 |       70 |        0
1779.69/1780.20	c 1769s |      24 |  4825261 |  4792462 |     1196   7767 |       70 |        0
1781.69/1782.22	c 1771s |      24 |  4830080 |  4797262 |     1196   7773 |       70 |        0
1783.69/1784.24	c 1773s |      24 |  4835008 |  4802162 |     1196   7780 |       70 |        0
1785.68/1786.26	c 1775s |      24 |  4839938 |  4807062 |     1196   7787 |       70 |        0
1787.68/1788.27	c 1777s |      24 |  4845290 |  4812362 |     1196   7794 |       70 |        0
1789.78/1790.30	c 1779s |      24 |  4850407 |  4817462 |     1196   7801 |       70 |        0
1791.78/1792.33	c 1781s |      24 |  4855442 |  4822462 |     1196   7808 |       70 |        0
1793.78/1794.33	c 1783s |      24 |  4860268 |  4827262 |     1196   7814 |       70 |        0
1795.79/1796.34	c 1785s |      24 |  4864998 |  4831962 |     1196   7821 |       70 |        0
1797.78/1798.37	c 1787s |      24 |  4870251 |  4837162 |     1196   7828 |       70 |        0
1799.78/1800.38	c 1789s |      24 |  4875288 |  4842162 |     1196   7835 |       70 |        0

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

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

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


[startup+0 s]
/proc/loadavg: 2.20 2.27 2.25 2/179 19201
/proc/meminfo: memFree=29198572/32872528 swapFree=1431120/1543540
[pid=19201] ppid=19198 vsize=683452 CPUtime=0 cores=1,3,5,7
/proc/19201/stat : 19201 (toysat) R 19198 19201 15180 0 -1 4202496 2542 0 0 0 0 0 0 0 20 0 4 0 25509667 699854848 3414 33554432000 4194304 16246674 140736442242832 140736442242256 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19201/statm: 171631 3425 441 2943 0 168525 0
[pid=19201/tid=19202] ppid=19198 vsize=701884 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19202/stat : 19202 (toysat) S 19198 19201 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25509667 718729216 3484 33554432000 4194304 16246674 140736442242832 140127078690032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19201/tid=19203] ppid=19198 vsize=705980 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19203/stat : 19203 (toysat) S 19198 19201 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25509667 722923520 3500 33554432000 4194304 16246674 140736442242832 140126998998256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19201/tid=19204] ppid=19198 vsize=710076 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19204/stat : 19204 (toysat) S 19198 19201 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25509667 727117824 3517 33554432000 4194304 16246674 140736442242832 140126988524720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.20 2.27 2.25 2/179 19201
/proc/meminfo: memFree=29198572/32872528 swapFree=1431120/1543540
[pid=19201] ppid=19198 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/19201/stat : 19201 (toysat) R 19198 19201 15180 0 -1 4202496 30463 0 0 0 5 4 0 0 20 0 4 0 25509667 1247350784 31326 33554432000 4194304 16246674 140736442242832 140736442225824 12657222 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19201/statm: 304529 31338 635 2943 0 301423 0
[pid=19201/tid=19202] ppid=19198 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19202/stat : 19202 (toysat) S 19198 19201 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25509667 1247350784 31347 33554432000 4194304 16246674 140736442242832 140127078690032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19201/tid=19203] ppid=19198 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19203/stat : 19203 (toysat) S 19198 19201 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25509667 1247350784 31357 33554432000 4194304 16246674 140736442242832 140126998998256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19201/tid=19204] ppid=19198 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19204/stat : 19204 (toysat) S 19198 19201 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25509667 1247350784 31366 33554432000 4194304 16246674 140736442242832 140126988524720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200544 s]
/proc/loadavg: 2.20 2.27 2.25 2/179 19201
/proc/meminfo: memFree=29198572/32872528 swapFree=1431120/1543540
[pid=19201] ppid=19198 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/19201/stat : 19201 (toysat) R 19198 19201 15180 0 -1 4202496 52443 0 0 0 12 7 0 0 20 0 4 0 25509667 1247350784 53307 33554432000 4194304 16246674 140736442242832 140736442225824 12653060 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19201/statm: 304529 53316 635 2943 0 301423 0
[pid=19201/tid=19202] ppid=19198 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19202/stat : 19202 (toysat) S 19198 19201 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25509667 1247350784 53321 33554432000 4194304 16246674 140736442242832 140127078690032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19201/tid=19203] ppid=19198 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19203/stat : 19203 (toysat) S 19198 19201 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25509667 1247350784 53326 33554432000 4194304 16246674 140736442242832 140126998998256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19201/tid=19204] ppid=19198 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19204/stat : 19204 (toysat) S 19198 19201 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25509667 1247350784 53332 33554432000 4194304 16246674 140736442242832 140126988524720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30045 s]
/proc/loadavg: 2.20 2.27 2.25 2/179 19201
/proc/meminfo: memFree=29198572/32872528 swapFree=1431120/1543540
[pid=19201] ppid=19198 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/19201/stat : 19201 (toysat) R 19198 19201 15180 0 -1 4202496 73303 0 0 0 18 11 0 0 20 0 4 0 25509667 1247350784 74166 33554432000 4194304 16246674 140736442242832 140736442225824 12653060 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19201/statm: 304529 74177 635 2943 0 301423 0
[pid=19201/tid=19202] ppid=19198 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19202/stat : 19202 (toysat) S 19198 19201 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25509667 1247350784 74181 33554432000 4194304 16246674 140736442242832 140127078690032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19201/tid=19203] ppid=19198 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19203/stat : 19203 (toysat) S 19198 19201 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25509667 1247350784 74187 33554432000 4194304 16246674 140736442242832 140126998998256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19201/tid=19204] ppid=19198 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19204/stat : 19204 (toysat) S 19198 19201 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25509667 1247350784 74192 33554432000 4194304 16246674 140736442242832 140126988524720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700375 s]
/proc/loadavg: 2.20 2.27 2.25 2/179 19201
/proc/meminfo: memFree=29198572/32872528 swapFree=1431120/1543540
[pid=19201] ppid=19198 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/19201/stat : 19201 (toysat) R 19198 19201 15180 0 -1 4202496 167180 0 0 0 46 23 0 0 20 0 4 0 25509667 1247350784 168043 33554432000 4194304 16246674 140736442242832 140736442225824 12653060 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19201/statm: 304529 168054 635 2943 0 301423 0
[pid=19201/tid=19202] ppid=19198 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19202/stat : 19202 (toysat) S 19198 19201 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25509667 1247350784 168060 33554432000 4194304 16246674 140736442242832 140127078690032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19201/tid=19203] ppid=19198 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19203/stat : 19203 (toysat) S 19198 19201 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25509667 1247350784 168066 33554432000 4194304 16246674 140736442242832 140126998998256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19201/tid=19204] ppid=19198 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19204/stat : 19204 (toysat) S 19198 19201 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25509667 1247350784 168071 33554432000 4194304 16246674 140736442242832 140126988524720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.20 2.27 2.25 3/183 19205
/proc/meminfo: memFree=28214844/32872528 swapFree=1431120/1543540
[pid=19201] ppid=19198 vsize=1402436 CPUtime=1.49 cores=1,3,5,7
/proc/19201/stat : 19201 (toysat) R 19198 19201 15180 0 -1 4202496 291528 0 0 0 111 38 0 0 20 0 4 0 25509667 1436094464 292347 33554432000 4194304 16246674 140736442242832 140736442242144 12449269 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19201/statm: 350609 292347 834 2943 0 347503 0
[pid=19201/tid=19202] ppid=19198 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19202/stat : 19202 (toysat) S 19198 19201 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25509667 1436094464 292347 33554432000 4194304 16246674 140736442242832 140127078690032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19201/tid=19203] ppid=19198 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19203/stat : 19203 (toysat) S 19198 19201 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25509667 1436094464 292347 33554432000 4194304 16246674 140736442242832 140126998998256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19201/tid=19204] ppid=19198 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19204/stat : 19204 (toysat) S 19198 19201 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25509667 1436094464 292347 33554432000 4194304 16246674 140736442242832 140126988524720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1402436

[startup+3.10043 s]
/proc/loadavg: 2.20 2.27 2.25 4/183 19205
/proc/meminfo: memFree=28029092/32872528 swapFree=1431120/1543540
[pid=19201] ppid=19198 vsize=1436228 CPUtime=3.09 cores=1,3,5,7
/proc/19201/stat : 19201 (toysat) R 19198 19201 15180 0 -1 4202496 299984 0 0 0 270 39 0 0 20 0 4 0 25509667 1470697472 300803 33554432000 4194304 16246674 140736442242832 140736442224704 12653056 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19201/statm: 359057 300803 836 2943 0 355951 0
[pid=19201/tid=19202] ppid=19198 vsize=1436228 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19202/stat : 19202 (toysat) S 19198 19201 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25509667 1470697472 300803 33554432000 4194304 16246674 140736442242832 140127078690032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19201/tid=19203] ppid=19198 vsize=1436228 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19203/stat : 19203 (toysat) S 19198 19201 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25509667 1470697472 300803 33554432000 4194304 16246674 140736442242832 140126998998256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19201/tid=19204] ppid=19198 vsize=1436228 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19204/stat : 19204 (toysat) S 19198 19201 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25509667 1470697472 300803 33554432000 4194304 16246674 140736442242832 140126988524720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1436228

[startup+6.30038 s]
/proc/loadavg: 2.34 2.30 2.26 4/183 19205
/proc/meminfo: memFree=27991152/32872528 swapFree=1431120/1543540
[pid=19201] ppid=19198 vsize=1489476 CPUtime=6.29 cores=1,3,5,7
/proc/19201/stat : 19201 (toysat) R 19198 19201 15180 0 -1 4202496 313480 0 0 0 587 42 0 0 20 0 4 0 25509667 1525223424 314299 33554432000 4194304 16246674 140736442242832 140736442224704 12653056 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19201/statm: 372369 314299 836 2943 0 369263 0
[pid=19201/tid=19202] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19202/stat : 19202 (toysat) S 19198 19201 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314299 33554432000 4194304 16246674 140736442242832 140127078690032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19201/tid=19203] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19203/stat : 19203 (toysat) S 19198 19201 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314299 33554432000 4194304 16246674 140736442242832 140126998998256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19201/tid=19204] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19204/stat : 19204 (toysat) S 19198 19201 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314299 33554432000 4194304 16246674 140736442242832 140126988524720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1489476

[startup+12.7004 s]
/proc/loadavg: 2.39 2.31 2.26 4/183 19205
/proc/meminfo: memFree=27944816/32872528 swapFree=1431120/1543540
[pid=19201] ppid=19198 vsize=1489476 CPUtime=12.69 cores=1,3,5,7
/proc/19201/stat : 19201 (toysat) R 19198 19201 15180 0 -1 4202496 313558 0 0 0 1227 42 0 0 20 0 4 0 25509667 1525223424 314377 33554432000 4194304 16246674 140736442242832 140736442225832 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19201/statm: 372369 314377 910 2943 0 369263 0
[pid=19201/tid=19202] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19202/stat : 19202 (toysat) S 19198 19201 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314377 33554432000 4194304 16246674 140736442242832 140127078690032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19201/tid=19203] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19203/stat : 19203 (toysat) S 19198 19201 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314377 33554432000 4194304 16246674 140736442242832 140126998998256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19201/tid=19204] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19204/stat : 19204 (toysat) S 19198 19201 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314377 33554432000 4194304 16246674 140736442242832 140126988524720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1489476

[startup+25.5005 s]
/proc/loadavg: 2.37 2.31 2.27 3/183 19205
/proc/meminfo: memFree=27944936/32872528 swapFree=1431120/1543540
[pid=19201] ppid=19198 vsize=1489476 CPUtime=25.48 cores=1,3,5,7
/proc/19201/stat : 19201 (toysat) R 19198 19201 15180 0 -1 4202496 313564 0 0 0 2506 42 0 0 20 0 4 0 25509667 1525223424 314383 33554432000 4194304 16246674 140736442242832 140736442224704 5589527 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19201/statm: 372369 314383 915 2943 0 369263 0
[pid=19201/tid=19202] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19202/stat : 19202 (toysat) S 19198 19201 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314383 33554432000 4194304 16246674 140736442242832 140127078690032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19201/tid=19203] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19203/stat : 19203 (toysat) S 19198 19201 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314383 33554432000 4194304 16246674 140736442242832 140126998998256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19201/tid=19204] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19204/stat : 19204 (toysat) S 19198 19201 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314383 33554432000 4194304 16246674 140736442242832 140126988524720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1489476

[startup+51.1005 s]
/proc/loadavg: 2.39 2.32 2.27 4/183 19205
/proc/meminfo: memFree=27945032/32872528 swapFree=1431120/1543540
[pid=19201] ppid=19198 vsize=1489476 CPUtime=51.08 cores=1,3,5,7
/proc/19201/stat : 19201 (toysat) R 19198 19201 15180 0 -1 4202496 313566 0 0 0 5065 43 0 0 20 0 4 0 25509667 1525223424 314385 33554432000 4194304 16246674 140736442242832 140736442224704 5664948 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19201/statm: 372369 314385 917 2943 0 369263 0
[pid=19201/tid=19202] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19202/stat : 19202 (toysat) S 19198 19201 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314385 33554432000 4194304 16246674 140736442242832 140127078690032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19201/tid=19203] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19203/stat : 19203 (toysat) S 19198 19201 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314385 33554432000 4194304 16246674 140736442242832 140126998998256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19201/tid=19204] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19204/stat : 19204 (toysat) S 19198 19201 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314385 33554432000 4194304 16246674 140736442242832 140126988524720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1489476

[startup+102.301 s]
/proc/loadavg: 2.29 2.30 2.26 3/183 19206
/proc/meminfo: memFree=27944308/32872528 swapFree=1431120/1543540
[pid=19201] ppid=19198 vsize=1489476 CPUtime=102.27 cores=1,3,5,7
/proc/19201/stat : 19201 (toysat) R 19198 19201 15180 0 -1 4202496 313595 0 0 0 10183 44 0 0 20 0 4 0 25509667 1525223424 314386 33554432000 4194304 16246674 140736442242832 140736442224704 12478023 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19201/statm: 372369 314386 918 2943 0 369263 0
[pid=19201/tid=19202] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19202/stat : 19202 (toysat) S 19198 19201 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314386 33554432000 4194304 16246674 140736442242832 140127078690032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19201/tid=19203] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19203/stat : 19203 (toysat) S 19198 19201 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314386 33554432000 4194304 16246674 140736442242832 140126998998256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19201/tid=19204] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19204/stat : 19204 (toysat) S 19198 19201 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314386 33554432000 4194304 16246674 140736442242832 140126988524720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1489476


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

/proc/19201/task/19204/stat : 19204 (toysat) S 19198 19201 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140126988524720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1489476

[startup+1302.3 s]
/proc/loadavg: 2.32 2.26 2.26 3/183 19381
/proc/meminfo: memFree=27139504/32872528 swapFree=1431120/1543540
[pid=19201] ppid=19198 vsize=1489476 CPUtime=1301.86 cores=1,3,5,7
/proc/19201/stat : 19201 (toysat) R 19198 19201 15180 0 -1 4202496 313942 0 0 0 130119 67 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140736442224704 5722908 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19201/statm: 372369 314387 919 2943 0 369263 0
[pid=19201/tid=19202] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19202/stat : 19202 (toysat) S 19198 19201 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140127078690032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19201/tid=19203] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19203/stat : 19203 (toysat) S 19198 19201 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140126998998256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19201/tid=19204] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19204/stat : 19204 (toysat) S 19198 19201 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140126988524720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1489476

[startup+1362.3 s]
/proc/loadavg: 2.38 2.29 2.27 3/183 19382
/proc/meminfo: memFree=27139272/32872528 swapFree=1431120/1543540
[pid=19201] ppid=19198 vsize=1489476 CPUtime=1361.85 cores=1,3,5,7
/proc/19201/stat : 19201 (toysat) R 19198 19201 15180 0 -1 4202496 313942 0 0 0 136117 68 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140736442224704 5545840 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19201/statm: 372369 314387 919 2943 0 369263 0
[pid=19201/tid=19202] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19202/stat : 19202 (toysat) S 19198 19201 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140127078690032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19201/tid=19203] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19203/stat : 19203 (toysat) S 19198 19201 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140126998998256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19201/tid=19204] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19204/stat : 19204 (toysat) S 19198 19201 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140126988524720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1489476

[startup+1422.3 s]
/proc/loadavg: 2.38 2.31 2.27 3/183 19384
/proc/meminfo: memFree=27535036/32872528 swapFree=1431120/1543540
[pid=19201] ppid=19198 vsize=1489476 CPUtime=1421.84 cores=1,3,5,7
/proc/19201/stat : 19201 (toysat) R 19198 19201 15180 0 -1 4202496 313942 0 0 0 142115 69 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140736442224704 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19201/statm: 372369 314387 919 2943 0 369263 0
[pid=19201/tid=19202] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19202/stat : 19202 (toysat) S 19198 19201 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140127078690032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19201/tid=19203] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19203/stat : 19203 (toysat) S 19198 19201 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140126998998256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19201/tid=19204] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19204/stat : 19204 (toysat) S 19198 19201 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140126988524720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1489476

[startup+1482.3 s]
/proc/loadavg: 2.27 2.28 2.27 3/183 19385
/proc/meminfo: memFree=27536748/32872528 swapFree=1431120/1543540
[pid=19201] ppid=19198 vsize=1489476 CPUtime=1481.83 cores=1,3,5,7
/proc/19201/stat : 19201 (toysat) R 19198 19201 15180 0 -1 4202496 313942 0 0 0 148113 70 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140736442224704 13195012 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19201/statm: 372369 314387 919 2943 0 369263 0
[pid=19201/tid=19202] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19202/stat : 19202 (toysat) S 19198 19201 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140127078690032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19201/tid=19203] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19203/stat : 19203 (toysat) S 19198 19201 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140126998998256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19201/tid=19204] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19204/stat : 19204 (toysat) S 19198 19201 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140126988524720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1489476

[startup+1542.31 s]
/proc/loadavg: 2.26 2.27 2.27 3/183 19386
/proc/meminfo: memFree=27537156/32872528 swapFree=1431120/1543540
[pid=19201] ppid=19198 vsize=1489476 CPUtime=1541.83 cores=1,3,5,7
/proc/19201/stat : 19201 (toysat) R 19198 19201 15180 0 -1 4202496 313942 0 0 0 154112 71 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140736442224704 13950184 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19201/statm: 372369 314387 919 2943 0 369263 0
[pid=19201/tid=19202] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19202/stat : 19202 (toysat) S 19198 19201 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140127078690032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19201/tid=19203] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19203/stat : 19203 (toysat) S 19198 19201 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140126998998256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19201/tid=19204] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19204/stat : 19204 (toysat) S 19198 19201 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140126988524720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1489476

[startup+1602.3 s]
/proc/loadavg: 2.16 2.23 2.25 3/184 19390
/proc/meminfo: memFree=27537100/32872528 swapFree=1431120/1543540
[pid=19201] ppid=19198 vsize=1489476 CPUtime=1601.81 cores=1,3,5,7
/proc/19201/stat : 19201 (toysat) R 19198 19201 15180 0 -1 4202496 313942 0 0 0 160110 71 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140736442224704 5711836 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19201/statm: 372369 314387 919 2943 0 369263 0
[pid=19201/tid=19202] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19202/stat : 19202 (toysat) S 19198 19201 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140127078690032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19201/tid=19203] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19203/stat : 19203 (toysat) S 19198 19201 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140126998998256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19201/tid=19204] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19204/stat : 19204 (toysat) S 19198 19201 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140126988524720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1489476

[startup+1662.3 s]
/proc/loadavg: 2.18 2.22 2.25 4/183 19391
/proc/meminfo: memFree=27537176/32872528 swapFree=1431120/1543540
[pid=19201] ppid=19198 vsize=1489476 CPUtime=1661.8 cores=1,3,5,7
/proc/19201/stat : 19201 (toysat) R 19198 19201 15180 0 -1 4202496 313942 0 0 0 166108 72 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140736442224704 5589032 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19201/statm: 372369 314387 919 2943 0 369263 0
[pid=19201/tid=19202] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19202/stat : 19202 (toysat) S 19198 19201 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140127078690032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19201/tid=19203] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19203/stat : 19203 (toysat) S 19198 19201 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140126998998256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19201/tid=19204] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19204/stat : 19204 (toysat) S 19198 19201 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140126988524720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1489476

[startup+1722.3 s]
/proc/loadavg: 2.23 2.22 2.25 4/183 19393
/proc/meminfo: memFree=27536604/32872528 swapFree=1431120/1543540
[pid=19201] ppid=19198 vsize=1489476 CPUtime=1721.8 cores=1,3,5,7
/proc/19201/stat : 19201 (toysat) R 19198 19201 15180 0 -1 4202496 313942 0 0 0 172107 73 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140736442242008 5824947 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19201/statm: 372369 314387 919 2943 0 369263 0
[pid=19201/tid=19202] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19202/stat : 19202 (toysat) S 19198 19201 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140127078690032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19201/tid=19203] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19203/stat : 19203 (toysat) S 19198 19201 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140126998998256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19201/tid=19204] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19204/stat : 19204 (toysat) S 19198 19201 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140126988524720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1489476

[startup+1782.3 s]
/proc/loadavg: 2.14 2.20 2.23 3/183 19394
/proc/meminfo: memFree=27536040/32872528 swapFree=1431120/1543540
[pid=19201] ppid=19198 vsize=1489476 CPUtime=1781.79 cores=1,3,5,7
/proc/19201/stat : 19201 (toysat) R 19198 19201 15180 0 -1 4202496 313942 0 0 0 178105 74 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140736442225832 5839820 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19201/statm: 372369 314387 919 2943 0 369263 0
[pid=19201/tid=19202] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19202/stat : 19202 (toysat) S 19198 19201 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140127078690032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19201/tid=19203] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19203/stat : 19203 (toysat) S 19198 19201 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140126998998256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19201/tid=19204] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19204/stat : 19204 (toysat) S 19198 19201 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140126988524720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1489476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.18 2.20 2.23 3/183 19395
/proc/meminfo: memFree=27536412/32872528 swapFree=1431120/1543540
[pid=19201] ppid=19198 vsize=1489476 CPUtime=1800.08 cores=1,3,5,7
/proc/19201/stat : 19201 (toysat) R 19198 19201 15180 0 -1 4202496 313942 0 0 0 179934 74 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140736442224704 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19201/statm: 372369 314387 919 2943 0 369263 0
[pid=19201/tid=19202] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19202/stat : 19202 (toysat) S 19198 19201 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140127078690032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19201/tid=19203] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19203/stat : 19203 (toysat) S 19198 19201 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140126998998256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19201/tid=19204] ppid=19198 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/19201/task/19204/stat : 19204 (toysat) S 19198 19201 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25509667 1525223424 314387 33554432000 4194304 16246674 140736442242832 140126988524720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1489476

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 19201 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.61
CPU time (s): 1800.1
CPU user time (s): 1799.35
CPU system time (s): 0.745886
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 1489476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.745886
maximum resident set size= 1257548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 313942
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= 390
involuntary context switches= 2460

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.10822 second user time and 7.28989 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-18 09:23:29
IDJOB=4103273
IDBENCH=2315
IDSOLVER=2542
FILE ID=node116/4103273-1466234609
RUNJOBID= node116-1466206094-15197
PBS_JOBID= 19918160
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare2_1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103273-1466234609/watcher-4103273-1466234609 -o /tmp/evaluation-result-4103273-1466234609/solver-4103273-1466234609 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15197 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103273-1466234609.opb

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

MD5SUM BENCH= b994237fdc481ca53da2e19e2a850128
RANDOM SEED=1012661162

node116.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.781
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.56
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.781
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.781
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29198928 kB
Buffers:          112444 kB
Cached:           128296 kB
SwapCached:         1796 kB
Active:          1240800 kB
Inactive:         143896 kB
Active(anon):    1142148 kB
Inactive(anon):     4232 kB
Active(file):      98652 kB
Inactive(file):   139664 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099604 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       2725904 kB
Mapped:            10772 kB
Shmem:                 0 kB
Slab:             604852 kB
SReclaimable:      48988 kB
SUnreclaim:       555864 kB
KernelStack:        1520 kB
PageTables:         9168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2828112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1261568 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= 71692 MiB
End job on node116 at 2016-06-18 09:53:30