Trace number 4093307

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-33-100-0.wbo
MD5SUMc848ab0f9e18d54de025021d8a38abe4
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark1470.37
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 constraints46
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 2255
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 2254
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:36:58+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-4093307-1466080618.wbo"]
0.00/0.01	c use --random-gen="2911022241 2408646412 797761619 2233376070 737572485 2503682744 3567084802 1243854338 1743052135 1910241399 69426051 2191455964 2357666278 2767666399 1373938699 2707484349 3714371168 3775616041 3224418760 3276213807 382523435 2753539605 2159044130 1974328491 572498857 1433133082 1249352907 497451025 1988339394 1672781788 3750059898 652053168 1606360193 2369550015 2302239839 2313489683 692874693 4142530388 2650576842 2058729956 3892102762 2641719777 1630507006 2503592551 417328655 1151941349 839158356 2382079244 1550573726 3957140012 3537565984 1130091025 2344097955 2022539019 4117321030 199477752 235752824 3126236632 3880666925 3872890601 3797175287 4019983420 3302751041 1198266493 4180925236 3521030998 879732207 2097718159 1817480612 663431866 2634913514 2975159843 655872073 322729619 3827280894 977154130 1535724732 575733527 2453240392 4096109928 1154401386 335428174 673501910 1388620622 2082245422 4116308597 732636755 2981680332 3903318697 4083260907 866455134 1260218365 1798689463 2321027767 3586661683 2747724726 1500061541 1094495248 3838470411 3536183777 1337254127 3354844043 1429432577 547173466 3897331425 3172761691 755183899 3661647470 3103961877 2136489990 2392019091 1790254093 3931241835 562241023 2787880515 91843112 1895156083 325938650 1629843501 2729992381 3968939410 2134797197 27808861 1570460556 3620249698 2132136552 2763277250 3679677356 2178574367 2283312641 1116101098 1975417129 1402262544 1108073543 3381304864 3348167455 3734064350 747750061 361312320 1757072972 3264745424 2898369137 1932836808 1469950511 350478246 1997485837 2867729089 2762566891 3442016474 1776668967 2141119251 4135047592 1861013672 3965653716 2980941376 2572937023 727904823 3600060825 2063344390 4135882458 3103192009 716895894 439109026 2207667681 3267258635 3819635732 2645476918 3770328411 1778315937 4034410913 2971122573 2124675779 3666310840 1334850942 1367853425 3187054961 2046514991 300671638 1585751728 3457988631 2825203749 1733809302 3311555688 2596027252 3890081868 1534058270 1505964341 1406272972 2386415163 2019432382 176166316 1182242962 1009811991 1221170760 3136924057 2258746275 4138885042 3974438626 2957160335 1683692333 4132052030 3898551724 1907510583 3366029505 200291792 1954688834 1686010641 4162094814 375616385 4290600449 133092422 59059549 287482156 876746168 1276898344 927644404 781441451 2658976795 2272370124 2646074326 2278049445 3993978410 1398030760 3342551705 324982688 3282370185 2964776447 3946237014 2516846058 1933200516 3821231508 2163108572 1041232027 3171225928 2932898377 2493462694 1722562341 1146910854 1487318500 1602843442 2346248884 770263698 3464355456 2379822957 4265936336 1186654746 3254385863 2721982265 1766876770 2469774617 2062114454 2809626737 37178421 2579825447 3729567307 3399359606 255 362436" option to reproduce the execution
0.00/0.04	c #vars 600
0.00/0.04	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 |      238      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      186 |      100 |      238      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      568 |      100 |      238      0 |        0 |        0
0.00/0.06	c #cpu_time = 0.019s
0.00/0.06	c #wall_clock_time = 0.019s
0.00/0.06	c #decision = 568
0.00/0.06	c #random_decision = 5
0.00/0.06	c #conflict = 100
0.00/0.06	c #restart = 1
0.00/0.06	o 748
0.00/0.06	c BCD2: updating upper bound: 2254 -> 747
0.00/0.06	c BCD2: 0 <= obj <= 747
0.00/0.06	c BCD2: #cores=0, #unrelaxed=46, #relaxed=0, #hardened=0
0.00/0.06	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.06	c Solving starts ...
0.00/0.06	c ============================[ Search Statistics ]============================
0.00/0.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.06	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.06	c =============================================================================
0.00/0.06	c  0.0s |       0 |        0 |        0 |      238      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      256 |      100 |      262      0 |        0 |        0
0.09/0.13	c  0.1s |       2 |      691 |      250 |      289      0 |        0 |        0
0.18/0.21	c  0.1s |       3 |     1211 |      475 |      318      1 |        0 |        0
0.28/0.32	c  0.3s |       4 |     1762 |      813 |      350      2 |        0 |        0
0.49/0.50	c  0.4s |       5 |     2483 |     1320 |      386      4 |        0 |        0
0.79/0.82	c  0.8s |       6 |     3519 |     2081 |      425      6 |        0 |        0
1.19/1.22	c  1.2s |       7 |     5066 |     3223 |      468     10 |        0 |        0
1.69/1.75	c  1.7s |       8 |     8882 |     4936 |      515     14 |        0 |        0
2.59/2.61	c  2.5s |       9 |    13184 |     7506 |      567     22 |        0 |        0
4.19/4.24	c  4.2s |      10 |    18160 |    11361 |      624     32 |        0 |        0
6.08/6.13	c  6.1s |      11 |    26654 |    17144 |      687     47 |        0 |        0
8.08/8.15	c  8.1s |      11 |    33513 |    22644 |      687     60 |        0 |        0
9.18/9.24	c  9.2s |      12 |    37064 |    25819 |      756     68 |        0 |        0
11.18/11.24	c 11.2s |      12 |    45226 |    31419 |      756     80 |        0 |        0
13.19/13.27	c 13.2s |      12 |    53641 |    36419 |      756     91 |        0 |        0
14.18/14.28	c 14.2s |      13 |    56451 |    38832 |      832     96 |        0 |        0
16.18/16.29	c 16.2s |      13 |    64246 |    43932 |      832    107 |        0 |        0
18.28/18.32	c 18.3s |      13 |    70059 |    49032 |      832    117 |        0 |        0
20.28/20.36	c 20.3s |      13 |    76716 |    54632 |      832    129 |        0 |        0
21.68/21.71	c 21.6s |      14 |    81045 |    58352 |      916    136 |        0 |        0
23.68/23.73	c 23.7s |      14 |    87258 |    63552 |      916    146 |        0 |        0
25.68/25.74	c 25.7s |      14 |    93667 |    68452 |      916    155 |        0 |        0
27.68/27.77	c 27.7s |      14 |    99617 |    73352 |      916    164 |        0 |        0
29.69/29.79	c 29.7s |      14 |   105899 |    78652 |      916    174 |        0 |        0
31.78/31.81	c 31.8s |      14 |   111770 |    83752 |      916    184 |        0 |        0
33.28/33.37	c 33.3s |      15 |   116219 |    87632 |     1008    191 |        0 |        0
35.28/35.39	c 35.3s |      15 |   123545 |    93332 |     1008    201 |        0 |        0
37.28/37.40	c 37.3s |      15 |   129418 |    98432 |     1008    210 |        0 |        0
39.37/39.44	c 39.4s |      15 |   134948 |   103232 |     1008    218 |        0 |        0
41.37/41.46	c 41.4s |      15 |   140770 |   108032 |     1008    227 |        0 |        0
43.37/43.49	c 43.4s |      15 |   146179 |   112632 |     1008    235 |        0 |        0
45.48/45.50	c 45.4s |      15 |   151623 |   117332 |     1008    243 |        0 |        0
47.48/47.52	c 47.5s |      15 |   156993 |   122032 |     1008    251 |        0 |        0
49.49/49.55	c 49.5s |      15 |   162780 |   126632 |     1008    259 |        0 |        0
51.48/51.56	c 51.5s |      15 |   168348 |   130932 |     1109    266 |        0 |        0
51.79/51.82	c 51.8s |      16 |   169062 |   131552 |     1109    267 |        0 |        0
53.78/53.85	c 53.8s |      16 |   175712 |   136052 |     1109    274 |        0 |        0
55.78/55.89	c 55.8s |      16 |   181204 |   140752 |     1109    282 |        0 |        0
57.88/57.90	c 57.8s |      16 |   187520 |   146052 |     1109    290 |        0 |        0
59.88/59.95	c 59.9s |      16 |   192362 |   150352 |     1109    297 |        0 |        0
61.88/61.99	c 61.9s |      16 |   197366 |   154752 |     1109    303 |        0 |        0
63.98/64.02	c 64.0s |      16 |   202032 |   158852 |     1109    310 |        0 |        0
65.98/66.03	c 66.0s |      16 |   207110 |   163352 |     1109    317 |        0 |        0
67.98/68.05	c 68.0s |      16 |   213127 |   168052 |     1109    324 |        0 |        0
69.98/70.07	c 70.0s |      16 |   218718 |   172752 |     1109    332 |        0 |        0
71.98/72.08	c 72.0s |      16 |   224360 |   177552 |     1109    339 |        0 |        0
73.98/74.09	c 74.0s |      16 |   229850 |   182252 |     1109    347 |        0 |        0
76.08/76.11	c 76.0s |      16 |   236073 |   186752 |     1109    354 |        0 |        0
78.08/78.16	c 78.1s |      16 |   241954 |   191452 |     1109    361 |        0 |        0
80.17/80.20	c 80.1s |      16 |   247270 |   195952 |     1109    369 |        0 |        0
80.87/80.92	c 80.9s |      17 |   248974 |   197432 |     1220    371 |        0 |        0
82.87/82.95	c 82.9s |      17 |   254747 |   202232 |     1220    378 |        0 |        0
84.87/84.96	c 84.9s |      17 |   259716 |   206632 |     1220    384 |        0 |        0
86.88/86.96	c 86.9s |      17 |   265321 |   211532 |     1220    391 |        0 |        0
88.87/88.97	c 88.9s |      17 |   272257 |   216432 |     1220    398 |        0 |        0
90.87/90.97	c 90.9s |      17 |   279084 |   221632 |     1220    406 |        0 |        0
92.97/93.00	c 92.9s |      17 |   285773 |   226732 |     1220    413 |        0 |        0
94.97/95.04	c 95.0s |      17 |   292208 |   231532 |     1220    420 |        0 |        0
96.97/97.05	c 97.0s |      17 |   298074 |   236332 |     1220    427 |        0 |        0
98.98/99.08	c 99.0s |      17 |   305042 |   241332 |     1220    434 |        0 |        0
100.97/101.09	c  101s |      17 |   311077 |   246132 |     1220    441 |        0 |        0
103.07/103.12	c  103s |      17 |   316809 |   250332 |     1220    447 |        0 |        0
105.07/105.12	c  105s |      17 |   322175 |   254232 |     1220    453 |        0 |        0
107.07/107.13	c  107s |      17 |   327276 |   258232 |     1220    458 |        0 |        0
109.07/109.14	c  109s |      17 |   332661 |   262232 |     1220    464 |        0 |        0
111.07/111.17	c  111s |      17 |   337134 |   265832 |     1220    469 |        0 |        0
113.17/113.22	c  113s |      17 |   341595 |   269732 |     1220    475 |        0 |        0
115.17/115.23	c  115s |      17 |   346067 |   273532 |     1220    481 |        0 |        0
117.17/117.25	c  117s |      17 |   350947 |   277732 |     1220    487 |        0 |        0
119.17/119.25	c  119s |      17 |   355769 |   281932 |     1220    493 |        0 |        0
121.17/121.27	c  121s |      17 |   360923 |   286332 |     1220    499 |        0 |        0
123.17/123.30	c  123s |      17 |   365746 |   290532 |     1220    505 |        0 |        0
125.26/125.35	c  125s |      17 |   370587 |   294732 |     1342    511 |        0 |        0
125.96/126.08	c  126s |      18 |   372297 |   296252 |     1342    513 |        0 |        0
128.06/128.11	c  128s |      18 |   379875 |   300552 |     1342    519 |        0 |        0
130.06/130.14	c  130s |      18 |   385566 |   304652 |     1342    524 |        0 |        0
132.07/132.17	c  132s |      18 |   390831 |   308652 |     1342    530 |        0 |        0
134.17/134.21	c  134s |      18 |   395777 |   312552 |     1342    535 |        0 |        0
136.16/136.23	c  136s |      18 |   401339 |   316852 |     1342    540 |        0 |        0
138.16/138.26	c  138s |      18 |   406635 |   321052 |     1342    546 |        0 |        0
140.16/140.27	c  140s |      18 |   411596 |   324852 |     1342    551 |        0 |        0
142.16/142.29	c  142s |      18 |   416162 |   328552 |     1342    556 |        0 |        0
144.26/144.32	c  144s |      18 |   421298 |   332852 |     1342    562 |        0 |        0
146.27/146.35	c  146s |      18 |   426132 |   336952 |     1342    567 |        0 |        0
148.26/148.38	c  148s |      18 |   431271 |   340952 |     1342    572 |        0 |        0
150.26/150.39	c  150s |      18 |   436770 |   345552 |     1342    578 |        0 |        0
152.36/152.42	c  152s |      18 |   442961 |   350252 |     1342    584 |        0 |        0
154.36/154.44	c  154s |      18 |   448483 |   354752 |     1342    590 |        0 |        0
156.46/156.50	c  156s |      18 |   454486 |   359452 |     1342    597 |        0 |        0
158.46/158.54	c  158s |      18 |   459778 |   363852 |     1342    602 |        0 |        0
160.46/160.55	c  160s |      18 |   464972 |   368052 |     1342    608 |        0 |        0
162.46/162.59	c  162s |      18 |   470877 |   372552 |     1342    614 |        0 |        0
164.46/164.59	c  164s |      18 |   475947 |   376952 |     1342    620 |        0 |        0
166.56/166.60	c  166s |      18 |   481161 |   381452 |     1342    626 |        0 |        0
168.56/168.61	c  168s |      18 |   486717 |   385852 |     1342    631 |        0 |        0
170.57/170.66	c  170s |      18 |   491962 |   390052 |     1342    637 |        0 |        0
172.56/172.68	c  172s |      18 |   497266 |   394352 |     1342    643 |        0 |        0
174.66/174.72	c  174s |      18 |   502195 |   398452 |     1342    648 |        0 |        0
176.66/176.72	c  176s |      18 |   507342 |   402652 |     1342    654 |        0 |        0
178.66/178.74	c  178s |      18 |   512510 |   406952 |     1342    659 |        0 |        0
180.66/180.76	c  180s |      18 |   517720 |   411252 |     1342    665 |        0 |        0
182.76/182.80	c  182s |      18 |   522740 |   415452 |     1342    671 |        0 |        0
184.77/184.83	c  184s |      18 |   527556 |   419652 |     1342    676 |        0 |        0
186.76/186.84	c  186s |      18 |   533389 |   424152 |     1342    682 |        0 |        0
188.76/188.86	c  188s |      18 |   539238 |   428652 |     1342    688 |        0 |        0
190.76/190.89	c  190s |      18 |   545192 |   433752 |     1342    695 |        0 |        0
192.76/192.89	c  192s |      18 |   550324 |   438052 |     1342    700 |        0 |        0
194.86/194.92	c  194s |      18 |   556109 |   442752 |     1477    706 |        0 |        0
195.66/195.72	c  195s |      19 |   558173 |   444482 |     1477    708 |        0 |        0
197.66/197.73	c  197s |      19 |   566531 |   449182 |     1477    714 |        0 |        0
199.66/199.73	c  199s |      19 |   572820 |   453982 |     1477    720 |        0 |        0
201.66/201.76	c  201s |      19 |   577716 |   457882 |     1477    724 |        0 |        0
203.76/203.80	c  203s |      19 |   582720 |   461782 |     1477    729 |        0 |        0
205.76/205.81	c  205s |      19 |   588388 |   465782 |     1477    734 |        0 |        0
207.76/207.82	c  207s |      19 |   594524 |   469282 |     1477    738 |        0 |        0
209.76/209.84	c  209s |      19 |   600460 |   472682 |     1477    742 |        0 |        0
211.75/211.86	c  211s |      19 |   606408 |   476382 |     1477    746 |        0 |        0
213.85/213.91	c  213s |      19 |   612051 |   480482 |     1477    751 |        0 |        0
215.85/215.92	c  215s |      19 |   616568 |   483882 |     1477    755 |        0 |        0
217.86/217.94	c  217s |      19 |   620264 |   486982 |     1477    759 |        0 |        0
219.85/219.96	c  219s |      19 |   623886 |   489982 |     1477    762 |        0 |        0
221.95/222.02	c  221s |      19 |   628136 |   493282 |     1477    766 |        0 |        0
223.95/224.05	c  223s |      19 |   632748 |   496482 |     1477    770 |        0 |        0
226.05/226.11	c  226s |      19 |   639247 |   499982 |     1477    774 |        0 |        0
228.05/228.12	c  228s |      19 |   643177 |   503082 |     1477    778 |        0 |        0
230.05/230.14	c  230s |      19 |   647288 |   505982 |     1477    781 |        0 |        0
232.06/232.16	c  232s |      19 |   651779 |   508982 |     1477    785 |        0 |        0
234.15/234.21	c  234s |      19 |   656773 |   511782 |     1477    788 |        0 |        0
236.15/236.27	c  236s |      19 |   660946 |   514382 |     1477    791 |        0 |        0
238.25/238.30	c  238s |      19 |   665805 |   517782 |     1477    795 |        0 |        0
240.25/240.35	c  240s |      19 |   669718 |   520882 |     1477    799 |        0 |        0
242.35/242.40	c  242s |      19 |   673906 |   523982 |     1477    803 |        0 |        0
244.35/244.44	c  244s |      19 |   678342 |   526982 |     1477    806 |        0 |        0
246.35/246.47	c  246s |      19 |   682862 |   529982 |     1477    810 |        0 |        0
248.45/248.53	c  248s |      19 |   686426 |   532682 |     1477    813 |        0 |        0
250.45/250.56	c  250s |      19 |   689673 |   535182 |     1477    816 |        0 |        0
252.45/252.58	c  252s |      19 |   694355 |   538482 |     1477    820 |        0 |        0
254.54/254.61	c  254s |      19 |   699859 |   542282 |     1477    824 |        0 |        0
256.54/256.63	c  256s |      19 |   704986 |   546182 |     1477    829 |        0 |        0
258.55/258.66	c  258s |      19 |   710641 |   550082 |     1477    834 |        0 |        0
260.54/260.66	c  260s |      19 |   716535 |   554082 |     1477    838 |        0 |        0
262.54/262.67	c  262s |      19 |   721679 |   557782 |     1477    843 |        0 |        0
264.64/264.71	c  264s |      19 |   727323 |   561782 |     1477    847 |        0 |        0
266.64/266.77	c  266s |      19 |   731577 |   565182 |     1477    852 |        0 |        0
268.64/268.79	c  268s |      19 |   737151 |   569182 |     1477    856 |        0 |        0
270.74/270.83	c  270s |      19 |   742187 |   572882 |     1477    861 |        0 |        0
272.75/272.83	c  272s |      19 |   747639 |   576682 |     1477    865 |        0 |        0
274.74/274.85	c  274s |      19 |   754689 |   581082 |     1477    870 |        0 |        0
276.74/276.88	c  276s |      19 |   761989 |   584882 |     1477    875 |        0 |        0
278.84/278.94	c  278s |      19 |   767250 |   588582 |     1477    879 |        0 |        0
280.84/280.97	c  280s |      19 |   773154 |   592182 |     1477    884 |        0 |        0
282.84/282.98	c  282s |      19 |   779981 |   596682 |     1477    889 |        0 |        0
284.94/285.00	c  284s |      19 |   785013 |   600382 |     1477    893 |        0 |        0
286.94/287.03	c  286s |      19 |   792156 |   604682 |     1477    899 |        0 |        0
288.94/289.09	c  289s |      19 |   797944 |   608882 |     1477    904 |        0 |        0
290.94/291.09	c  291s |      19 |   804318 |   612582 |     1477    908 |        0 |        0
292.94/293.10	c  293s |      19 |   810272 |   616782 |     1477    913 |        0 |        0
295.04/295.13	c  295s |      19 |   817468 |   621582 |     1477    919 |        0 |        0
297.04/297.13	c  297s |      19 |   823595 |   625782 |     1477    924 |        0 |        0
299.03/299.14	c  299s |      19 |   829794 |   630282 |     1477    929 |        0 |        0
301.03/301.16	c  301s |      19 |   834875 |   634382 |     1477    934 |        0 |        0
303.03/303.17	c  303s |      19 |   839574 |   637982 |     1477    938 |        0 |        0
305.03/305.19	c  305s |      19 |   844871 |   641882 |     1477    943 |        0 |        0
307.14/307.22	c  307s |      19 |   848702 |   645282 |     1477    947 |        0 |        0
309.15/309.25	c  309s |      19 |   853558 |   649282 |     1477    952 |        0 |        0
311.14/311.27	c  311s |      19 |   857574 |   652582 |     1477    956 |        0 |        0
313.14/313.29	c  313s |      19 |   861838 |   655982 |     1477    960 |        0 |        0
315.24/315.30	c  315s |      19 |   867996 |   660682 |     1477    965 |        0 |        0
317.24/317.31	c  317s |      19 |   872974 |   664682 |     1625    970 |        0 |        0
318.24/318.36	c  318s |      20 |   876387 |   666827 |     1625    972 |        0 |        0
320.24/320.37	c  320s |      20 |   884224 |   672027 |     1625    978 |        0 |        0
322.35/322.41	c  322s |      20 |   891602 |   677027 |     1625    983 |        0 |        0
324.34/324.41	c  324s |      20 |   898184 |   681827 |     1625    989 |        0 |        0
326.34/326.43	c  326s |      20 |   905912 |   686827 |     1625    994 |        0 |        0
328.34/328.44	c  328s |      20 |   912019 |   691327 |     1625   1000 |        0 |        0
330.34/330.46	c  330s |      20 |   918938 |   696227 |     1625   1005 |        0 |        0
332.33/332.48	c  332s |      20 |   925342 |   701027 |     1625   1010 |        0 |        0
334.34/334.49	c  334s |      20 |   932022 |   705527 |     1625   1016 |        0 |        0
336.43/336.53	c  336s |      20 |   937286 |   709327 |     1625   1020 |        0 |        0
338.43/338.56	c  338s |      20 |   942541 |   713327 |     1625   1024 |        0 |        0
340.43/340.59	c  340s |      20 |   948071 |   717327 |     1625   1029 |        0 |        0
342.53/342.60	c  342s |      20 |   953261 |   720727 |     1625   1033 |        0 |        0
344.53/344.60	c  344s |      20 |   957749 |   724427 |     1625   1037 |        0 |        0
346.54/346.62	c  346s |      20 |   962116 |   728027 |     1625   1041 |        0 |        0
348.53/348.66	c  348s |      20 |   967271 |   731927 |     1625   1045 |        0 |        0
350.53/350.69	c  350s |      20 |   971852 |   735927 |     1625   1050 |        0 |        0
352.63/352.70	c  352s |      20 |   976913 |   740227 |     1625   1055 |        0 |        0
354.63/354.73	c  354s |      20 |   982080 |   744427 |     1625   1059 |        0 |        0
356.63/356.73	c  356s |      20 |   987057 |   748227 |     1625   1063 |        0 |        0
358.64/358.74	c  358s |      20 |   992963 |   752527 |     1625   1068 |        0 |        0
360.63/360.75	c  360s |      20 |   998087 |   756627 |     1625   1073 |        0 |        0
362.63/362.78	c  362s |      20 |  1004432 |   761527 |     1625   1078 |        0 |        0
364.73/364.82	c  364s |      20 |  1011004 |   766427 |     1625   1084 |        0 |        0
366.73/366.82	c  366s |      20 |  1016275 |   770727 |     1625   1088 |        0 |        0
368.73/368.85	c  368s |      20 |  1022653 |   775527 |     1625   1094 |        0 |        0
370.73/370.88	c  370s |      20 |  1028752 |   780227 |     1625   1099 |        0 |        0
372.83/372.91	c  372s |      20 |  1034661 |   784827 |     1625   1104 |        0 |        0
374.83/374.95	c  374s |      20 |  1040789 |   789327 |     1625   1109 |        0 |        0
376.82/376.99	c  376s |      20 |  1046796 |   793827 |     1625   1114 |        0 |        0
378.92/379.00	c  378s |      20 |  1052924 |   798627 |     1625   1119 |        0 |        0
380.92/381.03	c  380s |      20 |  1059182 |   803427 |     1625   1125 |        0 |        0
382.92/383.04	c  382s |      20 |  1065976 |   808327 |     1625   1130 |        0 |        0
384.93/385.04	c  384s |      20 |  1072294 |   812827 |     1625   1135 |        0 |        0
386.92/387.06	c  386s |      20 |  1079157 |   817527 |     1625   1140 |        0 |        0
388.92/389.07	c  389s |      20 |  1086128 |   821927 |     1625   1145 |        0 |        0
391.02/391.10	c  391s |      20 |  1091901 |   826827 |     1625   1151 |        0 |        0
393.02/393.13	c  393s |      20 |  1097158 |   831127 |     1625   1155 |        0 |        0
395.02/395.15	c  395s |      20 |  1102785 |   835827 |     1625   1161 |        0 |        0
397.03/397.16	c  397s |      20 |  1107796 |   840127 |     1625   1165 |        0 |        0
399.02/399.19	c  399s |      20 |  1113378 |   844727 |     1625   1170 |        0 |        0
401.12/401.23	c  401s |      20 |  1119269 |   849327 |     1625   1175 |        0 |        0
403.12/403.23	c  403s |      20 |  1126749 |   854127 |     1625   1181 |        0 |        0
405.12/405.26	c  405s |      20 |  1133327 |   858527 |     1625   1186 |        0 |        0
407.12/407.26	c  407s |      20 |  1139466 |   863127 |     1625   1191 |        0 |        0
409.22/409.31	c  409s |      20 |  1145769 |   867627 |     1625   1196 |        0 |        0
411.22/411.33	c  411s |      20 |  1151570 |   871827 |     1625   1200 |        0 |        0
413.22/413.34	c  413s |      20 |  1157709 |   876327 |     1625   1206 |        0 |        0
415.22/415.36	c  415s |      20 |  1164308 |   881027 |     1625   1211 |        0 |        0
417.22/417.36	c  417s |      20 |  1170536 |   886227 |     1625   1217 |        0 |        0
419.22/419.37	c  419s |      20 |  1176465 |   891227 |     1625   1222 |        0 |        0
421.23/421.37	c  421s |      20 |  1182079 |   895927 |     1625   1227 |        0 |        0
423.22/423.38	c  423s |      20 |  1187185 |   900227 |     1625   1232 |        0 |        0
425.32/425.43	c  425s |      20 |  1192353 |   904627 |     1625   1237 |        0 |        0
427.32/427.44	c  427s |      20 |  1196812 |   908527 |     1625   1241 |        0 |        0
429.32/429.45	c  429s |      20 |  1201869 |   912827 |     1625   1246 |        0 |        0
431.32/431.48	c  431s |      20 |  1206710 |   916827 |     1625   1250 |        0 |        0
433.33/433.50	c  433s |      20 |  1211432 |   920827 |     1625   1255 |        0 |        0
435.42/435.55	c  435s |      20 |  1217007 |   925127 |     1625   1260 |        0 |        0
437.42/437.56	c  437s |      20 |  1221800 |   929227 |     1625   1264 |        0 |        0
439.42/439.58	c  439s |      20 |  1226892 |   933527 |     1625   1269 |        0 |        0
441.52/441.60	c  441s |      20 |  1232186 |   937727 |     1625   1273 |        0 |        0
443.52/443.62	c  443s |      20 |  1240202 |   942627 |     1625   1279 |        0 |        0
445.52/445.66	c  445s |      20 |  1246850 |   947327 |     1625   1284 |        0 |        0
447.62/447.70	c  447s |      20 |  1253362 |   951827 |     1625   1289 |        0 |        0
449.62/449.75	c  449s |      20 |  1259561 |   956527 |     1625   1295 |        0 |        0
451.62/451.77	c  451s |      20 |  1266031 |   961027 |     1625   1300 |        0 |        0
453.62/453.78	c  453s |      20 |  1272956 |   965827 |     1625   1305 |        0 |        0
455.72/455.81	c  455s |      20 |  1279307 |   970327 |     1625   1310 |        0 |        0
457.72/457.81	c  457s |      20 |  1285423 |   974827 |     1625   1315 |        0 |        0
459.72/459.82	c  459s |      20 |  1290927 |   978827 |     1625   1320 |        0 |        0
461.71/461.86	c  461s |      20 |  1297785 |   983827 |     1625   1325 |        0 |        0
463.71/463.89	c  463s |      20 |  1303936 |   988727 |     1625   1331 |        0 |        0
465.81/465.92	c  465s |      20 |  1310960 |   993827 |     1788   1336 |        0 |        0
467.81/467.92	c  467s |      20 |  1316439 |   998227 |     1788   1341 |        0 |        0
468.71/468.86	c  468s |      21 |  1319004 |  1000345 |     1788   1343 |        0 |        0
470.72/470.88	c  470s |      21 |  1329081 |  1005045 |     1788   1348 |        0 |        0
472.81/472.91	c  472s |      21 |  1336249 |  1008945 |     1788   1351 |        0 |        0
474.81/474.93	c  474s |      21 |  1342555 |  1012545 |     1788   1355 |        0 |        0
476.81/476.96	c  476s |      21 |  1347837 |  1015645 |     1788   1358 |        0 |        0
478.81/478.97	c  478s |      21 |  1353095 |  1018945 |     1788   1361 |        0 |        0
480.91/481.00	c  480s |      21 |  1358494 |  1022845 |     1788   1365 |        0 |        0
482.92/483.01	c  482s |      21 |  1363558 |  1026645 |     1788   1369 |        0 |        0
484.91/485.05	c  484s |      21 |  1367958 |  1030045 |     1788   1373 |        0 |        0
486.91/487.06	c  486s |      21 |  1372656 |  1033645 |     1788   1376 |        0 |        0
489.01/489.11	c  489s |      21 |  1377185 |  1037045 |     1788   1380 |        0 |        0
491.01/491.17	c  491s |      21 |  1382060 |  1040645 |     1788   1383 |        0 |        0
493.11/493.22	c  493s |      21 |  1386454 |  1043945 |     1788   1386 |        0 |        0
495.11/495.25	c  495s |      21 |  1390840 |  1047245 |     1788   1390 |        0 |        0
497.11/497.28	c  497s |      21 |  1394817 |  1050345 |     1788   1393 |        0 |        0
499.11/499.30	c  499s |      21 |  1398846 |  1053545 |     1788   1396 |        0 |        0
501.20/501.34	c  501s |      21 |  1403460 |  1057045 |     1788   1400 |        0 |        0
503.20/503.37	c  503s |      21 |  1407677 |  1060245 |     1788   1403 |        0 |        0
505.30/505.42	c  505s |      21 |  1412029 |  1063545 |     1788   1406 |        0 |        0
507.30/507.45	c  507s |      21 |  1415878 |  1066645 |     1788   1409 |        0 |        0
509.31/509.49	c  509s |      21 |  1420520 |  1070145 |     1788   1413 |        0 |        0
511.41/511.51	c  511s |      21 |  1424880 |  1073245 |     1788   1416 |        0 |        0
513.40/513.55	c  513s |      21 |  1428808 |  1076245 |     1788   1419 |        0 |        0
515.40/515.59	c  515s |      21 |  1432447 |  1079145 |     1788   1422 |        0 |        0
517.50/517.64	c  517s |      21 |  1436302 |  1081945 |     1788   1425 |        0 |        0
519.50/519.66	c  519s |      21 |  1440020 |  1084845 |     1788   1428 |        0 |        0
521.60/521.71	c  521s |      21 |  1444155 |  1087645 |     1788   1430 |        0 |        0
523.61/523.71	c  523s |      21 |  1448379 |  1090345 |     1788   1433 |        0 |        0
525.60/525.79	c  525s |      21 |  1451827 |  1092845 |     1788   1436 |        0 |        0
527.70/527.87	c  527s |      21 |  1455551 |  1095645 |     1788   1438 |        0 |        0
529.80/529.91	c  529s |      21 |  1458458 |  1097945 |     1788   1441 |        0 |        0
531.80/531.93	c  531s |      21 |  1462077 |  1100345 |     1788   1443 |        0 |        0
533.90/534.04	c  533s |      21 |  1465309 |  1102445 |     1788   1445 |        0 |        0
536.00/536.12	c  536s |      21 |  1469077 |  1105445 |     1788   1448 |        0 |        0
538.00/538.16	c  538s |      21 |  1473078 |  1108345 |     1788   1451 |        0 |        0
540.11/540.23	c  540s |      21 |  1476029 |  1110745 |     1788   1454 |        0 |        0
542.10/542.26	c  542s |      21 |  1479424 |  1113445 |     1788   1456 |        0 |        0
544.20/544.32	c  544s |      21 |  1483244 |  1116345 |     1788   1459 |        0 |        0
546.20/546.38	c  546s |      21 |  1486797 |  1119045 |     1788   1462 |        0 |        0
548.30/548.40	c  548s |      21 |  1490628 |  1121845 |     1788   1465 |        0 |        0
550.30/550.48	c  550s |      21 |  1494735 |  1124745 |     1788   1467 |        0 |        0
552.40/552.53	c  552s |      21 |  1498572 |  1127445 |     1788   1470 |        0 |        0
554.40/554.55	c  554s |      21 |  1502802 |  1130445 |     1788   1473 |        0 |        0
556.50/556.67	c  556s |      21 |  1507703 |  1132645 |     1788   1475 |        0 |        0
558.71/558.81	c  558s |      21 |  1510337 |  1134745 |     1788   1478 |        0 |        0
560.70/560.85	c  560s |      21 |  1512904 |  1136845 |     1788   1480 |        0 |        0
562.80/562.91	c  562s |      21 |  1516629 |  1139245 |     1788   1482 |        0 |        0
564.80/564.92	c  564s |      21 |  1519162 |  1141245 |     1788   1484 |        0 |        0
566.80/566.94	c  566s |      21 |  1524284 |  1144945 |     1788   1488 |        0 |        0
568.80/568.96	c  568s |      21 |  1529629 |  1148645 |     1788   1491 |        0 |        0
570.81/570.99	c  570s |      21 |  1535127 |  1152645 |     1788   1495 |        0 |        0
572.90/573.01	c  572s |      21 |  1540293 |  1156045 |     1788   1499 |        0 |        0
574.90/575.06	c  575s |      21 |  1546052 |  1159345 |     1788   1502 |        0 |        0
577.00/577.12	c  577s |      21 |  1550120 |  1162245 |     1788   1505 |        0 |        0
579.00/579.15	c  579s |      21 |  1554054 |  1165145 |     1788   1508 |        0 |        0
581.10/581.21	c  581s |      21 |  1559083 |  1169045 |     1788   1512 |        0 |        0
583.20/583.30	c  583s |      21 |  1562739 |  1172045 |     1788   1515 |        0 |        0
585.20/585.37	c  585s |      21 |  1566125 |  1174445 |     1788   1517 |        0 |        0
587.20/587.38	c  587s |      21 |  1568928 |  1176745 |     1788   1519 |        0 |        0
589.30/589.42	c  589s |      21 |  1573322 |  1179845 |     1788   1522 |        0 |        0
591.30/591.42	c  591s |      21 |  1577492 |  1182945 |     1788   1525 |        0 |        0
593.30/593.43	c  593s |      21 |  1582736 |  1186045 |     1788   1528 |        0 |        0
595.40/595.53	c  595s |      21 |  1589288 |  1189145 |     1788   1532 |        0 |        0
597.40/597.55	c  597s |      21 |  1593266 |  1191845 |     1788   1534 |        0 |        0
599.40/599.60	c  599s |      21 |  1598512 |  1195345 |     1788   1538 |        0 |        0
601.49/601.61	c  601s |      21 |  1602579 |  1198445 |     1788   1541 |        0 |        0
603.49/603.62	c  603s |      21 |  1606770 |  1201445 |     1788   1544 |        0 |        0
605.49/605.69	c  605s |      21 |  1612465 |  1205045 |     1788   1548 |        0 |        0
607.59/607.75	c  607s |      21 |  1618313 |  1208845 |     1788   1551 |        0 |        0
609.69/609.81	c  609s |      21 |  1624360 |  1212645 |     1788   1555 |        0 |        0
611.69/611.85	c  611s |      21 |  1629941 |  1216145 |     1788   1559 |        0 |        0
613.70/613.89	c  613s |      21 |  1635478 |  1219545 |     1788   1562 |        0 |        0
615.79/615.91	c  615s |      21 |  1638684 |  1221845 |     1788   1564 |        0 |        0
617.79/617.93	c  617s |      21 |  1642096 |  1224245 |     1788   1567 |        0 |        0
619.79/619.93	c  619s |      21 |  1646102 |  1227145 |     1788   1570 |        0 |        0
621.79/621.94	c  621s |      21 |  1651533 |  1230345 |     1788   1573 |        0 |        0
623.79/623.98	c  623s |      21 |  1655247 |  1233045 |     1788   1575 |        0 |        0
625.80/625.98	c  625s |      21 |  1659064 |  1235945 |     1788   1578 |        0 |        0
627.89/628.03	c  627s |      21 |  1662434 |  1238545 |     1788   1581 |        0 |        0
629.99/630.10	c  630s |      21 |  1665197 |  1240845 |     1788   1583 |        0 |        0
631.99/632.14	c  632s |      21 |  1668045 |  1243045 |     1788   1585 |        0 |        0
633.99/634.19	c  634s |      21 |  1673329 |  1246745 |     1788   1589 |        0 |        0
636.09/636.23	c  636s |      21 |  1678073 |  1250145 |     1788   1593 |        0 |        0
638.09/638.25	c  638s |      21 |  1683538 |  1253845 |     1788   1596 |        0 |        0
640.09/640.29	c  640s |      21 |  1688162 |  1256945 |     1788   1600 |        0 |        0
642.19/642.31	c  642s |      21 |  1692795 |  1260445 |     1788   1603 |        0 |        0
644.19/644.34	c  644s |      21 |  1698042 |  1263845 |     1788   1607 |        0 |        0
646.28/646.40	c  646s |      21 |  1703651 |  1267345 |     1788   1610 |        0 |        0
648.28/648.44	c  648s |      21 |  1709730 |  1270745 |     1788   1614 |        0 |        0
650.38/650.50	c  650s |      21 |  1715130 |  1274045 |     1788   1617 |        0 |        0
652.38/652.52	c  652s |      21 |  1719842 |  1277145 |     1788   1620 |        0 |        0
654.38/654.58	c  654s |      21 |  1725675 |  1280445 |     1788   1624 |        0 |        0
656.48/656.61	c  656s |      21 |  1731884 |  1283745 |     1788   1627 |        0 |        0
658.48/658.63	c  658s |      21 |  1737485 |  1287345 |     1788   1631 |        0 |        0
660.48/660.68	c  660s |      21 |  1741586 |  1290745 |     1788   1634 |        0 |        0
662.47/662.69	c  662s |      21 |  1745779 |  1294345 |     1788   1638 |        0 |        0
664.57/664.72	c  664s |      21 |  1750424 |  1297845 |     1788   1641 |        0 |        0
666.58/666.72	c  666s |      21 |  1754644 |  1301345 |     1788   1645 |        0 |        0
668.57/668.74	c  668s |      21 |  1758554 |  1304545 |     1788   1648 |        0 |        0
670.57/670.75	c  670s |      21 |  1763158 |  1308145 |     1788   1652 |        0 |        0
672.67/672.82	c  672s |      21 |  1767236 |  1311645 |     1788   1655 |        0 |        0
674.67/674.84	c  674s |      21 |  1771357 |  1314945 |     1788   1658 |        0 |        0
676.67/676.85	c  676s |      21 |  1775410 |  1318145 |     1788   1661 |        0 |        0
678.67/678.88	c  678s |      21 |  1779067 |  1321145 |     1788   1664 |        0 |        0
680.77/680.92	c  680s |      21 |  1782608 |  1323945 |     1788   1667 |        0 |        0
682.76/682.96	c  682s |      21 |  1787810 |  1327745 |     1788   1671 |        0 |        0
684.86/685.04	c  684s |      21 |  1792041 |  1331245 |     1788   1675 |        0 |        0
686.86/687.09	c  687s |      21 |  1796980 |  1335045 |     1788   1678 |        0 |        0
688.96/689.11	c  689s |      21 |  1802759 |  1337945 |     1788   1681 |        0 |        0
690.96/691.17	c  691s |      21 |  1806831 |  1340645 |     1788   1684 |        0 |        0
693.05/693.22	c  693s |      21 |  1810543 |  1343445 |     1788   1687 |        0 |        0
695.06/695.26	c  695s |      21 |  1814055 |  1346045 |     1788   1689 |        0 |        0
697.05/697.26	c  697s |      21 |  1817760 |  1348745 |     1788   1692 |        0 |        0
699.05/699.27	c  699s |      21 |  1822077 |  1351645 |     1788   1695 |        0 |        0
701.15/701.31	c  701s |      21 |  1826443 |  1354445 |     1788   1698 |        0 |        0
703.15/703.37	c  703s |      21 |  1830456 |  1357445 |     1788   1701 |        0 |        0
705.25/705.42	c  705s |      21 |  1833977 |  1360245 |     1788   1704 |        0 |        0
707.25/707.44	c  707s |      21 |  1838253 |  1362745 |     1788   1706 |        0 |        0
709.26/709.44	c  709s |      21 |  1842858 |  1365845 |     1788   1709 |        0 |        0
711.26/711.48	c  711s |      21 |  1847131 |  1368745 |     1788   1712 |        0 |        0
713.35/713.52	c  713s |      21 |  1850701 |  1371345 |     1788   1715 |        0 |        0
715.35/715.57	c  715s |      21 |  1854147 |  1373845 |     1788   1718 |        0 |        0
717.45/717.62	c  717s |      21 |  1857763 |  1376545 |     1788   1720 |        0 |        0
719.45/719.63	c  719s |      21 |  1863818 |  1381045 |     1788   1725 |        0 |        0
721.46/721.66	c  721s |      21 |  1870111 |  1385445 |     1788   1729 |        0 |        0
723.55/723.70	c  723s |      21 |  1875001 |  1388945 |     1788   1733 |        0 |        0
725.54/725.77	c  725s |      21 |  1879005 |  1392145 |     1788   1736 |        0 |        0
727.64/727.81	c  727s |      21 |  1882524 |  1394945 |     1788   1739 |        0 |        0
729.64/729.83	c  729s |      21 |  1886197 |  1397845 |     1788   1742 |        0 |        0
731.64/731.86	c  731s |      21 |  1890323 |  1400645 |     1788   1744 |        0 |        0
733.65/733.86	c  733s |      21 |  1894054 |  1403245 |     1788   1747 |        0 |        0
735.75/735.92	c  735s |      21 |  1897726 |  1405845 |     1788   1750 |        0 |        0
737.74/737.98	c  737s |      21 |  1901262 |  1408545 |     1788   1753 |        0 |        0
739.74/739.99	c  739s |      21 |  1905354 |  1411245 |     1788   1755 |        0 |        0
741.84/742.02	c  741s |      21 |  1908877 |  1413845 |     1788   1758 |        0 |        0
743.83/744.03	c  743s |      21 |  1913767 |  1417045 |     1788   1761 |        0 |        0
745.83/746.05	c  745s |      21 |  1917350 |  1419845 |     1788   1764 |        0 |        0
747.94/748.11	c  748s |      21 |  1921567 |  1422845 |     1788   1767 |        0 |        0
749.93/750.17	c  750s |      21 |  1926332 |  1425945 |     1788   1770 |        0 |        0
752.03/752.20	c  752s |      21 |  1930233 |  1428645 |     1788   1773 |        0 |        0
754.03/754.24	c  754s |      21 |  1933947 |  1431245 |     1788   1775 |        0 |        0
756.03/756.28	c  756s |      21 |  1937199 |  1433545 |     1788   1778 |        0 |        0
758.12/758.31	c  758s |      21 |  1941302 |  1436245 |     1788   1781 |        0 |        0
760.12/760.36	c  760s |      21 |  1945280 |  1438745 |     1788   1783 |        0 |        0
762.32/762.50	c  762s |      21 |  1948646 |  1441145 |     1788   1786 |        0 |        0
764.32/764.53	c  764s |      21 |  1953290 |  1444045 |     1788   1788 |        0 |        0
766.32/766.54	c  766s |      21 |  1955948 |  1446145 |     1788   1791 |        0 |        0
768.32/768.56	c  768s |      21 |  1959553 |  1448245 |     1788   1793 |        0 |        0
770.42/770.68	c  770s |      21 |  1962957 |  1450445 |     1788   1795 |        0 |        0
772.51/772.70	c  772s |      21 |  1966570 |  1453245 |     1788   1798 |        0 |        0
774.51/774.77	c  774s |      21 |  1970431 |  1455845 |     1788   1800 |        0 |        0
776.61/776.82	c  776s |      21 |  1973759 |  1458145 |     1788   1803 |        0 |        0
778.72/778.91	c  778s |      21 |  1977813 |  1460245 |     1788   1805 |        0 |        0
780.71/780.93	c  780s |      21 |  1982404 |  1463545 |     1788   1808 |        0 |        0
782.70/782.96	c  782s |      21 |  1987139 |  1467445 |     1788   1812 |        0 |        0
784.80/785.03	c  784s |      21 |  1991440 |  1470945 |     1788   1816 |        0 |        0
786.80/787.07	c  787s |      21 |  1995554 |  1474145 |     1788   1819 |        0 |        0
788.90/789.10	c  789s |      21 |  2000377 |  1478245 |     1788   1823 |        0 |        0
790.90/791.13	c  791s |      21 |  2004676 |  1481845 |     1788   1827 |        0 |        0
792.91/793.17	c  793s |      21 |  2008626 |  1485345 |     1788   1830 |        0 |        0
795.00/795.20	c  795s |      21 |  2012787 |  1488945 |     1788   1834 |        0 |        0
797.00/797.22	c  797s |      21 |  2016676 |  1492245 |     1967   1837 |        0 |        0
799.00/799.27	c  799s |      21 |  2020698 |  1495745 |     1967   1840 |        0 |        0
801.10/801.30	c  801s |      21 |  2024856 |  1499345 |     1967   1843 |        0 |        0
801.70/801.98	c  801s |      22 |  2026378 |  1500622 |     1967   1845 |        0 |        0
803.69/803.99	c  803s |      22 |  2038053 |  1505222 |     1967   1849 |        0 |        0
805.79/806.01	c  805s |      22 |  2045391 |  1508922 |     1967   1852 |        0 |        0
807.79/808.05	c  807s |      22 |  2054797 |  1513922 |     1967   1857 |        0 |        0
809.79/810.09	c  810s |      22 |  2061486 |  1517622 |     1967   1860 |        0 |        0
811.89/812.11	c  812s |      22 |  2067765 |  1521322 |     1967   1864 |        0 |        0
813.89/814.16	c  814s |      22 |  2074284 |  1525322 |     1967   1867 |        0 |        0
815.88/816.18	c  816s |      22 |  2081509 |  1529622 |     1967   1871 |        0 |        0
817.98/818.20	c  818s |      22 |  2086042 |  1533522 |     1967   1875 |        0 |        0
819.98/820.22	c  820s |      22 |  2091117 |  1537422 |     1967   1878 |        0 |        0
821.98/822.24	c  822s |      22 |  2097070 |  1541222 |     1967   1882 |        0 |        0
824.08/824.32	c  824s |      22 |  2103350 |  1545022 |     1967   1886 |        0 |        0
826.08/826.32	c  826s |      22 |  2107793 |  1548322 |     1967   1889 |        0 |        0
828.08/828.35	c  828s |      22 |  2112448 |  1551722 |     1967   1892 |        0 |        0
830.08/830.35	c  830s |      22 |  2116539 |  1554722 |     1967   1895 |        0 |        0
832.08/832.37	c  832s |      22 |  2123638 |  1559022 |     1967   1899 |        0 |        0
834.07/834.38	c  834s |      22 |  2129485 |  1562622 |     1967   1902 |        0 |        0
836.07/836.38	c  836s |      22 |  2134905 |  1566222 |     1967   1905 |        0 |        0
838.17/838.41	c  838s |      22 |  2139820 |  1569622 |     1967   1908 |        0 |        0
840.18/840.45	c  840s |      22 |  2144276 |  1572922 |     1967   1911 |        0 |        0
842.17/842.47	c  842s |      22 |  2150679 |  1577022 |     1967   1915 |        0 |        0
844.27/844.50	c  844s |      22 |  2155593 |  1581322 |     1967   1919 |        0 |        0
846.27/846.52	c  846s |      22 |  2160338 |  1585422 |     1967   1923 |        0 |        0
848.28/848.59	c  848s |      22 |  2164635 |  1589122 |     1967   1926 |        0 |        0
850.37/850.65	c  850s |      22 |  2169080 |  1592822 |     1967   1929 |        0 |        0
852.37/852.65	c  852s |      22 |  2173352 |  1596522 |     1967   1933 |        0 |        0
854.37/854.68	c  854s |      22 |  2177691 |  1600222 |     1967   1936 |        0 |        0
856.47/856.70	c  856s |      22 |  2181824 |  1603822 |     1967   1939 |        0 |        0
858.47/858.74	c  858s |      22 |  2185684 |  1607222 |     1967   1942 |        0 |        0
860.47/860.76	c  860s |      22 |  2189809 |  1610822 |     1967   1946 |        0 |        0
862.56/862.81	c  862s |      22 |  2194035 |  1614322 |     1967   1949 |        0 |        0
864.56/864.85	c  864s |      22 |  2199135 |  1617722 |     1967   1952 |        0 |        0
866.57/866.86	c  866s |      22 |  2205399 |  1621522 |     1967   1956 |        0 |        0
868.56/868.88	c  868s |      22 |  2209939 |  1625022 |     1967   1959 |        0 |        0
870.66/870.91	c  870s |      22 |  2214955 |  1628722 |     1967   1962 |        0 |        0
872.66/872.94	c  872s |      22 |  2219084 |  1632022 |     1967   1965 |        0 |        0
874.65/874.96	c  874s |      22 |  2222550 |  1634722 |     1967   1968 |        0 |        0
876.65/876.97	c  876s |      22 |  2226599 |  1637622 |     1967   1970 |        0 |        0
878.76/879.04	c  878s |      22 |  2230505 |  1640722 |     1967   1973 |        0 |        0
880.75/881.10	c  881s |      22 |  2234143 |  1643322 |     1967   1975 |        0 |        0
882.95/883.20	c  883s |      22 |  2237113 |  1645822 |     1967   1978 |        0 |        0
884.95/885.21	c  885s |      22 |  2239881 |  1648022 |     1967   1980 |        0 |        0
886.95/887.23	c  887s |      22 |  2245039 |  1651622 |     1967   1983 |        0 |        0
888.95/889.26	c  889s |      22 |  2248594 |  1654622 |     1967   1986 |        0 |        0
890.95/891.26	c  891s |      22 |  2252401 |  1657922 |     1967   1989 |        0 |        0
892.95/893.27	c  893s |      22 |  2256270 |  1660822 |     1967   1991 |        0 |        0
895.04/895.31	c  895s |      22 |  2260414 |  1664222 |     1967   1995 |        0 |        0
897.04/897.33	c  897s |      22 |  2264843 |  1667822 |     1967   1998 |        0 |        0
899.04/899.34	c  899s |      22 |  2269414 |  1671422 |     1967   2001 |        0 |        0
901.04/901.35	c  901s |      22 |  2273990 |  1674822 |     1967   2004 |        0 |        0
903.04/903.40	c  903s |      22 |  2278106 |  1678422 |     1967   2008 |        0 |        0
905.14/905.44	c  905s |      22 |  2282904 |  1682022 |     1967   2011 |        0 |        0
907.13/907.46	c  907s |      22 |  2287760 |  1685522 |     1967   2014 |        0 |        0
909.23/909.50	c  909s |      22 |  2291490 |  1688722 |     1967   2017 |        0 |        0
911.23/911.51	c  911s |      22 |  2295736 |  1692022 |     1967   2020 |        0 |        0
913.23/913.55	c  913s |      22 |  2300682 |  1695722 |     1967   2024 |        0 |        0
915.33/915.61	c  915s |      22 |  2305329 |  1699122 |     1967   2027 |        0 |        0
917.43/917.70	c  917s |      22 |  2310696 |  1702922 |     1967   2031 |        0 |        0
919.43/919.73	c  919s |      22 |  2314509 |  1706022 |     1967   2033 |        0 |        0
921.43/921.74	c  921s |      22 |  2318713 |  1709122 |     1967   2036 |        0 |        0
923.52/923.84	c  923s |      22 |  2322621 |  1711722 |     1967   2039 |        0 |        0
925.53/925.86	c  925s |      22 |  2327820 |  1715422 |     1967   2042 |        0 |        0
927.63/927.90	c  927s |      22 |  2331938 |  1718422 |     1967   2045 |        0 |        0
929.63/929.97	c  929s |      22 |  2335524 |  1721122 |     1967   2047 |        0 |        0
931.73/932.03	c  931s |      22 |  2339527 |  1724022 |     1967   2050 |        0 |        0
933.73/934.05	c  933s |      22 |  2343977 |  1726722 |     1967   2052 |        0 |        0
935.83/936.12	c  936s |      22 |  2348172 |  1729522 |     1967   2055 |        0 |        0
937.83/938.15	c  938s |      22 |  2353448 |  1733022 |     1967   2058 |        0 |        0
939.83/940.19	c  940s |      22 |  2357569 |  1736022 |     1967   2061 |        0 |        0
941.92/942.24	c  942s |      22 |  2362403 |  1739322 |     1967   2064 |        0 |        0
943.92/944.26	c  944s |      22 |  2368392 |  1743322 |     1967   2068 |        0 |        0
945.92/946.27	c  946s |      22 |  2373672 |  1746722 |     1967   2071 |        0 |        0
948.03/948.32	c  948s |      22 |  2379971 |  1750022 |     1967   2074 |        0 |        0
950.02/950.33	c  950s |      22 |  2384635 |  1753422 |     1967   2077 |        0 |        0
952.02/952.35	c  952s |      22 |  2389322 |  1756622 |     1967   2080 |        0 |        0
954.02/954.39	c  954s |      22 |  2394577 |  1759822 |     1967   2083 |        0 |        0
956.12/956.40	c  956s |      22 |  2400438 |  1762822 |     1967   2086 |        0 |        0
958.12/958.44	c  958s |      22 |  2406296 |  1766022 |     1967   2088 |        0 |        0
960.12/960.45	c  960s |      22 |  2411273 |  1769922 |     1967   2092 |        0 |        0
962.11/962.48	c  962s |      22 |  2416333 |  1773922 |     1967   2096 |        0 |        0
964.11/964.48	c  964s |      22 |  2421563 |  1778022 |     1967   2100 |        0 |        0
966.21/966.54	c  966s |      22 |  2426583 |  1781922 |     1967   2103 |        0 |        0
968.21/968.58	c  968s |      22 |  2431401 |  1785522 |     1967   2107 |        0 |        0
970.31/970.60	c  970s |      22 |  2435512 |  1788922 |     1967   2110 |        0 |        0
972.31/972.61	c  972s |      22 |  2440150 |  1792322 |     1967   2113 |        0 |        0
974.31/974.62	c  974s |      22 |  2443498 |  1795122 |     1967   2116 |        0 |        0
976.31/976.63	c  976s |      22 |  2447269 |  1798122 |     1967   2118 |        0 |        0
978.31/978.64	c  978s |      22 |  2451009 |  1800822 |     1967   2121 |        0 |        0
980.31/980.69	c  980s |      22 |  2454484 |  1803722 |     1967   2124 |        0 |        0
982.40/982.73	c  982s |      22 |  2458550 |  1806922 |     1967   2127 |        0 |        0
984.40/984.79	c  984s |      22 |  2462616 |  1810422 |     1967   2130 |        0 |        0
986.51/986.85	c  986s |      22 |  2465910 |  1813322 |     1967   2133 |        0 |        0
988.50/988.87	c  988s |      22 |  2470670 |  1817122 |     1967   2136 |        0 |        0
990.60/990.90	c  990s |      22 |  2474951 |  1820322 |     1967   2139 |        0 |        0
992.60/992.95	c  992s |      22 |  2478946 |  1823522 |     1967   2142 |        0 |        0
994.59/994.96	c  994s |      22 |  2482500 |  1826622 |     1967   2145 |        0 |        0
996.59/996.96	c  996s |      22 |  2486064 |  1829722 |     1967   2148 |        0 |        0
998.69/999.02	c  998s |      22 |  2489901 |  1832922 |     1967   2151 |        0 |        0
1000.70/1001.05	c 1000s |      22 |  2493336 |  1835922 |     1967   2154 |        0 |        0
1002.79/1003.11	c 1003s |      22 |  2496563 |  1838722 |     1967   2156 |        0 |        0
1004.78/1005.12	c 1005s |      22 |  2500310 |  1841922 |     1967   2159 |        0 |        0
1006.78/1007.13	c 1007s |      22 |  2503429 |  1844722 |     1967   2162 |        0 |        0
1008.78/1009.16	c 1009s |      22 |  2507086 |  1847722 |     1967   2165 |        0 |        0
1010.78/1011.17	c 1011s |      22 |  2510940 |  1850922 |     1967   2168 |        0 |        0
1012.79/1013.19	c 1013s |      22 |  2514757 |  1854022 |     1967   2170 |        0 |        0
1014.78/1015.19	c 1015s |      22 |  2518805 |  1857222 |     1967   2173 |        0 |        0
1016.88/1017.22	c 1017s |      22 |  2522845 |  1860522 |     1967   2177 |        0 |        0
1018.89/1019.24	c 1019s |      22 |  2526989 |  1864022 |     1967   2180 |        0 |        0
1020.88/1021.25	c 1021s |      22 |  2531094 |  1867322 |     1967   2183 |        0 |        0
1022.98/1023.31	c 1023s |      22 |  2535407 |  1870522 |     1967   2186 |        0 |        0
1024.99/1025.35	c 1025s |      22 |  2539291 |  1873722 |     1967   2189 |        0 |        0
1026.98/1027.39	c 1027s |      22 |  2542900 |  1876822 |     1967   2192 |        0 |        0
1029.08/1029.40	c 1029s |      22 |  2547188 |  1880322 |     1967   2195 |        0 |        0
1031.08/1031.42	c 1031s |      22 |  2551029 |  1883622 |     1967   2198 |        0 |        0
1033.07/1033.48	c 1033s |      22 |  2554675 |  1886722 |     1967   2201 |        0 |        0
1035.17/1035.51	c 1035s |      22 |  2558619 |  1889722 |     1967   2204 |        0 |        0
1037.17/1037.56	c 1037s |      22 |  2562144 |  1892722 |     1967   2207 |        0 |        0
1039.18/1039.59	c 1039s |      22 |  2565787 |  1895622 |     1967   2209 |        0 |        0
1041.27/1041.62	c 1041s |      22 |  2569599 |  1898622 |     1967   2212 |        0 |        0
1043.27/1043.67	c 1043s |      22 |  2573870 |  1901622 |     1967   2215 |        0 |        0
1045.37/1045.70	c 1045s |      22 |  2578921 |  1905022 |     1967   2218 |        0 |        0
1047.37/1047.73	c 1047s |      22 |  2583337 |  1908122 |     1967   2221 |        0 |        0
1049.37/1049.73	c 1049s |      22 |  2587366 |  1911222 |     1967   2224 |        0 |        0
1051.37/1051.78	c 1051s |      22 |  2592466 |  1914522 |     1967   2227 |        0 |        0
1053.47/1053.80	c 1053s |      22 |  2595342 |  1917022 |     1967   2229 |        0 |        0
1055.46/1055.85	c 1055s |      22 |  2598949 |  1920022 |     1967   2232 |        0 |        0
1057.56/1057.92	c 1057s |      22 |  2601792 |  1922422 |     1967   2235 |        0 |        0
1059.56/1059.97	c 1059s |      22 |  2605815 |  1925422 |     1967   2237 |        0 |        0
1061.66/1062.01	c 1061s |      22 |  2609741 |  1928222 |     1967   2240 |        0 |        0
1063.66/1064.07	c 1064s |      22 |  2613359 |  1931122 |     1967   2243 |        0 |        0
1065.66/1066.08	c 1066s |      22 |  2615929 |  1933322 |     1967   2245 |        0 |        0
1067.76/1068.11	c 1068s |      22 |  2619091 |  1935822 |     1967   2247 |        0 |        0
1069.75/1070.14	c 1070s |      22 |  2622244 |  1938522 |     1967   2250 |        0 |        0
1071.75/1072.17	c 1072s |      22 |  2625510 |  1941222 |     1967   2252 |        0 |        0
1073.85/1074.22	c 1074s |      22 |  2628574 |  1943822 |     1967   2255 |        0 |        0
1075.85/1076.24	c 1076s |      22 |  2632244 |  1946622 |     1967   2257 |        0 |        0
1077.95/1078.30	c 1078s |      22 |  2635929 |  1949522 |     1967   2260 |        0 |        0
1079.96/1080.38	c 1080s |      22 |  2639641 |  1952222 |     1967   2263 |        0 |        0
1082.06/1082.43	c 1082s |      22 |  2642701 |  1954722 |     1967   2265 |        0 |        0
1084.04/1084.44	c 1084s |      22 |  2646923 |  1957022 |     1967   2267 |        0 |        0
1086.14/1086.50	c 1086s |      22 |  2651373 |  1960622 |     1967   2270 |        0 |        0
1088.14/1088.51	c 1088s |      22 |  2655808 |  1963622 |     1967   2273 |        0 |        0
1090.14/1090.55	c 1090s |      22 |  2659564 |  1966122 |     1967   2276 |        0 |        0
1092.14/1092.59	c 1092s |      22 |  2664401 |  1969122 |     1967   2278 |        0 |        0
1094.14/1094.60	c 1094s |      22 |  2668602 |  1971922 |     1967   2281 |        0 |        0
1096.24/1096.63	c 1096s |      22 |  2674876 |  1976322 |     1967   2285 |        0 |        0
1098.24/1098.67	c 1098s |      22 |  2680043 |  1979922 |     1967   2288 |        0 |        0
1100.33/1100.70	c 1100s |      22 |  2683344 |  1982722 |     1967   2291 |        0 |        0
1102.33/1102.72	c 1102s |      22 |  2687583 |  1985522 |     1967   2294 |        0 |        0
1104.33/1104.72	c 1104s |      22 |  2692267 |  1988522 |     1967   2296 |        0 |        0
1106.34/1106.78	c 1106s |      22 |  2697290 |  1991922 |     1967   2299 |        0 |        0
1108.33/1108.80	c 1108s |      22 |  2701823 |  1995022 |     1967   2302 |        0 |        0
1110.44/1110.86	c 1110s |      22 |  2708349 |  1998122 |     1967   2305 |        0 |        0
1112.43/1112.89	c 1112s |      22 |  2712546 |  2001422 |     1967   2308 |        0 |        0
1114.53/1114.91	c 1114s |      22 |  2716467 |  2004622 |     1967   2311 |        0 |        0
1116.53/1116.95	c 1116s |      22 |  2720814 |  2007122 |     1967   2313 |        0 |        0
1118.53/1118.98	c 1118s |      22 |  2725002 |  2009422 |     1967   2316 |        0 |        0
1120.64/1121.01	c 1120s |      22 |  2729045 |  2011822 |     1967   2318 |        0 |        0
1122.63/1123.09	c 1123s |      22 |  2732711 |  2014622 |     1967   2320 |        0 |        0
1124.73/1125.16	c 1125s |      22 |  2736082 |  2017122 |     1967   2323 |        0 |        0
1126.73/1127.18	c 1127s |      22 |  2739040 |  2019422 |     1967   2325 |        0 |        0
1128.73/1129.18	c 1129s |      22 |  2742212 |  2021822 |     1967   2327 |        0 |        0
1130.83/1131.23	c 1131s |      22 |  2746163 |  2024522 |     1967   2329 |        0 |        0
1132.82/1133.28	c 1133s |      22 |  2751001 |  2027322 |     1967   2332 |        0 |        0
1134.93/1135.37	c 1135s |      22 |  2754938 |  2029922 |     1967   2334 |        0 |        0
1136.92/1137.39	c 1137s |      22 |  2758864 |  2032422 |     1967   2337 |        0 |        0
1139.02/1139.42	c 1139s |      22 |  2762006 |  2034922 |     1967   2339 |        0 |        0
1141.02/1141.42	c 1141s |      22 |  2764634 |  2037022 |     1967   2341 |        0 |        0
1143.02/1143.43	c 1143s |      22 |  2767913 |  2039322 |     1967   2343 |        0 |        0
1145.11/1145.50	c 1145s |      22 |  2771061 |  2041522 |     1967   2345 |        0 |        0
1147.11/1147.56	c 1147s |      22 |  2774560 |  2043922 |     1967   2347 |        0 |        0
1149.22/1149.62	c 1149s |      22 |  2777391 |  2046222 |     1967   2349 |        0 |        0
1151.21/1151.64	c 1151s |      22 |  2780708 |  2048322 |     1967   2351 |        0 |        0
1153.21/1153.64	c 1153s |      22 |  2785016 |  2050922 |     1967   2354 |        0 |        0
1155.21/1155.69	c 1155s |      22 |  2788861 |  2053522 |     1967   2356 |        0 |        0
1157.31/1157.74	c 1157s |      22 |  2792735 |  2056222 |     1967   2359 |        0 |        0
1159.31/1159.78	c 1159s |      22 |  2796266 |  2058822 |     1967   2361 |        0 |        0
1161.32/1161.78	c 1161s |      22 |  2800181 |  2061722 |     1967   2364 |        0 |        0
1163.41/1163.80	c 1163s |      22 |  2803806 |  2064322 |     1967   2366 |        0 |        0
1165.40/1165.84	c 1165s |      22 |  2807541 |  2066922 |     1967   2368 |        0 |        0
1167.40/1167.89	c 1167s |      22 |  2811724 |  2069622 |     1967   2371 |        0 |        0
1169.50/1169.92	c 1169s |      22 |  2815479 |  2072122 |     1967   2373 |        0 |        0
1171.50/1171.95	c 1171s |      22 |  2818768 |  2074722 |     1967   2376 |        0 |        0
1173.60/1174.04	c 1173s |      22 |  2821563 |  2076822 |     1967   2377 |        0 |        0
1175.61/1176.05	c 1175s |      22 |  2823804 |  2078622 |     1967   2379 |        0 |        0
1177.60/1178.06	c 1177s |      22 |  2826038 |  2080422 |     1967   2381 |        0 |        0
1179.70/1180.11	c 1180s |      22 |  2828169 |  2082022 |     1967   2382 |        0 |        0
1181.70/1182.14	c 1182s |      22 |  2831712 |  2084522 |     1967   2385 |        0 |        0
1183.69/1184.15	c 1184s |      22 |  2835915 |  2087622 |     1967   2387 |        0 |        0
1185.79/1186.22	c 1186s |      22 |  2839446 |  2090222 |     1967   2390 |        0 |        0
1187.79/1188.28	c 1188s |      22 |  2844254 |  2093222 |     1967   2393 |        0 |        0
1189.80/1190.29	c 1190s |      22 |  2848255 |  2095822 |     1967   2395 |        0 |        0
1191.89/1192.32	c 1192s |      22 |  2851632 |  2098322 |     1967   2397 |        0 |        0
1193.98/1194.40	c 1194s |      22 |  2855307 |  2101222 |     1967   2400 |        0 |        0
1195.98/1196.45	c 1196s |      22 |  2858114 |  2103522 |     1967   2402 |        0 |        0
1198.08/1198.52	c 1198s |      22 |  2861224 |  2105922 |     1967   2404 |        0 |        0
1200.08/1200.53	c 1200s |      22 |  2864874 |  2108422 |     1967   2406 |        0 |        0
1202.08/1202.53	c 1202s |      22 |  2869052 |  2111122 |     1967   2409 |        0 |        0
1204.09/1204.60	c 1204s |      22 |  2872867 |  2114422 |     1967   2412 |        0 |        0
1206.18/1206.64	c 1206s |      22 |  2875996 |  2117122 |     1967   2414 |        0 |        0
1208.18/1208.65	c 1208s |      22 |  2879146 |  2119922 |     1967   2417 |        0 |        0
1210.28/1210.72	c 1210s |      22 |  2882102 |  2122622 |     1967   2419 |        0 |        0
1212.37/1212.82	c 1212s |      22 |  2884741 |  2125022 |     1967   2422 |        0 |        0
1214.37/1214.84	c 1214s |      22 |  2887461 |  2127522 |     1967   2424 |        0 |        0
1216.37/1216.88	c 1216s |      22 |  2890788 |  2130222 |     1967   2426 |        0 |        0
1218.48/1218.92	c 1218s |      22 |  2894210 |  2133022 |     1967   2429 |        0 |        0
1220.47/1220.92	c 1220s |      22 |  2898492 |  2135422 |     1967   2431 |        0 |        0
1222.46/1222.93	c 1222s |      22 |  2902822 |  2137522 |     1967   2433 |        0 |        0
1224.46/1224.98	c 1224s |      22 |  2905833 |  2139822 |     1967   2435 |        0 |        0
1226.56/1227.03	c 1226s |      22 |  2910866 |  2142422 |     1967   2438 |        0 |        0
1228.56/1229.06	c 1228s |      22 |  2915522 |  2145122 |     1967   2440 |        0 |        0
1230.66/1231.19	c 1231s |      22 |  2919563 |  2147422 |     1967   2442 |        0 |        0
1232.77/1233.23	c 1233s |      22 |  2922322 |  2149622 |     1967   2444 |        0 |        0
1234.76/1235.27	c 1235s |      22 |  2925429 |  2151822 |     1967   2446 |        0 |        0
1236.86/1237.35	c 1237s |      22 |  2928162 |  2153922 |     1967   2448 |        0 |        0
1238.96/1239.44	c 1239s |      22 |  2931518 |  2156122 |     1967   2450 |        0 |        0
1241.06/1241.50	c 1241s |      22 |  2934844 |  2158522 |     1967   2452 |        0 |        0
1243.05/1243.52	c 1243s |      22 |  2937485 |  2160522 |     1967   2454 |        0 |        0
1245.05/1245.57	c 1245s |      22 |  2940227 |  2162522 |     1967   2456 |        0 |        0
1247.16/1247.68	c 1247s |      22 |  2943253 |  2164522 |     1967   2458 |        0 |        0
1249.17/1249.70	c 1249s |      22 |  2945799 |  2166422 |     1967   2460 |        0 |        0
1251.26/1251.79	c 1251s |      22 |  2947975 |  2168122 |     1967   2461 |        0 |        0
1253.36/1253.81	c 1253s |      22 |  2950686 |  2170022 |     1967   2463 |        0 |        0
1255.46/1255.93	c 1255s |      22 |  2953750 |  2172322 |     1967   2465 |        0 |        0
1257.46/1257.98	c 1257s |      22 |  2956996 |  2174922 |     1967   2467 |        0 |        0
1259.46/1259.99	c 1259s |      22 |  2960187 |  2177222 |     1967   2470 |        0 |        0
1261.56/1262.00	c 1261s |      22 |  2964336 |  2179822 |     1967   2472 |        0 |        0
1263.56/1264.01	c 1263s |      22 |  2967388 |  2182022 |     1967   2474 |        0 |        0
1265.55/1266.07	c 1266s |      22 |  2970837 |  2184222 |     1967   2476 |        0 |        0
1267.65/1268.16	c 1268s |      22 |  2973254 |  2186322 |     1967   2478 |        0 |        0
1269.65/1270.18	c 1270s |      22 |  2975476 |  2188222 |     1967   2480 |        0 |        0
1271.75/1272.24	c 1272s |      22 |  2978306 |  2190222 |     1967   2482 |        0 |        0
1273.84/1274.32	c 1274s |      22 |  2981601 |  2192222 |     1967   2483 |        0 |        0
1275.84/1276.35	c 1276s |      22 |  2984376 |  2193922 |     1967   2485 |        0 |        0
1277.94/1278.43	c 1278s |      22 |  2986504 |  2195622 |     1967   2487 |        0 |        0
1279.95/1280.44	c 1280s |      22 |  2989790 |  2198022 |     1967   2489 |        0 |        0
1282.04/1282.50	c 1282s |      22 |  2992076 |  2199822 |     1967   2490 |        0 |        0
1284.04/1284.50	c 1284s |      22 |  2994316 |  2201422 |     1967   2492 |        0 |        0
1286.04/1286.56	c 1286s |      22 |  2996864 |  2203022 |     1967   2493 |        0 |        0
1288.04/1288.58	c 1288s |      22 |  2998790 |  2204522 |     1967   2495 |        0 |        0
1290.14/1290.61	c 1290s |      22 |  3000532 |  2206022 |     1967   2496 |        0 |        0
1292.14/1292.66	c 1292s |      22 |  3004525 |  2208822 |     1967   2499 |        0 |        0
1294.13/1294.67	c 1294s |      22 |  3009223 |  2212022 |     1967   2502 |        0 |        0
1296.23/1296.76	c 1296s |      22 |  3012813 |  2214822 |     1967   2504 |        0 |        0
1298.33/1298.83	c 1298s |      22 |  3015579 |  2217122 |     1967   2506 |        0 |        0
1300.33/1300.86	c 1300s |      22 |  3018382 |  2219422 |     1967   2508 |        0 |        0
1302.33/1302.86	c 1302s |      22 |  3021177 |  2221722 |     1967   2510 |        0 |        0
1304.43/1304.91	c 1304s |      22 |  3024223 |  2224122 |     1967   2513 |        0 |        0
1306.44/1306.94	c 1306s |      22 |  3027080 |  2226522 |     1967   2515 |        0 |        0
1308.43/1308.98	c 1308s |      22 |  3031161 |  2228622 |     1967   2517 |        0 |        0
1310.53/1311.00	c 1310s |      22 |  3035390 |  2231922 |     1967   2520 |        0 |        0
1312.53/1313.01	c 1312s |      22 |  3039374 |  2235122 |     2164   2523 |        0 |        0
1314.53/1315.03	c 1314s |      22 |  3042426 |  2237622 |     2164   2525 |        0 |        0
1316.53/1317.06	c 1316s |      22 |  3045073 |  2239822 |     2164   2527 |        0 |        0
1318.54/1319.06	c 1318s |      22 |  3047967 |  2242022 |     2164   2529 |        0 |        0
1320.64/1321.11	c 1321s |      22 |  3052084 |  2245222 |     2164   2531 |        0 |        0
1322.63/1323.16	c 1323s |      22 |  3055444 |  2248122 |     2164   2534 |        0 |        0
1324.53/1325.02	c 1324s |      23 |  3059081 |  2251038 |     2164   2536 |        0 |        0
1326.53/1327.07	c 1327s |      23 |  3065609 |  2255038 |     2164   2540 |        0 |        0
1328.63/1329.11	c 1329s |      23 |  3069336 |  2258238 |     2164   2543 |        0 |        0
1330.63/1331.16	c 1331s |      23 |  3073110 |  2261538 |     2164   2545 |        0 |        0
1332.63/1333.19	c 1333s |      23 |  3077311 |  2265038 |     2164   2548 |        0 |        0
1334.73/1335.25	c 1335s |      23 |  3081430 |  2268638 |     2164   2551 |        0 |        0
1336.72/1337.26	c 1337s |      23 |  3085237 |  2271938 |     2164   2554 |        0 |        0
1338.82/1339.31	c 1339s |      23 |  3090050 |  2275238 |     2164   2557 |        0 |        0
1340.82/1341.35	c 1341s |      23 |  3094469 |  2279038 |     2164   2561 |        0 |        0
1342.82/1343.35	c 1343s |      23 |  3098834 |  2282738 |     2164   2564 |        0 |        0
1344.83/1345.37	c 1345s |      23 |  3102969 |  2286338 |     2164   2567 |        0 |        0
1346.92/1347.41	c 1347s |      23 |  3106688 |  2289438 |     2164   2569 |        0 |        0
1348.92/1349.42	c 1349s |      23 |  3110253 |  2292538 |     2164   2572 |        0 |        0
1350.92/1351.46	c 1351s |      23 |  3114206 |  2295938 |     2164   2575 |        0 |        0
1352.92/1353.48	c 1353s |      23 |  3118222 |  2299338 |     2164   2578 |        0 |        0
1355.02/1355.52	c 1355s |      23 |  3123773 |  2303138 |     2164   2581 |        0 |        0
1357.03/1357.54	c 1357s |      23 |  3129310 |  2306638 |     2164   2584 |        0 |        0
1359.02/1359.55	c 1359s |      23 |  3133270 |  2309838 |     2164   2587 |        0 |        0
1361.02/1361.56	c 1361s |      23 |  3136849 |  2312638 |     2164   2589 |        0 |        0
1363.12/1363.60	c 1363s |      23 |  3141305 |  2315638 |     2164   2592 |        0 |        0
1365.12/1365.64	c 1365s |      23 |  3145370 |  2318638 |     2164   2595 |        0 |        0
1367.12/1367.65	c 1367s |      23 |  3148598 |  2321138 |     2164   2597 |        0 |        0
1369.12/1369.67	c 1369s |      23 |  3151541 |  2323538 |     2164   2599 |        0 |        0
1371.22/1371.76	c 1371s |      23 |  3154703 |  2326038 |     2164   2601 |        0 |        0
1373.22/1373.79	c 1373s |      23 |  3158929 |  2328638 |     2164   2603 |        0 |        0
1375.31/1375.83	c 1375s |      23 |  3163066 |  2331938 |     2164   2606 |        0 |        0
1377.31/1377.87	c 1377s |      23 |  3166347 |  2334538 |     2164   2608 |        0 |        0
1379.31/1379.88	c 1379s |      23 |  3170064 |  2337538 |     2164   2611 |        0 |        0
1381.41/1381.93	c 1381s |      23 |  3174406 |  2340638 |     2164   2613 |        0 |        0
1383.42/1383.95	c 1383s |      23 |  3177253 |  2343038 |     2164   2615 |        0 |        0
1385.52/1386.01	c 1385s |      23 |  3180316 |  2345638 |     2164   2618 |        0 |        0
1387.51/1388.05	c 1387s |      23 |  3183239 |  2348138 |     2164   2620 |        0 |        0
1389.51/1390.08	c 1390s |      23 |  3186889 |  2351138 |     2164   2622 |        0 |        0
1391.51/1392.10	c 1392s |      23 |  3191075 |  2354138 |     2164   2625 |        0 |        0
1393.61/1394.14	c 1394s |      23 |  3194685 |  2356938 |     2164   2627 |        0 |        0
1395.61/1396.19	c 1396s |      23 |  3197640 |  2359438 |     2164   2629 |        0 |        0
1397.72/1398.22	c 1398s |      23 |  3200522 |  2361838 |     2164   2632 |        0 |        0
1399.71/1400.24	c 1400s |      23 |  3203465 |  2364338 |     2164   2634 |        0 |        0
1401.81/1402.32	c 1402s |      23 |  3206809 |  2367038 |     2164   2636 |        0 |        0
1403.81/1404.36	c 1404s |      23 |  3209849 |  2369538 |     2164   2638 |        0 |        0
1405.81/1406.38	c 1406s |      23 |  3212597 |  2371838 |     2164   2640 |        0 |        0
1407.91/1408.42	c 1408s |      23 |  3215598 |  2374438 |     2164   2642 |        0 |        0
1409.91/1410.49	c 1410s |      23 |  3218426 |  2376838 |     2164   2644 |        0 |        0
1412.02/1412.54	c 1412s |      23 |  3221027 |  2379038 |     2164   2646 |        0 |        0
1414.12/1414.62	c 1414s |      23 |  3223892 |  2381438 |     2164   2648 |        0 |        0
1416.21/1416.70	c 1416s |      23 |  3226448 |  2383638 |     2164   2650 |        0 |        0
1418.21/1418.75	c 1418s |      23 |  3230076 |  2386338 |     2164   2653 |        0 |        0
1420.21/1420.79	c 1420s |      23 |  3234402 |  2389338 |     2164   2655 |        0 |        0
1422.31/1422.82	c 1422s |      23 |  3238743 |  2392538 |     2164   2658 |        0 |        0
1424.31/1424.87	c 1424s |      23 |  3243481 |  2396338 |     2164   2661 |        0 |        0
1426.32/1426.89	c 1426s |      23 |  3247741 |  2399838 |     2164   2664 |        0 |        0
1428.42/1428.90	c 1428s |      23 |  3252391 |  2403738 |     2164   2667 |        0 |        0
1430.41/1430.91	c 1430s |      23 |  3257489 |  2407438 |     2164   2671 |        0 |        0
1432.41/1432.94	c 1432s |      23 |  3262583 |  2411038 |     2164   2674 |        0 |        0
1434.41/1434.97	c 1434s |      23 |  3267235 |  2414538 |     2164   2677 |        0 |        0
1436.41/1436.97	c 1436s |      23 |  3271090 |  2417938 |     2164   2680 |        0 |        0
1438.42/1438.98	c 1438s |      23 |  3274874 |  2421138 |     2164   2682 |        0 |        0
1440.41/1440.99	c 1440s |      23 |  3279167 |  2424138 |     2164   2685 |        0 |        0
1442.51/1443.03	c 1442s |      23 |  3283828 |  2427738 |     2164   2688 |        0 |        0
1444.51/1445.04	c 1444s |      23 |  3287422 |  2430538 |     2164   2690 |        0 |        0
1446.51/1447.08	c 1447s |      23 |  3292720 |  2434138 |     2164   2693 |        0 |        0
1448.61/1449.14	c 1449s |      23 |  3296874 |  2437538 |     2164   2696 |        0 |        0
1450.71/1451.20	c 1451s |      23 |  3300912 |  2440838 |     2164   2699 |        0 |        0
1452.71/1453.21	c 1453s |      23 |  3304662 |  2443838 |     2164   2702 |        0 |        0
1454.71/1455.22	c 1455s |      23 |  3308073 |  2446838 |     2164   2704 |        0 |        0
1456.71/1457.29	c 1457s |      23 |  3311362 |  2449638 |     2164   2707 |        0 |        0
1458.71/1459.29	c 1459s |      23 |  3314611 |  2452538 |     2164   2709 |        0 |        0
1460.80/1461.32	c 1461s |      23 |  3319419 |  2456238 |     2164   2712 |        0 |        0
1462.80/1463.38	c 1463s |      23 |  3323394 |  2459238 |     2164   2715 |        0 |        0
1464.90/1465.40	c 1465s |      23 |  3327353 |  2462438 |     2164   2717 |        0 |        0
1466.91/1467.41	c 1467s |      23 |  3331114 |  2465438 |     2164   2720 |        0 |        0
1468.90/1469.46	c 1469s |      23 |  3335559 |  2468738 |     2164   2723 |        0 |        0
1470.90/1471.47	c 1471s |      23 |  3339614 |  2472038 |     2164   2726 |        0 |        0
1472.90/1473.48	c 1473s |      23 |  3344647 |  2475438 |     2164   2729 |        0 |        0
1475.00/1475.51	c 1475s |      23 |  3349242 |  2479038 |     2164   2732 |        0 |        0
1477.00/1477.54	c 1477s |      23 |  3354056 |  2482638 |     2164   2735 |        0 |        0
1479.01/1479.56	c 1479s |      23 |  3358424 |  2486238 |     2164   2738 |        0 |        0
1481.10/1481.61	c 1481s |      23 |  3362872 |  2489838 |     2164   2741 |        0 |        0
1483.10/1483.67	c 1483s |      23 |  3367460 |  2493638 |     2164   2744 |        0 |        0
1485.10/1485.68	c 1485s |      23 |  3371245 |  2496738 |     2164   2747 |        0 |        0
1487.20/1487.70	c 1487s |      23 |  3375136 |  2499838 |     2164   2750 |        0 |        0
1489.20/1489.70	c 1489s |      23 |  3378854 |  2503038 |     2164   2752 |        0 |        0
1491.20/1491.74	c 1491s |      23 |  3382655 |  2506138 |     2164   2755 |        0 |        0
1493.20/1493.78	c 1493s |      23 |  3386835 |  2509238 |     2164   2758 |        0 |        0
1495.29/1495.81	c 1495s |      23 |  3391065 |  2512338 |     2164   2760 |        0 |        0
1497.29/1497.81	c 1497s |      23 |  3394816 |  2515138 |     2164   2763 |        0 |        0
1499.29/1499.86	c 1499s |      23 |  3398993 |  2518238 |     2164   2765 |        0 |        0
1501.30/1501.89	c 1501s |      23 |  3402907 |  2521338 |     2164   2768 |        0 |        0
1503.40/1503.92	c 1503s |      23 |  3406638 |  2524438 |     2164   2771 |        0 |        0
1505.41/1505.98	c 1505s |      23 |  3410231 |  2527538 |     2164   2773 |        0 |        0
1507.50/1508.02	c 1507s |      23 |  3413277 |  2530238 |     2164   2776 |        0 |        0
1509.50/1510.03	c 1509s |      23 |  3416358 |  2532838 |     2164   2778 |        0 |        0
1511.50/1512.05	c 1511s |      23 |  3420173 |  2536038 |     2164   2781 |        0 |        0
1513.50/1514.07	c 1514s |      23 |  3424311 |  2539438 |     2164   2784 |        0 |        0
1515.60/1516.11	c 1516s |      23 |  3428105 |  2542538 |     2164   2786 |        0 |        0
1517.61/1518.17	c 1518s |      23 |  3432092 |  2545738 |     2164   2789 |        0 |        0
1519.71/1520.21	c 1520s |      23 |  3435633 |  2548438 |     2164   2791 |        0 |        0
1521.70/1522.25	c 1522s |      23 |  3439231 |  2551438 |     2164   2794 |        0 |        0
1523.70/1524.29	c 1524s |      23 |  3442493 |  2554138 |     2164   2796 |        0 |        0
1525.80/1526.34	c 1526s |      23 |  3445569 |  2556738 |     2164   2798 |        0 |        0
1527.80/1528.36	c 1528s |      23 |  3448723 |  2559438 |     2164   2801 |        0 |        0
1529.90/1530.40	c 1530s |      23 |  3452434 |  2562538 |     2164   2803 |        0 |        0
1531.90/1532.42	c 1532s |      23 |  3455877 |  2565338 |     2164   2806 |        0 |        0
1533.90/1534.46	c 1534s |      23 |  3459057 |  2568038 |     2164   2808 |        0 |        0
1535.90/1536.48	c 1536s |      23 |  3463054 |  2570938 |     2164   2811 |        0 |        0
1538.00/1538.54	c 1538s |      23 |  3466012 |  2573438 |     2164   2813 |        0 |        0
1539.99/1540.58	c 1540s |      23 |  3469800 |  2576538 |     2164   2815 |        0 |        0
1542.09/1542.60	c 1542s |      23 |  3473663 |  2579638 |     2164   2818 |        0 |        0
1544.09/1544.69	c 1544s |      23 |  3477383 |  2582538 |     2164   2821 |        0 |        0
1546.10/1546.70	c 1546s |      23 |  3481024 |  2585438 |     2164   2823 |        0 |        0
1548.19/1548.80	c 1548s |      23 |  3484376 |  2588238 |     2164   2825 |        0 |        0
1550.29/1550.81	c 1550s |      23 |  3487797 |  2590938 |     2164   2828 |        0 |        0
1552.29/1552.85	c 1552s |      23 |  3492367 |  2594538 |     2164   2831 |        0 |        0
1554.29/1554.89	c 1554s |      23 |  3496268 |  2597838 |     2164   2834 |        0 |        0
1556.39/1556.91	c 1556s |      23 |  3499668 |  2600838 |     2164   2836 |        0 |        0
1558.39/1558.95	c 1558s |      23 |  3504217 |  2604138 |     2164   2839 |        0 |        0
1560.40/1560.98	c 1560s |      23 |  3508037 |  2607438 |     2164   2842 |        0 |        0
1562.39/1562.98	c 1562s |      23 |  3511630 |  2610538 |     2164   2844 |        0 |        0
1564.49/1565.02	c 1564s |      23 |  3515215 |  2613738 |     2164   2847 |        0 |        0
1566.49/1567.02	c 1566s |      23 |  3519280 |  2617238 |     2164   2850 |        0 |        0
1568.49/1569.04	c 1568s |      23 |  3523102 |  2620438 |     2164   2853 |        0 |        0
1570.49/1571.07	c 1571s |      23 |  3526723 |  2623538 |     2164   2856 |        0 |        0
1572.60/1573.15	c 1573s |      23 |  3530518 |  2626838 |     2164   2859 |        0 |        0
1574.59/1575.15	c 1575s |      23 |  3533959 |  2629838 |     2164   2861 |        0 |        0
1576.59/1577.18	c 1577s |      23 |  3538003 |  2633338 |     2164   2864 |        0 |        0
1578.59/1579.19	c 1579s |      23 |  3541463 |  2636438 |     2164   2867 |        0 |        0
1580.69/1581.22	c 1581s |      23 |  3545085 |  2639638 |     2164   2870 |        0 |        0
1582.69/1583.24	c 1583s |      23 |  3548730 |  2642838 |     2164   2872 |        0 |        0
1584.69/1585.27	c 1585s |      23 |  3552641 |  2646238 |     2164   2875 |        0 |        0
1586.69/1587.30	c 1587s |      23 |  3556522 |  2649638 |     2164   2878 |        0 |        0
1588.79/1589.36	c 1589s |      23 |  3560696 |  2653238 |     2164   2881 |        0 |        0
1590.79/1591.36	c 1591s |      23 |  3564412 |  2656538 |     2164   2884 |        0 |        0
1592.78/1593.39	c 1593s |      23 |  3568141 |  2659738 |     2164   2887 |        0 |        0
1594.88/1595.42	c 1595s |      23 |  3571948 |  2663038 |     2164   2890 |        0 |        0
1596.88/1597.47	c 1597s |      23 |  3575980 |  2666538 |     2164   2893 |        0 |        0
1598.89/1599.50	c 1599s |      23 |  3579576 |  2669738 |     2164   2896 |        0 |        0
1600.98/1601.56	c 1601s |      23 |  3583180 |  2672938 |     2164   2898 |        0 |        0
1602.98/1603.57	c 1603s |      23 |  3586727 |  2676038 |     2164   2901 |        0 |        0
1605.08/1605.61	c 1605s |      23 |  3590557 |  2679438 |     2164   2904 |        0 |        0
1607.08/1607.64	c 1607s |      23 |  3594234 |  2682638 |     2164   2907 |        0 |        0
1609.08/1609.65	c 1609s |      23 |  3597842 |  2685838 |     2164   2910 |        0 |        0
1611.08/1611.67	c 1611s |      23 |  3601826 |  2689238 |     2164   2913 |        0 |        0
1613.08/1613.69	c 1613s |      23 |  3605572 |  2692538 |     2164   2915 |        0 |        0
1615.18/1615.75	c 1615s |      23 |  3609419 |  2695938 |     2164   2918 |        0 |        0
1617.28/1617.80	c 1617s |      23 |  3613266 |  2699238 |     2164   2921 |        0 |        0
1619.27/1619.82	c 1619s |      23 |  3616921 |  2702438 |     2164   2924 |        0 |        0
1621.27/1621.87	c 1621s |      23 |  3620323 |  2705438 |     2164   2927 |        0 |        0
1623.27/1623.88	c 1623s |      23 |  3624547 |  2709138 |     2164   2930 |        0 |        0
1625.28/1625.89	c 1625s |      23 |  3628781 |  2712738 |     2164   2933 |        0 |        0
1627.37/1627.94	c 1627s |      23 |  3632510 |  2716038 |     2164   2936 |        0 |        0
1629.37/1629.99	c 1629s |      23 |  3636101 |  2719238 |     2164   2939 |        0 |        0
1631.37/1631.99	c 1631s |      23 |  3640209 |  2722838 |     2164   2942 |        0 |        0
1633.47/1634.05	c 1633s |      23 |  3644753 |  2726838 |     2164   2945 |        0 |        0
1635.47/1636.05	c 1635s |      23 |  3649333 |  2730838 |     2164   2949 |        0 |        0
1637.48/1638.08	c 1638s |      23 |  3653727 |  2734738 |     2164   2952 |        0 |        0
1639.58/1640.14	c 1640s |      23 |  3657841 |  2738438 |     2164   2955 |        0 |        0
1641.57/1642.19	c 1642s |      23 |  3661587 |  2741738 |     2164   2958 |        0 |        0
1643.67/1644.20	c 1644s |      23 |  3666006 |  2745738 |     2164   2962 |        0 |        0
1645.67/1646.22	c 1646s |      23 |  3670365 |  2749638 |     2164   2965 |        0 |        0
1647.67/1648.25	c 1648s |      23 |  3674233 |  2753038 |     2164   2968 |        0 |        0
1649.67/1650.28	c 1650s |      23 |  3678524 |  2756738 |     2164   2971 |        0 |        0
1651.77/1652.35	c 1652s |      23 |  3682177 |  2759938 |     2164   2974 |        0 |        0
1653.77/1654.38	c 1654s |      23 |  3685395 |  2762838 |     2164   2977 |        0 |        0
1655.87/1656.40	c 1656s |      23 |  3690376 |  2766538 |     2164   2980 |        0 |        0
1657.87/1658.43	c 1658s |      23 |  3694270 |  2769738 |     2164   2983 |        0 |        0
1659.87/1660.47	c 1660s |      23 |  3697945 |  2772938 |     2164   2985 |        0 |        0
1661.87/1662.48	c 1662s |      23 |  3701570 |  2776038 |     2164   2988 |        0 |        0
1663.97/1664.52	c 1664s |      23 |  3705241 |  2779238 |     2164   2991 |        0 |        0
1665.97/1666.57	c 1666s |      23 |  3708797 |  2782338 |     2164   2993 |        0 |        0
1667.97/1668.59	c 1668s |      23 |  3712320 |  2785338 |     2164   2996 |        0 |        0
1670.07/1670.65	c 1670s |      23 |  3715804 |  2788338 |     2164   2999 |        0 |        0
1672.06/1672.68	c 1672s |      23 |  3721799 |  2792138 |     2164   3002 |        0 |        0
1674.16/1674.72	c 1674s |      23 |  3726114 |  2795838 |     2164   3005 |        0 |        0
1676.16/1676.78	c 1676s |      23 |  3730506 |  2799638 |     2164   3009 |        0 |        0
1678.26/1678.81	c 1678s |      23 |  3734681 |  2803238 |     2164   3012 |        0 |        0
1680.27/1680.85	c 1680s |      23 |  3738827 |  2806838 |     2164   3015 |        0 |        0
1682.26/1682.88	c 1682s |      23 |  3742321 |  2809938 |     2164   3018 |        0 |        0
1684.26/1684.89	c 1684s |      23 |  3746238 |  2813338 |     2164   3020 |        0 |        0
1686.36/1686.94	c 1686s |      23 |  3750334 |  2816838 |     2164   3024 |        0 |        0
1688.36/1688.95	c 1688s |      23 |  3754852 |  2820738 |     2164   3027 |        0 |        0
1690.36/1690.95	c 1690s |      23 |  3759280 |  2824638 |     2164   3030 |        0 |        0
1692.37/1692.98	c 1692s |      23 |  3763422 |  2828338 |     2164   3034 |        0 |        0
1694.46/1695.00	c 1694s |      23 |  3767764 |  2832138 |     2164   3037 |        0 |        0
1696.46/1697.04	c 1696s |      23 |  3772270 |  2836038 |     2164   3040 |        0 |        0
1698.47/1699.07	c 1699s |      23 |  3776359 |  2839638 |     2164   3043 |        0 |        0
1700.57/1701.10	c 1701s |      23 |  3780628 |  2843438 |     2164   3047 |        0 |        0
1702.57/1703.15	c 1703s |      23 |  3784980 |  2847238 |     2164   3050 |        0 |        0
1704.57/1705.16	c 1705s |      23 |  3789043 |  2850838 |     2164   3053 |        0 |        0
1706.67/1707.22	c 1707s |      23 |  3793074 |  2854438 |     2164   3056 |        0 |        0
1708.67/1709.23	c 1709s |      23 |  3796878 |  2857838 |     2164   3059 |        0 |        0
1710.67/1711.25	c 1711s |      23 |  3801445 |  2861638 |     2164   3063 |        0 |        0
1712.67/1713.26	c 1713s |      23 |  3805997 |  2865638 |     2164   3066 |        0 |        0
1714.67/1715.29	c 1715s |      23 |  3810355 |  2869438 |     2164   3069 |        0 |        0
1716.76/1717.33	c 1717s |      23 |  3814574 |  2873138 |     2164   3073 |        0 |        0
1718.77/1719.38	c 1719s |      23 |  3818771 |  2876838 |     2164   3076 |        0 |        0
1720.86/1721.41	c 1721s |      23 |  3822890 |  2880538 |     2164   3079 |        0 |        0
1722.86/1723.41	c 1723s |      23 |  3827019 |  2884138 |     2164   3082 |        0 |        0
1724.86/1725.46	c 1725s |      23 |  3831244 |  2887638 |     2164   3085 |        0 |        0
1726.96/1727.50	c 1727s |      23 |  3835203 |  2891038 |     2164   3088 |        0 |        0
1728.96/1729.56	c 1729s |      23 |  3839121 |  2894438 |     2164   3091 |        0 |        0
1730.97/1731.59	c 1731s |      23 |  3843019 |  2897838 |     2164   3094 |        0 |        0
1733.07/1733.63	c 1733s |      23 |  3847156 |  2901438 |     2164   3097 |        0 |        0
1735.06/1735.63	c 1735s |      23 |  3850898 |  2904838 |     2164   3100 |        0 |        0
1737.06/1737.67	c 1737s |      23 |  3854656 |  2908138 |     2164   3103 |        0 |        0
1739.06/1739.69	c 1739s |      23 |  3858502 |  2911538 |     2164   3106 |        0 |        0
1741.16/1741.73	c 1741s |      23 |  3862554 |  2915138 |     2164   3109 |        0 |        0
1743.16/1743.77	c 1743s |      23 |  3866423 |  2918538 |     2164   3112 |        0 |        0
1745.16/1745.77	c 1745s |      23 |  3870146 |  2921838 |     2164   3115 |        0 |        0
1747.26/1747.80	c 1747s |      23 |  3874277 |  2925438 |     2164   3118 |        0 |        0
1749.26/1749.86	c 1749s |      23 |  3877874 |  2928638 |     2164   3121 |        0 |        0
1751.26/1751.89	c 1751s |      23 |  3882093 |  2932338 |     2164   3124 |        0 |        0
1753.36/1753.96	c 1753s |      23 |  3886014 |  2935838 |     2164   3127 |        0 |        0
1755.46/1756.00	c 1755s |      23 |  3890562 |  2939738 |     2164   3131 |        0 |        0
1757.46/1758.01	c 1757s |      23 |  3894695 |  2943438 |     2164   3134 |        0 |        0
1759.46/1760.03	c 1759s |      23 |  3898732 |  2947038 |     2164   3137 |        0 |        0
1761.46/1762.07	c 1762s |      23 |  3902823 |  2950638 |     2164   3140 |        0 |        0
1763.45/1764.08	c 1764s |      23 |  3907233 |  2954538 |     2164   3144 |        0 |        0
1765.55/1766.13	c 1766s |      23 |  3911089 |  2958038 |     2164   3147 |        0 |        0
1767.55/1768.18	c 1768s |      23 |  3915255 |  2961738 |     2164   3150 |        0 |        0
1769.55/1770.19	c 1770s |      23 |  3919510 |  2965438 |     2164   3153 |        0 |        0
1771.66/1772.21	c 1772s |      23 |  3923450 |  2968938 |     2164   3156 |        0 |        0
1773.65/1774.25	c 1774s |      23 |  3927404 |  2972438 |     2164   3159 |        0 |        0
1775.65/1776.25	c 1776s |      23 |  3931655 |  2976138 |     2164   3163 |        0 |        0
1777.65/1778.29	c 1778s |      23 |  3935837 |  2979838 |     2164   3166 |        0 |        0
1779.75/1780.30	c 1780s |      23 |  3939983 |  2983438 |     2164   3169 |        0 |        0
1781.75/1782.32	c 1782s |      23 |  3944316 |  2987138 |     2164   3172 |        0 |        0
1783.76/1784.37	c 1784s |      23 |  3948265 |  2990638 |     2164   3176 |        0 |        0
1785.75/1786.40	c 1786s |      23 |  3952686 |  2994538 |     2164   3179 |        0 |        0
1787.85/1788.41	c 1788s |      23 |  3956867 |  2998238 |     2164   3182 |        0 |        0
1789.85/1790.41	c 1790s |      23 |  3961112 |  3002038 |     2164   3186 |        0 |        0
1791.85/1792.42	c 1792s |      23 |  3965468 |  3005838 |     2164   3189 |        0 |        0
1793.85/1794.47	c 1794s |      23 |  3970089 |  3009738 |     2164   3192 |        0 |        0
1795.95/1796.50	c 1796s |      23 |  3974229 |  3013438 |     2164   3196 |        0 |        0
1797.95/1798.55	c 1798s |      23 |  3978522 |  3017038 |     2164   3199 |        0 |        0
1799.95/1800.59	c 1800s |      23 |  3983018 |  3020938 |     2164   3202 |        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-4093307-1466080618/watcher-4093307-1466080618 -o /tmp/evaluation-result-4093307-1466080618/solver-4093307-1466080618 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466075273-12743 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093307-1466080618.wbo 

pid=13465
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.14 2.09 2.09 3/179 13468
/proc/meminfo: memFree=30643776/32872528 swapFree=302776/319128
[pid=13468] ppid=13465 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/13468/stat : 13468 (toysat) R 13465 13468 7942 0 -1 4202496 801 0 0 0 0 0 0 0 20 0 4 0 10108417 246870016 1673 33554432000 4194304 16246674 140733820343328 140733820342752 4221016 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13468/statm: 60271 1675 436 2943 0 57165 0
[pid=13468/tid=13469] ppid=13465 vsize=247228 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13469/stat : 13469 (toysat) S 13465 13468 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10108417 253161472 1710 33554432000 4194304 16246674 140733820343328 140515645304048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13468/tid=13470] ppid=13465 vsize=252348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13470/stat : 13470 (toysat) S 13465 13468 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10108417 258404352 1728 33554432000 4194304 16246674 140733820343328 140515559320816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13468/tid=13471] ppid=13465 vsize=256444 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13471/stat : 13471 (toysat) S 13465 13468 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10108417 262598656 1744 33554432000 4194304 16246674 140733820343328 140515548847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 2.14 2.09 2.09 3/179 13468
/proc/meminfo: memFree=30643776/32872528 swapFree=302776/319128
[pid=13468] ppid=13465 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/13468/stat : 13468 (toysat) R 13465 13468 7942 0 -1 4202496 23050 0 0 0 5 4 0 0 20 0 4 0 10108417 1247350784 23908 33554432000 4194304 16246674 140733820343328 140733820342752 5668706 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13468/statm: 304529 23915 807 2943 0 301423 0
[pid=13468/tid=13469] ppid=13465 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13469/stat : 13469 (toysat) S 13465 13468 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10108417 1247350784 23921 33554432000 4194304 16246674 140733820343328 140515645304048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13468/tid=13470] ppid=13465 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13470/stat : 13470 (toysat) S 13465 13468 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10108417 1247350784 23928 33554432000 4194304 16246674 140733820343328 140515559320816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13468/tid=13471] ppid=13465 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13471/stat : 13471 (toysat) S 13465 13468 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10108417 1247350784 23938 33554432000 4194304 16246674 140733820343328 140515548847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200474 s]
/proc/loadavg: 2.14 2.09 2.09 3/179 13468
/proc/meminfo: memFree=30643776/32872528 swapFree=302776/319128
[pid=13468] ppid=13465 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/13468/stat : 13468 (toysat) R 13465 13468 7942 0 -1 4202496 49336 0 0 0 10 8 0 0 20 0 4 0 10108417 1247350784 50194 33554432000 4194304 16246674 140733820343328 140733820342752 5523709 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13468/statm: 304529 50205 813 2943 0 301423 0
[pid=13468/tid=13469] ppid=13465 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13469/stat : 13469 (toysat) S 13465 13468 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10108417 1247350784 50210 33554432000 4194304 16246674 140733820343328 140515645304048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13468/tid=13470] ppid=13465 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13470/stat : 13470 (toysat) S 13465 13468 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10108417 1247350784 50220 33554432000 4194304 16246674 140733820343328 140515559320816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13468/tid=13471] ppid=13465 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13471/stat : 13471 (toysat) S 13465 13468 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10108417 1247350784 50231 33554432000 4194304 16246674 140733820343328 140515548847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300434 s]
/proc/loadavg: 2.14 2.09 2.09 3/179 13468
/proc/meminfo: memFree=30643776/32872528 swapFree=302776/319128
[pid=13468] ppid=13465 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/13468/stat : 13468 (toysat) R 13465 13468 7942 0 -1 4202496 75235 0 0 0 17 11 0 0 20 0 4 0 10108417 1247350784 76093 33554432000 4194304 16246674 140733820343328 140733820342752 5677541 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13468/statm: 304529 76100 813 2943 0 301423 0
[pid=13468/tid=13469] ppid=13465 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13469/stat : 13469 (toysat) S 13465 13468 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10108417 1247350784 76105 33554432000 4194304 16246674 140733820343328 140515645304048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13468/tid=13470] ppid=13465 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13470/stat : 13470 (toysat) S 13465 13468 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10108417 1247350784 76113 33554432000 4194304 16246674 140733820343328 140515559320816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13468/tid=13471] ppid=13465 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13471/stat : 13471 (toysat) S 13465 13468 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10108417 1247350784 76123 33554432000 4194304 16246674 140733820343328 140515548847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700358 s]
/proc/loadavg: 2.14 2.09 2.09 3/179 13468
/proc/meminfo: memFree=30643776/32872528 swapFree=302776/319128
[pid=13468] ppid=13465 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/13468/stat : 13468 (toysat) R 13465 13468 7942 0 -1 4202496 181167 0 0 0 43 26 0 0 20 0 4 0 10108417 1247350784 182025 33554432000 4194304 16246674 140733820343328 140733820325248 13954518 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13468/statm: 304529 182032 816 2943 0 301423 0
[pid=13468/tid=13469] ppid=13465 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13469/stat : 13469 (toysat) S 13465 13468 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10108417 1247350784 182036 33554432000 4194304 16246674 140733820343328 140515645304048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13468/tid=13470] ppid=13465 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13470/stat : 13470 (toysat) S 13465 13468 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10108417 1247350784 182044 33554432000 4194304 16246674 140733820343328 140515559320816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13468/tid=13471] ppid=13465 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13471/stat : 13471 (toysat) S 13465 13468 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10108417 1247350784 182053 33554432000 4194304 16246674 140733820343328 140515548847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 2.13 2.09 2.09 3/183 13472
/proc/meminfo: memFree=29658560/32872528 swapFree=302776/319128
[pid=13468] ppid=13465 vsize=1304132 CPUtime=1.49 cores=0,2,4,6
/proc/13468/stat : 13468 (toysat) R 13465 13468 7942 0 -1 4202496 259106 0 0 0 112 37 0 0 20 0 4 0 10108417 1335431168 259942 33554432000 4194304 16246674 140733820343328 140733820342640 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13468/statm: 326033 259948 873 2943 0 322927 0
[pid=13468/tid=13469] ppid=13465 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13469/stat : 13469 (toysat) S 13465 13468 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10108417 1335431168 259952 33554432000 4194304 16246674 140733820343328 140515645304048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13468/tid=13470] ppid=13465 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13470/stat : 13470 (toysat) S 13465 13468 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10108417 1335431168 259958 33554432000 4194304 16246674 140733820343328 140515559320816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13468/tid=13471] ppid=13465 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13471/stat : 13471 (toysat) S 13465 13468 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10108417 1335431168 259965 33554432000 4194304 16246674 140733820343328 140515548847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1304132

[startup+3.10036 s]
/proc/loadavg: 2.13 2.09 2.09 3/183 13472
/proc/meminfo: memFree=29571372/32872528 swapFree=302776/319128
[pid=13468] ppid=13465 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/13468/stat : 13468 (toysat) R 13465 13468 7942 0 -1 4202496 267566 0 0 0 271 38 0 0 20 0 4 0 10108417 1337528320 268402 33554432000 4194304 16246674 140733820343328 140733820325248 5546023 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13468/statm: 326545 268402 874 2943 0 323439 0
[pid=13468/tid=13469] ppid=13465 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13469/stat : 13469 (toysat) S 13465 13468 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10108417 1337528320 268402 33554432000 4194304 16246674 140733820343328 140515645304048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13468/tid=13470] ppid=13465 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13470/stat : 13470 (toysat) S 13465 13468 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10108417 1337528320 268402 33554432000 4194304 16246674 140733820343328 140515559320816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13468/tid=13471] ppid=13465 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13471/stat : 13471 (toysat) S 13465 13468 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10108417 1337528320 268402 33554432000 4194304 16246674 140733820343328 140515548847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30037 s]
/proc/loadavg: 2.13 2.09 2.09 3/183 13472
/proc/meminfo: memFree=29570920/32872528 swapFree=302776/319128
[pid=13468] ppid=13465 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/13468/stat : 13468 (toysat) R 13465 13468 7942 0 -1 4202496 267664 0 0 0 590 38 0 0 20 0 4 0 10108417 1337528320 268500 33554432000 4194304 16246674 140733820343328 140733820325248 5754983 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13468/statm: 326545 268500 874 2943 0 323439 0
[pid=13468/tid=13469] ppid=13465 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13469/stat : 13469 (toysat) S 13465 13468 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10108417 1337528320 268500 33554432000 4194304 16246674 140733820343328 140515645304048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13468/tid=13470] ppid=13465 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13470/stat : 13470 (toysat) S 13465 13468 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10108417 1337528320 268500 33554432000 4194304 16246674 140733820343328 140515559320816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13468/tid=13471] ppid=13465 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13471/stat : 13471 (toysat) S 13465 13468 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10108417 1337528320 268500 33554432000 4194304 16246674 140733820343328 140515548847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.19 2.10 2.09 4/183 13472
/proc/meminfo: memFree=29570448/32872528 swapFree=302776/319128
[pid=13468] ppid=13465 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/13468/stat : 13468 (toysat) R 13465 13468 7942 0 -1 4202496 267664 0 0 0 1230 38 0 0 20 0 4 0 10108417 1337528320 268500 33554432000 4194304 16246674 140733820343328 140733820326328 12483204 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13468/statm: 326545 268500 874 2943 0 323439 0
[pid=13468/tid=13469] ppid=13465 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13469/stat : 13469 (toysat) S 13465 13468 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10108417 1337528320 268500 33554432000 4194304 16246674 140733820343328 140515645304048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13468/tid=13470] ppid=13465 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13470/stat : 13470 (toysat) S 13465 13468 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10108417 1337528320 268500 33554432000 4194304 16246674 140733820343328 140515559320816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13468/tid=13471] ppid=13465 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13471/stat : 13471 (toysat) S 13465 13468 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10108417 1337528320 268500 33554432000 4194304 16246674 140733820343328 140515548847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5004 s]
/proc/loadavg: 2.16 2.10 2.09 3/183 13472
/proc/meminfo: memFree=29570608/32872528 swapFree=302776/319128
[pid=13468] ppid=13465 vsize=1307204 CPUtime=25.48 cores=0,2,4,6
/proc/13468/stat : 13468 (toysat) R 13465 13468 7942 0 -1 4202496 267749 0 0 0 2510 38 0 0 20 0 4 0 10108417 1338576896 268585 33554432000 4194304 16246674 140733820343328 140733820325248 5827728 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13468/statm: 326801 268585 874 2943 0 323695 0
[pid=13468/tid=13469] ppid=13465 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13469/stat : 13469 (toysat) S 13465 13468 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10108417 1338576896 268585 33554432000 4194304 16246674 140733820343328 140515645304048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13468/tid=13470] ppid=13465 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13470/stat : 13470 (toysat) S 13465 13468 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10108417 1338576896 268585 33554432000 4194304 16246674 140733820343328 140515559320816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13468/tid=13471] ppid=13465 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13471/stat : 13471 (toysat) S 13465 13468 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10108417 1338576896 268585 33554432000 4194304 16246674 140733820343328 140515548847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.17 2.10 2.09 3/182 13472
/proc/meminfo: memFree=29570224/32872528 swapFree=302776/319128
[pid=13468] ppid=13465 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/13468/stat : 13468 (toysat) R 13465 13468 7942 0 -1 4202496 267867 0 0 0 5069 39 0 0 20 0 4 0 10108417 1338576896 268703 33554432000 4194304 16246674 140733820343328 140733820325248 12482896 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13468/statm: 326801 268703 874 2943 0 323695 0
[pid=13468/tid=13469] ppid=13465 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13469/stat : 13469 (toysat) S 13465 13468 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10108417 1338576896 268703 33554432000 4194304 16246674 140733820343328 140515645304048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13468/tid=13470] ppid=13465 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13470/stat : 13470 (toysat) S 13465 13468 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10108417 1338576896 268703 33554432000 4194304 16246674 140733820343328 140515559320816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13468/tid=13471] ppid=13465 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13471/stat : 13471 (toysat) S 13465 13468 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10108417 1338576896 268703 33554432000 4194304 16246674 140733820343328 140515548847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.21 2.12 2.10 3/183 13474
/proc/meminfo: memFree=29566648/32872528 swapFree=302776/319128
[pid=13468] ppid=13465 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/13468/stat : 13468 (toysat) R 13465 13468 7942 0 -1 4202496 267920 0 0 0 10189 39 0 0 20 0 4 0 10108417 1338576896 268756 33554432000 4194304 16246674 140733820343328 140733820326328 5822252 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13468/statm: 326801 268756 874 2943 0 323695 0
[pid=13468/tid=13469] ppid=13465 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13469/stat : 13469 (toysat) S 13465 13468 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10108417 1338576896 268756 33554432000 4194304 16246674 140733820343328 140515645304048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13468/tid=13470] ppid=13465 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13470/stat : 13470 (toysat) S 13465 13468 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10108417 1338576896 268756 33554432000 4194304 16246674 140733820343328 140515559320816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13468/tid=13471] ppid=13465 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13471/stat : 13471 (toysat) S 13465 13468 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10108417 1338576896 268756 33554432000 4194304 16246674 140733820343328 140515548847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/13468/task/13471/stat : 13471 (toysat) S 13465 13468 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10108417 1342771200 269785 33554432000 4194304 16246674 140733820343328 140515548847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1311300

[startup+1302.3 s]
/proc/loadavg: 2.20 2.16 2.10 3/183 13505
/proc/meminfo: memFree=29547356/32872528 swapFree=302776/319128
[pid=13468] ppid=13465 vsize=1311300 CPUtime=1301.83 cores=0,2,4,6
/proc/13468/stat : 13468 (toysat) R 13465 13468 7942 0 -1 4202496 269394 0 0 0 130134 49 0 0 20 0 4 0 10108417 1342771200 269786 33554432000 4194304 16246674 140733820343328 140733820325248 5822484 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13468/statm: 327825 269786 877 2943 0 324719 0
[pid=13468/tid=13469] ppid=13465 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13469/stat : 13469 (toysat) S 13465 13468 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10108417 1342771200 269786 33554432000 4194304 16246674 140733820343328 140515645304048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13468/tid=13470] ppid=13465 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13470/stat : 13470 (toysat) S 13465 13468 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10108417 1342771200 269786 33554432000 4194304 16246674 140733820343328 140515559320816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13468/tid=13471] ppid=13465 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13471/stat : 13471 (toysat) S 13465 13468 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10108417 1342771200 269786 33554432000 4194304 16246674 140733820343328 140515548847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1311300

[startup+1362.3 s]
/proc/loadavg: 2.22 2.17 2.11 4/183 13506
/proc/meminfo: memFree=29546356/32872528 swapFree=302776/319128
[pid=13468] ppid=13465 vsize=1313348 CPUtime=1361.82 cores=0,2,4,6
/proc/13468/stat : 13468 (toysat) R 13465 13468 7942 0 -1 4202496 269763 0 0 0 136133 49 0 0 20 0 4 0 10108417 1344868352 270154 33554432000 4194304 16246674 140733820343328 140733820325248 13943664 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13468/statm: 328337 270154 877 2943 0 325231 0
[pid=13468/tid=13469] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13469/stat : 13469 (toysat) S 13465 13468 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270154 33554432000 4194304 16246674 140733820343328 140515645304048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13468/tid=13470] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13470/stat : 13470 (toysat) S 13465 13468 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270154 33554432000 4194304 16246674 140733820343328 140515559320816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13468/tid=13471] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13471/stat : 13471 (toysat) S 13465 13468 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270154 33554432000 4194304 16246674 140733820343328 140515548847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1313348

[startup+1422.3 s]
/proc/loadavg: 2.14 2.15 2.10 3/184 13510
/proc/meminfo: memFree=29545548/32872528 swapFree=302776/319128
[pid=13468] ppid=13465 vsize=1313348 CPUtime=1421.81 cores=0,2,4,6
/proc/13468/stat : 13468 (toysat) R 13465 13468 7942 0 -1 4202496 269825 0 0 0 142132 49 0 0 20 0 4 0 10108417 1344868352 270216 33554432000 4194304 16246674 140733820343328 140733820342424 5712604 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13468/statm: 328337 270216 877 2943 0 325231 0
[pid=13468/tid=13469] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13469/stat : 13469 (toysat) S 13465 13468 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270216 33554432000 4194304 16246674 140733820343328 140515645304048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13468/tid=13470] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13470/stat : 13470 (toysat) S 13465 13468 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270216 33554432000 4194304 16246674 140733820343328 140515559320816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13468/tid=13471] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13471/stat : 13471 (toysat) S 13465 13468 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270216 33554432000 4194304 16246674 140733820343328 140515548847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1313348

[startup+1482.3 s]
/proc/loadavg: 2.14 2.15 2.10 3/184 13534
/proc/meminfo: memFree=29544896/32872528 swapFree=302776/319128
[pid=13468] ppid=13465 vsize=1313348 CPUtime=1481.8 cores=0,2,4,6
/proc/13468/stat : 13468 (toysat) R 13465 13468 7942 0 -1 4202496 269907 0 0 0 148130 50 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140733820325248 5672818 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13468/statm: 328337 270298 877 2943 0 325231 0
[pid=13468/tid=13469] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13469/stat : 13469 (toysat) S 13465 13468 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140515645304048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13468/tid=13470] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13470/stat : 13470 (toysat) S 13465 13468 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140515559320816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13468/tid=13471] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13471/stat : 13471 (toysat) S 13465 13468 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140515548847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1313348

[startup+1542.31 s]
/proc/loadavg: 2.25 2.18 2.11 3/183 13535
/proc/meminfo: memFree=29545524/32872528 swapFree=302776/319128
[pid=13468] ppid=13465 vsize=1313348 CPUtime=1541.8 cores=0,2,4,6
/proc/13468/stat : 13468 (toysat) R 13465 13468 7942 0 -1 4202496 269907 0 0 0 154129 51 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140733820325248 13943664 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13468/statm: 328337 270298 877 2943 0 325231 0
[pid=13468/tid=13469] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13469/stat : 13469 (toysat) S 13465 13468 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140515645304048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13468/tid=13470] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13470/stat : 13470 (toysat) S 13465 13468 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140515559320816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13468/tid=13471] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13471/stat : 13471 (toysat) S 13465 13468 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140515548847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1313348

[startup+1602.3 s]
/proc/loadavg: 2.25 2.19 2.11 3/183 13586
/proc/meminfo: memFree=29572732/32872528 swapFree=302776/319128
[pid=13468] ppid=13465 vsize=1313348 CPUtime=1601.78 cores=0,2,4,6
/proc/13468/stat : 13468 (toysat) R 13465 13468 7942 0 -1 4202496 269907 0 0 0 160127 51 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140733820325248 5722960 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13468/statm: 328337 270298 877 2943 0 325231 0
[pid=13468/tid=13469] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13469/stat : 13469 (toysat) S 13465 13468 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140515645304048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13468/tid=13470] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13470/stat : 13470 (toysat) S 13465 13468 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140515559320816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13468/tid=13471] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13471/stat : 13471 (toysat) S 13465 13468 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140515548847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1313348

[startup+1662.3 s]
/proc/loadavg: 2.18 2.18 2.11 3/183 13587
/proc/meminfo: memFree=29571948/32872528 swapFree=302776/319128
[pid=13468] ppid=13465 vsize=1313348 CPUtime=1661.77 cores=0,2,4,6
/proc/13468/stat : 13468 (toysat) R 13465 13468 7942 0 -1 4202496 269907 0 0 0 166126 51 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140733820325248 5823218 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13468/statm: 328337 270298 877 2943 0 325231 0
[pid=13468/tid=13469] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13469/stat : 13469 (toysat) S 13465 13468 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140515645304048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13468/tid=13470] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13470/stat : 13470 (toysat) S 13465 13468 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140515559320816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13468/tid=13471] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13471/stat : 13471 (toysat) S 13465 13468 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140515548847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1313348

[startup+1722.3 s]
/proc/loadavg: 2.18 2.18 2.11 4/183 13588
/proc/meminfo: memFree=29572072/32872528 swapFree=302776/319128
[pid=13468] ppid=13465 vsize=1313348 CPUtime=1721.76 cores=0,2,4,6
/proc/13468/stat : 13468 (toysat) R 13465 13468 7942 0 -1 4202496 269907 0 0 0 172124 52 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140733820325248 5824052 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13468/statm: 328337 270298 877 2943 0 325231 0
[pid=13468/tid=13469] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13469/stat : 13469 (toysat) S 13465 13468 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140515645304048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13468/tid=13470] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13470/stat : 13470 (toysat) S 13465 13468 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140515559320816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13468/tid=13471] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13471/stat : 13471 (toysat) S 13465 13468 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140515548847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1313348

[startup+1782.3 s]
/proc/loadavg: 2.13 2.16 2.10 4/183 13589
/proc/meminfo: memFree=29571456/32872528 swapFree=302776/319128
[pid=13468] ppid=13465 vsize=1313348 CPUtime=1781.75 cores=0,2,4,6
/proc/13468/stat : 13468 (toysat) R 13465 13468 7942 0 -1 4202496 269907 0 0 0 178123 52 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140733820326328 5523508 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13468/statm: 328337 270298 877 2943 0 325231 0
[pid=13468/tid=13469] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13469/stat : 13469 (toysat) S 13465 13468 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140515645304048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13468/tid=13470] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13470/stat : 13470 (toysat) S 13465 13468 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140515559320816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13468/tid=13471] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13471/stat : 13471 (toysat) S 13465 13468 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140515548847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1313348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.18 2.17 2.11 3/183 13589
/proc/meminfo: memFree=29571828/32872528 swapFree=302776/319128
[pid=13468] ppid=13465 vsize=1313348 CPUtime=1800.05 cores=0,2,4,6
/proc/13468/stat : 13468 (toysat) R 13465 13468 7942 0 -1 4202496 269907 0 0 0 179953 52 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140733820326320 5721729 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13468/statm: 328337 270298 877 2943 0 325231 0
[pid=13468/tid=13469] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13469/stat : 13469 (toysat) S 13465 13468 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140515645304048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13468/tid=13470] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13470/stat : 13470 (toysat) S 13465 13468 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140515559320816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13468/tid=13471] ppid=13465 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13468/task/13471/stat : 13471 (toysat) S 13465 13468 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10108417 1344868352 270298 33554432000 4194304 16246674 140733820343328 140515548847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1313348

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 13468 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.06
CPU user time (s): 1799.53
CPU system time (s): 0.52592
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.52592
maximum resident set size= 1081192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269907
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= 462
involuntary context switches= 2787

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.84626 second user time and 6.68298 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-16 14:36:58
IDJOB=4093307
IDBENCH=78695
IDSOLVER=2553
FILE ID=node128/4093307-1466080618
RUNJOBID= node128-1466075273-12743
PBS_JOBID= 19904011
Free space on /tmp= 71732 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-33-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-4093307-1466080618/watcher-4093307-1466080618 -o /tmp/evaluation-result-4093307-1466080618/solver-4093307-1466080618 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466075273-12743 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093307-1466080618.wbo

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

MD5SUM BENCH= c848ab0f9e18d54de025021d8a38abe4
RANDOM SEED=845581399

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30644700 kB
Buffers:           25180 kB
Cached:            99204 kB
SwapCached:         2104 kB
Active:          1156248 kB
Inactive:          47068 kB
Active(anon):    1079588 kB
Inactive(anon):     1596 kB
Active(file):      76660 kB
Inactive(file):    45472 kB
Unevictable:      319128 kB
Mlocked:          302776 kB
SwapTotal:      67108856 kB
SwapFree:       67098960 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       1470712 kB
Mapped:            10640 kB
Shmem:                 0 kB
Slab:             567296 kB
SReclaimable:      11144 kB
SUnreclaim:       556152 kB
KernelStack:        1520 kB
PageTables:         6788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1541376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    153600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node128 at 2016-06-16 15:06:59