Trace number 4105992

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.61

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=149-P1=419-P2=307-P3=223-B.opb
MD5SUMc4226b2f0998740abfed6a5c474083dd
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.072988
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 variables81
Total number of constraints7
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a 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)243
Sum of products size (including duplicates)486
Number of different products243
Sum of products size486

Solver Data 

0.00/0.00	c 2016-06-18T16:50:05+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-4105992-1466261405.opb"]
0.00/0.01	c use --random-gen="3321691724 4188820238 3323203494 3375874903 190311846 1359641035 2153333316 1116797528 2200714202 403598731 2394035163 2543229908 2028218646 2756032578 625114633 231203473 2858669121 170400281 4183464309 3542501709 4245178730 3580046149 1605603910 1035736961 1193725691 2696147589 522935696 2482787083 2746913062 1323489532 136939991 4063821000 4067300153 629582611 1329695650 2911647240 2218538665 2361626016 672771946 3148421380 442279976 3223897367 2266263847 896824918 1414811794 1223794353 3466081249 152358016 549393719 2763709024 3063532185 3585179373 2821519403 4103363232 1164097725 453252789 3170382886 698764875 3141837053 3978328693 2479227815 739739012 3565077673 1464387875 1373684648 462607361 403040402 1412916241 3430359734 3207936232 3060034645 1576434626 3869214772 2028031138 3838501303 1089172801 2790019802 4193438320 947595171 103872182 910250320 204992925 77472123 47551890 4047061942 117919961 735534468 2029359135 1219854157 2084051331 4221914358 3770742442 2072590601 418446756 886537475 1353281872 2593344406 1048560045 685407531 2669889548 3160759959 3019759509 573595633 463276658 3328028420 1887792979 2529310247 2732099425 3713631166 1415471814 174094242 3363012146 2408942196 470724789 1010349617 3198041992 3845045698 3982128013 2761975622 1130891598 3510782176 2956677783 2266771354 3671236380 3878463336 1921221369 3894655500 1081905345 1503982120 702039975 808827422 3456752704 1935976347 3827206049 1873193018 1241362212 1390225479 3160759849 3087569502 3363687783 2638321582 575808423 2504312566 1168443002 2806688064 486306882 3693865723 3014131390 1320457858 2525771662 194752703 4144073993 3969810085 770610071 1046252862 671385813 3954517415 104923357 585475551 2603425739 3657868268 296498108 1871534991 2233841007 654401262 1155976358 3926257188 1489275582 913934541 4289594665 3343022318 556719310 1303950063 73162694 71334684 3875002943 4138824630 2835952862 314758729 1083580088 109932396 3571922108 2932882622 3309507321 3396819863 4230498866 1551781831 99420117 3913425431 980064629 2693162501 2587467887 1243694439 2971092511 9562294 308928844 3243259837 4287710004 989129676 539374032 2086665854 3631014833 2432176059 318273468 3213096620 1559877493 2316695460 1508302546 68067664 235834655 3041826209 4175904113 3449873671 593662265 4114511048 3709155377 2116143738 3440060561 550872268 464727696 1577573770 3380995158 1114658910 2034027192 3530078037 4030224413 1473810712 29544547 4165294409 4100513980 3123297099 2319501702 3035664565 1986410398 4218449808 573437038 633356896 4264221426 1563430282 4053223147 96168247 1869948793 1495743723 1949199021 3533929532 3670149189 506341165 3221123798 543500420 2880058868 4275794687 3063387687 1957810961 3826069700 1498051682 230501414 255 362436" option to reproduce the execution
0.00/0.01	c #vars 81
0.00/0.01	c #constraints 7
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      354      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      143 |      100 |      354      0 |        0 |        0
0.09/0.13	c  0.1s |       2 |      336 |      250 |      390      0 |        0 |        0
0.19/0.28	c  0.3s |       3 |      602 |      475 |      430      0 |        0 |        0
0.29/0.37	c  0.4s |       4 |      980 |      813 |      474      1 |        0 |        0
0.59/0.65	c  0.6s |       5 |     1524 |     1320 |      522      3 |        0 |        0
0.79/0.86	c  0.8s |       6 |     2321 |     2081 |      633      5 |        0 |        0
1.29/1.37	c  1.4s |       7 |     3570 |     3223 |      697      8 |        0 |        0
1.69/1.71	c  1.7s |       8 |     5362 |     4936 |      767     11 |        0 |        0
2.59/2.63	c  2.6s |       9 |     8048 |     7506 |      844     16 |        0 |        0
2.89/2.96	c  2.9s |       9 |     9775 |     9161 |      844     20 |        0 |        0
2.89/2.96	c #cpu_time = 2.939s
2.89/2.96	c #wall_clock_time = 2.939s
2.89/2.96	c #decision = 9775
2.89/2.96	c #random_decision = 30
2.89/2.96	c #conflict = 9161
2.89/2.96	c #restart = 9
2.89/2.96	o 497
2.89/2.96	c BCD2: updating upper bound: 511 -> 496
2.89/2.96	c BCD2: 0 <= obj <= 496
2.89/2.96	c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0
2.89/2.96	c BCD2: #sat=1 #unsat=1 bias=1/2
2.89/2.96	c Solving starts ...
2.89/2.96	c ============================[ Search Statistics ]============================
2.89/2.96	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.89/2.96	c       |         |          |          |    Limit     GC | Var      | Constra 
2.89/2.96	c =============================================================================
2.89/2.96	c  0.0s |       0 |        0 |        0 |      844      0 |        0 |        0
2.89/2.96	c  0.0s |       0 |        7 |        0 |      844      0 |        0 |        0
2.89/2.96	c #cpu_time = 0.002s
2.89/2.96	c #wall_clock_time = 0.002s
2.89/2.96	c #decision = 7
2.89/2.96	c #random_decision = 0
2.89/2.96	c #conflict = 0
2.89/2.96	c #restart = 0
2.89/2.96	c BCD2: found a new core of size 8: cost of the new core is >=2
2.89/2.96	c lower bound updated to 2
2.89/2.96	c BCD2: 2 <= obj <= 496
2.89/2.96	c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0
2.89/2.96	c BCD2: #sat=1 #unsat=2 bias=2/3
2.89/2.96	c Solving starts ...
2.89/2.96	c ============================[ Search Statistics ]============================
2.89/2.96	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.89/2.96	c       |         |          |          |    Limit     GC | Var      | Constra 
2.89/2.96	c =============================================================================
2.89/2.96	c  0.0s |       0 |        0 |        0 |      844      0 |        0 |        0
2.99/3.01	c  0.1s |       1 |      189 |      100 |      844      0 |        0 |        0
2.99/3.04	c  0.1s |       2 |      353 |      250 |      844      0 |        0 |        0
2.99/3.08	c  0.1s |       3 |      598 |      475 |      844      1 |        0 |        0
3.09/3.17	c  0.2s |       4 |     1022 |      813 |      844      1 |        0 |        0
3.29/3.35	c  0.4s |       5 |     1591 |     1320 |      844      2 |        0 |        0
3.39/3.49	c  0.5s |       6 |     2426 |     2081 |      844      4 |        0 |        0
3.79/3.83	c  0.9s |       7 |     3663 |     3223 |      929      6 |        0 |        0
4.49/4.59	c  1.6s |       8 |     5449 |     4936 |      929      9 |        0 |        0
5.28/5.31	c  2.4s |       9 |     8197 |     7506 |      929     14 |        0 |        0
6.08/6.17	c  3.2s |      10 |    12096 |    11361 |     1022     20 |        0 |        0
7.48/7.55	c  4.6s |      11 |    18132 |    17144 |     1125     30 |        0 |        0
9.39/9.48	c  6.5s |      12 |    26998 |    25819 |     1125     43 |        0 |        0
11.49/11.50	c  8.5s |      12 |    33210 |    31719 |     1238     51 |        0 |        0
13.39/13.48	c 10.5s |      13 |    40714 |    38832 |     1238     61 |        0 |        0
15.40/15.48	c 12.5s |      13 |    49585 |    47532 |     1238     72 |        0 |        0
17.39/17.49	c 14.5s |      13 |    58461 |    56232 |     1362     83 |        0 |        0
17.89/18.00	c 15.0s |      14 |    60640 |    58352 |     1362     86 |        0 |        0
19.99/20.01	c 17.1s |      14 |    66754 |    64252 |     1362     93 |        0 |        0
22.00/22.02	c 19.1s |      14 |    74057 |    71452 |     1362    102 |        0 |        0
23.99/24.06	c 21.1s |      14 |    81286 |    78552 |     1499    111 |        0 |        0
25.99/26.08	c 23.1s |      14 |    88368 |    85552 |     1499    119 |        0 |        0
26.59/26.67	c 23.7s |      15 |    90455 |    87632 |     1499    121 |        0 |        0
28.60/28.68	c 25.7s |      15 |    98711 |    95732 |     1499    130 |        0 |        0
30.69/30.70	c 27.7s |      15 |   107215 |   104132 |     1499    140 |        0 |        0
32.69/32.72	c 29.8s |      15 |   115728 |   112532 |     1499    150 |        0 |        0
34.69/34.72	c 31.8s |      15 |   123839 |   120532 |     1499    159 |        0 |        0
36.69/36.74	c 33.8s |      15 |   131630 |   128232 |     1649    167 |        0 |        0
37.59/37.63	c 34.7s |      16 |   134961 |   131552 |     1649    171 |        0 |        0
39.59/39.66	c 36.7s |      16 |   142462 |   138652 |     1649    178 |        0 |        0
41.58/41.67	c 38.7s |      16 |   149412 |   145252 |     1649    185 |        0 |        0
43.58/43.68	c 40.7s |      16 |   155815 |   151352 |     1649    192 |        0 |        0
45.58/45.69	c 42.7s |      16 |   162002 |   157152 |     1649    198 |        0 |        0
47.68/47.72	c 44.8s |      16 |   168929 |   163752 |     1649    205 |        0 |        0
49.68/49.74	c 46.8s |      16 |   176025 |   170352 |     1649    212 |        0 |        0
51.69/51.76	c 48.8s |      16 |   182032 |   176152 |     1649    218 |        0 |        0
53.68/53.78	c 50.8s |      16 |   187886 |   181752 |     1649    224 |        0 |        0
55.68/55.78	c 52.8s |      16 |   193521 |   187052 |     1814    229 |        0 |        0
57.78/57.80	c 54.8s |      16 |   200013 |   193252 |     1814    235 |        0 |        0
58.98/59.04	c 56.1s |      17 |   204360 |   197432 |     1814    239 |        0 |        0
60.98/61.04	c 58.1s |      17 |   212464 |   205432 |     1814    247 |        0 |        0
62.98/63.05	c 60.1s |      17 |   220588 |   213432 |     1814    255 |        0 |        0
64.98/65.07	c 62.1s |      17 |   228496 |   221232 |     1814    262 |        0 |        0
66.98/67.09	c 64.1s |      17 |   236003 |   228632 |     1814    269 |        0 |        0
69.08/69.11	c 66.2s |      17 |   243860 |   236232 |     1814    277 |        0 |        0
71.08/71.12	c 68.2s |      17 |   251063 |   243332 |     1814    284 |        0 |        0
73.07/73.14	c 70.2s |      17 |   258605 |   250732 |     1814    291 |        0 |        0
75.07/75.17	c 72.2s |      17 |   266298 |   258332 |     1814    298 |        0 |        0
77.08/77.18	c 74.2s |      17 |   273672 |   265632 |     1814    306 |        0 |        0
79.07/79.19	c 76.2s |      17 |   280896 |   272832 |     1814    313 |        0 |        0
81.17/81.21	c 78.3s |      17 |   287919 |   279832 |     1814    319 |        0 |        0
83.17/83.23	c 80.3s |      17 |   294969 |   286832 |     1996    326 |        0 |        0
85.17/85.25	c 82.3s |      17 |   302166 |   293932 |     1996    332 |        0 |        0
85.78/85.89	c 82.9s |      18 |   304523 |   296252 |     1996    334 |        0 |        0
87.87/87.90	c 84.9s |      18 |   310964 |   302452 |     1996    340 |        0 |        0
89.87/89.92	c 87.0s |      18 |   317202 |   308552 |     1996    345 |        0 |        0
91.87/91.93	c 89.0s |      18 |   323905 |   315052 |     1996    351 |        0 |        0
93.87/93.93	c 91.0s |      18 |   331795 |   322652 |     1996    358 |        0 |        0
95.87/95.94	c 93.0s |      18 |   339259 |   329952 |     1996    365 |        0 |        0
97.88/97.97	c 95.0s |      18 |   346470 |   336952 |     1996    371 |        0 |        0
99.87/99.99	c 97.0s |      18 |   353121 |   343352 |     1996    376 |        0 |        0
101.97/102.00	c 99.0s |      18 |   360308 |   350352 |     1996    383 |        0 |        0
103.97/104.00	c  101s |      18 |   368176 |   357952 |     1996    390 |        0 |        0
105.97/106.00	c  103s |      18 |   375230 |   364752 |     1996    396 |        0 |        0
107.97/108.01	c  105s |      18 |   381873 |   371052 |     1996    401 |        0 |        0
109.98/110.03	c  107s |      18 |   389306 |   378352 |     1996    408 |        0 |        0
111.98/112.04	c  109s |      18 |   396927 |   385752 |     1996    415 |        0 |        0
113.98/114.05	c  111s |      18 |   403915 |   392552 |     1996    421 |        0 |        0
115.98/116.06	c  113s |      18 |   411336 |   399752 |     1996    427 |        0 |        0
117.98/118.08	c  115s |      18 |   418664 |   406852 |     1996    433 |        0 |        0
119.98/120.09	c  117s |      18 |   425643 |   413452 |     1996    439 |        0 |        0
121.97/122.09	c  119s |      18 |   432772 |   420252 |     1996    445 |        0 |        0
124.07/124.10	c  121s |      18 |   439876 |   427152 |     1996    452 |        0 |        0
126.07/126.11	c  123s |      18 |   447448 |   434552 |     2196    458 |        0 |        0
128.07/128.13	c  125s |      18 |   454715 |   441552 |     2196    464 |        0 |        0
129.27/129.31	c  126s |      19 |   457922 |   444482 |     2196    466 |        0 |        0
131.27/131.33	c  128s |      19 |   466435 |   452882 |     2196    473 |        0 |        0
133.27/133.34	c  130s |      19 |   474304 |   460682 |     2196    479 |        0 |        0
135.28/135.35	c  132s |      19 |   482043 |   468382 |     2196    486 |        0 |        0
137.27/137.35	c  134s |      19 |   489686 |   475982 |     2196    492 |        0 |        0
139.27/139.36	c  136s |      19 |   496109 |   482382 |     2196    497 |        0 |        0
141.27/141.37	c  138s |      19 |   502873 |   489082 |     2196    503 |        0 |        0
143.27/143.40	c  140s |      19 |   510167 |   496182 |     2196    509 |        0 |        0
145.37/145.40	c  142s |      19 |   517075 |   502982 |     2196    514 |        0 |        0
147.37/147.41	c  144s |      19 |   524486 |   510282 |     2196    520 |        0 |        0
149.37/149.44	c  146s |      19 |   531321 |   516982 |     2196    526 |        0 |        0
151.37/151.46	c  148s |      19 |   538548 |   524082 |     2196    532 |        0 |        0
153.37/153.48	c  150s |      19 |   545523 |   530982 |     2196    538 |        0 |        0
155.37/155.48	c  152s |      19 |   552406 |   537782 |     2196    543 |        0 |        0
157.47/157.50	c  154s |      19 |   559755 |   545082 |     2196    549 |        0 |        0
159.47/159.51	c  156s |      19 |   567288 |   552482 |     2196    555 |        0 |        0
161.46/161.52	c  158s |      19 |   574430 |   559582 |     2196    561 |        0 |        0
163.46/163.53	c  160s |      19 |   581075 |   566182 |     2196    567 |        0 |        0
165.46/165.55	c  162s |      19 |   587674 |   572682 |     2196    572 |        0 |        0
167.46/167.55	c  164s |      19 |   594657 |   579482 |     2196    578 |        0 |        0
169.47/169.56	c  166s |      19 |   601834 |   586482 |     2196    584 |        0 |        0
171.46/171.56	c  168s |      19 |   608515 |   593082 |     2196    589 |        0 |        0
173.46/173.59	c  170s |      19 |   615600 |   600082 |     2196    595 |        0 |        0
175.56/175.60	c  172s |      19 |   622617 |   606982 |     2196    601 |        0 |        0
177.56/177.62	c  174s |      19 |   630245 |   614482 |     2196    607 |        0 |        0
179.56/179.65	c  176s |      19 |   637371 |   621582 |     2196    613 |        0 |        0
181.56/181.67	c  178s |      19 |   645141 |   629182 |     2196    619 |        0 |        0
183.56/183.67	c  180s |      19 |   651905 |   635882 |     2196    624 |        0 |        0
185.66/185.70	c  182s |      19 |   659116 |   642982 |     2196    630 |        0 |        0
187.66/187.72	c  184s |      19 |   666288 |   650082 |     2196    636 |        0 |        0
189.66/189.73	c  186s |      19 |   673888 |   657482 |     2416    642 |        0 |        0
191.65/191.75	c  188s |      19 |   681209 |   664682 |     2416    647 |        0 |        0
192.25/192.37	c  189s |      20 |   683373 |   666827 |     2416    649 |        0 |        0
194.35/194.41	c  191s |      20 |   689410 |   672527 |     2416    653 |        0 |        0
196.35/196.42	c  193s |      20 |   695115 |   677827 |     2416    657 |        0 |        0
198.35/198.44	c  195s |      20 |   701451 |   683727 |     2416    662 |        0 |        0
200.35/200.49	c  197s |      20 |   707960 |   690027 |     2416    667 |        0 |        0
202.36/202.50	c  199s |      20 |   714222 |   696027 |     2416    671 |        0 |        0
204.45/204.50	c  201s |      20 |   721134 |   702727 |     2416    676 |        0 |        0
206.45/206.52	c  203s |      20 |   728106 |   709527 |     2416    681 |        0 |        0
208.45/208.53	c  205s |      20 |   734351 |   715527 |     2416    686 |        0 |        0
210.45/210.55	c  207s |      20 |   740712 |   721527 |     2416    690 |        0 |        0
212.45/212.56	c  209s |      20 |   747211 |   727827 |     2416    695 |        0 |        0
214.46/214.56	c  211s |      20 |   753297 |   733727 |     2416    699 |        0 |        0
216.45/216.56	c  213s |      20 |   759001 |   739227 |     2416    704 |        0 |        0
218.46/218.57	c  215s |      20 |   765902 |   745927 |     2416    709 |        0 |        0
220.46/220.57	c  217s |      20 |   771843 |   751727 |     2416    713 |        0 |        0
222.46/222.59	c  219s |      20 |   777753 |   757427 |     2416    717 |        0 |        0
224.56/224.60	c  221s |      20 |   784370 |   763927 |     2416    722 |        0 |        0
226.56/226.61	c  223s |      20 |   790602 |   769927 |     2416    727 |        0 |        0
228.56/228.65	c  225s |      20 |   797143 |   776227 |     2416    731 |        0 |        0
230.56/230.67	c  227s |      20 |   803639 |   782427 |     2416    736 |        0 |        0
232.55/232.69	c  229s |      20 |   809867 |   788427 |     2416    741 |        0 |        0
234.65/234.71	c  231s |      20 |   816300 |   794727 |     2416    745 |        0 |        0
236.65/236.74	c  233s |      20 |   822722 |   800927 |     2416    750 |        0 |        0
238.66/238.76	c  235s |      20 |   829921 |   807927 |     2416    755 |        0 |        0
240.65/240.79	c  237s |      20 |   837196 |   814927 |     2416    761 |        0 |        0
242.65/242.79	c  239s |      20 |   844103 |   821627 |     2416    766 |        0 |        0
244.75/244.80	c  241s |      20 |   850521 |   827627 |     2416    770 |        0 |        0
246.75/246.84	c  243s |      20 |   857484 |   834327 |     2416    775 |        0 |        0
248.75/248.89	c  245s |      20 |   863975 |   840527 |     2416    780 |        0 |        0
250.86/250.91	c  247s |      20 |   870109 |   846427 |     2416    784 |        0 |        0
252.85/252.91	c  249s |      20 |   876213 |   852327 |     2416    789 |        0 |        0
254.85/254.91	c  251s |      20 |   882869 |   858427 |     2416    793 |        0 |        0
256.85/256.92	c  253s |      20 |   888971 |   864227 |     2416    798 |        0 |        0
258.85/258.93	c  255s |      20 |   896210 |   871227 |     2416    803 |        0 |        0
260.85/260.97	c  258s |      20 |   903460 |   878327 |     2416    808 |        0 |        0
262.85/262.99	c  260s |      20 |   909100 |   883727 |     2416    812 |        0 |        0
264.95/265.00	c  262s |      20 |   914983 |   889527 |     2416    817 |        0 |        0
266.95/267.02	c  264s |      20 |   922074 |   896527 |     2416    822 |        0 |        0
268.95/269.03	c  266s |      20 |   929186 |   903427 |     2416    827 |        0 |        0
270.95/271.05	c  268s |      20 |   936544 |   910527 |     2416    832 |        0 |        0
272.95/273.07	c  270s |      20 |   943769 |   917427 |     2416    838 |        0 |        0
274.95/275.09	c  272s |      20 |   950908 |   924227 |     2416    843 |        0 |        0
277.04/277.11	c  274s |      20 |   957658 |   930727 |     2416    848 |        0 |        0
279.04/279.11	c  276s |      20 |   964226 |   937027 |     2416    852 |        0 |        0
281.04/281.14	c  278s |      20 |   970738 |   943427 |     2416    857 |        0 |        0
283.04/283.17	c  280s |      20 |   976990 |   949527 |     2416    862 |        0 |        0
285.04/285.19	c  282s |      20 |   982895 |   955127 |     2416    866 |        0 |        0
287.05/287.20	c  284s |      20 |   988362 |   960427 |     2416    870 |        0 |        0
289.14/289.21	c  286s |      20 |   995475 |   967327 |     2416    875 |        0 |        0
291.14/291.22	c  288s |      20 |  1002262 |   973827 |     2416    880 |        0 |        0
293.14/293.23	c  290s |      20 |  1008984 |   980327 |     2416    885 |        0 |        0
295.14/295.25	c  292s |      20 |  1016286 |   987327 |     2658    890 |        0 |        0
297.14/297.25	c  294s |      20 |  1022094 |   992827 |     2658    894 |        0 |        0
299.15/299.28	c  296s |      20 |  1028213 |   998727 |     2658    898 |        0 |        0
299.64/299.78	c  296s |      21 |  1029879 |  1000345 |     2658    899 |        0 |        0
301.74/301.81	c  298s |      21 |  1036908 |  1007245 |     2658    904 |        0 |        0
303.74/303.82	c  300s |      21 |  1043254 |  1013545 |     2658    908 |        0 |        0
305.75/305.85	c  302s |      21 |  1048684 |  1018945 |     2658    912 |        0 |        0
307.74/307.89	c  304s |      21 |  1054145 |  1024345 |     2658    916 |        0 |        0
309.84/309.91	c  306s |      21 |  1060171 |  1030245 |     2658    920 |        0 |        0
311.84/311.93	c  308s |      21 |  1066169 |  1036145 |     2658    924 |        0 |        0
313.84/313.93	c  310s |      21 |  1071895 |  1041745 |     2658    928 |        0 |        0
315.84/315.94	c  312s |      21 |  1077749 |  1047445 |     2658    931 |        0 |        0
317.84/317.96	c  314s |      21 |  1084429 |  1054045 |     2658    936 |        0 |        0
319.84/319.99	c  317s |      21 |  1091120 |  1060645 |     2658    941 |        0 |        0
321.94/322.03	c  319s |      21 |  1098570 |  1067945 |     2658    946 |        0 |        0
323.94/324.05	c  321s |      21 |  1105637 |  1074845 |     2658    950 |        0 |        0
325.94/326.06	c  323s |      21 |  1112680 |  1081745 |     2658    955 |        0 |        0
327.94/328.08	c  325s |      21 |  1119508 |  1088445 |     2658    960 |        0 |        0
329.95/330.10	c  327s |      21 |  1126162 |  1094945 |     2658    964 |        0 |        0
332.04/332.10	c  329s |      21 |  1132407 |  1101145 |     2658    968 |        0 |        0
334.04/334.11	c  331s |      21 |  1138392 |  1107045 |     2658    973 |        0 |        0
336.04/336.12	c  333s |      21 |  1144846 |  1113345 |     2658    977 |        0 |        0
338.04/338.13	c  335s |      21 |  1151508 |  1119945 |     2658    981 |        0 |        0
340.04/340.16	c  337s |      21 |  1158263 |  1126645 |     2658    986 |        0 |        0
342.05/342.17	c  339s |      21 |  1164544 |  1132845 |     2658    990 |        0 |        0
344.14/344.22	c  341s |      21 |  1170691 |  1138945 |     2658    995 |        0 |        0
346.14/346.23	c  343s |      21 |  1176927 |  1145045 |     2658    999 |        0 |        0
348.14/348.24	c  345s |      21 |  1183246 |  1151045 |     2658   1003 |        0 |        0
350.14/350.25	c  347s |      21 |  1189210 |  1156945 |     2658   1007 |        0 |        0
352.14/352.25	c  349s |      21 |  1195176 |  1162845 |     2658   1011 |        0 |        0
354.15/354.27	c  351s |      21 |  1201018 |  1168645 |     2658   1015 |        0 |        0
356.14/356.28	c  353s |      21 |  1206876 |  1174445 |     2658   1019 |        0 |        0
358.14/358.28	c  355s |      21 |  1213265 |  1180645 |     2658   1023 |        0 |        0
360.24/360.31	c  357s |      21 |  1219604 |  1186945 |     2658   1027 |        0 |        0
362.24/362.33	c  359s |      21 |  1225415 |  1192745 |     2658   1031 |        0 |        0
364.24/364.35	c  361s |      21 |  1231394 |  1198645 |     2658   1035 |        0 |        0
366.24/366.35	c  363s |      21 |  1237557 |  1204445 |     2658   1039 |        0 |        0
368.24/368.38	c  365s |      21 |  1244009 |  1210845 |     2658   1044 |        0 |        0
370.23/370.38	c  367s |      21 |  1249740 |  1216545 |     2658   1048 |        0 |        0
372.33/372.41	c  369s |      21 |  1255699 |  1222445 |     2658   1052 |        0 |        0
374.33/374.43	c  371s |      21 |  1261441 |  1228145 |     2658   1056 |        0 |        0
376.33/376.46	c  373s |      21 |  1267885 |  1234345 |     2658   1060 |        0 |        0
378.34/378.47	c  375s |      21 |  1274257 |  1240545 |     2658   1064 |        0 |        0
380.33/380.49	c  377s |      21 |  1280290 |  1246445 |     2658   1068 |        0 |        0
382.33/382.49	c  379s |      21 |  1286227 |  1252345 |     2658   1072 |        0 |        0
384.43/384.53	c  381s |      21 |  1292455 |  1258545 |     2658   1077 |        0 |        0
386.43/386.53	c  383s |      21 |  1298953 |  1264945 |     2658   1081 |        0 |        0
388.43/388.56	c  385s |      21 |  1305623 |  1271345 |     2658   1086 |        0 |        0
390.44/390.58	c  387s |      21 |  1312401 |  1277945 |     2658   1090 |        0 |        0
392.53/392.60	c  389s |      21 |  1319059 |  1284445 |     2658   1095 |        0 |        0
394.53/394.62	c  391s |      21 |  1325013 |  1290345 |     2658   1099 |        0 |        0
396.53/396.62	c  393s |      21 |  1331046 |  1296345 |     2658   1103 |        0 |        0
398.53/398.62	c  395s |      21 |  1337857 |  1303045 |     2658   1107 |        0 |        0
400.53/400.65	c  397s |      21 |  1344367 |  1309445 |     2658   1112 |        0 |        0
402.53/402.67	c  399s |      21 |  1350818 |  1315845 |     2658   1116 |        0 |        0
404.53/404.68	c  401s |      21 |  1356867 |  1321845 |     2658   1120 |        0 |        0
406.53/406.69	c  403s |      21 |  1362748 |  1327645 |     2658   1124 |        0 |        0
408.63/408.72	c  405s |      21 |  1368584 |  1333345 |     2658   1128 |        0 |        0
410.63/410.73	c  407s |      21 |  1374504 |  1339045 |     2658   1132 |        0 |        0
412.63/412.74	c  409s |      21 |  1380922 |  1345345 |     2658   1137 |        0 |        0
414.63/414.75	c  411s |      21 |  1387180 |  1351545 |     2658   1141 |        0 |        0
416.63/416.76	c  413s |      21 |  1393106 |  1357345 |     2658   1145 |        0 |        0
418.63/418.77	c  415s |      21 |  1399125 |  1363245 |     2658   1149 |        0 |        0
420.63/420.79	c  417s |      21 |  1406449 |  1370345 |     2658   1154 |        0 |        0
422.72/422.80	c  419s |      21 |  1412466 |  1376245 |     2658   1158 |        0 |        0
424.72/424.83	c  421s |      21 |  1418505 |  1382145 |     2658   1162 |        0 |        0
426.73/426.84	c  423s |      21 |  1424115 |  1387645 |     2658   1166 |        0 |        0
428.72/428.88	c  425s |      21 |  1429330 |  1392845 |     2658   1169 |        0 |        0
430.82/430.91	c  427s |      21 |  1434392 |  1397845 |     2658   1173 |        0 |        0
432.82/432.92	c  429s |      21 |  1439250 |  1402645 |     2658   1176 |        0 |        0
434.82/434.95	c  431s |      21 |  1444215 |  1407545 |     2658   1180 |        0 |        0
436.82/436.96	c  434s |      21 |  1449408 |  1412645 |     2658   1183 |        0 |        0
438.83/438.97	c  436s |      21 |  1455209 |  1418145 |     2658   1187 |        0 |        0
440.82/440.99	c  438s |      21 |  1461333 |  1424145 |     2658   1191 |        0 |        0
442.82/442.99	c  440s |      21 |  1468377 |  1430845 |     2658   1196 |        0 |        0
444.92/445.01	c  442s |      21 |  1475317 |  1437645 |     2658   1200 |        0 |        0
446.92/447.03	c  444s |      21 |  1481676 |  1443945 |     2658   1205 |        0 |        0
448.92/449.04	c  446s |      21 |  1487842 |  1450045 |     2658   1209 |        0 |        0
450.93/451.07	c  448s |      21 |  1493865 |  1455945 |     2658   1213 |        0 |        0
452.92/453.08	c  450s |      21 |  1500169 |  1462045 |     2658   1217 |        0 |        0
455.02/455.11	c  452s |      21 |  1506301 |  1468045 |     2658   1221 |        0 |        0
457.02/457.13	c  454s |      21 |  1512515 |  1474145 |     2658   1226 |        0 |        0
459.02/459.16	c  456s |      21 |  1518806 |  1480245 |     2658   1230 |        0 |        0
461.02/461.18	c  458s |      21 |  1524622 |  1485945 |     2924   1233 |        0 |        0
463.02/463.19	c  460s |      21 |  1529837 |  1491145 |     2924   1237 |        0 |        0
465.12/465.20	c  462s |      21 |  1535844 |  1496845 |     2924   1240 |        0 |        0
466.42/466.53	c  463s |      22 |  1539665 |  1500622 |     2924   1243 |        0 |        0
468.42/468.58	c  465s |      22 |  1545212 |  1505722 |     2924   1246 |        0 |        0
470.52/470.60	c  467s |      22 |  1551707 |  1512022 |     2924   1250 |        0 |        0
472.52/472.63	c  469s |      22 |  1558807 |  1518822 |     2924   1254 |        0 |        0
474.52/474.66	c  471s |      22 |  1565799 |  1525622 |     2924   1259 |        0 |        0
476.52/476.68	c  473s |      22 |  1572853 |  1532422 |     2924   1263 |        0 |        0
478.52/478.70	c  475s |      22 |  1579255 |  1538422 |     2924   1267 |        0 |        0
480.62/480.72	c  477s |      22 |  1586260 |  1545222 |     2924   1271 |        0 |        0
482.61/482.72	c  479s |      22 |  1593032 |  1551822 |     2924   1275 |        0 |        0
484.61/484.73	c  481s |      22 |  1599677 |  1558222 |     2924   1279 |        0 |        0
486.61/486.75	c  483s |      22 |  1606376 |  1564722 |     2924   1283 |        0 |        0
488.61/488.76	c  485s |      22 |  1613324 |  1571522 |     2924   1288 |        0 |        0
490.62/490.76	c  487s |      22 |  1620645 |  1578522 |     2924   1292 |        0 |        0
492.72/492.81	c  489s |      22 |  1626877 |  1584522 |     2924   1296 |        0 |        0
494.71/494.82	c  491s |      22 |  1633679 |  1591122 |     2924   1300 |        0 |        0
496.71/496.83	c  493s |      22 |  1640295 |  1597522 |     2924   1304 |        0 |        0
498.71/498.86	c  495s |      22 |  1647160 |  1604222 |     2924   1308 |        0 |        0
500.71/500.87	c  497s |      22 |  1653937 |  1610822 |     2924   1312 |        0 |        0
502.72/502.89	c  499s |      22 |  1659208 |  1615922 |     2924   1316 |        0 |        0
504.72/504.89	c  501s |      22 |  1665498 |  1622022 |     2924   1320 |        0 |        0
506.82/506.91	c  503s |      22 |  1670943 |  1627222 |     2924   1323 |        0 |        0
508.82/508.93	c  505s |      22 |  1677617 |  1633622 |     2924   1327 |        0 |        0
510.82/510.95	c  507s |      22 |  1684019 |  1639822 |     2924   1331 |        0 |        0
512.82/512.96	c  510s |      22 |  1690885 |  1646522 |     2924   1335 |        0 |        0
514.82/514.97	c  512s |      22 |  1697116 |  1652622 |     2924   1339 |        0 |        0
516.81/516.97	c  514s |      22 |  1702825 |  1658122 |     2924   1342 |        0 |        0
518.91/519.01	c  516s |      22 |  1709508 |  1664622 |     2924   1347 |        0 |        0
520.91/521.02	c  518s |      22 |  1715693 |  1670422 |     2924   1350 |        0 |        0
522.91/523.04	c  520s |      22 |  1722044 |  1676422 |     2924   1354 |        0 |        0
524.91/525.06	c  522s |      22 |  1728883 |  1683022 |     2924   1358 |        0 |        0
526.92/527.07	c  524s |      22 |  1735744 |  1689622 |     2924   1362 |        0 |        0
528.91/529.10	c  526s |      22 |  1741939 |  1695522 |     2924   1366 |        0 |        0
531.01/531.13	c  528s |      22 |  1747678 |  1701122 |     2924   1370 |        0 |        0
533.01/533.16	c  530s |      22 |  1753641 |  1706922 |     2924   1373 |        0 |        0
535.01/535.17	c  532s |      22 |  1759411 |  1712522 |     2924   1377 |        0 |        0
537.01/537.19	c  534s |      22 |  1765570 |  1718422 |     2924   1381 |        0 |        0
539.02/539.19	c  536s |      22 |  1771568 |  1724222 |     2924   1384 |        0 |        0
541.12/541.23	c  538s |      22 |  1776990 |  1729422 |     2924   1388 |        0 |        0
543.11/543.27	c  540s |      22 |  1782234 |  1734422 |     2924   1391 |        0 |        0
545.11/545.29	c  542s |      22 |  1786797 |  1738422 |     2924   1393 |        0 |        0
547.21/547.33	c  544s |      22 |  1790551 |  1742122 |     2924   1396 |        0 |        0
549.21/549.37	c  546s |      22 |  1795865 |  1747222 |     2924   1399 |        0 |        0
551.21/551.38	c  548s |      22 |  1801867 |  1753022 |     2924   1403 |        0 |        0
553.31/553.43	c  550s |      22 |  1808235 |  1759222 |     2924   1407 |        0 |        0
555.30/555.47	c  552s |      22 |  1813772 |  1764522 |     2924   1410 |        0 |        0
557.30/557.48	c  554s |      22 |  1818285 |  1768922 |     2924   1413 |        0 |        0
559.30/559.48	c  556s |      22 |  1823432 |  1773822 |     2924   1416 |        0 |        0
561.30/561.49	c  558s |      22 |  1828543 |  1778622 |     2924   1419 |        0 |        0
563.40/563.50	c  560s |      22 |  1832704 |  1782422 |     2924   1421 |        0 |        0
565.41/565.52	c  562s |      22 |  1838725 |  1788122 |     2924   1425 |        0 |        0
567.40/567.57	c  564s |      22 |  1844913 |  1793922 |     2924   1429 |        0 |        0
569.40/569.59	c  566s |      22 |  1851415 |  1800122 |     2924   1432 |        0 |        0
571.50/571.60	c  568s |      22 |  1856962 |  1805322 |     2924   1436 |        0 |        0
573.50/573.60	c  570s |      22 |  1863284 |  1811422 |     2924   1440 |        0 |        0
575.50/575.60	c  572s |      22 |  1869633 |  1817522 |     2924   1443 |        0 |        0
577.50/577.66	c  574s |      22 |  1876127 |  1823722 |     2924   1447 |        0 |        0
579.50/579.70	c  576s |      22 |  1881665 |  1828922 |     2924   1451 |        0 |        0
581.60/581.72	c  578s |      22 |  1886890 |  1834022 |     2924   1454 |        0 |        0
583.60/583.72	c  580s |      22 |  1892057 |  1839022 |     2924   1457 |        0 |        0
585.60/585.75	c  582s |      22 |  1898084 |  1844922 |     2924   1461 |        0 |        0
587.59/587.79	c  584s |      22 |  1903677 |  1850322 |     2924   1464 |        0 |        0
589.69/589.84	c  586s |      22 |  1909732 |  1856122 |     2924   1468 |        0 |        0
591.71/591.85	c  588s |      22 |  1916306 |  1862422 |     2924   1472 |        0 |        0
593.70/593.87	c  590s |      22 |  1922401 |  1868222 |     2924   1476 |        0 |        0
595.70/595.89	c  592s |      22 |  1928951 |  1874522 |     2924   1480 |        0 |        0
597.80/597.90	c  594s |      22 |  1936106 |  1881422 |     2924   1484 |        0 |        0
599.80/599.91	c  596s |      22 |  1942841 |  1887922 |     2924   1488 |        0 |        0
601.79/601.92	c  598s |      22 |  1949040 |  1893922 |     2924   1492 |        0 |        0
603.80/603.93	c  600s |      22 |  1955819 |  1900522 |     2924   1496 |        0 |        0
605.79/605.93	c  602s |      22 |  1961996 |  1906522 |     2924   1500 |        0 |        0
607.79/607.95	c  604s |      22 |  1968912 |  1913222 |     2924   1504 |        0 |        0
609.79/609.98	c  607s |      22 |  1975499 |  1919622 |     2924   1508 |        0 |        0
611.79/611.99	c  609s |      22 |  1981553 |  1925422 |     2924   1512 |        0 |        0
613.89/614.02	c  611s |      22 |  1987882 |  1931622 |     2924   1516 |        0 |        0
615.90/616.03	c  613s |      22 |  1994738 |  1938222 |     2924   1520 |        0 |        0
617.89/618.05	c  615s |      22 |  2001807 |  1945022 |     2924   1524 |        0 |        0
619.89/620.05	c  617s |      22 |  2008290 |  1951322 |     2924   1528 |        0 |        0
621.88/622.07	c  619s |      22 |  2014547 |  1957422 |     2924   1532 |        0 |        0
623.88/624.08	c  621s |      22 |  2021021 |  1963722 |     2924   1536 |        0 |        0
625.89/626.08	c  623s |      22 |  2027091 |  1969622 |     2924   1540 |        0 |        0
627.88/628.10	c  625s |      22 |  2033542 |  1975822 |     2924   1544 |        0 |        0
629.98/630.11	c  627s |      22 |  2040607 |  1982722 |     2924   1548 |        0 |        0
631.98/632.12	c  629s |      22 |  2047238 |  1989122 |     2924   1552 |        0 |        0
633.98/634.14	c  631s |      22 |  2054102 |  1995722 |     2924   1556 |        0 |        0
635.98/636.15	c  633s |      22 |  2060835 |  2002222 |     2924   1560 |        0 |        0
637.98/638.18	c  635s |      22 |  2067014 |  2008222 |     2924   1564 |        0 |        0
640.08/640.21	c  637s |      22 |  2073035 |  2014122 |     2924   1568 |        0 |        0
642.07/642.22	c  639s |      22 |  2079355 |  2020322 |     2924   1572 |        0 |        0
644.07/644.23	c  641s |      22 |  2085419 |  2026222 |     2924   1576 |        0 |        0
646.07/646.26	c  643s |      22 |  2091224 |  2031922 |     2924   1579 |        0 |        0
648.17/648.30	c  645s |      22 |  2097465 |  2038022 |     2924   1583 |        0 |        0
650.17/650.32	c  647s |      22 |  2104259 |  2044622 |     2924   1587 |        0 |        0
652.17/652.33	c  649s |      22 |  2110764 |  2050922 |     2924   1592 |        0 |        0
654.16/654.34	c  651s |      22 |  2117017 |  2057122 |     2924   1595 |        0 |        0
656.16/656.37	c  653s |      22 |  2123119 |  2063122 |     2924   1599 |        0 |        0
658.16/658.39	c  655s |      22 |  2129856 |  2069622 |     2924   1603 |        0 |        0
660.26/660.44	c  657s |      22 |  2136404 |  2076022 |     2924   1608 |        0 |        0
662.26/662.45	c  659s |      22 |  2142497 |  2081822 |     2924   1611 |        0 |        0
664.27/664.46	c  661s |      22 |  2148693 |  2087622 |     2924   1615 |        0 |        0
666.26/666.46	c  663s |      22 |  2155763 |  2094322 |     2924   1619 |        0 |        0
668.26/668.46	c  665s |      22 |  2162620 |  2100922 |     2924   1624 |        0 |        0
670.26/670.49	c  667s |      22 |  2169835 |  2107922 |     2924   1628 |        0 |        0
672.35/672.51	c  669s |      22 |  2177445 |  2115322 |     2924   1633 |        0 |        0
674.36/674.53	c  671s |      22 |  2184548 |  2122122 |     2924   1637 |        0 |        0
676.37/676.53	c  673s |      22 |  2190940 |  2128222 |     2924   1641 |        0 |        0
678.36/678.54	c  675s |      22 |  2197458 |  2134522 |     2924   1645 |        0 |        0
680.36/680.57	c  677s |      22 |  2204743 |  2141522 |     2924   1650 |        0 |        0
682.35/682.58	c  679s |      22 |  2211585 |  2148122 |     2924   1654 |        0 |        0
684.45/684.60	c  681s |      22 |  2218373 |  2154722 |     2924   1658 |        0 |        0
686.45/686.61	c  683s |      22 |  2224927 |  2161122 |     2924   1662 |        0 |        0
688.46/688.61	c  685s |      22 |  2230937 |  2166822 |     2924   1666 |        0 |        0
690.45/690.64	c  687s |      22 |  2237914 |  2173522 |     2924   1670 |        0 |        0
692.45/692.65	c  689s |      22 |  2244984 |  2180322 |     2924   1674 |        0 |        0
694.45/694.67	c  691s |      22 |  2251141 |  2186222 |     2924   1678 |        0 |        0
696.55/696.70	c  693s |      22 |  2257882 |  2192522 |     2924   1682 |        0 |        0
698.55/698.72	c  695s |      22 |  2264792 |  2199222 |     2924   1687 |        0 |        0
700.55/700.73	c  697s |      22 |  2272132 |  2206322 |     2924   1691 |        0 |        0
702.54/702.74	c  699s |      22 |  2279062 |  2212922 |     2924   1695 |        0 |        0
704.54/704.76	c  701s |      22 |  2284710 |  2218422 |     2924   1699 |        0 |        0
706.54/706.79	c  703s |      22 |  2291862 |  2225322 |     2924   1703 |        0 |        0
708.64/708.81	c  705s |      22 |  2298581 |  2231822 |     3217   1707 |        0 |        0
710.64/710.83	c  707s |      22 |  2304913 |  2238022 |     3217   1710 |        0 |        0
712.64/712.84	c  709s |      22 |  2311588 |  2244422 |     3217   1714 |        0 |        0
714.64/714.85	c  711s |      22 |  2318127 |  2250822 |     3217   1718 |        0 |        0
714.74/714.92	c  711s |      23 |  2318348 |  2251038 |     3217   1718 |        0 |        0
716.73/716.94	c  713s |      23 |  2325794 |  2258338 |     3217   1722 |        0 |        0
718.73/718.95	c  715s |      23 |  2332237 |  2264638 |     3217   1726 |        0 |        0
720.73/720.97	c  718s |      23 |  2337258 |  2269638 |     3217   1729 |        0 |        0
722.73/722.98	c  720s |      23 |  2342654 |  2274938 |     3217   1732 |        0 |        0
724.73/725.00	c  722s |      23 |  2349397 |  2281438 |     3217   1736 |        0 |        0
726.83/727.02	c  724s |      23 |  2356430 |  2288338 |     3217   1740 |        0 |        0
728.83/729.03	c  726s |      23 |  2363427 |  2295238 |     3217   1744 |        0 |        0
730.83/731.04	c  728s |      23 |  2370431 |  2302138 |     3217   1748 |        0 |        0
732.82/733.06	c  730s |      23 |  2377710 |  2309238 |     3217   1752 |        0 |        0
734.82/735.06	c  732s |      23 |  2384717 |  2316138 |     3217   1756 |        0 |        0
736.83/737.07	c  734s |      23 |  2391331 |  2322638 |     3217   1759 |        0 |        0
738.92/739.10	c  736s |      23 |  2397940 |  2329138 |     3217   1763 |        0 |        0
740.92/741.11	c  738s |      23 |  2403969 |  2335138 |     3217   1767 |        0 |        0
742.92/743.14	c  740s |      23 |  2411207 |  2342238 |     3217   1771 |        0 |        0
744.91/745.15	c  742s |      23 |  2418257 |  2349138 |     3217   1775 |        0 |        0
746.91/747.16	c  744s |      23 |  2425245 |  2356038 |     3217   1779 |        0 |        0
748.92/749.19	c  746s |      23 |  2431902 |  2362538 |     3217   1783 |        0 |        0
751.01/751.22	c  748s |      23 |  2438617 |  2369138 |     3217   1786 |        0 |        0
753.01/753.23	c  750s |      23 |  2444887 |  2375238 |     3217   1790 |        0 |        0
755.01/755.27	c  752s |      23 |  2451228 |  2381438 |     3217   1794 |        0 |        0
757.00/757.28	c  754s |      23 |  2457530 |  2387638 |     3217   1797 |        0 |        0
759.10/759.30	c  756s |      23 |  2463314 |  2393338 |     3217   1800 |        0 |        0
761.11/761.32	c  758s |      23 |  2469466 |  2399338 |     3217   1804 |        0 |        0
763.10/763.35	c  760s |      23 |  2475607 |  2405438 |     3217   1807 |        0 |        0
765.20/765.40	c  762s |      23 |  2481444 |  2411238 |     3217   1811 |        0 |        0
767.20/767.41	c  764s |      23 |  2487479 |  2417238 |     3217   1814 |        0 |        0
769.20/769.42	c  766s |      23 |  2493470 |  2423138 |     3217   1818 |        0 |        0
771.21/771.44	c  768s |      23 |  2500373 |  2429938 |     3217   1822 |        0 |        0
773.21/773.47	c  770s |      23 |  2507353 |  2436838 |     3217   1826 |        0 |        0
775.20/775.48	c  772s |      23 |  2513837 |  2443238 |     3217   1829 |        0 |        0
777.30/777.51	c  774s |      23 |  2520501 |  2449738 |     3217   1833 |        0 |        0
779.30/779.52	c  776s |      23 |  2526353 |  2455438 |     3217   1836 |        0 |        0
781.30/781.54	c  778s |      23 |  2532112 |  2461038 |     3217   1840 |        0 |        0
783.29/783.56	c  780s |      23 |  2538187 |  2467038 |     3217   1843 |        0 |        0
785.30/785.58	c  782s |      23 |  2543954 |  2472738 |     3217   1846 |        0 |        0
787.40/787.61	c  784s |      23 |  2549873 |  2478538 |     3217   1850 |        0 |        0
789.39/789.62	c  786s |      23 |  2555378 |  2483938 |     3217   1853 |        0 |        0
791.39/791.63	c  788s |      23 |  2561325 |  2489838 |     3217   1856 |        0 |        0
793.39/793.66	c  790s |      23 |  2567279 |  2495738 |     3217   1860 |        0 |        0
795.39/795.68	c  792s |      23 |  2573455 |  2501838 |     3217   1863 |        0 |        0
797.48/797.72	c  794s |      23 |  2579253 |  2507538 |     3217   1867 |        0 |        0
799.49/799.75	c  796s |      23 |  2585093 |  2513338 |     3217   1870 |        0 |        0
801.48/801.77	c  798s |      23 |  2592076 |  2520138 |     3217   1874 |        0 |        0
803.58/803.80	c  800s |      23 |  2599070 |  2527038 |     3217   1878 |        0 |        0
805.58/805.80	c  802s |      23 |  2605942 |  2533838 |     3217   1882 |        0 |        0
807.58/807.84	c  804s |      23 |  2612678 |  2540438 |     3217   1886 |        0 |        0
809.58/809.86	c  806s |      23 |  2619520 |  2547138 |     3217   1889 |        0 |        0
811.58/811.89	c  808s |      23 |  2626036 |  2553538 |     3217   1893 |        0 |        0
813.67/813.90	c  810s |      23 |  2631653 |  2559138 |     3217   1896 |        0 |        0
815.67/815.92	c  812s |      23 |  2637360 |  2564738 |     3217   1900 |        0 |        0
817.67/817.94	c  814s |      23 |  2643572 |  2570838 |     3217   1903 |        0 |        0
819.67/819.97	c  817s |      23 |  2649398 |  2576538 |     3217   1906 |        0 |        0
821.66/821.98	c  819s |      23 |  2655199 |  2582238 |     3217   1910 |        0 |        0
823.77/824.02	c  821s |      23 |  2660886 |  2587738 |     3217   1913 |        0 |        0
825.76/826.02	c  823s |      23 |  2666488 |  2593238 |     3217   1916 |        0 |        0
827.76/828.05	c  825s |      23 |  2671814 |  2598438 |     3217   1919 |        0 |        0
829.76/830.07	c  827s |      23 |  2677796 |  2604238 |     3217   1923 |        0 |        0
831.76/832.08	c  829s |      23 |  2683240 |  2609538 |     3217   1926 |        0 |        0
833.75/834.09	c  831s |      23 |  2689096 |  2615338 |     3217   1929 |        0 |        0
835.86/836.12	c  833s |      23 |  2695016 |  2621138 |     3217   1932 |        0 |        0
837.85/838.14	c  835s |      23 |  2701228 |  2627238 |     3217   1936 |        0 |        0
839.86/840.14	c  837s |      23 |  2707154 |  2633038 |     3217   1939 |        0 |        0
841.86/842.17	c  839s |      23 |  2712808 |  2638538 |     3217   1943 |        0 |        0
843.96/844.20	c  841s |      23 |  2718781 |  2644438 |     3217   1946 |        0 |        0
845.96/846.20	c  843s |      23 |  2724472 |  2650038 |     3217   1949 |        0 |        0
847.96/848.23	c  845s |      23 |  2730234 |  2655738 |     3217   1953 |        0 |        0
849.95/850.24	c  847s |      23 |  2736760 |  2662138 |     3217   1956 |        0 |        0
851.95/852.27	c  849s |      23 |  2743229 |  2668538 |     3217   1960 |        0 |        0
854.05/854.30	c  851s |      23 |  2749693 |  2674938 |     3217   1964 |        0 |        0
856.05/856.33	c  853s |      23 |  2756236 |  2681438 |     3217   1967 |        0 |        0
858.05/858.36	c  855s |      23 |  2762943 |  2688038 |     3217   1971 |        0 |        0
860.05/860.39	c  857s |      23 |  2769799 |  2694838 |     3217   1975 |        0 |        0
862.04/862.39	c  859s |      23 |  2776179 |  2701138 |     3217   1979 |        0 |        0
864.14/864.41	c  861s |      23 |  2782935 |  2707738 |     3217   1983 |        0 |        0
866.14/866.44	c  863s |      23 |  2788983 |  2713738 |     3217   1986 |        0 |        0
868.14/868.44	c  865s |      23 |  2795194 |  2719838 |     3217   1990 |        0 |        0
870.14/870.47	c  867s |      23 |  2801650 |  2726238 |     3217   1993 |        0 |        0
872.14/872.47	c  869s |      23 |  2807404 |  2731938 |     3217   1997 |        0 |        0
874.14/874.49	c  871s |      23 |  2813702 |  2738138 |     3217   2000 |        0 |        0
876.24/876.50	c  873s |      23 |  2819886 |  2744238 |     3217   2004 |        0 |        0
878.23/878.54	c  875s |      23 |  2825506 |  2749838 |     3217   2007 |        0 |        0
880.23/880.56	c  877s |      23 |  2832111 |  2756338 |     3217   2011 |        0 |        0
882.23/882.58	c  879s |      23 |  2838754 |  2762938 |     3217   2015 |        0 |        0
884.33/884.60	c  881s |      23 |  2845215 |  2769338 |     3217   2019 |        0 |        0
886.34/886.63	c  883s |      23 |  2852060 |  2776038 |     3217   2022 |        0 |        0
888.33/888.64	c  885s |      23 |  2858394 |  2782338 |     3217   2026 |        0 |        0
890.33/890.66	c  887s |      23 |  2865079 |  2788938 |     3217   2030 |        0 |        0
892.32/892.68	c  889s |      23 |  2871563 |  2795338 |     3217   2034 |        0 |        0
894.42/894.70	c  891s |      23 |  2877566 |  2801238 |     3217   2037 |        0 |        0
896.42/896.70	c  893s |      23 |  2883763 |  2807338 |     3217   2041 |        0 |        0
898.43/898.71	c  895s |      23 |  2889936 |  2813438 |     3217   2044 |        0 |        0
900.42/900.72	c  897s |      23 |  2896211 |  2819638 |     3217   2048 |        0 |        0
902.42/902.76	c  899s |      23 |  2902961 |  2826238 |     3217   2052 |        0 |        0
904.42/904.76	c  901s |      23 |  2909613 |  2832838 |     3217   2055 |        0 |        0
906.42/906.77	c  903s |      23 |  2916177 |  2839338 |     3217   2059 |        0 |        0
908.43/908.78	c  905s |      23 |  2923107 |  2846138 |     3217   2063 |        0 |        0
910.42/910.79	c  907s |      23 |  2929885 |  2852838 |     3217   2067 |        0 |        0
912.42/912.79	c  909s |      23 |  2936480 |  2859338 |     3217   2071 |        0 |        0
914.52/914.81	c  911s |      23 |  2942932 |  2865738 |     3217   2074 |        0 |        0
916.52/916.82	c  913s |      23 |  2949692 |  2872338 |     3217   2078 |        0 |        0
918.52/918.85	c  915s |      23 |  2956405 |  2878938 |     3217   2082 |        0 |        0
920.52/920.86	c  917s |      23 |  2962449 |  2884938 |     3217   2085 |        0 |        0
922.51/922.86	c  919s |      23 |  2969028 |  2891438 |     3217   2089 |        0 |        0
924.51/924.87	c  921s |      23 |  2975917 |  2898238 |     3217   2093 |        0 |        0
926.51/926.87	c  923s |      23 |  2982994 |  2905238 |     3217   2097 |        0 |        0
928.51/928.88	c  925s |      23 |  2989877 |  2912038 |     3217   2101 |        0 |        0
930.61/930.90	c  927s |      23 |  2997118 |  2919038 |     3217   2105 |        0 |        0
932.61/932.92	c  929s |      23 |  3003715 |  2925538 |     3217   2109 |        0 |        0
934.60/934.93	c  931s |      23 |  3010424 |  2932138 |     3217   2113 |        0 |        0
936.60/936.94	c  933s |      23 |  3016614 |  2938238 |     3217   2116 |        0 |        0
938.60/938.96	c  936s |      23 |  3022635 |  2944138 |     3217   2120 |        0 |        0
940.60/940.99	c  938s |      23 |  3029244 |  2950638 |     3217   2123 |        0 |        0
942.70/943.02	c  940s |      23 |  3035828 |  2957138 |     3217   2127 |        0 |        0
944.70/945.04	c  942s |      23 |  3042501 |  2963738 |     3217   2131 |        0 |        0
946.70/947.08	c  944s |      23 |  3049162 |  2970338 |     3217   2135 |        0 |        0
948.70/949.09	c  946s |      23 |  3056127 |  2977138 |     3217   2139 |        0 |        0
950.80/951.11	c  948s |      23 |  3062338 |  2983338 |     3217   2142 |        0 |        0
952.79/953.14	c  950s |      23 |  3068569 |  2989538 |     3217   2146 |        0 |        0
954.79/955.16	c  952s |      23 |  3074707 |  2995638 |     3217   2149 |        0 |        0
956.80/957.18	c  954s |      23 |  3080874 |  3001738 |     3217   2153 |        0 |        0
958.79/959.18	c  956s |      23 |  3086504 |  3007338 |     3217   2156 |        0 |        0
960.89/961.21	c  958s |      23 |  3092412 |  3013138 |     3217   2160 |        0 |        0
962.88/963.22	c  960s |      23 |  3098954 |  3019638 |     3217   2163 |        0 |        0
964.88/965.25	c  962s |      23 |  3104945 |  3025538 |     3217   2167 |        0 |        0
966.88/967.28	c  964s |      23 |  3111414 |  3031838 |     3217   2170 |        0 |        0
968.98/969.31	c  966s |      23 |  3117870 |  3038238 |     3217   2174 |        0 |        0
970.99/971.33	c  968s |      23 |  3123920 |  3044238 |     3217   2178 |        0 |        0
972.98/973.36	c  970s |      23 |  3130063 |  3050338 |     3217   2181 |        0 |        0
974.98/975.38	c  972s |      23 |  3135901 |  3056138 |     3217   2184 |        0 |        0
976.98/977.38	c  974s |      23 |  3142056 |  3062238 |     3217   2188 |        0 |        0
979.08/979.40	c  976s |      23 |  3148671 |  3068738 |     3217   2192 |        0 |        0
981.08/981.41	c  978s |      23 |  3155153 |  3075138 |     3217   2196 |        0 |        0
983.08/983.43	c  980s |      23 |  3161233 |  3081138 |     3217   2199 |        0 |        0
985.07/985.44	c  982s |      23 |  3167165 |  3086938 |     3217   2202 |        0 |        0
987.07/987.45	c  984s |      23 |  3173288 |  3092938 |     3217   2206 |        0 |        0
989.07/989.47	c  986s |      23 |  3179460 |  3099038 |     3217   2209 |        0 |        0
991.07/991.48	c  988s |      23 |  3185094 |  3104638 |     3217   2213 |        0 |        0
993.07/993.50	c  990s |      23 |  3191643 |  3111038 |     3217   2216 |        0 |        0
995.17/995.51	c  992s |      23 |  3198015 |  3117338 |     3217   2220 |        0 |        0
997.16/997.54	c  994s |      23 |  3204703 |  3123938 |     3217   2224 |        0 |        0
999.16/999.57	c  996s |      23 |  3211075 |  3130238 |     3217   2227 |        0 |        0
1001.16/1001.58	c  998s |      23 |  3217098 |  3135938 |     3217   2231 |        0 |        0
1003.26/1003.61	c 1000s |      23 |  3222189 |  3140938 |     3217   2234 |        0 |        0
1005.26/1005.62	c 1002s |      23 |  3227294 |  3145938 |     3217   2237 |        0 |        0
1007.26/1007.63	c 1004s |      23 |  3232572 |  3151138 |     3217   2240 |        0 |        0
1009.25/1009.66	c 1006s |      23 |  3237817 |  3156338 |     3217   2243 |        0 |        0
1011.25/1011.68	c 1008s |      23 |  3242886 |  3161338 |     3217   2246 |        0 |        0
1013.36/1013.71	c 1010s |      23 |  3248168 |  3166538 |     3217   2249 |        0 |        0
1015.36/1015.72	c 1012s |      23 |  3253558 |  3171738 |     3217   2252 |        0 |        0
1017.36/1017.74	c 1014s |      23 |  3259158 |  3177238 |     3217   2255 |        0 |        0
1019.36/1019.77	c 1016s |      23 |  3265099 |  3183038 |     3217   2258 |        0 |        0
1021.36/1021.78	c 1018s |      23 |  3270757 |  3188538 |     3217   2262 |        0 |        0
1023.35/1023.78	c 1020s |      23 |  3276363 |  3194038 |     3217   2265 |        0 |        0
1025.35/1025.79	c 1022s |      23 |  3281629 |  3199238 |     3217   2268 |        0 |        0
1027.45/1027.81	c 1024s |      23 |  3286899 |  3204438 |     3217   2271 |        0 |        0
1029.45/1029.83	c 1026s |      23 |  3293072 |  3210238 |     3217   2274 |        0 |        0
1031.46/1031.84	c 1028s |      23 |  3298680 |  3215638 |     3217   2278 |        0 |        0
1033.44/1033.87	c 1030s |      23 |  3304733 |  3221538 |     3217   2281 |        0 |        0
1035.44/1035.88	c 1032s |      23 |  3310329 |  3227038 |     3217   2284 |        0 |        0
1037.54/1037.90	c 1034s |      23 |  3316080 |  3232638 |     3217   2287 |        0 |        0
1039.54/1039.93	c 1036s |      23 |  3321650 |  3238138 |     3217   2291 |        0 |        0
1041.54/1041.95	c 1038s |      23 |  3326617 |  3243038 |     3217   2294 |        0 |        0
1043.54/1043.99	c 1041s |      23 |  3331558 |  3247938 |     3217   2296 |        0 |        0
1045.54/1046.00	c 1043s |      23 |  3336615 |  3252938 |     3217   2299 |        0 |        0
1047.53/1048.00	c 1045s |      23 |  3341927 |  3258138 |     3217   2302 |        0 |        0
1049.63/1050.01	c 1047s |      23 |  3347456 |  3263538 |     3217   2306 |        0 |        0
1051.63/1052.03	c 1049s |      23 |  3353104 |  3269038 |     3217   2309 |        0 |        0
1053.63/1054.06	c 1051s |      23 |  3359036 |  3274838 |     3217   2312 |        0 |        0
1055.63/1056.09	c 1053s |      23 |  3365135 |  3280738 |     3217   2316 |        0 |        0
1057.73/1058.11	c 1055s |      23 |  3370780 |  3286238 |     3217   2319 |        0 |        0
1059.72/1060.14	c 1057s |      23 |  3376214 |  3291638 |     3217   2322 |        0 |        0
1061.72/1062.15	c 1059s |      23 |  3381722 |  3297038 |     3217   2325 |        0 |        0
1063.72/1064.19	c 1061s |      23 |  3386912 |  3302138 |     3217   2328 |        0 |        0
1065.82/1066.21	c 1063s |      23 |  3393032 |  3308038 |     3217   2332 |        0 |        0
1067.83/1068.25	c 1065s |      23 |  3398172 |  3313038 |     3217   2335 |        0 |        0
1069.82/1070.29	c 1067s |      23 |  3403148 |  3317938 |     3217   2337 |        0 |        0
1071.91/1072.32	c 1069s |      23 |  3408354 |  3323038 |     3217   2341 |        0 |        0
1073.91/1074.32	c 1071s |      23 |  3414031 |  3328538 |     3217   2344 |        0 |        0
1075.91/1076.33	c 1073s |      23 |  3420145 |  3334438 |     3217   2347 |        0 |        0
1077.91/1078.39	c 1075s |      23 |  3426125 |  3340238 |     3217   2351 |        0 |        0
1079.92/1080.39	c 1077s |      23 |  3431593 |  3345638 |     3539   2353 |        0 |        0
1082.02/1082.41	c 1079s |      23 |  3436663 |  3350638 |     3539   2356 |        0 |        0
1084.01/1084.45	c 1081s |      23 |  3442231 |  3356138 |     3539   2359 |        0 |        0
1086.01/1086.46	c 1083s |      23 |  3448112 |  3361838 |     3539   2362 |        0 |        0
1088.01/1088.47	c 1085s |      23 |  3454214 |  3367838 |     3539   2365 |        0 |        0
1090.11/1090.53	c 1087s |      23 |  3459611 |  3373138 |     3539   2368 |        0 |        0
1091.31/1091.71	c 1088s |      24 |  3463219 |  3376662 |     3539   2370 |        0 |        0
1093.31/1093.71	c 1090s |      24 |  3470052 |  3383362 |     3539   2374 |        0 |        0
1095.31/1095.73	c 1092s |      24 |  3476728 |  3389962 |     3539   2377 |        0 |        0
1097.31/1097.76	c 1094s |      24 |  3483501 |  3396662 |     3539   2381 |        0 |        0
1099.30/1099.77	c 1096s |      24 |  3490759 |  3403662 |     3539   2384 |        0 |        0
1101.40/1101.81	c 1098s |      24 |  3497117 |  3409762 |     3539   2388 |        0 |        0
1103.40/1103.83	c 1100s |      24 |  3503858 |  3416262 |     3539   2391 |        0 |        0
1105.40/1105.83	c 1102s |      24 |  3510625 |  3422962 |     3539   2395 |        0 |        0
1107.40/1107.85	c 1104s |      24 |  3517195 |  3429462 |     3539   2398 |        0 |        0
1109.40/1109.86	c 1106s |      24 |  3523143 |  3435362 |     3539   2401 |        0 |        0
1111.40/1111.88	c 1108s |      24 |  3529480 |  3441662 |     3539   2404 |        0 |        0
1113.49/1113.90	c 1110s |      24 |  3535836 |  3447862 |     3539   2408 |        0 |        0
1115.49/1115.91	c 1112s |      24 |  3542062 |  3453862 |     3539   2411 |        0 |        0
1117.49/1117.91	c 1114s |      24 |  3548033 |  3459662 |     3539   2414 |        0 |        0
1119.50/1119.94	c 1116s |      24 |  3555170 |  3466662 |     3539   2418 |        0 |        0
1121.49/1121.97	c 1119s |      24 |  3561625 |  3473062 |     3539   2421 |        0 |        0
1123.49/1123.99	c 1121s |      24 |  3567693 |  3479062 |     3539   2424 |        0 |        0
1125.59/1126.00	c 1123s |      24 |  3573855 |  3485162 |     3539   2428 |        0 |        0
1127.59/1128.01	c 1125s |      24 |  3580240 |  3491362 |     3539   2431 |        0 |        0
1129.59/1130.02	c 1127s |      24 |  3587369 |  3498262 |     3539   2435 |        0 |        0
1131.59/1132.03	c 1129s |      24 |  3594207 |  3504962 |     3539   2438 |        0 |        0
1133.58/1134.04	c 1131s |      24 |  3600560 |  3511262 |     3539   2441 |        0 |        0
1135.58/1136.06	c 1133s |      24 |  3606568 |  3517262 |     3539   2445 |        0 |        0
1137.58/1138.09	c 1135s |      24 |  3612957 |  3523562 |     3539   2448 |        0 |        0
1139.58/1140.09	c 1137s |      24 |  3619264 |  3529762 |     3539   2451 |        0 |        0
1141.67/1142.12	c 1139s |      24 |  3625345 |  3535762 |     3539   2454 |        0 |        0
1143.68/1144.14	c 1141s |      24 |  3631516 |  3541862 |     3539   2458 |        0 |        0
1145.67/1146.16	c 1143s |      24 |  3637606 |  3547862 |     3539   2461 |        0 |        0
1147.67/1148.19	c 1145s |      24 |  3643681 |  3553862 |     3539   2464 |        0 |        0
1149.77/1150.21	c 1147s |      24 |  3649916 |  3559962 |     3539   2467 |        0 |        0
1151.77/1152.22	c 1149s |      24 |  3655643 |  3565662 |     3539   2470 |        0 |        0
1153.77/1154.22	c 1151s |      24 |  3662069 |  3571962 |     3539   2474 |        0 |        0
1155.78/1156.25	c 1153s |      24 |  3668110 |  3577962 |     3539   2477 |        0 |        0
1157.77/1158.27	c 1155s |      24 |  3674744 |  3584162 |     3539   2480 |        0 |        0
1159.87/1160.30	c 1157s |      24 |  3680848 |  3590162 |     3539   2484 |        0 |        0
1161.86/1162.31	c 1159s |      24 |  3687196 |  3596462 |     3539   2487 |        0 |        0
1163.86/1164.33	c 1161s |      24 |  3693503 |  3602662 |     3539   2490 |        0 |        0
1165.86/1166.35	c 1163s |      24 |  3699171 |  3608262 |     3539   2493 |        0 |        0
1167.87/1168.37	c 1165s |      24 |  3705455 |  3614362 |     3539   2497 |        0 |        0
1169.86/1170.40	c 1167s |      24 |  3711696 |  3620462 |     3539   2500 |        0 |        0
1171.96/1172.43	c 1169s |      24 |  3717662 |  3626362 |     3539   2503 |        0 |        0
1173.96/1174.43	c 1171s |      24 |  3723356 |  3631962 |     3539   2506 |        0 |        0
1175.96/1176.45	c 1173s |      24 |  3729189 |  3637762 |     3539   2509 |        0 |        0
1177.96/1178.46	c 1175s |      24 |  3735097 |  3643562 |     3539   2512 |        0 |        0
1179.96/1180.48	c 1177s |      24 |  3741665 |  3649962 |     3539   2515 |        0 |        0
1182.06/1182.51	c 1179s |      24 |  3747710 |  3655962 |     3539   2518 |        0 |        0
1184.05/1184.56	c 1181s |      24 |  3753469 |  3661662 |     3539   2522 |        0 |        0
1186.05/1186.57	c 1183s |      24 |  3759119 |  3667262 |     3539   2525 |        0 |        0
1188.05/1188.59	c 1185s |      24 |  3765371 |  3673462 |     3539   2528 |        0 |        0
1190.15/1190.61	c 1187s |      24 |  3771772 |  3679762 |     3539   2531 |        0 |        0
1192.14/1192.64	c 1189s |      24 |  3777831 |  3685762 |     3539   2534 |        0 |        0
1194.15/1194.64	c 1191s |      24 |  3784470 |  3692262 |     3539   2538 |        0 |        0
1196.14/1196.64	c 1193s |      24 |  3790744 |  3698462 |     3539   2541 |        0 |        0
1198.14/1198.65	c 1195s |      24 |  3796587 |  3704262 |     3539   2544 |        0 |        0
1200.14/1200.68	c 1197s |      24 |  3802056 |  3709662 |     3539   2547 |        0 |        0
1202.24/1202.70	c 1199s |      24 |  3807484 |  3715062 |     3539   2550 |        0 |        0
1204.24/1204.71	c 1201s |      24 |  3814005 |  3721462 |     3539   2553 |        0 |        0
1206.25/1206.74	c 1203s |      24 |  3820173 |  3727562 |     3539   2557 |        0 |        0
1208.24/1208.74	c 1205s |      24 |  3826239 |  3733562 |     3539   2560 |        0 |        0
1210.24/1210.77	c 1207s |      24 |  3832387 |  3739662 |     3539   2563 |        0 |        0
1212.23/1212.78	c 1209s |      24 |  3838378 |  3745562 |     3539   2566 |        0 |        0
1214.23/1214.79	c 1211s |      24 |  3844230 |  3751362 |     3539   2569 |        0 |        0
1216.24/1216.79	c 1213s |      24 |  3850060 |  3757062 |     3539   2572 |        0 |        0
1218.23/1218.80	c 1215s |      24 |  3856341 |  3763262 |     3539   2576 |        0 |        0
1220.33/1220.82	c 1217s |      24 |  3862167 |  3769062 |     3539   2579 |        0 |        0
1222.33/1222.82	c 1219s |      24 |  3868538 |  3775362 |     3539   2582 |        0 |        0
1224.33/1224.85	c 1221s |      24 |  3875456 |  3782062 |     3539   2586 |        0 |        0
1226.33/1226.89	c 1223s |      24 |  3881984 |  3788462 |     3539   2589 |        0 |        0
1228.43/1228.91	c 1225s |      24 |  3888084 |  3794462 |     3539   2592 |        0 |        0
1230.44/1230.91	c 1227s |      24 |  3894081 |  3800362 |     3539   2596 |        0 |        0
1232.43/1232.92	c 1229s |      24 |  3899733 |  3805962 |     3539   2599 |        0 |        0
1234.43/1234.95	c 1231s |      24 |  3906209 |  3812262 |     3539   2602 |        0 |        0
1236.43/1236.98	c 1234s |      24 |  3912300 |  3818262 |     3539   2605 |        0 |        0
1238.53/1239.00	c 1236s |      24 |  3917937 |  3823862 |     3539   2608 |        0 |        0
1240.53/1241.03	c 1238s |      24 |  3924146 |  3829962 |     3539   2611 |        0 |        0
1242.53/1243.04	c 1240s |      24 |  3930761 |  3836462 |     3539   2615 |        0 |        0
1244.52/1245.06	c 1242s |      24 |  3937085 |  3842662 |     3539   2618 |        0 |        0
1246.52/1247.09	c 1244s |      24 |  3943405 |  3848862 |     3539   2622 |        0 |        0
1248.62/1249.11	c 1246s |      24 |  3950079 |  3855362 |     3539   2625 |        0 |        0
1250.62/1251.13	c 1248s |      24 |  3957223 |  3862362 |     3539   2629 |        0 |        0
1252.62/1253.17	c 1250s |      24 |  3963671 |  3868662 |     3539   2632 |        0 |        0
1254.62/1255.19	c 1252s |      24 |  3970299 |  3875162 |     3539   2636 |        0 |        0
1256.72/1257.20	c 1254s |      24 |  3976408 |  3881162 |     3539   2639 |        0 |        0
1258.72/1259.23	c 1256s |      24 |  3982508 |  3887162 |     3539   2642 |        0 |        0
1260.72/1261.24	c 1258s |      24 |  3988371 |  3892962 |     3539   2645 |        0 |        0
1262.72/1263.24	c 1260s |      24 |  3993821 |  3898362 |     3539   2648 |        0 |        0
1264.71/1265.26	c 1262s |      24 |  3999428 |  3903862 |     3539   2651 |        0 |        0
1266.72/1267.26	c 1264s |      24 |  4004898 |  3909262 |     3539   2654 |        0 |        0
1268.71/1269.27	c 1266s |      24 |  4010842 |  3915062 |     3539   2657 |        0 |        0
1270.81/1271.30	c 1268s |      24 |  4016912 |  3921062 |     3539   2660 |        0 |        0
1272.81/1273.33	c 1270s |      24 |  4023497 |  3927462 |     3539   2663 |        0 |        0
1274.81/1275.36	c 1272s |      24 |  4029298 |  3933162 |     3539   2666 |        0 |        0
1276.91/1277.40	c 1274s |      24 |  4035211 |  3938962 |     3539   2670 |        0 |        0
1278.92/1279.41	c 1276s |      24 |  4041545 |  3945162 |     3539   2673 |        0 |        0
1280.91/1281.43	c 1278s |      24 |  4047917 |  3951462 |     3539   2676 |        0 |        0
1282.91/1283.45	c 1280s |      24 |  4053757 |  3957262 |     3539   2679 |        0 |        0
1284.91/1285.49	c 1282s |      24 |  4059706 |  3963162 |     3539   2683 |        0 |        0
1286.92/1287.49	c 1284s |      24 |  4066124 |  3969462 |     3539   2686 |        0 |        0
1289.02/1289.50	c 1286s |      24 |  4071920 |  3975162 |     3539   2689 |        0 |        0
1291.02/1291.50	c 1288s |      24 |  4077405 |  3980562 |     3539   2692 |        0 |        0
1293.02/1293.53	c 1290s |      24 |  4083242 |  3986162 |     3539   2695 |        0 |        0
1295.02/1295.56	c 1292s |      24 |  4089474 |  3992162 |     3539   2698 |        0 |        0
1297.02/1297.58	c 1294s |      24 |  4096073 |  3998562 |     3539   2701 |        0 |        0
1299.12/1299.61	c 1296s |      24 |  4101809 |  4004162 |     3539   2704 |        0 |        0
1301.12/1301.63	c 1298s |      24 |  4107266 |  4009562 |     3539   2707 |        0 |        0
1303.12/1303.64	c 1300s |      24 |  4112916 |  4015162 |     3539   2710 |        0 |        0
1305.12/1305.64	c 1302s |      24 |  4119269 |  4021362 |     3539   2714 |        0 |        0
1307.12/1307.66	c 1304s |      24 |  4125844 |  4027862 |     3539   2717 |        0 |        0
1309.12/1309.68	c 1306s |      24 |  4132230 |  4034162 |     3539   2720 |        0 |        0
1311.21/1311.71	c 1308s |      24 |  4138163 |  4040062 |     3539   2724 |        0 |        0
1313.21/1313.72	c 1310s |      24 |  4144697 |  4046462 |     3539   2727 |        0 |        0
1315.22/1315.75	c 1312s |      24 |  4150894 |  4052562 |     3539   2730 |        0 |        0
1317.21/1317.77	c 1314s |      24 |  4156643 |  4058262 |     3539   2733 |        0 |        0
1319.21/1319.80	c 1316s |      24 |  4162585 |  4064162 |     3539   2736 |        0 |        0
1321.31/1321.80	c 1318s |      24 |  4168353 |  4069862 |     3539   2739 |        0 |        0
1323.31/1323.80	c 1320s |      24 |  4174187 |  4075662 |     3539   2742 |        0 |        0
1325.31/1325.83	c 1322s |      24 |  4180428 |  4081762 |     3539   2746 |        0 |        0
1327.32/1327.84	c 1324s |      24 |  4185845 |  4087162 |     3539   2749 |        0 |        0
1329.31/1329.86	c 1326s |      24 |  4191799 |  4093062 |     3539   2752 |        0 |        0
1331.31/1331.87	c 1328s |      24 |  4198302 |  4099362 |     3539   2755 |        0 |        0
1333.31/1333.87	c 1330s |      24 |  4204709 |  4105662 |     3539   2758 |        0 |        0
1335.31/1335.87	c 1332s |      24 |  4210668 |  4111562 |     3539   2762 |        0 |        0
1337.41/1337.90	c 1334s |      24 |  4216814 |  4117662 |     3539   2765 |        0 |        0
1339.41/1339.91	c 1336s |      24 |  4222460 |  4123262 |     3539   2768 |        0 |        0
1341.41/1341.91	c 1338s |      24 |  4228341 |  4129062 |     3539   2771 |        0 |        0
1343.41/1343.91	c 1340s |      24 |  4234576 |  4135162 |     3539   2774 |        0 |        0
1345.41/1345.92	c 1342s |      24 |  4240740 |  4141262 |     3539   2777 |        0 |        0
1347.41/1347.95	c 1344s |      24 |  4247053 |  4147462 |     3539   2781 |        0 |        0
1349.41/1349.96	c 1346s |      24 |  4254487 |  4154762 |     3539   2784 |        0 |        0
1351.41/1351.98	c 1349s |      24 |  4260458 |  4160662 |     3539   2788 |        0 |        0
1353.40/1353.99	c 1351s |      24 |  4266191 |  4166362 |     3539   2791 |        0 |        0
1355.50/1356.00	c 1353s |      24 |  4272174 |  4172262 |     3539   2794 |        0 |        0
1357.50/1358.02	c 1355s |      24 |  4278799 |  4178562 |     3539   2797 |        0 |        0
1359.50/1360.03	c 1357s |      24 |  4285267 |  4184962 |     3539   2800 |        0 |        0
1361.50/1362.05	c 1359s |      24 |  4291566 |  4191162 |     3539   2804 |        0 |        0
1363.51/1364.06	c 1361s |      24 |  4297580 |  4196962 |     3539   2807 |        0 |        0
1365.50/1366.06	c 1363s |      24 |  4304257 |  4203362 |     3539   2810 |        0 |        0
1367.50/1368.07	c 1365s |      24 |  4310263 |  4209262 |     3539   2813 |        0 |        0
1369.50/1370.09	c 1367s |      24 |  4315787 |  4214762 |     3539   2816 |        0 |        0
1371.50/1372.10	c 1369s |      24 |  4321106 |  4220062 |     3539   2819 |        0 |        0
1373.60/1374.10	c 1371s |      24 |  4327800 |  4226462 |     3539   2823 |        0 |        0
1375.61/1376.11	c 1373s |      24 |  4333547 |  4232162 |     3539   2826 |        0 |        0
1377.60/1378.14	c 1375s |      24 |  4339574 |  4238062 |     3539   2829 |        0 |        0
1379.60/1380.15	c 1377s |      24 |  4345547 |  4243962 |     3539   2832 |        0 |        0
1381.60/1382.18	c 1379s |      24 |  4351849 |  4249962 |     3539   2835 |        0 |        0
1383.60/1384.18	c 1381s |      24 |  4358041 |  4256062 |     3539   2838 |        0 |        0
1385.70/1386.20	c 1383s |      24 |  4363687 |  4261662 |     3539   2841 |        0 |        0
1387.70/1388.23	c 1385s |      24 |  4369433 |  4267362 |     3539   2844 |        0 |        0
1389.70/1390.25	c 1387s |      24 |  4375231 |  4273062 |     3539   2847 |        0 |        0
1391.70/1392.28	c 1389s |      24 |  4381065 |  4278762 |     3539   2850 |        0 |        0
1393.70/1394.29	c 1391s |      24 |  4387351 |  4284962 |     3539   2854 |        0 |        0
1395.80/1396.30	c 1393s |      24 |  4393811 |  4291362 |     3539   2857 |        0 |        0
1397.80/1398.30	c 1395s |      24 |  4399745 |  4297262 |     3539   2860 |        0 |        0
1399.81/1400.32	c 1397s |      24 |  4406466 |  4303762 |     3539   2864 |        0 |        0
1401.80/1402.33	c 1399s |      24 |  4412702 |  4309962 |     3539   2867 |        0 |        0
1403.80/1404.36	c 1401s |      24 |  4419162 |  4316362 |     3539   2871 |        0 |        0
1405.80/1406.39	c 1403s |      24 |  4424933 |  4322062 |     3539   2874 |        0 |        0
1407.90/1408.42	c 1405s |      24 |  4430270 |  4327362 |     3539   2876 |        0 |        0
1409.90/1410.44	c 1407s |      24 |  4435968 |  4332962 |     3539   2879 |        0 |        0
1411.91/1412.47	c 1409s |      24 |  4441404 |  4338362 |     3539   2882 |        0 |        0
1413.90/1414.47	c 1411s |      24 |  4446857 |  4343762 |     3539   2885 |        0 |        0
1415.90/1416.49	c 1413s |      24 |  4452614 |  4349362 |     3539   2888 |        0 |        0
1418.00/1418.52	c 1415s |      24 |  4458909 |  4355562 |     3539   2891 |        0 |        0
1420.00/1420.55	c 1417s |      24 |  4464911 |  4361462 |     3539   2895 |        0 |        0
1422.00/1422.57	c 1419s |      24 |  4471265 |  4367762 |     3539   2898 |        0 |        0
1424.00/1424.59	c 1421s |      24 |  4477095 |  4373562 |     3539   2901 |        0 |        0
1426.10/1426.63	c 1423s |      24 |  4483504 |  4379862 |     3539   2905 |        0 |        0
1428.09/1428.64	c 1425s |      24 |  4489552 |  4385862 |     3539   2908 |        0 |        0
1430.09/1430.65	c 1427s |      24 |  4495461 |  4391662 |     3539   2911 |        0 |        0
1432.09/1432.67	c 1429s |      24 |  4501988 |  4397862 |     3539   2914 |        0 |        0
1434.09/1434.69	c 1431s |      24 |  4507938 |  4403762 |     3539   2917 |        0 |        0
1436.20/1436.73	c 1433s |      24 |  4513791 |  4409562 |     3539   2920 |        0 |        0
1438.19/1438.76	c 1435s |      24 |  4519508 |  4415262 |     3539   2923 |        0 |        0
1440.19/1440.79	c 1437s |      24 |  4525455 |  4421162 |     3539   2927 |        0 |        0
1442.19/1442.79	c 1439s |      24 |  4531822 |  4427362 |     3539   2930 |        0 |        0
1444.29/1444.80	c 1441s |      24 |  4537728 |  4433162 |     3539   2933 |        0 |        0
1446.29/1446.83	c 1443s |      24 |  4543683 |  4439062 |     3539   2936 |        0 |        0
1448.30/1448.85	c 1445s |      24 |  4550002 |  4445162 |     3539   2940 |        0 |        0
1450.29/1450.86	c 1447s |      24 |  4556390 |  4451362 |     3539   2943 |        0 |        0
1452.29/1452.88	c 1449s |      24 |  4560967 |  4455662 |     3539   2945 |        0 |        0
1454.29/1454.89	c 1451s |      24 |  4566454 |  4460962 |     3539   2948 |        0 |        0
1456.29/1456.89	c 1453s |      24 |  4571692 |  4466062 |     3539   2951 |        0 |        0
1458.29/1458.89	c 1455s |      24 |  4576883 |  4471062 |     3539   2953 |        0 |        0
1460.39/1460.90	c 1457s |      24 |  4581751 |  4475762 |     3539   2956 |        0 |        0
1462.39/1462.91	c 1459s |      24 |  4587071 |  4480862 |     3539   2958 |        0 |        0
1464.39/1464.93	c 1461s |      24 |  4593392 |  4487062 |     3539   2962 |        0 |        0
1466.39/1466.96	c 1464s |      24 |  4599562 |  4492962 |     3539   2965 |        0 |        0
1468.38/1468.98	c 1466s |      24 |  4606587 |  4499762 |     3539   2969 |        0 |        0
1470.38/1470.98	c 1468s |      24 |  4612162 |  4505062 |     3539   2971 |        0 |        0
1472.39/1473.00	c 1470s |      24 |  4617730 |  4510462 |     3539   2974 |        0 |        0
1474.48/1475.03	c 1472s |      24 |  4624264 |  4516662 |     3539   2978 |        0 |        0
1476.48/1477.06	c 1474s |      24 |  4630666 |  4522762 |     3539   2981 |        0 |        0
1478.48/1479.07	c 1476s |      24 |  4637147 |  4528962 |     3539   2984 |        0 |        0
1480.48/1481.09	c 1478s |      24 |  4643353 |  4534962 |     3539   2988 |        0 |        0
1482.58/1483.11	c 1480s |      24 |  4649748 |  4541162 |     3539   2991 |        0 |        0
1484.59/1485.14	c 1482s |      24 |  4655429 |  4546662 |     3539   2994 |        0 |        0
1486.58/1487.17	c 1484s |      24 |  4660908 |  4552062 |     3539   2997 |        0 |        0
1488.58/1489.17	c 1486s |      24 |  4667372 |  4558362 |     3539   3000 |        0 |        0
1490.58/1491.19	c 1488s |      24 |  4673670 |  4564462 |     3539   3003 |        0 |        0
1492.68/1493.20	c 1490s |      24 |  4680364 |  4570862 |     3539   3007 |        0 |        0
1494.68/1495.22	c 1492s |      24 |  4686670 |  4577062 |     3539   3010 |        0 |        0
1496.69/1497.22	c 1494s |      24 |  4693213 |  4583462 |     3539   3014 |        0 |        0
1498.68/1499.24	c 1496s |      24 |  4699961 |  4589962 |     3539   3017 |        0 |        0
1500.68/1501.26	c 1498s |      24 |  4706738 |  4596462 |     3539   3021 |        0 |        0
1502.68/1503.27	c 1500s |      24 |  4713232 |  4602762 |     3539   3024 |        0 |        0
1504.68/1505.28	c 1502s |      24 |  4719117 |  4608362 |     3539   3027 |        0 |        0
1506.68/1507.29	c 1504s |      24 |  4725706 |  4614662 |     3539   3030 |        0 |        0
1508.78/1509.32	c 1506s |      24 |  4731238 |  4619762 |     3539   3033 |        0 |        0
1510.78/1511.34	c 1508s |      24 |  4737899 |  4626262 |     3539   3037 |        0 |        0
1512.78/1513.36	c 1510s |      24 |  4743831 |  4631962 |     3539   3040 |        0 |        0
1514.78/1515.36	c 1512s |      24 |  4750747 |  4638762 |     3539   3043 |        0 |        0
1516.78/1517.37	c 1514s |      24 |  4756828 |  4644762 |     3539   3047 |        0 |        0
1518.78/1519.39	c 1516s |      24 |  4763358 |  4651162 |     3539   3050 |        0 |        0
1520.88/1521.41	c 1518s |      24 |  4769722 |  4657462 |     3539   3053 |        0 |        0
1522.87/1523.43	c 1520s |      24 |  4776285 |  4663962 |     3539   3057 |        0 |        0
1524.87/1525.45	c 1522s |      24 |  4782064 |  4669662 |     3539   3060 |        0 |        0
1526.87/1527.45	c 1524s |      24 |  4788759 |  4676262 |     3539   3063 |        0 |        0
1528.87/1529.47	c 1526s |      24 |  4794749 |  4682162 |     3539   3067 |        0 |        0
1530.88/1531.48	c 1528s |      24 |  4800587 |  4687962 |     3539   3070 |        0 |        0
1532.89/1533.50	c 1530s |      24 |  4806681 |  4693862 |     3539   3073 |        0 |        0
1534.98/1535.53	c 1532s |      24 |  4813087 |  4700062 |     3539   3076 |        0 |        0
1536.98/1537.54	c 1534s |      24 |  4820316 |  4706862 |     3539   3080 |        0 |        0
1538.98/1539.55	c 1536s |      24 |  4826502 |  4712962 |     3539   3083 |        0 |        0
1540.98/1541.56	c 1538s |      24 |  4833890 |  4720162 |     3539   3087 |        0 |        0
1542.98/1543.58	c 1540s |      24 |  4841009 |  4726862 |     3539   3091 |        0 |        0
1544.99/1545.58	c 1542s |      24 |  4848115 |  4733862 |     3539   3094 |        0 |        0
1547.08/1547.60	c 1544s |      24 |  4854697 |  4740062 |     3539   3098 |        0 |        0
1549.08/1549.62	c 1546s |      24 |  4861185 |  4746462 |     3539   3101 |        0 |        0
1551.08/1551.62	c 1548s |      24 |  4867746 |  4752762 |     3539   3104 |        0 |        0
1553.08/1553.62	c 1550s |      24 |  4874243 |  4758962 |     3539   3108 |        0 |        0
1555.08/1555.63	c 1552s |      24 |  4880756 |  4765262 |     3539   3111 |        0 |        0
1557.08/1557.66	c 1554s |      24 |  4887251 |  4771662 |     3539   3114 |        0 |        0
1559.08/1559.66	c 1556s |      24 |  4893227 |  4777562 |     3539   3118 |        0 |        0
1561.08/1561.67	c 1558s |      24 |  4899280 |  4783462 |     3539   3121 |        0 |        0
1563.08/1563.69	c 1560s |      24 |  4905446 |  4789462 |     3539   3124 |        0 |        0
1565.18/1565.71	c 1562s |      24 |  4911576 |  4795462 |     3539   3127 |        0 |        0
1567.17/1567.71	c 1564s |      24 |  4918463 |  4801962 |     3539   3131 |        0 |        0
1569.18/1569.73	c 1566s |      24 |  4924731 |  4808162 |     3539   3134 |        0 |        0
1571.17/1571.77	c 1568s |      24 |  4931399 |  4814662 |     3539   3137 |        0 |        0
1573.17/1573.77	c 1570s |      24 |  4938467 |  4821162 |     3539   3141 |        0 |        0
1575.17/1575.78	c 1572s |      24 |  4945274 |  4827762 |     3539   3144 |        0 |        0
1577.17/1577.79	c 1574s |      24 |  4951912 |  4834162 |     3539   3148 |        0 |        0
1579.27/1579.81	c 1576s |      24 |  4958113 |  4840262 |     3539   3151 |        0 |        0
1581.28/1581.83	c 1578s |      24 |  4963606 |  4845662 |     3539   3154 |        0 |        0
1583.27/1583.86	c 1580s |      24 |  4969824 |  4851762 |     3539   3157 |        0 |        0
1585.27/1585.88	c 1582s |      24 |  4976370 |  4858062 |     3539   3161 |        0 |        0
1587.27/1587.89	c 1584s |      24 |  4982615 |  4864162 |     3539   3164 |        0 |        0
1589.37/1589.92	c 1586s |      24 |  4989031 |  4870462 |     3539   3167 |        0 |        0
1591.37/1591.94	c 1588s |      24 |  4995034 |  4876362 |     3539   3170 |        0 |        0
1593.38/1593.96	c 1590s |      24 |  5001672 |  4882862 |     3539   3174 |        0 |        0
1595.37/1595.97	c 1593s |      24 |  5007777 |  4888862 |     3539   3177 |        0 |        0
1597.47/1598.00	c 1595s |      24 |  5014311 |  4895262 |     3539   3180 |        0 |        0
1599.47/1600.02	c 1597s |      24 |  5020468 |  4901362 |     3539   3184 |        0 |        0
1601.47/1602.02	c 1599s |      24 |  5026189 |  4906962 |     3539   3187 |        0 |        0
1603.47/1604.05	c 1601s |      24 |  5032693 |  4913262 |     3539   3190 |        0 |        0
1605.47/1606.07	c 1603s |      24 |  5039706 |  4920162 |     3539   3194 |        0 |        0
1607.47/1608.09	c 1605s |      24 |  5045914 |  4926262 |     3539   3197 |        0 |        0
1609.57/1610.11	c 1607s |      24 |  5052880 |  4933062 |     3539   3201 |        0 |        0
1611.57/1612.12	c 1609s |      24 |  5059243 |  4939362 |     3539   3204 |        0 |        0
1613.56/1614.14	c 1611s |      24 |  5065454 |  4945362 |     3539   3207 |        0 |        0
1615.56/1616.16	c 1613s |      24 |  5071367 |  4951062 |     3539   3210 |        0 |        0
1617.57/1618.17	c 1615s |      24 |  5076734 |  4956162 |     3539   3213 |        0 |        0
1619.56/1620.18	c 1617s |      24 |  5082744 |  4962062 |     3539   3216 |        0 |        0
1621.66/1622.22	c 1619s |      24 |  5087840 |  4966962 |     3539   3219 |        0 |        0
1623.66/1624.24	c 1621s |      24 |  5092087 |  4971062 |     3539   3221 |        0 |        0
1625.66/1626.27	c 1623s |      24 |  5096940 |  4975662 |     3539   3223 |        0 |        0
1627.66/1628.29	c 1625s |      24 |  5102158 |  4980762 |     3539   3226 |        0 |        0
1629.77/1630.32	c 1627s |      24 |  5108085 |  4986562 |     3539   3229 |        0 |        0
1631.76/1632.32	c 1629s |      24 |  5114231 |  4992462 |     3539   3232 |        0 |        0
1633.76/1634.34	c 1631s |      24 |  5120757 |  4998762 |     3539   3236 |        0 |        0
1635.76/1636.36	c 1633s |      24 |  5127324 |  5005162 |     3539   3239 |        0 |        0
1637.76/1638.39	c 1635s |      24 |  5134059 |  5011462 |     3539   3242 |        0 |        0
1639.86/1640.42	c 1637s |      24 |  5140738 |  5017662 |     3539   3246 |        0 |        0
1641.87/1642.44	c 1639s |      24 |  5147029 |  5023662 |     3893   3249 |        0 |        0
1643.86/1644.47	c 1641s |      24 |  5153559 |  5029962 |     3893   3252 |        0 |        0
1645.86/1646.49	c 1643s |      24 |  5159637 |  5035762 |     3893   3255 |        0 |        0
1647.96/1648.51	c 1645s |      24 |  5166116 |  5041962 |     3893   3258 |        0 |        0
1649.96/1650.52	c 1647s |      24 |  5172770 |  5048362 |     3893   3261 |        0 |        0
1651.96/1652.54	c 1649s |      24 |  5178887 |  5054062 |     3893   3263 |        0 |        0
1653.96/1654.55	c 1651s |      24 |  5184909 |  5059862 |     3893   3266 |        0 |        0
1655.86/1656.43	c 1653s |      25 |  5190461 |  5065098 |     3893   3269 |        0 |        0
1657.86/1658.45	c 1655s |      25 |  5196747 |  5071098 |     3893   3272 |        0 |        0
1659.86/1660.46	c 1657s |      25 |  5202954 |  5077098 |     3893   3275 |        0 |        0
1661.86/1662.48	c 1659s |      25 |  5208857 |  5082898 |     3893   3278 |        0 |        0
1663.86/1664.49	c 1661s |      25 |  5215199 |  5089098 |     3893   3281 |        0 |        0
1665.96/1666.51	c 1663s |      25 |  5221417 |  5095198 |     3893   3284 |        0 |        0
1667.95/1668.52	c 1665s |      25 |  5227834 |  5101498 |     3893   3287 |        0 |        0
1669.95/1670.53	c 1667s |      25 |  5233850 |  5107298 |     3893   3290 |        0 |        0
1671.95/1672.54	c 1669s |      25 |  5240142 |  5113398 |     3893   3293 |        0 |        0
1673.95/1674.54	c 1671s |      25 |  5246303 |  5119398 |     3893   3296 |        0 |        0
1675.96/1676.54	c 1673s |      25 |  5252267 |  5125098 |     3893   3299 |        0 |        0
1677.95/1678.56	c 1675s |      25 |  5258067 |  5130498 |     3893   3301 |        0 |        0
1679.95/1680.57	c 1677s |      25 |  5263864 |  5136098 |     3893   3304 |        0 |        0
1681.95/1682.57	c 1679s |      25 |  5270138 |  5142198 |     3893   3307 |        0 |        0
1683.95/1684.59	c 1681s |      25 |  5275741 |  5147598 |     3893   3310 |        0 |        0
1686.05/1686.64	c 1683s |      25 |  5281958 |  5153698 |     3893   3313 |        0 |        0
1688.06/1688.67	c 1685s |      25 |  5287068 |  5158598 |     3893   3315 |        0 |        0
1690.05/1690.70	c 1687s |      25 |  5292867 |  5164198 |     3893   3318 |        0 |        0
1692.15/1692.73	c 1689s |      25 |  5298819 |  5169998 |     3893   3321 |        0 |        0
1694.15/1694.74	c 1691s |      25 |  5305058 |  5176098 |     3893   3324 |        0 |        0
1696.15/1696.76	c 1693s |      25 |  5310760 |  5181598 |     3893   3327 |        0 |        0
1698.15/1698.77	c 1695s |      25 |  5316532 |  5187098 |     3893   3329 |        0 |        0
1700.16/1700.78	c 1697s |      25 |  5322188 |  5192598 |     3893   3332 |        0 |        0
1702.25/1702.80	c 1699s |      25 |  5327360 |  5197598 |     3893   3335 |        0 |        0
1704.26/1704.82	c 1701s |      25 |  5332512 |  5202598 |     3893   3337 |        0 |        0
1706.26/1706.83	c 1703s |      25 |  5338533 |  5208498 |     3893   3340 |        0 |        0
1708.26/1708.85	c 1705s |      25 |  5344526 |  5214298 |     3893   3343 |        0 |        0
1710.26/1710.86	c 1707s |      25 |  5350875 |  5220398 |     3893   3346 |        0 |        0
1712.26/1712.87	c 1709s |      25 |  5357167 |  5226398 |     3893   3349 |        0 |        0
1714.25/1714.88	c 1711s |      25 |  5363504 |  5232498 |     3893   3352 |        0 |        0
1716.35/1716.91	c 1713s |      25 |  5370045 |  5238798 |     3893   3355 |        0 |        0
1718.35/1718.93	c 1715s |      25 |  5376231 |  5244798 |     3893   3358 |        0 |        0
1720.35/1720.97	c 1718s |      25 |  5382086 |  5250498 |     3893   3361 |        0 |        0
1722.35/1722.97	c 1720s |      25 |  5388394 |  5256598 |     3893   3364 |        0 |        0
1724.36/1725.00	c 1722s |      25 |  5394162 |  5262198 |     3893   3367 |        0 |        0
1726.46/1727.01	c 1724s |      25 |  5400164 |  5268098 |     3893   3370 |        0 |        0
1728.45/1729.04	c 1726s |      25 |  5406203 |  5273998 |     3893   3373 |        0 |        0
1730.45/1731.05	c 1728s |      25 |  5412383 |  5279998 |     3893   3376 |        0 |        0
1732.45/1733.07	c 1730s |      25 |  5418590 |  5285998 |     3893   3379 |        0 |        0
1734.45/1735.08	c 1732s |      25 |  5424430 |  5291598 |     3893   3381 |        0 |        0
1736.55/1737.10	c 1734s |      25 |  5430406 |  5297398 |     3893   3384 |        0 |        0
1738.56/1739.11	c 1736s |      25 |  5436316 |  5303098 |     3893   3387 |        0 |        0
1740.55/1741.12	c 1738s |      25 |  5441957 |  5308498 |     3893   3390 |        0 |        0
1742.55/1743.12	c 1740s |      25 |  5446961 |  5313298 |     3893   3392 |        0 |        0
1744.55/1745.14	c 1742s |      25 |  5452994 |  5319198 |     3893   3395 |        0 |        0
1746.55/1747.17	c 1744s |      25 |  5458788 |  5324798 |     3893   3398 |        0 |        0
1748.56/1749.18	c 1746s |      25 |  5465035 |  5330798 |     3893   3401 |        0 |        0
1750.55/1751.18	c 1748s |      25 |  5470683 |  5336198 |     3893   3404 |        0 |        0
1752.65/1753.23	c 1750s |      25 |  5476649 |  5341998 |     3893   3406 |        0 |        0
1754.65/1755.24	c 1752s |      25 |  5482931 |  5348198 |     3893   3409 |        0 |        0
1756.65/1757.25	c 1754s |      25 |  5488507 |  5353698 |     3893   3412 |        0 |        0
1758.65/1759.27	c 1756s |      25 |  5494250 |  5359298 |     3893   3415 |        0 |        0
1760.65/1761.29	c 1758s |      25 |  5500333 |  5365298 |     3893   3418 |        0 |        0
1762.75/1763.32	c 1760s |      25 |  5506019 |  5370798 |     3893   3421 |        0 |        0
1764.75/1765.33	c 1762s |      25 |  5512045 |  5376698 |     3893   3424 |        0 |        0
1766.75/1767.36	c 1764s |      25 |  5518029 |  5382498 |     3893   3427 |        0 |        0
1768.74/1769.39	c 1766s |      25 |  5524279 |  5388598 |     3893   3430 |        0 |        0
1770.84/1771.40	c 1768s |      25 |  5530213 |  5394398 |     3893   3432 |        0 |        0
1772.84/1773.44	c 1770s |      25 |  5536337 |  5400398 |     3893   3435 |        0 |        0
1774.85/1775.46	c 1772s |      25 |  5542230 |  5406098 |     3893   3438 |        0 |        0
1776.84/1777.46	c 1774s |      25 |  5547979 |  5411598 |     3893   3441 |        0 |        0
1778.94/1779.51	c 1776s |      25 |  5553979 |  5417298 |     3893   3444 |        0 |        0
1780.94/1781.52	c 1778s |      25 |  5560315 |  5423498 |     3893   3447 |        0 |        0
1782.94/1783.55	c 1780s |      25 |  5566507 |  5429398 |     3893   3450 |        0 |        0
1784.94/1785.59	c 1782s |      25 |  5572203 |  5434898 |     3893   3453 |        0 |        0
1787.05/1787.61	c 1784s |      25 |  5578271 |  5440698 |     3893   3455 |        0 |        0
1789.04/1789.62	c 1786s |      25 |  5584248 |  5446498 |     3893   3458 |        0 |        0
1791.04/1791.64	c 1788s |      25 |  5590080 |  5452198 |     3893   3461 |        0 |        0
1793.04/1793.67	c 1790s |      25 |  5595003 |  5456898 |     3893   3464 |        0 |        0
1795.04/1795.69	c 1792s |      25 |  5600266 |  5461998 |     3893   3466 |        0 |        0
1797.14/1797.70	c 1794s |      25 |  5606020 |  5467598 |     3893   3469 |        0 |        0
1799.14/1799.71	c 1796s |      25 |  5611658 |  5472998 |     3893   3472 |        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-4105992-1466261405/watcher-4105992-1466261405 -o /tmp/evaluation-result-4105992-1466261405/solver-4105992-1466261405 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105992-1466261405.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.05 2.03 3/180 26092
/proc/meminfo: memFree=30596004/32872528 swapFree=163656/177964
[pid=26092] ppid=26089 vsize=644540 CPUtime=0 cores=1,3,5,7
/proc/26092/stat : 26092 (toysat) R 26089 26092 20760 0 -1 4202496 2392 0 0 0 0 0 0 0 20 0 4 0 28190422 660008960 2243 33554432000 4194304 16246674 140733837590352 140733837589776 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26092/statm: 161903 2251 441 2943 0 158797 0
[pid=26092/tid=26093] ppid=26089 vsize=661948 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26093/stat : 26093 (toysat) S 26089 26092 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28190422 677834752 2311 33554432000 4194304 16246674 140733837590352 139925184818416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26092/tid=26094] ppid=26089 vsize=667068 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26094/stat : 26094 (toysat) S 26089 26092 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28190422 683077632 2327 33554432000 4194304 16246674 140733837590352 139925174328560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26092/tid=26095] ppid=26089 vsize=671164 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26095/stat : 26095 (toysat) S 26089 26092 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28190422 687271936 2344 33554432000 4194304 16246674 140733837590352 139925163855024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.02 2.05 2.03 3/180 26092
/proc/meminfo: memFree=30596004/32872528 swapFree=163656/177964
[pid=26092] ppid=26089 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/26092/stat : 26092 (toysat) R 26089 26092 20760 0 -1 4202496 20836 0 0 0 7 2 0 0 20 0 4 0 28190422 1247350784 20675 33554432000 4194304 16246674 140733837590352 140733837589776 5722241 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26092/statm: 304529 20682 760 2943 0 301423 0
[pid=26092/tid=26093] ppid=26089 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26093/stat : 26093 (toysat) S 26089 26092 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28190422 1247350784 20687 33554432000 4194304 16246674 140733837590352 139925184818416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26092/tid=26094] ppid=26089 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26094/stat : 26094 (toysat) S 26089 26092 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28190422 1247350784 20690 33554432000 4194304 16246674 140733837590352 139925174328560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26092/tid=26095] ppid=26089 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26095/stat : 26095 (toysat) S 26089 26092 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28190422 1247350784 20695 33554432000 4194304 16246674 140733837590352 139925163855024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200534 s]
/proc/loadavg: 2.02 2.05 2.03 3/180 26092
/proc/meminfo: memFree=30596004/32872528 swapFree=163656/177964
[pid=26092] ppid=26089 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/26092/stat : 26092 (toysat) R 26089 26092 20760 0 -1 4202496 37647 0 0 0 14 5 0 0 20 0 4 0 28190422 1247350784 37485 33554432000 4194304 16246674 140733837590352 140733837589776 5712452 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26092/statm: 304529 37493 760 2943 0 301423 0
[pid=26092/tid=26093] ppid=26089 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26093/stat : 26093 (toysat) S 26089 26092 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28190422 1247350784 37497 33554432000 4194304 16246674 140733837590352 139925184818416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26092/tid=26094] ppid=26089 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26094/stat : 26094 (toysat) S 26089 26092 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28190422 1247350784 37502 33554432000 4194304 16246674 140733837590352 139925174328560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26092/tid=26095] ppid=26089 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26095/stat : 26095 (toysat) S 26089 26092 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28190422 1247350784 37507 33554432000 4194304 16246674 140733837590352 139925163855024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300499 s]
/proc/loadavg: 2.02 2.05 2.03 3/180 26092
/proc/meminfo: memFree=30596004/32872528 swapFree=163656/177964
[pid=26092] ppid=26089 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/26092/stat : 26092 (toysat) R 26089 26092 20760 0 -1 4202496 55012 0 0 0 22 7 0 0 20 0 4 0 28190422 1247350784 54850 33554432000 4194304 16246674 140733837590352 140733837589776 5723366 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26092/statm: 304529 54865 767 2943 0 301423 0
[pid=26092/tid=26093] ppid=26089 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26093/stat : 26093 (toysat) S 26089 26092 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28190422 1247350784 54869 33554432000 4194304 16246674 140733837590352 139925184818416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26092/tid=26094] ppid=26089 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26094/stat : 26094 (toysat) S 26089 26092 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28190422 1247350784 54872 33554432000 4194304 16246674 140733837590352 139925174328560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26092/tid=26095] ppid=26089 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26095/stat : 26095 (toysat) S 26089 26092 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28190422 1247350784 54875 33554432000 4194304 16246674 140733837590352 139925163855024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700416 s]
/proc/loadavg: 2.02 2.05 2.03 3/180 26092
/proc/meminfo: memFree=30596004/32872528 swapFree=163656/177964
[pid=26092] ppid=26089 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/26092/stat : 26092 (toysat) R 26089 26092 20760 0 -1 4202496 124421 0 0 0 51 18 0 0 20 0 4 0 28190422 1247350784 124260 33554432000 4194304 16246674 140733837590352 140733837573352 5723366 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26092/statm: 304529 124270 767 2943 0 301423 0
[pid=26092/tid=26093] ppid=26089 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26093/stat : 26093 (toysat) S 26089 26092 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28190422 1247350784 124272 33554432000 4194304 16246674 140733837590352 139925184818416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26092/tid=26094] ppid=26089 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26094/stat : 26094 (toysat) S 26089 26092 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28190422 1247350784 124274 33554432000 4194304 16246674 140733837590352 139925174328560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26092/tid=26095] ppid=26089 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26095/stat : 26095 (toysat) S 26089 26092 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28190422 1247350784 124277 33554432000 4194304 16246674 140733837590352 139925163855024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.02 2.05 2.03 3/184 26096
/proc/meminfo: memFree=29817988/32872528 swapFree=163656/177964
[pid=26092] ppid=26089 vsize=1220164 CPUtime=1.49 cores=1,3,5,7
/proc/26092/stat : 26092 (toysat) R 26089 26092 20760 0 -1 4202496 245902 0 0 0 114 35 0 0 20 0 4 0 28190422 1249447936 245717 33554432000 4194304 16246674 140733837590352 140733837573352 5823037 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26092/statm: 305041 245717 833 2943 0 301935 0
[pid=26092/tid=26093] ppid=26089 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26093/stat : 26093 (toysat) S 26089 26092 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28190422 1249447936 245717 33554432000 4194304 16246674 140733837590352 139925184818416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26092/tid=26094] ppid=26089 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26094/stat : 26094 (toysat) S 26089 26092 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28190422 1249447936 245717 33554432000 4194304 16246674 140733837590352 139925174328560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26092/tid=26095] ppid=26089 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26095/stat : 26095 (toysat) S 26089 26092 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28190422 1249447936 245717 33554432000 4194304 16246674 140733837590352 139925163855024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.10042 s]
/proc/loadavg: 2.01 2.04 2.03 3/184 26096
/proc/meminfo: memFree=29613868/32872528 swapFree=163656/177964
[pid=26092] ppid=26089 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/26092/stat : 26092 (toysat) R 26089 26092 20760 0 -1 4202496 267464 0 0 0 272 37 0 0 20 0 4 0 28190422 1337528320 267279 33554432000 4194304 16246674 140733837590352 140733837573352 5712536 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26092/statm: 326545 267279 853 2943 0 323439 0
[pid=26092/tid=26093] ppid=26089 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26093/stat : 26093 (toysat) S 26089 26092 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28190422 1337528320 267279 33554432000 4194304 16246674 140733837590352 139925184818416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26092/tid=26094] ppid=26089 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26094/stat : 26094 (toysat) S 26089 26092 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28190422 1337528320 267279 33554432000 4194304 16246674 140733837590352 139925174328560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26092/tid=26095] ppid=26089 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26095/stat : 26095 (toysat) S 26089 26092 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28190422 1337528320 267279 33554432000 4194304 16246674 140733837590352 139925163855024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.01 2.04 2.03 3/184 26096
/proc/meminfo: memFree=29526912/32872528 swapFree=163656/177964
[pid=26092] ppid=26089 vsize=1307204 CPUtime=6.28 cores=1,3,5,7
/proc/26092/stat : 26092 (toysat) R 26089 26092 20760 0 -1 4202496 267718 0 0 0 591 37 0 0 20 0 4 0 28190422 1338576896 267533 33554432000 4194304 16246674 140733837590352 140733837573352 5712760 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26092/statm: 326801 267533 853 2943 0 323695 0
[pid=26092/tid=26093] ppid=26089 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26093/stat : 26093 (toysat) S 26089 26092 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28190422 1338576896 267533 33554432000 4194304 16246674 140733837590352 139925184818416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26092/tid=26094] ppid=26089 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26094/stat : 26094 (toysat) S 26089 26092 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28190422 1338576896 267533 33554432000 4194304 16246674 140733837590352 139925174328560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26092/tid=26095] ppid=26089 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26095/stat : 26095 (toysat) S 26089 26092 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28190422 1338576896 267533 33554432000 4194304 16246674 140733837590352 139925163855024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.09 2.06 2.04 3/184 26096
/proc/meminfo: memFree=29525044/32872528 swapFree=163656/177964
[pid=26092] ppid=26089 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/26092/stat : 26092 (toysat) R 26089 26092 20760 0 -1 4202496 268159 0 0 0 1231 38 0 0 20 0 4 0 28190422 1339625472 267974 33554432000 4194304 16246674 140733837590352 140733837572224 6837340 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26092/statm: 327057 267974 855 2943 0 323951 0
[pid=26092/tid=26093] ppid=26089 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26093/stat : 26093 (toysat) S 26089 26092 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28190422 1339625472 267974 33554432000 4194304 16246674 140733837590352 139925184818416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26092/tid=26094] ppid=26089 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26094/stat : 26094 (toysat) S 26089 26092 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28190422 1339625472 267974 33554432000 4194304 16246674 140733837590352 139925174328560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26092/tid=26095] ppid=26089 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26095/stat : 26095 (toysat) S 26089 26092 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28190422 1339625472 267974 33554432000 4194304 16246674 140733837590352 139925163855024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.07 2.06 2.04 3/184 26096
/proc/meminfo: memFree=29524628/32872528 swapFree=163656/177964
[pid=26092] ppid=26089 vsize=1309252 CPUtime=25.49 cores=1,3,5,7
/proc/26092/stat : 26092 (toysat) R 26089 26092 20760 0 -1 4202496 268416 0 0 0 2511 38 0 0 20 0 4 0 28190422 1340674048 268231 33554432000 4194304 16246674 140733837590352 140733837572224 8224710 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26092/statm: 327313 268231 856 2943 0 324207 0
[pid=26092/tid=26093] ppid=26089 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26093/stat : 26093 (toysat) S 26089 26092 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28190422 1340674048 268231 33554432000 4194304 16246674 140733837590352 139925184818416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26092/tid=26094] ppid=26089 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26094/stat : 26094 (toysat) S 26089 26092 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28190422 1340674048 268231 33554432000 4194304 16246674 140733837590352 139925174328560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26092/tid=26095] ppid=26089 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26095/stat : 26095 (toysat) S 26089 26092 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28190422 1340674048 268231 33554432000 4194304 16246674 140733837590352 139925163855024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.05 2.05 2.03 3/184 26096
/proc/meminfo: memFree=29524720/32872528 swapFree=163656/177964
[pid=26092] ppid=26089 vsize=1309252 CPUtime=51.08 cores=1,3,5,7
/proc/26092/stat : 26092 (toysat) R 26089 26092 20760 0 -1 4202496 268416 0 0 0 5070 38 0 0 20 0 4 0 28190422 1340674048 268231 33554432000 4194304 16246674 140733837590352 140733837573352 12483311 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26092/statm: 327313 268231 856 2943 0 324207 0
[pid=26092/tid=26093] ppid=26089 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26093/stat : 26093 (toysat) S 26089 26092 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28190422 1340674048 268231 33554432000 4194304 16246674 140733837590352 139925184818416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26092/tid=26094] ppid=26089 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26094/stat : 26094 (toysat) S 26089 26092 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28190422 1340674048 268231 33554432000 4194304 16246674 140733837590352 139925174328560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26092/tid=26095] ppid=26089 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26095/stat : 26095 (toysat) S 26089 26092 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28190422 1340674048 268231 33554432000 4194304 16246674 140733837590352 139925163855024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1309252

[startup+102.301 s]
/proc/loadavg: 2.11 2.07 2.04 3/183 26097
/proc/meminfo: memFree=29520052/32872528 swapFree=163656/177964
[pid=26092] ppid=26089 vsize=1311300 CPUtime=102.28 cores=1,3,5,7
/proc/26092/stat : 26092 (toysat) R 26089 26092 20760 0 -1 4202496 268928 0 0 0 10190 38 0 0 20 0 4 0 28190422 1342771200 268743 33554432000 4194304 16246674 140733837590352 140733837573352 5723568 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26092/statm: 327825 268743 856 2943 0 324719 0
[pid=26092/tid=26093] ppid=26089 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26093/stat : 26093 (toysat) S 26089 26092 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28190422 1342771200 268743 33554432000 4194304 16246674 140733837590352 139925184818416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26092/tid=26094] ppid=26089 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26094/stat : 26094 (toysat) S 26089 26092 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28190422 1342771200 268743 33554432000 4194304 16246674 140733837590352 139925174328560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26092/tid=26095] ppid=26089 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26095/stat : 26095 (toysat) S 26089 26092 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28190422 1342771200 268743 33554432000 4194304 16246674 140733837590352 139925163855024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1311300


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

/proc/26092/task/26095/stat : 26095 (toysat) S 26089 26092 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925163855024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 1322564

[startup+1302.3 s]
/proc/loadavg: 2.13 2.08 2.03 3/183 26346
/proc/meminfo: memFree=29494644/32872528 swapFree=163656/177964
[pid=26092] ppid=26089 vsize=1322564 CPUtime=1301.82 cores=1,3,5,7
/proc/26092/stat : 26092 (toysat) R 26089 26092 20760 0 -1 4202496 272204 0 0 0 130131 51 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 140733837572224 13780660 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26092/statm: 330641 271817 858 2943 0 327535 0
[pid=26092/tid=26093] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26093/stat : 26093 (toysat) S 26089 26092 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925184818416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26092/tid=26094] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26094/stat : 26094 (toysat) S 26089 26092 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925174328560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26092/tid=26095] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26095/stat : 26095 (toysat) S 26089 26092 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925163855024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1322564

[startup+1362.3 s]
/proc/loadavg: 2.13 2.08 2.03 3/183 26445
/proc/meminfo: memFree=29509556/32872528 swapFree=163656/177964
[pid=26092] ppid=26089 vsize=1322564 CPUtime=1361.8 cores=1,3,5,7
/proc/26092/stat : 26092 (toysat) R 26089 26092 20760 0 -1 4202496 272204 0 0 0 136129 51 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 140733837572224 12483317 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26092/statm: 330641 271817 858 2943 0 327535 0
[pid=26092/tid=26093] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26093/stat : 26093 (toysat) S 26089 26092 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925184818416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26092/tid=26094] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26094/stat : 26094 (toysat) S 26089 26092 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925174328560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26092/tid=26095] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26095/stat : 26095 (toysat) S 26089 26092 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925163855024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1322564

[startup+1422.3 s]
/proc/loadavg: 2.04 2.07 2.03 3/183 26447
/proc/meminfo: memFree=29504292/32872528 swapFree=163656/177964
[pid=26092] ppid=26089 vsize=1322564 CPUtime=1421.8 cores=1,3,5,7
/proc/26092/stat : 26092 (toysat) R 26089 26092 20760 0 -1 4202496 272204 0 0 0 142128 52 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 140733837572224 5546214 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26092/statm: 330641 271817 858 2943 0 327535 0
[pid=26092/tid=26093] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26093/stat : 26093 (toysat) S 26089 26092 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925184818416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26092/tid=26094] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26094/stat : 26094 (toysat) S 26089 26092 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925174328560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26092/tid=26095] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26095/stat : 26095 (toysat) S 26089 26092 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925163855024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1322564

[startup+1482.3 s]
/proc/loadavg: 2.01 2.05 2.02 3/183 26448
/proc/meminfo: memFree=29501976/32872528 swapFree=163656/177964
[pid=26092] ppid=26089 vsize=1322564 CPUtime=1481.78 cores=1,3,5,7
/proc/26092/stat : 26092 (toysat) R 26089 26092 20760 0 -1 4202496 272204 0 0 0 148126 52 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 140733837573352 13760246 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26092/statm: 330641 271817 858 2943 0 327535 0
[pid=26092/tid=26093] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26093/stat : 26093 (toysat) S 26089 26092 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925184818416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26092/tid=26094] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26094/stat : 26094 (toysat) S 26089 26092 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925174328560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26092/tid=26095] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26095/stat : 26095 (toysat) S 26089 26092 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925163855024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1322564

[startup+1542.31 s]
/proc/loadavg: 2.13 2.07 2.03 3/183 26449
/proc/meminfo: memFree=29499780/32872528 swapFree=163656/177964
[pid=26092] ppid=26089 vsize=1322564 CPUtime=1541.79 cores=1,3,5,7
/proc/26092/stat : 26092 (toysat) R 26089 26092 20760 0 -1 4202496 272204 0 0 0 154126 53 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 140733837573352 6842322 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26092/statm: 330641 271817 858 2943 0 327535 0
[pid=26092/tid=26093] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26093/stat : 26093 (toysat) S 26089 26092 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925184818416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26092/tid=26094] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26094/stat : 26094 (toysat) S 26089 26092 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925174328560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26092/tid=26095] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26095/stat : 26095 (toysat) S 26089 26092 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925163855024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1322564

[startup+1602.3 s]
/proc/loadavg: 2.13 2.07 2.03 3/183 26450
/proc/meminfo: memFree=29496828/32872528 swapFree=163656/177964
[pid=26092] ppid=26089 vsize=1322564 CPUtime=1601.77 cores=1,3,5,7
/proc/26092/stat : 26092 (toysat) R 26089 26092 20760 0 -1 4202496 272204 0 0 0 160124 53 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 140733837572224 5673048 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26092/statm: 330641 271817 858 2943 0 327535 0
[pid=26092/tid=26093] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26093/stat : 26093 (toysat) S 26089 26092 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925184818416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26092/tid=26094] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26094/stat : 26094 (toysat) S 26089 26092 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925174328560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26092/tid=26095] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26095/stat : 26095 (toysat) S 26089 26092 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925163855024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1322564

[startup+1662.3 s]
/proc/loadavg: 2.23 2.10 2.04 3/183 26451
/proc/meminfo: memFree=29496744/32872528 swapFree=163656/177964
[pid=26092] ppid=26089 vsize=1322564 CPUtime=1661.76 cores=1,3,5,7
/proc/26092/stat : 26092 (toysat) R 26089 26092 20760 0 -1 4202496 272204 0 0 0 166123 53 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 140733837572224 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26092/statm: 330641 271817 858 2943 0 327535 0
[pid=26092/tid=26093] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26093/stat : 26093 (toysat) S 26089 26092 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925184818416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26092/tid=26094] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26094/stat : 26094 (toysat) S 26089 26092 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925174328560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26092/tid=26095] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26095/stat : 26095 (toysat) S 26089 26092 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925163855024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1322564

[startup+1722.3 s]
/proc/loadavg: 2.27 2.13 2.05 3/183 26453
/proc/meminfo: memFree=29496644/32872528 swapFree=163656/177964
[pid=26092] ppid=26089 vsize=1322564 CPUtime=1721.75 cores=1,3,5,7
/proc/26092/stat : 26092 (toysat) R 26089 26092 20760 0 -1 4202496 272204 0 0 0 172121 54 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 140733837572224 5677716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26092/statm: 330641 271817 858 2943 0 327535 0
[pid=26092/tid=26093] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26093/stat : 26093 (toysat) S 26089 26092 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925184818416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26092/tid=26094] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26094/stat : 26094 (toysat) S 26089 26092 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925174328560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26092/tid=26095] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26095/stat : 26095 (toysat) S 26089 26092 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925163855024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1322564

[startup+1782.3 s]
/proc/loadavg: 2.27 2.15 2.06 3/183 26454
/proc/meminfo: memFree=29496176/32872528 swapFree=163656/177964
[pid=26092] ppid=26089 vsize=1322564 CPUtime=1781.74 cores=1,3,5,7
/proc/26092/stat : 26092 (toysat) R 26089 26092 20760 0 -1 4202496 272204 0 0 0 178120 54 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 140733837572224 5808141 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26092/statm: 330641 271817 858 2943 0 327535 0
[pid=26092/tid=26093] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26093/stat : 26093 (toysat) S 26089 26092 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925184818416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26092/tid=26094] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26094/stat : 26094 (toysat) S 26089 26092 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925174328560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26092/tid=26095] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26095/stat : 26095 (toysat) S 26089 26092 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925163855024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1322564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.27 2.15 2.06 3/184 26457
/proc/meminfo: memFree=29496024/32872528 swapFree=163656/177964
[pid=26092] ppid=26089 vsize=1322564 CPUtime=1800.04 cores=1,3,5,7
/proc/26092/stat : 26092 (toysat) R 26089 26092 20760 0 -1 4202496 272204 0 0 0 179950 54 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 140733837573352 5823178 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26092/statm: 330641 271817 858 2943 0 327535 0
[pid=26092/tid=26093] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26093/stat : 26093 (toysat) S 26089 26092 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925184818416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26092/tid=26094] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26094/stat : 26094 (toysat) S 26089 26092 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925174328560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26092/tid=26095] ppid=26089 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/26092/task/26095/stat : 26095 (toysat) S 26089 26092 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28190422 1354305536 271817 33554432000 4194304 16246674 140733837590352 139925163855024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 26092 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1799.51
CPU system time (s): 0.545917
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 1322564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.545917
maximum resident set size= 1087268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272204
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= 472
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77397 second user time and 9.95549 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 16:50:05
IDJOB=4105992
IDBENCH=47885
IDSOLVER=2542
FILE ID=node105/4105992-1466261405
RUNJOBID= node105-1466229502-20777
PBS_JOBID= 19918174
Free space on /tmp= 71732 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=149-P1=419-P2=307-P3=223-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105992-1466261405/watcher-4105992-1466261405 -o /tmp/evaluation-result-4105992-1466261405/solver-4105992-1466261405 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105992-1466261405.opb

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

MD5SUM BENCH= c4226b2f0998740abfed6a5c474083dd
RANDOM SEED=1758808126

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30596276 kB
Buffers:           78472 kB
Cached:           203152 kB
SwapCached:         1460 kB
Active:          1173848 kB
Inactive:         186960 kB
Active(anon):    1076092 kB
Inactive(anon):     5448 kB
Active(file):      97756 kB
Inactive(file):   181512 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             16368 kB
Writeback:             0 kB
AnonPages:       1258604 kB
Mapped:            10468 kB
Shmem:                 0 kB
Slab:             604808 kB
SReclaimable:      48436 kB
SUnreclaim:       556372 kB
KernelStack:        1528 kB
PageTables:         6908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1399324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    106496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node105 at 2016-06-18 17:20:06