Trace number 4093308

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.05 1800.61

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-66-100-0.wbo
MD5SUMcf0241dbee717fce31205c3d6c127ed0
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark54
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables600
Total number of constraints70
Number of soft constraints26
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 1337
Min constraint cost 1
Max constraint cost 86
Sum of constraints costs 1336
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-16T14:19:34+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-4093308-1466079574.wbo"]
0.00/0.01	c use --random-gen="2038132919 358388557 3815688217 1848422946 2494624408 4125770049 3186222498 3835726593 1142667564 531859110 3900082409 2890437019 3199451221 3237350502 187057300 417538387 518689762 1558034609 3884075382 55644516 572898594 2625243224 1631316292 3461295041 1620692586 1526935474 3591637763 4136452968 3997593668 1088997971 1028484761 170698734 2056256268 1770787867 350969523 1888106651 2223276898 1337754964 3072276597 3628708788 3208712397 2205882953 2950591957 1247417741 3619327605 899806729 1330651603 10982129 950392544 1234651148 1012283099 1624198337 1964175467 1098357102 2477683489 1281524321 2374181069 2522207819 422050042 387890246 232706810 4270257254 462530075 2847344200 2499166234 3151452633 2557707385 4230018935 3568186663 4128543844 203456709 1990085571 1865051687 1595295515 3022245990 2696619426 2295802639 2673939871 3029373020 3567685846 1589681894 2112051830 4117566678 3990136464 2764154429 3090279277 795967070 353576700 1990692016 1293991213 721795895 2716219994 212721322 310175089 3943674503 555438834 3384819607 3760637175 729744983 315779292 875900339 3617362909 2413945784 1581568031 57714952 826050306 412165322 2704805263 2150974579 3734138030 213479701 2209587571 305701901 3989648420 3648720753 4138405558 996812472 4165658352 3788528521 2426769811 2226444042 3006434368 1134103972 4247313669 1700595017 973863432 444612718 3241560768 2403249589 1782060949 267856815 126822902 2139947893 2546538828 2308760990 1733829401 2325918873 328755100 132739900 665562221 2343750943 3573047686 2799208481 2614330655 559359042 3297130345 2421445016 3080318628 1279819948 3418685843 1444505508 1240462683 643377390 1800258836 630172151 1782489728 3083008883 3185359995 355006299 3216570782 2999850653 1160401166 86693106 3578201524 596369465 2561247952 1860189326 2120721167 1851324521 1588884470 1395924536 3482270027 3401091929 3761479298 3514809113 3817352483 380091291 2996918232 3330633010 59825474 2813692648 28272475 1144708349 2053534886 3610560361 2903330202 3989300388 43143917 2599805738 3004295404 1903211040 3855941624 820967321 2592264288 650565917 1851807035 2050238604 2250212908 2329154930 31051232 848240076 1806887757 400188061 2455844256 2994925922 3583962275 2494446112 1965585573 2505228598 1702885709 3458225746 2092631370 1515064278 3428402772 979183300 742193526 3533913505 3062370747 2447166816 3920768280 1646619635 2404590902 643336437 2350028847 2342646740 1919414341 589555004 2516014146 4207551534 4156372208 4130595292 3429829384 3485950436 1204071975 2473795201 2932779628 1050938013 3707273246 3255660937 3057583897 478155066 2092522646 183013188 109054457 473848513 1937459458 2748378572 1933373920 919458568 1269619805 75627549 4052040416 2046426392 1255809388 3830710064 3887283845 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 |      232      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      154 |      100 |      232      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      497 |      103 |      256      0 |        0 |        0
0.00/0.05	c #cpu_time = 0.018s
0.00/0.05	c #wall_clock_time = 0.018s
0.00/0.05	c #decision = 497
0.00/0.05	c #random_decision = 2
0.00/0.05	c #conflict = 103
0.00/0.05	c #restart = 1
0.00/0.05	o 694
0.00/0.05	c BCD2: updating upper bound: 1336 -> 693
0.00/0.05	c BCD2: 0 <= obj <= 693
0.00/0.05	c BCD2: #cores=0, #unrelaxed=26, #relaxed=0, #hardened=0
0.00/0.05	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |      256      0 |        0 |        0
0.00/0.08	c  0.0s |       1 |      227 |      100 |      256      0 |        0 |        0
0.09/0.12	c  0.1s |       2 |      659 |      250 |      282      0 |        0 |        0
0.09/0.18	c  0.1s |       3 |     1185 |      475 |      311      1 |        0 |        0
0.29/0.34	c  0.3s |       4 |     1714 |      813 |      343      2 |        0 |        0
0.39/0.47	c  0.4s |       5 |     2453 |     1320 |      378      4 |        0 |        0
0.69/0.71	c  0.7s |       6 |     3460 |     2081 |      416      7 |        0 |        0
0.99/1.05	c  1.0s |       7 |     4906 |     3223 |      458     10 |        0 |        0
1.49/1.54	c  1.5s |       8 |     7088 |     4936 |      504     15 |        0 |        0
2.30/2.31	c  2.3s |       9 |    10586 |     7506 |      555     22 |        0 |        0
3.40/3.45	c  3.4s |      10 |    17465 |    11361 |      611     33 |        0 |        0
5.19/5.25	c  5.2s |      11 |    26674 |    17144 |      673     48 |        0 |        0
7.19/7.25	c  7.2s |      11 |    35997 |    23744 |      673     65 |        0 |        0
7.89/7.90	c  7.9s |      12 |    38455 |    25819 |      741     70 |        0 |        0
9.89/9.91	c  9.9s |      12 |    46124 |    31819 |      741     83 |        0 |        0
11.89/11.94	c 11.9s |      12 |    53902 |    38219 |      741     98 |        0 |        0
12.09/12.13	c 12.1s |      13 |    54640 |    38832 |      816     99 |        0 |        0
14.09/14.14	c 14.1s |      13 |    62696 |    44532 |      816    111 |        0 |        0
16.09/16.17	c 16.1s |      13 |    69833 |    50632 |      816    125 |        0 |        0
18.09/18.19	c 18.1s |      13 |    76712 |    56532 |      816    137 |        0 |        0
18.69/18.80	c 18.7s |      14 |    78790 |    58352 |      898    141 |        0 |        0
20.78/20.81	c 20.8s |      14 |    85717 |    64152 |      898    152 |        0 |        0
22.78/22.84	c 22.8s |      14 |    92421 |    69852 |      898    164 |        0 |        0
24.78/24.87	c 24.8s |      14 |    99346 |    75852 |      898    176 |        0 |        0
26.88/26.90	c 26.8s |      14 |   105858 |    81652 |      898    187 |        0 |        0
28.88/28.91	c 28.9s |      14 |   111842 |    86952 |      988    198 |        0 |        0
29.08/29.17	c 29.1s |      15 |   112616 |    87632 |      988    199 |        0 |        0
31.08/31.18	c 31.1s |      15 |   118908 |    93032 |      988    209 |        0 |        0
33.09/33.19	c 33.1s |      15 |   125370 |    98632 |      988    219 |        0 |        0
35.08/35.19	c 35.1s |      15 |   131415 |   103532 |      988    228 |        0 |        0
37.18/37.21	c 37.2s |      15 |   137439 |   108732 |      988    237 |        0 |        0
39.18/39.24	c 39.2s |      15 |   142812 |   113532 |      988    246 |        0 |        0
41.18/41.28	c 41.2s |      15 |   147962 |   118032 |      988    255 |        0 |        0
43.18/43.29	c 43.2s |      15 |   155376 |   123532 |      988    264 |        0 |        0
45.19/45.29	c 45.2s |      15 |   162102 |   128832 |      988    273 |        0 |        0
46.38/46.40	c 46.3s |      16 |   165428 |   131552 |     1087    277 |        0 |        0
48.38/48.43	c 48.4s |      16 |   173143 |   136452 |     1087    285 |        0 |        0
50.38/50.47	c 50.4s |      16 |   181639 |   141552 |     1087    293 |        0 |        0
52.48/52.51	c 52.5s |      16 |   189222 |   146552 |     1087    300 |        0 |        0
54.48/54.54	c 54.5s |      16 |   195667 |   151652 |     1087    308 |        0 |        0
56.48/56.58	c 56.5s |      16 |   202498 |   156852 |     1087    316 |        0 |        0
58.48/58.58	c 58.5s |      16 |   208530 |   161652 |     1087    324 |        0 |        0
60.48/60.59	c 60.5s |      16 |   214587 |   166152 |     1087    331 |        0 |        0
62.48/62.59	c 62.5s |      16 |   220010 |   170452 |     1087    337 |        0 |        0
64.48/64.59	c 64.5s |      16 |   225646 |   174752 |     1087    344 |        0 |        0
66.57/66.61	c 66.6s |      16 |   231903 |   179452 |     1087    351 |        0 |        0
68.57/68.62	c 68.6s |      16 |   237354 |   183652 |     1087    358 |        0 |        0
70.57/70.65	c 70.6s |      16 |   243580 |   188552 |     1087    366 |        0 |        0
72.58/72.67	c 72.6s |      16 |   249299 |   192852 |     1087    372 |        0 |        0
74.67/74.70	c 74.6s |      16 |   254207 |   196852 |     1196    378 |        0 |        0
74.97/75.01	c 75.0s |      17 |   254866 |   197432 |     1196    379 |        0 |        0
76.98/77.02	c 77.0s |      17 |   264307 |   202032 |     1196    386 |        0 |        0
78.97/79.04	c 79.0s |      17 |   272688 |   206232 |     1196    392 |        0 |        0
81.07/81.11	c 81.1s |      17 |   279853 |   210232 |     1196    398 |        0 |        0
83.07/83.12	c 83.1s |      17 |   285952 |   214132 |     1196    403 |        0 |        0
85.07/85.14	c 85.1s |      17 |   291677 |   218432 |     1196    409 |        0 |        0
87.07/87.17	c 87.1s |      17 |   297912 |   222632 |     1196    415 |        0 |        0
89.08/89.19	c 89.1s |      17 |   303251 |   226832 |     1196    421 |        0 |        0
91.17/91.21	c 91.2s |      17 |   308400 |   230832 |     1196    427 |        0 |        0
93.17/93.23	c 93.2s |      17 |   313999 |   235032 |     1196    433 |        0 |        0
95.17/95.27	c 95.2s |      17 |   319997 |   239232 |     1196    439 |        0 |        0
97.17/97.29	c 97.2s |      17 |   326516 |   243532 |     1196    446 |        0 |        0
99.27/99.31	c 99.3s |      17 |   332201 |   247832 |     1196    452 |        0 |        0
101.28/101.34	c  101s |      17 |   337372 |   252132 |     1196    458 |        0 |        0
103.27/103.36	c  103s |      17 |   342357 |   256232 |     1196    464 |        0 |        0
105.37/105.40	c  105s |      17 |   346667 |   260032 |     1196    469 |        0 |        0
107.38/107.41	c  107s |      17 |   350949 |   263832 |     1196    475 |        0 |        0
109.38/109.42	c  109s |      17 |   358165 |   268332 |     1196    481 |        0 |        0
111.38/111.46	c  111s |      17 |   364643 |   273132 |     1196    488 |        0 |        0
113.38/113.49	c  113s |      17 |   371279 |   277332 |     1196    494 |        0 |        0
115.37/115.49	c  115s |      17 |   376669 |   281932 |     1196    501 |        0 |        0
117.47/117.52	c  117s |      17 |   382413 |   286532 |     1196    508 |        0 |        0
119.47/119.53	c  119s |      17 |   388248 |   291332 |     1196    515 |        0 |        0
121.47/121.53	c  121s |      17 |   393671 |   295832 |     1316    521 |        0 |        0
121.67/121.71	c  121s |      18 |   394204 |   296252 |     1316    521 |        0 |        0
123.67/123.72	c  123s |      18 |   402903 |   301452 |     1316    529 |        0 |        0
125.67/125.74	c  125s |      18 |   409306 |   306352 |     1316    535 |        0 |        0
127.68/127.77	c  127s |      18 |   417046 |   311652 |     1316    542 |        0 |        0
129.67/129.78	c  129s |      18 |   424510 |   316852 |     1316    550 |        0 |        0
131.67/131.80	c  131s |      18 |   431018 |   322252 |     1316    557 |        0 |        0
133.77/133.82	c  133s |      18 |   437438 |   327552 |     1316    564 |        0 |        0
135.77/135.84	c  135s |      18 |   444096 |   332552 |     1316    571 |        0 |        0
137.77/137.87	c  137s |      18 |   451091 |   337852 |     1316    578 |        0 |        0
139.78/139.89	c  139s |      18 |   457680 |   343152 |     1316    586 |        0 |        0
141.77/141.90	c  141s |      18 |   464002 |   348652 |     1316    593 |        0 |        0
143.87/143.93	c  143s |      18 |   469800 |   353652 |     1316    600 |        0 |        0
145.87/145.93	c  145s |      18 |   475520 |   358552 |     1316    607 |        0 |        0
147.87/147.96	c  147s |      18 |   481492 |   363752 |     1316    614 |        0 |        0
149.87/149.99	c  149s |      18 |   488258 |   369152 |     1316    621 |        0 |        0
151.97/152.01	c  151s |      18 |   495970 |   374852 |     1316    629 |        0 |        0
153.97/154.03	c  153s |      18 |   502939 |   380352 |     1316    637 |        0 |        0
155.96/156.06	c  156s |      18 |   510876 |   386452 |     1316    645 |        0 |        0
157.96/158.06	c  158s |      18 |   518033 |   392252 |     1316    653 |        0 |        0
160.06/160.10	c  160s |      18 |   524023 |   397452 |     1316    661 |        0 |        0
162.06/162.12	c  162s |      18 |   530806 |   402952 |     1316    668 |        0 |        0
164.06/164.13	c  164s |      18 |   537492 |   408452 |     1316    676 |        0 |        0
166.07/166.13	c  166s |      18 |   543915 |   413752 |     1316    683 |        0 |        0
168.06/168.14	c  168s |      18 |   551367 |   419452 |     1316    691 |        0 |        0
170.06/170.16	c  170s |      18 |   558122 |   424852 |     1316    699 |        0 |        0
172.06/172.17	c  172s |      18 |   565480 |   431052 |     1316    707 |        0 |        0
174.06/174.20	c  174s |      18 |   572045 |   436252 |     1316    714 |        0 |        0
176.16/176.22	c  176s |      18 |   577516 |   440952 |     1316    720 |        0 |        0
177.66/177.75	c  177s |      19 |   582259 |   444482 |     1448    725 |        0 |        0
179.66/179.79	c  179s |      19 |   589003 |   448982 |     1448    730 |        0 |        0
181.76/181.83	c  181s |      19 |   594444 |   453782 |     1448    737 |        0 |        0
183.77/183.84	c  183s |      19 |   601578 |   458882 |     1448    743 |        0 |        0
185.76/185.88	c  185s |      19 |   607290 |   463882 |     1448    750 |        0 |        0
187.86/187.90	c  187s |      19 |   612798 |   468682 |     1448    756 |        0 |        0
189.86/189.90	c  189s |      19 |   618843 |   474082 |     1448    763 |        0 |        0
191.86/191.91	c  191s |      19 |   625801 |   479482 |     1448    770 |        0 |        0
193.86/193.93	c  193s |      19 |   631276 |   484382 |     1448    776 |        0 |        0
195.86/195.94	c  195s |      19 |   636621 |   489082 |     1448    782 |        0 |        0
197.86/198.00	c  197s |      19 |   642135 |   493482 |     1448    788 |        0 |        0
199.96/200.01	c  199s |      19 |   648475 |   498582 |     1448    794 |        0 |        0
201.96/202.02	c  201s |      19 |   654350 |   503682 |     1448    801 |        0 |        0
203.96/204.03	c  203s |      19 |   660093 |   508782 |     1448    807 |        0 |        0
205.95/206.05	c  205s |      19 |   666455 |   513782 |     1448    814 |        0 |        0
207.96/208.06	c  208s |      19 |   672090 |   518782 |     1448    820 |        0 |        0
209.95/210.08	c  210s |      19 |   677926 |   523582 |     1448    827 |        0 |        0
212.05/212.12	c  212s |      19 |   683333 |   528382 |     1448    833 |        0 |        0
214.05/214.15	c  214s |      19 |   688472 |   532982 |     1448    839 |        0 |        0
216.05/216.18	c  216s |      19 |   694165 |   537782 |     1448    845 |        0 |        0
218.15/218.20	c  218s |      19 |   700394 |   542982 |     1448    852 |        0 |        0
220.15/220.23	c  220s |      19 |   706036 |   547882 |     1448    858 |        0 |        0
222.16/222.25	c  222s |      19 |   711804 |   552782 |     1448    864 |        0 |        0
224.15/224.27	c  224s |      19 |   717216 |   557582 |     1448    871 |        0 |        0
226.15/226.27	c  226s |      19 |   722535 |   562282 |     1448    877 |        0 |        0
228.16/228.29	c  228s |      19 |   727993 |   567082 |     1448    883 |        0 |        0
230.26/230.31	c  230s |      19 |   733555 |   571682 |     1448    889 |        0 |        0
232.26/232.33	c  232s |      19 |   738513 |   575882 |     1448    894 |        0 |        0
234.26/234.36	c  234s |      19 |   743863 |   580582 |     1448    900 |        0 |        0
236.36/236.40	c  236s |      19 |   749138 |   585082 |     1448    906 |        0 |        0
238.36/238.42	c  238s |      19 |   754247 |   589482 |     1448    912 |        0 |        0
240.36/240.42	c  240s |      19 |   759433 |   593882 |     1448    917 |        0 |        0
242.36/242.47	c  242s |      19 |   765043 |   598682 |     1448    923 |        0 |        0
244.35/244.47	c  244s |      19 |   770473 |   603382 |     1448    929 |        0 |        0
246.46/246.51	c  246s |      19 |   775552 |   607782 |     1448    935 |        0 |        0
248.45/248.52	c  248s |      19 |   780765 |   612082 |     1448    941 |        0 |        0
250.45/250.53	c  250s |      19 |   786485 |   617082 |     1448    947 |        0 |        0
252.45/252.55	c  252s |      19 |   792064 |   621882 |     1448    953 |        0 |        0
254.45/254.57	c  254s |      19 |   798285 |   626982 |     1448    960 |        0 |        0
256.45/256.57	c  256s |      19 |   804580 |   632182 |     1448    966 |        0 |        0
258.46/258.60	c  258s |      19 |   810599 |   637282 |     1448    973 |        0 |        0
260.55/260.63	c  260s |      19 |   816409 |   642182 |     1448    979 |        0 |        0
262.55/262.66	c  262s |      19 |   822818 |   647582 |     1448    986 |        0 |        0
264.55/264.69	c  264s |      19 |   828711 |   652682 |     1448    993 |        0 |        0
266.65/266.70	c  266s |      19 |   834676 |   657982 |     1448    999 |        0 |        0
268.65/268.75	c  268s |      19 |   840152 |   662782 |     1593   1005 |        0 |        0
270.35/270.44	c  270s |      20 |   844770 |   666827 |     1593   1010 |        0 |        0
272.35/272.45	c  272s |      20 |   851609 |   671227 |     1593   1015 |        0 |        0
274.35/274.46	c  274s |      20 |   856584 |   675327 |     1593   1020 |        0 |        0
276.35/276.47	c  276s |      20 |   862166 |   679627 |     1593   1025 |        0 |        0
278.35/278.47	c  278s |      20 |   866986 |   683827 |     1593   1030 |        0 |        0
280.45/280.50	c  280s |      20 |   872287 |   688327 |     1593   1035 |        0 |        0
282.45/282.52	c  282s |      20 |   877799 |   693127 |     1593   1041 |        0 |        0
284.45/284.53	c  284s |      20 |   883590 |   698327 |     1593   1047 |        0 |        0
286.45/286.56	c  286s |      20 |   889800 |   703127 |     1593   1053 |        0 |        0
288.45/288.59	c  288s |      20 |   895324 |   707927 |     1593   1058 |        0 |        0
290.54/290.60	c  290s |      20 |   900917 |   712627 |     1593   1064 |        0 |        0
292.55/292.64	c  292s |      20 |   906026 |   717127 |     1593   1069 |        0 |        0
294.54/294.69	c  294s |      20 |   911234 |   721627 |     1593   1074 |        0 |        0
296.64/296.73	c  296s |      20 |   916238 |   726027 |     1593   1080 |        0 |        0
298.64/298.76	c  298s |      20 |   921813 |   730827 |     1593   1085 |        0 |        0
300.64/300.77	c  300s |      20 |   927067 |   735427 |     1593   1091 |        0 |        0
302.74/302.81	c  302s |      20 |   932086 |   739827 |     1593   1096 |        0 |        0
304.75/304.81	c  304s |      20 |   937227 |   744427 |     1593   1101 |        0 |        0
306.74/306.83	c  306s |      20 |   942285 |   748927 |     1593   1106 |        0 |        0
308.74/308.86	c  308s |      20 |   947807 |   753427 |     1593   1112 |        0 |        0
310.84/310.90	c  310s |      20 |   952886 |   757727 |     1593   1117 |        0 |        0
312.84/312.91	c  312s |      20 |   957981 |   762127 |     1593   1122 |        0 |        0
314.84/314.92	c  314s |      20 |   963221 |   766627 |     1593   1127 |        0 |        0
316.85/316.96	c  316s |      20 |   968736 |   771427 |     1593   1133 |        0 |        0
318.84/318.96	c  318s |      20 |   974098 |   776127 |     1593   1138 |        0 |        0
320.84/320.97	c  320s |      20 |   979278 |   780627 |     1593   1143 |        0 |        0
322.84/322.98	c  322s |      20 |   984375 |   785127 |     1593   1149 |        0 |        0
324.94/325.00	c  324s |      20 |   989781 |   789827 |     1593   1154 |        0 |        0
326.94/327.03	c  326s |      20 |   995062 |   794427 |     1593   1160 |        0 |        0
328.94/329.04	c  328s |      20 |  1000445 |   799127 |     1593   1165 |        0 |        0
330.94/331.05	c  330s |      20 |  1005535 |   803627 |     1593   1171 |        0 |        0
332.94/333.05	c  332s |      20 |  1011220 |   808427 |     1593   1176 |        0 |        0
334.94/335.05	c  334s |      20 |  1016952 |   813427 |     1593   1182 |        0 |        0
336.93/337.09	c  337s |      20 |  1022918 |   818327 |     1593   1187 |        0 |        0
339.03/339.11	c  339s |      20 |  1029928 |   823427 |     1593   1193 |        0 |        0
341.04/341.14	c  341s |      20 |  1035451 |   828127 |     1593   1198 |        0 |        0
343.03/343.16	c  343s |      20 |  1042077 |   833027 |     1593   1204 |        0 |        0
345.13/345.21	c  345s |      20 |  1049027 |   837927 |     1593   1210 |        0 |        0
347.13/347.22	c  347s |      20 |  1056048 |   842127 |     1593   1214 |        0 |        0
349.13/349.22	c  349s |      20 |  1062730 |   846627 |     1593   1220 |        0 |        0
351.13/351.24	c  351s |      20 |  1070465 |   851227 |     1593   1225 |        0 |        0
353.14/353.26	c  353s |      20 |  1078150 |   855627 |     1593   1230 |        0 |        0
355.13/355.27	c  355s |      20 |  1086864 |   859927 |     1593   1235 |        0 |        0
357.23/357.30	c  357s |      20 |  1094637 |   864527 |     1593   1240 |        0 |        0
359.23/359.32	c  359s |      20 |  1101128 |   868827 |     1593   1245 |        0 |        0
361.23/361.33	c  361s |      20 |  1107101 |   873027 |     1593   1250 |        0 |        0
363.24/363.34	c  363s |      20 |  1112548 |   877527 |     1593   1255 |        0 |        0
365.24/365.35	c  365s |      20 |  1118699 |   882327 |     1593   1260 |        0 |        0
367.24/367.37	c  367s |      20 |  1126221 |   887627 |     1593   1266 |        0 |        0
369.24/369.38	c  369s |      20 |  1131945 |   892127 |     1593   1272 |        0 |        0
371.34/371.40	c  371s |      20 |  1138893 |   897627 |     1593   1278 |        0 |        0
373.34/373.44	c  373s |      20 |  1144646 |   902627 |     1593   1283 |        0 |        0
375.34/375.46	c  375s |      20 |  1149956 |   907427 |     1593   1289 |        0 |        0
377.34/377.49	c  377s |      20 |  1155306 |   912127 |     1593   1294 |        0 |        0
379.34/379.50	c  379s |      20 |  1160417 |   916627 |     1593   1299 |        0 |        0
381.44/381.51	c  381s |      20 |  1165627 |   921227 |     1593   1304 |        0 |        0
383.43/383.52	c  383s |      20 |  1170104 |   925227 |     1593   1309 |        0 |        0
385.43/385.53	c  385s |      20 |  1174536 |   929227 |     1593   1313 |        0 |        0
387.43/387.55	c  387s |      20 |  1178709 |   933027 |     1593   1318 |        0 |        0
389.44/389.58	c  389s |      20 |  1184404 |   938027 |     1593   1323 |        0 |        0
391.43/391.59	c  391s |      20 |  1190438 |   943127 |     1593   1329 |        0 |        0
393.53/393.61	c  393s |      20 |  1196673 |   948327 |     1593   1335 |        0 |        0
395.53/395.62	c  395s |      20 |  1202238 |   953127 |     1593   1341 |        0 |        0
397.53/397.65	c  397s |      20 |  1207342 |   957627 |     1593   1346 |        0 |        0
399.53/399.68	c  399s |      20 |  1212263 |   962027 |     1593   1351 |        0 |        0
401.63/401.73	c  401s |      20 |  1217975 |   966927 |     1593   1356 |        0 |        0
403.63/403.76	c  403s |      20 |  1223212 |   971527 |     1593   1362 |        0 |        0
405.63/405.79	c  405s |      20 |  1228722 |   976227 |     1593   1367 |        0 |        0
407.73/407.82	c  407s |      20 |  1233777 |   980727 |     1593   1372 |        0 |        0
409.73/409.84	c  409s |      20 |  1238804 |   984927 |     1593   1377 |        0 |        0
411.73/411.85	c  411s |      20 |  1243757 |   988827 |     1593   1381 |        0 |        0
413.73/413.86	c  413s |      20 |  1248926 |   993327 |     1753   1386 |        0 |        0
415.73/415.88	c  415s |      20 |  1253212 |   997227 |     1753   1390 |        0 |        0
417.23/417.30	c  417s |      21 |  1256920 |  1000345 |     1753   1393 |        0 |        0
419.23/419.34	c  419s |      21 |  1264782 |  1004845 |     1753   1398 |        0 |        0
421.23/421.37	c  421s |      21 |  1275371 |  1008645 |     1753   1402 |        0 |        0
423.32/423.40	c  423s |      21 |  1283425 |  1011945 |     1753   1405 |        0 |        0
425.32/425.41	c  425s |      21 |  1290098 |  1016245 |     1753   1410 |        0 |        0
427.32/427.41	c  427s |      21 |  1296189 |  1020145 |     1753   1414 |        0 |        0
429.32/429.45	c  429s |      21 |  1302751 |  1024845 |     1753   1419 |        0 |        0
431.32/431.47	c  431s |      21 |  1307307 |  1028945 |     1753   1423 |        0 |        0
433.33/433.49	c  433s |      21 |  1311694 |  1032845 |     1753   1427 |        0 |        0
435.42/435.53	c  435s |      21 |  1316132 |  1036845 |     1753   1431 |        0 |        0
437.42/437.55	c  437s |      21 |  1320937 |  1041045 |     1753   1435 |        0 |        0
439.42/439.56	c  439s |      21 |  1325672 |  1045245 |     1753   1439 |        0 |        0
441.42/441.56	c  441s |      21 |  1330500 |  1049545 |     1753   1443 |        0 |        0
443.42/443.58	c  443s |      21 |  1336585 |  1054245 |     1753   1448 |        0 |        0
445.42/445.60	c  445s |      21 |  1342497 |  1059445 |     1753   1453 |        0 |        0
447.52/447.64	c  447s |      21 |  1347878 |  1064045 |     1753   1458 |        0 |        0
449.52/449.66	c  449s |      21 |  1353449 |  1068245 |     1753   1462 |        0 |        0
451.52/451.69	c  451s |      21 |  1359161 |  1073245 |     1753   1467 |        0 |        0
453.62/453.72	c  453s |      21 |  1365350 |  1078145 |     1753   1472 |        0 |        0
455.62/455.73	c  455s |      21 |  1370981 |  1083145 |     1753   1477 |        0 |        0
457.62/457.76	c  457s |      21 |  1377434 |  1088245 |     1753   1483 |        0 |        0
459.61/459.77	c  459s |      21 |  1383743 |  1093845 |     1753   1489 |        0 |        0
461.71/461.81	c  461s |      21 |  1389722 |  1098345 |     1753   1493 |        0 |        0
463.72/463.84	c  463s |      21 |  1394789 |  1102545 |     1753   1498 |        0 |        0
465.72/465.89	c  465s |      21 |  1399539 |  1106745 |     1753   1502 |        0 |        0
467.82/467.91	c  467s |      21 |  1404704 |  1110945 |     1753   1506 |        0 |        0
469.82/469.96	c  469s |      21 |  1410240 |  1115645 |     1753   1511 |        0 |        0
471.83/471.99	c  471s |      21 |  1414579 |  1119345 |     1753   1515 |        0 |        0
473.92/474.00	c  473s |      21 |  1419297 |  1123445 |     1753   1519 |        0 |        0
475.92/476.03	c  475s |      21 |  1423767 |  1127345 |     1753   1523 |        0 |        0
477.92/478.04	c  477s |      21 |  1428531 |  1130945 |     1753   1527 |        0 |        0
479.92/480.05	c  479s |      21 |  1433361 |  1134845 |     1753   1531 |        0 |        0
481.92/482.09	c  482s |      21 |  1438832 |  1139245 |     1753   1535 |        0 |        0
484.03/484.11	c  484s |      21 |  1443454 |  1143245 |     1753   1539 |        0 |        0
486.02/486.17	c  486s |      21 |  1448193 |  1147245 |     1753   1543 |        0 |        0
488.02/488.17	c  488s |      21 |  1453568 |  1151245 |     1753   1547 |        0 |        0
490.02/490.18	c  490s |      21 |  1460117 |  1155345 |     1753   1552 |        0 |        0
492.12/492.21	c  492s |      21 |  1465987 |  1160045 |     1753   1557 |        0 |        0
494.12/494.23	c  494s |      21 |  1470927 |  1164445 |     1753   1561 |        0 |        0
496.12/496.24	c  496s |      21 |  1475053 |  1168045 |     1753   1565 |        0 |        0
498.11/498.25	c  498s |      21 |  1478786 |  1171445 |     1753   1568 |        0 |        0
500.11/500.27	c  500s |      21 |  1482772 |  1174845 |     1753   1572 |        0 |        0
502.11/502.27	c  502s |      21 |  1488719 |  1179845 |     1753   1577 |        0 |        0
504.21/504.31	c  504s |      21 |  1493991 |  1184545 |     1753   1582 |        0 |        0
506.21/506.33	c  506s |      21 |  1498632 |  1188745 |     1753   1586 |        0 |        0
508.22/508.38	c  508s |      21 |  1504270 |  1192945 |     1753   1590 |        0 |        0
510.21/510.40	c  510s |      21 |  1510417 |  1197145 |     1753   1594 |        0 |        0
512.31/512.42	c  512s |      21 |  1515072 |  1201345 |     1753   1599 |        0 |        0
514.31/514.45	c  514s |      21 |  1519623 |  1205045 |     1753   1602 |        0 |        0
516.31/516.48	c  516s |      21 |  1523514 |  1208445 |     1753   1606 |        0 |        0
518.41/518.51	c  518s |      21 |  1528660 |  1212345 |     1753   1610 |        0 |        0
520.41/520.52	c  520s |      21 |  1533248 |  1216245 |     1753   1614 |        0 |        0
522.41/522.53	c  522s |      21 |  1537668 |  1220045 |     1753   1618 |        0 |        0
524.41/524.58	c  524s |      21 |  1543484 |  1224445 |     1753   1622 |        0 |        0
526.51/526.61	c  526s |      21 |  1548199 |  1228345 |     1753   1626 |        0 |        0
528.51/528.61	c  528s |      21 |  1553358 |  1232345 |     1753   1630 |        0 |        0
530.51/530.66	c  530s |      21 |  1559046 |  1236245 |     1753   1634 |        0 |        0
532.51/532.66	c  532s |      21 |  1564589 |  1239945 |     1753   1638 |        0 |        0
534.51/534.69	c  534s |      21 |  1570818 |  1243745 |     1753   1642 |        0 |        0
536.51/536.69	c  536s |      21 |  1576561 |  1248145 |     1753   1646 |        0 |        0
538.61/538.73	c  538s |      21 |  1582099 |  1252545 |     1753   1651 |        0 |        0
540.60/540.74	c  540s |      21 |  1588017 |  1256645 |     1753   1655 |        0 |        0
542.60/542.78	c  542s |      21 |  1593457 |  1260645 |     1753   1659 |        0 |        0
544.60/544.79	c  544s |      21 |  1599524 |  1265445 |     1753   1664 |        0 |        0
546.71/546.84	c  546s |      21 |  1606086 |  1270745 |     1753   1669 |        0 |        0
548.70/548.87	c  548s |      21 |  1611864 |  1275545 |     1753   1674 |        0 |        0
550.70/550.88	c  550s |      21 |  1617603 |  1280045 |     1753   1679 |        0 |        0
552.70/552.89	c  552s |      21 |  1622509 |  1284145 |     1753   1683 |        0 |        0
554.80/554.93	c  554s |      21 |  1627851 |  1288145 |     1753   1687 |        0 |        0
556.80/556.96	c  556s |      21 |  1634042 |  1292545 |     1753   1692 |        0 |        0
558.81/558.96	c  558s |      21 |  1640025 |  1297145 |     1753   1696 |        0 |        0
560.80/560.99	c  560s |      21 |  1645417 |  1301845 |     1753   1701 |        0 |        0
562.80/562.99	c  562s |      21 |  1651352 |  1306445 |     1753   1706 |        0 |        0
564.90/565.01	c  564s |      21 |  1657409 |  1311145 |     1753   1710 |        0 |        0
566.90/567.04	c  566s |      21 |  1663903 |  1315745 |     1753   1715 |        0 |        0
568.90/569.05	c  568s |      21 |  1672014 |  1321245 |     1753   1721 |        0 |        0
570.90/571.07	c  571s |      21 |  1678141 |  1325845 |     1753   1725 |        0 |        0
572.90/573.10	c  573s |      21 |  1683444 |  1330345 |     1753   1730 |        0 |        0
575.00/575.14	c  575s |      21 |  1688542 |  1334545 |     1753   1734 |        0 |        0
577.00/577.17	c  577s |      21 |  1692907 |  1338145 |     1753   1738 |        0 |        0
579.00/579.17	c  579s |      21 |  1698439 |  1342345 |     1753   1742 |        0 |        0
581.00/581.17	c  581s |      21 |  1703253 |  1346445 |     1753   1747 |        0 |        0
583.00/583.18	c  583s |      21 |  1708025 |  1350645 |     1753   1751 |        0 |        0
585.10/585.21	c  585s |      21 |  1713284 |  1355045 |     1753   1755 |        0 |        0
587.09/587.24	c  587s |      21 |  1718456 |  1359345 |     1753   1760 |        0 |        0
589.09/589.28	c  589s |      21 |  1722910 |  1363145 |     1753   1764 |        0 |        0
591.19/591.32	c  591s |      21 |  1726967 |  1366545 |     1753   1767 |        0 |        0
593.19/593.35	c  593s |      21 |  1731142 |  1369845 |     1753   1770 |        0 |        0
595.19/595.38	c  595s |      21 |  1734683 |  1372745 |     1753   1773 |        0 |        0
597.31/597.43	c  597s |      21 |  1738508 |  1376045 |     1753   1777 |        0 |        0
599.30/599.46	c  599s |      21 |  1742626 |  1379545 |     1753   1780 |        0 |        0
601.40/601.51	c  601s |      21 |  1747349 |  1383545 |     1753   1784 |        0 |        0
603.40/603.53	c  603s |      21 |  1752042 |  1387545 |     1753   1788 |        0 |        0
605.40/605.54	c  605s |      21 |  1756712 |  1391445 |     1753   1792 |        0 |        0
607.40/607.56	c  607s |      21 |  1760617 |  1394745 |     1753   1796 |        0 |        0
609.41/609.57	c  609s |      21 |  1764424 |  1398145 |     1753   1799 |        0 |        0
611.40/611.60	c  611s |      21 |  1768115 |  1401445 |     1753   1802 |        0 |        0
613.50/613.65	c  613s |      21 |  1772375 |  1405145 |     1753   1806 |        0 |        0
615.50/615.69	c  615s |      21 |  1776252 |  1408545 |     1753   1810 |        0 |        0
617.60/617.72	c  617s |      21 |  1780288 |  1412145 |     1753   1813 |        0 |        0
619.60/619.76	c  619s |      21 |  1784487 |  1415745 |     1753   1817 |        0 |        0
621.60/621.79	c  621s |      21 |  1788379 |  1419145 |     1753   1820 |        0 |        0
623.60/623.80	c  623s |      21 |  1792070 |  1422345 |     1753   1824 |        0 |        0
625.69/625.80	c  625s |      21 |  1795239 |  1425045 |     1753   1826 |        0 |        0
627.69/627.86	c  627s |      21 |  1800067 |  1429145 |     1753   1831 |        0 |        0
629.79/629.90	c  629s |      21 |  1804675 |  1433045 |     1753   1835 |        0 |        0
631.79/631.93	c  631s |      21 |  1808917 |  1436745 |     1753   1838 |        0 |        0
633.79/633.95	c  633s |      21 |  1813270 |  1440545 |     1753   1842 |        0 |        0
635.80/635.96	c  635s |      21 |  1817670 |  1444145 |     1753   1846 |        0 |        0
637.79/637.99	c  637s |      21 |  1821890 |  1447745 |     1753   1849 |        0 |        0
639.89/640.03	c  639s |      21 |  1826131 |  1451245 |     1753   1853 |        0 |        0
641.89/642.03	c  641s |      21 |  1830564 |  1454845 |     1753   1857 |        0 |        0
643.89/644.04	c  643s |      21 |  1834656 |  1458345 |     1753   1860 |        0 |        0
645.89/646.09	c  646s |      21 |  1838879 |  1461845 |     1753   1864 |        0 |        0
647.99/648.14	c  648s |      21 |  1842986 |  1465345 |     1753   1867 |        0 |        0
649.99/650.16	c  650s |      21 |  1847202 |  1468845 |     1753   1871 |        0 |        0
652.09/652.21	c  652s |      21 |  1851109 |  1471945 |     1753   1874 |        0 |        0
654.09/654.28	c  654s |      21 |  1854742 |  1474945 |     1753   1877 |        0 |        0
656.19/656.30	c  656s |      21 |  1857517 |  1477345 |     1753   1879 |        0 |        0
658.19/658.31	c  658s |      21 |  1861558 |  1480345 |     1753   1882 |        0 |        0
660.19/660.32	c  660s |      21 |  1866406 |  1484145 |     1753   1886 |        0 |        0
662.19/662.34	c  662s |      21 |  1871787 |  1487645 |     1753   1890 |        0 |        0
664.19/664.39	c  664s |      21 |  1876829 |  1490945 |     1929   1893 |        0 |        0
666.28/666.40	c  666s |      21 |  1882071 |  1494145 |     1929   1896 |        0 |        0
668.28/668.43	c  668s |      21 |  1888321 |  1498245 |     1929   1900 |        0 |        0
669.48/669.64	c  669s |      22 |  1892497 |  1500622 |     1929   1902 |        0 |        0
671.48/671.64	c  671s |      22 |  1897786 |  1504622 |     1929   1906 |        0 |        0
673.48/673.69	c  673s |      22 |  1903040 |  1508622 |     1929   1909 |        0 |        0
675.58/675.75	c  675s |      22 |  1906502 |  1511522 |     1929   1912 |        0 |        0
677.68/677.82	c  677s |      22 |  1910105 |  1514722 |     1929   1915 |        0 |        0
679.70/679.84	c  679s |      22 |  1914644 |  1518222 |     1929   1918 |        0 |        0
681.69/681.87	c  681s |      22 |  1919055 |  1522222 |     1929   1922 |        0 |        0
683.79/683.91	c  683s |      22 |  1923499 |  1526222 |     1929   1926 |        0 |        0
685.79/685.91	c  685s |      22 |  1927432 |  1529822 |     1929   1929 |        0 |        0
687.79/687.95	c  687s |      22 |  1931518 |  1533522 |     1929   1932 |        0 |        0
689.79/689.96	c  689s |      22 |  1935334 |  1537022 |     1929   1935 |        0 |        0
691.79/691.97	c  691s |      22 |  1939099 |  1540422 |     1929   1939 |        0 |        0
693.79/693.98	c  693s |      22 |  1942991 |  1543622 |     1929   1942 |        0 |        0
695.88/696.02	c  695s |      22 |  1948074 |  1547722 |     1929   1945 |        0 |        0
697.88/698.06	c  698s |      22 |  1952149 |  1551422 |     1929   1949 |        0 |        0
699.88/700.08	c  700s |      22 |  1956226 |  1555122 |     1929   1952 |        0 |        0
701.88/702.09	c  702s |      22 |  1960459 |  1558822 |     1929   1955 |        0 |        0
703.99/704.13	c  704s |      22 |  1964123 |  1562122 |     1929   1959 |        0 |        0
705.98/706.19	c  706s |      22 |  1968591 |  1565522 |     1929   1962 |        0 |        0
707.98/708.20	c  708s |      22 |  1975275 |  1569622 |     1929   1966 |        0 |        0
710.08/710.24	c  710s |      22 |  1980337 |  1573922 |     1929   1970 |        0 |        0
712.08/712.27	c  712s |      22 |  1985592 |  1578522 |     1929   1974 |        0 |        0
714.08/714.28	c  714s |      22 |  1990453 |  1582722 |     1929   1978 |        0 |        0
716.18/716.32	c  716s |      22 |  1995670 |  1587322 |     1929   1982 |        0 |        0
718.19/718.36	c  718s |      22 |  2000949 |  1592022 |     1929   1987 |        0 |        0
720.18/720.37	c  720s |      22 |  2005789 |  1596322 |     1929   1991 |        0 |        0
722.28/722.40	c  722s |      22 |  2010264 |  1600422 |     1929   1994 |        0 |        0
724.28/724.42	c  724s |      22 |  2015963 |  1604522 |     1929   1998 |        0 |        0
726.28/726.46	c  726s |      22 |  2021361 |  1608722 |     1929   2002 |        0 |        0
728.28/728.49	c  728s |      22 |  2025980 |  1612822 |     1929   2006 |        0 |        0
730.39/730.51	c  730s |      22 |  2031088 |  1617422 |     1929   2011 |        0 |        0
732.38/732.54	c  732s |      22 |  2035838 |  1621722 |     1929   2015 |        0 |        0
734.38/734.55	c  734s |      22 |  2040707 |  1626122 |     1929   2019 |        0 |        0
736.38/736.58	c  736s |      22 |  2045776 |  1630722 |     1929   2023 |        0 |        0
738.38/738.59	c  738s |      22 |  2051348 |  1635322 |     1929   2028 |        0 |        0
740.48/740.61	c  740s |      22 |  2056964 |  1640222 |     1929   2032 |        0 |        0
742.48/742.65	c  742s |      22 |  2062384 |  1644522 |     1929   2036 |        0 |        0
744.47/744.69	c  744s |      22 |  2068689 |  1648822 |     1929   2040 |        0 |        0
746.57/746.74	c  746s |      22 |  2074476 |  1653322 |     1929   2045 |        0 |        0
748.57/748.79	c  748s |      22 |  2079356 |  1657222 |     1929   2048 |        0 |        0
750.67/750.82	c  750s |      22 |  2084461 |  1661322 |     1929   2052 |        0 |        0
752.67/752.86	c  752s |      22 |  2089503 |  1665022 |     1929   2056 |        0 |        0
754.67/754.87	c  754s |      22 |  2093530 |  1668322 |     1929   2059 |        0 |        0
756.78/756.91	c  756s |      22 |  2098713 |  1671822 |     1929   2062 |        0 |        0
758.77/758.94	c  758s |      22 |  2102741 |  1674922 |     1929   2065 |        0 |        0
760.77/760.97	c  760s |      22 |  2108664 |  1678922 |     1929   2069 |        0 |        0
762.77/762.97	c  762s |      22 |  2115347 |  1683922 |     1929   2073 |        0 |        0
764.77/764.99	c  764s |      22 |  2120470 |  1688422 |     1929   2077 |        0 |        0
766.87/767.02	c  766s |      22 |  2124920 |  1692422 |     1929   2081 |        0 |        0
768.88/769.07	c  769s |      22 |  2129516 |  1696522 |     1929   2085 |        0 |        0
770.97/771.12	c  771s |      22 |  2133887 |  1700422 |     1929   2089 |        0 |        0
772.97/773.14	c  773s |      22 |  2138539 |  1704522 |     1929   2092 |        0 |        0
774.97/775.18	c  775s |      22 |  2143013 |  1708522 |     1929   2096 |        0 |        0
777.07/777.21	c  777s |      22 |  2147921 |  1712822 |     1929   2100 |        0 |        0
779.07/779.25	c  779s |      22 |  2152513 |  1717022 |     1929   2104 |        0 |        0
781.07/781.27	c  781s |      22 |  2156492 |  1720722 |     1929   2107 |        0 |        0
783.07/783.28	c  783s |      22 |  2160913 |  1724722 |     1929   2111 |        0 |        0
785.06/785.30	c  785s |      22 |  2165236 |  1728722 |     1929   2115 |        0 |        0
787.16/787.33	c  787s |      22 |  2169327 |  1732422 |     1929   2118 |        0 |        0
789.16/789.33	c  789s |      22 |  2173217 |  1735922 |     1929   2121 |        0 |        0
791.16/791.34	c  791s |      22 |  2178437 |  1740522 |     1929   2125 |        0 |        0
793.17/793.38	c  793s |      22 |  2182975 |  1744622 |     1929   2129 |        0 |        0
795.18/795.39	c  795s |      22 |  2187381 |  1748622 |     1929   2133 |        0 |        0
797.17/797.39	c  797s |      22 |  2191691 |  1752522 |     1929   2136 |        0 |        0
799.27/799.41	c  799s |      22 |  2195783 |  1756222 |     1929   2140 |        0 |        0
801.27/801.45	c  801s |      22 |  2200040 |  1760022 |     1929   2143 |        0 |        0
803.37/803.52	c  803s |      22 |  2203846 |  1763522 |     1929   2147 |        0 |        0
805.37/805.55	c  805s |      22 |  2208905 |  1768022 |     1929   2151 |        0 |        0
807.38/807.59	c  807s |      22 |  2213183 |  1771922 |     1929   2154 |        0 |        0
809.48/809.64	c  809s |      22 |  2217467 |  1775822 |     1929   2158 |        0 |        0
811.47/811.69	c  811s |      22 |  2221599 |  1779622 |     1929   2161 |        0 |        0
813.57/813.70	c  813s |      22 |  2226294 |  1783822 |     1929   2165 |        0 |        0
815.57/815.71	c  815s |      22 |  2230408 |  1787622 |     1929   2169 |        0 |        0
817.57/817.76	c  817s |      22 |  2234755 |  1791622 |     1929   2172 |        0 |        0
819.57/819.76	c  819s |      22 |  2238780 |  1795322 |     1929   2176 |        0 |        0
821.68/821.81	c  821s |      22 |  2242697 |  1798922 |     1929   2179 |        0 |        0
823.67/823.85	c  823s |      22 |  2246598 |  1802522 |     1929   2183 |        0 |        0
825.67/825.85	c  825s |      22 |  2250192 |  1805822 |     1929   2186 |        0 |        0
827.67/827.89	c  827s |      22 |  2254518 |  1809622 |     1929   2189 |        0 |        0
829.77/829.91	c  829s |      22 |  2259252 |  1813822 |     1929   2193 |        0 |        0
831.77/831.95	c  831s |      22 |  2263638 |  1817822 |     1929   2197 |        0 |        0
833.77/833.98	c  833s |      22 |  2268011 |  1821722 |     1929   2200 |        0 |        0
835.87/836.03	c  835s |      22 |  2272044 |  1825422 |     1929   2204 |        0 |        0
837.86/838.04	c  837s |      22 |  2276149 |  1829122 |     1929   2207 |        0 |        0
839.86/840.07	c  840s |      22 |  2279551 |  1832222 |     1929   2210 |        0 |        0
841.96/842.10	c  842s |      22 |  2283899 |  1836122 |     1929   2213 |        0 |        0
843.96/844.13	c  844s |      22 |  2289103 |  1840522 |     1929   2217 |        0 |        0
845.96/846.17	c  846s |      22 |  2293491 |  1844422 |     1929   2221 |        0 |        0
847.97/848.18	c  848s |      22 |  2298120 |  1848522 |     1929   2225 |        0 |        0
850.06/850.21	c  850s |      22 |  2302753 |  1852622 |     1929   2229 |        0 |        0
852.06/852.22	c  852s |      22 |  2307179 |  1856622 |     1929   2232 |        0 |        0
854.06/854.24	c  854s |      22 |  2311153 |  1860222 |     1929   2236 |        0 |        0
856.06/856.28	c  856s |      22 |  2315752 |  1864322 |     1929   2239 |        0 |        0
858.06/858.29	c  858s |      22 |  2319944 |  1868122 |     1929   2243 |        0 |        0
860.17/860.34	c  860s |      22 |  2324353 |  1872122 |     1929   2247 |        0 |        0
862.16/862.34	c  862s |      22 |  2328541 |  1875922 |     1929   2250 |        0 |        0
864.16/864.39	c  864s |      22 |  2332539 |  1879622 |     1929   2253 |        0 |        0
866.16/866.40	c  866s |      22 |  2336981 |  1883622 |     1929   2257 |        0 |        0
868.26/868.41	c  868s |      22 |  2341292 |  1887522 |     1929   2261 |        0 |        0
870.26/870.44	c  870s |      22 |  2345521 |  1891322 |     1929   2264 |        0 |        0
872.27/872.48	c  872s |      22 |  2349584 |  1895022 |     1929   2268 |        0 |        0
874.37/874.51	c  874s |      22 |  2353549 |  1898622 |     1929   2271 |        0 |        0
876.36/876.57	c  876s |      22 |  2357730 |  1902422 |     1929   2274 |        0 |        0
878.46/878.63	c  878s |      22 |  2361411 |  1905722 |     1929   2278 |        0 |        0
880.46/880.67	c  880s |      22 |  2365340 |  1909222 |     1929   2281 |        0 |        0
882.56/882.70	c  882s |      22 |  2369193 |  1912722 |     1929   2284 |        0 |        0
884.56/884.76	c  884s |      22 |  2373231 |  1916422 |     1929   2287 |        0 |        0
886.56/886.77	c  886s |      22 |  2377052 |  1919822 |     1929   2290 |        0 |        0
888.55/888.80	c  888s |      22 |  2381122 |  1923522 |     1929   2294 |        0 |        0
890.65/890.84	c  890s |      22 |  2385061 |  1927122 |     1929   2297 |        0 |        0
892.65/892.85	c  892s |      22 |  2388918 |  1930622 |     1929   2300 |        0 |        0
894.65/894.88	c  894s |      22 |  2392866 |  1934122 |     1929   2304 |        0 |        0
896.75/896.90	c  896s |      22 |  2397407 |  1938022 |     1929   2307 |        0 |        0
898.75/898.94	c  898s |      22 |  2401647 |  1941722 |     1929   2311 |        0 |        0
900.76/900.94	c  900s |      22 |  2405327 |  1945022 |     1929   2314 |        0 |        0
902.75/902.95	c  902s |      22 |  2409028 |  1948322 |     1929   2317 |        0 |        0
904.75/904.98	c  904s |      22 |  2413092 |  1951822 |     1929   2320 |        0 |        0
906.85/907.02	c  906s |      22 |  2416559 |  1954922 |     1929   2323 |        0 |        0
908.85/909.04	c  908s |      22 |  2420448 |  1958322 |     1929   2326 |        0 |        0
910.85/911.06	c  911s |      22 |  2424000 |  1961522 |     1929   2329 |        0 |        0
912.86/913.08	c  913s |      22 |  2427651 |  1964822 |     1929   2332 |        0 |        0
914.95/915.10	c  915s |      22 |  2431092 |  1967922 |     1929   2335 |        0 |        0
916.95/917.12	c  917s |      22 |  2434143 |  1970622 |     1929   2337 |        0 |        0
918.95/919.13	c  919s |      22 |  2438076 |  1974122 |     1929   2341 |        0 |        0
920.95/921.15	c  921s |      22 |  2441315 |  1977022 |     1929   2343 |        0 |        0
922.95/923.19	c  923s |      22 |  2444521 |  1979922 |     1929   2346 |        0 |        0
925.06/925.25	c  925s |      22 |  2448730 |  1983522 |     1929   2349 |        0 |        0
927.15/927.32	c  927s |      22 |  2452854 |  1987122 |     1929   2353 |        0 |        0
929.15/929.39	c  929s |      22 |  2456414 |  1990322 |     1929   2356 |        0 |        0
931.15/931.39	c  931s |      22 |  2460371 |  1993922 |     1929   2359 |        0 |        0
933.25/933.43	c  933s |      22 |  2464269 |  1997422 |     1929   2362 |        0 |        0
935.24/935.49	c  935s |      22 |  2467501 |  2000322 |     1929   2365 |        0 |        0
937.34/937.52	c  937s |      22 |  2471303 |  2003622 |     1929   2368 |        0 |        0
939.35/939.53	c  939s |      22 |  2475380 |  2007222 |     1929   2371 |        0 |        0
941.34/941.56	c  941s |      22 |  2479145 |  2010622 |     1929   2374 |        0 |        0
943.34/943.57	c  943s |      22 |  2482764 |  2013922 |     1929   2377 |        0 |        0
945.34/945.58	c  945s |      22 |  2486325 |  2017122 |     1929   2380 |        0 |        0
947.44/947.64	c  947s |      22 |  2490002 |  2020422 |     1929   2383 |        0 |        0
949.44/949.64	c  949s |      22 |  2493452 |  2023522 |     1929   2386 |        0 |        0
951.45/951.64	c  951s |      22 |  2496924 |  2026622 |     1929   2389 |        0 |        0
953.44/953.70	c  953s |      22 |  2501163 |  2030322 |     1929   2392 |        0 |        0
955.54/955.71	c  955s |      22 |  2505166 |  2033822 |     1929   2396 |        0 |        0
957.54/957.74	c  957s |      22 |  2508667 |  2037022 |     1929   2399 |        0 |        0
959.54/959.79	c  959s |      22 |  2512051 |  2040122 |     1929   2401 |        0 |        0
961.64/961.82	c  961s |      22 |  2515215 |  2043022 |     1929   2404 |        0 |        0
963.74/963.90	c  963s |      22 |  2518490 |  2046022 |     1929   2407 |        0 |        0
965.75/965.92	c  965s |      22 |  2521328 |  2048622 |     1929   2409 |        0 |        0
967.74/967.95	c  967s |      22 |  2525139 |  2052022 |     1929   2412 |        0 |        0
969.74/969.98	c  969s |      22 |  2528218 |  2054822 |     1929   2415 |        0 |        0
971.84/972.00	c  971s |      22 |  2531173 |  2057522 |     1929   2417 |        0 |        0
973.84/974.01	c  973s |      22 |  2533782 |  2059922 |     1929   2420 |        0 |        0
975.84/976.08	c  976s |      22 |  2536874 |  2062722 |     1929   2422 |        0 |        0
977.94/978.11	c  978s |      22 |  2539925 |  2065522 |     1929   2425 |        0 |        0
979.94/980.19	c  980s |      22 |  2542881 |  2068222 |     1929   2427 |        0 |        0
982.04/982.24	c  982s |      22 |  2547099 |  2071922 |     1929   2431 |        0 |        0
984.04/984.25	c  984s |      22 |  2551168 |  2075522 |     1929   2434 |        0 |        0
986.04/986.29	c  986s |      22 |  2555483 |  2079322 |     1929   2438 |        0 |        0
988.13/988.35	c  988s |      22 |  2558893 |  2082422 |     1929   2440 |        0 |        0
990.13/990.38	c  990s |      22 |  2562490 |  2085722 |     1929   2443 |        0 |        0
992.14/992.39	c  992s |      22 |  2566033 |  2088922 |     1929   2446 |        0 |        0
994.24/994.41	c  994s |      22 |  2569508 |  2092022 |     1929   2449 |        0 |        0
996.23/996.41	c  996s |      22 |  2572827 |  2095022 |     1929   2452 |        0 |        0
998.23/998.45	c  998s |      22 |  2576243 |  2098122 |     1929   2455 |        0 |        0
1000.34/1000.51	c 1000s |      22 |  2579314 |  2100922 |     1929   2457 |        0 |        0
1002.34/1002.57	c 1002s |      22 |  2582027 |  2103422 |     1929   2460 |        0 |        0
1004.34/1004.60	c 1004s |      22 |  2585232 |  2106322 |     1929   2462 |        0 |        0
1006.45/1006.65	c 1006s |      22 |  2588280 |  2109122 |     1929   2465 |        0 |        0
1008.55/1008.75	c 1008s |      22 |  2591230 |  2111822 |     1929   2468 |        0 |        0
1010.54/1010.76	c 1010s |      22 |  2594225 |  2114522 |     1929   2470 |        0 |        0
1012.64/1012.83	c 1012s |      22 |  2597069 |  2117122 |     1929   2472 |        0 |        0
1014.64/1014.87	c 1014s |      22 |  2600964 |  2120422 |     1929   2475 |        0 |        0
1016.74/1016.91	c 1016s |      22 |  2605471 |  2124422 |     1929   2479 |        0 |        0
1018.74/1018.95	c 1018s |      22 |  2609900 |  2128022 |     1929   2482 |        0 |        0
1020.74/1020.97	c 1020s |      22 |  2613867 |  2131622 |     1929   2486 |        0 |        0
1022.84/1023.02	c 1022s |      22 |  2617989 |  2135422 |     1929   2489 |        0 |        0
1024.84/1025.06	c 1025s |      22 |  2622607 |  2139422 |     1929   2493 |        0 |        0
1026.93/1027.10	c 1027s |      22 |  2626941 |  2143222 |     1929   2496 |        0 |        0
1028.93/1029.12	c 1029s |      22 |  2631095 |  2147022 |     1929   2500 |        0 |        0
1030.93/1031.12	c 1031s |      22 |  2635196 |  2150722 |     1929   2503 |        0 |        0
1032.93/1033.15	c 1033s |      22 |  2639997 |  2154922 |     1929   2507 |        0 |        0
1034.94/1035.17	c 1035s |      22 |  2644069 |  2158622 |     1929   2511 |        0 |        0
1037.03/1037.20	c 1037s |      22 |  2647665 |  2161922 |     1929   2514 |        0 |        0
1039.03/1039.22	c 1039s |      22 |  2651819 |  2165622 |     1929   2517 |        0 |        0
1041.03/1041.27	c 1041s |      22 |  2655948 |  2169322 |     1929   2520 |        0 |        0
1043.13/1043.32	c 1043s |      22 |  2659827 |  2172822 |     1929   2524 |        0 |        0
1045.13/1045.33	c 1045s |      22 |  2664197 |  2176722 |     1929   2527 |        0 |        0
1047.14/1047.34	c 1047s |      22 |  2668332 |  2180522 |     1929   2531 |        0 |        0
1049.13/1049.40	c 1049s |      22 |  2672646 |  2184422 |     1929   2534 |        0 |        0
1051.23/1051.42	c 1051s |      22 |  2676275 |  2187722 |     1929   2537 |        0 |        0
1053.23/1053.45	c 1053s |      22 |  2680558 |  2191522 |     1929   2541 |        0 |        0
1055.33/1055.53	c 1055s |      22 |  2684961 |  2195422 |     1929   2545 |        0 |        0
1057.33/1057.53	c 1057s |      22 |  2688754 |  2198722 |     1929   2548 |        0 |        0
1059.33/1059.54	c 1059s |      22 |  2692305 |  2201922 |     1929   2551 |        0 |        0
1061.33/1061.57	c 1061s |      22 |  2695725 |  2205022 |     1929   2553 |        0 |        0
1063.42/1063.61	c 1063s |      22 |  2699408 |  2208322 |     1929   2556 |        0 |        0
1065.42/1065.63	c 1065s |      22 |  2703126 |  2211622 |     1929   2560 |        0 |        0
1067.42/1067.63	c 1067s |      22 |  2707240 |  2215322 |     1929   2563 |        0 |        0
1069.42/1069.65	c 1069s |      22 |  2710795 |  2218522 |     1929   2566 |        0 |        0
1071.52/1071.70	c 1071s |      22 |  2714922 |  2222122 |     1929   2569 |        0 |        0
1073.53/1073.72	c 1073s |      22 |  2718876 |  2225622 |     1929   2572 |        0 |        0
1075.52/1075.77	c 1075s |      22 |  2722789 |  2229122 |     1929   2576 |        0 |        0
1077.62/1077.81	c 1077s |      22 |  2726503 |  2232522 |     1929   2579 |        0 |        0
1079.62/1079.82	c 1079s |      22 |  2730675 |  2236222 |     2122   2582 |        0 |        0
1081.62/1081.87	c 1081s |      22 |  2734550 |  2239722 |     2122   2585 |        0 |        0
1083.72/1083.93	c 1083s |      22 |  2738638 |  2243322 |     2122   2588 |        0 |        0
1085.72/1085.95	c 1085s |      22 |  2742389 |  2246622 |     2122   2591 |        0 |        0
1087.72/1087.97	c 1087s |      22 |  2745926 |  2249822 |     2122   2594 |        0 |        0
1088.51/1088.70	c 1088s |      23 |  2747249 |  2251038 |     2122   2595 |        0 |        0
1090.51/1090.71	c 1090s |      23 |  2752715 |  2255638 |     2122   2598 |        0 |        0
1092.51/1092.73	c 1092s |      23 |  2757336 |  2259838 |     2122   2602 |        0 |        0
1094.51/1094.74	c 1094s |      23 |  2762061 |  2263638 |     2122   2605 |        0 |        0
1096.51/1096.80	c 1096s |      23 |  2766194 |  2267238 |     2122   2608 |        0 |        0
1098.60/1098.80	c 1098s |      23 |  2770007 |  2270638 |     2122   2611 |        0 |        0
1100.60/1100.87	c 1100s |      23 |  2773812 |  2274038 |     2122   2614 |        0 |        0
1102.60/1102.88	c 1102s |      23 |  2777603 |  2277438 |     2122   2617 |        0 |        0
1104.70/1104.93	c 1104s |      23 |  2781041 |  2280538 |     2122   2620 |        0 |        0
1106.70/1106.95	c 1106s |      23 |  2785632 |  2284438 |     2122   2623 |        0 |        0
1108.71/1108.97	c 1108s |      23 |  2790746 |  2288038 |     2122   2626 |        0 |        0
1110.71/1110.99	c 1110s |      23 |  2796676 |  2292738 |     2122   2630 |        0 |        0
1112.80/1113.02	c 1112s |      23 |  2800998 |  2296738 |     2122   2633 |        0 |        0
1114.80/1115.04	c 1114s |      23 |  2806541 |  2301538 |     2122   2637 |        0 |        0
1116.80/1117.06	c 1117s |      23 |  2811424 |  2305838 |     2122   2641 |        0 |        0
1118.90/1119.11	c 1119s |      23 |  2816240 |  2310138 |     2122   2645 |        0 |        0
1120.90/1121.14	c 1121s |      23 |  2820945 |  2314438 |     2122   2648 |        0 |        0
1122.90/1123.15	c 1123s |      23 |  2825574 |  2318638 |     2122   2652 |        0 |        0
1124.90/1125.16	c 1125s |      23 |  2829715 |  2322438 |     2122   2655 |        0 |        0
1126.89/1127.18	c 1127s |      23 |  2834788 |  2326938 |     2122   2659 |        0 |        0
1128.99/1129.21	c 1129s |      23 |  2839338 |  2331038 |     2122   2662 |        0 |        0
1130.99/1131.21	c 1131s |      23 |  2844416 |  2335638 |     2122   2666 |        0 |        0
1132.99/1133.22	c 1133s |      23 |  2849161 |  2339938 |     2122   2670 |        0 |        0
1135.00/1135.23	c 1135s |      23 |  2853648 |  2344038 |     2122   2673 |        0 |        0
1136.99/1137.24	c 1137s |      23 |  2858511 |  2348438 |     2122   2677 |        0 |        0
1138.98/1139.26	c 1139s |      23 |  2863682 |  2353038 |     2122   2681 |        0 |        0
1140.98/1141.29	c 1141s |      23 |  2868504 |  2357438 |     2122   2685 |        0 |        0
1143.08/1143.31	c 1143s |      23 |  2873346 |  2361838 |     2122   2688 |        0 |        0
1145.08/1145.36	c 1145s |      23 |  2878269 |  2366238 |     2122   2692 |        0 |        0
1147.09/1147.38	c 1147s |      23 |  2882981 |  2370438 |     2122   2696 |        0 |        0
1149.18/1149.43	c 1149s |      23 |  2887646 |  2374638 |     2122   2699 |        0 |        0
1151.18/1151.47	c 1151s |      23 |  2891870 |  2378438 |     2122   2702 |        0 |        0
1153.28/1153.51	c 1153s |      23 |  2896294 |  2382438 |     2122   2706 |        0 |        0
1155.28/1155.53	c 1155s |      23 |  2900291 |  2386038 |     2122   2709 |        0 |        0
1157.27/1157.57	c 1157s |      23 |  2905028 |  2390238 |     2122   2712 |        0 |        0
1159.37/1159.60	c 1159s |      23 |  2909425 |  2394238 |     2122   2716 |        0 |        0
1161.38/1161.64	c 1161s |      23 |  2913720 |  2398138 |     2122   2719 |        0 |        0
1163.37/1163.65	c 1163s |      23 |  2917975 |  2402038 |     2122   2722 |        0 |        0
1165.37/1165.67	c 1165s |      23 |  2922435 |  2406038 |     2122   2726 |        0 |        0
1167.47/1167.72	c 1167s |      23 |  2926760 |  2409938 |     2122   2729 |        0 |        0
1169.47/1169.76	c 1169s |      23 |  2930814 |  2413638 |     2122   2732 |        0 |        0
1171.47/1171.76	c 1171s |      23 |  2934870 |  2417338 |     2122   2735 |        0 |        0
1173.57/1173.81	c 1173s |      23 |  2939202 |  2421038 |     2122   2738 |        0 |        0
1175.57/1175.84	c 1175s |      23 |  2943815 |  2425138 |     2122   2742 |        0 |        0
1177.56/1177.86	c 1177s |      23 |  2947985 |  2428838 |     2122   2745 |        0 |        0
1179.66/1179.91	c 1179s |      23 |  2952494 |  2432838 |     2122   2748 |        0 |        0
1181.66/1181.94	c 1181s |      23 |  2957314 |  2437138 |     2122   2752 |        0 |        0
1183.66/1183.96	c 1183s |      23 |  2961799 |  2441138 |     2122   2755 |        0 |        0
1185.67/1185.96	c 1185s |      23 |  2966343 |  2445238 |     2122   2759 |        0 |        0
1187.66/1187.99	c 1187s |      23 |  2971047 |  2449438 |     2122   2762 |        0 |        0
1189.76/1190.04	c 1189s |      23 |  2975266 |  2453338 |     2122   2766 |        0 |        0
1191.76/1192.09	c 1192s |      23 |  2979579 |  2457238 |     2122   2769 |        0 |        0
1193.86/1194.10	c 1194s |      23 |  2983804 |  2461038 |     2122   2772 |        0 |        0
1195.86/1196.10	c 1196s |      23 |  2988341 |  2465138 |     2122   2776 |        0 |        0
1197.85/1198.15	c 1198s |      23 |  2992770 |  2469238 |     2122   2779 |        0 |        0
1199.86/1200.17	c 1200s |      23 |  2997329 |  2473338 |     2122   2783 |        0 |        0
1201.95/1202.22	c 1202s |      23 |  3002109 |  2477738 |     2122   2786 |        0 |        0
1203.95/1204.27	c 1204s |      23 |  3006670 |  2481838 |     2122   2790 |        0 |        0
1205.95/1206.28	c 1206s |      23 |  3011095 |  2485838 |     2122   2793 |        0 |        0
1208.05/1208.30	c 1208s |      23 |  3015844 |  2490138 |     2122   2797 |        0 |        0
1210.05/1210.30	c 1210s |      23 |  3020626 |  2494438 |     2122   2800 |        0 |        0
1212.05/1212.36	c 1212s |      23 |  3025225 |  2498638 |     2122   2804 |        0 |        0
1214.04/1214.39	c 1214s |      23 |  3029942 |  2502838 |     2122   2807 |        0 |        0
1216.14/1216.43	c 1216s |      23 |  3034533 |  2507038 |     2122   2811 |        0 |        0
1218.14/1218.44	c 1218s |      23 |  3039712 |  2511338 |     2122   2815 |        0 |        0
1220.14/1220.45	c 1220s |      23 |  3044690 |  2515038 |     2122   2818 |        0 |        0
1222.14/1222.47	c 1222s |      23 |  3050026 |  2518838 |     2122   2821 |        0 |        0
1224.24/1224.50	c 1224s |      23 |  3054554 |  2522738 |     2122   2824 |        0 |        0
1226.24/1226.56	c 1226s |      23 |  3058367 |  2526138 |     2122   2827 |        0 |        0
1228.33/1228.60	c 1228s |      23 |  3061994 |  2529438 |     2122   2830 |        0 |        0
1230.33/1230.60	c 1230s |      23 |  3066360 |  2533338 |     2122   2834 |        0 |        0
1232.33/1232.64	c 1232s |      23 |  3070698 |  2537238 |     2122   2837 |        0 |        0
1234.33/1234.67	c 1234s |      23 |  3074939 |  2541038 |     2122   2840 |        0 |        0
1236.43/1236.72	c 1236s |      23 |  3078708 |  2544438 |     2122   2843 |        0 |        0
1238.43/1238.73	c 1238s |      23 |  3082598 |  2547938 |     2122   2846 |        0 |        0
1240.43/1240.75	c 1240s |      23 |  3086496 |  2551338 |     2122   2849 |        0 |        0
1242.43/1242.76	c 1242s |      23 |  3090543 |  2554938 |     2122   2852 |        0 |        0
1244.52/1244.80	c 1244s |      23 |  3094420 |  2558438 |     2122   2855 |        0 |        0
1246.52/1246.81	c 1246s |      23 |  3098840 |  2562238 |     2122   2858 |        0 |        0
1248.52/1248.84	c 1248s |      23 |  3103869 |  2566538 |     2122   2862 |        0 |        0
1250.53/1250.87	c 1250s |      23 |  3108089 |  2570438 |     2122   2865 |        0 |        0
1252.52/1252.88	c 1252s |      23 |  3113913 |  2575038 |     2122   2869 |        0 |        0
1254.62/1254.90	c 1254s |      23 |  3119053 |  2579238 |     2122   2873 |        0 |        0
1256.62/1256.93	c 1256s |      23 |  3123622 |  2583138 |     2122   2876 |        0 |        0
1258.62/1258.95	c 1258s |      23 |  3127849 |  2586738 |     2122   2879 |        0 |        0
1260.62/1260.98	c 1260s |      23 |  3132700 |  2591038 |     2122   2883 |        0 |        0
1262.72/1263.05	c 1262s |      23 |  3137428 |  2594538 |     2122   2886 |        0 |        0
1264.72/1265.08	c 1265s |      23 |  3141215 |  2597538 |     2122   2889 |        0 |        0
1266.81/1267.17	c 1267s |      23 |  3144551 |  2600438 |     2122   2891 |        0 |        0
1268.91/1269.22	c 1269s |      23 |  3148008 |  2603338 |     2122   2894 |        0 |        0
1270.91/1271.28	c 1271s |      23 |  3151582 |  2606238 |     2122   2896 |        0 |        0
1273.01/1273.31	c 1273s |      23 |  3155952 |  2609138 |     2122   2899 |        0 |        0
1275.01/1275.37	c 1275s |      23 |  3159645 |  2612338 |     2122   2901 |        0 |        0
1277.10/1277.41	c 1277s |      23 |  3163398 |  2615738 |     2122   2904 |        0 |        0
1279.11/1279.41	c 1279s |      23 |  3167022 |  2619038 |     2122   2907 |        0 |        0
1281.10/1281.46	c 1281s |      23 |  3170880 |  2622038 |     2122   2910 |        0 |        0
1283.10/1283.48	c 1283s |      23 |  3174184 |  2625038 |     2122   2912 |        0 |        0
1285.20/1285.52	c 1285s |      23 |  3177273 |  2627838 |     2122   2914 |        0 |        0
1287.20/1287.57	c 1287s |      23 |  3180490 |  2630738 |     2122   2917 |        0 |        0
1289.20/1289.58	c 1289s |      23 |  3183475 |  2633438 |     2122   2919 |        0 |        0
1291.30/1291.64	c 1291s |      23 |  3186404 |  2636138 |     2122   2921 |        0 |        0
1293.31/1293.66	c 1293s |      23 |  3189619 |  2639038 |     2122   2924 |        0 |        0
1295.30/1295.69	c 1295s |      23 |  3192999 |  2642038 |     2122   2926 |        0 |        0
1297.39/1297.75	c 1297s |      23 |  3196062 |  2644838 |     2122   2929 |        0 |        0
1299.39/1299.79	c 1299s |      23 |  3199279 |  2647738 |     2122   2931 |        0 |        0
1301.49/1301.84	c 1301s |      23 |  3203903 |  2651338 |     2122   2934 |        0 |        0
1303.49/1303.84	c 1303s |      23 |  3208530 |  2655438 |     2122   2938 |        0 |        0
1305.50/1305.87	c 1305s |      23 |  3213596 |  2659938 |     2122   2942 |        0 |        0
1307.49/1307.89	c 1307s |      23 |  3218488 |  2664338 |     2122   2945 |        0 |        0
1309.59/1309.90	c 1309s |      23 |  3223013 |  2668138 |     2122   2949 |        0 |        0
1311.59/1311.92	c 1311s |      23 |  3226835 |  2671338 |     2122   2951 |        0 |        0
1313.59/1313.96	c 1313s |      23 |  3231682 |  2675438 |     2122   2955 |        0 |        0
1315.69/1316.00	c 1315s |      23 |  3236253 |  2679338 |     2122   2958 |        0 |        0
1317.68/1318.03	c 1317s |      23 |  3240016 |  2682738 |     2122   2961 |        0 |        0
1319.69/1320.07	c 1320s |      23 |  3243961 |  2686238 |     2122   2964 |        0 |        0
1321.69/1322.09	c 1322s |      23 |  3248444 |  2689838 |     2122   2967 |        0 |        0
1323.79/1324.15	c 1324s |      23 |  3252917 |  2693638 |     2122   2970 |        0 |        0
1325.79/1326.17	c 1326s |      23 |  3258013 |  2697138 |     2122   2973 |        0 |        0
1327.89/1328.21	c 1328s |      23 |  3263170 |  2701338 |     2122   2977 |        0 |        0
1329.88/1330.23	c 1330s |      23 |  3266721 |  2704538 |     2122   2980 |        0 |        0
1331.98/1332.30	c 1332s |      23 |  3270366 |  2707838 |     2122   2983 |        0 |        0
1333.88/1334.30	c 1334s |      23 |  3274554 |  2711138 |     2122   2985 |        0 |        0
1335.98/1336.35	c 1336s |      23 |  3278090 |  2714338 |     2122   2988 |        0 |        0
1338.08/1338.40	c 1338s |      23 |  3281569 |  2717538 |     2122   2991 |        0 |        0
1340.08/1340.42	c 1340s |      23 |  3284835 |  2720538 |     2122   2993 |        0 |        0
1342.08/1342.47	c 1342s |      23 |  3288655 |  2723638 |     2122   2996 |        0 |        0
1344.18/1344.52	c 1344s |      23 |  3292206 |  2726838 |     2122   2999 |        0 |        0
1346.18/1346.53	c 1346s |      23 |  3295369 |  2729738 |     2122   3001 |        0 |        0
1348.17/1348.58	c 1348s |      23 |  3298653 |  2732738 |     2122   3004 |        0 |        0
1350.27/1350.60	c 1350s |      23 |  3301839 |  2735638 |     2122   3006 |        0 |        0
1352.27/1352.64	c 1352s |      23 |  3307095 |  2739138 |     2122   3009 |        0 |        0
1354.27/1354.68	c 1354s |      23 |  3311588 |  2743138 |     2122   3013 |        0 |        0
1356.37/1356.71	c 1356s |      23 |  3316936 |  2747338 |     2122   3016 |        0 |        0
1358.37/1358.75	c 1358s |      23 |  3321898 |  2751438 |     2122   3020 |        0 |        0
1360.37/1360.76	c 1360s |      23 |  3326360 |  2755238 |     2122   3023 |        0 |        0
1362.37/1362.77	c 1362s |      23 |  3331020 |  2759038 |     2122   3026 |        0 |        0
1364.47/1364.81	c 1364s |      23 |  3335517 |  2762738 |     2122   3029 |        0 |        0
1366.46/1366.81	c 1366s |      23 |  3340044 |  2766338 |     2122   3032 |        0 |        0
1368.46/1368.83	c 1368s |      23 |  3343980 |  2769638 |     2122   3035 |        0 |        0
1370.46/1370.86	c 1370s |      23 |  3348820 |  2773438 |     2122   3038 |        0 |        0
1372.57/1372.91	c 1372s |      23 |  3353413 |  2777338 |     2122   3042 |        0 |        0
1374.56/1374.91	c 1374s |      23 |  3358439 |  2781438 |     2122   3045 |        0 |        0
1376.56/1376.92	c 1376s |      23 |  3362833 |  2785138 |     2122   3048 |        0 |        0
1378.56/1378.99	c 1378s |      23 |  3366988 |  2788638 |     2122   3052 |        0 |        0
1380.66/1381.04	c 1380s |      23 |  3371306 |  2792138 |     2122   3055 |        0 |        0
1382.65/1383.09	c 1383s |      23 |  3376111 |  2796038 |     2122   3058 |        0 |        0
1384.75/1385.10	c 1385s |      23 |  3380381 |  2799538 |     2122   3061 |        0 |        0
1386.65/1387.10	c 1387s |      23 |  3384299 |  2802938 |     2122   3064 |        0 |        0
1388.75/1389.11	c 1389s |      23 |  3388162 |  2806138 |     2122   3066 |        0 |        0
1390.75/1391.14	c 1391s |      23 |  3392410 |  2809338 |     2122   3069 |        0 |        0
1392.75/1393.17	c 1393s |      23 |  3397006 |  2812438 |     2122   3072 |        0 |        0
1394.85/1395.26	c 1395s |      23 |  3401387 |  2815538 |     2122   3075 |        0 |        0
1396.84/1397.29	c 1397s |      23 |  3405166 |  2818438 |     2122   3077 |        0 |        0
1398.95/1399.31	c 1399s |      23 |  3408122 |  2821138 |     2122   3079 |        0 |        0
1400.94/1401.31	c 1401s |      23 |  3411657 |  2824338 |     2122   3082 |        0 |        0
1402.94/1403.31	c 1403s |      23 |  3415125 |  2827438 |     2122   3085 |        0 |        0
1404.94/1405.35	c 1405s |      23 |  3418248 |  2830338 |     2122   3087 |        0 |        0
1406.93/1407.38	c 1407s |      23 |  3422830 |  2834438 |     2122   3091 |        0 |        0
1409.03/1409.43	c 1409s |      23 |  3428078 |  2838838 |     2122   3094 |        0 |        0
1411.04/1411.46	c 1411s |      23 |  3433315 |  2843438 |     2122   3098 |        0 |        0
1413.03/1413.48	c 1413s |      23 |  3438127 |  2847638 |     2122   3102 |        0 |        0
1415.13/1415.50	c 1415s |      23 |  3444273 |  2852438 |     2122   3106 |        0 |        0
1417.13/1417.53	c 1417s |      23 |  3448777 |  2856338 |     2122   3109 |        0 |        0
1419.13/1419.55	c 1419s |      23 |  3452929 |  2860038 |     2122   3112 |        0 |        0
1421.13/1421.57	c 1421s |      23 |  3457152 |  2863738 |     2122   3116 |        0 |        0
1423.23/1423.62	c 1423s |      23 |  3461486 |  2867638 |     2122   3119 |        0 |        0
1425.23/1425.64	c 1425s |      23 |  3466229 |  2871438 |     2122   3122 |        0 |        0
1427.22/1427.68	c 1427s |      23 |  3470686 |  2875238 |     2122   3125 |        0 |        0
1429.32/1429.75	c 1429s |      23 |  3474951 |  2879038 |     2122   3129 |        0 |        0
1431.32/1431.79	c 1431s |      23 |  3479327 |  2882938 |     2122   3132 |        0 |        0
1433.42/1433.82	c 1433s |      23 |  3484117 |  2886538 |     2122   3135 |        0 |        0
1435.42/1435.86	c 1435s |      23 |  3488283 |  2890338 |     2122   3138 |        0 |        0
1437.42/1437.88	c 1437s |      23 |  3491907 |  2893638 |     2122   3141 |        0 |        0
1439.41/1439.90	c 1439s |      23 |  3495681 |  2897038 |     2122   3144 |        0 |        0
1441.51/1441.91	c 1441s |      23 |  3499424 |  2900338 |     2122   3147 |        0 |        0
1443.51/1443.94	c 1443s |      23 |  3504422 |  2904838 |     2122   3151 |        0 |        0
1445.51/1445.97	c 1445s |      23 |  3508673 |  2908638 |     2122   3154 |        0 |        0
1447.51/1447.99	c 1447s |      23 |  3512765 |  2912238 |     2122   3157 |        0 |        0
1449.61/1450.07	c 1450s |      23 |  3519068 |  2917438 |     2122   3162 |        0 |        0
1451.61/1452.10	c 1452s |      23 |  3523943 |  2921438 |     2122   3165 |        0 |        0
1453.71/1454.14	c 1454s |      23 |  3528557 |  2925338 |     2122   3168 |        0 |        0
1455.70/1456.18	c 1456s |      23 |  3533267 |  2929238 |     2122   3172 |        0 |        0
1457.80/1458.21	c 1458s |      23 |  3537676 |  2933038 |     2122   3175 |        0 |        0
1459.80/1460.22	c 1460s |      23 |  3541832 |  2936638 |     2122   3178 |        0 |        0
1461.80/1462.24	c 1462s |      23 |  3545784 |  2940238 |     2122   3181 |        0 |        0
1463.80/1464.27	c 1464s |      23 |  3550228 |  2943838 |     2122   3184 |        0 |        0
1465.80/1466.30	c 1466s |      23 |  3553523 |  2946838 |     2122   3187 |        0 |        0
1467.89/1468.33	c 1468s |      23 |  3557689 |  2950538 |     2122   3190 |        0 |        0
1469.89/1470.38	c 1470s |      23 |  3561256 |  2953838 |     2122   3193 |        0 |        0
1471.99/1472.40	c 1472s |      23 |  3567263 |  2959238 |     2122   3197 |        0 |        0
1473.99/1474.43	c 1474s |      23 |  3572531 |  2964038 |     2122   3201 |        0 |        0
1475.99/1476.46	c 1476s |      23 |  3577921 |  2968838 |     2122   3205 |        0 |        0
1477.99/1478.46	c 1478s |      23 |  3583508 |  2973938 |     2122   3210 |        0 |        0
1479.99/1480.50	c 1480s |      23 |  3588713 |  2977938 |     2122   3213 |        0 |        0
1482.09/1482.50	c 1482s |      23 |  3592526 |  2981438 |     2122   3216 |        0 |        0
1484.09/1484.50	c 1484s |      23 |  3597320 |  2985238 |     2122   3219 |        0 |        0
1486.09/1486.55	c 1486s |      23 |  3601571 |  2989038 |     2122   3223 |        0 |        0
1488.08/1488.56	c 1488s |      23 |  3605556 |  2992238 |     2122   3225 |        0 |        0
1490.19/1490.61	c 1490s |      23 |  3609427 |  2995738 |     2122   3228 |        0 |        0
1492.18/1492.61	c 1492s |      23 |  3613461 |  2998938 |     2122   3231 |        0 |        0
1494.18/1494.62	c 1494s |      23 |  3617400 |  3002438 |     2122   3234 |        0 |        0
1496.17/1496.66	c 1496s |      23 |  3621749 |  3005638 |     2122   3237 |        0 |        0
1498.17/1498.67	c 1498s |      23 |  3625490 |  3009038 |     2122   3239 |        0 |        0
1500.27/1500.70	c 1500s |      23 |  3629887 |  3012638 |     2122   3242 |        0 |        0
1502.28/1502.75	c 1502s |      23 |  3634726 |  3016638 |     2122   3246 |        0 |        0
1504.27/1504.77	c 1504s |      23 |  3639130 |  3020338 |     2122   3249 |        0 |        0
1506.37/1506.81	c 1506s |      23 |  3643549 |  3024238 |     2122   3252 |        0 |        0
1508.38/1508.84	c 1508s |      23 |  3648195 |  3028238 |     2122   3256 |        0 |        0
1510.38/1510.88	c 1510s |      23 |  3652551 |  3032138 |     2122   3259 |        0 |        0
1512.48/1512.91	c 1512s |      23 |  3656711 |  3035838 |     2122   3262 |        0 |        0
1514.47/1514.91	c 1514s |      23 |  3661132 |  3039538 |     2122   3266 |        0 |        0
1516.48/1516.92	c 1516s |      23 |  3665682 |  3043538 |     2122   3269 |        0 |        0
1518.47/1518.93	c 1518s |      23 |  3669865 |  3047238 |     2122   3272 |        0 |        0
1520.47/1520.98	c 1520s |      23 |  3674163 |  3050938 |     2122   3275 |        0 |        0
1522.57/1523.00	c 1522s |      23 |  3678217 |  3054438 |     2122   3278 |        0 |        0
1524.57/1525.03	c 1524s |      23 |  3682533 |  3058138 |     2122   3281 |        0 |        0
1526.66/1527.11	c 1527s |      23 |  3686463 |  3061638 |     2122   3284 |        0 |        0
1528.67/1529.11	c 1529s |      23 |  3690942 |  3065338 |     2122   3288 |        0 |        0
1530.66/1531.14	c 1531s |      23 |  3695145 |  3068938 |     2122   3291 |        0 |        0
1532.66/1533.17	c 1533s |      23 |  3699518 |  3072338 |     2122   3294 |        0 |        0
1534.76/1535.23	c 1535s |      23 |  3703551 |  3075738 |     2122   3297 |        0 |        0
1536.76/1537.28	c 1537s |      23 |  3708108 |  3079138 |     2122   3299 |        0 |        0
1538.86/1539.30	c 1539s |      23 |  3711780 |  3082138 |     2122   3302 |        0 |        0
1540.86/1541.35	c 1541s |      23 |  3716077 |  3085538 |     2122   3305 |        0 |        0
1542.86/1543.36	c 1543s |      23 |  3719752 |  3088438 |     2122   3307 |        0 |        0
1544.86/1545.37	c 1545s |      23 |  3723780 |  3091838 |     2122   3310 |        0 |        0
1546.85/1547.39	c 1547s |      23 |  3727677 |  3094738 |     2122   3313 |        0 |        0
1548.95/1549.42	c 1549s |      23 |  3733029 |  3098438 |     2122   3316 |        0 |        0
1550.95/1551.46	c 1551s |      23 |  3738114 |  3102138 |     2122   3319 |        0 |        0
1552.95/1553.46	c 1553s |      23 |  3743010 |  3105838 |     2122   3322 |        0 |        0
1554.96/1555.50	c 1555s |      23 |  3746997 |  3109138 |     2122   3325 |        0 |        0
1557.05/1557.55	c 1557s |      23 |  3751436 |  3112638 |     2122   3328 |        0 |        0
1559.05/1559.59	c 1559s |      23 |  3755461 |  3115938 |     2122   3331 |        0 |        0
1561.04/1561.59	c 1561s |      23 |  3759580 |  3119238 |     2122   3334 |        0 |        0
1563.14/1563.65	c 1563s |      23 |  3763735 |  3122238 |     2122   3336 |        0 |        0
1565.24/1565.70	c 1565s |      23 |  3768269 |  3125638 |     2122   3339 |        0 |        0
1567.24/1567.74	c 1567s |      23 |  3772662 |  3129438 |     2122   3342 |        0 |        0
1569.24/1569.78	c 1569s |      23 |  3777386 |  3133138 |     2122   3346 |        0 |        0
1571.34/1571.81	c 1571s |      23 |  3781198 |  3136538 |     2122   3348 |        0 |        0
1573.33/1573.82	c 1573s |      23 |  3784581 |  3139638 |     2122   3351 |        0 |        0
1575.33/1575.87	c 1575s |      23 |  3788228 |  3142938 |     2122   3354 |        0 |        0
1577.43/1577.93	c 1577s |      23 |  3791795 |  3146138 |     2122   3357 |        0 |        0
1579.43/1579.95	c 1579s |      23 |  3795928 |  3149738 |     2122   3360 |        0 |        0
1581.53/1582.02	c 1581s |      23 |  3799598 |  3153038 |     2122   3362 |        0 |        0
1583.54/1584.04	c 1583s |      23 |  3803222 |  3156238 |     2122   3365 |        0 |        0
1585.53/1586.05	c 1585s |      23 |  3806902 |  3159538 |     2122   3368 |        0 |        0
1587.53/1588.08	c 1588s |      23 |  3810699 |  3162938 |     2122   3371 |        0 |        0
1589.63/1590.16	c 1590s |      23 |  3814484 |  3166338 |     2122   3374 |        0 |        0
1591.63/1592.19	c 1592s |      23 |  3818297 |  3169738 |     2122   3376 |        0 |        0
1593.73/1594.21	c 1594s |      23 |  3821889 |  3173038 |     2122   3379 |        0 |        0
1595.73/1596.22	c 1596s |      23 |  3825775 |  3176438 |     2122   3382 |        0 |        0
1597.72/1598.22	c 1598s |      23 |  3829696 |  3179938 |     2122   3385 |        0 |        0
1599.72/1600.27	c 1600s |      23 |  3833648 |  3183538 |     2122   3388 |        0 |        0
1601.72/1602.28	c 1602s |      23 |  3837592 |  3187038 |     2122   3391 |        0 |        0
1603.82/1604.33	c 1604s |      23 |  3841151 |  3190238 |     2122   3394 |        0 |        0
1605.82/1606.35	c 1606s |      23 |  3844427 |  3193138 |     2122   3396 |        0 |        0
1607.82/1608.39	c 1608s |      23 |  3848043 |  3196338 |     2122   3399 |        0 |        0
1609.92/1610.41	c 1610s |      23 |  3851198 |  3199238 |     2122   3401 |        0 |        0
1611.91/1612.47	c 1612s |      23 |  3854618 |  3202338 |     2122   3404 |        0 |        0
1614.01/1614.52	c 1614s |      23 |  3858312 |  3205738 |     2122   3407 |        0 |        0
1616.01/1616.54	c 1616s |      23 |  3861217 |  3208438 |     2122   3409 |        0 |        0
1618.01/1618.54	c 1618s |      23 |  3864648 |  3211538 |     2122   3412 |        0 |        0
1620.01/1620.59	c 1620s |      23 |  3868005 |  3214638 |     2122   3414 |        0 |        0
1622.11/1622.68	c 1622s |      23 |  3870717 |  3217138 |     2122   3417 |        0 |        0
1624.21/1624.71	c 1624s |      23 |  3873467 |  3219638 |     2122   3419 |        0 |        0
1626.20/1626.75	c 1626s |      23 |  3877821 |  3223438 |     2122   3422 |        0 |        0
1628.20/1628.79	c 1628s |      23 |  3881006 |  3226338 |     2122   3424 |        0 |        0
1630.20/1630.79	c 1630s |      23 |  3884300 |  3229238 |     2122   3427 |        0 |        0
1632.30/1632.81	c 1632s |      23 |  3887590 |  3232238 |     2122   3429 |        0 |        0
1634.30/1634.82	c 1634s |      23 |  3890730 |  3235138 |     2122   3432 |        0 |        0
1636.30/1636.88	c 1636s |      23 |  3893747 |  3237938 |     2122   3434 |        0 |        0
1638.39/1638.92	c 1638s |      23 |  3896930 |  3240838 |     2122   3437 |        0 |        0
1640.39/1640.94	c 1640s |      23 |  3899947 |  3243638 |     2122   3439 |        0 |        0
1642.39/1642.97	c 1642s |      23 |  3903377 |  3246738 |     2122   3442 |        0 |        0
1644.49/1645.01	c 1644s |      23 |  3906706 |  3249738 |     2122   3444 |        0 |        0
1646.49/1647.02	c 1646s |      23 |  3909922 |  3252638 |     2122   3446 |        0 |        0
1648.50/1649.06	c 1649s |      23 |  3912966 |  3255438 |     2122   3449 |        0 |        0
1650.49/1651.07	c 1651s |      23 |  3916005 |  3258038 |     2122   3451 |        0 |        0
1652.49/1653.07	c 1653s |      23 |  3920867 |  3262238 |     2122   3455 |        0 |        0
1654.49/1655.09	c 1655s |      23 |  3925252 |  3266238 |     2122   3458 |        0 |        0
1656.58/1657.12	c 1657s |      23 |  3930890 |  3271238 |     2122   3462 |        0 |        0
1658.58/1659.14	c 1659s |      23 |  3935930 |  3275738 |     2122   3466 |        0 |        0
1660.59/1661.19	c 1661s |      23 |  3940933 |  3280138 |     2122   3470 |        0 |        0
1662.69/1663.24	c 1663s |      23 |  3945284 |  3283938 |     2122   3473 |        0 |        0
1664.68/1665.26	c 1665s |      23 |  3949078 |  3287238 |     2122   3476 |        0 |        0
1666.68/1667.29	c 1667s |      23 |  3953099 |  3290338 |     2122   3479 |        0 |        0
1668.78/1669.33	c 1669s |      23 |  3958222 |  3294138 |     2122   3482 |        0 |        0
1670.78/1671.33	c 1671s |      23 |  3962267 |  3297238 |     2122   3485 |        0 |        0
1672.77/1673.33	c 1673s |      23 |  3966605 |  3300638 |     2122   3487 |        0 |        0
1674.78/1675.35	c 1675s |      23 |  3970753 |  3304138 |     2122   3490 |        0 |        0
1676.77/1677.38	c 1677s |      23 |  3974832 |  3307638 |     2122   3493 |        0 |        0
1678.88/1679.41	c 1679s |      23 |  3978698 |  3310938 |     2122   3496 |        0 |        0
1680.88/1681.43	c 1681s |      23 |  3982042 |  3313838 |     2122   3499 |        0 |        0
1682.88/1683.44	c 1683s |      23 |  3985945 |  3317238 |     2122   3502 |        0 |        0
1684.87/1685.45	c 1685s |      23 |  3989301 |  3320238 |     2122   3504 |        0 |        0
1686.88/1687.48	c 1687s |      23 |  3993589 |  3323538 |     2122   3507 |        0 |        0
1688.97/1689.51	c 1689s |      23 |  3997598 |  3326738 |     2122   3510 |        0 |        0
1690.97/1691.51	c 1691s |      23 |  4002689 |  3330738 |     2122   3513 |        0 |        0
1692.97/1693.55	c 1693s |      23 |  4006988 |  3334538 |     2122   3517 |        0 |        0
1694.97/1695.57	c 1695s |      23 |  4011492 |  3338138 |     2122   3520 |        0 |        0
1696.96/1697.59	c 1697s |      23 |  4015482 |  3341638 |     2122   3523 |        0 |        0
1698.97/1699.60	c 1699s |      23 |  4019441 |  3345238 |     2122   3526 |        0 |        0
1701.06/1701.61	c 1701s |      23 |  4023154 |  3348638 |     2122   3529 |        0 |        0
1703.06/1703.62	c 1703s |      23 |  4027304 |  3352338 |     2122   3532 |        0 |        0
1705.06/1705.62	c 1705s |      23 |  4031227 |  3355838 |     2335   3535 |        0 |        0
1707.06/1707.64	c 1707s |      23 |  4034962 |  3359238 |     2335   3537 |        0 |        0
1709.06/1709.67	c 1709s |      23 |  4039433 |  3362538 |     2335   3540 |        0 |        0
1711.16/1711.73	c 1711s |      23 |  4043148 |  3365938 |     2335   3542 |        0 |        0
1713.16/1713.74	c 1713s |      23 |  4047240 |  3369438 |     2335   3545 |        0 |        0
1715.16/1715.75	c 1715s |      23 |  4052699 |  3373838 |     2335   3549 |        0 |        0
1716.56/1717.20	c 1717s |      24 |  4056519 |  3376662 |     2335   3551 |        0 |        0
1718.65/1719.21	c 1719s |      24 |  4062965 |  3380762 |     2335   3554 |        0 |        0
1720.65/1721.22	c 1721s |      24 |  4070139 |  3384462 |     2335   3557 |        0 |        0
1722.65/1723.24	c 1723s |      24 |  4075566 |  3388062 |     2335   3560 |        0 |        0
1724.65/1725.26	c 1725s |      24 |  4081697 |  3392062 |     2335   3563 |        0 |        0
1726.75/1727.35	c 1727s |      24 |  4087019 |  3395362 |     2335   3566 |        0 |        0
1728.85/1729.40	c 1729s |      24 |  4092742 |  3398762 |     2335   3568 |        0 |        0
1730.86/1731.45	c 1731s |      24 |  4097098 |  3402262 |     2335   3571 |        0 |        0
1732.85/1733.49	c 1733s |      24 |  4102296 |  3405762 |     2335   3574 |        0 |        0
1734.95/1735.52	c 1735s |      24 |  4106239 |  3408762 |     2335   3576 |        0 |        0
1736.95/1737.55	c 1737s |      24 |  4110520 |  3411462 |     2335   3578 |        0 |        0
1738.95/1739.57	c 1739s |      24 |  4115676 |  3415562 |     2335   3581 |        0 |        0
1740.95/1741.57	c 1741s |      24 |  4120011 |  3419462 |     2335   3584 |        0 |        0
1743.06/1743.61	c 1743s |      24 |  4124215 |  3423262 |     2335   3587 |        0 |        0
1745.05/1745.65	c 1745s |      24 |  4127878 |  3426562 |     2335   3590 |        0 |        0
1747.05/1747.67	c 1747s |      24 |  4131862 |  3430162 |     2335   3593 |        0 |        0
1749.15/1749.70	c 1749s |      24 |  4135684 |  3433662 |     2335   3596 |        0 |        0
1751.15/1751.74	c 1751s |      24 |  4139356 |  3437062 |     2335   3598 |        0 |        0
1753.15/1753.77	c 1753s |      24 |  4142705 |  3440162 |     2335   3601 |        0 |        0
1755.15/1755.77	c 1755s |      24 |  4146170 |  3443362 |     2335   3603 |        0 |        0
1757.25/1757.84	c 1757s |      24 |  4149690 |  3446562 |     2335   3606 |        0 |        0
1759.24/1759.88	c 1759s |      24 |  4153254 |  3449762 |     2335   3608 |        0 |        0
1761.34/1761.90	c 1761s |      24 |  4156641 |  3452862 |     2335   3610 |        0 |        0
1763.34/1763.93	c 1763s |      24 |  4159871 |  3455862 |     2335   3613 |        0 |        0
1765.34/1765.95	c 1765s |      24 |  4163930 |  3459262 |     2335   3615 |        0 |        0
1767.34/1767.96	c 1767s |      24 |  4167807 |  3462462 |     2335   3618 |        0 |        0
1769.45/1770.01	c 1769s |      24 |  4171565 |  3465762 |     2335   3620 |        0 |        0
1771.44/1772.06	c 1772s |      24 |  4175428 |  3469162 |     2335   3623 |        0 |        0
1773.44/1774.07	c 1774s |      24 |  4178941 |  3472262 |     2335   3626 |        0 |        0
1775.44/1776.09	c 1776s |      24 |  4182587 |  3475562 |     2335   3628 |        0 |        0
1777.54/1778.12	c 1778s |      24 |  4186297 |  3478862 |     2335   3631 |        0 |        0
1779.54/1780.12	c 1780s |      24 |  4189611 |  3481862 |     2335   3633 |        0 |        0
1781.55/1782.16	c 1782s |      24 |  4193003 |  3484962 |     2335   3635 |        0 |        0
1783.54/1784.17	c 1784s |      24 |  4196301 |  3487962 |     2335   3638 |        0 |        0
1785.54/1786.18	c 1786s |      24 |  4199779 |  3491062 |     2335   3640 |        0 |        0
1787.54/1788.19	c 1788s |      24 |  4203716 |  3494162 |     2335   3643 |        0 |        0
1789.64/1790.22	c 1790s |      24 |  4207903 |  3497162 |     2335   3645 |        0 |        0
1791.64/1792.24	c 1792s |      24 |  4213329 |  3500562 |     2335   3648 |        0 |        0
1793.65/1794.27	c 1794s |      24 |  4218997 |  3504762 |     2335   3651 |        0 |        0
1795.64/1796.28	c 1796s |      24 |  4223821 |  3508762 |     2335   3654 |        0 |        0
1797.64/1798.28	c 1798s |      24 |  4228716 |  3512662 |     2335   3657 |        0 |        0
1799.74/1800.32	c 1800s |      24 |  4233627 |  3516662 |     2335   3661 |        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-4093308-1466079574/watcher-4093308-1466079574 -o /tmp/evaluation-result-4093308-1466079574/solver-4093308-1466079574 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466075598-10666 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093308-1466079574.wbo 

pid=11157
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.15 2.23 2.21 3/179 11160
/proc/meminfo: memFree=29658676/32872528 swapFree=1199460/1313924
[pid=11160] ppid=11157 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/11160/stat : 11160 (toysat) R 11157 11160 9104 0 -1 4202496 2708 0 0 0 0 0 0 0 20 0 4 0 10003897 742846464 2558 33554432000 4194304 16246674 140734440593776 140734440593200 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11160/statm: 182127 2567 441 2943 0 179021 0
[pid=11160/tid=11161] ppid=11157 vsize=742844 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11161/stat : 11161 (toysat) S 11157 11160 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10003897 760672256 2626 33554432000 4194304 16246674 140734440593776 140540564712688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11160/tid=11162] ppid=11157 vsize=746940 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11162/stat : 11162 (toysat) S 11157 11160 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10003897 764866560 2642 33554432000 4194304 16246674 140734440593776 140540554222832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11160/tid=11163] ppid=11157 vsize=751036 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11163/stat : 11163 (toysat) S 11157 11160 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10003897 769060864 2657 33554432000 4194304 16246674 140734440593776 140540543749296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.15 2.23 2.21 3/179 11160
/proc/meminfo: memFree=29658676/32872528 swapFree=1199460/1313924
[pid=11160] ppid=11157 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/11160/stat : 11160 (toysat) R 11157 11160 9104 0 -1 4202496 25839 0 0 0 5 4 0 0 20 0 4 0 10003897 1247350784 25676 33554432000 4194304 16246674 140734440593776 140734440593200 12874965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11160/statm: 304529 25684 807 2943 0 301423 0
[pid=11160/tid=11161] ppid=11157 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11161/stat : 11161 (toysat) S 11157 11160 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10003897 1247350784 25688 33554432000 4194304 16246674 140734440593776 140540564712688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11160/tid=11162] ppid=11157 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11162/stat : 11162 (toysat) S 11157 11160 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10003897 1247350784 25694 33554432000 4194304 16246674 140734440593776 140540554222832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11160/tid=11163] ppid=11157 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11163/stat : 11163 (toysat) S 11157 11160 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10003897 1247350784 25701 33554432000 4194304 16246674 140734440593776 140540543749296 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.200527 s]
/proc/loadavg: 2.15 2.23 2.21 3/179 11160
/proc/meminfo: memFree=29658676/32872528 swapFree=1199460/1313924
[pid=11160] ppid=11157 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/11160/stat : 11160 (toysat) R 11157 11160 9104 0 -1 4202496 54450 0 0 0 11 8 0 0 20 0 4 0 10003897 1247350784 54287 33554432000 4194304 16246674 140734440593776 140734440593200 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11160/statm: 304529 54306 813 2943 0 301423 0
[pid=11160/tid=11161] ppid=11157 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11161/stat : 11161 (toysat) S 11157 11160 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10003897 1247350784 54319 33554432000 4194304 16246674 140734440593776 140540564712688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11160/tid=11162] ppid=11157 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11162/stat : 11162 (toysat) S 11157 11160 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10003897 1247350784 54329 33554432000 4194304 16246674 140734440593776 140540554222832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11160/tid=11163] ppid=11157 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11163/stat : 11163 (toysat) S 11157 11160 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10003897 1247350784 54337 33554432000 4194304 16246674 140734440593776 140540543749296 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.300523 s]
/proc/loadavg: 2.15 2.23 2.21 3/179 11160
/proc/meminfo: memFree=29658676/32872528 swapFree=1199460/1313924
[pid=11160] ppid=11157 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/11160/stat : 11160 (toysat) R 11157 11160 9104 0 -1 4202496 88154 0 0 0 16 13 0 0 20 0 4 0 10003897 1247350784 87990 33554432000 4194304 16246674 140734440593776 140734440593200 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11160/statm: 304529 88010 813 2943 0 301423 0
[pid=11160/tid=11161] ppid=11157 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11161/stat : 11161 (toysat) S 11157 11160 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10003897 1247350784 88023 33554432000 4194304 16246674 140734440593776 140540564712688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11160/tid=11162] ppid=11157 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11162/stat : 11162 (toysat) S 11157 11160 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10003897 1247350784 88034 33554432000 4194304 16246674 140734440593776 140540554222832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11160/tid=11163] ppid=11157 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11163/stat : 11163 (toysat) S 11157 11160 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10003897 1247350784 88042 33554432000 4194304 16246674 140734440593776 140540543749296 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.700358 s]
/proc/loadavg: 2.15 2.23 2.21 3/179 11160
/proc/meminfo: memFree=29658676/32872528 swapFree=1199460/1313924
[pid=11160] ppid=11157 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/11160/stat : 11160 (toysat) R 11157 11160 9104 0 -1 4202496 200302 0 0 0 40 29 0 0 20 0 4 0 10003897 1247350784 200138 33554432000 4194304 16246674 140734440593776 140734440593200 5677884 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11160/statm: 304529 200149 813 2943 0 301423 0
[pid=11160/tid=11161] ppid=11157 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11161/stat : 11161 (toysat) S 11157 11160 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10003897 1247350784 200155 33554432000 4194304 16246674 140734440593776 140540564712688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11160/tid=11162] ppid=11157 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11162/stat : 11162 (toysat) S 11157 11160 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10003897 1247350784 200164 33554432000 4194304 16246674 140734440593776 140540554222832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11160/tid=11163] ppid=11157 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11163/stat : 11163 (toysat) S 11157 11160 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10003897 1247350784 200170 33554432000 4194304 16246674 140734440593776 140540543749296 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.14 2.22 2.21 3/183 11164
/proc/meminfo: memFree=28677292/32872528 swapFree=1199460/1313924
[pid=11160] ppid=11157 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/11160/stat : 11160 (toysat) R 11157 11160 9104 0 -1 4202496 267314 0 0 0 112 37 0 0 20 0 4 0 10003897 1336479744 267128 33554432000 4194304 16246674 140734440593776 140734440593088 12470531 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11160/statm: 326289 267128 872 2943 0 323183 0
[pid=11160/tid=11161] ppid=11157 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11161/stat : 11161 (toysat) S 11157 11160 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10003897 1336479744 267128 33554432000 4194304 16246674 140734440593776 140540564712688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11160/tid=11162] ppid=11157 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11162/stat : 11162 (toysat) S 11157 11160 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10003897 1336479744 267128 33554432000 4194304 16246674 140734440593776 140540554222832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11160/tid=11163] ppid=11157 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11163/stat : 11163 (toysat) S 11157 11160 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10003897 1336479744 267128 33554432000 4194304 16246674 140734440593776 140540543749296 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) 1305156

[startup+3.10041 s]
/proc/loadavg: 2.14 2.22 2.21 3/183 11164
/proc/meminfo: memFree=28589624/32872528 swapFree=1199460/1313924
[pid=11160] ppid=11157 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/11160/stat : 11160 (toysat) R 11157 11160 9104 0 -1 4202496 267587 0 0 0 272 37 0 0 20 0 4 0 10003897 1337528320 267401 33554432000 4194304 16246674 140734440593776 140734440575680 5661532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11160/statm: 326545 267401 872 2943 0 323439 0
[pid=11160/tid=11161] ppid=11157 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11161/stat : 11161 (toysat) S 11157 11160 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10003897 1337528320 267401 33554432000 4194304 16246674 140734440593776 140540564712688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11160/tid=11162] ppid=11157 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11162/stat : 11162 (toysat) S 11157 11160 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10003897 1337528320 267401 33554432000 4194304 16246674 140734440593776 140540554222832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11160/tid=11163] ppid=11157 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11163/stat : 11163 (toysat) S 11157 11160 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10003897 1337528320 267401 33554432000 4194304 16246674 140734440593776 140540543749296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.14 2.22 2.21 3/183 11164
/proc/meminfo: memFree=28589556/32872528 swapFree=1199460/1313924
[pid=11160] ppid=11157 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/11160/stat : 11160 (toysat) R 11157 11160 9104 0 -1 4202496 267587 0 0 0 592 37 0 0 20 0 4 0 10003897 1337528320 267401 33554432000 4194304 16246674 140734440593776 140734440575680 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11160/statm: 326545 267401 872 2943 0 323439 0
[pid=11160/tid=11161] ppid=11157 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11161/stat : 11161 (toysat) S 11157 11160 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10003897 1337528320 267401 33554432000 4194304 16246674 140734440593776 140540564712688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11160/tid=11162] ppid=11157 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11162/stat : 11162 (toysat) S 11157 11160 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10003897 1337528320 267401 33554432000 4194304 16246674 140734440593776 140540554222832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11160/tid=11163] ppid=11157 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11163/stat : 11163 (toysat) S 11157 11160 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10003897 1337528320 267401 33554432000 4194304 16246674 140734440593776 140540543749296 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) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.12 2.21 2.21 3/183 11164
/proc/meminfo: memFree=28589644/32872528 swapFree=1199460/1313924
[pid=11160] ppid=11157 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/11160/stat : 11160 (toysat) R 11157 11160 9104 0 -1 4202496 267595 0 0 0 1232 37 0 0 20 0 4 0 10003897 1337528320 267409 33554432000 4194304 16246674 140734440593776 140734440575680 5523513 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11160/statm: 326545 267409 872 2943 0 323439 0
[pid=11160/tid=11161] ppid=11157 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11161/stat : 11161 (toysat) S 11157 11160 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10003897 1337528320 267409 33554432000 4194304 16246674 140734440593776 140540564712688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11160/tid=11162] ppid=11157 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11162/stat : 11162 (toysat) S 11157 11160 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10003897 1337528320 267409 33554432000 4194304 16246674 140734440593776 140540554222832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11160/tid=11163] ppid=11157 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11163/stat : 11163 (toysat) S 11157 11160 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10003897 1337528320 267409 33554432000 4194304 16246674 140734440593776 140540543749296 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) 1306180

[startup+25.5006 s]
/proc/loadavg: 2.18 2.22 2.21 3/183 11164
/proc/meminfo: memFree=28588676/32872528 swapFree=1199460/1313924
[pid=11160] ppid=11157 vsize=1307204 CPUtime=25.48 cores=0,2,4,6
/proc/11160/stat : 11160 (toysat) R 11157 11160 9104 0 -1 4202496 267806 0 0 0 2511 37 0 0 20 0 4 0 10003897 1338576896 267620 33554432000 4194304 16246674 140734440593776 140734440575680 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11160/statm: 326801 267620 872 2943 0 323695 0
[pid=11160/tid=11161] ppid=11157 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11161/stat : 11161 (toysat) S 11157 11160 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10003897 1338576896 267620 33554432000 4194304 16246674 140734440593776 140540564712688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11160/tid=11162] ppid=11157 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11162/stat : 11162 (toysat) S 11157 11160 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10003897 1338576896 267620 33554432000 4194304 16246674 140734440593776 140540554222832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11160/tid=11163] ppid=11157 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11163/stat : 11163 (toysat) S 11157 11160 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10003897 1338576896 267620 33554432000 4194304 16246674 140734440593776 140540543749296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.27 2.24 2.21 4/184 11167
/proc/meminfo: memFree=28588108/32872528 swapFree=1199460/1313924
[pid=11160] ppid=11157 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/11160/stat : 11160 (toysat) R 11157 11160 9104 0 -1 4202496 267898 0 0 0 5071 37 0 0 20 0 4 0 10003897 1338576896 267712 33554432000 4194304 16246674 140734440593776 140734440575680 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11160/statm: 326801 267712 872 2943 0 323695 0
[pid=11160/tid=11161] ppid=11157 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11161/stat : 11161 (toysat) S 11157 11160 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10003897 1338576896 267712 33554432000 4194304 16246674 140734440593776 140540564712688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11160/tid=11162] ppid=11157 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11162/stat : 11162 (toysat) S 11157 11160 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10003897 1338576896 267712 33554432000 4194304 16246674 140734440593776 140540554222832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11160/tid=11163] ppid=11157 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11163/stat : 11163 (toysat) S 11157 11160 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10003897 1338576896 267712 33554432000 4194304 16246674 140734440593776 140540543749296 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.301 s]
/proc/loadavg: 2.28 2.24 2.21 3/183 11168
/proc/meminfo: memFree=28587288/32872528 swapFree=1199460/1313924
[pid=11160] ppid=11157 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/11160/stat : 11160 (toysat) R 11157 11160 9104 0 -1 4202496 267903 0 0 0 10191 37 0 0 20 0 4 0 10003897 1338576896 267717 33554432000 4194304 16246674 140734440593776 140734440575680 12874792 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11160/statm: 326801 267717 874 2943 0 323695 0
[pid=11160/tid=11161] ppid=11157 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11161/stat : 11161 (toysat) S 11157 11160 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10003897 1338576896 267717 33554432000 4194304 16246674 140734440593776 140540564712688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11160/tid=11162] ppid=11157 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11162/stat : 11162 (toysat) S 11157 11160 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10003897 1338576896 267717 33554432000 4194304 16246674 140734440593776 140540554222832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11160/tid=11163] ppid=11157 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11163/stat : 11163 (toysat) S 11157 11160 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10003897 1338576896 267717 33554432000 4194304 16246674 140734440593776 140540543749296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/11160/task/11163/stat : 11163 (toysat) S 11157 11160 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10003897 1344868352 269529 33554432000 4194304 16246674 140734440593776 140540543749296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 1313348

[startup+1302.3 s]
/proc/loadavg: 2.26 2.21 2.18 3/183 11198
/proc/meminfo: memFree=28569884/32872528 swapFree=1199460/1313924
[pid=11160] ppid=11157 vsize=1314372 CPUtime=1301.99 cores=0,2,4,6
/proc/11160/stat : 11160 (toysat) R 11157 11160 9104 0 -1 4202496 269880 0 0 0 130153 46 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140734440575680 5515736 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11160/statm: 328593 269785 875 2943 0 325487 0
[pid=11160/tid=11161] ppid=11157 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11161/stat : 11161 (toysat) S 11157 11160 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140540564712688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11160/tid=11162] ppid=11157 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11162/stat : 11162 (toysat) S 11157 11160 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140540554222832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11160/tid=11163] ppid=11157 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11163/stat : 11163 (toysat) S 11157 11160 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140540543749296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 11199
/proc/meminfo: memFree=28569744/32872528 swapFree=1199460/1313924
[pid=11160] ppid=11157 vsize=1314372 CPUtime=1361.97 cores=0,2,4,6
/proc/11160/stat : 11160 (toysat) R 11157 11160 9104 0 -1 4202496 269920 0 0 0 136150 47 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140734440575680 5545872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11160/statm: 328593 269785 875 2943 0 325487 0
[pid=11160/tid=11161] ppid=11157 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11161/stat : 11161 (toysat) S 11157 11160 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140540564712688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11160/tid=11162] ppid=11157 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11162/stat : 11162 (toysat) S 11157 11160 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140540554222832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11160/tid=11163] ppid=11157 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11163/stat : 11163 (toysat) S 11157 11160 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140540543749296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.26 2.22 2.18 3/183 11201
/proc/meminfo: memFree=28569376/32872528 swapFree=1199460/1313924
[pid=11160] ppid=11157 vsize=1314372 CPUtime=1421.93 cores=0,2,4,6
/proc/11160/stat : 11160 (toysat) R 11157 11160 9104 0 -1 4202496 269957 0 0 0 142146 47 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140734440575680 5661959 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11160/statm: 328593 269785 875 2943 0 325487 0
[pid=11160/tid=11161] ppid=11157 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11161/stat : 11161 (toysat) S 11157 11160 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140540564712688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11160/tid=11162] ppid=11157 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11162/stat : 11162 (toysat) S 11157 11160 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140540554222832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11160/tid=11163] ppid=11157 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11163/stat : 11163 (toysat) S 11157 11160 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140540543749296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/183 11202
/proc/meminfo: memFree=28569676/32872528 swapFree=1199460/1313924
[pid=11160] ppid=11157 vsize=1314372 CPUtime=1481.89 cores=0,2,4,6
/proc/11160/stat : 11160 (toysat) R 11157 11160 9104 0 -1 4202496 269999 0 0 0 148142 47 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140734440575680 6012131 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11160/statm: 328593 269785 875 2943 0 325487 0
[pid=11160/tid=11161] ppid=11157 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11161/stat : 11161 (toysat) S 11157 11160 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140540564712688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11160/tid=11162] ppid=11157 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11162/stat : 11162 (toysat) S 11157 11160 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140540554222832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11160/tid=11163] ppid=11157 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11163/stat : 11163 (toysat) S 11157 11160 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140540543749296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1314372

[startup+1542.31 s]
/proc/loadavg: 2.18 2.21 2.18 3/183 11203
/proc/meminfo: memFree=28569716/32872528 swapFree=1199460/1313924
[pid=11160] ppid=11157 vsize=1314372 CPUtime=1541.86 cores=0,2,4,6
/proc/11160/stat : 11160 (toysat) R 11157 11160 9104 0 -1 4202496 270043 0 0 0 154138 48 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140734440575680 12474881 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11160/statm: 328593 269785 875 2943 0 325487 0
[pid=11160/tid=11161] ppid=11157 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11161/stat : 11161 (toysat) S 11157 11160 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140540564712688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11160/tid=11162] ppid=11157 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11162/stat : 11162 (toysat) S 11157 11160 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140540554222832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11160/tid=11163] ppid=11157 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11163/stat : 11163 (toysat) S 11157 11160 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140540543749296 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.33 2.23 2.19 3/183 11204
/proc/meminfo: memFree=28569508/32872528 swapFree=1199460/1313924
[pid=11160] ppid=11157 vsize=1314372 CPUtime=1601.82 cores=0,2,4,6
/proc/11160/stat : 11160 (toysat) R 11157 11160 9104 0 -1 4202496 270078 0 0 0 160134 48 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140734440575680 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11160/statm: 328593 269785 875 2943 0 325487 0
[pid=11160/tid=11161] ppid=11157 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11161/stat : 11161 (toysat) S 11157 11160 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140540564712688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11160/tid=11162] ppid=11157 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11162/stat : 11162 (toysat) S 11157 11160 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140540554222832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11160/tid=11163] ppid=11157 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11163/stat : 11163 (toysat) S 11157 11160 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140540543749296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.39 2.25 2.19 3/183 11205
/proc/meminfo: memFree=28569240/32872528 swapFree=1199460/1313924
[pid=11160] ppid=11157 vsize=1314372 CPUtime=1661.78 cores=0,2,4,6
/proc/11160/stat : 11160 (toysat) R 11157 11160 9104 0 -1 4202496 270120 0 0 0 166130 48 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140734440575680 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11160/statm: 328593 269785 875 2943 0 325487 0
[pid=11160/tid=11161] ppid=11157 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11161/stat : 11161 (toysat) S 11157 11160 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140540564712688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11160/tid=11162] ppid=11157 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11162/stat : 11162 (toysat) S 11157 11160 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140540554222832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11160/tid=11163] ppid=11157 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11163/stat : 11163 (toysat) S 11157 11160 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140540543749296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.33 2.26 2.20 4/183 11207
/proc/meminfo: memFree=28568248/32872528 swapFree=1199460/1313924
[pid=11160] ppid=11157 vsize=1314372 CPUtime=1721.75 cores=0,2,4,6
/proc/11160/stat : 11160 (toysat) R 11157 11160 9104 0 -1 4202496 270161 0 0 0 172126 49 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140734440575680 5721677 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11160/statm: 328593 269785 875 2943 0 325487 0
[pid=11160/tid=11161] ppid=11157 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11161/stat : 11161 (toysat) S 11157 11160 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140540564712688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11160/tid=11162] ppid=11157 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11162/stat : 11162 (toysat) S 11157 11160 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140540554222832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11160/tid=11163] ppid=11157 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11163/stat : 11163 (toysat) S 11157 11160 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10003897 1345916928 269785 33554432000 4194304 16246674 140734440593776 140540543749296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1314372

[startup+1782.3 s]
/proc/loadavg: 2.31 2.26 2.20 4/183 11208
/proc/meminfo: memFree=28565116/32872528 swapFree=1199460/1313924
[pid=11160] ppid=11157 vsize=1317444 CPUtime=1781.74 cores=0,2,4,6
/proc/11160/stat : 11160 (toysat) R 11157 11160 9104 0 -1 4202496 270929 0 0 0 178125 49 0 0 20 0 4 0 10003897 1349062656 270553 33554432000 4194304 16246674 140734440593776 140734440575680 5523480 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11160/statm: 329361 270553 875 2943 0 326255 0
[pid=11160/tid=11161] ppid=11157 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11161/stat : 11161 (toysat) S 11157 11160 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10003897 1349062656 270553 33554432000 4194304 16246674 140734440593776 140540564712688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11160/tid=11162] ppid=11157 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11162/stat : 11162 (toysat) S 11157 11160 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10003897 1349062656 270553 33554432000 4194304 16246674 140734440593776 140540554222832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11160/tid=11163] ppid=11157 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11163/stat : 11163 (toysat) S 11157 11160 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10003897 1349062656 270553 33554432000 4194304 16246674 140734440593776 140540543749296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.39 2.28 2.20 3/183 11257
/proc/meminfo: memFree=28576636/32872528 swapFree=1199460/1313924
[pid=11160] ppid=11157 vsize=1317444 CPUtime=1800.04 cores=0,2,4,6
/proc/11160/stat : 11160 (toysat) R 11157 11160 9104 0 -1 4202496 270929 0 0 0 179955 49 0 0 20 0 4 0 10003897 1349062656 270553 33554432000 4194304 16246674 140734440593776 140734440575680 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11160/statm: 329361 270553 875 2943 0 326255 0
[pid=11160/tid=11161] ppid=11157 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11161/stat : 11161 (toysat) S 11157 11160 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10003897 1349062656 270553 33554432000 4194304 16246674 140734440593776 140540564712688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11160/tid=11162] ppid=11157 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11162/stat : 11162 (toysat) S 11157 11160 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10003897 1349062656 270553 33554432000 4194304 16246674 140734440593776 140540554222832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11160/tid=11163] ppid=11157 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11160/task/11163/stat : 11163 (toysat) S 11157 11160 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10003897 1349062656 270553 33554432000 4194304 16246674 140734440593776 140540543749296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 11160 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1799.56
CPU system time (s): 0.498924
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.498924
maximum resident set size= 1082212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270929
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= 460
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.02378 second user time and 20.2079 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-16 14:19:34
IDJOB=4093308
IDBENCH=78684
IDSOLVER=2553
FILE ID=node131/4093308-1466079574
RUNJOBID= node131-1466075598-10666
PBS_JOBID= 19904008
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093308-1466079574/watcher-4093308-1466079574 -o /tmp/evaluation-result-4093308-1466079574/solver-4093308-1466079574 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466075598-10666 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093308-1466079574.wbo

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

MD5SUM BENCH= cf0241dbee717fce31205c3d6c127ed0
RANDOM SEED=916129215

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29659204 kB
Buffers:           22344 kB
Cached:           101940 kB
SwapCached:         1972 kB
Active:          1145572 kB
Inactive:          51924 kB
Active(anon):    1074000 kB
Inactive(anon):     1452 kB
Active(file):      71572 kB
Inactive(file):    50472 kB
Unevictable:     1313924 kB
Mlocked:         1199460 kB
SwapTotal:      67108856 kB
SwapFree:       67099344 kB
Dirty:             32968 kB
Writeback:             0 kB
AnonPages:       2388324 kB
Mapped:            10596 kB
Shmem:                 0 kB
Slab:             566628 kB
SReclaimable:      10312 kB
SUnreclaim:       556316 kB
KernelStack:        1496 kB
PageTables:         8508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2530800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 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= 71708 MiB
End job on node131 at 2016-06-16 14:49:34