Trace number 4103305

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

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-markshare1_1.opb
MD5SUM83e0e1e1c048d12c4488c7f5a723c62c
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark289
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 221
Optimality of the best value was proved NO
Number of variables280
Total number of constraints11
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 constraints11
Minimum length of a constraint11
Maximum length of a constraint130
Number of terms in the objective function 180
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 6442450938
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 6442450938
Number of bits of the biggest sum of numbers33
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-18T09:35:06+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-4103305-1466235306.opb"]
0.00/0.01	c use --random-gen="2116120954 1491322223 4178269 2809409095 4135569473 1459297570 669534354 949545323 1205967965 1609499593 1051463242 1925222090 137158339 2143203931 3952490930 3630196787 48424900 2792802919 3568238439 488019782 1295363432 2374023985 1102103488 3339062774 3763007016 302539613 1553645938 3293628178 497173769 1685306201 3763354897 110478137 2561803893 3732262930 2041258571 670820804 2271417452 1262162850 2481037550 179993927 45445569 4139174547 3038334630 4230967693 3353503970 807293640 2100687879 3269015154 4283346990 3876741804 2090480812 4210061464 1372127626 2033619689 1113056396 1238543882 316323979 2465256042 151610004 616583165 476275341 3864856551 1496254133 709719836 1021519382 46182345 1491138126 184333394 2885586712 1373496892 3435636294 2305491331 1664170548 1369735710 46388537 1775264004 3701505986 2290837811 1373980544 1280376540 4005313214 3930607326 577994919 1453799637 4172853962 2504074162 3674910105 997257728 2188751122 3322598096 2986357973 3397929863 3120841707 2913703496 422629465 3271349563 4045461610 4174750563 761383211 1042867178 190887737 826182696 2732249948 472762268 556878569 1279601275 1163372258 1693404904 1181087139 4100107296 2576501277 1698500188 4007457189 2837105384 2289641994 126210275 1921677020 3561101339 1827504588 48663083 3821552834 2367714333 2748291909 1455585227 3391062960 511666059 3498561570 2261237362 447570735 4138064490 1695602806 158608763 2141044545 2172956954 3375365799 3669036469 3622942714 2628699673 4240293768 1367331620 45341179 2609418123 1879891253 3070775032 3286359947 1782032005 4116040164 2615479280 3856313914 2810598538 265890091 3060716235 4085461406 115697326 1564504814 318656498 1078841542 2198105439 3001143063 2570180177 2276700639 323807200 190503477 1401638505 2229126702 1874122481 2272422645 1992437762 2602563997 901242535 3777394037 824822763 2552083512 2307575484 393195884 1859256946 3543016231 1652273583 3228193157 3763427730 3699415163 1408290740 1608351798 3649302415 3830525639 2061466941 3391492508 637839377 2225657239 443606899 1526336715 3036482933 2766902310 3814038555 900424230 2751773027 3530301678 1550664163 3407660864 3321748773 1474628263 257773903 639324010 134084628 1180616829 3843799556 3774371950 1724951703 3811039348 42600562 1510092915 2538252458 288490557 2172263105 1368427726 169675637 1671770044 1218505706 777838636 2799902809 3034451683 776015693 3678457590 1875983755 3504731838 3111623387 1732598719 1013840585 4133700845 3144331937 3074226737 1816827557 1609852170 3036773488 1298174970 140012588 152918810 1508256022 2523731583 331684141 564772824 2344786832 4058211582 3806685889 1774012458 1828706906 2808392355 382860780 203012355 3791967424 2904414509 2307909443 3102373817 870156249 3973737670 1929720945 255 362436" option to reproduce the execution
0.00/0.01	c #vars 280
0.00/0.01	c #constraints 11
6.09/6.11	c BCD2: Hardening is enabled.
6.09/6.11	c BCD2: BiasedSearch is enabled.
6.09/6.11	c Solving starts ...
6.09/6.11	c ============================[ Search Statistics ]============================
6.09/6.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.09/6.11	c       |         |          |          |    Limit     GC | Var      | Constra 
6.09/6.11	c =============================================================================
6.09/6.11	c  0.0s |       0 |        0 |        0 |       99      0 |       54 |        0
6.09/6.12	c  0.0s |       0 |       31 |        2 |       99      0 |       54 |        0
6.09/6.12	c #cpu_time = 0.002s
6.09/6.12	c #wall_clock_time = 0.002s
6.09/6.12	c #decision = 31
6.09/6.12	c #random_decision = 0
6.09/6.12	c #conflict = 2
6.09/6.12	c #restart = 0
6.09/6.12	o 646286
6.29/6.38	c BCD2: hardening fixes 60 literals
6.29/6.38	c BCD2: updating upper bound: 6442450938 -> 646285
6.49/6.58	c BCD2: 0 <= obj <= 646285
6.49/6.58	c BCD2: #cores=0, #unrelaxed=120, #relaxed=0, #hardened=60
6.49/6.58	c BCD2: #sat=1 #unsat=1 bias=1/2
6.49/6.58	c Solving starts ...
6.49/6.58	c ============================[ Search Statistics ]============================
6.49/6.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.49/6.58	c       |         |          |          |    Limit     GC | Var      | Constra 
6.49/6.58	c =============================================================================
6.49/6.58	c  0.0s |       0 |        0 |        0 |       99      0 |       60 |        0
6.59/6.61	c  0.0s |       1 |      249 |      100 |      109      0 |       60 |        0
6.59/6.64	c  0.1s |       2 |      544 |      250 |      120      0 |       60 |        0
6.59/6.69	c  0.1s |       3 |      921 |      475 |      120      1 |       60 |        0
6.69/6.76	c  0.2s |       4 |     1406 |      813 |      132      3 |       60 |        0
6.79/6.87	c  0.3s |       5 |     2061 |     1320 |      161      6 |       60 |        0
6.98/7.04	c  0.5s |       6 |     2974 |     2081 |      178     10 |       60 |        0
7.18/7.29	c  0.7s |       7 |     4264 |     3223 |      196     15 |       60 |        0
7.58/7.66	c  1.1s |       8 |     6121 |     4936 |      216     23 |       60 |        0
8.19/8.24	c  1.7s |       9 |     8851 |     7506 |      238     35 |       60 |        0
9.09/9.11	c  2.5s |      10 |    12864 |    11361 |      262     51 |       60 |        0
10.39/10.41	c  3.8s |      11 |    18809 |    17144 |      289     75 |       60 |        0
12.39/12.42	c  5.8s |      11 |    27489 |    25644 |      289    108 |       60 |        0
12.39/12.47	c  5.9s |      12 |    27667 |    25819 |      318    109 |       60 |        0
14.40/14.49	c  7.9s |      12 |    36167 |    34119 |      318    139 |       60 |        0
15.60/15.66	c  9.1s |      13 |    40895 |    38832 |      350    157 |       60 |        0
17.59/17.68	c 11.1s |      13 |    49821 |    47532 |      350    187 |       60 |        0
19.59/19.68	c 13.1s |      13 |    58476 |    56132 |      350    218 |       60 |        0
20.09/20.18	c 13.6s |      14 |    60716 |    58352 |      386    225 |       60 |        0
22.10/22.19	c 15.6s |      14 |    69087 |    66552 |      386    252 |       60 |        0
24.19/24.20	c 17.6s |      14 |    77535 |    74952 |      386    280 |       60 |        0
26.19/26.20	c 19.6s |      14 |    85676 |    83052 |      386    307 |       60 |        0
27.29/27.31	c 20.7s |      15 |    90293 |    87632 |      425    322 |       60 |        0
29.29/29.32	c 22.7s |      15 |    99314 |    96432 |      425    349 |       60 |        0
31.29/31.34	c 24.8s |      15 |   108422 |   105432 |      425    377 |       60 |        0
33.29/33.34	c 26.8s |      15 |   117330 |   114232 |      425    404 |       60 |        0
35.29/35.35	c 28.8s |      15 |   126161 |   123032 |      425    432 |       60 |        0
37.29/37.32	c 30.7s |      16 |   134716 |   131552 |      468    458 |       60 |        0
39.29/39.33	c 32.7s |      16 |   143406 |   140052 |      468    483 |       60 |        0
41.29/41.35	c 34.8s |      16 |   152292 |   148852 |      468    508 |       60 |        0
43.29/43.37	c 36.8s |      16 |   161174 |   157652 |      468    534 |       60 |        0
45.29/45.39	c 38.8s |      16 |   169828 |   166252 |      468    559 |       60 |        0
47.39/47.41	c 40.8s |      16 |   178497 |   174852 |      468    583 |       60 |        0
49.38/49.44	c 42.9s |      16 |   186773 |   183052 |      468    607 |       60 |        0
51.38/51.44	c 44.9s |      16 |   195137 |   191352 |      468    632 |       60 |        0
52.78/52.84	c 46.3s |      17 |   201265 |   197432 |      515    649 |       60 |        0
54.78/54.85	c 48.3s |      17 |   210014 |   205932 |      515    673 |       60 |        0
56.78/56.87	c 50.3s |      17 |   218913 |   214732 |      515    697 |       60 |        0
58.78/58.89	c 52.3s |      17 |   227730 |   223432 |      515    721 |       60 |        0
60.88/60.91	c 54.3s |      17 |   236636 |   232232 |      515    745 |       60 |        0
62.89/62.91	c 56.3s |      17 |   245733 |   241232 |      515    770 |       60 |        0
64.88/64.93	c 58.3s |      17 |   255195 |   250532 |      515    795 |       60 |        0
66.88/66.94	c 60.4s |      17 |   264640 |   259832 |      515    821 |       60 |        0
68.88/68.95	c 62.4s |      17 |   273807 |   268832 |      515    845 |       60 |        0
70.88/70.95	c 64.4s |      17 |   283161 |   278032 |      515    871 |       60 |        0
72.88/72.97	c 66.4s |      17 |   292178 |   286932 |      515    895 |       60 |        0
74.88/74.95	c 68.4s |      18 |   301571 |   296252 |      567    920 |       60 |        0
76.88/76.96	c 70.4s |      18 |   310469 |   304952 |      567    943 |       60 |        0
78.88/78.96	c 72.4s |      18 |   318778 |   313152 |      567    964 |       60 |        0
80.87/80.97	c 74.4s |      18 |   327289 |   321552 |      567    985 |       60 |        0
82.87/82.99	c 76.4s |      18 |   336166 |   330352 |      567   1008 |       60 |        0
84.88/84.99	c 78.4s |      18 |   344449 |   338552 |      567   1029 |       60 |        0
86.87/87.00	c 80.4s |      18 |   352932 |   346952 |      567   1051 |       60 |        0
88.97/89.00	c 82.4s |      18 |   360896 |   354852 |      567   1071 |       60 |        0
90.98/91.02	c 84.4s |      18 |   369395 |   363252 |      567   1093 |       60 |        0
92.98/93.03	c 86.4s |      18 |   378020 |   371752 |      567   1115 |       60 |        0
94.98/95.05	c 88.5s |      18 |   386352 |   379952 |      567   1136 |       60 |        0
96.99/97.06	c 90.5s |      18 |   394757 |   388252 |      567   1157 |       60 |        0
98.98/99.07	c 92.5s |      18 |   403957 |   397352 |      567   1181 |       60 |        0
100.98/101.08	c 94.5s |      18 |   412420 |   405752 |      567   1202 |       60 |        0
102.98/103.09	c 96.5s |      18 |   420598 |   413852 |      567   1223 |       60 |        0
105.08/105.10	c 98.5s |      18 |   428970 |   422152 |      567   1245 |       60 |        0
107.08/107.11	c  100s |      18 |   437450 |   430552 |      567   1266 |       60 |        0
109.08/109.13	c  102s |      18 |   445930 |   438952 |      567   1288 |       60 |        0
110.48/110.53	c  103s |      19 |   451504 |   444482 |      624   1301 |       60 |        0
112.48/112.56	c  105s |      19 |   460128 |   452882 |      624   1322 |       60 |        0
114.48/114.56	c  107s |      19 |   468614 |   461282 |      624   1342 |       60 |        0
116.48/116.56	c  109s |      19 |   477408 |   469982 |      624   1363 |       60 |        0
118.47/118.59	c  112s |      19 |   486487 |   478982 |      624   1384 |       60 |        0
120.57/120.60	c  114s |      19 |   495038 |   487482 |      624   1405 |       60 |        0
122.57/122.62	c  116s |      19 |   503724 |   496082 |      624   1425 |       60 |        0
124.57/124.62	c  118s |      19 |   512414 |   504682 |      624   1446 |       60 |        0
126.58/126.64	c  120s |      19 |   520782 |   512982 |      624   1466 |       60 |        0
128.57/128.66	c  122s |      19 |   528850 |   520982 |      624   1485 |       60 |        0
130.57/130.66	c  124s |      19 |   537145 |   529182 |      624   1505 |       60 |        0
132.57/132.67	c  126s |      19 |   545327 |   537282 |      624   1524 |       60 |        0
134.57/134.68	c  128s |      19 |   553206 |   545082 |      624   1543 |       60 |        0
136.58/136.68	c  130s |      19 |   561174 |   552982 |      624   1562 |       60 |        0
138.57/138.69	c  132s |      19 |   569263 |   560982 |      624   1581 |       60 |        0
140.67/140.71	c  134s |      19 |   577493 |   569082 |      624   1601 |       60 |        0
142.67/142.73	c  136s |      19 |   585985 |   577482 |      624   1621 |       60 |        0
144.67/144.75	c  138s |      19 |   594308 |   585682 |      624   1641 |       60 |        0
146.67/146.76	c  140s |      19 |   603115 |   594382 |      624   1661 |       60 |        0
148.67/148.78	c  142s |      19 |   611414 |   602582 |      624   1681 |       60 |        0
150.67/150.78	c  144s |      19 |   619985 |   611082 |      624   1702 |       60 |        0
152.77/152.80	c  146s |      19 |   628470 |   619482 |      624   1722 |       60 |        0
154.77/154.81	c  148s |      19 |   636975 |   627882 |      624   1742 |       60 |        0
156.76/156.83	c  150s |      19 |   645835 |   636582 |      624   1763 |       60 |        0
158.76/158.85	c  152s |      19 |   654111 |   644782 |      624   1783 |       60 |        0
160.77/160.86	c  154s |      19 |   662489 |   653082 |      624   1802 |       60 |        0
162.76/162.87	c  156s |      19 |   670465 |   660982 |      624   1821 |       60 |        0
164.26/164.34	c  157s |      20 |   676365 |   666827 |      687   1835 |       60 |        0
166.27/166.36	c  159s |      20 |   685215 |   675427 |      687   1853 |       60 |        0
168.26/168.36	c  161s |      20 |   693908 |   684027 |      687   1872 |       60 |        0
170.26/170.37	c  163s |      20 |   702410 |   692427 |      687   1891 |       60 |        0
172.26/172.37	c  165s |      20 |   710807 |   700727 |      687   1909 |       60 |        0
174.26/174.38	c  167s |      20 |   719298 |   709127 |      687   1928 |       60 |        0
176.26/176.39	c  169s |      20 |   727395 |   717127 |      687   1945 |       60 |        0
178.27/178.40	c  171s |      20 |   735644 |   725327 |      687   1964 |       60 |        0
180.36/180.40	c  173s |      20 |   743885 |   733527 |      687   1982 |       60 |        0
182.36/182.43	c  175s |      20 |   752031 |   741627 |      687   1999 |       60 |        0
184.36/184.45	c  177s |      20 |   760606 |   750127 |      687   2018 |       60 |        0
186.36/186.46	c  179s |      20 |   769157 |   758627 |      687   2037 |       60 |        0
188.36/188.48	c  181s |      20 |   777213 |   766627 |      687   2054 |       60 |        0
190.36/190.50	c  183s |      20 |   785147 |   774527 |      687   2072 |       60 |        0
192.46/192.51	c  185s |      20 |   792980 |   782327 |      687   2089 |       60 |        0
194.46/194.53	c  187s |      20 |   801018 |   790327 |      687   2107 |       60 |        0
196.46/196.54	c  189s |      20 |   808954 |   798227 |      687   2124 |       60 |        0
198.46/198.55	c  191s |      20 |   816887 |   806127 |      687   2141 |       60 |        0
200.46/200.55	c  193s |      20 |   824622 |   813827 |      687   2159 |       60 |        0
202.46/202.55	c  195s |      20 |   832374 |   821527 |      687   2176 |       60 |        0
204.45/204.58	c  197s |      20 |   840100 |   829227 |      687   2193 |       60 |        0
206.45/206.58	c  199s |      20 |   847824 |   836927 |      687   2210 |       60 |        0
208.55/208.60	c  202s |      20 |   855771 |   844827 |      687   2227 |       60 |        0
210.55/210.63	c  204s |      20 |   863398 |   852427 |      687   2244 |       60 |        0
212.55/212.63	c  206s |      20 |   871651 |   860627 |      687   2262 |       60 |        0
214.56/214.64	c  208s |      20 |   879810 |   868727 |      687   2280 |       60 |        0
216.55/216.64	c  210s |      20 |   888002 |   876827 |      687   2298 |       60 |        0
218.55/218.65	c  212s |      20 |   896190 |   884927 |      687   2316 |       60 |        0
220.55/220.66	c  214s |      20 |   904390 |   893027 |      687   2334 |       60 |        0
222.55/222.67	c  216s |      20 |   912766 |   901327 |      687   2352 |       60 |        0
224.56/224.68	c  218s |      20 |   920938 |   909427 |      687   2370 |       60 |        0
226.55/226.68	c  220s |      20 |   929199 |   917627 |      687   2388 |       60 |        0
228.55/228.69	c  222s |      20 |   937550 |   925927 |      687   2406 |       60 |        0
230.65/230.71	c  224s |      20 |   945635 |   933927 |      687   2424 |       60 |        0
232.65/232.72	c  226s |      20 |   953475 |   941727 |      687   2441 |       60 |        0
234.65/234.74	c  228s |      20 |   961222 |   949427 |      687   2458 |       60 |        0
236.67/236.75	c  230s |      20 |   969261 |   957427 |      687   2476 |       60 |        0
238.66/238.76	c  232s |      20 |   977217 |   965327 |      687   2493 |       60 |        0
240.66/240.79	c  234s |      20 |   985274 |   973327 |      687   2511 |       60 |        0
242.76/242.80	c  236s |      20 |   993038 |   981027 |      687   2528 |       60 |        0
244.76/244.83	c  238s |      20 |  1000892 |   988827 |      687   2545 |       60 |        0
246.76/246.83	c  240s |      20 |  1008649 |   996527 |      756   2562 |       60 |        0
247.76/247.80	c  241s |      21 |  1012496 |  1000345 |      756   2569 |       60 |        0
249.76/249.82	c  243s |      21 |  1020586 |  1008245 |      756   2586 |       60 |        0
251.75/251.85	c  245s |      21 |  1028735 |  1016345 |      756   2602 |       60 |        0
253.75/253.87	c  247s |      21 |  1036673 |  1024245 |      756   2618 |       60 |        0
255.75/255.88	c  249s |      21 |  1044740 |  1032245 |      756   2635 |       60 |        0
257.75/257.88	c  251s |      21 |  1052776 |  1040245 |      756   2651 |       60 |        0
259.76/259.90	c  253s |      21 |  1060414 |  1047845 |      756   2667 |       60 |        0
261.86/261.92	c  255s |      21 |  1068077 |  1055445 |      756   2682 |       60 |        0
263.85/263.93	c  257s |      21 |  1075611 |  1062945 |      756   2698 |       60 |        0
265.85/265.94	c  259s |      21 |  1083264 |  1070545 |      756   2713 |       60 |        0
267.85/267.95	c  261s |      21 |  1091215 |  1078445 |      756   2729 |       60 |        0
269.85/269.96	c  263s |      21 |  1098969 |  1086145 |      756   2745 |       60 |        0
271.86/271.98	c  265s |      21 |  1106835 |  1093945 |      756   2761 |       60 |        0
273.85/274.00	c  267s |      21 |  1114385 |  1101445 |      756   2777 |       60 |        0
275.95/276.01	c  269s |      21 |  1122053 |  1109045 |      756   2792 |       60 |        0
277.95/278.01	c  271s |      21 |  1129509 |  1116445 |      756   2808 |       60 |        0
279.95/280.02	c  273s |      21 |  1136865 |  1123745 |      756   2823 |       60 |        0
281.95/282.03	c  275s |      21 |  1144574 |  1131445 |      756   2839 |       60 |        0
283.95/284.04	c  277s |      21 |  1152395 |  1139245 |      756   2855 |       60 |        0
285.94/286.05	c  279s |      21 |  1160642 |  1147445 |      756   2871 |       60 |        0
287.94/288.05	c  281s |      21 |  1168271 |  1155045 |      756   2887 |       60 |        0
289.94/290.06	c  283s |      21 |  1175720 |  1162445 |      756   2902 |       60 |        0
291.94/292.07	c  285s |      21 |  1183059 |  1169745 |      756   2917 |       60 |        0
293.94/294.07	c  287s |      21 |  1190691 |  1177345 |      756   2933 |       60 |        0
295.95/296.10	c  289s |      21 |  1198525 |  1185145 |      756   2949 |       60 |        0
298.04/298.12	c  291s |      21 |  1205954 |  1192545 |      756   2964 |       60 |        0
300.04/300.13	c  293s |      21 |  1213289 |  1199845 |      756   2979 |       60 |        0
302.04/302.14	c  295s |      21 |  1221045 |  1207545 |      756   2995 |       60 |        0
304.04/304.17	c  297s |      21 |  1228492 |  1214945 |      756   3010 |       60 |        0
306.04/306.19	c  299s |      21 |  1236050 |  1222445 |      756   3025 |       60 |        0
308.05/308.20	c  301s |      21 |  1244438 |  1230745 |      756   3042 |       60 |        0
310.14/310.22	c  303s |      21 |  1252595 |  1238845 |      756   3059 |       60 |        0
312.14/312.22	c  305s |      21 |  1260481 |  1246645 |      756   3075 |       60 |        0
314.14/314.22	c  307s |      21 |  1268547 |  1254645 |      756   3091 |       60 |        0
316.14/316.25	c  309s |      21 |  1276605 |  1262645 |      756   3108 |       60 |        0
318.14/318.25	c  311s |      21 |  1284784 |  1270745 |      756   3124 |       60 |        0
320.14/320.26	c  313s |      21 |  1292756 |  1278645 |      756   3140 |       60 |        0
322.14/322.28	c  315s |      21 |  1300605 |  1286445 |      756   3156 |       60 |        0
324.14/324.28	c  317s |      21 |  1308181 |  1293945 |      756   3172 |       60 |        0
326.14/326.29	c  319s |      21 |  1315560 |  1301245 |      756   3187 |       60 |        0
328.24/328.31	c  321s |      21 |  1322909 |  1308545 |      756   3202 |       60 |        0
330.24/330.32	c  323s |      21 |  1330633 |  1316245 |      756   3218 |       60 |        0
332.24/332.33	c  325s |      21 |  1338169 |  1323745 |      756   3233 |       60 |        0
334.24/334.34	c  327s |      21 |  1345800 |  1331345 |      756   3249 |       60 |        0
336.23/336.35	c  329s |      21 |  1353337 |  1338845 |      756   3264 |       60 |        0
338.23/338.37	c  331s |      21 |  1360676 |  1346145 |      756   3279 |       60 |        0
340.23/340.38	c  333s |      21 |  1367911 |  1353345 |      756   3294 |       60 |        0
342.24/342.38	c  335s |      21 |  1374945 |  1360345 |      756   3308 |       60 |        0
344.23/344.39	c  337s |      21 |  1382178 |  1367545 |      756   3323 |       60 |        0
346.33/346.41	c  339s |      21 |  1389216 |  1374545 |      756   3338 |       60 |        0
348.33/348.41	c  341s |      21 |  1396337 |  1381645 |      756   3352 |       60 |        0
350.33/350.42	c  343s |      21 |  1403760 |  1389045 |      756   3367 |       60 |        0
352.33/352.44	c  345s |      21 |  1411481 |  1396745 |      756   3383 |       60 |        0
354.34/354.45	c  347s |      21 |  1418827 |  1404045 |      756   3398 |       60 |        0
356.34/356.47	c  349s |      21 |  1426374 |  1411545 |      756   3414 |       60 |        0
358.44/358.50	c  351s |      21 |  1434335 |  1419445 |      756   3430 |       60 |        0
360.44/360.50	c  353s |      21 |  1442077 |  1427145 |      756   3446 |       60 |        0
362.44/362.52	c  355s |      21 |  1450128 |  1435145 |      756   3462 |       60 |        0
364.44/364.54	c  357s |      21 |  1458676 |  1443645 |      756   3480 |       60 |        0
366.44/366.56	c  359s |      21 |  1467148 |  1452045 |      756   3497 |       60 |        0
368.44/368.58	c  361s |      21 |  1475400 |  1460245 |      756   3513 |       60 |        0
370.43/370.59	c  364s |      21 |  1483357 |  1468145 |      756   3530 |       60 |        0
372.53/372.60	c  366s |      21 |  1491513 |  1476245 |      756   3546 |       60 |        0
374.53/374.60	c  368s |      21 |  1499167 |  1483845 |      756   3562 |       60 |        0
376.53/376.61	c  370s |      21 |  1506805 |  1491445 |      832   3577 |       60 |        0
378.54/378.62	c  372s |      21 |  1514430 |  1499045 |      832   3592 |       60 |        0
378.93/379.04	c  372s |      22 |  1516020 |  1500622 |      832   3595 |       60 |        0
380.93/381.04	c  374s |      22 |  1523592 |  1508022 |      832   3609 |       60 |        0
382.94/383.04	c  376s |      22 |  1531111 |  1515522 |      832   3623 |       60 |        0
384.93/385.05	c  378s |      22 |  1538858 |  1523222 |      832   3638 |       60 |        0
386.93/387.06	c  380s |      22 |  1546498 |  1530822 |      832   3652 |       60 |        0
388.93/389.09	c  382s |      22 |  1553936 |  1538222 |      832   3666 |       60 |        0
391.03/391.11	c  384s |      22 |  1561460 |  1545722 |      832   3681 |       60 |        0
393.03/393.11	c  386s |      22 |  1569311 |  1553522 |      832   3695 |       60 |        0
395.04/395.14	c  388s |      22 |  1576839 |  1561022 |      832   3710 |       60 |        0
397.03/397.15	c  390s |      22 |  1584387 |  1568522 |      832   3724 |       60 |        0
399.03/399.16	c  392s |      22 |  1592066 |  1576122 |      832   3738 |       60 |        0
401.03/401.17	c  394s |      22 |  1600049 |  1584022 |      832   3753 |       60 |        0
403.03/403.19	c  396s |      22 |  1607702 |  1591622 |      832   3768 |       60 |        0
405.03/405.19	c  398s |      22 |  1615144 |  1599022 |      832   3782 |       60 |        0
407.03/407.20	c  400s |      22 |  1622716 |  1606522 |      832   3796 |       60 |        0
409.13/409.20	c  402s |      22 |  1630093 |  1613822 |      832   3810 |       60 |        0
411.13/411.20	c  404s |      22 |  1637647 |  1621322 |      832   3825 |       60 |        0
413.13/413.21	c  406s |      22 |  1646005 |  1629622 |      832   3840 |       60 |        0
415.12/415.21	c  408s |      22 |  1654131 |  1637722 |      832   3856 |       60 |        0
417.12/417.21	c  410s |      22 |  1662290 |  1645822 |      832   3871 |       60 |        0
419.13/419.24	c  412s |      22 |  1670423 |  1653922 |      832   3887 |       60 |        0
421.13/421.26	c  414s |      22 |  1678660 |  1662122 |      832   3902 |       60 |        0
423.13/423.26	c  416s |      22 |  1686992 |  1670422 |      832   3918 |       60 |        0
425.13/425.27	c  418s |      22 |  1695233 |  1678622 |      832   3934 |       60 |        0
427.13/427.29	c  420s |      22 |  1703585 |  1686922 |      832   3950 |       60 |        0
429.23/429.31	c  422s |      22 |  1711932 |  1695222 |      832   3965 |       60 |        0
431.24/431.32	c  424s |      22 |  1720286 |  1703522 |      832   3981 |       60 |        0
433.23/433.34	c  426s |      22 |  1728117 |  1711322 |      832   3995 |       60 |        0
435.23/435.35	c  428s |      22 |  1736113 |  1719222 |      832   4010 |       60 |        0
437.23/437.35	c  430s |      22 |  1744084 |  1727122 |      832   4025 |       60 |        0
439.23/439.37	c  432s |      22 |  1752541 |  1735522 |      832   4041 |       60 |        0
441.23/441.37	c  434s |      22 |  1760657 |  1743522 |      832   4057 |       60 |        0
443.23/443.39	c  436s |      22 |  1768955 |  1751722 |      832   4072 |       60 |        0
445.33/445.40	c  438s |      22 |  1777039 |  1759722 |      832   4087 |       60 |        0
447.33/447.41	c  440s |      22 |  1785042 |  1767622 |      832   4102 |       60 |        0
449.32/449.42	c  442s |      22 |  1792786 |  1775322 |      832   4117 |       60 |        0
451.32/451.43	c  444s |      22 |  1800585 |  1783022 |      832   4132 |       60 |        0
453.33/453.46	c  446s |      22 |  1808453 |  1790822 |      832   4147 |       60 |        0
455.32/455.48	c  448s |      22 |  1816247 |  1798522 |      832   4161 |       60 |        0
457.32/457.49	c  450s |      22 |  1824014 |  1806222 |      832   4176 |       60 |        0
459.42/459.52	c  452s |      22 |  1831903 |  1814022 |      832   4191 |       60 |        0
461.42/461.53	c  454s |      22 |  1839628 |  1821622 |      832   4206 |       60 |        0
463.42/463.53	c  456s |      22 |  1847202 |  1829122 |      832   4220 |       60 |        0
465.43/465.56	c  458s |      22 |  1854985 |  1836822 |      832   4235 |       60 |        0
467.42/467.59	c  461s |      22 |  1862914 |  1844622 |      832   4250 |       60 |        0
469.52/469.60	c  463s |      22 |  1870695 |  1852322 |      832   4264 |       60 |        0
471.52/471.61	c  465s |      22 |  1878181 |  1859722 |      832   4278 |       60 |        0
473.52/473.63	c  467s |      22 |  1885846 |  1867322 |      832   4293 |       60 |        0
475.52/475.64	c  469s |      22 |  1893402 |  1874822 |      832   4307 |       60 |        0
477.53/477.66	c  471s |      22 |  1901063 |  1882422 |      832   4322 |       60 |        0
479.52/479.68	c  473s |      22 |  1908636 |  1889922 |      832   4336 |       60 |        0
481.62/481.70	c  475s |      22 |  1916385 |  1897622 |      832   4351 |       60 |        0
483.62/483.72	c  477s |      22 |  1924155 |  1905322 |      832   4366 |       60 |        0
485.62/485.75	c  479s |      22 |  1932028 |  1913122 |      832   4381 |       60 |        0
487.62/487.77	c  481s |      22 |  1939874 |  1920922 |      832   4396 |       60 |        0
489.62/489.79	c  483s |      22 |  1947599 |  1928622 |      832   4410 |       60 |        0
491.72/491.81	c  485s |      22 |  1954834 |  1935822 |      832   4424 |       60 |        0
493.71/493.83	c  487s |      22 |  1962272 |  1943222 |      832   4438 |       60 |        0
495.71/495.83	c  489s |      22 |  1969827 |  1950722 |      832   4452 |       60 |        0
497.71/497.84	c  491s |      22 |  1977616 |  1958422 |      832   4467 |       60 |        0
499.71/499.84	c  493s |      22 |  1985300 |  1966022 |      832   4482 |       60 |        0
501.72/501.86	c  495s |      22 |  1993067 |  1973722 |      832   4497 |       60 |        0
503.71/503.86	c  497s |      22 |  2001007 |  1981622 |      832   4512 |       60 |        0
505.71/505.87	c  499s |      22 |  2008854 |  1989422 |      832   4527 |       60 |        0
507.71/507.88	c  501s |      22 |  2016716 |  1997222 |      832   4541 |       60 |        0
509.71/509.89	c  503s |      22 |  2024151 |  2004622 |      832   4556 |       60 |        0
511.81/511.90	c  505s |      22 |  2031783 |  2012222 |      832   4570 |       60 |        0
513.82/513.93	c  507s |      22 |  2039305 |  2019722 |      832   4585 |       60 |        0
515.81/515.95	c  509s |      22 |  2046959 |  2027322 |      832   4599 |       60 |        0
517.81/517.95	c  511s |      22 |  2054915 |  2035222 |      832   4614 |       60 |        0
519.81/519.96	c  513s |      22 |  2062728 |  2043022 |      832   4629 |       60 |        0
521.81/521.99	c  515s |      22 |  2070778 |  2051022 |      832   4645 |       60 |        0
523.91/524.00	c  517s |      22 |  2078653 |  2058822 |      832   4660 |       60 |        0
525.81/526.00	c  519s |      22 |  2086503 |  2066622 |      832   4675 |       60 |        0
527.91/528.02	c  521s |      22 |  2094156 |  2074222 |      832   4689 |       60 |        0
529.90/530.03	c  523s |      22 |  2101407 |  2081422 |      832   4703 |       60 |        0
531.90/532.03	c  525s |      22 |  2108882 |  2088822 |      832   4717 |       60 |        0
533.90/534.05	c  527s |      22 |  2116851 |  2096722 |      832   4732 |       60 |        0
535.91/536.07	c  529s |      22 |  2124517 |  2104322 |      832   4747 |       60 |        0
537.92/538.09	c  531s |      22 |  2132161 |  2111922 |      832   4761 |       60 |        0
539.91/540.09	c  533s |      22 |  2139431 |  2119122 |      832   4775 |       60 |        0
542.01/542.10	c  535s |      22 |  2146828 |  2126422 |      832   4789 |       60 |        0
544.01/544.12	c  537s |      22 |  2154175 |  2133722 |      832   4803 |       60 |        0
546.01/546.15	c  539s |      22 |  2162193 |  2141622 |      832   4818 |       60 |        0
548.01/548.16	c  541s |      22 |  2169962 |  2149322 |      832   4832 |       60 |        0
550.02/550.18	c  543s |      22 |  2178057 |  2157322 |      832   4848 |       60 |        0
552.01/552.19	c  545s |      22 |  2185977 |  2165122 |      832   4862 |       60 |        0
554.11/554.21	c  547s |      22 |  2193945 |  2173022 |      832   4878 |       60 |        0
556.11/556.22	c  549s |      22 |  2201748 |  2180722 |      832   4892 |       60 |        0
558.11/558.23	c  551s |      22 |  2209324 |  2188222 |      832   4907 |       60 |        0
560.11/560.25	c  553s |      22 |  2216603 |  2195422 |      832   4920 |       60 |        0
562.11/562.28	c  555s |      22 |  2224061 |  2202822 |      832   4935 |       60 |        0
564.11/564.29	c  557s |      22 |  2231640 |  2210322 |      832   4949 |       60 |        0
566.11/566.30	c  559s |      22 |  2239452 |  2218022 |      832   4964 |       60 |        0
568.20/568.32	c  561s |      22 |  2247406 |  2225822 |      832   4979 |       60 |        0
570.20/570.34	c  563s |      22 |  2255208 |  2233522 |      832   4993 |       60 |        0
572.20/572.34	c  565s |      22 |  2262466 |  2240722 |      916   5006 |       60 |        0
574.21/574.37	c  567s |      22 |  2269974 |  2248122 |      916   5019 |       60 |        0
574.90/575.04	c  568s |      23 |  2272961 |  2251038 |      916   5025 |       60 |        0
576.90/577.06	c  570s |      23 |  2282184 |  2259838 |      916   5040 |       60 |        0
578.90/579.06	c  572s |      23 |  2291120 |  2268538 |      916   5055 |       60 |        0
580.91/581.08	c  574s |      23 |  2300213 |  2277338 |      916   5071 |       60 |        0
582.90/583.09	c  576s |      23 |  2309066 |  2286038 |      916   5086 |       60 |        0
585.00/585.10	c  578s |      23 |  2318159 |  2294838 |      916   5101 |       60 |        0
587.00/587.12	c  580s |      23 |  2327173 |  2303638 |      916   5117 |       60 |        0
589.00/589.13	c  582s |      23 |  2336220 |  2312438 |      916   5132 |       60 |        0
591.00/591.15	c  584s |      23 |  2344913 |  2320938 |      916   5147 |       60 |        0
593.01/593.15	c  586s |      23 |  2353530 |  2329338 |      916   5162 |       60 |        0
595.00/595.16	c  588s |      23 |  2362150 |  2337738 |      916   5177 |       60 |        0
597.00/597.18	c  590s |      23 |  2370555 |  2346038 |      916   5192 |       60 |        0
599.10/599.20	c  592s |      23 |  2379133 |  2354438 |      916   5206 |       60 |        0
601.10/601.20	c  594s |      23 |  2387640 |  2362738 |      916   5221 |       60 |        0
603.10/603.21	c  596s |      23 |  2396171 |  2371138 |      916   5236 |       60 |        0
605.10/605.24	c  598s |      23 |  2404643 |  2379438 |      916   5251 |       60 |        0
607.10/607.26	c  600s |      23 |  2413223 |  2387838 |      916   5265 |       60 |        0
609.10/609.29	c  602s |      23 |  2421440 |  2395938 |      916   5280 |       60 |        0
611.10/611.29	c  604s |      23 |  2429243 |  2403638 |      916   5293 |       60 |        0
613.19/613.30	c  606s |      23 |  2437588 |  2411838 |      916   5308 |       60 |        0
615.19/615.32	c  608s |      23 |  2446470 |  2420538 |      916   5323 |       60 |        0
617.20/617.33	c  610s |      23 |  2455193 |  2429038 |      916   5338 |       60 |        0
619.19/619.34	c  612s |      23 |  2464076 |  2437638 |      916   5353 |       60 |        0
621.19/621.36	c  614s |      23 |  2472806 |  2446138 |      916   5368 |       60 |        0
623.19/623.37	c  616s |      23 |  2481126 |  2454238 |      916   5383 |       60 |        0
625.19/625.39	c  618s |      23 |  2489696 |  2462638 |      916   5397 |       60 |        0
627.29/627.41	c  620s |      23 |  2498165 |  2470938 |      916   5412 |       60 |        0
629.30/629.42	c  622s |      23 |  2506138 |  2478738 |      916   5426 |       60 |        0
631.29/631.42	c  624s |      23 |  2514253 |  2486738 |      916   5440 |       60 |        0
633.29/633.43	c  626s |      23 |  2522535 |  2494938 |      916   5454 |       60 |        0
635.29/635.43	c  628s |      23 |  2530930 |  2503238 |      916   5468 |       60 |        0
637.29/637.44	c  630s |      23 |  2539193 |  2511338 |      916   5483 |       60 |        0
639.29/639.44	c  632s |      23 |  2547151 |  2519238 |      916   5497 |       60 |        0
641.29/641.45	c  634s |      23 |  2555326 |  2527338 |      916   5511 |       60 |        0
643.29/643.46	c  636s |      23 |  2563538 |  2535438 |      916   5525 |       60 |        0
645.29/645.48	c  638s |      23 |  2571732 |  2543538 |      916   5539 |       60 |        0
647.29/647.48	c  640s |      23 |  2579619 |  2551338 |      916   5553 |       60 |        0
649.29/649.49	c  642s |      23 |  2588117 |  2559638 |      916   5567 |       60 |        0
651.40/651.50	c  644s |      23 |  2596304 |  2567738 |      916   5582 |       60 |        0
653.40/653.52	c  646s |      23 |  2604299 |  2575638 |      916   5596 |       60 |        0
655.39/655.54	c  648s |      23 |  2612199 |  2583438 |      916   5610 |       60 |        0
657.39/657.55	c  650s |      23 |  2620128 |  2591238 |      916   5623 |       60 |        0
659.39/659.55	c  652s |      23 |  2627809 |  2598838 |      916   5637 |       60 |        0
661.39/661.56	c  654s |      23 |  2635409 |  2606338 |      916   5650 |       60 |        0
663.40/663.58	c  656s |      23 |  2643228 |  2614038 |      916   5664 |       60 |        0
665.39/665.59	c  659s |      23 |  2650826 |  2621538 |      916   5677 |       60 |        0
667.49/667.61	c  661s |      23 |  2658360 |  2628938 |      916   5690 |       60 |        0
669.49/669.62	c  663s |      23 |  2666459 |  2636838 |      916   5704 |       60 |        0
671.49/671.64	c  665s |      23 |  2674414 |  2644638 |      916   5718 |       60 |        0
673.49/673.66	c  667s |      23 |  2682123 |  2652238 |      916   5732 |       60 |        0
675.50/675.67	c  669s |      23 |  2689953 |  2659938 |      916   5745 |       60 |        0
677.49/677.67	c  671s |      23 |  2697861 |  2667738 |      916   5759 |       60 |        0
679.49/679.67	c  673s |      23 |  2705354 |  2675138 |      916   5772 |       60 |        0
681.49/681.68	c  675s |      23 |  2713075 |  2682738 |      916   5785 |       60 |        0
683.59/683.70	c  677s |      23 |  2720470 |  2690038 |      916   5798 |       60 |        0
685.59/685.71	c  679s |      23 |  2727969 |  2697438 |      916   5811 |       60 |        0
687.59/687.72	c  681s |      23 |  2735174 |  2704538 |      916   5824 |       60 |        0
689.59/689.73	c  683s |      23 |  2742649 |  2711938 |      916   5837 |       60 |        0
691.59/691.74	c  685s |      23 |  2750466 |  2719638 |      916   5851 |       60 |        0
693.59/693.74	c  687s |      23 |  2758331 |  2727338 |      916   5864 |       60 |        0
695.58/695.74	c  689s |      23 |  2765624 |  2734538 |      916   5877 |       60 |        0
697.58/697.75	c  691s |      23 |  2772995 |  2741838 |      916   5890 |       60 |        0
699.59/699.76	c  693s |      23 |  2780374 |  2749138 |      916   5903 |       60 |        0
701.58/701.79	c  695s |      23 |  2787779 |  2756438 |      916   5916 |       60 |        0
703.58/703.79	c  697s |      23 |  2795062 |  2763638 |      916   5929 |       60 |        0
705.68/705.81	c  699s |      23 |  2802644 |  2771038 |      916   5942 |       60 |        0
707.68/707.82	c  701s |      23 |  2810751 |  2779038 |      916   5956 |       60 |        0
709.68/709.83	c  703s |      23 |  2818684 |  2786838 |      916   5970 |       60 |        0
711.69/711.83	c  705s |      23 |  2826805 |  2794838 |      916   5984 |       60 |        0
713.68/713.84	c  707s |      23 |  2834888 |  2802838 |      916   5998 |       60 |        0
715.68/715.86	c  709s |      23 |  2843011 |  2810838 |      916   6012 |       60 |        0
717.68/717.87	c  711s |      23 |  2851475 |  2819138 |      916   6027 |       60 |        0
719.68/719.87	c  713s |      23 |  2859941 |  2827438 |      916   6041 |       60 |        0
721.68/721.88	c  715s |      23 |  2867919 |  2835238 |      916   6055 |       60 |        0
723.68/723.88	c  717s |      23 |  2875663 |  2842838 |      916   6069 |       60 |        0
725.68/725.88	c  719s |      23 |  2883814 |  2850838 |      916   6083 |       60 |        0
727.68/727.89	c  721s |      23 |  2891957 |  2858838 |      916   6097 |       60 |        0
729.78/729.90	c  723s |      23 |  2899513 |  2866338 |      916   6110 |       60 |        0
731.77/731.91	c  725s |      23 |  2907257 |  2873938 |      916   6124 |       60 |        0
733.78/733.93	c  727s |      23 |  2914992 |  2881538 |      916   6137 |       60 |        0
735.77/735.95	c  729s |      23 |  2922493 |  2888938 |      916   6150 |       60 |        0
737.77/737.97	c  731s |      23 |  2929890 |  2896238 |      916   6163 |       60 |        0
739.77/739.97	c  733s |      23 |  2937293 |  2903538 |      916   6176 |       60 |        0
741.77/741.99	c  735s |      23 |  2944975 |  2911138 |      916   6189 |       60 |        0
743.87/744.01	c  737s |      23 |  2952660 |  2918738 |      916   6203 |       60 |        0
745.88/746.03	c  739s |      23 |  2960215 |  2926238 |      916   6216 |       60 |        0
747.87/748.05	c  741s |      23 |  2968222 |  2934138 |      916   6230 |       60 |        0
749.87/750.07	c  743s |      23 |  2975942 |  2941738 |      916   6243 |       60 |        0
751.87/752.07	c  745s |      23 |  2983820 |  2949438 |      916   6257 |       60 |        0
753.98/754.10	c  747s |      23 |  2991631 |  2957138 |      916   6271 |       60 |        0
755.98/756.10	c  749s |      23 |  2999118 |  2964538 |      916   6284 |       60 |        0
757.98/758.11	c  751s |      23 |  3006484 |  2971838 |      916   6297 |       60 |        0
759.98/760.13	c  753s |      23 |  3013861 |  2979138 |      916   6310 |       60 |        0
761.98/762.16	c  755s |      23 |  3021378 |  2986538 |      916   6323 |       60 |        0
763.98/764.17	c  757s |      23 |  3028682 |  2993738 |      916   6336 |       60 |        0
765.98/766.19	c  759s |      23 |  3036736 |  3001638 |      916   6350 |       60 |        0
768.08/768.20	c  761s |      23 |  3044435 |  3009238 |      916   6363 |       60 |        0
769.98/770.20	c  763s |      23 |  3051951 |  3016638 |      916   6376 |       60 |        0
772.07/772.21	c  765s |      23 |  3059242 |  3023838 |      916   6389 |       60 |        0
774.07/774.24	c  767s |      23 |  3066997 |  3031438 |      916   6402 |       60 |        0
776.07/776.24	c  769s |      23 |  3074697 |  3039038 |      916   6416 |       60 |        0
778.07/778.26	c  771s |      23 |  3082641 |  3046838 |      916   6430 |       60 |        0
780.07/780.28	c  773s |      23 |  3090571 |  3054638 |      916   6443 |       60 |        0
782.08/782.30	c  775s |      23 |  3098291 |  3062238 |      916   6457 |       60 |        0
784.17/784.31	c  777s |      23 |  3105986 |  3069838 |      916   6470 |       60 |        0
786.17/786.33	c  779s |      23 |  3113754 |  3077438 |      916   6484 |       60 |        0
788.17/788.33	c  781s |      23 |  3121470 |  3085038 |      916   6497 |       60 |        0
790.17/790.34	c  783s |      23 |  3129527 |  3092938 |      916   6511 |       60 |        0
792.16/792.36	c  785s |      23 |  3137368 |  3100638 |      916   6525 |       60 |        0
794.17/794.38	c  787s |      23 |  3144760 |  3107938 |      916   6538 |       60 |        0
796.26/796.41	c  789s |      23 |  3152326 |  3115438 |      916   6551 |       60 |        0
798.26/798.41	c  791s |      23 |  3160133 |  3123138 |      916   6564 |       60 |        0
800.26/800.44	c  793s |      23 |  3168126 |  3131038 |      916   6578 |       60 |        0
802.26/802.45	c  795s |      23 |  3175811 |  3138638 |      916   6592 |       60 |        0
804.26/804.46	c  797s |      23 |  3183208 |  3145938 |      916   6605 |       60 |        0
806.27/806.47	c  799s |      23 |  3191297 |  3153838 |      916   6619 |       60 |        0
808.26/808.49	c  801s |      23 |  3199243 |  3161638 |      916   6632 |       60 |        0
810.36/810.51	c  803s |      23 |  3206940 |  3169238 |      916   6646 |       60 |        0
812.35/812.52	c  805s |      23 |  3214677 |  3176838 |      916   6659 |       60 |        0
814.35/814.54	c  807s |      23 |  3222204 |  3184238 |      916   6672 |       60 |        0
816.35/816.55	c  809s |      23 |  3229393 |  3191338 |      916   6685 |       60 |        0
818.36/818.57	c  811s |      23 |  3236482 |  3198338 |      916   6697 |       60 |        0
820.35/820.59	c  814s |      23 |  3243956 |  3205738 |      916   6711 |       60 |        0
822.35/822.59	c  816s |      23 |  3251252 |  3212938 |      916   6723 |       60 |        0
824.45/824.61	c  818s |      23 |  3258642 |  3220238 |      916   6736 |       60 |        0
826.45/826.64	c  820s |      23 |  3266313 |  3227738 |      916   6750 |       60 |        0
828.45/828.65	c  822s |      23 |  3273466 |  3234838 |      916   6762 |       60 |        0
830.45/830.66	c  824s |      23 |  3280952 |  3242238 |      916   6775 |       60 |        0
832.44/832.66	c  826s |      23 |  3288323 |  3249538 |      916   6788 |       60 |        0
834.44/834.68	c  828s |      23 |  3295730 |  3256838 |      916   6801 |       60 |        0
836.54/836.70	c  830s |      23 |  3303023 |  3264038 |      916   6814 |       60 |        0
838.54/838.73	c  832s |      23 |  3310110 |  3271038 |      916   6827 |       60 |        0
840.54/840.77	c  834s |      23 |  3317182 |  3278038 |      916   6839 |       60 |        0
842.55/842.77	c  836s |      23 |  3323934 |  3284738 |      916   6851 |       60 |        0
844.54/844.77	c  838s |      23 |  3330705 |  3291438 |      916   6863 |       60 |        0
846.54/846.78	c  840s |      23 |  3337885 |  3298538 |      916   6876 |       60 |        0
848.54/848.79	c  842s |      23 |  3344753 |  3305338 |      916   6888 |       60 |        0
850.64/850.80	c  844s |      23 |  3351422 |  3311938 |      916   6899 |       60 |        0
852.63/852.82	c  846s |      23 |  3358090 |  3318538 |      916   6911 |       60 |        0
854.64/854.84	c  848s |      23 |  3364973 |  3325338 |      916   6923 |       60 |        0
856.63/856.86	c  850s |      23 |  3372178 |  3332438 |      916   6936 |       60 |        0
858.63/858.86	c  852s |      23 |  3379937 |  3340138 |      916   6950 |       60 |        0
860.63/860.87	c  854s |      23 |  3387415 |  3347538 |      916   6963 |       60 |        0
862.63/862.87	c  856s |      23 |  3395204 |  3355238 |     1008   6976 |       60 |        0
864.63/864.89	c  858s |      23 |  3402879 |  3362838 |     1008   6988 |       60 |        0
866.74/866.91	c  860s |      23 |  3410213 |  3370138 |     1008   7000 |       60 |        0
868.44/868.68	c  862s |      24 |  3416774 |  3376662 |     1008   7011 |       60 |        0
870.54/870.71	c  864s |      24 |  3423865 |  3383562 |     1008   7022 |       60 |        0
872.53/872.73	c  866s |      24 |  3430968 |  3390662 |     1008   7034 |       60 |        0
874.54/874.75	c  868s |      24 |  3437985 |  3397662 |     1008   7045 |       60 |        0
876.53/876.76	c  870s |      24 |  3445091 |  3404762 |     1008   7057 |       60 |        0
878.53/878.77	c  872s |      24 |  3452228 |  3411862 |     1008   7068 |       60 |        0
880.53/880.79	c  874s |      24 |  3459462 |  3419062 |     1008   7080 |       60 |        0
882.62/882.81	c  876s |      24 |  3467118 |  3426662 |     1008   7092 |       60 |        0
884.62/884.81	c  878s |      24 |  3475083 |  3434562 |     1008   7105 |       60 |        0
886.63/886.83	c  880s |      24 |  3482621 |  3442062 |     1008   7117 |       60 |        0
888.62/888.83	c  882s |      24 |  3489842 |  3449262 |     1008   7129 |       60 |        0
890.62/890.86	c  884s |      24 |  3496863 |  3456262 |     1008   7141 |       60 |        0
892.62/892.88	c  886s |      24 |  3503785 |  3463162 |     1008   7152 |       60 |        0
894.62/894.88	c  888s |      24 |  3510920 |  3470262 |     1008   7163 |       60 |        0
896.72/896.90	c  890s |      24 |  3518076 |  3477362 |     1008   7175 |       60 |        0
898.72/898.92	c  892s |      24 |  3525099 |  3484362 |     1008   7186 |       60 |        0
900.71/900.93	c  894s |      24 |  3532442 |  3491662 |     1008   7198 |       60 |        0
902.71/902.94	c  896s |      24 |  3539787 |  3498962 |     1008   7210 |       60 |        0
904.71/904.95	c  898s |      24 |  3547131 |  3506262 |     1008   7222 |       60 |        0
906.71/906.96	c  900s |      24 |  3554469 |  3513562 |     1008   7234 |       60 |        0
908.71/908.97	c  902s |      24 |  3561811 |  3520862 |     1008   7246 |       60 |        0
910.72/910.97	c  904s |      24 |  3569445 |  3528462 |     1008   7258 |       60 |        0
912.70/912.98	c  906s |      24 |  3576689 |  3535662 |     1008   7270 |       60 |        0
914.80/915.00	c  908s |      24 |  3584485 |  3543362 |     1008   7283 |       60 |        0
916.80/917.02	c  910s |      24 |  3592227 |  3551062 |     1008   7295 |       60 |        0
918.80/919.02	c  912s |      24 |  3599453 |  3558262 |     1008   7307 |       60 |        0
920.80/921.03	c  914s |      24 |  3606991 |  3565762 |     1008   7319 |       60 |        0
922.81/923.06	c  916s |      24 |  3614924 |  3573662 |     1008   7332 |       60 |        0
924.80/925.08	c  918s |      24 |  3622152 |  3580862 |     1008   7344 |       60 |        0
926.80/927.09	c  920s |      24 |  3629472 |  3588162 |     1008   7356 |       60 |        0
928.90/929.11	c  922s |      24 |  3637202 |  3595862 |     1008   7368 |       60 |        0
930.89/931.13	c  924s |      24 |  3644724 |  3603362 |     1008   7381 |       60 |        0
932.89/933.15	c  926s |      24 |  3652274 |  3610862 |     1008   7393 |       60 |        0
934.90/935.15	c  928s |      24 |  3659624 |  3618162 |     1008   7405 |       60 |        0
936.89/937.17	c  930s |      24 |  3666858 |  3625362 |     1008   7417 |       60 |        0
938.89/939.17	c  932s |      24 |  3674195 |  3632662 |     1008   7429 |       60 |        0
940.89/941.18	c  934s |      24 |  3681714 |  3640162 |     1008   7441 |       60 |        0
942.99/943.20	c  936s |      24 |  3688946 |  3647362 |     1008   7453 |       60 |        0
944.99/945.22	c  938s |      24 |  3696604 |  3654962 |     1008   7465 |       60 |        0
946.99/947.24	c  940s |      24 |  3703633 |  3661962 |     1008   7477 |       60 |        0
948.98/949.26	c  942s |      24 |  3711110 |  3669362 |     1008   7489 |       60 |        0
950.98/951.28	c  944s |      24 |  3718264 |  3676462 |     1008   7500 |       60 |        0
952.98/953.28	c  946s |      24 |  3725434 |  3683562 |     1008   7512 |       60 |        0
955.08/955.30	c  948s |      24 |  3733269 |  3691362 |     1008   7525 |       60 |        0
957.08/957.31	c  950s |      24 |  3740694 |  3698762 |     1008   7537 |       60 |        0
959.10/959.32	c  952s |      24 |  3747827 |  3705862 |     1008   7548 |       60 |        0
961.09/961.33	c  954s |      24 |  3755553 |  3713562 |     1008   7561 |       60 |        0
963.09/963.34	c  956s |      24 |  3762983 |  3720962 |     1008   7573 |       60 |        0
965.09/965.36	c  958s |      24 |  3770310 |  3728262 |     1008   7585 |       60 |        0
967.09/967.37	c  960s |      24 |  3777647 |  3735562 |     1008   7597 |       60 |        0
969.09/969.39	c  962s |      24 |  3785389 |  3743262 |     1008   7609 |       60 |        0
971.19/971.41	c  964s |      24 |  3792915 |  3750762 |     1008   7622 |       60 |        0
973.18/973.43	c  966s |      24 |  3800676 |  3758462 |     1008   7634 |       60 |        0
975.18/975.43	c  968s |      24 |  3808020 |  3765762 |     1008   7646 |       60 |        0
977.18/977.44	c  970s |      24 |  3815663 |  3773362 |     1008   7659 |       60 |        0
979.18/979.45	c  972s |      24 |  3823201 |  3780862 |     1008   7671 |       60 |        0
981.18/981.46	c  974s |      24 |  3830836 |  3788462 |     1008   7683 |       60 |        0
983.18/983.47	c  976s |      24 |  3838390 |  3795962 |     1008   7695 |       60 |        0
985.28/985.50	c  978s |      24 |  3845915 |  3803462 |     1008   7708 |       60 |        0
987.27/987.50	c  980s |      24 |  3853353 |  3810862 |     1008   7720 |       60 |        0
989.27/989.51	c  982s |      24 |  3860602 |  3818062 |     1008   7732 |       60 |        0
991.27/991.52	c  984s |      24 |  3867636 |  3825062 |     1008   7743 |       60 |        0
993.28/993.53	c  986s |      24 |  3874871 |  3832262 |     1008   7755 |       60 |        0
995.27/995.53	c  988s |      24 |  3882111 |  3839462 |     1008   7767 |       60 |        0
997.27/997.55	c  990s |      24 |  3889665 |  3846962 |     1008   7779 |       60 |        0
999.27/999.55	c  992s |      24 |  3897199 |  3854462 |     1008   7791 |       60 |        0
1001.27/1001.57	c  994s |      24 |  3904533 |  3861762 |     1008   7803 |       60 |        0
1003.27/1003.58	c  996s |      24 |  3912268 |  3869462 |     1008   7816 |       60 |        0
1005.27/1005.59	c  999s |      24 |  3920006 |  3877162 |     1008   7828 |       60 |        0
1007.37/1007.60	c 1001s |      24 |  3927428 |  3884562 |     1008   7840 |       60 |        0
1009.37/1009.61	c 1003s |      24 |  3934954 |  3892062 |     1008   7853 |       60 |        0
1011.36/1011.61	c 1005s |      24 |  3942587 |  3899662 |     1008   7865 |       60 |        0
1013.36/1013.62	c 1007s |      24 |  3950532 |  3907562 |     1008   7878 |       60 |        0
1015.36/1015.64	c 1009s |      24 |  3958468 |  3915462 |     1008   7891 |       60 |        0
1017.37/1017.64	c 1011s |      24 |  3966115 |  3923062 |     1008   7903 |       60 |        0
1019.36/1019.66	c 1013s |      24 |  3973545 |  3930462 |     1008   7915 |       60 |        0
1021.36/1021.67	c 1015s |      24 |  3980894 |  3937762 |     1008   7927 |       60 |        0
1023.36/1023.68	c 1017s |      24 |  3988335 |  3945162 |     1008   7940 |       60 |        0
1025.36/1025.69	c 1019s |      24 |  3995457 |  3952262 |     1008   7951 |       60 |        0
1027.46/1027.70	c 1021s |      24 |  4002985 |  3959762 |     1008   7963 |       60 |        0
1029.46/1029.72	c 1023s |      24 |  4010711 |  3967462 |     1008   7976 |       60 |        0
1031.45/1031.74	c 1025s |      24 |  4018347 |  3975062 |     1008   7989 |       60 |        0
1033.45/1033.74	c 1027s |      24 |  4025987 |  3982662 |     1008   8001 |       60 |        0
1035.45/1035.74	c 1029s |      24 |  4033535 |  3990162 |     1008   8013 |       60 |        0
1037.45/1037.74	c 1031s |      24 |  4041068 |  3997662 |     1008   8025 |       60 |        0
1039.46/1039.75	c 1033s |      24 |  4049024 |  4005562 |     1008   8038 |       60 |        0
1041.45/1041.77	c 1035s |      24 |  4057182 |  4013662 |     1008   8052 |       60 |        0
1043.45/1043.79	c 1037s |      24 |  4065134 |  4021562 |     1008   8065 |       60 |        0
1045.45/1045.80	c 1039s |      24 |  4073016 |  4029362 |     1008   8077 |       60 |        0
1047.54/1047.80	c 1041s |      24 |  4081054 |  4037362 |     1008   8090 |       60 |        0
1049.54/1049.82	c 1043s |      24 |  4088620 |  4044862 |     1008   8103 |       60 |        0
1051.55/1051.83	c 1045s |      24 |  4096312 |  4052462 |     1008   8115 |       60 |        0
1053.54/1053.85	c 1047s |      24 |  4104120 |  4060162 |     1008   8128 |       60 |        0
1055.54/1055.87	c 1049s |      24 |  4111630 |  4067562 |     1008   8140 |       60 |        0
1057.54/1057.89	c 1051s |      24 |  4119087 |  4074962 |     1008   8152 |       60 |        0
1059.54/1059.89	c 1053s |      24 |  4126441 |  4082262 |     1008   8164 |       60 |        0
1061.63/1061.91	c 1055s |      24 |  4133796 |  4089562 |     1008   8176 |       60 |        0
1063.64/1063.92	c 1057s |      24 |  4141063 |  4096762 |     1008   8188 |       60 |        0
1065.63/1065.94	c 1059s |      24 |  4148008 |  4103662 |     1008   8199 |       60 |        0
1067.63/1067.97	c 1061s |      24 |  4155159 |  4110762 |     1008   8211 |       60 |        0
1069.63/1069.98	c 1063s |      24 |  4162215 |  4117762 |     1008   8222 |       60 |        0
1071.74/1072.01	c 1065s |      24 |  4169146 |  4124662 |     1008   8234 |       60 |        0
1073.74/1074.03	c 1067s |      24 |  4176188 |  4131662 |     1008   8245 |       60 |        0
1075.74/1076.04	c 1069s |      24 |  4182913 |  4138362 |     1008   8256 |       60 |        0
1077.73/1078.07	c 1071s |      24 |  4189668 |  4145062 |     1008   8267 |       60 |        0
1079.73/1080.07	c 1073s |      24 |  4196113 |  4151462 |     1008   8277 |       60 |        0
1081.83/1082.11	c 1075s |      24 |  4202151 |  4157462 |     1008   8287 |       60 |        0
1083.83/1084.11	c 1077s |      24 |  4207996 |  4163262 |     1008   8297 |       60 |        0
1085.83/1086.12	c 1079s |      24 |  4214235 |  4169462 |     1008   8307 |       60 |        0
1087.83/1088.13	c 1081s |      24 |  4220398 |  4175562 |     1008   8317 |       60 |        0
1089.83/1090.15	c 1083s |      24 |  4226737 |  4181862 |     1008   8327 |       60 |        0
1091.82/1092.18	c 1085s |      24 |  4232788 |  4187862 |     1008   8337 |       60 |        0
1093.82/1094.19	c 1087s |      24 |  4239054 |  4194062 |     1008   8347 |       60 |        0
1095.92/1096.22	c 1089s |      24 |  4245309 |  4200262 |     1008   8358 |       60 |        0
1097.92/1098.23	c 1091s |      24 |  4251457 |  4206362 |     1008   8368 |       60 |        0
1099.93/1100.24	c 1093s |      24 |  4258001 |  4212862 |     1008   8378 |       60 |        0
1101.92/1102.27	c 1095s |      24 |  4264441 |  4219262 |     1008   8389 |       60 |        0
1104.02/1104.30	c 1097s |      24 |  4271085 |  4225862 |     1008   8400 |       60 |        0
1106.01/1106.32	c 1099s |      24 |  4277624 |  4232362 |     1008   8410 |       60 |        0
1108.01/1108.33	c 1101s |      24 |  4284181 |  4238862 |     1008   8421 |       60 |        0
1110.01/1110.36	c 1103s |      24 |  4290550 |  4245162 |     1008   8431 |       60 |        0
1112.02/1112.36	c 1105s |      24 |  4296697 |  4251262 |     1008   8441 |       60 |        0
1114.01/1114.36	c 1107s |      24 |  4303135 |  4257662 |     1008   8452 |       60 |        0
1116.01/1116.38	c 1109s |      24 |  4309386 |  4263862 |     1008   8462 |       60 |        0
1118.11/1118.42	c 1111s |      24 |  4315740 |  4270162 |     1008   8473 |       60 |        0
1120.11/1120.43	c 1113s |      24 |  4322275 |  4276662 |     1008   8483 |       60 |        0
1122.11/1122.45	c 1115s |      24 |  4328827 |  4283162 |     1008   8494 |       60 |        0
1124.11/1124.48	c 1117s |      24 |  4334856 |  4289162 |     1008   8504 |       60 |        0
1126.21/1126.51	c 1119s |      24 |  4340899 |  4295162 |     1008   8514 |       60 |        0
1128.21/1128.52	c 1121s |      24 |  4347261 |  4301462 |     1008   8524 |       60 |        0
1130.21/1130.54	c 1123s |      24 |  4353513 |  4307662 |     1008   8534 |       60 |        0
1132.20/1132.55	c 1125s |      24 |  4359361 |  4313462 |     1008   8544 |       60 |        0
1134.20/1134.56	c 1127s |      24 |  4365431 |  4319462 |     1008   8554 |       60 |        0
1136.21/1136.56	c 1129s |      24 |  4371475 |  4325462 |     1008   8563 |       60 |        0
1138.20/1138.59	c 1132s |      24 |  4377224 |  4331162 |     1008   8573 |       60 |        0
1140.20/1140.59	c 1134s |      24 |  4383175 |  4337062 |     1008   8583 |       60 |        0
1142.29/1142.60	c 1136s |      24 |  4389113 |  4342962 |     1008   8592 |       60 |        0
1144.29/1144.62	c 1138s |      24 |  4395377 |  4349162 |     1008   8603 |       60 |        0
1146.29/1146.65	c 1140s |      24 |  4401816 |  4355562 |     1008   8613 |       60 |        0
1148.30/1148.68	c 1142s |      24 |  4408079 |  4361762 |     1008   8623 |       60 |        0
1150.29/1150.68	c 1144s |      24 |  4414423 |  4368062 |     1008   8634 |       60 |        0
1152.29/1152.69	c 1146s |      24 |  4420560 |  4374162 |     1008   8644 |       60 |        0
1154.29/1154.69	c 1148s |      24 |  4427204 |  4380762 |     1008   8654 |       60 |        0
1156.39/1156.70	c 1150s |      24 |  4433555 |  4387062 |     1008   8665 |       60 |        0
1158.39/1158.71	c 1152s |      24 |  4440354 |  4393762 |     1008   8676 |       60 |        0
1160.39/1160.74	c 1154s |      24 |  4447725 |  4401062 |     1008   8688 |       60 |        0
1162.38/1162.75	c 1156s |      24 |  4453862 |  4407162 |     1008   8698 |       60 |        0
1164.38/1164.77	c 1158s |      24 |  4460120 |  4413362 |     1008   8708 |       60 |        0
1166.38/1166.79	c 1160s |      24 |  4466481 |  4419662 |     1008   8719 |       60 |        0
1168.38/1168.80	c 1162s |      24 |  4472936 |  4426062 |     1008   8729 |       60 |        0
1170.48/1170.81	c 1164s |      24 |  4479164 |  4432262 |     1008   8739 |       60 |        0
1172.48/1172.83	c 1166s |      24 |  4485702 |  4438762 |     1008   8750 |       60 |        0
1174.48/1174.84	c 1168s |      24 |  4492344 |  4445362 |     1008   8761 |       60 |        0
1176.47/1176.86	c 1170s |      24 |  4499117 |  4452062 |     1008   8772 |       60 |        0
1178.47/1178.88	c 1172s |      24 |  4505459 |  4458362 |     1008   8782 |       60 |        0
1180.47/1180.89	c 1174s |      24 |  4511903 |  4464762 |     1008   8793 |       60 |        0
1182.47/1182.89	c 1176s |      24 |  4518251 |  4471062 |     1008   8803 |       60 |        0
1184.48/1184.89	c 1178s |      24 |  4524999 |  4477762 |     1008   8814 |       60 |        0
1186.47/1186.89	c 1180s |      24 |  4532235 |  4484962 |     1008   8826 |       60 |        0
1188.57/1188.90	c 1182s |      24 |  4539263 |  4491962 |     1008   8838 |       60 |        0
1190.57/1190.93	c 1184s |      24 |  4546342 |  4498962 |     1008   8849 |       60 |        0
1192.56/1192.94	c 1186s |      24 |  4552788 |  4505362 |     1008   8860 |       60 |        0
1194.56/1194.96	c 1188s |      24 |  4559434 |  4511962 |     1008   8870 |       60 |        0
1196.57/1196.99	c 1190s |      24 |  4566094 |  4518562 |     1008   8881 |       60 |        0
1198.56/1198.99	c 1192s |      24 |  4572764 |  4525162 |     1008   8892 |       60 |        0
1200.66/1201.01	c 1194s |      24 |  4579424 |  4531762 |     1008   8903 |       60 |        0
1202.66/1203.03	c 1196s |      24 |  4585994 |  4538262 |     1008   8914 |       60 |        0
1204.66/1205.07	c 1198s |      24 |  4592568 |  4544762 |     1008   8925 |       60 |        0
1206.66/1207.07	c 1200s |      24 |  4598996 |  4551162 |     1008   8935 |       60 |        0
1208.67/1209.08	c 1202s |      24 |  4605435 |  4557562 |     1008   8946 |       60 |        0
1210.77/1211.11	c 1204s |      24 |  4611813 |  4563862 |     1008   8956 |       60 |        0
1212.76/1213.12	c 1206s |      24 |  4618158 |  4570162 |     1008   8966 |       60 |        0
1214.76/1215.13	c 1208s |      24 |  4624686 |  4576662 |     1008   8977 |       60 |        0
1216.76/1217.14	c 1210s |      24 |  4630941 |  4582862 |     1008   8987 |       60 |        0
1218.76/1219.14	c 1212s |      24 |  4638401 |  4590262 |     1008   9000 |       60 |        0
1220.77/1221.16	c 1214s |      24 |  4645534 |  4597362 |     1008   9011 |       60 |        0
1222.76/1223.18	c 1216s |      24 |  4652468 |  4604262 |     1008   9023 |       60 |        0
1224.86/1225.20	c 1218s |      24 |  4659708 |  4611462 |     1008   9034 |       60 |        0
1226.86/1227.20	c 1220s |      24 |  4666646 |  4618362 |     1008   9046 |       60 |        0
1228.86/1229.22	c 1222s |      24 |  4673495 |  4625162 |     1008   9057 |       60 |        0
1230.86/1231.25	c 1224s |      24 |  4680428 |  4632062 |     1008   9068 |       60 |        0
1232.86/1233.28	c 1226s |      24 |  4687087 |  4638662 |     1008   9079 |       60 |        0
1234.86/1235.29	c 1228s |      24 |  4693742 |  4645262 |     1008   9090 |       60 |        0
1236.96/1237.30	c 1230s |      24 |  4700814 |  4652262 |     1008   9101 |       60 |        0
1238.96/1239.30	c 1232s |      24 |  4707648 |  4659062 |     1008   9112 |       60 |        0
1240.96/1241.32	c 1234s |      24 |  4714082 |  4665462 |     1008   9123 |       60 |        0
1242.96/1243.34	c 1236s |      24 |  4720625 |  4671962 |     1008   9134 |       60 |        0
1244.96/1245.34	c 1238s |      24 |  4727174 |  4678462 |     1008   9144 |       60 |        0
1246.95/1247.35	c 1240s |      24 |  4733609 |  4684862 |     1008   9155 |       60 |        0
1248.95/1249.38	c 1242s |      24 |  4740038 |  4691262 |     1008   9165 |       60 |        0
1250.95/1251.39	c 1244s |      24 |  4746072 |  4697262 |     1008   9175 |       60 |        0
1252.95/1253.39	c 1246s |      24 |  4753013 |  4704162 |     1008   9187 |       60 |        0
1255.05/1255.41	c 1248s |      24 |  4760247 |  4711362 |     1008   9199 |       60 |        0
1257.06/1257.43	c 1250s |      24 |  4767387 |  4718462 |     1008   9210 |       60 |        0
1259.05/1259.45	c 1252s |      24 |  4774224 |  4725262 |     1008   9221 |       60 |        0
1261.05/1261.47	c 1254s |      24 |  4780896 |  4731862 |     1008   9232 |       60 |        0
1263.15/1263.51	c 1256s |      24 |  4787338 |  4738262 |     1008   9243 |       60 |        0
1265.14/1265.53	c 1258s |      24 |  4793805 |  4744662 |     1008   9253 |       60 |        0
1267.14/1267.56	c 1260s |      24 |  4800549 |  4751362 |     1008   9264 |       60 |        0
1269.15/1269.57	c 1262s |      24 |  4806901 |  4757662 |     1008   9275 |       60 |        0
1271.14/1271.59	c 1265s |      24 |  4813451 |  4764162 |     1008   9286 |       60 |        0
1273.24/1273.62	c 1267s |      24 |  4819805 |  4770462 |     1008   9296 |       60 |        0
1275.24/1275.64	c 1269s |      24 |  4826166 |  4776762 |     1008   9306 |       60 |        0
1277.24/1277.66	c 1271s |      24 |  4832620 |  4783162 |     1008   9317 |       60 |        0
1279.24/1279.68	c 1273s |      24 |  4839383 |  4789862 |     1008   9328 |       60 |        0
1281.24/1281.68	c 1275s |      24 |  4845960 |  4796362 |     1008   9339 |       60 |        0
1283.33/1283.70	c 1277s |      24 |  4852511 |  4802862 |     1008   9349 |       60 |        0
1285.33/1285.70	c 1279s |      24 |  4858909 |  4809162 |     1008   9360 |       60 |        0
1287.33/1287.72	c 1281s |      24 |  4865288 |  4815462 |     1008   9370 |       60 |        0
1289.33/1289.73	c 1283s |      24 |  4871736 |  4821862 |     1008   9381 |       60 |        0
1291.33/1291.74	c 1285s |      24 |  4878201 |  4828262 |     1008   9391 |       60 |        0
1293.34/1293.74	c 1287s |      24 |  4884661 |  4834662 |     1008   9402 |       60 |        0
1295.34/1295.76	c 1289s |      24 |  4891189 |  4841162 |     1008   9413 |       60 |        0
1297.33/1297.76	c 1291s |      24 |  4897735 |  4847662 |     1008   9423 |       60 |        0
1299.33/1299.76	c 1293s |      24 |  4904195 |  4854062 |     1008   9434 |       60 |        0
1301.33/1301.79	c 1295s |      24 |  4910760 |  4860562 |     1008   9445 |       60 |        0
1303.34/1303.80	c 1297s |      24 |  4917211 |  4866962 |     1008   9455 |       60 |        0
1305.44/1305.81	c 1299s |      24 |  4924152 |  4873862 |     1008   9466 |       60 |        0
1307.43/1307.85	c 1301s |      24 |  4930877 |  4880562 |     1008   9478 |       60 |        0
1309.43/1309.86	c 1303s |      24 |  4937520 |  4887162 |     1008   9488 |       60 |        0
1311.43/1311.88	c 1305s |      24 |  4943969 |  4893562 |     1008   9499 |       60 |        0
1313.53/1313.90	c 1307s |      24 |  4950124 |  4899662 |     1008   9509 |       60 |        0
1315.53/1315.91	c 1309s |      24 |  4956353 |  4905862 |     1008   9519 |       60 |        0
1317.53/1317.93	c 1311s |      24 |  4962891 |  4912362 |     1008   9530 |       60 |        0
1319.53/1319.95	c 1313s |      24 |  4969442 |  4918862 |     1008   9541 |       60 |        0
1321.52/1321.97	c 1315s |      24 |  4975987 |  4925362 |     1008   9551 |       60 |        0
1323.52/1323.97	c 1317s |      24 |  4982133 |  4931462 |     1008   9562 |       60 |        0
1325.52/1325.98	c 1319s |      24 |  4988369 |  4937662 |     1008   9572 |       60 |        0
1327.53/1327.98	c 1321s |      24 |  4994598 |  4943862 |     1008   9582 |       60 |        0
1329.63/1330.00	c 1323s |      24 |  5000939 |  4950162 |     1008   9592 |       60 |        0
1331.62/1332.03	c 1325s |      24 |  5007493 |  4956662 |     1008   9603 |       60 |        0
1333.62/1334.06	c 1327s |      24 |  5013965 |  4963062 |     1008   9614 |       60 |        0
1335.62/1336.06	c 1329s |      24 |  5020643 |  4969662 |     1008   9624 |       60 |        0
1337.61/1338.09	c 1331s |      24 |  5026887 |  4975862 |     1008   9635 |       60 |        0
1339.62/1340.09	c 1333s |      24 |  5032943 |  4981862 |     1008   9645 |       60 |        0
1341.72/1342.12	c 1335s |      24 |  5038880 |  4987762 |     1008   9654 |       60 |        0
1343.71/1344.15	c 1337s |      24 |  5044801 |  4993662 |     1008   9664 |       60 |        0
1345.71/1346.17	c 1339s |      24 |  5050935 |  4999762 |     1008   9674 |       60 |        0
1347.71/1348.18	c 1341s |      24 |  5057078 |  5005862 |     1008   9684 |       60 |        0
1349.81/1350.21	c 1343s |      24 |  5063316 |  5012062 |     1008   9694 |       60 |        0
1351.80/1352.24	c 1345s |      24 |  5069464 |  5018162 |     1008   9705 |       60 |        0
1353.81/1354.27	c 1347s |      24 |  5075591 |  5024262 |     1008   9715 |       60 |        0
1355.80/1356.29	c 1349s |      24 |  5081622 |  5030262 |     1109   9724 |       60 |        0
1357.90/1358.31	c 1351s |      24 |  5087674 |  5036262 |     1109   9733 |       60 |        0
1359.90/1360.32	c 1353s |      24 |  5093737 |  5042262 |     1109   9742 |       60 |        0
1361.90/1362.35	c 1355s |      24 |  5099584 |  5048062 |     1109   9751 |       60 |        0
1363.90/1364.36	c 1357s |      24 |  5105522 |  5053962 |     1109   9760 |       60 |        0
1365.90/1366.37	c 1359s |      24 |  5111865 |  5060262 |     1109   9770 |       60 |        0
1367.50/1367.92	c 1361s |      25 |  5116741 |  5065098 |     1109   9777 |       60 |        0
1369.49/1369.94	c 1363s |      25 |  5123147 |  5071298 |     1109   9787 |       60 |        0
1371.50/1371.97	c 1365s |      25 |  5129273 |  5077398 |     1109   9796 |       60 |        0
1373.49/1373.98	c 1367s |      25 |  5135416 |  5083498 |     1109   9805 |       60 |        0
1375.49/1375.99	c 1369s |      25 |  5141872 |  5089898 |     1109   9815 |       60 |        0
1377.59/1378.01	c 1371s |      25 |  5148116 |  5096098 |     1109   9824 |       60 |        0
1379.59/1380.02	c 1373s |      25 |  5154390 |  5102298 |     1109   9834 |       60 |        0
1381.59/1382.06	c 1375s |      25 |  5160951 |  5108798 |     1109   9844 |       60 |        0
1383.59/1384.08	c 1377s |      25 |  5167228 |  5114998 |     1109   9853 |       60 |        0
1385.58/1386.08	c 1379s |      25 |  5173668 |  5121398 |     1109   9863 |       60 |        0
1387.58/1388.09	c 1381s |      25 |  5180021 |  5127698 |     1109   9872 |       60 |        0
1389.68/1390.12	c 1383s |      25 |  5186069 |  5133698 |     1109   9881 |       60 |        0
1391.68/1392.14	c 1385s |      25 |  5192767 |  5140298 |     1109   9891 |       60 |        0
1393.68/1394.15	c 1387s |      25 |  5199151 |  5146598 |     1109   9901 |       60 |        0
1395.69/1396.17	c 1389s |      25 |  5205708 |  5153098 |     1109   9911 |       60 |        0
1397.68/1398.20	c 1391s |      25 |  5212479 |  5159798 |     1109   9921 |       60 |        0
1399.78/1400.22	c 1393s |      25 |  5218997 |  5166198 |     1109   9931 |       60 |        0
1401.78/1402.24	c 1395s |      25 |  5225366 |  5172498 |     1109   9940 |       60 |        0
1403.78/1404.27	c 1397s |      25 |  5232010 |  5179098 |     1109   9950 |       60 |        0
1405.78/1406.29	c 1399s |      25 |  5238442 |  5185498 |     1109   9960 |       60 |        0
1407.88/1408.32	c 1401s |      25 |  5244680 |  5191698 |     1109   9969 |       60 |        0
1409.88/1410.33	c 1403s |      25 |  5250732 |  5197698 |     1109   9978 |       60 |        0
1411.87/1412.34	c 1405s |      25 |  5256676 |  5203598 |     1109   9987 |       60 |        0
1413.87/1414.34	c 1407s |      25 |  5262718 |  5209598 |     1109   9996 |       60 |        0
1415.87/1416.35	c 1409s |      25 |  5268655 |  5215498 |     1109  10005 |       60 |        0
1417.87/1418.36	c 1411s |      25 |  5274581 |  5221398 |     1109  10014 |       60 |        0
1419.97/1420.40	c 1413s |      25 |  5280809 |  5227598 |     1109  10024 |       60 |        0
1421.87/1422.40	c 1415s |      25 |  5286949 |  5233698 |     1109  10033 |       60 |        0
1423.97/1424.42	c 1417s |      25 |  5293308 |  5239998 |     1109  10042 |       60 |        0
1425.97/1426.44	c 1419s |      25 |  5299645 |  5246298 |     1109  10052 |       60 |        0
1427.97/1428.45	c 1421s |      25 |  5305700 |  5252298 |     1109  10061 |       60 |        0
1429.97/1430.48	c 1423s |      25 |  5311826 |  5258398 |     1109  10070 |       60 |        0
1432.06/1432.51	c 1425s |      25 |  5317979 |  5264498 |     1109  10080 |       60 |        0
1434.07/1434.51	c 1427s |      25 |  5324141 |  5270598 |     1109  10089 |       60 |        0
1436.06/1436.54	c 1429s |      25 |  5330592 |  5276998 |     1109  10099 |       60 |        0
1438.06/1438.57	c 1431s |      25 |  5336821 |  5283198 |     1109  10108 |       60 |        0
1440.06/1440.58	c 1433s |      25 |  5343188 |  5289498 |     1109  10118 |       60 |        0
1442.16/1442.61	c 1436s |      25 |  5349859 |  5296098 |     1109  10128 |       60 |        0
1444.16/1444.64	c 1438s |      25 |  5356715 |  5302898 |     1109  10138 |       60 |        0
1446.16/1446.64	c 1440s |      25 |  5363081 |  5309198 |     1109  10147 |       60 |        0
1448.16/1448.64	c 1442s |      25 |  5369656 |  5315698 |     1109  10157 |       60 |        0
1450.16/1450.65	c 1444s |      25 |  5376300 |  5322298 |     1109  10167 |       60 |        0
1452.15/1452.65	c 1446s |      25 |  5382449 |  5328398 |     1109  10177 |       60 |        0
1454.15/1454.68	c 1448s |      25 |  5388908 |  5334798 |     1109  10186 |       60 |        0
1456.16/1456.68	c 1450s |      25 |  5395051 |  5340898 |     1109  10196 |       60 |        0
1458.26/1458.71	c 1452s |      25 |  5401749 |  5347498 |     1109  10206 |       60 |        0
1460.25/1460.71	c 1454s |      25 |  5408236 |  5353898 |     1109  10216 |       60 |        0
1462.25/1462.74	c 1456s |      25 |  5414375 |  5359998 |     1109  10225 |       60 |        0
1464.26/1464.76	c 1458s |      25 |  5420536 |  5366098 |     1109  10234 |       60 |        0
1466.26/1466.76	c 1460s |      25 |  5426486 |  5371998 |     1109  10243 |       60 |        0
1468.26/1468.79	c 1462s |      25 |  5432817 |  5378298 |     1109  10253 |       60 |        0
1470.36/1470.81	c 1464s |      25 |  5440039 |  5385498 |     1109  10264 |       60 |        0
1472.36/1472.85	c 1466s |      25 |  5447366 |  5392798 |     1109  10275 |       60 |        0
1474.36/1474.86	c 1468s |      25 |  5454617 |  5399998 |     1109  10285 |       60 |        0
1476.36/1476.88	c 1470s |      25 |  5461861 |  5407198 |     1109  10296 |       60 |        0
1478.36/1478.89	c 1472s |      25 |  5469028 |  5414298 |     1109  10307 |       60 |        0
1480.46/1480.90	c 1474s |      25 |  5476792 |  5421998 |     1109  10319 |       60 |        0
1482.46/1482.92	c 1476s |      25 |  5484478 |  5429598 |     1109  10330 |       60 |        0
1484.45/1484.93	c 1478s |      25 |  5492660 |  5437698 |     1109  10342 |       60 |        0
1486.45/1486.95	c 1480s |      25 |  5500234 |  5445198 |     1109  10354 |       60 |        0
1488.45/1488.96	c 1482s |      25 |  5507891 |  5452798 |     1109  10365 |       60 |        0
1490.45/1490.97	c 1484s |      25 |  5514935 |  5459798 |     1109  10376 |       60 |        0
1492.46/1492.99	c 1486s |      25 |  5521669 |  5466498 |     1109  10386 |       60 |        0
1494.56/1495.02	c 1488s |      25 |  5528116 |  5472898 |     1109  10396 |       60 |        0
1496.55/1497.03	c 1490s |      25 |  5534669 |  5479398 |     1109  10406 |       60 |        0
1498.55/1499.03	c 1492s |      25 |  5541223 |  5485898 |     1109  10415 |       60 |        0
1500.55/1501.06	c 1494s |      25 |  5548077 |  5492698 |     1109  10426 |       60 |        0
1502.55/1503.06	c 1496s |      25 |  5554715 |  5499298 |     1109  10436 |       60 |        0
1504.56/1505.08	c 1498s |      25 |  5561353 |  5505898 |     1109  10446 |       60 |        0
1506.55/1507.09	c 1500s |      25 |  5567495 |  5511998 |     1109  10455 |       60 |        0
1508.65/1509.10	c 1502s |      25 |  5574136 |  5518598 |     1109  10465 |       60 |        0
1510.65/1511.12	c 1504s |      25 |  5580999 |  5525398 |     1109  10475 |       60 |        0
1512.65/1513.14	c 1506s |      25 |  5587329 |  5531698 |     1109  10485 |       60 |        0
1514.65/1515.15	c 1508s |      25 |  5593767 |  5538098 |     1109  10495 |       60 |        0
1516.65/1517.17	c 1510s |      25 |  5600741 |  5544998 |     1109  10505 |       60 |        0
1518.65/1519.18	c 1512s |      25 |  5607400 |  5551598 |     1109  10515 |       60 |        0
1520.65/1521.19	c 1514s |      25 |  5613954 |  5558098 |     1109  10525 |       60 |        0
1522.75/1523.20	c 1516s |      25 |  5620293 |  5564398 |     1109  10535 |       60 |        0
1524.75/1525.22	c 1518s |      25 |  5626637 |  5570698 |     1109  10544 |       60 |        0
1526.74/1527.24	c 1520s |      25 |  5632897 |  5576898 |     1109  10554 |       60 |        0
1528.75/1529.27	c 1522s |      25 |  5639157 |  5583098 |     1109  10563 |       60 |        0
1530.74/1531.30	c 1524s |      25 |  5645497 |  5589398 |     1109  10573 |       60 |        0
1532.84/1533.32	c 1526s |      25 |  5651830 |  5595698 |     1109  10582 |       60 |        0
1534.84/1535.34	c 1528s |      25 |  5658192 |  5601998 |     1109  10592 |       60 |        0
1536.84/1537.36	c 1530s |      25 |  5664931 |  5608698 |     1109  10602 |       60 |        0
1538.84/1539.37	c 1532s |      25 |  5671468 |  5615198 |     1109  10612 |       60 |        0
1540.85/1541.39	c 1534s |      25 |  5678236 |  5621898 |     1109  10622 |       60 |        0
1542.95/1543.41	c 1536s |      25 |  5684381 |  5627998 |     1109  10631 |       60 |        0
1544.94/1545.43	c 1538s |      25 |  5690532 |  5634098 |     1109  10641 |       60 |        0
1546.94/1547.44	c 1540s |      25 |  5696874 |  5640398 |     1109  10650 |       60 |        0
1548.94/1549.46	c 1542s |      25 |  5702999 |  5646498 |     1109  10659 |       60 |        0
1550.95/1551.47	c 1544s |      25 |  5709239 |  5652698 |     1109  10669 |       60 |        0
1552.95/1553.49	c 1546s |      25 |  5715564 |  5658998 |     1109  10678 |       60 |        0
1555.05/1555.52	c 1548s |      25 |  5721906 |  5665298 |     1109  10688 |       60 |        0
1557.04/1557.55	c 1550s |      25 |  5727935 |  5671298 |     1109  10697 |       60 |        0
1559.04/1559.58	c 1552s |      25 |  5734193 |  5677498 |     1109  10707 |       60 |        0
1561.14/1561.60	c 1555s |      25 |  5740728 |  5683998 |     1109  10716 |       60 |        0
1563.14/1563.60	c 1557s |      25 |  5747179 |  5690398 |     1109  10726 |       60 |        0
1565.14/1565.62	c 1559s |      25 |  5753429 |  5696598 |     1109  10736 |       60 |        0
1567.15/1567.63	c 1561s |      25 |  5759453 |  5702598 |     1109  10745 |       60 |        0
1569.14/1569.65	c 1563s |      25 |  5765991 |  5709098 |     1109  10755 |       60 |        0
1571.14/1571.68	c 1565s |      25 |  5772731 |  5715798 |     1109  10765 |       60 |        0
1573.24/1573.70	c 1567s |      25 |  5779369 |  5722398 |     1109  10775 |       60 |        0
1575.24/1575.73	c 1569s |      25 |  5786119 |  5729098 |     1109  10785 |       60 |        0
1577.24/1577.73	c 1571s |      25 |  5792543 |  5735498 |     1109  10795 |       60 |        0
1579.25/1579.74	c 1573s |      25 |  5798974 |  5741898 |     1109  10805 |       60 |        0
1581.24/1581.76	c 1575s |      25 |  5805307 |  5748198 |     1109  10814 |       60 |        0
1583.24/1583.76	c 1577s |      25 |  5811355 |  5754198 |     1109  10823 |       60 |        0
1585.24/1585.78	c 1579s |      25 |  5817603 |  5760398 |     1109  10833 |       60 |        0
1587.34/1587.80	c 1581s |      25 |  5823745 |  5766498 |     1109  10842 |       60 |        0
1589.34/1589.81	c 1583s |      25 |  5829789 |  5772498 |     1109  10851 |       60 |        0
1591.34/1591.83	c 1585s |      25 |  5835730 |  5778398 |     1109  10860 |       60 |        0
1593.34/1593.87	c 1587s |      25 |  5842086 |  5784698 |     1109  10870 |       60 |        0
1595.33/1595.87	c 1589s |      25 |  5848242 |  5790798 |     1109  10879 |       60 |        0
1597.33/1597.88	c 1591s |      25 |  5854376 |  5796898 |     1109  10888 |       60 |        0
1599.43/1599.90	c 1593s |      25 |  5860425 |  5802898 |     1109  10897 |       60 |        0
1601.43/1601.92	c 1595s |      25 |  5866569 |  5808998 |     1109  10907 |       60 |        0
1603.44/1603.93	c 1597s |      25 |  5872602 |  5814998 |     1109  10916 |       60 |        0
1605.43/1605.96	c 1599s |      25 |  5878434 |  5820798 |     1109  10925 |       60 |        0
1607.43/1607.97	c 1601s |      25 |  5884082 |  5826398 |     1109  10933 |       60 |        0
1609.43/1609.98	c 1603s |      25 |  5889818 |  5832098 |     1109  10942 |       60 |        0
1611.43/1611.99	c 1605s |      25 |  5896055 |  5838298 |     1109  10951 |       60 |        0
1613.53/1614.00	c 1607s |      25 |  5902290 |  5844498 |     1109  10961 |       60 |        0
1615.54/1616.01	c 1609s |      25 |  5908416 |  5850598 |     1109  10970 |       60 |        0
1617.53/1618.03	c 1611s |      25 |  5914345 |  5856498 |     1109  10979 |       60 |        0
1619.53/1620.06	c 1613s |      25 |  5920180 |  5862298 |     1109  10988 |       60 |        0
1621.53/1622.07	c 1615s |      25 |  5925907 |  5867998 |     1109  10997 |       60 |        0
1623.63/1624.10	c 1617s |      25 |  5931524 |  5873598 |     1109  11005 |       60 |        0
1625.63/1626.11	c 1619s |      25 |  5937236 |  5879298 |     1109  11014 |       60 |        0
1627.64/1628.11	c 1621s |      25 |  5943075 |  5885098 |     1109  11023 |       60 |        0
1629.63/1630.12	c 1623s |      25 |  5949016 |  5890998 |     1109  11032 |       60 |        0
1631.63/1632.14	c 1625s |      25 |  5955355 |  5897298 |     1109  11041 |       60 |        0
1633.63/1634.17	c 1627s |      25 |  5961392 |  5903298 |     1109  11051 |       60 |        0
1635.63/1636.18	c 1629s |      25 |  5968238 |  5910098 |     1109  11061 |       60 |        0
1637.73/1638.20	c 1631s |      25 |  5974580 |  5916398 |     1109  11071 |       60 |        0
1639.73/1640.23	c 1633s |      25 |  5981050 |  5922798 |     1109  11080 |       60 |        0
1641.72/1642.24	c 1635s |      25 |  5987313 |  5928998 |     1109  11090 |       60 |        0
1643.72/1644.26	c 1637s |      25 |  5993668 |  5935298 |     1109  11099 |       60 |        0
1645.72/1646.29	c 1639s |      25 |  5999718 |  5941298 |     1109  11108 |       60 |        0
1647.82/1648.32	c 1641s |      25 |  6005892 |  5947398 |     1109  11118 |       60 |        0
1649.83/1650.33	c 1643s |      25 |  6012336 |  5953798 |     1109  11127 |       60 |        0
1651.84/1652.34	c 1645s |      25 |  6018170 |  5959598 |     1109  11136 |       60 |        0
1653.83/1654.34	c 1647s |      25 |  6024621 |  5965998 |     1109  11146 |       60 |        0
1655.83/1656.35	c 1649s |      25 |  6031092 |  5972398 |     1109  11156 |       60 |        0
1657.83/1658.37	c 1651s |      25 |  6037731 |  5978998 |     1109  11166 |       60 |        0
1659.83/1660.37	c 1653s |      25 |  6043802 |  5984998 |     1109  11175 |       60 |        0
1661.84/1662.39	c 1655s |      25 |  6050137 |  5991298 |     1109  11185 |       60 |        0
1663.94/1664.40	c 1657s |      25 |  6056605 |  5997698 |     1109  11194 |       60 |        0
1665.93/1666.42	c 1659s |      25 |  6062768 |  6003798 |     1109  11204 |       60 |        0
1667.93/1668.45	c 1661s |      25 |  6069035 |  6009998 |     1109  11213 |       60 |        0
1669.93/1670.46	c 1663s |      25 |  6075279 |  6016198 |     1109  11223 |       60 |        0
1671.93/1672.46	c 1665s |      25 |  6081327 |  6022198 |     1109  11232 |       60 |        0
1673.93/1674.49	c 1667s |      25 |  6087983 |  6028798 |     1109  11242 |       60 |        0
1675.93/1676.50	c 1669s |      25 |  6094626 |  6035398 |     1109  11252 |       60 |        0
1678.03/1678.50	c 1671s |      25 |  6101278 |  6041998 |     1109  11262 |       60 |        0
1680.03/1680.51	c 1673s |      25 |  6107514 |  6048198 |     1109  11271 |       60 |        0
1682.03/1682.53	c 1675s |      25 |  6113543 |  6054198 |     1109  11281 |       60 |        0
1684.03/1684.55	c 1677s |      25 |  6119687 |  6060298 |     1109  11290 |       60 |        0
1686.03/1686.56	c 1679s |      25 |  6125522 |  6066098 |     1109  11299 |       60 |        0
1688.02/1688.58	c 1681s |      25 |  6131266 |  6071798 |     1109  11307 |       60 |        0
1690.02/1690.59	c 1684s |      25 |  6137108 |  6077598 |     1109  11316 |       60 |        0
1692.02/1692.59	c 1686s |      25 |  6143154 |  6083598 |     1109  11326 |       60 |        0
1694.12/1694.60	c 1688s |      25 |  6149183 |  6089598 |     1109  11335 |       60 |        0
1696.12/1696.63	c 1690s |      25 |  6155425 |  6095798 |     1109  11344 |       60 |        0
1698.13/1698.64	c 1692s |      25 |  6161270 |  6101598 |     1109  11353 |       60 |        0
1700.12/1700.67	c 1694s |      25 |  6167124 |  6107398 |     1109  11362 |       60 |        0
1702.12/1702.68	c 1696s |      25 |  6173055 |  6113298 |     1109  11371 |       60 |        0
1704.12/1704.69	c 1698s |      25 |  6178786 |  6118998 |     1109  11380 |       60 |        0
1706.12/1706.69	c 1700s |      25 |  6184521 |  6124698 |     1109  11388 |       60 |        0
1708.22/1708.71	c 1702s |      25 |  6190695 |  6130798 |     1109  11398 |       60 |        0
1710.23/1710.75	c 1704s |      25 |  6197297 |  6137298 |     1109  11408 |       60 |        0
1712.22/1712.77	c 1706s |      25 |  6203975 |  6143898 |     1109  11418 |       60 |        0
1714.22/1714.79	c 1708s |      25 |  6210071 |  6149898 |     1109  11427 |       60 |        0
1716.32/1716.80	c 1710s |      25 |  6216616 |  6156298 |     1109  11436 |       60 |        0
1718.32/1718.82	c 1712s |      25 |  6223004 |  6162598 |     1109  11446 |       60 |        0
1720.32/1720.83	c 1714s |      25 |  6229494 |  6168998 |     1109  11456 |       60 |        0
1722.33/1722.84	c 1716s |      25 |  6236471 |  6175898 |     1109  11466 |       60 |        0
1724.32/1724.85	c 1718s |      25 |  6242355 |  6181698 |     1109  11475 |       60 |        0
1726.32/1726.87	c 1720s |      25 |  6248555 |  6187798 |     1109  11484 |       60 |        0
1728.32/1728.89	c 1722s |      25 |  6254818 |  6193998 |     1109  11494 |       60 |        0
1730.42/1730.90	c 1724s |      25 |  6261296 |  6200398 |     1109  11503 |       60 |        0
1732.41/1732.92	c 1726s |      25 |  6267592 |  6206598 |     1109  11513 |       60 |        0
1734.42/1734.94	c 1728s |      25 |  6273691 |  6212598 |     1109  11522 |       60 |        0
1736.41/1736.95	c 1730s |      25 |  6279496 |  6218298 |     1109  11530 |       60 |        0
1738.41/1738.98	c 1732s |      25 |  6285468 |  6224198 |     1109  11539 |       60 |        0
1740.51/1741.01	c 1734s |      25 |  6291463 |  6230098 |     1109  11548 |       60 |        0
1742.51/1743.02	c 1736s |      25 |  6297329 |  6235898 |     1109  11557 |       60 |        0
1744.51/1745.05	c 1738s |      25 |  6303299 |  6241798 |     1109  11566 |       60 |        0
1746.52/1747.06	c 1740s |      25 |  6308880 |  6247298 |     1109  11575 |       60 |        0
1748.51/1749.07	c 1742s |      25 |  6314259 |  6252598 |     1109  11583 |       60 |        0
1750.61/1751.10	c 1744s |      25 |  6320241 |  6258498 |     1109  11592 |       60 |        0
1752.61/1753.14	c 1746s |      25 |  6326029 |  6264198 |     1109  11600 |       60 |        0
1754.61/1755.16	c 1748s |      25 |  6331816 |  6269898 |     1109  11609 |       60 |        0
1756.61/1757.17	c 1750s |      25 |  6337618 |  6275598 |     1109  11618 |       60 |        0
1758.71/1759.20	c 1752s |      25 |  6343122 |  6280998 |     1109  11626 |       60 |        0
1760.61/1761.20	c 1754s |      25 |  6349117 |  6286898 |     1109  11635 |       60 |        0
1762.71/1763.23	c 1756s |      25 |  6354989 |  6292698 |     1109  11644 |       60 |        0
1764.71/1765.23	c 1758s |      25 |  6360564 |  6298198 |     1109  11652 |       60 |        0
1766.71/1767.25	c 1760s |      25 |  6366661 |  6304198 |     1109  11661 |       60 |        0
1768.71/1769.27	c 1762s |      25 |  6372519 |  6309998 |     1109  11670 |       60 |        0
1770.81/1771.30	c 1764s |      25 |  6378312 |  6315698 |     1109  11679 |       60 |        0
1772.81/1773.32	c 1766s |      25 |  6384125 |  6321398 |     1109  11687 |       60 |        0
1774.81/1775.34	c 1768s |      25 |  6390111 |  6327298 |     1109  11696 |       60 |        0
1776.80/1777.37	c 1770s |      25 |  6395994 |  6333098 |     1109  11705 |       60 |        0
1778.90/1779.40	c 1772s |      25 |  6402101 |  6339098 |     1109  11714 |       60 |        0
1780.90/1781.41	c 1774s |      25 |  6408227 |  6345098 |     1109  11723 |       60 |        0
1782.90/1783.43	c 1776s |      25 |  6414556 |  6351298 |     1109  11733 |       60 |        0
1784.91/1785.44	c 1778s |      25 |  6420760 |  6357398 |     1109  11742 |       60 |        0
1786.90/1787.48	c 1780s |      25 |  6427045 |  6363598 |     1109  11752 |       60 |        0
1788.90/1789.50	c 1782s |      25 |  6433048 |  6369498 |     1109  11760 |       60 |        0
1791.00/1791.53	c 1784s |      25 |  6439504 |  6375898 |     1109  11770 |       60 |        0
1793.00/1793.54	c 1786s |      25 |  6445389 |  6381698 |     1109  11779 |       60 |        0
1795.00/1795.55	c 1788s |      25 |  6451577 |  6387798 |     1109  11788 |       60 |        0
1797.01/1797.57	c 1790s |      25 |  6457473 |  6393598 |     1109  11797 |       60 |        0
1799.10/1799.60	c 1793s |      25 |  6463250 |  6399298 |     1109  11806 |       60 |        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-4103305-1466235306/watcher-4103305-1466235306 -o /tmp/evaluation-result-4103305-1466235306/solver-4103305-1466235306 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23292 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103305-1466235306.opb 

pid=27461
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 27464
/proc/meminfo: memFree=30646088/32872528 swapFree=7780/7780
[pid=27464] ppid=27461 vsize=775612 CPUtime=0 cores=0,2,4,6
/proc/27464/stat : 27464 (toysat) R 27461 27464 23276 0 -1 4202496 2904 0 0 0 0 0 0 0 20 0 4 0 25575436 794226688 3264 33554432000 4194304 16246674 140737093732784 140737093732208 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27464/statm: 194671 3274 441 2943 0 191565 0
[pid=27464/tid=27465] ppid=27461 vsize=794044 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27465/stat : 27465 (toysat) S 27461 27464 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25575436 813101056 3336 33554432000 4194304 16246674 140737093732784 140629404265712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27464/tid=27466] ppid=27461 vsize=799164 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27466/stat : 27466 (toysat) S 27461 27464 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25575436 818343936 3353 33554432000 4194304 16246674 140737093732784 140629393775856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27464/tid=27467] ppid=27461 vsize=803260 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27467/stat : 27467 (toysat) S 27461 27464 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25575436 822538240 3370 33554432000 4194304 16246674 140737093732784 140629308861616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 27464
/proc/meminfo: memFree=30646088/32872528 swapFree=7780/7780
[pid=27464] ppid=27461 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/27464/stat : 27464 (toysat) R 27461 27464 23276 0 -1 4202496 31925 0 0 0 6 3 0 0 20 0 4 0 25575436 1247350784 32277 33554432000 4194304 16246674 140737093732784 140737093732208 6962473 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27464/statm: 304529 32286 640 2943 0 301423 0
[pid=27464/tid=27465] ppid=27461 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27465/stat : 27465 (toysat) S 27461 27464 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25575436 1247350784 32293 33554432000 4194304 16246674 140737093732784 140629404265712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27464/tid=27466] ppid=27461 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27466/stat : 27466 (toysat) S 27461 27464 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25575436 1247350784 32300 33554432000 4194304 16246674 140737093732784 140629393775856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27464/tid=27467] ppid=27461 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27467/stat : 27467 (toysat) S 27461 27464 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25575436 1247350784 32307 33554432000 4194304 16246674 140737093732784 140629308861616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200511 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 27464
/proc/meminfo: memFree=30646088/32872528 swapFree=7780/7780
[pid=27464] ppid=27461 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/27464/stat : 27464 (toysat) R 27461 27464 23276 0 -1 4202496 61588 0 0 0 12 7 0 0 20 0 4 0 25575436 1247350784 61940 33554432000 4194304 16246674 140737093732784 140737093732208 5592977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27464/statm: 304529 61946 641 2943 0 301423 0
[pid=27464/tid=27465] ppid=27461 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27465/stat : 27465 (toysat) S 27461 27464 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25575436 1247350784 61952 33554432000 4194304 16246674 140737093732784 140629404265712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27464/tid=27466] ppid=27461 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27466/stat : 27466 (toysat) S 27461 27464 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25575436 1247350784 61959 33554432000 4194304 16246674 140737093732784 140629393775856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27464/tid=27467] ppid=27461 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27467/stat : 27467 (toysat) S 27461 27464 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25575436 1247350784 61966 33554432000 4194304 16246674 140737093732784 140629308861616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300478 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 27464
/proc/meminfo: memFree=30646088/32872528 swapFree=7780/7780
[pid=27464] ppid=27461 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/27464/stat : 27464 (toysat) R 27461 27464 23276 0 -1 4202496 91444 0 0 0 18 11 0 0 20 0 4 0 25575436 1247350784 91796 33554432000 4194304 16246674 140737093732784 140737093732208 12655109 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27464/statm: 304529 91813 641 2943 0 301423 0
[pid=27464/tid=27465] ppid=27461 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27465/stat : 27465 (toysat) S 27461 27464 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25575436 1247350784 91823 33554432000 4194304 16246674 140737093732784 140629404265712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27464/tid=27466] ppid=27461 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27466/stat : 27466 (toysat) S 27461 27464 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25575436 1247350784 91834 33554432000 4194304 16246674 140737093732784 140629393775856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27464/tid=27467] ppid=27461 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27467/stat : 27467 (toysat) S 27461 27464 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25575436 1247350784 91845 33554432000 4194304 16246674 140737093732784 140629308861616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700389 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 27464
/proc/meminfo: memFree=30646088/32872528 swapFree=7780/7780
[pid=27464] ppid=27461 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/27464/stat : 27464 (toysat) R 27461 27464 23276 0 -1 4202496 208427 0 0 0 44 25 0 0 20 0 4 0 25575436 1247350784 208778 33554432000 4194304 16246674 140737093732784 140737093714688 12429797 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27464/statm: 304529 208784 641 2943 0 301423 0
[pid=27464/tid=27465] ppid=27461 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27465/stat : 27465 (toysat) S 27461 27464 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25575436 1247350784 208788 33554432000 4194304 16246674 140737093732784 140629404265712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27464/tid=27466] ppid=27461 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27466/stat : 27466 (toysat) S 27461 27464 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25575436 1247350784 208792 33554432000 4194304 16246674 140737093732784 140629393775856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27464/tid=27467] ppid=27461 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27467/stat : 27467 (toysat) S 27461 27464 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25575436 1247350784 208797 33554432000 4194304 16246674 140737093732784 140629308861616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 27468
/proc/meminfo: memFree=29603292/32872528 swapFree=7780/7780
[pid=27464] ppid=27461 vsize=1278532 CPUtime=1.49 cores=0,2,4,6
/proc/27464/stat : 27464 (toysat) R 27461 27464 23276 0 -1 4202496 260744 0 0 0 117 32 0 0 20 0 4 0 25575436 1309216768 261051 33554432000 4194304 16246674 140737093732784 140737093714688 12414109 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27464/statm: 319633 261051 836 2943 0 316527 0
[pid=27464/tid=27465] ppid=27461 vsize=1278532 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27465/stat : 27465 (toysat) S 27461 27464 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25575436 1309216768 261051 33554432000 4194304 16246674 140737093732784 140629404265712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27464/tid=27466] ppid=27461 vsize=1278532 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27466/stat : 27466 (toysat) S 27461 27464 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25575436 1309216768 261051 33554432000 4194304 16246674 140737093732784 140629393775856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27464/tid=27467] ppid=27461 vsize=1278532 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27467/stat : 27467 (toysat) S 27461 27464 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25575436 1309216768 261051 33554432000 4194304 16246674 140737093732784 140629308861616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1278532

[startup+3.10039 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27468
/proc/meminfo: memFree=29602416/32872528 swapFree=7780/7780
[pid=27464] ppid=27461 vsize=1286724 CPUtime=3.09 cores=0,2,4,6
/proc/27464/stat : 27464 (toysat) R 27461 27464 23276 0 -1 4202496 262793 0 0 0 277 32 0 0 20 0 4 0 25575436 1317605376 263100 33554432000 4194304 16246674 140737093732784 140737093714688 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27464/statm: 321681 263100 836 2943 0 318575 0
[pid=27464/tid=27465] ppid=27461 vsize=1286724 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27465/stat : 27465 (toysat) S 27461 27464 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25575436 1317605376 263100 33554432000 4194304 16246674 140737093732784 140629404265712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27464/tid=27466] ppid=27461 vsize=1286724 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27466/stat : 27466 (toysat) S 27461 27464 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25575436 1317605376 263100 33554432000 4194304 16246674 140737093732784 140629393775856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27464/tid=27467] ppid=27461 vsize=1286724 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27467/stat : 27467 (toysat) S 27461 27464 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25575436 1317605376 263100 33554432000 4194304 16246674 140737093732784 140629308861616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1286724

[startup+6.30039 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27468
/proc/meminfo: memFree=29528140/32872528 swapFree=7780/7780
[pid=27464] ppid=27461 vsize=1353284 CPUtime=6.29 cores=0,2,4,6
/proc/27464/stat : 27464 (toysat) R 27461 27464 23276 0 -1 4202496 279483 0 0 0 595 34 0 0 20 0 4 0 25575436 1385762816 279790 33554432000 4194304 16246674 140737093732784 140737093731448 12429162 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27464/statm: 338321 279790 885 2943 0 335215 0
[pid=27464/tid=27465] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27465/stat : 27465 (toysat) S 27461 27464 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279790 33554432000 4194304 16246674 140737093732784 140629404265712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27464/tid=27466] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27466/stat : 27466 (toysat) S 27461 27464 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279790 33554432000 4194304 16246674 140737093732784 140629393775856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27464/tid=27467] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27467/stat : 27467 (toysat) S 27461 27464 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279790 33554432000 4194304 16246674 140737093732784 140629308861616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1353284

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27468
/proc/meminfo: memFree=29527536/32872528 swapFree=7780/7780
[pid=27464] ppid=27461 vsize=1353284 CPUtime=12.69 cores=0,2,4,6
/proc/27464/stat : 27464 (toysat) R 27461 27464 23276 0 -1 4202496 279512 0 0 0 1234 35 0 0 20 0 4 0 25575436 1385762816 279819 33554432000 4194304 16246674 140737093732784 140737093715784 5600312 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27464/statm: 338321 279819 911 2943 0 335215 0
[pid=27464/tid=27465] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27465/stat : 27465 (toysat) S 27461 27464 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279819 33554432000 4194304 16246674 140737093732784 140629404265712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27464/tid=27466] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27466/stat : 27466 (toysat) S 27461 27464 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279819 33554432000 4194304 16246674 140737093732784 140629393775856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27464/tid=27467] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27467/stat : 27467 (toysat) S 27461 27464 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279819 33554432000 4194304 16246674 140737093732784 140629308861616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1353284

[startup+25.5073 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27468
/proc/meminfo: memFree=29526160/32872528 swapFree=7780/7780
[pid=27464] ppid=27461 vsize=1353284 CPUtime=25.5 cores=0,2,4,6
/proc/27464/stat : 27464 (toysat) R 27461 27464 23276 0 -1 4202496 279512 0 0 0 2515 35 0 0 20 0 4 0 25575436 1385762816 279819 33554432000 4194304 16246674 140737093732784 140737093714688 13780640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27464/statm: 338321 279819 911 2943 0 335215 0
[pid=27464/tid=27465] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27465/stat : 27465 (toysat) S 27461 27464 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279819 33554432000 4194304 16246674 140737093732784 140629404265712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27464/tid=27466] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27466/stat : 27466 (toysat) S 27461 27464 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279819 33554432000 4194304 16246674 140737093732784 140629393775856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27464/tid=27467] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27467/stat : 27467 (toysat) S 27461 27464 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279819 33554432000 4194304 16246674 140737093732784 140629308861616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1353284

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27468
/proc/meminfo: memFree=29525548/32872528 swapFree=7780/7780
[pid=27464] ppid=27461 vsize=1353284 CPUtime=51.08 cores=0,2,4,6
/proc/27464/stat : 27464 (toysat) R 27461 27464 23276 0 -1 4202496 279518 0 0 0 5073 35 0 0 20 0 4 0 25575436 1385762816 279825 33554432000 4194304 16246674 140737093732784 140737093714688 5600326 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27464/statm: 338321 279825 916 2943 0 335215 0
[pid=27464/tid=27465] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27465/stat : 27465 (toysat) S 27461 27464 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279825 33554432000 4194304 16246674 140737093732784 140629404265712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27464/tid=27466] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27466/stat : 27466 (toysat) S 27461 27464 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279825 33554432000 4194304 16246674 140737093732784 140629393775856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27464/tid=27467] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27467/stat : 27467 (toysat) S 27461 27464 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279825 33554432000 4194304 16246674 140737093732784 140629308861616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1353284

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27469
/proc/meminfo: memFree=29525976/32872528 swapFree=7780/7780
[pid=27464] ppid=27461 vsize=1353284 CPUtime=102.28 cores=0,2,4,6
/proc/27464/stat : 27464 (toysat) R 27461 27464 23276 0 -1 4202496 279519 0 0 0 10192 36 0 0 20 0 4 0 25575436 1385762816 279826 33554432000 4194304 16246674 140737093732784 140737093714688 13781168 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27464/statm: 338321 279826 917 2943 0 335215 0
[pid=27464/tid=27465] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27465/stat : 27465 (toysat) S 27461 27464 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279826 33554432000 4194304 16246674 140737093732784 140629404265712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27464/tid=27466] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27466/stat : 27466 (toysat) S 27461 27464 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279826 33554432000 4194304 16246674 140737093732784 140629393775856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27464/tid=27467] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27467/stat : 27467 (toysat) S 27461 27464 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279826 33554432000 4194304 16246674 140737093732784 140629308861616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1353284


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

/proc/27464/task/27467/stat : 27467 (toysat) S 27461 27464 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279828 33554432000 4194304 16246674 140737093732784 140629308861616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1353284

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27499
/proc/meminfo: memFree=29030468/32872528 swapFree=7780/7780
[pid=27464] ppid=27461 vsize=1353284 CPUtime=1301.93 cores=0,2,4,6
/proc/27464/stat : 27464 (toysat) R 27461 27464 23276 0 -1 4202496 279858 0 0 0 130146 47 0 0 20 0 4 0 25575436 1385762816 279828 33554432000 4194304 16246674 140737093732784 140737093714688 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27464/statm: 338321 279828 919 2943 0 335215 0
[pid=27464/tid=27465] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27465/stat : 27465 (toysat) S 27461 27464 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279828 33554432000 4194304 16246674 140737093732784 140629404265712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27464/tid=27466] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27466/stat : 27466 (toysat) S 27461 27464 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279828 33554432000 4194304 16246674 140737093732784 140629393775856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27464/tid=27467] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27467/stat : 27467 (toysat) S 27461 27464 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279828 33554432000 4194304 16246674 140737093732784 140629308861616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1353284

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27500
/proc/meminfo: memFree=29029748/32872528 swapFree=7780/7780
[pid=27464] ppid=27461 vsize=1353284 CPUtime=1361.9 cores=0,2,4,6
/proc/27464/stat : 27464 (toysat) R 27461 27464 23276 0 -1 4202496 279899 0 0 0 136143 47 0 0 20 0 4 0 25575436 1385762816 279828 33554432000 4194304 16246674 140737093732784 140737093731960 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27464/statm: 338321 279828 919 2943 0 335215 0
[pid=27464/tid=27465] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27465/stat : 27465 (toysat) S 27461 27464 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279828 33554432000 4194304 16246674 140737093732784 140629404265712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27464/tid=27466] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27466/stat : 27466 (toysat) S 27461 27464 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279828 33554432000 4194304 16246674 140737093732784 140629393775856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27464/tid=27467] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27467/stat : 27467 (toysat) S 27461 27464 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279828 33554432000 4194304 16246674 140737093732784 140629308861616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1353284

[startup+1422.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 27502
/proc/meminfo: memFree=28925008/32872528 swapFree=7780/7780
[pid=27464] ppid=27461 vsize=1353284 CPUtime=1421.87 cores=0,2,4,6
/proc/27464/stat : 27464 (toysat) R 27461 27464 23276 0 -1 4202496 279935 0 0 0 142140 47 0 0 20 0 4 0 25575436 1385762816 279828 33554432000 4194304 16246674 140737093732784 140737093714688 13774504 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27464/statm: 338321 279828 919 2943 0 335215 0
[pid=27464/tid=27465] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27465/stat : 27465 (toysat) S 27461 27464 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279828 33554432000 4194304 16246674 140737093732784 140629404265712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27464/tid=27466] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27466/stat : 27466 (toysat) S 27461 27464 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279828 33554432000 4194304 16246674 140737093732784 140629393775856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27464/tid=27467] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27467/stat : 27467 (toysat) S 27461 27464 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279828 33554432000 4194304 16246674 140737093732784 140629308861616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1353284

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 27552
/proc/meminfo: memFree=29625292/32872528 swapFree=7780/7780
[pid=27464] ppid=27461 vsize=1353284 CPUtime=1481.86 cores=0,2,4,6
/proc/27464/stat : 27464 (toysat) R 27461 27464 23276 0 -1 4202496 279956 0 0 0 148138 48 0 0 20 0 4 0 25575436 1385762816 279828 33554432000 4194304 16246674 140737093732784 140737093714688 13943668 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27464/statm: 338321 279828 919 2943 0 335215 0
[pid=27464/tid=27465] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27465/stat : 27465 (toysat) S 27461 27464 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279828 33554432000 4194304 16246674 140737093732784 140629404265712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27464/tid=27466] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27466/stat : 27466 (toysat) S 27461 27464 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279828 33554432000 4194304 16246674 140737093732784 140629393775856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27464/tid=27467] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27467/stat : 27467 (toysat) S 27461 27464 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 279828 33554432000 4194304 16246674 140737093732784 140629308861616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1353284

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 27556
/proc/meminfo: memFree=29515224/32872528 swapFree=7780/7780
[pid=27464] ppid=27461 vsize=1353284 CPUtime=1541.85 cores=0,2,4,6
/proc/27464/stat : 27464 (toysat) R 27461 27464 23276 0 -1 4202496 279957 0 0 0 154137 48 0 0 20 0 4 0 25575436 1385762816 280084 33554432000 4194304 16246674 140737093732784 140737093714688 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27464/statm: 338321 280084 919 2943 0 335215 0
[pid=27464/tid=27465] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27465/stat : 27465 (toysat) S 27461 27464 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 280084 33554432000 4194304 16246674 140737093732784 140629404265712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27464/tid=27466] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27466/stat : 27466 (toysat) S 27461 27464 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 280084 33554432000 4194304 16246674 140737093732784 140629393775856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27464/tid=27467] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27467/stat : 27467 (toysat) S 27461 27464 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 280084 33554432000 4194304 16246674 140737093732784 140629308861616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1353284

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 27580
/proc/meminfo: memFree=29515228/32872528 swapFree=7780/7780
[pid=27464] ppid=27461 vsize=1353284 CPUtime=1601.83 cores=0,2,4,6
/proc/27464/stat : 27464 (toysat) R 27461 27464 23276 0 -1 4202496 279957 0 0 0 160134 49 0 0 20 0 4 0 25575436 1385762816 280084 33554432000 4194304 16246674 140737093732784 140737093714688 5712184 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27464/statm: 338321 280084 919 2943 0 335215 0
[pid=27464/tid=27465] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27465/stat : 27465 (toysat) S 27461 27464 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 280084 33554432000 4194304 16246674 140737093732784 140629404265712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27464/tid=27466] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27466/stat : 27466 (toysat) S 27461 27464 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 280084 33554432000 4194304 16246674 140737093732784 140629393775856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27464/tid=27467] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27467/stat : 27467 (toysat) S 27461 27464 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 280084 33554432000 4194304 16246674 140737093732784 140629308861616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1353284

[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27581
/proc/meminfo: memFree=29515240/32872528 swapFree=7780/7780
[pid=27464] ppid=27461 vsize=1353284 CPUtime=1661.84 cores=0,2,4,6
/proc/27464/stat : 27464 (toysat) R 27461 27464 23276 0 -1 4202496 279957 0 0 0 166134 50 0 0 20 0 4 0 25575436 1385762816 280084 33554432000 4194304 16246674 140737093732784 140737093714688 13752941 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27464/statm: 338321 280084 919 2943 0 335215 0
[pid=27464/tid=27465] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27465/stat : 27465 (toysat) S 27461 27464 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 280084 33554432000 4194304 16246674 140737093732784 140629404265712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27464/tid=27466] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27466/stat : 27466 (toysat) S 27461 27464 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 280084 33554432000 4194304 16246674 140737093732784 140629393775856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27464/tid=27467] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27467/stat : 27467 (toysat) S 27461 27464 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 280084 33554432000 4194304 16246674 140737093732784 140629308861616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1353284

[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 27583
/proc/meminfo: memFree=29515116/32872528 swapFree=7780/7780
[pid=27464] ppid=27461 vsize=1353284 CPUtime=1721.82 cores=0,2,4,6
/proc/27464/stat : 27464 (toysat) R 27461 27464 23276 0 -1 4202496 279957 0 0 0 172132 50 0 0 20 0 4 0 25575436 1385762816 280084 33554432000 4194304 16246674 140737093732784 140737093714688 12483317 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27464/statm: 338321 280084 919 2943 0 335215 0
[pid=27464/tid=27465] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27465/stat : 27465 (toysat) S 27461 27464 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 280084 33554432000 4194304 16246674 140737093732784 140629404265712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27464/tid=27466] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27466/stat : 27466 (toysat) S 27461 27464 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 280084 33554432000 4194304 16246674 140737093732784 140629393775856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27464/tid=27467] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27467/stat : 27467 (toysat) S 27461 27464 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 280084 33554432000 4194304 16246674 140737093732784 140629308861616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1353284

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 27584
/proc/meminfo: memFree=29514996/32872528 swapFree=7780/7780
[pid=27464] ppid=27461 vsize=1353284 CPUtime=1781.8 cores=0,2,4,6
/proc/27464/stat : 27464 (toysat) R 27461 27464 23276 0 -1 4202496 279957 0 0 0 178130 50 0 0 20 0 4 0 25575436 1385762816 280084 33554432000 4194304 16246674 140737093732784 140737093714688 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27464/statm: 338321 280084 919 2943 0 335215 0
[pid=27464/tid=27465] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27465/stat : 27465 (toysat) S 27461 27464 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 280084 33554432000 4194304 16246674 140737093732784 140629404265712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27464/tid=27466] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27466/stat : 27466 (toysat) S 27461 27464 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 280084 33554432000 4194304 16246674 140737093732784 140629393775856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27464/tid=27467] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27467/stat : 27467 (toysat) S 27461 27464 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 280084 33554432000 4194304 16246674 140737093732784 140629308861616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1353284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 27584
/proc/meminfo: memFree=29515248/32872528 swapFree=7780/7780
[pid=27464] ppid=27461 vsize=1353284 CPUtime=1800 cores=0,2,4,6
/proc/27464/stat : 27464 (toysat) R 27461 27464 23276 0 -1 4202496 279957 0 0 0 179950 50 0 0 20 0 4 0 25575436 1385762816 280084 33554432000 4194304 16246674 140737093732784 140737093714688 6020976 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27464/statm: 338321 280084 919 2943 0 335215 0
[pid=27464/tid=27465] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27465/stat : 27465 (toysat) S 27461 27464 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 280084 33554432000 4194304 16246674 140737093732784 140629404265712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27464/tid=27466] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27466/stat : 27466 (toysat) S 27461 27464 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 280084 33554432000 4194304 16246674 140737093732784 140629393775856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27464/tid=27467] ppid=27461 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/27464/task/27467/stat : 27467 (toysat) S 27461 27464 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25575436 1385762816 280084 33554432000 4194304 16246674 140737093732784 140629308861616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1353284

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.51
CPU system time (s): 0.507922
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 1353284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.507922
maximum resident set size= 1120336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279957
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= 449
involuntary context switches= 1893

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.38018 second user time and 8.25075 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-18 09:35:06
IDJOB=4103305
IDBENCH=2323
IDSOLVER=2542
FILE ID=node151/4103305-1466235306
RUNJOBID= node151-1466206051-23292
PBS_JOBID= 19918135
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare1_1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103305-1466235306/watcher-4103305-1466235306 -o /tmp/evaluation-result-4103305-1466235306/solver-4103305-1466235306 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23292 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103305-1466235306.opb

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

MD5SUM BENCH= 83e0e1e1c048d12c4488c7f5a723c62c
RANDOM SEED=1100602979

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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:        30646996 kB
Buffers:          121796 kB
Cached:           266772 kB
SwapCached:         1996 kB
Active:          1195348 kB
Inactive:         285844 kB
Active(anon):    1093088 kB
Inactive(anon):     1788 kB
Active(file):     102260 kB
Inactive(file):   284056 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       1144244 kB
Mapped:            11780 kB
Shmem:                 0 kB
Slab:             604856 kB
SReclaimable:      48480 kB
SUnreclaim:       556376 kB
KernelStack:        1520 kB
PageTables:         6388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1243116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     47104 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 node151 at 2016-06-18 10:05:07