Trace number 4079756

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb
MD5SUM0278ee4f163393ac33163ff791a7f96d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark60
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
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 constraints16
Minimum length of a constraint82
Maximum length of a constraint86
Number of terms in the objective function 128
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1782
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5856
Number of bits of the biggest sum of numbers13
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-06T22:28: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-4079756-1465244924.opb"]
0.00/0.01	c use --random-gen="3319624209 2463154176 1569945429 3884872255 691005013 3113380476 3819286588 687157443 4281277321 1627709993 3380238308 1007633800 868949069 3626245403 1399498931 2093525586 935826318 3781686150 3455623817 2223808102 4078260122 1212909078 3766073662 2518603514 2500337890 2985194058 1798000293 4229733907 29783218 3090831843 3643034702 255205060 128997951 2383212743 2567348384 484937687 620291976 1361676371 2443624287 2730418655 2305004459 3860814593 3406155265 3491614819 3914672637 3557710298 1456054811 2484857769 3246285774 4201162622 2350187596 2286558321 3342544595 3759736434 3759973956 1982098890 1714630280 2759634312 3977612783 1817866441 1259952457 1962169527 1876175823 3849998647 4257808288 3093659166 2312324194 632128282 588295445 1679168229 2765212405 523767490 3066985608 789686793 811628476 2147336999 237776924 2509958792 446638139 1854002848 693864355 3229349121 2999288964 1649716845 3713450806 253970064 2385762221 4207802349 2724736614 742871312 3293792926 410425609 1417212575 603539459 870447483 1826369570 1980903171 2955765029 3208584650 2673921767 2202403134 2866058808 3470387493 2007425539 1266308484 869578041 673527035 2583767852 1395535551 981867494 1457826453 227779022 255469133 2409922734 2464445590 4244183136 2250935187 3471303146 3271820210 1772117700 3661024513 241106478 3399421058 1184261114 2477539498 2566208991 3896513532 3586257842 737022133 1143280305 5875067 1185605458 1087018901 2806535413 444749155 2258862554 2350712066 3621627265 1741881327 2473750495 1986315917 2974675838 2569695915 3616245725 949584277 3429089308 481322482 175844579 759970811 1746099566 3581234744 3595250303 53730736 1915481101 3869064262 239112688 3548111460 2260195643 754808944 3868281854 1940244508 1257364207 2692623962 528807078 1619422707 1630719155 2046474323 856841276 417407561 1921436233 1897670435 3346021725 2255634585 2490271371 398358586 4128255512 3123478540 2861929284 2109738844 1307444272 1653425908 2845848169 286648862 3102778533 3800208873 2220569037 2310816952 1460568066 1263056207 1616081584 760969958 1756521038 3722535779 107169265 1510438628 4262291953 751822859 4040264176 2852741166 3808977436 416661161 809031587 1981165873 3353004060 3275589370 1043121172 2463080079 76162227 3886262636 2349129269 2807060877 407632427 2667161458 3149673967 2288575717 2356949384 171585595 210827654 913950251 744269971 681204446 2562091405 2038565665 596175412 1354396486 2059428736 1250159913 397269569 2828290544 2598141890 2925708552 488148338 1388637747 2299407513 1879278408 964846157 32370695 816626919 622570128 2788078279 3502099329 1816591351 2618634770 3296324335 2801745071 1531587180 3976875040 1371788509 544778097 3954801332 794882661 2394959811 1935123677 780005436 2613668333 2904288539 255 362436" option to reproduce the execution
0.00/0.01	c #vars 198
0.00/0.01	c #constraints 16
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 |       71      0 |        0 |        0
0.00/0.02	c  0.0s |       0 |       93 |        0 |       71      0 |        0 |        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 = 93
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 2999
0.00/0.02	c BCD2: updating upper bound: 4080 -> 2998
0.00/0.02	c BCD2: 0 <= obj <= 2998
0.00/0.02	c BCD2: #cores=0, #unrelaxed=128, #relaxed=0, #hardened=0
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 |       71      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      267 |      100 |       71      0 |        0 |        0
0.09/0.11	c  0.1s |       2 |      581 |      250 |       79      1 |        0 |        0
0.19/0.20	c  0.2s |       3 |      974 |      475 |       87      4 |        0 |        0
0.29/0.33	c  0.3s |       4 |     1485 |      813 |       96      7 |        0 |        0
0.49/0.53	c  0.5s |       5 |     2159 |     1320 |      106     11 |        0 |        0
0.79/0.84	c  0.8s |       6 |     3099 |     2081 |      129     16 |        0 |        0
1.29/1.31	c  1.3s |       7 |     4426 |     3223 |      142     25 |        0 |        0
1.69/1.76	c  1.7s |       8 |     6313 |     4936 |      157     36 |        0 |        0
2.39/2.47	c  2.4s |       9 |     9069 |     7506 |      173     52 |        0 |        0
3.49/3.53	c  3.5s |      10 |    13132 |    11361 |      191     75 |        0 |        0
5.09/5.10	c  5.1s |      11 |    19129 |    17144 |      211    107 |        0 |        0
7.09/7.10	c  7.1s |      11 |    26590 |    24344 |      211    146 |        0 |        0
7.49/7.51	c  7.5s |      12 |    28066 |    25819 |      233    154 |        0 |        0
9.49/9.53	c  9.5s |      12 |    35548 |    33019 |      233    190 |        0 |        0
11.09/11.16	c 11.1s |      13 |    41410 |    38832 |      257    219 |        0 |        0
13.09/13.19	c 13.2s |      13 |    48752 |    45932 |      257    253 |        0 |        0
15.18/15.20	c 15.2s |      13 |    55712 |    52832 |      257    286 |        0 |        0
16.68/16.78	c 16.8s |      14 |    61293 |    58352 |      283    312 |        0 |        0
18.69/18.79	c 18.8s |      14 |    68460 |    65252 |      283    343 |        0 |        0
20.78/20.81	c 20.8s |      14 |    75468 |    72152 |      283    374 |        0 |        0
22.78/22.83	c 22.8s |      14 |    82860 |    79452 |      283    407 |        0 |        0
24.78/24.85	c 24.8s |      14 |    89941 |    86452 |      283    439 |        0 |        0
25.18/25.21	c 25.2s |      15 |    91147 |    87632 |      312    444 |        0 |        0
27.18/27.23	c 27.2s |      15 |    98427 |    94632 |      312    474 |        0 |        0
29.18/29.23	c 29.2s |      15 |   105432 |   101532 |      312    503 |        0 |        0
31.18/31.25	c 31.2s |      15 |   112479 |   108432 |      312    532 |        0 |        0
33.18/33.25	c 33.2s |      15 |   119357 |   115232 |      312    561 |        0 |        0
35.19/35.26	c 35.2s |      15 |   126557 |   122332 |      312    591 |        0 |        0
37.18/37.28	c 37.3s |      15 |   133924 |   129632 |      312    622 |        0 |        0
37.78/37.83	c 37.8s |      16 |   135858 |   131552 |      344    630 |        0 |        0
39.78/39.84	c 39.8s |      16 |   142879 |   138352 |      344    657 |        0 |        0
41.79/41.87	c 41.8s |      16 |   149845 |   145252 |      344    684 |        0 |        0
43.78/43.89	c 43.9s |      16 |   156790 |   152152 |      344    712 |        0 |        0
45.88/45.91	c 45.9s |      16 |   163437 |   158752 |      344    738 |        0 |        0
47.89/47.92	c 47.9s |      16 |   170097 |   165352 |      344    764 |        0 |        0
49.89/49.94	c 49.9s |      16 |   177361 |   172552 |      344    793 |        0 |        0
51.89/51.94	c 51.9s |      16 |   184047 |   179152 |      344    819 |        0 |        0
53.89/53.97	c 54.0s |      16 |   191214 |   186152 |      344    847 |        0 |        0
55.88/55.98	c 56.0s |      16 |   197813 |   192652 |      344    872 |        0 |        0
57.38/57.40	c 57.4s |      17 |   202657 |   197432 |      379    891 |        0 |        0
59.39/59.42	c 59.4s |      17 |   209544 |   204032 |      379    915 |        0 |        0
61.38/61.43	c 61.4s |      17 |   216227 |   210632 |      379    940 |        0 |        0
63.38/63.45	c 63.4s |      17 |   222739 |   217032 |      379    964 |        0 |        0
65.38/65.45	c 65.4s |      17 |   229168 |   223332 |      379    987 |        0 |        0
67.38/67.46	c 67.4s |      17 |   235559 |   229632 |      379   1011 |        0 |        0
69.39/69.48	c 69.5s |      17 |   242282 |   236232 |      379   1035 |        0 |        0
71.38/71.50	c 71.5s |      17 |   248928 |   242732 |      379   1059 |        0 |        0
73.48/73.53	c 73.5s |      17 |   255798 |   249432 |      379   1084 |        0 |        0
75.48/75.53	c 75.5s |      17 |   262325 |   255832 |      379   1108 |        0 |        0
77.48/77.56	c 77.5s |      17 |   268918 |   262332 |      379   1133 |        0 |        0
79.48/79.57	c 79.5s |      17 |   275427 |   268732 |      379   1156 |        0 |        0
81.48/81.59	c 81.6s |      17 |   281927 |   275132 |      379   1181 |        0 |        0
83.48/83.60	c 83.6s |      17 |   288443 |   281532 |      379   1205 |        0 |        0
85.58/85.60	c 85.6s |      17 |   294824 |   287832 |      379   1228 |        0 |        0
87.57/87.62	c 87.6s |      17 |   301327 |   294232 |      417   1252 |        0 |        0
88.17/88.28	c 88.3s |      18 |   303378 |   296252 |      417   1259 |        0 |        0
90.18/90.30	c 90.3s |      18 |   310074 |   302652 |      417   1281 |        0 |        0
92.27/92.32	c 92.3s |      18 |   316778 |   309252 |      417   1304 |        0 |        0
94.27/94.35	c 94.3s |      18 |   323486 |   315852 |      417   1327 |        0 |        0
96.27/96.35	c 96.3s |      18 |   330201 |   322452 |      417   1350 |        0 |        0
98.27/98.36	c 98.3s |      18 |   336872 |   328952 |      417   1373 |        0 |        0
100.27/100.38	c  100s |      18 |   343383 |   335352 |      417   1395 |        0 |        0
102.28/102.40	c  102s |      18 |   349887 |   341752 |      417   1417 |        0 |        0
104.37/104.41	c  104s |      18 |   356720 |   348452 |      417   1441 |        0 |        0
106.37/106.43	c  106s |      18 |   363858 |   355452 |      417   1465 |        0 |        0
108.37/108.46	c  108s |      18 |   370769 |   362252 |      417   1488 |        0 |        0
110.38/110.47	c  110s |      18 |   377333 |   368752 |      417   1511 |        0 |        0
112.38/112.48	c  112s |      18 |   383944 |   375252 |      417   1533 |        0 |        0
114.38/114.50	c  114s |      18 |   390517 |   381752 |      417   1556 |        0 |        0
116.48/116.52	c  116s |      18 |   397019 |   388152 |      417   1579 |        0 |        0
118.48/118.53	c  118s |      18 |   403567 |   394552 |      417   1601 |        0 |        0
120.48/120.55	c  120s |      18 |   409989 |   400852 |      417   1623 |        0 |        0
122.48/122.55	c  122s |      18 |   416548 |   407352 |      417   1645 |        0 |        0
124.48/124.57	c  124s |      18 |   423193 |   413952 |      417   1668 |        0 |        0
126.48/126.58	c  126s |      18 |   430227 |   420852 |      417   1692 |        0 |        0
128.47/128.58	c  128s |      18 |   437244 |   427752 |      417   1716 |        0 |        0
130.47/130.58	c  130s |      18 |   443766 |   434152 |      417   1738 |        0 |        0
132.57/132.61	c  132s |      18 |   450517 |   440752 |      417   1761 |        0 |        0
133.77/133.81	c  133s |      19 |   454336 |   444482 |      459   1773 |        0 |        0
135.77/135.81	c  135s |      19 |   460824 |   450682 |      459   1793 |        0 |        0
137.77/137.83	c  137s |      19 |   467104 |   456882 |      459   1813 |        0 |        0
139.78/139.86	c  139s |      19 |   473383 |   463082 |      459   1833 |        0 |        0
141.77/141.87	c  141s |      19 |   479657 |   469282 |      459   1853 |        0 |        0
143.77/143.87	c  143s |      19 |   485852 |   475382 |      459   1873 |        0 |        0
145.77/145.89	c  145s |      19 |   492016 |   481482 |      459   1893 |        0 |        0
147.87/147.90	c  147s |      19 |   498305 |   487682 |      459   1913 |        0 |        0
149.87/149.91	c  149s |      19 |   504763 |   493982 |      459   1934 |        0 |        0
151.88/151.92	c  151s |      19 |   510941 |   500082 |      459   1954 |        0 |        0
153.87/153.95	c  153s |      19 |   517306 |   506382 |      459   1974 |        0 |        0
155.87/155.99	c  155s |      19 |   523601 |   512582 |      459   1994 |        0 |        0
157.97/158.01	c  157s |      19 |   529982 |   518882 |      459   2015 |        0 |        0
159.97/160.02	c  160s |      19 |   536060 |   524882 |      459   2034 |        0 |        0
161.97/162.05	c  162s |      19 |   542284 |   530982 |      459   2054 |        0 |        0
163.98/164.08	c  164s |      19 |   548428 |   537082 |      459   2074 |        0 |        0
165.97/166.10	c  166s |      19 |   554848 |   543382 |      459   2095 |        0 |        0
168.07/168.10	c  168s |      19 |   561058 |   549482 |      459   2115 |        0 |        0
170.07/170.11	c  170s |      19 |   567273 |   555582 |      459   2135 |        0 |        0
172.07/172.14	c  172s |      19 |   573561 |   561782 |      459   2155 |        0 |        0
174.07/174.16	c  174s |      19 |   579842 |   567982 |      459   2175 |        0 |        0
176.07/176.19	c  176s |      19 |   586168 |   574182 |      459   2195 |        0 |        0
178.17/178.22	c  178s |      19 |   592397 |   580282 |      459   2215 |        0 |        0
180.16/180.24	c  180s |      19 |   598612 |   586382 |      459   2235 |        0 |        0
182.16/182.25	c  182s |      19 |   604624 |   592282 |      459   2254 |        0 |        0
184.16/184.27	c  184s |      19 |   611360 |   598882 |      459   2276 |        0 |        0
186.16/186.28	c  186s |      19 |   617946 |   605382 |      459   2297 |        0 |        0
188.26/188.30	c  188s |      19 |   624140 |   611482 |      459   2316 |        0 |        0
190.27/190.31	c  190s |      19 |   630142 |   617382 |      459   2336 |        0 |        0
192.26/192.33	c  192s |      19 |   636111 |   623282 |      459   2355 |        0 |        0
194.26/194.34	c  194s |      19 |   642093 |   629182 |      459   2374 |        0 |        0
196.26/196.35	c  196s |      19 |   648071 |   635082 |      459   2394 |        0 |        0
198.26/198.35	c  198s |      19 |   654107 |   640982 |      459   2413 |        0 |        0
200.26/200.36	c  200s |      19 |   661071 |   647882 |      459   2435 |        0 |        0
202.26/202.37	c  202s |      19 |   668089 |   654782 |      459   2458 |        0 |        0
204.35/204.40	c  204s |      19 |   674871 |   661482 |      459   2479 |        0 |        0
205.95/206.04	c  206s |      20 |   680264 |   666827 |      505   2496 |        0 |        0
207.96/208.07	c  208s |      20 |   686999 |   673327 |      505   2515 |        0 |        0
209.95/210.09	c  210s |      20 |   693393 |   679627 |      505   2534 |        0 |        0
212.06/212.10	c  212s |      20 |   699939 |   686027 |      505   2553 |        0 |        0
214.06/214.13	c  214s |      20 |   706407 |   692427 |      505   2573 |        0 |        0
216.06/216.15	c  216s |      20 |   712793 |   698727 |      505   2592 |        0 |        0
218.06/218.17	c  218s |      20 |   719311 |   705127 |      505   2611 |        0 |        0
220.07/220.18	c  220s |      20 |   725689 |   711427 |      505   2630 |        0 |        0
222.06/222.20	c  222s |      20 |   732169 |   717827 |      505   2649 |        0 |        0
224.16/224.21	c  224s |      20 |   738739 |   724327 |      505   2669 |        0 |        0
226.16/226.24	c  226s |      20 |   745241 |   730727 |      505   2688 |        0 |        0
228.16/228.26	c  228s |      20 |   751425 |   736827 |      505   2707 |        0 |        0
230.16/230.28	c  230s |      20 |   757702 |   743027 |      505   2725 |        0 |        0
232.16/232.29	c  232s |      20 |   763903 |   749127 |      505   2744 |        0 |        0
234.16/234.30	c  234s |      20 |   770209 |   755327 |      505   2763 |        0 |        0
236.26/236.30	c  236s |      20 |   776412 |   761427 |      505   2781 |        0 |        0
238.26/238.33	c  238s |      20 |   782603 |   767527 |      505   2800 |        0 |        0
240.26/240.33	c  240s |      20 |   788714 |   773527 |      505   2818 |        0 |        0
242.26/242.36	c  242s |      20 |   794809 |   779527 |      505   2837 |        0 |        0
244.26/244.36	c  244s |      20 |   801003 |   785627 |      505   2855 |        0 |        0
246.26/246.38	c  246s |      20 |   807377 |   791927 |      505   2874 |        0 |        0
248.36/248.40	c  248s |      20 |   813576 |   798027 |      505   2892 |        0 |        0
250.35/250.42	c  250s |      20 |   819589 |   803927 |      505   2910 |        0 |        0
252.35/252.43	c  252s |      20 |   825881 |   810127 |      505   2929 |        0 |        0
254.35/254.44	c  254s |      20 |   831969 |   816127 |      505   2947 |        0 |        0
256.36/256.45	c  256s |      20 |   838930 |   823027 |      505   2968 |        0 |        0
258.35/258.46	c  258s |      20 |   845389 |   829427 |      505   2987 |        0 |        0
260.35/260.47	c  260s |      20 |   851738 |   835627 |      505   3006 |        0 |        0
262.45/262.50	c  262s |      20 |   858048 |   841827 |      505   3025 |        0 |        0
264.45/264.51	c  264s |      20 |   864605 |   848327 |      505   3045 |        0 |        0
266.45/266.52	c  266s |      20 |   870889 |   854527 |      505   3063 |        0 |        0
268.46/268.53	c  268s |      20 |   876961 |   860527 |      505   3082 |        0 |        0
270.45/270.55	c  270s |      20 |   883449 |   866927 |      505   3101 |        0 |        0
272.45/272.56	c  272s |      20 |   889576 |   873027 |      505   3120 |        0 |        0
274.45/274.59	c  274s |      20 |   896453 |   879827 |      505   3140 |        0 |        0
276.45/276.59	c  276s |      20 |   903311 |   886627 |      505   3161 |        0 |        0
278.55/278.61	c  278s |      20 |   909851 |   893127 |      505   3181 |        0 |        0
280.56/280.61	c  280s |      20 |   916309 |   899527 |      505   3200 |        0 |        0
282.55/282.62	c  282s |      20 |   922572 |   905727 |      505   3219 |        0 |        0
284.55/284.62	c  284s |      20 |   928809 |   911927 |      505   3238 |        0 |        0
286.55/286.63	c  286s |      20 |   934904 |   917927 |      505   3256 |        0 |        0
288.55/288.64	c  288s |      20 |   941107 |   924027 |      505   3275 |        0 |        0
290.55/290.65	c  290s |      20 |   947130 |   929927 |      505   3293 |        0 |        0
292.55/292.67	c  292s |      20 |   953036 |   935727 |      505   3311 |        0 |        0
294.55/294.68	c  294s |      20 |   959033 |   941627 |      505   3329 |        0 |        0
296.54/296.68	c  296s |      20 |   965012 |   947527 |      505   3347 |        0 |        0
298.54/298.69	c  298s |      20 |   971111 |   953527 |      505   3366 |        0 |        0
300.64/300.71	c  300s |      20 |   977755 |   960027 |      505   3385 |        0 |        0
302.64/302.71	c  302s |      20 |   984171 |   966327 |      505   3404 |        0 |        0
304.65/304.73	c  304s |      20 |   990381 |   972427 |      505   3422 |        0 |        0
306.64/306.74	c  306s |      20 |   996622 |   978527 |      505   3441 |        0 |        0
308.64/308.75	c  308s |      20 |  1002648 |   984427 |      505   3459 |        0 |        0
310.64/310.77	c  310s |      20 |  1009119 |   990727 |      505   3478 |        0 |        0
312.74/312.80	c  312s |      20 |  1015678 |   997127 |      556   3496 |        0 |        0
313.74/313.83	c  313s |      21 |  1018990 |  1000345 |      556   3505 |        0 |        0
315.75/315.83	c  315s |      21 |  1025190 |  1006245 |      556   3522 |        0 |        0
317.74/317.84	c  317s |      21 |  1031216 |  1012145 |      556   3538 |        0 |        0
319.74/319.86	c  319s |      21 |  1037291 |  1018145 |      556   3555 |        0 |        0
321.74/321.88	c  321s |      21 |  1043481 |  1024245 |      556   3572 |        0 |        0
323.84/323.90	c  323s |      21 |  1049687 |  1030345 |      556   3589 |        0 |        0
325.84/325.92	c  325s |      21 |  1055677 |  1036245 |      556   3606 |        0 |        0
327.84/327.92	c  327s |      21 |  1061794 |  1042245 |      556   3623 |        0 |        0
329.83/329.94	c  329s |      21 |  1068130 |  1048445 |      556   3640 |        0 |        0
331.83/331.96	c  331s |      21 |  1074937 |  1055145 |      556   3659 |        0 |        0
333.83/333.98	c  333s |      21 |  1081530 |  1061645 |      556   3677 |        0 |        0
335.94/336.00	c  335s |      21 |  1087928 |  1067945 |      556   3695 |        0 |        0
337.94/338.01	c  337s |      21 |  1094001 |  1073945 |      556   3711 |        0 |        0
339.95/340.02	c  340s |      21 |  1100081 |  1079945 |      556   3728 |        0 |        0
341.94/342.03	c  342s |      21 |  1106370 |  1086145 |      556   3746 |        0 |        0
343.94/344.04	c  344s |      21 |  1112446 |  1092145 |      556   3763 |        0 |        0
345.94/346.04	c  346s |      21 |  1118788 |  1098445 |      556   3780 |        0 |        0
347.94/348.05	c  348s |      21 |  1125348 |  1104945 |      556   3799 |        0 |        0
349.94/350.06	c  350s |      21 |  1131894 |  1111445 |      556   3817 |        0 |        0
351.95/352.06	c  352s |      21 |  1138541 |  1118045 |      556   3836 |        0 |        0
353.94/354.09	c  354s |      21 |  1145150 |  1124545 |      556   3854 |        0 |        0
356.04/356.12	c  356s |      21 |  1151788 |  1131045 |      556   3872 |        0 |        0
358.04/358.14	c  358s |      21 |  1157938 |  1137045 |      556   3889 |        0 |        0
360.04/360.18	c  360s |      21 |  1164286 |  1143245 |      556   3907 |        0 |        0
362.04/362.19	c  362s |      21 |  1170396 |  1149245 |      556   3924 |        0 |        0
364.14/364.21	c  364s |      21 |  1176378 |  1155145 |      556   3940 |        0 |        0
366.14/366.24	c  366s |      21 |  1182658 |  1161345 |      556   3958 |        0 |        0
368.14/368.27	c  368s |      21 |  1188757 |  1167345 |      556   3974 |        0 |        0
370.13/370.27	c  370s |      21 |  1194910 |  1173345 |      556   3991 |        0 |        0
372.23/372.30	c  372s |      21 |  1200896 |  1179245 |      556   4008 |        0 |        0
374.23/374.30	c  374s |      21 |  1207445 |  1185645 |      556   4026 |        0 |        0
376.24/376.31	c  376s |      21 |  1214442 |  1192545 |      556   4045 |        0 |        0
378.23/378.34	c  378s |      21 |  1221101 |  1199145 |      556   4064 |        0 |        0
380.23/380.36	c  380s |      21 |  1227513 |  1205445 |      556   4081 |        0 |        0
382.23/382.37	c  382s |      21 |  1233794 |  1211645 |      556   4099 |        0 |        0
384.23/384.39	c  384s |      21 |  1240078 |  1217845 |      556   4116 |        0 |        0
386.23/386.40	c  386s |      21 |  1246292 |  1223945 |      556   4133 |        0 |        0
388.34/388.42	c  388s |      21 |  1252280 |  1229845 |      556   4150 |        0 |        0
390.33/390.43	c  390s |      21 |  1258416 |  1235845 |      556   4167 |        0 |        0
392.33/392.44	c  392s |      21 |  1264272 |  1241645 |      556   4183 |        0 |        0
394.33/394.46	c  394s |      21 |  1269946 |  1247245 |      556   4199 |        0 |        0
396.33/396.47	c  396s |      21 |  1275804 |  1253045 |      556   4216 |        0 |        0
398.33/398.50	c  398s |      21 |  1281963 |  1259145 |      556   4233 |        0 |        0
400.43/400.53	c  400s |      21 |  1288027 |  1265145 |      556   4250 |        0 |        0
402.43/402.55	c  402s |      21 |  1294113 |  1271145 |      556   4267 |        0 |        0
404.43/404.57	c  404s |      21 |  1300052 |  1277045 |      556   4283 |        0 |        0
406.43/406.57	c  406s |      21 |  1306060 |  1282945 |      556   4300 |        0 |        0
408.42/408.58	c  408s |      21 |  1312143 |  1288945 |      556   4317 |        0 |        0
410.42/410.58	c  410s |      21 |  1318433 |  1295145 |      556   4335 |        0 |        0
412.43/412.60	c  412s |      21 |  1324921 |  1301545 |      556   4353 |        0 |        0
414.52/414.60	c  414s |      21 |  1330983 |  1307545 |      556   4370 |        0 |        0
416.52/416.63	c  416s |      21 |  1337117 |  1313645 |      556   4387 |        0 |        0
418.52/418.65	c  418s |      21 |  1343573 |  1320045 |      556   4405 |        0 |        0
420.52/420.65	c  420s |      21 |  1349607 |  1326045 |      556   4422 |        0 |        0
422.52/422.67	c  422s |      21 |  1355610 |  1331945 |      556   4439 |        0 |        0
424.53/424.67	c  424s |      21 |  1361377 |  1337645 |      556   4455 |        0 |        0
426.52/426.69	c  426s |      21 |  1367045 |  1343245 |      556   4471 |        0 |        0
428.62/428.70	c  428s |      21 |  1372917 |  1349045 |      556   4487 |        0 |        0
430.62/430.71	c  430s |      21 |  1379256 |  1355345 |      556   4505 |        0 |        0
432.62/432.74	c  432s |      21 |  1385316 |  1361345 |      556   4522 |        0 |        0
434.62/434.77	c  434s |      21 |  1391358 |  1367345 |      556   4539 |        0 |        0
436.63/436.80	c  436s |      21 |  1397462 |  1373345 |      556   4556 |        0 |        0
438.72/438.82	c  438s |      21 |  1403384 |  1379145 |      556   4573 |        0 |        0
440.72/440.84	c  440s |      21 |  1409402 |  1385045 |      556   4590 |        0 |        0
442.73/442.84	c  442s |      21 |  1415511 |  1391045 |      556   4607 |        0 |        0
444.73/444.86	c  444s |      21 |  1421627 |  1397045 |      556   4624 |        0 |        0
446.73/446.86	c  446s |      21 |  1427479 |  1402845 |      556   4641 |        0 |        0
448.73/448.89	c  448s |      21 |  1433519 |  1408845 |      556   4658 |        0 |        0
450.83/450.90	c  450s |      21 |  1440590 |  1415845 |      556   4678 |        0 |        0
452.83/452.91	c  452s |      21 |  1447346 |  1422545 |      556   4696 |        0 |        0
454.82/454.93	c  454s |      21 |  1453623 |  1428745 |      556   4714 |        0 |        0
456.82/456.95	c  456s |      21 |  1459972 |  1435045 |      556   4731 |        0 |        0
458.82/458.98	c  458s |      21 |  1466087 |  1441045 |      556   4748 |        0 |        0
460.83/460.99	c  460s |      21 |  1472108 |  1446945 |      556   4765 |        0 |        0
462.92/463.00	c  462s |      21 |  1478347 |  1453045 |      556   4782 |        0 |        0
464.92/465.03	c  465s |      21 |  1484662 |  1459345 |      556   4799 |        0 |        0
466.92/467.05	c  467s |      21 |  1490592 |  1465245 |      556   4816 |        0 |        0
468.92/469.06	c  469s |      21 |  1496918 |  1471545 |      556   4834 |        0 |        0
470.92/471.06	c  471s |      21 |  1503927 |  1478545 |      556   4853 |        0 |        0
472.93/473.08	c  473s |      21 |  1510749 |  1485345 |      556   4872 |        0 |        0
475.02/475.10	c  475s |      21 |  1517472 |  1492045 |      612   4891 |        0 |        0
477.02/477.11	c  477s |      21 |  1523990 |  1498545 |      612   4908 |        0 |        0
477.62/477.75	c  477s |      22 |  1526085 |  1500622 |      612   4913 |        0 |        0
479.63/479.78	c  479s |      22 |  1532352 |  1506622 |      612   4929 |        0 |        0
481.62/481.79	c  481s |      22 |  1538757 |  1512922 |      612   4945 |        0 |        0
483.72/483.82	c  483s |      22 |  1545156 |  1519222 |      612   4961 |        0 |        0
485.72/485.84	c  485s |      22 |  1551587 |  1525622 |      612   4978 |        0 |        0
487.72/487.87	c  487s |      22 |  1558097 |  1532022 |      612   4995 |        0 |        0
489.72/489.87	c  489s |      22 |  1564936 |  1538822 |      612   5013 |        0 |        0
491.72/491.88	c  491s |      22 |  1571617 |  1545422 |      612   5030 |        0 |        0
493.72/493.90	c  493s |      22 |  1577853 |  1551522 |      612   5045 |        0 |        0
495.82/495.92	c  495s |      22 |  1583956 |  1557522 |      612   5061 |        0 |        0
497.82/497.94	c  497s |      22 |  1590058 |  1563522 |      612   5077 |        0 |        0
499.82/499.94	c  499s |      22 |  1596169 |  1569522 |      612   5092 |        0 |        0
501.81/501.95	c  501s |      22 |  1602066 |  1575322 |      612   5107 |        0 |        0
503.82/503.95	c  503s |      22 |  1607877 |  1581022 |      612   5122 |        0 |        0
505.81/505.97	c  505s |      22 |  1614073 |  1587122 |      612   5138 |        0 |        0
507.81/507.99	c  507s |      22 |  1620412 |  1593322 |      612   5154 |        0 |        0
509.91/510.01	c  509s |      22 |  1626436 |  1599222 |      612   5169 |        0 |        0
511.91/512.02	c  512s |      22 |  1632420 |  1605022 |      612   5185 |        0 |        0
513.91/514.04	c  514s |      22 |  1638376 |  1610922 |      612   5200 |        0 |        0
515.92/516.05	c  516s |      22 |  1644436 |  1616822 |      612   5216 |        0 |        0
517.91/518.05	c  518s |      22 |  1650467 |  1622722 |      612   5231 |        0 |        0
519.91/520.08	c  520s |      22 |  1656511 |  1628622 |      612   5247 |        0 |        0
522.01/522.10	c  522s |      22 |  1662826 |  1634822 |      612   5263 |        0 |        0
524.01/524.11	c  524s |      22 |  1668958 |  1640822 |      612   5278 |        0 |        0
526.01/526.14	c  526s |      22 |  1675331 |  1647022 |      612   5295 |        0 |        0
528.02/528.17	c  528s |      22 |  1681771 |  1653422 |      612   5311 |        0 |        0
530.01/530.18	c  530s |      22 |  1687890 |  1659422 |      612   5327 |        0 |        0
532.01/532.18	c  532s |      22 |  1693953 |  1665422 |      612   5343 |        0 |        0
534.11/534.20	c  534s |      22 |  1699843 |  1671222 |      612   5358 |        0 |        0
536.11/536.20	c  536s |      22 |  1705897 |  1677222 |      612   5374 |        0 |        0
538.11/538.21	c  538s |      22 |  1711991 |  1683222 |      612   5389 |        0 |        0
540.11/540.24	c  540s |      22 |  1718245 |  1689422 |      612   5406 |        0 |        0
542.10/542.27	c  542s |      22 |  1724398 |  1695522 |      612   5422 |        0 |        0
544.10/544.27	c  544s |      22 |  1730437 |  1701522 |      612   5437 |        0 |        0
546.20/546.30	c  546s |      22 |  1736517 |  1707522 |      612   5453 |        0 |        0
548.20/548.32	c  548s |      22 |  1742565 |  1713522 |      612   5469 |        0 |        0
550.20/550.35	c  550s |      22 |  1748684 |  1719522 |      612   5485 |        0 |        0
552.22/552.36	c  552s |      22 |  1754630 |  1725422 |      612   5500 |        0 |        0
554.21/554.39	c  554s |      22 |  1760825 |  1731522 |      612   5516 |        0 |        0
556.31/556.40	c  556s |      22 |  1766704 |  1737322 |      612   5532 |        0 |        0
558.31/558.43	c  558s |      22 |  1772647 |  1743222 |      612   5547 |        0 |        0
560.31/560.43	c  560s |      22 |  1778700 |  1749222 |      612   5563 |        0 |        0
562.31/562.43	c  562s |      22 |  1785870 |  1756322 |      612   5581 |        0 |        0
564.32/564.45	c  564s |      22 |  1793542 |  1763922 |      612   5601 |        0 |        0
566.31/566.47	c  566s |      22 |  1801013 |  1771322 |      612   5620 |        0 |        0
568.31/568.49	c  568s |      22 |  1808389 |  1778622 |      612   5639 |        0 |        0
570.41/570.50	c  570s |      22 |  1815591 |  1785722 |      612   5657 |        0 |        0
572.41/572.52	c  572s |      22 |  1822941 |  1792922 |      612   5676 |        0 |        0
574.41/574.54	c  574s |      22 |  1830034 |  1799922 |      612   5694 |        0 |        0
576.41/576.57	c  576s |      22 |  1837035 |  1806822 |      612   5712 |        0 |        0
578.51/578.61	c  578s |      22 |  1844008 |  1813722 |      612   5730 |        0 |        0
580.50/580.63	c  580s |      22 |  1850754 |  1820322 |      612   5747 |        0 |        0
582.50/582.65	c  582s |      22 |  1857882 |  1827322 |      612   5764 |        0 |        0
584.50/584.65	c  584s |      22 |  1864615 |  1833922 |      612   5782 |        0 |        0
586.50/586.68	c  586s |      22 |  1871195 |  1840422 |      612   5798 |        0 |        0
588.60/588.71	c  588s |      22 |  1877886 |  1847022 |      612   5815 |        0 |        0
590.61/590.71	c  590s |      22 |  1884873 |  1853922 |      612   5833 |        0 |        0
592.60/592.74	c  592s |      22 |  1891473 |  1860422 |      612   5850 |        0 |        0
594.60/594.75	c  594s |      22 |  1898169 |  1867022 |      612   5867 |        0 |        0
596.60/596.76	c  596s |      22 |  1905098 |  1873922 |      612   5885 |        0 |        0
598.60/598.77	c  598s |      22 |  1912325 |  1881122 |      612   5904 |        0 |        0
600.60/600.77	c  600s |      22 |  1919166 |  1887922 |      612   5921 |        0 |        0
602.60/602.79	c  602s |      22 |  1926803 |  1895522 |      612   5941 |        0 |        0
604.70/604.80	c  604s |      22 |  1934080 |  1902722 |      612   5959 |        0 |        0
606.70/606.83	c  606s |      22 |  1941145 |  1909722 |      612   5977 |        0 |        0
608.70/608.86	c  608s |      22 |  1948129 |  1916622 |      612   5995 |        0 |        0
610.70/610.88	c  610s |      22 |  1954920 |  1923322 |      612   6013 |        0 |        0
612.79/612.91	c  612s |      22 |  1961662 |  1929922 |      612   6030 |        0 |        0
614.80/614.94	c  614s |      22 |  1968357 |  1936522 |      612   6047 |        0 |        0
616.79/616.95	c  616s |      22 |  1974763 |  1942822 |      612   6063 |        0 |        0
618.79/618.95	c  618s |      22 |  1981124 |  1949122 |      612   6079 |        0 |        0
620.79/620.97	c  620s |      22 |  1987788 |  1955722 |      612   6096 |        0 |        0
622.79/622.98	c  622s |      22 |  1994343 |  1962222 |      612   6113 |        0 |        0
624.80/624.99	c  624s |      22 |  2001304 |  1969122 |      612   6131 |        0 |        0
626.79/627.00	c  626s |      22 |  2008421 |  1976122 |      612   6149 |        0 |        0
628.89/629.01	c  628s |      22 |  2015169 |  1982822 |      612   6166 |        0 |        0
630.89/631.01	c  630s |      22 |  2021637 |  1989222 |      612   6183 |        0 |        0
632.90/633.02	c  633s |      22 |  2028201 |  1995722 |      612   6200 |        0 |        0
634.90/635.03	c  635s |      22 |  2034705 |  2002122 |      612   6216 |        0 |        0
636.90/637.04	c  637s |      22 |  2041228 |  2008522 |      612   6233 |        0 |        0
638.90/639.05	c  639s |      22 |  2047485 |  2014622 |      612   6249 |        0 |        0
640.90/641.08	c  641s |      22 |  2054150 |  2021222 |      612   6266 |        0 |        0
642.90/643.09	c  643s |      22 |  2060429 |  2027422 |      612   6282 |        0 |        0
645.00/645.12	c  645s |      22 |  2066777 |  2033622 |      612   6298 |        0 |        0
646.99/647.15	c  647s |      22 |  2073004 |  2039722 |      612   6314 |        0 |        0
649.00/649.17	c  649s |      22 |  2079292 |  2045922 |      612   6330 |        0 |        0
650.99/651.18	c  651s |      22 |  2085681 |  2052222 |      612   6346 |        0 |        0
652.99/653.19	c  653s |      22 |  2091847 |  2058322 |      612   6362 |        0 |        0
655.09/655.21	c  655s |      22 |  2098122 |  2064522 |      612   6378 |        0 |        0
657.09/657.24	c  657s |      22 |  2104404 |  2070722 |      612   6395 |        0 |        0
659.09/659.25	c  659s |      22 |  2110688 |  2076922 |      612   6411 |        0 |        0
661.10/661.27	c  661s |      22 |  2117068 |  2083222 |      612   6427 |        0 |        0
663.09/663.30	c  663s |      22 |  2123450 |  2089522 |      612   6444 |        0 |        0
665.19/665.31	c  665s |      22 |  2129746 |  2095722 |      612   6460 |        0 |        0
667.19/667.32	c  667s |      22 |  2136160 |  2102022 |      612   6476 |        0 |        0
669.19/669.32	c  669s |      22 |  2142606 |  2108322 |      612   6492 |        0 |        0
671.19/671.33	c  671s |      22 |  2148808 |  2114422 |      612   6508 |        0 |        0
673.20/673.35	c  673s |      22 |  2155063 |  2120622 |      612   6524 |        0 |        0
675.19/675.35	c  675s |      22 |  2161517 |  2126922 |      612   6541 |        0 |        0
677.19/677.37	c  677s |      22 |  2168115 |  2133422 |      612   6558 |        0 |        0
679.19/679.37	c  679s |      22 |  2174692 |  2139922 |      612   6575 |        0 |        0
681.19/681.37	c  681s |      22 |  2181040 |  2146122 |      612   6591 |        0 |        0
683.19/683.38	c  683s |      22 |  2187626 |  2152622 |      612   6608 |        0 |        0
685.19/685.38	c  685s |      22 |  2194242 |  2159122 |      612   6624 |        0 |        0
687.19/687.38	c  687s |      22 |  2200664 |  2165522 |      612   6641 |        0 |        0
689.29/689.41	c  689s |      22 |  2206970 |  2171722 |      612   6657 |        0 |        0
691.29/691.43	c  691s |      22 |  2213527 |  2178222 |      612   6674 |        0 |        0
693.29/693.45	c  693s |      22 |  2219805 |  2184422 |      612   6690 |        0 |        0
695.29/695.46	c  695s |      22 |  2226292 |  2190822 |      612   6707 |        0 |        0
697.29/697.47	c  697s |      22 |  2232453 |  2196922 |      612   6723 |        0 |        0
699.28/699.49	c  699s |      22 |  2238892 |  2203222 |      612   6739 |        0 |        0
701.28/701.49	c  701s |      22 |  2245185 |  2209422 |      612   6756 |        0 |        0
703.38/703.51	c  703s |      22 |  2251708 |  2215822 |      612   6772 |        0 |        0
705.38/705.51	c  705s |      22 |  2258174 |  2222222 |      612   6789 |        0 |        0
707.38/707.53	c  707s |      22 |  2264476 |  2228422 |      612   6805 |        0 |        0
709.39/709.55	c  709s |      22 |  2270855 |  2234722 |      612   6822 |        0 |        0
711.38/711.58	c  711s |      22 |  2277102 |  2240922 |      674   6837 |        0 |        0
713.38/713.59	c  713s |      22 |  2283740 |  2247422 |      674   6852 |        0 |        0
714.58/714.70	c  714s |      23 |  2287395 |  2251038 |      674   6861 |        0 |        0
716.58/716.71	c  716s |      23 |  2293595 |  2256938 |      674   6875 |        0 |        0
718.58/718.73	c  718s |      23 |  2299403 |  2262638 |      674   6889 |        0 |        0
720.58/720.76	c  720s |      23 |  2305513 |  2268638 |      674   6904 |        0 |        0
722.59/722.76	c  722s |      23 |  2311416 |  2274438 |      674   6917 |        0 |        0
724.58/724.76	c  724s |      23 |  2317445 |  2280338 |      674   6932 |        0 |        0
726.58/726.78	c  726s |      23 |  2323130 |  2285938 |      674   6945 |        0 |        0
728.58/728.78	c  728s |      23 |  2328844 |  2291538 |      674   6959 |        0 |        0
730.58/730.79	c  730s |      23 |  2334563 |  2297138 |      674   6972 |        0 |        0
732.68/732.82	c  732s |      23 |  2340561 |  2303038 |      674   6987 |        0 |        0
734.68/734.85	c  734s |      23 |  2346504 |  2308838 |      674   7001 |        0 |        0
736.68/736.87	c  736s |      23 |  2352431 |  2314638 |      674   7015 |        0 |        0
738.68/738.88	c  738s |      23 |  2358166 |  2320238 |      674   7028 |        0 |        0
740.78/740.90	c  740s |      23 |  2364043 |  2326038 |      674   7042 |        0 |        0
742.78/742.93	c  742s |      23 |  2370607 |  2332538 |      674   7058 |        0 |        0
744.77/744.94	c  744s |      23 |  2376779 |  2338638 |      674   7072 |        0 |        0
746.78/746.96	c  746s |      23 |  2382759 |  2344538 |      674   7087 |        0 |        0
748.77/748.97	c  748s |      23 |  2388859 |  2350538 |      674   7101 |        0 |        0
750.77/750.98	c  750s |      23 |  2394755 |  2356338 |      674   7115 |        0 |        0
752.87/753.00	c  752s |      23 |  2400791 |  2362238 |      674   7130 |        0 |        0
754.87/755.02	c  755s |      23 |  2406600 |  2367938 |      674   7143 |        0 |        0
756.87/757.04	c  757s |      23 |  2412411 |  2373638 |      674   7157 |        0 |        0
758.88/759.04	c  759s |      23 |  2417917 |  2379038 |      674   7170 |        0 |        0
760.88/761.07	c  761s |      23 |  2424061 |  2385038 |      674   7185 |        0 |        0
762.98/763.10	c  763s |      23 |  2430312 |  2391138 |      674   7199 |        0 |        0
764.98/765.12	c  765s |      23 |  2436395 |  2397038 |      674   7214 |        0 |        0
766.98/767.14	c  767s |      23 |  2442337 |  2402838 |      674   7228 |        0 |        0
768.98/769.17	c  769s |      23 |  2448275 |  2408638 |      674   7242 |        0 |        0
770.98/771.17	c  771s |      23 |  2454217 |  2414438 |      674   7256 |        0 |        0
772.97/773.18	c  773s |      23 |  2460165 |  2420238 |      674   7270 |        0 |        0
774.97/775.18	c  775s |      23 |  2466187 |  2426138 |      674   7284 |        0 |        0
777.07/777.20	c  777s |      23 |  2472287 |  2432138 |      674   7298 |        0 |        0
779.07/779.20	c  779s |      23 |  2478708 |  2438238 |      674   7313 |        0 |        0
781.07/781.22	c  781s |      23 |  2484795 |  2444238 |      674   7328 |        0 |        0
783.07/783.25	c  783s |      23 |  2491119 |  2450438 |      674   7343 |        0 |        0
785.07/785.26	c  785s |      23 |  2497031 |  2456238 |      674   7357 |        0 |        0
787.06/787.29	c  787s |      23 |  2503005 |  2462038 |      674   7371 |        0 |        0
789.16/789.32	c  789s |      23 |  2508935 |  2467838 |      674   7385 |        0 |        0
791.16/791.34	c  791s |      23 |  2514792 |  2473638 |      674   7399 |        0 |        0
793.16/793.36	c  793s |      23 |  2520730 |  2479438 |      674   7413 |        0 |        0
795.16/795.38	c  795s |      23 |  2526710 |  2485338 |      674   7427 |        0 |        0
797.16/797.38	c  797s |      23 |  2532260 |  2490838 |      674   7440 |        0 |        0
799.15/799.40	c  799s |      23 |  2538725 |  2497238 |      674   7456 |        0 |        0
801.25/801.41	c  801s |      23 |  2545411 |  2503838 |      674   7471 |        0 |        0
803.25/803.43	c  803s |      23 |  2551972 |  2510338 |      674   7487 |        0 |        0
805.25/805.46	c  805s |      23 |  2558435 |  2516738 |      674   7502 |        0 |        0
807.25/807.47	c  807s |      23 |  2564633 |  2522838 |      674   7517 |        0 |        0
809.35/809.50	c  809s |      23 |  2571009 |  2529138 |      674   7532 |        0 |        0
811.34/811.52	c  811s |      23 |  2577186 |  2535238 |      674   7547 |        0 |        0
813.34/813.55	c  813s |      23 |  2583314 |  2541338 |      674   7562 |        0 |        0
815.34/815.56	c  815s |      23 |  2589387 |  2547338 |      674   7576 |        0 |        0
817.34/817.58	c  817s |      23 |  2595433 |  2553338 |      674   7591 |        0 |        0
819.35/819.58	c  819s |      23 |  2601449 |  2559238 |      674   7605 |        0 |        0
821.34/821.59	c  821s |      23 |  2607311 |  2565038 |      674   7619 |        0 |        0
823.43/823.62	c  823s |      23 |  2613236 |  2570838 |      674   7633 |        0 |        0
825.43/825.65	c  825s |      23 |  2619419 |  2576938 |      674   7648 |        0 |        0
827.43/827.65	c  827s |      23 |  2625452 |  2582938 |      674   7662 |        0 |        0
829.43/829.68	c  829s |      23 |  2631339 |  2588738 |      674   7676 |        0 |        0
831.44/831.70	c  831s |      23 |  2637242 |  2594538 |      674   7691 |        0 |        0
833.53/833.73	c  833s |      23 |  2643145 |  2600338 |      674   7705 |        0 |        0
835.53/835.75	c  835s |      23 |  2649311 |  2606338 |      674   7719 |        0 |        0
837.53/837.76	c  837s |      23 |  2655030 |  2611938 |      674   7733 |        0 |        0
839.53/839.78	c  839s |      23 |  2661235 |  2618038 |      674   7747 |        0 |        0
841.53/841.79	c  841s |      23 |  2667044 |  2623738 |      674   7761 |        0 |        0
843.63/843.82	c  843s |      23 |  2672809 |  2629338 |      674   7775 |        0 |        0
845.63/845.83	c  845s |      23 |  2679237 |  2635538 |      674   7790 |        0 |        0
847.63/847.86	c  847s |      23 |  2685388 |  2641538 |      674   7804 |        0 |        0
849.63/849.88	c  849s |      23 |  2691452 |  2647438 |      674   7819 |        0 |        0
851.72/851.90	c  851s |      23 |  2697432 |  2653338 |      674   7833 |        0 |        0
853.72/853.90	c  853s |      23 |  2703425 |  2659238 |      674   7847 |        0 |        0
855.63/855.90	c  855s |      23 |  2709303 |  2664938 |      674   7861 |        0 |        0
857.72/857.92	c  857s |      23 |  2715003 |  2670538 |      674   7874 |        0 |        0
859.72/859.96	c  859s |      23 |  2720927 |  2676338 |      674   7889 |        0 |        0
861.72/861.99	c  861s |      23 |  2727154 |  2682438 |      674   7903 |        0 |        0
863.82/864.02	c  863s |      23 |  2733610 |  2688738 |      674   7918 |        0 |        0
865.82/866.02	c  865s |      23 |  2739825 |  2694738 |      674   7933 |        0 |        0
867.83/868.03	c  868s |      23 |  2746074 |  2700838 |      674   7948 |        0 |        0
869.82/870.05	c  870s |      23 |  2752854 |  2707538 |      674   7964 |        0 |        0
871.82/872.08	c  872s |      23 |  2759659 |  2714238 |      674   7980 |        0 |        0
873.92/874.10	c  874s |      23 |  2766345 |  2720738 |      674   7996 |        0 |        0
875.92/876.13	c  876s |      23 |  2772851 |  2727138 |      674   8011 |        0 |        0
877.92/878.14	c  878s |      23 |  2779183 |  2733338 |      674   8026 |        0 |        0
879.92/880.17	c  880s |      23 |  2785422 |  2739438 |      674   8041 |        0 |        0
882.02/882.21	c  882s |      23 |  2791345 |  2745238 |      674   8055 |        0 |        0
884.01/884.24	c  884s |      23 |  2797152 |  2750938 |      674   8069 |        0 |        0
886.01/886.26	c  886s |      23 |  2803155 |  2756838 |      674   8083 |        0 |        0
888.01/888.29	c  888s |      23 |  2809200 |  2762738 |      674   8097 |        0 |        0
890.11/890.33	c  890s |      23 |  2815179 |  2768638 |      674   8111 |        0 |        0
892.10/892.34	c  892s |      23 |  2821090 |  2774438 |      674   8126 |        0 |        0
894.11/894.35	c  894s |      23 |  2826906 |  2780138 |      674   8139 |        0 |        0
896.10/896.37	c  896s |      23 |  2832663 |  2785838 |      674   8153 |        0 |        0
898.10/898.38	c  898s |      23 |  2838617 |  2791738 |      674   8167 |        0 |        0
900.20/900.40	c  900s |      23 |  2844590 |  2797538 |      674   8181 |        0 |        0
902.20/902.42	c  902s |      23 |  2850413 |  2803238 |      674   8195 |        0 |        0
904.20/904.43	c  904s |      23 |  2856256 |  2808938 |      674   8209 |        0 |        0
906.20/906.44	c  906s |      23 |  2862138 |  2814738 |      674   8223 |        0 |        0
908.20/908.46	c  908s |      23 |  2868103 |  2820638 |      674   8237 |        0 |        0
910.20/910.48	c  910s |      23 |  2873985 |  2826438 |      674   8251 |        0 |        0
912.29/912.50	c  912s |      23 |  2879834 |  2832238 |      674   8265 |        0 |        0
914.29/914.53	c  914s |      23 |  2886143 |  2838438 |      674   8280 |        0 |        0
916.29/916.54	c  916s |      23 |  2892465 |  2844638 |      674   8295 |        0 |        0
918.30/918.54	c  918s |      23 |  2898656 |  2850738 |      674   8310 |        0 |        0
920.29/920.55	c  920s |      23 |  2904523 |  2856538 |      674   8324 |        0 |        0
922.28/922.56	c  922s |      23 |  2910288 |  2862238 |      674   8338 |        0 |        0
924.28/924.58	c  924s |      23 |  2916230 |  2868038 |      674   8352 |        0 |        0
926.38/926.61	c  926s |      23 |  2922129 |  2873838 |      674   8366 |        0 |        0
928.38/928.61	c  928s |      23 |  2928018 |  2879638 |      674   8380 |        0 |        0
930.39/930.62	c  930s |      23 |  2934139 |  2885638 |      674   8395 |        0 |        0
932.39/932.64	c  932s |      23 |  2939960 |  2891338 |      674   8409 |        0 |        0
934.39/934.65	c  934s |      23 |  2945867 |  2897138 |      674   8423 |        0 |        0
936.38/936.66	c  936s |      23 |  2951990 |  2903138 |      674   8437 |        0 |        0
938.38/938.67	c  938s |      23 |  2958071 |  2909138 |      674   8452 |        0 |        0
940.39/940.69	c  940s |      23 |  2963950 |  2914938 |      674   8466 |        0 |        0
942.48/942.72	c  942s |      23 |  2969667 |  2920538 |      674   8480 |        0 |        0
944.48/944.72	c  944s |      23 |  2975283 |  2926038 |      674   8493 |        0 |        0
946.48/946.75	c  946s |      23 |  2981807 |  2932338 |      674   8508 |        0 |        0
948.48/948.77	c  948s |      23 |  2988050 |  2938438 |      674   8523 |        0 |        0
950.48/950.78	c  950s |      23 |  2994102 |  2944338 |      674   8537 |        0 |        0
952.57/952.80	c  952s |      23 |  3000169 |  2950238 |      674   8552 |        0 |        0
954.58/954.82	c  954s |      23 |  3007274 |  2957238 |      674   8568 |        0 |        0
956.57/956.82	c  956s |      23 |  3014136 |  2964038 |      674   8585 |        0 |        0
958.57/958.83	c  958s |      23 |  3020796 |  2970638 |      674   8601 |        0 |        0
960.57/960.85	c  960s |      23 |  3027148 |  2976938 |      674   8616 |        0 |        0
962.56/962.87	c  962s |      23 |  3033535 |  2983238 |      674   8631 |        0 |        0
964.57/964.88	c  964s |      23 |  3039579 |  2989238 |      674   8646 |        0 |        0
966.56/966.88	c  966s |      23 |  3045584 |  2995138 |      674   8660 |        0 |        0
968.66/968.91	c  968s |      23 |  3052117 |  3001638 |      674   8676 |        0 |        0
970.66/970.94	c  970s |      23 |  3058510 |  3007938 |      674   8691 |        0 |        0
972.66/972.97	c  972s |      23 |  3064722 |  3014038 |      674   8705 |        0 |        0
974.66/974.99	c  974s |      23 |  3070891 |  3020138 |      674   8720 |        0 |        0
976.76/977.00	c  976s |      23 |  3077086 |  3026238 |      674   8735 |        0 |        0
978.76/979.01	c  978s |      23 |  3082985 |  3032038 |      674   8749 |        0 |        0
980.76/981.03	c  981s |      23 |  3088924 |  3037838 |      674   8763 |        0 |        0
982.75/983.05	c  983s |      23 |  3094775 |  3043538 |      674   8776 |        0 |        0
984.75/985.07	c  985s |      23 |  3100583 |  3049238 |      674   8790 |        0 |        0
986.75/987.08	c  987s |      23 |  3106620 |  3055138 |      674   8804 |        0 |        0
988.75/989.08	c  989s |      23 |  3112554 |  3060938 |      674   8818 |        0 |        0
990.85/991.11	c  991s |      23 |  3118366 |  3066638 |      674   8832 |        0 |        0
992.84/993.12	c  993s |      23 |  3124185 |  3072338 |      674   8846 |        0 |        0
994.84/995.14	c  995s |      23 |  3129905 |  3077938 |      674   8860 |        0 |        0
996.84/997.15	c  997s |      23 |  3136348 |  3084338 |      674   8875 |        0 |        0
998.84/999.17	c  999s |      23 |  3142753 |  3090638 |      674   8890 |        0 |        0
1000.85/1001.18	c 1001s |      23 |  3148834 |  3096638 |      674   8905 |        0 |        0
1002.84/1003.19	c 1003s |      23 |  3154731 |  3102438 |      674   8919 |        0 |        0
1004.94/1005.21	c 1005s |      23 |  3160625 |  3108238 |      674   8933 |        0 |        0
1006.94/1007.21	c 1007s |      23 |  3166751 |  3114238 |      674   8948 |        0 |        0
1008.94/1009.22	c 1009s |      23 |  3172480 |  3119838 |      674   8961 |        0 |        0
1010.94/1011.24	c 1011s |      23 |  3178493 |  3125738 |      674   8976 |        0 |        0
1012.94/1013.28	c 1013s |      23 |  3184663 |  3131838 |      674   8990 |        0 |        0
1015.04/1015.31	c 1015s |      23 |  3190560 |  3137638 |      674   9004 |        0 |        0
1017.03/1017.32	c 1017s |      23 |  3197037 |  3144038 |      674   9020 |        0 |        0
1019.03/1019.33	c 1019s |      23 |  3203328 |  3150238 |      674   9035 |        0 |        0
1021.03/1021.36	c 1021s |      23 |  3209370 |  3156238 |      674   9049 |        0 |        0
1023.03/1023.36	c 1023s |      23 |  3215338 |  3162138 |      674   9064 |        0 |        0
1025.03/1025.38	c 1025s |      23 |  3221207 |  3167938 |      674   9078 |        0 |        0
1027.03/1027.39	c 1027s |      23 |  3227338 |  3174038 |      674   9092 |        0 |        0
1029.13/1029.41	c 1029s |      23 |  3233487 |  3180138 |      674   9107 |        0 |        0
1031.12/1031.42	c 1031s |      23 |  3239321 |  3185938 |      674   9121 |        0 |        0
1033.12/1033.43	c 1033s |      23 |  3245152 |  3191738 |      674   9135 |        0 |        0
1035.12/1035.47	c 1035s |      23 |  3250984 |  3197538 |      674   9150 |        0 |        0
1037.12/1037.50	c 1037s |      23 |  3256964 |  3203438 |      674   9164 |        0 |        0
1039.22/1039.52	c 1039s |      23 |  3262862 |  3209138 |      674   9178 |        0 |        0
1041.21/1041.52	c 1041s |      23 |  3268578 |  3214738 |      674   9191 |        0 |        0
1043.22/1043.52	c 1043s |      23 |  3274206 |  3220238 |      674   9205 |        0 |        0
1045.22/1045.55	c 1045s |      23 |  3280008 |  3225938 |      674   9219 |        0 |        0
1047.22/1047.57	c 1047s |      23 |  3285753 |  3231638 |      674   9232 |        0 |        0
1049.22/1049.58	c 1049s |      23 |  3291409 |  3237238 |      674   9246 |        0 |        0
1051.21/1051.59	c 1051s |      23 |  3297262 |  3243038 |      674   9260 |        0 |        0
1053.31/1053.61	c 1053s |      23 |  3303013 |  3248738 |      674   9274 |        0 |        0
1055.31/1055.64	c 1055s |      23 |  3308545 |  3254238 |      674   9288 |        0 |        0
1057.31/1057.64	c 1057s |      23 |  3314094 |  3259738 |      674   9301 |        0 |        0
1059.31/1059.67	c 1059s |      23 |  3320444 |  3266038 |      674   9316 |        0 |        0
1061.31/1061.68	c 1061s |      23 |  3326889 |  3272438 |      674   9332 |        0 |        0
1063.30/1063.70	c 1063s |      23 |  3333046 |  3278538 |      674   9347 |        0 |        0
1065.40/1065.72	c 1065s |      23 |  3338988 |  3284438 |      674   9361 |        0 |        0
1067.40/1067.72	c 1067s |      23 |  3344939 |  3290338 |      674   9375 |        0 |        0
1069.40/1069.74	c 1069s |      23 |  3350690 |  3296038 |      674   9389 |        0 |        0
1071.40/1071.74	c 1071s |      23 |  3356460 |  3301738 |      674   9403 |        0 |        0
1073.40/1073.78	c 1073s |      23 |  3362030 |  3307238 |      674   9416 |        0 |        0
1075.40/1075.80	c 1075s |      23 |  3367589 |  3312738 |      674   9430 |        0 |        0
1077.50/1077.82	c 1077s |      23 |  3373419 |  3318538 |      674   9444 |        0 |        0
1079.49/1079.85	c 1079s |      23 |  3379149 |  3324238 |      674   9458 |        0 |        0
1081.49/1081.88	c 1081s |      23 |  3385241 |  3330238 |      674   9472 |        0 |        0
1083.59/1083.90	c 1083s |      23 |  3391107 |  3336038 |      674   9486 |        0 |        0
1085.59/1085.92	c 1085s |      23 |  3396987 |  3341838 |      674   9500 |        0 |        0
1087.60/1087.95	c 1087s |      23 |  3402747 |  3347538 |      674   9514 |        0 |        0
1089.59/1089.96	c 1089s |      23 |  3408580 |  3353338 |      742   9528 |        0 |        0
1091.59/1091.99	c 1091s |      23 |  3414214 |  3358938 |      742   9541 |        0 |        0
1093.69/1094.01	c 1093s |      23 |  3419841 |  3364538 |      742   9553 |        0 |        0
1095.69/1096.03	c 1096s |      23 |  3425598 |  3370238 |      742   9566 |        0 |        0
1097.69/1098.03	c 1098s |      23 |  3431935 |  3376538 |      742   9581 |        0 |        0
1097.69/1098.07	c 1098s |      24 |  3432056 |  3376662 |      742   9581 |        0 |        0
1099.69/1100.08	c 1100s |      24 |  3438369 |  3382662 |      742   9594 |        0 |        0
1101.78/1102.10	c 1102s |      24 |  3444512 |  3388662 |      742   9607 |        0 |        0
1103.78/1104.13	c 1104s |      24 |  3450646 |  3394662 |      742   9621 |        0 |        0
1105.78/1106.14	c 1106s |      24 |  3456887 |  3400762 |      742   9634 |        0 |        0
1107.78/1108.17	c 1108s |      24 |  3463145 |  3406862 |      742   9648 |        0 |        0
1109.78/1110.19	c 1110s |      24 |  3469528 |  3413062 |      742   9662 |        0 |        0
1111.78/1112.19	c 1112s |      24 |  3475855 |  3419162 |      742   9675 |        0 |        0
1113.87/1114.21	c 1114s |      24 |  3482058 |  3425262 |      742   9689 |        0 |        0
1115.87/1116.25	c 1116s |      24 |  3488034 |  3431162 |      742   9702 |        0 |        0
1117.87/1118.26	c 1118s |      24 |  3493758 |  3436762 |      742   9715 |        0 |        0
1119.87/1120.28	c 1120s |      24 |  3499512 |  3442462 |      742   9727 |        0 |        0
1121.87/1122.29	c 1122s |      24 |  3505147 |  3448062 |      742   9740 |        0 |        0
1123.87/1124.29	c 1124s |      24 |  3511102 |  3453862 |      742   9753 |        0 |        0
1125.96/1126.32	c 1126s |      24 |  3517257 |  3459862 |      742   9766 |        0 |        0
1127.96/1128.34	c 1128s |      24 |  3523265 |  3465762 |      742   9779 |        0 |        0
1129.96/1130.35	c 1130s |      24 |  3529352 |  3471662 |      742   9793 |        0 |        0
1131.96/1132.37	c 1132s |      24 |  3535775 |  3477862 |      742   9806 |        0 |        0
1134.06/1134.40	c 1134s |      24 |  3542324 |  3484162 |      742   9820 |        0 |        0
1136.07/1136.42	c 1136s |      24 |  3548755 |  3490362 |      742   9834 |        0 |        0
1138.06/1138.44	c 1138s |      24 |  3555304 |  3496762 |      742   9849 |        0 |        0
1140.06/1140.46	c 1140s |      24 |  3561976 |  3503262 |      742   9863 |        0 |        0
1142.06/1142.48	c 1142s |      24 |  3568925 |  3510062 |      742   9878 |        0 |        0
1144.06/1144.49	c 1144s |      24 |  3575746 |  3516662 |      742   9893 |        0 |        0
1146.15/1146.51	c 1146s |      24 |  3582345 |  3523062 |      742   9907 |        0 |        0
1148.16/1148.52	c 1148s |      24 |  3588891 |  3529462 |      742   9921 |        0 |        0
1150.15/1150.55	c 1150s |      24 |  3595490 |  3535862 |      742   9936 |        0 |        0
1152.16/1152.55	c 1152s |      24 |  3602028 |  3542162 |      742   9950 |        0 |        0
1154.16/1154.58	c 1154s |      24 |  3608567 |  3548462 |      742   9964 |        0 |        0
1156.16/1156.59	c 1156s |      24 |  3615181 |  3554962 |      742   9978 |        0 |        0
1158.26/1158.62	c 1158s |      24 |  3621429 |  3561062 |      742   9992 |        0 |        0
1160.26/1160.65	c 1160s |      24 |  3627870 |  3567362 |      742  10006 |        0 |        0
1162.25/1162.66	c 1162s |      24 |  3633914 |  3573262 |      742  10019 |        0 |        0
1164.25/1164.68	c 1164s |      24 |  3640242 |  3579462 |      742  10032 |        0 |        0
1166.35/1166.72	c 1166s |      24 |  3646416 |  3585562 |      742  10046 |        0 |        0
1168.35/1168.74	c 1168s |      24 |  3652491 |  3591562 |      742  10059 |        0 |        0
1170.35/1170.76	c 1170s |      24 |  3658321 |  3597362 |      742  10072 |        0 |        0
1172.35/1172.79	c 1172s |      24 |  3664183 |  3603162 |      742  10085 |        0 |        0
1174.45/1174.81	c 1174s |      24 |  3670024 |  3608962 |      742  10098 |        0 |        0
1176.44/1176.81	c 1176s |      24 |  3675586 |  3614462 |      742  10111 |        0 |        0
1178.44/1178.83	c 1178s |      24 |  3681287 |  3620062 |      742  10123 |        0 |        0
1180.44/1180.86	c 1180s |      24 |  3686739 |  3625462 |      742  10135 |        0 |        0
1182.44/1182.87	c 1182s |      24 |  3692206 |  3630862 |      742  10147 |        0 |        0
1184.44/1184.89	c 1184s |      24 |  3698497 |  3637062 |      742  10161 |        0 |        0
1186.54/1186.91	c 1186s |      24 |  3705570 |  3644062 |      742  10177 |        0 |        0
1188.53/1188.91	c 1188s |      24 |  3712539 |  3650962 |      742  10192 |        0 |        0
1190.53/1190.94	c 1190s |      24 |  3719322 |  3657662 |      742  10207 |        0 |        0
1192.53/1192.95	c 1192s |      24 |  3726010 |  3664262 |      742  10221 |        0 |        0
1194.53/1194.95	c 1194s |      24 |  3732784 |  3670962 |      742  10236 |        0 |        0
1196.54/1196.98	c 1196s |      24 |  3739364 |  3677462 |      742  10251 |        0 |        0
1198.53/1199.00	c 1198s |      24 |  3746008 |  3684062 |      742  10265 |        0 |        0
1200.63/1201.00	c 1200s |      24 |  3752636 |  3690662 |      742  10280 |        0 |        0
1202.62/1203.00	c 1202s |      24 |  3759192 |  3697162 |      742  10294 |        0 |        0
1204.62/1205.03	c 1205s |      24 |  3765564 |  3703462 |      742  10308 |        0 |        0
1206.62/1207.04	c 1207s |      24 |  3771502 |  3709362 |      742  10321 |        0 |        0
1208.63/1209.07	c 1209s |      24 |  3778099 |  3715862 |      742  10336 |        0 |        0
1210.62/1211.08	c 1211s |      24 |  3785049 |  3722762 |      742  10351 |        0 |        0
1212.71/1213.11	c 1213s |      24 |  3791737 |  3729362 |      742  10366 |        0 |        0
1214.71/1215.13	c 1215s |      24 |  3798125 |  3735662 |      742  10380 |        0 |        0
1216.71/1217.15	c 1217s |      24 |  3804440 |  3741862 |      742  10393 |        0 |        0
1218.71/1219.18	c 1219s |      24 |  3810905 |  3748162 |      742  10407 |        0 |        0
1220.72/1221.19	c 1221s |      24 |  3816755 |  3753962 |      742  10420 |        0 |        0
1222.82/1223.20	c 1223s |      24 |  3823063 |  3760162 |      742  10434 |        0 |        0
1224.81/1225.24	c 1225s |      24 |  3829250 |  3766262 |      742  10448 |        0 |        0
1226.81/1227.25	c 1227s |      24 |  3835395 |  3772362 |      742  10461 |        0 |        0
1228.81/1229.27	c 1229s |      24 |  3841594 |  3778462 |      742  10475 |        0 |        0
1230.81/1231.28	c 1231s |      24 |  3847581 |  3784362 |      742  10488 |        0 |        0
1232.90/1233.30	c 1233s |      24 |  3853570 |  3790262 |      742  10501 |        0 |        0
1234.91/1235.31	c 1235s |      24 |  3859674 |  3796262 |      742  10514 |        0 |        0
1236.90/1237.33	c 1237s |      24 |  3865708 |  3802162 |      742  10528 |        0 |        0
1238.90/1239.33	c 1239s |      24 |  3871494 |  3807862 |      742  10540 |        0 |        0
1240.90/1241.36	c 1241s |      24 |  3877367 |  3813662 |      742  10553 |        0 |        0
1242.91/1243.38	c 1243s |      24 |  3883941 |  3820162 |      742  10568 |        0 |        0
1245.01/1245.40	c 1245s |      24 |  3890700 |  3826762 |      742  10582 |        0 |        0
1247.01/1247.40	c 1247s |      24 |  3896944 |  3832862 |      742  10596 |        0 |        0
1249.01/1249.42	c 1249s |      24 |  3903118 |  3838962 |      742  10609 |        0 |        0
1251.00/1251.44	c 1251s |      24 |  3909183 |  3844962 |      742  10623 |        0 |        0
1253.00/1253.45	c 1253s |      24 |  3915261 |  3850962 |      742  10636 |        0 |        0
1255.00/1255.46	c 1255s |      24 |  3921158 |  3856762 |      742  10649 |        0 |        0
1257.00/1257.49	c 1257s |      24 |  3927020 |  3862562 |      742  10662 |        0 |        0
1259.00/1259.50	c 1259s |      24 |  3932876 |  3868362 |      742  10675 |        0 |        0
1261.09/1261.51	c 1261s |      24 |  3938958 |  3874362 |      742  10688 |        0 |        0
1263.09/1263.52	c 1263s |      24 |  3944934 |  3880262 |      742  10701 |        0 |        0
1265.09/1265.53	c 1265s |      24 |  3950839 |  3886062 |      742  10714 |        0 |        0
1267.09/1267.53	c 1267s |      24 |  3956731 |  3891862 |      742  10727 |        0 |        0
1269.10/1269.56	c 1269s |      24 |  3962337 |  3897362 |      742  10739 |        0 |        0
1271.09/1271.58	c 1271s |      24 |  3968064 |  3902962 |      742  10752 |        0 |        0
1273.18/1273.60	c 1273s |      24 |  3973869 |  3908662 |      742  10765 |        0 |        0
1275.18/1275.60	c 1275s |      24 |  3980279 |  3914962 |      742  10779 |        0 |        0
1277.18/1277.62	c 1277s |      24 |  3986772 |  3921362 |      742  10793 |        0 |        0
1279.18/1279.64	c 1279s |      24 |  3993130 |  3927662 |      742  10807 |        0 |        0
1281.19/1281.65	c 1281s |      24 |  3999122 |  3933562 |      742  10820 |        0 |        0
1283.18/1283.68	c 1283s |      24 |  4004805 |  3939162 |      742  10833 |        0 |        0
1285.28/1285.71	c 1285s |      24 |  4010354 |  3944662 |      742  10845 |        0 |        0
1287.28/1287.71	c 1287s |      24 |  4016035 |  3950262 |      742  10858 |        0 |        0
1289.28/1289.72	c 1289s |      24 |  4021880 |  3955962 |      742  10870 |        0 |        0
1291.27/1291.73	c 1291s |      24 |  4027666 |  3961662 |      742  10883 |        0 |        0
1293.28/1293.75	c 1293s |      24 |  4033759 |  3967662 |      742  10896 |        0 |        0
1295.27/1295.78	c 1295s |      24 |  4039457 |  3973262 |      742  10909 |        0 |        0
1297.27/1297.78	c 1297s |      24 |  4045082 |  3978762 |      742  10921 |        0 |        0
1299.27/1299.79	c 1299s |      24 |  4050648 |  3984262 |      742  10933 |        0 |        0
1301.37/1301.81	c 1301s |      24 |  4056091 |  3989662 |      742  10945 |        0 |        0
1303.37/1303.83	c 1303s |      24 |  4061633 |  3995162 |      742  10958 |        0 |        0
1305.37/1305.84	c 1305s |      24 |  4067075 |  4000462 |      742  10970 |        0 |        0
1307.36/1307.85	c 1307s |      24 |  4072804 |  4006062 |      742  10982 |        0 |        0
1309.36/1309.86	c 1309s |      24 |  4078434 |  4011562 |      742  10995 |        0 |        0
1311.36/1311.87	c 1311s |      24 |  4084406 |  4017362 |      742  11008 |        0 |        0
1313.36/1313.87	c 1313s |      24 |  4090074 |  4022862 |      742  11020 |        0 |        0
1315.46/1315.90	c 1315s |      24 |  4095874 |  4028562 |      742  11033 |        0 |        0
1317.47/1317.93	c 1317s |      24 |  4101471 |  4034062 |      742  11045 |        0 |        0
1319.46/1319.94	c 1319s |      24 |  4106935 |  4039462 |      742  11057 |        0 |        0
1321.45/1321.96	c 1321s |      24 |  4112516 |  4044962 |      742  11069 |        0 |        0
1323.45/1323.98	c 1323s |      24 |  4117879 |  4050262 |      742  11081 |        0 |        0
1325.45/1325.99	c 1325s |      24 |  4123349 |  4055662 |      742  11093 |        0 |        0
1327.55/1328.01	c 1327s |      24 |  4129025 |  4061262 |      742  11106 |        0 |        0
1329.56/1330.02	c 1330s |      24 |  4134667 |  4066862 |      742  11118 |        0 |        0
1331.54/1332.02	c 1332s |      24 |  4140291 |  4072462 |      742  11131 |        0 |        0
1333.54/1334.03	c 1334s |      24 |  4145814 |  4077862 |      742  11143 |        0 |        0
1335.54/1336.07	c 1336s |      24 |  4151335 |  4083262 |      742  11155 |        0 |        0
1337.54/1338.09	c 1338s |      24 |  4156876 |  4088662 |      742  11167 |        0 |        0
1339.65/1340.10	c 1340s |      24 |  4163201 |  4094862 |      742  11181 |        0 |        0
1341.66/1342.12	c 1342s |      24 |  4169463 |  4100962 |      742  11194 |        0 |        0
1343.65/1344.14	c 1344s |      24 |  4175257 |  4106662 |      742  11207 |        0 |        0
1345.65/1346.16	c 1346s |      24 |  4181095 |  4112362 |      742  11220 |        0 |        0
1347.65/1348.17	c 1348s |      24 |  4186895 |  4118062 |      742  11232 |        0 |        0
1349.75/1350.20	c 1350s |      24 |  4192450 |  4123562 |      742  11245 |        0 |        0
1351.74/1352.23	c 1352s |      24 |  4198136 |  4129162 |      742  11257 |        0 |        0
1353.75/1354.26	c 1354s |      24 |  4203607 |  4134562 |      742  11269 |        0 |        0
1355.74/1356.27	c 1356s |      24 |  4208962 |  4139862 |      742  11281 |        0 |        0
1357.74/1358.30	c 1358s |      24 |  4214473 |  4145262 |      742  11293 |        0 |        0
1359.84/1360.31	c 1360s |      24 |  4219763 |  4150462 |      742  11305 |        0 |        0
1361.84/1362.34	c 1362s |      24 |  4225144 |  4155762 |      742  11317 |        0 |        0
1363.84/1364.37	c 1364s |      24 |  4230733 |  4161262 |      742  11329 |        0 |        0
1365.94/1366.40	c 1366s |      24 |  4236015 |  4166462 |      742  11341 |        0 |        0
1367.95/1368.44	c 1368s |      24 |  4241292 |  4171662 |      742  11352 |        0 |        0
1369.94/1370.45	c 1370s |      24 |  4246674 |  4176962 |      742  11364 |        0 |        0
1371.93/1372.48	c 1372s |      24 |  4252023 |  4182262 |      742  11376 |        0 |        0
1374.03/1374.50	c 1374s |      24 |  4257632 |  4187762 |      742  11388 |        0 |        0
1376.03/1376.52	c 1376s |      24 |  4263619 |  4193662 |      742  11401 |        0 |        0
1378.03/1378.55	c 1378s |      24 |  4269463 |  4199362 |      742  11414 |        0 |        0
1380.04/1380.59	c 1380s |      24 |  4275167 |  4204962 |      742  11427 |        0 |        0
1382.13/1382.61	c 1382s |      24 |  4280718 |  4210362 |      742  11439 |        0 |        0
1384.13/1384.64	c 1384s |      24 |  4286482 |  4215962 |      742  11451 |        0 |        0
1386.13/1386.66	c 1386s |      24 |  4292369 |  4221762 |      742  11464 |        0 |        0
1388.13/1388.66	c 1388s |      24 |  4298149 |  4227362 |      742  11477 |        0 |        0
1390.13/1390.68	c 1390s |      24 |  4303864 |  4232962 |      742  11489 |        0 |        0
1392.13/1392.70	c 1392s |      24 |  4309895 |  4238862 |      742  11502 |        0 |        0
1394.22/1394.71	c 1394s |      24 |  4316150 |  4244962 |      742  11516 |        0 |        0
1396.22/1396.73	c 1396s |      24 |  4321955 |  4250662 |      742  11528 |        0 |        0
1398.22/1398.75	c 1398s |      24 |  4327558 |  4256162 |      742  11541 |        0 |        0
1400.22/1400.77	c 1400s |      24 |  4332949 |  4261462 |      742  11552 |        0 |        0
1402.22/1402.78	c 1402s |      24 |  4338301 |  4266762 |      742  11564 |        0 |        0
1404.22/1404.79	c 1404s |      24 |  4343674 |  4272062 |      742  11576 |        0 |        0
1406.32/1406.81	c 1406s |      24 |  4348929 |  4277262 |      742  11588 |        0 |        0
1408.31/1408.84	c 1408s |      24 |  4354082 |  4282362 |      742  11599 |        0 |        0
1410.31/1410.84	c 1410s |      24 |  4360017 |  4288162 |      742  11612 |        0 |        0
1412.31/1412.85	c 1412s |      24 |  4365763 |  4293762 |      742  11624 |        0 |        0
1414.31/1414.86	c 1414s |      24 |  4371262 |  4299162 |      742  11636 |        0 |        0
1416.32/1416.87	c 1416s |      24 |  4376892 |  4304662 |      742  11649 |        0 |        0
1418.41/1418.91	c 1418s |      24 |  4382281 |  4309962 |      742  11661 |        0 |        0
1420.41/1420.93	c 1420s |      24 |  4387722 |  4315362 |      742  11673 |        0 |        0
1422.41/1422.97	c 1422s |      24 |  4393226 |  4320762 |      742  11685 |        0 |        0
1424.51/1425.00	c 1424s |      24 |  4398591 |  4326062 |      742  11697 |        0 |        0
1426.51/1427.01	c 1426s |      24 |  4404035 |  4331462 |      742  11709 |        0 |        0
1428.52/1429.02	c 1428s |      24 |  4409421 |  4336762 |      742  11721 |        0 |        0
1430.51/1431.03	c 1431s |      24 |  4414710 |  4341962 |      742  11732 |        0 |        0
1432.51/1433.03	c 1433s |      24 |  4420212 |  4347362 |      742  11744 |        0 |        0
1434.51/1435.06	c 1435s |      24 |  4425490 |  4352562 |      742  11756 |        0 |        0
1436.51/1437.09	c 1437s |      24 |  4430704 |  4357662 |      742  11767 |        0 |        0
1438.51/1439.09	c 1439s |      24 |  4435940 |  4362862 |      742  11779 |        0 |        0
1440.61/1441.13	c 1441s |      24 |  4441357 |  4368162 |      742  11791 |        0 |        0
1442.61/1443.15	c 1443s |      24 |  4446769 |  4373462 |      742  11803 |        0 |        0
1444.61/1445.19	c 1445s |      24 |  4451963 |  4378562 |      742  11814 |        0 |        0
1446.60/1447.19	c 1447s |      24 |  4457142 |  4383662 |      742  11826 |        0 |        0
1448.70/1449.20	c 1449s |      24 |  4462289 |  4388762 |      742  11837 |        0 |        0
1450.70/1451.20	c 1451s |      24 |  4467336 |  4393762 |      742  11849 |        0 |        0
1452.71/1453.23	c 1453s |      24 |  4472704 |  4399062 |      742  11861 |        0 |        0
1454.70/1455.25	c 1455s |      24 |  4479495 |  4405662 |      742  11875 |        0 |        0
1456.70/1457.27	c 1457s |      24 |  4486301 |  4412362 |      742  11890 |        0 |        0
1458.70/1459.28	c 1459s |      24 |  4492461 |  4418462 |      742  11904 |        0 |        0
1460.80/1461.30	c 1461s |      24 |  4498858 |  4424762 |      742  11918 |        0 |        0
1462.80/1463.32	c 1463s |      24 |  4504811 |  4430662 |      742  11931 |        0 |        0
1464.81/1465.34	c 1465s |      24 |  4510977 |  4436762 |      742  11944 |        0 |        0
1466.80/1467.37	c 1467s |      24 |  4516917 |  4442662 |      742  11957 |        0 |        0
1468.80/1469.39	c 1469s |      24 |  4522844 |  4448562 |      742  11970 |        0 |        0
1470.90/1471.41	c 1471s |      24 |  4528602 |  4454262 |      742  11983 |        0 |        0
1472.90/1473.42	c 1473s |      24 |  4534623 |  4460162 |      742  11996 |        0 |        0
1474.90/1475.45	c 1475s |      24 |  4540271 |  4465762 |      742  12009 |        0 |        0
1476.90/1477.49	c 1477s |      24 |  4545962 |  4471362 |      742  12021 |        0 |        0
1478.90/1479.50	c 1479s |      24 |  4551896 |  4477262 |      742  12034 |        0 |        0
1481.00/1481.51	c 1481s |      24 |  4557746 |  4483062 |      742  12047 |        0 |        0
1483.00/1483.52	c 1483s |      24 |  4563407 |  4488662 |      742  12060 |        0 |        0
1485.00/1485.53	c 1485s |      24 |  4568975 |  4494162 |      742  12072 |        0 |        0
1487.00/1487.54	c 1487s |      24 |  4574431 |  4499562 |      742  12084 |        0 |        0
1489.00/1489.55	c 1489s |      24 |  4580082 |  4505162 |      742  12096 |        0 |        0
1491.00/1491.57	c 1491s |      24 |  4585752 |  4510762 |      742  12109 |        0 |        0
1493.10/1493.61	c 1493s |      24 |  4591587 |  4516562 |      742  12122 |        0 |        0
1495.10/1495.64	c 1495s |      24 |  4597132 |  4522062 |      742  12134 |        0 |        0
1497.10/1497.66	c 1497s |      24 |  4602762 |  4527662 |      742  12146 |        0 |        0
1499.10/1499.69	c 1499s |      24 |  4608375 |  4533262 |      742  12159 |        0 |        0
1501.11/1501.69	c 1501s |      24 |  4613831 |  4538662 |      742  12171 |        0 |        0
1503.21/1503.71	c 1503s |      24 |  4619289 |  4544062 |      742  12183 |        0 |        0
1505.20/1505.72	c 1505s |      24 |  4624645 |  4549362 |      742  12195 |        0 |        0
1507.20/1507.73	c 1507s |      24 |  4629910 |  4554562 |      742  12206 |        0 |        0
1509.20/1509.75	c 1509s |      24 |  4635355 |  4559962 |      742  12219 |        0 |        0
1511.20/1511.77	c 1511s |      24 |  4640931 |  4565462 |      742  12231 |        0 |        0
1513.21/1513.79	c 1513s |      24 |  4646317 |  4570762 |      742  12243 |        0 |        0
1515.31/1515.81	c 1515s |      24 |  4651782 |  4576162 |      742  12255 |        0 |        0
1517.30/1517.83	c 1517s |      24 |  4657773 |  4582062 |      742  12268 |        0 |        0
1519.30/1519.85	c 1519s |      24 |  4663516 |  4587662 |      742  12280 |        0 |        0
1521.30/1521.86	c 1521s |      24 |  4668877 |  4592962 |      742  12292 |        0 |        0
1523.30/1523.87	c 1523s |      24 |  4674350 |  4598262 |      742  12304 |        0 |        0
1525.30/1525.89	c 1525s |      24 |  4679984 |  4603762 |      742  12316 |        0 |        0
1527.40/1527.92	c 1527s |      24 |  4685459 |  4609162 |      742  12328 |        0 |        0
1529.40/1529.95	c 1529s |      24 |  4691051 |  4614662 |      742  12341 |        0 |        0
1531.39/1531.96	c 1531s |      24 |  4696442 |  4619962 |      742  12352 |        0 |        0
1533.39/1533.96	c 1533s |      24 |  4701753 |  4625162 |      742  12364 |        0 |        0
1535.39/1535.98	c 1535s |      24 |  4707059 |  4630362 |      742  12376 |        0 |        0
1537.40/1537.99	c 1537s |      24 |  4712442 |  4635562 |      742  12387 |        0 |        0
1539.50/1540.02	c 1539s |      24 |  4718143 |  4641162 |      742  12400 |        0 |        0
1541.49/1542.03	c 1542s |      24 |  4723820 |  4646762 |      742  12412 |        0 |        0
1543.49/1544.05	c 1544s |      24 |  4729506 |  4652362 |      742  12425 |        0 |        0
1545.49/1546.06	c 1546s |      24 |  4735507 |  4658162 |      742  12438 |        0 |        0
1547.49/1548.09	c 1548s |      24 |  4741576 |  4664162 |      742  12451 |        0 |        0
1549.50/1550.09	c 1550s |      24 |  4747221 |  4669662 |      742  12463 |        0 |        0
1551.60/1552.13	c 1552s |      24 |  4752734 |  4675062 |      742  12476 |        0 |        0
1553.59/1554.14	c 1554s |      24 |  4757984 |  4680262 |      742  12487 |        0 |        0
1555.59/1556.15	c 1556s |      24 |  4763343 |  4685562 |      742  12499 |        0 |        0
1557.59/1558.15	c 1558s |      24 |  4768603 |  4690762 |      742  12511 |        0 |        0
1559.59/1560.18	c 1560s |      24 |  4774097 |  4696062 |      742  12523 |        0 |        0
1561.69/1562.20	c 1562s |      24 |  4779685 |  4701562 |      742  12535 |        0 |        0
1563.70/1564.21	c 1564s |      24 |  4785088 |  4706862 |      742  12547 |        0 |        0
1565.69/1566.22	c 1566s |      24 |  4790549 |  4712262 |      742  12559 |        0 |        0
1567.69/1568.25	c 1568s |      24 |  4795825 |  4717462 |      742  12570 |        0 |        0
1569.69/1570.25	c 1570s |      24 |  4800979 |  4722562 |      742  12582 |        0 |        0
1571.69/1572.25	c 1572s |      24 |  4806190 |  4727662 |      742  12593 |        0 |        0
1573.69/1574.28	c 1574s |      24 |  4811700 |  4733062 |      742  12605 |        0 |        0
1575.79/1576.31	c 1576s |      24 |  4817202 |  4738462 |      742  12618 |        0 |        0
1577.79/1578.34	c 1578s |      24 |  4822676 |  4743862 |      742  12630 |        0 |        0
1579.79/1580.35	c 1580s |      24 |  4828166 |  4749262 |      742  12642 |        0 |        0
1581.79/1582.39	c 1582s |      24 |  4833528 |  4754562 |      742  12654 |        0 |        0
1583.89/1584.40	c 1584s |      24 |  4838762 |  4759762 |      742  12666 |        0 |        0
1585.88/1586.43	c 1586s |      24 |  4844233 |  4765162 |      742  12678 |        0 |        0
1587.89/1588.44	c 1588s |      24 |  4849693 |  4770562 |      742  12690 |        0 |        0
1589.88/1590.45	c 1590s |      24 |  4855255 |  4775962 |      742  12702 |        0 |        0
1591.88/1592.47	c 1592s |      24 |  4860779 |  4781362 |      742  12714 |        0 |        0
1593.98/1594.50	c 1594s |      24 |  4866189 |  4786662 |      742  12726 |        0 |        0
1595.98/1596.50	c 1596s |      24 |  4872161 |  4792562 |      742  12739 |        0 |        0
1597.98/1598.52	c 1598s |      24 |  4878404 |  4798662 |      742  12753 |        0 |        0
1599.99/1600.55	c 1600s |      24 |  4884681 |  4804762 |      742  12767 |        0 |        0
1601.98/1602.55	c 1602s |      24 |  4890386 |  4810362 |      742  12779 |        0 |        0
1603.98/1604.58	c 1604s |      24 |  4896258 |  4816162 |      742  12792 |        0 |        0
1605.98/1606.59	c 1606s |      24 |  4902100 |  4821862 |      742  12805 |        0 |        0
1608.08/1608.62	c 1608s |      24 |  4907794 |  4827462 |      742  12817 |        0 |        0
1610.08/1610.65	c 1610s |      24 |  4913526 |  4833062 |      742  12830 |        0 |        0
1612.09/1612.66	c 1612s |      24 |  4919035 |  4838462 |      742  12842 |        0 |        0
1614.08/1614.66	c 1614s |      24 |  4924334 |  4843662 |      742  12853 |        0 |        0
1616.08/1616.67	c 1616s |      24 |  4929602 |  4848862 |      742  12865 |        0 |        0
1618.08/1618.69	c 1618s |      24 |  4934887 |  4854062 |      742  12877 |        0 |        0
1620.18/1620.71	c 1620s |      24 |  4940221 |  4859362 |      742  12888 |        0 |        0
1622.18/1622.73	c 1622s |      24 |  4945545 |  4864662 |      742  12900 |        0 |        0
1624.18/1624.76	c 1624s |      24 |  4951303 |  4870362 |      742  12913 |        0 |        0
1626.18/1626.79	c 1626s |      24 |  4957062 |  4876062 |      742  12926 |        0 |        0
1628.28/1628.82	c 1628s |      24 |  4962771 |  4881662 |      742  12938 |        0 |        0
1630.28/1630.83	c 1630s |      24 |  4968292 |  4887062 |      742  12950 |        0 |        0
1632.27/1632.85	c 1632s |      24 |  4974087 |  4892662 |      742  12963 |        0 |        0
1634.27/1634.87	c 1634s |      24 |  4979654 |  4898062 |      742  12975 |        0 |        0
1636.28/1636.90	c 1636s |      24 |  4985425 |  4903762 |      742  12988 |        0 |        0
1638.37/1638.92	c 1638s |      24 |  4990771 |  4908962 |      742  13000 |        0 |        0
1640.37/1640.92	c 1640s |      24 |  4995840 |  4913962 |      742  13011 |        0 |        0
1642.37/1642.95	c 1642s |      24 |  5001240 |  4919262 |      742  13023 |        0 |        0
1644.37/1644.95	c 1644s |      24 |  5006401 |  4924362 |      742  13034 |        0 |        0
1646.37/1646.97	c 1646s |      24 |  5011986 |  4929862 |      742  13046 |        0 |        0
1648.38/1648.99	c 1648s |      24 |  5017689 |  4935462 |      742  13059 |        0 |        0
1650.48/1651.00	c 1650s |      24 |  5023271 |  4940862 |      742  13071 |        0 |        0
1652.48/1653.03	c 1653s |      24 |  5028604 |  4946062 |      742  13083 |        0 |        0
1654.48/1655.05	c 1655s |      24 |  5033728 |  4951062 |      742  13094 |        0 |        0
1656.48/1657.08	c 1657s |      24 |  5039309 |  4956462 |      742  13106 |        0 |        0
1658.48/1659.08	c 1659s |      24 |  5044533 |  4961562 |      742  13118 |        0 |        0
1660.48/1661.09	c 1661s |      24 |  5049857 |  4966762 |      742  13129 |        0 |        0
1662.58/1663.11	c 1663s |      24 |  5055162 |  4971962 |      742  13141 |        0 |        0
1664.58/1665.13	c 1665s |      24 |  5060600 |  4977262 |      742  13153 |        0 |        0
1666.58/1667.16	c 1667s |      24 |  5066711 |  4983162 |      742  13166 |        0 |        0
1668.58/1669.19	c 1669s |      24 |  5072774 |  4988962 |      742  13179 |        0 |        0
1670.68/1671.21	c 1671s |      24 |  5078657 |  4994662 |      742  13192 |        0 |        0
1672.68/1673.22	c 1673s |      24 |  5084411 |  5000262 |      742  13205 |        0 |        0
1674.67/1675.24	c 1675s |      24 |  5090242 |  5005962 |      742  13217 |        0 |        0
1676.67/1677.24	c 1677s |      24 |  5096008 |  5011562 |      742  13230 |        0 |        0
1678.67/1679.28	c 1679s |      24 |  5101652 |  5017062 |      742  13242 |        0 |        0
1680.67/1681.29	c 1681s |      24 |  5107013 |  5022362 |      742  13254 |        0 |        0
1682.77/1683.30	c 1683s |      24 |  5112552 |  5027862 |      742  13267 |        0 |        0
1684.78/1685.35	c 1685s |      24 |  5117978 |  5033162 |      817  13278 |        0 |        0
1686.77/1687.36	c 1687s |      24 |  5123681 |  5038762 |      817  13289 |        0 |        0
1688.77/1689.38	c 1689s |      24 |  5129107 |  5044062 |      817  13300 |        0 |        0
1690.77/1691.39	c 1691s |      24 |  5134416 |  5049262 |      817  13311 |        0 |        0
1692.87/1693.42	c 1693s |      24 |  5139771 |  5054462 |      817  13322 |        0 |        0
1694.87/1695.42	c 1695s |      24 |  5145173 |  5059762 |      817  13333 |        0 |        0
1696.88/1697.44	c 1697s |      24 |  5150469 |  5064962 |      817  13343 |        0 |        0
1696.97/1697.50	c 1697s |      25 |  5150607 |  5065098 |      817  13344 |        0 |        0
1698.98/1699.54	c 1699s |      25 |  5156512 |  5070698 |      817  13355 |        0 |        0
1700.97/1701.56	c 1701s |      25 |  5162509 |  5076498 |      817  13367 |        0 |        0
1702.97/1703.57	c 1703s |      25 |  5168672 |  5082498 |      817  13379 |        0 |        0
1704.97/1705.57	c 1705s |      25 |  5174371 |  5087998 |      817  13391 |        0 |        0
1706.97/1707.58	c 1707s |      25 |  5180710 |  5094098 |      817  13403 |        0 |        0
1708.97/1709.59	c 1709s |      25 |  5186857 |  5099998 |      817  13415 |        0 |        0
1711.07/1711.61	c 1711s |      25 |  5192739 |  5105598 |      817  13427 |        0 |        0
1713.06/1713.61	c 1713s |      25 |  5198446 |  5111098 |      817  13438 |        0 |        0
1715.06/1715.61	c 1715s |      25 |  5204181 |  5116698 |      817  13450 |        0 |        0
1717.06/1717.62	c 1717s |      25 |  5209831 |  5122198 |      817  13461 |        0 |        0
1719.06/1719.63	c 1719s |      25 |  5215461 |  5127698 |      817  13472 |        0 |        0
1721.07/1721.64	c 1721s |      25 |  5221101 |  5133198 |      817  13484 |        0 |        0
1723.06/1723.66	c 1723s |      25 |  5226587 |  5138598 |      817  13495 |        0 |        0
1725.06/1725.68	c 1725s |      25 |  5232035 |  5143898 |      817  13506 |        0 |        0
1727.06/1727.69	c 1727s |      25 |  5237634 |  5149398 |      817  13517 |        0 |        0
1729.16/1729.70	c 1729s |      25 |  5243165 |  5154898 |      817  13528 |        0 |        0
1731.16/1731.73	c 1731s |      25 |  5248717 |  5160398 |      817  13540 |        0 |        0
1733.17/1733.77	c 1733s |      25 |  5253990 |  5165598 |      817  13550 |        0 |        0
1735.16/1735.78	c 1735s |      25 |  5259511 |  5170998 |      817  13562 |        0 |        0
1737.16/1737.78	c 1737s |      25 |  5264649 |  5175998 |      817  13572 |        0 |        0
1739.26/1739.81	c 1739s |      25 |  5269885 |  5181098 |      817  13582 |        0 |        0
1741.26/1741.82	c 1741s |      25 |  5275214 |  5186298 |      817  13593 |        0 |        0
1743.26/1743.83	c 1743s |      25 |  5280350 |  5191298 |      817  13603 |        0 |        0
1745.27/1745.83	c 1745s |      25 |  5285390 |  5196298 |      817  13614 |        0 |        0
1747.26/1747.85	c 1747s |      25 |  5290844 |  5201698 |      817  13625 |        0 |        0
1749.26/1749.87	c 1749s |      25 |  5296219 |  5206998 |      817  13636 |        0 |        0
1751.26/1751.89	c 1751s |      25 |  5301264 |  5211998 |      817  13646 |        0 |        0
1753.36/1753.91	c 1753s |      25 |  5306381 |  5216998 |      817  13657 |        0 |        0
1755.36/1755.91	c 1755s |      25 |  5311666 |  5222198 |      817  13667 |        0 |        0
1757.36/1757.95	c 1757s |      25 |  5317136 |  5227598 |      817  13679 |        0 |        0
1759.36/1759.95	c 1759s |      25 |  5322499 |  5232898 |      817  13689 |        0 |        0
1761.36/1761.97	c 1761s |      25 |  5327908 |  5238198 |      817  13700 |        0 |        0
1763.36/1763.98	c 1763s |      25 |  5333521 |  5243698 |      817  13712 |        0 |        0
1765.46/1766.00	c 1765s |      25 |  5339629 |  5249698 |      817  13724 |        0 |        0
1767.46/1768.01	c 1767s |      25 |  5345148 |  5255098 |      817  13735 |        0 |        0
1769.46/1770.03	c 1770s |      25 |  5350451 |  5260298 |      817  13746 |        0 |        0
1771.45/1772.05	c 1772s |      25 |  5355741 |  5265498 |      817  13757 |        0 |        0
1773.45/1774.07	c 1774s |      25 |  5361134 |  5270798 |      817  13768 |        0 |        0
1775.45/1776.08	c 1776s |      25 |  5366602 |  5276198 |      817  13779 |        0 |        0
1777.45/1778.09	c 1778s |      25 |  5371882 |  5281398 |      817  13789 |        0 |        0
1779.55/1780.10	c 1780s |      25 |  5377474 |  5286898 |      817  13801 |        0 |        0
1781.56/1782.11	c 1782s |      25 |  5382950 |  5292298 |      817  13812 |        0 |        0
1783.55/1784.11	c 1784s |      25 |  5388249 |  5297498 |      817  13823 |        0 |        0
1785.55/1786.14	c 1786s |      25 |  5393512 |  5302698 |      817  13833 |        0 |        0
1787.55/1788.17	c 1788s |      25 |  5398689 |  5307798 |      817  13844 |        0 |        0
1789.55/1790.18	c 1790s |      25 |  5403743 |  5312798 |      817  13854 |        0 |        0
1791.55/1792.19	c 1792s |      25 |  5408977 |  5317998 |      817  13865 |        0 |        0
1793.66/1794.23	c 1794s |      25 |  5414024 |  5322998 |      817  13875 |        0 |        0
1795.65/1796.25	c 1796s |      25 |  5419569 |  5328498 |      817  13887 |        0 |        0
1797.65/1798.26	c 1798s |      25 |  5424994 |  5333798 |      817  13898 |        0 |        0
1799.65/1800.28	c 1800s |      25 |  5430373 |  5339098 |      817  13909 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079756-1465244924/watcher-4079756-1465244924 -o /tmp/evaluation-result-4079756-1465244924/solver-4079756-1465244924 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1183 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079756-1465244924.opb 

pid=4057
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.19 2.25 2.26 3/179 4060
/proc/meminfo: memFree=29223884/32872528 swapFree=16384/1696552
[pid=4060] ppid=4057 vsize=725436 CPUtime=0 cores=1,3,5,7
/proc/4060/stat : 4060 (toysat) R 4057 4060 1166 0 -1 4202496 2707 0 0 0 0 0 0 0 20 0 4 0 106425474 742846464 2558 33554432000 4194304 16246674 140737377647904 140737377647328 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4060/statm: 181871 2567 441 2943 0 178765 0
[pid=4060/tid=4061] ppid=4057 vsize=743868 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4061/stat : 4061 (toysat) S 4057 4060 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106425474 761720832 2628 33554432000 4194304 16246674 140737377647904 140172434844912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4060/tid=4062] ppid=4057 vsize=747964 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4062/stat : 4062 (toysat) S 4057 4060 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106425474 765915136 2645 33554432000 4194304 16246674 140737377647904 140172424355056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4060/tid=4063] ppid=4057 vsize=752060 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4063/stat : 4063 (toysat) S 4057 4060 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106425474 770109440 2663 33554432000 4194304 16246674 140737377647904 140172413881520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.19 2.25 2.26 3/179 4060
/proc/meminfo: memFree=29223884/32872528 swapFree=16384/1696552
[pid=4060] ppid=4057 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/4060/stat : 4060 (toysat) R 4057 4060 1166 0 -1 4202496 21136 0 0 0 6 3 0 0 20 0 4 0 106425474 1247350784 20973 33554432000 4194304 16246674 140737377647904 140737377646840 5828874 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4060/statm: 304529 20975 769 2943 0 301423 0
[pid=4060/tid=4061] ppid=4057 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4061/stat : 4061 (toysat) S 4057 4060 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106425474 1247350784 20978 33554432000 4194304 16246674 140737377647904 140172434844912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4060/tid=4062] ppid=4057 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4062/stat : 4062 (toysat) S 4057 4060 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106425474 1247350784 20982 33554432000 4194304 16246674 140737377647904 140172424355056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4060/tid=4063] ppid=4057 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4063/stat : 4063 (toysat) S 4057 4060 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106425474 1247350784 20985 33554432000 4194304 16246674 140737377647904 140172413881520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200531 s]
/proc/loadavg: 2.19 2.25 2.26 3/179 4060
/proc/meminfo: memFree=29223884/32872528 swapFree=16384/1696552
[pid=4060] ppid=4057 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/4060/stat : 4060 (toysat) R 4057 4060 1166 0 -1 4202496 39393 0 0 0 14 5 0 0 20 0 4 0 106425474 1247350784 39230 33554432000 4194304 16246674 140737377647904 140737377646840 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4060/statm: 304529 39236 769 2943 0 301423 0
[pid=4060/tid=4061] ppid=4057 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4061/stat : 4061 (toysat) S 4057 4060 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106425474 1247350784 39238 33554432000 4194304 16246674 140737377647904 140172434844912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4060/tid=4062] ppid=4057 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4062/stat : 4062 (toysat) S 4057 4060 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106425474 1247350784 39242 33554432000 4194304 16246674 140737377647904 140172424355056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4060/tid=4063] ppid=4057 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4063/stat : 4063 (toysat) S 4057 4060 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106425474 1247350784 39248 33554432000 4194304 16246674 140737377647904 140172413881520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300498 s]
/proc/loadavg: 2.19 2.25 2.26 3/179 4060
/proc/meminfo: memFree=29223884/32872528 swapFree=16384/1696552
[pid=4060] ppid=4057 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/4060/stat : 4060 (toysat) R 4057 4060 1166 0 -1 4202496 57835 0 0 0 21 8 0 0 20 0 4 0 106425474 1247350784 57672 33554432000 4194304 16246674 140737377647904 140737377646840 5602147 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4060/statm: 304529 57677 769 2943 0 301423 0
[pid=4060/tid=4061] ppid=4057 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4061/stat : 4061 (toysat) S 4057 4060 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106425474 1247350784 57680 33554432000 4194304 16246674 140737377647904 140172434844912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4060/tid=4062] ppid=4057 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4062/stat : 4062 (toysat) S 4057 4060 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106425474 1247350784 57684 33554432000 4194304 16246674 140737377647904 140172424355056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4060/tid=4063] ppid=4057 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4063/stat : 4063 (toysat) S 4057 4060 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106425474 1247350784 57689 33554432000 4194304 16246674 140737377647904 140172413881520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70041 s]
/proc/loadavg: 2.19 2.25 2.26 3/179 4060
/proc/meminfo: memFree=29223884/32872528 swapFree=16384/1696552
[pid=4060] ppid=4057 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/4060/stat : 4060 (toysat) R 4057 4060 1166 0 -1 4202496 129547 0 0 0 51 18 0 0 20 0 4 0 106425474 1247350784 129384 33554432000 4194304 16246674 140737377647904 140737377646840 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4060/statm: 304529 129397 769 2943 0 301423 0
[pid=4060/tid=4061] ppid=4057 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4061/stat : 4061 (toysat) S 4057 4060 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106425474 1247350784 129405 33554432000 4194304 16246674 140737377647904 140172434844912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4060/tid=4062] ppid=4057 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4062/stat : 4062 (toysat) S 4057 4060 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106425474 1247350784 129410 33554432000 4194304 16246674 140737377647904 140172424355056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4060/tid=4063] ppid=4057 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4063/stat : 4063 (toysat) S 4057 4060 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106425474 1247350784 129413 33554432000 4194304 16246674 140737377647904 140172413881520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.19 2.25 2.26 4/183 4064
/proc/meminfo: memFree=28419952/32872528 swapFree=16384/1696552
[pid=4060] ppid=4057 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/4060/stat : 4060 (toysat) R 4057 4060 1166 0 -1 4202496 245704 0 0 0 116 33 0 0 20 0 4 0 106425474 1248399360 245519 33554432000 4194304 16246674 140737377647904 140737377630672 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4060/statm: 304785 245519 832 2943 0 301679 0
[pid=4060/tid=4061] ppid=4057 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4061/stat : 4061 (toysat) S 4057 4060 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106425474 1248399360 245519 33554432000 4194304 16246674 140737377647904 140172434844912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4060/tid=4062] ppid=4057 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4062/stat : 4062 (toysat) S 4057 4060 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106425474 1248399360 245519 33554432000 4194304 16246674 140737377647904 140172424355056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4060/tid=4063] ppid=4057 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4063/stat : 4063 (toysat) S 4057 4060 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106425474 1248399360 245519 33554432000 4194304 16246674 140737377647904 140172413881520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10042 s]
/proc/loadavg: 2.19 2.25 2.26 3/183 4064
/proc/meminfo: memFree=28226272/32872528 swapFree=16384/1696552
[pid=4060] ppid=4057 vsize=1305156 CPUtime=3.09 cores=1,3,5,7
/proc/4060/stat : 4060 (toysat) R 4057 4060 1166 0 -1 4202496 267263 0 0 0 274 35 0 0 20 0 4 0 106425474 1336479744 267078 33554432000 4194304 16246674 140737377647904 140737377629824 6843493 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4060/statm: 326289 267078 834 2943 0 323183 0
[pid=4060/tid=4061] ppid=4057 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4061/stat : 4061 (toysat) S 4057 4060 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106425474 1336479744 267078 33554432000 4194304 16246674 140737377647904 140172434844912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4060/tid=4062] ppid=4057 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4062/stat : 4062 (toysat) S 4057 4060 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106425474 1336479744 267078 33554432000 4194304 16246674 140737377647904 140172424355056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4060/tid=4063] ppid=4057 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4063/stat : 4063 (toysat) S 4057 4060 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106425474 1336479744 267078 33554432000 4194304 16246674 140737377647904 140172413881520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1305156

[startup+6.30043 s]
/proc/loadavg: 2.18 2.25 2.26 4/183 4064
/proc/meminfo: memFree=28154616/32872528 swapFree=16384/1696552
[pid=4060] ppid=4057 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/4060/stat : 4060 (toysat) R 4057 4060 1166 0 -1 4202496 267480 0 0 0 594 35 0 0 20 0 4 0 106425474 1337528320 267295 33554432000 4194304 16246674 140737377647904 140737377629824 5824839 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4060/statm: 326545 267295 834 2943 0 323439 0
[pid=4060/tid=4061] ppid=4057 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4061/stat : 4061 (toysat) S 4057 4060 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106425474 1337528320 267295 33554432000 4194304 16246674 140737377647904 140172434844912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4060/tid=4062] ppid=4057 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4062/stat : 4062 (toysat) S 4057 4060 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106425474 1337528320 267295 33554432000 4194304 16246674 140737377647904 140172424355056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4060/tid=4063] ppid=4057 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4063/stat : 4063 (toysat) S 4057 4060 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106425474 1337528320 267295 33554432000 4194304 16246674 140737377647904 140172413881520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.24 2.26 2.26 3/183 4064
/proc/meminfo: memFree=28154528/32872528 swapFree=16384/1696552
[pid=4060] ppid=4057 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/4060/stat : 4060 (toysat) R 4057 4060 1166 0 -1 4202496 267503 0 0 0 1234 35 0 0 20 0 4 0 106425474 1337528320 267318 33554432000 4194304 16246674 140737377647904 140737377629824 5722908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4060/statm: 326545 267318 835 2943 0 323439 0
[pid=4060/tid=4061] ppid=4057 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4061/stat : 4061 (toysat) S 4057 4060 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106425474 1337528320 267318 33554432000 4194304 16246674 140737377647904 140172434844912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4060/tid=4062] ppid=4057 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4062/stat : 4062 (toysat) S 4057 4060 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106425474 1337528320 267318 33554432000 4194304 16246674 140737377647904 140172424355056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4060/tid=4063] ppid=4057 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4063/stat : 4063 (toysat) S 4057 4060 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106425474 1337528320 267318 33554432000 4194304 16246674 140737377647904 140172413881520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.19 2.25 2.26 3/183 4064
/proc/meminfo: memFree=28154104/32872528 swapFree=16384/1696552
[pid=4060] ppid=4057 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/4060/stat : 4060 (toysat) R 4057 4060 1166 0 -1 4202496 267624 0 0 0 2513 35 0 0 20 0 4 0 106425474 1337528320 267439 33554432000 4194304 16246674 140737377647904 140737377629824 6021684 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4060/statm: 326545 267439 835 2943 0 323439 0
[pid=4060/tid=4061] ppid=4057 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4061/stat : 4061 (toysat) S 4057 4060 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106425474 1337528320 267439 33554432000 4194304 16246674 140737377647904 140172434844912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4060/tid=4062] ppid=4057 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4062/stat : 4062 (toysat) S 4057 4060 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106425474 1337528320 267439 33554432000 4194304 16246674 140737377647904 140172424355056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4060/tid=4063] ppid=4057 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4063/stat : 4063 (toysat) S 4057 4060 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106425474 1337528320 267439 33554432000 4194304 16246674 140737377647904 140172413881520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.26 2.26 2.26 3/183 4064
/proc/meminfo: memFree=28154232/32872528 swapFree=16384/1696552
[pid=4060] ppid=4057 vsize=1307204 CPUtime=51.09 cores=1,3,5,7
/proc/4060/stat : 4060 (toysat) R 4057 4060 1166 0 -1 4202496 267642 0 0 0 5073 36 0 0 20 0 4 0 106425474 1338576896 267457 33554432000 4194304 16246674 140737377647904 140737377629824 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4060/statm: 326801 267457 835 2943 0 323695 0
[pid=4060/tid=4061] ppid=4057 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4061/stat : 4061 (toysat) S 4057 4060 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106425474 1338576896 267457 33554432000 4194304 16246674 140737377647904 140172434844912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4060/tid=4062] ppid=4057 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4062/stat : 4062 (toysat) S 4057 4060 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106425474 1338576896 267457 33554432000 4194304 16246674 140737377647904 140172424355056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4060/tid=4063] ppid=4057 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4063/stat : 4063 (toysat) S 4057 4060 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106425474 1338576896 267457 33554432000 4194304 16246674 140737377647904 140172413881520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.35 2.28 2.27 3/184 4069
/proc/meminfo: memFree=28152436/32872528 swapFree=16384/1696552
[pid=4060] ppid=4057 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/4060/stat : 4060 (toysat) R 4057 4060 1166 0 -1 4202496 267774 0 0 0 10192 36 0 0 20 0 4 0 106425474 1338576896 267589 33554432000 4194304 16246674 140737377647904 140737377629824 5711518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4060/statm: 326801 267589 835 2943 0 323695 0
[pid=4060/tid=4061] ppid=4057 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4061/stat : 4061 (toysat) S 4057 4060 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106425474 1338576896 267589 33554432000 4194304 16246674 140737377647904 140172434844912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4060/tid=4062] ppid=4057 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4062/stat : 4062 (toysat) S 4057 4060 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106425474 1338576896 267589 33554432000 4194304 16246674 140737377647904 140172424355056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4060/tid=4063] ppid=4057 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4063/stat : 4063 (toysat) S 4057 4060 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106425474 1338576896 267589 33554432000 4194304 16246674 140737377647904 140172413881520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/4060/task/4063/stat : 4063 (toysat) S 4057 4060 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106425474 1339625472 268087 33554432000 4194304 16246674 140737377647904 140172413881520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1308228

[startup+1302.3 s]
/proc/loadavg: 2.36 2.29 2.25 4/183 4147
/proc/meminfo: memFree=28150132/32872528 swapFree=16384/1696552
[pid=4060] ppid=4057 vsize=1309252 CPUtime=1301.87 cores=1,3,5,7
/proc/4060/stat : 4060 (toysat) R 4057 4060 1166 0 -1 4202496 268560 0 0 0 130139 48 0 0 20 0 4 0 106425474 1340674048 268262 33554432000 4194304 16246674 140737377647904 140737377629824 13818349 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4060/statm: 327313 268262 837 2943 0 324207 0
[pid=4060/tid=4061] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4061/stat : 4061 (toysat) S 4057 4060 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268262 33554432000 4194304 16246674 140737377647904 140172434844912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4060/tid=4062] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4062/stat : 4062 (toysat) S 4057 4060 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268262 33554432000 4194304 16246674 140737377647904 140172424355056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4060/tid=4063] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4063/stat : 4063 (toysat) S 4057 4060 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268262 33554432000 4194304 16246674 140737377647904 140172413881520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1309252

[startup+1362.3 s]
/proc/loadavg: 2.26 2.28 2.25 3/183 4149
/proc/meminfo: memFree=28149660/32872528 swapFree=16384/1696552
[pid=4060] ppid=4057 vsize=1309252 CPUtime=1361.84 cores=1,3,5,7
/proc/4060/stat : 4060 (toysat) R 4057 4060 1166 0 -1 4202496 268601 0 0 0 136135 49 0 0 20 0 4 0 106425474 1340674048 268262 33554432000 4194304 16246674 140737377647904 140737377629824 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4060/statm: 327313 268262 837 2943 0 324207 0
[pid=4060/tid=4061] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4061/stat : 4061 (toysat) S 4057 4060 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268262 33554432000 4194304 16246674 140737377647904 140172434844912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4060/tid=4062] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4062/stat : 4062 (toysat) S 4057 4060 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268262 33554432000 4194304 16246674 140737377647904 140172424355056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4060/tid=4063] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4063/stat : 4063 (toysat) S 4057 4060 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268262 33554432000 4194304 16246674 140737377647904 140172413881520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1309252

[startup+1422.3 s]
/proc/loadavg: 2.20 2.26 2.24 3/183 4150
/proc/meminfo: memFree=28148552/32872528 swapFree=16384/1696552
[pid=4060] ppid=4057 vsize=1309252 CPUtime=1421.82 cores=1,3,5,7
/proc/4060/stat : 4060 (toysat) R 4057 4060 1166 0 -1 4202496 268826 0 0 0 142133 49 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140737377629824 6020899 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4060/statm: 327313 268461 837 2943 0 324207 0
[pid=4060/tid=4061] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4061/stat : 4061 (toysat) S 4057 4060 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140172434844912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4060/tid=4062] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4062/stat : 4062 (toysat) S 4057 4060 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140172424355056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4060/tid=4063] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4063/stat : 4063 (toysat) S 4057 4060 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140172413881520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1309252

[startup+1482.3 s]
/proc/loadavg: 2.10 2.22 2.23 3/183 4151
/proc/meminfo: memFree=28148168/32872528 swapFree=16384/1696552
[pid=4060] ppid=4057 vsize=1309252 CPUtime=1481.8 cores=1,3,5,7
/proc/4060/stat : 4060 (toysat) R 4057 4060 1166 0 -1 4202496 268826 0 0 0 148131 49 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140737377629824 13191520 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4060/statm: 327313 268461 837 2943 0 324207 0
[pid=4060/tid=4061] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4061/stat : 4061 (toysat) S 4057 4060 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140172434844912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4060/tid=4062] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4062/stat : 4062 (toysat) S 4057 4060 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140172424355056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4060/tid=4063] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4063/stat : 4063 (toysat) S 4057 4060 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140172413881520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1309252

[startup+1542.31 s]
/proc/loadavg: 2.27 2.24 2.23 3/183 4152
/proc/meminfo: memFree=28148192/32872528 swapFree=16384/1696552
[pid=4060] ppid=4057 vsize=1309252 CPUtime=1541.8 cores=1,3,5,7
/proc/4060/stat : 4060 (toysat) R 4057 4060 1166 0 -1 4202496 268826 0 0 0 154130 50 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140737377629824 13950222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4060/statm: 327313 268461 837 2943 0 324207 0
[pid=4060/tid=4061] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4061/stat : 4061 (toysat) S 4057 4060 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140172434844912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4060/tid=4062] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4062/stat : 4062 (toysat) S 4057 4060 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140172424355056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4060/tid=4063] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4063/stat : 4063 (toysat) S 4057 4060 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140172413881520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1309252

[startup+1602.3 s]
/proc/loadavg: 2.21 2.22 2.22 3/182 4153
/proc/meminfo: memFree=28147984/32872528 swapFree=16384/1696552
[pid=4060] ppid=4057 vsize=1309252 CPUtime=1601.78 cores=1,3,5,7
/proc/4060/stat : 4060 (toysat) R 4057 4060 1166 0 -1 4202496 268826 0 0 0 160128 50 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140737377629824 13760280 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4060/statm: 327313 268461 837 2943 0 324207 0
[pid=4060/tid=4061] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4061/stat : 4061 (toysat) S 4057 4060 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140172434844912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4060/tid=4062] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4062/stat : 4062 (toysat) S 4057 4060 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140172424355056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4060/tid=4063] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4063/stat : 4063 (toysat) S 4057 4060 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140172413881520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1309252

[startup+1662.3 s]
/proc/loadavg: 2.50 2.29 2.24 3/183 4155
/proc/meminfo: memFree=28147632/32872528 swapFree=16384/1696552
[pid=4060] ppid=4057 vsize=1309252 CPUtime=1661.78 cores=1,3,5,7
/proc/4060/stat : 4060 (toysat) R 4057 4060 1166 0 -1 4202496 268826 0 0 0 166127 51 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140737377629824 12415827 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4060/statm: 327313 268461 837 2943 0 324207 0
[pid=4060/tid=4061] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4061/stat : 4061 (toysat) S 4057 4060 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140172434844912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4060/tid=4062] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4062/stat : 4062 (toysat) S 4057 4060 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140172424355056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4060/tid=4063] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4063/stat : 4063 (toysat) S 4057 4060 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140172413881520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1309252

[startup+1722.3 s]
/proc/loadavg: 2.39 2.30 2.25 3/182 4156
/proc/meminfo: memFree=28148168/32872528 swapFree=16384/1696552
[pid=4060] ppid=4057 vsize=1309252 CPUtime=1721.76 cores=1,3,5,7
/proc/4060/stat : 4060 (toysat) R 4057 4060 1166 0 -1 4202496 268826 0 0 0 172125 51 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140737377629824 5545988 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4060/statm: 327313 268461 837 2943 0 324207 0
[pid=4060/tid=4061] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4061/stat : 4061 (toysat) S 4057 4060 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140172434844912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4060/tid=4062] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4062/stat : 4062 (toysat) S 4057 4060 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140172424355056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4060/tid=4063] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4063/stat : 4063 (toysat) S 4057 4060 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140172413881520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1309252

[startup+1782.3 s]
/proc/loadavg: 2.19 2.25 2.24 3/183 4158
/proc/meminfo: memFree=28148168/32872528 swapFree=16384/1696552
[pid=4060] ppid=4057 vsize=1309252 CPUtime=1781.75 cores=1,3,5,7
/proc/4060/stat : 4060 (toysat) R 4057 4060 1166 0 -1 4202496 268826 0 0 0 178124 51 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140737377629824 13923798 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4060/statm: 327313 268461 837 2943 0 324207 0
[pid=4060/tid=4061] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4061/stat : 4061 (toysat) S 4057 4060 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140172434844912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4060/tid=4062] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4062/stat : 4062 (toysat) S 4057 4060 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140172424355056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4060/tid=4063] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4063/stat : 4063 (toysat) S 4057 4060 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140172413881520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1309252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.14 2.24 2.23 3/183 4158
/proc/meminfo: memFree=28148404/32872528 swapFree=16384/1696552
[pid=4060] ppid=4057 vsize=1309252 CPUtime=1800.05 cores=1,3,5,7
/proc/4060/stat : 4060 (toysat) R 4057 4060 1166 0 -1 4202496 268826 0 0 0 179954 51 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140737377629824 5828013 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4060/statm: 327313 268461 837 2943 0 324207 0
[pid=4060/tid=4061] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4061/stat : 4061 (toysat) S 4057 4060 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140172434844912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4060/tid=4062] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4062/stat : 4062 (toysat) S 4057 4060 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140172424355056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4060/tid=4063] ppid=4057 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4060/task/4063/stat : 4063 (toysat) S 4057 4060 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106425474 1340674048 268461 33554432000 4194304 16246674 140737377647904 140172413881520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 4060 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.55
CPU system time (s): 0.516921
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 1309252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.516921
maximum resident set size= 1073844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268826
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= 452
involuntary context switches= 1968

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.56531 second user time and 7.00094 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-06 22:28:44
IDJOB=4079756
IDBENCH=2912
IDSOLVER=2542
FILE ID=node125/4079756-1465244924
RUNJOBID= node125-1465224138-1183
PBS_JOBID= 19843237
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079756-1465244924/watcher-4079756-1465244924 -o /tmp/evaluation-result-4079756-1465244924/solver-4079756-1465244924 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1183 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079756-1465244924.opb

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

MD5SUM BENCH= 0278ee4f163393ac33163ff791a7f96d
RANDOM SEED=1062239220

node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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:        29223800 kB
Buffers:           46552 kB
Cached:           125324 kB
SwapCached:         2016 kB
Active:          1173400 kB
Inactive:          74060 kB
Active(anon):    1076568 kB
Inactive(anon):     1380 kB
Active(file):      96832 kB
Inactive(file):    72680 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098492 kB
Dirty:             16500 kB
Writeback:             0 kB
AnonPages:       2771384 kB
Mapped:            10412 kB
Shmem:                 0 kB
Slab:             568772 kB
SReclaimable:      12456 kB
SUnreclaim:       556316 kB
KernelStack:        1448 kB
PageTables:         9492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2916252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1685504 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= 71712 MiB
End job on node125 at 2016-06-06 22:58:45