Trace number 4101689

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.04 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-markshare2.opb
MD5SUM1d7aea072d665a4285862aa32425d490
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 9
Optimality of the best value was proved NO
Number of variables270
Total number of constraints7
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint90
Maximum length of a constraint90
Number of terms in the objective function 210
Biggest coefficient in the objective function 37450
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524454
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261155
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524454
Number of bits of the biggest sum of numbers20
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-18T07:00:44+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4101689-1466226044.opb"]
0.00/0.01	c use --random-gen="2902601729 1877554250 399224729 718708307 1801629033 2442730128 2147374570 2675178439 4170143894 2211337110 728389376 171071490 1509420812 2641211461 3832624431 3019912820 3436899335 326580404 3489834594 577650560 3521519460 4137334987 3869420067 2172357920 1278714868 3766650853 1592126247 2650167947 3127910573 690492757 3337668455 1117992864 3645490638 529904164 3122513485 3964978261 2563534492 2639805294 4201008419 3999638689 625432364 935695006 2326484889 3101169215 1534440785 1115971996 194872732 2214917086 1662414399 1544022886 1329207922 251362164 1168023183 4135187110 4036478154 3338267204 2739774181 1368151276 1168208968 3580322409 3145525556 1715283761 3324087805 2861146977 4188111421 604909102 4027935676 3310806763 468173728 2518273530 2316061606 2359613057 2272819604 3684285039 1028563452 1250263033 3635012507 2194090432 3408261966 3572415929 1853930062 3015723671 1891522911 3630563599 3686471831 4138773408 2165740596 14085021 3552348076 3324888562 2094784153 1169669856 4056759083 2941262250 2763060222 277842581 3726679517 3916306482 2642661635 3273377048 1222602341 308947273 1263535822 128738845 21183258 2238362272 1428710769 3808254779 764277551 434530617 2743466276 1405517374 3232793590 1497003142 3966343827 1428448135 3539428291 2582060683 3629856036 3137914941 1887160910 2485532273 4037216069 2089789535 51043527 3927042223 1151607701 1073228614 2671001202 2545814301 776961841 2441680605 3206758142 2540122889 2702064916 4056480891 3450110397 2181379536 412040990 268446405 251303291 2582635163 4105347374 4144829224 3693757246 153448592 3578336546 905092837 2452354322 2724558923 1854386616 4170876042 1623257773 2217465883 2952864968 1270173606 591570341 130666414 657218052 334705119 1254834179 1340635125 1492733348 2583047739 543135649 3328993400 111399814 2961856233 3407615897 1175324162 772466375 1862778878 4134784394 4097863341 3812735812 2563446438 1572183734 3455409765 1361872224 3643726952 1347779231 3168703359 2645456922 2400016377 3521470071 2817778038 1202157335 3960435973 1438479395 4057194358 763079075 3530724377 2702202576 1587352669 975279613 2226335315 3744618619 2639443820 925014438 798859588 3156224050 2968645316 1850720992 4087330248 638101793 391855614 3571658025 456561937 3271120473 2616832185 4064236417 1908801630 772216107 1680020662 1122274814 2446183568 3559991238 3757384980 759072706 683145839 1186145984 558488493 1144637494 1565294338 1465356309 883755792 1004113629 1807865199 3694809612 1900870549 4160411174 3619802319 109442494 2263864012 2022959855 3911342668 2635285644 1573649697 1337784617 2693454536 3141771859 1838602445 2855961628 2409597729 1084214473 690615368 3026388391 3521559230 1481234662 1186188281 560889035 14501576 2618824600 4003922934 457125511 2618260025 255 362436" option to reproduce the execution
0.00/0.01	c #vars 270
0.00/0.01	c #constraints 7
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       94      0 |       63 |        0
0.00/0.02	c  0.0s |       0 |       22 |        0 |       94      0 |       63 |        0
0.00/0.02	c #cpu_time = 0.001s
0.00/0.02	c #wall_clock_time = 0.001s
0.00/0.02	c #decision = 22
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 0
0.00/0.02	c #restart = 0
0.00/0.02	o 774
0.00/0.02	c BCD2: hardening fixes 42 literals
0.00/0.02	c BCD2: updating upper bound: 524454 -> 773
0.00/0.02	c BCD2: 0 <= obj <= 773
0.00/0.02	c BCD2: #cores=0, #unrelaxed=168, #relaxed=0, #hardened=42
0.00/0.02	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       94      0 |       63 |        0
0.00/0.05	c  0.0s |       1 |      275 |      100 |       94      0 |       63 |        0
0.09/0.10	c  0.1s |       2 |      596 |      250 |      104      0 |       63 |        0
0.09/0.18	c  0.2s |       3 |     1015 |      475 |      115      1 |       63 |        0
0.29/0.30	c  0.3s |       4 |     1548 |      813 |      127      3 |       63 |        0
0.39/0.49	c  0.5s |       5 |     2270 |     1320 |      140      6 |       63 |        0
0.69/0.76	c  0.7s |       6 |     3240 |     2081 |      170     10 |       63 |        0
1.10/1.17	c  1.1s |       7 |     4620 |     3223 |      188     16 |       63 |        0
1.59/1.67	c  1.7s |       8 |     6606 |     4936 |      207     24 |       63 |        0
2.20/2.30	c  2.3s |       9 |     9603 |     7506 |      228     36 |       63 |        0
3.19/3.23	c  3.2s |      10 |    13938 |    11361 |      251     53 |       63 |        0
4.50/4.53	c  4.5s |      11 |    20492 |    17144 |      277     77 |       63 |        0
6.49/6.54	c  6.5s |      11 |    29652 |    25744 |      305    111 |       63 |        0
6.49/6.56	c  6.5s |      12 |    29728 |    25819 |      305    111 |       63 |        0
8.49/8.56	c  8.5s |      12 |    38627 |    34319 |      305    143 |       63 |        0
9.59/9.67	c  9.7s |      13 |    43298 |    38832 |      336    160 |       63 |        0
11.59/11.68	c 11.7s |      13 |    51325 |    46432 |      336    186 |       63 |        0
13.69/13.71	c 13.7s |      13 |    59631 |    54532 |      336    215 |       63 |        0
14.69/14.76	c 14.7s |      14 |    63516 |    58352 |      370    228 |       63 |        0
16.69/16.77	c 16.8s |      14 |    71355 |    65952 |      370    253 |       63 |        0
18.69/18.79	c 18.8s |      14 |    80211 |    74752 |      370    283 |       63 |        0
20.78/20.82	c 20.8s |      14 |    88754 |    83252 |      370    311 |       63 |        0
21.78/21.87	c 21.9s |      15 |    93170 |    87632 |      408    325 |       63 |        0
23.78/23.87	c 23.9s |      15 |   100695 |    94932 |      408    348 |       63 |        0
25.78/25.89	c 25.9s |      15 |   108357 |   102532 |      408    372 |       63 |        0
27.88/27.92	c 27.9s |      15 |   115503 |   109632 |      408    394 |       63 |        0
29.88/29.92	c 29.9s |      15 |   122962 |   117032 |      408    417 |       63 |        0
31.89/31.95	c 31.9s |      15 |   130620 |   124632 |      408    441 |       63 |        0
33.68/33.78	c 33.8s |      16 |   137569 |   131552 |      449    462 |       63 |        0
35.68/35.78	c 35.8s |      16 |   144466 |   138252 |      449    482 |       63 |        0
37.68/37.79	c 37.8s |      16 |   151413 |   145152 |      449    502 |       63 |        0
39.69/39.79	c 39.8s |      16 |   158737 |   152452 |      449    523 |       63 |        0
41.79/41.81	c 41.8s |      16 |   166071 |   159752 |      449    545 |       63 |        0
43.78/43.81	c 43.8s |      16 |   172788 |   166452 |      449    565 |       63 |        0
45.78/45.84	c 45.8s |      16 |   179918 |   173552 |      449    586 |       63 |        0
47.78/47.85	c 47.8s |      16 |   187749 |   181352 |      449    609 |       63 |        0
49.78/49.85	c 49.8s |      16 |   194866 |   188452 |      449    630 |       63 |        0
51.79/51.88	c 51.9s |      16 |   201928 |   195352 |      449    650 |       63 |        0
52.48/52.50	c 52.5s |      17 |   204107 |   197432 |      494    656 |       63 |        0
54.48/54.51	c 54.5s |      17 |   210839 |   203832 |      494    673 |       63 |        0
56.48/56.52	c 56.5s |      17 |   217338 |   210232 |      494    691 |       63 |        0
58.48/58.52	c 58.5s |      17 |   223664 |   216432 |      494    708 |       63 |        0
60.48/60.54	c 60.5s |      17 |   230168 |   222832 |      494    726 |       63 |        0
62.48/62.55	c 62.5s |      17 |   236777 |   229332 |      494    743 |       63 |        0
64.48/64.57	c 64.5s |      17 |   243732 |   236132 |      494    762 |       63 |        0
66.48/66.59	c 66.6s |      17 |   250567 |   242732 |      494    780 |       63 |        0
68.58/68.60	c 68.6s |      17 |   257528 |   249532 |      494    799 |       63 |        0
70.58/70.62	c 70.6s |      17 |   264300 |   256032 |      494    817 |       63 |        0
72.58/72.64	c 72.6s |      17 |   270806 |   262432 |      494    835 |       63 |        0
74.57/74.65	c 74.6s |      17 |   277737 |   269232 |      494    853 |       63 |        0
76.57/76.67	c 76.6s |      17 |   284193 |   275632 |      494    871 |       63 |        0
78.67/78.70	c 78.7s |      17 |   290667 |   282032 |      494    889 |       63 |        0
80.67/80.72	c 80.7s |      17 |   297191 |   288432 |      494    906 |       63 |        0
82.67/82.72	c 82.7s |      17 |   303843 |   294832 |      544    924 |       63 |        0
83.07/83.18	c 83.2s |      18 |   305290 |   296252 |      544    928 |       63 |        0
85.17/85.20	c 85.2s |      18 |   311896 |   302552 |      544    944 |       63 |        0
87.17/87.21	c 87.2s |      18 |   318219 |   308752 |      544    960 |       63 |        0
89.18/89.22	c 89.2s |      18 |   325189 |   315452 |      544    977 |       63 |        0
91.17/91.24	c 91.2s |      18 |   331855 |   321852 |      544    993 |       63 |        0
93.17/93.25	c 93.2s |      18 |   338630 |   328352 |      544   1010 |       63 |        0
95.17/95.26	c 95.2s |      18 |   345203 |   334652 |      544   1026 |       63 |        0
97.17/97.26	c 97.2s |      18 |   351760 |   340952 |      544   1043 |       63 |        0
99.17/99.28	c 99.3s |      18 |   358449 |   347452 |      544   1060 |       63 |        0
101.18/101.30	c  101s |      18 |   365434 |   354252 |      544   1077 |       63 |        0
103.27/103.32	c  103s |      18 |   372881 |   361452 |      544   1096 |       63 |        0
105.27/105.33	c  105s |      18 |   379986 |   368252 |      544   1113 |       63 |        0
107.27/107.34	c  107s |      18 |   387380 |   375252 |      544   1131 |       63 |        0
109.27/109.35	c  109s |      18 |   394705 |   382252 |      544   1149 |       63 |        0
111.27/111.38	c  111s |      18 |   402187 |   389352 |      544   1168 |       63 |        0
113.27/113.39	c  113s |      18 |   409212 |   396152 |      544   1185 |       63 |        0
115.37/115.40	c  115s |      18 |   416241 |   402952 |      544   1203 |       63 |        0
117.37/117.41	c  117s |      18 |   423441 |   409852 |      544   1221 |       63 |        0
119.36/119.42	c  119s |      18 |   430427 |   416552 |      544   1238 |       63 |        0
121.36/121.43	c  121s |      18 |   438248 |   423952 |      544   1257 |       63 |        0
123.36/123.45	c  123s |      18 |   445149 |   430652 |      544   1274 |       63 |        0
125.37/125.48	c  125s |      18 |   451673 |   437052 |      544   1291 |       63 |        0
127.46/127.50	c  127s |      18 |   458605 |   443852 |      599   1308 |       63 |        0
127.57/127.66	c  127s |      19 |   459255 |   444482 |      599   1309 |       63 |        0
129.56/129.67	c  129s |      19 |   466098 |   450982 |      599   1325 |       63 |        0
131.56/131.68	c  131s |      19 |   472666 |   457382 |      599   1340 |       63 |        0
133.56/133.69	c  133s |      19 |   479148 |   463682 |      599   1355 |       63 |        0
135.66/135.70	c  135s |      19 |   485802 |   470182 |      599   1371 |       63 |        0
137.67/137.72	c  137s |      19 |   492766 |   476982 |      599   1387 |       63 |        0
139.68/139.72	c  139s |      19 |   499284 |   483382 |      599   1403 |       63 |        0
141.67/141.75	c  141s |      19 |   506004 |   489982 |      599   1419 |       63 |        0
143.67/143.78	c  143s |      19 |   512662 |   496482 |      599   1434 |       63 |        0
145.77/145.80	c  145s |      19 |   518971 |   502682 |      599   1449 |       63 |        0
147.77/147.82	c  147s |      19 |   525324 |   508882 |      599   1464 |       63 |        0
149.77/149.83	c  149s |      19 |   531883 |   515282 |      599   1480 |       63 |        0
151.77/151.85	c  151s |      19 |   538710 |   521882 |      599   1495 |       63 |        0
153.77/153.87	c  153s |      19 |   545391 |   528382 |      599   1511 |       63 |        0
155.77/155.89	c  155s |      19 |   552260 |   535082 |      599   1527 |       63 |        0
157.87/157.90	c  157s |      19 |   558903 |   541482 |      599   1542 |       63 |        0
159.86/159.93	c  159s |      19 |   565445 |   547882 |      599   1558 |       63 |        0
161.86/161.95	c  161s |      19 |   572006 |   554282 |      599   1573 |       63 |        0
163.87/163.96	c  163s |      19 |   578446 |   560582 |      599   1589 |       63 |        0
165.86/165.97	c  165s |      19 |   585356 |   567282 |      599   1605 |       63 |        0
167.86/167.97	c  167s |      19 |   591996 |   573782 |      599   1620 |       63 |        0
169.86/169.98	c  169s |      19 |   598420 |   580082 |      599   1635 |       63 |        0
171.96/172.00	c  171s |      19 |   605201 |   586682 |      599   1651 |       63 |        0
173.96/174.00	c  173s |      19 |   611638 |   592982 |      599   1667 |       63 |        0
175.97/176.02	c  176s |      19 |   618395 |   599582 |      599   1683 |       63 |        0
177.96/178.04	c  178s |      19 |   624810 |   605882 |      599   1698 |       63 |        0
179.96/180.06	c  180s |      19 |   631588 |   612582 |      599   1714 |       63 |        0
181.96/182.07	c  182s |      19 |   638068 |   618982 |      599   1729 |       63 |        0
183.96/184.09	c  184s |      19 |   644388 |   625182 |      599   1744 |       63 |        0
185.97/186.09	c  186s |      19 |   650516 |   631182 |      599   1759 |       63 |        0
188.07/188.12	c  188s |      19 |   657012 |   637582 |      599   1774 |       63 |        0
190.06/190.13	c  190s |      19 |   663449 |   643882 |      599   1790 |       63 |        0
192.06/192.14	c  192s |      19 |   669969 |   650282 |      599   1805 |       63 |        0
194.06/194.15	c  194s |      19 |   676169 |   656382 |      599   1820 |       63 |        0
196.06/196.17	c  196s |      19 |   682377 |   662482 |      659   1834 |       63 |        0
197.46/197.58	c  197s |      20 |   686762 |   666827 |      659   1844 |       63 |        0
199.46/199.59	c  199s |      20 |   693272 |   673027 |      659   1858 |       63 |        0
201.55/201.62	c  201s |      20 |   699689 |   679227 |      659   1872 |       63 |        0
203.56/203.63	c  203s |      20 |   706519 |   685727 |      659   1887 |       63 |        0
205.55/205.64	c  205s |      20 |   713364 |   692427 |      659   1902 |       63 |        0
207.55/207.64	c  207s |      20 |   719988 |   698827 |      659   1916 |       63 |        0
209.55/209.67	c  209s |      20 |   726423 |   705027 |      659   1930 |       63 |        0
211.55/211.69	c  211s |      20 |   732670 |   711127 |      659   1944 |       63 |        0
213.65/213.72	c  213s |      20 |   739324 |   717527 |      659   1958 |       63 |        0
215.66/215.72	c  215s |      20 |   746141 |   724027 |      659   1973 |       63 |        0
217.65/217.73	c  217s |      20 |   752426 |   730127 |      659   1986 |       63 |        0
219.65/219.77	c  219s |      20 |   759058 |   736527 |      659   2001 |       63 |        0
221.75/221.80	c  221s |      20 |   765727 |   743027 |      659   2015 |       63 |        0
223.75/223.82	c  223s |      20 |   771983 |   749127 |      659   2029 |       63 |        0
225.74/225.85	c  225s |      20 |   778539 |   755527 |      659   2043 |       63 |        0
227.75/227.86	c  227s |      20 |   785031 |   761827 |      659   2058 |       63 |        0
229.74/229.88	c  229s |      20 |   791661 |   768227 |      659   2072 |       63 |        0
231.74/231.88	c  231s |      20 |   798276 |   774627 |      659   2086 |       63 |        0
233.74/233.89	c  233s |      20 |   804473 |   780627 |      659   2100 |       63 |        0
235.84/235.91	c  235s |      20 |   810753 |   786727 |      659   2114 |       63 |        0
237.84/237.93	c  237s |      20 |   817224 |   793127 |      659   2128 |       63 |        0
239.84/239.94	c  239s |      20 |   823511 |   799327 |      659   2142 |       63 |        0
241.84/241.97	c  241s |      20 |   830384 |   806127 |      659   2157 |       63 |        0
243.84/243.97	c  243s |      20 |   837101 |   812727 |      659   2172 |       63 |        0
245.84/245.99	c  245s |      20 |   843845 |   819327 |      659   2187 |       63 |        0
247.84/247.99	c  247s |      20 |   850783 |   825927 |      659   2202 |       63 |        0
249.94/250.00	c  249s |      20 |   858062 |   832927 |      659   2217 |       63 |        0
251.95/252.01	c  251s |      20 |   864651 |   839327 |      659   2232 |       63 |        0
253.94/254.05	c  254s |      20 |   870915 |   845527 |      659   2245 |       63 |        0
255.94/256.08	c  256s |      20 |   877250 |   851827 |      659   2260 |       63 |        0
258.04/258.10	c  258s |      20 |   883746 |   858227 |      659   2274 |       63 |        0
260.04/260.11	c  260s |      20 |   890307 |   864727 |      659   2289 |       63 |        0
262.04/262.12	c  262s |      20 |   897133 |   871327 |      659   2304 |       63 |        0
264.04/264.15	c  264s |      20 |   904185 |   878027 |      659   2319 |       63 |        0
266.04/266.17	c  266s |      20 |   911085 |   884627 |      659   2333 |       63 |        0
268.04/268.19	c  268s |      20 |   918186 |   891427 |      659   2349 |       63 |        0
270.14/270.22	c  270s |      20 |   925383 |   898327 |      659   2364 |       63 |        0
272.14/272.23	c  272s |      20 |   932225 |   904927 |      659   2379 |       63 |        0
274.14/274.23	c  274s |      20 |   938910 |   911427 |      659   2394 |       63 |        0
276.14/276.27	c  276s |      20 |   945201 |   917527 |      659   2408 |       63 |        0
278.13/278.28	c  278s |      20 |   952274 |   924427 |      659   2423 |       63 |        0
280.23/280.30	c  280s |      20 |   959790 |   931527 |      659   2439 |       63 |        0
282.23/282.32	c  282s |      20 |   966896 |   938427 |      659   2454 |       63 |        0
284.23/284.33	c  284s |      20 |   973728 |   944927 |      659   2469 |       63 |        0
286.23/286.33	c  286s |      20 |   980334 |   951327 |      659   2483 |       63 |        0
288.23/288.35	c  288s |      20 |   987064 |   957727 |      659   2498 |       63 |        0
290.22/290.38	c  290s |      20 |   993910 |   964327 |      659   2513 |       63 |        0
292.22/292.39	c  292s |      20 |  1001018 |   971127 |      659   2528 |       63 |        0
294.32/294.40	c  294s |      20 |  1008182 |   978127 |      659   2544 |       63 |        0
296.32/296.42	c  296s |      20 |  1014985 |   984727 |      659   2559 |       63 |        0
298.32/298.43	c  298s |      20 |  1021722 |   991227 |      659   2573 |       63 |        0
300.32/300.46	c  300s |      20 |  1028056 |   997427 |      725   2587 |       63 |        0
301.32/301.40	c  301s |      21 |  1031077 |  1000345 |      725   2593 |       63 |        0
303.32/303.41	c  303s |      21 |  1037645 |  1006445 |      725   2605 |       63 |        0
305.32/305.42	c  305s |      21 |  1043943 |  1012545 |      725   2618 |       63 |        0
307.32/307.42	c  307s |      21 |  1050120 |  1018545 |      725   2631 |       63 |        0
309.31/309.43	c  309s |      21 |  1056626 |  1024845 |      725   2644 |       63 |        0
311.32/311.43	c  311s |      21 |  1063160 |  1031245 |      725   2657 |       63 |        0
313.31/313.46	c  313s |      21 |  1069766 |  1037645 |      725   2670 |       63 |        0
315.31/315.47	c  315s |      21 |  1076156 |  1043845 |      725   2683 |       63 |        0
317.31/317.48	c  317s |      21 |  1082385 |  1049945 |      725   2696 |       63 |        0
319.31/319.48	c  319s |      21 |  1089112 |  1056545 |      725   2710 |       63 |        0
321.41/321.51	c  321s |      21 |  1095557 |  1062845 |      725   2723 |       63 |        0
323.41/323.53	c  323s |      21 |  1101707 |  1068845 |      725   2735 |       63 |        0
325.41/325.57	c  325s |      21 |  1108325 |  1075145 |      725   2749 |       63 |        0
327.41/327.58	c  327s |      21 |  1115104 |  1081645 |      725   2762 |       63 |        0
329.50/329.60	c  329s |      21 |  1121429 |  1087745 |      725   2775 |       63 |        0
331.50/331.60	c  331s |      21 |  1128019 |  1094145 |      725   2788 |       63 |        0
333.50/333.63	c  333s |      21 |  1134608 |  1100445 |      725   2801 |       63 |        0
335.51/335.66	c  335s |      21 |  1141113 |  1106745 |      725   2815 |       63 |        0
337.50/337.70	c  337s |      21 |  1147486 |  1112945 |      725   2828 |       63 |        0
339.60/339.71	c  339s |      21 |  1153904 |  1119245 |      725   2841 |       63 |        0
341.60/341.72	c  341s |      21 |  1160130 |  1125345 |      725   2854 |       63 |        0
343.60/343.73	c  343s |      21 |  1166623 |  1131645 |      725   2867 |       63 |        0
345.61/345.74	c  345s |      21 |  1172823 |  1137645 |      725   2879 |       63 |        0
347.61/347.75	c  347s |      21 |  1179052 |  1143645 |      725   2892 |       63 |        0
349.60/349.77	c  349s |      21 |  1185471 |  1149945 |      725   2905 |       63 |        0
351.60/351.78	c  351s |      21 |  1191755 |  1156045 |      725   2918 |       63 |        0
353.70/353.81	c  353s |      21 |  1198848 |  1162945 |      725   2932 |       63 |        0
355.70/355.81	c  355s |      21 |  1205721 |  1169545 |      725   2946 |       63 |        0
357.70/357.82	c  357s |      21 |  1212326 |  1175945 |      725   2959 |       63 |        0
359.70/359.84	c  359s |      21 |  1218892 |  1182245 |      725   2973 |       63 |        0
361.70/361.88	c  361s |      21 |  1225196 |  1188345 |      725   2985 |       63 |        0
363.69/363.89	c  363s |      21 |  1231573 |  1194445 |      725   2998 |       63 |        0
365.79/365.91	c  365s |      21 |  1237998 |  1200645 |      725   3011 |       63 |        0
367.79/367.93	c  367s |      21 |  1243955 |  1206445 |      725   3023 |       63 |        0
369.79/369.95	c  369s |      21 |  1249908 |  1212245 |      725   3035 |       63 |        0
371.80/371.97	c  371s |      21 |  1255747 |  1217945 |      725   3047 |       63 |        0
373.79/373.97	c  373s |      21 |  1261833 |  1223945 |      725   3060 |       63 |        0
375.79/375.99	c  375s |      21 |  1267941 |  1229945 |      725   3073 |       63 |        0
377.89/378.02	c  378s |      21 |  1273928 |  1235845 |      725   3085 |       63 |        0
379.89/380.06	c  380s |      21 |  1279935 |  1241745 |      725   3098 |       63 |        0
381.89/382.07	c  382s |      21 |  1285955 |  1247645 |      725   3110 |       63 |        0
383.89/384.09	c  384s |      21 |  1292300 |  1253845 |      725   3123 |       63 |        0
385.99/386.12	c  386s |      21 |  1298437 |  1259845 |      725   3136 |       63 |        0
387.98/388.14	c  388s |      21 |  1304776 |  1266045 |      725   3149 |       63 |        0
389.99/390.18	c  390s |      21 |  1310970 |  1272145 |      725   3162 |       63 |        0
392.09/392.20	c  392s |      21 |  1317336 |  1278345 |      725   3175 |       63 |        0
394.09/394.23	c  394s |      21 |  1323441 |  1284345 |      725   3187 |       63 |        0
396.09/396.24	c  396s |      21 |  1329543 |  1290345 |      725   3200 |       63 |        0
398.10/398.25	c  398s |      21 |  1337628 |  1298145 |      725   3216 |       63 |        0
400.09/400.25	c  400s |      21 |  1345602 |  1305845 |      725   3232 |       63 |        0
402.08/402.25	c  402s |      21 |  1353412 |  1313445 |      725   3248 |       63 |        0
404.08/404.26	c  404s |      21 |  1360880 |  1320645 |      725   3263 |       63 |        0
406.08/406.28	c  406s |      21 |  1368457 |  1328045 |      725   3278 |       63 |        0
408.09/408.29	c  408s |      21 |  1376061 |  1335345 |      725   3293 |       63 |        0
410.19/410.31	c  410s |      21 |  1383593 |  1342645 |      725   3309 |       63 |        0
412.18/412.34	c  412s |      21 |  1390955 |  1349845 |      725   3324 |       63 |        0
414.18/414.37	c  414s |      21 |  1398199 |  1356945 |      725   3338 |       63 |        0
416.18/416.38	c  416s |      21 |  1405376 |  1363945 |      725   3353 |       63 |        0
418.18/418.39	c  418s |      21 |  1412495 |  1370845 |      725   3367 |       63 |        0
420.27/420.40	c  420s |      21 |  1419774 |  1377845 |      725   3382 |       63 |        0
422.28/422.41	c  422s |      21 |  1426722 |  1384545 |      725   3396 |       63 |        0
424.27/424.44	c  424s |      21 |  1433906 |  1391445 |      725   3410 |       63 |        0
426.27/426.46	c  426s |      21 |  1440915 |  1398245 |      725   3425 |       63 |        0
428.27/428.46	c  428s |      21 |  1448183 |  1405345 |      725   3439 |       63 |        0
430.27/430.48	c  430s |      21 |  1455266 |  1412145 |      725   3454 |       63 |        0
432.27/432.49	c  432s |      21 |  1462534 |  1419045 |      725   3468 |       63 |        0
434.27/434.49	c  434s |      21 |  1469588 |  1425845 |      725   3482 |       63 |        0
436.36/436.50	c  436s |      21 |  1476776 |  1432745 |      725   3497 |       63 |        0
438.36/438.52	c  438s |      21 |  1483896 |  1439645 |      725   3511 |       63 |        0
440.36/440.53	c  440s |      21 |  1491063 |  1446545 |      725   3526 |       63 |        0
442.36/442.54	c  442s |      21 |  1497926 |  1453145 |      725   3539 |       63 |        0
444.37/444.55	c  444s |      21 |  1505051 |  1459945 |      725   3554 |       63 |        0
446.36/446.58	c  446s |      21 |  1511834 |  1466545 |      725   3567 |       63 |        0
448.45/448.61	c  448s |      21 |  1518622 |  1473045 |      725   3581 |       63 |        0
450.45/450.62	c  450s |      21 |  1525367 |  1479645 |      725   3595 |       63 |        0
452.46/452.64	c  452s |      21 |  1532067 |  1486045 |      725   3608 |       63 |        0
454.46/454.66	c  454s |      21 |  1538619 |  1492445 |      798   3621 |       63 |        0
456.47/456.68	c  456s |      21 |  1545271 |  1498845 |      798   3633 |       63 |        0
457.06/457.24	c  457s |      22 |  1547098 |  1500622 |      798   3637 |       63 |        0
459.06/459.27	c  459s |      22 |  1553932 |  1506922 |      798   3649 |       63 |        0
461.05/461.28	c  461s |      22 |  1560686 |  1513422 |      798   3662 |       63 |        0
463.15/463.31	c  463s |      22 |  1566970 |  1519422 |      798   3673 |       63 |        0
465.16/465.31	c  465s |      22 |  1573014 |  1525322 |      798   3685 |       63 |        0
467.15/467.31	c  467s |      22 |  1579137 |  1531222 |      798   3696 |       63 |        0
469.15/469.33	c  469s |      22 |  1585405 |  1537322 |      798   3708 |       63 |        0
471.15/471.36	c  471s |      22 |  1592068 |  1543822 |      798   3721 |       63 |        0
473.15/473.38	c  473s |      22 |  1598440 |  1550022 |      798   3733 |       63 |        0
475.15/475.38	c  475s |      22 |  1604516 |  1556022 |      798   3744 |       63 |        0
477.15/477.39	c  477s |      22 |  1610790 |  1562222 |      798   3756 |       63 |        0
479.24/479.41	c  479s |      22 |  1616973 |  1568322 |      798   3768 |       63 |        0
481.24/481.43	c  481s |      22 |  1622962 |  1574222 |      798   3780 |       63 |        0
483.24/483.46	c  483s |      22 |  1628875 |  1580022 |      798   3791 |       63 |        0
485.24/485.46	c  485s |      22 |  1634904 |  1585922 |      798   3802 |       63 |        0
487.25/487.48	c  487s |      22 |  1641598 |  1592522 |      798   3815 |       63 |        0
489.23/489.50	c  489s |      22 |  1648566 |  1599322 |      798   3828 |       63 |        0
491.33/491.51	c  491s |      22 |  1654925 |  1605522 |      798   3840 |       63 |        0
493.33/493.52	c  493s |      22 |  1661343 |  1611822 |      798   3853 |       63 |        0
495.33/495.53	c  495s |      22 |  1667881 |  1618222 |      798   3865 |       63 |        0
497.33/497.55	c  497s |      22 |  1674154 |  1624422 |      798   3877 |       63 |        0
499.34/499.57	c  499s |      22 |  1680033 |  1630222 |      798   3889 |       63 |        0
501.34/501.59	c  501s |      22 |  1686111 |  1636222 |      798   3900 |       63 |        0
503.44/503.61	c  503s |      22 |  1692149 |  1642122 |      798   3912 |       63 |        0
505.44/505.62	c  505s |      22 |  1698041 |  1647922 |      798   3923 |       63 |        0
507.44/507.64	c  507s |      22 |  1703878 |  1653722 |      798   3934 |       63 |        0
509.43/509.64	c  509s |      22 |  1711300 |  1661022 |      798   3949 |       63 |        0
511.44/511.65	c  511s |      22 |  1717832 |  1667522 |      798   3961 |       63 |        0
513.43/513.67	c  513s |      22 |  1724748 |  1674322 |      798   3974 |       63 |        0
515.43/515.67	c  515s |      22 |  1731240 |  1680722 |      798   3987 |       63 |        0
517.43/517.69	c  517s |      22 |  1737770 |  1687122 |      798   3999 |       63 |        0
519.53/519.70	c  519s |      22 |  1743932 |  1693122 |      798   4011 |       63 |        0
521.53/521.73	c  521s |      22 |  1750276 |  1699322 |      798   4023 |       63 |        0
523.53/523.75	c  523s |      22 |  1756700 |  1705622 |      798   4035 |       63 |        0
525.53/525.76	c  525s |      22 |  1762805 |  1711622 |      798   4047 |       63 |        0
527.52/527.77	c  527s |      22 |  1768880 |  1717622 |      798   4058 |       63 |        0
529.62/529.80	c  529s |      22 |  1775207 |  1723822 |      798   4070 |       63 |        0
531.62/531.81	c  531s |      22 |  1781490 |  1729922 |      798   4082 |       63 |        0
533.62/533.84	c  533s |      22 |  1787783 |  1736022 |      798   4094 |       63 |        0
535.63/535.84	c  535s |      22 |  1793759 |  1741822 |      798   4105 |       63 |        0
537.62/537.87	c  537s |      22 |  1799886 |  1747822 |      798   4117 |       63 |        0
539.61/539.87	c  539s |      22 |  1806696 |  1754422 |      798   4130 |       63 |        0
541.61/541.88	c  541s |      22 |  1813868 |  1761322 |      798   4143 |       63 |        0
543.71/543.90	c  543s |      22 |  1820808 |  1768122 |      798   4156 |       63 |        0
545.71/545.90	c  545s |      22 |  1827711 |  1774822 |      798   4169 |       63 |        0
547.72/547.91	c  547s |      22 |  1834029 |  1780922 |      798   4181 |       63 |        0
549.71/549.91	c  549s |      22 |  1840275 |  1787022 |      798   4193 |       63 |        0
551.71/551.92	c  551s |      22 |  1846544 |  1793122 |      798   4205 |       63 |        0
553.71/553.93	c  553s |      22 |  1852931 |  1799322 |      798   4217 |       63 |        0
555.71/555.94	c  555s |      22 |  1859441 |  1805622 |      798   4229 |       63 |        0
557.71/557.97	c  557s |      22 |  1865780 |  1811722 |      798   4241 |       63 |        0
559.71/559.99	c  559s |      22 |  1872583 |  1818222 |      798   4253 |       63 |        0
561.70/561.99	c  561s |      22 |  1878793 |  1824222 |      798   4265 |       63 |        0
563.80/564.01	c  563s |      22 |  1885607 |  1830722 |      798   4278 |       63 |        0
565.80/566.01	c  565s |      22 |  1891903 |  1836822 |      798   4290 |       63 |        0
567.80/568.02	c  568s |      22 |  1898441 |  1843022 |      798   4302 |       63 |        0
569.80/570.03	c  570s |      22 |  1904786 |  1849122 |      798   4314 |       63 |        0
571.80/572.04	c  572s |      22 |  1911036 |  1855222 |      798   4325 |       63 |        0
573.79/574.07	c  574s |      22 |  1917308 |  1861422 |      798   4338 |       63 |        0
575.79/576.09	c  576s |      22 |  1923590 |  1867522 |      798   4349 |       63 |        0
577.89/578.10	c  578s |      22 |  1929901 |  1873522 |      798   4361 |       63 |        0
579.89/580.12	c  580s |      22 |  1935884 |  1879322 |      798   4372 |       63 |        0
581.89/582.12	c  582s |      22 |  1941952 |  1885222 |      798   4384 |       63 |        0
583.90/584.14	c  584s |      22 |  1948551 |  1891622 |      798   4396 |       63 |        0
585.89/586.16	c  586s |      22 |  1955680 |  1898522 |      798   4410 |       63 |        0
587.89/588.18	c  588s |      22 |  1962676 |  1905222 |      798   4423 |       63 |        0
589.98/590.20	c  590s |      22 |  1969584 |  1911922 |      798   4436 |       63 |        0
591.98/592.21	c  592s |      22 |  1976326 |  1918522 |      798   4449 |       63 |        0
593.98/594.24	c  594s |      22 |  1983121 |  1925222 |      798   4462 |       63 |        0
595.99/596.26	c  596s |      22 |  1989332 |  1931322 |      798   4474 |       63 |        0
597.98/598.28	c  598s |      22 |  1995646 |  1937522 |      798   4486 |       63 |        0
600.09/600.31	c  600s |      22 |  2001834 |  1943522 |      798   4498 |       63 |        0
602.09/602.33	c  602s |      22 |  2007931 |  1949422 |      798   4509 |       63 |        0
604.09/604.34	c  604s |      22 |  2014046 |  1955422 |      798   4521 |       63 |        0
606.09/606.35	c  606s |      22 |  2020472 |  1961622 |      798   4533 |       63 |        0
608.09/608.35	c  608s |      22 |  2027009 |  1967922 |      798   4545 |       63 |        0
610.08/610.37	c  610s |      22 |  2033478 |  1974222 |      798   4558 |       63 |        0
612.08/612.38	c  612s |      22 |  2039903 |  1980422 |      798   4570 |       63 |        0
614.08/614.39	c  614s |      22 |  2046152 |  1986422 |      798   4581 |       63 |        0
616.08/616.39	c  616s |      22 |  2052609 |  1992622 |      798   4593 |       63 |        0
618.18/618.40	c  618s |      22 |  2059000 |  1998722 |      798   4605 |       63 |        0
620.18/620.43	c  620s |      22 |  2065172 |  2004722 |      798   4617 |       63 |        0
622.17/622.45	c  622s |      22 |  2071549 |  2010922 |      798   4629 |       63 |        0
624.17/624.46	c  624s |      22 |  2078133 |  2017322 |      798   4642 |       63 |        0
626.17/626.49	c  626s |      22 |  2084861 |  2023922 |      798   4654 |       63 |        0
628.27/628.52	c  628s |      22 |  2091176 |  2030122 |      798   4666 |       63 |        0
630.27/630.53	c  630s |      22 |  2098094 |  2036722 |      798   4679 |       63 |        0
632.27/632.55	c  632s |      22 |  2104866 |  2043222 |      798   4692 |       63 |        0
634.27/634.58	c  634s |      22 |  2111443 |  2049622 |      798   4704 |       63 |        0
636.37/636.60	c  636s |      22 |  2117922 |  2055922 |      798   4716 |       63 |        0
638.37/638.61	c  638s |      22 |  2124225 |  2062122 |      798   4729 |       63 |        0
640.36/640.64	c  640s |      22 |  2130643 |  2068322 |      798   4741 |       63 |        0
642.36/642.66	c  642s |      22 |  2136840 |  2074422 |      798   4752 |       63 |        0
644.37/644.68	c  644s |      22 |  2143595 |  2081122 |      798   4765 |       63 |        0
646.46/646.70	c  646s |      22 |  2149822 |  2087222 |      798   4777 |       63 |        0
648.46/648.73	c  648s |      22 |  2155977 |  2093222 |      798   4789 |       63 |        0
650.46/650.73	c  650s |      22 |  2162531 |  2099622 |      798   4802 |       63 |        0
652.46/652.75	c  652s |      22 |  2168839 |  2105822 |      798   4814 |       63 |        0
654.47/654.76	c  654s |      22 |  2175290 |  2112122 |      798   4826 |       63 |        0
656.47/656.79	c  656s |      22 |  2181540 |  2118222 |      798   4838 |       63 |        0
658.56/658.82	c  658s |      22 |  2188133 |  2124622 |      798   4850 |       63 |        0
660.56/660.83	c  660s |      22 |  2194443 |  2130822 |      798   4862 |       63 |        0
662.56/662.84	c  662s |      22 |  2200674 |  2136922 |      798   4874 |       63 |        0
664.56/664.87	c  664s |      22 |  2207252 |  2143322 |      798   4887 |       63 |        0
666.56/666.88	c  666s |      22 |  2213611 |  2149522 |      798   4899 |       63 |        0
668.56/668.89	c  668s |      22 |  2220089 |  2155822 |      798   4911 |       63 |        0
670.55/670.89	c  670s |      22 |  2226696 |  2162122 |      798   4923 |       63 |        0
672.55/672.89	c  672s |      22 |  2233251 |  2168422 |      798   4936 |       63 |        0
674.55/674.89	c  674s |      22 |  2239740 |  2174622 |      798   4948 |       63 |        0
676.65/676.90	c  676s |      22 |  2246308 |  2181022 |      798   4960 |       63 |        0
678.65/678.91	c  678s |      22 |  2253053 |  2187622 |      798   4973 |       63 |        0
680.65/680.92	c  680s |      22 |  2260042 |  2194522 |      798   4987 |       63 |        0
682.65/682.93	c  682s |      22 |  2267032 |  2201422 |      798   5000 |       63 |        0
684.65/684.95	c  684s |      22 |  2273386 |  2207722 |      798   5012 |       63 |        0
686.65/686.96	c  686s |      22 |  2279475 |  2213722 |      798   5024 |       63 |        0
688.64/688.98	c  688s |      22 |  2285552 |  2219722 |      798   5036 |       63 |        0
690.65/691.00	c  690s |      22 |  2291890 |  2225922 |      798   5048 |       63 |        0
692.75/693.01	c  692s |      22 |  2298282 |  2232122 |      798   5060 |       63 |        0
694.74/695.03	c  695s |      22 |  2304474 |  2238222 |      878   5071 |       63 |        0
696.74/697.04	c  697s |      22 |  2310868 |  2244522 |      878   5083 |       63 |        0
698.74/699.05	c  699s |      22 |  2317030 |  2250622 |      878   5094 |       63 |        0
698.84/699.19	c  699s |      23 |  2317450 |  2251038 |      878   5094 |       63 |        0
700.94/701.20	c  701s |      23 |  2323851 |  2257038 |      878   5105 |       63 |        0
702.94/703.24	c  703s |      23 |  2330324 |  2263338 |      878   5117 |       63 |        0
704.94/705.26	c  705s |      23 |  2336751 |  2269538 |      878   5128 |       63 |        0
706.94/707.28	c  707s |      23 |  2342842 |  2275438 |      878   5138 |       63 |        0
709.03/709.31	c  709s |      23 |  2349249 |  2281638 |      878   5149 |       63 |        0
711.03/711.31	c  711s |      23 |  2355173 |  2287438 |      878   5160 |       63 |        0
713.03/713.31	c  713s |      23 |  2361491 |  2293538 |      878   5171 |       63 |        0
715.03/715.32	c  715s |      23 |  2367820 |  2299738 |      878   5182 |       63 |        0
717.04/717.35	c  717s |      23 |  2374003 |  2305838 |      878   5193 |       63 |        0
719.03/719.37	c  719s |      23 |  2380185 |  2311938 |      878   5204 |       63 |        0
721.03/721.39	c  721s |      23 |  2386002 |  2317638 |      878   5214 |       63 |        0
723.03/723.40	c  723s |      23 |  2391998 |  2323438 |      878   5225 |       63 |        0
725.12/725.40	c  725s |      23 |  2398254 |  2329538 |      878   5236 |       63 |        0
727.12/727.43	c  727s |      23 |  2404527 |  2335638 |      878   5247 |       63 |        0
729.13/729.43	c  729s |      23 |  2410377 |  2341338 |      878   5257 |       63 |        0
731.12/731.45	c  731s |      23 |  2416490 |  2347238 |      878   5268 |       63 |        0
733.12/733.46	c  733s |      23 |  2422528 |  2353138 |      878   5278 |       63 |        0
735.12/735.49	c  735s |      23 |  2428689 |  2359138 |      878   5289 |       63 |        0
737.22/737.50	c  737s |      23 |  2434733 |  2365038 |      878   5300 |       63 |        0
739.21/739.54	c  739s |      23 |  2440746 |  2370938 |      878   5310 |       63 |        0
741.22/741.56	c  741s |      23 |  2446563 |  2376638 |      878   5321 |       63 |        0
743.21/743.58	c  743s |      23 |  2452322 |  2382338 |      878   5331 |       63 |        0
745.21/745.59	c  745s |      23 |  2458408 |  2388238 |      878   5342 |       63 |        0
747.31/747.60	c  747s |      23 |  2464608 |  2394238 |      878   5352 |       63 |        0
749.31/749.60	c  749s |      23 |  2470718 |  2400238 |      878   5363 |       63 |        0
751.31/751.62	c  751s |      23 |  2476991 |  2406338 |      878   5374 |       63 |        0
753.32/753.65	c  753s |      23 |  2483061 |  2412338 |      878   5385 |       63 |        0
755.31/755.68	c  755s |      23 |  2489267 |  2418438 |      878   5396 |       63 |        0
757.41/757.71	c  757s |      23 |  2495435 |  2424438 |      878   5407 |       63 |        0
759.40/759.72	c  759s |      23 |  2501407 |  2430238 |      878   5417 |       63 |        0
761.40/761.74	c  761s |      23 |  2507517 |  2436238 |      878   5428 |       63 |        0
763.40/763.74	c  763s |      23 |  2513761 |  2442238 |      878   5439 |       63 |        0
765.41/765.77	c  765s |      23 |  2520084 |  2448438 |      878   5450 |       63 |        0
767.40/767.78	c  767s |      23 |  2527346 |  2455638 |      878   5463 |       63 |        0
769.41/769.79	c  769s |      23 |  2534329 |  2462538 |      878   5476 |       63 |        0
771.51/771.80	c  771s |      23 |  2540978 |  2469138 |      878   5488 |       63 |        0
773.51/773.81	c  773s |      23 |  2547558 |  2475638 |      878   5499 |       63 |        0
775.51/775.83	c  775s |      23 |  2554153 |  2482138 |      878   5511 |       63 |        0
777.51/777.87	c  777s |      23 |  2560767 |  2488638 |      878   5523 |       63 |        0
779.50/779.89	c  779s |      23 |  2567157 |  2494938 |      878   5534 |       63 |        0
781.50/781.89	c  781s |      23 |  2573526 |  2501238 |      878   5545 |       63 |        0
783.60/783.90	c  783s |      23 |  2579773 |  2507438 |      878   5556 |       63 |        0
785.60/785.91	c  785s |      23 |  2586330 |  2513938 |      878   5568 |       63 |        0
787.60/787.93	c  787s |      23 |  2592794 |  2520338 |      878   5580 |       63 |        0
789.61/789.95	c  789s |      23 |  2599183 |  2526638 |      878   5591 |       63 |        0
791.60/791.96	c  791s |      23 |  2605531 |  2532938 |      878   5602 |       63 |        0
793.60/793.96	c  793s |      23 |  2611784 |  2539138 |      878   5613 |       63 |        0
795.60/795.97	c  795s |      23 |  2618215 |  2545538 |      878   5625 |       63 |        0
797.60/797.97	c  797s |      23 |  2624370 |  2551638 |      878   5636 |       63 |        0
799.59/799.98	c  799s |      23 |  2631225 |  2558438 |      878   5648 |       63 |        0
801.60/801.99	c  801s |      23 |  2637999 |  2565138 |      878   5660 |       63 |        0
803.59/803.99	c  803s |      23 |  2644591 |  2571638 |      878   5672 |       63 |        0
805.59/805.99	c  805s |      23 |  2651048 |  2578038 |      878   5683 |       63 |        0
807.69/808.00	c  807s |      23 |  2657602 |  2584538 |      878   5695 |       63 |        0
809.69/810.02	c  810s |      23 |  2664029 |  2590838 |      878   5706 |       63 |        0
811.69/812.04	c  812s |      23 |  2670863 |  2597538 |      878   5718 |       63 |        0
813.69/814.06	c  814s |      23 |  2677597 |  2604138 |      878   5730 |       63 |        0
815.69/816.09	c  816s |      23 |  2683939 |  2610338 |      878   5741 |       63 |        0
817.79/818.10	c  818s |      23 |  2689945 |  2616238 |      878   5752 |       63 |        0
819.78/820.13	c  820s |      23 |  2695915 |  2622138 |      878   5763 |       63 |        0
821.78/822.15	c  822s |      23 |  2701903 |  2627938 |      878   5773 |       63 |        0
823.78/824.18	c  824s |      23 |  2708065 |  2633938 |      878   5784 |       63 |        0
825.79/826.20	c  826s |      23 |  2714072 |  2639838 |      878   5795 |       63 |        0
827.88/828.24	c  828s |      23 |  2720346 |  2645938 |      878   5806 |       63 |        0
829.88/830.24	c  830s |      23 |  2726443 |  2651938 |      878   5816 |       63 |        0
831.88/832.26	c  832s |      23 |  2732754 |  2658138 |      878   5828 |       63 |        0
833.88/834.28	c  834s |      23 |  2738583 |  2663838 |      878   5838 |       63 |        0
835.97/836.32	c  836s |      23 |  2744499 |  2669638 |      878   5848 |       63 |        0
837.98/838.33	c  838s |      23 |  2750416 |  2675438 |      878   5859 |       63 |        0
839.97/840.35	c  840s |      23 |  2756861 |  2681738 |      878   5870 |       63 |        0
841.97/842.36	c  842s |      23 |  2763143 |  2687938 |      878   5881 |       63 |        0
843.97/844.38	c  844s |      23 |  2769362 |  2694038 |      878   5892 |       63 |        0
846.07/846.40	c  846s |      23 |  2775651 |  2700238 |      878   5904 |       63 |        0
848.07/848.42	c  848s |      23 |  2781706 |  2706238 |      878   5914 |       63 |        0
850.07/850.43	c  850s |      23 |  2787892 |  2712338 |      878   5925 |       63 |        0
852.06/852.45	c  852s |      23 |  2793957 |  2718338 |      878   5936 |       63 |        0
854.06/854.47	c  854s |      23 |  2799963 |  2724238 |      878   5947 |       63 |        0
856.06/856.49	c  856s |      23 |  2805989 |  2730238 |      878   5958 |       63 |        0
858.16/858.51	c  858s |      23 |  2812335 |  2736538 |      878   5969 |       63 |        0
860.16/860.53	c  860s |      23 |  2818414 |  2742538 |      878   5980 |       63 |        0
862.17/862.55	c  862s |      23 |  2824356 |  2748438 |      878   5991 |       63 |        0
864.16/864.56	c  864s |      23 |  2830547 |  2754438 |      878   6001 |       63 |        0
866.16/866.56	c  866s |      23 |  2836739 |  2760538 |      878   6012 |       63 |        0
868.26/868.60	c  868s |      23 |  2843031 |  2766738 |      878   6024 |       63 |        0
870.26/870.63	c  870s |      23 |  2849386 |  2772938 |      878   6035 |       63 |        0
872.26/872.65	c  872s |      23 |  2855534 |  2778938 |      878   6045 |       63 |        0
874.26/874.68	c  874s |      23 |  2861835 |  2785138 |      878   6057 |       63 |        0
876.26/876.69	c  876s |      23 |  2868114 |  2791338 |      878   6068 |       63 |        0
878.36/878.71	c  878s |      23 |  2874287 |  2797338 |      878   6079 |       63 |        0
880.36/880.73	c  880s |      23 |  2880305 |  2803238 |      878   6089 |       63 |        0
882.36/882.75	c  882s |      23 |  2886275 |  2809138 |      878   6100 |       63 |        0
884.36/884.77	c  884s |      23 |  2892297 |  2815038 |      878   6111 |       63 |        0
886.46/886.80	c  886s |      23 |  2898274 |  2820938 |      878   6121 |       63 |        0
888.46/888.82	c  888s |      23 |  2904484 |  2827038 |      878   6132 |       63 |        0
890.45/890.83	c  890s |      23 |  2910706 |  2833138 |      878   6143 |       63 |        0
892.45/892.86	c  892s |      23 |  2916751 |  2839138 |      878   6154 |       63 |        0
894.45/894.87	c  894s |      23 |  2922777 |  2845038 |      878   6165 |       63 |        0
896.55/896.91	c  896s |      23 |  2928878 |  2851038 |      878   6176 |       63 |        0
898.55/898.92	c  898s |      23 |  2935152 |  2857138 |      878   6187 |       63 |        0
900.56/900.92	c  900s |      23 |  2940873 |  2862738 |      878   6197 |       63 |        0
902.55/902.94	c  902s |      23 |  2946632 |  2868338 |      878   6207 |       63 |        0
904.55/904.97	c  904s |      23 |  2952640 |  2874138 |      878   6218 |       63 |        0
906.55/906.99	c  906s |      23 |  2958364 |  2879738 |      878   6228 |       63 |        0
908.65/909.01	c  908s |      23 |  2964285 |  2885438 |      878   6238 |       63 |        0
910.65/911.02	c  911s |      23 |  2970115 |  2891138 |      878   6248 |       63 |        0
912.66/913.03	c  913s |      23 |  2976001 |  2896838 |      878   6259 |       63 |        0
914.66/915.05	c  915s |      23 |  2982015 |  2902638 |      878   6269 |       63 |        0
916.66/917.07	c  917s |      23 |  2987820 |  2908338 |      878   6279 |       63 |        0
918.66/919.09	c  919s |      23 |  2993537 |  2913938 |      878   6289 |       63 |        0
920.76/921.11	c  921s |      23 |  2999286 |  2919538 |      878   6300 |       63 |        0
922.76/923.14	c  923s |      23 |  3004850 |  2925038 |      878   6310 |       63 |        0
924.77/925.15	c  925s |      23 |  3010751 |  2930838 |      878   6320 |       63 |        0
926.76/927.17	c  927s |      23 |  3016735 |  2936738 |      878   6331 |       63 |        0
928.76/929.18	c  929s |      23 |  3022418 |  2942338 |      878   6341 |       63 |        0
930.76/931.18	c  931s |      23 |  3028215 |  2948038 |      878   6351 |       63 |        0
932.76/933.19	c  933s |      23 |  3034045 |  2953738 |      878   6361 |       63 |        0
934.86/935.21	c  935s |      23 |  3039900 |  2959338 |      878   6372 |       63 |        0
936.86/937.22	c  937s |      23 |  3045454 |  2964738 |      878   6381 |       63 |        0
938.86/939.23	c  939s |      23 |  3051175 |  2970338 |      878   6391 |       63 |        0
940.86/941.25	c  941s |      23 |  3056755 |  2975838 |      878   6401 |       63 |        0
942.85/943.27	c  943s |      23 |  3062679 |  2981638 |      878   6412 |       63 |        0
944.85/945.28	c  945s |      23 |  3068521 |  2987338 |      878   6422 |       63 |        0
946.86/947.28	c  947s |      23 |  3074253 |  2992938 |      878   6432 |       63 |        0
948.96/949.31	c  949s |      23 |  3080276 |  2998838 |      878   6443 |       63 |        0
950.95/951.35	c  951s |      23 |  3086318 |  3004738 |      878   6454 |       63 |        0
952.95/953.38	c  953s |      23 |  3092351 |  3010638 |      878   6464 |       63 |        0
954.95/955.38	c  955s |      23 |  3098128 |  3016338 |      878   6474 |       63 |        0
956.95/957.39	c  957s |      23 |  3104221 |  3022238 |      878   6485 |       63 |        0
959.05/959.40	c  959s |      23 |  3110031 |  3027938 |      878   6495 |       63 |        0
961.06/961.40	c  961s |      23 |  3116046 |  3033838 |      878   6506 |       63 |        0
963.05/963.41	c  963s |      23 |  3121823 |  3039538 |      878   6516 |       63 |        0
965.05/965.43	c  965s |      23 |  3127666 |  3045238 |      878   6527 |       63 |        0
967.05/967.46	c  967s |      23 |  3133474 |  3050938 |      878   6537 |       63 |        0
969.05/969.47	c  969s |      23 |  3139667 |  3056838 |      878   6548 |       63 |        0
971.06/971.48	c  971s |      23 |  3145390 |  3062438 |      878   6558 |       63 |        0
973.05/973.49	c  973s |      23 |  3151387 |  3068238 |      878   6568 |       63 |        0
975.15/975.51	c  975s |      23 |  3157215 |  3073938 |      878   6579 |       63 |        0
977.15/977.52	c  977s |      23 |  3162975 |  3079538 |      878   6589 |       63 |        0
979.15/979.52	c  979s |      23 |  3168790 |  3085238 |      878   6599 |       63 |        0
981.15/981.53	c  981s |      23 |  3174977 |  3091238 |      878   6610 |       63 |        0
983.15/983.55	c  983s |      23 |  3180655 |  3096838 |      878   6620 |       63 |        0
985.15/985.56	c  985s |      23 |  3186304 |  3102338 |      878   6630 |       63 |        0
987.15/987.56	c  987s |      23 |  3191867 |  3107838 |      878   6640 |       63 |        0
989.15/989.57	c  989s |      23 |  3197683 |  3113538 |      878   6650 |       63 |        0
991.15/991.58	c  991s |      23 |  3203637 |  3119338 |      878   6661 |       63 |        0
993.24/993.62	c  993s |      23 |  3209661 |  3125238 |      878   6672 |       63 |        0
995.25/995.64	c  995s |      23 |  3215627 |  3131038 |      878   6682 |       63 |        0
997.24/997.64	c  997s |      23 |  3221002 |  3136338 |      878   6692 |       63 |        0
999.24/999.65	c  999s |      23 |  3226645 |  3141838 |      878   6702 |       63 |        0
1001.24/1001.68	c 1001s |      23 |  3232336 |  3147438 |      878   6712 |       63 |        0
1003.24/1003.68	c 1003s |      23 |  3237950 |  3152938 |      878   6722 |       63 |        0
1005.24/1005.69	c 1005s |      23 |  3243522 |  3158438 |      878   6732 |       63 |        0
1007.35/1007.72	c 1007s |      23 |  3249315 |  3164138 |      878   6742 |       63 |        0
1009.34/1009.75	c 1009s |      23 |  3255088 |  3169838 |      878   6752 |       63 |        0
1011.34/1011.77	c 1011s |      23 |  3260897 |  3175538 |      878   6763 |       63 |        0
1013.34/1013.79	c 1013s |      23 |  3266720 |  3181238 |      878   6773 |       63 |        0
1015.44/1015.80	c 1015s |      23 |  3272586 |  3187038 |      878   6784 |       63 |        0
1017.44/1017.81	c 1017s |      23 |  3278571 |  3192938 |      878   6794 |       63 |        0
1019.45/1019.84	c 1019s |      23 |  3284429 |  3198738 |      878   6805 |       63 |        0
1021.44/1021.86	c 1021s |      23 |  3290211 |  3204438 |      878   6815 |       63 |        0
1023.44/1023.88	c 1023s |      23 |  3295880 |  3210038 |      878   6825 |       63 |        0
1025.44/1025.89	c 1025s |      23 |  3301640 |  3215738 |      878   6836 |       63 |        0
1027.54/1027.92	c 1027s |      23 |  3307109 |  3221138 |      878   6845 |       63 |        0
1029.54/1029.93	c 1029s |      23 |  3312710 |  3226638 |      878   6855 |       63 |        0
1031.54/1031.93	c 1031s |      23 |  3318353 |  3232238 |      878   6865 |       63 |        0
1033.53/1033.94	c 1033s |      23 |  3324021 |  3237838 |      878   6876 |       63 |        0
1035.53/1035.96	c 1035s |      23 |  3329609 |  3243338 |      878   6886 |       63 |        0
1037.53/1037.99	c 1037s |      23 |  3335196 |  3248838 |      878   6896 |       63 |        0
1039.63/1040.02	c 1040s |      23 |  3340740 |  3254338 |      878   6906 |       63 |        0
1041.63/1042.05	c 1042s |      23 |  3346469 |  3259938 |      878   6916 |       63 |        0
1043.64/1044.06	c 1044s |      23 |  3352109 |  3265538 |      878   6926 |       63 |        0
1045.63/1046.06	c 1046s |      23 |  3357582 |  3270938 |      878   6936 |       63 |        0
1047.63/1048.07	c 1048s |      23 |  3364594 |  3277738 |      878   6948 |       63 |        0
1049.73/1050.10	c 1050s |      23 |  3371599 |  3284538 |      878   6960 |       63 |        0
1051.73/1052.10	c 1052s |      23 |  3378343 |  3291038 |      878   6972 |       63 |        0
1053.73/1054.11	c 1054s |      23 |  3384828 |  3297238 |      878   6983 |       63 |        0
1055.74/1056.11	c 1056s |      23 |  3391237 |  3303438 |      878   6994 |       63 |        0
1057.74/1058.14	c 1058s |      23 |  3397570 |  3309638 |      878   7005 |       63 |        0
1059.74/1060.14	c 1060s |      23 |  3403687 |  3315538 |      878   7016 |       63 |        0
1061.74/1062.17	c 1062s |      23 |  3410276 |  3321838 |      878   7027 |       63 |        0
1063.84/1064.20	c 1064s |      23 |  3416712 |  3328038 |      878   7038 |       63 |        0
1065.84/1066.22	c 1066s |      23 |  3422748 |  3333938 |      878   7049 |       63 |        0
1067.84/1068.23	c 1068s |      23 |  3428886 |  3339838 |      878   7060 |       63 |        0
1069.84/1070.25	c 1070s |      23 |  3435117 |  3345838 |      878   7070 |       63 |        0
1071.84/1072.28	c 1072s |      23 |  3441122 |  3351738 |      878   7081 |       63 |        0
1073.94/1074.30	c 1074s |      23 |  3447317 |  3357738 |      966   7091 |       63 |        0
1075.93/1076.31	c 1076s |      23 |  3453455 |  3363738 |      966   7101 |       63 |        0
1077.93/1078.32	c 1078s |      23 |  3460218 |  3370338 |      966   7112 |       63 |        0
1079.94/1080.33	c 1080s |      23 |  3466317 |  3376338 |      966   7122 |       63 |        0
1080.03/1080.43	c 1080s |      24 |  3466633 |  3376662 |      966   7122 |       63 |        0
1082.04/1082.45	c 1082s |      24 |  3472653 |  3382362 |      966   7132 |       63 |        0
1084.03/1084.49	c 1084s |      24 |  3478683 |  3388162 |      966   7142 |       63 |        0
1086.03/1086.49	c 1086s |      24 |  3484845 |  3394162 |      966   7152 |       63 |        0
1088.13/1088.53	c 1088s |      24 |  3491004 |  3400162 |      966   7162 |       63 |        0
1090.13/1090.55	c 1090s |      24 |  3497126 |  3406062 |      966   7171 |       63 |        0
1092.13/1092.57	c 1092s |      24 |  3503055 |  3411862 |      966   7181 |       63 |        0
1094.14/1094.58	c 1094s |      24 |  3509096 |  3417862 |      966   7191 |       63 |        0
1096.13/1096.60	c 1096s |      24 |  3515062 |  3423662 |      966   7201 |       63 |        0
1098.23/1098.60	c 1098s |      24 |  3520852 |  3429362 |      966   7210 |       63 |        0
1100.23/1100.62	c 1100s |      24 |  3526742 |  3435162 |      966   7220 |       63 |        0
1102.23/1102.64	c 1102s |      24 |  3532611 |  3440862 |      966   7229 |       63 |        0
1104.23/1104.64	c 1104s |      24 |  3538283 |  3446362 |      966   7239 |       63 |        0
1106.23/1106.65	c 1106s |      24 |  3544141 |  3452062 |      966   7248 |       63 |        0
1108.23/1108.68	c 1108s |      24 |  3550047 |  3457862 |      966   7258 |       63 |        0
1110.23/1110.68	c 1110s |      24 |  3556133 |  3463862 |      966   7268 |       63 |        0
1112.32/1112.70	c 1112s |      24 |  3561993 |  3469662 |      966   7278 |       63 |        0
1114.32/1114.73	c 1114s |      24 |  3568144 |  3475662 |      966   7288 |       63 |        0
1116.32/1116.77	c 1116s |      24 |  3573757 |  3481162 |      966   7297 |       63 |        0
1118.33/1118.77	c 1118s |      24 |  3579616 |  3486862 |      966   7306 |       63 |        0
1120.32/1120.79	c 1120s |      24 |  3585524 |  3492662 |      966   7316 |       63 |        0
1122.32/1122.79	c 1122s |      24 |  3591148 |  3498162 |      966   7325 |       63 |        0
1124.42/1124.80	c 1124s |      24 |  3596834 |  3503762 |      966   7334 |       63 |        0
1126.42/1126.81	c 1126s |      24 |  3602833 |  3509562 |      966   7344 |       63 |        0
1128.42/1128.84	c 1128s |      24 |  3609147 |  3515762 |      966   7354 |       63 |        0
1130.43/1130.85	c 1130s |      24 |  3615562 |  3521962 |      966   7365 |       63 |        0
1132.42/1132.86	c 1132s |      24 |  3621662 |  3527862 |      966   7375 |       63 |        0
1134.42/1134.88	c 1134s |      24 |  3627592 |  3533662 |      966   7384 |       63 |        0
1136.42/1136.88	c 1136s |      24 |  3633369 |  3539262 |      966   7394 |       63 |        0
1138.52/1138.90	c 1138s |      24 |  3639124 |  3544862 |      966   7403 |       63 |        0
1140.52/1140.92	c 1140s |      24 |  3644789 |  3550362 |      966   7412 |       63 |        0
1142.53/1142.94	c 1142s |      24 |  3650381 |  3555862 |      966   7421 |       63 |        0
1144.52/1144.94	c 1144s |      24 |  3656281 |  3561562 |      966   7431 |       63 |        0
1146.52/1146.97	c 1146s |      24 |  3662158 |  3567262 |      966   7441 |       63 |        0
1148.52/1148.98	c 1148s |      24 |  3668235 |  3573162 |      966   7450 |       63 |        0
1150.62/1151.01	c 1150s |      24 |  3674509 |  3579262 |      966   7461 |       63 |        0
1152.62/1153.04	c 1153s |      24 |  3680989 |  3585362 |      966   7471 |       63 |        0
1154.62/1155.06	c 1155s |      24 |  3687545 |  3591662 |      966   7481 |       63 |        0
1156.62/1157.09	c 1157s |      24 |  3694151 |  3597962 |      966   7492 |       63 |        0
1158.71/1159.10	c 1159s |      24 |  3699915 |  3603562 |      966   7501 |       63 |        0
1160.71/1161.11	c 1161s |      24 |  3705920 |  3609362 |      966   7511 |       63 |        0
1162.71/1163.12	c 1163s |      24 |  3711983 |  3615162 |      966   7521 |       63 |        0
1164.71/1165.15	c 1165s |      24 |  3718622 |  3621562 |      966   7531 |       63 |        0
1166.72/1167.17	c 1167s |      24 |  3725108 |  3627762 |      966   7542 |       63 |        0
1168.71/1169.19	c 1169s |      24 |  3731320 |  3633762 |      966   7552 |       63 |        0
1170.81/1171.20	c 1171s |      24 |  3737618 |  3639862 |      966   7562 |       63 |        0
1172.81/1173.22	c 1173s |      24 |  3743671 |  3645762 |      966   7572 |       63 |        0
1174.81/1175.22	c 1175s |      24 |  3750081 |  3652062 |      966   7582 |       63 |        0
1176.81/1177.22	c 1177s |      24 |  3756040 |  3657862 |      966   7592 |       63 |        0
1178.83/1179.23	c 1179s |      24 |  3761892 |  3663562 |      966   7602 |       63 |        0
1180.82/1181.25	c 1181s |      24 |  3767693 |  3669262 |      966   7611 |       63 |        0
1182.82/1183.26	c 1183s |      24 |  3773769 |  3675162 |      966   7621 |       63 |        0
1184.82/1185.27	c 1185s |      24 |  3779853 |  3681062 |      966   7631 |       63 |        0
1186.92/1187.30	c 1187s |      24 |  3785971 |  3687062 |      966   7641 |       63 |        0
1188.92/1189.33	c 1189s |      24 |  3792024 |  3692962 |      966   7651 |       63 |        0
1190.92/1191.35	c 1191s |      24 |  3797917 |  3698762 |      966   7661 |       63 |        0
1192.92/1193.36	c 1193s |      24 |  3803819 |  3704562 |      966   7670 |       63 |        0
1194.92/1195.38	c 1195s |      24 |  3810083 |  3710562 |      966   7680 |       63 |        0
1197.02/1197.41	c 1197s |      24 |  3816602 |  3716862 |      966   7691 |       63 |        0
1199.02/1199.43	c 1199s |      24 |  3823003 |  3722962 |      966   7701 |       63 |        0
1201.02/1201.45	c 1201s |      24 |  3829345 |  3729062 |      966   7711 |       63 |        0
1203.02/1203.47	c 1203s |      24 |  3835806 |  3735262 |      966   7722 |       63 |        0
1205.01/1205.48	c 1205s |      24 |  3842540 |  3741762 |      966   7733 |       63 |        0
1207.01/1207.49	c 1207s |      24 |  3849329 |  3748362 |      966   7744 |       63 |        0
1209.11/1209.50	c 1209s |      24 |  3856209 |  3754962 |      966   7755 |       63 |        0
1211.11/1211.51	c 1211s |      24 |  3862917 |  3761462 |      966   7765 |       63 |        0
1213.11/1213.52	c 1213s |      24 |  3869603 |  3767862 |      966   7776 |       63 |        0
1215.12/1215.52	c 1215s |      24 |  3876127 |  3774162 |      966   7787 |       63 |        0
1217.11/1217.53	c 1217s |      24 |  3882281 |  3780162 |      966   7797 |       63 |        0
1219.11/1219.54	c 1219s |      24 |  3888626 |  3786262 |      966   7807 |       63 |        0
1221.11/1221.55	c 1221s |      24 |  3894707 |  3792162 |      966   7816 |       63 |        0
1223.11/1223.57	c 1223s |      24 |  3901123 |  3798262 |      966   7827 |       63 |        0
1225.12/1225.58	c 1225s |      24 |  3907436 |  3804362 |      966   7837 |       63 |        0
1227.22/1227.61	c 1227s |      24 |  3913751 |  3810462 |      966   7847 |       63 |        0
1229.21/1229.62	c 1229s |      24 |  3919696 |  3816262 |      966   7857 |       63 |        0
1231.21/1231.62	c 1231s |      24 |  3926001 |  3822462 |      966   7867 |       63 |        0
1233.21/1233.64	c 1233s |      24 |  3932256 |  3828662 |      966   7877 |       63 |        0
1235.21/1235.66	c 1235s |      24 |  3937979 |  3834262 |      966   7887 |       63 |        0
1237.21/1237.68	c 1237s |      24 |  3943709 |  3839862 |      966   7896 |       63 |        0
1239.21/1239.70	c 1239s |      24 |  3949573 |  3845562 |      966   7906 |       63 |        0
1241.31/1241.73	c 1241s |      24 |  3956025 |  3851762 |      966   7916 |       63 |        0
1243.31/1243.75	c 1243s |      24 |  3962028 |  3857562 |      966   7926 |       63 |        0
1245.31/1245.77	c 1245s |      24 |  3967945 |  3863462 |      966   7935 |       63 |        0
1247.31/1247.79	c 1247s |      24 |  3973727 |  3869162 |      966   7945 |       63 |        0
1249.41/1249.82	c 1249s |      24 |  3979865 |  3875062 |      966   7955 |       63 |        0
1251.41/1251.85	c 1251s |      24 |  3985812 |  3880862 |      966   7965 |       63 |        0
1253.40/1253.86	c 1253s |      24 |  3991597 |  3886562 |      966   7974 |       63 |        0
1255.40/1255.89	c 1255s |      24 |  3997436 |  3892262 |      966   7984 |       63 |        0
1257.50/1257.91	c 1257s |      24 |  4003448 |  3898062 |      966   7993 |       63 |        0
1259.50/1259.92	c 1259s |      24 |  4009292 |  3903762 |      966   8003 |       63 |        0
1261.50/1261.95	c 1261s |      24 |  4015106 |  3909462 |      966   8012 |       63 |        0
1263.51/1263.95	c 1263s |      24 |  4020900 |  3915162 |      966   8022 |       63 |        0
1265.50/1265.97	c 1265s |      24 |  4026572 |  3920662 |      966   8031 |       63 |        0
1267.50/1267.97	c 1267s |      24 |  4032191 |  3926162 |      966   8040 |       63 |        0
1269.50/1269.99	c 1269s |      24 |  4038031 |  3931862 |      966   8050 |       63 |        0
1271.60/1272.00	c 1271s |      24 |  4043842 |  3937562 |      966   8059 |       63 |        0
1273.60/1274.02	c 1274s |      24 |  4049730 |  3943362 |      966   8069 |       63 |        0
1275.61/1276.03	c 1276s |      24 |  4055439 |  3948962 |      966   8078 |       63 |        0
1277.60/1278.06	c 1278s |      24 |  4061229 |  3954562 |      966   8088 |       63 |        0
1279.60/1280.07	c 1280s |      24 |  4066752 |  3959962 |      966   8097 |       63 |        0
1281.60/1282.09	c 1282s |      24 |  4072622 |  3965662 |      966   8106 |       63 |        0
1283.60/1284.09	c 1284s |      24 |  4078622 |  3971462 |      966   8116 |       63 |        0
1285.70/1286.12	c 1286s |      24 |  4084373 |  3977062 |      966   8125 |       63 |        0
1287.71/1288.12	c 1288s |      24 |  4090079 |  3982662 |      966   8135 |       63 |        0
1289.70/1290.14	c 1290s |      24 |  4095935 |  3988362 |      966   8144 |       63 |        0
1291.70/1292.14	c 1292s |      24 |  4101769 |  3993962 |      966   8153 |       63 |        0
1293.70/1294.17	c 1294s |      24 |  4107435 |  3999462 |      966   8163 |       63 |        0
1295.70/1296.19	c 1296s |      24 |  4112983 |  4004862 |      966   8172 |       63 |        0
1297.80/1298.22	c 1298s |      24 |  4119028 |  4010662 |      966   8181 |       63 |        0
1299.80/1300.24	c 1300s |      24 |  4124802 |  4016262 |      966   8191 |       63 |        0
1301.80/1302.25	c 1302s |      24 |  4131040 |  4022262 |      966   8201 |       63 |        0
1303.79/1304.29	c 1304s |      24 |  4137271 |  4028162 |      966   8211 |       63 |        0
1305.89/1306.32	c 1306s |      24 |  4143444 |  4034062 |      966   8220 |       63 |        0
1307.89/1308.33	c 1308s |      24 |  4149662 |  4040062 |      966   8230 |       63 |        0
1309.89/1310.36	c 1310s |      24 |  4155413 |  4045662 |      966   8240 |       63 |        0
1311.90/1312.37	c 1312s |      24 |  4161232 |  4051362 |      966   8249 |       63 |        0
1313.99/1314.41	c 1314s |      24 |  4167450 |  4057462 |      966   8260 |       63 |        0
1315.99/1316.44	c 1316s |      24 |  4173548 |  4063462 |      966   8270 |       63 |        0
1317.99/1318.44	c 1318s |      24 |  4179543 |  4069362 |      966   8279 |       63 |        0
1319.99/1320.45	c 1320s |      24 |  4185563 |  4075262 |      966   8289 |       63 |        0
1321.99/1322.46	c 1322s |      24 |  4191477 |  4081062 |      966   8299 |       63 |        0
1324.00/1324.48	c 1324s |      24 |  4197371 |  4086862 |      966   8309 |       63 |        0
1326.09/1326.51	c 1326s |      24 |  4203384 |  4092762 |      966   8319 |       63 |        0
1328.09/1328.53	c 1328s |      24 |  4209197 |  4098462 |      966   8328 |       63 |        0
1330.09/1330.54	c 1330s |      24 |  4215184 |  4104362 |      966   8338 |       63 |        0
1332.09/1332.55	c 1332s |      24 |  4221453 |  4110562 |      966   8348 |       63 |        0
1334.09/1334.57	c 1334s |      24 |  4227815 |  4116862 |      966   8359 |       63 |        0
1336.20/1336.61	c 1336s |      24 |  4234098 |  4123062 |      966   8369 |       63 |        0
1338.19/1338.63	c 1338s |      24 |  4240148 |  4129062 |      966   8379 |       63 |        0
1340.19/1340.67	c 1340s |      24 |  4246239 |  4135062 |      966   8389 |       63 |        0
1342.19/1342.69	c 1342s |      24 |  4252383 |  4141062 |      966   8399 |       63 |        0
1344.29/1344.71	c 1344s |      24 |  4258494 |  4147062 |      966   8409 |       63 |        0
1346.29/1346.74	c 1346s |      24 |  4264255 |  4152762 |      966   8419 |       63 |        0
1348.29/1348.74	c 1348s |      24 |  4270026 |  4158462 |      966   8429 |       63 |        0
1350.29/1350.76	c 1350s |      24 |  4275805 |  4164162 |      966   8438 |       63 |        0
1352.29/1352.79	c 1352s |      24 |  4281506 |  4169762 |      966   8447 |       63 |        0
1354.39/1354.80	c 1354s |      24 |  4287120 |  4175262 |      966   8457 |       63 |        0
1356.39/1356.83	c 1356s |      24 |  4292700 |  4180762 |      966   8466 |       63 |        0
1358.38/1358.85	c 1358s |      24 |  4298351 |  4186262 |      966   8475 |       63 |        0
1360.39/1360.87	c 1360s |      24 |  4304197 |  4191962 |      966   8485 |       63 |        0
1362.38/1362.88	c 1362s |      24 |  4310097 |  4197762 |      966   8494 |       63 |        0
1364.38/1364.89	c 1364s |      24 |  4315950 |  4203462 |      966   8504 |       63 |        0
1366.48/1366.91	c 1366s |      24 |  4321691 |  4209062 |      966   8513 |       63 |        0
1368.48/1368.95	c 1368s |      24 |  4327364 |  4214562 |      966   8523 |       63 |        0
1370.48/1370.98	c 1370s |      24 |  4333189 |  4220262 |      966   8532 |       63 |        0
1372.58/1373.00	c 1372s |      24 |  4338804 |  4225762 |      966   8541 |       63 |        0
1374.59/1375.00	c 1374s |      24 |  4344536 |  4231362 |      966   8551 |       63 |        0
1376.58/1377.01	c 1376s |      24 |  4350230 |  4236962 |      966   8560 |       63 |        0
1378.58/1379.04	c 1379s |      24 |  4355950 |  4242562 |      966   8570 |       63 |        0
1380.58/1381.05	c 1381s |      24 |  4361654 |  4248162 |      966   8579 |       63 |        0
1382.58/1383.08	c 1383s |      24 |  4367436 |  4253862 |      966   8589 |       63 |        0
1384.59/1385.10	c 1385s |      24 |  4372957 |  4259262 |      966   8598 |       63 |        0
1386.69/1387.12	c 1387s |      24 |  4378612 |  4264762 |      966   8607 |       63 |        0
1388.68/1389.13	c 1389s |      24 |  4384157 |  4270162 |      966   8616 |       63 |        0
1390.68/1391.14	c 1391s |      24 |  4390391 |  4276262 |      966   8626 |       63 |        0
1392.68/1393.15	c 1393s |      24 |  4396342 |  4281962 |      966   8636 |       63 |        0
1394.68/1395.15	c 1395s |      24 |  4402022 |  4287462 |      966   8645 |       63 |        0
1396.68/1397.18	c 1397s |      24 |  4407497 |  4292862 |      966   8654 |       63 |        0
1398.68/1399.18	c 1399s |      24 |  4413227 |  4298462 |      966   8663 |       63 |        0
1400.68/1401.19	c 1401s |      24 |  4418977 |  4304062 |      966   8673 |       63 |        0
1402.78/1403.22	c 1403s |      24 |  4424650 |  4309562 |      966   8682 |       63 |        0
1404.78/1405.23	c 1405s |      24 |  4430225 |  4314962 |      966   8691 |       63 |        0
1406.78/1407.26	c 1407s |      24 |  4435535 |  4320162 |      966   8700 |       63 |        0
1408.78/1409.27	c 1409s |      24 |  4441532 |  4326062 |      966   8710 |       63 |        0
1410.88/1411.31	c 1411s |      24 |  4447531 |  4331962 |      966   8720 |       63 |        0
1412.88/1413.32	c 1413s |      24 |  4453260 |  4337562 |      966   8729 |       63 |        0
1414.87/1415.33	c 1415s |      24 |  4458609 |  4342762 |      966   8738 |       63 |        0
1416.87/1417.36	c 1417s |      24 |  4464048 |  4348062 |      966   8747 |       63 |        0
1418.87/1419.39	c 1419s |      24 |  4469573 |  4353462 |      966   8756 |       63 |        0
1420.98/1421.42	c 1421s |      24 |  4476618 |  4360262 |      966   8767 |       63 |        0
1422.99/1423.44	c 1423s |      24 |  4483586 |  4367062 |      966   8778 |       63 |        0
1424.98/1425.45	c 1425s |      24 |  4490346 |  4373662 |      966   8789 |       63 |        0
1426.98/1427.47	c 1427s |      24 |  4496868 |  4380062 |      966   8800 |       63 |        0
1428.98/1429.47	c 1429s |      24 |  4503186 |  4386262 |      966   8810 |       63 |        0
1430.98/1431.48	c 1431s |      24 |  4509591 |  4392562 |      966   8821 |       63 |        0
1433.08/1433.51	c 1433s |      24 |  4516134 |  4398962 |      966   8832 |       63 |        0
1435.09/1435.52	c 1435s |      24 |  4522854 |  4405562 |      966   8843 |       63 |        0
1437.08/1437.54	c 1437s |      24 |  4529371 |  4411962 |      966   8853 |       63 |        0
1439.08/1439.56	c 1439s |      24 |  4535855 |  4418262 |      966   8864 |       63 |        0
1441.08/1441.57	c 1441s |      24 |  4542370 |  4424662 |      966   8874 |       63 |        0
1443.18/1443.60	c 1443s |      24 |  4548586 |  4430762 |      966   8885 |       63 |        0
1445.18/1445.61	c 1445s |      24 |  4554824 |  4436862 |      966   8895 |       63 |        0
1447.19/1447.62	c 1447s |      24 |  4561028 |  4442962 |      966   8905 |       63 |        0
1449.18/1449.64	c 1449s |      24 |  4567178 |  4448962 |      966   8915 |       63 |        0
1451.18/1451.65	c 1451s |      24 |  4573503 |  4455062 |      966   8925 |       63 |        0
1453.18/1453.68	c 1453s |      24 |  4579682 |  4461162 |      966   8935 |       63 |        0
1455.28/1455.71	c 1455s |      24 |  4586031 |  4467362 |      966   8946 |       63 |        0
1457.28/1457.74	c 1457s |      24 |  4592060 |  4473262 |      966   8956 |       63 |        0
1459.28/1459.76	c 1459s |      24 |  4598143 |  4479262 |      966   8966 |       63 |        0
1461.28/1461.78	c 1461s |      24 |  4604214 |  4485162 |      966   8976 |       63 |        0
1463.38/1463.80	c 1463s |      24 |  4610358 |  4491162 |      966   8986 |       63 |        0
1465.38/1465.81	c 1465s |      24 |  4616552 |  4497162 |      966   8996 |       63 |        0
1467.38/1467.81	c 1467s |      24 |  4622821 |  4503262 |      966   9006 |       63 |        0
1469.37/1469.83	c 1469s |      24 |  4628794 |  4509162 |      966   9016 |       63 |        0
1471.38/1471.87	c 1471s |      24 |  4634916 |  4515162 |      966   9026 |       63 |        0
1473.47/1473.90	c 1473s |      24 |  4640829 |  4520962 |      966   9035 |       63 |        0
1475.47/1475.93	c 1475s |      24 |  4646647 |  4526662 |      966   9045 |       63 |        0
1477.47/1477.93	c 1477s |      24 |  4652749 |  4532562 |      966   9055 |       63 |        0
1479.47/1479.96	c 1479s |      24 |  4658698 |  4538362 |      966   9064 |       63 |        0
1481.47/1481.96	c 1481s |      24 |  4664610 |  4544162 |      966   9074 |       63 |        0
1483.48/1483.97	c 1483s |      24 |  4670424 |  4549862 |      966   9084 |       63 |        0
1485.57/1486.00	c 1485s |      24 |  4676349 |  4555662 |      966   9093 |       63 |        0
1487.57/1488.00	c 1487s |      24 |  4682097 |  4561262 |      966   9103 |       63 |        0
1489.57/1490.01	c 1489s |      24 |  4687916 |  4566962 |      966   9112 |       63 |        0
1491.57/1492.01	c 1491s |      24 |  4693836 |  4572762 |      966   9122 |       63 |        0
1493.57/1494.03	c 1494s |      24 |  4699697 |  4578462 |      966   9132 |       63 |        0
1495.58/1496.06	c 1496s |      24 |  4705801 |  4584362 |      966   9141 |       63 |        0
1497.57/1498.06	c 1498s |      24 |  4711854 |  4590262 |      966   9151 |       63 |        0
1499.57/1500.07	c 1500s |      24 |  4718013 |  4596262 |      966   9161 |       63 |        0
1501.57/1502.09	c 1502s |      24 |  4724181 |  4602262 |      966   9171 |       63 |        0
1503.67/1504.10	c 1504s |      24 |  4730081 |  4608062 |      966   9181 |       63 |        0
1505.67/1506.12	c 1506s |      24 |  4736082 |  4613962 |      966   9191 |       63 |        0
1507.67/1508.15	c 1508s |      24 |  4742156 |  4619862 |      966   9201 |       63 |        0
1509.66/1510.15	c 1510s |      24 |  4748105 |  4625662 |      966   9211 |       63 |        0
1511.66/1512.15	c 1512s |      24 |  4754015 |  4631462 |      966   9220 |       63 |        0
1513.66/1514.18	c 1514s |      24 |  4760604 |  4637962 |      966   9231 |       63 |        0
1515.76/1516.21	c 1516s |      24 |  4766947 |  4644162 |      966   9242 |       63 |        0
1517.76/1518.24	c 1518s |      24 |  4773169 |  4650262 |      966   9252 |       63 |        0
1519.77/1520.24	c 1520s |      24 |  4779286 |  4656262 |      966   9262 |       63 |        0
1521.76/1522.25	c 1522s |      24 |  4785378 |  4662262 |      966   9272 |       63 |        0
1523.76/1524.27	c 1524s |      24 |  4791529 |  4668262 |      966   9282 |       63 |        0
1525.76/1526.29	c 1526s |      24 |  4797758 |  4674262 |      966   9292 |       63 |        0
1527.76/1528.29	c 1528s |      24 |  4803712 |  4680062 |      966   9302 |       63 |        0
1529.86/1530.30	c 1530s |      24 |  4809666 |  4685862 |      966   9311 |       63 |        0
1531.87/1532.30	c 1532s |      24 |  4815555 |  4691562 |      966   9321 |       63 |        0
1533.86/1534.32	c 1534s |      24 |  4821656 |  4697462 |      966   9331 |       63 |        0
1535.86/1536.33	c 1536s |      24 |  4827851 |  4703562 |      966   9341 |       63 |        0
1537.86/1538.36	c 1538s |      24 |  4833855 |  4709462 |      966   9351 |       63 |        0
1539.86/1540.38	c 1540s |      24 |  4839843 |  4715362 |      966   9361 |       63 |        0
1541.87/1542.39	c 1542s |      24 |  4845785 |  4721162 |      966   9370 |       63 |        0
1543.86/1544.40	c 1544s |      24 |  4851411 |  4726662 |      966   9379 |       63 |        0
1545.96/1546.41	c 1546s |      24 |  4857222 |  4732362 |      966   9389 |       63 |        0
1547.96/1548.44	c 1548s |      24 |  4862887 |  4737962 |      966   9398 |       63 |        0
1549.96/1550.44	c 1550s |      24 |  4868844 |  4743762 |      966   9408 |       63 |        0
1551.96/1552.45	c 1552s |      24 |  4874428 |  4749262 |      966   9417 |       63 |        0
1553.96/1554.48	c 1554s |      24 |  4880219 |  4754862 |      966   9427 |       63 |        0
1556.06/1556.51	c 1556s |      24 |  4886377 |  4760862 |      966   9437 |       63 |        0
1558.06/1558.52	c 1558s |      24 |  4892080 |  4766362 |      966   9446 |       63 |        0
1560.05/1560.53	c 1560s |      24 |  4897890 |  4771962 |      966   9455 |       63 |        0
1562.05/1562.55	c 1562s |      24 |  4903533 |  4777462 |      966   9464 |       63 |        0
1564.05/1564.55	c 1564s |      24 |  4909323 |  4783062 |      966   9474 |       63 |        0
1566.06/1566.55	c 1566s |      24 |  4915083 |  4788662 |      966   9483 |       63 |        0
1568.05/1568.58	c 1568s |      24 |  4921027 |  4794462 |      966   9493 |       63 |        0
1570.05/1570.59	c 1570s |      24 |  4926897 |  4800162 |      966   9503 |       63 |        0
1572.15/1572.61	c 1572s |      24 |  4933165 |  4806262 |      966   9513 |       63 |        0
1574.15/1574.63	c 1574s |      24 |  4939241 |  4812162 |      966   9523 |       63 |        0
1576.15/1576.65	c 1576s |      24 |  4945081 |  4817862 |      966   9532 |       63 |        0
1578.17/1578.66	c 1578s |      24 |  4950719 |  4823362 |      966   9542 |       63 |        0
1580.16/1580.66	c 1580s |      24 |  4956514 |  4829062 |      966   9551 |       63 |        0
1582.16/1582.67	c 1582s |      24 |  4962290 |  4834762 |      966   9561 |       63 |        0
1584.16/1584.68	c 1584s |      24 |  4967770 |  4840162 |      966   9570 |       63 |        0
1586.16/1586.69	c 1586s |      24 |  4973250 |  4845562 |      966   9579 |       63 |        0
1588.25/1588.73	c 1588s |      24 |  4978880 |  4851162 |      966   9588 |       63 |        0
1590.26/1590.75	c 1590s |      24 |  4984578 |  4856762 |      966   9598 |       63 |        0
1592.25/1592.76	c 1592s |      24 |  4990369 |  4862462 |      966   9607 |       63 |        0
1594.25/1594.77	c 1594s |      24 |  4996211 |  4868262 |      966   9617 |       63 |        0
1596.25/1596.78	c 1596s |      24 |  5002099 |  4873862 |      966   9626 |       63 |        0
1598.35/1598.82	c 1598s |      24 |  5007979 |  4879462 |      966   9636 |       63 |        0
1600.35/1600.82	c 1600s |      24 |  5013562 |  4884862 |      966   9645 |       63 |        0
1602.36/1602.82	c 1602s |      24 |  5019144 |  4890262 |      966   9654 |       63 |        0
1604.35/1604.84	c 1604s |      24 |  5025092 |  4895962 |      966   9663 |       63 |        0
1606.35/1606.86	c 1606s |      24 |  5030786 |  4901462 |      966   9673 |       63 |        0
1608.35/1608.89	c 1608s |      24 |  5036526 |  4906962 |      966   9682 |       63 |        0
1610.45/1610.91	c 1610s |      24 |  5042247 |  4912462 |      966   9691 |       63 |        0
1612.45/1612.91	c 1612s |      24 |  5047778 |  4917862 |      966   9700 |       63 |        0
1614.46/1614.92	c 1614s |      24 |  5053472 |  4923362 |      966   9709 |       63 |        0
1616.45/1616.95	c 1616s |      24 |  5059306 |  4929062 |      966   9719 |       63 |        0
1618.45/1618.96	c 1618s |      24 |  5064956 |  4934462 |      966   9728 |       63 |        0
1620.45/1620.99	c 1620s |      24 |  5070669 |  4939962 |      966   9737 |       63 |        0
1622.55/1623.01	c 1622s |      24 |  5076553 |  4945662 |      966   9747 |       63 |        0
1624.55/1625.04	c 1625s |      24 |  5082426 |  4951362 |      966   9756 |       63 |        0
1626.55/1627.06	c 1627s |      24 |  5088118 |  4956962 |      966   9766 |       63 |        0
1628.55/1629.06	c 1629s |      24 |  5093668 |  4962462 |      966   9775 |       63 |        0
1630.55/1631.09	c 1631s |      24 |  5099439 |  4968062 |      966   9784 |       63 |        0
1632.65/1633.12	c 1633s |      24 |  5105163 |  4973662 |      966   9794 |       63 |        0
1634.64/1635.14	c 1635s |      24 |  5110689 |  4979162 |      966   9803 |       63 |        0
1636.64/1637.17	c 1637s |      24 |  5116226 |  4984662 |      966   9812 |       63 |        0
1638.65/1639.18	c 1639s |      24 |  5121752 |  4990162 |      966   9822 |       63 |        0
1640.75/1641.20	c 1641s |      24 |  5127817 |  4996162 |      966   9832 |       63 |        0
1642.74/1643.24	c 1643s |      24 |  5133882 |  5002162 |      966   9842 |       63 |        0
1644.74/1645.25	c 1645s |      24 |  5139874 |  5008062 |      966   9852 |       63 |        0
1646.74/1647.25	c 1647s |      24 |  5145803 |  5013862 |      966   9861 |       63 |        0
1648.75/1649.28	c 1649s |      24 |  5151695 |  5019662 |      966   9871 |       63 |        0
1650.85/1651.32	c 1651s |      24 |  5157508 |  5025362 |      966   9881 |       63 |        0
1652.85/1653.33	c 1653s |      24 |  5163195 |  5030962 |     1063   9890 |       63 |        0
1654.85/1655.35	c 1655s |      24 |  5168979 |  5036662 |     1063   9899 |       63 |        0
1656.85/1657.37	c 1657s |      24 |  5174594 |  5042162 |     1063   9907 |       63 |        0
1658.94/1659.40	c 1659s |      24 |  5180291 |  5047762 |     1063   9916 |       63 |        0
1660.94/1661.41	c 1661s |      24 |  5185782 |  5053162 |     1063   9924 |       63 |        0
1662.94/1663.42	c 1663s |      24 |  5191272 |  5058562 |     1063   9933 |       63 |        0
1664.95/1665.44	c 1665s |      24 |  5196786 |  5063962 |     1063   9941 |       63 |        0
1665.34/1665.89	c 1665s |      25 |  5197951 |  5065098 |     1063   9943 |       63 |        0
1667.44/1667.92	c 1667s |      25 |  5203707 |  5070598 |     1063   9951 |       63 |        0
1669.45/1669.94	c 1669s |      25 |  5209357 |  5076098 |     1063   9960 |       63 |        0
1671.44/1671.96	c 1671s |      25 |  5215489 |  5081998 |     1063   9969 |       63 |        0
1673.44/1673.98	c 1673s |      25 |  5221563 |  5087898 |     1063   9978 |       63 |        0
1675.54/1676.00	c 1675s |      25 |  5227752 |  5093898 |     1063   9987 |       63 |        0
1677.54/1678.01	c 1677s |      25 |  5233626 |  5099598 |     1063   9996 |       63 |        0
1679.54/1680.03	c 1680s |      25 |  5239418 |  5105298 |     1063  10005 |       63 |        0
1681.55/1682.07	c 1682s |      25 |  5245152 |  5110898 |     1063  10014 |       63 |        0
1683.54/1684.09	c 1684s |      25 |  5250964 |  5116498 |     1063  10022 |       63 |        0
1685.64/1686.10	c 1686s |      25 |  5256740 |  5122098 |     1063  10031 |       63 |        0
1687.64/1688.12	c 1688s |      25 |  5262615 |  5127898 |     1063  10040 |       63 |        0
1689.64/1690.15	c 1690s |      25 |  5268924 |  5133998 |     1063  10049 |       63 |        0
1691.64/1692.16	c 1692s |      25 |  5275381 |  5140098 |     1063  10059 |       63 |        0
1693.64/1694.18	c 1694s |      25 |  5281326 |  5145898 |     1063  10068 |       63 |        0
1695.64/1696.18	c 1696s |      25 |  5286957 |  5151398 |     1063  10076 |       63 |        0
1697.64/1698.19	c 1698s |      25 |  5292492 |  5156698 |     1063  10084 |       63 |        0
1699.63/1700.19	c 1700s |      25 |  5297966 |  5161998 |     1063  10093 |       63 |        0
1701.73/1702.20	c 1702s |      25 |  5303656 |  5167498 |     1063  10101 |       63 |        0
1703.73/1704.23	c 1704s |      25 |  5309537 |  5173298 |     1063  10110 |       63 |        0
1705.74/1706.25	c 1706s |      25 |  5315446 |  5178998 |     1063  10119 |       63 |        0
1707.73/1708.27	c 1708s |      25 |  5321405 |  5184798 |     1063  10128 |       63 |        0
1709.73/1710.29	c 1710s |      25 |  5327354 |  5190598 |     1063  10137 |       63 |        0
1711.83/1712.31	c 1712s |      25 |  5333061 |  5196198 |     1063  10146 |       63 |        0
1713.84/1714.34	c 1714s |      25 |  5338794 |  5201798 |     1063  10154 |       63 |        0
1715.84/1716.35	c 1716s |      25 |  5344305 |  5207198 |     1063  10163 |       63 |        0
1717.84/1718.36	c 1718s |      25 |  5349616 |  5212398 |     1063  10171 |       63 |        0
1719.84/1720.37	c 1720s |      25 |  5355372 |  5217998 |     1063  10179 |       63 |        0
1721.94/1722.40	c 1722s |      25 |  5361482 |  5223998 |     1063  10189 |       63 |        0
1723.94/1724.42	c 1724s |      25 |  5367723 |  5230098 |     1063  10198 |       63 |        0
1725.93/1726.44	c 1726s |      25 |  5373790 |  5235998 |     1063  10207 |       63 |        0
1727.93/1728.46	c 1728s |      25 |  5379625 |  5241598 |     1063  10216 |       63 |        0
1729.94/1730.47	c 1730s |      25 |  5385564 |  5247398 |     1063  10225 |       63 |        0
1731.93/1732.47	c 1732s |      25 |  5391996 |  5253698 |     1063  10235 |       63 |        0
1733.93/1734.48	c 1734s |      25 |  5398660 |  5260098 |     1063  10244 |       63 |        0
1736.03/1736.50	c 1736s |      25 |  5404996 |  5266198 |     1063  10254 |       63 |        0
1738.03/1738.53	c 1738s |      25 |  5410936 |  5271998 |     1063  10263 |       63 |        0
1740.03/1740.55	c 1740s |      25 |  5416976 |  5277798 |     1063  10272 |       63 |        0
1742.04/1742.56	c 1742s |      25 |  5422839 |  5283498 |     1063  10281 |       63 |        0
1744.03/1744.60	c 1744s |      25 |  5428836 |  5289398 |     1063  10290 |       63 |        0
1746.13/1746.62	c 1746s |      25 |  5434580 |  5294998 |     1063  10299 |       63 |        0
1748.13/1748.66	c 1748s |      25 |  5440577 |  5300798 |     1063  10308 |       63 |        0
1750.13/1750.68	c 1750s |      25 |  5446416 |  5306398 |     1063  10316 |       63 |        0
1752.13/1752.68	c 1752s |      25 |  5452272 |  5312098 |     1063  10325 |       63 |        0
1754.23/1754.70	c 1754s |      25 |  5458617 |  5318298 |     1063  10335 |       63 |        0
1756.23/1756.73	c 1756s |      25 |  5464622 |  5323998 |     1063  10343 |       63 |        0
1758.23/1758.76	c 1758s |      25 |  5470625 |  5329798 |     1063  10352 |       63 |        0
1760.23/1760.77	c 1760s |      25 |  5476496 |  5335498 |     1063  10361 |       63 |        0
1762.33/1762.80	c 1762s |      25 |  5482615 |  5341498 |     1063  10370 |       63 |        0
1764.32/1764.83	c 1764s |      25 |  5489197 |  5347998 |     1063  10380 |       63 |        0
1766.32/1766.83	c 1766s |      25 |  5495473 |  5354198 |     1063  10390 |       63 |        0
1768.33/1768.84	c 1768s |      25 |  5501749 |  5360398 |     1063  10400 |       63 |        0
1770.32/1770.87	c 1770s |      25 |  5508194 |  5366698 |     1063  10409 |       63 |        0
1772.32/1772.89	c 1772s |      25 |  5514436 |  5372798 |     1063  10419 |       63 |        0
1774.32/1774.89	c 1774s |      25 |  5520499 |  5378598 |     1063  10428 |       63 |        0
1776.32/1776.90	c 1776s |      25 |  5526806 |  5384698 |     1063  10437 |       63 |        0
1778.42/1778.92	c 1778s |      25 |  5533006 |  5390698 |     1063  10446 |       63 |        0
1780.43/1780.93	c 1780s |      25 |  5539085 |  5396598 |     1063  10456 |       63 |        0
1782.42/1782.94	c 1782s |      25 |  5545220 |  5402598 |     1063  10465 |       63 |        0
1784.42/1784.97	c 1784s |      25 |  5551393 |  5408398 |     1063  10474 |       63 |        0
1786.52/1787.00	c 1786s |      25 |  5557098 |  5413898 |     1063  10482 |       63 |        0
1788.52/1789.03	c 1789s |      25 |  5563359 |  5419898 |     1063  10492 |       63 |        0
1790.52/1791.03	c 1791s |      25 |  5569247 |  5425598 |     1063  10500 |       63 |        0
1792.52/1793.04	c 1793s |      25 |  5575157 |  5431398 |     1063  10509 |       63 |        0
1794.52/1795.06	c 1795s |      25 |  5581367 |  5437298 |     1063  10519 |       63 |        0
1796.52/1797.08	c 1797s |      25 |  5587327 |  5443098 |     1063  10528 |       63 |        0
1798.63/1799.10	c 1799s |      25 |  5593422 |  5448998 |     1063  10537 |       63 |        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-4101689-1466226044/watcher-4101689-1466226044 -o /tmp/evaluation-result-4101689-1466226044/solver-4101689-1466226044 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16206 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101689-1466226044.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.23 2.26 2.22 4/180 19694
/proc/meminfo: memFree=21003068/32872528 swapFree=1459628/1655852
[pid=19694] ppid=19691 vsize=630204 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (toysat) R 19691 19694 16189 0 -1 4202496 2330 0 0 0 0 0 0 0 20 0 4 0 24649901 645328896 3202 33554432000 4194304 16246674 140737376726528 140737376725952 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 158063 3212 441 2943 0 154957 0
[pid=19694/tid=19695] ppid=19691 vsize=647612 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19695/stat : 19695 (toysat) S 19691 19694 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24649902 663154688 3272 33554432000 4194304 16246674 140737376726528 140505975336176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19694/tid=19696] ppid=19691 vsize=652732 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19696/stat : 19696 (toysat) S 19691 19694 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24649902 668397568 3290 33554432000 4194304 16246674 140737376726528 140505895644400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19694/tid=19697] ppid=19691 vsize=656828 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19697/stat : 19697 (toysat) S 19691 19694 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24649902 672591872 3305 33554432000 4194304 16246674 140737376726528 140505885170864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100154 s]
/proc/loadavg: 2.23 2.26 2.22 4/180 19694
/proc/meminfo: memFree=21003068/32872528 swapFree=1459628/1655852
[pid=19694] ppid=19691 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/19694/stat : 19694 (toysat) R 19691 19694 16189 0 -1 4202496 19460 0 0 0 6 3 0 0 20 0 4 0 24649901 1247350784 20318 33554432000 4194304 16246674 140737376726528 140737376725952 5710400 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 304529 20323 774 2943 0 301423 0
[pid=19694/tid=19695] ppid=19691 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19695/stat : 19695 (toysat) S 19691 19694 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24649902 1247350784 20326 33554432000 4194304 16246674 140737376726528 140505975336176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19694/tid=19696] ppid=19691 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19696/stat : 19696 (toysat) S 19691 19694 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24649902 1247350784 20334 33554432000 4194304 16246674 140737376726528 140505895644400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19694/tid=19697] ppid=19691 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19697/stat : 19697 (toysat) S 19691 19694 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24649902 1247350784 20340 33554432000 4194304 16246674 140737376726528 140505885170864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200481 s]
/proc/loadavg: 2.23 2.26 2.22 4/180 19694
/proc/meminfo: memFree=21003068/32872528 swapFree=1459628/1655852
[pid=19694] ppid=19691 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/19694/stat : 19694 (toysat) R 19691 19694 16189 0 -1 4202496 35761 0 0 0 13 5 0 0 20 0 4 0 24649901 1247350784 36619 33554432000 4194304 16246674 140737376726528 140737376725952 5665836 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 304529 36626 779 2943 0 301423 0
[pid=19694/tid=19695] ppid=19691 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19695/stat : 19695 (toysat) S 19691 19694 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24649902 1247350784 36628 33554432000 4194304 16246674 140737376726528 140505975336176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19694/tid=19696] ppid=19691 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19696/stat : 19696 (toysat) S 19691 19694 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24649902 1247350784 36630 33554432000 4194304 16246674 140737376726528 140505895644400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19694/tid=19697] ppid=19691 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19697/stat : 19697 (toysat) S 19691 19694 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24649902 1247350784 36633 33554432000 4194304 16246674 140737376726528 140505885170864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300448 s]
/proc/loadavg: 2.23 2.26 2.22 4/180 19694
/proc/meminfo: memFree=21003068/32872528 swapFree=1459628/1655852
[pid=19694] ppid=19691 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/19694/stat : 19694 (toysat) R 19691 19694 16189 0 -1 4202496 51547 0 0 0 21 8 0 0 20 0 4 0 24649901 1247350784 52406 33554432000 4194304 16246674 140737376726528 140737376725952 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 304529 52412 779 2943 0 301423 0
[pid=19694/tid=19695] ppid=19691 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19695/stat : 19695 (toysat) S 19691 19694 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24649902 1247350784 52419 33554432000 4194304 16246674 140737376726528 140505975336176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19694/tid=19696] ppid=19691 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19696/stat : 19696 (toysat) S 19691 19694 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24649902 1247350784 52424 33554432000 4194304 16246674 140737376726528 140505895644400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19694/tid=19697] ppid=19691 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19697/stat : 19697 (toysat) S 19691 19694 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24649902 1247350784 52434 33554432000 4194304 16246674 140737376726528 140505885170864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700367 s]
/proc/loadavg: 2.23 2.26 2.22 4/180 19694
/proc/meminfo: memFree=21003068/32872528 swapFree=1459628/1655852
[pid=19694] ppid=19691 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/19694/stat : 19694 (toysat) R 19691 19694 16189 0 -1 4202496 116969 0 0 0 52 17 0 0 20 0 4 0 24649901 1247350784 117827 33554432000 4194304 16246674 140737376726528 140737376708416 13759916 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 304529 117839 779 2943 0 301423 0
[pid=19694/tid=19695] ppid=19691 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19695/stat : 19695 (toysat) S 19691 19694 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24649902 1247350784 117844 33554432000 4194304 16246674 140737376726528 140505975336176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19694/tid=19696] ppid=19691 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19696/stat : 19696 (toysat) S 19691 19694 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24649902 1247350784 117848 33554432000 4194304 16246674 140737376726528 140505895644400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19694/tid=19697] ppid=19691 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19697/stat : 19697 (toysat) S 19691 19694 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24649902 1247350784 117855 33554432000 4194304 16246674 140737376726528 140505885170864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50037 s]
/proc/loadavg: 2.21 2.25 2.22 4/184 19698
/proc/meminfo: memFree=20265328/32872528 swapFree=1459628/1655852
[pid=19694] ppid=19691 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/19694/stat : 19694 (toysat) R 19691 19694 16189 0 -1 4202496 245758 0 0 0 114 35 0 0 20 0 4 0 24649901 1248399360 246594 33554432000 4194304 16246674 140737376726528 140737376725840 5808568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 304785 246594 840 2943 0 301679 0
[pid=19694/tid=19695] ppid=19691 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19695/stat : 19695 (toysat) S 19691 19694 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24649902 1248399360 246594 33554432000 4194304 16246674 140737376726528 140505975336176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19694/tid=19696] ppid=19691 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19696/stat : 19696 (toysat) S 19691 19694 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24649902 1248399360 246594 33554432000 4194304 16246674 140737376726528 140505895644400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19694/tid=19697] ppid=19691 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19697/stat : 19697 (toysat) S 19691 19694 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24649902 1248399360 246594 33554432000 4194304 16246674 140737376726528 140505885170864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10038 s]
/proc/loadavg: 2.21 2.25 2.22 4/184 19698
/proc/meminfo: memFree=20013360/32872528 swapFree=1459628/1655852
[pid=19694] ppid=19691 vsize=1305156 CPUtime=3.09 cores=1,3,5,7
/proc/19694/stat : 19694 (toysat) R 19691 19694 16189 0 -1 4202496 267297 0 0 0 271 38 0 0 20 0 4 0 24649901 1336479744 268133 33554432000 4194304 16246674 140737376726528 140737376708416 13759557 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 326289 268133 840 2943 0 323183 0
[pid=19694/tid=19695] ppid=19691 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19695/stat : 19695 (toysat) S 19691 19694 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24649902 1336479744 268133 33554432000 4194304 16246674 140737376726528 140505975336176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19694/tid=19696] ppid=19691 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19696/stat : 19696 (toysat) S 19691 19694 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24649902 1336479744 268133 33554432000 4194304 16246674 140737376726528 140505895644400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19694/tid=19697] ppid=19691 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19697/stat : 19697 (toysat) S 19691 19694 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24649902 1336479744 268133 33554432000 4194304 16246674 140737376726528 140505885170864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1305156

[startup+6.30039 s]
/proc/loadavg: 2.19 2.25 2.22 4/184 19698
/proc/meminfo: memFree=19925988/32872528 swapFree=1459628/1655852
[pid=19694] ppid=19691 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/19694/stat : 19694 (toysat) R 19691 19694 16189 0 -1 4202496 267513 0 0 0 591 38 0 0 20 0 4 0 24649901 1337528320 268349 33554432000 4194304 16246674 140737376726528 140737376708416 5659272 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 326545 268349 840 2943 0 323439 0
[pid=19694/tid=19695] ppid=19691 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19695/stat : 19695 (toysat) S 19691 19694 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24649902 1337528320 268349 33554432000 4194304 16246674 140737376726528 140505975336176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19694/tid=19696] ppid=19691 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19696/stat : 19696 (toysat) S 19691 19694 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24649902 1337528320 268349 33554432000 4194304 16246674 140737376726528 140505895644400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19694/tid=19697] ppid=19691 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19697/stat : 19697 (toysat) S 19691 19694 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24649902 1337528320 268349 33554432000 4194304 16246674 140737376726528 140505885170864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.26 2.26 2.22 3/184 19698
/proc/meminfo: memFree=19925644/32872528 swapFree=1459628/1655852
[pid=19694] ppid=19691 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/19694/stat : 19694 (toysat) R 19691 19694 16189 0 -1 4202496 267628 0 0 0 1231 38 0 0 20 0 4 0 24649901 1337528320 268464 33554432000 4194304 16246674 140737376726528 140737376709528 5711580 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 326545 268464 842 2943 0 323439 0
[pid=19694/tid=19695] ppid=19691 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19695/stat : 19695 (toysat) S 19691 19694 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24649902 1337528320 268464 33554432000 4194304 16246674 140737376726528 140505975336176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19694/tid=19696] ppid=19691 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19696/stat : 19696 (toysat) S 19691 19694 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24649902 1337528320 268464 33554432000 4194304 16246674 140737376726528 140505895644400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19694/tid=19697] ppid=19691 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19697/stat : 19697 (toysat) S 19691 19694 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24649902 1337528320 268464 33554432000 4194304 16246674 140737376726528 140505885170864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5004 s]
/proc/loadavg: 2.20 2.25 2.22 3/183 19721
/proc/meminfo: memFree=19924568/32872528 swapFree=1459628/1655852
[pid=19694] ppid=19691 vsize=1307204 CPUtime=25.48 cores=1,3,5,7
/proc/19694/stat : 19694 (toysat) R 19691 19694 16189 0 -1 4202496 267884 0 0 0 2510 38 0 0 20 0 4 0 24649901 1338576896 268720 33554432000 4194304 16246674 140737376726528 140737376708416 12477724 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 326801 268720 842 2943 0 323695 0
[pid=19694/tid=19695] ppid=19691 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19695/stat : 19695 (toysat) S 19691 19694 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24649902 1338576896 268720 33554432000 4194304 16246674 140737376726528 140505975336176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19694/tid=19696] ppid=19691 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19696/stat : 19696 (toysat) S 19691 19694 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24649902 1338576896 268720 33554432000 4194304 16246674 140737376726528 140505895644400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19694/tid=19697] ppid=19691 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19697/stat : 19697 (toysat) S 19691 19694 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24649902 1338576896 268720 33554432000 4194304 16246674 140737376726528 140505885170864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.29 2.26 2.22 4/184 19722
/proc/meminfo: memFree=19925412/32872528 swapFree=1459628/1655852
[pid=19694] ppid=19691 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/19694/stat : 19694 (toysat) R 19691 19694 16189 0 -1 4202496 267886 0 0 0 5070 38 0 0 20 0 4 0 24649901 1338576896 268722 33554432000 4194304 16246674 140737376726528 140737376708416 13194716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 326801 268722 843 2943 0 323695 0
[pid=19694/tid=19695] ppid=19691 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19695/stat : 19695 (toysat) S 19691 19694 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24649902 1338576896 268722 33554432000 4194304 16246674 140737376726528 140505975336176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19694/tid=19696] ppid=19691 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19696/stat : 19696 (toysat) S 19691 19694 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24649902 1338576896 268722 33554432000 4194304 16246674 140737376726528 140505895644400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19694/tid=19697] ppid=19691 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19697/stat : 19697 (toysat) S 19691 19694 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24649902 1338576896 268722 33554432000 4194304 16246674 140737376726528 140505885170864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.28 2.25 2.22 3/183 19723
/proc/meminfo: memFree=19925160/32872528 swapFree=1459628/1655852
[pid=19694] ppid=19691 vsize=1307204 CPUtime=102.27 cores=1,3,5,7
/proc/19694/stat : 19694 (toysat) R 19691 19694 16189 0 -1 4202496 267888 0 0 0 10189 38 0 0 20 0 4 0 24649901 1338576896 268724 33554432000 4194304 16246674 140737376726528 140737376708416 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 326801 268724 845 2943 0 323695 0
[pid=19694/tid=19695] ppid=19691 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19695/stat : 19695 (toysat) S 19691 19694 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24649902 1338576896 268724 33554432000 4194304 16246674 140737376726528 140505975336176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19694/tid=19696] ppid=19691 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19696/stat : 19696 (toysat) S 19691 19694 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24649902 1338576896 268724 33554432000 4194304 16246674 140737376726528 140505895644400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19694/tid=19697] ppid=19691 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19697/stat : 19697 (toysat) S 19691 19694 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24649902 1338576896 268724 33554432000 4194304 16246674 140737376726528 140505885170864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/19694/task/19697/stat : 19697 (toysat) S 19691 19694 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505885170864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1309252

[startup+1362.3 s]
/proc/loadavg: 2.18 2.18 2.17 4/183 19802
/proc/meminfo: memFree=26457420/32872528 swapFree=1459628/1655852
[pid=19694] ppid=19691 vsize=1309252 CPUtime=1361.88 cores=1,3,5,7
/proc/19694/stat : 19694 (toysat) R 19691 19694 16189 0 -1 4202496 268798 0 0 0 136138 50 0 0 20 0 4 0 24649901 1340674048 269240 33554432000 4194304 16246674 140737376726528 140737376708416 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 327313 269240 846 2943 0 324207 0
[pid=19694/tid=19695] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19695/stat : 19695 (toysat) S 19691 19694 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505975336176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19694/tid=19696] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19696/stat : 19696 (toysat) S 19691 19694 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505895644400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19694/tid=19697] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19697/stat : 19697 (toysat) S 19691 19694 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505885170864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1309252

[startup+1422.3 s]
/proc/loadavg: 2.20 2.17 2.17 3/183 19803
/proc/meminfo: memFree=26457160/32872528 swapFree=1459628/1655852
[pid=19694] ppid=19691 vsize=1309252 CPUtime=1421.89 cores=1,3,5,7
/proc/19694/stat : 19694 (toysat) R 19691 19694 16189 0 -1 4202496 268798 0 0 0 142138 51 0 0 20 0 4 0 24649901 1340674048 269240 33554432000 4194304 16246674 140737376726528 140737376725704 6009860 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 327313 269240 846 2943 0 324207 0
[pid=19694/tid=19695] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19695/stat : 19695 (toysat) S 19691 19694 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505975336176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19694/tid=19696] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19696/stat : 19696 (toysat) S 19691 19694 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505895644400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19694/tid=19697] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19697/stat : 19697 (toysat) S 19691 19694 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505885170864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1309252

[startup+1482.3 s]
/proc/loadavg: 2.21 2.18 2.18 3/183 19804
/proc/meminfo: memFree=26456932/32872528 swapFree=1459628/1655852
[pid=19694] ppid=19691 vsize=1309252 CPUtime=1481.87 cores=1,3,5,7
/proc/19694/stat : 19694 (toysat) R 19691 19694 16189 0 -1 4202496 268798 0 0 0 148136 51 0 0 20 0 4 0 24649901 1340674048 269240 33554432000 4194304 16246674 140737376726528 140737376708416 6012131 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 327313 269240 846 2943 0 324207 0
[pid=19694/tid=19695] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19695/stat : 19695 (toysat) S 19691 19694 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505975336176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19694/tid=19696] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19696/stat : 19696 (toysat) S 19691 19694 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505895644400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19694/tid=19697] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19697/stat : 19697 (toysat) S 19691 19694 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505885170864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1309252

[startup+1542.31 s]
/proc/loadavg: 2.19 2.18 2.18 3/183 19805
/proc/meminfo: memFree=26456868/32872528 swapFree=1459628/1655852
[pid=19694] ppid=19691 vsize=1309252 CPUtime=1541.87 cores=1,3,5,7
/proc/19694/stat : 19694 (toysat) R 19691 19694 16189 0 -1 4202496 268798 0 0 0 154136 51 0 0 20 0 4 0 24649901 1340674048 269240 33554432000 4194304 16246674 140737376726528 140737376725704 5711688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 327313 269240 846 2943 0 324207 0
[pid=19694/tid=19695] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19695/stat : 19695 (toysat) S 19691 19694 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505975336176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19694/tid=19696] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19696/stat : 19696 (toysat) S 19691 19694 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505895644400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19694/tid=19697] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19697/stat : 19697 (toysat) S 19691 19694 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505885170864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1309252

[startup+1602.3 s]
/proc/loadavg: 2.26 2.19 2.18 3/183 19807
/proc/meminfo: memFree=26457056/32872528 swapFree=1459628/1655852
[pid=19694] ppid=19691 vsize=1309252 CPUtime=1601.85 cores=1,3,5,7
/proc/19694/stat : 19694 (toysat) R 19691 19694 16189 0 -1 4202496 268798 0 0 0 160133 52 0 0 20 0 4 0 24649901 1340674048 269240 33554432000 4194304 16246674 140737376726528 140737376708416 5721616 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 327313 269240 846 2943 0 324207 0
[pid=19694/tid=19695] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19695/stat : 19695 (toysat) S 19691 19694 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505975336176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19694/tid=19696] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19696/stat : 19696 (toysat) S 19691 19694 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505895644400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19694/tid=19697] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19697/stat : 19697 (toysat) S 19691 19694 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505885170864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1309252

[startup+1662.3 s]
/proc/loadavg: 2.14 2.17 2.17 4/183 19808
/proc/meminfo: memFree=26456820/32872528 swapFree=1459628/1655852
[pid=19694] ppid=19691 vsize=1309252 CPUtime=1661.84 cores=1,3,5,7
/proc/19694/stat : 19694 (toysat) R 19691 19694 16189 0 -1 4202496 268798 0 0 0 166131 53 0 0 20 0 4 0 24649901 1340674048 269240 33554432000 4194304 16246674 140737376726528 140737376708416 5600260 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 327313 269240 846 2943 0 324207 0
[pid=19694/tid=19695] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19695/stat : 19695 (toysat) S 19691 19694 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505975336176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19694/tid=19696] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19696/stat : 19696 (toysat) S 19691 19694 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505895644400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19694/tid=19697] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19697/stat : 19697 (toysat) S 19691 19694 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505885170864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1309252

[startup+1722.3 s]
/proc/loadavg: 2.23 2.18 2.18 4/183 19809
/proc/meminfo: memFree=26457064/32872528 swapFree=1459628/1655852
[pid=19694] ppid=19691 vsize=1309252 CPUtime=1721.84 cores=1,3,5,7
/proc/19694/stat : 19694 (toysat) R 19691 19694 16189 0 -1 4202496 268798 0 0 0 172130 54 0 0 20 0 4 0 24649901 1340674048 269240 33554432000 4194304 16246674 140737376726528 140737376708416 12478207 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 327313 269240 846 2943 0 324207 0
[pid=19694/tid=19695] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19695/stat : 19695 (toysat) S 19691 19694 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505975336176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19694/tid=19696] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19696/stat : 19696 (toysat) S 19691 19694 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505895644400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19694/tid=19697] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19697/stat : 19697 (toysat) S 19691 19694 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505885170864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1309252

[startup+1782.3 s]
/proc/loadavg: 2.19 2.18 2.18 4/184 19813
/proc/meminfo: memFree=26457224/32872528 swapFree=1459628/1655852
[pid=19694] ppid=19691 vsize=1309252 CPUtime=1781.82 cores=1,3,5,7
/proc/19694/stat : 19694 (toysat) R 19691 19694 16189 0 -1 4202496 268798 0 0 0 178128 54 0 0 20 0 4 0 24649901 1340674048 269240 33554432000 4194304 16246674 140737376726528 140737376708416 6011672 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 327313 269240 846 2943 0 324207 0
[pid=19694/tid=19695] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19695/stat : 19695 (toysat) S 19691 19694 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505975336176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19694/tid=19696] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19696/stat : 19696 (toysat) S 19691 19694 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505895644400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19694/tid=19697] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19697/stat : 19697 (toysat) S 19691 19694 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505885170864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1309252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.23 2.18 2.18 3/184 19814
/proc/meminfo: memFree=26456720/32872528 swapFree=1459628/1655852
[pid=19694] ppid=19691 vsize=1309252 CPUtime=1800.03 cores=1,3,5,7
/proc/19694/stat : 19694 (toysat) R 19691 19694 16189 0 -1 4202496 268798 0 0 0 179948 55 0 0 20 0 4 0 24649901 1340674048 269240 33554432000 4194304 16246674 140737376726528 140737376708416 13927267 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 327313 269240 846 2943 0 324207 0
[pid=19694/tid=19695] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19695/stat : 19695 (toysat) S 19691 19694 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505975336176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19694/tid=19696] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19696/stat : 19696 (toysat) S 19691 19694 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505895644400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19694/tid=19697] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19697/stat : 19697 (toysat) S 19691 19694 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505885170864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1309252

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 19694 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.23 2.18 2.18 3/184 19814
/proc/meminfo: memFree=26456720/32872528 swapFree=1459628/1655852
[pid=19694] ppid=19691 vsize=1309252 CPUtime=1800.03 cores=1,3,5,7
/proc/19694/stat : 19694 (toysat) R 19691 19694 16189 0 -1 4202496 268798 0 0 0 179948 55 0 0 20 0 4 0 24649901 1340674048 269240 33554432000 4194304 16246674 140737376726528 140737376708416 13927267 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19694/statm: 327313 269240 846 2943 0 324207 0
[pid=19694/tid=19695] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19695/stat : 19695 (toysat) S 19691 19694 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505975336176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19694/tid=19696] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19696/stat : 19696 (toysat) S 19691 19694 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505895644400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19694/tid=19697] ppid=19691 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19694/task/19697/stat : 19697 (toysat) S 19691 19694 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24649902 1340674048 269240 33554432000 4194304 16246674 140737376726528 140505885170864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1309252

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.49
CPU system time (s): 0.550916
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 1309252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.550916
maximum resident set size= 1076960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268798
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= 410
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6353 second user time and 6.88695 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-18 07:00:44
IDJOB=4101689
IDBENCH=1782
IDSOLVER=2542
FILE ID=node136/4101689-1466226044
RUNJOBID= node136-1466206055-16206
PBS_JOBID= 19918141
Free space on /tmp= 71608 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-markshare2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101689-1466226044/watcher-4101689-1466226044 -o /tmp/evaluation-result-4101689-1466226044/solver-4101689-1466226044 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16206 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101689-1466226044.opb

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

MD5SUM BENCH= 1d7aea072d665a4285862aa32425d490
RANDOM SEED=142550258

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        21003712 kB
Buffers:          163108 kB
Cached:          1781388 kB
SwapCached:            0 kB
Active:          7759564 kB
Inactive:        1692116 kB
Active(anon):    7509640 kB
Inactive(anon):        0 kB
Active(file):     249924 kB
Inactive(file):  1692116 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16364 kB
Writeback:             0 kB
AnonPages:       9162456 kB
Mapped:            16544 kB
Shmem:               204 kB
Slab:             613212 kB
SReclaimable:      57252 kB
SUnreclaim:       555960 kB
KernelStack:        1464 kB
PageTables:        21992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    9298076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1257472 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= 71704 MiB
End job on node136 at 2016-06-18 07:30:44