Trace number 4109190

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.04 1800.61

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-25-20--soft-66-100-0.wbo
MD5SUMbaadf39a9a4e5770052dc23dee998ba5
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables500
Total number of constraints45
Number of soft constraints13
Number of constraints which are clauses25
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint25
Top cost 596
Min constraint cost 1
Max constraint cost 93
Sum of constraints costs 595
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
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-19T15:10:22+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","--wbo","--search=bcd2","HOME/instance-4109190-1466341822.wbo"]
0.00/0.01	c use --random-gen="3332908825 3610992017 2948875350 224811377 219052142 2757295032 3353181569 1773253700 2121542685 3293236372 4213473382 1109034603 3652583859 864635000 3006861381 3850342490 1579368742 131751285 609112401 80741970 1364322087 685511926 3716528786 239507868 3410544601 1695255323 4055153164 416984672 3851826450 2160422194 1269869513 254682826 3384386727 1305452875 1518584414 3621578626 2050477960 1260619482 580331545 2877392485 2244922932 1878289916 138898683 1302258571 1217359352 2644900271 2350631128 399516201 3194067938 3546332288 2668170660 1968782554 1620398514 396831535 2499769560 922606766 2604433177 1917529214 3307706562 1203841379 542519991 1206148236 3706145366 3290284883 435893194 3489056011 1250919974 3802769883 1404135838 1431476072 2145754476 4189173956 3958587013 2859511020 1627470335 1271107536 1596615318 2367355219 698447553 4049578544 4036742477 2859744895 859322088 1650518258 3796560164 2307123604 1548164956 779330734 443932654 3017408533 2218729696 431912330 111255789 2811938451 104936957 3808111659 1674714360 1047685442 495685501 713544264 437260705 4265805098 857968989 513284604 970531899 1305486941 3363312330 3596542700 499957719 3533895779 3192178685 1397942489 4157779273 364432784 2401527473 3335451038 828215429 1330055601 3825025735 3709271279 4207289943 469344787 2778427289 1580506964 62248214 4203075030 3199242995 1329027014 3625041044 4043750964 1012258230 985787967 478438045 3418095775 2488849999 1089509224 2543564480 3035766971 3580567278 3100023760 2144633653 1433039615 1836864712 693065124 1079964705 627995605 797290165 3520407613 1351279124 353808219 1489572926 478320145 1154439377 1202096211 3473500107 1771446967 3235057756 639182338 1261850789 3193381854 240886355 3296241472 617779151 2746730137 3879928490 3749815226 3614557650 1119452348 3636378426 2722225695 614024047 535057383 274123180 877579484 1075826543 2504593528 1702045923 3175561833 1453248665 731194592 4280064750 2132265519 4042785236 1889034606 718481021 1052061634 1024608703 526024625 1832231381 1541964590 1052726732 3664890198 2659737342 2300280523 2076150338 1052391565 3572978979 1148033083 1705896285 4103369632 4239053638 1703619995 3523286298 656748523 3354716664 2696559610 4111111855 2491654211 398731419 285439062 1095414378 752852325 3178168394 614830025 2699206928 3541700891 3169483048 501191609 3015530634 3736408016 750156360 1098958762 3032217134 2468487694 2099164817 1473438075 1002515640 1115750917 3248848151 3278413135 740030866 2387459738 2112201123 3537812244 3790067819 3745252486 2744333248 263309198 3610251224 3383654529 41090779 1364120318 4030890372 1238120223 2302992752 1207036749 580942398 4056327131 2245601089 663319166 1923776338 2901822170 3092961311 556940611 3869695787 2995462011 255 362436" option to reproduce the execution
0.00/0.03	c #vars 500
0.00/0.03	c #constraints 45
0.00/0.03	c BCD2: Hardening is enabled.
0.00/0.03	c BCD2: BiasedSearch is enabled.
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      186      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      150 |      100 |      186      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      445 |      101 |      205      0 |        0 |        0
0.00/0.05	c #cpu_time = 0.022s
0.00/0.05	c #wall_clock_time = 0.022s
0.00/0.05	c #decision = 445
0.00/0.05	c #random_decision = 0
0.00/0.05	c #conflict = 101
0.00/0.05	c #restart = 1
0.00/0.05	o 279
0.00/0.05	c BCD2: updating upper bound: 595 -> 278
0.00/0.05	c BCD2: 0 <= obj <= 278
0.00/0.05	c BCD2: #cores=0, #unrelaxed=13, #relaxed=0, #hardened=0
0.00/0.05	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |      205      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      312 |      100 |      205      0 |        0 |        0
0.09/0.15	c  0.1s |       2 |      702 |      250 |      226      0 |        0 |        0
0.19/0.24	c  0.2s |       3 |     1412 |      475 |      249      1 |        0 |        0
0.39/0.43	c  0.4s |       4 |     2268 |      813 |      274      2 |        0 |        0
0.59/0.65	c  0.6s |       5 |     3083 |     1320 |      302      4 |        0 |        0
0.88/0.99	c  0.9s |       6 |     4288 |     2081 |      333      6 |        0 |        0
1.39/1.43	c  1.4s |       7 |     6027 |     3223 |      367      9 |        0 |        0
2.09/2.15	c  2.1s |       8 |     8490 |     4936 |      404     13 |        0 |        0
3.08/3.17	c  3.1s |       9 |    12304 |     7506 |      445     20 |        0 |        0
5.08/5.14	c  5.1s |      10 |    17147 |    11361 |      490     29 |        0 |        0
7.08/7.19	c  7.1s |      10 |    23039 |    15661 |      490     38 |        0 |        0
7.98/8.06	c  8.0s |      11 |    24721 |    17144 |      539     42 |        0 |        0
9.99/10.09	c 10.0s |      11 |    30524 |    21844 |      539     51 |        0 |        0
11.88/11.99	c 11.9s |      12 |    35149 |    25819 |      593     59 |        0 |        0
13.99/14.02	c 14.0s |      12 |    40593 |    30119 |      593     68 |        0 |        0
15.99/16.02	c 16.0s |      12 |    44716 |    33819 |      593     75 |        0 |        0
17.99/18.02	c 18.0s |      12 |    49532 |    38119 |      593     83 |        0 |        0
18.29/18.37	c 18.3s |      13 |    50329 |    38832 |      653     84 |        0 |        0
20.29/20.37	c 20.3s |      13 |    55832 |    43332 |      653     93 |        0 |        0
22.29/22.38	c 22.3s |      13 |    60198 |    47232 |      653    100 |        0 |        0
24.39/24.40	c 24.3s |      13 |    64369 |    51032 |      653    107 |        0 |        0
26.40/26.41	c 26.4s |      13 |    68051 |    54332 |      653    113 |        0 |        0
28.39/28.48	c 28.4s |      13 |    71511 |    57432 |      653    119 |        0 |        0
29.09/29.11	c 29.1s |      14 |    72548 |    58352 |      719    120 |        0 |        0
31.09/31.15	c 31.1s |      14 |    78564 |    63352 |      719    129 |        0 |        0
33.09/33.17	c 33.1s |      14 |    83419 |    67652 |      719    136 |        0 |        0
35.09/35.18	c 35.1s |      14 |    87831 |    71652 |      719    143 |        0 |        0
37.19/37.23	c 37.2s |      14 |    91907 |    75352 |      719    150 |        0 |        0
39.19/39.28	c 39.2s |      14 |    96303 |    79352 |      719    157 |        0 |        0
41.28/41.32	c 41.3s |      14 |   100711 |    83352 |      719    163 |        0 |        0
43.28/43.35	c 43.3s |      14 |   104653 |    86952 |      791    170 |        0 |        0
43.68/43.79	c 43.7s |      15 |   105393 |    87632 |      791    171 |        0 |        0
45.78/45.81	c 45.8s |      15 |   110520 |    91832 |      791    177 |        0 |        0
47.78/47.81	c 47.8s |      15 |   115279 |    95932 |      791    184 |        0 |        0
49.78/49.84	c 49.8s |      15 |   119527 |    99632 |      791    190 |        0 |        0
51.79/51.88	c 51.8s |      15 |   123159 |   102932 |      791    195 |        0 |        0
53.78/53.90	c 53.8s |      15 |   126724 |   106132 |      791    201 |        0 |        0
55.88/55.92	c 55.9s |      15 |   130437 |   109532 |      791    206 |        0 |        0
57.88/57.96	c 57.9s |      15 |   134632 |   113232 |      791    212 |        0 |        0
59.88/59.96	c 59.9s |      15 |   139054 |   117032 |      791    218 |        0 |        0
61.88/61.99	c 61.9s |      15 |   143271 |   120732 |      791    224 |        0 |        0
63.98/64.04	c 64.0s |      15 |   146766 |   123932 |      791    230 |        0 |        0
65.98/66.09	c 66.0s |      15 |   151335 |   127932 |      791    236 |        0 |        0
67.98/68.07	c 68.0s |      16 |   155374 |   131552 |      871    242 |        0 |        0
70.08/70.11	c 70.1s |      16 |   160629 |   135752 |      871    249 |        0 |        0
72.08/72.14	c 72.1s |      16 |   164851 |   139452 |      871    254 |        0 |        0
74.07/74.17	c 74.1s |      16 |   169089 |   143252 |      871    260 |        0 |        0
76.17/76.20	c 76.1s |      16 |   173082 |   146852 |      871    266 |        0 |        0
78.18/78.24	c 78.2s |      16 |   176841 |   150252 |      871    271 |        0 |        0
80.17/80.28	c 80.2s |      16 |   180356 |   153452 |      871    276 |        0 |        0
82.27/82.32	c 82.3s |      16 |   184505 |   157052 |      871    281 |        0 |        0
84.27/84.38	c 84.3s |      16 |   188524 |   160552 |      871    287 |        0 |        0
86.27/86.39	c 86.3s |      16 |   192386 |   163852 |      871    292 |        0 |        0
88.38/88.41	c 88.4s |      16 |   195803 |   166852 |      871    296 |        0 |        0
90.38/90.44	c 90.4s |      16 |   199921 |   170452 |      871    302 |        0 |        0
92.39/92.48	c 92.4s |      16 |   204081 |   174252 |      871    308 |        0 |        0
94.38/94.49	c 94.4s |      16 |   208348 |   178052 |      871    313 |        0 |        0
96.48/96.55	c 96.5s |      16 |   212180 |   181452 |      871    319 |        0 |        0
98.58/98.61	c 98.6s |      16 |   215779 |   184652 |      871    324 |        0 |        0
100.58/100.65	c  100s |      16 |   219672 |   188052 |      871    329 |        0 |        0
102.68/102.70	c  102s |      16 |   223129 |   191052 |      871    333 |        0 |        0
104.68/104.75	c  104s |      16 |   226786 |   194252 |      871    338 |        0 |        0
106.68/106.77	c  106s |      17 |   230385 |   197432 |      959    343 |        0 |        0
108.78/108.80	c  108s |      17 |   235534 |   201632 |      959    349 |        0 |        0
110.78/110.82	c  110s |      17 |   240122 |   205632 |      959    355 |        0 |        0
112.78/112.83	c  112s |      17 |   244087 |   209232 |      959    360 |        0 |        0
114.77/114.87	c  114s |      17 |   248250 |   212932 |      959    365 |        0 |        0
116.87/116.93	c  116s |      17 |   252146 |   216432 |      959    370 |        0 |        0
118.88/118.98	c  118s |      17 |   255762 |   219732 |      959    375 |        0 |        0
120.87/120.99	c  120s |      17 |   258822 |   222532 |      959    379 |        0 |        0
122.97/123.00	c  122s |      17 |   262197 |   225632 |      959    383 |        0 |        0
124.97/125.07	c  125s |      17 |   266137 |   228932 |      959    388 |        0 |        0
127.07/127.12	c  127s |      17 |   269437 |   231732 |      959    392 |        0 |        0
129.07/129.15	c  129s |      17 |   272629 |   234532 |      959    396 |        0 |        0
131.07/131.19	c  131s |      17 |   275820 |   237332 |      959    400 |        0 |        0
133.18/133.25	c  133s |      17 |   279505 |   240632 |      959    405 |        0 |        0
135.17/135.26	c  135s |      17 |   282755 |   243532 |      959    409 |        0 |        0
137.17/137.27	c  137s |      17 |   286182 |   246632 |      959    414 |        0 |        0
139.27/139.31	c  139s |      17 |   289277 |   249432 |      959    418 |        0 |        0
141.27/141.32	c  141s |      17 |   292469 |   252332 |      959    422 |        0 |        0
143.27/143.33	c  143s |      17 |   295724 |   255232 |      959    426 |        0 |        0
145.28/145.34	c  145s |      17 |   298796 |   258032 |      959    430 |        0 |        0
147.27/147.40	c  147s |      17 |   302236 |   261132 |      959    435 |        0 |        0
149.37/149.45	c  149s |      17 |   305432 |   264032 |      959    439 |        0 |        0
151.47/151.51	c  151s |      17 |   309077 |   267232 |      959    443 |        0 |        0
153.47/153.56	c  153s |      17 |   312488 |   270332 |      959    448 |        0 |        0
155.57/155.60	c  155s |      17 |   315944 |   273432 |      959    452 |        0 |        0
157.57/157.61	c  157s |      17 |   319470 |   276632 |      959    457 |        0 |        0
159.58/159.61	c  159s |      17 |   322565 |   279432 |      959    461 |        0 |        0
161.57/161.66	c  161s |      17 |   326089 |   282532 |      959    465 |        0 |        0
163.67/163.73	c  163s |      17 |   330161 |   286132 |      959    471 |        0 |        0
165.67/165.75	c  165s |      17 |   334287 |   289732 |      959    476 |        0 |        0
167.67/167.79	c  167s |      17 |   337807 |   292932 |      959    480 |        0 |        0
169.77/169.84	c  169s |      17 |   341018 |   295832 |     1055    484 |        0 |        0
170.07/170.14	c  170s |      18 |   341478 |   296252 |     1055    485 |        0 |        0
172.17/172.20	c  172s |      18 |   346668 |   300452 |     1055    490 |        0 |        0
174.17/174.23	c  174s |      18 |   350738 |   304152 |     1055    495 |        0 |        0
176.16/176.28	c  176s |      18 |   354914 |   307852 |     1055    500 |        0 |        0
178.27/178.34	c  178s |      18 |   358751 |   311352 |     1055    505 |        0 |        0
180.26/180.37	c  180s |      18 |   362534 |   314752 |     1055    510 |        0 |        0
182.26/182.39	c  182s |      18 |   365726 |   317652 |     1055    514 |        0 |        0
184.26/184.40	c  184s |      18 |   369708 |   321252 |     1055    518 |        0 |        0
186.36/186.40	c  186s |      18 |   373453 |   324652 |     1055    523 |        0 |        0
188.36/188.45	c  188s |      18 |   377372 |   328252 |     1055    528 |        0 |        0
190.37/190.47	c  190s |      18 |   381857 |   332152 |     1055    533 |        0 |        0
192.36/192.47	c  192s |      18 |   385675 |   335552 |     1055    538 |        0 |        0
194.36/194.49	c  194s |      18 |   389449 |   338952 |     1055    542 |        0 |        0
196.36/196.49	c  196s |      18 |   393296 |   342352 |     1055    547 |        0 |        0
198.46/198.50	c  198s |      18 |   396961 |   345652 |     1055    551 |        0 |        0
200.46/200.57	c  200s |      18 |   400542 |   348852 |     1055    556 |        0 |        0
202.56/202.63	c  202s |      18 |   404245 |   352152 |     1055    560 |        0 |        0
204.57/204.68	c  204s |      18 |   408591 |   355952 |     1055    565 |        0 |        0
206.66/206.71	c  206s |      18 |   412467 |   359452 |     1055    570 |        0 |        0
208.66/208.75	c  208s |      18 |   416768 |   363352 |     1055    575 |        0 |        0
210.66/210.77	c  210s |      18 |   420762 |   366952 |     1055    580 |        0 |        0
212.66/212.78	c  212s |      18 |   424416 |   370252 |     1055    585 |        0 |        0
214.76/214.85	c  214s |      18 |   428338 |   373752 |     1055    590 |        0 |        0
216.77/216.89	c  216s |      18 |   432082 |   377152 |     1055    594 |        0 |        0
218.86/218.93	c  218s |      18 |   435677 |   380452 |     1055    599 |        0 |        0
220.86/220.95	c  220s |      18 |   439297 |   383752 |     1055    603 |        0 |        0
222.86/222.98	c  222s |      18 |   442891 |   387052 |     1055    607 |        0 |        0
224.95/225.02	c  224s |      18 |   446146 |   390052 |     1055    612 |        0 |        0
226.95/227.02	c  226s |      18 |   449340 |   392952 |     1055    615 |        0 |        0
228.95/229.05	c  228s |      18 |   453294 |   396452 |     1055    620 |        0 |        0
230.96/231.05	c  230s |      18 |   457539 |   400252 |     1055    625 |        0 |        0
232.95/233.06	c  233s |      18 |   461426 |   403752 |     1055    630 |        0 |        0
234.95/235.06	c  235s |      18 |   464771 |   406752 |     1055    634 |        0 |        0
237.05/237.10	c  237s |      18 |   468293 |   409952 |     1055    638 |        0 |        0
239.05/239.11	c  239s |      18 |   471419 |   412852 |     1055    642 |        0 |        0
241.05/241.14	c  241s |      18 |   474638 |   415752 |     1055    646 |        0 |        0
243.06/243.15	c  243s |      18 |   478347 |   419052 |     1055    651 |        0 |        0
245.15/245.20	c  245s |      18 |   481973 |   422352 |     1055    655 |        0 |        0
247.15/247.23	c  247s |      18 |   485419 |   425452 |     1055    659 |        0 |        0
249.15/249.27	c  249s |      18 |   488672 |   428352 |     1055    663 |        0 |        0
251.25/251.30	c  251s |      18 |   492325 |   431552 |     1055    668 |        0 |        0
253.25/253.35	c  253s |      18 |   495810 |   434652 |     1055    672 |        0 |        0
255.25/255.37	c  255s |      18 |   499369 |   437852 |     1055    676 |        0 |        0
257.25/257.38	c  257s |      18 |   502595 |   440752 |     1055    680 |        0 |        0
259.35/259.43	c  259s |      18 |   505808 |   443652 |     1161    684 |        0 |        0
260.05/260.14	c  260s |      19 |   506698 |   444482 |     1161    685 |        0 |        0
262.05/262.15	c  262s |      19 |   511906 |   448682 |     1161    690 |        0 |        0
264.05/264.16	c  264s |      19 |   516580 |   452682 |     1161    695 |        0 |        0
266.15/266.21	c  266s |      19 |   520875 |   456482 |     1161    700 |        0 |        0
268.14/268.22	c  268s |      19 |   524480 |   459782 |     1161    704 |        0 |        0
270.14/270.25	c  270s |      19 |   528314 |   463182 |     1161    708 |        0 |        0
272.24/272.31	c  272s |      19 |   531940 |   466482 |     1161    712 |        0 |        0
274.24/274.31	c  274s |      19 |   535099 |   469382 |     1161    716 |        0 |        0
276.24/276.38	c  276s |      19 |   538555 |   472482 |     1161    720 |        0 |        0
278.35/278.41	c  278s |      19 |   541743 |   475382 |     1161    723 |        0 |        0
280.34/280.42	c  280s |      19 |   545987 |   479182 |     1161    728 |        0 |        0
282.34/282.48	c  282s |      19 |   550134 |   482982 |     1161    733 |        0 |        0
284.44/284.51	c  284s |      19 |   553693 |   486282 |     1161    737 |        0 |        0
286.44/286.55	c  286s |      19 |   557443 |   489682 |     1161    742 |        0 |        0
288.44/288.57	c  288s |      19 |   561283 |   493182 |     1161    746 |        0 |        0
290.54/290.60	c  290s |      19 |   564883 |   496482 |     1161    750 |        0 |        0
292.55/292.66	c  292s |      19 |   568353 |   499682 |     1161    754 |        0 |        0
294.54/294.68	c  294s |      19 |   572209 |   503082 |     1161    758 |        0 |        0
296.54/296.69	c  296s |      19 |   575970 |   506482 |     1161    763 |        0 |        0
298.64/298.71	c  298s |      19 |   580003 |   510082 |     1161    767 |        0 |        0
300.64/300.77	c  300s |      19 |   583830 |   513482 |     1161    771 |        0 |        0
302.64/302.77	c  302s |      19 |   587631 |   516882 |     1161    776 |        0 |        0
304.75/304.85	c  304s |      19 |   591181 |   520082 |     1161    780 |        0 |        0
306.74/306.88	c  306s |      19 |   594410 |   522982 |     1161    783 |        0 |        0
308.84/308.91	c  308s |      19 |   597554 |   525782 |     1161    787 |        0 |        0
310.84/310.95	c  310s |      19 |   601680 |   529482 |     1161    792 |        0 |        0
312.85/312.95	c  312s |      19 |   605517 |   532982 |     1161    796 |        0 |        0
314.85/314.97	c  314s |      19 |   609315 |   536382 |     1161    800 |        0 |        0
316.85/316.99	c  316s |      19 |   612733 |   539482 |     1161    804 |        0 |        0
318.95/319.03	c  318s |      19 |   616058 |   542482 |     1161    808 |        0 |        0
320.95/321.05	c  320s |      19 |   618946 |   545082 |     1161    811 |        0 |        0
322.94/323.09	c  323s |      19 |   622289 |   548082 |     1161    815 |        0 |        0
325.04/325.16	c  325s |      19 |   626176 |   551582 |     1161    820 |        0 |        0
327.04/327.19	c  327s |      19 |   629960 |   554882 |     1161    824 |        0 |        0
329.14/329.23	c  329s |      19 |   633781 |   558282 |     1161    828 |        0 |        0
331.24/331.30	c  331s |      19 |   637669 |   561682 |     1161    832 |        0 |        0
333.25/333.35	c  333s |      19 |   641466 |   565082 |     1161    837 |        0 |        0
335.24/335.37	c  335s |      19 |   645101 |   568282 |     1161    841 |        0 |        0
337.34/337.40	c  337s |      19 |   648635 |   571382 |     1161    845 |        0 |        0
339.34/339.45	c  339s |      19 |   652171 |   574582 |     1161    849 |        0 |        0
341.34/341.47	c  341s |      19 |   655481 |   577582 |     1161    852 |        0 |        0
343.34/343.49	c  343s |      19 |   658978 |   580682 |     1161    856 |        0 |        0
345.45/345.54	c  345s |      19 |   662395 |   583782 |     1161    860 |        0 |        0
347.44/347.55	c  347s |      19 |   665633 |   586682 |     1161    864 |        0 |        0
349.54/349.62	c  349s |      19 |   668886 |   589582 |     1161    868 |        0 |        0
351.54/351.67	c  351s |      19 |   672077 |   592382 |     1161    871 |        0 |        0
353.64/353.71	c  353s |      19 |   674930 |   594882 |     1161    874 |        0 |        0
355.64/355.77	c  355s |      19 |   678647 |   598182 |     1161    879 |        0 |        0
357.64/357.79	c  357s |      19 |   682479 |   601682 |     1161    883 |        0 |        0
359.65/359.80	c  359s |      19 |   686124 |   604982 |     1161    887 |        0 |        0
361.74/361.84	c  361s |      19 |   689685 |   608182 |     1161    891 |        0 |        0
363.74/363.85	c  363s |      19 |   693925 |   611982 |     1161    896 |        0 |        0
365.74/365.86	c  365s |      19 |   697541 |   615282 |     1161    900 |        0 |        0
367.84/367.92	c  367s |      19 |   701096 |   618482 |     1161    904 |        0 |        0
369.83/369.95	c  369s |      19 |   704673 |   621682 |     1161    908 |        0 |        0
371.84/371.95	c  371s |      19 |   708196 |   624882 |     1161    912 |        0 |        0
373.83/374.00	c  373s |      19 |   711353 |   627782 |     1161    916 |        0 |        0
375.93/376.01	c  375s |      19 |   714428 |   630582 |     1161    919 |        0 |        0
377.93/378.06	c  378s |      19 |   717358 |   633282 |     1161    923 |        0 |        0
380.03/380.12	c  380s |      19 |   721091 |   636582 |     1161    927 |        0 |        0
382.03/382.17	c  382s |      19 |   724452 |   639582 |     1161    931 |        0 |        0
384.13/384.22	c  384s |      19 |   727982 |   642782 |     1161    935 |        0 |        0
386.14/386.25	c  386s |      19 |   731509 |   645882 |     1161    939 |        0 |        0
388.24/388.32	c  388s |      19 |   734819 |   648882 |     1161    943 |        0 |        0
390.23/390.34	c  390s |      19 |   738236 |   651982 |     1161    947 |        0 |        0
392.23/392.36	c  392s |      19 |   741730 |   655082 |     1161    950 |        0 |        0
394.23/394.38	c  394s |      19 |   744942 |   657982 |     1161    954 |        0 |        0
396.23/396.39	c  396s |      19 |   748653 |   661282 |     1161    958 |        0 |        0
398.33/398.43	c  398s |      19 |   752313 |   664582 |     1278    962 |        0 |        0
400.03/400.11	c  400s |      20 |   754742 |   666827 |     1278    965 |        0 |        0
402.03/402.12	c  402s |      20 |   760059 |   671127 |     1278    970 |        0 |        0
404.03/404.15	c  404s |      20 |   764358 |   675027 |     1278    974 |        0 |        0
406.03/406.16	c  406s |      20 |   768235 |   678527 |     1278    978 |        0 |        0
408.04/408.16	c  408s |      20 |   771724 |   681727 |     1278    982 |        0 |        0
410.03/410.16	c  410s |      20 |   775470 |   685027 |     1278    986 |        0 |        0
412.03/412.19	c  412s |      20 |   779244 |   688427 |     1278    990 |        0 |        0
414.13/414.24	c  414s |      20 |   783311 |   692127 |     1278    994 |        0 |        0
416.13/416.28	c  416s |      20 |   787436 |   695727 |     1278    998 |        0 |        0
418.23/418.31	c  418s |      20 |   791139 |   698927 |     1278   1002 |        0 |        0
420.23/420.35	c  420s |      20 |   794886 |   702127 |     1278   1006 |        0 |        0
422.33/422.43	c  422s |      20 |   798513 |   705327 |     1278   1010 |        0 |        0
424.33/424.43	c  424s |      20 |   802083 |   708527 |     1278   1013 |        0 |        0
426.33/426.47	c  426s |      20 |   805965 |   712027 |     1278   1017 |        0 |        0
428.42/428.52	c  428s |      20 |   809646 |   715327 |     1278   1021 |        0 |        0
430.42/430.55	c  430s |      20 |   813352 |   718627 |     1278   1025 |        0 |        0
432.42/432.59	c  432s |      20 |   816810 |   721727 |     1278   1029 |        0 |        0
434.43/434.59	c  434s |      20 |   820473 |   725027 |     1278   1033 |        0 |        0
436.52/436.66	c  436s |      20 |   824190 |   728427 |     1278   1037 |        0 |        0
438.52/438.69	c  438s |      20 |   828421 |   732227 |     1278   1041 |        0 |        0
440.62/440.73	c  440s |      20 |   832395 |   735827 |     1278   1045 |        0 |        0
442.62/442.77	c  442s |      20 |   836303 |   739327 |     1278   1049 |        0 |        0
444.62/444.79	c  444s |      20 |   840054 |   742727 |     1278   1053 |        0 |        0
446.72/446.83	c  446s |      20 |   844131 |   746427 |     1278   1058 |        0 |        0
448.73/448.85	c  448s |      20 |   848111 |   750027 |     1278   1062 |        0 |        0
450.72/450.86	c  450s |      20 |   852226 |   753727 |     1278   1066 |        0 |        0
452.82/452.93	c  452s |      20 |   856147 |   757227 |     1278   1070 |        0 |        0
454.82/454.98	c  454s |      20 |   859562 |   760327 |     1278   1074 |        0 |        0
456.92/457.05	c  456s |      20 |   862807 |   763227 |     1278   1077 |        0 |        0
458.92/459.09	c  459s |      20 |   866754 |   766727 |     1278   1081 |        0 |        0
461.02/461.12	c  461s |      20 |   870939 |   770427 |     1278   1086 |        0 |        0
463.02/463.14	c  463s |      20 |   874980 |   774127 |     1278   1090 |        0 |        0
465.02/465.16	c  465s |      20 |   878707 |   777527 |     1278   1094 |        0 |        0
467.02/467.17	c  467s |      20 |   882505 |   780927 |     1278   1098 |        0 |        0
469.02/469.17	c  469s |      20 |   886208 |   784327 |     1278   1102 |        0 |        0
471.12/471.24	c  471s |      20 |   889782 |   787527 |     1278   1106 |        0 |        0
473.12/473.25	c  473s |      20 |   893589 |   790827 |     1278   1109 |        0 |        0
475.12/475.27	c  475s |      20 |   897521 |   794327 |     1278   1114 |        0 |        0
477.21/477.33	c  477s |      20 |   901026 |   797527 |     1278   1117 |        0 |        0
479.21/479.36	c  479s |      20 |   904591 |   800727 |     1278   1121 |        0 |        0
481.31/481.41	c  481s |      20 |   908304 |   804027 |     1278   1125 |        0 |        0
483.31/483.42	c  483s |      20 |   911785 |   807127 |     1278   1129 |        0 |        0
485.31/485.44	c  485s |      20 |   915228 |   810127 |     1278   1132 |        0 |        0
487.32/487.47	c  487s |      20 |   919314 |   813727 |     1278   1136 |        0 |        0
489.31/489.49	c  489s |      20 |   923023 |   817027 |     1278   1140 |        0 |        0
491.41/491.53	c  491s |      20 |   926590 |   820227 |     1278   1144 |        0 |        0
493.41/493.58	c  493s |      20 |   929907 |   823227 |     1278   1147 |        0 |        0
495.51/495.60	c  495s |      20 |   933823 |   826727 |     1278   1151 |        0 |        0
497.52/497.65	c  497s |      20 |   937522 |   830127 |     1278   1155 |        0 |        0
499.52/499.66	c  499s |      20 |   941156 |   833427 |     1278   1159 |        0 |        0
501.52/501.69	c  501s |      20 |   944655 |   836627 |     1278   1163 |        0 |        0
503.52/503.69	c  503s |      20 |   948766 |   840227 |     1278   1167 |        0 |        0
505.62/505.75	c  505s |      20 |   952464 |   843527 |     1278   1171 |        0 |        0
507.62/507.78	c  507s |      20 |   955867 |   846627 |     1278   1175 |        0 |        0
509.72/509.82	c  509s |      20 |   959174 |   849627 |     1278   1178 |        0 |        0
511.72/511.86	c  511s |      20 |   963320 |   853327 |     1278   1183 |        0 |        0
513.81/513.91	c  513s |      20 |   966831 |   856527 |     1278   1186 |        0 |        0
515.82/515.97	c  515s |      20 |   970373 |   859727 |     1278   1190 |        0 |        0
517.91/518.01	c  517s |      20 |   973750 |   862827 |     1278   1194 |        0 |        0
519.91/520.06	c  520s |      20 |   977039 |   865827 |     1278   1197 |        0 |        0
522.01/522.12	c  522s |      20 |   980327 |   868827 |     1278   1201 |        0 |        0
524.01/524.14	c  524s |      20 |   984328 |   872127 |     1278   1205 |        0 |        0
526.01/526.19	c  526s |      20 |   988306 |   875427 |     1278   1209 |        0 |        0
528.11/528.25	c  528s |      20 |   992091 |   878627 |     1278   1212 |        0 |        0
530.12/530.26	c  530s |      20 |   996189 |   881927 |     1278   1216 |        0 |        0
532.21/532.31	c  532s |      20 |   999846 |   885027 |     1278   1220 |        0 |        0
534.21/534.33	c  534s |      20 |  1003277 |   888027 |     1278   1223 |        0 |        0
536.21/536.39	c  536s |      20 |  1006983 |   891327 |     1278   1227 |        0 |        0
538.31/538.45	c  538s |      20 |  1010248 |   894327 |     1278   1231 |        0 |        0
540.41/540.50	c  540s |      20 |  1013252 |   897027 |     1278   1234 |        0 |        0
542.41/542.57	c  542s |      20 |  1016803 |   900227 |     1278   1238 |        0 |        0
544.52/544.62	c  544s |      20 |  1020324 |   903327 |     1278   1241 |        0 |        0
546.51/546.69	c  546s |      20 |  1023486 |   906127 |     1278   1244 |        0 |        0
548.61/548.72	c  548s |      20 |  1027345 |   909527 |     1278   1248 |        0 |        0
550.61/550.79	c  550s |      20 |  1031438 |   913027 |     1278   1253 |        0 |        0
552.71/552.85	c  552s |      20 |  1035091 |   916327 |     1278   1256 |        0 |        0
554.71/554.89	c  554s |      20 |  1038272 |   919227 |     1278   1260 |        0 |        0
556.81/556.91	c  556s |      20 |  1041120 |   921827 |     1278   1263 |        0 |        0
558.81/558.92	c  558s |      20 |  1044350 |   924727 |     1278   1266 |        0 |        0
560.81/560.93	c  560s |      20 |  1048053 |   928027 |     1278   1270 |        0 |        0
562.81/562.98	c  562s |      20 |  1050812 |   930527 |     1278   1273 |        0 |        0
564.90/565.02	c  564s |      20 |  1053609 |   933027 |     1278   1276 |        0 |        0
566.90/567.04	c  566s |      20 |  1057717 |   936727 |     1278   1280 |        0 |        0
568.90/569.05	c  568s |      20 |  1061678 |   940227 |     1278   1284 |        0 |        0
571.00/571.10	c  571s |      20 |  1065290 |   943427 |     1278   1288 |        0 |        0
573.01/573.11	c  573s |      20 |  1068616 |   946427 |     1278   1292 |        0 |        0
575.00/575.19	c  575s |      20 |  1072245 |   949627 |     1278   1296 |        0 |        0
577.10/577.21	c  577s |      20 |  1075931 |   952827 |     1278   1299 |        0 |        0
579.10/579.23	c  579s |      20 |  1079198 |   955727 |     1278   1303 |        0 |        0
581.10/581.25	c  581s |      20 |  1082484 |   958627 |     1278   1306 |        0 |        0
583.10/583.27	c  583s |      20 |  1085602 |   961427 |     1278   1309 |        0 |        0
585.21/585.32	c  585s |      20 |  1088947 |   964327 |     1278   1313 |        0 |        0
587.20/587.34	c  587s |      20 |  1091690 |   966827 |     1278   1316 |        0 |        0
589.20/589.39	c  589s |      20 |  1094552 |   969427 |     1278   1319 |        0 |        0
591.30/591.40	c  591s |      20 |  1097082 |   971727 |     1278   1321 |        0 |        0
593.30/593.45	c  593s |      20 |  1100172 |   974527 |     1278   1325 |        0 |        0
595.30/595.48	c  595s |      20 |  1103438 |   977427 |     1278   1328 |        0 |        0
597.40/597.52	c  597s |      20 |  1106824 |   980427 |     1278   1332 |        0 |        0
599.40/599.52	c  599s |      20 |  1110814 |   984027 |     1278   1336 |        0 |        0
601.40/601.53	c  601s |      20 |  1114649 |   987527 |     1278   1340 |        0 |        0
603.40/603.54	c  603s |      20 |  1118530 |   991027 |     1278   1344 |        0 |        0
605.40/605.57	c  605s |      20 |  1122462 |   994527 |     1406   1348 |        0 |        0
607.50/607.64	c  607s |      20 |  1126039 |   997727 |     1406   1352 |        0 |        0
609.30/609.48	c  609s |      21 |  1128931 |  1000345 |     1406   1354 |        0 |        0
611.30/611.49	c  611s |      21 |  1133306 |  1003845 |     1406   1358 |        0 |        0
613.39/613.52	c  613s |      21 |  1136802 |  1006945 |     1406   1362 |        0 |        0
615.39/615.58	c  615s |      21 |  1140202 |  1010045 |     1406   1365 |        0 |        0
617.49/617.61	c  617s |      21 |  1143588 |  1013045 |     1406   1368 |        0 |        0
619.49/619.64	c  619s |      21 |  1146887 |  1016045 |     1406   1371 |        0 |        0
621.50/621.67	c  621s |      21 |  1150037 |  1018945 |     1406   1375 |        0 |        0
623.49/623.70	c  623s |      21 |  1153269 |  1021845 |     1406   1378 |        0 |        0
625.59/625.78	c  625s |      21 |  1156608 |  1024845 |     1406   1381 |        0 |        0
627.69/627.81	c  627s |      21 |  1159520 |  1027545 |     1406   1384 |        0 |        0
629.69/629.86	c  629s |      21 |  1162490 |  1030245 |     1406   1387 |        0 |        0
631.79/631.93	c  631s |      21 |  1164987 |  1032545 |     1406   1390 |        0 |        0
633.79/633.94	c  633s |      21 |  1168637 |  1035545 |     1406   1393 |        0 |        0
635.89/636.03	c  635s |      21 |  1171677 |  1038145 |     1406   1396 |        0 |        0
637.90/638.03	c  637s |      21 |  1174504 |  1040545 |     1406   1398 |        0 |        0
639.89/640.05	c  639s |      21 |  1177333 |  1043045 |     1406   1401 |        0 |        0
641.99/642.12	c  642s |      21 |  1180164 |  1045545 |     1406   1404 |        0 |        0
643.99/644.14	c  644s |      21 |  1182703 |  1047845 |     1406   1406 |        0 |        0
646.09/646.20	c  646s |      21 |  1185505 |  1050345 |     1406   1409 |        0 |        0
648.09/648.24	c  648s |      21 |  1188127 |  1052745 |     1406   1412 |        0 |        0
650.09/650.27	c  650s |      21 |  1190566 |  1054945 |     1406   1414 |        0 |        0
652.19/652.33	c  652s |      21 |  1193354 |  1057445 |     1406   1417 |        0 |        0
654.19/654.34	c  654s |      21 |  1195857 |  1059745 |     1406   1419 |        0 |        0
656.29/656.42	c  656s |      21 |  1198796 |  1062345 |     1406   1422 |        0 |        0
658.29/658.48	c  658s |      21 |  1201224 |  1064545 |     1406   1425 |        0 |        0
660.39/660.51	c  660s |      21 |  1203971 |  1067045 |     1406   1427 |        0 |        0
662.39/662.52	c  662s |      21 |  1206335 |  1069245 |     1406   1430 |        0 |        0
664.40/664.54	c  664s |      21 |  1209559 |  1072045 |     1406   1433 |        0 |        0
666.39/666.60	c  666s |      21 |  1212795 |  1074945 |     1406   1436 |        0 |        0
668.49/668.63	c  668s |      21 |  1215901 |  1077745 |     1406   1439 |        0 |        0
670.59/670.70	c  670s |      21 |  1219204 |  1080745 |     1406   1442 |        0 |        0
672.59/672.76	c  672s |      21 |  1222304 |  1083545 |     1406   1445 |        0 |        0
674.69/674.82	c  674s |      21 |  1225417 |  1086345 |     1406   1448 |        0 |        0
676.69/676.89	c  676s |      21 |  1227946 |  1088645 |     1406   1451 |        0 |        0
678.79/678.94	c  678s |      21 |  1230835 |  1091245 |     1406   1454 |        0 |        0
680.80/680.97	c  680s |      21 |  1233676 |  1093845 |     1406   1457 |        0 |        0
682.89/683.00	c  682s |      21 |  1236258 |  1096245 |     1406   1459 |        0 |        0
684.89/685.02	c  684s |      21 |  1238822 |  1098545 |     1406   1462 |        0 |        0
686.89/687.08	c  687s |      21 |  1242301 |  1101645 |     1406   1465 |        0 |        0
688.99/689.12	c  689s |      21 |  1245257 |  1104345 |     1406   1468 |        0 |        0
690.99/691.15	c  691s |      21 |  1248119 |  1106945 |     1406   1471 |        0 |        0
692.99/693.18	c  693s |      21 |  1250753 |  1109345 |     1406   1474 |        0 |        0
694.99/695.18	c  695s |      21 |  1253384 |  1111745 |     1406   1476 |        0 |        0
697.09/697.22	c  697s |      21 |  1256423 |  1114445 |     1406   1479 |        0 |        0
699.09/699.25	c  699s |      21 |  1259511 |  1117245 |     1406   1482 |        0 |        0
701.09/701.27	c  701s |      21 |  1262430 |  1119945 |     1406   1485 |        0 |        0
703.19/703.32	c  703s |      21 |  1265137 |  1122445 |     1406   1488 |        0 |        0
705.28/705.40	c  705s |      21 |  1267764 |  1124845 |     1406   1491 |        0 |        0
707.19/707.40	c  707s |      21 |  1270640 |  1127445 |     1406   1493 |        0 |        0
709.28/709.41	c  709s |      21 |  1273419 |  1129945 |     1406   1496 |        0 |        0
711.28/711.48	c  711s |      21 |  1275792 |  1132145 |     1406   1499 |        0 |        0
713.38/713.51	c  713s |      21 |  1278227 |  1134345 |     1406   1501 |        0 |        0
715.38/715.54	c  715s |      21 |  1281366 |  1137145 |     1406   1504 |        0 |        0
717.38/717.55	c  717s |      21 |  1284513 |  1139945 |     1406   1507 |        0 |        0
719.39/719.57	c  719s |      21 |  1287531 |  1142645 |     1406   1510 |        0 |        0
721.49/721.66	c  721s |      21 |  1290148 |  1145045 |     1406   1513 |        0 |        0
723.58/723.73	c  723s |      21 |  1293196 |  1147745 |     1406   1516 |        0 |        0
725.58/725.79	c  725s |      21 |  1295940 |  1150245 |     1406   1518 |        0 |        0
727.68/727.80	c  727s |      21 |  1298608 |  1152645 |     1406   1521 |        0 |        0
729.68/729.86	c  729s |      21 |  1301345 |  1155145 |     1406   1524 |        0 |        0
731.78/731.91	c  731s |      21 |  1303973 |  1157545 |     1406   1526 |        0 |        0
733.88/734.01	c  733s |      21 |  1306869 |  1160145 |     1406   1529 |        0 |        0
735.88/736.06	c  736s |      21 |  1309482 |  1162545 |     1406   1532 |        0 |        0
737.88/738.08	c  738s |      21 |  1312191 |  1164945 |     1406   1535 |        0 |        0
739.88/740.08	c  740s |      21 |  1314847 |  1167345 |     1406   1537 |        0 |        0
741.98/742.12	c  742s |      21 |  1317363 |  1169645 |     1406   1540 |        0 |        0
744.08/744.20	c  744s |      21 |  1319995 |  1172045 |     1406   1542 |        0 |        0
746.08/746.23	c  746s |      21 |  1322627 |  1174445 |     1406   1545 |        0 |        0
748.08/748.29	c  748s |      21 |  1325734 |  1177145 |     1406   1548 |        0 |        0
750.18/750.34	c  750s |      21 |  1328604 |  1179745 |     1406   1551 |        0 |        0
752.17/752.38	c  752s |      21 |  1331624 |  1182445 |     1406   1554 |        0 |        0
754.27/754.46	c  754s |      21 |  1334405 |  1184945 |     1406   1557 |        0 |        0
756.27/756.49	c  756s |      21 |  1337053 |  1187345 |     1406   1559 |        0 |        0
758.37/758.52	c  758s |      21 |  1339584 |  1189645 |     1406   1562 |        0 |        0
760.37/760.58	c  760s |      21 |  1342086 |  1191945 |     1406   1564 |        0 |        0
762.47/762.60	c  762s |      21 |  1344248 |  1193945 |     1406   1566 |        0 |        0
764.48/764.66	c  764s |      21 |  1346982 |  1196445 |     1406   1569 |        0 |        0
766.47/766.68	c  766s |      21 |  1349909 |  1199045 |     1406   1572 |        0 |        0
768.57/768.71	c  768s |      21 |  1352591 |  1201445 |     1406   1575 |        0 |        0
770.57/770.77	c  770s |      21 |  1355268 |  1203845 |     1406   1577 |        0 |        0
772.67/772.85	c  772s |      21 |  1357582 |  1205945 |     1406   1580 |        0 |        0
774.67/774.87	c  774s |      21 |  1360292 |  1208345 |     1406   1582 |        0 |        0
776.67/776.89	c  776s |      21 |  1362814 |  1210645 |     1406   1585 |        0 |        0
778.77/778.92	c  778s |      21 |  1365322 |  1212945 |     1406   1587 |        0 |        0
780.77/780.94	c  780s |      21 |  1367795 |  1215245 |     1406   1590 |        0 |        0
782.77/782.96	c  782s |      21 |  1370012 |  1217245 |     1406   1592 |        0 |        0
784.87/785.01	c  784s |      21 |  1372270 |  1219245 |     1406   1594 |        0 |        0
786.87/787.02	c  786s |      21 |  1375277 |  1221845 |     1406   1597 |        0 |        0
788.87/789.06	c  789s |      21 |  1378079 |  1224345 |     1406   1600 |        0 |        0
790.96/791.13	c  791s |      21 |  1380561 |  1226645 |     1406   1602 |        0 |        0
792.97/793.18	c  793s |      21 |  1383211 |  1229045 |     1406   1605 |        0 |        0
795.06/795.24	c  795s |      21 |  1386145 |  1231645 |     1406   1608 |        0 |        0
797.06/797.24	c  797s |      21 |  1389044 |  1234245 |     1406   1610 |        0 |        0
799.06/799.25	c  799s |      21 |  1391727 |  1236645 |     1406   1613 |        0 |        0
801.17/801.30	c  801s |      21 |  1394247 |  1238945 |     1406   1616 |        0 |        0
803.27/803.40	c  803s |      21 |  1396666 |  1241145 |     1406   1618 |        0 |        0
805.27/805.41	c  805s |      21 |  1399851 |  1243745 |     1406   1621 |        0 |        0
807.28/807.42	c  807s |      21 |  1402903 |  1246345 |     1406   1624 |        0 |        0
809.27/809.46	c  809s |      21 |  1405822 |  1248845 |     1406   1627 |        0 |        0
811.37/811.53	c  811s |      21 |  1408753 |  1251445 |     1406   1629 |        0 |        0
813.46/813.61	c  813s |      21 |  1411892 |  1254145 |     1406   1632 |        0 |        0
815.46/815.62	c  815s |      21 |  1414585 |  1256545 |     1406   1635 |        0 |        0
817.56/817.70	c  817s |      21 |  1417082 |  1258745 |     1406   1637 |        0 |        0
819.56/819.74	c  819s |      21 |  1420122 |  1261145 |     1406   1640 |        0 |        0
821.67/821.82	c  821s |      21 |  1422927 |  1263345 |     1406   1642 |        0 |        0
823.65/823.88	c  823s |      21 |  1425535 |  1265445 |     1406   1645 |        0 |        0
825.75/825.91	c  825s |      21 |  1427860 |  1267445 |     1406   1647 |        0 |        0
827.75/827.95	c  827s |      21 |  1430518 |  1269645 |     1406   1649 |        0 |        0
829.85/830.00	c  829s |      21 |  1433117 |  1271845 |     1406   1652 |        0 |        0
831.85/832.00	c  831s |      21 |  1435985 |  1274245 |     1406   1654 |        0 |        0
833.85/834.07	c  834s |      21 |  1438237 |  1276245 |     1406   1657 |        0 |        0
835.85/836.08	c  836s |      21 |  1440122 |  1277945 |     1406   1659 |        0 |        0
837.95/838.16	c  838s |      21 |  1442847 |  1280245 |     1406   1661 |        0 |        0
840.05/840.21	c  840s |      21 |  1445646 |  1282645 |     1406   1664 |        0 |        0
842.05/842.28	c  842s |      21 |  1448419 |  1285145 |     1406   1666 |        0 |        0
844.04/844.29	c  844s |      21 |  1450786 |  1287345 |     1406   1669 |        0 |        0
846.14/846.35	c  846s |      21 |  1453189 |  1289545 |     1406   1671 |        0 |        0
848.24/848.42	c  848s |      21 |  1455729 |  1291845 |     1406   1674 |        0 |        0
850.25/850.43	c  850s |      21 |  1458289 |  1294145 |     1406   1676 |        0 |        0
852.24/852.49	c  852s |      21 |  1460941 |  1296545 |     1406   1679 |        0 |        0
854.34/854.50	c  854s |      21 |  1463347 |  1298745 |     1406   1681 |        0 |        0
856.33/856.51	c  856s |      21 |  1466211 |  1301245 |     1406   1684 |        0 |        0
858.33/858.54	c  858s |      21 |  1469220 |  1303945 |     1406   1687 |        0 |        0
860.33/860.57	c  860s |      21 |  1472020 |  1306445 |     1406   1690 |        0 |        0
862.34/862.59	c  862s |      21 |  1474755 |  1308845 |     1406   1692 |        0 |        0
864.44/864.67	c  864s |      21 |  1477486 |  1311245 |     1406   1695 |        0 |        0
866.43/866.67	c  866s |      21 |  1480516 |  1313945 |     1406   1698 |        0 |        0
868.53/868.72	c  868s |      21 |  1483247 |  1316345 |     1406   1701 |        0 |        0
870.53/870.77	c  870s |      21 |  1486508 |  1319145 |     1406   1704 |        0 |        0
872.52/872.79	c  872s |      21 |  1489738 |  1321945 |     1406   1707 |        0 |        0
874.62/874.83	c  874s |      21 |  1492266 |  1324245 |     1406   1709 |        0 |        0
876.72/876.90	c  876s |      21 |  1494888 |  1326645 |     1406   1712 |        0 |        0
878.73/878.97	c  878s |      21 |  1497594 |  1329045 |     1406   1715 |        0 |        0
880.82/881.00	c  880s |      21 |  1500297 |  1331445 |     1406   1717 |        0 |        0
882.82/883.01	c  882s |      21 |  1502723 |  1333645 |     1406   1720 |        0 |        0
884.82/885.06	c  885s |      21 |  1505601 |  1336145 |     1406   1722 |        0 |        0
886.92/887.12	c  887s |      21 |  1508105 |  1338345 |     1406   1725 |        0 |        0
888.91/889.16	c  889s |      21 |  1510253 |  1340245 |     1406   1727 |        0 |        0
890.92/891.19	c  891s |      21 |  1512730 |  1342445 |     1406   1729 |        0 |        0
893.02/893.23	c  893s |      21 |  1515293 |  1344745 |     1406   1732 |        0 |        0
895.01/895.28	c  895s |      21 |  1518043 |  1347245 |     1406   1735 |        0 |        0
897.01/897.29	c  897s |      21 |  1520539 |  1349545 |     1406   1737 |        0 |        0
899.11/899.34	c  899s |      21 |  1522759 |  1351545 |     1406   1739 |        0 |        0
901.11/901.39	c  901s |      21 |  1524946 |  1353545 |     1406   1742 |        0 |        0
903.20/903.45	c  903s |      21 |  1527124 |  1355545 |     1406   1744 |        0 |        0
905.30/905.57	c  905s |      21 |  1529047 |  1357345 |     1406   1746 |        0 |        0
907.41/907.63	c  907s |      21 |  1532294 |  1360145 |     1406   1749 |        0 |        0
909.40/909.69	c  909s |      21 |  1535363 |  1362945 |     1406   1752 |        0 |        0
911.50/911.73	c  911s |      21 |  1538553 |  1365745 |     1406   1755 |        0 |        0
913.60/913.81	c  913s |      21 |  1541380 |  1368345 |     1406   1758 |        0 |        0
915.59/915.87	c  915s |      21 |  1544278 |  1370945 |     1406   1761 |        0 |        0
917.59/917.89	c  917s |      21 |  1547007 |  1373445 |     1406   1763 |        0 |        0
919.69/919.93	c  919s |      21 |  1549582 |  1375845 |     1406   1766 |        0 |        0
921.79/922.00	c  921s |      21 |  1552263 |  1378245 |     1406   1769 |        0 |        0
923.69/924.00	c  923s |      21 |  1554831 |  1380545 |     1406   1771 |        0 |        0
925.79/926.06	c  926s |      21 |  1557217 |  1382745 |     1406   1774 |        0 |        0
927.89/928.12	c  928s |      21 |  1560021 |  1385245 |     1406   1776 |        0 |        0
929.89/930.16	c  930s |      21 |  1562634 |  1387645 |     1406   1779 |        0 |        0
931.89/932.17	c  932s |      21 |  1565268 |  1390045 |     1406   1782 |        0 |        0
933.89/934.19	c  934s |      21 |  1568288 |  1392745 |     1406   1785 |        0 |        0
935.89/936.20	c  936s |      21 |  1570983 |  1395145 |     1406   1787 |        0 |        0
937.98/938.25	c  938s |      21 |  1573423 |  1397345 |     1406   1790 |        0 |        0
939.98/940.25	c  940s |      21 |  1575846 |  1399545 |     1406   1792 |        0 |        0
942.08/942.30	c  942s |      21 |  1579127 |  1402345 |     1406   1795 |        0 |        0
944.08/944.31	c  944s |      21 |  1581997 |  1404945 |     1406   1798 |        0 |        0
946.08/946.36	c  946s |      21 |  1584864 |  1407445 |     1406   1801 |        0 |        0
948.18/948.47	c  948s |      21 |  1587678 |  1409945 |     1406   1804 |        0 |        0
950.28/950.52	c  950s |      21 |  1590387 |  1412345 |     1406   1806 |        0 |        0
952.28/952.58	c  952s |      21 |  1593119 |  1414845 |     1406   1809 |        0 |        0
954.37/954.66	c  954s |      21 |  1595599 |  1417145 |     1406   1811 |        0 |        0
956.47/956.75	c  956s |      21 |  1598179 |  1419445 |     1406   1814 |        0 |        0
958.47/958.76	c  958s |      21 |  1600633 |  1421645 |     1406   1816 |        0 |        0
960.57/960.82	c  960s |      21 |  1603066 |  1423845 |     1406   1819 |        0 |        0
962.57/962.85	c  962s |      21 |  1605915 |  1426245 |     1406   1821 |        0 |        0
964.58/964.89	c  964s |      21 |  1609004 |  1428945 |     1406   1824 |        0 |        0
966.68/966.93	c  966s |      21 |  1611862 |  1431545 |     1406   1827 |        0 |        0
968.67/968.97	c  968s |      21 |  1614682 |  1434045 |     1406   1830 |        0 |        0
970.77/971.04	c  970s |      21 |  1617491 |  1436545 |     1406   1833 |        0 |        0
972.77/973.07	c  973s |      21 |  1620156 |  1438945 |     1406   1835 |        0 |        0
974.77/975.08	c  975s |      21 |  1622961 |  1441445 |     1406   1838 |        0 |        0
976.87/977.17	c  977s |      21 |  1625579 |  1443845 |     1406   1841 |        0 |        0
978.97/979.25	c  979s |      21 |  1628339 |  1446245 |     1406   1843 |        0 |        0
980.97/981.30	c  981s |      21 |  1630929 |  1448545 |     1406   1846 |        0 |        0
983.06/983.31	c  983s |      21 |  1633034 |  1450445 |     1406   1848 |        0 |        0
985.06/985.35	c  985s |      21 |  1636022 |  1453145 |     1406   1851 |        0 |        0
987.06/987.38	c  987s |      21 |  1638554 |  1455445 |     1406   1853 |        0 |        0
989.16/989.44	c  989s |      21 |  1641309 |  1457945 |     1406   1856 |        0 |        0
991.16/991.44	c  991s |      21 |  1643630 |  1460045 |     1406   1858 |        0 |        0
993.16/993.49	c  993s |      21 |  1646368 |  1462545 |     1406   1861 |        0 |        0
995.26/995.56	c  995s |      21 |  1648836 |  1464845 |     1406   1864 |        0 |        0
997.35/997.60	c  997s |      21 |  1651068 |  1466845 |     1406   1866 |        0 |        0
999.35/999.65	c  999s |      21 |  1653146 |  1468745 |     1406   1868 |        0 |        0
1001.35/1001.65	c 1001s |      21 |  1656087 |  1471345 |     1406   1871 |        0 |        0
1003.35/1003.69	c 1003s |      21 |  1658967 |  1473945 |     1406   1874 |        0 |        0
1005.45/1005.71	c 1005s |      21 |  1661547 |  1476345 |     1406   1876 |        0 |        0
1007.45/1007.77	c 1007s |      21 |  1664040 |  1478645 |     1406   1879 |        0 |        0
1009.55/1009.81	c 1009s |      21 |  1666548 |  1480945 |     1406   1881 |        0 |        0
1011.55/1011.83	c 1011s |      21 |  1669229 |  1483345 |     1406   1884 |        0 |        0
1013.54/1013.86	c 1013s |      21 |  1671944 |  1485845 |     1406   1887 |        0 |        0
1015.64/1015.94	c 1015s |      21 |  1674413 |  1488145 |     1406   1889 |        0 |        0
1017.64/1017.94	c 1017s |      21 |  1677024 |  1490545 |     1547   1892 |        0 |        0
1019.74/1020.00	c 1019s |      21 |  1679409 |  1492745 |     1547   1894 |        0 |        0
1021.75/1022.06	c 1022s |      21 |  1681550 |  1494745 |     1547   1896 |        0 |        0
1023.74/1024.08	c 1024s |      21 |  1684333 |  1497245 |     1547   1899 |        0 |        0
1025.84/1026.10	c 1026s |      21 |  1686748 |  1499445 |     1547   1901 |        0 |        0
1026.84/1027.16	c 1027s |      22 |  1688086 |  1500622 |     1547   1902 |        0 |        0
1028.84/1029.16	c 1029s |      22 |  1692481 |  1504222 |     1547   1906 |        0 |        0
1030.84/1031.17	c 1031s |      22 |  1695910 |  1507322 |     1547   1909 |        0 |        0
1032.83/1033.18	c 1033s |      22 |  1699057 |  1510122 |     1547   1912 |        0 |        0
1034.84/1035.20	c 1035s |      22 |  1702327 |  1513022 |     1547   1915 |        0 |        0
1036.93/1037.25	c 1037s |      22 |  1705452 |  1515822 |     1547   1918 |        0 |        0
1039.03/1039.32	c 1039s |      22 |  1708475 |  1518622 |     1547   1920 |        0 |        0
1041.03/1041.37	c 1041s |      22 |  1711524 |  1521422 |     1547   1923 |        0 |        0
1043.12/1043.42	c 1043s |      22 |  1714455 |  1524122 |     1547   1926 |        0 |        0
1045.12/1045.48	c 1045s |      22 |  1717308 |  1526722 |     1547   1929 |        0 |        0
1047.22/1047.54	c 1047s |      22 |  1720368 |  1529522 |     1547   1931 |        0 |        0
1049.32/1049.61	c 1049s |      22 |  1723398 |  1532322 |     1547   1934 |        0 |        0
1051.33/1051.65	c 1051s |      22 |  1727063 |  1535522 |     1547   1937 |        0 |        0
1053.32/1053.65	c 1053s |      22 |  1730544 |  1538622 |     1547   1940 |        0 |        0
1055.42/1055.71	c 1055s |      22 |  1733743 |  1541522 |     1547   1943 |        0 |        0
1057.42/1057.78	c 1057s |      22 |  1736894 |  1544422 |     1547   1946 |        0 |        0
1059.52/1059.81	c 1059s |      22 |  1739974 |  1547222 |     1547   1949 |        0 |        0
1061.52/1061.88	c 1061s |      22 |  1743385 |  1550222 |     1547   1952 |        0 |        0
1063.61/1063.94	c 1063s |      22 |  1746555 |  1553022 |     1547   1955 |        0 |        0
1065.62/1065.98	c 1065s |      22 |  1749283 |  1555422 |     1547   1957 |        0 |        0
1067.71/1068.04	c 1067s |      22 |  1752419 |  1558222 |     1547   1960 |        0 |        0
1069.71/1070.06	c 1070s |      22 |  1755573 |  1561022 |     1547   1963 |        0 |        0
1071.81/1072.12	c 1072s |      22 |  1758630 |  1563722 |     1547   1966 |        0 |        0
1073.80/1074.17	c 1074s |      22 |  1761972 |  1566622 |     1547   1969 |        0 |        0
1075.90/1076.21	c 1076s |      22 |  1764925 |  1569222 |     1547   1971 |        0 |        0
1077.90/1078.25	c 1078s |      22 |  1767947 |  1571922 |     1547   1974 |        0 |        0
1079.91/1080.25	c 1080s |      22 |  1770882 |  1574522 |     1547   1977 |        0 |        0
1081.90/1082.29	c 1082s |      22 |  1773970 |  1577222 |     1547   1980 |        0 |        0
1084.00/1084.33	c 1084s |      22 |  1777062 |  1579922 |     1547   1982 |        0 |        0
1086.00/1086.35	c 1086s |      22 |  1779447 |  1582022 |     1547   1984 |        0 |        0
1088.10/1088.40	c 1088s |      22 |  1782612 |  1584822 |     1547   1987 |        0 |        0
1090.10/1090.46	c 1090s |      22 |  1785832 |  1587722 |     1547   1990 |        0 |        0
1092.11/1092.49	c 1092s |      22 |  1788724 |  1590322 |     1547   1993 |        0 |        0
1094.21/1094.52	c 1094s |      22 |  1791500 |  1592822 |     1547   1995 |        0 |        0
1096.20/1096.56	c 1096s |      22 |  1794531 |  1595522 |     1547   1998 |        0 |        0
1098.20/1098.59	c 1098s |      22 |  1797885 |  1598522 |     1547   2001 |        0 |        0
1100.30/1100.60	c 1100s |      22 |  1800729 |  1601122 |     1547   2004 |        0 |        0
1102.30/1102.65	c 1102s |      22 |  1803753 |  1603822 |     1547   2006 |        0 |        0
1104.40/1104.70	c 1104s |      22 |  1806261 |  1606122 |     1547   2009 |        0 |        0
1106.40/1106.79	c 1106s |      22 |  1808767 |  1608422 |     1547   2011 |        0 |        0
1108.50/1108.85	c 1108s |      22 |  1811999 |  1611322 |     1547   2014 |        0 |        0
1110.59/1110.90	c 1110s |      22 |  1814980 |  1614022 |     1547   2017 |        0 |        0
1112.59/1112.95	c 1112s |      22 |  1817835 |  1616622 |     1547   2019 |        0 |        0
1114.59/1114.96	c 1114s |      22 |  1820955 |  1619422 |     1547   2022 |        0 |        0
1116.59/1116.99	c 1116s |      22 |  1823956 |  1622222 |     1547   2025 |        0 |        0
1118.69/1119.04	c 1118s |      22 |  1826680 |  1624722 |     1547   2028 |        0 |        0
1120.79/1121.10	c 1121s |      22 |  1829442 |  1627222 |     1547   2030 |        0 |        0
1122.79/1123.13	c 1123s |      22 |  1832550 |  1630022 |     1547   2033 |        0 |        0
1124.78/1125.18	c 1125s |      22 |  1835918 |  1633022 |     1547   2036 |        0 |        0
1126.78/1127.19	c 1127s |      22 |  1838897 |  1635722 |     1547   2039 |        0 |        0
1128.88/1129.20	c 1129s |      22 |  1841430 |  1638022 |     1547   2041 |        0 |        0
1130.88/1131.22	c 1131s |      22 |  1844084 |  1640422 |     1547   2043 |        0 |        0
1132.87/1133.28	c 1133s |      22 |  1846494 |  1642622 |     1547   2046 |        0 |        0
1134.98/1135.31	c 1135s |      22 |  1849059 |  1644922 |     1547   2048 |        0 |        0
1136.97/1137.38	c 1137s |      22 |  1851260 |  1646922 |     1547   2050 |        0 |        0
1138.97/1139.38	c 1139s |      22 |  1853738 |  1649122 |     1547   2052 |        0 |        0
1141.07/1141.41	c 1141s |      22 |  1856272 |  1651422 |     1547   2055 |        0 |        0
1143.07/1143.43	c 1143s |      22 |  1858698 |  1653622 |     1547   2057 |        0 |        0
1145.17/1145.50	c 1145s |      22 |  1860990 |  1655722 |     1547   2059 |        0 |        0
1147.27/1147.60	c 1147s |      22 |  1863341 |  1657822 |     1547   2061 |        0 |        0
1149.37/1149.72	c 1149s |      22 |  1865569 |  1659822 |     1547   2063 |        0 |        0
1151.38/1151.73	c 1151s |      22 |  1868166 |  1662122 |     1547   2065 |        0 |        0
1153.46/1153.81	c 1153s |      22 |  1871241 |  1664922 |     1547   2068 |        0 |        0
1155.46/1155.87	c 1155s |      22 |  1873984 |  1667422 |     1547   2071 |        0 |        0
1157.46/1157.87	c 1157s |      22 |  1876578 |  1669822 |     1547   2073 |        0 |        0
1159.56/1159.95	c 1159s |      22 |  1879156 |  1672222 |     1547   2076 |        0 |        0
1161.56/1161.98	c 1161s |      22 |  1881498 |  1674422 |     1547   2078 |        0 |        0
1163.66/1164.07	c 1164s |      22 |  1883794 |  1676522 |     1547   2080 |        0 |        0
1165.66/1166.07	c 1166s |      22 |  1886208 |  1678722 |     1547   2082 |        0 |        0
1167.76/1168.11	c 1168s |      22 |  1888456 |  1680822 |     1547   2084 |        0 |        0
1169.76/1170.18	c 1170s |      22 |  1891459 |  1683322 |     1547   2087 |        0 |        0
1171.86/1172.25	c 1172s |      22 |  1894193 |  1685722 |     1547   2089 |        0 |        0
1173.85/1174.25	c 1174s |      22 |  1896785 |  1688022 |     1547   2092 |        0 |        0
1175.95/1176.34	c 1176s |      22 |  1899502 |  1690422 |     1547   2094 |        0 |        0
1178.05/1178.42	c 1178s |      22 |  1901837 |  1692522 |     1547   2096 |        0 |        0
1180.06/1180.43	c 1180s |      22 |  1904062 |  1694522 |     1547   2098 |        0 |        0
1182.16/1182.51	c 1182s |      22 |  1906714 |  1696922 |     1547   2101 |        0 |        0
1184.14/1184.54	c 1184s |      22 |  1909356 |  1699222 |     1547   2103 |        0 |        0
1186.24/1186.62	c 1186s |      22 |  1912170 |  1701622 |     1547   2105 |        0 |        0
1188.24/1188.66	c 1188s |      22 |  1914921 |  1704022 |     1547   2108 |        0 |        0
1190.34/1190.72	c 1190s |      22 |  1917362 |  1706222 |     1547   2110 |        0 |        0
1192.34/1192.74	c 1192s |      22 |  1919895 |  1708522 |     1547   2112 |        0 |        0
1194.34/1194.74	c 1194s |      22 |  1922485 |  1710822 |     1547   2115 |        0 |        0
1196.34/1196.78	c 1196s |      22 |  1924985 |  1713022 |     1547   2117 |        0 |        0
1198.44/1198.81	c 1198s |      22 |  1927524 |  1715222 |     1547   2119 |        0 |        0
1200.44/1200.87	c 1200s |      22 |  1930150 |  1717522 |     1547   2121 |        0 |        0
1202.43/1202.89	c 1202s |      22 |  1932792 |  1719822 |     1547   2124 |        0 |        0
1204.53/1204.96	c 1204s |      22 |  1935685 |  1722422 |     1547   2126 |        0 |        0
1206.53/1206.97	c 1206s |      22 |  1938041 |  1724522 |     1547   2128 |        0 |        0
1208.64/1209.04	c 1208s |      22 |  1940766 |  1726922 |     1547   2131 |        0 |        0
1210.74/1211.14	c 1211s |      22 |  1943199 |  1729122 |     1547   2133 |        0 |        0
1212.82/1213.20	c 1213s |      22 |  1945771 |  1731422 |     1547   2135 |        0 |        0
1214.82/1215.23	c 1215s |      22 |  1948136 |  1733522 |     1547   2138 |        0 |        0
1216.92/1217.31	c 1217s |      22 |  1950416 |  1735522 |     1547   2140 |        0 |        0
1219.02/1219.41	c 1219s |      22 |  1952545 |  1737422 |     1547   2142 |        0 |        0
1221.02/1221.44	c 1221s |      22 |  1955593 |  1740122 |     1547   2144 |        0 |        0
1223.02/1223.47	c 1223s |      22 |  1959198 |  1743322 |     1547   2148 |        0 |        0
1225.02/1225.47	c 1225s |      22 |  1962266 |  1746122 |     1547   2150 |        0 |        0
1227.12/1227.51	c 1227s |      22 |  1965577 |  1749122 |     1547   2153 |        0 |        0
1229.12/1229.58	c 1229s |      22 |  1968832 |  1752022 |     1547   2156 |        0 |        0
1231.22/1231.60	c 1231s |      22 |  1971707 |  1754622 |     1547   2159 |        0 |        0
1233.21/1233.62	c 1233s |      22 |  1974234 |  1756922 |     1547   2161 |        0 |        0
1235.21/1235.69	c 1235s |      22 |  1976600 |  1759122 |     1547   2164 |        0 |        0
1237.31/1237.72	c 1237s |      22 |  1979929 |  1761822 |     1547   2166 |        0 |        0
1239.32/1239.74	c 1239s |      22 |  1982829 |  1764422 |     1547   2169 |        0 |        0
1241.31/1241.76	c 1241s |      22 |  1985852 |  1767122 |     1547   2172 |        0 |        0
1243.40/1243.83	c 1243s |      22 |  1988508 |  1769522 |     1547   2174 |        0 |        0
1245.40/1245.85	c 1245s |      22 |  1991390 |  1772122 |     1547   2177 |        0 |        0
1247.50/1247.91	c 1247s |      22 |  1994232 |  1774722 |     1547   2179 |        0 |        0
1249.50/1249.95	c 1249s |      22 |  1996842 |  1777122 |     1547   2182 |        0 |        0
1251.51/1251.96	c 1251s |      22 |  1999253 |  1779322 |     1547   2184 |        0 |        0
1253.50/1253.98	c 1253s |      22 |  2001678 |  1781522 |     1547   2186 |        0 |        0
1255.60/1256.01	c 1255s |      22 |  2004382 |  1783922 |     1547   2189 |        0 |        0
1257.60/1258.05	c 1257s |      22 |  2006936 |  1786222 |     1547   2191 |        0 |        0
1259.60/1260.08	c 1260s |      22 |  2009316 |  1788422 |     1547   2193 |        0 |        0
1261.60/1262.09	c 1262s |      22 |  2011784 |  1790622 |     1547   2195 |        0 |        0
1263.79/1264.23	c 1264s |      22 |  2014195 |  1792822 |     1547   2198 |        0 |        0
1265.89/1266.33	c 1266s |      22 |  2016807 |  1795222 |     1547   2200 |        0 |        0
1268.00/1268.41	c 1268s |      22 |  2019301 |  1797522 |     1547   2202 |        0 |        0
1270.10/1270.50	c 1270s |      22 |  2021726 |  1799722 |     1547   2205 |        0 |        0
1272.09/1272.55	c 1272s |      22 |  2024139 |  1801922 |     1547   2207 |        0 |        0
1274.19/1274.61	c 1274s |      22 |  2026230 |  1803822 |     1547   2209 |        0 |        0
1276.29/1276.70	c 1276s |      22 |  2028239 |  1805622 |     1547   2210 |        0 |        0
1278.29/1278.76	c 1278s |      22 |  2030777 |  1807722 |     1547   2213 |        0 |        0
1280.29/1280.79	c 1280s |      22 |  2034313 |  1810522 |     1547   2216 |        0 |        0
1282.39/1282.86	c 1282s |      22 |  2037427 |  1813122 |     1547   2218 |        0 |        0
1284.49/1284.92	c 1284s |      22 |  2040541 |  1815722 |     1547   2221 |        0 |        0
1286.48/1286.99	c 1286s |      22 |  2043143 |  1818022 |     1547   2223 |        0 |        0
1288.58/1289.06	c 1289s |      22 |  2046113 |  1820622 |     1547   2226 |        0 |        0
1290.68/1291.12	c 1291s |      22 |  2048847 |  1823122 |     1547   2228 |        0 |        0
1292.67/1293.19	c 1293s |      22 |  2051727 |  1825722 |     1547   2231 |        0 |        0
1294.77/1295.24	c 1295s |      22 |  2054523 |  1828222 |     1547   2233 |        0 |        0
1296.87/1297.30	c 1297s |      22 |  2057346 |  1830722 |     1547   2236 |        0 |        0
1298.97/1299.42	c 1299s |      22 |  2060214 |  1833222 |     1547   2239 |        0 |        0
1300.98/1301.43	c 1301s |      22 |  2062761 |  1835422 |     1547   2241 |        0 |        0
1302.96/1303.45	c 1303s |      22 |  2065190 |  1837522 |     1547   2243 |        0 |        0
1305.06/1305.54	c 1305s |      22 |  2068205 |  1840122 |     1547   2245 |        0 |        0
1307.06/1307.58	c 1307s |      22 |  2070995 |  1842622 |     1547   2248 |        0 |        0
1309.06/1309.59	c 1309s |      22 |  2073671 |  1845022 |     1547   2250 |        0 |        0
1311.16/1311.63	c 1311s |      22 |  2076158 |  1847222 |     1547   2253 |        0 |        0
1313.16/1313.68	c 1313s |      22 |  2078537 |  1849322 |     1547   2255 |        0 |        0
1315.27/1315.75	c 1315s |      22 |  2081293 |  1851722 |     1547   2257 |        0 |        0
1317.36/1317.81	c 1317s |      22 |  2084385 |  1854322 |     1547   2260 |        0 |        0
1319.36/1319.89	c 1319s |      22 |  2087206 |  1856822 |     1547   2262 |        0 |        0
1321.46/1321.93	c 1321s |      22 |  2089903 |  1859222 |     1547   2265 |        0 |        0
1323.45/1323.96	c 1323s |      22 |  2092466 |  1861522 |     1547   2267 |        0 |        0
1325.55/1326.03	c 1325s |      22 |  2095349 |  1864022 |     1547   2270 |        0 |        0
1327.65/1328.12	c 1328s |      22 |  2097966 |  1866322 |     1547   2272 |        0 |        0
1329.65/1330.14	c 1330s |      22 |  2100360 |  1868422 |     1547   2274 |        0 |        0
1331.66/1332.18	c 1332s |      22 |  2102699 |  1870522 |     1547   2276 |        0 |        0
1333.65/1334.18	c 1334s |      22 |  2105535 |  1873122 |     1547   2279 |        0 |        0
1335.75/1336.20	c 1336s |      22 |  2108466 |  1875722 |     1547   2282 |        0 |        0
1337.75/1338.25	c 1338s |      22 |  2111219 |  1878222 |     1547   2284 |        0 |        0
1339.75/1340.28	c 1340s |      22 |  2113826 |  1880622 |     1547   2287 |        0 |        0
1341.75/1342.29	c 1342s |      22 |  2116343 |  1882922 |     1547   2289 |        0 |        0
1343.86/1344.33	c 1344s |      22 |  2118783 |  1885122 |     1547   2291 |        0 |        0
1345.85/1346.36	c 1346s |      22 |  2120836 |  1887022 |     1547   2293 |        0 |        0
1347.95/1348.41	c 1348s |      22 |  2123279 |  1889222 |     1547   2295 |        0 |        0
1349.95/1350.47	c 1350s |      22 |  2125702 |  1891422 |     1547   2297 |        0 |        0
1352.05/1352.55	c 1352s |      22 |  2128086 |  1893622 |     1547   2300 |        0 |        0
1354.04/1354.57	c 1354s |      22 |  2130385 |  1895722 |     1547   2302 |        0 |        0
1356.14/1356.63	c 1356s |      22 |  2132675 |  1897822 |     1547   2304 |        0 |        0
1358.15/1358.69	c 1358s |      22 |  2135104 |  1900022 |     1547   2306 |        0 |        0
1360.25/1360.79	c 1360s |      22 |  2137717 |  1902322 |     1547   2309 |        0 |        0
1362.34/1362.85	c 1362s |      22 |  2140100 |  1904422 |     1547   2311 |        0 |        0
1364.44/1364.92	c 1364s |      22 |  2142946 |  1906922 |     1547   2313 |        0 |        0
1366.44/1366.98	c 1366s |      22 |  2146163 |  1909722 |     1547   2316 |        0 |        0
1368.44/1368.99	c 1368s |      22 |  2148945 |  1912222 |     1547   2319 |        0 |        0
1370.53/1371.02	c 1370s |      22 |  2151767 |  1914722 |     1547   2321 |        0 |        0
1372.63/1373.11	c 1373s |      22 |  2154532 |  1917122 |     1547   2324 |        0 |        0
1374.64/1375.11	c 1375s |      22 |  2156815 |  1919122 |     1547   2326 |        0 |        0
1376.63/1377.19	c 1377s |      22 |  2159405 |  1921422 |     1547   2328 |        0 |        0
1378.73/1379.28	c 1379s |      22 |  2162142 |  1923922 |     1547   2330 |        0 |        0
1380.73/1381.28	c 1381s |      22 |  2164754 |  1926322 |     1547   2333 |        0 |        0
1382.82/1383.33	c 1383s |      22 |  2167255 |  1928622 |     1547   2335 |        0 |        0
1384.82/1385.34	c 1385s |      22 |  2169868 |  1931022 |     1547   2338 |        0 |        0
1386.92/1387.40	c 1387s |      22 |  2172740 |  1933622 |     1547   2340 |        0 |        0
1388.93/1389.45	c 1389s |      22 |  2175614 |  1936122 |     1547   2343 |        0 |        0
1390.92/1391.50	c 1391s |      22 |  2178316 |  1938522 |     1547   2345 |        0 |        0
1393.02/1393.54	c 1393s |      22 |  2181115 |  1940922 |     1547   2348 |        0 |        0
1395.02/1395.56	c 1395s |      22 |  2183715 |  1943222 |     1547   2350 |        0 |        0
1397.12/1397.61	c 1397s |      22 |  2186223 |  1945422 |     1547   2352 |        0 |        0
1399.12/1399.67	c 1399s |      22 |  2189061 |  1947922 |     1547   2355 |        0 |        0
1401.22/1401.70	c 1401s |      22 |  2191803 |  1950322 |     1547   2357 |        0 |        0
1403.22/1403.72	c 1403s |      22 |  2194376 |  1952622 |     1547   2360 |        0 |        0
1405.21/1405.72	c 1405s |      22 |  2197148 |  1955022 |     1547   2362 |        0 |        0
1407.21/1407.77	c 1407s |      22 |  2200001 |  1957522 |     1547   2365 |        0 |        0
1409.31/1409.83	c 1409s |      22 |  2202714 |  1959922 |     1547   2367 |        0 |        0
1411.31/1411.84	c 1411s |      22 |  2205251 |  1962222 |     1547   2369 |        0 |        0
1413.41/1413.92	c 1413s |      22 |  2207902 |  1964622 |     1547   2372 |        0 |        0
1415.41/1415.96	c 1415s |      22 |  2210528 |  1966922 |     1547   2374 |        0 |        0
1417.51/1418.06	c 1418s |      22 |  2212894 |  1969022 |     1547   2376 |        0 |        0
1419.61/1420.13	c 1420s |      22 |  2215013 |  1970922 |     1547   2378 |        0 |        0
1421.60/1422.16	c 1422s |      22 |  2217643 |  1973222 |     1547   2380 |        0 |        0
1423.60/1424.16	c 1424s |      22 |  2219938 |  1975322 |     1547   2383 |        0 |        0
1425.70/1426.26	c 1426s |      22 |  2222293 |  1977422 |     1547   2385 |        0 |        0
1427.80/1428.33	c 1428s |      22 |  2224306 |  1979222 |     1547   2387 |        0 |        0
1429.80/1430.35	c 1430s |      22 |  2226169 |  1980922 |     1547   2388 |        0 |        0
1431.90/1432.42	c 1432s |      22 |  2228689 |  1983122 |     1547   2390 |        0 |        0
1433.90/1434.43	c 1434s |      22 |  2231177 |  1985322 |     1547   2393 |        0 |        0
1435.89/1436.44	c 1436s |      22 |  2233379 |  1987222 |     1547   2395 |        0 |        0
1437.89/1438.49	c 1438s |      22 |  2235993 |  1989522 |     1547   2397 |        0 |        0
1439.99/1440.54	c 1440s |      22 |  2238165 |  1991522 |     1547   2399 |        0 |        0
1441.99/1442.59	c 1442s |      22 |  2240654 |  1993722 |     1547   2401 |        0 |        0
1444.09/1444.65	c 1444s |      22 |  2243219 |  1996022 |     1547   2404 |        0 |        0
1446.19/1446.73	c 1446s |      22 |  2245381 |  1998022 |     1547   2406 |        0 |        0
1448.19/1448.75	c 1448s |      22 |  2247565 |  2000022 |     1547   2408 |        0 |        0
1450.19/1450.77	c 1450s |      22 |  2250021 |  2002222 |     1547   2410 |        0 |        0
1452.29/1452.81	c 1452s |      22 |  2252086 |  2004122 |     1547   2412 |        0 |        0
1454.28/1454.83	c 1454s |      22 |  2254350 |  2006122 |     1547   2414 |        0 |        0
1456.28/1456.88	c 1456s |      22 |  2257275 |  2008722 |     1547   2416 |        0 |        0
1458.28/1458.88	c 1458s |      22 |  2259741 |  2010922 |     1547   2419 |        0 |        0
1460.39/1460.92	c 1460s |      22 |  2262266 |  2013222 |     1547   2421 |        0 |        0
1462.38/1462.98	c 1462s |      22 |  2265059 |  2015722 |     1547   2423 |        0 |        0
1464.48/1465.06	c 1465s |      22 |  2267572 |  2018022 |     1547   2426 |        0 |        0
1466.48/1467.09	c 1467s |      22 |  2270169 |  2020322 |     1547   2428 |        0 |        0
1468.58/1469.13	c 1469s |      22 |  2272635 |  2022522 |     1547   2430 |        0 |        0
1470.58/1471.14	c 1471s |      22 |  2275161 |  2024822 |     1547   2433 |        0 |        0
1472.58/1473.15	c 1473s |      22 |  2277669 |  2027022 |     1547   2435 |        0 |        0
1474.68/1475.23	c 1475s |      22 |  2279954 |  2029122 |     1547   2437 |        0 |        0
1476.68/1477.28	c 1477s |      22 |  2282293 |  2031222 |     1547   2439 |        0 |        0
1478.68/1479.28	c 1479s |      22 |  2284423 |  2033122 |     1547   2441 |        0 |        0
1480.78/1481.30	c 1481s |      22 |  2286897 |  2035322 |     1547   2443 |        0 |        0
1482.78/1483.30	c 1483s |      22 |  2288779 |  2037022 |     1547   2445 |        0 |        0
1484.88/1485.42	c 1485s |      22 |  2290868 |  2038922 |     1547   2447 |        0 |        0
1486.88/1487.49	c 1487s |      22 |  2293372 |  2041122 |     1547   2449 |        0 |        0
1488.98/1489.59	c 1489s |      22 |  2295818 |  2043322 |     1547   2451 |        0 |        0
1491.08/1491.68	c 1491s |      22 |  2298281 |  2045522 |     1547   2454 |        0 |        0
1493.07/1493.69	c 1493s |      22 |  2300348 |  2047422 |     1547   2456 |        0 |        0
1495.17/1495.74	c 1495s |      22 |  2302784 |  2049622 |     1547   2458 |        0 |        0
1497.17/1497.74	c 1497s |      22 |  2304721 |  2051422 |     1547   2460 |        0 |        0
1499.17/1499.78	c 1499s |      22 |  2307940 |  2054222 |     1547   2463 |        0 |        0
1501.27/1501.85	c 1501s |      22 |  2310877 |  2056922 |     1547   2465 |        0 |        0
1503.37/1503.90	c 1503s |      22 |  2313584 |  2059422 |     1547   2468 |        0 |        0
1505.38/1505.93	c 1505s |      22 |  2316426 |  2062022 |     1547   2470 |        0 |        0
1507.37/1507.97	c 1507s |      22 |  2319312 |  2064622 |     1547   2473 |        0 |        0
1509.37/1509.98	c 1509s |      22 |  2322056 |  2067122 |     1547   2476 |        0 |        0
1511.37/1511.98	c 1511s |      22 |  2324804 |  2069622 |     1547   2478 |        0 |        0
1513.37/1513.99	c 1513s |      22 |  2327541 |  2072122 |     1547   2481 |        0 |        0
1515.47/1516.05	c 1515s |      22 |  2330363 |  2074622 |     1547   2483 |        0 |        0
1517.48/1518.10	c 1518s |      22 |  2333296 |  2077322 |     1547   2486 |        0 |        0
1519.57/1520.10	c 1520s |      22 |  2336155 |  2079922 |     1547   2489 |        0 |        0
1521.57/1522.18	c 1522s |      22 |  2339141 |  2082622 |     1547   2491 |        0 |        0
1523.67/1524.20	c 1524s |      22 |  2341764 |  2085022 |     1547   2494 |        0 |        0
1525.67/1526.25	c 1526s |      22 |  2344490 |  2087422 |     1547   2496 |        0 |        0
1527.77/1528.32	c 1528s |      22 |  2347122 |  2089822 |     1547   2499 |        0 |        0
1529.77/1530.39	c 1530s |      22 |  2349756 |  2092222 |     1547   2501 |        0 |        0
1531.87/1532.41	c 1532s |      22 |  2352441 |  2094522 |     1547   2503 |        0 |        0
1533.87/1534.44	c 1534s |      22 |  2355205 |  2097022 |     1547   2506 |        0 |        0
1535.87/1536.48	c 1536s |      22 |  2357844 |  2099422 |     1547   2508 |        0 |        0
1537.97/1538.53	c 1538s |      22 |  2360647 |  2101922 |     1547   2511 |        0 |        0
1540.06/1540.60	c 1540s |      22 |  2363203 |  2104222 |     1547   2513 |        0 |        0
1542.06/1542.68	c 1542s |      22 |  2365623 |  2106322 |     1547   2515 |        0 |        0
1544.16/1544.70	c 1544s |      22 |  2368569 |  2108922 |     1547   2518 |        0 |        0
1546.17/1546.79	c 1546s |      22 |  2371109 |  2111222 |     1547   2520 |        0 |        0
1548.27/1548.87	c 1548s |      22 |  2374232 |  2113922 |     1547   2523 |        0 |        0
1550.36/1550.90	c 1550s |      22 |  2376813 |  2116222 |     1547   2525 |        0 |        0
1552.36/1552.96	c 1552s |      22 |  2379407 |  2118522 |     1547   2528 |        0 |        0
1554.46/1555.00	c 1554s |      22 |  2382295 |  2121122 |     1547   2530 |        0 |        0
1556.46/1557.01	c 1556s |      22 |  2385012 |  2123522 |     1547   2533 |        0 |        0
1558.46/1559.03	c 1558s |      22 |  2387859 |  2126022 |     1547   2535 |        0 |        0
1560.47/1561.04	c 1560s |      22 |  2390290 |  2128222 |     1547   2538 |        0 |        0
1562.57/1563.11	c 1563s |      22 |  2392842 |  2130522 |     1547   2540 |        0 |        0
1564.56/1565.12	c 1565s |      22 |  2395318 |  2132722 |     1547   2542 |        0 |        0
1566.66/1567.22	c 1567s |      22 |  2397920 |  2135022 |     1547   2545 |        0 |        0
1568.67/1569.24	c 1569s |      22 |  2400415 |  2137222 |     1547   2547 |        0 |        0
1570.77/1571.30	c 1571s |      22 |  2402857 |  2139422 |     1547   2549 |        0 |        0
1572.77/1573.31	c 1573s |      22 |  2405466 |  2141722 |     1547   2551 |        0 |        0
1574.77/1575.34	c 1575s |      22 |  2407888 |  2143822 |     1547   2554 |        0 |        0
1576.77/1577.35	c 1577s |      22 |  2410432 |  2146022 |     1547   2556 |        0 |        0
1578.77/1579.39	c 1579s |      22 |  2413109 |  2148322 |     1547   2558 |        0 |        0
1580.86/1581.46	c 1581s |      22 |  2415864 |  2150722 |     1547   2561 |        0 |        0
1582.96/1583.52	c 1583s |      22 |  2418731 |  2153222 |     1547   2563 |        0 |        0
1585.06/1585.60	c 1585s |      22 |  2421176 |  2155422 |     1547   2565 |        0 |        0
1587.06/1587.68	c 1587s |      22 |  2423866 |  2157822 |     1547   2568 |        0 |        0
1589.07/1589.69	c 1589s |      22 |  2426030 |  2159722 |     1547   2570 |        0 |        0
1591.06/1591.70	c 1591s |      22 |  2428128 |  2161622 |     1547   2572 |        0 |        0
1593.16/1593.71	c 1593s |      22 |  2430619 |  2163922 |     1547   2574 |        0 |        0
1595.26/1595.80	c 1595s |      22 |  2432705 |  2165822 |     1547   2576 |        0 |        0
1597.26/1597.83	c 1597s |      22 |  2435438 |  2168222 |     1547   2578 |        0 |        0
1599.26/1599.88	c 1599s |      22 |  2438036 |  2170522 |     1547   2581 |        0 |        0
1601.36/1601.91	c 1601s |      22 |  2440351 |  2172622 |     1547   2583 |        0 |        0
1603.37/1603.99	c 1603s |      22 |  2442513 |  2174622 |     1547   2585 |        0 |        0
1605.47/1606.03	c 1605s |      22 |  2444717 |  2176522 |     1547   2587 |        0 |        0
1607.56/1608.13	c 1608s |      22 |  2446726 |  2178322 |     1547   2589 |        0 |        0
1609.56/1610.14	c 1610s |      22 |  2448814 |  2180022 |     1547   2590 |        0 |        0
1611.66/1612.20	c 1612s |      22 |  2451222 |  2182122 |     1547   2593 |        0 |        0
1613.66/1614.21	c 1614s |      22 |  2454196 |  2184722 |     1547   2595 |        0 |        0
1615.66/1616.27	c 1616s |      22 |  2456721 |  2187022 |     1547   2598 |        0 |        0
1617.66/1618.29	c 1618s |      22 |  2459245 |  2189322 |     1547   2600 |        0 |        0
1619.76/1620.32	c 1620s |      22 |  2462080 |  2191822 |     1547   2602 |        0 |        0
1621.86/1622.42	c 1622s |      22 |  2464883 |  2194322 |     1547   2605 |        0 |        0
1623.86/1624.45	c 1624s |      22 |  2467338 |  2196522 |     1547   2607 |        0 |        0
1625.95/1626.52	c 1626s |      22 |  2469981 |  2198922 |     1547   2610 |        0 |        0
1627.95/1628.55	c 1628s |      22 |  2472743 |  2201422 |     1547   2612 |        0 |        0
1630.05/1630.64	c 1630s |      22 |  2475121 |  2203622 |     1547   2614 |        0 |        0
1632.05/1632.65	c 1632s |      22 |  2477688 |  2205922 |     1547   2617 |        0 |        0
1634.06/1634.70	c 1634s |      22 |  2480271 |  2208222 |     1547   2619 |        0 |        0
1636.15/1636.78	c 1636s |      22 |  2482918 |  2210622 |     1547   2621 |        0 |        0
1638.25/1638.85	c 1638s |      22 |  2485332 |  2212822 |     1547   2624 |        0 |        0
1640.25/1640.88	c 1640s |      22 |  2487949 |  2215122 |     1547   2626 |        0 |        0
1642.35/1642.95	c 1642s |      22 |  2490732 |  2217622 |     1547   2629 |        0 |        0
1644.35/1644.98	c 1644s |      22 |  2493400 |  2220022 |     1547   2631 |        0 |        0
1646.45/1647.01	c 1646s |      22 |  2495773 |  2222222 |     1547   2633 |        0 |        0
1648.55/1649.13	c 1649s |      22 |  2497792 |  2224122 |     1547   2635 |        0 |        0
1650.56/1651.18	c 1651s |      22 |  2500221 |  2226322 |     1547   2637 |        0 |        0
1652.65/1653.23	c 1653s |      22 |  2502511 |  2228422 |     1547   2639 |        0 |        0
1654.75/1655.34	c 1655s |      22 |  2504677 |  2230422 |     1547   2642 |        0 |        0
1656.75/1657.37	c 1657s |      22 |  2507057 |  2232522 |     1547   2644 |        0 |        0
1658.85/1659.44	c 1659s |      22 |  2509631 |  2234822 |     1547   2646 |        0 |        0
1660.95/1661.51	c 1661s |      22 |  2512184 |  2237122 |     1702   2648 |        0 |        0
1662.95/1663.52	c 1663s |      22 |  2514532 |  2239222 |     1702   2650 |        0 |        0
1664.95/1665.57	c 1665s |      22 |  2516813 |  2241322 |     1702   2652 |        0 |        0
1666.95/1667.58	c 1667s |      22 |  2518653 |  2243022 |     1702   2654 |        0 |        0
1669.05/1669.65	c 1669s |      22 |  2520741 |  2244922 |     1702   2655 |        0 |        0
1671.05/1671.68	c 1671s |      22 |  2523274 |  2247122 |     1702   2657 |        0 |        0
1673.15/1673.74	c 1673s |      22 |  2525754 |  2249322 |     1702   2659 |        0 |        0
1675.15/1675.76	c 1675s |      22 |  2527641 |  2251022 |     1702   2661 |        0 |        0
1675.15/1675.78	c 1675s |      23 |  2527659 |  2251038 |     1702   2661 |        0 |        0
1677.15/1677.79	c 1677s |      23 |  2532596 |  2255238 |     1702   2666 |        0 |        0
1679.25/1679.83	c 1679s |      23 |  2537563 |  2259638 |     1702   2670 |        0 |        0
1681.24/1681.86	c 1681s |      23 |  2542202 |  2263838 |     1702   2675 |        0 |        0
1683.24/1683.89	c 1683s |      23 |  2547346 |  2268438 |     1702   2680 |        0 |        0
1685.34/1685.95	c 1685s |      23 |  2552071 |  2272538 |     1702   2684 |        0 |        0
1687.34/1687.96	c 1687s |      23 |  2555130 |  2275238 |     1702   2686 |        0 |        0
1689.44/1690.01	c 1689s |      23 |  2558068 |  2277838 |     1702   2688 |        0 |        0
1691.44/1692.04	c 1691s |      23 |  2560767 |  2280238 |     1702   2691 |        0 |        0
1693.45/1694.07	c 1694s |      23 |  2563392 |  2282638 |     1702   2693 |        0 |        0
1695.44/1696.07	c 1696s |      23 |  2565827 |  2284838 |     1702   2695 |        0 |        0
1697.54/1698.11	c 1698s |      23 |  2568287 |  2287038 |     1702   2697 |        0 |        0
1699.54/1700.12	c 1700s |      23 |  2571144 |  2289538 |     1702   2699 |        0 |        0
1701.54/1702.16	c 1702s |      23 |  2573631 |  2291738 |     1702   2702 |        0 |        0
1703.64/1704.21	c 1704s |      23 |  2575926 |  2293838 |     1702   2703 |        0 |        0
1705.65/1706.26	c 1706s |      23 |  2578110 |  2295838 |     1702   2705 |        0 |        0
1707.64/1708.30	c 1708s |      23 |  2580689 |  2298138 |     1702   2707 |        0 |        0
1709.74/1710.31	c 1710s |      23 |  2582988 |  2300238 |     1702   2709 |        0 |        0
1711.84/1712.41	c 1712s |      23 |  2585278 |  2302338 |     1702   2711 |        0 |        0
1713.84/1714.45	c 1714s |      23 |  2587243 |  2304138 |     1702   2713 |        0 |        0
1715.84/1716.49	c 1716s |      23 |  2589790 |  2306338 |     1702   2715 |        0 |        0
1717.94/1718.51	c 1718s |      23 |  2592219 |  2308538 |     1702   2717 |        0 |        0
1719.95/1720.51	c 1720s |      23 |  2594532 |  2310638 |     1702   2719 |        0 |        0
1721.94/1722.55	c 1722s |      23 |  2596991 |  2312838 |     1702   2721 |        0 |        0
1723.94/1724.55	c 1724s |      23 |  2599248 |  2314938 |     1702   2723 |        0 |        0
1726.04/1726.63	c 1726s |      23 |  2601526 |  2317038 |     1702   2725 |        0 |        0
1728.04/1728.63	c 1728s |      23 |  2603922 |  2319238 |     1702   2727 |        0 |        0
1730.14/1730.72	c 1730s |      23 |  2606350 |  2321438 |     1702   2729 |        0 |        0
1732.14/1732.77	c 1732s |      23 |  2608631 |  2323538 |     1702   2731 |        0 |        0
1734.24/1734.86	c 1734s |      23 |  2610827 |  2325538 |     1702   2733 |        0 |        0
1736.34/1736.93	c 1736s |      23 |  2612750 |  2327338 |     1702   2735 |        0 |        0
1738.44/1739.03	c 1738s |      23 |  2614591 |  2329038 |     1702   2736 |        0 |        0
1740.44/1741.07	c 1741s |      23 |  2617131 |  2331338 |     1702   2739 |        0 |        0
1742.54/1743.15	c 1743s |      23 |  2619298 |  2333338 |     1702   2741 |        0 |        0
1744.53/1745.19	c 1745s |      23 |  2621344 |  2335238 |     1702   2742 |        0 |        0
1746.63/1747.25	c 1747s |      23 |  2623949 |  2337538 |     1702   2744 |        0 |        0
1748.73/1749.30	c 1749s |      23 |  2626417 |  2339738 |     1702   2747 |        0 |        0
1750.74/1751.39	c 1751s |      23 |  2628975 |  2342038 |     1702   2749 |        0 |        0
1752.94/1753.51	c 1753s |      23 |  2631140 |  2344038 |     1702   2751 |        0 |        0
1754.93/1755.55	c 1755s |      23 |  2633087 |  2345838 |     1702   2752 |        0 |        0
1757.03/1757.60	c 1757s |      23 |  2635471 |  2347938 |     1702   2754 |        0 |        0
1759.13/1759.71	c 1759s |      23 |  2637503 |  2349738 |     1702   2756 |        0 |        0
1761.23/1761.80	c 1761s |      23 |  2639961 |  2351938 |     1702   2758 |        0 |        0
1763.23/1763.84	c 1763s |      23 |  2642399 |  2354138 |     1702   2760 |        0 |        0
1765.33/1765.95	c 1765s |      23 |  2644549 |  2356138 |     1702   2762 |        0 |        0
1767.43/1768.01	c 1767s |      23 |  2646638 |  2358038 |     1702   2764 |        0 |        0
1769.44/1770.05	c 1769s |      23 |  2649321 |  2360438 |     1702   2766 |        0 |        0
1771.43/1772.09	c 1772s |      23 |  2651839 |  2362738 |     1702   2768 |        0 |        0
1773.53/1774.13	c 1774s |      23 |  2654146 |  2364838 |     1702   2770 |        0 |        0
1775.63/1776.24	c 1776s |      23 |  2656431 |  2366938 |     1702   2772 |        0 |        0
1777.63/1778.27	c 1778s |      23 |  2658397 |  2368738 |     1702   2774 |        0 |        0
1779.63/1780.28	c 1780s |      23 |  2661253 |  2371238 |     1702   2776 |        0 |        0
1781.73/1782.34	c 1782s |      23 |  2664066 |  2373738 |     1702   2778 |        0 |        0
1783.83/1784.43	c 1784s |      23 |  2666526 |  2375938 |     1702   2780 |        0 |        0
1785.83/1786.45	c 1786s |      23 |  2668855 |  2378038 |     1702   2782 |        0 |        0
1787.93/1788.51	c 1788s |      23 |  2671372 |  2380338 |     1702   2785 |        0 |        0
1789.93/1790.58	c 1790s |      23 |  2674027 |  2382738 |     1702   2787 |        0 |        0
1791.93/1792.59	c 1792s |      23 |  2676485 |  2384938 |     1702   2789 |        0 |        0
1794.03/1794.66	c 1794s |      23 |  2679040 |  2387238 |     1702   2791 |        0 |        0
1796.13/1796.73	c 1796s |      23 |  2681800 |  2389638 |     1702   2793 |        0 |        0
1798.13/1798.75	c 1798s |      23 |  2684296 |  2391838 |     1702   2795 |        0 |        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-4109190-1466341822/watcher-4109190-1466341822 -o /tmp/evaluation-result-4109190-1466341822/solver-4109190-1466341822 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466341822-7742 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109190-1466341822.wbo 

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

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


[startup+0 s]
/proc/loadavg: 0.17 0.16 0.14 4/176 7771
/proc/meminfo: memFree=30155236/32872528 swapFree=1431120/1543540
[pid=7769] ppid=7764 vsize=753084 CPUtime=0 cores=0,2,4,6
/proc/7769/stat : 7769 (toysat) R 7764 7769 7726 0 -1 4202496 2817 0 0 0 0 0 0 0 20 0 4 0 36230951 771158016 3177 33554432000 4194304 16246674 140734051620432 140734051619856 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7769/statm: 188783 3186 441 2943 0 185677 0
[pid=7769/tid=7772] ppid=7764 vsize=775612 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7772/stat : 7772 (toysat) S 7764 7769 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 794226688 3266 33554432000 4194304 16246674 140734051620432 140275637791984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7769/tid=7774] ppid=7764 vsize=780732 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7774/stat : 7774 (toysat) S 7764 7769 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 799469568 3283 33554432000 4194304 16246674 140734051620432 140275627302128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7769/tid=7777] ppid=7764 vsize=784828 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7777/stat : 7777 (toysat) S 7764 7769 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 803663872 3301 33554432000 4194304 16246674 140734051620432 140275510930608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100151 s]
/proc/loadavg: 0.17 0.16 0.14 4/176 7771
/proc/meminfo: memFree=30155236/32872528 swapFree=1431120/1543540
[pid=7769] ppid=7764 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/7769/stat : 7769 (toysat) R 7764 7769 7726 0 -1 4202496 27757 0 0 0 5 4 0 0 20 0 4 0 36230951 1247350784 28103 33554432000 4194304 16246674 140734051620432 140734051619856 13191638 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7769/statm: 304529 28111 806 2943 0 301423 0
[pid=7769/tid=7772] ppid=7764 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7772/stat : 7772 (toysat) S 7764 7769 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1247350784 28116 33554432000 4194304 16246674 140734051620432 140275637791984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7769/tid=7774] ppid=7764 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7774/stat : 7774 (toysat) S 7764 7769 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1247350784 28121 33554432000 4194304 16246674 140734051620432 140275627302128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7769/tid=7777] ppid=7764 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7777/stat : 7777 (toysat) S 7764 7769 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1247350784 28129 33554432000 4194304 16246674 140734051620432 140275510930608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200504 s]
/proc/loadavg: 0.17 0.16 0.14 4/176 7771
/proc/meminfo: memFree=30155236/32872528 swapFree=1431120/1543540
[pid=7769] ppid=7764 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/7769/stat : 7769 (toysat) R 7764 7769 7726 0 -1 4202496 59100 0 0 0 10 9 0 0 20 0 4 0 36230951 1247350784 59447 33554432000 4194304 16246674 140734051620432 140734051602304 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7769/statm: 304529 59467 812 2943 0 301423 0
[pid=7769/tid=7772] ppid=7764 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7772/stat : 7772 (toysat) S 7764 7769 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1247350784 59474 33554432000 4194304 16246674 140734051620432 140275637791984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7769/tid=7774] ppid=7764 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7774/stat : 7774 (toysat) S 7764 7769 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1247350784 59480 33554432000 4194304 16246674 140734051620432 140275627302128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7769/tid=7777] ppid=7764 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7777/stat : 7777 (toysat) S 7764 7769 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1247350784 59484 33554432000 4194304 16246674 140734051620432 140275510930608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300483 s]
/proc/loadavg: 0.17 0.16 0.14 4/176 7771
/proc/meminfo: memFree=30155236/32872528 swapFree=1431120/1543540
[pid=7769] ppid=7764 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/7769/stat : 7769 (toysat) R 7764 7769 7726 0 -1 4202496 90723 0 0 0 16 13 0 0 20 0 4 0 36230951 1247350784 91070 33554432000 4194304 16246674 140734051620432 140734051602304 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7769/statm: 304529 91090 812 2943 0 301423 0
[pid=7769/tid=7772] ppid=7764 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7772/stat : 7772 (toysat) S 7764 7769 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1247350784 91101 33554432000 4194304 16246674 140734051620432 140275637791984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7769/tid=7774] ppid=7764 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7774/stat : 7774 (toysat) S 7764 7769 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1247350784 91113 33554432000 4194304 16246674 140734051620432 140275627302128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7769/tid=7777] ppid=7764 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7777/stat : 7777 (toysat) S 7764 7769 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1247350784 91124 33554432000 4194304 16246674 140734051620432 140275510930608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700401 s]
/proc/loadavg: 0.17 0.16 0.14 4/176 7771
/proc/meminfo: memFree=30155236/32872528 swapFree=1431120/1543540
[pid=7769] ppid=7764 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/7769/stat : 7769 (toysat) R 7764 7769 7726 0 -1 4202496 216434 0 0 0 38 31 0 0 20 0 4 0 36230951 1247350784 216780 33554432000 4194304 16246674 140734051620432 140734051602304 13759916 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7769/statm: 304529 216795 812 2943 0 301423 0
[pid=7769/tid=7772] ppid=7764 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7772/stat : 7772 (toysat) S 7764 7769 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1247350784 216806 33554432000 4194304 16246674 140734051620432 140275637791984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7769/tid=7774] ppid=7764 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7774/stat : 7774 (toysat) S 7764 7769 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1247350784 216817 33554432000 4194304 16246674 140734051620432 140275627302128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7769/tid=7777] ppid=7764 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7777/stat : 7777 (toysat) S 7764 7769 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1247350784 216828 33554432000 4194304 16246674 140734051620432 140275510930608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50038 s]
/proc/loadavg: 0.17 0.16 0.14 4/184 7779
/proc/meminfo: memFree=28192048/32872528 swapFree=1431120/1543540
[pid=7769] ppid=7764 vsize=1304132 CPUtime=1.49 cores=0,2,4,6
/proc/7769/stat : 7769 (toysat) R 7764 7769 7726 0 -1 4202496 267023 0 0 0 111 38 0 0 20 0 4 0 36230951 1335431168 267347 33554432000 4194304 16246674 140734051620432 140734051602304 6861609 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7769/statm: 326033 267347 871 2943 0 322927 0
[pid=7769/tid=7772] ppid=7764 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7772/stat : 7772 (toysat) S 7764 7769 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1335431168 267347 33554432000 4194304 16246674 140734051620432 140275637791984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7769/tid=7774] ppid=7764 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7774/stat : 7774 (toysat) S 7764 7769 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1335431168 267347 33554432000 4194304 16246674 140734051620432 140275627302128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7769/tid=7777] ppid=7764 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7777/stat : 7777 (toysat) S 7764 7769 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1335431168 267347 33554432000 4194304 16246674 140734051620432 140275510930608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1304132

[startup+3.10041 s]
/proc/loadavg: 0.17 0.16 0.14 4/184 7779
/proc/meminfo: memFree=28015844/32872528 swapFree=1431120/1543540
[pid=7769] ppid=7764 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/7769/stat : 7769 (toysat) R 7764 7769 7726 0 -1 4202496 267653 0 0 0 270 38 0 0 20 0 4 0 36230951 1337528320 267977 33554432000 4194304 16246674 140734051620432 140734051602304 5545907 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7769/statm: 326545 267977 872 2943 0 323439 0
[pid=7769/tid=7772] ppid=7764 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7772/stat : 7772 (toysat) S 7764 7769 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267977 33554432000 4194304 16246674 140734051620432 140275637791984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7769/tid=7774] ppid=7764 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7774/stat : 7774 (toysat) S 7764 7769 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267977 33554432000 4194304 16246674 140734051620432 140275627302128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7769/tid=7777] ppid=7764 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7777/stat : 7777 (toysat) S 7764 7769 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267977 33554432000 4194304 16246674 140734051620432 140275510930608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 0.40 0.21 0.16 4/184 7779
/proc/meminfo: memFree=28015268/32872528 swapFree=1431120/1543540
[pid=7769] ppid=7764 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/7769/stat : 7769 (toysat) R 7764 7769 7726 0 -1 4202496 267665 0 0 0 590 38 0 0 20 0 4 0 36230951 1337528320 267989 33554432000 4194304 16246674 140734051620432 140734051602304 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7769/statm: 326545 267989 872 2943 0 323439 0
[pid=7769/tid=7772] ppid=7764 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7772/stat : 7772 (toysat) S 7764 7769 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267989 33554432000 4194304 16246674 140734051620432 140275637791984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7769/tid=7774] ppid=7764 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7774/stat : 7774 (toysat) S 7764 7769 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267989 33554432000 4194304 16246674 140734051620432 140275627302128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7769/tid=7777] ppid=7764 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7777/stat : 7777 (toysat) S 7764 7769 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267989 33554432000 4194304 16246674 140734051620432 140275510930608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 0.52 0.24 0.17 5/184 7779
/proc/meminfo: memFree=28014292/32872528 swapFree=1431120/1543540
[pid=7769] ppid=7764 vsize=1307204 CPUtime=12.68 cores=0,2,4,6
/proc/7769/stat : 7769 (toysat) R 7764 7769 7726 0 -1 4202496 267785 0 0 0 1230 38 0 0 20 0 4 0 36230951 1338576896 268109 33554432000 4194304 16246674 140734051620432 140734051602304 5545752 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7769/statm: 326801 268109 872 2943 0 323695 0
[pid=7769/tid=7772] ppid=7764 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7772/stat : 7772 (toysat) S 7764 7769 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1338576896 268109 33554432000 4194304 16246674 140734051620432 140275637791984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7769/tid=7774] ppid=7764 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7774/stat : 7774 (toysat) S 7764 7769 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1338576896 268109 33554432000 4194304 16246674 140734051620432 140275627302128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7769/tid=7777] ppid=7764 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7777/stat : 7777 (toysat) S 7764 7769 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1338576896 268109 33554432000 4194304 16246674 140734051620432 140275510930608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 1.00 0.36 0.21 5/184 7779
/proc/meminfo: memFree=28015320/32872528 swapFree=1431120/1543540
[pid=7769] ppid=7764 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/7769/stat : 7769 (toysat) R 7764 7769 7726 0 -1 4202496 267799 0 0 0 2510 39 0 0 20 0 4 0 36230951 1338576896 268123 33554432000 4194304 16246674 140734051620432 140734051602304 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7769/statm: 326801 268123 874 2943 0 323695 0
[pid=7769/tid=7772] ppid=7764 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7772/stat : 7772 (toysat) S 7764 7769 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1338576896 268123 33554432000 4194304 16246674 140734051620432 140275637791984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7769/tid=7774] ppid=7764 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7774/stat : 7774 (toysat) S 7764 7769 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1338576896 268123 33554432000 4194304 16246674 140734051620432 140275627302128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7769/tid=7777] ppid=7764 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7777/stat : 7777 (toysat) S 7764 7769 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1338576896 268123 33554432000 4194304 16246674 140734051620432 140275510930608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 1.34 0.49 0.25 4/183 7780
/proc/meminfo: memFree=28013844/32872528 swapFree=1431120/1543540
[pid=7769] ppid=7764 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/7769/stat : 7769 (toysat) R 7764 7769 7726 0 -1 4202496 268147 0 0 0 5069 39 0 0 20 0 4 0 36230951 1339625472 268471 33554432000 4194304 16246674 140734051620432 140734051602304 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7769/statm: 327057 268471 874 2943 0 323951 0
[pid=7769/tid=7772] ppid=7764 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7772/stat : 7772 (toysat) S 7764 7769 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1339625472 268471 33554432000 4194304 16246674 140734051620432 140275637791984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7769/tid=7774] ppid=7764 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7774/stat : 7774 (toysat) S 7764 7769 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1339625472 268471 33554432000 4194304 16246674 140734051620432 140275627302128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7769/tid=7777] ppid=7764 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7777/stat : 7777 (toysat) S 7764 7769 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1339625472 268471 33554432000 4194304 16246674 140734051620432 140275510930608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 1.88 0.77 0.36 5/183 7781
/proc/meminfo: memFree=28013060/32872528 swapFree=1431120/1543540
[pid=7769] ppid=7764 vsize=1308228 CPUtime=102.29 cores=0,2,4,6
/proc/7769/stat : 7769 (toysat) R 7764 7769 7726 0 -1 4202496 268180 0 0 0 10189 40 0 0 20 0 4 0 36230951 1339625472 268504 33554432000 4194304 16246674 140734051620432 140734051602304 13950232 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7769/statm: 327057 268504 875 2943 0 323951 0
[pid=7769/tid=7772] ppid=7764 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7772/stat : 7772 (toysat) S 7764 7769 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1339625472 268504 33554432000 4194304 16246674 140734051620432 140275637791984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7769/tid=7774] ppid=7764 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7774/stat : 7774 (toysat) S 7764 7769 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1339625472 268504 33554432000 4194304 16246674 140734051620432 140275627302128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7769/tid=7777] ppid=7764 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7777/stat : 7777 (toysat) S 7764 7769 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1339625472 268504 33554432000 4194304 16246674 140734051620432 140275510930608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1308228


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

/proc/7769/task/7777/stat : 7777 (toysat) S 7764 7769 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1342771200 269406 33554432000 4194304 16246674 140734051620432 140275510930608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1311300

[startup+1302.3 s]
/proc/loadavg: 2.31 2.24 1.71 3/183 7860
/proc/meminfo: memFree=27989072/32872528 swapFree=1431120/1543540
[pid=7769] ppid=7764 vsize=1311300 CPUtime=1301.87 cores=0,2,4,6
/proc/7769/stat : 7769 (toysat) R 7764 7769 7726 0 -1 4202496 269237 0 0 0 130141 46 0 0 20 0 4 0 36230951 1342771200 269461 33554432000 4194304 16246674 140734051620432 140734051602304 13950199 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7769/statm: 327825 269461 876 2943 0 324719 0
[pid=7769/tid=7772] ppid=7764 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7772/stat : 7772 (toysat) S 7764 7769 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1342771200 269461 33554432000 4194304 16246674 140734051620432 140275637791984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7769/tid=7774] ppid=7764 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7774/stat : 7774 (toysat) S 7764 7769 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1342771200 269461 33554432000 4194304 16246674 140734051620432 140275627302128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7769/tid=7777] ppid=7764 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7777/stat : 7777 (toysat) S 7764 7769 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1342771200 269461 33554432000 4194304 16246674 140734051620432 140275510930608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1311300

[startup+1362.3 s]
/proc/loadavg: 2.25 2.24 1.74 3/183 7861
/proc/meminfo: memFree=27988872/32872528 swapFree=1431120/1543540
[pid=7769] ppid=7764 vsize=1311300 CPUtime=1361.84 cores=0,2,4,6
/proc/7769/stat : 7769 (toysat) R 7764 7769 7726 0 -1 4202496 269281 0 0 0 136137 47 0 0 20 0 4 0 36230951 1342771200 269461 33554432000 4194304 16246674 140734051620432 140734051602304 6836125 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7769/statm: 327825 269461 876 2943 0 324719 0
[pid=7769/tid=7772] ppid=7764 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7772/stat : 7772 (toysat) S 7764 7769 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1342771200 269461 33554432000 4194304 16246674 140734051620432 140275637791984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7769/tid=7774] ppid=7764 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7774/stat : 7774 (toysat) S 7764 7769 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1342771200 269461 33554432000 4194304 16246674 140734051620432 140275627302128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7769/tid=7777] ppid=7764 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7777/stat : 7777 (toysat) S 7764 7769 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1342771200 269461 33554432000 4194304 16246674 140734051620432 140275510930608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1311300

[startup+1422.3 s]
/proc/loadavg: 2.42 2.29 1.78 3/183 7862
/proc/meminfo: memFree=27988928/32872528 swapFree=1431120/1543540
[pid=7769] ppid=7764 vsize=1311300 CPUtime=1421.81 cores=0,2,4,6
/proc/7769/stat : 7769 (toysat) R 7764 7769 7726 0 -1 4202496 269319 0 0 0 142134 47 0 0 20 0 4 0 36230951 1342771200 269461 33554432000 4194304 16246674 140734051620432 140734051602304 13950986 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7769/statm: 327825 269461 876 2943 0 324719 0
[pid=7769/tid=7772] ppid=7764 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7772/stat : 7772 (toysat) S 7764 7769 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1342771200 269461 33554432000 4194304 16246674 140734051620432 140275637791984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7769/tid=7774] ppid=7764 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7774/stat : 7774 (toysat) S 7764 7769 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1342771200 269461 33554432000 4194304 16246674 140734051620432 140275627302128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7769/tid=7777] ppid=7764 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7777/stat : 7777 (toysat) S 7764 7769 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1342771200 269461 33554432000 4194304 16246674 140734051620432 140275510930608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1311300

[startup+1482.3 s]
/proc/loadavg: 2.34 2.29 1.82 3/183 7863
/proc/meminfo: memFree=27989012/32872528 swapFree=1431120/1543540
[pid=7769] ppid=7764 vsize=1311300 CPUtime=1481.78 cores=0,2,4,6
/proc/7769/stat : 7769 (toysat) R 7764 7769 7726 0 -1 4202496 269347 0 0 0 148131 47 0 0 20 0 4 0 36230951 1342771200 269461 33554432000 4194304 16246674 140734051620432 140734051602304 12477821 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7769/statm: 327825 269461 876 2943 0 324719 0
[pid=7769/tid=7772] ppid=7764 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7772/stat : 7772 (toysat) S 7764 7769 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1342771200 269461 33554432000 4194304 16246674 140734051620432 140275637791984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7769/tid=7774] ppid=7764 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7774/stat : 7774 (toysat) S 7764 7769 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1342771200 269461 33554432000 4194304 16246674 140734051620432 140275627302128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7769/tid=7777] ppid=7764 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7777/stat : 7777 (toysat) S 7764 7769 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1342771200 269461 33554432000 4194304 16246674 140734051620432 140275510930608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1311300

[startup+1542.31 s]
/proc/loadavg: 2.22 2.27 1.83 3/183 7864
/proc/meminfo: memFree=27988128/32872528 swapFree=1431120/1543540
[pid=7769] ppid=7764 vsize=1311300 CPUtime=1541.77 cores=0,2,4,6
/proc/7769/stat : 7769 (toysat) R 7764 7769 7726 0 -1 4202496 269347 0 0 0 154130 47 0 0 20 0 4 0 36230951 1342771200 269461 33554432000 4194304 16246674 140734051620432 140734051602304 5545796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7769/statm: 327825 269461 876 2943 0 324719 0
[pid=7769/tid=7772] ppid=7764 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7772/stat : 7772 (toysat) S 7764 7769 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1342771200 269461 33554432000 4194304 16246674 140734051620432 140275637791984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7769/tid=7774] ppid=7764 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7774/stat : 7774 (toysat) S 7764 7769 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1342771200 269461 33554432000 4194304 16246674 140734051620432 140275627302128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7769/tid=7777] ppid=7764 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7777/stat : 7777 (toysat) S 7764 7769 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1342771200 269461 33554432000 4194304 16246674 140734051620432 140275510930608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1311300

[startup+1602.3 s]
/proc/loadavg: 2.34 2.29 1.87 3/183 7866
/proc/meminfo: memFree=27985180/32872528 swapFree=1431120/1543540
[pid=7769] ppid=7764 vsize=1314372 CPUtime=1601.76 cores=0,2,4,6
/proc/7769/stat : 7769 (toysat) R 7764 7769 7726 0 -1 4202496 270039 0 0 0 160128 48 0 0 20 0 4 0 36230951 1345916928 270153 33554432000 4194304 16246674 140734051620432 140734051602304 13780648 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7769/statm: 328593 270153 876 2943 0 325487 0
[pid=7769/tid=7772] ppid=7764 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7772/stat : 7772 (toysat) S 7764 7769 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1345916928 270153 33554432000 4194304 16246674 140734051620432 140275637791984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7769/tid=7774] ppid=7764 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7774/stat : 7774 (toysat) S 7764 7769 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1345916928 270153 33554432000 4194304 16246674 140734051620432 140275627302128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7769/tid=7777] ppid=7764 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7777/stat : 7777 (toysat) S 7764 7769 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1345916928 270153 33554432000 4194304 16246674 140734051620432 140275510930608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.31 2.28 1.89 3/183 7867
/proc/meminfo: memFree=27985060/32872528 swapFree=1431120/1543540
[pid=7769] ppid=7764 vsize=1314372 CPUtime=1661.75 cores=0,2,4,6
/proc/7769/stat : 7769 (toysat) R 7764 7769 7726 0 -1 4202496 270039 0 0 0 166127 48 0 0 20 0 4 0 36230951 1345916928 270153 33554432000 4194304 16246674 140734051620432 140734051602304 13950232 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7769/statm: 328593 270153 876 2943 0 325487 0
[pid=7769/tid=7772] ppid=7764 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7772/stat : 7772 (toysat) S 7764 7769 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1345916928 270153 33554432000 4194304 16246674 140734051620432 140275637791984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7769/tid=7774] ppid=7764 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7774/stat : 7774 (toysat) S 7764 7769 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1345916928 270153 33554432000 4194304 16246674 140734051620432 140275627302128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7769/tid=7777] ppid=7764 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7777/stat : 7777 (toysat) S 7764 7769 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1345916928 270153 33554432000 4194304 16246674 140734051620432 140275510930608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.32 2.29 1.91 3/183 7868
/proc/meminfo: memFree=27983236/32872528 swapFree=1431120/1543540
[pid=7769] ppid=7764 vsize=1314372 CPUtime=1721.74 cores=0,2,4,6
/proc/7769/stat : 7769 (toysat) R 7764 7769 7726 0 -1 4202496 270039 0 0 0 172126 48 0 0 20 0 4 0 36230951 1345916928 270153 33554432000 4194304 16246674 140734051620432 140734051602304 5545788 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7769/statm: 328593 270153 876 2943 0 325487 0
[pid=7769/tid=7772] ppid=7764 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7772/stat : 7772 (toysat) S 7764 7769 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1345916928 270153 33554432000 4194304 16246674 140734051620432 140275637791984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7769/tid=7774] ppid=7764 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7774/stat : 7774 (toysat) S 7764 7769 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1345916928 270153 33554432000 4194304 16246674 140734051620432 140275627302128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7769/tid=7777] ppid=7764 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7777/stat : 7777 (toysat) S 7764 7769 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1345916928 270153 33554432000 4194304 16246674 140734051620432 140275510930608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1314372

[startup+1782.3 s]
/proc/loadavg: 2.38 2.31 1.94 3/184 7872
/proc/meminfo: memFree=27982000/32872528 swapFree=1431120/1543540
[pid=7769] ppid=7764 vsize=1314372 CPUtime=1781.73 cores=0,2,4,6
/proc/7769/stat : 7769 (toysat) R 7764 7769 7726 0 -1 4202496 270039 0 0 0 178125 48 0 0 20 0 4 0 36230951 1345916928 270153 33554432000 4194304 16246674 140734051620432 140734051602304 5546005 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7769/statm: 328593 270153 876 2943 0 325487 0
[pid=7769/tid=7772] ppid=7764 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7772/stat : 7772 (toysat) S 7764 7769 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1345916928 270153 33554432000 4194304 16246674 140734051620432 140275637791984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7769/tid=7774] ppid=7764 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7774/stat : 7774 (toysat) S 7764 7769 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1345916928 270153 33554432000 4194304 16246674 140734051620432 140275627302128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7769/tid=7777] ppid=7764 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7777/stat : 7777 (toysat) S 7764 7769 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1345916928 270153 33554432000 4194304 16246674 140734051620432 140275510930608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1314372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.27 2.29 1.94 3/184 7872
/proc/meminfo: memFree=27982888/32872528 swapFree=1431120/1543540
[pid=7769] ppid=7764 vsize=1314372 CPUtime=1800.03 cores=0,2,4,6
/proc/7769/stat : 7769 (toysat) R 7764 7769 7726 0 -1 4202496 270039 0 0 0 179955 48 0 0 20 0 4 0 36230951 1345916928 270153 33554432000 4194304 16246674 140734051620432 140734051602304 5717499 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7769/statm: 328593 270153 876 2943 0 325487 0
[pid=7769/tid=7772] ppid=7764 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7772/stat : 7772 (toysat) S 7764 7769 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1345916928 270153 33554432000 4194304 16246674 140734051620432 140275637791984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7769/tid=7774] ppid=7764 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7774/stat : 7774 (toysat) S 7764 7769 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1345916928 270153 33554432000 4194304 16246674 140734051620432 140275627302128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7769/tid=7777] ppid=7764 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7769/task/7777/stat : 7777 (toysat) S 7764 7769 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1345916928 270153 33554432000 4194304 16246674 140734051620432 140275510930608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1314372

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 7769 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.04
CPU user time (s): 1799.56
CPU system time (s): 0.487925
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.487925
maximum resident set size= 1080612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270039
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= 480
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.78927 second user time and 7.15391 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-19 15:10:22
IDJOB=4109190
IDBENCH=78708
IDSOLVER=2553
FILE ID=node116/4109190-1466341822
RUNJOBID= node116-1466341822-7742
PBS_JOBID= 19922036
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-25-20--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109190-1466341822/watcher-4109190-1466341822 -o /tmp/evaluation-result-4109190-1466341822/solver-4109190-1466341822 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466341822-7742 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109190-1466341822.wbo

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

MD5SUM BENCH= baadf39a9a4e5770052dc23dee998ba5
RANDOM SEED=1503355689

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:        30157324 kB
Buffers:          139912 kB
Cached:           279544 kB
SwapCached:         2316 kB
Active:           162972 kB
Inactive:         259836 kB
Active(anon):       1940 kB
Inactive(anon):     3884 kB
Active(file):     161032 kB
Inactive(file):   255952 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099856 kB
Dirty:             32604 kB
Writeback:             0 kB
AnonPages:       1546488 kB
Mapped:             8604 kB
Shmem:                 0 kB
Slab:             615804 kB
SReclaimable:      60316 kB
SUnreclaim:       555488 kB
KernelStack:        1368 kB
PageTables:         6816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1639716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 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= 71660 MiB
End job on node116 at 2016-06-19 15:40:23