Trace number 4106397

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=211-P1=331-P2=199-P3=307-P4=457-P5=293-B.opb
MD5SUM55e3096e9013fd2f39f8572a635bf07d
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.112982
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 variables135
Total number of constraints11
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a 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)405
Sum of products size (including duplicates)810
Number of different products405
Sum of products size810

Solver Data 

0.00/0.00	c 2016-06-18T19:25:17+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-4106397-1466270717.opb"]
0.00/0.02	c use --random-gen="816834752 827536848 972300053 3885109662 3634185751 2573721919 2093069823 2999345025 978659624 777663221 3040811392 895498569 2290944347 1528998230 2922264594 3556848370 1818425375 2313908704 2346707323 960806412 656615614 1915680019 2300676912 1359572054 3981812444 4166659816 1353928182 1152466914 3342174275 2879643573 3012940723 728557243 3473521144 3098538130 1265811441 1585646702 2563277576 3121443103 1401728260 2575105012 1398952649 3278302002 2928042054 3153500360 1550352840 2613231652 878636057 3752828580 2395583164 933383992 4119295708 38563401 1123063318 1892324739 2634584429 3440047047 488154592 3707351239 2968505104 805478829 1674170235 3290641223 2118450112 1912830859 1099599199 1474103403 2860483188 1481861152 3456689970 2050732049 1684022196 1633913365 1121282623 3293383888 605393977 3991889399 1341458476 771405251 147851876 372125791 2571021925 1956611649 2504409782 1489489494 1190452785 3520717773 2184111742 820701351 3106396307 1760629213 1504473991 3462584685 3467266266 822427278 709497031 1773338448 3115143661 111725216 2321694853 1515379319 4154982693 2557105683 1315339851 3425860409 3975569405 912461197 3186529148 1990352420 2190394174 644702673 3098117923 1356267788 2692129448 2865649152 1241705386 2355731425 2210450779 707212286 3835108819 3413223747 1452767021 2542661350 1479627211 822240769 288255715 3208477787 582616793 2752293106 229656370 3635166686 3660382574 2796248009 3055491211 3248963647 3772542570 1508435441 3456562754 3946121700 442400499 2661995669 2383106983 1686410848 489470999 4114955364 379136930 1887516270 2840338801 2753291137 1458029871 22433647 305117670 1279777750 1595225976 913727070 2056704614 472932394 594654072 3825209691 3056289716 1379335836 2356831852 123938017 150013550 578523773 221479755 4289777468 728656654 1490836551 750428346 3008459992 3386162678 542873573 1312601077 2832350213 1637088062 2413383786 2313869677 3403573073 3302787919 2831080744 196125359 870880551 1605777463 3096531448 508983287 2214965051 649901023 3250045167 3710346714 2056283575 394383502 82114601 1531595461 764321561 1593917855 2869800133 1257790617 940919296 3529917659 974284259 3736008124 1548977871 1884850114 2796184344 877992988 1156469806 2441420050 553376386 3372503835 1256287236 333746616 3427499014 2724918485 2806410613 335545278 2606030504 92896678 486964879 3841833389 3425793756 2869939284 2736631579 210654191 1896202292 3975954686 1510071601 2138514539 3343165065 549838529 1479628361 2092599126 3511156278 2992907688 903162664 242736883 2309092205 4062814482 3332442032 855383709 3242268774 2803843917 1025831250 506786417 3067502119 3235061311 1484161110 4195933290 718543361 463173625 4275808664 1899944400 3442462248 637335914 3317229807 3836045991 165762023 255 362436" option to reproduce the execution
0.00/0.02	c #vars 135
0.00/0.02	c #constraints 11
0.00/0.03	c BCD2: Hardening is enabled.
0.00/0.03	c BCD2: BiasedSearch is enabled.
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      590      0 |        0 |        0
0.00/0.07	c  0.0s |       1 |      140 |      100 |      590      0 |        0 |        0
0.09/0.16	c  0.1s |       2 |      353 |      250 |      649      0 |        0 |        0
0.29/0.34	c  0.3s |       3 |      621 |      475 |      714      0 |        0 |        0
0.39/0.44	c  0.4s |       4 |     1022 |      813 |      786      0 |        0 |        0
0.69/0.78	c  0.7s |       5 |     1572 |     1320 |      865      1 |        0 |        0
1.09/1.13	c  1.1s |       6 |     2370 |     2081 |     1048      3 |        0 |        0
1.38/1.45	c  1.4s |       7 |     3628 |     3223 |     1153      4 |        0 |        0
2.19/2.22	c  2.2s |       8 |     5509 |     4936 |     1269      7 |        0 |        0
2.79/2.88	c  2.8s |       9 |     8250 |     7506 |     1396     10 |        0 |        0
3.39/3.46	c  3.4s |       9 |    10525 |     9632 |     1396     12 |        0 |        0
3.39/3.46	c #cpu_time = 3.417s
3.39/3.46	c #wall_clock_time = 3.427s
3.39/3.46	c #decision = 10525
3.39/3.46	c #random_decision = 53
3.39/3.46	c #conflict = 9632
3.39/3.46	c #restart = 9
3.39/3.46	o 499
3.39/3.46	c BCD2: updating upper bound: 511 -> 498
3.49/3.58	c BCD2: 0 <= obj <= 498
3.49/3.58	c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0
3.49/3.58	c BCD2: #sat=1 #unsat=1 bias=1/2
3.49/3.58	c Solving starts ...
3.49/3.58	c ============================[ Search Statistics ]============================
3.49/3.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.49/3.58	c       |         |          |          |    Limit     GC | Var      | Constra 
3.49/3.58	c =============================================================================
3.49/3.58	c  0.0s |       0 |        0 |        0 |     1396      0 |        0 |        0
3.49/3.58	c  0.0s |       0 |        7 |        0 |     1396      1 |        0 |        0
3.49/3.58	c #cpu_time = 0.010s
3.49/3.58	c #wall_clock_time = 0.010s
3.49/3.58	c #decision = 7
3.49/3.58	c #random_decision = 0
3.49/3.58	c #conflict = 0
3.49/3.58	c #restart = 0
3.49/3.58	c BCD2: found a new core of size 8: cost of the new core is >=2
3.49/3.58	c lower bound updated to 2
3.49/3.58	c BCD2: 2 <= obj <= 498
3.49/3.58	c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0
3.49/3.58	c BCD2: #sat=1 #unsat=2 bias=2/3
3.49/3.58	c Solving starts ...
3.49/3.58	c ============================[ Search Statistics ]============================
3.49/3.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.49/3.58	c       |         |          |          |    Limit     GC | Var      | Constra 
3.49/3.58	c =============================================================================
3.49/3.58	c  0.0s |       0 |        0 |        0 |     1396      0 |        0 |        0
3.49/3.58	c  0.0s |       1 |      156 |      100 |     1396      0 |        0 |        0
3.59/3.61	c  0.1s |       2 |      374 |      250 |     1396      0 |        0 |        0
3.59/3.65	c  0.2s |       3 |      615 |      475 |     1396      0 |        0 |        0
3.69/3.71	c  0.2s |       4 |     1008 |      813 |     1396      1 |        0 |        0
3.79/3.83	c  0.4s |       5 |     1578 |     1320 |     1396      1 |        0 |        0
3.89/3.98	c  0.5s |       6 |     2377 |     2081 |     1536      2 |        0 |        0
4.29/4.36	c  0.9s |       7 |     3567 |     3223 |     1536      4 |        0 |        0
4.89/4.91	c  1.4s |       8 |     5409 |     4936 |     1536      5 |        0 |        0
6.08/6.13	c  2.7s |       9 |     8358 |     7506 |     1690      8 |        0 |        0
7.48/7.52	c  4.0s |      10 |    12629 |    11361 |     1690     12 |        0 |        0
9.48/9.54	c  6.1s |      11 |    18750 |    17144 |     1860     17 |        0 |        0
11.48/11.55	c  8.1s |      11 |    25353 |    23444 |     1860     23 |        0 |        0
12.09/12.16	c  8.7s |      12 |    27808 |    25819 |     1860     25 |        0 |        0
14.08/14.19	c 10.7s |      12 |    31546 |    29319 |     2047     28 |        0 |        0
16.18/16.20	c 12.7s |      12 |    36639 |    34219 |     2047     32 |        0 |        0
17.78/17.81	c 14.3s |      13 |    41308 |    38832 |     2047     35 |        0 |        0
19.79/19.82	c 16.3s |      13 |    49039 |    46132 |     2047     41 |        0 |        0
21.78/21.82	c 18.3s |      13 |    56323 |    53332 |     2252     47 |        0 |        0
23.19/23.26	c 19.8s |      14 |    61445 |    58352 |     2252     50 |        0 |        0
25.18/25.27	c 21.8s |      14 |    68409 |    65052 |     2252     55 |        0 |        0
27.18/27.29	c 23.8s |      14 |    75156 |    71652 |     2252     60 |        0 |        0
29.28/29.31	c 25.8s |      14 |    82372 |    78752 |     2478     65 |        0 |        0
31.28/31.35	c 27.9s |      14 |    87777 |    84052 |     2478     69 |        0 |        0
32.38/32.49	c 29.0s |      15 |    91527 |    87632 |     2478     72 |        0 |        0
34.48/34.50	c 31.0s |      15 |    98045 |    93732 |     2478     76 |        0 |        0
36.48/36.55	c 33.1s |      15 |   104938 |   100232 |     2478     80 |        0 |        0
38.48/38.55	c 35.1s |      15 |   111753 |   106832 |     2478     85 |        0 |        0
40.58/40.60	c 37.1s |      15 |   118349 |   113032 |     2478     89 |        0 |        0
42.58/42.62	c 39.2s |      15 |   125363 |   119732 |     2478     94 |        0 |        0
44.58/44.65	c 41.2s |      15 |   131320 |   125432 |     2726     98 |        0 |        0
46.57/46.65	c 43.2s |      16 |   137980 |   131552 |     2726    102 |        0 |        0
48.57/48.67	c 45.2s |      16 |   145576 |   138952 |     2726    107 |        0 |        0
50.58/50.70	c 47.2s |      16 |   152411 |   145752 |     2726    111 |        0 |        0
52.67/52.71	c 49.2s |      16 |   159391 |   152052 |     2726    115 |        0 |        0
54.67/54.72	c 51.2s |      16 |   166073 |   158452 |     2726    119 |        0 |        0
56.67/56.73	c 53.3s |      16 |   173277 |   165352 |     2726    124 |        0 |        0
58.67/58.76	c 55.3s |      16 |   179485 |   171352 |     2726    128 |        0 |        0
60.67/60.78	c 57.3s |      16 |   185925 |   177552 |     2726    132 |        0 |        0
62.68/62.80	c 59.3s |      16 |   193166 |   184352 |     2726    136 |        0 |        0
64.77/64.80	c 61.3s |      16 |   199818 |   190652 |     2999    140 |        0 |        0
66.77/66.81	c 63.3s |      16 |   206607 |   197152 |     2999    144 |        0 |        0
66.77/66.89	c 63.4s |      17 |   206899 |   197432 |     2999    144 |        0 |        0
68.87/68.91	c 65.4s |      17 |   214385 |   204732 |     2999    148 |        0 |        0
70.87/70.92	c 67.5s |      17 |   221054 |   211332 |     2999    152 |        0 |        0
72.86/72.94	c 69.5s |      17 |   227586 |   217732 |     2999    156 |        0 |        0
74.88/74.96	c 71.5s |      17 |   234051 |   224132 |     2999    160 |        0 |        0
76.87/76.98	c 73.5s |      17 |   240383 |   230432 |     2999    164 |        0 |        0
78.87/78.99	c 75.5s |      17 |   247201 |   237132 |     2999    168 |        0 |        0
80.87/81.00	c 77.5s |      17 |   254440 |   244032 |     2999    172 |        0 |        0
82.97/83.02	c 79.5s |      17 |   261219 |   250732 |     2999    176 |        0 |        0
84.97/85.03	c 81.6s |      17 |   267818 |   257232 |     2999    180 |        0 |        0
86.98/87.06	c 83.6s |      17 |   274200 |   263532 |     2999    184 |        0 |        0
88.97/89.09	c 85.6s |      17 |   281289 |   270232 |     2999    188 |        0 |        0
91.07/91.10	c 87.6s |      17 |   287457 |   276332 |     2999    191 |        0 |        0
93.06/93.11	c 89.6s |      17 |   293730 |   282532 |     2999    195 |        0 |        0
95.06/95.13	c 91.7s |      17 |   299992 |   288632 |     3299    198 |        0 |        0
97.06/97.14	c 93.7s |      17 |   306181 |   294632 |     3299    202 |        0 |        0
97.56/97.64	c 94.2s |      18 |   307833 |   296252 |     3299    202 |        0 |        0
99.56/99.67	c 96.2s |      18 |   314239 |   302052 |     3299    206 |        0 |        0
101.56/101.67	c 98.2s |      18 |   320562 |   308052 |     3299    209 |        0 |        0
103.66/103.74	c  100s |      18 |   326487 |   313652 |     3299    212 |        0 |        0
105.67/105.76	c  102s |      18 |   331927 |   318652 |     3299    214 |        0 |        0
107.66/107.78	c  104s |      18 |   338763 |   325252 |     3299    218 |        0 |        0
109.76/109.82	c  106s |      18 |   345326 |   331552 |     3299    221 |        0 |        0
111.76/111.82	c  108s |      18 |   351079 |   337052 |     3299    224 |        0 |        0
113.76/113.83	c  110s |      18 |   355972 |   341552 |     3299    227 |        0 |        0
115.76/115.85	c  112s |      18 |   360803 |   346252 |     3299    229 |        0 |        0
117.76/117.87	c  114s |      18 |   367343 |   352552 |     3299    233 |        0 |        0
119.75/119.90	c  116s |      18 |   372227 |   357152 |     3299    235 |        0 |        0
121.85/121.93	c  118s |      18 |   377278 |   362052 |     3299    238 |        0 |        0
123.85/123.95	c  120s |      18 |   383543 |   368052 |     3299    241 |        0 |        0
125.85/125.97	c  122s |      18 |   389115 |   373252 |     3299    244 |        0 |        0
127.95/128.06	c  124s |      18 |   394505 |   378252 |     3299    247 |        0 |        0
129.95/130.06	c  126s |      18 |   398614 |   382052 |     3299    249 |        0 |        0
131.96/132.08	c  128s |      18 |   404611 |   387752 |     3299    252 |        0 |        0
133.95/134.09	c  130s |      18 |   410386 |   393352 |     3299    255 |        0 |        0
136.05/136.11	c  132s |      18 |   414258 |   397052 |     3299    256 |        0 |        0
138.05/138.12	c  134s |      18 |   419551 |   402052 |     3299    259 |        0 |        0
140.05/140.14	c  136s |      18 |   423576 |   405752 |     3299    261 |        0 |        0
142.05/142.14	c  138s |      18 |   428303 |   410352 |     3299    264 |        0 |        0
144.05/144.15	c  140s |      18 |   434973 |   416752 |     3299    267 |        0 |        0
146.04/146.19	c  142s |      18 |   440788 |   422352 |     3299    270 |        0 |        0
148.14/148.20	c  144s |      18 |   446454 |   427752 |     3299    273 |        0 |        0
150.14/150.22	c  146s |      18 |   450813 |   431852 |     3629    275 |        0 |        0
152.14/152.23	c  148s |      18 |   456879 |   437752 |     3629    278 |        0 |        0
154.14/154.25	c  150s |      18 |   461467 |   442252 |     3629    280 |        0 |        0
154.84/154.98	c  151s |      19 |   463762 |   444482 |     3629    281 |        0 |        0
156.84/156.99	c  153s |      19 |   471432 |   451982 |     3629    285 |        0 |        0
158.94/159.01	c  155s |      19 |   478545 |   458982 |     3629    289 |        0 |        0
160.94/161.03	c  157s |      19 |   485878 |   466182 |     3629    292 |        0 |        0
162.94/163.05	c  159s |      19 |   493107 |   473282 |     3629    296 |        0 |        0
164.94/165.06	c  161s |      19 |   500056 |   480082 |     3629    299 |        0 |        0
166.93/167.08	c  163s |      19 |   506496 |   486482 |     3629    303 |        0 |        0
169.03/169.10	c  165s |      19 |   512303 |   492182 |     3629    305 |        0 |        0
171.03/171.13	c  167s |      19 |   518297 |   497982 |     3629    308 |        0 |        0
173.03/173.13	c  169s |      19 |   524284 |   503782 |     3629    311 |        0 |        0
175.04/175.14	c  171s |      19 |   529729 |   509082 |     3629    314 |        0 |        0
177.04/177.15	c  173s |      19 |   536495 |   515782 |     3629    317 |        0 |        0
179.04/179.17	c  175s |      19 |   542901 |   522082 |     3629    320 |        0 |        0
181.04/181.19	c  177s |      19 |   549301 |   528382 |     3629    323 |        0 |        0
183.13/183.21	c  179s |      19 |   555962 |   534982 |     3629    327 |        0 |        0
185.13/185.23	c  181s |      19 |   562759 |   541582 |     3629    330 |        0 |        0
187.13/187.25	c  183s |      19 |   568899 |   547682 |     3629    333 |        0 |        0
189.14/189.27	c  185s |      19 |   574823 |   553482 |     3629    336 |        0 |        0
191.13/191.28	c  187s |      19 |   581311 |   559882 |     3629    339 |        0 |        0
193.13/193.28	c  189s |      19 |   587456 |   565982 |     3629    342 |        0 |        0
195.13/195.29	c  191s |      19 |   593999 |   572382 |     3629    345 |        0 |        0
197.23/197.30	c  193s |      19 |   599752 |   577982 |     3629    348 |        0 |        0
199.23/199.32	c  195s |      19 |   605956 |   583982 |     3629    351 |        0 |        0
201.24/201.33	c  197s |      19 |   611859 |   589682 |     3629    354 |        0 |        0
203.22/203.36	c  199s |      19 |   617261 |   594982 |     3629    356 |        0 |        0
205.32/205.40	c  201s |      19 |   623514 |   601082 |     3629    359 |        0 |        0
207.32/207.42	c  203s |      19 |   629198 |   606582 |     3629    362 |        0 |        0
209.32/209.45	c  205s |      19 |   635502 |   612682 |     3629    365 |        0 |        0
211.32/211.48	c  208s |      19 |   641044 |   618082 |     3629    368 |        0 |        0
213.33/213.49	c  210s |      19 |   646958 |   623782 |     3629    371 |        0 |        0
215.42/215.53	c  212s |      19 |   652149 |   628782 |     3629    373 |        0 |        0
217.42/217.58	c  214s |      19 |   657669 |   634182 |     3629    376 |        0 |        0
219.52/219.60	c  216s |      19 |   664095 |   640182 |     3629    379 |        0 |        0
221.52/221.62	c  218s |      19 |   670137 |   646082 |     3629    382 |        0 |        0
223.52/223.65	c  220s |      19 |   676755 |   652382 |     3629    385 |        0 |        0
225.52/225.67	c  222s |      19 |   682989 |   658382 |     3992    387 |        0 |        0
227.52/227.68	c  224s |      19 |   689188 |   664282 |     3992    390 |        0 |        0
228.42/228.53	c  225s |      20 |   691819 |   666827 |     3992    391 |        0 |        0
230.41/230.59	c  227s |      20 |   696619 |   671127 |     3992    393 |        0 |        0
232.51/232.63	c  229s |      20 |   701493 |   675727 |     3992    395 |        0 |        0
234.51/234.68	c  231s |      20 |   706255 |   679627 |     3992    397 |        0 |        0
236.52/236.69	c  233s |      20 |   711626 |   684827 |     3992    399 |        0 |        0
238.62/238.73	c  235s |      20 |   716399 |   689327 |     3992    401 |        0 |        0
240.61/240.77	c  237s |      20 |   721030 |   693627 |     3992    403 |        0 |        0
242.61/242.78	c  239s |      20 |   725828 |   697827 |     3992    405 |        0 |        0
244.61/244.79	c  241s |      20 |   730526 |   702327 |     3992    407 |        0 |        0
246.61/246.79	c  243s |      20 |   735770 |   707427 |     3992    410 |        0 |        0
248.71/248.83	c  245s |      20 |   740404 |   711827 |     3992    412 |        0 |        0
250.72/250.86	c  247s |      20 |   744919 |   716027 |     3992    414 |        0 |        0
252.71/252.88	c  249s |      20 |   749969 |   720727 |     3992    416 |        0 |        0
254.71/254.89	c  251s |      20 |   755510 |   725727 |     3992    418 |        0 |        0
256.81/256.93	c  253s |      20 |   760784 |   730727 |     3992    420 |        0 |        0
258.81/258.94	c  255s |      20 |   765541 |   735127 |     3992    422 |        0 |        0
260.81/260.95	c  257s |      20 |   769698 |   739227 |     3992    424 |        0 |        0
262.81/262.96	c  259s |      20 |   774640 |   743727 |     3992    426 |        0 |        0
264.80/264.97	c  261s |      20 |   780251 |   749127 |     3992    429 |        0 |        0
266.80/266.98	c  263s |      20 |   785762 |   754327 |     3992    431 |        0 |        0
268.91/269.02	c  265s |      20 |   790727 |   758927 |     3992    433 |        0 |        0
270.91/271.03	c  267s |      20 |   796185 |   764027 |     3992    436 |        0 |        0
272.91/273.07	c  269s |      20 |   801824 |   769427 |     3992    438 |        0 |        0
274.91/275.08	c  271s |      20 |   807100 |   774527 |     3992    441 |        0 |        0
277.01/277.14	c  273s |      20 |   812580 |   779827 |     3992    443 |        0 |        0
279.01/279.17	c  275s |      20 |   817823 |   784627 |     3992    445 |        0 |        0
281.01/281.17	c  277s |      20 |   822559 |   789127 |     3992    447 |        0 |        0
283.00/283.18	c  279s |      20 |   827987 |   794327 |     3992    450 |        0 |        0
285.10/285.20	c  281s |      20 |   833528 |   799627 |     3992    452 |        0 |        0
287.11/287.24	c  283s |      20 |   838879 |   804727 |     3992    454 |        0 |        0
289.10/289.28	c  285s |      20 |   844204 |   809827 |     3992    457 |        0 |        0
291.20/291.32	c  287s |      20 |   849685 |   815027 |     3992    459 |        0 |        0
293.20/293.36	c  289s |      20 |   853758 |   818827 |     3992    461 |        0 |        0
295.30/295.43	c  291s |      20 |   858860 |   823527 |     3992    463 |        0 |        0
297.30/297.44	c  293s |      20 |   863203 |   827627 |     3992    465 |        0 |        0
299.30/299.47	c  295s |      20 |   868304 |   832327 |     3992    467 |        0 |        0
301.40/301.51	c  298s |      20 |   872594 |   836327 |     3992    469 |        0 |        0
303.39/303.52	c  300s |      20 |   877596 |   841127 |     3992    471 |        0 |        0
305.39/305.54	c  302s |      20 |   881510 |   844927 |     3992    473 |        0 |        0
307.39/307.56	c  304s |      20 |   886510 |   849827 |     3992    475 |        0 |        0
309.39/309.59	c  306s |      20 |   892012 |   855227 |     3992    478 |        0 |        0
311.49/311.63	c  308s |      20 |   896868 |   859927 |     3992    480 |        0 |        0
313.49/313.66	c  310s |      20 |   901579 |   864527 |     3992    482 |        0 |        0
315.49/315.67	c  312s |      20 |   906607 |   869427 |     3992    484 |        0 |        0
317.59/317.73	c  314s |      20 |   911344 |   874027 |     3992    487 |        0 |        0
319.59/319.73	c  316s |      20 |   915210 |   877727 |     3992    488 |        0 |        0
321.59/321.75	c  318s |      20 |   918163 |   880627 |     3992    490 |        0 |        0
323.58/323.77	c  320s |      20 |   921967 |   884327 |     3992    491 |        0 |        0
325.68/325.82	c  322s |      20 |   926610 |   888827 |     3992    493 |        0 |        0
327.69/327.84	c  324s |      20 |   931363 |   893427 |     3992    496 |        0 |        0
329.68/329.86	c  326s |      20 |   935733 |   897527 |     3992    497 |        0 |        0
331.68/331.86	c  328s |      20 |   940486 |   902127 |     3992    500 |        0 |        0
333.68/333.87	c  330s |      20 |   945600 |   907127 |     3992    502 |        0 |        0
335.68/335.87	c  332s |      20 |   950231 |   911627 |     3992    504 |        0 |        0
337.78/337.90	c  334s |      20 |   954931 |   916127 |     3992    506 |        0 |        0
339.78/339.92	c  336s |      20 |   959558 |   920627 |     3992    508 |        0 |        0
341.78/341.94	c  338s |      20 |   963770 |   924727 |     3992    510 |        0 |        0
343.77/343.94	c  340s |      20 |   968345 |   929127 |     3992    512 |        0 |        0
345.77/345.95	c  342s |      20 |   972453 |   933127 |     3992    514 |        0 |        0
347.87/348.01	c  344s |      20 |   975861 |   936427 |     3992    515 |        0 |        0
349.87/350.04	c  346s |      20 |   980177 |   940627 |     3992    517 |        0 |        0
351.88/352.04	c  348s |      20 |   984487 |   944827 |     3992    519 |        0 |        0
353.87/354.07	c  350s |      20 |   988723 |   948927 |     3992    521 |        0 |        0
355.96/356.10	c  352s |      20 |   993428 |   953527 |     3992    523 |        0 |        0
357.96/358.16	c  354s |      20 |   998284 |   958227 |     3992    526 |        0 |        0
359.96/360.17	c  356s |      20 |  1002636 |   962327 |     3992    527 |        0 |        0
362.06/362.22	c  358s |      20 |  1007560 |   967127 |     3992    530 |        0 |        0
364.07/364.25	c  360s |      20 |  1011764 |   971127 |     3992    531 |        0 |        0
366.17/366.33	c  362s |      20 |  1016219 |   975427 |     3992    533 |        0 |        0
368.16/368.39	c  364s |      20 |  1020411 |   979427 |     3992    535 |        0 |        0
370.16/370.39	c  366s |      20 |  1024426 |   983327 |     3992    537 |        0 |        0
372.26/372.42	c  368s |      20 |  1029473 |   988227 |     4392    539 |        0 |        0
374.25/374.44	c  370s |      20 |  1034085 |   992727 |     4392    541 |        0 |        0
376.25/376.45	c  372s |      20 |  1038643 |   997127 |     4392    543 |        0 |        0
377.85/378.00	c  374s |      21 |  1042012 |  1000345 |     4392    544 |        0 |        0
379.85/380.02	c  376s |      21 |  1048479 |  1006545 |     4392    547 |        0 |        0
381.85/382.03	c  378s |      21 |  1054676 |  1012645 |     4392    550 |        0 |        0
383.86/384.05	c  380s |      21 |  1060756 |  1018545 |     4392    552 |        0 |        0
385.85/386.06	c  382s |      21 |  1067333 |  1024945 |     4392    555 |        0 |        0
387.85/388.09	c  384s |      21 |  1073754 |  1031245 |     4392    558 |        0 |        0
389.95/390.16	c  386s |      21 |  1080080 |  1037345 |     4392    561 |        0 |        0
391.95/392.17	c  388s |      21 |  1086437 |  1043545 |     4392    563 |        0 |        0
394.05/394.20	c  390s |      21 |  1093178 |  1050145 |     4392    566 |        0 |        0
396.04/396.22	c  392s |      21 |  1099900 |  1056745 |     4392    569 |        0 |        0
398.05/398.22	c  394s |      21 |  1106439 |  1063045 |     4392    572 |        0 |        0
400.04/400.22	c  396s |      21 |  1113239 |  1069645 |     4392    575 |        0 |        0
402.04/402.23	c  398s |      21 |  1120050 |  1076245 |     4392    578 |        0 |        0
404.04/404.25	c  400s |      21 |  1126717 |  1082645 |     4392    580 |        0 |        0
406.04/406.27	c  402s |      21 |  1133391 |  1089045 |     4392    583 |        0 |        0
408.05/408.29	c  404s |      21 |  1139778 |  1095245 |     4392    586 |        0 |        0
410.14/410.31	c  406s |      21 |  1146494 |  1101745 |     4392    589 |        0 |        0
412.14/412.32	c  408s |      21 |  1153394 |  1108245 |     4392    592 |        0 |        0
414.13/414.35	c  410s |      21 |  1160187 |  1114845 |     4392    595 |        0 |        0
416.13/416.35	c  412s |      21 |  1166981 |  1121445 |     4392    598 |        0 |        0
418.13/418.36	c  414s |      21 |  1173475 |  1127845 |     4392    600 |        0 |        0
420.14/420.37	c  416s |      21 |  1179780 |  1134045 |     4392    603 |        0 |        0
422.13/422.39	c  418s |      21 |  1186317 |  1140445 |     4392    606 |        0 |        0
424.23/424.40	c  420s |      21 |  1192329 |  1146245 |     4392    609 |        0 |        0
426.23/426.41	c  422s |      21 |  1198846 |  1152545 |     4392    611 |        0 |        0
428.22/428.42	c  424s |      21 |  1205560 |  1159145 |     4392    614 |        0 |        0
430.22/430.43	c  426s |      21 |  1211692 |  1165145 |     4392    617 |        0 |        0
432.23/432.45	c  428s |      21 |  1218672 |  1171945 |     4392    620 |        0 |        0
434.22/434.45	c  430s |      21 |  1225256 |  1178345 |     4392    623 |        0 |        0
436.22/436.48	c  433s |      21 |  1232034 |  1184945 |     4392    626 |        0 |        0
438.32/438.51	c  435s |      21 |  1238896 |  1191545 |     4392    629 |        0 |        0
440.32/440.53	c  437s |      21 |  1245470 |  1197845 |     4392    631 |        0 |        0
442.32/442.55	c  439s |      21 |  1252890 |  1205045 |     4392    634 |        0 |        0
444.32/444.57	c  441s |      21 |  1259407 |  1211445 |     4392    637 |        0 |        0
446.32/446.59	c  443s |      21 |  1266075 |  1217945 |     4392    640 |        0 |        0
448.42/448.60	c  445s |      21 |  1273020 |  1224745 |     4392    643 |        0 |        0
450.42/450.61	c  447s |      21 |  1279755 |  1231345 |     4392    645 |        0 |        0
452.42/452.63	c  449s |      21 |  1286972 |  1238445 |     4392    648 |        0 |        0
454.41/454.63	c  451s |      21 |  1293662 |  1245045 |     4392    651 |        0 |        0
456.42/456.67	c  453s |      21 |  1299706 |  1251045 |     4392    653 |        0 |        0
458.41/458.67	c  455s |      21 |  1305379 |  1256645 |     4392    656 |        0 |        0
460.41/460.68	c  457s |      21 |  1310797 |  1261945 |     4392    658 |        0 |        0
462.51/462.70	c  459s |      21 |  1317079 |  1268145 |     4392    661 |        0 |        0
464.51/464.72	c  461s |      21 |  1323634 |  1274645 |     4392    663 |        0 |        0
466.51/466.74	c  463s |      21 |  1329540 |  1280445 |     4392    666 |        0 |        0
468.51/468.76	c  465s |      21 |  1335787 |  1286645 |     4392    668 |        0 |        0
470.50/470.78	c  467s |      21 |  1342050 |  1292845 |     4392    671 |        0 |        0
472.51/472.79	c  469s |      21 |  1348508 |  1299245 |     4392    673 |        0 |        0
474.51/474.79	c  471s |      21 |  1354656 |  1305345 |     4392    676 |        0 |        0
476.51/476.80	c  473s |      21 |  1361221 |  1311845 |     4392    679 |        0 |        0
478.61/478.80	c  475s |      21 |  1367811 |  1318345 |     4392    681 |        0 |        0
480.62/480.82	c  477s |      21 |  1374267 |  1324745 |     4392    684 |        0 |        0
482.61/482.82	c  479s |      21 |  1381082 |  1331445 |     4392    687 |        0 |        0
484.61/484.83	c  481s |      21 |  1387587 |  1337845 |     4392    689 |        0 |        0
486.61/486.84	c  483s |      21 |  1393853 |  1344045 |     4392    692 |        0 |        0
488.61/488.85	c  485s |      21 |  1400159 |  1350245 |     4392    695 |        0 |        0
490.61/490.89	c  487s |      21 |  1406726 |  1356745 |     4392    697 |        0 |        0
492.71/492.91	c  489s |      21 |  1413512 |  1363445 |     4392    700 |        0 |        0
494.70/494.93	c  491s |      21 |  1419658 |  1369545 |     4392    703 |        0 |        0
496.70/496.95	c  493s |      21 |  1426146 |  1375945 |     4392    705 |        0 |        0
498.70/498.96	c  495s |      21 |  1432328 |  1382045 |     4392    708 |        0 |        0
500.70/500.99	c  497s |      21 |  1438379 |  1388045 |     4392    710 |        0 |        0
502.80/503.01	c  499s |      21 |  1444014 |  1393645 |     4392    713 |        0 |        0
504.80/505.02	c  501s |      21 |  1450404 |  1399945 |     4392    715 |        0 |        0
506.80/507.03	c  503s |      21 |  1456962 |  1406445 |     4392    718 |        0 |        0
508.79/509.05	c  505s |      21 |  1463486 |  1412845 |     4392    721 |        0 |        0
510.79/511.07	c  507s |      21 |  1469757 |  1419045 |     4392    723 |        0 |        0
512.79/513.07	c  509s |      21 |  1476549 |  1425745 |     4392    726 |        0 |        0
514.79/515.08	c  511s |      21 |  1482838 |  1431945 |     4392    728 |        0 |        0
516.80/517.09	c  513s |      21 |  1489197 |  1438245 |     4392    731 |        0 |        0
518.89/519.11	c  515s |      21 |  1495685 |  1444645 |     4392    734 |        0 |        0
520.89/521.13	c  517s |      21 |  1502272 |  1451145 |     4392    736 |        0 |        0
522.89/523.14	c  519s |      21 |  1508224 |  1457045 |     4392    739 |        0 |        0
524.88/525.14	c  521s |      21 |  1514111 |  1462845 |     4392    741 |        0 |        0
526.88/527.15	c  523s |      21 |  1519458 |  1468145 |     4392    744 |        0 |        0
528.89/529.15	c  525s |      21 |  1525593 |  1474145 |     4392    746 |        0 |        0
530.88/531.18	c  527s |      21 |  1531647 |  1480145 |     4392    749 |        0 |        0
532.88/533.18	c  529s |      21 |  1537652 |  1486045 |     4832    751 |        0 |        0
534.88/535.19	c  531s |      21 |  1543961 |  1492245 |     4832    753 |        0 |        0
536.98/537.21	c  533s |      21 |  1550578 |  1498745 |     4832    756 |        0 |        0
537.58/537.85	c  534s |      22 |  1552464 |  1500622 |     4832    756 |        0 |        0
539.58/539.87	c  536s |      22 |  1557173 |  1505022 |     4832    758 |        0 |        0
541.67/541.90	c  538s |      22 |  1563227 |  1511022 |     4832    760 |        0 |        0
543.67/543.92	c  540s |      22 |  1569274 |  1517022 |     4832    762 |        0 |        0
545.67/545.94	c  542s |      22 |  1574895 |  1522622 |     4832    765 |        0 |        0
547.68/547.94	c  544s |      22 |  1581065 |  1528722 |     4832    767 |        0 |        0
549.67/549.96	c  546s |      22 |  1585543 |  1533022 |     4832    768 |        0 |        0
551.67/551.99	c  548s |      22 |  1590865 |  1538322 |     4832    770 |        0 |        0
553.67/554.00	c  550s |      22 |  1596076 |  1543522 |     4832    772 |        0 |        0
555.77/556.00	c  552s |      22 |  1601121 |  1548522 |     4832    774 |        0 |        0
557.77/558.02	c  554s |      22 |  1606874 |  1554222 |     4832    776 |        0 |        0
559.77/560.06	c  556s |      22 |  1612185 |  1559522 |     4832    778 |        0 |        0
561.77/562.08	c  558s |      22 |  1618444 |  1565722 |     4832    781 |        0 |        0
563.77/564.09	c  560s |      22 |  1624673 |  1571922 |     4832    783 |        0 |        0
565.87/566.14	c  562s |      22 |  1631130 |  1578322 |     4832    786 |        0 |        0
567.96/568.28	c  564s |      22 |  1633262 |  1580222 |     4832    786 |        0 |        0
570.06/570.30	c  566s |      22 |  1636433 |  1582522 |     4832    787 |        0 |        0
572.06/572.31	c  568s |      22 |  1642681 |  1588722 |     4832    789 |        0 |        0
574.06/574.33	c  570s |      22 |  1648781 |  1594622 |     4832    792 |        0 |        0
576.16/576.44	c  572s |      22 |  1652897 |  1598522 |     4832    793 |        0 |        0
578.16/578.47	c  574s |      22 |  1656013 |  1600422 |     4832    794 |        0 |        0
580.15/580.49	c  577s |      22 |  1660915 |  1604922 |     4832    796 |        0 |        0
582.25/582.52	c  579s |      22 |  1665755 |  1609022 |     4832    797 |        0 |        0
584.25/584.52	c  581s |      22 |  1669596 |  1612522 |     4832    798 |        0 |        0
586.25/586.53	c  583s |      22 |  1674170 |  1616622 |     4832    800 |        0 |        0
588.26/588.58	c  585s |      22 |  1678118 |  1620022 |     4832    801 |        0 |        0
590.25/590.59	c  587s |      22 |  1683851 |  1625322 |     4832    803 |        0 |        0
592.35/592.60	c  589s |      22 |  1687911 |  1629022 |     4832    805 |        0 |        0
594.35/594.60	c  591s |      22 |  1690939 |  1631722 |     4832    806 |        0 |        0
596.35/596.62	c  593s |      22 |  1693821 |  1634122 |     4832    807 |        0 |        0
598.35/598.64	c  595s |      22 |  1697522 |  1637522 |     4832    808 |        0 |        0
600.35/600.69	c  597s |      22 |  1700266 |  1640122 |     4832    809 |        0 |        0
602.35/602.69	c  599s |      22 |  1703477 |  1643022 |     4832    810 |        0 |        0
604.44/604.77	c  601s |      22 |  1708833 |  1647822 |     4832    812 |        0 |        0
606.44/606.79	c  603s |      22 |  1712492 |  1651322 |     4832    813 |        0 |        0
608.54/608.82	c  605s |      22 |  1718257 |  1656722 |     4832    815 |        0 |        0
610.54/610.85	c  607s |      22 |  1723630 |  1661322 |     4832    817 |        0 |        0
612.55/612.86	c  609s |      22 |  1728345 |  1665722 |     4832    819 |        0 |        0
614.54/614.89	c  611s |      22 |  1730943 |  1668122 |     4832    820 |        0 |        0
616.64/616.92	c  613s |      22 |  1734152 |  1671022 |     4832    821 |        0 |        0
618.64/618.97	c  615s |      22 |  1739430 |  1675822 |     4832    823 |        0 |        0
620.64/620.98	c  617s |      22 |  1742989 |  1678822 |     4832    824 |        0 |        0
622.64/622.99	c  619s |      22 |  1747725 |  1683122 |     4832    825 |        0 |        0
624.74/625.05	c  621s |      22 |  1751988 |  1687022 |     4832    827 |        0 |        0
626.74/627.07	c  623s |      22 |  1757120 |  1691722 |     4832    829 |        0 |        0
628.84/629.13	c  625s |      22 |  1760613 |  1694922 |     4832    830 |        0 |        0
630.84/631.14	c  627s |      22 |  1763309 |  1697422 |     4832    831 |        0 |        0
632.83/633.15	c  629s |      22 |  1768181 |  1702022 |     4832    833 |        0 |        0
634.83/635.16	c  631s |      22 |  1771913 |  1705522 |     4832    834 |        0 |        0
636.83/637.18	c  633s |      22 |  1774220 |  1707722 |     4832    835 |        0 |        0
638.94/639.21	c  635s |      22 |  1776535 |  1709822 |     4832    835 |        0 |        0
640.93/641.23	c  637s |      22 |  1780890 |  1713922 |     4832    837 |        0 |        0
643.03/643.31	c  639s |      22 |  1784593 |  1717422 |     4832    838 |        0 |        0
645.03/645.37	c  641s |      22 |  1788524 |  1721222 |     4832    840 |        0 |        0
647.03/647.38	c  643s |      22 |  1793508 |  1726022 |     4832    842 |        0 |        0
649.13/649.44	c  645s |      22 |  1795937 |  1728322 |     4832    843 |        0 |        0
651.13/651.47	c  647s |      22 |  1801762 |  1733822 |     4832    845 |        0 |        0
653.23/653.55	c  650s |      22 |  1806247 |  1737922 |     4832    846 |        0 |        0
655.33/655.61	c  652s |      22 |  1808452 |  1740022 |     4832    847 |        0 |        0
657.32/657.62	c  654s |      22 |  1812095 |  1743322 |     4832    848 |        0 |        0
659.42/659.72	c  656s |      22 |  1814620 |  1745722 |     4832    849 |        0 |        0
661.42/661.74	c  658s |      22 |  1820937 |  1751622 |     4832    851 |        0 |        0
663.41/663.76	c  660s |      22 |  1827903 |  1758322 |     4832    854 |        0 |        0
665.51/665.86	c  662s |      22 |  1831997 |  1762022 |     4832    855 |        0 |        0
667.61/667.91	c  664s |      22 |  1835375 |  1764922 |     4832    857 |        0 |        0
669.62/669.91	c  666s |      22 |  1839531 |  1768722 |     4832    858 |        0 |        0
671.61/671.95	c  668s |      22 |  1842593 |  1771422 |     4832    859 |        0 |        0
673.61/673.95	c  670s |      22 |  1848229 |  1776322 |     4832    861 |        0 |        0
675.61/675.97	c  672s |      22 |  1853885 |  1781622 |     4832    863 |        0 |        0
677.61/677.99	c  674s |      22 |  1859795 |  1787022 |     4832    865 |        0 |        0
679.62/680.00	c  676s |      22 |  1865749 |  1792622 |     4832    867 |        0 |        0
681.71/682.04	c  678s |      22 |  1871322 |  1797722 |     4832    869 |        0 |        0
683.70/684.05	c  680s |      22 |  1876578 |  1802222 |     4832    871 |        0 |        0
685.80/686.10	c  682s |      22 |  1881825 |  1807022 |     4832    872 |        0 |        0
687.80/688.12	c  684s |      22 |  1886181 |  1810922 |     4832    874 |        0 |        0
689.80/690.15	c  686s |      22 |  1890952 |  1815222 |     4832    876 |        0 |        0
691.81/692.16	c  688s |      22 |  1897048 |  1820622 |     4832    878 |        0 |        0
693.81/694.19	c  690s |      22 |  1902238 |  1825222 |     4832    879 |        0 |        0
695.91/696.22	c  692s |      22 |  1907476 |  1830122 |     4832    881 |        0 |        0
697.91/698.29	c  694s |      22 |  1912501 |  1834322 |     4832    883 |        0 |        0
700.01/700.30	c  696s |      22 |  1918990 |  1840422 |     4832    885 |        0 |        0
702.01/702.31	c  698s |      22 |  1925113 |  1846022 |     4832    887 |        0 |        0
704.00/704.32	c  700s |      22 |  1930949 |  1851322 |     4832    889 |        0 |        0
706.01/706.32	c  702s |      22 |  1937201 |  1857122 |     4832    892 |        0 |        0
708.00/708.34	c  704s |      22 |  1943455 |  1862922 |     4832    894 |        0 |        0
710.00/710.34	c  706s |      22 |  1949514 |  1868422 |     4832    896 |        0 |        0
712.00/712.34	c  708s |      22 |  1954629 |  1873122 |     4832    898 |        0 |        0
714.00/714.35	c  710s |      22 |  1960279 |  1878322 |     4832    900 |        0 |        0
716.00/716.37	c  712s |      22 |  1965582 |  1883022 |     4832    901 |        0 |        0
718.00/718.40	c  714s |      22 |  1971521 |  1888822 |     4832    904 |        0 |        0
720.10/720.42	c  716s |      22 |  1977214 |  1894222 |     4832    906 |        0 |        0
722.10/722.43	c  718s |      22 |  1982841 |  1899722 |     4832    908 |        0 |        0
724.10/724.45	c  720s |      22 |  1988607 |  1905222 |     4832    910 |        0 |        0
726.10/726.46	c  722s |      22 |  1994109 |  1910522 |     4832    912 |        0 |        0
728.10/728.47	c  724s |      22 |  1999674 |  1915822 |     4832    914 |        0 |        0
730.10/730.49	c  727s |      22 |  2004992 |  1920922 |     4832    916 |        0 |        0
732.19/732.50	c  729s |      22 |  2010947 |  1926622 |     4832    918 |        0 |        0
734.19/734.53	c  731s |      22 |  2016410 |  1931722 |     4832    920 |        0 |        0
736.19/736.54	c  733s |      22 |  2021307 |  1936122 |     4832    922 |        0 |        0
738.19/738.55	c  735s |      22 |  2026697 |  1941222 |     4832    924 |        0 |        0
740.19/740.58	c  737s |      22 |  2031953 |  1946222 |     4832    926 |        0 |        0
742.20/742.60	c  739s |      22 |  2037087 |  1951022 |     4832    927 |        0 |        0
744.29/744.64	c  741s |      22 |  2042910 |  1956622 |     4832    929 |        0 |        0
746.29/746.66	c  743s |      22 |  2048898 |  1962322 |     4832    932 |        0 |        0
748.29/748.67	c  745s |      22 |  2054973 |  1968022 |     4832    934 |        0 |        0
750.29/750.69	c  747s |      22 |  2061273 |  1974022 |     4832    936 |        0 |        0
752.39/752.72	c  749s |      22 |  2067800 |  1980322 |     4832    939 |        0 |        0
754.40/754.73	c  751s |      22 |  2073674 |  1986022 |     4832    941 |        0 |        0
756.39/756.76	c  753s |      22 |  2079910 |  1992022 |     4832    943 |        0 |        0
758.49/758.80	c  755s |      22 |  2085743 |  1997622 |     4832    945 |        0 |        0
760.49/760.81	c  757s |      22 |  2091299 |  2003022 |     4832    947 |        0 |        0
762.49/762.83	c  759s |      22 |  2097003 |  2008322 |     4832    949 |        0 |        0
764.49/764.84	c  761s |      22 |  2102382 |  2013322 |     4832    951 |        0 |        0
766.49/766.87	c  763s |      22 |  2107662 |  2018322 |     4832    953 |        0 |        0
768.49/768.89	c  765s |      22 |  2113592 |  2023922 |     4832    955 |        0 |        0
770.59/770.91	c  767s |      22 |  2118959 |  2028922 |     4832    957 |        0 |        0
772.59/772.92	c  769s |      22 |  2124100 |  2033722 |     4832    959 |        0 |        0
774.59/774.95	c  771s |      22 |  2130121 |  2039122 |     4832    961 |        0 |        0
776.59/776.98	c  773s |      22 |  2135704 |  2044222 |     4832    963 |        0 |        0
778.59/778.99	c  775s |      22 |  2141754 |  2050022 |     4832    965 |        0 |        0
780.58/781.00	c  777s |      22 |  2147312 |  2055322 |     4832    967 |        0 |        0
782.68/783.02	c  779s |      22 |  2153068 |  2060822 |     4832    969 |        0 |        0
784.68/785.08	c  781s |      22 |  2158455 |  2066022 |     4832    971 |        0 |        0
786.78/787.11	c  783s |      22 |  2164403 |  2071722 |     4832    973 |        0 |        0
788.78/789.14	c  785s |      22 |  2169804 |  2076922 |     4832    975 |        0 |        0
790.78/791.17	c  787s |      22 |  2175372 |  2082222 |     4832    977 |        0 |        0
792.79/793.19	c  789s |      22 |  2180979 |  2087622 |     4832    979 |        0 |        0
794.88/795.22	c  791s |      22 |  2186432 |  2092922 |     4832    981 |        0 |        0
796.88/797.26	c  793s |      22 |  2192199 |  2098422 |     4832    984 |        0 |        0
798.88/799.29	c  795s |      22 |  2197665 |  2103722 |     4832    986 |        0 |        0
800.98/801.31	c  797s |      22 |  2203039 |  2108722 |     4832    987 |        0 |        0
802.98/803.32	c  799s |      22 |  2208686 |  2114222 |     4832    990 |        0 |        0
804.98/805.35	c  801s |      22 |  2214336 |  2119722 |     4832    992 |        0 |        0
806.98/807.39	c  803s |      22 |  2219999 |  2125222 |     4832    994 |        0 |        0
809.08/809.40	c  805s |      22 |  2225473 |  2130322 |     4832    996 |        0 |        0
811.08/811.41	c  807s |      22 |  2230890 |  2135422 |     4832    998 |        0 |        0
813.08/813.44	c  809s |      22 |  2236365 |  2140522 |     4832   1000 |        0 |        0
815.08/815.45	c  811s |      22 |  2241900 |  2145622 |     4832   1002 |        0 |        0
817.08/817.46	c  813s |      22 |  2247860 |  2151222 |     4832   1004 |        0 |        0
819.08/819.47	c  815s |      22 |  2253698 |  2156522 |     4832   1006 |        0 |        0
821.08/821.47	c  818s |      22 |  2258867 |  2161422 |     4832   1008 |        0 |        0
823.17/823.51	c  820s |      22 |  2264301 |  2166422 |     4832   1009 |        0 |        0
825.17/825.54	c  822s |      22 |  2269927 |  2171522 |     4832   1011 |        0 |        0
827.17/827.55	c  824s |      22 |  2275365 |  2176622 |     4832   1013 |        0 |        0
829.18/829.57	c  826s |      22 |  2281240 |  2182222 |     4832   1015 |        0 |        0
831.28/831.61	c  828s |      22 |  2287203 |  2187922 |     4832   1018 |        0 |        0
833.27/833.64	c  830s |      22 |  2292589 |  2193022 |     4832   1020 |        0 |        0
835.27/835.65	c  832s |      22 |  2298514 |  2198522 |     4832   1022 |        0 |        0
837.28/837.67	c  834s |      22 |  2304113 |  2203922 |     4832   1024 |        0 |        0
839.28/839.69	c  836s |      22 |  2310179 |  2209722 |     4832   1026 |        0 |        0
841.38/841.70	c  838s |      22 |  2315617 |  2214922 |     4832   1028 |        0 |        0
843.39/843.71	c  840s |      22 |  2321379 |  2220422 |     4832   1030 |        0 |        0
845.38/845.71	c  842s |      22 |  2327063 |  2225722 |     5316   1032 |        0 |        0
847.38/847.78	c  844s |      22 |  2331969 |  2230222 |     5316   1034 |        0 |        0
849.38/849.79	c  846s |      22 |  2337740 |  2235522 |     5316   1035 |        0 |        0
851.48/851.80	c  848s |      22 |  2343448 |  2240922 |     5316   1037 |        0 |        0
853.48/853.81	c  850s |      22 |  2349314 |  2246522 |     5316   1039 |        0 |        0
855.28/855.61	c  852s |      23 |  2354272 |  2251038 |     5316   1041 |        0 |        0
857.28/857.62	c  854s |      23 |  2361249 |  2257538 |     5316   1043 |        0 |        0
859.28/859.62	c  856s |      23 |  2366496 |  2262638 |     5316   1045 |        0 |        0
861.28/861.66	c  858s |      23 |  2371755 |  2267738 |     5316   1047 |        0 |        0
863.28/863.69	c  860s |      23 |  2377535 |  2273238 |     5316   1049 |        0 |        0
865.38/865.72	c  862s |      23 |  2383654 |  2279038 |     5316   1051 |        0 |        0
867.38/867.75	c  864s |      23 |  2389087 |  2284238 |     5316   1052 |        0 |        0
869.37/869.78	c  866s |      23 |  2394704 |  2289638 |     5316   1054 |        0 |        0
871.47/871.80	c  868s |      23 |  2400007 |  2294738 |     5316   1056 |        0 |        0
873.47/873.81	c  870s |      23 |  2405443 |  2299938 |     5316   1058 |        0 |        0
875.47/875.82	c  872s |      23 |  2410985 |  2305338 |     5316   1060 |        0 |        0
877.48/877.86	c  874s |      23 |  2416469 |  2310638 |     5316   1062 |        0 |        0
879.47/879.89	c  876s |      23 |  2422436 |  2316338 |     5316   1064 |        0 |        0
881.57/881.92	c  878s |      23 |  2428342 |  2321938 |     5316   1066 |        0 |        0
883.57/883.95	c  880s |      23 |  2433849 |  2327338 |     5316   1067 |        0 |        0
885.57/885.98	c  882s |      23 |  2438971 |  2332338 |     5316   1069 |        0 |        0
887.57/888.00	c  884s |      23 |  2444078 |  2337338 |     5316   1071 |        0 |        0
889.68/890.02	c  886s |      23 |  2449658 |  2342438 |     5316   1073 |        0 |        0
891.67/892.07	c  888s |      23 |  2455397 |  2347838 |     5316   1075 |        0 |        0
893.77/894.10	c  890s |      23 |  2460858 |  2353138 |     5316   1076 |        0 |        0
895.77/896.13	c  892s |      23 |  2466181 |  2358238 |     5316   1078 |        0 |        0
897.77/898.15	c  894s |      23 |  2471758 |  2363538 |     5316   1080 |        0 |        0
899.77/900.18	c  896s |      23 |  2477119 |  2368738 |     5316   1082 |        0 |        0
901.87/902.23	c  898s |      23 |  2482209 |  2373638 |     5316   1084 |        0 |        0
903.87/904.26	c  900s |      23 |  2487684 |  2378938 |     5316   1085 |        0 |        0
905.87/906.27	c  902s |      23 |  2493145 |  2384238 |     5316   1087 |        0 |        0
907.97/908.30	c  904s |      23 |  2498747 |  2389738 |     5316   1089 |        0 |        0
909.96/910.34	c  906s |      23 |  2504368 |  2395138 |     5316   1091 |        0 |        0
911.96/912.36	c  908s |      23 |  2509743 |  2400338 |     5316   1093 |        0 |        0
913.96/914.38	c  910s |      23 |  2515623 |  2405938 |     5316   1095 |        0 |        0
915.97/916.38	c  912s |      23 |  2520909 |  2410938 |     5316   1097 |        0 |        0
918.06/918.40	c  914s |      23 |  2526815 |  2416338 |     5316   1098 |        0 |        0
920.06/920.44	c  916s |      23 |  2532339 |  2421538 |     5316   1100 |        0 |        0
922.06/922.46	c  918s |      23 |  2537614 |  2426638 |     5316   1102 |        0 |        0
924.06/924.47	c  921s |      23 |  2542900 |  2431838 |     5316   1104 |        0 |        0
926.16/926.50	c  923s |      23 |  2548632 |  2437338 |     5316   1106 |        0 |        0
928.17/928.53	c  925s |      23 |  2553978 |  2442438 |     5316   1107 |        0 |        0
930.16/930.53	c  927s |      23 |  2559413 |  2447638 |     5316   1109 |        0 |        0
932.16/932.55	c  929s |      23 |  2564614 |  2452738 |     5316   1111 |        0 |        0
934.16/934.57	c  931s |      23 |  2570173 |  2458138 |     5316   1113 |        0 |        0
936.26/936.60	c  933s |      23 |  2575605 |  2463438 |     5316   1115 |        0 |        0
938.26/938.64	c  935s |      23 |  2581156 |  2468838 |     5316   1117 |        0 |        0
940.27/940.65	c  937s |      23 |  2586326 |  2473838 |     5316   1118 |        0 |        0
942.26/942.67	c  939s |      23 |  2591490 |  2478838 |     5316   1120 |        0 |        0
944.26/944.70	c  941s |      23 |  2597263 |  2484238 |     5316   1122 |        0 |        0
946.36/946.70	c  943s |      23 |  2602216 |  2489038 |     5316   1124 |        0 |        0
948.36/948.72	c  945s |      23 |  2608252 |  2494838 |     5316   1126 |        0 |        0
950.36/950.76	c  947s |      23 |  2613638 |  2499838 |     5316   1127 |        0 |        0
952.36/952.78	c  949s |      23 |  2618249 |  2504338 |     5316   1129 |        0 |        0
954.46/954.81	c  951s |      23 |  2623596 |  2509538 |     5316   1131 |        0 |        0
956.45/956.85	c  953s |      23 |  2628595 |  2514438 |     5316   1133 |        0 |        0
958.46/958.89	c  955s |      23 |  2633695 |  2519338 |     5316   1134 |        0 |        0
960.56/960.91	c  957s |      23 |  2639088 |  2524538 |     5316   1136 |        0 |        0
962.56/962.93	c  959s |      23 |  2643662 |  2528938 |     5316   1138 |        0 |        0
964.56/964.95	c  961s |      23 |  2648915 |  2533938 |     5316   1139 |        0 |        0
966.57/966.95	c  963s |      23 |  2654371 |  2539138 |     5316   1141 |        0 |        0
968.56/968.96	c  965s |      23 |  2659135 |  2543738 |     5316   1143 |        0 |        0
970.56/970.97	c  967s |      23 |  2664021 |  2548438 |     5316   1144 |        0 |        0
972.66/973.03	c  969s |      23 |  2669367 |  2553538 |     5316   1146 |        0 |        0
974.66/975.05	c  971s |      23 |  2674834 |  2558738 |     5316   1148 |        0 |        0
976.66/977.05	c  973s |      23 |  2679851 |  2563438 |     5316   1150 |        0 |        0
978.67/979.10	c  975s |      23 |  2685387 |  2568838 |     5316   1152 |        0 |        0
980.76/981.10	c  977s |      23 |  2690770 |  2573738 |     5316   1153 |        0 |        0
982.76/983.11	c  979s |      23 |  2696575 |  2579438 |     5316   1155 |        0 |        0
984.76/985.13	c  981s |      23 |  2702009 |  2584738 |     5316   1157 |        0 |        0
986.76/987.16	c  983s |      23 |  2707175 |  2589738 |     5316   1159 |        0 |        0
988.76/989.16	c  985s |      23 |  2712281 |  2594738 |     5316   1161 |        0 |        0
990.76/991.18	c  987s |      23 |  2718078 |  2600438 |     5316   1162 |        0 |        0
992.76/993.19	c  989s |      23 |  2723404 |  2605638 |     5316   1164 |        0 |        0
994.85/995.22	c  991s |      23 |  2728614 |  2610738 |     5316   1166 |        0 |        0
996.85/997.22	c  993s |      23 |  2734411 |  2616438 |     5316   1168 |        0 |        0
998.85/999.25	c  995s |      23 |  2739902 |  2621838 |     5316   1170 |        0 |        0
1000.85/1001.27	c  997s |      23 |  2745235 |  2627038 |     5316   1172 |        0 |        0
1002.86/1003.29	c  999s |      23 |  2750854 |  2632538 |     5316   1174 |        0 |        0
1004.95/1005.31	c 1001s |      23 |  2756164 |  2637738 |     5316   1176 |        0 |        0
1006.95/1007.31	c 1003s |      23 |  2761850 |  2643338 |     5316   1177 |        0 |        0
1008.95/1009.33	c 1005s |      23 |  2767556 |  2648938 |     5316   1179 |        0 |        0
1010.95/1011.33	c 1007s |      23 |  2772687 |  2653938 |     5316   1181 |        0 |        0
1012.95/1013.36	c 1009s |      23 |  2778251 |  2659438 |     5316   1183 |        0 |        0
1014.96/1015.38	c 1011s |      23 |  2783556 |  2664638 |     5316   1185 |        0 |        0
1016.95/1017.39	c 1013s |      23 |  2788830 |  2669838 |     5316   1187 |        0 |        0
1019.05/1019.42	c 1015s |      23 |  2794360 |  2675238 |     5316   1189 |        0 |        0
1021.05/1021.43	c 1017s |      23 |  2799671 |  2680438 |     5316   1190 |        0 |        0
1023.05/1023.44	c 1019s |      23 |  2804730 |  2685438 |     5316   1192 |        0 |        0
1025.05/1025.47	c 1022s |      23 |  2810134 |  2690738 |     5316   1194 |        0 |        0
1027.05/1027.49	c 1024s |      23 |  2815400 |  2695938 |     5316   1196 |        0 |        0
1029.05/1029.49	c 1026s |      23 |  2820870 |  2701238 |     5316   1198 |        0 |        0
1031.05/1031.49	c 1028s |      23 |  2826578 |  2706838 |     5316   1200 |        0 |        0
1033.15/1033.51	c 1030s |      23 |  2832304 |  2712338 |     5316   1201 |        0 |        0
1035.15/1035.53	c 1032s |      23 |  2836949 |  2716738 |     5316   1203 |        0 |        0
1037.15/1037.56	c 1034s |      23 |  2842429 |  2722038 |     5316   1205 |        0 |        0
1039.15/1039.59	c 1036s |      23 |  2847804 |  2727138 |     5316   1207 |        0 |        0
1041.24/1041.60	c 1038s |      23 |  2853711 |  2732738 |     5316   1209 |        0 |        0
1043.24/1043.64	c 1040s |      23 |  2858906 |  2737738 |     5316   1210 |        0 |        0
1045.24/1045.65	c 1042s |      23 |  2864617 |  2743338 |     5316   1212 |        0 |        0
1047.24/1047.67	c 1044s |      23 |  2870201 |  2748738 |     5316   1214 |        0 |        0
1049.24/1049.69	c 1046s |      23 |  2875895 |  2754238 |     5316   1216 |        0 |        0
1051.35/1051.73	c 1048s |      23 |  2881517 |  2759738 |     5316   1218 |        0 |        0
1053.34/1053.75	c 1050s |      23 |  2886939 |  2764938 |     5316   1220 |        0 |        0
1055.35/1055.76	c 1052s |      23 |  2892329 |  2770038 |     5316   1222 |        0 |        0
1057.35/1057.77	c 1054s |      23 |  2897439 |  2774938 |     5316   1223 |        0 |        0
1059.45/1059.81	c 1056s |      23 |  2902899 |  2780238 |     5316   1225 |        0 |        0
1061.45/1061.82	c 1058s |      23 |  2907882 |  2785138 |     5316   1227 |        0 |        0
1063.45/1063.85	c 1060s |      23 |  2912900 |  2790038 |     5316   1229 |        0 |        0
1065.45/1065.87	c 1062s |      23 |  2918222 |  2795238 |     5316   1230 |        0 |        0
1067.45/1067.88	c 1064s |      23 |  2922943 |  2799838 |     5316   1232 |        0 |        0
1069.55/1069.90	c 1066s |      23 |  2927661 |  2804438 |     5316   1234 |        0 |        0
1071.55/1071.92	c 1068s |      23 |  2932158 |  2808838 |     5316   1235 |        0 |        0
1073.54/1073.94	c 1070s |      23 |  2937096 |  2813638 |     5316   1237 |        0 |        0
1075.55/1075.95	c 1072s |      23 |  2942335 |  2818738 |     5316   1239 |        0 |        0
1077.54/1077.95	c 1074s |      23 |  2947007 |  2823238 |     5316   1240 |        0 |        0
1079.54/1079.97	c 1076s |      23 |  2951655 |  2827738 |     5316   1242 |        0 |        0
1081.54/1081.99	c 1078s |      23 |  2956754 |  2832638 |     5316   1243 |        0 |        0
1083.64/1084.02	c 1080s |      23 |  2961999 |  2837738 |     5316   1245 |        0 |        0
1085.64/1086.06	c 1082s |      23 |  2966573 |  2842138 |     5316   1247 |        0 |        0
1087.65/1088.08	c 1084s |      23 |  2972423 |  2847738 |     5316   1249 |        0 |        0
1089.64/1090.08	c 1086s |      23 |  2977120 |  2852238 |     5316   1250 |        0 |        0
1091.74/1092.10	c 1088s |      23 |  2982094 |  2857038 |     5316   1252 |        0 |        0
1093.74/1094.15	c 1090s |      23 |  2987089 |  2861838 |     5316   1254 |        0 |        0
1095.74/1096.18	c 1092s |      23 |  2993015 |  2867538 |     5316   1256 |        0 |        0
1097.74/1098.19	c 1094s |      23 |  2998938 |  2873138 |     5316   1257 |        0 |        0
1099.84/1100.20	c 1096s |      23 |  3004433 |  2878238 |     5316   1259 |        0 |        0
1101.84/1102.24	c 1098s |      23 |  3009774 |  2883038 |     5316   1261 |        0 |        0
1103.84/1104.25	c 1100s |      23 |  3015167 |  2888038 |     5316   1263 |        0 |        0
1105.84/1106.25	c 1102s |      23 |  3020357 |  2893038 |     5316   1264 |        0 |        0
1107.84/1108.26	c 1104s |      23 |  3025735 |  2898138 |     5316   1266 |        0 |        0
1109.84/1110.26	c 1106s |      23 |  3031448 |  2903638 |     5316   1268 |        0 |        0
1111.84/1112.29	c 1108s |      23 |  3036672 |  2908538 |     5316   1270 |        0 |        0
1113.94/1114.33	c 1110s |      23 |  3041982 |  2913538 |     5316   1272 |        0 |        0
1115.93/1116.37	c 1112s |      23 |  3047240 |  2918538 |     5316   1273 |        0 |        0
1118.03/1118.40	c 1114s |      23 |  3052538 |  2923738 |     5316   1275 |        0 |        0
1120.03/1120.41	c 1116s |      23 |  3057608 |  2928738 |     5316   1277 |        0 |        0
1122.03/1122.42	c 1118s |      23 |  3063124 |  2934138 |     5316   1279 |        0 |        0
1124.03/1124.43	c 1120s |      23 |  3068036 |  2938938 |     5316   1280 |        0 |        0
1126.04/1126.46	c 1122s |      23 |  3073717 |  2944538 |     5316   1282 |        0 |        0
1128.13/1128.52	c 1125s |      23 |  3078522 |  2949238 |     5316   1284 |        0 |        0
1130.13/1130.55	c 1127s |      23 |  3083909 |  2954538 |     5316   1286 |        0 |        0
1132.13/1132.56	c 1129s |      23 |  3089069 |  2959438 |     5316   1287 |        0 |        0
1134.13/1134.57	c 1131s |      23 |  3094226 |  2964438 |     5316   1289 |        0 |        0
1136.23/1136.61	c 1133s |      23 |  3099734 |  2969838 |     5316   1291 |        0 |        0
1138.24/1138.63	c 1135s |      23 |  3105059 |  2975038 |     5316   1293 |        0 |        0
1140.23/1140.66	c 1137s |      23 |  3110608 |  2980438 |     5316   1295 |        0 |        0
1142.23/1142.67	c 1139s |      23 |  3115870 |  2985638 |     5316   1297 |        0 |        0
1144.33/1144.70	c 1141s |      23 |  3121162 |  2990638 |     5316   1298 |        0 |        0
1146.33/1146.73	c 1143s |      23 |  3126068 |  2995338 |     5316   1300 |        0 |        0
1148.33/1148.74	c 1145s |      23 |  3131529 |  3000538 |     5316   1302 |        0 |        0
1150.33/1150.76	c 1147s |      23 |  3136118 |  3004938 |     5316   1303 |        0 |        0
1152.33/1152.78	c 1149s |      23 |  3141457 |  3010138 |     5316   1305 |        0 |        0
1154.43/1154.80	c 1151s |      23 |  3146538 |  3015038 |     5316   1307 |        0 |        0
1156.43/1156.82	c 1153s |      23 |  3152002 |  3020238 |     5316   1309 |        0 |        0
1158.43/1158.84	c 1155s |      23 |  3157582 |  3025738 |     5316   1311 |        0 |        0
1160.43/1160.88	c 1157s |      23 |  3163411 |  3031338 |     5316   1313 |        0 |        0
1162.53/1162.91	c 1159s |      23 |  3168918 |  3036638 |     5316   1314 |        0 |        0
1164.53/1164.92	c 1161s |      23 |  3174224 |  3041838 |     5316   1316 |        0 |        0
1166.52/1166.95	c 1163s |      23 |  3179971 |  3047438 |     5316   1318 |        0 |        0
1168.52/1168.98	c 1165s |      23 |  3185592 |  3052938 |     5316   1320 |        0 |        0
1170.52/1171.00	c 1167s |      23 |  3191046 |  3058238 |     5316   1322 |        0 |        0
1172.62/1173.01	c 1169s |      23 |  3196298 |  3063338 |     5316   1324 |        0 |        0
1174.62/1175.04	c 1171s |      23 |  3202104 |  3068938 |     5316   1326 |        0 |        0
1176.63/1177.08	c 1173s |      23 |  3207717 |  3074338 |     5316   1328 |        0 |        0
1178.72/1179.11	c 1175s |      23 |  3213039 |  3079538 |     5316   1329 |        0 |        0
1180.72/1181.13	c 1177s |      23 |  3218169 |  3084538 |     5316   1331 |        0 |        0
1182.72/1183.16	c 1179s |      23 |  3223358 |  3089538 |     5316   1333 |        0 |        0
1184.72/1185.18	c 1181s |      23 |  3229008 |  3095038 |     5316   1335 |        0 |        0
1186.72/1187.19	c 1183s |      23 |  3234402 |  3100338 |     5316   1337 |        0 |        0
1188.83/1189.22	c 1185s |      23 |  3239838 |  3105538 |     5316   1338 |        0 |        0
1190.82/1191.23	c 1187s |      23 |  3245158 |  3110538 |     5316   1340 |        0 |        0
1192.82/1193.23	c 1189s |      23 |  3250501 |  3115638 |     5316   1342 |        0 |        0
1194.82/1195.23	c 1191s |      23 |  3256094 |  3121038 |     5316   1344 |        0 |        0
1196.82/1197.25	c 1193s |      23 |  3261011 |  3125838 |     5316   1345 |        0 |        0
1198.82/1199.27	c 1195s |      23 |  3266597 |  3131238 |     5316   1347 |        0 |        0
1200.82/1201.30	c 1197s |      23 |  3271706 |  3136238 |     5316   1349 |        0 |        0
1202.92/1203.31	c 1199s |      23 |  3276916 |  3141338 |     5316   1351 |        0 |        0
1204.92/1205.32	c 1201s |      23 |  3282342 |  3146638 |     5316   1353 |        0 |        0
1206.92/1207.36	c 1203s |      23 |  3287238 |  3151438 |     5316   1354 |        0 |        0
1208.92/1209.39	c 1205s |      23 |  3292375 |  3156338 |     5316   1356 |        0 |        0
1211.02/1211.43	c 1207s |      23 |  3297868 |  3161638 |     5316   1358 |        0 |        0
1213.03/1213.43	c 1209s |      23 |  3302914 |  3166438 |     5316   1360 |        0 |        0
1215.02/1215.43	c 1211s |      23 |  3307927 |  3171338 |     5316   1361 |        0 |        0
1217.02/1217.44	c 1213s |      23 |  3313108 |  3176438 |     5316   1363 |        0 |        0
1219.02/1219.44	c 1215s |      23 |  3318396 |  3181638 |     5316   1365 |        0 |        0
1221.02/1221.47	c 1218s |      23 |  3323694 |  3186838 |     5316   1367 |        0 |        0
1223.02/1223.48	c 1220s |      23 |  3328990 |  3192038 |     5316   1368 |        0 |        0
1225.13/1225.51	c 1222s |      23 |  3334221 |  3197138 |     5316   1370 |        0 |        0
1227.12/1227.52	c 1224s |      23 |  3339481 |  3202238 |     5316   1372 |        0 |        0
1229.12/1229.53	c 1226s |      23 |  3344672 |  3207338 |     5316   1374 |        0 |        0
1231.12/1231.53	c 1228s |      23 |  3349976 |  3212538 |     5316   1376 |        0 |        0
1233.12/1233.54	c 1230s |      23 |  3355120 |  3217438 |     5316   1377 |        0 |        0
1235.12/1235.54	c 1232s |      23 |  3360369 |  3222338 |     5316   1379 |        0 |        0
1237.13/1237.55	c 1234s |      23 |  3365457 |  3227138 |     5316   1381 |        0 |        0
1239.12/1239.59	c 1236s |      23 |  3370745 |  3231938 |     5316   1382 |        0 |        0
1241.22/1241.62	c 1238s |      23 |  3375849 |  3236738 |     5316   1384 |        0 |        0
1243.22/1243.64	c 1240s |      23 |  3381823 |  3242538 |     5316   1386 |        0 |        0
1245.22/1245.68	c 1242s |      23 |  3387506 |  3248138 |     5316   1388 |        0 |        0
1247.22/1247.69	c 1244s |      23 |  3392927 |  3253438 |     5316   1390 |        0 |        0
1249.22/1249.70	c 1246s |      23 |  3398788 |  3259138 |     5316   1392 |        0 |        0
1251.32/1251.70	c 1248s |      23 |  3404552 |  3264738 |     5316   1394 |        0 |        0
1253.32/1253.72	c 1250s |      23 |  3410722 |  3270738 |     5316   1396 |        0 |        0
1255.32/1255.74	c 1252s |      23 |  3416608 |  3276438 |     5316   1398 |        0 |        0
1257.32/1257.76	c 1254s |      23 |  3422306 |  3281938 |     5316   1400 |        0 |        0
1259.32/1259.77	c 1256s |      23 |  3427717 |  3287238 |     5316   1402 |        0 |        0
1261.32/1261.78	c 1258s |      23 |  3433343 |  3292638 |     5316   1404 |        0 |        0
1263.42/1263.80	c 1260s |      23 |  3438937 |  3297938 |     5316   1405 |        0 |        0
1265.42/1265.82	c 1262s |      23 |  3444670 |  3303438 |     5316   1407 |        0 |        0
1267.42/1267.83	c 1264s |      23 |  3450474 |  3308938 |     5316   1409 |        0 |        0
1269.42/1269.86	c 1266s |      23 |  3456265 |  3314438 |     5316   1411 |        0 |        0
1271.41/1271.87	c 1268s |      23 |  3462005 |  3319938 |     5316   1413 |        0 |        0
1273.42/1273.89	c 1270s |      23 |  3467946 |  3325638 |     5316   1415 |        0 |        0
1275.51/1275.90	c 1272s |      23 |  3473408 |  3330938 |     5316   1417 |        0 |        0
1277.51/1277.93	c 1274s |      23 |  3479332 |  3336538 |     5316   1419 |        0 |        0
1279.51/1279.94	c 1276s |      23 |  3484615 |  3341538 |     5316   1421 |        0 |        0
1281.51/1281.94	c 1278s |      23 |  3490645 |  3347238 |     5848   1422 |        0 |        0
1283.51/1283.95	c 1280s |      23 |  3495974 |  3352338 |     5848   1424 |        0 |        0
1285.52/1285.97	c 1282s |      23 |  3501809 |  3357938 |     5848   1426 |        0 |        0
1287.61/1288.00	c 1284s |      23 |  3507511 |  3363238 |     5848   1427 |        0 |        0
1289.61/1290.02	c 1286s |      23 |  3512827 |  3368238 |     5848   1429 |        0 |        0
1291.61/1292.03	c 1288s |      23 |  3517922 |  3373138 |     5848   1431 |        0 |        0
1293.01/1293.46	c 1289s |      24 |  3521521 |  3376662 |     5848   1432 |        0 |        0
1295.01/1295.46	c 1291s |      24 |  3524528 |  3379362 |     5848   1433 |        0 |        0
1297.11/1297.51	c 1294s |      24 |  3528222 |  3382662 |     5848   1434 |        0 |        0
1299.11/1299.56	c 1296s |      24 |  3531904 |  3386062 |     5848   1435 |        0 |        0
1301.11/1301.58	c 1298s |      24 |  3535586 |  3389462 |     5848   1436 |        0 |        0
1303.11/1303.59	c 1300s |      24 |  3540518 |  3394162 |     5848   1437 |        0 |        0
1305.21/1305.60	c 1302s |      24 |  3544984 |  3398262 |     5848   1439 |        0 |        0
1307.21/1307.61	c 1304s |      24 |  3550159 |  3403162 |     5848   1440 |        0 |        0
1309.21/1309.63	c 1306s |      24 |  3554659 |  3407562 |     5848   1442 |        0 |        0
1311.21/1311.63	c 1308s |      24 |  3560259 |  3412962 |     5848   1443 |        0 |        0
1313.21/1313.66	c 1310s |      24 |  3564460 |  3416862 |     5848   1445 |        0 |        0
1315.21/1315.69	c 1312s |      24 |  3568067 |  3420362 |     5848   1446 |        0 |        0
1317.30/1317.73	c 1314s |      24 |  3572103 |  3424162 |     5848   1447 |        0 |        0
1319.30/1319.77	c 1316s |      24 |  3576539 |  3428362 |     5848   1448 |        0 |        0
1321.30/1321.79	c 1318s |      24 |  3580456 |  3432162 |     5848   1450 |        0 |        0
1323.40/1323.80	c 1320s |      24 |  3583954 |  3435362 |     5848   1451 |        0 |        0
1325.40/1325.81	c 1322s |      24 |  3587584 |  3438662 |     5848   1452 |        0 |        0
1327.41/1327.88	c 1324s |      24 |  3590843 |  3441762 |     5848   1453 |        0 |        0
1329.40/1329.89	c 1326s |      24 |  3595793 |  3446562 |     5848   1454 |        0 |        0
1331.50/1331.93	c 1328s |      24 |  3600454 |  3451062 |     5848   1456 |        0 |        0
1333.50/1333.95	c 1330s |      24 |  3604290 |  3454662 |     5848   1457 |        0 |        0
1335.50/1335.98	c 1332s |      24 |  3608417 |  3458662 |     5848   1458 |        0 |        0
1337.50/1337.98	c 1334s |      24 |  3612982 |  3463062 |     5848   1460 |        0 |        0
1339.60/1340.06	c 1336s |      24 |  3617170 |  3467062 |     5848   1461 |        0 |        0
1341.71/1342.13	c 1338s |      24 |  3622364 |  3471962 |     5848   1462 |        0 |        0
1343.70/1344.19	c 1340s |      24 |  3627083 |  3476362 |     5848   1464 |        0 |        0
1345.70/1346.19	c 1342s |      24 |  3632072 |  3480962 |     5848   1465 |        0 |        0
1347.80/1348.20	c 1344s |      24 |  3636760 |  3485362 |     5848   1467 |        0 |        0
1349.80/1350.25	c 1346s |      24 |  3641805 |  3490162 |     5848   1468 |        0 |        0
1351.80/1352.27	c 1348s |      24 |  3646531 |  3494362 |     5848   1470 |        0 |        0
1353.81/1354.28	c 1350s |      24 |  3651178 |  3498762 |     5848   1471 |        0 |        0
1355.90/1356.32	c 1352s |      24 |  3655136 |  3502462 |     5848   1472 |        0 |        0
1357.90/1358.38	c 1354s |      24 |  3659023 |  3506062 |     5848   1473 |        0 |        0
1360.00/1360.41	c 1356s |      24 |  3663654 |  3510262 |     5848   1475 |        0 |        0
1362.00/1362.42	c 1358s |      24 |  3668189 |  3514562 |     5848   1476 |        0 |        0
1363.99/1364.49	c 1361s |      24 |  3671660 |  3517862 |     5848   1477 |        0 |        0
1366.09/1366.52	c 1363s |      24 |  3676637 |  3522262 |     5848   1479 |        0 |        0
1368.10/1368.55	c 1365s |      24 |  3680238 |  3525362 |     5848   1480 |        0 |        0
1370.09/1370.55	c 1367s |      24 |  3685966 |  3530862 |     5848   1481 |        0 |        0
1372.09/1372.58	c 1369s |      24 |  3691878 |  3536562 |     5848   1483 |        0 |        0
1374.09/1374.59	c 1371s |      24 |  3696970 |  3541462 |     5848   1485 |        0 |        0
1376.19/1376.63	c 1373s |      24 |  3701819 |  3546062 |     5848   1486 |        0 |        0
1378.19/1378.63	c 1375s |      24 |  3705795 |  3549862 |     5848   1487 |        0 |        0
1380.20/1380.68	c 1377s |      24 |  3709808 |  3553562 |     5848   1489 |        0 |        0
1382.19/1382.69	c 1379s |      24 |  3714545 |  3557962 |     5848   1490 |        0 |        0
1384.29/1384.70	c 1381s |      24 |  3718770 |  3561962 |     5848   1491 |        0 |        0
1386.29/1386.73	c 1383s |      24 |  3723065 |  3566062 |     5848   1493 |        0 |        0
1388.29/1388.75	c 1385s |      24 |  3727079 |  3569962 |     5848   1494 |        0 |        0
1390.29/1390.79	c 1387s |      24 |  3731848 |  3574262 |     5848   1495 |        0 |        0
1392.39/1392.82	c 1389s |      24 |  3736966 |  3579062 |     5848   1497 |        0 |        0
1394.40/1394.88	c 1391s |      24 |  3741675 |  3583462 |     5848   1498 |        0 |        0
1396.39/1396.90	c 1393s |      24 |  3745230 |  3586762 |     5848   1499 |        0 |        0
1398.49/1398.90	c 1395s |      24 |  3750107 |  3591462 |     5848   1501 |        0 |        0
1400.49/1400.94	c 1397s |      24 |  3755156 |  3596162 |     5848   1502 |        0 |        0
1402.49/1402.97	c 1399s |      24 |  3759946 |  3600662 |     5848   1504 |        0 |        0
1404.49/1404.97	c 1401s |      24 |  3764488 |  3604862 |     5848   1505 |        0 |        0
1406.59/1407.03	c 1403s |      24 |  3768500 |  3608662 |     5848   1506 |        0 |        0
1408.59/1409.07	c 1405s |      24 |  3773750 |  3613662 |     5848   1508 |        0 |        0
1410.59/1411.08	c 1407s |      24 |  3777623 |  3617262 |     5848   1509 |        0 |        0
1412.69/1413.11	c 1409s |      24 |  3781694 |  3621062 |     5848   1510 |        0 |        0
1414.69/1415.12	c 1411s |      24 |  3785417 |  3624562 |     5848   1512 |        0 |        0
1416.69/1417.15	c 1413s |      24 |  3790199 |  3629162 |     5848   1513 |        0 |        0
1418.79/1419.20	c 1415s |      24 |  3794364 |  3633162 |     5848   1514 |        0 |        0
1420.80/1421.26	c 1417s |      24 |  3798104 |  3636462 |     5848   1515 |        0 |        0
1422.79/1423.26	c 1419s |      24 |  3802796 |  3640862 |     5848   1517 |        0 |        0
1424.89/1425.31	c 1421s |      24 |  3807637 |  3645362 |     5848   1518 |        0 |        0
1426.89/1427.34	c 1423s |      24 |  3811742 |  3649162 |     5848   1519 |        0 |        0
1428.89/1429.36	c 1425s |      24 |  3815486 |  3652562 |     5848   1521 |        0 |        0
1430.99/1431.42	c 1427s |      24 |  3819566 |  3656362 |     5848   1522 |        0 |        0
1433.00/1433.45	c 1429s |      24 |  3824665 |  3660962 |     5848   1523 |        0 |        0
1434.99/1435.47	c 1432s |      24 |  3830379 |  3666362 |     5848   1525 |        0 |        0
1436.99/1437.48	c 1434s |      24 |  3834836 |  3670662 |     5848   1526 |        0 |        0
1439.09/1439.51	c 1436s |      24 |  3839405 |  3675062 |     5848   1528 |        0 |        0
1441.09/1441.52	c 1438s |      24 |  3843724 |  3679162 |     5848   1529 |        0 |        0
1443.09/1443.55	c 1440s |      24 |  3848913 |  3684062 |     5848   1531 |        0 |        0
1445.09/1445.58	c 1442s |      24 |  3853455 |  3688062 |     5848   1532 |        0 |        0
1447.09/1447.59	c 1444s |      24 |  3857878 |  3692262 |     5848   1533 |        0 |        0
1449.19/1449.62	c 1446s |      24 |  3861930 |  3696062 |     5848   1535 |        0 |        0
1451.19/1451.67	c 1448s |      24 |  3866526 |  3700262 |     5848   1536 |        0 |        0
1453.19/1453.68	c 1450s |      24 |  3871324 |  3704862 |     5848   1537 |        0 |        0
1455.29/1455.72	c 1452s |      24 |  3876296 |  3709562 |     5848   1539 |        0 |        0
1457.29/1457.72	c 1454s |      24 |  3880623 |  3713562 |     5848   1540 |        0 |        0
1459.29/1459.75	c 1456s |      24 |  3884666 |  3717362 |     5848   1541 |        0 |        0
1461.28/1461.78	c 1458s |      24 |  3889314 |  3721762 |     5848   1543 |        0 |        0
1463.38/1463.82	c 1460s |      24 |  3893992 |  3726062 |     5848   1544 |        0 |        0
1465.38/1465.82	c 1462s |      24 |  3898398 |  3730162 |     5848   1546 |        0 |        0
1467.38/1467.82	c 1464s |      24 |  3903104 |  3734662 |     5848   1547 |        0 |        0
1469.38/1469.86	c 1466s |      24 |  3908065 |  3739062 |     5848   1548 |        0 |        0
1471.39/1471.87	c 1468s |      24 |  3913084 |  3743462 |     5848   1550 |        0 |        0
1473.38/1473.87	c 1470s |      24 |  3918707 |  3748662 |     5848   1552 |        0 |        0
1475.48/1475.90	c 1472s |      24 |  3923607 |  3753262 |     5848   1553 |        0 |        0
1477.48/1477.90	c 1474s |      24 |  3928752 |  3757962 |     5848   1555 |        0 |        0
1479.48/1479.91	c 1476s |      24 |  3933569 |  3762562 |     5848   1556 |        0 |        0
1481.48/1481.94	c 1478s |      24 |  3938718 |  3767362 |     5848   1558 |        0 |        0
1483.49/1484.00	c 1480s |      24 |  3942673 |  3770962 |     5848   1559 |        0 |        0
1485.58/1486.00	c 1482s |      24 |  3947236 |  3775062 |     5848   1560 |        0 |        0
1487.58/1488.03	c 1484s |      24 |  3951426 |  3778862 |     5848   1561 |        0 |        0
1489.68/1490.16	c 1486s |      24 |  3956070 |  3783062 |     5848   1563 |        0 |        0
1491.78/1492.20	c 1488s |      24 |  3959322 |  3786162 |     5848   1564 |        0 |        0
1493.78/1494.21	c 1490s |      24 |  3962575 |  3789262 |     5848   1565 |        0 |        0
1495.78/1496.21	c 1492s |      24 |  3968049 |  3794462 |     5848   1566 |        0 |        0
1497.78/1498.24	c 1494s |      24 |  3972581 |  3798762 |     5848   1568 |        0 |        0
1499.78/1500.25	c 1496s |      24 |  3976782 |  3802762 |     5848   1569 |        0 |        0
1501.78/1502.29	c 1498s |      24 |  3981172 |  3806862 |     5848   1570 |        0 |        0
1503.78/1504.29	c 1500s |      24 |  3985186 |  3810562 |     5848   1572 |        0 |        0
1505.88/1506.33	c 1502s |      24 |  3989243 |  3814362 |     5848   1573 |        0 |        0
1507.87/1508.35	c 1504s |      24 |  3993532 |  3818462 |     5848   1574 |        0 |        0
1509.88/1510.36	c 1506s |      24 |  3998270 |  3822762 |     5848   1575 |        0 |        0
1511.97/1512.41	c 1508s |      24 |  4002745 |  3827062 |     5848   1577 |        0 |        0
1513.97/1514.48	c 1511s |      24 |  4006001 |  3830062 |     5848   1578 |        0 |        0
1516.07/1516.51	c 1513s |      24 |  4009825 |  3833762 |     5848   1579 |        0 |        0
1518.07/1518.51	c 1515s |      24 |  4014654 |  3838262 |     5848   1581 |        0 |        0
1520.07/1520.53	c 1517s |      24 |  4018367 |  3841562 |     5848   1582 |        0 |        0
1522.08/1522.56	c 1519s |      24 |  4022236 |  3845162 |     5848   1583 |        0 |        0
1524.07/1524.57	c 1521s |      24 |  4026942 |  3849662 |     5848   1584 |        0 |        0
1526.07/1526.58	c 1523s |      24 |  4032085 |  3854562 |     5848   1586 |        0 |        0
1528.17/1528.60	c 1525s |      24 |  4037205 |  3859462 |     5848   1587 |        0 |        0
1530.17/1530.63	c 1527s |      24 |  4041076 |  3863162 |     5848   1589 |        0 |        0
1532.17/1532.69	c 1529s |      24 |  4045318 |  3867162 |     5848   1590 |        0 |        0
1534.27/1534.73	c 1531s |      24 |  4049555 |  3871062 |     5848   1591 |        0 |        0
1536.28/1536.73	c 1533s |      24 |  4053888 |  3874962 |     5848   1592 |        0 |        0
1538.37/1538.81	c 1535s |      24 |  4057520 |  3878462 |     5848   1594 |        0 |        0
1540.37/1540.82	c 1537s |      24 |  4062156 |  3882862 |     5848   1595 |        0 |        0
1542.37/1542.85	c 1539s |      24 |  4066781 |  3887262 |     5848   1596 |        0 |        0
1544.37/1544.86	c 1541s |      24 |  4071092 |  3891362 |     5848   1598 |        0 |        0
1546.47/1546.90	c 1543s |      24 |  4075225 |  3895162 |     5848   1599 |        0 |        0
1548.47/1548.94	c 1545s |      24 |  4079872 |  3899562 |     5848   1600 |        0 |        0
1550.47/1550.97	c 1547s |      24 |  4084443 |  3903762 |     5848   1602 |        0 |        0
1552.47/1552.98	c 1549s |      24 |  4088065 |  3907062 |     5848   1603 |        0 |        0
1554.47/1554.99	c 1551s |      24 |  4093216 |  3911962 |     5848   1604 |        0 |        0
1556.47/1556.99	c 1553s |      24 |  4098138 |  3916562 |     5848   1606 |        0 |        0
1558.57/1559.00	c 1555s |      24 |  4102594 |  3920862 |     5848   1607 |        0 |        0
1560.57/1561.02	c 1557s |      24 |  4106491 |  3924562 |     5848   1608 |        0 |        0
1562.56/1563.06	c 1559s |      24 |  4111509 |  3929262 |     5848   1610 |        0 |        0
1564.66/1565.12	c 1561s |      24 |  4115945 |  3933362 |     5848   1611 |        0 |        0
1566.66/1567.18	c 1563s |      24 |  4120279 |  3937462 |     5848   1613 |        0 |        0
1568.76/1569.21	c 1565s |      24 |  4124884 |  3941862 |     5848   1614 |        0 |        0
1570.76/1571.22	c 1567s |      24 |  4128202 |  3944962 |     5848   1615 |        0 |        0
1572.76/1573.22	c 1569s |      24 |  4133529 |  3950062 |     5848   1617 |        0 |        0
1574.77/1575.25	c 1571s |      24 |  4138462 |  3954762 |     5848   1618 |        0 |        0
1576.76/1577.27	c 1573s |      24 |  4143221 |  3959262 |     5848   1620 |        0 |        0
1578.86/1579.30	c 1575s |      24 |  4147426 |  3963262 |     5848   1621 |        0 |        0
1580.86/1581.32	c 1577s |      24 |  4151739 |  3967362 |     5848   1622 |        0 |        0
1582.86/1583.36	c 1579s |      24 |  4156200 |  3971562 |     5848   1624 |        0 |        0
1584.96/1585.40	c 1581s |      24 |  4161399 |  3976562 |     5848   1625 |        0 |        0
1586.97/1587.45	c 1583s |      24 |  4165494 |  3980462 |     5848   1627 |        0 |        0
1588.96/1589.48	c 1586s |      24 |  4170430 |  3985162 |     5848   1628 |        0 |        0
1591.06/1591.52	c 1588s |      24 |  4175197 |  3989562 |     5848   1629 |        0 |        0
1593.06/1593.53	c 1590s |      24 |  4179567 |  3993662 |     5848   1631 |        0 |        0
1595.06/1595.57	c 1592s |      24 |  4184124 |  3998062 |     5848   1632 |        0 |        0
1597.16/1597.61	c 1594s |      24 |  4188573 |  4002262 |     5848   1634 |        0 |        0
1599.16/1599.63	c 1596s |      24 |  4193364 |  4006762 |     5848   1635 |        0 |        0
1601.16/1601.66	c 1598s |      24 |  4197773 |  4010962 |     5848   1636 |        0 |        0
1603.16/1603.68	c 1600s |      24 |  4201914 |  4014762 |     5848   1638 |        0 |        0
1605.16/1605.69	c 1602s |      24 |  4206339 |  4019062 |     5848   1639 |        0 |        0
1607.26/1607.73	c 1604s |      24 |  4210781 |  4023262 |     5848   1640 |        0 |        0
1609.26/1609.76	c 1606s |      24 |  4215791 |  4028062 |     5848   1642 |        0 |        0
1611.26/1611.79	c 1608s |      24 |  4220104 |  4032062 |     5848   1643 |        0 |        0
1613.36/1613.81	c 1610s |      24 |  4224664 |  4036262 |     5848   1645 |        0 |        0
1615.36/1615.84	c 1612s |      24 |  4228971 |  4040362 |     5848   1646 |        0 |        0
1617.36/1617.88	c 1614s |      24 |  4234015 |  4045162 |     5848   1647 |        0 |        0
1619.45/1619.93	c 1616s |      24 |  4238803 |  4049662 |     5848   1649 |        0 |        0
1621.45/1621.95	c 1618s |      24 |  4243941 |  4054462 |     5848   1650 |        0 |        0
1623.45/1623.98	c 1620s |      24 |  4249594 |  4059762 |     5848   1652 |        0 |        0
1625.55/1626.01	c 1622s |      24 |  4254235 |  4063962 |     5848   1654 |        0 |        0
1627.57/1628.02	c 1624s |      24 |  4258982 |  4068462 |     5848   1655 |        0 |        0
1629.56/1630.05	c 1626s |      24 |  4264421 |  4073462 |     5848   1657 |        0 |        0
1631.56/1632.08	c 1628s |      24 |  4269709 |  4078162 |     5848   1658 |        0 |        0
1633.66/1634.11	c 1630s |      24 |  4275095 |  4083162 |     5848   1660 |        0 |        0
1635.66/1636.16	c 1632s |      24 |  4280466 |  4088062 |     5848   1661 |        0 |        0
1637.66/1638.18	c 1634s |      24 |  4285781 |  4093062 |     5848   1663 |        0 |        0
1639.66/1640.18	c 1636s |      24 |  4291292 |  4098262 |     5848   1665 |        0 |        0
1641.66/1642.18	c 1638s |      24 |  4296298 |  4102862 |     5848   1666 |        0 |        0
1643.66/1644.19	c 1640s |      24 |  4301970 |  4108162 |     5848   1668 |        0 |        0
1645.76/1646.22	c 1642s |      24 |  4308365 |  4113562 |     5848   1670 |        0 |        0
1647.76/1648.24	c 1644s |      24 |  4314143 |  4118862 |     5848   1671 |        0 |        0
1649.76/1650.25	c 1646s |      24 |  4320240 |  4124662 |     5848   1673 |        0 |        0
1651.76/1652.25	c 1648s |      24 |  4325403 |  4129562 |     5848   1675 |        0 |        0
1653.76/1654.28	c 1650s |      24 |  4331097 |  4134862 |     5848   1676 |        0 |        0
1655.86/1656.31	c 1652s |      24 |  4336840 |  4140362 |     5848   1678 |        0 |        0
1657.86/1658.34	c 1654s |      24 |  4342189 |  4145362 |     5848   1680 |        0 |        0
1659.85/1660.35	c 1656s |      24 |  4348003 |  4150662 |     5848   1682 |        0 |        0
1661.85/1662.39	c 1658s |      24 |  4353648 |  4155662 |     5848   1683 |        0 |        0
1663.96/1664.41	c 1660s |      24 |  4359302 |  4161062 |     5848   1685 |        0 |        0
1665.95/1666.42	c 1662s |      24 |  4365312 |  4166762 |     5848   1687 |        0 |        0
1667.95/1668.44	c 1664s |      24 |  4371085 |  4172262 |     5848   1689 |        0 |        0
1669.95/1670.45	c 1666s |      24 |  4377263 |  4178162 |     5848   1690 |        0 |        0
1671.95/1672.47	c 1669s |      24 |  4383390 |  4183962 |     5848   1692 |        0 |        0
1674.05/1674.51	c 1671s |      24 |  4388955 |  4189162 |     5848   1694 |        0 |        0
1676.06/1676.51	c 1673s |      24 |  4394091 |  4194062 |     5848   1696 |        0 |        0
1678.05/1678.54	c 1675s |      24 |  4399123 |  4198662 |     5848   1697 |        0 |        0
1680.05/1680.57	c 1677s |      24 |  4404009 |  4203362 |     5848   1699 |        0 |        0
1682.05/1682.59	c 1679s |      24 |  4409586 |  4208762 |     5848   1700 |        0 |        0
1684.05/1684.59	c 1681s |      24 |  4415395 |  4214162 |     5848   1702 |        0 |        0
1686.05/1686.60	c 1683s |      24 |  4420348 |  4218862 |     5848   1704 |        0 |        0
1688.15/1688.63	c 1685s |      24 |  4426184 |  4224462 |     5848   1705 |        0 |        0
1690.15/1690.64	c 1687s |      24 |  4431551 |  4229562 |     5848   1707 |        0 |        0
1692.15/1692.66	c 1689s |      24 |  4437288 |  4234862 |     5848   1709 |        0 |        0
1694.15/1694.66	c 1691s |      24 |  4442436 |  4239662 |     5848   1710 |        0 |        0
1696.15/1696.68	c 1693s |      24 |  4447879 |  4244962 |     5848   1712 |        0 |        0
1698.25/1698.70	c 1695s |      24 |  4452958 |  4249862 |     5848   1714 |        0 |        0
1700.25/1700.73	c 1697s |      24 |  4458738 |  4255462 |     5848   1715 |        0 |        0
1702.25/1702.74	c 1699s |      24 |  4464217 |  4260662 |     5848   1717 |        0 |        0
1704.24/1704.77	c 1701s |      24 |  4469681 |  4265662 |     5848   1719 |        0 |        0
1706.24/1706.79	c 1703s |      24 |  4475127 |  4270862 |     5848   1720 |        0 |        0
1708.34/1708.83	c 1705s |      24 |  4480488 |  4276062 |     5848   1722 |        0 |        0
1710.34/1710.83	c 1707s |      24 |  4486205 |  4281462 |     5848   1724 |        0 |        0
1712.35/1712.84	c 1709s |      24 |  4491070 |  4286062 |     5848   1725 |        0 |        0
1714.34/1714.86	c 1711s |      24 |  4496676 |  4291362 |     5848   1727 |        0 |        0
1716.34/1716.87	c 1713s |      24 |  4502385 |  4296762 |     5848   1729 |        0 |        0
1718.44/1718.90	c 1715s |      24 |  4507347 |  4301462 |     5848   1730 |        0 |        0
1720.44/1720.92	c 1717s |      24 |  4512891 |  4306462 |     5848   1732 |        0 |        0
1722.44/1722.94	c 1719s |      24 |  4518251 |  4311462 |     5848   1733 |        0 |        0
1724.45/1724.97	c 1721s |      24 |  4523897 |  4316862 |     5848   1735 |        0 |        0
1726.44/1726.97	c 1723s |      24 |  4529062 |  4321662 |     5848   1737 |        0 |        0
1728.54/1729.03	c 1725s |      24 |  4534489 |  4326662 |     5848   1738 |        0 |        0
1730.54/1731.04	c 1727s |      24 |  4539545 |  4331362 |     5848   1740 |        0 |        0
1732.54/1733.07	c 1729s |      24 |  4545007 |  4336362 |     5848   1742 |        0 |        0
1734.54/1735.10	c 1731s |      24 |  4549940 |  4341162 |     5848   1743 |        0 |        0
1736.64/1737.12	c 1733s |      24 |  4554450 |  4345562 |     5848   1745 |        0 |        0
1738.64/1739.15	c 1735s |      24 |  4559896 |  4350762 |     5848   1746 |        0 |        0
1740.64/1741.16	c 1737s |      24 |  4565266 |  4355862 |     5848   1748 |        0 |        0
1742.64/1743.18	c 1739s |      24 |  4569955 |  4360362 |     5848   1749 |        0 |        0
1744.73/1745.20	c 1741s |      24 |  4574406 |  4364562 |     5848   1751 |        0 |        0
1746.73/1747.21	c 1743s |      24 |  4579830 |  4369762 |     5848   1752 |        0 |        0
1748.73/1749.21	c 1745s |      24 |  4584773 |  4374562 |     5848   1754 |        0 |        0
1750.74/1751.24	c 1747s |      24 |  4590114 |  4379662 |     5848   1756 |        0 |        0
1752.73/1753.27	c 1749s |      24 |  4595571 |  4384962 |     5848   1757 |        0 |        0
1754.73/1755.28	c 1751s |      24 |  4601236 |  4390462 |     5848   1759 |        0 |        0
1756.83/1757.31	c 1753s |      24 |  4606026 |  4395062 |     5848   1760 |        0 |        0
1758.83/1759.33	c 1755s |      24 |  4611498 |  4400362 |     5848   1762 |        0 |        0
1760.83/1761.33	c 1757s |      24 |  4616804 |  4405462 |     5848   1764 |        0 |        0
1762.84/1763.34	c 1759s |      24 |  4621946 |  4410362 |     5848   1765 |        0 |        0
1764.83/1765.34	c 1761s |      24 |  4627463 |  4415662 |     5848   1767 |        0 |        0
1766.83/1767.35	c 1763s |      24 |  4632576 |  4420562 |     5848   1769 |        0 |        0
1768.83/1769.35	c 1765s |      24 |  4637430 |  4425062 |     5848   1770 |        0 |        0
1770.83/1771.35	c 1767s |      24 |  4642683 |  4430062 |     5848   1772 |        0 |        0
1772.93/1773.40	c 1769s |      24 |  4648108 |  4435262 |     5848   1773 |        0 |        0
1774.94/1775.41	c 1771s |      24 |  4652881 |  4439662 |     5848   1775 |        0 |        0
1776.93/1777.44	c 1773s |      24 |  4657827 |  4444362 |     5848   1776 |        0 |        0
1778.93/1779.47	c 1775s |      24 |  4663193 |  4449262 |     5848   1778 |        0 |        0
1781.03/1781.50	c 1778s |      24 |  4668115 |  4453862 |     5848   1780 |        0 |        0
1783.03/1783.54	c 1780s |      24 |  4673153 |  4458562 |     5848   1781 |        0 |        0
1785.03/1785.58	c 1782s |      24 |  4678150 |  4463162 |     5848   1783 |        0 |        0
1787.14/1787.64	c 1784s |      24 |  4683281 |  4467962 |     5848   1784 |        0 |        0
1789.13/1789.67	c 1786s |      24 |  4688311 |  4472662 |     5848   1786 |        0 |        0
1791.13/1791.69	c 1788s |      24 |  4693633 |  4477762 |     5848   1787 |        0 |        0
1793.23/1793.70	c 1790s |      24 |  4699473 |  4483462 |     5848   1789 |        0 |        0
1795.23/1795.70	c 1792s |      24 |  4704338 |  4488162 |     5848   1791 |        0 |        0
1797.24/1797.72	c 1794s |      24 |  4709686 |  4493362 |     5848   1792 |        0 |        0
1799.24/1799.75	c 1796s |      24 |  4715009 |  4498462 |     5848   1794 |        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-4106397-1466270717/watcher-4106397-1466270717 -o /tmp/evaluation-result-4106397-1466270717/solver-4106397-1466270717 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106397-1466270717.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.18 2.11 2.09 3/179 9518
/proc/meminfo: memFree=30193388/32872528 swapFree=526336/559040
[pid=9518] ppid=9515 vsize=175548 CPUtime=0 cores=0,2,4,6
/proc/9518/stat : 9518 (toysat) R 9515 9518 28898 0 -1 4202496 410 0 0 0 0 0 0 0 20 0 3 0 29121799 179761152 789 33554432000 4194304 16246674 140736979186416 140736979185616 14063209 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9518/statm: 43887 789 216 2943 0 40781 0
[pid=9518/tid=9519] ppid=9515 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9519/stat : 9519 (toysat) S 9515 9518 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29121799 246870016 1342 33554432000 4194304 16246674 140736979186416 140394920652016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9518/tid=9520] ppid=9515 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9520/stat : 9520 (toysat) S 9515 9518 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121800 246870016 1369 33554432000 4194304 16246674 140736979186416 140394910162160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9518/tid=9521] ppid=9515 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9521/stat : 9521 (toysat) S 9515 9518 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121800 246870016 1393 33554432000 4194304 16246674 140736979186416 140394830490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 2.18 2.11 2.09 3/179 9518
/proc/meminfo: memFree=30193388/32872528 swapFree=526336/559040
[pid=9518] ppid=9515 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/9518/stat : 9518 (toysat) R 9515 9518 28898 0 -1 4202496 19844 0 0 0 6 3 0 0 20 0 4 0 29121799 1247350784 20704 33554432000 4194304 16246674 140736979186416 140736979185840 12874965 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9518/statm: 304529 20711 758 2943 0 301423 0
[pid=9518/tid=9519] ppid=9515 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9519/stat : 9519 (toysat) S 9515 9518 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29121799 1247350784 20713 33554432000 4194304 16246674 140736979186416 140394920652016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9518/tid=9520] ppid=9515 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9520/stat : 9520 (toysat) S 9515 9518 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121800 1247350784 20717 33554432000 4194304 16246674 140736979186416 140394910162160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9518/tid=9521] ppid=9515 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9521/stat : 9521 (toysat) S 9515 9518 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121800 1247350784 20722 33554432000 4194304 16246674 140736979186416 140394830490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200485 s]
/proc/loadavg: 2.18 2.11 2.09 3/179 9518
/proc/meminfo: memFree=30193388/32872528 swapFree=526336/559040
[pid=9518] ppid=9515 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/9518/stat : 9518 (toysat) R 9515 9518 28898 0 -1 4202496 35854 0 0 0 13 5 0 0 20 0 4 0 29121799 1247350784 36713 33554432000 4194304 16246674 140736979186416 140736979185840 13759916 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9518/statm: 304529 36721 758 2943 0 301423 0
[pid=9518/tid=9519] ppid=9515 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9519/stat : 9519 (toysat) S 9515 9518 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29121799 1247350784 36725 33554432000 4194304 16246674 140736979186416 140394920652016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9518/tid=9520] ppid=9515 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9520/stat : 9520 (toysat) S 9515 9518 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121800 1247350784 36729 33554432000 4194304 16246674 140736979186416 140394910162160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9518/tid=9521] ppid=9515 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9521/stat : 9521 (toysat) S 9515 9518 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121800 1247350784 36735 33554432000 4194304 16246674 140736979186416 140394830490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300429 s]
/proc/loadavg: 2.18 2.11 2.09 3/179 9518
/proc/meminfo: memFree=30193388/32872528 swapFree=526336/559040
[pid=9518] ppid=9515 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/9518/stat : 9518 (toysat) R 9515 9518 28898 0 -1 4202496 51041 0 0 0 22 7 0 0 20 0 4 0 29121799 1247350784 51900 33554432000 4194304 16246674 140736979186416 140736979185840 5711820 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9518/statm: 304529 51907 758 2943 0 301423 0
[pid=9518/tid=9519] ppid=9515 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9519/stat : 9519 (toysat) S 9515 9518 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29121799 1247350784 51911 33554432000 4194304 16246674 140736979186416 140394920652016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9518/tid=9520] ppid=9515 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9520/stat : 9520 (toysat) S 9515 9518 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121800 1247350784 51916 33554432000 4194304 16246674 140736979186416 140394910162160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9518/tid=9521] ppid=9515 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9521/stat : 9521 (toysat) S 9515 9518 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121800 1247350784 51920 33554432000 4194304 16246674 140736979186416 140394830490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700351 s]
/proc/loadavg: 2.18 2.11 2.09 3/179 9518
/proc/meminfo: memFree=30193388/32872528 swapFree=526336/559040
[pid=9518] ppid=9515 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/9518/stat : 9518 (toysat) R 9515 9518 28898 0 -1 4202496 115830 0 0 0 52 17 0 0 20 0 4 0 29121799 1247350784 116690 33554432000 4194304 16246674 140736979186416 140736979185840 5546181 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9518/statm: 304529 116697 765 2943 0 301423 0
[pid=9518/tid=9519] ppid=9515 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9519/stat : 9519 (toysat) S 9515 9518 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29121799 1247350784 116702 33554432000 4194304 16246674 140736979186416 140394920652016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9518/tid=9520] ppid=9515 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9520/stat : 9520 (toysat) S 9515 9518 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121800 1247350784 116707 33554432000 4194304 16246674 140736979186416 140394910162160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9518/tid=9521] ppid=9515 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9521/stat : 9521 (toysat) S 9515 9518 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121800 1247350784 116711 33554432000 4194304 16246674 140736979186416 140394830490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50037 s]
/proc/loadavg: 2.17 2.11 2.09 3/183 9522
/proc/meminfo: memFree=29442152/32872528 swapFree=526336/559040
[pid=9518] ppid=9515 vsize=1221188 CPUtime=1.49 cores=0,2,4,6
/proc/9518/stat : 9518 (toysat) R 9515 9518 28898 0 -1 4202496 246094 0 0 0 113 36 0 0 20 0 4 0 29121799 1250496512 246930 33554432000 4194304 16246674 140736979186416 140736979185728 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9518/statm: 305297 246930 831 2943 0 302191 0
[pid=9518/tid=9519] ppid=9515 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9519/stat : 9519 (toysat) S 9515 9518 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29121799 1250496512 246930 33554432000 4194304 16246674 140736979186416 140394920652016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9518/tid=9520] ppid=9515 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9520/stat : 9520 (toysat) S 9515 9518 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121800 1250496512 246930 33554432000 4194304 16246674 140736979186416 140394910162160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9518/tid=9521] ppid=9515 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9521/stat : 9521 (toysat) S 9515 9518 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121800 1250496512 246930 33554432000 4194304 16246674 140736979186416 140394830490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.1004 s]
/proc/loadavg: 2.17 2.11 2.09 3/183 9522
/proc/meminfo: memFree=29206924/32872528 swapFree=526336/559040
[pid=9518] ppid=9515 vsize=1303108 CPUtime=3.09 cores=0,2,4,6
/proc/9518/stat : 9518 (toysat) R 9515 9518 28898 0 -1 4202496 266771 0 0 0 270 39 0 0 20 0 4 0 29121799 1334382592 267607 33554432000 4194304 16246674 140736979186416 140736979168320 5711326 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9518/statm: 325777 267607 831 2943 0 322671 0
[pid=9518/tid=9519] ppid=9515 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9519/stat : 9519 (toysat) S 9515 9518 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29121799 1334382592 267607 33554432000 4194304 16246674 140736979186416 140394920652016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9518/tid=9520] ppid=9515 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9520/stat : 9520 (toysat) S 9515 9518 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121800 1334382592 267607 33554432000 4194304 16246674 140736979186416 140394910162160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9518/tid=9521] ppid=9515 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9521/stat : 9521 (toysat) S 9515 9518 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121800 1334382592 267607 33554432000 4194304 16246674 140736979186416 140394830490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1303108

[startup+6.3004 s]
/proc/loadavg: 2.15 2.11 2.09 3/183 9522
/proc/meminfo: memFree=29119436/32872528 swapFree=526336/559040
[pid=9518] ppid=9515 vsize=1307204 CPUtime=6.28 cores=0,2,4,6
/proc/9518/stat : 9518 (toysat) R 9515 9518 28898 0 -1 4202496 267894 0 0 0 589 39 0 0 20 0 4 0 29121799 1338576896 268730 33554432000 4194304 16246674 140736979186416 140736979168320 12478347 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9518/statm: 326801 268730 850 2943 0 323695 0
[pid=9518/tid=9519] ppid=9515 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9519/stat : 9519 (toysat) S 9515 9518 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29121799 1338576896 268730 33554432000 4194304 16246674 140736979186416 140394920652016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9518/tid=9520] ppid=9515 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9520/stat : 9520 (toysat) S 9515 9518 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121800 1338576896 268730 33554432000 4194304 16246674 140736979186416 140394910162160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9518/tid=9521] ppid=9515 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9521/stat : 9521 (toysat) S 9515 9518 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121800 1338576896 268730 33554432000 4194304 16246674 140736979186416 140394830490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.14 2.10 2.09 3/183 9522
/proc/meminfo: memFree=29115368/32872528 swapFree=526336/559040
[pid=9518] ppid=9515 vsize=1309252 CPUtime=12.68 cores=0,2,4,6
/proc/9518/stat : 9518 (toysat) R 9515 9518 28898 0 -1 4202496 268351 0 0 0 1229 39 0 0 20 0 4 0 29121799 1340674048 269187 33554432000 4194304 16246674 140736979186416 140736979168320 5711439 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9518/statm: 327313 269187 851 2943 0 324207 0
[pid=9518/tid=9519] ppid=9515 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9519/stat : 9519 (toysat) S 9515 9518 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29121799 1340674048 269187 33554432000 4194304 16246674 140736979186416 140394920652016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9518/tid=9520] ppid=9515 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9520/stat : 9520 (toysat) S 9515 9518 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121800 1340674048 269187 33554432000 4194304 16246674 140736979186416 140394910162160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9518/tid=9521] ppid=9515 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9521/stat : 9521 (toysat) S 9515 9518 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121800 1340674048 269187 33554432000 4194304 16246674 140736979186416 140394830490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1309252

[startup+25.5005 s]
/proc/loadavg: 2.11 2.10 2.09 3/183 9522
/proc/meminfo: memFree=29111044/32872528 swapFree=526336/559040
[pid=9518] ppid=9515 vsize=1313348 CPUtime=25.48 cores=0,2,4,6
/proc/9518/stat : 9518 (toysat) R 9515 9518 28898 0 -1 4202496 269433 0 0 0 2509 39 0 0 20 0 4 0 29121799 1344868352 270269 33554432000 4194304 16246674 140736979186416 140736979168320 5545885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9518/statm: 328337 270269 853 2943 0 325231 0
[pid=9518/tid=9519] ppid=9515 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9519/stat : 9519 (toysat) S 9515 9518 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29121799 1344868352 270269 33554432000 4194304 16246674 140736979186416 140394920652016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9518/tid=9520] ppid=9515 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9520/stat : 9520 (toysat) S 9515 9518 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121800 1344868352 270269 33554432000 4194304 16246674 140736979186416 140394910162160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9518/tid=9521] ppid=9515 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9521/stat : 9521 (toysat) S 9515 9518 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121800 1344868352 270269 33554432000 4194304 16246674 140736979186416 140394830490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.14 2.10 2.09 3/183 9571
/proc/meminfo: memFree=29117764/32872528 swapFree=526336/559040
[pid=9518] ppid=9515 vsize=1313348 CPUtime=51.07 cores=0,2,4,6
/proc/9518/stat : 9518 (toysat) R 9515 9518 28898 0 -1 4202496 269434 0 0 0 5068 39 0 0 20 0 4 0 29121799 1344868352 270270 33554432000 4194304 16246674 140736979186416 140736979168320 13780568 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9518/statm: 328337 270270 854 2943 0 325231 0
[pid=9518/tid=9519] ppid=9515 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9519/stat : 9519 (toysat) S 9515 9518 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29121799 1344868352 270270 33554432000 4194304 16246674 140736979186416 140394920652016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9518/tid=9520] ppid=9515 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9520/stat : 9520 (toysat) S 9515 9518 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121800 1344868352 270270 33554432000 4194304 16246674 140736979186416 140394910162160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9518/tid=9521] ppid=9515 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9521/stat : 9521 (toysat) S 9515 9518 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121800 1344868352 270270 33554432000 4194304 16246674 140736979186416 140394830490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.11 2.10 2.09 3/183 9620
/proc/meminfo: memFree=29118304/32872528 swapFree=526336/559040
[pid=9518] ppid=9515 vsize=1313348 CPUtime=102.27 cores=0,2,4,6
/proc/9518/stat : 9518 (toysat) R 9515 9518 28898 0 -1 4202496 269450 0 0 0 10187 40 0 0 20 0 4 0 29121799 1344868352 270273 33554432000 4194304 16246674 140736979186416 140736979168320 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9518/statm: 328337 270273 854 2943 0 325231 0
[pid=9518/tid=9519] ppid=9515 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9519/stat : 9519 (toysat) S 9515 9518 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29121799 1344868352 270273 33554432000 4194304 16246674 140736979186416 140394920652016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9518/tid=9520] ppid=9515 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9520/stat : 9520 (toysat) S 9515 9518 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121800 1344868352 270273 33554432000 4194304 16246674 140736979186416 140394910162160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9518/tid=9521] ppid=9515 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9521/stat : 9521 (toysat) S 9515 9518 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121800 1344868352 270273 33554432000 4194304 16246674 140736979186416 140394830490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1313348


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

/proc/9518/task/9521/stat : 9521 (toysat) S 9515 9518 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121800 1354305536 272577 33554432000 4194304 16246674 140736979186416 140394830490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1322564

[startup+1362.3 s]
/proc/loadavg: 2.09 2.13 2.09 3/183 9748
/proc/meminfo: memFree=29092528/32872528 swapFree=526336/559040
[pid=9518] ppid=9515 vsize=1322564 CPUtime=1361.9 cores=0,2,4,6
/proc/9518/stat : 9518 (toysat) R 9515 9518 28898 0 -1 4202496 272103 0 0 0 136142 48 0 0 20 0 4 0 29121799 1354305536 272577 33554432000 4194304 16246674 140736979186416 140736979168320 5545885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9518/statm: 330641 272577 854 2943 0 327535 0
[pid=9518/tid=9519] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9519/stat : 9519 (toysat) S 9515 9518 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29121799 1354305536 272577 33554432000 4194304 16246674 140736979186416 140394920652016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9518/tid=9520] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9520/stat : 9520 (toysat) S 9515 9518 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121800 1354305536 272577 33554432000 4194304 16246674 140736979186416 140394910162160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9518/tid=9521] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9521/stat : 9521 (toysat) S 9515 9518 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121800 1354305536 272577 33554432000 4194304 16246674 140736979186416 140394830490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1322564

[startup+1422.3 s]
/proc/loadavg: 2.08 2.12 2.09 3/183 9749
/proc/meminfo: memFree=29092448/32872528 swapFree=526336/559040
[pid=9518] ppid=9515 vsize=1322564 CPUtime=1421.9 cores=0,2,4,6
/proc/9518/stat : 9518 (toysat) R 9515 9518 28898 0 -1 4202496 272104 0 0 0 142141 49 0 0 20 0 4 0 29121799 1354305536 272578 33554432000 4194304 16246674 140736979186416 140736979168320 5677480 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9518/statm: 330641 272578 855 2943 0 327535 0
[pid=9518/tid=9519] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9519/stat : 9519 (toysat) S 9515 9518 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29121799 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394920652016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9518/tid=9520] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9520/stat : 9520 (toysat) S 9515 9518 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121800 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394910162160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9518/tid=9521] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9521/stat : 9521 (toysat) S 9515 9518 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121800 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394830490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1322564

[startup+1482.3 s]
/proc/loadavg: 2.19 2.14 2.10 4/183 9751
/proc/meminfo: memFree=29092492/32872528 swapFree=526336/559040
[pid=9518] ppid=9515 vsize=1322564 CPUtime=1481.88 cores=0,2,4,6
/proc/9518/stat : 9518 (toysat) R 9515 9518 28898 0 -1 4202496 272104 0 0 0 148139 49 0 0 20 0 4 0 29121799 1354305536 272578 33554432000 4194304 16246674 140736979186416 140736979168320 5546214 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9518/statm: 330641 272578 855 2943 0 327535 0
[pid=9518/tid=9519] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9519/stat : 9519 (toysat) S 9515 9518 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29121799 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394920652016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9518/tid=9520] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9520/stat : 9520 (toysat) S 9515 9518 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121800 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394910162160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9518/tid=9521] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9521/stat : 9521 (toysat) S 9515 9518 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121800 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394830490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1322564

[startup+1542.31 s]
/proc/loadavg: 2.13 2.13 2.09 3/184 9755
/proc/meminfo: memFree=29092524/32872528 swapFree=526336/559040
[pid=9518] ppid=9515 vsize=1322564 CPUtime=1541.88 cores=0,2,4,6
/proc/9518/stat : 9518 (toysat) R 9515 9518 28898 0 -1 4202496 272104 0 0 0 154139 49 0 0 20 0 4 0 29121799 1354305536 272578 33554432000 4194304 16246674 140736979186416 140736979168320 12482780 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9518/statm: 330641 272578 855 2943 0 327535 0
[pid=9518/tid=9519] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9519/stat : 9519 (toysat) S 9515 9518 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29121799 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394920652016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9518/tid=9520] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9520/stat : 9520 (toysat) S 9515 9518 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121800 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394910162160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9518/tid=9521] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9521/stat : 9521 (toysat) S 9515 9518 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121800 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394830490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1322564

[startup+1602.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/183 9756
/proc/meminfo: memFree=29092652/32872528 swapFree=526336/559040
[pid=9518] ppid=9515 vsize=1322564 CPUtime=1601.86 cores=0,2,4,6
/proc/9518/stat : 9518 (toysat) R 9515 9518 28898 0 -1 4202496 272104 0 0 0 160137 49 0 0 20 0 4 0 29121799 1354305536 272578 33554432000 4194304 16246674 140736979186416 140736979168320 5600384 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9518/statm: 330641 272578 855 2943 0 327535 0
[pid=9518/tid=9519] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9519/stat : 9519 (toysat) S 9515 9518 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29121799 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394920652016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9518/tid=9520] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9520/stat : 9520 (toysat) S 9515 9518 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121800 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394910162160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9518/tid=9521] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9521/stat : 9521 (toysat) S 9515 9518 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121800 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394830490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1322564

[startup+1662.3 s]
/proc/loadavg: 2.21 2.14 2.10 4/183 9757
/proc/meminfo: memFree=29092524/32872528 swapFree=526336/559040
[pid=9518] ppid=9515 vsize=1322564 CPUtime=1661.85 cores=0,2,4,6
/proc/9518/stat : 9518 (toysat) R 9515 9518 28898 0 -1 4202496 272104 0 0 0 166135 50 0 0 20 0 4 0 29121799 1354305536 272578 33554432000 4194304 16246674 140736979186416 140736979168320 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9518/statm: 330641 272578 855 2943 0 327535 0
[pid=9518/tid=9519] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9519/stat : 9519 (toysat) S 9515 9518 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29121799 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394920652016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9518/tid=9520] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9520/stat : 9520 (toysat) S 9515 9518 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121800 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394910162160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9518/tid=9521] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9521/stat : 9521 (toysat) S 9515 9518 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121800 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394830490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1322564

[startup+1722.3 s]
/proc/loadavg: 2.14 2.12 2.09 3/183 9758
/proc/meminfo: memFree=29092272/32872528 swapFree=526336/559040
[pid=9518] ppid=9515 vsize=1322564 CPUtime=1721.84 cores=0,2,4,6
/proc/9518/stat : 9518 (toysat) R 9515 9518 28898 0 -1 4202496 272104 0 0 0 172134 50 0 0 20 0 4 0 29121799 1354305536 272578 33554432000 4194304 16246674 140736979186416 140736979168320 13198582 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9518/statm: 330641 272578 855 2943 0 327535 0
[pid=9518/tid=9519] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9519/stat : 9519 (toysat) S 9515 9518 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29121799 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394920652016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9518/tid=9520] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9520/stat : 9520 (toysat) S 9515 9518 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121800 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394910162160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9518/tid=9521] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9521/stat : 9521 (toysat) S 9515 9518 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121800 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394830490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1322564

[startup+1782.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/183 9760
/proc/meminfo: memFree=29091284/32872528 swapFree=526336/559040
[pid=9518] ppid=9515 vsize=1322564 CPUtime=1781.83 cores=0,2,4,6
/proc/9518/stat : 9518 (toysat) R 9515 9518 28898 0 -1 4202496 272104 0 0 0 178133 50 0 0 20 0 4 0 29121799 1354305536 272578 33554432000 4194304 16246674 140736979186416 140736979168320 5673420 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9518/statm: 330641 272578 855 2943 0 327535 0
[pid=9518/tid=9519] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9519/stat : 9519 (toysat) S 9515 9518 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29121799 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394920652016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9518/tid=9520] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9520/stat : 9520 (toysat) S 9515 9518 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121800 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394910162160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9518/tid=9521] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9521/stat : 9521 (toysat) S 9515 9518 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121800 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394830490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1322564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.12 2.11 2.09 3/183 9760
/proc/meminfo: memFree=29091532/32872528 swapFree=526336/559040
[pid=9518] ppid=9515 vsize=1322564 CPUtime=1800.04 cores=0,2,4,6
/proc/9518/stat : 9518 (toysat) R 9515 9518 28898 0 -1 4202496 272104 0 0 0 179953 51 0 0 20 0 4 0 29121799 1354305536 272578 33554432000 4194304 16246674 140736979186416 140736979168320 5723034 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9518/statm: 330641 272578 855 2943 0 327535 0
[pid=9518/tid=9519] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9519/stat : 9519 (toysat) S 9515 9518 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29121799 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394920652016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9518/tid=9520] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9520/stat : 9520 (toysat) S 9515 9518 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121800 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394910162160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9518/tid=9521] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9521/stat : 9521 (toysat) S 9515 9518 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121800 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394830490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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 9518 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.12 2.11 2.09 3/183 9760
/proc/meminfo: memFree=29091532/32872528 swapFree=526336/559040
[pid=9518] ppid=9515 vsize=1322564 CPUtime=1800.04 cores=0,2,4,6
/proc/9518/stat : 9518 (toysat) R 9515 9518 28898 0 -1 4202496 272104 0 0 0 179953 51 0 0 20 0 4 0 29121799 1354305536 272578 33554432000 4194304 16246674 140736979186416 140736979168320 5723034 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9518/statm: 330641 272578 855 2943 0 327535 0
[pid=9518/tid=9519] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9519/stat : 9519 (toysat) S 9515 9518 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29121799 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394920652016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9518/tid=9520] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9520/stat : 9520 (toysat) S 9515 9518 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121800 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394910162160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9518/tid=9521] ppid=9515 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/9518/task/9521/stat : 9521 (toysat) S 9515 9518 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121800 1354305536 272578 33554432000 4194304 16246674 140736979186416 140394830490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1322564

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.510922
maximum resident set size= 1090312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272104
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= 380
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5973 second user time and 6.92495 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 19:25:17
IDJOB=4106397
IDBENCH=48045
IDSOLVER=2542
FILE ID=node106/4106397-1466270717
RUNJOBID= node106-1466241787-28914
PBS_JOBID= 19918214
Free space on /tmp= 71684 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=211-P1=331-P2=199-P3=307-P4=457-P5=293-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106397-1466270717/watcher-4106397-1466270717 -o /tmp/evaluation-result-4106397-1466270717/solver-4106397-1466270717 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106397-1466270717.opb

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

MD5SUM BENCH= 55e3096e9013fd2f39f8572a635bf07d
RANDOM SEED=2080433994

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30194024 kB
Buffers:           91796 kB
Cached:           197068 kB
SwapCached:         1736 kB
Active:          1180872 kB
Inactive:         192040 kB
Active(anon):    1082552 kB
Inactive(anon):     4000 kB
Active(file):      98320 kB
Inactive(file):   188040 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             16344 kB
Writeback:             0 kB
AnonPages:       1743148 kB
Mapped:            10444 kB
Shmem:                 0 kB
Slab:             612792 kB
SReclaimable:      56564 kB
SUnreclaim:       556228 kB
KernelStack:        1488 kB
PageTables:         7348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1784164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    450560 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= 71668 MiB
End job on node106 at 2016-06-18 19:55:17