Trace number 4106007

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=223-P1=29-P2=7-P3=83-P4=113-P5=223-P6=229-B.opb
MD5SUM6355c589dda3f12b095277ae4637ab26
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.103983
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 variables144
Total number of constraints13
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 constraints13
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)384
Sum of products size (including duplicates)768
Number of different products384
Sum of products size768

Solver Data 

0.00/0.00	c 2016-06-18T16:51:58+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-4106007-1466261518.opb"]
0.00/0.01	c use --random-gen="2549815955 1941586405 1071446957 3932563691 2692720862 2315486097 1937954636 4242428725 53431095 2277342583 2967782320 1687789053 2746460031 1235313959 168664406 3482853731 3814400130 81076406 642874956 156165397 1931594328 1394807527 1634001898 761665836 148586266 4039178616 4006431646 1627306942 2017417961 3292414611 3396840593 2489559496 1468473768 2450978635 1716428342 2392417442 3155900412 1607453975 2410304933 2065584482 3739306086 271059416 3305771838 3343598363 1492730977 633126348 2189257197 2651508457 2013917518 2712462844 890797366 328425086 4084378179 1584577696 329611450 3718436880 4286948890 4007389407 2728426768 3956647148 2902652590 126313578 2191300150 3583556307 3701406312 2357676823 2343147489 576857001 343388525 1038766998 418581445 28804727 588786010 1903661907 2470718453 3545977198 3645711578 744193983 3427080051 209717422 1638729709 2981667031 894282863 2880741326 3918918281 2957446882 2609186195 3489975615 2923799708 3764076239 2495412404 2560458256 960232832 53992857 2048302402 3953952634 3884637237 2948627577 1532697837 2145222519 3954698947 1221732828 1784373023 422192301 160069995 944874767 1504527869 2022927208 2943733990 2170508472 3071461230 1652727992 1452130367 348615922 3956864050 2864946745 3941991172 1078899751 969978179 352917397 2403201632 3301053145 3847502091 3281849835 197754011 3030850804 4065853995 2429716737 123121951 3305352173 4203636059 2869301720 942277678 1399901789 921792448 3148657380 1374637537 2524774217 758067092 1364312496 891868368 2616975942 1301190047 73021925 3589439107 3289496157 3414917909 3018476952 2332073362 3886020218 3473369353 2481925209 3761973054 352223322 2256618315 633893256 1623048581 1660484853 4063670078 3194266610 2357026240 407368487 1191459830 2489326293 777624985 1812116596 3797933279 722216968 3570562008 987777433 2605543129 653439449 2720959776 64514848 419292922 782429131 4348086 4193301654 1896899435 612832682 2121777050 2074316821 1552472036 3647641077 1066655095 3802112045 1875683712 937001158 1531546670 1665322050 823246162 629043394 3121855175 4260651683 797656061 1146584364 3191450799 1366929443 3708440347 2516395690 2577478548 4232206859 2541778352 1389553298 21411530 4246029905 579807126 378127682 3967818541 1888750883 4013061647 429840444 1148060221 3176000176 1356230493 2692610581 2739769086 2381522840 1268189268 3966588858 919678896 3591438728 3173104818 117766600 58063547 4117366720 4211418554 412851232 3907730534 695072435 3182831931 1259123533 1225974211 1186114355 2103747155 4072317070 3854700691 1349168078 945320463 1514225841 4154116120 1305643724 1313854756 768164209 542023230 1109623983 4061596442 3675079879 4135944225 4184382911 911381307 393491848 452386757 284802403 3290021108 1049349582 255 362436" option to reproduce the execution
0.00/0.01	c #vars 144
0.00/0.01	c #constraints 13
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      566      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      133 |      100 |      566      0 |        0 |        0
0.00/0.09	c  0.1s |       2 |      333 |      250 |      623      0 |        0 |        0
0.09/0.18	c  0.2s |       3 |      663 |      475 |      686      0 |        0 |        0
0.19/0.28	c  0.3s |       4 |     1097 |      813 |      755      0 |        0 |        0
0.39/0.45	c  0.4s |       5 |     1813 |     1320 |      831      1 |        0 |        0
0.69/0.75	c  0.7s |       6 |     2704 |     2081 |     1007      2 |        0 |        0
1.09/1.19	c  1.2s |       7 |     3924 |     3223 |     1108      4 |        0 |        0
1.58/1.61	c  1.6s |       7 |     5638 |     4806 |     1108      6 |        0 |        0
1.58/1.61	c #cpu_time = 1.585s
1.58/1.61	c #wall_clock_time = 1.590s
1.58/1.61	c #decision = 5638
1.58/1.61	c #random_decision = 21
1.58/1.61	c #conflict = 4806
1.58/1.61	c #restart = 7
1.58/1.61	o 237
1.58/1.61	c BCD2: updating upper bound: 255 -> 236
1.58/1.61	c BCD2: 0 <= obj <= 236
1.58/1.61	c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0
1.58/1.61	c BCD2: #sat=1 #unsat=1 bias=1/2
1.58/1.61	c Solving starts ...
1.58/1.61	c ============================[ Search Statistics ]============================
1.58/1.61	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.58/1.61	c       |         |          |          |    Limit     GC | Var      | Constra 
1.58/1.61	c =============================================================================
1.58/1.61	c  0.0s |       0 |        0 |        0 |     1108      0 |        0 |        0
1.58/1.62	c  0.0s |       0 |        6 |        0 |     1108      1 |        0 |        0
1.58/1.62	c #cpu_time = 0.008s
1.58/1.62	c #wall_clock_time = 0.008s
1.58/1.62	c #decision = 6
1.58/1.62	c #random_decision = 0
1.58/1.62	c #conflict = 0
1.58/1.62	c #restart = 0
1.58/1.62	c BCD2: found a new core of size 7: cost of the new core is >=2
1.58/1.62	c lower bound updated to 2
1.58/1.62	c BCD2: 2 <= obj <= 236
1.58/1.62	c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0
1.58/1.62	c BCD2: #sat=1 #unsat=2 bias=2/3
1.58/1.62	c Solving starts ...
1.58/1.62	c ============================[ Search Statistics ]============================
1.58/1.62	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.58/1.62	c       |         |          |          |    Limit     GC | Var      | Constra 
1.58/1.62	c =============================================================================
1.58/1.62	c  0.0s |       0 |        0 |        0 |     1108      0 |        0 |        0
1.58/1.64	c  0.0s |       1 |      199 |      100 |     1108      0 |        0 |        0
1.68/1.73	c  0.1s |       2 |      414 |      250 |     1219      0 |        0 |        0
1.78/1.89	c  0.3s |       3 |      712 |      475 |     1219      0 |        0 |        0
1.88/1.94	c  0.3s |       4 |     1067 |      813 |     1219      1 |        0 |        0
1.98/2.07	c  0.5s |       5 |     1648 |     1320 |     1219      1 |        0 |        0
2.30/2.35	c  0.7s |       6 |     2601 |     2081 |     1219      2 |        0 |        0
2.58/2.62	c  1.0s |       7 |     3889 |     3223 |     1341      4 |        0 |        0
2.88/2.93	c  1.3s |       8 |     5667 |     4936 |     1341      6 |        0 |        0
3.59/3.68	c  2.1s |       9 |     8324 |     7506 |     1476      8 |        0 |        0
4.59/4.65	c  3.0s |      10 |    12573 |    11361 |     1476     13 |        0 |        0
5.89/5.92	c  4.3s |      11 |    18827 |    17144 |     1624     18 |        0 |        0
7.89/7.93	c  6.3s |      11 |    27042 |    24844 |     1787     26 |        0 |        0
8.09/8.18	c  6.6s |      12 |    28031 |    25819 |     1787     27 |        0 |        0
10.09/10.18	c  8.6s |      12 |    35056 |    32619 |     1787     33 |        0 |        0
11.89/11.91	c 10.3s |      13 |    41505 |    38832 |     1966     38 |        0 |        0
13.89/13.92	c 12.3s |      13 |    48440 |    45332 |     1966     43 |        0 |        0
15.89/15.93	c 14.3s |      13 |    55165 |    51732 |     1966     49 |        0 |        0
17.79/17.89	c 16.3s |      14 |    62113 |    58352 |     2163     54 |        0 |        0
19.89/19.91	c 18.3s |      14 |    70369 |    66152 |     2163     60 |        0 |        0
21.89/21.94	c 20.3s |      14 |    77836 |    73352 |     2163     66 |        0 |        0
23.89/23.95	c 22.3s |      14 |    85798 |    80952 |     2163     72 |        0 |        0
25.79/25.86	c 24.2s |      15 |    92856 |    87632 |     2380     77 |        0 |        0
27.78/27.88	c 26.3s |      15 |   101276 |    95632 |     2380     83 |        0 |        0
29.88/29.92	c 28.3s |      15 |   106441 |    99832 |     2380     86 |        0 |        0
31.89/31.94	c 30.3s |      15 |   112847 |   105332 |     2380     90 |        0 |        0
33.88/33.98	c 32.4s |      15 |   119430 |   111632 |     2380     95 |        0 |        0
35.88/35.98	c 34.4s |      15 |   125939 |   117732 |     2380     99 |        0 |        0
37.88/37.98	c 36.4s |      15 |   131998 |   123532 |     2380    103 |        0 |        0
39.98/40.02	c 38.4s |      15 |   138265 |   129532 |     2618    107 |        0 |        0
40.69/40.75	c 39.1s |      16 |   140321 |   131552 |     2618    109 |        0 |        0
42.68/42.76	c 41.1s |      16 |   149867 |   140452 |     2618    115 |        0 |        0
44.68/44.77	c 43.1s |      16 |   158845 |   148952 |     2618    121 |        0 |        0
46.68/46.78	c 45.2s |      16 |   166047 |   155952 |     2618    125 |        0 |        0
48.68/48.79	c 47.2s |      16 |   173672 |   163452 |     2618    130 |        0 |        0
50.78/50.83	c 49.2s |      16 |   180895 |   170552 |     2618    135 |        0 |        0
52.78/52.86	c 51.2s |      16 |   189191 |   178752 |     2618    140 |        0 |        0
54.78/54.86	c 53.2s |      16 |   195959 |   185352 |     2618    145 |        0 |        0
56.78/56.88	c 55.3s |      16 |   203631 |   192852 |     2880    149 |        0 |        0
58.08/58.14	c 56.5s |      17 |   208374 |   197432 |     2880    152 |        0 |        0
60.08/60.15	c 58.5s |      17 |   214647 |   203332 |     2880    156 |        0 |        0
62.08/62.16	c 60.5s |      17 |   220237 |   208532 |     2880    159 |        0 |        0
64.08/64.19	c 62.6s |      17 |   225856 |   213632 |     2880    163 |        0 |        0
66.17/66.20	c 64.6s |      17 |   230876 |   218432 |     2880    166 |        0 |        0
68.07/68.20	c 66.6s |      17 |   236433 |   223532 |     2880    169 |        0 |        0
70.17/70.22	c 68.6s |      17 |   241423 |   228232 |     2880    172 |        0 |        0
72.17/72.23	c 70.6s |      17 |   245720 |   232232 |     2880    174 |        0 |        0
74.18/74.24	c 72.6s |      17 |   250929 |   236732 |     2880    177 |        0 |        0
76.18/76.28	c 74.7s |      17 |   257182 |   242532 |     2880    181 |        0 |        0
78.19/78.28	c 76.7s |      17 |   261471 |   246432 |     2880    183 |        0 |        0
80.29/80.32	c 78.7s |      17 |   266728 |   251232 |     2880    186 |        0 |        0
82.28/82.35	c 80.7s |      17 |   271147 |   255232 |     2880    189 |        0 |        0
84.28/84.36	c 82.7s |      17 |   275460 |   259232 |     2880    191 |        0 |        0
86.38/86.44	c 84.8s |      17 |   279623 |   263132 |     2880    194 |        0 |        0
88.38/88.46	c 86.8s |      17 |   284960 |   267932 |     2880    197 |        0 |        0
90.38/90.48	c 88.9s |      17 |   290466 |   273232 |     2880    200 |        0 |        0
92.38/92.49	c 90.9s |      17 |   296466 |   278832 |     2880    204 |        0 |        0
94.48/94.50	c 92.9s |      17 |   302137 |   284232 |     2880    207 |        0 |        0
96.48/96.52	c 94.9s |      17 |   308503 |   290532 |     3169    211 |        0 |        0
97.98/98.04	c 96.4s |      18 |   314325 |   296252 |     3169    214 |        0 |        0
99.98/100.05	c 98.4s |      18 |   322087 |   303652 |     3169    218 |        0 |        0
101.98/102.06	c  100s |      18 |   329375 |   310552 |     3169    222 |        0 |        0
103.98/104.09	c  102s |      18 |   336633 |   317552 |     3169    226 |        0 |        0
106.07/106.12	c  104s |      18 |   343239 |   323852 |     3169    230 |        0 |        0
108.07/108.13	c  106s |      18 |   350335 |   330552 |     3169    234 |        0 |        0
110.08/110.15	c  108s |      18 |   357716 |   337652 |     3169    238 |        0 |        0
112.07/112.17	c  110s |      18 |   364884 |   344452 |     3169    242 |        0 |        0
114.17/114.20	c  112s |      18 |   372170 |   351352 |     3169    246 |        0 |        0
116.17/116.21	c  114s |      18 |   378463 |   357252 |     3169    249 |        0 |        0
118.17/118.21	c  116s |      18 |   385205 |   363452 |     3169    253 |        0 |        0
120.17/120.23	c  118s |      18 |   392472 |   370352 |     3169    256 |        0 |        0
122.18/122.23	c  120s |      18 |   399570 |   377152 |     3169    260 |        0 |        0
124.17/124.27	c  122s |      18 |   406739 |   383952 |     3169    264 |        0 |        0
126.17/126.28	c  124s |      18 |   413310 |   390252 |     3169    268 |        0 |        0
128.27/128.31	c  126s |      18 |   419794 |   396352 |     3169    272 |        0 |        0
130.27/130.31	c  128s |      18 |   425742 |   402052 |     3169    275 |        0 |        0
132.26/132.34	c  130s |      18 |   431911 |   407952 |     3169    278 |        0 |        0
134.27/134.36	c  132s |      18 |   438147 |   413952 |     3169    282 |        0 |        0
136.26/136.39	c  134s |      18 |   444338 |   419752 |     3169    285 |        0 |        0
138.36/138.41	c  136s |      18 |   450197 |   425352 |     3169    288 |        0 |        0
140.36/140.41	c  138s |      18 |   456413 |   431352 |     3169    291 |        0 |        0
142.36/142.45	c  140s |      18 |   462415 |   436952 |     3486    295 |        0 |        0
144.37/144.46	c  142s |      18 |   467930 |   442052 |     3486    297 |        0 |        0
145.28/145.40	c  143s |      19 |   470443 |   444482 |     3486    298 |        0 |        0
147.38/147.41	c  145s |      19 |   478350 |   452082 |     3486    302 |        0 |        0
149.37/149.42	c  147s |      19 |   486065 |   459682 |     3486    306 |        0 |        0
151.37/151.44	c  149s |      19 |   493695 |   467082 |     3486    310 |        0 |        0
153.37/153.45	c  151s |      19 |   501425 |   474682 |     3486    314 |        0 |        0
155.37/155.47	c  153s |      19 |   508472 |   481582 |     3486    318 |        0 |        0
157.38/157.47	c  155s |      19 |   515503 |   488482 |     3486    322 |        0 |        0
159.37/159.49	c  157s |      19 |   523146 |   495882 |     3486    325 |        0 |        0
161.47/161.50	c  159s |      19 |   530146 |   502682 |     3486    329 |        0 |        0
163.47/163.53	c  161s |      19 |   536759 |   509182 |     3486    333 |        0 |        0
165.47/165.54	c  163s |      19 |   544594 |   516782 |     3486    337 |        0 |        0
167.47/167.55	c  165s |      19 |   552093 |   524182 |     3486    340 |        0 |        0
169.47/169.56	c  167s |      19 |   559166 |   530982 |     3486    344 |        0 |        0
171.47/171.58	c  169s |      19 |   566088 |   537782 |     3486    348 |        0 |        0
173.57/173.61	c  171s |      19 |   572836 |   544282 |     3486    351 |        0 |        0
175.57/175.61	c  173s |      19 |   580218 |   551482 |     3486    355 |        0 |        0
177.57/177.63	c  176s |      19 |   588328 |   559382 |     3486    359 |        0 |        0
179.56/179.65	c  178s |      19 |   595967 |   566882 |     3486    363 |        0 |        0
181.57/181.65	c  180s |      19 |   603457 |   574182 |     3486    367 |        0 |        0
183.56/183.66	c  182s |      19 |   610886 |   581482 |     3486    371 |        0 |        0
185.56/185.68	c  184s |      19 |   618800 |   588982 |     3486    375 |        0 |        0
187.66/187.71	c  186s |      19 |   626615 |   596382 |     3486    379 |        0 |        0
189.66/189.73	c  188s |      19 |   634182 |   603882 |     3486    382 |        0 |        0
191.66/191.73	c  190s |      19 |   641287 |   610782 |     3486    386 |        0 |        0
193.67/193.76	c  192s |      19 |   647685 |   616982 |     3486    389 |        0 |        0
195.66/195.78	c  194s |      19 |   654728 |   623882 |     3486    393 |        0 |        0
197.76/197.80	c  196s |      19 |   662078 |   630882 |     3486    397 |        0 |        0
199.76/199.80	c  198s |      19 |   668964 |   637182 |     3486    400 |        0 |        0
201.76/201.81	c  200s |      19 |   675783 |   643682 |     3486    404 |        0 |        0
203.76/203.85	c  202s |      19 |   681714 |   649182 |     3486    407 |        0 |        0
205.77/205.87	c  204s |      19 |   688500 |   655582 |     3486    410 |        0 |        0
207.76/207.87	c  206s |      19 |   695460 |   662182 |     3835    413 |        0 |        0
209.36/209.45	c  207s |      20 |   700383 |   666827 |     3835    415 |        0 |        0
211.36/211.47	c  209s |      20 |   704876 |   670627 |     3835    417 |        0 |        0
213.36/213.48	c  211s |      20 |   708858 |   674327 |     3835    419 |        0 |        0
215.36/215.49	c  213s |      20 |   714992 |   680227 |     3835    422 |        0 |        0
217.46/217.52	c  215s |      20 |   720668 |   685627 |     3835    424 |        0 |        0
219.46/219.52	c  217s |      20 |   725834 |   690527 |     3835    426 |        0 |        0
221.46/221.59	c  219s |      20 |   732044 |   696227 |     3835    429 |        0 |        0
223.46/223.59	c  221s |      20 |   736233 |   700027 |     3835    431 |        0 |        0
225.56/225.61	c  223s |      20 |   742581 |   705327 |     3835    433 |        0 |        0
227.55/227.65	c  226s |      20 |   747776 |   709027 |     3835    435 |        0 |        0
229.55/229.67	c  228s |      20 |   751825 |   711827 |     3835    437 |        0 |        0
231.55/231.67	c  230s |      20 |   757758 |   717527 |     3835    439 |        0 |        0
233.55/233.70	c  232s |      20 |   763518 |   723127 |     3835    442 |        0 |        0
235.65/235.70	c  234s |      20 |   769272 |   728727 |     3835    444 |        0 |        0
237.66/237.72	c  236s |      20 |   775366 |   734627 |     3835    447 |        0 |        0
239.65/239.76	c  238s |      20 |   780433 |   739427 |     3835    449 |        0 |        0
241.65/241.78	c  240s |      20 |   786097 |   744827 |     3835    452 |        0 |        0
243.65/243.79	c  242s |      20 |   792289 |   750927 |     3835    455 |        0 |        0
245.75/245.83	c  244s |      20 |   798501 |   756927 |     3835    457 |        0 |        0
247.75/247.85	c  246s |      20 |   805056 |   763227 |     3835    460 |        0 |        0
249.75/249.87	c  248s |      20 |   810940 |   768927 |     3835    463 |        0 |        0
251.75/251.90	c  250s |      20 |   815690 |   773527 |     3835    465 |        0 |        0
253.85/253.91	c  252s |      20 |   820963 |   778527 |     3835    468 |        0 |        0
255.85/255.96	c  254s |      20 |   826263 |   783527 |     3835    470 |        0 |        0
257.84/257.96	c  256s |      20 |   830700 |   787527 |     3835    472 |        0 |        0
259.84/259.97	c  258s |      20 |   837075 |   793527 |     3835    475 |        0 |        0
261.85/261.98	c  260s |      20 |   843227 |   799527 |     3835    477 |        0 |        0
263.84/264.00	c  262s |      20 |   847736 |   803627 |     3835    479 |        0 |        0
265.94/266.04	c  264s |      20 |   852155 |   807827 |     3835    481 |        0 |        0
267.94/268.07	c  266s |      20 |   856888 |   812327 |     3835    483 |        0 |        0
269.94/270.09	c  268s |      20 |   862029 |   816927 |     3835    486 |        0 |        0
272.04/272.11	c  270s |      20 |   867786 |   822127 |     3835    488 |        0 |        0
274.04/274.15	c  272s |      20 |   874912 |   828827 |     3835    491 |        0 |        0
276.05/276.17	c  274s |      20 |   880651 |   834127 |     3835    494 |        0 |        0
278.04/278.17	c  276s |      20 |   885278 |   838527 |     3835    496 |        0 |        0
280.04/280.17	c  278s |      20 |   891614 |   844527 |     3835    499 |        0 |        0
282.04/282.18	c  280s |      20 |   897323 |   850027 |     3835    501 |        0 |        0
284.14/284.20	c  282s |      20 |   903538 |   856127 |     3835    504 |        0 |        0
286.15/286.21	c  284s |      20 |   909710 |   862127 |     3835    507 |        0 |        0
288.16/288.26	c  286s |      20 |   915927 |   868227 |     3835    510 |        0 |        0
290.15/290.28	c  288s |      20 |   922076 |   874227 |     3835    513 |        0 |        0
292.15/292.29	c  290s |      20 |   928720 |   880727 |     3835    516 |        0 |        0
294.25/294.32	c  292s |      20 |   934694 |   886327 |     3835    518 |        0 |        0
296.25/296.36	c  294s |      20 |   939671 |   890927 |     3835    520 |        0 |        0
298.25/298.37	c  296s |      20 |   946223 |   897327 |     3835    523 |        0 |        0
300.25/300.39	c  298s |      20 |   953221 |   904127 |     3835    527 |        0 |        0
302.35/302.41	c  300s |      20 |   959719 |   910327 |     3835    529 |        0 |        0
304.35/304.41	c  302s |      20 |   966491 |   916827 |     3835    533 |        0 |        0
306.35/306.45	c  304s |      20 |   972415 |   922527 |     3835    535 |        0 |        0
308.35/308.47	c  306s |      20 |   977645 |   927627 |     3835    538 |        0 |        0
310.44/310.50	c  308s |      20 |   983442 |   933227 |     3835    540 |        0 |        0
312.45/312.52	c  310s |      20 |   989017 |   938627 |     3835    543 |        0 |        0
314.44/314.53	c  312s |      20 |   994885 |   944327 |     3835    545 |        0 |        0
316.44/316.55	c  314s |      20 |  1001286 |   950527 |     3835    548 |        0 |        0
318.44/318.58	c  316s |      20 |  1007302 |   956227 |     3835    551 |        0 |        0
320.44/320.59	c  318s |      20 |  1013489 |   962027 |     3835    554 |        0 |        0
322.54/322.61	c  320s |      20 |  1020025 |   968327 |     3835    557 |        0 |        0
324.55/324.63	c  323s |      20 |  1026281 |   974227 |     3835    559 |        0 |        0
326.54/326.67	c  325s |      20 |  1032985 |   980727 |     3835    563 |        0 |        0
328.54/328.67	c  327s |      20 |  1039579 |   987027 |     3835    565 |        0 |        0
330.64/330.70	c  329s |      20 |  1046034 |   993227 |     4219    568 |        0 |        0
332.64/332.70	c  331s |      20 |  1051926 |   998727 |     4219    570 |        0 |        0
333.14/333.26	c  331s |      21 |  1053744 |  1000345 |     4219    571 |        0 |        0
335.14/335.29	c  333s |      21 |  1061411 |  1007545 |     4219    574 |        0 |        0
337.24/337.31	c  335s |      21 |  1068058 |  1013945 |     4219    577 |        0 |        0
339.24/339.33	c  337s |      21 |  1074404 |  1020045 |     4219    580 |        0 |        0
341.24/341.36	c  339s |      21 |  1080081 |  1025445 |     4219    582 |        0 |        0
343.24/343.37	c  341s |      21 |  1086369 |  1031545 |     4219    585 |        0 |        0
345.24/345.38	c  343s |      21 |  1093205 |  1038245 |     4219    587 |        0 |        0
347.24/347.39	c  345s |      21 |  1099878 |  1044645 |     4219    590 |        0 |        0
349.24/349.39	c  347s |      21 |  1106383 |  1050845 |     4219    593 |        0 |        0
351.34/351.41	c  349s |      21 |  1112626 |  1056845 |     4219    596 |        0 |        0
353.34/353.43	c  351s |      21 |  1118873 |  1062545 |     4219    598 |        0 |        0
355.34/355.47	c  353s |      21 |  1124986 |  1068345 |     4219    601 |        0 |        0
357.33/357.47	c  355s |      21 |  1131173 |  1074145 |     4219    603 |        0 |        0
359.33/359.48	c  357s |      21 |  1137736 |  1080445 |     4219    606 |        0 |        0
361.43/361.52	c  359s |      21 |  1144222 |  1086745 |     4219    609 |        0 |        0
363.43/363.55	c  361s |      21 |  1149870 |  1092145 |     4219    611 |        0 |        0
365.43/365.57	c  363s |      21 |  1155418 |  1097445 |     4219    613 |        0 |        0
367.53/367.60	c  365s |      21 |  1161341 |  1103145 |     4219    616 |        0 |        0
369.43/369.60	c  367s |      21 |  1167806 |  1109445 |     4219    618 |        0 |        0
371.53/371.61	c  369s |      21 |  1173732 |  1115245 |     4219    621 |        0 |        0
373.53/373.62	c  371s |      21 |  1179802 |  1121045 |     4219    623 |        0 |        0
375.53/375.63	c  374s |      21 |  1186484 |  1127445 |     4219    626 |        0 |        0
377.53/377.64	c  376s |      21 |  1193365 |  1134145 |     4219    629 |        0 |        0
379.54/379.65	c  378s |      21 |  1199305 |  1139845 |     4219    631 |        0 |        0
381.53/381.66	c  380s |      21 |  1205798 |  1145845 |     4219    634 |        0 |        0
383.53/383.68	c  382s |      21 |  1212505 |  1152145 |     4219    637 |        0 |        0
385.53/385.68	c  384s |      21 |  1219223 |  1158545 |     4219    640 |        0 |        0
387.63/387.71	c  386s |      21 |  1226104 |  1164945 |     4219    642 |        0 |        0
389.63/389.73	c  388s |      21 |  1232866 |  1171045 |     4219    645 |        0 |        0
391.64/391.74	c  390s |      21 |  1238634 |  1176545 |     4219    647 |        0 |        0
393.63/393.76	c  392s |      21 |  1244825 |  1182245 |     4219    650 |        0 |        0
395.73/395.80	c  394s |      21 |  1250928 |  1187945 |     4219    652 |        0 |        0
397.73/397.81	c  396s |      21 |  1258463 |  1194945 |     4219    655 |        0 |        0
399.73/399.86	c  398s |      21 |  1264750 |  1201045 |     4219    658 |        0 |        0
401.73/401.88	c  400s |      21 |  1269750 |  1205945 |     4219    660 |        0 |        0
403.73/403.89	c  402s |      21 |  1276201 |  1212245 |     4219    663 |        0 |        0
405.83/405.91	c  404s |      21 |  1282853 |  1218645 |     4219    666 |        0 |        0
407.82/407.93	c  406s |      21 |  1289113 |  1224545 |     4219    668 |        0 |        0
409.82/409.96	c  408s |      21 |  1295559 |  1230645 |     4219    671 |        0 |        0
411.82/411.98	c  410s |      21 |  1301271 |  1235945 |     4219    673 |        0 |        0
413.82/413.98	c  412s |      21 |  1307016 |  1241545 |     4219    675 |        0 |        0
415.92/416.02	c  414s |      21 |  1313133 |  1247445 |     4219    678 |        0 |        0
417.93/418.05	c  416s |      21 |  1319327 |  1253345 |     4219    681 |        0 |        0
419.92/420.06	c  418s |      21 |  1326071 |  1259845 |     4219    683 |        0 |        0
421.92/422.07	c  420s |      21 |  1332779 |  1266345 |     4219    686 |        0 |        0
423.92/424.08	c  422s |      21 |  1339486 |  1272845 |     4219    689 |        0 |        0
426.02/426.11	c  424s |      21 |  1346065 |  1279145 |     4219    692 |        0 |        0
428.02/428.11	c  426s |      21 |  1352648 |  1285445 |     4219    694 |        0 |        0
430.02/430.14	c  428s |      21 |  1359099 |  1291545 |     4219    697 |        0 |        0
432.02/432.15	c  430s |      21 |  1365643 |  1297745 |     4219    700 |        0 |        0
434.02/434.18	c  432s |      21 |  1372066 |  1303745 |     4219    702 |        0 |        0
436.12/436.20	c  434s |      21 |  1379278 |  1310545 |     4219    705 |        0 |        0
438.12/438.24	c  436s |      21 |  1386073 |  1317045 |     4219    708 |        0 |        0
440.12/440.24	c  438s |      21 |  1392146 |  1322745 |     4219    711 |        0 |        0
442.12/442.26	c  440s |      21 |  1397546 |  1327745 |     4219    713 |        0 |        0
444.12/444.28	c  442s |      21 |  1402798 |  1332745 |     4219    715 |        0 |        0
446.22/446.31	c  444s |      21 |  1409133 |  1338545 |     4219    717 |        0 |        0
448.22/448.33	c  446s |      21 |  1414929 |  1343845 |     4219    720 |        0 |        0
450.22/450.36	c  448s |      21 |  1421134 |  1349645 |     4219    722 |        0 |        0
452.22/452.38	c  450s |      21 |  1427325 |  1355645 |     4219    725 |        0 |        0
454.23/454.39	c  452s |      21 |  1434294 |  1362345 |     4219    728 |        0 |        0
456.32/456.40	c  454s |      21 |  1440647 |  1368545 |     4219    730 |        0 |        0
458.32/458.42	c  456s |      21 |  1447779 |  1375545 |     4219    733 |        0 |        0
460.32/460.45	c  458s |      21 |  1453887 |  1381445 |     4219    736 |        0 |        0
462.32/462.47	c  460s |      21 |  1460350 |  1387645 |     4219    739 |        0 |        0
464.42/464.51	c  462s |      21 |  1467110 |  1394145 |     4219    741 |        0 |        0
466.43/466.54	c  464s |      21 |  1474243 |  1401045 |     4219    744 |        0 |        0
468.42/468.54	c  466s |      21 |  1480777 |  1407345 |     4219    747 |        0 |        0
470.42/470.55	c  468s |      21 |  1487155 |  1413245 |     4219    750 |        0 |        0
472.42/472.57	c  470s |      21 |  1493516 |  1419245 |     4219    752 |        0 |        0
474.52/474.61	c  472s |      21 |  1498930 |  1424445 |     4219    755 |        0 |        0
476.52/476.62	c  475s |      21 |  1504276 |  1429745 |     4219    757 |        0 |        0
478.53/478.64	c  477s |      21 |  1511444 |  1436745 |     4219    760 |        0 |        0
480.52/480.64	c  479s |      21 |  1516713 |  1441945 |     4219    762 |        0 |        0
482.52/482.65	c  481s |      21 |  1522528 |  1447645 |     4219    765 |        0 |        0
484.52/484.67	c  483s |      21 |  1528796 |  1453545 |     4219    767 |        0 |        0
486.52/486.68	c  485s |      21 |  1535359 |  1459845 |     4219    770 |        0 |        0
488.62/488.72	c  487s |      21 |  1541735 |  1466045 |     4219    773 |        0 |        0
490.62/490.72	c  489s |      21 |  1548056 |  1472145 |     4219    775 |        0 |        0
492.62/492.73	c  491s |      21 |  1554157 |  1477945 |     4219    778 |        0 |        0
494.62/494.76	c  493s |      21 |  1560874 |  1484445 |     4219    781 |        0 |        0
496.61/496.76	c  495s |      21 |  1566941 |  1490245 |     4641    783 |        0 |        0
498.61/498.79	c  497s |      21 |  1572841 |  1495845 |     4641    785 |        0 |        0
500.31/500.47	c  498s |      22 |  1577994 |  1500622 |     4641    787 |        0 |        0
502.31/502.48	c  500s |      22 |  1583089 |  1505122 |     4641    789 |        0 |        0
504.41/504.51	c  502s |      22 |  1586677 |  1508322 |     4641    790 |        0 |        0
506.41/506.56	c  504s |      22 |  1590911 |  1512222 |     4641    791 |        0 |        0
508.41/508.59	c  506s |      22 |  1594874 |  1515922 |     4641    793 |        0 |        0
510.51/510.61	c  508s |      22 |  1599468 |  1520222 |     4641    795 |        0 |        0
512.52/512.63	c  511s |      22 |  1603935 |  1524322 |     4641    796 |        0 |        0
514.51/514.65	c  513s |      22 |  1608999 |  1529322 |     4641    798 |        0 |        0
516.51/516.66	c  515s |      22 |  1613374 |  1533622 |     4641    800 |        0 |        0
518.51/518.68	c  517s |      22 |  1619483 |  1539422 |     4641    802 |        0 |        0
520.61/520.70	c  519s |      22 |  1624195 |  1543822 |     4641    804 |        0 |        0
522.61/522.71	c  521s |      22 |  1627779 |  1546822 |     4641    805 |        0 |        0
524.61/524.72	c  523s |      22 |  1631198 |  1550022 |     4641    806 |        0 |        0
526.61/526.75	c  525s |      22 |  1635311 |  1553922 |     4641    808 |        0 |        0
528.61/528.77	c  527s |      22 |  1639998 |  1558322 |     4641    810 |        0 |        0
530.71/530.82	c  529s |      22 |  1645019 |  1562822 |     4641    812 |        0 |        0
532.71/532.85	c  531s |      22 |  1650085 |  1567422 |     4641    813 |        0 |        0
534.80/534.90	c  533s |      22 |  1654487 |  1571222 |     4641    815 |        0 |        0
536.81/536.92	c  535s |      22 |  1659131 |  1575522 |     4641    817 |        0 |        0
538.80/538.99	c  537s |      22 |  1664306 |  1580222 |     4641    818 |        0 |        0
540.90/541.01	c  539s |      22 |  1669075 |  1584722 |     4641    820 |        0 |        0
542.90/543.01	c  541s |      22 |  1673115 |  1588322 |     4641    822 |        0 |        0
544.90/545.07	c  543s |      22 |  1677427 |  1592122 |     4641    823 |        0 |        0
547.00/547.15	c  545s |      22 |  1680900 |  1595222 |     4641    824 |        0 |        0
549.00/549.16	c  547s |      22 |  1685165 |  1599322 |     4641    826 |        0 |        0
551.01/551.19	c  549s |      22 |  1689950 |  1603722 |     4641    828 |        0 |        0
553.10/553.21	c  551s |      22 |  1694239 |  1607722 |     4641    829 |        0 |        0
555.10/555.23	c  553s |      22 |  1698532 |  1611822 |     4641    831 |        0 |        0
557.10/557.23	c  555s |      22 |  1702757 |  1615822 |     4641    833 |        0 |        0
559.10/559.23	c  557s |      22 |  1707929 |  1620722 |     4641    834 |        0 |        0
561.10/561.24	c  559s |      22 |  1711944 |  1624422 |     4641    836 |        0 |        0
563.10/563.27	c  561s |      22 |  1716468 |  1628722 |     4641    838 |        0 |        0
565.20/565.32	c  563s |      22 |  1721056 |  1632922 |     4641    839 |        0 |        0
567.20/567.32	c  565s |      22 |  1725475 |  1637122 |     4641    841 |        0 |        0
569.20/569.34	c  567s |      22 |  1730277 |  1641622 |     4641    843 |        0 |        0
571.20/571.36	c  569s |      22 |  1734352 |  1645422 |     4641    844 |        0 |        0
573.30/573.42	c  571s |      22 |  1738303 |  1649122 |     4641    846 |        0 |        0
575.30/575.43	c  573s |      22 |  1742988 |  1653522 |     4641    847 |        0 |        0
577.30/577.44	c  575s |      22 |  1747590 |  1657922 |     4641    849 |        0 |        0
579.30/579.44	c  577s |      22 |  1751899 |  1662022 |     4641    851 |        0 |        0
581.30/581.45	c  579s |      22 |  1756390 |  1666122 |     4641    852 |        0 |        0
583.30/583.49	c  581s |      22 |  1760763 |  1670222 |     4641    854 |        0 |        0
585.40/585.52	c  583s |      22 |  1765149 |  1674522 |     4641    856 |        0 |        0
587.41/587.54	c  585s |      22 |  1769527 |  1678822 |     4641    857 |        0 |        0
589.40/589.56	c  587s |      22 |  1774400 |  1683522 |     4641    859 |        0 |        0
591.50/591.61	c  589s |      22 |  1778480 |  1687422 |     4641    861 |        0 |        0
593.50/593.64	c  592s |      22 |  1782646 |  1691422 |     4641    862 |        0 |        0
595.50/595.64	c  594s |      22 |  1787080 |  1695622 |     4641    864 |        0 |        0
597.50/597.66	c  596s |      22 |  1791356 |  1699622 |     4641    866 |        0 |        0
599.51/599.67	c  598s |      22 |  1795866 |  1704022 |     4641    867 |        0 |        0
601.50/601.67	c  600s |      22 |  1800762 |  1708722 |     4641    869 |        0 |        0
603.50/603.68	c  602s |      22 |  1805367 |  1713122 |     4641    871 |        0 |        0
605.59/605.71	c  604s |      22 |  1810035 |  1717522 |     4641    873 |        0 |        0
607.59/607.74	c  606s |      22 |  1814637 |  1721922 |     4641    874 |        0 |        0
609.59/609.76	c  608s |      22 |  1817733 |  1724622 |     4641    876 |        0 |        0
611.60/611.77	c  610s |      22 |  1820597 |  1727222 |     4641    877 |        0 |        0
613.70/613.84	c  612s |      22 |  1825238 |  1731322 |     4641    878 |        0 |        0
615.69/615.87	c  614s |      22 |  1828305 |  1734222 |     4641    879 |        0 |        0
617.79/617.92	c  616s |      22 |  1831669 |  1737422 |     4641    881 |        0 |        0
619.79/619.93	c  618s |      22 |  1835609 |  1741022 |     4641    882 |        0 |        0
621.79/621.96	c  620s |      22 |  1839458 |  1744422 |     4641    883 |        0 |        0
623.79/623.96	c  622s |      22 |  1841890 |  1746622 |     4641    884 |        0 |        0
625.80/625.98	c  624s |      22 |  1845541 |  1749922 |     4641    886 |        0 |        0
627.89/628.00	c  626s |      22 |  1849107 |  1753222 |     4641    887 |        0 |        0
629.89/630.02	c  628s |      22 |  1852317 |  1756222 |     4641    888 |        0 |        0
631.89/632.04	c  630s |      22 |  1855374 |  1759122 |     4641    889 |        0 |        0
633.89/634.05	c  632s |      22 |  1859119 |  1762622 |     4641    891 |        0 |        0
635.89/636.09	c  634s |      22 |  1862384 |  1765722 |     4641    892 |        0 |        0
637.90/638.10	c  636s |      22 |  1866660 |  1769622 |     4641    893 |        0 |        0
639.99/640.12	c  638s |      22 |  1871333 |  1774022 |     4641    895 |        0 |        0
641.99/642.15	c  640s |      22 |  1877036 |  1779422 |     4641    897 |        0 |        0
643.99/644.16	c  642s |      22 |  1881777 |  1783822 |     4641    899 |        0 |        0
646.09/646.20	c  644s |      22 |  1887265 |  1789022 |     4641    901 |        0 |        0
648.09/648.23	c  646s |      22 |  1890928 |  1792322 |     4641    902 |        0 |        0
650.09/650.28	c  648s |      22 |  1894206 |  1795422 |     4641    904 |        0 |        0
652.19/652.36	c  650s |      22 |  1897656 |  1798522 |     4641    905 |        0 |        0
654.19/654.40	c  652s |      22 |  1901044 |  1801622 |     4641    906 |        0 |        0
656.29/656.41	c  654s |      22 |  1904436 |  1804522 |     4641    907 |        0 |        0
658.29/658.45	c  656s |      22 |  1907288 |  1807222 |     4641    908 |        0 |        0
660.39/660.50	c  658s |      22 |  1909995 |  1809822 |     4641    909 |        0 |        0
662.39/662.51	c  660s |      22 |  1913098 |  1812722 |     4641    911 |        0 |        0
664.39/664.53	c  662s |      22 |  1916976 |  1816022 |     4641    912 |        0 |        0
666.38/666.60	c  664s |      22 |  1919904 |  1818722 |     4641    913 |        0 |        0
668.48/668.68	c  667s |      22 |  1922849 |  1821422 |     4641    914 |        0 |        0
670.58/670.75	c  669s |      22 |  1925727 |  1824122 |     4641    915 |        0 |        0
672.58/672.75	c  671s |      22 |  1929229 |  1827222 |     4641    916 |        0 |        0
674.68/674.84	c  673s |      22 |  1932677 |  1830322 |     4641    918 |        0 |        0
676.68/676.87	c  675s |      22 |  1935975 |  1833222 |     4641    919 |        0 |        0
678.78/678.92	c  677s |      22 |  1939560 |  1836522 |     4641    920 |        0 |        0
680.79/680.93	c  679s |      22 |  1942951 |  1839722 |     4641    921 |        0 |        0
682.78/682.97	c  681s |      22 |  1947871 |  1844222 |     4641    923 |        0 |        0
684.88/685.02	c  683s |      22 |  1951492 |  1847522 |     4641    924 |        0 |        0
686.88/687.04	c  685s |      22 |  1954393 |  1850322 |     4641    925 |        0 |        0
688.88/689.04	c  687s |      22 |  1957745 |  1853322 |     4641    927 |        0 |        0
690.88/691.06	c  689s |      22 |  1961112 |  1856222 |     4641    928 |        0 |        0
692.98/693.10	c  691s |      22 |  1964367 |  1859222 |     4641    929 |        0 |        0
694.98/695.13	c  693s |      22 |  1967885 |  1862422 |     4641    930 |        0 |        0
696.98/697.15	c  695s |      22 |  1972950 |  1867122 |     4641    932 |        0 |        0
698.97/699.17	c  697s |      22 |  1976954 |  1870722 |     4641    934 |        0 |        0
700.97/701.18	c  699s |      22 |  1979950 |  1873222 |     4641    935 |        0 |        0
703.07/703.23	c  701s |      22 |  1983391 |  1876322 |     4641    936 |        0 |        0
705.08/705.25	c  703s |      22 |  1986497 |  1879022 |     4641    937 |        0 |        0
707.07/707.29	c  705s |      22 |  1989777 |  1881822 |     4641    938 |        0 |        0
709.17/709.34	c  707s |      22 |  1993192 |  1885022 |     4641    939 |        0 |        0
711.16/711.36	c  709s |      22 |  1996200 |  1887922 |     4641    940 |        0 |        0
713.16/713.39	c  711s |      22 |  1999222 |  1890822 |     4641    942 |        0 |        0
715.26/715.44	c  713s |      22 |  2002466 |  1893922 |     4641    943 |        0 |        0
717.26/717.47	c  715s |      22 |  2006739 |  1898022 |     4641    944 |        0 |        0
719.37/719.51	c  717s |      22 |  2010589 |  1901622 |     4641    946 |        0 |        0
721.36/721.54	c  719s |      22 |  2013603 |  1904522 |     4641    947 |        0 |        0
723.36/723.56	c  721s |      22 |  2017770 |  1908422 |     4641    949 |        0 |        0
725.46/725.63	c  724s |      22 |  2022564 |  1912822 |     4641    950 |        0 |        0
727.46/727.64	c  726s |      22 |  2025542 |  1915522 |     4641    951 |        0 |        0
729.46/729.66	c  728s |      22 |  2028565 |  1918222 |     4641    953 |        0 |        0
731.46/731.68	c  730s |      22 |  2031807 |  1921122 |     4641    954 |        0 |        0
733.56/733.71	c  732s |      22 |  2034690 |  1923822 |     4641    955 |        0 |        0
735.56/735.72	c  734s |      22 |  2040035 |  1928722 |     4641    957 |        0 |        0
737.55/737.73	c  736s |      22 |  2046875 |  1935022 |     4641    959 |        0 |        0
739.55/739.79	c  738s |      22 |  2053363 |  1940622 |     4641    961 |        0 |        0
741.66/741.81	c  740s |      22 |  2059032 |  1945522 |     4641    963 |        0 |        0
743.66/743.82	c  742s |      22 |  2063913 |  1950022 |     4641    965 |        0 |        0
745.67/745.82	c  744s |      22 |  2068500 |  1954422 |     4641    967 |        0 |        0
747.66/747.84	c  746s |      22 |  2073325 |  1959122 |     4641    969 |        0 |        0
749.66/749.87	c  748s |      22 |  2079199 |  1964422 |     4641    971 |        0 |        0
751.66/751.87	c  750s |      22 |  2084033 |  1969122 |     4641    973 |        0 |        0
753.66/753.89	c  752s |      22 |  2088911 |  1973722 |     4641    974 |        0 |        0
755.76/755.90	c  754s |      22 |  2094018 |  1978022 |     4641    976 |        0 |        0
757.76/757.91	c  756s |      22 |  2098152 |  1981522 |     4641    978 |        0 |        0
759.75/759.95	c  758s |      22 |  2102429 |  1985422 |     4641    979 |        0 |        0
761.75/761.98	c  760s |      22 |  2106691 |  1989122 |     4641    981 |        0 |        0
763.85/764.01	c  762s |      22 |  2111815 |  1993722 |     4641    982 |        0 |        0
765.85/766.02	c  764s |      22 |  2116466 |  1998022 |     4641    984 |        0 |        0
767.85/768.02	c  766s |      22 |  2119828 |  2001322 |     4641    985 |        0 |        0
769.86/770.09	c  768s |      22 |  2122432 |  2003822 |     4641    986 |        0 |        0
771.95/772.20	c  770s |      22 |  2125290 |  2006622 |     4641    988 |        0 |        0
774.05/774.22	c  772s |      22 |  2128107 |  2009322 |     4641    989 |        0 |        0
776.05/776.26	c  774s |      22 |  2130779 |  2011922 |     4641    990 |        0 |        0
778.05/778.28	c  776s |      22 |  2133824 |  2014922 |     4641    991 |        0 |        0
780.15/780.31	c  778s |      22 |  2136439 |  2017522 |     4641    992 |        0 |        0
782.15/782.33	c  780s |      22 |  2138786 |  2019822 |     4641    993 |        0 |        0
784.25/784.41	c  782s |      22 |  2141127 |  2022122 |     4641    994 |        0 |        0
786.24/786.45	c  784s |      22 |  2143175 |  2024122 |     4641    994 |        0 |        0
788.24/788.47	c  786s |      22 |  2147825 |  2028422 |     4641    996 |        0 |        0
790.34/790.53	c  788s |      22 |  2151872 |  2032222 |     4641    998 |        0 |        0
792.34/792.53	c  790s |      22 |  2155745 |  2035722 |     4641    999 |        0 |        0
794.34/794.58	c  792s |      22 |  2159756 |  2039322 |     4641   1001 |        0 |        0
796.44/796.63	c  795s |      22 |  2163294 |  2042622 |     4641   1002 |        0 |        0
798.44/798.64	c  797s |      22 |  2167853 |  2047022 |     4641   1004 |        0 |        0
800.44/800.65	c  799s |      22 |  2173226 |  2051922 |     4641   1005 |        0 |        0
802.44/802.68	c  801s |      22 |  2177888 |  2056122 |     4641   1007 |        0 |        0
804.44/804.69	c  803s |      22 |  2183625 |  2061322 |     4641   1009 |        0 |        0
806.54/806.70	c  805s |      22 |  2189174 |  2066622 |     4641   1011 |        0 |        0
808.53/808.71	c  807s |      22 |  2194740 |  2071922 |     4641   1013 |        0 |        0
810.54/810.73	c  809s |      22 |  2199802 |  2076822 |     4641   1015 |        0 |        0
812.53/812.73	c  811s |      22 |  2205009 |  2081822 |     4641   1017 |        0 |        0
814.53/814.75	c  813s |      22 |  2210420 |  2087022 |     4641   1019 |        0 |        0
816.53/816.76	c  815s |      22 |  2215248 |  2091722 |     4641   1021 |        0 |        0
818.53/818.79	c  817s |      22 |  2220989 |  2097222 |     4641   1024 |        0 |        0
820.53/820.79	c  819s |      22 |  2227242 |  2103222 |     4641   1026 |        0 |        0
822.63/822.81	c  821s |      22 |  2233225 |  2109022 |     4641   1028 |        0 |        0
824.63/824.81	c  823s |      22 |  2239358 |  2114922 |     4641   1031 |        0 |        0
826.63/826.84	c  825s |      22 |  2245712 |  2121122 |     4641   1033 |        0 |        0
828.62/828.85	c  827s |      22 |  2250767 |  2126022 |     4641   1035 |        0 |        0
830.62/830.85	c  829s |      22 |  2255529 |  2130622 |     4641   1037 |        0 |        0
832.63/832.87	c  831s |      22 |  2260782 |  2135422 |     4641   1039 |        0 |        0
834.73/834.94	c  833s |      22 |  2264963 |  2139022 |     4641   1040 |        0 |        0
836.72/836.98	c  835s |      22 |  2271027 |  2144722 |     4641   1042 |        0 |        0
838.72/838.99	c  837s |      22 |  2274904 |  2148122 |     4641   1044 |        0 |        0
840.82/841.02	c  839s |      22 |  2281319 |  2153922 |     4641   1046 |        0 |        0
842.82/843.02	c  841s |      22 |  2285847 |  2157722 |     4641   1048 |        0 |        0
844.82/845.08	c  843s |      22 |  2290669 |  2161822 |     4641   1049 |        0 |        0
846.92/847.13	c  845s |      22 |  2295600 |  2166022 |     4641   1051 |        0 |        0
848.91/849.16	c  847s |      22 |  2300609 |  2170222 |     4641   1053 |        0 |        0
850.91/851.18	c  849s |      22 |  2304737 |  2173822 |     4641   1054 |        0 |        0
852.91/853.19	c  851s |      22 |  2308790 |  2176822 |     4641   1055 |        0 |        0
855.01/855.22	c  853s |      22 |  2312575 |  2179822 |     4641   1056 |        0 |        0
857.01/857.25	c  855s |      22 |  2316559 |  2183122 |     4641   1058 |        0 |        0
859.01/859.25	c  857s |      22 |  2320136 |  2186122 |     4641   1059 |        0 |        0
861.01/861.29	c  859s |      22 |  2324072 |  2189722 |     4641   1060 |        0 |        0
863.00/863.29	c  861s |      22 |  2329150 |  2194322 |     4641   1062 |        0 |        0
865.10/865.31	c  863s |      22 |  2332727 |  2197422 |     4641   1063 |        0 |        0
867.10/867.32	c  865s |      22 |  2336792 |  2201122 |     4641   1065 |        0 |        0
869.10/869.36	c  867s |      22 |  2340409 |  2204022 |     4641   1066 |        0 |        0
871.20/871.42	c  869s |      22 |  2344621 |  2207722 |     4641   1067 |        0 |        0
873.21/873.43	c  871s |      22 |  2349286 |  2211922 |     4641   1069 |        0 |        0
875.20/875.47	c  873s |      22 |  2352378 |  2214422 |     4641   1070 |        0 |        0
877.30/877.52	c  875s |      22 |  2356583 |  2218222 |     4641   1072 |        0 |        0
879.30/879.58	c  877s |      22 |  2360973 |  2222122 |     4641   1073 |        0 |        0
881.30/881.59	c  879s |      22 |  2365421 |  2226422 |     4641   1075 |        0 |        0
883.30/883.59	c  881s |      22 |  2370645 |  2231522 |     5106   1077 |        0 |        0
885.40/885.61	c  883s |      22 |  2375368 |  2236022 |     5106   1078 |        0 |        0
887.40/887.61	c  885s |      22 |  2380382 |  2240822 |     5106   1080 |        0 |        0
889.39/889.65	c  888s |      22 |  2384552 |  2244822 |     5106   1082 |        0 |        0
891.39/891.69	c  890s |      22 |  2389089 |  2249222 |     5106   1083 |        0 |        0
892.49/892.76	c  891s |      23 |  2391160 |  2251038 |     5106   1084 |        0 |        0
894.49/894.78	c  893s |      23 |  2399229 |  2258638 |     5106   1087 |        0 |        0
896.59/896.81	c  895s |      23 |  2407014 |  2265938 |     5106   1089 |        0 |        0
898.59/898.84	c  897s |      23 |  2413285 |  2272038 |     5106   1091 |        0 |        0
900.59/900.88	c  899s |      23 |  2419231 |  2277638 |     5106   1094 |        0 |        0
902.59/902.89	c  901s |      23 |  2425434 |  2283738 |     5106   1096 |        0 |        0
904.69/904.92	c  903s |      23 |  2432118 |  2290138 |     5106   1098 |        0 |        0
906.69/906.95	c  905s |      23 |  2437876 |  2295738 |     5106   1100 |        0 |        0
908.69/908.99	c  907s |      23 |  2444026 |  2301738 |     5106   1102 |        0 |        0
910.70/910.99	c  909s |      23 |  2450387 |  2307938 |     5106   1104 |        0 |        0
912.69/912.99	c  911s |      23 |  2456345 |  2313738 |     5106   1107 |        0 |        0
914.79/915.01	c  913s |      23 |  2462821 |  2320038 |     5106   1109 |        0 |        0
916.79/917.02	c  915s |      23 |  2469066 |  2326138 |     5106   1111 |        0 |        0
918.79/919.05	c  917s |      23 |  2475189 |  2332138 |     5106   1113 |        0 |        0
920.79/921.07	c  919s |      23 |  2481050 |  2337838 |     5106   1115 |        0 |        0
922.79/923.08	c  921s |      23 |  2486918 |  2343638 |     5106   1117 |        0 |        0
924.78/925.10	c  923s |      23 |  2492376 |  2348838 |     5106   1119 |        0 |        0
926.88/927.10	c  925s |      23 |  2498444 |  2354738 |     5106   1121 |        0 |        0
928.88/929.12	c  927s |      23 |  2504438 |  2360638 |     5106   1123 |        0 |        0
930.88/931.13	c  929s |      23 |  2510972 |  2367038 |     5106   1126 |        0 |        0
932.88/933.14	c  931s |      23 |  2516940 |  2372938 |     5106   1128 |        0 |        0
934.89/935.15	c  933s |      23 |  2522543 |  2378438 |     5106   1130 |        0 |        0
936.88/937.16	c  935s |      23 |  2529160 |  2384538 |     5106   1132 |        0 |        0
938.88/939.19	c  937s |      23 |  2535018 |  2390238 |     5106   1134 |        0 |        0
940.98/941.20	c  939s |      23 |  2540948 |  2396038 |     5106   1136 |        0 |        0
942.98/943.23	c  941s |      23 |  2546956 |  2401838 |     5106   1138 |        0 |        0
944.98/945.26	c  943s |      23 |  2552890 |  2407538 |     5106   1140 |        0 |        0
946.98/947.26	c  945s |      23 |  2558797 |  2413238 |     5106   1142 |        0 |        0
948.97/949.27	c  947s |      23 |  2564510 |  2418838 |     5106   1144 |        0 |        0
951.07/951.32	c  949s |      23 |  2570379 |  2424638 |     5106   1147 |        0 |        0
953.07/953.36	c  951s |      23 |  2575384 |  2429538 |     5106   1148 |        0 |        0
955.07/955.38	c  953s |      23 |  2580911 |  2434938 |     5106   1150 |        0 |        0
957.07/957.39	c  955s |      23 |  2586456 |  2440338 |     5106   1152 |        0 |        0
959.17/959.42	c  957s |      23 |  2591581 |  2445338 |     5106   1154 |        0 |        0
961.17/961.45	c  959s |      23 |  2597317 |  2450938 |     5106   1156 |        0 |        0
963.17/963.46	c  961s |      23 |  2603750 |  2457138 |     5106   1158 |        0 |        0
965.17/965.48	c  963s |      23 |  2609921 |  2463138 |     5106   1160 |        0 |        0
967.17/967.49	c  965s |      23 |  2616393 |  2469538 |     5106   1163 |        0 |        0
969.26/969.51	c  967s |      23 |  2622072 |  2475138 |     5106   1165 |        0 |        0
971.26/971.52	c  969s |      23 |  2628520 |  2481438 |     5106   1167 |        0 |        0
973.27/973.54	c  971s |      23 |  2634881 |  2487738 |     5106   1169 |        0 |        0
975.26/975.58	c  973s |      23 |  2640824 |  2493638 |     5106   1172 |        0 |        0
977.25/977.59	c  975s |      23 |  2647371 |  2500038 |     5106   1174 |        0 |        0
979.35/979.61	c  977s |      23 |  2654264 |  2506738 |     5106   1176 |        0 |        0
981.35/981.63	c  980s |      23 |  2661261 |  2513638 |     5106   1179 |        0 |        0
983.35/983.63	c  982s |      23 |  2667965 |  2520238 |     5106   1181 |        0 |        0
985.36/985.64	c  984s |      23 |  2674658 |  2526838 |     5106   1183 |        0 |        0
987.35/987.64	c  986s |      23 |  2681408 |  2533438 |     5106   1186 |        0 |        0
989.35/989.65	c  988s |      23 |  2688071 |  2540038 |     5106   1188 |        0 |        0
991.35/991.66	c  990s |      23 |  2695228 |  2547038 |     5106   1191 |        0 |        0
993.35/993.68	c  992s |      23 |  2701877 |  2553538 |     5106   1193 |        0 |        0
995.45/995.72	c  994s |      23 |  2708538 |  2560038 |     5106   1196 |        0 |        0
997.45/997.73	c  996s |      23 |  2715369 |  2566738 |     5106   1198 |        0 |        0
999.44/999.74	c  998s |      23 |  2722022 |  2573238 |     5106   1200 |        0 |        0
1001.44/1001.77	c 1000s |      23 |  2728454 |  2579538 |     5106   1203 |        0 |        0
1003.54/1003.80	c 1002s |      23 |  2735143 |  2586138 |     5106   1205 |        0 |        0
1005.54/1005.82	c 1004s |      23 |  2741407 |  2592338 |     5106   1207 |        0 |        0
1007.54/1007.83	c 1006s |      23 |  2748735 |  2599538 |     5106   1210 |        0 |        0
1009.54/1009.83	c 1008s |      23 |  2755312 |  2605938 |     5106   1212 |        0 |        0
1011.54/1011.86	c 1010s |      23 |  2762003 |  2612538 |     5106   1214 |        0 |        0
1013.54/1013.86	c 1012s |      23 |  2768237 |  2618638 |     5106   1217 |        0 |        0
1015.54/1015.87	c 1014s |      23 |  2774868 |  2625138 |     5106   1219 |        0 |        0
1017.63/1017.90	c 1016s |      23 |  2781308 |  2631538 |     5106   1221 |        0 |        0
1019.63/1019.92	c 1018s |      23 |  2788099 |  2638138 |     5106   1224 |        0 |        0
1021.64/1021.94	c 1020s |      23 |  2794885 |  2644838 |     5106   1226 |        0 |        0
1023.63/1023.96	c 1022s |      23 |  2801713 |  2651538 |     5106   1229 |        0 |        0
1025.63/1025.98	c 1024s |      23 |  2808580 |  2658338 |     5106   1231 |        0 |        0
1027.72/1028.01	c 1026s |      23 |  2815227 |  2664938 |     5106   1233 |        0 |        0
1029.72/1030.02	c 1028s |      23 |  2821204 |  2670838 |     5106   1235 |        0 |        0
1031.72/1032.04	c 1030s |      23 |  2828492 |  2678038 |     5106   1238 |        0 |        0
1033.73/1034.09	c 1032s |      23 |  2835245 |  2684638 |     5106   1240 |        0 |        0
1035.82/1036.10	c 1034s |      23 |  2841771 |  2690938 |     5106   1243 |        0 |        0
1037.83/1038.12	c 1036s |      23 |  2847712 |  2696638 |     5106   1245 |        0 |        0
1039.82/1040.14	c 1038s |      23 |  2853251 |  2702038 |     5106   1247 |        0 |        0
1041.82/1042.14	c 1040s |      23 |  2859571 |  2708038 |     5106   1249 |        0 |        0
1043.82/1044.18	c 1042s |      23 |  2865598 |  2713938 |     5106   1251 |        0 |        0
1045.83/1046.18	c 1044s |      23 |  2872346 |  2720438 |     5106   1253 |        0 |        0
1047.92/1048.20	c 1046s |      23 |  2878082 |  2726038 |     5106   1255 |        0 |        0
1049.92/1050.24	c 1048s |      23 |  2884644 |  2732438 |     5106   1258 |        0 |        0
1051.92/1052.25	c 1050s |      23 |  2891391 |  2738838 |     5106   1260 |        0 |        0
1053.92/1054.27	c 1052s |      23 |  2897335 |  2744538 |     5106   1262 |        0 |        0
1055.92/1056.28	c 1054s |      23 |  2903845 |  2750838 |     5106   1264 |        0 |        0
1057.92/1058.30	c 1056s |      23 |  2910518 |  2757038 |     5106   1267 |        0 |        0
1060.01/1060.33	c 1058s |      23 |  2916530 |  2762738 |     5106   1269 |        0 |        0
1062.01/1062.33	c 1060s |      23 |  2922664 |  2768438 |     5106   1271 |        0 |        0
1064.01/1064.35	c 1062s |      23 |  2928956 |  2774438 |     5106   1273 |        0 |        0
1066.01/1066.36	c 1064s |      23 |  2935211 |  2780438 |     5106   1275 |        0 |        0
1068.01/1068.39	c 1066s |      23 |  2941069 |  2785938 |     5106   1277 |        0 |        0
1070.11/1070.41	c 1068s |      23 |  2946837 |  2791538 |     5106   1279 |        0 |        0
1072.11/1072.43	c 1070s |      23 |  2952729 |  2797238 |     5106   1281 |        0 |        0
1074.10/1074.45	c 1072s |      23 |  2958520 |  2802838 |     5106   1283 |        0 |        0
1076.10/1076.46	c 1074s |      23 |  2964547 |  2808538 |     5106   1285 |        0 |        0
1078.10/1078.49	c 1076s |      23 |  2970270 |  2813938 |     5106   1287 |        0 |        0
1080.20/1080.52	c 1078s |      23 |  2976317 |  2819738 |     5106   1289 |        0 |        0
1082.21/1082.53	c 1080s |      23 |  2982370 |  2825638 |     5106   1291 |        0 |        0
1084.20/1084.54	c 1082s |      23 |  2988825 |  2831838 |     5106   1294 |        0 |        0
1086.20/1086.58	c 1084s |      23 |  2995130 |  2837938 |     5106   1296 |        0 |        0
1088.29/1088.61	c 1086s |      23 |  3001004 |  2843538 |     5106   1298 |        0 |        0
1090.29/1090.63	c 1089s |      23 |  3007399 |  2849638 |     5106   1300 |        0 |        0
1092.29/1092.65	c 1091s |      23 |  3013173 |  2855238 |     5106   1302 |        0 |        0
1094.30/1094.66	c 1093s |      23 |  3019316 |  2861038 |     5106   1304 |        0 |        0
1096.29/1096.69	c 1095s |      23 |  3025633 |  2867138 |     5106   1307 |        0 |        0
1098.39/1098.72	c 1097s |      23 |  3031484 |  2872638 |     5106   1309 |        0 |        0
1100.39/1100.74	c 1099s |      23 |  3037641 |  2878438 |     5106   1311 |        0 |        0
1102.39/1102.75	c 1101s |      23 |  3043310 |  2883738 |     5106   1313 |        0 |        0
1104.39/1104.79	c 1103s |      23 |  3048321 |  2888638 |     5106   1314 |        0 |        0
1106.49/1106.87	c 1105s |      23 |  3054327 |  2894438 |     5106   1316 |        0 |        0
1108.49/1108.88	c 1107s |      23 |  3060895 |  2900638 |     5106   1319 |        0 |        0
1110.49/1110.88	c 1109s |      23 |  3066715 |  2905838 |     5106   1321 |        0 |        0
1112.58/1112.92	c 1111s |      23 |  3073064 |  2911838 |     5106   1323 |        0 |        0
1114.58/1114.94	c 1113s |      23 |  3078828 |  2917338 |     5106   1325 |        0 |        0
1116.58/1116.96	c 1115s |      23 |  3084291 |  2922438 |     5106   1327 |        0 |        0
1118.58/1118.99	c 1117s |      23 |  3090939 |  2928738 |     5106   1329 |        0 |        0
1120.69/1121.01	c 1119s |      23 |  3097139 |  2934538 |     5106   1331 |        0 |        0
1122.68/1123.04	c 1121s |      23 |  3103417 |  2940338 |     5106   1333 |        0 |        0
1124.68/1125.07	c 1123s |      23 |  3109284 |  2946138 |     5106   1335 |        0 |        0
1126.68/1127.08	c 1125s |      23 |  3115803 |  2952438 |     5106   1337 |        0 |        0
1128.68/1129.09	c 1127s |      23 |  3121374 |  2957938 |     5106   1339 |        0 |        0
1130.77/1131.12	c 1129s |      23 |  3127239 |  2963738 |     5106   1341 |        0 |        0
1132.78/1133.14	c 1131s |      23 |  3133585 |  2969938 |     5106   1344 |        0 |        0
1134.77/1135.14	c 1133s |      23 |  3140184 |  2976338 |     5106   1346 |        0 |        0
1136.77/1137.16	c 1135s |      23 |  3146851 |  2982638 |     5106   1348 |        0 |        0
1138.77/1139.18	c 1137s |      23 |  3153173 |  2988738 |     5106   1351 |        0 |        0
1140.87/1141.20	c 1139s |      23 |  3159499 |  2994738 |     5106   1353 |        0 |        0
1142.87/1143.22	c 1141s |      23 |  3166285 |  3001238 |     5106   1355 |        0 |        0
1144.87/1145.23	c 1143s |      23 |  3172753 |  3007338 |     5106   1357 |        0 |        0
1146.87/1147.23	c 1145s |      23 |  3179537 |  3013838 |     5106   1360 |        0 |        0
1148.86/1149.23	c 1147s |      23 |  3185965 |  3019938 |     5106   1362 |        0 |        0
1150.86/1151.26	c 1149s |      23 |  3191928 |  3025638 |     5106   1364 |        0 |        0
1152.86/1153.27	c 1151s |      23 |  3198134 |  3031438 |     5106   1366 |        0 |        0
1154.86/1155.28	c 1153s |      23 |  3204517 |  3037638 |     5106   1368 |        0 |        0
1156.87/1157.30	c 1155s |      23 |  3210764 |  3043638 |     5106   1370 |        0 |        0
1158.96/1159.30	c 1157s |      23 |  3216890 |  3049438 |     5106   1372 |        0 |        0
1160.96/1161.30	c 1159s |      23 |  3223168 |  3055438 |     5106   1375 |        0 |        0
1162.96/1163.35	c 1161s |      23 |  3228833 |  3060738 |     5106   1377 |        0 |        0
1164.96/1165.35	c 1163s |      23 |  3234390 |  3066038 |     5106   1378 |        0 |        0
1166.96/1167.37	c 1165s |      23 |  3240448 |  3071838 |     5106   1381 |        0 |        0
1169.06/1169.43	c 1167s |      23 |  3246116 |  3077138 |     5106   1383 |        0 |        0
1171.05/1171.44	c 1169s |      23 |  3252125 |  3082938 |     5106   1385 |        0 |        0
1173.06/1173.45	c 1171s |      23 |  3258314 |  3088838 |     5106   1387 |        0 |        0
1175.06/1175.48	c 1173s |      23 |  3264083 |  3094438 |     5106   1389 |        0 |        0
1177.06/1177.49	c 1175s |      23 |  3270020 |  3100038 |     5106   1391 |        0 |        0
1179.05/1179.49	c 1177s |      23 |  3275608 |  3105038 |     5106   1393 |        0 |        0
1181.16/1181.52	c 1179s |      23 |  3281225 |  3110338 |     5106   1395 |        0 |        0
1183.15/1183.53	c 1181s |      23 |  3287213 |  3115938 |     5106   1397 |        0 |        0
1185.15/1185.55	c 1183s |      23 |  3293453 |  3121938 |     5106   1399 |        0 |        0
1187.15/1187.56	c 1185s |      23 |  3300043 |  3128238 |     5106   1401 |        0 |        0
1189.15/1189.57	c 1187s |      23 |  3306450 |  3134338 |     5106   1403 |        0 |        0
1191.15/1191.58	c 1189s |      23 |  3312309 |  3140038 |     5106   1405 |        0 |        0
1193.25/1193.62	c 1191s |      23 |  3319072 |  3146538 |     5106   1408 |        0 |        0
1195.25/1195.66	c 1194s |      23 |  3325214 |  3152438 |     5106   1410 |        0 |        0
1197.24/1197.67	c 1196s |      23 |  3331313 |  3158338 |     5106   1412 |        0 |        0
1199.24/1199.68	c 1198s |      23 |  3337563 |  3164338 |     5106   1414 |        0 |        0
1201.24/1201.68	c 1200s |      23 |  3343747 |  3170338 |     5106   1416 |        0 |        0
1203.34/1203.71	c 1202s |      23 |  3350338 |  3176638 |     5106   1419 |        0 |        0
1205.35/1205.77	c 1204s |      23 |  3356060 |  3182138 |     5106   1421 |        0 |        0
1207.33/1207.78	c 1206s |      23 |  3362035 |  3187938 |     5106   1423 |        0 |        0
1209.43/1209.81	c 1208s |      23 |  3368715 |  3194238 |     5106   1425 |        0 |        0
1211.43/1211.84	c 1210s |      23 |  3374885 |  3199938 |     5106   1427 |        0 |        0
1213.43/1213.85	c 1212s |      23 |  3381034 |  3205638 |     5106   1429 |        0 |        0
1215.43/1215.86	c 1214s |      23 |  3387117 |  3211538 |     5106   1431 |        0 |        0
1217.43/1217.89	c 1216s |      23 |  3393284 |  3217438 |     5106   1433 |        0 |        0
1219.53/1219.91	c 1218s |      23 |  3399093 |  3222838 |     5106   1435 |        0 |        0
1221.53/1221.91	c 1220s |      23 |  3405141 |  3228538 |     5106   1437 |        0 |        0
1223.53/1223.92	c 1222s |      23 |  3410948 |  3234038 |     5106   1439 |        0 |        0
1225.53/1225.94	c 1224s |      23 |  3417015 |  3239738 |     5106   1441 |        0 |        0
1227.52/1227.96	c 1226s |      23 |  3422781 |  3245238 |     5106   1443 |        0 |        0
1229.53/1229.99	c 1228s |      23 |  3429044 |  3251138 |     5106   1445 |        0 |        0
1231.63/1232.01	c 1230s |      23 |  3434955 |  3256638 |     5106   1447 |        0 |        0
1233.62/1234.02	c 1232s |      23 |  3441272 |  3262738 |     5106   1450 |        0 |        0
1235.62/1236.05	c 1234s |      23 |  3448155 |  3269338 |     5106   1452 |        0 |        0
1237.62/1238.06	c 1236s |      23 |  3454706 |  3275538 |     5106   1454 |        0 |        0
1239.62/1240.06	c 1238s |      23 |  3461217 |  3281638 |     5106   1457 |        0 |        0
1241.62/1242.08	c 1240s |      23 |  3467419 |  3287638 |     5106   1459 |        0 |        0
1243.72/1244.11	c 1242s |      23 |  3473359 |  3293338 |     5106   1461 |        0 |        0
1245.72/1246.16	c 1244s |      23 |  3479318 |  3299038 |     5106   1463 |        0 |        0
1247.71/1248.18	c 1246s |      23 |  3485791 |  3305338 |     5106   1465 |        0 |        0
1249.81/1250.21	c 1248s |      23 |  3492376 |  3311738 |     5106   1467 |        0 |        0
1251.81/1252.22	c 1250s |      23 |  3499292 |  3318438 |     5106   1470 |        0 |        0
1253.81/1254.24	c 1252s |      23 |  3506016 |  3324938 |     5106   1472 |        0 |        0
1255.82/1256.27	c 1254s |      23 |  3512744 |  3331338 |     5106   1475 |        0 |        0
1257.81/1258.28	c 1256s |      23 |  3518944 |  3337338 |     5106   1477 |        0 |        0
1259.91/1260.30	c 1258s |      23 |  3525563 |  3343638 |     5106   1479 |        0 |        0
1261.91/1262.32	c 1260s |      23 |  3531521 |  3349438 |     5617   1481 |        0 |        0
1263.91/1264.35	c 1262s |      23 |  3537896 |  3355538 |     5617   1483 |        0 |        0
1265.91/1266.37	c 1264s |      23 |  3543709 |  3361138 |     5617   1485 |        0 |        0
1267.91/1268.38	c 1266s |      23 |  3549816 |  3367038 |     5617   1487 |        0 |        0
1269.91/1270.39	c 1268s |      23 |  3555892 |  3372938 |     5617   1489 |        0 |        0
1271.11/1271.60	c 1269s |      24 |  3559725 |  3376662 |     5617   1490 |        0 |        0
1273.21/1273.63	c 1272s |      24 |  3567235 |  3383962 |     5617   1493 |        0 |        0
1275.21/1275.66	c 1274s |      24 |  3572360 |  3388762 |     5617   1494 |        0 |        0
1277.21/1277.68	c 1276s |      24 |  3576636 |  3392662 |     5617   1495 |        0 |        0
1279.30/1279.71	c 1278s |      24 |  3581747 |  3397062 |     5617   1497 |        0 |        0
1281.30/1281.73	c 1280s |      24 |  3586853 |  3401862 |     5617   1498 |        0 |        0
1283.31/1283.74	c 1282s |      24 |  3592974 |  3407862 |     5617   1500 |        0 |        0
1285.30/1285.75	c 1284s |      24 |  3598326 |  3412862 |     5617   1502 |        0 |        0
1287.30/1287.79	c 1286s |      24 |  3603751 |  3417962 |     5617   1504 |        0 |        0
1289.40/1289.80	c 1288s |      24 |  3609202 |  3423162 |     5617   1506 |        0 |        0
1291.39/1291.82	c 1290s |      24 |  3614312 |  3427762 |     5617   1507 |        0 |        0
1293.39/1293.84	c 1292s |      24 |  3619415 |  3432562 |     5617   1509 |        0 |        0
1295.40/1295.87	c 1294s |      24 |  3624747 |  3437662 |     5617   1510 |        0 |        0
1297.49/1297.97	c 1296s |      24 |  3630301 |  3442862 |     5617   1512 |        0 |        0
1299.49/1299.98	c 1298s |      24 |  3634600 |  3446762 |     5617   1514 |        0 |        0
1301.49/1301.99	c 1300s |      24 |  3639968 |  3451962 |     5617   1515 |        0 |        0
1303.59/1304.03	c 1302s |      24 |  3644760 |  3456562 |     5617   1517 |        0 |        0
1305.59/1306.06	c 1304s |      24 |  3649844 |  3461362 |     5617   1518 |        0 |        0
1307.59/1308.06	c 1306s |      24 |  3654931 |  3466262 |     5617   1520 |        0 |        0
1309.58/1310.10	c 1308s |      24 |  3658800 |  3469862 |     5617   1521 |        0 |        0
1311.68/1312.11	c 1310s |      24 |  3662970 |  3473962 |     5617   1523 |        0 |        0
1313.68/1314.13	c 1312s |      24 |  3667619 |  3478362 |     5617   1524 |        0 |        0
1315.68/1316.17	c 1314s |      24 |  3672953 |  3483462 |     5617   1526 |        0 |        0
1317.68/1318.19	c 1316s |      24 |  3678218 |  3488362 |     5617   1528 |        0 |        0
1319.78/1320.21	c 1318s |      24 |  3683621 |  3493362 |     5617   1529 |        0 |        0
1321.79/1322.25	c 1320s |      24 |  3688572 |  3497962 |     5617   1531 |        0 |        0
1323.88/1324.31	c 1322s |      24 |  3692322 |  3501662 |     5617   1532 |        0 |        0
1325.88/1326.37	c 1324s |      24 |  3695615 |  3504862 |     5617   1533 |        0 |        0
1327.88/1328.40	c 1326s |      24 |  3699765 |  3508662 |     5617   1534 |        0 |        0
1329.98/1330.40	c 1328s |      24 |  3704159 |  3512862 |     5617   1536 |        0 |        0
1331.98/1332.44	c 1330s |      24 |  3708926 |  3517462 |     5617   1537 |        0 |        0
1333.98/1334.46	c 1332s |      24 |  3713655 |  3521962 |     5617   1539 |        0 |        0
1335.98/1336.50	c 1334s |      24 |  3719228 |  3527062 |     5617   1541 |        0 |        0
1338.07/1338.51	c 1336s |      24 |  3724400 |  3531962 |     5617   1542 |        0 |        0
1340.07/1340.52	c 1338s |      24 |  3729156 |  3536662 |     5617   1544 |        0 |        0
1342.07/1342.56	c 1340s |      24 |  3734305 |  3541662 |     5617   1545 |        0 |        0
1344.07/1344.59	c 1342s |      24 |  3738934 |  3546162 |     5617   1547 |        0 |        0
1346.17/1346.61	c 1344s |      24 |  3744135 |  3550962 |     5617   1549 |        0 |        0
1348.18/1348.62	c 1346s |      24 |  3749342 |  3555962 |     5617   1550 |        0 |        0
1350.17/1350.62	c 1348s |      24 |  3755204 |  3561562 |     5617   1552 |        0 |        0
1352.17/1352.63	c 1351s |      24 |  3760807 |  3566962 |     5617   1554 |        0 |        0
1354.17/1354.66	c 1353s |      24 |  3765725 |  3571762 |     5617   1556 |        0 |        0
1356.17/1356.67	c 1355s |      24 |  3770794 |  3576662 |     5617   1557 |        0 |        0
1358.27/1358.70	c 1357s |      24 |  3775528 |  3581062 |     5617   1559 |        0 |        0
1360.17/1360.70	c 1359s |      24 |  3779982 |  3584862 |     5617   1560 |        0 |        0
1362.27/1362.72	c 1361s |      24 |  3785021 |  3589562 |     5617   1561 |        0 |        0
1364.27/1364.74	c 1363s |      24 |  3787972 |  3592462 |     5617   1562 |        0 |        0
1366.27/1366.75	c 1365s |      24 |  3791478 |  3595862 |     5617   1564 |        0 |        0
1368.27/1368.79	c 1367s |      24 |  3796455 |  3599962 |     5617   1565 |        0 |        0
1370.37/1370.83	c 1369s |      24 |  3801102 |  3604362 |     5617   1566 |        0 |        0
1372.37/1372.86	c 1371s |      24 |  3805015 |  3607862 |     5617   1568 |        0 |        0
1374.47/1374.96	c 1373s |      24 |  3808676 |  3611162 |     5617   1569 |        0 |        0
1376.47/1376.98	c 1375s |      24 |  3812806 |  3615062 |     5617   1570 |        0 |        0
1378.57/1379.04	c 1377s |      24 |  3817293 |  3619262 |     5617   1571 |        0 |        0
1380.57/1381.06	c 1379s |      24 |  3820883 |  3622562 |     5617   1573 |        0 |        0
1382.57/1383.09	c 1381s |      24 |  3824793 |  3626062 |     5617   1574 |        0 |        0
1384.67/1385.11	c 1383s |      24 |  3828873 |  3629762 |     5617   1575 |        0 |        0
1386.67/1387.12	c 1385s |      24 |  3833034 |  3633662 |     5617   1576 |        0 |        0
1388.76/1389.21	c 1387s |      24 |  3837189 |  3637362 |     5617   1577 |        0 |        0
1390.76/1391.27	c 1389s |      24 |  3841504 |  3640962 |     5617   1579 |        0 |        0
1392.86/1393.31	c 1391s |      24 |  3844923 |  3644062 |     5617   1580 |        0 |        0
1394.86/1395.32	c 1393s |      24 |  3849262 |  3647862 |     5617   1581 |        0 |        0
1396.86/1397.34	c 1395s |      24 |  3852887 |  3651062 |     5617   1582 |        0 |        0
1398.87/1399.38	c 1397s |      24 |  3856844 |  3654262 |     5617   1583 |        0 |        0
1400.86/1401.40	c 1399s |      24 |  3861176 |  3658062 |     5617   1584 |        0 |        0
1402.96/1403.40	c 1401s |      24 |  3865875 |  3662462 |     5617   1586 |        0 |        0
1404.96/1405.43	c 1403s |      24 |  3869068 |  3665162 |     5617   1587 |        0 |        0
1406.96/1407.47	c 1405s |      24 |  3873285 |  3669162 |     5617   1588 |        0 |        0
1409.07/1409.52	c 1407s |      24 |  3877547 |  3672962 |     5617   1589 |        0 |        0
1411.07/1411.53	c 1409s |      24 |  3881802 |  3676762 |     5617   1591 |        0 |        0
1413.08/1413.55	c 1411s |      24 |  3886299 |  3680962 |     5617   1592 |        0 |        0
1415.17/1415.60	c 1413s |      24 |  3891124 |  3685362 |     5617   1594 |        0 |        0
1417.17/1417.66	c 1416s |      24 |  3894632 |  3688662 |     5617   1595 |        0 |        0
1419.17/1419.67	c 1418s |      24 |  3899070 |  3692662 |     5617   1596 |        0 |        0
1421.17/1421.68	c 1420s |      24 |  3903227 |  3696562 |     5617   1597 |        0 |        0
1423.27/1423.70	c 1422s |      24 |  3907988 |  3700962 |     5617   1599 |        0 |        0
1425.27/1425.72	c 1424s |      24 |  3912870 |  3705462 |     5617   1600 |        0 |        0
1427.27/1427.74	c 1426s |      24 |  3917333 |  3709662 |     5617   1602 |        0 |        0
1429.27/1429.74	c 1428s |      24 |  3922378 |  3714462 |     5617   1603 |        0 |        0
1431.27/1431.75	c 1430s |      24 |  3926858 |  3718862 |     5617   1605 |        0 |        0
1433.27/1433.77	c 1432s |      24 |  3931249 |  3723062 |     5617   1606 |        0 |        0
1435.26/1435.79	c 1434s |      24 |  3936198 |  3727562 |     5617   1608 |        0 |        0
1437.37/1437.84	c 1436s |      24 |  3941332 |  3732462 |     5617   1609 |        0 |        0
1439.36/1439.85	c 1438s |      24 |  3947335 |  3738162 |     5617   1611 |        0 |        0
1441.36/1441.86	c 1440s |      24 |  3951895 |  3742562 |     5617   1613 |        0 |        0
1443.36/1443.86	c 1442s |      24 |  3957221 |  3747662 |     5617   1614 |        0 |        0
1445.36/1445.87	c 1444s |      24 |  3962284 |  3752362 |     5617   1616 |        0 |        0
1447.36/1447.87	c 1446s |      24 |  3967831 |  3757562 |     5617   1618 |        0 |        0
1449.37/1449.88	c 1448s |      24 |  3973451 |  3762762 |     5617   1620 |        0 |        0
1451.36/1451.89	c 1450s |      24 |  3979385 |  3768162 |     5617   1621 |        0 |        0
1453.46/1453.92	c 1452s |      24 |  3985382 |  3773862 |     5617   1623 |        0 |        0
1455.46/1455.94	c 1454s |      24 |  3990933 |  3779162 |     5617   1625 |        0 |        0
1457.46/1457.95	c 1456s |      24 |  3996900 |  3784662 |     5617   1627 |        0 |        0
1459.46/1459.97	c 1458s |      24 |  4002131 |  3789462 |     5617   1628 |        0 |        0
1461.46/1461.98	c 1460s |      24 |  4007830 |  3794762 |     5617   1630 |        0 |        0
1463.56/1464.01	c 1462s |      24 |  4012370 |  3799062 |     5617   1632 |        0 |        0
1465.56/1466.04	c 1464s |      24 |  4016550 |  3802962 |     5617   1633 |        0 |        0
1467.56/1468.06	c 1466s |      24 |  4021054 |  3806962 |     5617   1634 |        0 |        0
1469.66/1470.10	c 1468s |      24 |  4026655 |  3811962 |     5617   1636 |        0 |        0
1471.66/1472.13	c 1470s |      24 |  4031802 |  3816662 |     5617   1638 |        0 |        0
1473.66/1474.14	c 1472s |      24 |  4036904 |  3821362 |     5617   1639 |        0 |        0
1475.66/1476.15	c 1474s |      24 |  4041905 |  3825862 |     5617   1641 |        0 |        0
1477.66/1478.17	c 1476s |      24 |  4046901 |  3830262 |     5617   1642 |        0 |        0
1479.66/1480.19	c 1478s |      24 |  4051454 |  3834462 |     5617   1644 |        0 |        0
1481.76/1482.23	c 1480s |      24 |  4056013 |  3838762 |     5617   1645 |        0 |        0
1483.76/1484.26	c 1482s |      24 |  4060732 |  3843262 |     5617   1647 |        0 |        0
1485.76/1486.28	c 1484s |      24 |  4065882 |  3848162 |     5617   1648 |        0 |        0
1487.86/1488.31	c 1486s |      24 |  4070709 |  3852562 |     5617   1650 |        0 |        0
1489.85/1490.34	c 1488s |      24 |  4075924 |  3857362 |     5617   1651 |        0 |        0
1491.85/1492.36	c 1490s |      24 |  4080912 |  3862162 |     5617   1653 |        0 |        0
1493.85/1494.36	c 1492s |      24 |  4085436 |  3866262 |     5617   1654 |        0 |        0
1495.95/1496.40	c 1494s |      24 |  4089783 |  3870262 |     5617   1656 |        0 |        0
1497.95/1498.42	c 1496s |      24 |  4093865 |  3874162 |     5617   1657 |        0 |        0
1499.96/1500.44	c 1498s |      24 |  4099205 |  3879162 |     5617   1659 |        0 |        0
1501.95/1502.48	c 1500s |      24 |  4105028 |  3884762 |     5617   1661 |        0 |        0
1503.95/1504.50	c 1502s |      24 |  4110106 |  3889762 |     5617   1662 |        0 |        0
1506.05/1506.53	c 1504s |      24 |  4114215 |  3893562 |     5617   1664 |        0 |        0
1508.05/1508.58	c 1506s |      24 |  4119857 |  3898762 |     5617   1665 |        0 |        0
1510.15/1510.61	c 1508s |      24 |  4125148 |  3903562 |     5617   1667 |        0 |        0
1512.16/1512.62	c 1511s |      24 |  4130896 |  3909162 |     5617   1669 |        0 |        0
1514.15/1514.68	c 1513s |      24 |  4136337 |  3914362 |     5617   1671 |        0 |        0
1516.15/1516.68	c 1515s |      24 |  4141289 |  3918962 |     5617   1672 |        0 |        0
1518.15/1518.69	c 1517s |      24 |  4147165 |  3924662 |     5617   1674 |        0 |        0
1520.15/1520.69	c 1519s |      24 |  4151921 |  3929262 |     5617   1676 |        0 |        0
1522.25/1522.71	c 1521s |      24 |  4157059 |  3934162 |     5617   1677 |        0 |        0
1524.25/1524.74	c 1523s |      24 |  4161780 |  3938662 |     5617   1679 |        0 |        0
1526.25/1526.74	c 1525s |      24 |  4168091 |  3944862 |     5617   1681 |        0 |        0
1528.25/1528.77	c 1527s |      24 |  4173040 |  3949162 |     5617   1682 |        0 |        0
1530.25/1530.79	c 1529s |      24 |  4177994 |  3953662 |     5617   1684 |        0 |        0
1532.35/1532.83	c 1531s |      24 |  4182919 |  3958362 |     5617   1685 |        0 |        0
1534.35/1534.84	c 1533s |      24 |  4188033 |  3963262 |     5617   1687 |        0 |        0
1536.35/1536.86	c 1535s |      24 |  4192906 |  3967862 |     5617   1689 |        0 |        0
1538.34/1538.87	c 1537s |      24 |  4197837 |  3972562 |     5617   1690 |        0 |        0
1540.34/1540.88	c 1539s |      24 |  4202615 |  3977062 |     5617   1692 |        0 |        0
1542.44/1542.92	c 1541s |      24 |  4207595 |  3981562 |     5617   1693 |        0 |        0
1544.44/1544.92	c 1543s |      24 |  4212782 |  3986362 |     5617   1695 |        0 |        0
1546.44/1546.94	c 1545s |      24 |  4217736 |  3991062 |     5617   1696 |        0 |        0
1548.45/1548.98	c 1547s |      24 |  4222824 |  3995962 |     5617   1698 |        0 |        0
1550.55/1551.04	c 1549s |      24 |  4227499 |  4000462 |     5617   1699 |        0 |        0
1552.54/1553.07	c 1551s |      24 |  4230467 |  4003262 |     5617   1700 |        0 |        0
1554.54/1555.08	c 1553s |      24 |  4233998 |  4006662 |     5617   1702 |        0 |        0
1556.64/1557.12	c 1555s |      24 |  4237387 |  4009962 |     5617   1703 |        0 |        0
1558.64/1559.14	c 1557s |      24 |  4241185 |  4013262 |     5617   1704 |        0 |        0
1560.64/1561.17	c 1559s |      24 |  4245165 |  4016862 |     5617   1705 |        0 |        0
1562.65/1563.17	c 1561s |      24 |  4250250 |  4021762 |     5617   1707 |        0 |        0
1564.64/1565.19	c 1563s |      24 |  4254602 |  4025762 |     5617   1708 |        0 |        0
1566.64/1567.19	c 1565s |      24 |  4258960 |  4029862 |     5617   1709 |        0 |        0
1568.74/1569.22	c 1567s |      24 |  4263523 |  4034062 |     5617   1711 |        0 |        0
1570.74/1571.28	c 1569s |      24 |  4267799 |  4038062 |     5617   1712 |        0 |        0
1572.74/1573.28	c 1571s |      24 |  4272225 |  4042162 |     5617   1713 |        0 |        0
1574.84/1575.36	c 1573s |      24 |  4277291 |  4046762 |     5617   1715 |        0 |        0
1576.84/1577.39	c 1575s |      24 |  4281594 |  4050762 |     5617   1716 |        0 |        0
1578.94/1579.42	c 1577s |      24 |  4284468 |  4053362 |     5617   1717 |        0 |        0
1581.04/1581.54	c 1579s |      24 |  4288084 |  4056662 |     5617   1718 |        0 |        0
1583.04/1583.57	c 1581s |      24 |  4293098 |  4061562 |     5617   1720 |        0 |        0
1585.14/1585.61	c 1583s |      24 |  4296244 |  4064562 |     5617   1721 |        0 |        0
1587.14/1587.65	c 1586s |      24 |  4300017 |  4067962 |     5617   1722 |        0 |        0
1589.14/1589.66	c 1588s |      24 |  4303856 |  4071762 |     5617   1723 |        0 |        0
1591.14/1591.68	c 1590s |      24 |  4308828 |  4076462 |     5617   1725 |        0 |        0
1593.23/1593.70	c 1592s |      24 |  4313272 |  4080662 |     5617   1726 |        0 |        0
1595.23/1595.71	c 1594s |      24 |  4317393 |  4084662 |     5617   1728 |        0 |        0
1597.23/1597.73	c 1596s |      24 |  4322239 |  4089262 |     5617   1729 |        0 |        0
1599.23/1599.74	c 1598s |      24 |  4326974 |  4093762 |     5617   1731 |        0 |        0
1601.24/1601.75	c 1600s |      24 |  4331950 |  4098562 |     5617   1732 |        0 |        0
1603.23/1603.76	c 1602s |      24 |  4335484 |  4101862 |     5617   1733 |        0 |        0
1605.23/1605.79	c 1604s |      24 |  4340554 |  4106762 |     5617   1735 |        0 |        0
1607.23/1607.79	c 1606s |      24 |  4345330 |  4111062 |     5617   1736 |        0 |        0
1609.33/1609.80	c 1608s |      24 |  4349606 |  4115262 |     5617   1738 |        0 |        0
1611.33/1611.81	c 1610s |      24 |  4354661 |  4120062 |     5617   1740 |        0 |        0
1613.34/1613.83	c 1612s |      24 |  4359241 |  4124062 |     5617   1741 |        0 |        0
1615.33/1615.86	c 1614s |      24 |  4362237 |  4126962 |     5617   1742 |        0 |        0
1617.33/1617.86	c 1616s |      24 |  4366343 |  4130862 |     5617   1743 |        0 |        0
1619.43/1619.90	c 1618s |      24 |  4369985 |  4134162 |     5617   1744 |        0 |        0
1621.43/1621.95	c 1620s |      24 |  4373043 |  4136962 |     5617   1745 |        0 |        0
1623.43/1623.99	c 1622s |      24 |  4376398 |  4140162 |     5617   1746 |        0 |        0
1625.53/1626.03	c 1624s |      24 |  4379320 |  4142962 |     5617   1747 |        0 |        0
1627.53/1628.04	c 1626s |      24 |  4383230 |  4146662 |     5617   1748 |        0 |        0
1629.53/1630.09	c 1628s |      24 |  4388397 |  4151362 |     5617   1750 |        0 |        0
1631.63/1632.13	c 1630s |      24 |  4393826 |  4156662 |     5617   1752 |        0 |        0
1633.63/1634.16	c 1632s |      24 |  4398967 |  4161662 |     5617   1753 |        0 |        0
1635.63/1636.17	c 1634s |      24 |  4404080 |  4166562 |     5617   1755 |        0 |        0
1637.73/1638.20	c 1636s |      24 |  4409420 |  4171762 |     5617   1757 |        0 |        0
1639.73/1640.21	c 1638s |      24 |  4415550 |  4177762 |     5617   1759 |        0 |        0
1641.73/1642.24	c 1640s |      24 |  4420680 |  4182262 |     5617   1760 |        0 |        0
1643.73/1644.24	c 1642s |      24 |  4425969 |  4187362 |     5617   1762 |        0 |        0
1645.72/1646.26	c 1644s |      24 |  4431189 |  4192262 |     5617   1764 |        0 |        0
1647.82/1648.30	c 1646s |      24 |  4436906 |  4197562 |     5617   1765 |        0 |        0
1649.83/1650.33	c 1648s |      24 |  4441182 |  4201562 |     5617   1767 |        0 |        0
1651.84/1652.37	c 1650s |      24 |  4445515 |  4205562 |     5617   1768 |        0 |        0
1653.94/1654.41	c 1652s |      24 |  4449859 |  4209562 |     5617   1769 |        0 |        0
1655.93/1656.43	c 1654s |      24 |  4455090 |  4214662 |     5617   1771 |        0 |        0
1657.93/1658.44	c 1656s |      24 |  4459828 |  4218962 |     5617   1773 |        0 |        0
1659.93/1660.47	c 1658s |      24 |  4465631 |  4224662 |     5617   1775 |        0 |        0
1661.93/1662.48	c 1660s |      24 |  4471708 |  4230662 |     5617   1777 |        0 |        0
1664.03/1664.54	c 1662s |      24 |  4475773 |  4234262 |     5617   1778 |        0 |        0
1666.03/1666.57	c 1664s |      24 |  4479023 |  4237262 |     5617   1779 |        0 |        0
1668.03/1668.59	c 1666s |      24 |  4483934 |  4241962 |     5617   1780 |        0 |        0
1670.13/1670.62	c 1669s |      24 |  4488326 |  4245862 |     5617   1782 |        0 |        0
1672.13/1672.65	c 1671s |      24 |  4492296 |  4249762 |     5617   1783 |        0 |        0
1674.13/1674.67	c 1673s |      24 |  4495641 |  4253062 |     5617   1784 |        0 |        0
1676.13/1676.69	c 1675s |      24 |  4499301 |  4256462 |     5617   1785 |        0 |        0
1678.23/1678.73	c 1677s |      24 |  4503557 |  4260462 |     5617   1787 |        0 |        0
1680.23/1680.74	c 1679s |      24 |  4507758 |  4264562 |     5617   1788 |        0 |        0
1682.23/1682.75	c 1681s |      24 |  4512236 |  4268562 |     5617   1789 |        0 |        0
1684.23/1684.78	c 1683s |      24 |  4517415 |  4273462 |     5617   1791 |        0 |        0
1686.33/1686.83	c 1685s |      24 |  4522551 |  4278362 |     5617   1793 |        0 |        0
1688.33/1688.83	c 1687s |      24 |  4528053 |  4283362 |     5617   1794 |        0 |        0
1690.33/1690.85	c 1689s |      24 |  4533088 |  4288162 |     5617   1796 |        0 |        0
1692.32/1692.86	c 1691s |      24 |  4538217 |  4292862 |     5617   1797 |        0 |        0
1694.32/1694.86	c 1693s |      24 |  4542874 |  4297462 |     5617   1799 |        0 |        0
1696.42/1696.90	c 1695s |      24 |  4548452 |  4302762 |     5617   1801 |        0 |        0
1698.42/1698.92	c 1697s |      24 |  4552649 |  4306362 |     5617   1802 |        0 |        0
1700.42/1700.95	c 1699s |      24 |  4557411 |  4311062 |     5617   1803 |        0 |        0
1702.43/1702.98	c 1701s |      24 |  4561973 |  4315362 |     5617   1805 |        0 |        0
1704.53/1705.01	c 1703s |      24 |  4567197 |  4320462 |     5617   1807 |        0 |        0
1706.52/1707.02	c 1705s |      24 |  4572614 |  4325562 |     5617   1808 |        0 |        0
1708.52/1709.05	c 1707s |      24 |  4577700 |  4330362 |     5617   1810 |        0 |        0
1710.52/1711.08	c 1709s |      24 |  4581790 |  4333962 |     5617   1811 |        0 |        0
1712.62/1713.11	c 1711s |      24 |  4585943 |  4337462 |     5617   1812 |        0 |        0
1714.62/1715.14	c 1713s |      24 |  4590785 |  4341962 |     5617   1814 |        0 |        0
1716.63/1717.19	c 1715s |      24 |  4595777 |  4346562 |     5617   1815 |        0 |        0
1718.72/1719.28	c 1717s |      24 |  4600728 |  4350962 |     5617   1817 |        0 |        0
1720.82/1721.31	c 1719s |      24 |  4605203 |  4354862 |     5617   1818 |        0 |        0
1722.82/1723.32	c 1721s |      24 |  4609620 |  4358562 |     5617   1819 |        0 |        0
1724.82/1725.33	c 1723s |      24 |  4614051 |  4362562 |     5617   1821 |        0 |        0
1726.92/1727.40	c 1725s |      24 |  4617926 |  4365862 |     5617   1822 |        0 |        0
1728.92/1729.44	c 1727s |      24 |  4622444 |  4369762 |     5617   1823 |        0 |        0
1730.92/1731.46	c 1729s |      24 |  4627342 |  4374262 |     5617   1825 |        0 |        0
1733.02/1733.50	c 1731s |      24 |  4631961 |  4378262 |     5617   1826 |        0 |        0
1735.02/1735.52	c 1733s |      24 |  4635817 |  4381662 |     5617   1827 |        0 |        0
1737.02/1737.56	c 1735s |      24 |  4640770 |  4386162 |     5617   1829 |        0 |        0
1739.02/1739.58	c 1737s |      24 |  4646547 |  4391562 |     5617   1830 |        0 |        0
1741.12/1741.63	c 1740s |      24 |  4650599 |  4395162 |     5617   1832 |        0 |        0
1743.12/1743.66	c 1742s |      24 |  4655938 |  4399762 |     5617   1833 |        0 |        0
1745.11/1745.66	c 1744s |      24 |  4661176 |  4404662 |     5617   1835 |        0 |        0
1747.11/1747.68	c 1746s |      24 |  4666304 |  4409562 |     5617   1837 |        0 |        0
1749.21/1749.71	c 1748s |      24 |  4670850 |  4413762 |     5617   1838 |        0 |        0
1751.21/1751.79	c 1750s |      24 |  4675878 |  4418362 |     5617   1840 |        0 |        0
1753.31/1753.82	c 1752s |      24 |  4681377 |  4423162 |     5617   1841 |        0 |        0
1755.31/1755.88	c 1754s |      24 |  4686599 |  4428062 |     5617   1843 |        0 |        0
1757.32/1757.89	c 1756s |      24 |  4691315 |  4432362 |     5617   1844 |        0 |        0
1759.41/1759.92	c 1758s |      24 |  4695677 |  4436362 |     5617   1846 |        0 |        0
1761.41/1761.94	c 1760s |      24 |  4701374 |  4441662 |     5617   1847 |        0 |        0
1763.41/1763.95	c 1762s |      24 |  4705958 |  4445962 |     5617   1849 |        0 |        0
1765.41/1765.98	c 1764s |      24 |  4710923 |  4450762 |     5617   1850 |        0 |        0
1767.51/1768.00	c 1766s |      24 |  4715526 |  4454762 |     5617   1852 |        0 |        0
1769.52/1770.03	c 1768s |      24 |  4720509 |  4459562 |     5617   1853 |        0 |        0
1771.51/1772.04	c 1770s |      24 |  4724851 |  4463762 |     5617   1855 |        0 |        0
1773.51/1774.05	c 1772s |      24 |  4730027 |  4468362 |     5617   1856 |        0 |        0
1775.51/1776.09	c 1774s |      24 |  4735550 |  4473162 |     5617   1858 |        0 |        0
1777.61/1778.11	c 1776s |      24 |  4741051 |  4478462 |     5617   1860 |        0 |        0
1779.61/1780.12	c 1778s |      24 |  4747059 |  4484362 |     5617   1862 |        0 |        0
1781.61/1782.14	c 1780s |      24 |  4752858 |  4489762 |     5617   1863 |        0 |        0
1783.61/1784.18	c 1782s |      24 |  4758812 |  4495162 |     5617   1865 |        0 |        0
1785.71/1786.21	c 1784s |      24 |  4764352 |  4500362 |     5617   1867 |        0 |        0
1787.71/1788.23	c 1786s |      24 |  4770143 |  4505762 |     5617   1869 |        0 |        0
1789.71/1790.24	c 1788s |      24 |  4775408 |  4510662 |     5617   1871 |        0 |        0
1791.71/1792.26	c 1790s |      24 |  4780862 |  4515562 |     5617   1872 |        0 |        0
1793.71/1794.27	c 1792s |      24 |  4786405 |  4520362 |     5617   1874 |        0 |        0
1795.71/1796.28	c 1794s |      24 |  4791795 |  4525362 |     5617   1875 |        0 |        0
1797.70/1798.30	c 1796s |      24 |  4797871 |  4531162 |     5617   1877 |        0 |        0
1799.80/1800.32	c 1798s |      24 |  4803505 |  4536462 |     5617   1879 |        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-4106007-1466261518/watcher-4106007-1466261518 -o /tmp/evaluation-result-4106007-1466261518/solver-4106007-1466261518 -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-4106007-1466261518.opb 

pid=8195
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.06 2.06 2.00 3/178 8198
/proc/meminfo: memFree=30215288/32872528 swapFree=526336/559040
[pid=8198] ppid=8195 vsize=597436 CPUtime=0 cores=0,2,4,6
/proc/8198/stat : 8198 (toysat) R 8195 8198 28898 0 -1 4202496 2203 0 0 0 0 0 0 0 20 0 4 0 28201946 611774464 2565 33554432000 4194304 16246674 140735565484016 140735565483440 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8198/statm: 149871 2575 441 2943 0 146765 0
[pid=8198/tid=8199] ppid=8195 vsize=642492 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28201947 657911808 2740 33554432000 4194304 16246674 140735565484016 139816138157296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8198/tid=8200] ppid=8195 vsize=647612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28201947 663154688 2760 33554432000 4194304 16246674 140735565484016 139816127667440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8201] ppid=8195 vsize=652732 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28201947 668397568 2780 33554432000 4194304 16246674 140735565484016 139816117193904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100209 s]
/proc/loadavg: 2.06 2.06 2.00 3/178 8198
/proc/meminfo: memFree=30215288/32872528 swapFree=526336/559040
[pid=8198] ppid=8195 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/8198/stat : 8198 (toysat) R 8195 8198 28898 0 -1 4202496 21837 0 0 0 7 2 0 0 20 0 4 0 28201946 1247350784 22186 33554432000 4194304 16246674 140735565484016 140735565483440 13193109 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8198/statm: 304529 22193 758 2943 0 301423 0
[pid=8198/tid=8199] ppid=8195 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28201947 1247350784 22196 33554432000 4194304 16246674 140735565484016 139816138157296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8198/tid=8200] ppid=8195 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28201947 1247350784 22201 33554432000 4194304 16246674 140735565484016 139816127667440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8201] ppid=8195 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28201947 1247350784 22207 33554432000 4194304 16246674 140735565484016 139816117193904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200511 s]
/proc/loadavg: 2.06 2.06 2.00 3/178 8198
/proc/meminfo: memFree=30215288/32872528 swapFree=526336/559040
[pid=8198] ppid=8195 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/8198/stat : 8198 (toysat) R 8195 8198 28898 0 -1 4202496 38828 0 0 0 15 4 0 0 20 0 4 0 28201946 1247350784 39177 33554432000 4194304 16246674 140735565484016 140735565483440 13759916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8198/statm: 304529 39186 758 2943 0 301423 0
[pid=8198/tid=8199] ppid=8195 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28201947 1247350784 39191 33554432000 4194304 16246674 140735565484016 139816138157296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8198/tid=8200] ppid=8195 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28201947 1247350784 39197 33554432000 4194304 16246674 140735565484016 139816127667440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8201] ppid=8195 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28201947 1247350784 39202 33554432000 4194304 16246674 140735565484016 139816117193904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300467 s]
/proc/loadavg: 2.06 2.06 2.00 3/178 8198
/proc/meminfo: memFree=30215288/32872528 swapFree=526336/559040
[pid=8198] ppid=8195 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/8198/stat : 8198 (toysat) R 8195 8198 28898 0 -1 4202496 57340 0 0 0 22 7 0 0 20 0 4 0 28201946 1247350784 57689 33554432000 4194304 16246674 140735565484016 140735565467016 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8198/statm: 304529 57700 765 2943 0 301423 0
[pid=8198/tid=8199] ppid=8195 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28201947 1247350784 57705 33554432000 4194304 16246674 140735565484016 139816138157296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8198/tid=8200] ppid=8195 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28201947 1247350784 57710 33554432000 4194304 16246674 140735565484016 139816127667440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8201] ppid=8195 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28201947 1247350784 57716 33554432000 4194304 16246674 140735565484016 139816117193904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700393 s]
/proc/loadavg: 2.06 2.06 2.00 3/178 8198
/proc/meminfo: memFree=30215288/32872528 swapFree=526336/559040
[pid=8198] ppid=8195 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/8198/stat : 8198 (toysat) R 8195 8198 28898 0 -1 4202496 132533 0 0 0 51 18 0 0 20 0 4 0 28201946 1247350784 132882 33554432000 4194304 16246674 140735565484016 140735565467016 13759916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8198/statm: 304529 132889 765 2943 0 301423 0
[pid=8198/tid=8199] ppid=8195 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28201947 1247350784 132897 33554432000 4194304 16246674 140735565484016 139816138157296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8198/tid=8200] ppid=8195 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28201947 1247350784 132905 33554432000 4194304 16246674 140735565484016 139816127667440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8201] ppid=8195 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28201947 1247350784 132914 33554432000 4194304 16246674 140735565484016 139816117193904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.06 2.06 2.00 3/182 8202
/proc/meminfo: memFree=29417632/32872528 swapFree=526336/559040
[pid=8198] ppid=8195 vsize=1220164 CPUtime=1.48 cores=0,2,4,6
/proc/8198/stat : 8198 (toysat) R 8195 8198 28898 0 -1 4202496 246056 0 0 0 116 32 0 0 20 0 4 0 28201946 1249447936 246382 33554432000 4194304 16246674 140735565484016 140735565483328 13820875 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8198/statm: 305041 246382 833 2943 0 301935 0
[pid=8198/tid=8199] ppid=8195 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28201947 1249447936 246382 33554432000 4194304 16246674 140735565484016 139816138157296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8198/tid=8200] ppid=8195 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28201947 1249447936 246382 33554432000 4194304 16246674 140735565484016 139816127667440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8201] ppid=8195 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28201947 1249447936 246382 33554432000 4194304 16246674 140735565484016 139816117193904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1220164

[startup+3.1004 s]
/proc/loadavg: 2.06 2.06 2.00 3/182 8202
/proc/meminfo: memFree=29230392/32872528 swapFree=526336/559040
[pid=8198] ppid=8195 vsize=1304132 CPUtime=3.08 cores=0,2,4,6
/proc/8198/stat : 8198 (toysat) R 8195 8198 28898 0 -1 4202496 266874 0 0 0 273 35 0 0 20 0 4 0 28201946 1335431168 267200 33554432000 4194304 16246674 140735565484016 140735565465920 6836768 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8198/statm: 326033 267200 851 2943 0 322927 0
[pid=8198/tid=8199] ppid=8195 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28201947 1335431168 267200 33554432000 4194304 16246674 140735565484016 139816138157296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8198/tid=8200] ppid=8195 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28201947 1335431168 267200 33554432000 4194304 16246674 140735565484016 139816127667440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8201] ppid=8195 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28201947 1335431168 267200 33554432000 4194304 16246674 140735565484016 139816117193904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1304132

[startup+6.30041 s]
/proc/loadavg: 2.06 2.06 2.00 3/182 8202
/proc/meminfo: memFree=29143228/32872528 swapFree=526336/559040
[pid=8198] ppid=8195 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/8198/stat : 8198 (toysat) R 8195 8198 28898 0 -1 4202496 267830 0 0 0 593 36 0 0 20 0 4 0 28201946 1338576896 268156 33554432000 4194304 16246674 140735565484016 140735565465920 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8198/statm: 326801 268156 853 2943 0 323695 0
[pid=8198/tid=8199] ppid=8195 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28201947 1338576896 268156 33554432000 4194304 16246674 140735565484016 139816138157296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8198/tid=8200] ppid=8195 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28201947 1338576896 268156 33554432000 4194304 16246674 140735565484016 139816127667440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8201] ppid=8195 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28201947 1338576896 268156 33554432000 4194304 16246674 140735565484016 139816117193904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.05 2.05 2.00 3/182 8202
/proc/meminfo: memFree=29140268/32872528 swapFree=526336/559040
[pid=8198] ppid=8195 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/8198/stat : 8198 (toysat) R 8195 8198 28898 0 -1 4202496 268666 0 0 0 1233 36 0 0 20 0 4 0 28201946 1341722624 268992 33554432000 4194304 16246674 140735565484016 140735565465920 5722058 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8198/statm: 327569 268992 853 2943 0 324463 0
[pid=8198/tid=8199] ppid=8195 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28201947 1341722624 268992 33554432000 4194304 16246674 140735565484016 139816138157296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8198/tid=8200] ppid=8195 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28201947 1341722624 268992 33554432000 4194304 16246674 140735565484016 139816127667440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8201] ppid=8195 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28201947 1341722624 268992 33554432000 4194304 16246674 140735565484016 139816117193904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.11 2.07 2.00 3/182 8202
/proc/meminfo: memFree=29140132/32872528 swapFree=526336/559040
[pid=8198] ppid=8195 vsize=1310276 CPUtime=25.49 cores=0,2,4,6
/proc/8198/stat : 8198 (toysat) R 8195 8198 28898 0 -1 4202496 268666 0 0 0 2513 36 0 0 20 0 4 0 28201946 1341722624 268992 33554432000 4194304 16246674 140735565484016 140735565465920 12477752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8198/statm: 327569 268992 853 2943 0 324463 0
[pid=8198/tid=8199] ppid=8195 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28201947 1341722624 268992 33554432000 4194304 16246674 140735565484016 139816138157296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8198/tid=8200] ppid=8195 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28201947 1341722624 268992 33554432000 4194304 16246674 140735565484016 139816127667440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8201] ppid=8195 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28201947 1341722624 268992 33554432000 4194304 16246674 140735565484016 139816117193904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1004 s]
/proc/loadavg: 2.07 2.06 2.00 3/182 8202
/proc/meminfo: memFree=29138476/32872528 swapFree=526336/559040
[pid=8198] ppid=8195 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/8198/stat : 8198 (toysat) R 8195 8198 28898 0 -1 4202496 269277 0 0 0 5072 36 0 0 20 0 4 0 28201946 1344868352 269603 33554432000 4194304 16246674 140735565484016 140735565465920 5823230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8198/statm: 328337 269603 853 2943 0 325231 0
[pid=8198/tid=8199] ppid=8195 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28201947 1344868352 269603 33554432000 4194304 16246674 140735565484016 139816138157296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8198/tid=8200] ppid=8195 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28201947 1344868352 269603 33554432000 4194304 16246674 140735565484016 139816127667440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8201] ppid=8195 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28201947 1344868352 269603 33554432000 4194304 16246674 140735565484016 139816117193904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.301 s]
/proc/loadavg: 2.03 2.05 2.00 3/183 8204
/proc/meminfo: memFree=29131304/32872528 swapFree=526336/559040
[pid=8198] ppid=8195 vsize=1316420 CPUtime=102.28 cores=0,2,4,6
/proc/8198/stat : 8198 (toysat) R 8195 8198 28898 0 -1 4202496 270200 0 0 0 10191 37 0 0 20 0 4 0 28201946 1348014080 270526 33554432000 4194304 16246674 140735565484016 140735565465920 12479203 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8198/statm: 329105 270526 853 2943 0 325999 0
[pid=8198/tid=8199] ppid=8195 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28201947 1348014080 270526 33554432000 4194304 16246674 140735565484016 139816138157296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8198/tid=8200] ppid=8195 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28201947 1348014080 270526 33554432000 4194304 16246674 140735565484016 139816127667440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8201] ppid=8195 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28201947 1348014080 270526 33554432000 4194304 16246674 140735565484016 139816117193904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1316420


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

/proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28201947 1352208384 271557 33554432000 4194304 16246674 140735565484016 139816117193904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1320516

[startup+1362.3 s]
/proc/loadavg: 2.08 2.09 2.02 4/183 8355
/proc/meminfo: memFree=29114024/32872528 swapFree=526336/559040
[pid=8198] ppid=8195 vsize=1324612 CPUtime=1361.87 cores=0,2,4,6
/proc/8198/stat : 8198 (toysat) R 8195 8198 28898 0 -1 4202496 272425 0 0 0 136141 46 0 0 20 0 4 0 28201946 1356402688 272339 33554432000 4194304 16246674 140735565484016 140735565465920 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8198/statm: 331153 272339 855 2943 0 328047 0
[pid=8198/tid=8199] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816138157296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8198/tid=8200] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816127667440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8201] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816117193904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1324612

[startup+1422.3 s]
/proc/loadavg: 2.15 2.11 2.03 3/183 8356
/proc/meminfo: memFree=29110996/32872528 swapFree=526336/559040
[pid=8198] ppid=8195 vsize=1324612 CPUtime=1421.87 cores=0,2,4,6
/proc/8198/stat : 8198 (toysat) R 8195 8198 28898 0 -1 4202496 272425 0 0 0 142140 47 0 0 20 0 4 0 28201946 1356402688 272339 33554432000 4194304 16246674 140735565484016 140735565465920 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8198/statm: 331153 272339 855 2943 0 328047 0
[pid=8198/tid=8199] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816138157296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8198/tid=8200] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816127667440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8201] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816117193904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1324612

[startup+1482.3 s]
/proc/loadavg: 2.21 2.14 2.04 3/183 8358
/proc/meminfo: memFree=29110988/32872528 swapFree=526336/559040
[pid=8198] ppid=8195 vsize=1324612 CPUtime=1481.86 cores=0,2,4,6
/proc/8198/stat : 8198 (toysat) R 8195 8198 28898 0 -1 4202496 272425 0 0 0 148139 47 0 0 20 0 4 0 28201946 1356402688 272339 33554432000 4194304 16246674 140735565484016 140735565465920 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8198/statm: 331153 272339 855 2943 0 328047 0
[pid=8198/tid=8199] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816138157296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8198/tid=8200] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816127667440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8201] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816117193904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1324612

[startup+1542.31 s]
/proc/loadavg: 2.36 2.18 2.06 3/183 8359
/proc/meminfo: memFree=29109824/32872528 swapFree=526336/559040
[pid=8198] ppid=8195 vsize=1324612 CPUtime=1541.85 cores=0,2,4,6
/proc/8198/stat : 8198 (toysat) R 8195 8198 28898 0 -1 4202496 272425 0 0 0 154138 47 0 0 20 0 4 0 28201946 1356402688 272339 33554432000 4194304 16246674 140735565484016 140735565483112 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8198/statm: 331153 272339 855 2943 0 328047 0
[pid=8198/tid=8199] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816138157296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8198/tid=8200] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816127667440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8201] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816117193904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1324612

[startup+1602.3 s]
/proc/loadavg: 2.33 2.21 2.07 3/183 8360
/proc/meminfo: memFree=29110168/32872528 swapFree=526336/559040
[pid=8198] ppid=8195 vsize=1324612 CPUtime=1601.83 cores=0,2,4,6
/proc/8198/stat : 8198 (toysat) R 8195 8198 28898 0 -1 4202496 272425 0 0 0 160136 47 0 0 20 0 4 0 28201946 1356402688 272339 33554432000 4194304 16246674 140735565484016 140735565465920 12875492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8198/statm: 331153 272339 855 2943 0 328047 0
[pid=8198/tid=8199] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816138157296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8198/tid=8200] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816127667440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8201] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816117193904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1324612

[startup+1662.3 s]
/proc/loadavg: 2.23 2.20 2.08 3/183 8361
/proc/meminfo: memFree=29110348/32872528 swapFree=526336/559040
[pid=8198] ppid=8195 vsize=1324612 CPUtime=1661.83 cores=0,2,4,6
/proc/8198/stat : 8198 (toysat) R 8195 8198 28898 0 -1 4202496 272425 0 0 0 166135 48 0 0 20 0 4 0 28201946 1356402688 272339 33554432000 4194304 16246674 140735565484016 140735565465920 6845801 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8198/statm: 331153 272339 855 2943 0 328047 0
[pid=8198/tid=8199] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816138157296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8198/tid=8200] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816127667440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8201] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816117193904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1324612

[startup+1722.3 s]
/proc/loadavg: 2.22 2.20 2.09 3/184 8365
/proc/meminfo: memFree=29106572/32872528 swapFree=526336/559040
[pid=8198] ppid=8195 vsize=1324612 CPUtime=1721.82 cores=0,2,4,6
/proc/8198/stat : 8198 (toysat) R 8195 8198 28898 0 -1 4202496 272425 0 0 0 172134 48 0 0 20 0 4 0 28201946 1356402688 272339 33554432000 4194304 16246674 140735565484016 140735565467016 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8198/statm: 331153 272339 855 2943 0 328047 0
[pid=8198/tid=8199] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816138157296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8198/tid=8200] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816127667440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8201] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816117193904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1324612

[startup+1782.3 s]
/proc/loadavg: 2.34 2.24 2.10 3/183 8367
/proc/meminfo: memFree=29106776/32872528 swapFree=526336/559040
[pid=8198] ppid=8195 vsize=1324612 CPUtime=1781.81 cores=0,2,4,6
/proc/8198/stat : 8198 (toysat) R 8195 8198 28898 0 -1 4202496 272425 0 0 0 178133 48 0 0 20 0 4 0 28201946 1356402688 272339 33554432000 4194304 16246674 140735565484016 140735565465920 4221116 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8198/statm: 331153 272339 855 2943 0 328047 0
[pid=8198/tid=8199] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816138157296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8198/tid=8200] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816127667440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8201] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816117193904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1324612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.24 2.22 2.10 3/183 8368
/proc/meminfo: memFree=29106612/32872528 swapFree=526336/559040
[pid=8198] ppid=8195 vsize=1324612 CPUtime=1800 cores=0,2,4,6
/proc/8198/stat : 8198 (toysat) R 8195 8198 28898 0 -1 4202496 272425 0 0 0 179952 48 0 0 20 0 4 0 28201946 1356402688 272339 33554432000 4194304 16246674 140735565484016 140735565465920 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8198/statm: 331153 272339 855 2943 0 328047 0
[pid=8198/tid=8199] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816138157296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8198/tid=8200] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816127667440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8201] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816117193904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1324612

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

[startup+1800.5 s]
/proc/loadavg: 2.24 2.22 2.10 3/183 8368
/proc/meminfo: memFree=29106612/32872528 swapFree=526336/559040
[pid=8198] ppid=8195 vsize=1324612 CPUtime=1800 cores=0,2,4,6
/proc/8198/stat : 8198 (toysat) R 8195 8198 28898 0 -1 4202496 272425 0 0 0 179952 48 0 0 20 0 4 0 28201946 1356402688 272339 33554432000 4194304 16246674 140735565484016 140735565465920 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8198/statm: 331153 272339 855 2943 0 328047 0
[pid=8198/tid=8199] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816138157296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8198/tid=8200] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816127667440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8201] ppid=8195 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28201947 1356402688 272339 33554432000 4194304 16246674 140735565484016 139816117193904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1324612

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.53
CPU system time (s): 0.486925
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 1324612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.486925
maximum resident set size= 1089356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272425
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= 427
involuntary context switches= 2006

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.49532 second user time and 7.01693 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 16:51:58
IDJOB=4106007
IDBENCH=47890
IDSOLVER=2542
FILE ID=node106/4106007-1466261518
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=8-P0=223-P1=29-P2=7-P3=83-P4=113-P5=223-P6=229-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106007-1466261518/watcher-4106007-1466261518 -o /tmp/evaluation-result-4106007-1466261518/solver-4106007-1466261518 -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-4106007-1466261518.opb

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

MD5SUM BENCH= 6355c589dda3f12b095277ae4637ab26
RANDOM SEED=524752087

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:        30215660 kB
Buffers:           77704 kB
Cached:           192928 kB
SwapCached:         1736 kB
Active:          1175216 kB
Inactive:         176020 kB
Active(anon):    1078896 kB
Inactive(anon):     4060 kB
Active(file):      96320 kB
Inactive(file):   171960 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             16784 kB
Writeback:             0 kB
AnonPages:       1641644 kB
Mapped:             9628 kB
Shmem:                 0 kB
Slab:             612880 kB
SReclaimable:      56464 kB
SUnreclaim:       556416 kB
KernelStack:        1512 kB
PageTables:         6772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1782940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     43008 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 17:21:59