Trace number 4093627

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

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-0-100-0.wbo
MD5SUMfcf2074312786880370cecd0374d7bf5
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark0.751885
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables600
Total number of constraints70
Number of soft constraints70
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint15
Maximum length of a constraint20
Top cost 3292
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3291
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 21
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-16T17:07: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-4093627-1466089642.wbo"]
0.00/0.01	c use --random-gen="1971232711 3202523823 456803072 1044384070 1743754450 829701780 828362493 2013611666 3308998430 3103103091 3586239891 676783724 1555407007 2347433812 1527698467 3762548543 3828000251 2793620812 3249734181 2979939328 736503377 669850429 3525386148 1625442604 2549540212 1425065893 3468945698 3786268032 3134316017 3229236117 4156564994 1477646820 2423749352 2827856468 2519026152 81550997 3760424046 744778547 4250235060 2945505885 3168651898 298255111 3286412230 2908771529 3644918664 2185883145 1015072717 1848580908 2056276244 1910244082 4220739471 80599048 2188107625 386769068 299975583 4188328981 366169758 681396403 844068153 621823612 599190659 3842215655 4164288509 217035450 3124802391 2729782749 1517607313 3696212030 418319611 2607776877 2228986805 3919302925 3412590190 2150229230 1176475975 1542240433 344194198 2884460618 2064203771 2338644365 4188100577 2211160802 2659290874 3113332739 2709316780 2850325100 83393242 4004657694 1229817134 1680577254 3753740009 919805120 2085526190 3614300685 3996915059 1577827279 3058435438 3451181741 3019583795 3281124545 2247153829 1386100211 2300799437 1882985265 24737201 3201113858 2662151538 2238579903 540275280 3825474924 24737510 2114107609 1192070341 3345401519 1171185902 3014822593 1200836246 1418370405 1819586358 3564930947 2921519301 3602981523 445294567 200760268 151145996 3745533395 1677683878 1604059392 1201926217 2280028198 803994088 1566108491 208181645 3205041656 3444901419 3098723636 4256673429 1950227316 3450971459 169502691 2254611455 3193245063 1576317277 276075657 924002217 782381163 2528500165 2305133934 659717824 3924683114 3561352892 933111409 4015763105 1450523558 3842177078 2995998103 3013272554 88869639 1881001015 1821763259 3843139139 3488963294 3759823901 1861215770 613037969 4214490995 2034024362 3167082139 3085495363 2699872882 841217646 993718981 1961916899 1357975986 2058573742 2371218833 1922507298 2807077484 1461170037 3786357805 2971778961 427379880 3304832650 3926348199 2307827722 1597402661 4087677394 2572986607 2511308099 3758029309 1601669132 3195609197 1474678206 1693939416 3911999458 3000471941 3680824774 3446344139 3138947022 3114428686 2790897691 269297736 889653011 3238410160 3237268242 2189419428 27684215 3815741410 3781760057 256001507 2451874935 815940334 1353647520 4153084784 1562400227 809725305 329450089 3511883327 3226241907 2168284388 2983475853 1808749100 1485057282 3259329773 4002115453 250454323 1753560031 2716414527 3690079194 1949212047 3735553706 1586170459 736098787 555847539 364248865 2856990290 594940950 2087372447 1026279862 3974799344 3572461337 3650521626 3716229989 32113700 89052868 1162746731 4046250214 3249442371 48458930 4206504038 2656838918 374231244 1997928673 185110716 2868994047 3517702448 255 362436" option to reproduce the execution
0.00/0.03	c #vars 600
0.00/0.03	c #constraints 70
0.00/0.04	c BCD2: Hardening is enabled.
0.00/0.04	c BCD2: BiasedSearch is enabled.
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |      246      0 |        0 |        0
0.00/0.04	c  0.0s |       0 |      100 |        0 |      246      0 |        0 |        0
0.00/0.04	c #cpu_time = 0.001s
0.00/0.04	c #wall_clock_time = 0.001s
0.00/0.04	c #decision = 100
0.00/0.04	c #random_decision = 0
0.00/0.04	c #conflict = 0
0.00/0.04	c #restart = 0
0.00/0.04	o 1936
0.00/0.04	c BCD2: updating upper bound: 3291 -> 1935
0.00/0.04	c BCD2: 0 <= obj <= 1935
0.00/0.04	c BCD2: #cores=0, #unrelaxed=70, #relaxed=0, #hardened=0
0.00/0.04	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |      246      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      198 |      100 |      246      0 |        0 |        0
0.00/0.08	c  0.0s |       2 |      579 |      250 |      271      0 |        0 |        0
0.09/0.17	c  0.1s |       3 |     1108 |      475 |      299      0 |        0 |        0
0.29/0.31	c  0.3s |       4 |     1738 |      813 |      329      1 |        0 |        0
0.39/0.48	c  0.4s |       5 |     2535 |     1320 |      362      3 |        0 |        0
0.69/0.76	c  0.7s |       6 |     3612 |     2081 |      439      5 |        0 |        0
1.10/1.12	c  1.1s |       7 |     5106 |     3223 |      483      8 |        0 |        0
1.59/1.63	c  1.6s |       8 |     7606 |     4936 |      532     13 |        0 |        0
2.48/2.51	c  2.5s |       9 |    10951 |     7506 |      586     19 |        0 |        0
3.59/3.68	c  3.6s |      10 |    16444 |    11361 |      645     29 |        0 |        0
5.60/5.69	c  5.7s |      10 |    23138 |    16961 |      645     40 |        0 |        0
5.70/5.78	c  5.7s |      11 |    23343 |    17144 |      710     41 |        0 |        0
7.80/7.81	c  7.8s |      11 |    31806 |    23644 |      710     54 |        0 |        0
8.49/8.57	c  8.5s |      12 |    34238 |    25819 |      782     59 |        0 |        0
10.49/10.57	c 10.5s |      12 |    45027 |    31319 |      782     70 |        0 |        0
12.49/12.58	c 12.5s |      12 |    51875 |    35919 |      782     79 |        0 |        0
13.69/13.71	c 13.7s |      13 |    55369 |    38832 |      861     84 |        0 |        0
15.69/15.74	c 15.7s |      13 |    64734 |    44932 |      861     95 |        0 |        0
17.70/17.76	c 17.7s |      13 |    71931 |    50432 |      861    105 |        0 |        0
19.69/19.78	c 19.7s |      13 |    78692 |    56032 |      861    115 |        0 |        0
20.59/20.67	c 20.6s |      14 |    81445 |    58352 |      948    119 |        0 |        0
22.59/22.68	c 22.6s |      14 |    90474 |    64152 |      948    128 |        0 |        0
24.59/24.69	c 24.7s |      14 |   100022 |    69852 |      948    138 |        0 |        0
26.69/26.73	c 26.7s |      14 |   108431 |    75352 |      948    147 |        0 |        0
28.69/28.75	c 28.7s |      14 |   115445 |    80852 |      948    156 |        0 |        0
30.69/30.77	c 30.7s |      14 |   121845 |    85852 |      948    165 |        0 |        0
31.39/31.42	c 31.4s |      15 |   124060 |    87632 |     1043    168 |        0 |        0
33.39/33.42	c 33.4s |      15 |   132584 |    93832 |     1043    177 |        0 |        0
35.39/35.44	c 35.4s |      15 |   140819 |    99732 |     1043    187 |        0 |        0
37.39/37.44	c 37.4s |      15 |   147824 |   105032 |     1043    195 |        0 |        0
39.38/39.45	c 39.4s |      15 |   154645 |   110132 |     1043    204 |        0 |        0
41.38/41.45	c 41.4s |      15 |   161875 |   115532 |     1043    212 |        0 |        0
43.38/43.49	c 43.5s |      15 |   170144 |   121632 |     1043    221 |        0 |        0
45.48/45.50	c 45.5s |      15 |   175949 |   126532 |     1043    229 |        0 |        0
47.48/47.53	c 47.5s |      15 |   182440 |   131232 |     1148    236 |        0 |        0
47.58/47.61	c 47.6s |      16 |   182926 |   131552 |     1148    237 |        0 |        0
49.58/49.64	c 49.6s |      16 |   190796 |   136852 |     1148    244 |        0 |        0
51.58/51.67	c 51.6s |      16 |   196485 |   141852 |     1148    251 |        0 |        0
53.68/53.72	c 53.7s |      16 |   202488 |   146452 |     1148    258 |        0 |        0
55.67/55.75	c 55.7s |      16 |   207433 |   150652 |     1148    264 |        0 |        0
57.67/57.78	c 57.7s |      16 |   213616 |   155652 |     1148    271 |        0 |        0
59.77/59.81	c 59.8s |      16 |   219531 |   160752 |     1148    278 |        0 |        0
61.78/61.82	c 61.8s |      16 |   225173 |   165652 |     1148    285 |        0 |        0
63.77/63.86	c 63.8s |      16 |   230785 |   170552 |     1148    292 |        0 |        0
65.87/65.90	c 65.9s |      16 |   236180 |   175152 |     1148    298 |        0 |        0
67.87/67.93	c 67.9s |      16 |   241327 |   179652 |     1148    305 |        0 |        0
69.87/69.97	c 69.9s |      16 |   246546 |   184252 |     1148    311 |        0 |        0
71.97/72.02	c 72.0s |      16 |   251386 |   188452 |     1148    317 |        0 |        0
73.97/74.04	c 74.0s |      16 |   256823 |   193052 |     1148    323 |        0 |        0
75.87/75.91	c 75.9s |      17 |   261935 |   197432 |     1263    329 |        0 |        0
77.87/77.91	c 77.9s |      17 |   268989 |   202232 |     1263    336 |        0 |        0
79.87/79.91	c 79.9s |      17 |   278182 |   207732 |     1263    343 |        0 |        0
81.87/81.95	c 81.9s |      17 |   285120 |   212932 |     1263    350 |        0 |        0
83.86/83.97	c 83.9s |      17 |   290488 |   217432 |     1263    356 |        0 |        0
85.87/86.00	c 86.0s |      17 |   295611 |   221632 |     1263    361 |        0 |        0
87.96/88.01	c 88.0s |      17 |   301564 |   226232 |     1263    367 |        0 |        0
89.96/90.05	c 90.0s |      17 |   307017 |   230832 |     1263    374 |        0 |        0
91.96/92.05	c 92.0s |      17 |   312148 |   235132 |     1263    379 |        0 |        0
93.96/94.06	c 94.0s |      17 |   317460 |   239832 |     1263    385 |        0 |        0
95.96/96.08	c 96.0s |      17 |   322693 |   244332 |     1263    391 |        0 |        0
98.06/98.13	c 98.1s |      17 |   327034 |   248132 |     1263    396 |        0 |        0
100.06/100.14	c  100s |      17 |   331835 |   252332 |     1263    402 |        0 |        0
102.06/102.14	c  102s |      17 |   336069 |   256032 |     1263    407 |        0 |        0
104.06/104.16	c  104s |      17 |   340756 |   260132 |     1263    412 |        0 |        0
106.16/106.21	c  106s |      17 |   345521 |   264332 |     1263    417 |        0 |        0
108.16/108.24	c  108s |      17 |   350816 |   268932 |     1263    423 |        0 |        0
110.16/110.27	c  110s |      17 |   355428 |   272832 |     1263    429 |        0 |        0
112.15/112.27	c  112s |      17 |   360024 |   276832 |     1263    434 |        0 |        0
114.25/114.30	c  114s |      17 |   365216 |   281332 |     1263    440 |        0 |        0
116.25/116.34	c  116s |      17 |   370120 |   285632 |     1263    445 |        0 |        0
118.25/118.34	c  118s |      17 |   374955 |   289732 |     1263    451 |        0 |        0
120.26/120.38	c  120s |      17 |   380195 |   294132 |     1263    457 |        0 |        0
121.26/121.38	c  121s |      18 |   382662 |   296252 |     1390    459 |        0 |        0
123.26/123.38	c  123s |      18 |   388554 |   300752 |     1390    464 |        0 |        0
125.36/125.42	c  125s |      18 |   393032 |   304252 |     1390    469 |        0 |        0
127.35/127.48	c  127s |      18 |   398058 |   307552 |     1390    473 |        0 |        0
129.45/129.52	c  129s |      18 |   404516 |   310952 |     1390    477 |        0 |        0
131.45/131.55	c  131s |      18 |   410614 |   314952 |     1390    482 |        0 |        0
133.45/133.59	c  133s |      18 |   415636 |   319252 |     1390    487 |        0 |        0
135.55/135.61	c  135s |      18 |   422254 |   323852 |     1390    493 |        0 |        0
137.56/137.62	c  137s |      18 |   431543 |   328952 |     1390    499 |        0 |        0
139.55/139.64	c  139s |      18 |   437608 |   333052 |     1390    504 |        0 |        0
141.55/141.68	c  141s |      18 |   443306 |   336552 |     1390    509 |        0 |        0
143.65/143.71	c  143s |      18 |   448941 |   340352 |     1390    513 |        0 |        0
145.65/145.74	c  145s |      18 |   454576 |   345052 |     1390    519 |        0 |        0
147.64/147.75	c  147s |      18 |   459933 |   349652 |     1390    525 |        0 |        0
149.65/149.77	c  149s |      18 |   464862 |   353952 |     1390    531 |        0 |        0
151.64/151.77	c  151s |      18 |   469774 |   358252 |     1390    536 |        0 |        0
153.64/153.77	c  153s |      18 |   474498 |   362452 |     1390    541 |        0 |        0
155.74/155.81	c  155s |      18 |   479182 |   366652 |     1390    547 |        0 |        0
157.74/157.82	c  157s |      18 |   484493 |   371252 |     1390    553 |        0 |        0
159.74/159.82	c  159s |      18 |   489014 |   375252 |     1390    557 |        0 |        0
161.75/161.86	c  161s |      18 |   493442 |   378952 |     1390    562 |        0 |        0
163.74/163.87	c  163s |      18 |   497822 |   382752 |     1390    567 |        0 |        0
165.74/165.87	c  165s |      18 |   502707 |   387052 |     1390    572 |        0 |        0
167.74/167.89	c  167s |      18 |   507651 |   390952 |     1390    577 |        0 |        0
169.84/169.91	c  169s |      18 |   514811 |   395052 |     1390    582 |        0 |        0
171.83/171.93	c  171s |      18 |   520795 |   398952 |     1390    587 |        0 |        0
173.84/173.93	c  173s |      18 |   525236 |   402452 |     1390    591 |        0 |        0
175.83/175.98	c  175s |      18 |   529505 |   406052 |     1390    595 |        0 |        0
177.93/178.01	c  177s |      18 |   534818 |   409252 |     1390    599 |        0 |        0
179.93/180.04	c  180s |      18 |   540408 |   413152 |     1390    604 |        0 |        0
181.93/182.09	c  182s |      18 |   545040 |   416952 |     1390    609 |        0 |        0
184.03/184.13	c  184s |      18 |   550242 |   421052 |     1390    614 |        0 |        0
186.04/186.17	c  186s |      18 |   554457 |   424852 |     1390    619 |        0 |        0
188.13/188.24	c  188s |      18 |   558134 |   428152 |     1390    623 |        0 |        0
190.13/190.28	c  190s |      18 |   562249 |   431552 |     1390    627 |        0 |        0
192.22/192.30	c  192s |      18 |   566820 |   434752 |     1390    631 |        0 |        0
194.22/194.32	c  194s |      18 |   570931 |   438352 |     1390    635 |        0 |        0
196.22/196.35	c  196s |      18 |   575031 |   441552 |     1530    639 |        0 |        0
198.22/198.36	c  198s |      18 |   579816 |   444452 |     1530    642 |        0 |        0
198.22/198.38	c  198s |      19 |   579936 |   444482 |     1530    642 |        0 |        0
200.33/200.42	c  200s |      19 |   587385 |   449182 |     1530    647 |        0 |        0
202.32/202.44	c  202s |      19 |   592933 |   453482 |     1530    652 |        0 |        0
204.32/204.44	c  204s |      19 |   598159 |   457282 |     1530    656 |        0 |        0
206.32/206.47	c  206s |      19 |   603091 |   461082 |     1530    661 |        0 |        0
208.42/208.50	c  208s |      19 |   608241 |   464982 |     1530    665 |        0 |        0
210.42/210.52	c  210s |      19 |   613249 |   468682 |     1530    669 |        0 |        0
212.42/212.55	c  212s |      19 |   618688 |   472282 |     1530    673 |        0 |        0
214.42/214.57	c  214s |      19 |   623998 |   475982 |     1530    677 |        0 |        0
216.41/216.59	c  216s |      19 |   629700 |   480282 |     1530    682 |        0 |        0
218.41/218.59	c  218s |      19 |   634850 |   484382 |     1530    687 |        0 |        0
220.51/220.62	c  220s |      19 |   640263 |   488582 |     1530    692 |        0 |        0
222.51/222.65	c  222s |      19 |   645413 |   492782 |     1530    696 |        0 |        0
224.52/224.65	c  224s |      19 |   650079 |   496682 |     1530    701 |        0 |        0
226.51/226.67	c  226s |      19 |   654772 |   500582 |     1530    705 |        0 |        0
228.61/228.73	c  228s |      19 |   659769 |   504582 |     1530    710 |        0 |        0
230.61/230.77	c  230s |      19 |   664810 |   508582 |     1530    714 |        0 |        0
232.71/232.82	c  232s |      19 |   669117 |   512182 |     1530    718 |        0 |        0
234.71/234.82	c  234s |      19 |   673272 |   515682 |     1530    722 |        0 |        0
236.71/236.85	c  236s |      19 |   678832 |   520082 |     1530    727 |        0 |        0
238.71/238.86	c  238s |      19 |   683809 |   524382 |     1530    732 |        0 |        0
240.70/240.89	c  240s |      19 |   688838 |   528482 |     1530    736 |        0 |        0
242.80/242.92	c  242s |      19 |   693620 |   532282 |     1530    741 |        0 |        0
244.80/244.95	c  244s |      19 |   697792 |   535682 |     1530    745 |        0 |        0
246.80/246.98	c  246s |      19 |   701941 |   539182 |     1530    748 |        0 |        0
248.90/249.01	c  248s |      19 |   706534 |   542982 |     1530    753 |        0 |        0
250.91/251.04	c  250s |      19 |   712381 |   547282 |     1530    758 |        0 |        0
252.90/253.07	c  253s |      19 |   717852 |   551482 |     1530    762 |        0 |        0
254.90/255.08	c  255s |      19 |   723111 |   555782 |     1530    767 |        0 |        0
256.99/257.11	c  257s |      19 |   727907 |   559482 |     1530    771 |        0 |        0
258.99/259.13	c  259s |      19 |   733431 |   563982 |     1530    776 |        0 |        0
261.00/261.17	c  261s |      19 |   738238 |   568082 |     1530    781 |        0 |        0
263.01/263.18	c  263s |      19 |   743126 |   572182 |     1530    786 |        0 |        0
265.00/265.19	c  265s |      19 |   747845 |   576182 |     1530    790 |        0 |        0
267.10/267.22	c  267s |      19 |   752451 |   580082 |     1530    794 |        0 |        0
269.10/269.25	c  269s |      19 |   757631 |   584482 |     1530    799 |        0 |        0
271.20/271.30	c  271s |      19 |   762139 |   588482 |     1530    804 |        0 |        0
273.20/273.32	c  273s |      19 |   766921 |   592382 |     1530    808 |        0 |        0
275.20/275.33	c  275s |      19 |   771773 |   596382 |     1530    813 |        0 |        0
277.20/277.34	c  277s |      19 |   776644 |   600382 |     1530    817 |        0 |        0
279.19/279.37	c  279s |      19 |   782910 |   605482 |     1530    823 |        0 |        0
281.19/281.38	c  281s |      19 |   788026 |   609782 |     1530    828 |        0 |        0
283.19/283.40	c  283s |      19 |   792603 |   613682 |     1530    832 |        0 |        0
285.29/285.42	c  285s |      19 |   798083 |   618182 |     1530    837 |        0 |        0
287.28/287.44	c  287s |      19 |   804158 |   623082 |     1530    843 |        0 |        0
289.29/289.49	c  289s |      19 |   810139 |   627882 |     1530    848 |        0 |        0
291.28/291.49	c  291s |      19 |   815580 |   632382 |     1530    853 |        0 |        0
293.38/293.50	c  293s |      19 |   820785 |   636682 |     1530    858 |        0 |        0
295.38/295.50	c  295s |      19 |   826803 |   641482 |     1530    864 |        0 |        0
297.38/297.54	c  297s |      19 |   832361 |   646082 |     1530    869 |        0 |        0
299.38/299.58	c  299s |      19 |   837557 |   650582 |     1530    874 |        0 |        0
301.48/301.60	c  301s |      19 |   842870 |   654782 |     1530    879 |        0 |        0
303.48/303.62	c  303s |      19 |   847792 |   658882 |     1530    883 |        0 |        0
305.48/305.63	c  305s |      19 |   853595 |   663482 |     1684    888 |        0 |        0
307.08/307.26	c  307s |      20 |   858207 |   666827 |     1684    892 |        0 |        0
309.08/309.28	c  309s |      20 |   865425 |   671927 |     1684    897 |        0 |        0
311.17/311.32	c  311s |      20 |   870886 |   676527 |     1684    902 |        0 |        0
313.17/313.33	c  313s |      20 |   876308 |   681227 |     1684    907 |        0 |        0
315.17/315.35	c  315s |      20 |   881734 |   685927 |     1684    911 |        0 |        0
317.27/317.41	c  317s |      20 |   887332 |   690827 |     1684    917 |        0 |        0
319.27/319.45	c  319s |      20 |   893021 |   695627 |     1684    922 |        0 |        0
321.28/321.47	c  321s |      20 |   898874 |   700627 |     1684    927 |        0 |        0
323.27/323.48	c  323s |      20 |   904690 |   705627 |     1684    932 |        0 |        0
325.37/325.50	c  325s |      20 |   910620 |   710727 |     1684    937 |        0 |        0
327.37/327.53	c  327s |      20 |   916734 |   715627 |     1684    942 |        0 |        0
329.36/329.55	c  329s |      20 |   922395 |   720127 |     1684    947 |        0 |        0
331.36/331.55	c  331s |      20 |   928131 |   724827 |     1684    952 |        0 |        0
333.37/333.59	c  333s |      20 |   934285 |   729827 |     1684    957 |        0 |        0
335.47/335.62	c  335s |      20 |   940150 |   734527 |     1684    962 |        0 |        0
337.46/337.62	c  337s |      20 |   945466 |   739127 |     1684    966 |        0 |        0
339.46/339.63	c  339s |      20 |   950768 |   743627 |     1684    971 |        0 |        0
341.46/341.68	c  341s |      20 |   955730 |   747927 |     1684    975 |        0 |        0
343.56/343.70	c  343s |      20 |   961522 |   753027 |     1684    981 |        0 |        0
345.56/345.72	c  345s |      20 |   967556 |   758427 |     1684    986 |        0 |        0
347.56/347.77	c  347s |      20 |   973504 |   763627 |     1684    992 |        0 |        0
349.55/349.78	c  349s |      20 |   978931 |   768327 |     1684    996 |        0 |        0
351.65/351.82	c  351s |      20 |   984292 |   773027 |     1684   1001 |        0 |        0
353.65/353.83	c  353s |      20 |   989436 |   777527 |     1684   1006 |        0 |        0
355.65/355.85	c  355s |      20 |   994206 |   781427 |     1684   1010 |        0 |        0
357.65/357.87	c  357s |      20 |   999235 |   785727 |     1684   1015 |        0 |        0
359.66/359.88	c  359s |      20 |  1004583 |   790127 |     1684   1019 |        0 |        0
361.65/361.89	c  361s |      20 |  1009959 |   794427 |     1684   1023 |        0 |        0
363.75/363.92	c  363s |      20 |  1014601 |   798227 |     1684   1027 |        0 |        0
365.75/365.95	c  365s |      20 |  1019368 |   802127 |     1684   1031 |        0 |        0
367.75/367.97	c  367s |      20 |  1024279 |   806327 |     1684   1036 |        0 |        0
369.85/370.01	c  369s |      20 |  1028883 |   810427 |     1684   1040 |        0 |        0
371.86/372.04	c  371s |      20 |  1035083 |   815527 |     1684   1045 |        0 |        0
373.85/374.05	c  374s |      20 |  1040894 |   820527 |     1684   1050 |        0 |        0
375.84/376.09	c  376s |      20 |  1046922 |   825527 |     1684   1055 |        0 |        0
377.94/378.11	c  378s |      20 |  1053103 |   830327 |     1684   1060 |        0 |        0
379.94/380.12	c  380s |      20 |  1058871 |   835127 |     1684   1065 |        0 |        0
381.94/382.14	c  382s |      20 |  1064874 |   839927 |     1684   1070 |        0 |        0
383.95/384.15	c  384s |      20 |  1070741 |   844327 |     1684   1075 |        0 |        0
385.94/386.16	c  386s |      20 |  1076792 |   849127 |     1684   1080 |        0 |        0
387.94/388.19	c  388s |      20 |  1084024 |   854627 |     1684   1085 |        0 |        0
390.04/390.21	c  390s |      20 |  1091457 |   859927 |     1684   1091 |        0 |        0
392.04/392.23	c  392s |      20 |  1097689 |   864927 |     1684   1096 |        0 |        0
394.04/394.24	c  394s |      20 |  1103358 |   869627 |     1684   1101 |        0 |        0
396.04/396.25	c  396s |      20 |  1109055 |   874227 |     1684   1105 |        0 |        0
398.03/398.27	c  398s |      20 |  1114510 |   878827 |     1684   1110 |        0 |        0
400.03/400.27	c  400s |      20 |  1121266 |   883927 |     1684   1115 |        0 |        0
402.03/402.28	c  402s |      20 |  1127400 |   888827 |     1684   1120 |        0 |        0
404.13/404.33	c  404s |      20 |  1133358 |   893927 |     1684   1126 |        0 |        0
406.13/406.36	c  406s |      20 |  1139083 |   898927 |     1684   1131 |        0 |        0
408.13/408.38	c  408s |      20 |  1144924 |   904027 |     1684   1136 |        0 |        0
410.23/410.41	c  410s |      20 |  1151106 |   909227 |     1684   1141 |        0 |        0
412.22/412.44	c  412s |      20 |  1156436 |   913727 |     1684   1146 |        0 |        0
414.22/414.44	c  414s |      20 |  1161410 |   918027 |     1684   1150 |        0 |        0
416.22/416.46	c  416s |      20 |  1166818 |   922627 |     1684   1155 |        0 |        0
418.22/418.48	c  418s |      20 |  1172042 |   927227 |     1684   1160 |        0 |        0
420.32/420.52	c  420s |      20 |  1177595 |   932127 |     1684   1165 |        0 |        0
422.33/422.56	c  422s |      20 |  1183277 |   937027 |     1684   1170 |        0 |        0
424.32/424.59	c  424s |      20 |  1188631 |   941727 |     1684   1174 |        0 |        0
426.41/426.62	c  426s |      20 |  1194036 |   946527 |     1684   1179 |        0 |        0
428.41/428.64	c  428s |      20 |  1199710 |   951327 |     1684   1184 |        0 |        0
430.41/430.66	c  430s |      20 |  1205088 |   955927 |     1684   1189 |        0 |        0
432.41/432.69	c  432s |      20 |  1210664 |   960427 |     1684   1193 |        0 |        0
434.52/434.73	c  434s |      20 |  1215994 |   964927 |     1684   1198 |        0 |        0
436.51/436.76	c  436s |      20 |  1221117 |   969427 |     1684   1203 |        0 |        0
438.51/438.78	c  438s |      20 |  1226614 |   974027 |     1684   1207 |        0 |        0
440.61/440.80	c  440s |      20 |  1231521 |   978327 |     1684   1212 |        0 |        0
442.60/442.81	c  442s |      20 |  1235998 |   982227 |     1684   1216 |        0 |        0
444.60/444.84	c  444s |      20 |  1240776 |   986427 |     1684   1220 |        0 |        0
446.62/446.86	c  446s |      20 |  1245470 |   990527 |     1684   1224 |        0 |        0
448.71/448.91	c  448s |      20 |  1251074 |   995327 |     1853   1229 |        0 |        0
450.71/450.95	c  450s |      20 |  1255990 |   999627 |     1853   1233 |        0 |        0
451.01/451.25	c  451s |      21 |  1256801 |  1000345 |     1853   1234 |        0 |        0
453.01/453.26	c  453s |      21 |  1263798 |  1005145 |     1853   1238 |        0 |        0
455.10/455.30	c  455s |      21 |  1269044 |  1009845 |     1853   1243 |        0 |        0
457.10/457.31	c  457s |      21 |  1274373 |  1014545 |     1853   1248 |        0 |        0
459.10/459.34	c  459s |      21 |  1281426 |  1020045 |     1853   1253 |        0 |        0
461.10/461.35	c  461s |      21 |  1289335 |  1025445 |     1853   1258 |        0 |        0
463.20/463.40	c  463s |      21 |  1295493 |  1030045 |     1853   1262 |        0 |        0
465.21/465.44	c  465s |      21 |  1302430 |  1035145 |     1853   1267 |        0 |        0
467.20/467.44	c  467s |      21 |  1309026 |  1039945 |     1853   1272 |        0 |        0
469.20/469.45	c  469s |      21 |  1315412 |  1044345 |     1853   1276 |        0 |        0
471.20/471.49	c  471s |      21 |  1320740 |  1048645 |     1853   1280 |        0 |        0
473.30/473.52	c  473s |      21 |  1325749 |  1052445 |     1853   1284 |        0 |        0
475.29/475.55	c  475s |      21 |  1331094 |  1056945 |     1853   1288 |        0 |        0
477.30/477.59	c  477s |      21 |  1337011 |  1061345 |     1853   1292 |        0 |        0
479.39/479.60	c  479s |      21 |  1343367 |  1065445 |     1853   1296 |        0 |        0
481.39/481.64	c  481s |      21 |  1350084 |  1070045 |     1853   1300 |        0 |        0
483.39/483.66	c  483s |      21 |  1355596 |  1074545 |     1853   1305 |        0 |        0
485.39/485.69	c  485s |      21 |  1361538 |  1079045 |     1853   1309 |        0 |        0
487.48/487.75	c  487s |      21 |  1368342 |  1083945 |     1853   1314 |        0 |        0
489.49/489.78	c  489s |      21 |  1375021 |  1088945 |     1853   1318 |        0 |        0
491.59/491.80	c  491s |      21 |  1381165 |  1093545 |     1853   1323 |        0 |        0
493.58/493.82	c  493s |      21 |  1386191 |  1097445 |     1853   1326 |        0 |        0
495.58/495.85	c  495s |      21 |  1391021 |  1101545 |     1853   1330 |        0 |        0
497.58/497.86	c  497s |      21 |  1396913 |  1106345 |     1853   1335 |        0 |        0
499.68/499.91	c  499s |      21 |  1402713 |  1111145 |     1853   1340 |        0 |        0
501.68/501.92	c  501s |      21 |  1408881 |  1116045 |     1853   1344 |        0 |        0
503.69/503.94	c  503s |      21 |  1413789 |  1119945 |     1853   1348 |        0 |        0
505.68/505.99	c  505s |      21 |  1417928 |  1123545 |     1853   1351 |        0 |        0
507.68/507.99	c  507s |      21 |  1422585 |  1127345 |     1853   1355 |        0 |        0
509.78/510.00	c  509s |      21 |  1427434 |  1131445 |     1853   1359 |        0 |        0
511.78/512.02	c  511s |      21 |  1432640 |  1135845 |     1853   1363 |        0 |        0
513.78/514.04	c  513s |      21 |  1437411 |  1139845 |     1853   1367 |        0 |        0
515.78/516.10	c  516s |      21 |  1443273 |  1144245 |     1853   1371 |        0 |        0
517.87/518.12	c  518s |      21 |  1448276 |  1148245 |     1853   1375 |        0 |        0
519.87/520.15	c  520s |      21 |  1453842 |  1152445 |     1853   1379 |        0 |        0
521.87/522.19	c  522s |      21 |  1458160 |  1156245 |     1853   1383 |        0 |        0
523.97/524.25	c  524s |      21 |  1462904 |  1159845 |     1853   1386 |        0 |        0
525.97/526.25	c  526s |      21 |  1467387 |  1163345 |     1853   1389 |        0 |        0
527.98/528.26	c  528s |      21 |  1471180 |  1166645 |     1853   1393 |        0 |        0
530.08/530.31	c  530s |      21 |  1475082 |  1170145 |     1853   1396 |        0 |        0
532.07/532.32	c  532s |      21 |  1478949 |  1173545 |     1853   1399 |        0 |        0
534.07/534.32	c  534s |      21 |  1483953 |  1177545 |     1853   1403 |        0 |        0
536.07/536.34	c  536s |      21 |  1490056 |  1182245 |     1853   1408 |        0 |        0
538.06/538.38	c  538s |      21 |  1495555 |  1186845 |     1853   1412 |        0 |        0
540.16/540.40	c  540s |      21 |  1500331 |  1190745 |     1853   1416 |        0 |        0
542.17/542.45	c  542s |      21 |  1504932 |  1194545 |     1853   1419 |        0 |        0
544.16/544.46	c  544s |      21 |  1510068 |  1199045 |     1853   1424 |        0 |        0
546.16/546.49	c  546s |      21 |  1515771 |  1203745 |     1853   1428 |        0 |        0
548.16/548.49	c  548s |      21 |  1520767 |  1208145 |     1853   1432 |        0 |        0
550.26/550.50	c  550s |      21 |  1526416 |  1212745 |     1853   1437 |        0 |        0
552.26/552.52	c  552s |      21 |  1531453 |  1217145 |     1853   1441 |        0 |        0
554.27/554.55	c  554s |      21 |  1537150 |  1222045 |     1853   1446 |        0 |        0
556.26/556.57	c  556s |      21 |  1542568 |  1226745 |     1853   1450 |        0 |        0
558.36/558.60	c  558s |      21 |  1547911 |  1231145 |     1853   1454 |        0 |        0
560.36/560.62	c  560s |      21 |  1552841 |  1235445 |     1853   1458 |        0 |        0
562.36/562.68	c  562s |      21 |  1557612 |  1239545 |     1853   1462 |        0 |        0
564.46/564.70	c  564s |      21 |  1562014 |  1243245 |     1853   1466 |        0 |        0
566.46/566.71	c  566s |      21 |  1566152 |  1246745 |     1853   1469 |        0 |        0
568.45/568.76	c  568s |      21 |  1570336 |  1250445 |     1853   1473 |        0 |        0
570.45/570.79	c  570s |      21 |  1574294 |  1253945 |     1853   1476 |        0 |        0
572.55/572.83	c  572s |      21 |  1578072 |  1257345 |     1853   1479 |        0 |        0
574.55/574.84	c  574s |      21 |  1581900 |  1260645 |     1853   1482 |        0 |        0
576.55/576.88	c  576s |      21 |  1585603 |  1263945 |     1853   1485 |        0 |        0
578.65/578.91	c  578s |      21 |  1590052 |  1267245 |     1853   1488 |        0 |        0
580.65/580.92	c  580s |      21 |  1594988 |  1271445 |     1853   1492 |        0 |        0
582.65/582.93	c  582s |      21 |  1599891 |  1275245 |     1853   1496 |        0 |        0
584.65/584.96	c  584s |      21 |  1605125 |  1279745 |     1853   1500 |        0 |        0
586.64/586.99	c  586s |      21 |  1610115 |  1284045 |     1853   1504 |        0 |        0
588.74/589.01	c  588s |      21 |  1614621 |  1287745 |     1853   1508 |        0 |        0
590.74/591.06	c  591s |      21 |  1619384 |  1291745 |     1853   1512 |        0 |        0
592.74/593.06	c  593s |      21 |  1624104 |  1295745 |     1853   1516 |        0 |        0
594.74/595.07	c  595s |      21 |  1628595 |  1299645 |     1853   1519 |        0 |        0
596.73/597.08	c  597s |      21 |  1633661 |  1303845 |     1853   1523 |        0 |        0
598.83/599.12	c  599s |      21 |  1638288 |  1307745 |     1853   1527 |        0 |        0
600.83/601.14	c  601s |      21 |  1642651 |  1311445 |     1853   1531 |        0 |        0
602.83/603.18	c  603s |      21 |  1646828 |  1315045 |     1853   1534 |        0 |        0
604.94/605.24	c  605s |      21 |  1650827 |  1318545 |     1853   1537 |        0 |        0
606.93/607.29	c  607s |      21 |  1654771 |  1321945 |     1853   1541 |        0 |        0
609.03/609.33	c  609s |      21 |  1658456 |  1325145 |     1853   1544 |        0 |        0
611.03/611.34	c  611s |      21 |  1663185 |  1329145 |     1853   1547 |        0 |        0
613.03/613.35	c  613s |      21 |  1667498 |  1332945 |     1853   1551 |        0 |        0
615.03/615.39	c  615s |      21 |  1671356 |  1336345 |     1853   1554 |        0 |        0
617.12/617.44	c  617s |      21 |  1675624 |  1340145 |     1853   1558 |        0 |        0
619.13/619.49	c  619s |      21 |  1679560 |  1343645 |     1853   1561 |        0 |        0
621.22/621.51	c  621s |      21 |  1683417 |  1346945 |     1853   1564 |        0 |        0
623.22/623.53	c  623s |      21 |  1686781 |  1349745 |     1853   1567 |        0 |        0
625.22/625.55	c  625s |      21 |  1691011 |  1353345 |     1853   1570 |        0 |        0
627.21/627.56	c  627s |      21 |  1695240 |  1357045 |     1853   1574 |        0 |        0
629.21/629.57	c  629s |      21 |  1699488 |  1360645 |     1853   1577 |        0 |        0
631.32/631.66	c  631s |      21 |  1703507 |  1364145 |     1853   1581 |        0 |        0
633.31/633.69	c  633s |      21 |  1707769 |  1367845 |     1853   1584 |        0 |        0
635.41/635.75	c  635s |      21 |  1711655 |  1371245 |     1853   1587 |        0 |        0
637.41/637.75	c  637s |      21 |  1715939 |  1374845 |     1853   1591 |        0 |        0
639.51/639.81	c  639s |      21 |  1720784 |  1379045 |     1853   1595 |        0 |        0
641.51/641.82	c  641s |      21 |  1725583 |  1382745 |     1853   1598 |        0 |        0
643.51/643.84	c  643s |      21 |  1731203 |  1386945 |     1853   1602 |        0 |        0
645.51/645.88	c  645s |      21 |  1736385 |  1391545 |     1853   1607 |        0 |        0
647.50/647.88	c  647s |      21 |  1741334 |  1395545 |     1853   1610 |        0 |        0
649.50/649.89	c  649s |      21 |  1745413 |  1399145 |     1853   1614 |        0 |        0
651.50/651.89	c  651s |      21 |  1750278 |  1403245 |     1853   1618 |        0 |        0
653.60/653.91	c  653s |      21 |  1755379 |  1407545 |     1853   1622 |        0 |        0
655.60/655.91	c  655s |      21 |  1760044 |  1411645 |     1853   1626 |        0 |        0
657.61/657.93	c  657s |      21 |  1764887 |  1415845 |     1853   1630 |        0 |        0
659.60/659.96	c  659s |      21 |  1769790 |  1420145 |     1853   1634 |        0 |        0
661.60/661.99	c  661s |      21 |  1774961 |  1424645 |     1853   1638 |        0 |        0
663.70/664.01	c  663s |      21 |  1779646 |  1428545 |     1853   1642 |        0 |        0
665.70/666.05	c  666s |      21 |  1784796 |  1432945 |     1853   1646 |        0 |        0
667.69/668.05	c  668s |      21 |  1789593 |  1437145 |     1853   1650 |        0 |        0
669.70/670.06	c  670s |      21 |  1794469 |  1441445 |     1853   1654 |        0 |        0
671.69/672.07	c  672s |      21 |  1799328 |  1445545 |     1853   1658 |        0 |        0
673.69/674.09	c  674s |      21 |  1803836 |  1449445 |     1853   1662 |        0 |        0
675.79/676.14	c  676s |      21 |  1808589 |  1453245 |     1853   1665 |        0 |        0
677.78/678.19	c  678s |      21 |  1813756 |  1457345 |     1853   1669 |        0 |        0
679.88/680.21	c  680s |      21 |  1818853 |  1461745 |     1853   1673 |        0 |        0
681.89/682.25	c  682s |      21 |  1823319 |  1465445 |     1853   1677 |        0 |        0
683.88/684.30	c  684s |      21 |  1827707 |  1469245 |     1853   1681 |        0 |        0
685.98/686.32	c  686s |      21 |  1831997 |  1472945 |     1853   1684 |        0 |        0
687.98/688.35	c  688s |      21 |  1836355 |  1476645 |     1853   1688 |        0 |        0
689.98/690.38	c  690s |      21 |  1840605 |  1480345 |     1853   1691 |        0 |        0
692.08/692.42	c  692s |      21 |  1844833 |  1483945 |     1853   1694 |        0 |        0
694.08/694.45	c  694s |      21 |  1850590 |  1488345 |     1853   1699 |        0 |        0
696.08/696.48	c  696s |      21 |  1855501 |  1492145 |     2039   1702 |        0 |        0
698.18/698.51	c  698s |      21 |  1860227 |  1496145 |     2039   1705 |        0 |        0
700.18/700.53	c  700s |      22 |  1865695 |  1500622 |     2039   1709 |        0 |        0
702.18/702.57	c  702s |      22 |  1872355 |  1504922 |     2039   1713 |        0 |        0
704.27/704.61	c  704s |      22 |  1877379 |  1509222 |     2039   1717 |        0 |        0
706.27/706.64	c  706s |      22 |  1882154 |  1513522 |     2039   1721 |        0 |        0
708.28/708.66	c  708s |      22 |  1887500 |  1518122 |     2039   1725 |        0 |        0
710.27/710.66	c  710s |      22 |  1892863 |  1522422 |     2039   1729 |        0 |        0
712.37/712.71	c  712s |      22 |  1898037 |  1526822 |     2039   1733 |        0 |        0
714.37/714.76	c  714s |      22 |  1903573 |  1531222 |     2039   1737 |        0 |        0
716.37/716.79	c  716s |      22 |  1908256 |  1535222 |     2039   1740 |        0 |        0
718.47/718.81	c  718s |      22 |  1912876 |  1539222 |     2039   1744 |        0 |        0
720.47/720.82	c  720s |      22 |  1917592 |  1543422 |     2039   1748 |        0 |        0
722.48/722.82	c  722s |      22 |  1922205 |  1547522 |     2039   1751 |        0 |        0
724.47/724.86	c  724s |      22 |  1927119 |  1551722 |     2039   1755 |        0 |        0
726.47/726.89	c  726s |      22 |  1932100 |  1556022 |     2039   1759 |        0 |        0
728.57/728.91	c  728s |      22 |  1936601 |  1560022 |     2039   1762 |        0 |        0
730.57/730.94	c  730s |      22 |  1941140 |  1563922 |     2039   1766 |        0 |        0
732.57/732.99	c  732s |      22 |  1945104 |  1567422 |     2039   1769 |        0 |        0
734.68/735.02	c  734s |      22 |  1949399 |  1571122 |     2039   1772 |        0 |        0
736.67/737.06	c  737s |      22 |  1954382 |  1575422 |     2039   1776 |        0 |        0
738.67/739.09	c  739s |      22 |  1959358 |  1579722 |     2039   1780 |        0 |        0
740.77/741.12	c  741s |      22 |  1964445 |  1584122 |     2039   1784 |        0 |        0
742.77/743.15	c  743s |      22 |  1968985 |  1588122 |     2039   1787 |        0 |        0
744.77/745.17	c  745s |      22 |  1974130 |  1592522 |     2039   1791 |        0 |        0
746.77/747.19	c  747s |      22 |  1979773 |  1597422 |     2039   1796 |        0 |        0
748.87/749.23	c  749s |      22 |  1984927 |  1601722 |     2039   1800 |        0 |        0
750.87/751.25	c  751s |      22 |  1989788 |  1605922 |     2039   1803 |        0 |        0
752.87/753.26	c  753s |      22 |  1995298 |  1610422 |     2039   1807 |        0 |        0
754.87/755.30	c  755s |      22 |  1999880 |  1614522 |     2039   1811 |        0 |        0
756.97/757.34	c  757s |      22 |  2005824 |  1619522 |     2039   1816 |        0 |        0
758.97/759.35	c  759s |      22 |  2011113 |  1623722 |     2039   1819 |        0 |        0
760.97/761.38	c  761s |      22 |  2015704 |  1627722 |     2039   1823 |        0 |        0
763.07/763.45	c  763s |      22 |  2020693 |  1631722 |     2039   1827 |        0 |        0
765.06/765.47	c  765s |      22 |  2026624 |  1636622 |     2039   1831 |        0 |        0
767.06/767.48	c  767s |      22 |  2032141 |  1640922 |     2039   1835 |        0 |        0
769.16/769.52	c  769s |      22 |  2038311 |  1645422 |     2039   1839 |        0 |        0
771.16/771.53	c  771s |      22 |  2043820 |  1649622 |     2039   1842 |        0 |        0
773.17/773.54	c  773s |      22 |  2049206 |  1654022 |     2039   1846 |        0 |        0
775.16/775.55	c  775s |      22 |  2054647 |  1658122 |     2039   1850 |        0 |        0
777.16/777.56	c  777s |      22 |  2059428 |  1662022 |     2039   1854 |        0 |        0
779.26/779.60	c  779s |      22 |  2064393 |  1666222 |     2039   1857 |        0 |        0
781.26/781.65	c  781s |      22 |  2069076 |  1670322 |     2039   1861 |        0 |        0
783.26/783.66	c  783s |      22 |  2074080 |  1674422 |     2039   1865 |        0 |        0
785.27/785.67	c  785s |      22 |  2078972 |  1678422 |     2039   1868 |        0 |        0
787.37/787.72	c  787s |      22 |  2085818 |  1682522 |     2039   1872 |        0 |        0
789.37/789.77	c  789s |      22 |  2093143 |  1686222 |     2039   1875 |        0 |        0
791.37/791.80	c  791s |      22 |  2099225 |  1690322 |     2039   1879 |        0 |        0
793.47/793.85	c  793s |      22 |  2103265 |  1693822 |     2039   1882 |        0 |        0
795.47/795.89	c  795s |      22 |  2107384 |  1697222 |     2039   1885 |        0 |        0
797.57/797.92	c  797s |      22 |  2112270 |  1701122 |     2039   1888 |        0 |        0
799.57/799.97	c  799s |      22 |  2117961 |  1705322 |     2039   1892 |        0 |        0
801.56/802.00	c  801s |      22 |  2123583 |  1709422 |     2039   1896 |        0 |        0
803.66/804.03	c  803s |      22 |  2128789 |  1713422 |     2039   1899 |        0 |        0
805.66/806.05	c  806s |      22 |  2134943 |  1717722 |     2039   1903 |        0 |        0
807.76/808.10	c  808s |      22 |  2139547 |  1721522 |     2039   1907 |        0 |        0
809.76/810.14	c  810s |      22 |  2144515 |  1725422 |     2039   1910 |        0 |        0
811.76/812.18	c  812s |      22 |  2149116 |  1728922 |     2039   1913 |        0 |        0
813.77/814.18	c  814s |      22 |  2154157 |  1732822 |     2039   1917 |        0 |        0
815.76/816.20	c  816s |      22 |  2159453 |  1736922 |     2039   1920 |        0 |        0
817.86/818.20	c  818s |      22 |  2163732 |  1740422 |     2039   1924 |        0 |        0
819.86/820.22	c  820s |      22 |  2168385 |  1744222 |     2039   1927 |        0 |        0
821.86/822.28	c  822s |      22 |  2173232 |  1748322 |     2039   1931 |        0 |        0
823.86/824.29	c  824s |      22 |  2177968 |  1752322 |     2039   1934 |        0 |        0
825.96/826.32	c  826s |      22 |  2183279 |  1756822 |     2039   1938 |        0 |        0
827.96/828.33	c  828s |      22 |  2187977 |  1760922 |     2039   1942 |        0 |        0
829.96/830.34	c  830s |      22 |  2192709 |  1764822 |     2039   1945 |        0 |        0
831.96/832.38	c  832s |      22 |  2198634 |  1769522 |     2039   1950 |        0 |        0
833.96/834.39	c  834s |      22 |  2203349 |  1773622 |     2039   1953 |        0 |        0
836.06/836.40	c  836s |      22 |  2208239 |  1777822 |     2039   1957 |        0 |        0
838.06/838.43	c  838s |      22 |  2213678 |  1782122 |     2039   1961 |        0 |        0
840.06/840.48	c  840s |      22 |  2218864 |  1786422 |     2039   1965 |        0 |        0
842.16/842.51	c  842s |      22 |  2224420 |  1790822 |     2039   1969 |        0 |        0
844.15/844.55	c  844s |      22 |  2229652 |  1795122 |     2039   1973 |        0 |        0
846.15/846.56	c  846s |      22 |  2234715 |  1799322 |     2039   1976 |        0 |        0
848.15/848.57	c  848s |      22 |  2239828 |  1803422 |     2039   1980 |        0 |        0
850.16/850.59	c  850s |      22 |  2244810 |  1807722 |     2039   1984 |        0 |        0
852.26/852.60	c  852s |      22 |  2249622 |  1812022 |     2039   1988 |        0 |        0
854.25/854.63	c  854s |      22 |  2254691 |  1816222 |     2039   1991 |        0 |        0
856.25/856.66	c  856s |      22 |  2259142 |  1820122 |     2039   1995 |        0 |        0
858.35/858.71	c  858s |      22 |  2264354 |  1824722 |     2039   1999 |        0 |        0
860.35/860.74	c  860s |      22 |  2268799 |  1828322 |     2039   2002 |        0 |        0
862.35/862.77	c  862s |      22 |  2272850 |  1831822 |     2039   2005 |        0 |        0
864.46/864.83	c  864s |      22 |  2277254 |  1835222 |     2039   2008 |        0 |        0
866.45/866.84	c  866s |      22 |  2281451 |  1838722 |     2039   2011 |        0 |        0
868.45/868.86	c  868s |      22 |  2285991 |  1842422 |     2039   2015 |        0 |        0
870.45/870.86	c  870s |      22 |  2291091 |  1846722 |     2039   2018 |        0 |        0
872.45/872.86	c  872s |      22 |  2295727 |  1850822 |     2039   2022 |        0 |        0
874.45/874.86	c  874s |      22 |  2300378 |  1854722 |     2039   2026 |        0 |        0
876.55/876.91	c  876s |      22 |  2304788 |  1858522 |     2039   2029 |        0 |        0
878.55/878.94	c  878s |      22 |  2308972 |  1862222 |     2039   2032 |        0 |        0
880.55/880.95	c  880s |      22 |  2312924 |  1865622 |     2039   2035 |        0 |        0
882.55/882.98	c  882s |      22 |  2316952 |  1869222 |     2039   2038 |        0 |        0
884.55/884.99	c  884s |      22 |  2321121 |  1872822 |     2039   2042 |        0 |        0
886.65/887.02	c  886s |      22 |  2326153 |  1877022 |     2039   2045 |        0 |        0
888.65/889.05	c  889s |      22 |  2330897 |  1881222 |     2039   2049 |        0 |        0
890.64/891.09	c  891s |      22 |  2335106 |  1885022 |     2039   2053 |        0 |        0
892.74/893.13	c  893s |      22 |  2340010 |  1889022 |     2039   2056 |        0 |        0
894.74/895.16	c  895s |      22 |  2344594 |  1892922 |     2039   2060 |        0 |        0
896.74/897.19	c  897s |      22 |  2349259 |  1896822 |     2039   2063 |        0 |        0
898.84/899.23	c  899s |      22 |  2354661 |  1901022 |     2039   2067 |        0 |        0
900.84/901.25	c  901s |      22 |  2359776 |  1905122 |     2039   2071 |        0 |        0
902.85/903.29	c  903s |      22 |  2365364 |  1909522 |     2039   2074 |        0 |        0
904.94/905.31	c  905s |      22 |  2370282 |  1913422 |     2039   2078 |        0 |        0
906.94/907.32	c  907s |      22 |  2374866 |  1917222 |     2039   2081 |        0 |        0
908.94/909.34	c  909s |      22 |  2379712 |  1921122 |     2039   2085 |        0 |        0
910.94/911.35	c  911s |      22 |  2384186 |  1924722 |     2039   2088 |        0 |        0
913.04/913.41	c  913s |      22 |  2389262 |  1928622 |     2039   2092 |        0 |        0
915.05/915.44	c  915s |      22 |  2394566 |  1932922 |     2039   2095 |        0 |        0
917.04/917.45	c  917s |      22 |  2399422 |  1937222 |     2039   2099 |        0 |        0
919.04/919.49	c  919s |      22 |  2403884 |  1941222 |     2039   2103 |        0 |        0
921.15/921.51	c  921s |      22 |  2408385 |  1945322 |     2039   2106 |        0 |        0
923.15/923.53	c  923s |      22 |  2412456 |  1949022 |     2039   2110 |        0 |        0
925.15/925.56	c  925s |      22 |  2417271 |  1953122 |     2039   2113 |        0 |        0
927.25/927.61	c  927s |      22 |  2421819 |  1957122 |     2039   2117 |        0 |        0
929.25/929.66	c  929s |      22 |  2426291 |  1961022 |     2039   2120 |        0 |        0
931.34/931.75	c  931s |      22 |  2430264 |  1964522 |     2039   2124 |        0 |        0
933.34/933.76	c  933s |      22 |  2434618 |  1968322 |     2039   2127 |        0 |        0
935.34/935.77	c  935s |      22 |  2439028 |  1972122 |     2039   2130 |        0 |        0
937.34/937.79	c  937s |      22 |  2443502 |  1976022 |     2039   2134 |        0 |        0
939.44/939.80	c  939s |      22 |  2447774 |  1979722 |     2039   2137 |        0 |        0
941.45/941.81	c  941s |      22 |  2451726 |  1983222 |     2039   2140 |        0 |        0
943.44/943.81	c  943s |      22 |  2456666 |  1987522 |     2039   2144 |        0 |        0
945.44/945.85	c  945s |      22 |  2460920 |  1991222 |     2039   2147 |        0 |        0
947.44/947.86	c  947s |      22 |  2465176 |  1994922 |     2039   2151 |        0 |        0
949.54/949.91	c  949s |      22 |  2468999 |  1998322 |     2039   2154 |        0 |        0
951.54/951.95	c  951s |      22 |  2473331 |  2002022 |     2039   2157 |        0 |        0
953.55/953.96	c  953s |      22 |  2477506 |  2005622 |     2039   2160 |        0 |        0
955.54/955.97	c  955s |      22 |  2481970 |  2009422 |     2039   2164 |        0 |        0
957.54/957.99	c  957s |      22 |  2485750 |  2012722 |     2039   2167 |        0 |        0
959.64/960.00	c  959s |      22 |  2489423 |  2016022 |     2039   2170 |        0 |        0
961.64/962.02	c  961s |      22 |  2493563 |  2019522 |     2039   2173 |        0 |        0
963.64/964.05	c  964s |      22 |  2498038 |  2023422 |     2039   2176 |        0 |        0
965.74/966.11	c  966s |      22 |  2502303 |  2027222 |     2039   2180 |        0 |        0
967.74/968.16	c  968s |      22 |  2506685 |  2031122 |     2039   2183 |        0 |        0
969.84/970.21	c  970s |      22 |  2510858 |  2034922 |     2039   2186 |        0 |        0
971.84/972.22	c  972s |      22 |  2514702 |  2038422 |     2039   2190 |        0 |        0
973.83/974.24	c  974s |      22 |  2518720 |  2041922 |     2039   2193 |        0 |        0
975.83/976.26	c  976s |      22 |  2523178 |  2045822 |     2039   2196 |        0 |        0
977.93/978.31	c  978s |      22 |  2527554 |  2049622 |     2039   2200 |        0 |        0
979.94/980.36	c  980s |      22 |  2531820 |  2053422 |     2039   2203 |        0 |        0
981.93/982.38	c  982s |      22 |  2536138 |  2056922 |     2039   2206 |        0 |        0
984.03/984.43	c  984s |      22 |  2540203 |  2060422 |     2039   2209 |        0 |        0
986.03/986.46	c  986s |      22 |  2544067 |  2063922 |     2039   2212 |        0 |        0
988.13/988.50	c  988s |      22 |  2547619 |  2067122 |     2039   2215 |        0 |        0
990.13/990.54	c  990s |      22 |  2551737 |  2070522 |     2039   2218 |        0 |        0
992.13/992.58	c  992s |      22 |  2556818 |  2074622 |     2039   2222 |        0 |        0
994.14/994.60	c  994s |      22 |  2562160 |  2078822 |     2039   2226 |        0 |        0
996.23/996.63	c  996s |      22 |  2567079 |  2082922 |     2039   2229 |        0 |        0
998.23/998.66	c  998s |      22 |  2571819 |  2086922 |     2039   2233 |        0 |        0
1000.23/1000.66	c 1000s |      22 |  2576211 |  2090722 |     2039   2236 |        0 |        0
1002.23/1002.67	c 1002s |      22 |  2581468 |  2095022 |     2039   2240 |        0 |        0
1004.33/1004.71	c 1004s |      22 |  2585960 |  2098922 |     2039   2244 |        0 |        0
1006.33/1006.74	c 1006s |      22 |  2590925 |  2103222 |     2039   2247 |        0 |        0
1008.33/1008.77	c 1008s |      22 |  2595791 |  2107422 |     2039   2251 |        0 |        0
1010.43/1010.82	c 1010s |      22 |  2600821 |  2111822 |     2039   2255 |        0 |        0
1012.43/1012.85	c 1012s |      22 |  2605566 |  2116022 |     2039   2259 |        0 |        0
1014.43/1014.88	c 1014s |      22 |  2610368 |  2120222 |     2039   2262 |        0 |        0
1016.43/1016.89	c 1016s |      22 |  2614946 |  2124122 |     2039   2266 |        0 |        0
1018.53/1018.90	c 1018s |      22 |  2619425 |  2127922 |     2039   2269 |        0 |        0
1020.53/1020.96	c 1020s |      22 |  2623311 |  2131322 |     2039   2272 |        0 |        0
1022.52/1022.96	c 1022s |      22 |  2627579 |  2135122 |     2039   2276 |        0 |        0
1024.52/1024.97	c 1024s |      22 |  2631615 |  2138722 |     2039   2279 |        0 |        0
1026.62/1027.00	c 1026s |      22 |  2635994 |  2142622 |     2039   2282 |        0 |        0
1028.62/1029.02	c 1028s |      22 |  2640466 |  2146622 |     2039   2286 |        0 |        0
1030.62/1031.08	c 1031s |      22 |  2644622 |  2150422 |     2039   2289 |        0 |        0
1032.63/1033.09	c 1033s |      22 |  2649301 |  2154422 |     2039   2293 |        0 |        0
1034.62/1035.09	c 1035s |      22 |  2653406 |  2158022 |     2039   2296 |        0 |        0
1036.72/1037.13	c 1037s |      22 |  2657718 |  2161822 |     2039   2299 |        0 |        0
1038.72/1039.14	c 1039s |      22 |  2662058 |  2165622 |     2039   2303 |        0 |        0
1040.72/1041.17	c 1041s |      22 |  2665983 |  2169122 |     2039   2306 |        0 |        0
1042.82/1043.20	c 1043s |      22 |  2670102 |  2172722 |     2039   2309 |        0 |        0
1044.83/1045.23	c 1045s |      22 |  2674561 |  2176522 |     2039   2312 |        0 |        0
1046.82/1047.25	c 1047s |      22 |  2678898 |  2180322 |     2039   2316 |        0 |        0
1048.82/1049.25	c 1049s |      22 |  2683061 |  2183922 |     2039   2319 |        0 |        0
1050.83/1051.29	c 1051s |      22 |  2687431 |  2187722 |     2039   2322 |        0 |        0
1052.93/1053.31	c 1053s |      22 |  2691828 |  2191522 |     2039   2326 |        0 |        0
1054.93/1055.31	c 1055s |      22 |  2696199 |  2195422 |     2039   2329 |        0 |        0
1056.93/1057.32	c 1057s |      22 |  2700748 |  2199422 |     2039   2333 |        0 |        0
1058.93/1059.32	c 1059s |      22 |  2705343 |  2203422 |     2039   2336 |        0 |        0
1060.93/1061.33	c 1061s |      22 |  2709841 |  2207422 |     2039   2340 |        0 |        0
1062.93/1063.33	c 1063s |      22 |  2714237 |  2211322 |     2039   2343 |        0 |        0
1064.93/1065.34	c 1065s |      22 |  2718258 |  2214922 |     2039   2347 |        0 |        0
1066.92/1067.37	c 1067s |      22 |  2722309 |  2218622 |     2039   2350 |        0 |        0
1068.93/1069.37	c 1069s |      22 |  2726584 |  2222422 |     2039   2353 |        0 |        0
1071.02/1071.41	c 1071s |      22 |  2730928 |  2226222 |     2039   2357 |        0 |        0
1073.02/1073.44	c 1073s |      22 |  2735049 |  2229922 |     2039   2360 |        0 |        0
1075.02/1075.46	c 1075s |      22 |  2739369 |  2233722 |     2039   2363 |        0 |        0
1077.12/1077.50	c 1077s |      22 |  2743146 |  2237022 |     2243   2366 |        0 |        0
1079.12/1079.52	c 1079s |      22 |  2747273 |  2240522 |     2243   2369 |        0 |        0
1081.13/1081.55	c 1081s |      22 |  2751266 |  2244122 |     2243   2372 |        0 |        0
1083.12/1083.56	c 1083s |      22 |  2755275 |  2247722 |     2243   2375 |        0 |        0
1085.22/1085.61	c 1085s |      22 |  2759361 |  2251022 |     2243   2378 |        0 |        0
1085.22/1085.62	c 1085s |      23 |  2759402 |  2251038 |     2243   2378 |        0 |        0
1087.22/1087.64	c 1087s |      23 |  2771456 |  2255538 |     2243   2381 |        0 |        0
1089.22/1089.66	c 1089s |      23 |  2778048 |  2260038 |     2243   2385 |        0 |        0
1091.32/1091.72	c 1091s |      23 |  2784093 |  2264638 |     2243   2389 |        0 |        0
1093.32/1093.74	c 1093s |      23 |  2788681 |  2268438 |     2243   2392 |        0 |        0
1095.33/1095.79	c 1095s |      23 |  2793807 |  2272338 |     2243   2395 |        0 |        0
1097.42/1097.83	c 1097s |      23 |  2798194 |  2276138 |     2243   2398 |        0 |        0
1099.42/1099.86	c 1099s |      23 |  2802598 |  2279938 |     2243   2401 |        0 |        0
1101.42/1101.88	c 1101s |      23 |  2807123 |  2283938 |     2243   2404 |        0 |        0
1103.52/1103.92	c 1103s |      23 |  2811412 |  2287738 |     2243   2407 |        0 |        0
1105.52/1105.92	c 1105s |      23 |  2815697 |  2291538 |     2243   2410 |        0 |        0
1107.52/1107.94	c 1107s |      23 |  2820974 |  2295938 |     2243   2414 |        0 |        0
1109.52/1109.94	c 1109s |      23 |  2826593 |  2300738 |     2243   2418 |        0 |        0
1111.52/1111.95	c 1111s |      23 |  2832129 |  2305238 |     2243   2421 |        0 |        0
1113.51/1113.99	c 1113s |      23 |  2836892 |  2309038 |     2243   2424 |        0 |        0
1115.61/1116.04	c 1116s |      23 |  2840913 |  2312438 |     2243   2427 |        0 |        0
1117.61/1118.07	c 1118s |      23 |  2844833 |  2315838 |     2243   2430 |        0 |        0
1119.62/1120.09	c 1120s |      23 |  2848833 |  2319338 |     2243   2433 |        0 |        0
1121.72/1122.11	c 1122s |      23 |  2852390 |  2322538 |     2243   2435 |        0 |        0
1123.71/1124.12	c 1124s |      23 |  2855696 |  2325438 |     2243   2438 |        0 |        0
1125.71/1126.16	c 1126s |      23 |  2859979 |  2329238 |     2243   2441 |        0 |        0
1127.71/1128.17	c 1128s |      23 |  2863999 |  2332838 |     2243   2444 |        0 |        0
1129.71/1130.18	c 1130s |      23 |  2868009 |  2336438 |     2243   2446 |        0 |        0
1131.81/1132.21	c 1132s |      23 |  2874561 |  2340238 |     2243   2450 |        0 |        0
1133.82/1134.24	c 1134s |      23 |  2882101 |  2344138 |     2243   2453 |        0 |        0
1135.81/1136.27	c 1136s |      23 |  2888560 |  2349138 |     2243   2457 |        0 |        0
1137.81/1138.27	c 1138s |      23 |  2893915 |  2353738 |     2243   2461 |        0 |        0
1139.91/1140.31	c 1140s |      23 |  2898915 |  2357838 |     2243   2464 |        0 |        0
1141.91/1142.33	c 1142s |      23 |  2903535 |  2361738 |     2243   2467 |        0 |        0
1143.91/1144.37	c 1144s |      23 |  2907647 |  2365338 |     2243   2470 |        0 |        0
1146.02/1146.41	c 1146s |      23 |  2912526 |  2369338 |     2243   2473 |        0 |        0
1148.01/1148.46	c 1148s |      23 |  2919018 |  2373838 |     2243   2477 |        0 |        0
1150.11/1150.51	c 1150s |      23 |  2924188 |  2377938 |     2243   2480 |        0 |        0
1152.11/1152.52	c 1152s |      23 |  2929129 |  2381738 |     2243   2483 |        0 |        0
1154.11/1154.57	c 1154s |      23 |  2933164 |  2385138 |     2243   2486 |        0 |        0
1156.21/1156.62	c 1156s |      23 |  2937176 |  2388438 |     2243   2488 |        0 |        0
1158.21/1158.66	c 1158s |      23 |  2942244 |  2392738 |     2243   2492 |        0 |        0
1160.21/1160.67	c 1160s |      23 |  2946802 |  2396738 |     2243   2495 |        0 |        0
1162.21/1162.69	c 1162s |      23 |  2951352 |  2400838 |     2243   2498 |        0 |        0
1164.31/1164.74	c 1164s |      23 |  2956231 |  2404638 |     2243   2501 |        0 |        0
1166.30/1166.75	c 1166s |      23 |  2959743 |  2407838 |     2243   2504 |        0 |        0
1168.40/1168.83	c 1168s |      23 |  2963484 |  2411138 |     2243   2506 |        0 |        0
1170.40/1170.86	c 1170s |      23 |  2968616 |  2415538 |     2243   2510 |        0 |        0
1172.41/1172.89	c 1172s |      23 |  2973469 |  2419738 |     2243   2513 |        0 |        0
1174.51/1174.91	c 1174s |      23 |  2978377 |  2423538 |     2243   2516 |        0 |        0
1176.50/1176.92	c 1176s |      23 |  2982619 |  2427038 |     2243   2519 |        0 |        0
1178.50/1178.94	c 1178s |      23 |  2986560 |  2430038 |     2243   2522 |        0 |        0
1180.50/1180.98	c 1180s |      23 |  2991926 |  2433738 |     2243   2525 |        0 |        0
1182.50/1182.99	c 1182s |      23 |  2997230 |  2437438 |     2243   2527 |        0 |        0
1184.60/1185.03	c 1184s |      23 |  3001937 |  2440938 |     2243   2530 |        0 |        0
1186.61/1187.08	c 1187s |      23 |  3006049 |  2444438 |     2243   2533 |        0 |        0
1188.60/1189.09	c 1189s |      23 |  3010019 |  2447738 |     2243   2536 |        0 |        0
1190.70/1191.11	c 1191s |      23 |  3013815 |  2451038 |     2243   2538 |        0 |        0
1192.70/1193.14	c 1193s |      23 |  3018519 |  2454538 |     2243   2541 |        0 |        0
1194.70/1195.17	c 1195s |      23 |  3022641 |  2457838 |     2243   2544 |        0 |        0
1196.70/1197.17	c 1197s |      23 |  3027075 |  2461138 |     2243   2546 |        0 |        0
1198.80/1199.23	c 1199s |      23 |  3031110 |  2464238 |     2243   2549 |        0 |        0
1200.80/1201.25	c 1201s |      23 |  3036213 |  2467938 |     2243   2552 |        0 |        0
1202.80/1203.25	c 1203s |      23 |  3042304 |  2472338 |     2243   2555 |        0 |        0
1204.80/1205.29	c 1205s |      23 |  3048109 |  2476938 |     2243   2559 |        0 |        0
1206.90/1207.32	c 1207s |      23 |  3052940 |  2480938 |     2243   2562 |        0 |        0
1208.90/1209.37	c 1209s |      23 |  3057745 |  2484538 |     2243   2565 |        0 |        0
1210.99/1211.40	c 1211s |      23 |  3061988 |  2488238 |     2243   2568 |        0 |        0
1213.00/1213.40	c 1213s |      23 |  3066651 |  2491738 |     2243   2571 |        0 |        0
1215.00/1215.44	c 1215s |      23 |  3073715 |  2496338 |     2243   2575 |        0 |        0
1217.00/1217.46	c 1217s |      23 |  3080953 |  2501138 |     2243   2578 |        0 |        0
1219.00/1219.49	c 1219s |      23 |  3087223 |  2505538 |     2243   2582 |        0 |        0
1221.00/1221.50	c 1221s |      23 |  3093358 |  2509538 |     2243   2585 |        0 |        0
1223.10/1223.50	c 1223s |      23 |  3100008 |  2514038 |     2243   2589 |        0 |        0
1225.11/1225.51	c 1225s |      23 |  3105218 |  2518138 |     2243   2592 |        0 |        0
1227.10/1227.52	c 1227s |      23 |  3111707 |  2522338 |     2243   2595 |        0 |        0
1229.10/1229.54	c 1229s |      23 |  3118332 |  2527738 |     2243   2600 |        0 |        0
1231.10/1231.59	c 1231s |      23 |  3123931 |  2532738 |     2243   2604 |        0 |        0
1233.10/1233.59	c 1233s |      23 |  3129202 |  2537338 |     2243   2607 |        0 |        0
1235.20/1235.63	c 1235s |      23 |  3134153 |  2541638 |     2243   2611 |        0 |        0
1237.21/1237.65	c 1237s |      23 |  3138679 |  2545438 |     2243   2614 |        0 |        0
1239.20/1239.65	c 1239s |      23 |  3143568 |  2549338 |     2243   2617 |        0 |        0
1241.20/1241.67	c 1241s |      23 |  3150118 |  2553838 |     2243   2620 |        0 |        0
1243.30/1243.71	c 1243s |      23 |  3155380 |  2557938 |     2243   2624 |        0 |        0
1245.30/1245.71	c 1245s |      23 |  3162817 |  2562338 |     2243   2627 |        0 |        0
1247.30/1247.74	c 1247s |      23 |  3168231 |  2567038 |     2243   2631 |        0 |        0
1249.30/1249.76	c 1249s |      23 |  3173014 |  2570338 |     2243   2634 |        0 |        0
1251.40/1251.81	c 1251s |      23 |  3177619 |  2573338 |     2243   2636 |        0 |        0
1253.40/1253.84	c 1253s |      23 |  3182807 |  2577038 |     2243   2639 |        0 |        0
1255.40/1255.86	c 1255s |      23 |  3187297 |  2580438 |     2243   2642 |        0 |        0
1257.40/1257.88	c 1257s |      23 |  3192482 |  2584838 |     2243   2645 |        0 |        0
1259.40/1259.89	c 1259s |      23 |  3196885 |  2588838 |     2243   2649 |        0 |        0
1261.50/1261.91	c 1261s |      23 |  3200798 |  2592338 |     2243   2652 |        0 |        0
1263.49/1263.97	c 1263s |      23 |  3205057 |  2596138 |     2243   2655 |        0 |        0
1265.59/1266.04	c 1265s |      23 |  3209073 |  2599638 |     2243   2657 |        0 |        0
1267.59/1268.07	c 1268s |      23 |  3213125 |  2602838 |     2243   2660 |        0 |        0
1269.69/1270.11	c 1270s |      23 |  3217317 |  2606138 |     2243   2663 |        0 |        0
1271.69/1272.18	c 1272s |      23 |  3220854 |  2608938 |     2243   2665 |        0 |        0
1273.79/1274.25	c 1274s |      23 |  3224038 |  2611438 |     2243   2667 |        0 |        0
1275.80/1276.26	c 1276s |      23 |  3227362 |  2614138 |     2243   2669 |        0 |        0
1277.79/1278.27	c 1278s |      23 |  3232657 |  2618438 |     2243   2672 |        0 |        0
1279.89/1280.32	c 1280s |      23 |  3237141 |  2622238 |     2243   2676 |        0 |        0
1281.89/1282.38	c 1282s |      23 |  3241440 |  2625938 |     2243   2679 |        0 |        0
1283.89/1284.39	c 1284s |      23 |  3245383 |  2629238 |     2243   2681 |        0 |        0
1285.99/1286.45	c 1286s |      23 |  3249915 |  2632538 |     2243   2684 |        0 |        0
1287.99/1288.49	c 1288s |      23 |  3254076 |  2635438 |     2243   2686 |        0 |        0
1290.10/1290.54	c 1290s |      23 |  3256963 |  2637938 |     2243   2688 |        0 |        0
1292.20/1292.61	c 1292s |      23 |  3259983 |  2640338 |     2243   2690 |        0 |        0
1294.19/1294.63	c 1294s |      23 |  3266409 |  2644838 |     2243   2694 |        0 |        0
1296.19/1296.67	c 1296s |      23 |  3270917 |  2648838 |     2243   2697 |        0 |        0
1298.29/1298.70	c 1298s |      23 |  3275340 |  2652738 |     2243   2700 |        0 |        0
1300.29/1300.71	c 1300s |      23 |  3279718 |  2656638 |     2243   2703 |        0 |        0
1302.29/1302.73	c 1302s |      23 |  3284585 |  2660938 |     2243   2707 |        0 |        0
1304.30/1304.76	c 1304s |      23 |  3289132 |  2664938 |     2243   2710 |        0 |        0
1306.29/1306.77	c 1306s |      23 |  3293520 |  2668838 |     2243   2713 |        0 |        0
1308.29/1308.79	c 1308s |      23 |  3297741 |  2672538 |     2243   2716 |        0 |        0
1310.39/1310.84	c 1310s |      23 |  3302165 |  2676438 |     2243   2719 |        0 |        0
1312.39/1312.88	c 1312s |      23 |  3306467 |  2680238 |     2243   2722 |        0 |        0
1314.49/1314.92	c 1314s |      23 |  3311236 |  2683938 |     2243   2725 |        0 |        0
1316.49/1316.94	c 1316s |      23 |  3315645 |  2687738 |     2243   2728 |        0 |        0
1318.49/1318.97	c 1318s |      23 |  3319562 |  2691138 |     2243   2731 |        0 |        0
1320.49/1320.97	c 1320s |      23 |  3323419 |  2694438 |     2243   2734 |        0 |        0
1322.49/1322.99	c 1322s |      23 |  3327343 |  2697938 |     2243   2737 |        0 |        0
1324.58/1325.00	c 1324s |      23 |  3331291 |  2701438 |     2243   2740 |        0 |        0
1326.58/1327.03	c 1326s |      23 |  3335198 |  2704938 |     2243   2742 |        0 |        0
1328.59/1329.04	c 1328s |      23 |  3338688 |  2708038 |     2243   2745 |        0 |        0
1330.58/1331.06	c 1331s |      23 |  3342437 |  2711038 |     2243   2747 |        0 |        0
1332.68/1333.11	c 1333s |      23 |  3346383 |  2714438 |     2243   2750 |        0 |        0
1334.68/1335.19	c 1335s |      23 |  3349914 |  2717538 |     2243   2753 |        0 |        0
1336.78/1337.20	c 1337s |      23 |  3353630 |  2720838 |     2243   2755 |        0 |        0
1338.78/1339.21	c 1339s |      23 |  3357178 |  2724038 |     2243   2758 |        0 |        0
1340.78/1341.24	c 1341s |      23 |  3360623 |  2727138 |     2243   2760 |        0 |        0
1342.79/1343.24	c 1343s |      23 |  3363896 |  2730138 |     2243   2763 |        0 |        0
1344.78/1345.27	c 1345s |      23 |  3367576 |  2733438 |     2243   2765 |        0 |        0
1346.88/1347.32	c 1347s |      23 |  3371414 |  2736838 |     2243   2768 |        0 |        0
1348.88/1349.38	c 1349s |      23 |  3375055 |  2740038 |     2243   2771 |        0 |        0
1350.98/1351.40	c 1351s |      23 |  3378773 |  2743338 |     2243   2773 |        0 |        0
1352.98/1353.40	c 1353s |      23 |  3382473 |  2746638 |     2243   2776 |        0 |        0
1354.99/1355.45	c 1355s |      23 |  3385964 |  2749638 |     2243   2778 |        0 |        0
1356.98/1357.45	c 1357s |      23 |  3389733 |  2752938 |     2243   2781 |        0 |        0
1358.98/1359.46	c 1359s |      23 |  3393197 |  2755938 |     2243   2784 |        0 |        0
1360.98/1361.49	c 1361s |      23 |  3396698 |  2758938 |     2243   2786 |        0 |        0
1363.08/1363.52	c 1363s |      23 |  3400110 |  2761938 |     2243   2788 |        0 |        0
1365.08/1365.54	c 1365s |      23 |  3403665 |  2765038 |     2243   2791 |        0 |        0
1367.08/1367.58	c 1367s |      23 |  3407279 |  2768138 |     2243   2793 |        0 |        0
1369.08/1369.59	c 1369s |      23 |  3410689 |  2771138 |     2243   2796 |        0 |        0
1371.08/1371.60	c 1371s |      23 |  3414234 |  2774038 |     2243   2798 |        0 |        0
1373.18/1373.65	c 1373s |      23 |  3417858 |  2777138 |     2243   2801 |        0 |        0
1375.18/1375.68	c 1375s |      23 |  3421155 |  2780038 |     2243   2803 |        0 |        0
1377.27/1377.70	c 1377s |      23 |  3424547 |  2783038 |     2243   2805 |        0 |        0
1379.27/1379.77	c 1379s |      23 |  3427818 |  2785938 |     2243   2808 |        0 |        0
1381.38/1381.80	c 1381s |      23 |  3430870 |  2788638 |     2243   2810 |        0 |        0
1383.37/1383.86	c 1383s |      23 |  3434656 |  2791938 |     2243   2813 |        0 |        0
1385.47/1385.93	c 1385s |      23 |  3438133 |  2795038 |     2243   2815 |        0 |        0
1387.47/1387.94	c 1387s |      23 |  3441332 |  2797938 |     2243   2818 |        0 |        0
1389.47/1389.94	c 1389s |      23 |  3444570 |  2800838 |     2243   2820 |        0 |        0
1391.47/1391.97	c 1391s |      23 |  3448923 |  2804538 |     2243   2823 |        0 |        0
1393.57/1394.01	c 1393s |      23 |  3453831 |  2808538 |     2243   2826 |        0 |        0
1395.58/1396.02	c 1395s |      23 |  3458192 |  2812338 |     2243   2829 |        0 |        0
1397.57/1398.07	c 1398s |      23 |  3462323 |  2816038 |     2243   2832 |        0 |        0
1399.57/1400.08	c 1400s |      23 |  3466210 |  2819538 |     2243   2835 |        0 |        0
1401.67/1402.12	c 1402s |      23 |  3472005 |  2824438 |     2243   2839 |        0 |        0
1403.67/1404.12	c 1404s |      23 |  3477109 |  2828838 |     2243   2842 |        0 |        0
1405.67/1406.15	c 1406s |      23 |  3481886 |  2833038 |     2243   2846 |        0 |        0
1407.68/1408.19	c 1408s |      23 |  3487605 |  2837638 |     2243   2849 |        0 |        0
1409.77/1410.23	c 1410s |      23 |  3492616 |  2841938 |     2243   2853 |        0 |        0
1411.77/1412.23	c 1412s |      23 |  3497948 |  2846438 |     2243   2856 |        0 |        0
1413.77/1414.26	c 1414s |      23 |  3502796 |  2850638 |     2243   2860 |        0 |        0
1415.77/1416.28	c 1416s |      23 |  3508051 |  2855138 |     2243   2863 |        0 |        0
1417.77/1418.29	c 1418s |      23 |  3512581 |  2858938 |     2243   2866 |        0 |        0
1419.88/1420.35	c 1420s |      23 |  3517200 |  2862838 |     2243   2870 |        0 |        0
1421.87/1422.36	c 1422s |      23 |  3521509 |  2866538 |     2243   2872 |        0 |        0
1423.97/1424.41	c 1424s |      23 |  3525573 |  2870138 |     2243   2875 |        0 |        0
1425.97/1426.46	c 1426s |      23 |  3529563 |  2873638 |     2243   2878 |        0 |        0
1427.97/1428.46	c 1428s |      23 |  3533984 |  2877438 |     2243   2881 |        0 |        0
1429.97/1430.46	c 1430s |      23 |  3538595 |  2881438 |     2243   2884 |        0 |        0
1432.07/1432.52	c 1432s |      23 |  3543265 |  2885538 |     2243   2888 |        0 |        0
1434.07/1434.54	c 1434s |      23 |  3547617 |  2889438 |     2243   2891 |        0 |        0
1436.06/1436.57	c 1436s |      23 |  3552179 |  2893438 |     2243   2894 |        0 |        0
1438.06/1438.59	c 1438s |      23 |  3556315 |  2897038 |     2243   2897 |        0 |        0
1440.16/1440.61	c 1440s |      23 |  3560663 |  2900738 |     2243   2900 |        0 |        0
1442.16/1442.65	c 1442s |      23 |  3565339 |  2904738 |     2243   2903 |        0 |        0
1444.16/1444.67	c 1444s |      23 |  3570031 |  2908738 |     2243   2906 |        0 |        0
1446.17/1446.69	c 1446s |      23 |  3573969 |  2912238 |     2243   2909 |        0 |        0
1448.26/1448.74	c 1448s |      23 |  3577609 |  2915538 |     2243   2912 |        0 |        0
1450.26/1450.74	c 1450s |      23 |  3581325 |  2918838 |     2243   2914 |        0 |        0
1452.36/1452.80	c 1452s |      23 |  3585078 |  2922238 |     2243   2917 |        0 |        0
1454.36/1454.83	c 1454s |      23 |  3589048 |  2925738 |     2243   2920 |        0 |        0
1456.36/1456.84	c 1456s |      23 |  3593007 |  2929238 |     2243   2923 |        0 |        0
1458.36/1458.85	c 1458s |      23 |  3596999 |  2932838 |     2243   2925 |        0 |        0
1460.36/1460.87	c 1460s |      23 |  3601008 |  2936438 |     2243   2928 |        0 |        0
1462.36/1462.88	c 1462s |      23 |  3604671 |  2939638 |     2243   2931 |        0 |        0
1464.46/1464.91	c 1464s |      23 |  3608317 |  2942938 |     2243   2934 |        0 |        0
1466.46/1466.95	c 1466s |      23 |  3611889 |  2946138 |     2243   2936 |        0 |        0
1468.46/1468.97	c 1468s |      23 |  3616102 |  2949838 |     2243   2939 |        0 |        0
1470.46/1470.99	c 1470s |      23 |  3619896 |  2953238 |     2243   2942 |        0 |        0
1472.56/1473.02	c 1472s |      23 |  3624702 |  2957138 |     2243   2945 |        0 |        0
1474.55/1475.07	c 1475s |      23 |  3628784 |  2960738 |     2243   2948 |        0 |        0
1476.65/1477.10	c 1477s |      23 |  3633049 |  2964538 |     2243   2951 |        0 |        0
1478.65/1479.12	c 1479s |      23 |  3637724 |  2968538 |     2243   2954 |        0 |        0
1480.65/1481.13	c 1481s |      23 |  3642237 |  2972538 |     2243   2957 |        0 |        0
1482.65/1483.15	c 1483s |      23 |  3646272 |  2976138 |     2243   2960 |        0 |        0
1484.66/1485.17	c 1485s |      23 |  3651086 |  2980338 |     2243   2964 |        0 |        0
1486.65/1487.20	c 1487s |      23 |  3655543 |  2984338 |     2243   2967 |        0 |        0
1488.75/1489.24	c 1489s |      23 |  3660475 |  2988738 |     2243   2970 |        0 |        0
1490.75/1491.27	c 1491s |      23 |  3665223 |  2992938 |     2243   2974 |        0 |        0
1492.85/1493.30	c 1493s |      23 |  3669565 |  2996838 |     2243   2977 |        0 |        0
1494.85/1495.31	c 1495s |      23 |  3674085 |  3000838 |     2243   2980 |        0 |        0
1496.86/1497.31	c 1497s |      23 |  3678727 |  3004738 |     2243   2983 |        0 |        0
1498.85/1499.34	c 1499s |      23 |  3682801 |  3008338 |     2243   2986 |        0 |        0
1500.85/1501.39	c 1501s |      23 |  3686761 |  3011838 |     2243   2989 |        0 |        0
1502.85/1503.39	c 1503s |      23 |  3690086 |  3014838 |     2243   2991 |        0 |        0
1504.95/1505.42	c 1505s |      23 |  3694228 |  3018138 |     2243   2994 |        0 |        0
1506.95/1507.45	c 1507s |      23 |  3698276 |  3021738 |     2243   2997 |        0 |        0
1508.96/1509.48	c 1509s |      23 |  3702279 |  3025338 |     2243   3000 |        0 |        0
1511.06/1511.54	c 1511s |      23 |  3706295 |  3028638 |     2243   3002 |        0 |        0
1513.05/1513.55	c 1513s |      23 |  3710352 |  3031938 |     2243   3005 |        0 |        0
1515.15/1515.61	c 1515s |      23 |  3714240 |  3035338 |     2243   3008 |        0 |        0
1517.15/1517.64	c 1517s |      23 |  3718139 |  3038838 |     2243   3011 |        0 |        0
1519.15/1519.64	c 1519s |      23 |  3722294 |  3042638 |     2243   3014 |        0 |        0
1521.15/1521.68	c 1521s |      23 |  3726514 |  3046338 |     2243   3017 |        0 |        0
1523.25/1523.72	c 1523s |      23 |  3730117 |  3049638 |     2243   3019 |        0 |        0
1525.25/1525.75	c 1525s |      23 |  3733717 |  3052938 |     2243   3022 |        0 |        0
1527.25/1527.77	c 1527s |      23 |  3737513 |  3056338 |     2243   3025 |        0 |        0
1529.35/1529.81	c 1529s |      23 |  3741054 |  3059538 |     2243   3027 |        0 |        0
1531.35/1531.84	c 1531s |      23 |  3745605 |  3063238 |     2243   3030 |        0 |        0
1533.35/1533.87	c 1533s |      23 |  3750426 |  3067238 |     2243   3033 |        0 |        0
1535.45/1535.91	c 1535s |      23 |  3755187 |  3071338 |     2243   3037 |        0 |        0
1537.46/1537.92	c 1537s |      23 |  3759510 |  3075038 |     2243   3040 |        0 |        0
1539.45/1539.94	c 1539s |      23 |  3763724 |  3078638 |     2243   3043 |        0 |        0
1541.45/1541.95	c 1541s |      23 |  3767756 |  3081938 |     2243   3045 |        0 |        0
1543.45/1543.96	c 1543s |      23 |  3771748 |  3085338 |     2243   3048 |        0 |        0
1545.55/1546.00	c 1545s |      23 |  3776188 |  3088938 |     2243   3051 |        0 |        0
1547.55/1548.07	c 1548s |      23 |  3780175 |  3092338 |     2243   3054 |        0 |        0
1549.56/1550.09	c 1550s |      23 |  3784647 |  3096138 |     2243   3057 |        0 |        0
1551.65/1552.12	c 1552s |      23 |  3788983 |  3099838 |     2243   3060 |        0 |        0
1553.65/1554.18	c 1554s |      23 |  3793296 |  3103538 |     2243   3063 |        0 |        0
1555.75/1556.22	c 1556s |      23 |  3797382 |  3107138 |     2243   3065 |        0 |        0
1557.75/1558.28	c 1558s |      23 |  3801101 |  3110438 |     2243   3068 |        0 |        0
1559.85/1560.34	c 1560s |      23 |  3804895 |  3113638 |     2243   3071 |        0 |        0
1561.85/1562.34	c 1562s |      23 |  3808800 |  3117038 |     2243   3073 |        0 |        0
1563.85/1564.35	c 1564s |      23 |  3812497 |  3120238 |     2243   3076 |        0 |        0
1565.95/1566.42	c 1566s |      23 |  3816209 |  3123538 |     2243   3078 |        0 |        0
1567.95/1568.42	c 1568s |      23 |  3820201 |  3126738 |     2243   3081 |        0 |        0
1569.95/1570.45	c 1570s |      23 |  3824228 |  3130238 |     2243   3084 |        0 |        0
1572.05/1572.50	c 1572s |      23 |  3828287 |  3133638 |     2243   3087 |        0 |        0
1574.04/1574.52	c 1574s |      23 |  3832390 |  3137038 |     2243   3089 |        0 |        0
1576.05/1576.55	c 1576s |      23 |  3837218 |  3140938 |     2243   3092 |        0 |        0
1578.04/1578.58	c 1578s |      23 |  3841845 |  3144838 |     2243   3096 |        0 |        0
1580.14/1580.63	c 1580s |      23 |  3846706 |  3149038 |     2243   3099 |        0 |        0
1582.14/1582.67	c 1582s |      23 |  3851708 |  3152938 |     2243   3102 |        0 |        0
1584.24/1584.72	c 1584s |      23 |  3857144 |  3157338 |     2243   3106 |        0 |        0
1586.24/1586.75	c 1586s |      23 |  3862338 |  3161538 |     2243   3109 |        0 |        0
1588.24/1588.78	c 1588s |      23 |  3867455 |  3165738 |     2243   3112 |        0 |        0
1590.25/1590.78	c 1590s |      23 |  3872304 |  3169838 |     2243   3116 |        0 |        0
1592.34/1592.81	c 1592s |      23 |  3876661 |  3173638 |     2243   3119 |        0 |        0
1594.34/1594.84	c 1594s |      23 |  3880364 |  3176938 |     2243   3121 |        0 |        0
1596.34/1596.84	c 1596s |      23 |  3884782 |  3180438 |     2243   3124 |        0 |        0
1598.34/1598.85	c 1598s |      23 |  3890610 |  3185038 |     2243   3128 |        0 |        0
1600.34/1600.87	c 1600s |      23 |  3896724 |  3189938 |     2243   3132 |        0 |        0
1602.35/1602.88	c 1602s |      23 |  3902089 |  3194438 |     2243   3135 |        0 |        0
1604.44/1604.90	c 1604s |      23 |  3906978 |  3198638 |     2243   3139 |        0 |        0
1606.44/1606.95	c 1606s |      23 |  3911684 |  3202738 |     2243   3142 |        0 |        0
1608.44/1609.00	c 1608s |      23 |  3916400 |  3206838 |     2243   3145 |        0 |        0
1610.54/1611.02	c 1610s |      23 |  3920927 |  3210438 |     2243   3148 |        0 |        0
1612.54/1613.09	c 1613s |      23 |  3926382 |  3214738 |     2243   3152 |        0 |        0
1614.64/1615.10	c 1615s |      23 |  3931465 |  3219038 |     2243   3155 |        0 |        0
1616.64/1617.12	c 1617s |      23 |  3936483 |  3223138 |     2243   3158 |        0 |        0
1618.74/1619.20	c 1619s |      23 |  3941352 |  3227238 |     2243   3162 |        0 |        0
1620.73/1621.24	c 1621s |      23 |  3946817 |  3231538 |     2243   3165 |        0 |        0
1622.73/1623.27	c 1623s |      23 |  3953055 |  3236238 |     2243   3169 |        0 |        0
1624.73/1625.27	c 1625s |      23 |  3958873 |  3240338 |     2243   3172 |        0 |        0
1626.83/1627.34	c 1627s |      23 |  3964394 |  3244538 |     2243   3176 |        0 |        0
1628.84/1629.38	c 1629s |      23 |  3970117 |  3249038 |     2243   3179 |        0 |        0
1630.83/1631.40	c 1631s |      23 |  3975892 |  3253638 |     2243   3183 |        0 |        0
1632.93/1633.44	c 1633s |      23 |  3981489 |  3258138 |     2243   3186 |        0 |        0
1634.93/1635.44	c 1635s |      23 |  3986712 |  3262438 |     2243   3190 |        0 |        0
1636.93/1637.48	c 1637s |      23 |  3992471 |  3267038 |     2243   3194 |        0 |        0
1639.03/1639.51	c 1639s |      23 |  3997750 |  3271238 |     2243   3197 |        0 |        0
1641.03/1641.55	c 1641s |      23 |  4002749 |  3275438 |     2243   3200 |        0 |        0
1643.04/1643.60	c 1643s |      23 |  4007160 |  3279038 |     2243   3203 |        0 |        0
1645.13/1645.64	c 1645s |      23 |  4012698 |  3283538 |     2243   3207 |        0 |        0
1647.13/1647.68	c 1647s |      23 |  4017582 |  3287638 |     2243   3210 |        0 |        0
1649.13/1649.69	c 1649s |      23 |  4022127 |  3291438 |     2243   3213 |        0 |        0
1651.23/1651.74	c 1651s |      23 |  4026300 |  3295038 |     2243   3216 |        0 |        0
1653.23/1653.74	c 1653s |      23 |  4031048 |  3299038 |     2243   3219 |        0 |        0
1655.23/1655.79	c 1655s |      23 |  4037141 |  3303938 |     2243   3223 |        0 |        0
1657.33/1657.81	c 1657s |      23 |  4042512 |  3308138 |     2243   3227 |        0 |        0
1659.33/1659.85	c 1659s |      23 |  4047770 |  3312038 |     2243   3230 |        0 |        0
1661.33/1661.89	c 1661s |      23 |  4052958 |  3316038 |     2243   3233 |        0 |        0
1663.43/1663.90	c 1663s |      23 |  4058557 |  3320638 |     2243   3237 |        0 |        0
1665.43/1665.92	c 1665s |      23 |  4063324 |  3324538 |     2243   3240 |        0 |        0
1667.43/1667.95	c 1667s |      23 |  4068780 |  3328738 |     2243   3243 |        0 |        0
1669.43/1669.95	c 1669s |      23 |  4074150 |  3332838 |     2243   3247 |        0 |        0
1671.52/1672.00	c 1671s |      23 |  4079387 |  3337038 |     2243   3250 |        0 |        0
1673.52/1674.03	c 1673s |      23 |  4084713 |  3341138 |     2243   3253 |        0 |        0
1675.52/1676.04	c 1676s |      23 |  4089895 |  3345238 |     2243   3257 |        0 |        0
1677.52/1678.05	c 1678s |      23 |  4094759 |  3349138 |     2243   3260 |        0 |        0
1679.52/1680.07	c 1680s |      23 |  4100348 |  3353438 |     2468   3263 |        0 |        0
1681.63/1682.12	c 1682s |      23 |  4105241 |  3357538 |     2468   3266 |        0 |        0
1683.62/1684.13	c 1684s |      23 |  4110341 |  3361538 |     2468   3269 |        0 |        0
1685.62/1686.15	c 1686s |      23 |  4115635 |  3365838 |     2468   3272 |        0 |        0
1687.62/1688.16	c 1688s |      23 |  4120385 |  3369838 |     2468   3275 |        0 |        0
1689.62/1690.18	c 1690s |      23 |  4125139 |  3373738 |     2468   3278 |        0 |        0
1691.22/1691.74	c 1691s |      24 |  4128716 |  3376662 |     2468   3280 |        0 |        0
1693.22/1693.79	c 1693s |      24 |  4137576 |  3381362 |     2468   3284 |        0 |        0
1695.32/1695.86	c 1695s |      24 |  4143143 |  3385462 |     2468   3287 |        0 |        0
1697.32/1697.89	c 1697s |      24 |  4149528 |  3389162 |     2468   3289 |        0 |        0
1699.42/1699.93	c 1699s |      24 |  4158241 |  3394262 |     2468   3293 |        0 |        0
1701.43/1701.97	c 1701s |      24 |  4164770 |  3398262 |     2468   3296 |        0 |        0
1703.42/1704.00	c 1703s |      24 |  4171455 |  3402762 |     2468   3299 |        0 |        0
1705.53/1706.02	c 1705s |      24 |  4175197 |  3406062 |     2468   3302 |        0 |        0
1707.53/1708.03	c 1707s |      24 |  4179061 |  3409462 |     2468   3304 |        0 |        0
1709.53/1710.07	c 1710s |      24 |  4183705 |  3412562 |     2468   3306 |        0 |        0
1711.53/1712.09	c 1712s |      24 |  4187867 |  3415462 |     2468   3309 |        0 |        0
1713.63/1714.12	c 1714s |      24 |  4193345 |  3419362 |     2468   3312 |        0 |        0
1715.63/1716.17	c 1716s |      24 |  4198764 |  3423362 |     2468   3314 |        0 |        0
1717.73/1718.21	c 1718s |      24 |  4203548 |  3426962 |     2468   3317 |        0 |        0
1719.73/1720.26	c 1720s |      24 |  4208445 |  3430562 |     2468   3320 |        0 |        0
1721.83/1722.31	c 1722s |      24 |  4213648 |  3434262 |     2468   3323 |        0 |        0
1723.83/1724.36	c 1724s |      24 |  4218227 |  3437862 |     2468   3325 |        0 |        0
1725.82/1726.38	c 1726s |      24 |  4223747 |  3442062 |     2468   3328 |        0 |        0
1727.83/1728.39	c 1728s |      24 |  4228820 |  3445862 |     2468   3331 |        0 |        0
1729.82/1730.39	c 1730s |      24 |  4233920 |  3449362 |     2468   3334 |        0 |        0
1731.92/1732.42	c 1732s |      24 |  4240167 |  3453862 |     2468   3337 |        0 |        0
1733.92/1734.43	c 1734s |      24 |  4245413 |  3458162 |     2468   3340 |        0 |        0
1735.92/1736.47	c 1736s |      24 |  4249751 |  3461862 |     2468   3343 |        0 |        0
1737.92/1738.49	c 1738s |      24 |  4254946 |  3466462 |     2468   3346 |        0 |        0
1740.02/1740.52	c 1740s |      24 |  4259369 |  3470462 |     2468   3349 |        0 |        0
1742.03/1742.54	c 1742s |      24 |  4264364 |  3474962 |     2468   3352 |        0 |        0
1744.02/1744.56	c 1744s |      24 |  4268786 |  3478962 |     2468   3355 |        0 |        0
1746.02/1746.58	c 1746s |      24 |  4273463 |  3483062 |     2468   3358 |        0 |        0
1748.12/1748.62	c 1748s |      24 |  4277800 |  3486962 |     2468   3361 |        0 |        0
1750.12/1750.65	c 1750s |      24 |  4282419 |  3491062 |     2468   3364 |        0 |        0
1752.12/1752.67	c 1752s |      24 |  4286495 |  3494762 |     2468   3367 |        0 |        0
1754.22/1754.71	c 1754s |      24 |  4290919 |  3498662 |     2468   3370 |        0 |        0
1756.22/1756.75	c 1756s |      24 |  4295382 |  3502762 |     2468   3373 |        0 |        0
1758.21/1758.77	c 1758s |      24 |  4299823 |  3506762 |     2468   3376 |        0 |        0
1760.21/1760.77	c 1760s |      24 |  4304335 |  3510862 |     2468   3379 |        0 |        0
1762.31/1762.84	c 1762s |      24 |  4309385 |  3514962 |     2468   3382 |        0 |        0
1764.41/1764.91	c 1764s |      24 |  4314525 |  3519062 |     2468   3385 |        0 |        0
1766.41/1766.95	c 1766s |      24 |  4319134 |  3522862 |     2468   3387 |        0 |        0
1768.42/1768.98	c 1768s |      24 |  4323496 |  3526462 |     2468   3390 |        0 |        0
1770.51/1771.01	c 1770s |      24 |  4328012 |  3530462 |     2468   3393 |        0 |        0
1772.51/1773.06	c 1773s |      24 |  4332217 |  3533962 |     2468   3395 |        0 |        0
1774.51/1775.08	c 1775s |      24 |  4337590 |  3538362 |     2468   3399 |        0 |        0
1776.61/1777.10	c 1777s |      24 |  4342833 |  3542762 |     2468   3402 |        0 |        0
1778.61/1779.10	c 1779s |      24 |  4347517 |  3546862 |     2468   3405 |        0 |        0
1780.62/1781.14	c 1781s |      24 |  4352171 |  3551062 |     2468   3408 |        0 |        0
1782.72/1783.21	c 1783s |      24 |  4357045 |  3555262 |     2468   3411 |        0 |        0
1784.71/1785.27	c 1785s |      24 |  4361595 |  3559262 |     2468   3414 |        0 |        0
1786.81/1787.31	c 1787s |      24 |  4366592 |  3563762 |     2468   3417 |        0 |        0
1788.81/1789.33	c 1789s |      24 |  4371885 |  3568362 |     2468   3421 |        0 |        0
1790.81/1791.34	c 1791s |      24 |  4377000 |  3572662 |     2468   3424 |        0 |        0
1792.81/1793.39	c 1793s |      24 |  4381718 |  3576662 |     2468   3427 |        0 |        0
1794.91/1795.41	c 1795s |      24 |  4386215 |  3580362 |     2468   3429 |        0 |        0
1796.91/1797.44	c 1797s |      24 |  4391199 |  3584762 |     2468   3433 |        0 |        0
1798.91/1799.47	c 1799s |      24 |  4395333 |  3588462 |     2468   3435 |        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-4093627-1466089642/watcher-4093627-1466089642 -o /tmp/evaluation-result-4093627-1466089642/solver-4093627-1466089642 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466074865-13651 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093627-1466089642.wbo 

pid=16336
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: 2.07 2.08 2.05 3/179 16339
/proc/meminfo: memFree=30337096/32872528 swapFree=532956/565660
[pid=16339] ppid=16336 vsize=672188 CPUtime=0 cores=0,2,4,6
/proc/16339/stat : 16339 (toysat) R 16336 16339 11130 0 -1 4202496 2498 0 0 0 0 0 0 0 20 0 4 0 11009790 688320512 3369 33554432000 4194304 16246674 140733955924240 140733955923664 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16339/statm: 168559 3377 441 2943 0 165453 0
[pid=16339/tid=16340] ppid=16336 vsize=690620 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16340/stat : 16340 (toysat) S 16336 16339 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11009790 707194880 3439 33554432000 4194304 16246674 140733955924240 140156994563312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16339/tid=16341] ppid=16336 vsize=694716 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (toysat) S 16336 16339 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11009790 711389184 3455 33554432000 4194304 16246674 140733955924240 140156984073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16339/tid=16342] ppid=16336 vsize=698812 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (toysat) S 16336 16339 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11009790 715583488 3473 33554432000 4194304 16246674 140733955924240 140156862459056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.07 2.08 2.05 3/179 16339
/proc/meminfo: memFree=30337096/32872528 swapFree=532956/565660
[pid=16339] ppid=16336 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/16339/stat : 16339 (toysat) R 16336 16339 11130 0 -1 4202496 25457 0 0 0 6 3 0 0 20 0 4 0 11009790 1247350784 26315 33554432000 4194304 16246674 140733955924240 140733955923664 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16339/statm: 304529 26327 806 2943 0 301423 0
[pid=16339/tid=16340] ppid=16336 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16340/stat : 16340 (toysat) S 16336 16339 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11009790 1247350784 26338 33554432000 4194304 16246674 140733955924240 140156994563312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16339/tid=16341] ppid=16336 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (toysat) S 16336 16339 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11009790 1247350784 26345 33554432000 4194304 16246674 140733955924240 140156984073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16339/tid=16342] ppid=16336 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (toysat) S 16336 16339 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11009790 1247350784 26352 33554432000 4194304 16246674 140733955924240 140156862459056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200502 s]
/proc/loadavg: 2.07 2.08 2.05 3/179 16339
/proc/meminfo: memFree=30337096/32872528 swapFree=532956/565660
[pid=16339] ppid=16336 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/16339/stat : 16339 (toysat) R 16336 16339 11130 0 -1 4202496 53777 0 0 0 13 6 0 0 20 0 4 0 11009790 1247350784 54635 33554432000 4194304 16246674 140733955924240 140733955923664 5724508 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16339/statm: 304529 54650 812 2943 0 301423 0
[pid=16339/tid=16340] ppid=16336 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16340/stat : 16340 (toysat) S 16336 16339 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11009790 1247350784 54660 33554432000 4194304 16246674 140733955924240 140156994563312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16339/tid=16341] ppid=16336 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (toysat) S 16336 16339 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11009790 1247350784 54668 33554432000 4194304 16246674 140733955924240 140156984073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16339/tid=16342] ppid=16336 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (toysat) S 16336 16339 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11009790 1247350784 54677 33554432000 4194304 16246674 140733955924240 140156862459056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300474 s]
/proc/loadavg: 2.07 2.08 2.05 3/179 16339
/proc/meminfo: memFree=30337096/32872528 swapFree=532956/565660
[pid=16339] ppid=16336 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/16339/stat : 16339 (toysat) R 16336 16339 11130 0 -1 4202496 82220 0 0 0 18 11 0 0 20 0 4 0 11009790 1247350784 83078 33554432000 4194304 16246674 140733955924240 140733955923664 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16339/statm: 304529 83092 812 2943 0 301423 0
[pid=16339/tid=16340] ppid=16336 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16340/stat : 16340 (toysat) S 16336 16339 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11009790 1247350784 83101 33554432000 4194304 16246674 140733955924240 140156994563312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16339/tid=16341] ppid=16336 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (toysat) S 16336 16339 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11009790 1247350784 83113 33554432000 4194304 16246674 140733955924240 140156984073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16339/tid=16342] ppid=16336 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (toysat) S 16336 16339 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11009790 1247350784 83123 33554432000 4194304 16246674 140733955924240 140156862459056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700391 s]
/proc/loadavg: 2.07 2.08 2.05 3/179 16339
/proc/meminfo: memFree=30337096/32872528 swapFree=532956/565660
[pid=16339] ppid=16336 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/16339/stat : 16339 (toysat) R 16336 16339 11130 0 -1 4202496 190671 0 0 0 43 26 0 0 20 0 4 0 11009790 1247350784 191529 33554432000 4194304 16246674 140733955924240 140733955923664 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16339/statm: 304529 191542 812 2943 0 301423 0
[pid=16339/tid=16340] ppid=16336 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16340/stat : 16340 (toysat) S 16336 16339 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11009790 1247350784 191551 33554432000 4194304 16246674 140733955924240 140156994563312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16339/tid=16341] ppid=16336 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (toysat) S 16336 16339 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11009790 1247350784 191557 33554432000 4194304 16246674 140733955924240 140156984073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16339/tid=16342] ppid=16336 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (toysat) S 16336 16339 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11009790 1247350784 191560 33554432000 4194304 16246674 140733955924240 140156862459056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.07 2.08 2.05 3/183 16343
/proc/meminfo: memFree=29351292/32872528 swapFree=532956/565660
[pid=16339] ppid=16336 vsize=1303108 CPUtime=1.49 cores=0,2,4,6
/proc/16339/stat : 16339 (toysat) R 16336 16339 11130 0 -1 4202496 260166 0 0 0 114 35 0 0 20 0 4 0 11009790 1334382592 261001 33554432000 4194304 16246674 140733955924240 140733955923552 12478333 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16339/statm: 325777 261018 874 2943 0 322671 0
[pid=16339/tid=16340] ppid=16336 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16340/stat : 16340 (toysat) S 16336 16339 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11009790 1334382592 261028 33554432000 4194304 16246674 140733955924240 140156994563312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16339/tid=16341] ppid=16336 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (toysat) S 16336 16339 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11009790 1334382592 261039 33554432000 4194304 16246674 140733955924240 140156984073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16339/tid=16342] ppid=16336 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (toysat) S 16336 16339 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11009790 1334382592 261048 33554432000 4194304 16246674 140733955924240 140156862459056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1303108

[startup+3.10041 s]
/proc/loadavg: 2.07 2.08 2.05 3/183 16343
/proc/meminfo: memFree=29264988/32872528 swapFree=532956/565660
[pid=16339] ppid=16336 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/16339/stat : 16339 (toysat) R 16336 16339 11130 0 -1 4202496 267547 0 0 0 272 36 0 0 20 0 4 0 11009790 1337528320 268382 33554432000 4194304 16246674 140733955924240 140733955906112 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16339/statm: 326545 268382 874 2943 0 323439 0
[pid=16339/tid=16340] ppid=16336 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16340/stat : 16340 (toysat) S 16336 16339 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11009790 1337528320 268382 33554432000 4194304 16246674 140733955924240 140156994563312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16339/tid=16341] ppid=16336 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (toysat) S 16336 16339 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11009790 1337528320 268382 33554432000 4194304 16246674 140733955924240 140156984073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16339/tid=16342] ppid=16336 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (toysat) S 16336 16339 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11009790 1337528320 268382 33554432000 4194304 16246674 140733955924240 140156862459056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.07 2.08 2.05 3/183 16343
/proc/meminfo: memFree=29259656/32872528 swapFree=532956/565660
[pid=16339] ppid=16336 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/16339/stat : 16339 (toysat) R 16336 16339 11130 0 -1 4202496 267909 0 0 0 592 37 0 0 20 0 4 0 11009790 1338576896 268744 33554432000 4194304 16246674 140733955924240 140733955906112 5827984 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16339/statm: 326801 268744 874 2943 0 323695 0
[pid=16339/tid=16340] ppid=16336 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16340/stat : 16340 (toysat) S 16336 16339 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11009790 1338576896 268744 33554432000 4194304 16246674 140733955924240 140156994563312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16339/tid=16341] ppid=16336 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (toysat) S 16336 16339 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11009790 1338576896 268744 33554432000 4194304 16246674 140733955924240 140156984073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16339/tid=16342] ppid=16336 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (toysat) S 16336 16339 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11009790 1338576896 268744 33554432000 4194304 16246674 140733955924240 140156862459056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.06 2.08 2.05 4/183 16392
/proc/meminfo: memFree=29297568/32872528 swapFree=532956/565660
[pid=16339] ppid=16336 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/16339/stat : 16339 (toysat) R 16336 16339 11130 0 -1 4202496 267921 0 0 0 1232 37 0 0 20 0 4 0 11009790 1338576896 268756 33554432000 4194304 16246674 140733955924240 140733955906112 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16339/statm: 326801 268756 874 2943 0 323695 0
[pid=16339/tid=16340] ppid=16336 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16340/stat : 16340 (toysat) S 16336 16339 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11009790 1338576896 268756 33554432000 4194304 16246674 140733955924240 140156994563312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16339/tid=16341] ppid=16336 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (toysat) S 16336 16339 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11009790 1338576896 268756 33554432000 4194304 16246674 140733955924240 140156984073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16339/tid=16342] ppid=16336 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (toysat) S 16336 16339 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11009790 1338576896 268756 33554432000 4194304 16246674 140733955924240 140156862459056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5073 s]
/proc/loadavg: 2.05 2.07 2.04 3/183 16392
/proc/meminfo: memFree=29296292/32872528 swapFree=532956/565660
[pid=16339] ppid=16336 vsize=1307204 CPUtime=25.5 cores=0,2,4,6
/proc/16339/stat : 16339 (toysat) R 16336 16339 11130 0 -1 4202496 267923 0 0 0 2513 37 0 0 20 0 4 0 11009790 1338576896 268758 33554432000 4194304 16246674 140733955924240 140733955906112 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16339/statm: 326801 268758 876 2943 0 323695 0
[pid=16339/tid=16340] ppid=16336 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16340/stat : 16340 (toysat) S 16336 16339 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11009790 1338576896 268758 33554432000 4194304 16246674 140733955924240 140156994563312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16339/tid=16341] ppid=16336 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (toysat) S 16336 16339 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11009790 1338576896 268758 33554432000 4194304 16246674 140733955924240 140156984073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16339/tid=16342] ppid=16336 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (toysat) S 16336 16339 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11009790 1338576896 268758 33554432000 4194304 16246674 140733955924240 140156862459056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1307204

[startup+51.1004 s]
/proc/loadavg: 2.10 2.08 2.05 3/183 16392
/proc/meminfo: memFree=29296212/32872528 swapFree=532956/565660
[pid=16339] ppid=16336 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/16339/stat : 16339 (toysat) R 16336 16339 11130 0 -1 4202496 267931 0 0 0 5071 37 0 0 20 0 4 0 11009790 1338576896 268758 33554432000 4194304 16246674 140733955924240 140733955906112 13928584 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16339/statm: 326801 268758 876 2943 0 323695 0
[pid=16339/tid=16340] ppid=16336 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16340/stat : 16340 (toysat) S 16336 16339 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11009790 1338576896 268758 33554432000 4194304 16246674 140733955924240 140156994563312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16339/tid=16341] ppid=16336 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (toysat) S 16336 16339 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11009790 1338576896 268758 33554432000 4194304 16246674 140733955924240 140156984073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16339/tid=16342] ppid=16336 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (toysat) S 16336 16339 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11009790 1338576896 268758 33554432000 4194304 16246674 140733955924240 140156862459056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.04 2.07 2.04 3/182 16393
/proc/meminfo: memFree=29293868/32872528 swapFree=532956/565660
[pid=16339] ppid=16336 vsize=1308228 CPUtime=102.26 cores=0,2,4,6
/proc/16339/stat : 16339 (toysat) R 16336 16339 11130 0 -1 4202496 268024 0 0 0 10189 37 0 0 20 0 4 0 11009790 1339625472 268831 33554432000 4194304 16246674 140733955924240 140733955906112 13192076 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16339/statm: 327057 268831 876 2943 0 323951 0
[pid=16339/tid=16340] ppid=16336 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16340/stat : 16340 (toysat) S 16336 16339 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11009790 1339625472 268831 33554432000 4194304 16246674 140733955924240 140156994563312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16339/tid=16341] ppid=16336 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (toysat) S 16336 16339 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11009790 1339625472 268831 33554432000 4194304 16246674 140733955924240 140156984073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16339/tid=16342] ppid=16336 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (toysat) S 16336 16339 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11009790 1339625472 268831 33554432000 4194304 16246674 140733955924240 140156862459056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1308228


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

/proc/16339/task/16342/stat : 16342 (toysat) S 16336 16339 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140156862459056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1314372

[startup+1302.3 s]
/proc/loadavg: 2.06 2.06 2.03 3/183 16423
/proc/meminfo: memFree=29269984/32872528 swapFree=532956/565660
[pid=16339] ppid=16336 vsize=1314372 CPUtime=1301.89 cores=0,2,4,6
/proc/16339/stat : 16339 (toysat) R 16336 16339 11130 0 -1 4202496 270137 0 0 0 130143 46 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140733955906112 5754966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16339/statm: 328593 270552 878 2943 0 325487 0
[pid=16339/tid=16340] ppid=16336 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16340/stat : 16340 (toysat) S 16336 16339 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140156994563312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16339/tid=16341] ppid=16336 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (toysat) S 16336 16339 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140156984073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16339/tid=16342] ppid=16336 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (toysat) S 16336 16339 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140156862459056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.07 2.06 2.03 3/184 16428
/proc/meminfo: memFree=29268784/32872528 swapFree=532956/565660
[pid=16339] ppid=16336 vsize=1314372 CPUtime=1361.88 cores=0,2,4,6
/proc/16339/stat : 16339 (toysat) R 16336 16339 11130 0 -1 4202496 270137 0 0 0 136142 46 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140733955906112 5523456 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16339/statm: 328593 270552 878 2943 0 325487 0
[pid=16339/tid=16340] ppid=16336 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16340/stat : 16340 (toysat) S 16336 16339 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140156994563312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16339/tid=16341] ppid=16336 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (toysat) S 16336 16339 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140156984073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16339/tid=16342] ppid=16336 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (toysat) S 16336 16339 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140156862459056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.09 2.06 2.03 3/183 16429
/proc/meminfo: memFree=29270312/32872528 swapFree=532956/565660
[pid=16339] ppid=16336 vsize=1314372 CPUtime=1421.87 cores=0,2,4,6
/proc/16339/stat : 16339 (toysat) R 16336 16339 11130 0 -1 4202496 270137 0 0 0 142141 46 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140733955906112 5672222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16339/statm: 328593 270552 878 2943 0 325487 0
[pid=16339/tid=16340] ppid=16336 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16340/stat : 16340 (toysat) S 16336 16339 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140156994563312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16339/tid=16341] ppid=16336 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (toysat) S 16336 16339 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140156984073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16339/tid=16342] ppid=16336 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (toysat) S 16336 16339 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140156862459056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.07 2.06 2.03 3/183 16430
/proc/meminfo: memFree=29270196/32872528 swapFree=532956/565660
[pid=16339] ppid=16336 vsize=1314372 CPUtime=1481.85 cores=0,2,4,6
/proc/16339/stat : 16339 (toysat) R 16336 16339 11130 0 -1 4202496 270137 0 0 0 148139 46 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140733955906112 5546093 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16339/statm: 328593 270552 878 2943 0 325487 0
[pid=16339/tid=16340] ppid=16336 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16340/stat : 16340 (toysat) S 16336 16339 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140156994563312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16339/tid=16341] ppid=16336 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (toysat) S 16336 16339 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140156984073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16339/tid=16342] ppid=16336 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (toysat) S 16336 16339 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140156862459056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1314372

[startup+1542.3 s]
/proc/loadavg: 2.06 2.06 2.03 3/183 16431
/proc/meminfo: memFree=29270324/32872528 swapFree=532956/565660
[pid=16339] ppid=16336 vsize=1314372 CPUtime=1541.86 cores=0,2,4,6
/proc/16339/stat : 16339 (toysat) R 16336 16339 11130 0 -1 4202496 270137 0 0 0 154139 47 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140733955906112 12861180 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16339/statm: 328593 270552 878 2943 0 325487 0
[pid=16339/tid=16340] ppid=16336 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16340/stat : 16340 (toysat) S 16336 16339 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140156994563312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16339/tid=16341] ppid=16336 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (toysat) S 16336 16339 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140156984073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16339/tid=16342] ppid=16336 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (toysat) S 16336 16339 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140156862459056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.12 2.08 2.04 3/183 16432
/proc/meminfo: memFree=29270572/32872528 swapFree=532956/565660
[pid=16339] ppid=16336 vsize=1314372 CPUtime=1601.84 cores=0,2,4,6
/proc/16339/stat : 16339 (toysat) R 16336 16339 11130 0 -1 4202496 270137 0 0 0 160137 47 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140733955906112 5673075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16339/statm: 328593 270552 878 2943 0 325487 0
[pid=16339/tid=16340] ppid=16336 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16340/stat : 16340 (toysat) S 16336 16339 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140156994563312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16339/tid=16341] ppid=16336 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (toysat) S 16336 16339 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140156984073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16339/tid=16342] ppid=16336 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (toysat) S 16336 16339 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140156862459056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1314372

[startup+1662.31 s]
/proc/loadavg: 2.10 2.08 2.04 3/183 16434
/proc/meminfo: memFree=29270448/32872528 swapFree=532956/565660
[pid=16339] ppid=16336 vsize=1314372 CPUtime=1661.83 cores=0,2,4,6
/proc/16339/stat : 16339 (toysat) R 16336 16339 11130 0 -1 4202496 270137 0 0 0 166136 47 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140733955906112 5822930 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16339/statm: 328593 270552 878 2943 0 325487 0
[pid=16339/tid=16340] ppid=16336 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16340/stat : 16340 (toysat) S 16336 16339 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140156994563312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16339/tid=16341] ppid=16336 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (toysat) S 16336 16339 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140156984073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16339/tid=16342] ppid=16336 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (toysat) S 16336 16339 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140156862459056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.07 2.07 2.04 3/183 16435
/proc/meminfo: memFree=29269580/32872528 swapFree=532956/565660
[pid=16339] ppid=16336 vsize=1314372 CPUtime=1721.83 cores=0,2,4,6
/proc/16339/stat : 16339 (toysat) R 16336 16339 11130 0 -1 4202496 270137 0 0 0 172135 48 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140733955906112 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16339/statm: 328593 270552 878 2943 0 325487 0
[pid=16339/tid=16340] ppid=16336 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16340/stat : 16340 (toysat) S 16336 16339 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140156994563312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16339/tid=16341] ppid=16336 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (toysat) S 16336 16339 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140156984073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16339/tid=16342] ppid=16336 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (toysat) S 16336 16339 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11009790 1345916928 270552 33554432000 4194304 16246674 140733955924240 140156862459056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1314372

[startup+1782.3 s]
/proc/loadavg: 2.12 2.09 2.04 3/183 16436
/proc/meminfo: memFree=29265920/32872528 swapFree=532956/565660
[pid=16339] ppid=16336 vsize=1317444 CPUtime=1781.81 cores=0,2,4,6
/proc/16339/stat : 16339 (toysat) R 16336 16339 11130 0 -1 4202496 270906 0 0 0 178133 48 0 0 20 0 4 0 11009790 1349062656 271323 33554432000 4194304 16246674 140733955924240 140733955906112 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16339/statm: 329361 271323 878 2943 0 326255 0
[pid=16339/tid=16340] ppid=16336 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16340/stat : 16340 (toysat) S 16336 16339 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11009790 1349062656 271323 33554432000 4194304 16246674 140733955924240 140156994563312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16339/tid=16341] ppid=16336 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (toysat) S 16336 16339 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11009790 1349062656 271323 33554432000 4194304 16246674 140733955924240 140156984073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16339/tid=16342] ppid=16336 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (toysat) S 16336 16339 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11009790 1349062656 271323 33554432000 4194304 16246674 140733955924240 140156862459056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.09 2.08 2.04 3/183 16436
/proc/meminfo: memFree=29266044/32872528 swapFree=532956/565660
[pid=16339] ppid=16336 vsize=1317444 CPUtime=1800.01 cores=0,2,4,6
/proc/16339/stat : 16339 (toysat) R 16336 16339 11130 0 -1 4202496 270906 0 0 0 179953 48 0 0 20 0 4 0 11009790 1349062656 271323 33554432000 4194304 16246674 140733955924240 140733955906112 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16339/statm: 329361 271323 878 2943 0 326255 0
[pid=16339/tid=16340] ppid=16336 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16340/stat : 16340 (toysat) S 16336 16339 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11009790 1349062656 271323 33554432000 4194304 16246674 140733955924240 140156994563312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16339/tid=16341] ppid=16336 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (toysat) S 16336 16339 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11009790 1349062656 271323 33554432000 4194304 16246674 140733955924240 140156984073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16339/tid=16342] ppid=16336 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (toysat) S 16336 16339 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11009790 1349062656 271323 33554432000 4194304 16246674 140733955924240 140156862459056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1317444

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 16339 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.51
CPU time (s): 1800.02
CPU user time (s): 1799.54
CPU system time (s): 0.485926
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.485926
maximum resident set size= 1085292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270906
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= 433
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.49632 second user time and 7.02493 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-16 17:07:22
IDJOB=4093627
IDBENCH=79147
IDSOLVER=2553
FILE ID=node138/4093627-1466089642
RUNJOBID= node138-1466074865-13651
PBS_JOBID= 19904002
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr--soft-0-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-4093627-1466089642/watcher-4093627-1466089642 -o /tmp/evaluation-result-4093627-1466089642/solver-4093627-1466089642 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466074865-13651 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093627-1466089642.wbo

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

MD5SUM BENCH= fcf2074312786880370cecd0374d7bf5
RANDOM SEED=1326375549

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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.54
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.395
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:        30338392 kB
Buffers:           41356 kB
Cached:           118496 kB
SwapCached:         1380 kB
Active:          1186104 kB
Inactive:          81260 kB
Active(anon):    1108244 kB
Inactive(anon):     1664 kB
Active(file):      77860 kB
Inactive(file):    79596 kB
Unevictable:      565660 kB
Mlocked:          532956 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             16652 kB
Writeback:             0 kB
AnonPages:       1672512 kB
Mapped:            10352 kB
Shmem:                 0 kB
Slab:             568472 kB
SReclaimable:      11792 kB
SUnreclaim:       556680 kB
KernelStack:        1496 kB
PageTables:         7052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1814988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 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= 71716 MiB
End job on node138 at 2016-06-16 17:37:22