Trace number 4106154

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=127-P1=293-P2=269-P3=7-P4=157-B.opb
MD5SUM5afebeda0ba6ac0761acdbdcd52ef74a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.091985
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables108
Total number of constraints9
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 constraints9
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)324
Sum of products size (including duplicates)648
Number of different products324
Sum of products size648

Solver Data 

0.00/0.00	c 2016-06-18T18:16:13+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-4106154-1466266573.opb"]
0.00/0.01	c use --random-gen="1652114463 759974500 3794476721 1468240308 2781809474 3263640860 1639955503 2396323018 977173093 3723290967 2755797626 2774985933 2053827860 4284507707 4123593012 788967373 990839713 780305778 2060174271 3775404649 1432505374 1750106435 2661727789 139700556 2713485707 752654795 232335216 2200940370 1312218766 3630726250 3519876224 2217863013 2746674593 3851865580 2504595683 2380234313 1578835788 102656724 2264261170 542754624 1817530429 160818417 2962029000 3142029253 3413512717 3181929330 2333662054 2711429834 679487196 804271313 537722716 4232826483 3597109358 2330947209 816677543 1983973460 672628198 3598704478 2921917795 1106967739 1931363454 2472553299 1142711247 2544248465 2962718427 1981635546 901791475 469164773 1301923245 2268412382 1356379312 1641860171 3633075666 1349080171 2835800078 132467675 810616154 3273377070 1794025441 957683107 709128278 2760358879 1826069613 1913105249 104716080 3175671217 4003090130 919177903 1605639072 2058863285 3866187442 237939593 3142796200 3987100556 4117393836 767879195 3458454447 854032399 20256094 3595017013 2684868671 2648000944 3415391619 3527558333 1463445422 859860692 2192583766 510819402 1959442454 3047587046 405895674 3169711824 2592322265 1449740207 1351478520 1650570661 754236003 2598893484 2733695515 3306027596 362990316 3632588695 4137460730 2589773557 3426389202 4042637045 767195882 3553148844 801672128 1123322688 2597515797 3933266425 2933390123 781156313 224964946 2228558862 3029938584 3444086593 374899436 75178729 295850496 1391574878 754408007 2354432677 4195157318 1431513464 1378975774 1533656860 563260558 4008942178 1527697519 851119729 1339086309 2477474405 2422709651 1288484761 2076116018 3943995146 719942471 1647330018 1497009771 1411359351 3063194797 1287444721 2226275367 817899129 2062654638 2109670740 680456150 3966998938 2016161987 2380120980 497566692 2648709420 596788362 3148299718 2920202451 3866998808 675426399 4145610789 175588919 2596444437 3575691156 3905310272 4214403753 2340370693 1860183475 2638153178 1325060525 1939477012 95192724 2368985777 1792742032 3510998481 3362952051 3274039355 2251318663 1612982823 1681865699 3966850108 2109201617 2045234958 364171834 1719700780 281386056 3652106761 1480158091 3987412647 3204621463 152466532 1062087823 1387545198 3047030677 1729987470 2818193179 1747395504 2711735094 840146230 306134748 1266662231 374055699 1559842877 3885793417 1856529651 3734370479 4102862494 3070736611 4282270867 2335641829 2545335171 3083501848 1560529010 3691459920 4277926326 1861244132 2656119188 1017937573 3050329050 645705105 781670199 1322572265 2917911027 2471565349 2337070915 2121997344 2791028885 3775513531 4197971211 2256732270 396355424 438799201 2118203413 670495186 1925780444 2125780363 871831125 255 362436" option to reproduce the execution
0.00/0.01	c #vars 108
0.00/0.01	c #constraints 9
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      472      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      143 |      100 |      472      0 |        0 |        0
0.00/0.08	c  0.1s |       2 |      348 |      250 |      520      0 |        0 |        0
0.09/0.15	c  0.1s |       3 |      622 |      475 |      572      0 |        0 |        0
0.39/0.46	c  0.4s |       4 |     1009 |      813 |      630      0 |        0 |        0
0.69/0.78	c  0.8s |       5 |     1603 |     1320 |      693      2 |        0 |        0
0.99/1.02	c  1.0s |       6 |     2483 |     2081 |      840      3 |        0 |        0
1.69/1.77	c  1.8s |       7 |     3687 |     3223 |      925      5 |        0 |        0
2.29/2.31	c  2.3s |       8 |     5497 |     4936 |     1018      7 |        0 |        0
3.30/3.40	c  3.4s |       9 |     8254 |     7506 |     1120     11 |        0 |        0
3.40/3.49	c  3.5s |       9 |     8622 |     7799 |     1120     11 |        0 |        0
3.40/3.49	c #cpu_time = 3.472s
3.40/3.49	c #wall_clock_time = 3.472s
3.40/3.49	c #decision = 8622
3.40/3.49	c #random_decision = 30
3.40/3.49	c #conflict = 7799
3.40/3.49	c #restart = 9
3.40/3.49	o 367
3.40/3.49	c BCD2: updating upper bound: 511 -> 366
3.40/3.49	c BCD2: 0 <= obj <= 366
3.40/3.49	c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0
3.40/3.49	c BCD2: #sat=1 #unsat=1 bias=1/2
3.40/3.49	c Solving starts ...
3.40/3.49	c ============================[ Search Statistics ]============================
3.40/3.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.40/3.49	c       |         |          |          |    Limit     GC | Var      | Constra 
3.40/3.49	c =============================================================================
3.40/3.49	c  0.0s |       0 |        0 |        0 |     1120      0 |        0 |        0
3.49/3.50	c  0.0s |       0 |        7 |        0 |     1120      1 |        0 |        0
3.49/3.50	c #cpu_time = 0.008s
3.49/3.50	c #wall_clock_time = 0.008s
3.49/3.50	c #decision = 7
3.49/3.50	c #random_decision = 0
3.49/3.50	c #conflict = 0
3.49/3.50	c #restart = 0
3.49/3.50	c BCD2: found a new core of size 8: cost of the new core is >=2
3.49/3.50	c lower bound updated to 2
3.49/3.50	c BCD2: 2 <= obj <= 366
3.49/3.50	c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0
3.49/3.50	c BCD2: #sat=1 #unsat=2 bias=2/3
3.49/3.50	c Solving starts ...
3.49/3.50	c ============================[ Search Statistics ]============================
3.49/3.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.49/3.50	c       |         |          |          |    Limit     GC | Var      | Constra 
3.49/3.50	c =============================================================================
3.49/3.50	c  0.0s |       0 |        0 |        0 |     1120      0 |        0 |        0
3.49/3.52	c  0.0s |       1 |      174 |      100 |     1120      0 |        0 |        0
3.59/3.61	c  0.1s |       2 |      392 |      250 |     1120      0 |        0 |        0
3.59/3.65	c  0.2s |       3 |      643 |      475 |     1120      0 |        0 |        0
3.69/3.72	c  0.2s |       4 |      997 |      813 |     1120      1 |        0 |        0
3.89/3.92	c  0.4s |       5 |     1651 |     1320 |     1120      1 |        0 |        0
4.09/4.19	c  0.7s |       6 |     2503 |     2081 |     1120      3 |        0 |        0
4.40/4.44	c  0.9s |       7 |     3751 |     3223 |     1120      4 |        0 |        0
5.19/5.20	c  1.7s |       8 |     5697 |     4936 |     1232      6 |        0 |        0
5.69/5.75	c  2.2s |       9 |     8371 |     7506 |     1232     10 |        0 |        0
7.09/7.15	c  3.7s |      10 |    12483 |    11361 |     1356     14 |        0 |        0
8.90/8.92	c  5.4s |      11 |    18520 |    17144 |     1356     21 |        0 |        0
10.89/10.93	c  7.4s |      11 |    25354 |    23644 |     1492     28 |        0 |        0
11.59/11.67	c  8.2s |      12 |    27696 |    25819 |     1492     31 |        0 |        0
13.59/13.67	c 10.2s |      12 |    34220 |    32019 |     1642     37 |        0 |        0
15.59/15.68	c 12.2s |      12 |    40844 |    38419 |     1642     44 |        0 |        0
15.79/15.81	c 12.3s |      13 |    41284 |    38832 |     1642     44 |        0 |        0
17.79/17.86	c 14.4s |      13 |    47602 |    44932 |     1642     51 |        0 |        0
19.80/19.87	c 16.4s |      13 |    55207 |    52432 |     1807     58 |        0 |        0
21.49/21.53	c 18.0s |      14 |    61273 |    58352 |     1807     63 |        0 |        0
23.49/23.53	c 20.0s |      14 |    69615 |    66252 |     1807     71 |        0 |        0
25.49/25.55	c 22.0s |      14 |    77309 |    73552 |     1807     78 |        0 |        0
27.49/27.56	c 24.1s |      14 |    84889 |    80852 |     1988     85 |        0 |        0
29.49/29.55	c 26.1s |      15 |    92188 |    87632 |     1988     90 |        0 |        0
31.49/31.57	c 28.1s |      15 |   100314 |    95532 |     1988     97 |        0 |        0
33.49/33.58	c 30.1s |      15 |   105304 |   100032 |     1988    101 |        0 |        0
35.59/35.61	c 32.1s |      15 |   111941 |   106532 |     1988    107 |        0 |        0
37.58/37.63	c 34.1s |      15 |   118629 |   113132 |     1988    112 |        0 |        0
39.59/39.66	c 36.2s |      15 |   125464 |   119832 |     1988    118 |        0 |        0
41.58/41.68	c 38.2s |      15 |   132157 |   126432 |     2187    123 |        0 |        0
43.18/43.26	c 39.8s |      16 |   137317 |   131552 |     2187    127 |        0 |        0
45.19/45.27	c 41.8s |      16 |   142565 |   136352 |     2187    131 |        0 |        0
47.18/47.28	c 43.8s |      16 |   147886 |   141452 |     2187    135 |        0 |        0
49.28/49.30	c 45.8s |      16 |   153605 |   146952 |     2187    140 |        0 |        0
51.28/51.33	c 47.8s |      16 |   159019 |   152152 |     2187    144 |        0 |        0
53.28/53.35	c 49.9s |      16 |   164011 |   156952 |     2187    148 |        0 |        0
55.28/55.38	c 51.9s |      16 |   169425 |   162152 |     2187    152 |        0 |        0
57.38/57.44	c 53.9s |      16 |   174952 |   167452 |     2187    156 |        0 |        0
59.39/59.45	c 56.0s |      16 |   180125 |   172352 |     2187    160 |        0 |        0
61.48/61.50	c 58.0s |      16 |   185502 |   177552 |     2187    164 |        0 |        0
63.48/63.51	c 60.0s |      16 |   190821 |   182752 |     2187    168 |        0 |        0
65.48/65.54	c 62.0s |      16 |   196315 |   188152 |     2187    172 |        0 |        0
67.48/67.55	c 64.1s |      16 |   201983 |   193752 |     2406    176 |        0 |        0
68.88/68.92	c 65.4s |      17 |   205702 |   197432 |     2406    179 |        0 |        0
70.88/70.94	c 67.4s |      17 |   212543 |   204032 |     2406    184 |        0 |        0
72.87/72.97	c 69.5s |      17 |   219129 |   210532 |     2406    188 |        0 |        0
74.97/75.01	c 71.5s |      17 |   225119 |   216432 |     2406    193 |        0 |        0
76.98/77.03	c 73.5s |      17 |   230966 |   222132 |     2406    197 |        0 |        0
78.97/79.05	c 75.5s |      17 |   236778 |   227732 |     2406    201 |        0 |        0
80.97/81.05	c 77.5s |      17 |   242093 |   232932 |     2406    205 |        0 |        0
82.97/83.07	c 79.6s |      17 |   247592 |   238332 |     2406    209 |        0 |        0
84.97/85.09	c 81.6s |      17 |   254469 |   245132 |     2406    213 |        0 |        0
87.07/87.12	c 83.6s |      17 |   261547 |   252032 |     2406    219 |        0 |        0
89.08/89.14	c 85.6s |      17 |   268775 |   258932 |     2406    224 |        0 |        0
91.07/91.18	c 87.7s |      17 |   274658 |   264532 |     2406    228 |        0 |        0
93.17/93.20	c 89.7s |      17 |   280479 |   270132 |     2406    232 |        0 |        0
95.17/95.24	c 91.7s |      17 |   286444 |   275932 |     2406    236 |        0 |        0
97.16/97.24	c 93.7s |      17 |   291736 |   281032 |     2406    240 |        0 |        0
99.16/99.26	c 95.8s |      17 |   296566 |   285732 |     2406    243 |        0 |        0
101.17/101.28	c 97.8s |      17 |   301015 |   290132 |     2647    246 |        0 |        0
103.16/103.29	c 99.8s |      17 |   306009 |   295032 |     2647    250 |        0 |        0
103.76/103.80	c  100s |      18 |   307267 |   296252 |     2647    250 |        0 |        0
105.76/105.82	c  102s |      18 |   313981 |   302852 |     2647    255 |        0 |        0
107.77/107.86	c  104s |      18 |   321512 |   310252 |     2647    260 |        0 |        0
109.76/109.87	c  106s |      18 |   326945 |   315452 |     2647    263 |        0 |        0
111.86/111.90	c  108s |      18 |   333256 |   321552 |     2647    267 |        0 |        0
113.86/113.93	c  110s |      18 |   339496 |   327652 |     2647    271 |        0 |        0
115.86/115.94	c  112s |      18 |   345553 |   333552 |     2647    275 |        0 |        0
117.86/117.97	c  114s |      18 |   352142 |   339952 |     2647    280 |        0 |        0
119.86/119.98	c  116s |      18 |   358733 |   346352 |     2647    284 |        0 |        0
121.96/122.01	c  118s |      18 |   364752 |   352152 |     2647    288 |        0 |        0
123.96/124.03	c  120s |      18 |   370469 |   357652 |     2647    291 |        0 |        0
125.96/126.05	c  122s |      18 |   376306 |   363252 |     2647    295 |        0 |        0
127.96/128.05	c  124s |      18 |   382029 |   368852 |     2647    299 |        0 |        0
129.96/130.08	c  126s |      18 |   388134 |   374652 |     2647    303 |        0 |        0
131.96/132.10	c  128s |      18 |   394512 |   380552 |     2647    307 |        0 |        0
134.05/134.11	c  130s |      18 |   400515 |   386252 |     2647    310 |        0 |        0
136.05/136.11	c  132s |      18 |   406687 |   392252 |     2647    315 |        0 |        0
138.05/138.11	c  134s |      18 |   412417 |   397852 |     2647    318 |        0 |        0
140.05/140.12	c  136s |      18 |   418995 |   404252 |     2647    323 |        0 |        0
142.05/142.14	c  138s |      18 |   425070 |   410052 |     2647    326 |        0 |        0
144.06/144.15	c  140s |      18 |   431240 |   416052 |     2647    330 |        0 |        0
146.05/146.16	c  142s |      18 |   437753 |   422352 |     2647    335 |        0 |        0
148.15/148.24	c  144s |      18 |   443403 |   427852 |     2647    338 |        0 |        0
150.15/150.24	c  146s |      18 |   448453 |   432652 |     2647    342 |        0 |        0
152.15/152.24	c  148s |      18 |   454838 |   438852 |     2912    345 |        0 |        0
154.05/154.17	c  150s |      19 |   460756 |   444482 |     2912    349 |        0 |        0
156.05/156.19	c  152s |      19 |   467904 |   451382 |     2912    353 |        0 |        0
158.14/158.22	c  154s |      19 |   474108 |   457482 |     2912    357 |        0 |        0
160.14/160.24	c  156s |      19 |   480155 |   463382 |     2912    361 |        0 |        0
162.14/162.27	c  158s |      19 |   486254 |   469382 |     2912    364 |        0 |        0
164.15/164.29	c  160s |      19 |   492649 |   475582 |     2912    368 |        0 |        0
166.25/166.30	c  162s |      19 |   498898 |   481682 |     2912    372 |        0 |        0
168.26/168.32	c  164s |      19 |   504985 |   487582 |     2912    376 |        0 |        0
170.25/170.32	c  166s |      19 |   511001 |   493482 |     2912    379 |        0 |        0
172.25/172.32	c  168s |      19 |   518399 |   500682 |     2912    384 |        0 |        0
174.25/174.36	c  170s |      19 |   524750 |   506982 |     2912    388 |        0 |        0
176.25/176.37	c  172s |      19 |   531149 |   513282 |     2912    391 |        0 |        0
178.25/178.39	c  174s |      19 |   538451 |   520382 |     2912    396 |        0 |        0
180.24/180.40	c  176s |      19 |   545649 |   527382 |     2912    400 |        0 |        0
182.34/182.42	c  178s |      19 |   552707 |   534282 |     2912    404 |        0 |        0
184.34/184.43	c  180s |      19 |   559603 |   540982 |     2912    409 |        0 |        0
186.34/186.45	c  182s |      19 |   566157 |   547482 |     2912    413 |        0 |        0
188.34/188.47	c  184s |      19 |   571903 |   553182 |     2912    416 |        0 |        0
190.35/190.48	c  186s |      19 |   577767 |   558982 |     2912    420 |        0 |        0
192.44/192.51	c  189s |      19 |   584528 |   565582 |     2912    424 |        0 |        0
194.44/194.52	c  191s |      19 |   590785 |   571782 |     2912    428 |        0 |        0
196.44/196.54	c  193s |      19 |   597428 |   578282 |     2912    432 |        0 |        0
198.43/198.57	c  195s |      19 |   604571 |   585282 |     2912    436 |        0 |        0
200.43/200.59	c  197s |      19 |   611498 |   592082 |     2912    440 |        0 |        0
202.53/202.62	c  199s |      19 |   618400 |   598882 |     2912    444 |        0 |        0
204.54/204.65	c  201s |      19 |   624972 |   605382 |     2912    448 |        0 |        0
206.53/206.67	c  203s |      19 |   630525 |   610882 |     2912    452 |        0 |        0
208.53/208.69	c  205s |      19 |   635961 |   616282 |     2912    455 |        0 |        0
210.63/210.71	c  207s |      19 |   641851 |   621982 |     2912    459 |        0 |        0
212.63/212.71	c  209s |      19 |   647818 |   627782 |     2912    462 |        0 |        0
214.63/214.73	c  211s |      19 |   653824 |   633682 |     2912    466 |        0 |        0
216.63/216.73	c  213s |      19 |   659562 |   639282 |     2912    469 |        0 |        0
218.62/218.75	c  215s |      19 |   664990 |   644682 |     2912    473 |        0 |        0
220.62/220.76	c  217s |      19 |   670771 |   650382 |     2912    476 |        0 |        0
222.62/222.79	c  219s |      19 |   676460 |   655982 |     3204    480 |        0 |        0
224.72/224.80	c  221s |      19 |   682096 |   661582 |     3204    483 |        0 |        0
226.42/226.54	c  223s |      20 |   687393 |   666827 |     3204    486 |        0 |        0
228.42/228.56	c  225s |      20 |   692578 |   671727 |     3204    489 |        0 |        0
230.42/230.58	c  227s |      20 |   697364 |   676327 |     3204    491 |        0 |        0
232.52/232.60	c  229s |      20 |   702963 |   681827 |     3204    494 |        0 |        0
234.52/234.62	c  231s |      20 |   707323 |   686027 |     3204    497 |        0 |        0
236.52/236.68	c  233s |      20 |   712143 |   690727 |     3204    499 |        0 |        0
238.62/238.73	c  235s |      20 |   716823 |   695127 |     3204    502 |        0 |        0
240.62/240.74	c  237s |      20 |   720577 |   698627 |     3204    504 |        0 |        0
242.62/242.74	c  239s |      20 |   724591 |   702427 |     3204    506 |        0 |        0
244.61/244.77	c  241s |      20 |   728248 |   706027 |     3204    508 |        0 |        0
246.61/246.77	c  243s |      20 |   732827 |   710527 |     3204    510 |        0 |        0
248.71/248.80	c  245s |      20 |   737208 |   714827 |     3204    513 |        0 |        0
250.72/250.83	c  247s |      20 |   741442 |   718927 |     3204    515 |        0 |        0
252.71/252.84	c  249s |      20 |   745129 |   722527 |     3204    517 |        0 |        0
254.71/254.86	c  251s |      20 |   748182 |   725427 |     3204    519 |        0 |        0
256.71/256.87	c  253s |      20 |   751549 |   728727 |     3204    520 |        0 |        0
258.71/258.88	c  255s |      20 |   754966 |   732127 |     3204    522 |        0 |        0
260.81/260.91	c  257s |      20 |   758736 |   735727 |     3204    524 |        0 |        0
262.81/262.92	c  259s |      20 |   763397 |   740227 |     3204    527 |        0 |        0
264.81/264.95	c  261s |      20 |   770313 |   747027 |     3204    531 |        0 |        0
266.81/266.98	c  263s |      20 |   776610 |   753127 |     3204    534 |        0 |        0
268.80/268.98	c  265s |      20 |   782240 |   758427 |     3204    537 |        0 |        0
270.80/270.99	c  267s |      20 |   787231 |   763227 |     3204    540 |        0 |        0
272.90/273.01	c  269s |      20 |   792834 |   768727 |     3204    543 |        0 |        0
274.91/275.04	c  271s |      20 |   798949 |   774727 |     3204    546 |        0 |        0
276.90/277.06	c  273s |      20 |   805078 |   780627 |     3204    550 |        0 |        0
278.90/279.06	c  275s |      20 |   810503 |   785727 |     3204    553 |        0 |        0
280.90/281.07	c  277s |      20 |   816393 |   791427 |     3204    556 |        0 |        0
282.90/283.09	c  279s |      20 |   822984 |   797827 |     3204    559 |        0 |        0
285.00/285.11	c  281s |      20 |   829474 |   804127 |     3204    563 |        0 |        0
287.00/287.12	c  283s |      20 |   835200 |   809727 |     3204    566 |        0 |        0
288.99/289.14	c  285s |      20 |   840721 |   815027 |     3204    569 |        0 |        0
290.99/291.14	c  287s |      20 |   846362 |   820427 |     3204    572 |        0 |        0
292.99/293.16	c  289s |      20 |   852160 |   826027 |     3204    575 |        0 |        0
294.99/295.19	c  291s |      20 |   858071 |   831727 |     3204    578 |        0 |        0
297.09/297.20	c  293s |      20 |   862884 |   836327 |     3204    581 |        0 |        0
299.10/299.26	c  295s |      20 |   869004 |   842127 |     3204    584 |        0 |        0
301.09/301.29	c  297s |      20 |   873767 |   846727 |     3204    587 |        0 |        0
303.09/303.29	c  299s |      20 |   879829 |   852627 |     3204    590 |        0 |        0
305.19/305.30	c  301s |      20 |   886155 |   858427 |     3204    594 |        0 |        0
307.19/307.32	c  303s |      20 |   893022 |   865127 |     3204    597 |        0 |        0
309.19/309.34	c  305s |      20 |   899933 |   871927 |     3204    601 |        0 |        0
311.19/311.35	c  307s |      20 |   906278 |   877927 |     3204    605 |        0 |        0
313.19/313.37	c  309s |      20 |   912879 |   884327 |     3204    608 |        0 |        0
315.19/315.39	c  311s |      20 |   919538 |   890527 |     3204    612 |        0 |        0
317.28/317.40	c  313s |      20 |   925615 |   896227 |     3204    615 |        0 |        0
319.28/319.41	c  315s |      20 |   931686 |   902027 |     3204    618 |        0 |        0
321.28/321.43	c  317s |      20 |   938331 |   908427 |     3204    622 |        0 |        0
323.29/323.46	c  319s |      20 |   945313 |   915227 |     3204    626 |        0 |        0
325.28/325.47	c  321s |      20 |   952003 |   921727 |     3204    629 |        0 |        0
327.38/327.50	c  324s |      20 |   958787 |   928227 |     3204    633 |        0 |        0
329.38/329.53	c  326s |      20 |   965539 |   934727 |     3204    637 |        0 |        0
331.39/331.54	c  328s |      20 |   971924 |   940927 |     3204    640 |        0 |        0
333.39/333.55	c  330s |      20 |   978818 |   947627 |     3204    644 |        0 |        0
335.39/335.55	c  332s |      20 |   985440 |   954027 |     3204    648 |        0 |        0
337.38/337.58	c  334s |      20 |   991964 |   960327 |     3204    651 |        0 |        0
339.48/339.60	c  336s |      20 |   998663 |   966727 |     3204    655 |        0 |        0
341.48/341.62	c  338s |      20 |  1005493 |   973127 |     3204    659 |        0 |        0
343.48/343.64	c  340s |      20 |  1011888 |   979227 |     3204    662 |        0 |        0
345.48/345.66	c  342s |      20 |  1018584 |   985827 |     3525    666 |        0 |        0
347.48/347.68	c  344s |      20 |  1025105 |   992227 |     3525    669 |        0 |        0
349.57/349.71	c  346s |      20 |  1031552 |   998527 |     3525    672 |        0 |        0
350.17/350.33	c  346s |      21 |  1033430 |  1000345 |     3525    673 |        0 |        0
352.17/352.35	c  348s |      21 |  1041291 |  1007945 |     3525    677 |        0 |        0
354.18/354.37	c  350s |      21 |  1047824 |  1014345 |     3525    680 |        0 |        0
356.17/356.40	c  352s |      21 |  1054460 |  1020845 |     3525    684 |        0 |        0
358.27/358.42	c  354s |      21 |  1060533 |  1026845 |     3525    687 |        0 |        0
360.27/360.42	c  356s |      21 |  1066976 |  1033145 |     3525    690 |        0 |        0
362.27/362.43	c  358s |      21 |  1073174 |  1039245 |     3525    693 |        0 |        0
364.27/364.44	c  360s |      21 |  1080237 |  1046145 |     3525    697 |        0 |        0
366.27/366.46	c  362s |      21 |  1086663 |  1052445 |     3525    700 |        0 |        0
368.26/368.47	c  364s |      21 |  1093158 |  1058645 |     3525    703 |        0 |        0
370.26/370.49	c  366s |      21 |  1099561 |  1064945 |     3525    707 |        0 |        0
372.26/372.49	c  368s |      21 |  1106004 |  1071245 |     3525    710 |        0 |        0
374.36/374.50	c  371s |      21 |  1113032 |  1078045 |     3525    713 |        0 |        0
376.36/376.53	c  373s |      21 |  1119600 |  1084545 |     3525    717 |        0 |        0
378.37/378.56	c  375s |      21 |  1126177 |  1090945 |     3525    720 |        0 |        0
380.36/380.57	c  377s |      21 |  1132759 |  1097445 |     3525    724 |        0 |        0
382.36/382.58	c  379s |      21 |  1138876 |  1103445 |     3525    727 |        0 |        0
384.36/384.59	c  381s |      21 |  1145273 |  1109745 |     3525    730 |        0 |        0
386.46/386.61	c  383s |      21 |  1151590 |  1115945 |     3525    733 |        0 |        0
388.46/388.64	c  385s |      21 |  1157873 |  1122045 |     3525    736 |        0 |        0
390.46/390.64	c  387s |      21 |  1164167 |  1128245 |     3525    740 |        0 |        0
392.45/392.65	c  389s |      21 |  1170497 |  1134445 |     3525    743 |        0 |        0
394.45/394.66	c  391s |      21 |  1177194 |  1140945 |     3525    746 |        0 |        0
396.45/396.67	c  393s |      21 |  1183989 |  1147445 |     3525    750 |        0 |        0
398.55/398.70	c  395s |      21 |  1190581 |  1153845 |     3525    753 |        0 |        0
400.55/400.71	c  397s |      21 |  1196653 |  1159745 |     3525    756 |        0 |        0
402.56/402.72	c  399s |      21 |  1202895 |  1165745 |     3525    759 |        0 |        0
404.55/404.75	c  401s |      21 |  1209262 |  1171845 |     3525    762 |        0 |        0
406.54/406.75	c  403s |      21 |  1215406 |  1177745 |     3525    765 |        0 |        0
408.54/408.75	c  405s |      21 |  1221832 |  1183945 |     3525    769 |        0 |        0
410.54/410.77	c  407s |      21 |  1228276 |  1190145 |     3525    772 |        0 |        0
412.54/412.78	c  409s |      21 |  1234140 |  1195845 |     3525    775 |        0 |        0
414.65/414.80	c  411s |      21 |  1240638 |  1201945 |     3525    778 |        0 |        0
416.64/416.82	c  413s |      21 |  1246755 |  1207845 |     3525    781 |        0 |        0
418.64/418.85	c  415s |      21 |  1253239 |  1214145 |     3525    785 |        0 |        0
420.64/420.85	c  417s |      21 |  1259595 |  1220345 |     3525    788 |        0 |        0
422.64/422.86	c  419s |      21 |  1266071 |  1226645 |     3525    791 |        0 |        0
424.64/424.88	c  421s |      21 |  1272628 |  1233045 |     3525    794 |        0 |        0
426.64/426.90	c  423s |      21 |  1279331 |  1239545 |     3525    798 |        0 |        0
428.73/428.91	c  425s |      21 |  1285497 |  1245545 |     3525    801 |        0 |        0
430.73/430.92	c  427s |      21 |  1291709 |  1251445 |     3525    804 |        0 |        0
432.73/432.95	c  429s |      21 |  1297926 |  1257445 |     3525    807 |        0 |        0
434.73/434.98	c  431s |      21 |  1304216 |  1263545 |     3525    810 |        0 |        0
436.73/436.99	c  433s |      21 |  1310526 |  1269545 |     3525    813 |        0 |        0
438.74/439.00	c  435s |      21 |  1316541 |  1275245 |     3525    816 |        0 |        0
440.83/441.01	c  437s |      21 |  1322407 |  1280945 |     3525    819 |        0 |        0
442.83/443.02	c  439s |      21 |  1328183 |  1286545 |     3525    822 |        0 |        0
444.83/445.05	c  441s |      21 |  1334198 |  1292345 |     3525    825 |        0 |        0
446.83/447.06	c  443s |      21 |  1340533 |  1298445 |     3525    829 |        0 |        0
448.83/449.08	c  445s |      21 |  1347193 |  1304845 |     3525    832 |        0 |        0
450.83/451.10	c  447s |      21 |  1353894 |  1311245 |     3525    835 |        0 |        0
452.93/453.10	c  449s |      21 |  1359808 |  1316745 |     3525    838 |        0 |        0
454.93/455.11	c  451s |      21 |  1366412 |  1322945 |     3525    841 |        0 |        0
456.92/457.12	c  453s |      21 |  1373113 |  1329345 |     3525    845 |        0 |        0
458.92/459.16	c  455s |      21 |  1379926 |  1336045 |     3525    848 |        0 |        0
460.92/461.19	c  457s |      21 |  1386092 |  1342045 |     3525    851 |        0 |        0
463.03/463.21	c  459s |      21 |  1392017 |  1347745 |     3525    854 |        0 |        0
465.02/465.22	c  461s |      21 |  1398477 |  1354045 |     3525    858 |        0 |        0
467.02/467.26	c  463s |      21 |  1405062 |  1360345 |     3525    861 |        0 |        0
469.02/469.29	c  465s |      21 |  1411346 |  1366445 |     3525    864 |        0 |        0
471.12/471.31	c  467s |      21 |  1417223 |  1372145 |     3525    867 |        0 |        0
473.12/473.33	c  469s |      21 |  1423152 |  1377945 |     3525    870 |        0 |        0
475.12/475.35	c  471s |      21 |  1429409 |  1384045 |     3525    873 |        0 |        0
477.11/477.35	c  473s |      21 |  1435517 |  1389945 |     3525    876 |        0 |        0
479.11/479.35	c  475s |      21 |  1441721 |  1395845 |     3525    879 |        0 |        0
481.11/481.38	c  477s |      21 |  1447840 |  1401745 |     3525    882 |        0 |        0
483.21/483.40	c  479s |      21 |  1453976 |  1407645 |     3525    886 |        0 |        0
485.21/485.41	c  481s |      21 |  1460262 |  1413645 |     3525    889 |        0 |        0
487.22/487.41	c  483s |      21 |  1466111 |  1419345 |     3525    892 |        0 |        0
489.21/489.43	c  485s |      21 |  1472325 |  1425345 |     3525    895 |        0 |        0
491.21/491.45	c  487s |      21 |  1478446 |  1431345 |     3525    898 |        0 |        0
493.21/493.46	c  489s |      21 |  1484298 |  1437045 |     3525    901 |        0 |        0
495.21/495.49	c  491s |      21 |  1490962 |  1443545 |     3525    904 |        0 |        0
497.30/497.51	c  494s |      21 |  1497235 |  1449645 |     3525    907 |        0 |        0
499.31/499.54	c  496s |      21 |  1502944 |  1455145 |     3525    910 |        0 |        0
501.30/501.56	c  498s |      21 |  1508812 |  1460845 |     3525    913 |        0 |        0
503.30/503.56	c  500s |      21 |  1514858 |  1466745 |     3525    916 |        0 |        0
505.30/505.58	c  502s |      21 |  1521050 |  1472745 |     3525    919 |        0 |        0
507.30/507.58	c  504s |      21 |  1527393 |  1478845 |     3525    923 |        0 |        0
509.30/509.59	c  506s |      21 |  1533445 |  1484545 |     3878    925 |        0 |        0
511.30/511.59	c  508s |      21 |  1539550 |  1490445 |     3878    928 |        0 |        0
513.40/513.61	c  510s |      21 |  1545048 |  1495745 |     3878    931 |        0 |        0
515.10/515.34	c  511s |      22 |  1550053 |  1500622 |     3878    933 |        0 |        0
517.09/517.36	c  513s |      22 |  1554715 |  1505022 |     3878    935 |        0 |        0
519.10/519.39	c  515s |      22 |  1560210 |  1510322 |     3878    938 |        0 |        0
521.09/521.40	c  517s |      22 |  1566036 |  1515922 |     3878    940 |        0 |        0
523.19/523.41	c  519s |      22 |  1572098 |  1521722 |     3878    943 |        0 |        0
525.19/525.45	c  521s |      22 |  1577752 |  1527122 |     3878    946 |        0 |        0
527.19/527.47	c  523s |      22 |  1582955 |  1532122 |     3878    948 |        0 |        0
529.19/529.48	c  525s |      22 |  1588488 |  1537422 |     3878    951 |        0 |        0
531.29/531.51	c  528s |      22 |  1593901 |  1542722 |     3878    953 |        0 |        0
533.29/533.52	c  530s |      22 |  1598953 |  1547622 |     3878    956 |        0 |        0
535.28/535.53	c  532s |      22 |  1604246 |  1552822 |     3878    958 |        0 |        0
537.28/537.53	c  534s |      22 |  1609559 |  1558022 |     3878    961 |        0 |        0
539.28/539.59	c  536s |      22 |  1615152 |  1563522 |     3878    963 |        0 |        0
541.38/541.60	c  538s |      22 |  1620524 |  1568822 |     3878    966 |        0 |        0
543.38/543.63	c  540s |      22 |  1626126 |  1574222 |     3878    968 |        0 |        0
545.38/545.66	c  542s |      22 |  1631597 |  1579322 |     3878    971 |        0 |        0
547.37/547.69	c  544s |      22 |  1636663 |  1584022 |     3878    973 |        0 |        0
549.47/549.72	c  546s |      22 |  1642510 |  1589722 |     3878    976 |        0 |        0
551.47/551.74	c  548s |      22 |  1648322 |  1595322 |     3878    979 |        0 |        0
553.47/553.76	c  550s |      22 |  1653666 |  1600522 |     3878    981 |        0 |        0
555.57/555.80	c  552s |      22 |  1658832 |  1605522 |     3878    984 |        0 |        0
557.48/557.80	c  554s |      22 |  1663995 |  1610422 |     3878    986 |        0 |        0
559.57/559.81	c  556s |      22 |  1669222 |  1615522 |     3878    988 |        0 |        0
561.57/561.83	c  558s |      22 |  1674195 |  1620322 |     3878    991 |        0 |        0
563.57/563.85	c  560s |      22 |  1679433 |  1625422 |     3878    993 |        0 |        0
565.57/565.88	c  562s |      22 |  1683914 |  1629722 |     3878    995 |        0 |        0
567.67/567.93	c  564s |      22 |  1689542 |  1635222 |     3878    998 |        0 |        0
569.67/569.93	c  566s |      22 |  1694218 |  1639722 |     3878   1000 |        0 |        0
571.66/571.94	c  568s |      22 |  1699240 |  1644622 |     3878   1003 |        0 |        0
573.66/573.97	c  570s |      22 |  1704586 |  1649822 |     3878   1005 |        0 |        0
575.66/575.98	c  572s |      22 |  1709543 |  1654622 |     3878   1007 |        0 |        0
577.76/578.00	c  574s |      22 |  1714846 |  1659622 |     3878   1010 |        0 |        0
579.76/580.02	c  576s |      22 |  1719823 |  1664122 |     3878   1012 |        0 |        0
581.77/582.04	c  578s |      22 |  1725091 |  1669222 |     3878   1014 |        0 |        0
583.76/584.08	c  580s |      22 |  1729578 |  1673522 |     3878   1017 |        0 |        0
585.77/586.09	c  582s |      22 |  1735027 |  1678822 |     3878   1019 |        0 |        0
587.87/588.11	c  584s |      22 |  1740342 |  1684022 |     3878   1022 |        0 |        0
589.87/590.11	c  586s |      22 |  1744832 |  1688422 |     3878   1024 |        0 |        0
591.87/592.14	c  588s |      22 |  1749674 |  1693022 |     3878   1026 |        0 |        0
593.87/594.15	c  590s |      22 |  1753995 |  1697022 |     3878   1028 |        0 |        0
595.87/596.18	c  592s |      22 |  1758462 |  1701222 |     3878   1030 |        0 |        0
597.86/598.19	c  594s |      22 |  1763199 |  1705722 |     3878   1032 |        0 |        0
599.96/600.23	c  596s |      22 |  1767853 |  1710122 |     3878   1034 |        0 |        0
601.96/602.23	c  598s |      22 |  1772502 |  1714622 |     3878   1036 |        0 |        0
603.96/604.24	c  600s |      22 |  1777278 |  1719122 |     3878   1039 |        0 |        0
605.96/606.26	c  602s |      22 |  1781754 |  1723322 |     3878   1041 |        0 |        0
607.96/608.27	c  604s |      22 |  1786610 |  1728022 |     3878   1043 |        0 |        0
609.96/610.28	c  606s |      22 |  1793513 |  1734822 |     3878   1046 |        0 |        0
611.96/612.28	c  608s |      22 |  1799907 |  1741122 |     3878   1049 |        0 |        0
614.06/614.30	c  610s |      22 |  1806675 |  1747622 |     3878   1052 |        0 |        0
616.05/616.31	c  612s |      22 |  1812830 |  1753622 |     3878   1055 |        0 |        0
618.06/618.33	c  614s |      22 |  1818458 |  1759022 |     3878   1058 |        0 |        0
620.05/620.36	c  616s |      22 |  1824225 |  1764522 |     3878   1060 |        0 |        0
622.05/622.37	c  618s |      22 |  1830216 |  1770322 |     3878   1063 |        0 |        0
624.05/624.38	c  620s |      22 |  1836230 |  1776222 |     3878   1066 |        0 |        0
626.15/626.41	c  622s |      22 |  1842264 |  1782122 |     3878   1069 |        0 |        0
628.15/628.41	c  624s |      22 |  1848325 |  1788022 |     3878   1072 |        0 |        0
630.15/630.42	c  626s |      22 |  1854280 |  1793822 |     3878   1074 |        0 |        0
632.14/632.44	c  628s |      22 |  1860010 |  1799422 |     3878   1077 |        0 |        0
634.14/634.45	c  630s |      22 |  1865841 |  1805122 |     3878   1080 |        0 |        0
636.14/636.47	c  632s |      22 |  1871227 |  1810222 |     3878   1082 |        0 |        0
638.14/638.48	c  634s |      22 |  1877172 |  1815922 |     3878   1085 |        0 |        0
640.24/640.50	c  636s |      22 |  1883198 |  1821622 |     3878   1088 |        0 |        0
642.25/642.51	c  639s |      22 |  1889079 |  1827222 |     3878   1090 |        0 |        0
644.24/644.52	c  641s |      22 |  1895147 |  1833122 |     3878   1093 |        0 |        0
646.24/646.54	c  643s |      22 |  1901236 |  1839022 |     3878   1096 |        0 |        0
648.24/648.56	c  645s |      22 |  1906788 |  1844422 |     3878   1098 |        0 |        0
650.24/650.56	c  647s |      22 |  1911798 |  1849222 |     3878   1101 |        0 |        0
652.23/652.57	c  649s |      22 |  1917822 |  1855122 |     3878   1103 |        0 |        0
654.34/654.61	c  651s |      22 |  1924175 |  1861122 |     3878   1106 |        0 |        0
656.33/656.62	c  653s |      22 |  1929949 |  1866722 |     3878   1109 |        0 |        0
658.33/658.62	c  655s |      22 |  1936454 |  1873022 |     3878   1112 |        0 |        0
660.33/660.65	c  657s |      22 |  1943411 |  1879722 |     3878   1115 |        0 |        0
662.33/662.65	c  659s |      22 |  1950174 |  1886222 |     3878   1118 |        0 |        0
664.33/664.65	c  661s |      22 |  1956314 |  1892122 |     3878   1121 |        0 |        0
666.33/666.65	c  663s |      22 |  1961767 |  1897422 |     3878   1124 |        0 |        0
668.32/668.69	c  665s |      22 |  1967088 |  1902622 |     3878   1126 |        0 |        0
670.42/670.71	c  667s |      22 |  1971867 |  1907222 |     3878   1128 |        0 |        0
672.42/672.74	c  669s |      22 |  1977475 |  1912622 |     3878   1131 |        0 |        0
674.42/674.79	c  671s |      22 |  1982672 |  1917522 |     3878   1133 |        0 |        0
676.52/676.80	c  673s |      22 |  1988612 |  1923222 |     3878   1136 |        0 |        0
678.53/678.81	c  675s |      22 |  1994378 |  1928822 |     3878   1139 |        0 |        0
680.52/680.85	c  677s |      22 |  2000093 |  1934322 |     3878   1141 |        0 |        0
682.52/682.86	c  679s |      22 |  2006499 |  1940522 |     3878   1144 |        0 |        0
684.52/684.88	c  681s |      22 |  2013231 |  1947022 |     3878   1147 |        0 |        0
686.62/686.90	c  683s |      22 |  2019130 |  1952722 |     3878   1150 |        0 |        0
688.62/688.91	c  685s |      22 |  2025095 |  1958322 |     3878   1153 |        0 |        0
690.62/690.91	c  687s |      22 |  2031498 |  1964522 |     3878   1156 |        0 |        0
692.61/692.92	c  689s |      22 |  2037483 |  1970222 |     3878   1158 |        0 |        0
694.61/694.94	c  691s |      22 |  2043671 |  1976122 |     3878   1161 |        0 |        0
696.61/696.94	c  693s |      22 |  2050151 |  1982322 |     3878   1164 |        0 |        0
698.61/698.94	c  695s |      22 |  2056625 |  1988622 |     3878   1167 |        0 |        0
700.61/700.96	c  697s |      22 |  2062933 |  1994622 |     3878   1170 |        0 |        0
702.72/703.01	c  699s |      22 |  2069855 |  2001222 |     3878   1173 |        0 |        0
704.71/705.02	c  701s |      22 |  2076032 |  2007122 |     3878   1176 |        0 |        0
706.70/707.04	c  703s |      22 |  2082590 |  2013422 |     3878   1179 |        0 |        0
708.70/709.05	c  705s |      22 |  2088578 |  2019222 |     3878   1182 |        0 |        0
710.70/711.06	c  707s |      22 |  2095377 |  2025822 |     3878   1185 |        0 |        0
712.70/713.09	c  709s |      22 |  2101943 |  2032222 |     3878   1188 |        0 |        0
714.71/715.10	c  711s |      22 |  2108406 |  2038522 |     3878   1191 |        0 |        0
716.80/717.12	c  713s |      22 |  2115266 |  2045122 |     3878   1194 |        0 |        0
718.80/719.15	c  715s |      22 |  2121906 |  2051622 |     3878   1197 |        0 |        0
720.80/721.15	c  717s |      22 |  2128560 |  2058022 |     3878   1200 |        0 |        0
722.90/723.20	c  719s |      22 |  2134841 |  2064122 |     3878   1203 |        0 |        0
724.90/725.20	c  721s |      22 |  2141221 |  2070322 |     3878   1206 |        0 |        0
726.90/727.24	c  723s |      22 |  2147806 |  2076722 |     3878   1209 |        0 |        0
728.90/729.24	c  725s |      22 |  2154177 |  2082922 |     3878   1212 |        0 |        0
730.90/731.27	c  727s |      22 |  2160189 |  2088522 |     3878   1215 |        0 |        0
732.99/733.34	c  729s |      22 |  2165714 |  2093722 |     3878   1218 |        0 |        0
734.99/735.35	c  731s |      22 |  2171023 |  2098622 |     3878   1220 |        0 |        0
736.99/737.38	c  733s |      22 |  2177762 |  2105122 |     3878   1223 |        0 |        0
739.00/739.39	c  735s |      22 |  2184617 |  2111722 |     3878   1226 |        0 |        0
741.10/741.41	c  737s |      22 |  2190708 |  2117422 |     3878   1229 |        0 |        0
743.09/743.44	c  739s |      22 |  2197197 |  2123722 |     3878   1232 |        0 |        0
745.09/745.46	c  741s |      22 |  2203346 |  2129722 |     3878   1235 |        0 |        0
747.19/747.50	c  743s |      22 |  2209760 |  2135922 |     3878   1238 |        0 |        0
749.19/749.50	c  746s |      22 |  2215997 |  2141922 |     3878   1241 |        0 |        0
751.19/751.51	c  748s |      22 |  2222496 |  2148222 |     3878   1244 |        0 |        0
753.20/753.54	c  750s |      22 |  2228213 |  2153622 |     3878   1246 |        0 |        0
755.19/755.55	c  752s |      22 |  2234063 |  2159222 |     3878   1249 |        0 |        0
757.19/757.59	c  754s |      22 |  2239917 |  2164922 |     3878   1252 |        0 |        0
759.29/759.60	c  756s |      22 |  2246194 |  2171022 |     3878   1254 |        0 |        0
761.29/761.62	c  758s |      22 |  2252245 |  2176822 |     3878   1257 |        0 |        0
763.29/763.64	c  760s |      22 |  2258143 |  2182422 |     3878   1260 |        0 |        0
765.29/765.67	c  762s |      22 |  2263314 |  2187222 |     3878   1262 |        0 |        0
767.30/767.67	c  764s |      22 |  2268950 |  2192722 |     3878   1265 |        0 |        0
769.30/769.70	c  766s |      22 |  2274572 |  2198122 |     3878   1267 |        0 |        0
771.40/771.70	c  768s |      22 |  2280581 |  2203822 |     3878   1270 |        0 |        0
773.40/773.71	c  770s |      22 |  2285740 |  2208822 |     3878   1272 |        0 |        0
775.40/775.73	c  772s |      22 |  2291669 |  2214522 |     3878   1275 |        0 |        0
777.40/777.74	c  774s |      22 |  2297809 |  2220522 |     3878   1278 |        0 |        0
779.39/779.76	c  776s |      22 |  2303823 |  2226422 |     3878   1281 |        0 |        0
781.39/781.76	c  778s |      22 |  2309692 |  2232122 |     4266   1283 |        0 |        0
783.39/783.78	c  780s |      22 |  2315836 |  2238022 |     4266   1286 |        0 |        0
785.49/785.81	c  782s |      22 |  2321992 |  2243922 |     4266   1289 |        0 |        0
787.49/787.83	c  784s |      22 |  2328397 |  2250122 |     4266   1291 |        0 |        0
787.79/788.13	c  784s |      23 |  2329364 |  2251038 |     4266   1292 |        0 |        0
789.79/790.14	c  786s |      23 |  2336891 |  2258138 |     4266   1295 |        0 |        0
791.80/792.15	c  788s |      23 |  2342858 |  2263838 |     4266   1297 |        0 |        0
793.79/794.16	c  790s |      23 |  2349520 |  2270438 |     4266   1300 |        0 |        0
795.79/796.17	c  792s |      23 |  2356868 |  2277638 |     4266   1303 |        0 |        0
797.79/798.18	c  794s |      23 |  2362814 |  2283438 |     4266   1306 |        0 |        0
799.89/800.20	c  796s |      23 |  2368408 |  2288938 |     4266   1308 |        0 |        0
801.89/802.24	c  798s |      23 |  2373886 |  2294238 |     4266   1311 |        0 |        0
803.90/804.25	c  800s |      23 |  2379896 |  2300138 |     4266   1313 |        0 |        0
805.89/806.28	c  802s |      23 |  2386111 |  2306238 |     4266   1316 |        0 |        0
807.99/808.30	c  804s |      23 |  2392223 |  2312138 |     4266   1318 |        0 |        0
809.99/810.30	c  806s |      23 |  2398888 |  2318638 |     4266   1321 |        0 |        0
811.99/812.32	c  808s |      23 |  2404780 |  2324438 |     4266   1324 |        0 |        0
813.99/814.34	c  810s |      23 |  2410770 |  2330338 |     4266   1326 |        0 |        0
816.00/816.38	c  812s |      23 |  2416782 |  2336238 |     4266   1329 |        0 |        0
818.09/818.41	c  814s |      23 |  2422388 |  2341738 |     4266   1331 |        0 |        0
820.09/820.45	c  816s |      23 |  2427274 |  2346438 |     4266   1333 |        0 |        0
822.09/822.47	c  818s |      23 |  2431862 |  2350838 |     4266   1335 |        0 |        0
824.09/824.48	c  820s |      23 |  2436751 |  2355438 |     4266   1337 |        0 |        0
826.19/826.51	c  823s |      23 |  2442664 |  2361238 |     4266   1340 |        0 |        0
828.19/828.53	c  825s |      23 |  2448703 |  2366838 |     4266   1342 |        0 |        0
830.19/830.53	c  827s |      23 |  2454729 |  2372738 |     4266   1345 |        0 |        0
832.19/832.54	c  829s |      23 |  2460980 |  2378838 |     4266   1347 |        0 |        0
834.19/834.55	c  831s |      23 |  2467200 |  2384938 |     4266   1350 |        0 |        0
836.18/836.58	c  833s |      23 |  2472793 |  2390338 |     4266   1352 |        0 |        0
838.18/838.59	c  835s |      23 |  2479111 |  2396438 |     4266   1355 |        0 |        0
840.28/840.61	c  837s |      23 |  2484777 |  2401938 |     4266   1357 |        0 |        0
842.29/842.61	c  839s |      23 |  2491116 |  2408038 |     4266   1360 |        0 |        0
844.28/844.62	c  841s |      23 |  2497463 |  2414238 |     4266   1363 |        0 |        0
846.28/846.64	c  843s |      23 |  2503275 |  2419838 |     4266   1365 |        0 |        0
848.28/848.67	c  845s |      23 |  2510480 |  2426838 |     4266   1368 |        0 |        0
850.28/850.69	c  847s |      23 |  2517008 |  2433238 |     4266   1371 |        0 |        0
852.38/852.70	c  849s |      23 |  2523392 |  2439538 |     4266   1374 |        0 |        0
854.39/854.73	c  851s |      23 |  2529797 |  2445838 |     4266   1377 |        0 |        0
856.38/856.74	c  853s |      23 |  2535609 |  2451538 |     4266   1379 |        0 |        0
858.38/858.76	c  855s |      23 |  2541678 |  2457538 |     4266   1382 |        0 |        0
860.38/860.77	c  857s |      23 |  2547388 |  2463138 |     4266   1384 |        0 |        0
862.38/862.79	c  859s |      23 |  2553968 |  2469638 |     4266   1387 |        0 |        0
864.48/864.81	c  861s |      23 |  2560078 |  2475638 |     4266   1390 |        0 |        0
866.48/866.84	c  863s |      23 |  2566702 |  2482038 |     4266   1392 |        0 |        0
868.48/868.84	c  865s |      23 |  2572425 |  2487638 |     4266   1395 |        0 |        0
870.48/870.84	c  867s |      23 |  2578576 |  2493638 |     4266   1398 |        0 |        0
872.48/872.86	c  869s |      23 |  2584467 |  2499338 |     4266   1400 |        0 |        0
874.58/874.92	c  871s |      23 |  2590441 |  2505038 |     4266   1403 |        0 |        0
876.58/876.93	c  873s |      23 |  2596621 |  2510938 |     4266   1405 |        0 |        0
878.58/878.95	c  875s |      23 |  2602594 |  2516538 |     4266   1408 |        0 |        0
880.57/880.98	c  877s |      23 |  2608507 |  2522238 |     4266   1410 |        0 |        0
882.67/883.02	c  879s |      23 |  2614847 |  2528238 |     4266   1413 |        0 |        0
884.67/885.02	c  881s |      23 |  2620762 |  2533838 |     4266   1415 |        0 |        0
886.67/887.03	c  883s |      23 |  2626584 |  2539238 |     4266   1417 |        0 |        0
888.67/889.04	c  885s |      23 |  2632524 |  2544938 |     4266   1420 |        0 |        0
890.68/891.06	c  887s |      23 |  2638037 |  2550238 |     4266   1422 |        0 |        0
892.67/893.08	c  889s |      23 |  2644045 |  2555938 |     4266   1425 |        0 |        0
894.67/895.09	c  891s |      23 |  2650110 |  2561838 |     4266   1427 |        0 |        0
896.77/897.11	c  893s |      23 |  2655368 |  2566938 |     4266   1430 |        0 |        0
898.77/899.13	c  895s |      23 |  2661083 |  2572438 |     4266   1432 |        0 |        0
900.77/901.16	c  897s |      23 |  2667643 |  2578538 |     4266   1435 |        0 |        0
902.78/903.17	c  899s |      23 |  2673898 |  2584538 |     4266   1437 |        0 |        0
904.77/905.18	c  901s |      23 |  2680179 |  2590538 |     4266   1440 |        0 |        0
906.87/907.21	c  903s |      23 |  2686450 |  2596538 |     4266   1443 |        0 |        0
908.87/909.24	c  905s |      23 |  2692563 |  2602238 |     4266   1445 |        0 |        0
910.87/911.26	c  907s |      23 |  2698550 |  2607838 |     4266   1447 |        0 |        0
912.87/913.29	c  909s |      23 |  2704532 |  2613538 |     4266   1450 |        0 |        0
914.98/915.32	c  911s |      23 |  2710486 |  2619338 |     4266   1452 |        0 |        0
916.97/917.33	c  913s |      23 |  2716470 |  2624838 |     4266   1455 |        0 |        0
918.97/919.36	c  915s |      23 |  2721999 |  2629938 |     4266   1457 |        0 |        0
920.97/921.37	c  917s |      23 |  2727608 |  2635238 |     4266   1459 |        0 |        0
922.97/923.38	c  919s |      23 |  2733601 |  2640738 |     4266   1462 |        0 |        0
924.97/925.39	c  921s |      23 |  2739188 |  2645838 |     4266   1464 |        0 |        0
926.97/927.40	c  923s |      23 |  2744976 |  2651138 |     4266   1466 |        0 |        0
929.07/929.42	c  925s |      23 |  2751410 |  2657438 |     4266   1469 |        0 |        0
931.07/931.46	c  927s |      23 |  2757321 |  2663238 |     4266   1472 |        0 |        0
933.07/933.50	c  929s |      23 |  2763216 |  2668838 |     4266   1474 |        0 |        0
935.16/935.50	c  931s |      23 |  2768669 |  2674138 |     4266   1476 |        0 |        0
937.16/937.51	c  934s |      23 |  2774047 |  2679338 |     4266   1479 |        0 |        0
939.17/939.53	c  936s |      23 |  2779652 |  2684738 |     4266   1481 |        0 |        0
941.16/941.54	c  938s |      23 |  2784917 |  2689838 |     4266   1483 |        0 |        0
943.16/943.54	c  940s |      23 |  2790427 |  2695238 |     4266   1486 |        0 |        0
945.16/945.56	c  942s |      23 |  2796229 |  2700838 |     4266   1488 |        0 |        0
947.26/947.60	c  944s |      23 |  2801594 |  2706038 |     4266   1490 |        0 |        0
949.26/949.60	c  946s |      23 |  2806383 |  2710638 |     4266   1492 |        0 |        0
951.27/951.62	c  948s |      23 |  2811978 |  2716038 |     4266   1495 |        0 |        0
953.26/953.63	c  950s |      23 |  2817589 |  2721438 |     4266   1497 |        0 |        0
955.26/955.66	c  952s |      23 |  2822728 |  2726438 |     4266   1499 |        0 |        0
957.26/957.66	c  954s |      23 |  2828219 |  2731538 |     4266   1502 |        0 |        0
959.26/959.68	c  956s |      23 |  2834731 |  2737838 |     4266   1504 |        0 |        0
961.37/961.71	c  958s |      23 |  2841452 |  2744338 |     4266   1507 |        0 |        0
963.37/963.72	c  960s |      23 |  2847565 |  2750138 |     4266   1510 |        0 |        0
965.37/965.74	c  962s |      23 |  2852660 |  2754938 |     4266   1512 |        0 |        0
967.37/967.75	c  964s |      23 |  2858410 |  2760438 |     4266   1514 |        0 |        0
969.37/969.77	c  966s |      23 |  2864084 |  2765638 |     4266   1516 |        0 |        0
971.37/971.77	c  968s |      23 |  2869853 |  2770938 |     4266   1519 |        0 |        0
973.37/973.79	c  970s |      23 |  2875999 |  2776838 |     4266   1521 |        0 |        0
975.37/975.80	c  972s |      23 |  2881651 |  2782138 |     4266   1524 |        0 |        0
977.47/977.83	c  974s |      23 |  2887307 |  2787338 |     4266   1526 |        0 |        0
979.47/979.85	c  976s |      23 |  2893526 |  2793238 |     4266   1528 |        0 |        0
981.46/981.86	c  978s |      23 |  2898750 |  2798138 |     4266   1531 |        0 |        0
983.46/983.88	c  980s |      23 |  2904017 |  2803238 |     4266   1533 |        0 |        0
985.46/985.89	c  982s |      23 |  2909703 |  2808638 |     4266   1535 |        0 |        0
987.47/987.90	c  984s |      23 |  2915729 |  2814538 |     4266   1538 |        0 |        0
989.56/989.91	c  986s |      23 |  2921686 |  2820238 |     4266   1540 |        0 |        0
991.56/991.95	c  988s |      23 |  2927699 |  2826138 |     4266   1543 |        0 |        0
993.56/993.97	c  990s |      23 |  2933993 |  2832238 |     4266   1546 |        0 |        0
995.56/995.98	c  992s |      23 |  2940679 |  2838738 |     4266   1548 |        0 |        0
997.56/997.98	c  994s |      23 |  2946887 |  2844538 |     4266   1551 |        0 |        0
999.57/999.99	c  996s |      23 |  2953095 |  2850338 |     4266   1553 |        0 |        0
1001.66/1002.01	c  998s |      23 |  2959222 |  2856038 |     4266   1556 |        0 |        0
1003.66/1004.03	c 1000s |      23 |  2965342 |  2861738 |     4266   1558 |        0 |        0
1005.66/1006.04	c 1002s |      23 |  2971392 |  2867538 |     4266   1561 |        0 |        0
1007.66/1008.04	c 1004s |      23 |  2977786 |  2873638 |     4266   1564 |        0 |        0
1009.66/1010.05	c 1006s |      23 |  2984441 |  2879938 |     4266   1566 |        0 |        0
1011.67/1012.07	c 1008s |      23 |  2990954 |  2885938 |     4266   1569 |        0 |        0
1013.66/1014.07	c 1010s |      23 |  2996858 |  2891338 |     4266   1571 |        0 |        0
1015.76/1016.10	c 1012s |      23 |  3003502 |  2897638 |     4266   1574 |        0 |        0
1017.76/1018.14	c 1014s |      23 |  3009864 |  2903738 |     4266   1577 |        0 |        0
1019.76/1020.14	c 1016s |      23 |  3015730 |  2909338 |     4266   1579 |        0 |        0
1021.76/1022.15	c 1018s |      23 |  3021707 |  2915038 |     4266   1582 |        0 |        0
1023.76/1024.17	c 1020s |      23 |  3027942 |  2921038 |     4266   1584 |        0 |        0
1025.76/1026.18	c 1022s |      23 |  3034414 |  2927238 |     4266   1587 |        0 |        0
1027.86/1028.20	c 1024s |      23 |  3040801 |  2933438 |     4266   1590 |        0 |        0
1029.85/1030.23	c 1026s |      23 |  3047126 |  2939538 |     4266   1592 |        0 |        0
1031.85/1032.26	c 1028s |      23 |  3053339 |  2945538 |     4266   1595 |        0 |        0
1033.85/1034.27	c 1030s |      23 |  3059741 |  2951438 |     4266   1597 |        0 |        0
1035.86/1036.27	c 1032s |      23 |  3065308 |  2956638 |     4266   1600 |        0 |        0
1037.95/1038.31	c 1034s |      23 |  3071292 |  2962438 |     4266   1602 |        0 |        0
1039.95/1040.32	c 1036s |      23 |  3077089 |  2968038 |     4266   1605 |        0 |        0
1041.95/1042.33	c 1038s |      23 |  3083085 |  2973838 |     4266   1607 |        0 |        0
1043.95/1044.35	c 1040s |      23 |  3089244 |  2979838 |     4266   1610 |        0 |        0
1045.95/1046.35	c 1042s |      23 |  3095659 |  2986138 |     4266   1613 |        0 |        0
1047.95/1048.36	c 1044s |      23 |  3101777 |  2992038 |     4266   1615 |        0 |        0
1049.95/1050.38	c 1046s |      23 |  3107670 |  2997738 |     4266   1618 |        0 |        0
1051.95/1052.39	c 1048s |      23 |  3114022 |  3003838 |     4266   1620 |        0 |        0
1054.05/1054.42	c 1050s |      23 |  3119690 |  3009338 |     4266   1623 |        0 |        0
1056.05/1056.44	c 1052s |      23 |  3126248 |  3015738 |     4266   1626 |        0 |        0
1058.05/1058.45	c 1054s |      23 |  3132703 |  3021838 |     4266   1628 |        0 |        0
1060.06/1060.45	c 1056s |      23 |  3138741 |  3027538 |     4266   1631 |        0 |        0
1062.05/1062.46	c 1058s |      23 |  3144720 |  3033138 |     4266   1633 |        0 |        0
1064.05/1064.47	c 1060s |      23 |  3150257 |  3038438 |     4266   1635 |        0 |        0
1066.05/1066.48	c 1062s |      23 |  3156457 |  3044538 |     4266   1638 |        0 |        0
1068.15/1068.52	c 1065s |      23 |  3162265 |  3050138 |     4266   1641 |        0 |        0
1070.15/1070.53	c 1067s |      23 |  3168217 |  3055838 |     4266   1643 |        0 |        0
1072.15/1072.56	c 1069s |      23 |  3174524 |  3061838 |     4266   1646 |        0 |        0
1074.15/1074.57	c 1071s |      23 |  3180692 |  3067638 |     4266   1648 |        0 |        0
1076.15/1076.59	c 1073s |      23 |  3187358 |  3074138 |     4266   1651 |        0 |        0
1078.24/1078.61	c 1075s |      23 |  3193930 |  3080438 |     4266   1654 |        0 |        0
1080.24/1080.63	c 1077s |      23 |  3200009 |  3086138 |     4266   1656 |        0 |        0
1082.24/1082.64	c 1079s |      23 |  3205916 |  3091538 |     4266   1659 |        0 |        0
1084.25/1084.67	c 1081s |      23 |  3211946 |  3097038 |     4266   1661 |        0 |        0
1086.24/1086.68	c 1083s |      23 |  3217932 |  3102538 |     4266   1663 |        0 |        0
1088.34/1088.71	c 1085s |      23 |  3223628 |  3107738 |     4266   1666 |        0 |        0
1090.34/1090.72	c 1087s |      23 |  3229085 |  3112738 |     4266   1668 |        0 |        0
1092.34/1092.73	c 1089s |      23 |  3235085 |  3118438 |     4266   1670 |        0 |        0
1094.34/1094.73	c 1091s |      23 |  3241516 |  3124738 |     4266   1673 |        0 |        0
1096.35/1096.74	c 1093s |      23 |  3247560 |  3130638 |     4266   1676 |        0 |        0
1098.34/1098.77	c 1095s |      23 |  3253951 |  3136738 |     4266   1678 |        0 |        0
1100.34/1100.78	c 1097s |      23 |  3260144 |  3142738 |     4266   1681 |        0 |        0
1102.34/1102.79	c 1099s |      23 |  3266563 |  3148938 |     4266   1684 |        0 |        0
1104.44/1104.82	c 1101s |      23 |  3272763 |  3154938 |     4266   1686 |        0 |        0
1106.44/1106.83	c 1103s |      23 |  3279025 |  3160838 |     4266   1689 |        0 |        0
1108.44/1108.85	c 1105s |      23 |  3285281 |  3166938 |     4266   1691 |        0 |        0
1110.44/1110.85	c 1107s |      23 |  3291271 |  3172638 |     4266   1694 |        0 |        0
1112.44/1112.86	c 1109s |      23 |  3297666 |  3178938 |     4266   1697 |        0 |        0
1114.44/1114.88	c 1111s |      23 |  3304022 |  3184938 |     4266   1699 |        0 |        0
1116.54/1116.91	c 1113s |      23 |  3310002 |  3190438 |     4266   1702 |        0 |        0
1118.54/1118.93	c 1115s |      23 |  3316275 |  3196438 |     4266   1704 |        0 |        0
1120.55/1120.94	c 1117s |      23 |  3322628 |  3202538 |     4266   1707 |        0 |        0
1122.54/1122.96	c 1119s |      23 |  3328818 |  3208238 |     4266   1710 |        0 |        0
1124.54/1124.99	c 1121s |      23 |  3335174 |  3214138 |     4266   1712 |        0 |        0
1126.64/1127.00	c 1123s |      23 |  3341820 |  3220638 |     4266   1715 |        0 |        0
1128.64/1129.01	c 1125s |      23 |  3348021 |  3226638 |     4266   1718 |        0 |        0
1130.64/1131.03	c 1127s |      23 |  3353999 |  3232438 |     4266   1720 |        0 |        0
1132.65/1133.04	c 1129s |      23 |  3360460 |  3238638 |     4266   1723 |        0 |        0
1134.64/1135.06	c 1131s |      23 |  3366571 |  3244638 |     4266   1725 |        0 |        0
1136.64/1137.09	c 1133s |      23 |  3372993 |  3250938 |     4266   1728 |        0 |        0
1138.74/1139.11	c 1135s |      23 |  3379368 |  3257038 |     4266   1731 |        0 |        0
1140.74/1141.15	c 1137s |      23 |  3385905 |  3263338 |     4266   1734 |        0 |        0
1142.74/1143.15	c 1139s |      23 |  3392145 |  3269338 |     4266   1736 |        0 |        0
1144.75/1145.19	c 1141s |      23 |  3397743 |  3274738 |     4266   1739 |        0 |        0
1146.84/1147.21	c 1143s |      23 |  3404099 |  3280938 |     4266   1741 |        0 |        0
1148.84/1149.24	c 1145s |      23 |  3410189 |  3286738 |     4266   1744 |        0 |        0
1150.84/1151.29	c 1147s |      23 |  3416752 |  3293038 |     4266   1747 |        0 |        0
1152.94/1153.31	c 1149s |      23 |  3423099 |  3299138 |     4266   1749 |        0 |        0
1154.94/1155.32	c 1151s |      23 |  3429524 |  3305238 |     4266   1752 |        0 |        0
1156.94/1157.33	c 1153s |      23 |  3435396 |  3310738 |     4266   1754 |        0 |        0
1158.94/1159.35	c 1155s |      23 |  3441671 |  3316738 |     4266   1757 |        0 |        0
1160.94/1161.37	c 1157s |      23 |  3447829 |  3322638 |     4266   1759 |        0 |        0
1163.04/1163.42	c 1159s |      23 |  3453909 |  3328538 |     4266   1762 |        0 |        0
1165.04/1165.43	c 1161s |      23 |  3460236 |  3334638 |     4266   1765 |        0 |        0
1167.04/1167.44	c 1163s |      23 |  3466393 |  3340538 |     4266   1767 |        0 |        0
1169.04/1169.45	c 1165s |      23 |  3472681 |  3346638 |     4693   1770 |        0 |        0
1171.04/1171.47	c 1167s |      23 |  3479010 |  3352538 |     4693   1772 |        0 |        0
1173.03/1173.48	c 1169s |      23 |  3484634 |  3357538 |     4693   1774 |        0 |        0
1175.13/1175.50	c 1172s |      23 |  3490826 |  3363438 |     4693   1776 |        0 |        0
1177.13/1177.51	c 1174s |      23 |  3496891 |  3369238 |     4693   1779 |        0 |        0
1179.13/1179.53	c 1176s |      23 |  3502537 |  3374638 |     4693   1781 |        0 |        0
1179.94/1180.35	c 1176s |      24 |  3504683 |  3376662 |     4693   1782 |        0 |        0
1181.93/1182.35	c 1178s |      24 |  3509546 |  3381362 |     4693   1784 |        0 |        0
1183.93/1184.37	c 1180s |      24 |  3513066 |  3384762 |     4693   1785 |        0 |        0
1185.93/1186.39	c 1182s |      24 |  3516461 |  3388062 |     4693   1786 |        0 |        0
1188.03/1188.47	c 1184s |      24 |  3519752 |  3391262 |     4693   1788 |        0 |        0
1190.03/1190.48	c 1186s |      24 |  3524003 |  3395362 |     4693   1789 |        0 |        0
1192.14/1192.56	c 1189s |      24 |  3527391 |  3398562 |     4693   1790 |        0 |        0
1194.13/1194.58	c 1191s |      24 |  3532327 |  3403362 |     4693   1792 |        0 |        0
1196.23/1196.60	c 1193s |      24 |  3536842 |  3407762 |     4693   1794 |        0 |        0
1198.23/1198.64	c 1195s |      24 |  3542342 |  3413162 |     4693   1796 |        0 |        0
1200.23/1200.66	c 1197s |      24 |  3546859 |  3417562 |     4693   1798 |        0 |        0
1202.33/1202.72	c 1199s |      24 |  3550373 |  3420962 |     4693   1799 |        0 |        0
1204.33/1204.73	c 1201s |      24 |  3554120 |  3424562 |     4693   1801 |        0 |        0
1206.34/1206.75	c 1203s |      24 |  3557787 |  3428162 |     4693   1802 |        0 |        0
1208.33/1208.75	c 1205s |      24 |  3562280 |  3432462 |     4693   1804 |        0 |        0
1210.33/1210.79	c 1207s |      24 |  3566476 |  3436562 |     4693   1805 |        0 |        0
1212.33/1212.79	c 1209s |      24 |  3570542 |  3440562 |     4693   1807 |        0 |        0
1214.43/1214.80	c 1211s |      24 |  3574875 |  3444662 |     4693   1809 |        0 |        0
1216.43/1216.81	c 1213s |      24 |  3579653 |  3449362 |     4693   1811 |        0 |        0
1218.43/1218.88	c 1215s |      24 |  3584558 |  3454162 |     4693   1812 |        0 |        0
1220.53/1220.91	c 1217s |      24 |  3588055 |  3457562 |     4693   1814 |        0 |        0
1222.53/1222.97	c 1219s |      24 |  3591708 |  3460962 |     4693   1815 |        0 |        0
1224.62/1225.03	c 1221s |      24 |  3595018 |  3464062 |     4693   1816 |        0 |        0
1226.62/1227.05	c 1223s |      24 |  3598515 |  3467262 |     4693   1818 |        0 |        0
1228.62/1229.07	c 1225s |      24 |  3601548 |  3470162 |     4693   1819 |        0 |        0
1230.72/1231.10	c 1227s |      24 |  3605189 |  3473462 |     4693   1820 |        0 |        0
1232.73/1233.12	c 1229s |      24 |  3608895 |  3477062 |     4693   1822 |        0 |        0
1234.72/1235.16	c 1231s |      24 |  3612787 |  3480762 |     4693   1823 |        0 |        0
1236.82/1237.21	c 1233s |      24 |  3616279 |  3483962 |     4693   1824 |        0 |        0
1238.82/1239.24	c 1235s |      24 |  3619991 |  3487562 |     4693   1826 |        0 |        0
1240.82/1241.26	c 1237s |      24 |  3623617 |  3491062 |     4693   1827 |        0 |        0
1242.92/1243.30	c 1239s |      24 |  3626756 |  3494062 |     4693   1828 |        0 |        0
1244.93/1245.34	c 1241s |      24 |  3630173 |  3497362 |     4693   1830 |        0 |        0
1246.92/1247.35	c 1243s |      24 |  3633641 |  3500662 |     4693   1831 |        0 |        0
1249.02/1249.42	c 1245s |      24 |  3637018 |  3503762 |     4693   1832 |        0 |        0
1251.12/1251.50	c 1248s |      24 |  3639990 |  3506562 |     4693   1833 |        0 |        0
1253.12/1253.51	c 1250s |      24 |  3642617 |  3509062 |     4693   1834 |        0 |        0
1255.12/1255.53	c 1252s |      24 |  3645661 |  3511962 |     4693   1835 |        0 |        0
1257.22/1257.60	c 1254s |      24 |  3649007 |  3515162 |     4693   1837 |        0 |        0
1259.23/1259.64	c 1256s |      24 |  3653655 |  3519662 |     4693   1838 |        0 |        0
1261.22/1261.64	c 1258s |      24 |  3657588 |  3523462 |     4693   1840 |        0 |        0
1263.22/1263.65	c 1260s |      24 |  3662065 |  3527862 |     4693   1842 |        0 |        0
1265.22/1265.66	c 1262s |      24 |  3666329 |  3532062 |     4693   1843 |        0 |        0
1267.32/1267.71	c 1264s |      24 |  3669822 |  3535462 |     4693   1845 |        0 |        0
1269.32/1269.71	c 1266s |      24 |  3673077 |  3538662 |     4693   1846 |        0 |        0
1271.32/1271.73	c 1268s |      24 |  3677111 |  3542562 |     4693   1848 |        0 |        0
1273.31/1273.73	c 1270s |      24 |  3681012 |  3546362 |     4693   1849 |        0 |        0
1275.31/1275.75	c 1272s |      24 |  3685233 |  3550462 |     4693   1851 |        0 |        0
1277.31/1277.78	c 1274s |      24 |  3688725 |  3553862 |     4693   1852 |        0 |        0
1279.41/1279.82	c 1276s |      24 |  3691895 |  3556962 |     4693   1853 |        0 |        0
1281.41/1281.83	c 1278s |      24 |  3694894 |  3559762 |     4693   1854 |        0 |        0
1283.51/1283.92	c 1280s |      24 |  3697832 |  3562562 |     4693   1855 |        0 |        0
1285.52/1285.98	c 1282s |      24 |  3700684 |  3565262 |     4693   1857 |        0 |        0
1287.61/1288.00	c 1284s |      24 |  3703986 |  3568462 |     4693   1858 |        0 |        0
1289.61/1290.02	c 1286s |      24 |  3709697 |  3573962 |     4693   1860 |        0 |        0
1291.61/1292.02	c 1288s |      24 |  3714571 |  3578662 |     4693   1862 |        0 |        0
1293.61/1294.04	c 1290s |      24 |  3719643 |  3583462 |     4693   1864 |        0 |        0
1295.61/1296.07	c 1292s |      24 |  3724774 |  3588462 |     4693   1866 |        0 |        0
1297.61/1298.09	c 1294s |      24 |  3730124 |  3593662 |     4693   1868 |        0 |        0
1299.71/1300.12	c 1296s |      24 |  3736070 |  3599462 |     4693   1870 |        0 |        0
1301.71/1302.15	c 1298s |      24 |  3740944 |  3604062 |     4693   1872 |        0 |        0
1303.71/1304.15	c 1300s |      24 |  3746070 |  3609062 |     4693   1874 |        0 |        0
1305.71/1306.17	c 1302s |      24 |  3752038 |  3614862 |     4693   1876 |        0 |        0
1307.71/1308.19	c 1304s |      24 |  3756524 |  3619262 |     4693   1878 |        0 |        0
1309.82/1310.26	c 1306s |      24 |  3761308 |  3623762 |     4693   1880 |        0 |        0
1311.81/1312.30	c 1308s |      24 |  3765173 |  3627562 |     4693   1881 |        0 |        0
1313.91/1314.33	c 1310s |      24 |  3770214 |  3632362 |     4693   1883 |        0 |        0
1315.91/1316.33	c 1312s |      24 |  3775106 |  3636962 |     4693   1885 |        0 |        0
1317.91/1318.35	c 1314s |      24 |  3779086 |  3640762 |     4693   1886 |        0 |        0
1319.91/1320.36	c 1316s |      24 |  3783768 |  3645162 |     4693   1888 |        0 |        0
1321.92/1322.38	c 1318s |      24 |  3789070 |  3650262 |     4693   1890 |        0 |        0
1324.02/1324.42	c 1320s |      24 |  3794143 |  3655162 |     4693   1892 |        0 |        0
1326.01/1326.46	c 1322s |      24 |  3799469 |  3660362 |     4693   1894 |        0 |        0
1328.01/1328.48	c 1324s |      24 |  3804974 |  3665662 |     4693   1896 |        0 |        0
1330.01/1330.48	c 1326s |      24 |  3810605 |  3671162 |     4693   1899 |        0 |        0
1332.11/1332.52	c 1329s |      24 |  3815536 |  3675962 |     4693   1900 |        0 |        0
1334.11/1334.54	c 1331s |      24 |  3820426 |  3680762 |     4693   1902 |        0 |        0
1336.11/1336.56	c 1333s |      24 |  3825861 |  3685962 |     4693   1904 |        0 |        0
1338.11/1338.59	c 1335s |      24 |  3830611 |  3690562 |     4693   1906 |        0 |        0
1340.21/1340.62	c 1337s |      24 |  3834950 |  3694662 |     4693   1908 |        0 |        0
1342.21/1342.67	c 1339s |      24 |  3839258 |  3698862 |     4693   1910 |        0 |        0
1344.21/1344.68	c 1341s |      24 |  3844576 |  3703862 |     4693   1912 |        0 |        0
1346.31/1346.71	c 1343s |      24 |  3848688 |  3707462 |     4693   1913 |        0 |        0
1348.31/1348.75	c 1345s |      24 |  3853016 |  3711562 |     4693   1915 |        0 |        0
1350.31/1350.77	c 1347s |      24 |  3858142 |  3716462 |     4693   1917 |        0 |        0
1352.31/1352.79	c 1349s |      24 |  3862433 |  3720462 |     4693   1918 |        0 |        0
1354.41/1354.82	c 1351s |      24 |  3867925 |  3725862 |     4693   1920 |        0 |        0
1356.40/1356.82	c 1353s |      24 |  3873162 |  3730962 |     4693   1922 |        0 |        0
1358.40/1358.84	c 1355s |      24 |  3878157 |  3735762 |     4693   1924 |        0 |        0
1360.41/1360.86	c 1357s |      24 |  3883412 |  3740862 |     4693   1926 |        0 |        0
1362.40/1362.89	c 1359s |      24 |  3888681 |  3745962 |     4693   1928 |        0 |        0
1364.50/1364.90	c 1361s |      24 |  3892986 |  3750162 |     4693   1930 |        0 |        0
1366.50/1366.92	c 1363s |      24 |  3897848 |  3754862 |     4693   1932 |        0 |        0
1368.50/1368.94	c 1365s |      24 |  3902882 |  3759762 |     4693   1934 |        0 |        0
1370.50/1370.96	c 1367s |      24 |  3907478 |  3764262 |     4693   1936 |        0 |        0
1372.51/1372.98	c 1369s |      24 |  3912811 |  3769462 |     4693   1938 |        0 |        0
1374.61/1375.03	c 1371s |      24 |  3918110 |  3774562 |     4693   1940 |        0 |        0
1376.60/1377.05	c 1373s |      24 |  3923212 |  3779462 |     4693   1942 |        0 |        0
1378.60/1379.08	c 1375s |      24 |  3927957 |  3784062 |     4693   1943 |        0 |        0
1380.60/1381.09	c 1377s |      24 |  3932663 |  3788662 |     4693   1945 |        0 |        0
1382.60/1383.10	c 1379s |      24 |  3937140 |  3792962 |     4693   1947 |        0 |        0
1384.70/1385.10	c 1381s |      24 |  3942002 |  3797662 |     4693   1949 |        0 |        0
1386.70/1387.14	c 1383s |      24 |  3946978 |  3802462 |     4693   1951 |        0 |        0
1388.70/1389.14	c 1385s |      24 |  3951340 |  3806662 |     4693   1952 |        0 |        0
1390.70/1391.19	c 1387s |      24 |  3956325 |  3811462 |     4693   1954 |        0 |        0
1392.80/1393.22	c 1389s |      24 |  3961039 |  3816062 |     4693   1956 |        0 |        0
1394.80/1395.23	c 1391s |      24 |  3965305 |  3820162 |     4693   1958 |        0 |        0
1396.80/1397.26	c 1393s |      24 |  3969764 |  3824462 |     4693   1959 |        0 |        0
1398.90/1399.32	c 1395s |      24 |  3974243 |  3828462 |     4693   1961 |        0 |        0
1400.90/1401.35	c 1397s |      24 |  3978792 |  3832662 |     4693   1963 |        0 |        0
1402.89/1403.36	c 1399s |      24 |  3983803 |  3837562 |     4693   1965 |        0 |        0
1404.89/1405.38	c 1401s |      24 |  3988131 |  3841762 |     4693   1966 |        0 |        0
1406.99/1407.41	c 1403s |      24 |  3993518 |  3846962 |     4693   1968 |        0 |        0
1408.99/1409.45	c 1405s |      24 |  3997967 |  3851262 |     4693   1970 |        0 |        0
1411.00/1411.48	c 1407s |      24 |  4002507 |  3855662 |     4693   1972 |        0 |        0
1412.99/1413.49	c 1409s |      24 |  4007154 |  3859962 |     4693   1974 |        0 |        0
1415.09/1415.53	c 1412s |      24 |  4011703 |  3864262 |     4693   1975 |        0 |        0
1417.10/1417.55	c 1414s |      24 |  4016457 |  3868862 |     4693   1977 |        0 |        0
1419.10/1419.57	c 1416s |      24 |  4021591 |  3873762 |     4693   1979 |        0 |        0
1421.20/1421.62	c 1418s |      24 |  4025586 |  3877562 |     4693   1981 |        0 |        0
1423.20/1423.63	c 1420s |      24 |  4030561 |  3882362 |     4693   1982 |        0 |        0
1425.20/1425.64	c 1422s |      24 |  4035861 |  3887462 |     4693   1984 |        0 |        0
1427.30/1427.70	c 1424s |      24 |  4041123 |  3892462 |     4693   1986 |        0 |        0
1429.30/1429.70	c 1426s |      24 |  4045601 |  3896662 |     4693   1988 |        0 |        0
1431.29/1431.73	c 1428s |      24 |  4050286 |  3901162 |     4693   1990 |        0 |        0
1433.29/1433.78	c 1430s |      24 |  4054977 |  3905562 |     4693   1992 |        0 |        0
1435.39/1435.82	c 1432s |      24 |  4059555 |  3909862 |     4693   1993 |        0 |        0
1437.40/1437.83	c 1434s |      24 |  4064351 |  3914462 |     4693   1995 |        0 |        0
1439.39/1439.84	c 1436s |      24 |  4068971 |  3918962 |     4693   1997 |        0 |        0
1441.49/1441.92	c 1438s |      24 |  4072895 |  3922762 |     4693   1999 |        0 |        0
1443.49/1443.98	c 1440s |      24 |  4076192 |  3925862 |     4693   2000 |        0 |        0
1445.49/1445.99	c 1442s |      24 |  4079458 |  3928962 |     4693   2001 |        0 |        0
1447.59/1448.05	c 1444s |      24 |  4083501 |  3932762 |     4693   2003 |        0 |        0
1449.59/1450.09	c 1446s |      24 |  4087650 |  3936762 |     4693   2004 |        0 |        0
1451.60/1452.09	c 1448s |      24 |  4093709 |  3942662 |     4693   2006 |        0 |        0
1453.69/1454.10	c 1450s |      24 |  4099766 |  3948462 |     4693   2009 |        0 |        0
1455.69/1456.12	c 1452s |      24 |  4105870 |  3954362 |     4693   2011 |        0 |        0
1457.69/1458.13	c 1454s |      24 |  4110871 |  3959062 |     4693   2013 |        0 |        0
1459.69/1460.15	c 1456s |      24 |  4116588 |  3964562 |     4693   2015 |        0 |        0
1461.69/1462.19	c 1458s |      24 |  4122494 |  3970262 |     4693   2017 |        0 |        0
1463.69/1464.19	c 1460s |      24 |  4128577 |  3976162 |     4693   2020 |        0 |        0
1465.79/1466.22	c 1462s |      24 |  4134209 |  3981562 |     4693   2022 |        0 |        0
1467.79/1468.25	c 1464s |      24 |  4140476 |  3987662 |     4693   2024 |        0 |        0
1469.78/1470.26	c 1466s |      24 |  4146560 |  3993562 |     4693   2027 |        0 |        0
1471.78/1472.27	c 1468s |      24 |  4152506 |  3999362 |     4693   2029 |        0 |        0
1473.88/1474.30	c 1470s |      24 |  4157983 |  4004562 |     4693   2031 |        0 |        0
1475.89/1476.31	c 1472s |      24 |  4164292 |  4010662 |     4693   2033 |        0 |        0
1477.88/1478.34	c 1474s |      24 |  4170131 |  4016062 |     4693   2036 |        0 |        0
1479.88/1480.38	c 1476s |      24 |  4176077 |  4021862 |     4693   2038 |        0 |        0
1481.98/1482.40	c 1478s |      24 |  4181782 |  4027462 |     4693   2040 |        0 |        0
1483.98/1484.42	c 1480s |      24 |  4187804 |  4033262 |     4693   2042 |        0 |        0
1485.98/1486.42	c 1482s |      24 |  4193270 |  4038262 |     4693   2044 |        0 |        0
1487.99/1488.45	c 1484s |      24 |  4199509 |  4044362 |     4693   2047 |        0 |        0
1489.98/1490.47	c 1486s |      24 |  4205400 |  4050062 |     4693   2049 |        0 |        0
1491.98/1492.48	c 1488s |      24 |  4211671 |  4056062 |     4693   2052 |        0 |        0
1493.98/1494.49	c 1490s |      24 |  4217594 |  4061562 |     4693   2054 |        0 |        0
1496.08/1496.51	c 1493s |      24 |  4223875 |  4067562 |     4693   2056 |        0 |        0
1498.08/1498.52	c 1495s |      24 |  4229218 |  4072662 |     4693   2058 |        0 |        0
1500.09/1500.54	c 1497s |      24 |  4235125 |  4078362 |     4693   2060 |        0 |        0
1502.08/1502.54	c 1499s |      24 |  4241405 |  4084462 |     4693   2063 |        0 |        0
1504.08/1504.57	c 1501s |      24 |  4247672 |  4090562 |     4693   2065 |        0 |        0
1506.08/1506.58	c 1503s |      24 |  4253373 |  4096062 |     4693   2067 |        0 |        0
1508.18/1508.64	c 1505s |      24 |  4259378 |  4101862 |     4693   2070 |        0 |        0
1510.18/1510.68	c 1507s |      24 |  4265715 |  4107962 |     4693   2072 |        0 |        0
1512.19/1512.70	c 1509s |      24 |  4271448 |  4113462 |     4693   2074 |        0 |        0
1514.29/1514.72	c 1511s |      24 |  4277296 |  4119062 |     4693   2077 |        0 |        0
1516.28/1516.75	c 1513s |      24 |  4282835 |  4124462 |     4693   2079 |        0 |        0
1518.28/1518.76	c 1515s |      24 |  4288177 |  4129662 |     4693   2081 |        0 |        0
1520.28/1520.78	c 1517s |      24 |  4294084 |  4135362 |     4693   2083 |        0 |        0
1522.28/1522.79	c 1519s |      24 |  4299765 |  4140862 |     4693   2085 |        0 |        0
1524.38/1524.81	c 1521s |      24 |  4305450 |  4146362 |     4693   2087 |        0 |        0
1526.39/1526.82	c 1523s |      24 |  4311221 |  4151962 |     4693   2090 |        0 |        0
1528.38/1528.83	c 1525s |      24 |  4316623 |  4157162 |     4693   2092 |        0 |        0
1530.38/1530.85	c 1527s |      24 |  4322283 |  4162662 |     4693   2094 |        0 |        0
1532.38/1532.87	c 1529s |      24 |  4327349 |  4167262 |     4693   2096 |        0 |        0
1534.48/1534.91	c 1531s |      24 |  4332406 |  4172062 |     4693   2098 |        0 |        0
1536.48/1536.93	c 1533s |      24 |  4337912 |  4177262 |     4693   2100 |        0 |        0
1538.48/1538.95	c 1535s |      24 |  4343768 |  4182962 |     4693   2102 |        0 |        0
1540.48/1540.98	c 1537s |      24 |  4349423 |  4188362 |     4693   2104 |        0 |        0
1542.58/1543.00	c 1539s |      24 |  4355347 |  4194062 |     4693   2106 |        0 |        0
1544.58/1545.02	c 1541s |      24 |  4360550 |  4199062 |     4693   2108 |        0 |        0
1546.57/1547.05	c 1543s |      24 |  4364999 |  4203362 |     4693   2110 |        0 |        0
1548.57/1549.07	c 1545s |      24 |  4370407 |  4208662 |     4693   2112 |        0 |        0
1550.58/1551.07	c 1547s |      24 |  4375939 |  4213762 |     4693   2114 |        0 |        0
1552.57/1553.07	c 1549s |      24 |  4381834 |  4219162 |     4693   2116 |        0 |        0
1554.67/1555.11	c 1551s |      24 |  4387219 |  4224262 |     4693   2118 |        0 |        0
1556.67/1557.14	c 1553s |      24 |  4392654 |  4229362 |     4693   2120 |        0 |        0
1558.67/1559.16	c 1555s |      24 |  4398149 |  4234662 |     4693   2122 |        0 |        0
1560.67/1561.17	c 1557s |      24 |  4403880 |  4240162 |     4693   2125 |        0 |        0
1562.68/1563.19	c 1559s |      24 |  4409327 |  4245362 |     4693   2127 |        0 |        0
1564.77/1565.21	c 1561s |      24 |  4414943 |  4250762 |     4693   2129 |        0 |        0
1566.77/1567.23	c 1563s |      24 |  4419409 |  4254962 |     4693   2131 |        0 |        0
1568.77/1569.25	c 1565s |      24 |  4424894 |  4260262 |     4693   2133 |        0 |        0
1570.77/1571.27	c 1567s |      24 |  4429573 |  4264462 |     4693   2134 |        0 |        0
1572.77/1573.28	c 1569s |      24 |  4434158 |  4268862 |     4693   2136 |        0 |        0
1574.88/1575.31	c 1571s |      24 |  4438908 |  4273362 |     4693   2138 |        0 |        0
1576.87/1577.31	c 1573s |      24 |  4444151 |  4278462 |     4693   2140 |        0 |        0
1578.87/1579.35	c 1575s |      24 |  4449778 |  4283962 |     4693   2142 |        0 |        0
1580.87/1581.36	c 1577s |      24 |  4455020 |  4289062 |     4693   2144 |        0 |        0
1582.87/1583.39	c 1579s |      24 |  4460568 |  4294462 |     4693   2146 |        0 |        0
1584.97/1585.41	c 1581s |      24 |  4465953 |  4299662 |     4693   2148 |        0 |        0
1586.97/1587.43	c 1583s |      24 |  4470858 |  4304362 |     4693   2150 |        0 |        0
1588.97/1589.44	c 1585s |      24 |  4476193 |  4309562 |     4693   2152 |        0 |        0
1590.97/1591.45	c 1587s |      24 |  4480700 |  4313862 |     4693   2154 |        0 |        0
1592.97/1593.46	c 1589s |      24 |  4485613 |  4318662 |     4693   2156 |        0 |        0
1594.97/1595.47	c 1591s |      24 |  4490755 |  4323662 |     4693   2158 |        0 |        0
1596.97/1597.48	c 1593s |      24 |  4495955 |  4328762 |     4693   2160 |        0 |        0
1598.97/1599.48	c 1595s |      24 |  4501128 |  4333762 |     4693   2162 |        0 |        0
1601.06/1601.54	c 1598s |      24 |  4506159 |  4338662 |     4693   2164 |        0 |        0
1603.06/1603.55	c 1600s |      24 |  4511556 |  4343862 |     4693   2166 |        0 |        0
1605.06/1605.56	c 1602s |      24 |  4516743 |  4348862 |     4693   2168 |        0 |        0
1607.06/1607.56	c 1604s |      24 |  4521365 |  4353362 |     4693   2170 |        0 |        0
1609.06/1609.57	c 1606s |      24 |  4526041 |  4357962 |     4693   2171 |        0 |        0
1611.07/1611.57	c 1608s |      24 |  4530505 |  4362362 |     4693   2173 |        0 |        0
1613.06/1613.57	c 1610s |      24 |  4535224 |  4366962 |     4693   2175 |        0 |        0
1615.16/1615.62	c 1612s |      24 |  4540000 |  4371562 |     4693   2177 |        0 |        0
1617.16/1617.62	c 1614s |      24 |  4544429 |  4375862 |     4693   2179 |        0 |        0
1619.16/1619.68	c 1616s |      24 |  4548983 |  4380262 |     4693   2180 |        0 |        0
1621.16/1621.69	c 1618s |      24 |  4553379 |  4384562 |     4693   2182 |        0 |        0
1623.27/1623.72	c 1620s |      24 |  4558917 |  4389862 |     4693   2184 |        0 |        0
1625.26/1625.74	c 1622s |      24 |  4564418 |  4395062 |     4693   2186 |        0 |        0
1627.26/1627.76	c 1624s |      24 |  4569804 |  4400262 |     4693   2188 |        0 |        0
1629.26/1629.77	c 1626s |      24 |  4575239 |  4405462 |     4693   2190 |        0 |        0
1631.36/1631.81	c 1628s |      24 |  4580983 |  4410962 |     4693   2193 |        0 |        0
1633.36/1633.83	c 1630s |      24 |  4586560 |  4416262 |     4693   2195 |        0 |        0
1635.36/1635.84	c 1632s |      24 |  4592790 |  4422262 |     4693   2197 |        0 |        0
1637.36/1637.86	c 1634s |      24 |  4598434 |  4427762 |     4693   2199 |        0 |        0
1639.36/1639.86	c 1636s |      24 |  4603938 |  4433162 |     4693   2201 |        0 |        0
1641.36/1641.87	c 1638s |      24 |  4608925 |  4437962 |     4693   2203 |        0 |        0
1643.36/1643.88	c 1640s |      24 |  4614864 |  4443562 |     4693   2205 |        0 |        0
1645.36/1645.89	c 1642s |      24 |  4620368 |  4448762 |     4693   2208 |        0 |        0
1647.36/1647.89	c 1644s |      24 |  4626564 |  4454662 |     4693   2210 |        0 |        0
1649.46/1649.90	c 1646s |      24 |  4632351 |  4460062 |     4693   2212 |        0 |        0
1651.46/1651.95	c 1648s |      24 |  4638092 |  4465562 |     4693   2214 |        0 |        0
1653.46/1653.95	c 1650s |      24 |  4643749 |  4470962 |     4693   2216 |        0 |        0
1655.46/1655.95	c 1652s |      24 |  4649143 |  4476262 |     4693   2218 |        0 |        0
1657.46/1657.99	c 1654s |      24 |  4654663 |  4481462 |     4693   2221 |        0 |        0
1659.47/1660.00	c 1656s |      24 |  4660258 |  4486762 |     4693   2223 |        0 |        0
1661.56/1662.04	c 1658s |      24 |  4665910 |  4492062 |     4693   2225 |        0 |        0
1663.56/1664.07	c 1660s |      24 |  4672202 |  4497762 |     4693   2227 |        0 |        0
1665.66/1666.10	c 1662s |      24 |  4678068 |  4503262 |     4693   2229 |        0 |        0
1667.66/1668.13	c 1664s |      24 |  4683953 |  4508962 |     4693   2231 |        0 |        0
1669.66/1670.14	c 1666s |      24 |  4690423 |  4515262 |     4693   2234 |        0 |        0
1671.67/1672.16	c 1668s |      24 |  4696508 |  4521162 |     4693   2236 |        0 |        0
1673.77/1674.21	c 1670s |      24 |  4702396 |  4526762 |     4693   2239 |        0 |        0
1675.76/1676.22	c 1672s |      24 |  4707769 |  4531762 |     4693   2241 |        0 |        0
1677.76/1678.25	c 1674s |      24 |  4713541 |  4537262 |     4693   2243 |        0 |        0
1679.76/1680.27	c 1676s |      24 |  4719368 |  4542862 |     4693   2245 |        0 |        0
1681.86/1682.32	c 1678s |      24 |  4725639 |  4548662 |     4693   2247 |        0 |        0
1683.86/1684.35	c 1680s |      24 |  4731640 |  4554262 |     4693   2249 |        0 |        0
1685.86/1686.37	c 1682s |      24 |  4737489 |  4559862 |     4693   2252 |        0 |        0
1687.86/1688.38	c 1684s |      24 |  4743473 |  4565662 |     4693   2254 |        0 |        0
1689.86/1690.39	c 1686s |      24 |  4749043 |  4571062 |     4693   2256 |        0 |        0
1691.96/1692.43	c 1688s |      24 |  4754965 |  4576662 |     4693   2258 |        0 |        0
1693.96/1694.44	c 1690s |      24 |  4760649 |  4581962 |     4693   2260 |        0 |        0
1695.96/1696.45	c 1692s |      24 |  4766402 |  4587562 |     4693   2263 |        0 |        0
1697.96/1698.47	c 1694s |      24 |  4772685 |  4593562 |     4693   2265 |        0 |        0
1699.95/1700.50	c 1696s |      24 |  4778333 |  4598862 |     4693   2267 |        0 |        0
1702.05/1702.50	c 1698s |      24 |  4783671 |  4604062 |     4693   2269 |        0 |        0
1704.05/1704.51	c 1701s |      24 |  4789497 |  4609662 |     4693   2272 |        0 |        0
1706.05/1706.54	c 1703s |      24 |  4795317 |  4615362 |     4693   2274 |        0 |        0
1708.05/1708.56	c 1705s |      24 |  4800994 |  4620862 |     4693   2276 |        0 |        0
1710.06/1710.57	c 1707s |      24 |  4805933 |  4625662 |     4693   2278 |        0 |        0
1712.05/1712.59	c 1709s |      24 |  4811680 |  4631262 |     4693   2280 |        0 |        0
1714.15/1714.61	c 1711s |      24 |  4817315 |  4636662 |     4693   2282 |        0 |        0
1716.15/1716.63	c 1713s |      24 |  4822459 |  4641462 |     4693   2284 |        0 |        0
1718.15/1718.64	c 1715s |      24 |  4827830 |  4646562 |     4693   2286 |        0 |        0
1720.15/1720.66	c 1717s |      24 |  4832801 |  4651262 |     4693   2288 |        0 |        0
1722.16/1722.69	c 1719s |      24 |  4838018 |  4656062 |     4693   2290 |        0 |        0
1724.25/1724.71	c 1721s |      24 |  4843461 |  4660962 |     4693   2292 |        0 |        0
1726.25/1726.73	c 1723s |      24 |  4849979 |  4667262 |     4693   2294 |        0 |        0
1728.25/1728.75	c 1725s |      24 |  4856872 |  4673762 |     4693   2297 |        0 |        0
1730.25/1730.76	c 1727s |      24 |  4863452 |  4680062 |     4693   2300 |        0 |        0
1732.25/1732.78	c 1729s |      24 |  4870031 |  4686362 |     4693   2302 |        0 |        0
1734.25/1734.78	c 1731s |      24 |  4876838 |  4692662 |     4693   2305 |        0 |        0
1736.35/1736.84	c 1733s |      24 |  4881197 |  4696862 |     4693   2306 |        0 |        0
1738.35/1738.85	c 1735s |      24 |  4885903 |  4701462 |     4693   2308 |        0 |        0
1740.34/1740.86	c 1737s |      24 |  4890018 |  4705462 |     4693   2310 |        0 |        0
1742.34/1742.88	c 1739s |      24 |  4895384 |  4710662 |     4693   2312 |        0 |        0
1744.34/1744.88	c 1741s |      24 |  4900618 |  4715662 |     4693   2314 |        0 |        0
1746.45/1746.91	c 1743s |      24 |  4906883 |  4721762 |     4693   2316 |        0 |        0
1748.44/1748.94	c 1745s |      24 |  4912916 |  4727562 |     4693   2318 |        0 |        0
1750.44/1750.99	c 1747s |      24 |  4918778 |  4733162 |     4693   2321 |        0 |        0
1752.54/1753.01	c 1749s |      24 |  4923963 |  4738162 |     4693   2323 |        0 |        0
1754.54/1755.02	c 1751s |      24 |  4929516 |  4743662 |     4693   2325 |        0 |        0
1756.54/1757.05	c 1753s |      24 |  4934608 |  4748662 |     4693   2327 |        0 |        0
1758.64/1759.10	c 1755s |      24 |  4940088 |  4754062 |     4693   2329 |        0 |        0
1760.65/1761.13	c 1757s |      24 |  4946583 |  4760462 |     4693   2332 |        0 |        0
1762.64/1763.19	c 1759s |      24 |  4951028 |  4764862 |     4693   2333 |        0 |        0
1764.74/1765.21	c 1761s |      24 |  4956272 |  4769962 |     4693   2335 |        0 |        0
1766.74/1767.22	c 1763s |      24 |  4961800 |  4775062 |     4693   2337 |        0 |        0
1768.74/1769.22	c 1765s |      24 |  4967898 |  4780862 |     4693   2340 |        0 |        0
1770.74/1771.26	c 1767s |      24 |  4973898 |  4786562 |     4693   2342 |        0 |        0
1772.75/1773.29	c 1769s |      24 |  4979742 |  4792262 |     4693   2344 |        0 |        0
1774.74/1775.29	c 1771s |      24 |  4985963 |  4798262 |     4693   2347 |        0 |        0
1776.74/1777.29	c 1773s |      24 |  4991693 |  4803662 |     4693   2349 |        0 |        0
1778.84/1779.30	c 1775s |      24 |  4997930 |  4809562 |     4693   2351 |        0 |        0
1780.84/1781.30	c 1777s |      24 |  5003939 |  4815162 |     4693   2353 |        0 |        0
1782.84/1783.31	c 1779s |      24 |  5010433 |  4821462 |     4693   2356 |        0 |        0
1784.84/1785.33	c 1781s |      24 |  5017301 |  4827962 |     4693   2358 |        0 |        0
1786.84/1787.37	c 1783s |      24 |  5023555 |  4834062 |     4693   2361 |        0 |        0
1788.84/1789.38	c 1785s |      24 |  5030222 |  4840362 |     4693   2363 |        0 |        0
1790.94/1791.41	c 1787s |      24 |  5036580 |  4846362 |     4693   2366 |        0 |        0
1792.94/1793.41	c 1789s |      24 |  5043069 |  4852462 |     4693   2368 |        0 |        0
1794.94/1795.43	c 1791s |      24 |  5049776 |  4858962 |     4693   2371 |        0 |        0
1796.94/1797.44	c 1793s |      24 |  5056330 |  4865262 |     4693   2373 |        0 |        0
1798.93/1799.45	c 1795s |      24 |  5062496 |  4871162 |     4693   2376 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

pid=25170
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.36 2.28 2.12 3/179 25173
/proc/meminfo: memFree=28937740/32872528 swapFree=1499884/1696108
[pid=25173] ppid=25170 vsize=715196 CPUtime=0 cores=0,2,4,6
/proc/25173/stat : 25173 (toysat) R 25170 25173 24910 0 -1 4202496 2665 0 0 0 0 0 0 0 20 0 4 0 28703066 732360704 3026 33554432000 4194304 16246674 140737062435424 140737062434848 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25173/statm: 179311 3035 441 2943 0 176205 0
[pid=25173/tid=25174] ppid=25170 vsize=732604 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25174/stat : 25174 (toysat) S 25170 25173 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28703066 750186496 3095 33554432000 4194304 16246674 140737062435424 140629409508592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25173/tid=25175] ppid=25170 vsize=736700 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25175/stat : 25175 (toysat) S 25170 25173 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28703066 754380800 3111 33554432000 4194304 16246674 140737062435424 140629399018736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25173/tid=25176] ppid=25170 vsize=741820 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25176/stat : 25176 (toysat) S 25170 25173 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28703066 759623680 3131 33554432000 4194304 16246674 140737062435424 140629388545200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.36 2.28 2.12 3/179 25173
/proc/meminfo: memFree=28937740/32872528 swapFree=1499884/1696108
[pid=25173] ppid=25170 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/25173/stat : 25173 (toysat) R 25170 25173 24910 0 -1 4202496 21422 0 0 0 6 3 0 0 20 0 4 0 28703066 1247350784 21770 33554432000 4194304 16246674 140737062435424 140737062418416 5721708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25173/statm: 304529 21784 759 2943 0 301423 0
[pid=25173/tid=25174] ppid=25170 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25174/stat : 25174 (toysat) S 25170 25173 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28703066 1247350784 21788 33554432000 4194304 16246674 140737062435424 140629409508592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25173/tid=25175] ppid=25170 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25175/stat : 25175 (toysat) S 25170 25173 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28703066 1247350784 21792 33554432000 4194304 16246674 140737062435424 140629399018736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25173/tid=25176] ppid=25170 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25176/stat : 25176 (toysat) S 25170 25173 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28703066 1247350784 21797 33554432000 4194304 16246674 140737062435424 140629388545200 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.200512 s]
/proc/loadavg: 2.36 2.28 2.12 3/179 25173
/proc/meminfo: memFree=28937740/32872528 swapFree=1499884/1696108
[pid=25173] ppid=25170 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/25173/stat : 25173 (toysat) R 25170 25173 24910 0 -1 4202496 37651 0 0 0 14 5 0 0 20 0 4 0 28703066 1247350784 38000 33554432000 4194304 16246674 140737062435424 140737062418416 5546859 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25173/statm: 304529 38005 759 2943 0 301423 0
[pid=25173/tid=25174] ppid=25170 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25174/stat : 25174 (toysat) S 25170 25173 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28703066 1247350784 38009 33554432000 4194304 16246674 140737062435424 140629409508592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25173/tid=25175] ppid=25170 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25175/stat : 25175 (toysat) S 25170 25173 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28703066 1247350784 38014 33554432000 4194304 16246674 140737062435424 140629399018736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25173/tid=25176] ppid=25170 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25176/stat : 25176 (toysat) S 25170 25173 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28703066 1247350784 38017 33554432000 4194304 16246674 140737062435424 140629388545200 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.36 2.28 2.12 3/179 25173
/proc/meminfo: memFree=28937740/32872528 swapFree=1499884/1696108
[pid=25173] ppid=25170 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/25173/stat : 25173 (toysat) R 25170 25173 24910 0 -1 4202496 51160 0 0 0 22 7 0 0 20 0 4 0 28703066 1247350784 51508 33554432000 4194304 16246674 140737062435424 140737062418416 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25173/statm: 304529 51514 759 2943 0 301423 0
[pid=25173/tid=25174] ppid=25170 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25174/stat : 25174 (toysat) S 25170 25173 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28703066 1247350784 51517 33554432000 4194304 16246674 140737062435424 140629409508592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25173/tid=25175] ppid=25170 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25175/stat : 25175 (toysat) S 25170 25173 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28703066 1247350784 51521 33554432000 4194304 16246674 140737062435424 140629399018736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25173/tid=25176] ppid=25170 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25176/stat : 25176 (toysat) S 25170 25173 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28703066 1247350784 51524 33554432000 4194304 16246674 140737062435424 140629388545200 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.700351 s]
/proc/loadavg: 2.36 2.28 2.12 3/179 25173
/proc/meminfo: memFree=28937740/32872528 swapFree=1499884/1696108
[pid=25173] ppid=25170 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/25173/stat : 25173 (toysat) R 25170 25173 24910 0 -1 4202496 111554 0 0 0 54 15 0 0 20 0 4 0 28703066 1247350784 111902 33554432000 4194304 16246674 140737062435424 140737062418416 13759916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25173/statm: 304529 111911 766 2943 0 301423 0
[pid=25173/tid=25174] ppid=25170 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25174/stat : 25174 (toysat) S 25170 25173 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28703066 1247350784 111916 33554432000 4194304 16246674 140737062435424 140629409508592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25173/tid=25175] ppid=25170 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25175/stat : 25175 (toysat) S 25170 25173 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28703066 1247350784 111921 33554432000 4194304 16246674 140737062435424 140629399018736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25173/tid=25176] ppid=25170 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25176/stat : 25176 (toysat) S 25170 25173 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28703066 1247350784 111925 33554432000 4194304 16246674 140737062435424 140629388545200 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.50035 s]
/proc/loadavg: 2.36 2.28 2.12 3/183 25177
/proc/meminfo: memFree=28207276/32872528 swapFree=1499884/1696108
[pid=25173] ppid=25170 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/25173/stat : 25173 (toysat) R 25170 25173 24910 0 -1 4202496 227287 0 0 0 119 30 0 0 20 0 4 0 28703066 1247350784 227635 33554432000 4194304 16246674 140737062435424 140737062418416 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25173/statm: 304529 227641 768 2943 0 301423 0
[pid=25173/tid=25174] ppid=25170 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25174/stat : 25174 (toysat) S 25170 25173 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28703066 1247350784 227646 33554432000 4194304 16246674 140737062435424 140629409508592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25173/tid=25175] ppid=25170 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25175/stat : 25175 (toysat) S 25170 25173 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28703066 1247350784 227651 33554432000 4194304 16246674 140737062435424 140629399018736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25173/tid=25176] ppid=25170 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25176/stat : 25176 (toysat) S 25170 25173 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28703066 1247350784 227655 33554432000 4194304 16246674 140737062435424 140629388545200 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) 1218116

[startup+3.10036 s]
/proc/loadavg: 2.33 2.27 2.12 3/183 25177
/proc/meminfo: memFree=27952952/32872528 swapFree=1499884/1696108
[pid=25173] ppid=25170 vsize=1303108 CPUtime=3.09 cores=0,2,4,6
/proc/25173/stat : 25173 (toysat) R 25170 25173 24910 0 -1 4202496 266814 0 0 0 274 35 0 0 20 0 4 0 28703066 1334382592 267139 33554432000 4194304 16246674 140737062435424 140737062417344 5600014 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25173/statm: 325777 267139 836 2943 0 322671 0
[pid=25173/tid=25174] ppid=25170 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25174/stat : 25174 (toysat) S 25170 25173 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28703066 1334382592 267139 33554432000 4194304 16246674 140737062435424 140629409508592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25173/tid=25175] ppid=25170 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25175/stat : 25175 (toysat) S 25170 25173 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28703066 1334382592 267139 33554432000 4194304 16246674 140737062435424 140629399018736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25173/tid=25176] ppid=25170 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25176/stat : 25176 (toysat) S 25170 25173 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28703066 1334382592 267139 33554432000 4194304 16246674 140737062435424 140629388545200 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) 1303108

[startup+6.30043 s]
/proc/loadavg: 2.33 2.27 2.12 4/183 25177
/proc/meminfo: memFree=27866540/32872528 swapFree=1499884/1696108
[pid=25173] ppid=25170 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/25173/stat : 25173 (toysat) R 25170 25173 24910 0 -1 4202496 267707 0 0 0 594 35 0 0 20 0 4 0 28703066 1338576896 268032 33554432000 4194304 16246674 140737062435424 140737062417344 13950218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25173/statm: 326801 268032 854 2943 0 323695 0
[pid=25173/tid=25174] ppid=25170 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25174/stat : 25174 (toysat) S 25170 25173 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28703066 1338576896 268032 33554432000 4194304 16246674 140737062435424 140629409508592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25173/tid=25175] ppid=25170 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25175/stat : 25175 (toysat) S 25170 25173 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28703066 1338576896 268032 33554432000 4194304 16246674 140737062435424 140629399018736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25173/tid=25176] ppid=25170 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25176/stat : 25176 (toysat) S 25170 25173 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28703066 1338576896 268032 33554432000 4194304 16246674 140737062435424 140629388545200 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) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.28 2.26 2.12 3/183 25177
/proc/meminfo: memFree=27865440/32872528 swapFree=1499884/1696108
[pid=25173] ppid=25170 vsize=1309252 CPUtime=12.69 cores=0,2,4,6
/proc/25173/stat : 25173 (toysat) R 25170 25173 24910 0 -1 4202496 268263 0 0 0 1234 35 0 0 20 0 4 0 28703066 1340674048 268588 33554432000 4194304 16246674 140737062435424 140737062417344 12477957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25173/statm: 327313 268588 854 2943 0 324207 0
[pid=25173/tid=25174] ppid=25170 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25174/stat : 25174 (toysat) S 25170 25173 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28703066 1340674048 268588 33554432000 4194304 16246674 140737062435424 140629409508592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25173/tid=25175] ppid=25170 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25175/stat : 25175 (toysat) S 25170 25173 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28703066 1340674048 268588 33554432000 4194304 16246674 140737062435424 140629399018736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25173/tid=25176] ppid=25170 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25176/stat : 25176 (toysat) S 25170 25173 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28703066 1340674048 268588 33554432000 4194304 16246674 140737062435424 140629388545200 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) 1309252

[startup+25.5005 s]
/proc/loadavg: 2.39 2.29 2.13 4/183 25177
/proc/meminfo: memFree=27864220/32872528 swapFree=1499884/1696108
[pid=25173] ppid=25170 vsize=1309252 CPUtime=25.49 cores=0,2,4,6
/proc/25173/stat : 25173 (toysat) R 25170 25173 24910 0 -1 4202496 268410 0 0 0 2514 35 0 0 20 0 4 0 28703066 1340674048 268735 33554432000 4194304 16246674 140737062435424 140737062418424 6012036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25173/statm: 327313 268735 854 2943 0 324207 0
[pid=25173/tid=25174] ppid=25170 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25174/stat : 25174 (toysat) S 25170 25173 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28703066 1340674048 268735 33554432000 4194304 16246674 140737062435424 140629409508592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25173/tid=25175] ppid=25170 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25175/stat : 25175 (toysat) S 25170 25173 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28703066 1340674048 268735 33554432000 4194304 16246674 140737062435424 140629399018736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25173/tid=25176] ppid=25170 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25176/stat : 25176 (toysat) S 25170 25173 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28703066 1340674048 268735 33554432000 4194304 16246674 140737062435424 140629388545200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 2.26 2.26 2.12 3/183 25226
/proc/meminfo: memFree=27880772/32872528 swapFree=1499884/1696108
[pid=25173] ppid=25170 vsize=1310276 CPUtime=51.08 cores=0,2,4,6
/proc/25173/stat : 25173 (toysat) R 25170 25173 24910 0 -1 4202496 268666 0 0 0 5073 35 0 0 20 0 4 0 28703066 1341722624 268991 33554432000 4194304 16246674 140737062435424 140737062417344 12415665 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25173/statm: 327569 268991 854 2943 0 324463 0
[pid=25173/tid=25174] ppid=25170 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25174/stat : 25174 (toysat) S 25170 25173 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28703066 1341722624 268991 33554432000 4194304 16246674 140737062435424 140629409508592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25173/tid=25175] ppid=25170 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25175/stat : 25175 (toysat) S 25170 25173 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28703066 1341722624 268991 33554432000 4194304 16246674 140737062435424 140629399018736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25173/tid=25176] ppid=25170 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25176/stat : 25176 (toysat) S 25170 25173 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28703066 1341722624 268991 33554432000 4194304 16246674 140737062435424 140629388545200 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) 1310276

[startup+102.3 s]
/proc/loadavg: 2.19 2.25 2.12 3/183 25228
/proc/meminfo: memFree=27878640/32872528 swapFree=1499884/1696108
[pid=25173] ppid=25170 vsize=1314372 CPUtime=102.27 cores=0,2,4,6
/proc/25173/stat : 25173 (toysat) R 25170 25173 24910 0 -1 4202496 269703 0 0 0 10192 35 0 0 20 0 4 0 28703066 1345916928 270018 33554432000 4194304 16246674 140737062435424 140737062417344 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25173/statm: 328593 270018 854 2943 0 325487 0
[pid=25173/tid=25174] ppid=25170 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25174/stat : 25174 (toysat) S 25170 25173 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28703066 1345916928 270018 33554432000 4194304 16246674 140737062435424 140629409508592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25173/tid=25175] ppid=25170 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25175/stat : 25175 (toysat) S 25170 25173 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28703066 1345916928 270018 33554432000 4194304 16246674 140737062435424 140629399018736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25173/tid=25176] ppid=25170 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25176/stat : 25176 (toysat) S 25170 25173 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28703066 1345916928 270018 33554432000 4194304 16246674 140737062435424 140629388545200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1314372


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

/proc/25173/task/25176/stat : 25176 (toysat) S 25170 25173 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28703066 1353256960 271814 33554432000 4194304 16246674 140737062435424 140629388545200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1321540

[startup+1362.3 s]
/proc/loadavg: 2.22 2.26 2.20 3/183 25453
/proc/meminfo: memFree=27857920/32872528 swapFree=1499884/1696108
[pid=25173] ppid=25170 vsize=1321540 CPUtime=1361.9 cores=0,2,4,6
/proc/25173/stat : 25173 (toysat) R 25170 25173 24910 0 -1 4202496 271842 0 0 0 136147 43 0 0 20 0 4 0 28703066 1353256960 271814 33554432000 4194304 16246674 140737062435424 140737062417344 5572136 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25173/statm: 330385 271814 856 2943 0 327279 0
[pid=25173/tid=25174] ppid=25170 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25174/stat : 25174 (toysat) S 25170 25173 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28703066 1353256960 271814 33554432000 4194304 16246674 140737062435424 140629409508592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25173/tid=25175] ppid=25170 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25175/stat : 25175 (toysat) S 25170 25173 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28703066 1353256960 271814 33554432000 4194304 16246674 140737062435424 140629399018736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25173/tid=25176] ppid=25170 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25176/stat : 25176 (toysat) S 25170 25173 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28703066 1353256960 271814 33554432000 4194304 16246674 140737062435424 140629388545200 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) 1321540

[startup+1422.3 s]
/proc/loadavg: 2.28 2.27 2.21 3/183 25454
/proc/meminfo: memFree=27857896/32872528 swapFree=1499884/1696108
[pid=25173] ppid=25170 vsize=1321540 CPUtime=1421.9 cores=0,2,4,6
/proc/25173/stat : 25173 (toysat) R 25170 25173 24910 0 -1 4202496 271842 0 0 0 142146 44 0 0 20 0 4 0 28703066 1353256960 271814 33554432000 4194304 16246674 140737062435424 140737062417344 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25173/statm: 330385 271814 856 2943 0 327279 0
[pid=25173/tid=25174] ppid=25170 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25174/stat : 25174 (toysat) S 25170 25173 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28703066 1353256960 271814 33554432000 4194304 16246674 140737062435424 140629409508592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25173/tid=25175] ppid=25170 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25175/stat : 25175 (toysat) S 25170 25173 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28703066 1353256960 271814 33554432000 4194304 16246674 140737062435424 140629399018736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25173/tid=25176] ppid=25170 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25176/stat : 25176 (toysat) S 25170 25173 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28703066 1353256960 271814 33554432000 4194304 16246674 140737062435424 140629388545200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1321540

[startup+1482.3 s]
/proc/loadavg: 2.23 2.25 2.20 4/184 25458
/proc/meminfo: memFree=27857368/32872528 swapFree=1499884/1696108
[pid=25173] ppid=25170 vsize=1321540 CPUtime=1481.88 cores=0,2,4,6
/proc/25173/stat : 25173 (toysat) R 25170 25173 24910 0 -1 4202496 271842 0 0 0 148144 44 0 0 20 0 4 0 28703066 1353256960 271814 33554432000 4194304 16246674 140737062435424 140737062417344 13192816 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25173/statm: 330385 271814 856 2943 0 327279 0
[pid=25173/tid=25174] ppid=25170 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25174/stat : 25174 (toysat) S 25170 25173 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28703066 1353256960 271814 33554432000 4194304 16246674 140737062435424 140629409508592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25173/tid=25175] ppid=25170 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25175/stat : 25175 (toysat) S 25170 25173 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28703066 1353256960 271814 33554432000 4194304 16246674 140737062435424 140629399018736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25173/tid=25176] ppid=25170 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25176/stat : 25176 (toysat) S 25170 25173 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28703066 1353256960 271814 33554432000 4194304 16246674 140737062435424 140629388545200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1321540

[startup+1542.31 s]
/proc/loadavg: 2.32 2.27 2.21 4/183 25459
/proc/meminfo: memFree=27856388/32872528 swapFree=1499884/1696108
[pid=25173] ppid=25170 vsize=1322564 CPUtime=1541.88 cores=0,2,4,6
/proc/25173/stat : 25173 (toysat) R 25170 25173 24910 0 -1 4202496 272098 0 0 0 154143 45 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140737062418424 6837238 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25173/statm: 330641 272070 856 2943 0 327535 0
[pid=25173/tid=25174] ppid=25170 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25174/stat : 25174 (toysat) S 25170 25173 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140629409508592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25173/tid=25175] ppid=25170 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25175/stat : 25175 (toysat) S 25170 25173 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140629399018736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25173/tid=25176] ppid=25170 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25176/stat : 25176 (toysat) S 25170 25173 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140629388545200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1322564

[startup+1602.3 s]
/proc/loadavg: 2.53 2.33 2.23 3/183 25460
/proc/meminfo: memFree=27856604/32872528 swapFree=1499884/1696108
[pid=25173] ppid=25170 vsize=1322564 CPUtime=1601.86 cores=0,2,4,6
/proc/25173/stat : 25173 (toysat) R 25170 25173 24910 0 -1 4202496 272098 0 0 0 160141 45 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140737062417344 5546177 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25173/statm: 330641 272070 856 2943 0 327535 0
[pid=25173/tid=25174] ppid=25170 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25174/stat : 25174 (toysat) S 25170 25173 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140629409508592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25173/tid=25175] ppid=25170 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25175/stat : 25175 (toysat) S 25170 25173 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140629399018736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25173/tid=25176] ppid=25170 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25176/stat : 25176 (toysat) S 25170 25173 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140629388545200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1322564

[startup+1662.3 s]
/proc/loadavg: 2.54 2.37 2.25 3/183 25462
/proc/meminfo: memFree=27856452/32872528 swapFree=1499884/1696108
[pid=25173] ppid=25170 vsize=1322564 CPUtime=1661.86 cores=0,2,4,6
/proc/25173/stat : 25173 (toysat) R 25170 25173 24910 0 -1 4202496 272098 0 0 0 166140 46 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140737062417344 5827653 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25173/statm: 330641 272070 856 2943 0 327535 0
[pid=25173/tid=25174] ppid=25170 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25174/stat : 25174 (toysat) S 25170 25173 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140629409508592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25173/tid=25175] ppid=25170 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25175/stat : 25175 (toysat) S 25170 25173 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140629399018736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25173/tid=25176] ppid=25170 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25176/stat : 25176 (toysat) S 25170 25173 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140629388545200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1322564

[startup+1722.3 s]
/proc/loadavg: 2.56 2.41 2.27 3/183 25463
/proc/meminfo: memFree=27856340/32872528 swapFree=1499884/1696108
[pid=25173] ppid=25170 vsize=1322564 CPUtime=1721.85 cores=0,2,4,6
/proc/25173/stat : 25173 (toysat) R 25170 25173 24910 0 -1 4202496 272098 0 0 0 172139 46 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140737062417344 5677216 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25173/statm: 330641 272070 856 2943 0 327535 0
[pid=25173/tid=25174] ppid=25170 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25174/stat : 25174 (toysat) S 25170 25173 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140629409508592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25173/tid=25175] ppid=25170 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25175/stat : 25175 (toysat) S 25170 25173 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140629399018736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25173/tid=25176] ppid=25170 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25176/stat : 25176 (toysat) S 25170 25173 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140629388545200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1322564

[startup+1782.3 s]
/proc/loadavg: 2.60 2.44 2.29 3/183 25464
/proc/meminfo: memFree=27855608/32872528 swapFree=1499884/1696108
[pid=25173] ppid=25170 vsize=1322564 CPUtime=1781.84 cores=0,2,4,6
/proc/25173/stat : 25173 (toysat) R 25170 25173 24910 0 -1 4202496 272098 0 0 0 178138 46 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140737062418424 5672503 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25173/statm: 330641 272070 856 2943 0 327535 0
[pid=25173/tid=25174] ppid=25170 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25174/stat : 25174 (toysat) S 25170 25173 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140629409508592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25173/tid=25175] ppid=25170 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25175/stat : 25175 (toysat) S 25170 25173 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140629399018736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25173/tid=25176] ppid=25170 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25176/stat : 25176 (toysat) S 25170 25173 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140629388545200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1322564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.65 2.46 2.29 3/183 25464
/proc/meminfo: memFree=27855608/32872528 swapFree=1499884/1696108
[pid=25173] ppid=25170 vsize=1322564 CPUtime=1800.03 cores=0,2,4,6
/proc/25173/stat : 25173 (toysat) R 25170 25173 24910 0 -1 4202496 272098 0 0 0 179957 46 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140737062418424 5823611 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25173/statm: 330641 272070 856 2943 0 327535 0
[pid=25173/tid=25174] ppid=25170 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25174/stat : 25174 (toysat) S 25170 25173 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140629409508592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25173/tid=25175] ppid=25170 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25175/stat : 25175 (toysat) S 25170 25173 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140629399018736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25173/tid=25176] ppid=25170 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25176/stat : 25176 (toysat) S 25170 25173 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140629388545200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1322564

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

[startup+1800.5 s]
/proc/loadavg: 2.65 2.46 2.29 3/183 25464
/proc/meminfo: memFree=27855608/32872528 swapFree=1499884/1696108
[pid=25173] ppid=25170 vsize=1322564 CPUtime=1800.03 cores=0,2,4,6
/proc/25173/stat : 25173 (toysat) R 25170 25173 24910 0 -1 4202496 272098 0 0 0 179957 46 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140737062418424 5823611 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25173/statm: 330641 272070 856 2943 0 327535 0
[pid=25173/tid=25174] ppid=25170 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25174/stat : 25174 (toysat) S 25170 25173 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140629409508592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25173/tid=25175] ppid=25170 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25175/stat : 25175 (toysat) S 25170 25173 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140629399018736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25173/tid=25176] ppid=25170 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/25173/task/25176/stat : 25176 (toysat) S 25170 25173 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28703066 1354305536 272070 33554432000 4194304 16246674 140737062435424 140629388545200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1322564

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.58
CPU system time (s): 0.467928
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 1322564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.467928
maximum resident set size= 1088280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272098
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= 372
involuntary context switches= 1855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.70628 second user time and 6.99394 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-18 18:16:13
IDJOB=4106154
IDBENCH=47954
IDSOLVER=2542
FILE ID=node137/4106154-1466266573
RUNJOBID= node137-1466264772-24926
PBS_JOBID= 19918225
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=127-P1=293-P2=269-P3=7-P4=157-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106154-1466266573/watcher-4106154-1466266573 -o /tmp/evaluation-result-4106154-1466266573/solver-4106154-1466266573 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24926 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106154-1466266573.opb

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

MD5SUM BENCH= 5afebeda0ba6ac0761acdbdcd52ef74a
RANDOM SEED=1450438973

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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:        28938268 kB
Buffers:          144720 kB
Cached:           254768 kB
SwapCached:         1268 kB
Active:          1244068 kB
Inactive:         251552 kB
Active(anon):    1097072 kB
Inactive(anon):     1028 kB
Active(file):     146996 kB
Inactive(file):   250524 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100008 kB
Dirty:             16308 kB
Writeback:             0 kB
AnonPages:       2900000 kB
Mapped:            10464 kB
Shmem:                 0 kB
Slab:             606768 kB
SReclaimable:      50996 kB
SUnreclaim:       555772 kB
KernelStack:        1520 kB
PageTables:         9576 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2933812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    575488 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= 71672 MiB
End job on node137 at 2016-06-18 18:46:14