Trace number 4100705

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.04 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-ship08s.opb
MD5SUM86f5ae05f91cc0663afe4f54ca2c84e2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables71610
Total number of constraints704
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 constraints704
Minimum length of a constraint30
Maximum length of a constraint1830
Number of terms in the objective function 71610
Biggest coefficient in the objective function 2031
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 584663
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 584663
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T04:29:27+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-4100705-1466216967.opb"]
0.00/0.01	c use --random-gen="2833158767 2100950484 2257671136 3259086018 375804181 2115443356 3420792037 3044698450 1987978762 363791969 2079055374 905367861 1965870122 2550638153 2078984640 2753829385 337554238 2529227307 1392132507 741224368 493918321 2322688995 2455798562 1428732137 978366775 1035649304 3893684522 3216072076 3344485294 798299124 1058794032 3597064832 3529271435 2108699762 135709052 3782090718 3871062026 159716004 954626353 3240027190 1111719757 2641879102 2843451849 3523292554 722338475 1651119117 1771738778 1534624392 3192166220 3492896561 3347319434 3349462338 3695268106 656444608 2120929838 1781657936 3010840581 2401153388 1922579352 2211655316 1201433554 3619996742 3617106443 3005040077 675491550 1393579507 1300147455 2172731123 3773388064 1925288283 4015235739 904689917 1987509975 586084315 3333168253 73301193 3963156338 3497832636 1456309957 2892102338 3057011900 3857426810 3080208286 2133159652 3583136477 2166527949 270267794 341475262 2791740726 86849321 2971540489 104135352 3650823881 2897395428 2008492667 2894419068 805460180 3991260184 55150887 464897782 3448954855 3881310299 102447520 379084047 2929251797 1725948253 2373556855 438996987 315700941 3304792043 4008911720 1969034677 30318767 3210137942 1765164877 3938796164 1831303050 1519921105 2052826428 1899082181 1060093612 3392541705 3160410934 585044191 110488593 3888541786 1627170015 1157596955 2298532655 3704900165 2175361114 2299188675 3422171431 251092878 2813901042 2421161317 2111115451 2714282478 3947888657 488780232 3284683476 1874388632 3222179617 3094889642 3904113248 4117512635 3619178637 2151794075 387535863 55429999 3051888982 3984874870 2016129042 3922910853 3242173088 2919858731 1061792538 541591647 3378167568 2810454191 2074621132 2960581430 590394332 1141804512 1034648852 3758897260 503518127 4112387179 3340194211 2238499820 83994852 665959308 903823047 3634124492 3109958906 2508682184 1891621497 2066873580 2883976908 457415322 3939920337 2781980783 51743837 3525429583 2205294072 1046179104 2065018535 3161815614 763735804 2850172414 1810766887 4078707526 4062923932 4198355234 2254715873 1815610358 973502604 2765644402 216980544 2230767093 3536562600 3385452219 818876949 854145484 2598053780 3392451580 2768049346 4132255472 2540014078 478336496 2849375440 1762293419 2196288456 1334961996 1244469915 3544486542 884678582 911692438 3256609653 4285385935 4032451609 2171484329 4121164050 2931123410 753595451 229893839 2234635848 2121105870 962398090 1268334877 1218814523 1624284686 1907524115 1416825687 1500596830 2806082298 515585073 3630612746 2453883125 1327743258 2697616148 826171233 1968792117 2052945262 2143763176 1084091183 1606185401 115493595 1510368452 1109812580 3860387870 3703619494 3147583672 3266409366 683512381 2450148445 255 362436" option to reproduce the execution
0.39/0.49	c #vars 71610
0.39/0.49	c #constraints 704
1.49/1.56	c BCD2: Hardening is enabled.
1.49/1.56	c BCD2: BiasedSearch is enabled.
1.49/1.56	c Solving starts ...
1.49/1.56	c ============================[ Search Statistics ]============================
1.49/1.56	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.49/1.56	c       |         |          |          |    Limit     GC | Var      | Constra 
1.49/1.56	c =============================================================================
1.49/1.58	c  0.0s |       0 |        0 |        0 |    24244      0 |    39402 |        0
2.79/2.80	c  1.2s |       1 |     2185 |      100 |    24244      0 |    39402 |      213
3.09/3.15	c  1.6s |       2 |     2717 |      250 |    26669      0 |    39402 |      213
3.40/3.44	c  1.9s |       3 |     3040 |      475 |    29336      0 |    39402 |      213
3.89/3.92	c  2.3s |       4 |     3529 |      813 |    32270      0 |    39402 |      213
5.19/5.28	c  3.7s |       5 |     4199 |     1320 |    35497      0 |    39402 |      213
7.29/7.31	c  5.7s |       5 |     5275 |     2020 |    39047      0 |    39402 |      213
7.39/7.48	c  5.9s |       6 |     5341 |     2081 |    42952      0 |    39402 |      213
9.59/9.64	c  8.1s |       6 |     6821 |     3081 |    42952      0 |    39402 |      213
9.89/9.98	c  8.4s |       7 |     6968 |     3223 |    47248      0 |    39402 |      213
10.89/10.93	c  9.4s |       8 |     8741 |     4936 |    51973      0 |    39402 |      213
13.88/13.90	c 12.3s |       8 |    11173 |     5236 |    51973      0 |    39402 |      213
16.69/16.72	c 15.1s |       8 |    11392 |     5436 |    51973      0 |    39402 |      213
19.59/19.64	c 18.1s |       8 |    11608 |     5636 |    51973      0 |    39402 |      213
22.89/22.95	c 21.4s |       8 |    11952 |     5936 |    51973      0 |    39402 |      213
25.49/25.56	c 24.0s |       8 |    12183 |     6136 |    51973      0 |    39402 |      213
28.39/28.41	c 26.8s |       8 |    12401 |     6336 |    51973      0 |    39402 |      213
31.69/31.71	c 30.1s |       8 |    12619 |     6536 |    51973      0 |    39402 |      213
34.68/34.75	c 33.2s |       8 |    12846 |     6736 |    51973      0 |    39402 |      213
37.88/37.97	c 36.4s |       8 |    13052 |     6936 |    51973      0 |    39402 |      213
40.69/40.74	c 39.2s |       8 |    13263 |     7136 |    51973      0 |    39402 |      213
43.48/43.50	c 41.9s |       8 |    13476 |     7336 |    51973      0 |    39402 |      213
45.48/45.56	c 44.0s |       9 |    13661 |     7506 |    57171      0 |    39402 |      213
47.48/47.58	c 46.0s |       9 |    16596 |     9506 |    57171      0 |    39402 |      213
49.08/49.10	c 47.5s |      10 |    18478 |    11361 |    62889      0 |    39402 |      213
51.08/51.17	c 49.6s |      10 |    20788 |    13561 |    62889      0 |    39402 |      213
53.18/53.26	c 51.7s |      10 |    22993 |    15761 |    62889      0 |    39402 |      213
54.78/54.81	c 53.2s |      11 |    24376 |    17144 |    69178      0 |    39402 |      213
56.88/56.93	c 55.4s |      11 |    25754 |    18444 |    69178      0 |    39402 |      213
58.98/59.07	c 57.5s |      11 |    27258 |    19944 |    69178      0 |    39402 |      213
61.18/61.20	c 59.6s |      11 |    28967 |    21644 |    69178      0 |    39402 |      213
63.18/63.21	c 61.6s |      11 |    30484 |    23144 |    69178      0 |    39402 |      213
65.18/65.27	c 63.7s |      11 |    31995 |    24644 |    69178      0 |    39402 |      213
66.98/67.07	c 65.5s |      12 |    33175 |    25819 |    76096      0 |    39402 |      213
69.18/69.20	c 67.6s |      12 |    34349 |    26919 |    76096      0 |    39402 |      213
71.18/71.21	c 69.6s |      12 |    35656 |    28219 |    76096      0 |    39402 |      213
73.28/73.38	c 71.8s |      12 |    36959 |    29519 |    76096      0 |    39402 |      213
75.48/75.53	c 74.0s |      12 |    38159 |    30719 |    76096      0 |    39402 |      213
77.48/77.55	c 76.0s |      12 |    39269 |    31819 |    76096      0 |    39402 |      213
79.57/79.62	c 78.0s |      12 |    40369 |    32919 |    76096      0 |    39402 |      213
81.67/81.78	c 80.2s |      12 |    41467 |    34019 |    76096      0 |    39402 |      213
83.77/83.80	c 82.2s |      12 |    42472 |    35019 |    76096      0 |    39402 |      213
85.78/85.84	c 84.3s |      12 |    43575 |    36119 |    76096      0 |    39402 |      213
87.87/88.00	c 86.4s |      12 |    44580 |    37119 |    76096      0 |    39402 |      213
90.07/90.13	c 88.6s |      12 |    45578 |    38119 |    76096      0 |    39402 |      213
91.57/91.67	c 90.1s |      13 |    46297 |    38832 |    83706      0 |    39402 |      213
93.58/93.69	c 92.1s |      13 |    47074 |    39532 |    83706      0 |    39402 |      213
95.78/95.84	c 94.3s |      13 |    47974 |    40432 |    83706      0 |    39402 |      213
97.98/98.04	c 96.5s |      13 |    48871 |    41332 |    83706      0 |    39402 |      213
100.18/100.24	c 98.7s |      13 |    49772 |    42232 |    83706      0 |    39402 |      213
102.28/102.39	c  100s |      13 |    50674 |    43132 |    83706      0 |    39402 |      213
104.48/104.55	c  102s |      13 |    51477 |    43932 |    83706      0 |    39402 |      213
106.47/106.59	c  105s |      13 |    52284 |    44732 |    83706      0 |    39402 |      213
108.67/108.76	c  107s |      13 |    53085 |    45532 |    83706      0 |    39402 |      213
110.77/110.84	c  109s |      13 |    53695 |    46132 |    83706      0 |    39402 |      213
112.87/112.92	c  111s |      13 |    54399 |    46832 |    83706      0 |    39402 |      213
114.87/114.95	c  113s |      13 |    55092 |    47532 |    83706      0 |    39402 |      213
116.97/117.04	c  115s |      13 |    55808 |    48232 |    83706      0 |    39402 |      213
119.07/119.17	c  117s |      13 |    56499 |    48932 |    83706      0 |    39402 |      213
121.27/121.37	c  119s |      13 |    57214 |    49632 |    83706      0 |    39402 |      213
123.47/123.50	c  121s |      13 |    57811 |    50232 |    83706      0 |    39402 |      213
125.47/125.58	c  124s |      13 |    58517 |    50932 |    83706      0 |    39402 |      213
127.57/127.70	c  126s |      13 |    59225 |    51632 |    83706      0 |    39402 |      213
129.77/129.83	c  128s |      13 |    59920 |    52332 |    83706      0 |    39402 |      213
131.77/131.85	c  130s |      13 |    60521 |    52932 |    83706      0 |    39402 |      213
133.87/133.98	c  132s |      13 |    61123 |    53532 |    83706      0 |    39402 |      213
136.27/136.30	c  134s |      13 |    61730 |    54132 |    83706      0 |    39402 |      213
138.27/138.30	c  136s |      13 |    62427 |    54832 |    83706      0 |    39402 |      213
140.47/140.56	c  138s |      13 |    63149 |    55532 |    83706      0 |    39402 |      213
142.57/142.61	c  141s |      13 |    63751 |    56132 |    83706      0 |    39402 |      213
144.67/144.79	c  143s |      13 |    64351 |    56732 |    83706      0 |    39402 |      213
146.97/147.02	c  145s |      13 |    65053 |    57432 |    83706      0 |    39402 |      213
148.97/149.07	c  147s |      13 |    65665 |    58032 |    92077      0 |    39402 |      213
150.07/150.13	c  148s |      14 |    65979 |    58352 |    92077      0 |    39402 |      213
152.27/152.33	c  150s |      14 |    66449 |    58752 |    92077      0 |    39402 |      213
154.57/154.63	c  153s |      14 |    67047 |    59352 |    92077      0 |    39402 |      213
156.77/156.86	c  155s |      14 |    67656 |    59952 |    92077      0 |    39402 |      213
158.77/158.88	c  157s |      14 |    68255 |    60552 |    92077      0 |    39402 |      213
160.97/161.02	c  159s |      14 |    68764 |    61052 |    92077      0 |    39402 |      213
163.37/163.46	c  161s |      14 |    69261 |    61552 |    92077      0 |    39402 |      213
165.47/165.54	c  163s |      14 |    69763 |    62052 |    92077      0 |    39402 |      213
167.67/167.72	c  166s |      14 |    70361 |    62652 |    92077      0 |    39402 |      213
169.77/169.85	c  168s |      14 |    70861 |    63152 |    92077      0 |    39402 |      213
171.87/171.92	c  170s |      14 |    71358 |    63652 |    92077      0 |    39402 |      213
174.27/174.33	c  172s |      14 |    71963 |    64252 |    92077      0 |    39402 |      213
176.67/176.76	c  175s |      14 |    72461 |    64752 |    92077      0 |    39402 |      213
178.87/178.99	c  177s |      14 |    72964 |    65252 |    92077      0 |    39402 |      213
181.27/181.37	c  179s |      14 |    73570 |    65852 |    92077      0 |    39402 |      213
183.37/183.46	c  181s |      14 |    74077 |    66352 |    92077      0 |    39402 |      213
185.47/185.58	c  183s |      14 |    74583 |    66852 |    92077      0 |    39402 |      213
187.87/187.93	c  186s |      14 |    75077 |    67352 |    92077      0 |    39402 |      213
190.17/190.21	c  188s |      14 |    75580 |    67852 |    92077      0 |    39402 |      213
192.37/192.41	c  190s |      14 |    76079 |    68352 |    92077      0 |    39402 |      213
194.47/194.58	c  193s |      14 |    76488 |    68752 |    92077      0 |    39402 |      213
196.47/196.58	c  195s |      14 |    77090 |    69352 |    92077      0 |    39402 |      213
198.76/198.82	c  197s |      14 |    77687 |    69952 |    92077      0 |    39402 |      213
200.96/201.09	c  199s |      14 |    78289 |    70552 |    92077      0 |    39402 |      213
203.26/203.36	c  201s |      14 |    78987 |    71252 |    92077      0 |    39402 |      213
205.55/205.69	c  204s |      14 |    79588 |    71852 |    92077      0 |    39402 |      213
207.86/207.91	c  206s |      14 |    80186 |    72452 |    92077      0 |    39402 |      213
210.16/210.20	c  208s |      14 |    80694 |    72952 |    92077      0 |    39402 |      213
212.45/212.55	c  210s |      14 |    81191 |    73452 |    92077      0 |    39402 |      213
214.75/214.86	c  213s |      14 |    81803 |    74052 |    92077      0 |    39402 |      213
216.85/216.93	c  215s |      14 |    82407 |    74652 |    92077      0 |    39402 |      213
218.96/219.06	c  217s |      14 |    83010 |    75252 |    92077      0 |    39402 |      213
221.06/221.17	c  219s |      14 |    83608 |    75852 |    92077      0 |    39402 |      213
223.36/223.41	c  221s |      14 |    84221 |    76452 |    92077      0 |    39402 |      213
225.35/225.45	c  223s |      14 |    84717 |    76952 |    92077      0 |    39402 |      213
227.35/227.47	c  225s |      14 |    85220 |    77452 |    92077      0 |    39402 |      213
229.65/229.78	c  228s |      14 |    85820 |    78052 |    92077      0 |    39402 |      213
231.75/231.82	c  230s |      14 |    86316 |    78552 |    92077      0 |    39402 |      213
233.86/233.99	c  232s |      14 |    86825 |    79052 |    92077      0 |    39402 |      213
236.16/236.26	c  234s |      14 |    87320 |    79552 |    92077      0 |    39402 |      213
238.36/238.46	c  236s |      14 |    87831 |    80052 |    92077      0 |    39402 |      213
240.76/240.84	c  239s |      14 |    88327 |    80552 |    92077      0 |    39402 |      213
243.17/243.23	c  241s |      14 |    88838 |    81052 |    92077      0 |    39402 |      213
245.36/245.44	c  243s |      14 |    89342 |    81552 |    92077      0 |    39402 |      213
247.46/247.55	c  245s |      14 |    89847 |    82052 |    92077      0 |    39402 |      213
249.56/249.65	c  248s |      14 |    90342 |    82552 |    92077      0 |    39402 |      213
251.66/251.78	c  250s |      14 |    90846 |    83052 |    92077      0 |    39402 |      213
253.86/253.98	c  252s |      14 |    91354 |    83552 |    92077      0 |    39402 |      213
255.96/256.07	c  254s |      14 |    91857 |    84052 |    92077      0 |    39402 |      213
258.16/258.27	c  256s |      14 |    92356 |    84552 |    92077      0 |    39402 |      213
260.85/260.92	c  259s |      14 |    92870 |    85052 |    92077      0 |    39402 |      213
262.86/263.00	c  261s |      14 |    93272 |    85452 |    92077      0 |    39402 |      213
265.25/265.35	c  263s |      14 |    93771 |    85952 |    92077      0 |    39402 |      213
267.65/267.72	c  266s |      14 |    94181 |    86352 |    92077      0 |    39402 |      213
269.75/269.83	c  268s |      14 |    94685 |    86852 |    92077      0 |    39402 |      213
271.85/271.97	c  270s |      14 |    95280 |    87452 |   101285      0 |    39402 |      213
272.86/272.99	c  271s |      15 |    95476 |    87632 |   101285      0 |    39402 |      213
275.15/275.28	c  273s |      15 |    95846 |    87932 |   101285      0 |    39402 |      213
277.35/277.46	c  275s |      15 |    96350 |    88432 |   101285      0 |    39402 |      213
279.46/279.57	c  277s |      15 |    96850 |    88932 |   101285      0 |    39402 |      213
281.56/281.68	c  280s |      15 |    97355 |    89432 |   101285      0 |    39402 |      213
283.76/283.86	c  282s |      15 |    97857 |    89932 |   101285      0 |    39402 |      213
286.06/286.14	c  284s |      15 |    98357 |    90432 |   101285      0 |    39402 |      213
288.45/288.55	c  286s |      15 |    98858 |    90932 |   101285      0 |    39402 |      213
290.85/290.92	c  289s |      15 |    99358 |    91432 |   101285      0 |    39402 |      213
293.15/293.29	c  291s |      15 |    99860 |    91932 |   101285      0 |    39402 |      213
295.45/295.52	c  293s |      15 |   100364 |    92432 |   101285      0 |    39402 |      213
297.65/297.71	c  296s |      15 |   100865 |    92932 |   101285      0 |    39402 |      213
299.84/299.98	c  298s |      15 |   101364 |    93432 |   101285      0 |    39402 |      213
302.24/302.31	c  300s |      15 |   101878 |    93932 |   101285      0 |    39402 |      213
304.44/304.50	c  302s |      15 |   102379 |    94432 |   101285      0 |    39402 |      213
306.85/306.94	c  305s |      15 |   102877 |    94932 |   101285      0 |    39402 |      213
309.24/309.39	c  307s |      15 |   103388 |    95432 |   101285      0 |    39402 |      213
311.64/311.78	c  310s |      15 |   103889 |    95932 |   101285      0 |    39402 |      213
314.14/314.23	c  312s |      15 |   104386 |    96432 |   101285      0 |    39402 |      213
316.54/316.67	c  315s |      15 |   104888 |    96932 |   101285      0 |    39402 |      213
319.04/319.13	c  317s |      15 |   105386 |    97432 |   101285      0 |    39402 |      213
321.24/321.31	c  319s |      15 |   105783 |    97832 |   101285      0 |    39402 |      213
323.23/323.39	c  321s |      15 |   106207 |    98232 |   101285      0 |    39402 |      213
325.43/325.56	c  323s |      15 |   106598 |    98632 |   101285      0 |    39402 |      213
327.93/328.04	c  326s |      15 |   107005 |    99032 |   101285      0 |    39402 |      213
330.33/330.40	c  328s |      15 |   107413 |    99432 |   101285      0 |    39402 |      213
332.63/332.71	c  331s |      15 |   107806 |    99832 |   101285      0 |    39402 |      213
335.03/335.14	c  333s |      15 |   108204 |   100232 |   101285      0 |    39402 |      213
337.43/337.58	c  336s |      15 |   108611 |   100632 |   101285      0 |    39402 |      213
340.23/340.33	c  338s |      15 |   108918 |   100932 |   101285      0 |    39402 |      213
342.83/342.91	c  341s |      15 |   109213 |   101232 |   101285      0 |    39402 |      213
345.63/345.71	c  344s |      15 |   109521 |   101532 |   101285      0 |    39402 |      213
348.23/348.34	c  346s |      15 |   109817 |   101832 |   101285      0 |    39402 |      213
350.93/351.06	c  349s |      15 |   110123 |   102132 |   101285      0 |    39402 |      213
353.83/353.98	c  352s |      15 |   110419 |   102432 |   101285      0 |    39402 |      213
356.02/356.10	c  354s |      15 |   110622 |   102632 |   101285      0 |    39402 |      213
358.92/359.09	c  357s |      15 |   110929 |   102932 |   101285      0 |    39402 |      213
361.42/361.53	c  359s |      15 |   111227 |   103232 |   101285      0 |    39402 |      213
363.62/363.71	c  362s |      15 |   111519 |   103532 |   101285      0 |    39402 |      213
366.12/366.22	c  364s |      15 |   111824 |   103832 |   101285      0 |    39402 |      213
368.62/368.73	c  367s |      15 |   112122 |   104132 |   101285      0 |    39402 |      213
371.42/371.53	c  369s |      15 |   112433 |   104432 |   101285      0 |    39402 |      213
374.22/374.32	c  372s |      15 |   112727 |   104732 |   101285      0 |    39402 |      213
376.62/376.72	c  375s |      15 |   113031 |   105032 |   101285      0 |    39402 |      213
379.12/379.23	c  377s |      15 |   113432 |   105432 |   101285      0 |    39402 |      213
381.82/381.90	c  380s |      15 |   113835 |   105832 |   101285      0 |    39402 |      213
383.93/384.08	c  382s |      15 |   114129 |   106132 |   101285      0 |    39402 |      213
386.32/386.41	c  384s |      15 |   114441 |   106432 |   101285      0 |    39402 |      213
388.42/388.59	c  387s |      15 |   114744 |   106732 |   101285      0 |    39402 |      213
390.62/390.76	c  389s |      15 |   115046 |   107032 |   101285      0 |    39402 |      213
392.72/392.82	c  391s |      15 |   115347 |   107332 |   101285      0 |    39402 |      213
394.82/395.00	c  393s |      15 |   115640 |   107632 |   101285      0 |    39402 |      213
397.32/397.41	c  395s |      15 |   115938 |   107932 |   101285      0 |    39402 |      213
399.82/399.96	c  398s |      15 |   116346 |   108332 |   101285      0 |    39402 |      213
402.52/402.62	c  401s |      15 |   116746 |   108732 |   101285      0 |    39402 |      213
404.61/404.72	c  403s |      15 |   117042 |   109032 |   101285      0 |    39402 |      213
407.02/407.15	c  405s |      15 |   117350 |   109332 |   101285      0 |    39402 |      213
409.12/409.23	c  407s |      15 |   117663 |   109632 |   101285      0 |    39402 |      213
411.11/411.27	c  409s |      15 |   117964 |   109932 |   101285      0 |    39402 |      213
413.62/413.74	c  412s |      15 |   118266 |   110232 |   101285      0 |    39402 |      213
416.11/416.22	c  414s |      15 |   118565 |   110532 |   101285      0 |    39402 |      213
418.31/418.46	c  416s |      15 |   118866 |   110832 |   101285      0 |    39402 |      213
420.61/420.78	c  419s |      15 |   119264 |   111232 |   101285      0 |    39402 |      213
423.31/423.40	c  421s |      15 |   119665 |   111632 |   101285      0 |    39402 |      213
425.31/425.41	c  423s |      15 |   119968 |   111932 |   101285      0 |    39402 |      213
427.31/427.42	c  425s |      15 |   120266 |   112232 |   101285      0 |    39402 |      213
429.71/429.89	c  428s |      15 |   120567 |   112532 |   101285      0 |    39402 |      213
432.50/432.69	c  431s |      15 |   120875 |   112832 |   101285      0 |    39402 |      213
435.00/435.11	c  433s |      15 |   121183 |   113132 |   101285      0 |    39402 |      213
437.20/437.32	c  435s |      15 |   121483 |   113432 |   101285      0 |    39402 |      213
439.20/439.34	c  437s |      15 |   121784 |   113732 |   101285      0 |    39402 |      213
441.90/442.08	c  440s |      15 |   122184 |   114132 |   101285      0 |    39402 |      213
444.20/444.33	c  442s |      15 |   122484 |   114432 |   101285      0 |    39402 |      213
446.30/446.45	c  444s |      15 |   122779 |   114732 |   101285      0 |    39402 |      213
448.50/448.63	c  447s |      15 |   123081 |   115032 |   101285      0 |    39402 |      213
450.90/451.09	c  449s |      15 |   123481 |   115432 |   101285      0 |    39402 |      213
452.99/453.20	c  451s |      15 |   123781 |   115732 |   101285      0 |    39402 |      213
455.79/455.92	c  454s |      15 |   124180 |   116132 |   101285      0 |    39402 |      213
458.29/458.41	c  456s |      15 |   124483 |   116432 |   101285      0 |    39402 |      213
460.39/460.58	c  459s |      15 |   124779 |   116732 |   101285      0 |    39402 |      213
462.59/462.76	c  461s |      15 |   125082 |   117032 |   101285      0 |    39402 |      213
465.09/465.25	c  463s |      15 |   125380 |   117332 |   101285      0 |    39402 |      213
467.69/467.85	c  466s |      15 |   125678 |   117632 |   101285      0 |    39402 |      213
469.79/469.91	c  468s |      15 |   126003 |   117932 |   101285      0 |    39402 |      213
472.29/472.44	c  470s |      15 |   126291 |   118232 |   101285      0 |    39402 |      213
474.69/474.88	c  473s |      15 |   126706 |   118632 |   101285      0 |    39402 |      213
476.79/476.98	c  475s |      15 |   127003 |   118932 |   101285      0 |    39402 |      213
478.99/479.16	c  477s |      15 |   127302 |   119232 |   101285      0 |    39402 |      213
481.08/481.24	c  479s |      15 |   127603 |   119532 |   101285      0 |    39402 |      213
483.58/483.78	c  482s |      15 |   128002 |   119932 |   101285      0 |    39402 |      213
485.88/486.02	c  484s |      15 |   128305 |   120232 |   101285      0 |    39402 |      213
488.08/488.21	c  486s |      15 |   128606 |   120532 |   101285      0 |    39402 |      213
490.18/490.31	c  488s |      15 |   128907 |   120832 |   101285      0 |    39402 |      213
492.28/492.47	c  490s |      15 |   129206 |   121132 |   101285      0 |    39402 |      213
495.08/495.26	c  493s |      15 |   129609 |   121532 |   101285      0 |    39402 |      213
497.28/497.45	c  495s |      15 |   129906 |   121832 |   101285      0 |    39402 |      213
499.29/499.45	c  497s |      15 |   130207 |   122132 |   101285      0 |    39402 |      213
501.38/501.55	c  499s |      15 |   130509 |   122432 |   101285      0 |    39402 |      213
503.48/503.64	c  502s |      15 |   130810 |   122732 |   101285      0 |    39402 |      213
505.48/505.66	c  504s |      15 |   131108 |   123032 |   101285      0 |    39402 |      213
507.78/507.96	c  506s |      15 |   131407 |   123332 |   101285      0 |    39402 |      213
510.08/510.29	c  508s |      15 |   131707 |   123632 |   101285      0 |    39402 |      213
512.77/512.92	c  511s |      15 |   132007 |   123932 |   101285      0 |    39402 |      213
514.97/515.17	c  513s |      15 |   132310 |   124232 |   101285      0 |    39402 |      213
517.17/517.36	c  515s |      15 |   132607 |   124532 |   101285      0 |    39402 |      213
519.97/520.19	c  518s |      15 |   133009 |   124932 |   101285      0 |    39402 |      213
522.77/522.98	c  521s |      15 |   133325 |   125232 |   101285      0 |    39402 |      213
525.47/525.65	c  524s |      15 |   133617 |   125532 |   101285      0 |    39402 |      213
528.17/528.30	c  526s |      15 |   133923 |   125832 |   101285      0 |    39402 |      213
530.47/530.60	c  529s |      15 |   134224 |   126132 |   101285      0 |    39402 |      213
532.67/532.87	c  531s |      15 |   134523 |   126432 |   101285      0 |    39402 |      213
534.77/534.99	c  533s |      15 |   134728 |   126632 |   101285      0 |    39402 |      213
537.27/537.40	c  535s |      15 |   135023 |   126932 |   101285      0 |    39402 |      213
539.77/539.94	c  538s |      15 |   135322 |   127232 |   101285      0 |    39402 |      213
542.17/542.32	c  540s |      15 |   135631 |   127532 |   101285      0 |    39402 |      213
544.57/544.76	c  543s |      15 |   135933 |   127832 |   101285      0 |    39402 |      213
547.27/547.43	c  545s |      15 |   136230 |   128132 |   101285      0 |    39402 |      213
549.77/549.94	c  548s |      15 |   136527 |   128432 |   101285      0 |    39402 |      213
552.36/552.55	c  550s |      15 |   136828 |   128732 |   101285      0 |    39402 |      213
555.06/555.20	c  553s |      15 |   137129 |   129032 |   101285      0 |    39402 |      213
557.06/557.23	c  555s |      15 |   137333 |   129232 |   101285      0 |    39402 |      213
559.16/559.31	c  557s |      15 |   137531 |   129432 |   101285      0 |    39402 |      213
561.97/562.20	c  560s |      15 |   137842 |   129732 |   101285      0 |    39402 |      213
564.56/564.75	c  563s |      15 |   138142 |   130032 |   101285      0 |    39402 |      213
567.06/567.20	c  565s |      15 |   138553 |   130432 |   101285      0 |    39402 |      213
569.56/569.72	c  568s |      15 |   138951 |   130832 |   111414      0 |    39402 |      213
571.76/571.96	c  570s |      15 |   139256 |   131132 |   111414      0 |    39402 |      213
574.46/574.67	c  573s |      15 |   139654 |   131532 |   111414      0 |    39402 |      213
574.56/574.78	c  573s |      16 |   139672 |   131552 |   111414      0 |    39402 |      213
576.76/576.95	c  575s |      16 |   139938 |   131752 |   111414      0 |    39402 |      213
579.36/579.56	c  577s |      16 |   140236 |   132052 |   111414      0 |    39402 |      213
581.76/581.97	c  580s |      16 |   140541 |   132352 |   111414      0 |    39402 |      213
584.35/584.51	c  582s |      16 |   140843 |   132652 |   111414      0 |    39402 |      213
587.15/587.30	c  585s |      16 |   141241 |   133052 |   111414      0 |    39402 |      213
589.35/589.60	c  588s |      16 |   141541 |   133352 |   111414      0 |    39402 |      213
591.85/592.04	c  590s |      16 |   141843 |   133652 |   111414      0 |    39402 |      213
594.45/594.67	c  593s |      16 |   142144 |   133952 |   111414      0 |    39402 |      213
597.05/597.21	c  595s |      16 |   142442 |   134252 |   111414      0 |    39402 |      213
599.25/599.45	c  597s |      16 |   142742 |   134552 |   111414      0 |    39402 |      213
601.65/601.90	c  600s |      16 |   143043 |   134852 |   111414      0 |    39402 |      213
604.55/604.74	c  603s |      16 |   143344 |   135152 |   111414      0 |    39402 |      213
607.15/607.37	c  605s |      16 |   143646 |   135452 |   111414      0 |    39402 |      213
609.54/609.78	c  608s |      16 |   143948 |   135752 |   111414      0 |    39402 |      213
611.94/612.17	c  610s |      16 |   144243 |   136052 |   111414      0 |    39402 |      213
614.54/614.75	c  613s |      16 |   144544 |   136352 |   111414      0 |    39402 |      213
617.24/617.43	c  615s |      16 |   144846 |   136652 |   111414      0 |    39402 |      213
619.34/619.57	c  617s |      16 |   145154 |   136952 |   111414      0 |    39402 |      213
621.84/622.07	c  620s |      16 |   145453 |   137252 |   111414      0 |    39402 |      213
624.14/624.36	c  622s |      16 |   145757 |   137552 |   111414      0 |    39402 |      213
626.64/626.87	c  625s |      16 |   146060 |   137852 |   111414      0 |    39402 |      213
628.64/628.88	c  627s |      16 |   146353 |   138152 |   111414      0 |    39402 |      213
631.13/631.33	c  629s |      16 |   146656 |   138452 |   111414      0 |    39402 |      213
633.83/634.03	c  632s |      16 |   146961 |   138752 |   111414      0 |    39402 |      213
636.33/636.56	c  634s |      16 |   147257 |   139052 |   111414      0 |    39402 |      213
639.04/639.20	c  637s |      16 |   147552 |   139352 |   111414      0 |    39402 |      213
641.43/641.65	c  640s |      16 |   147861 |   139652 |   111414      0 |    39402 |      213
644.03/644.26	c  642s |      16 |   148260 |   140052 |   111414      0 |    39402 |      213
646.64/646.82	c  645s |      16 |   148557 |   140352 |   111414      0 |    39402 |      213
649.03/649.23	c  647s |      16 |   148851 |   140652 |   111414      0 |    39402 |      213
651.73/651.97	c  650s |      16 |   149163 |   140952 |   111414      0 |    39402 |      213
654.53/654.70	c  653s |      16 |   149462 |   141252 |   111414      0 |    39402 |      213
657.03/657.27	c  655s |      16 |   149762 |   141552 |   111414      0 |    39402 |      213
659.93/660.14	c  658s |      16 |   150055 |   141852 |   111414      0 |    39402 |      213
662.32/662.57	c  660s |      16 |   150364 |   142152 |   111414      0 |    39402 |      213
664.82/665.09	c  663s |      16 |   150662 |   142452 |   111414      0 |    39402 |      213
667.32/667.58	c  666s |      16 |   150962 |   142752 |   111414      0 |    39402 |      213
669.92/670.18	c  668s |      16 |   151267 |   143052 |   111414      0 |    39402 |      213
672.62/672.82	c  671s |      16 |   151569 |   143352 |   111414      0 |    39402 |      213
675.02/675.20	c  673s |      16 |   151867 |   143652 |   111414      0 |    39402 |      213
677.62/677.87	c  676s |      16 |   152176 |   143952 |   111414      0 |    39402 |      213
680.32/680.55	c  678s |      16 |   152475 |   144252 |   111414      0 |    39402 |      213
683.11/683.30	c  681s |      16 |   152776 |   144552 |   111414      0 |    39402 |      213
685.81/686.06	c  684s |      16 |   153076 |   144852 |   111414      0 |    39402 |      213
688.61/688.80	c  687s |      16 |   153374 |   145152 |   111414      0 |    39402 |      213
691.31/691.51	c  689s |      16 |   153673 |   145452 |   111414      0 |    39402 |      213
693.92/694.11	c  692s |      16 |   153982 |   145752 |   111414      0 |    39402 |      213
696.22/696.46	c  694s |      16 |   154287 |   146052 |   111414      0 |    39402 |      213
698.91/699.19	c  697s |      16 |   154687 |   146452 |   111414      0 |    39402 |      213
701.30/701.57	c  699s |      16 |   154981 |   146752 |   111414      0 |    39402 |      213
703.50/703.74	c  702s |      16 |   155281 |   147052 |   111414      0 |    39402 |      213
705.60/705.88	c  704s |      16 |   155580 |   147352 |   111414      0 |    39402 |      213
707.90/708.16	c  706s |      16 |   155884 |   147652 |   111414      0 |    39402 |      213
710.40/710.66	c  709s |      16 |   156184 |   147952 |   111414      0 |    39402 |      213
712.90/713.16	c  711s |      16 |   156475 |   148252 |   111414      0 |    39402 |      213
715.30/715.51	c  713s |      16 |   156788 |   148552 |   111414      0 |    39402 |      213
718.00/718.22	c  716s |      16 |   157084 |   148852 |   111414      0 |    39402 |      213
720.49/720.76	c  719s |      16 |   157382 |   149152 |   111414      0 |    39402 |      213
722.79/723.06	c  721s |      16 |   157695 |   149452 |   111414      0 |    39402 |      213
725.69/725.92	c  724s |      16 |   158097 |   149852 |   111414      0 |    39402 |      213
728.19/728.47	c  726s |      16 |   158402 |   150152 |   111414      0 |    39402 |      213
730.79/731.03	c  729s |      16 |   158699 |   150452 |   111414      0 |    39402 |      213
733.39/733.63	c  732s |      16 |   158996 |   150752 |   111414      0 |    39402 |      213
735.99/736.23	c  734s |      16 |   159292 |   151052 |   111414      0 |    39402 |      213
782.48/782.70	c  781s |      16 |   159390 |   151152 |   111414      1 |    39402 |      213
784.68/784.98	c  783s |      16 |   159897 |   151652 |   111414      1 |    39402 |      213
787.39/787.67	c  786s |      16 |   160392 |   152152 |   111414      1 |    39402 |      213
789.59/789.85	c  788s |      16 |   160907 |   152652 |   111414      1 |    39402 |      213
791.68/791.94	c  790s |      16 |   161403 |   153152 |   111414      1 |    39402 |      213
793.88/794.17	c  792s |      16 |   161900 |   153652 |   111414      1 |    39402 |      213
796.29/796.51	c  794s |      16 |   162403 |   154152 |   111414      1 |    39402 |      213
798.68/798.90	c  797s |      16 |   162901 |   154652 |   111414      1 |    39402 |      213
801.08/801.37	c  799s |      16 |   163319 |   155052 |   111414      1 |    39402 |      213
803.48/803.79	c  802s |      16 |   163812 |   155552 |   111414      1 |    39402 |      213
806.28/806.51	c  804s |      16 |   164313 |   156052 |   111414      1 |    39402 |      213
808.48/808.78	c  807s |      16 |   164817 |   156552 |   111414      1 |    39402 |      213
810.48/810.79	c  809s |      16 |   165324 |   157052 |   111414      1 |    39402 |      213
812.58/812.81	c  811s |      16 |   165819 |   157552 |   111414      1 |    39402 |      213
814.78/815.10	c  813s |      16 |   166325 |   158052 |   111414      1 |    39402 |      213
817.18/817.41	c  815s |      16 |   166927 |   158652 |   111414      1 |    39402 |      213
819.58/819.81	c  818s |      16 |   167419 |   159152 |   111414      1 |    39402 |      213
821.98/822.24	c  820s |      16 |   167915 |   159652 |   111414      1 |    39402 |      213
824.37/824.69	c  823s |      16 |   168424 |   160152 |   111414      1 |    39402 |      213
826.47/826.71	c  825s |      16 |   168833 |   160552 |   111414      1 |    39402 |      213
828.87/829.19	c  827s |      16 |   169330 |   161052 |   111414      1 |    39402 |      213
830.97/831.24	c  829s |      16 |   169732 |   161452 |   111414      1 |    39402 |      213
833.07/833.34	c  831s |      16 |   170149 |   161852 |   111414      1 |    39402 |      213
835.47/835.74	c  834s |      16 |   170642 |   162352 |   111414      1 |    39402 |      213
837.87/838.18	c  836s |      16 |   171142 |   162852 |   111414      1 |    39402 |      213
840.37/840.68	c  839s |      16 |   171647 |   163352 |   111414      1 |    39402 |      213
842.48/842.74	c  841s |      16 |   172045 |   163752 |   111414      1 |    39402 |      213
844.58/844.83	c  843s |      16 |   172459 |   164152 |   111414      1 |    39402 |      213
846.57/846.84	c  845s |      16 |   172860 |   164552 |   111414      1 |    39402 |      213
849.37/849.65	c  848s |      16 |   173353 |   165052 |   111414      1 |    39402 |      213
851.97/852.21	c  850s |      16 |   173862 |   165552 |   111414      1 |    39402 |      213
854.27/854.53	c  852s |      16 |   174256 |   165952 |   111414      1 |    39402 |      213
856.37/856.61	c  855s |      16 |   174647 |   166352 |   111414      1 |    39402 |      213
858.57/858.82	c  857s |      16 |   175058 |   166752 |   111414      1 |    39402 |      213
860.57/860.85	c  859s |      16 |   175457 |   167152 |   111414      1 |    39402 |      213
862.87/863.15	c  861s |      16 |   175959 |   167652 |   111414      1 |    39402 |      213
865.27/865.52	c  863s |      16 |   176363 |   168052 |   111414      1 |    39402 |      213
867.27/867.53	c  865s |      16 |   176763 |   168452 |   111414      1 |    39402 |      213
869.88/870.11	c  868s |      16 |   177264 |   168952 |   111414      1 |    39402 |      213
872.27/872.56	c  870s |      16 |   177765 |   169452 |   111414      1 |    39402 |      213
874.67/874.92	c  873s |      16 |   178268 |   169952 |   111414      1 |    39402 |      213
876.67/876.96	c  875s |      16 |   178664 |   170352 |   111414      1 |    39402 |      213
878.68/879.00	c  877s |      16 |   179065 |   170752 |   111414      1 |    39402 |      213
880.77/881.03	c  879s |      16 |   179469 |   171152 |   111414      1 |    39402 |      213
882.97/883.20	c  881s |      16 |   179865 |   171552 |   111414      1 |    39402 |      213
885.17/885.41	c  883s |      16 |   180369 |   172052 |   111414      1 |    39402 |      213
887.27/887.58	c  886s |      16 |   180867 |   172552 |   111414      1 |    39402 |      213
889.37/889.65	c  888s |      16 |   181378 |   173052 |   111414      1 |    39402 |      213
891.56/891.84	c  890s |      16 |   181879 |   173552 |   111414      1 |    39402 |      213
893.76/894.09	c  892s |      16 |   182380 |   174052 |   111414      1 |    39402 |      213
896.16/896.47	c  894s |      16 |   182875 |   174552 |   111414      1 |    39402 |      213
898.47/898.74	c  897s |      16 |   183376 |   175052 |   111414      1 |    39402 |      213
900.86/901.18	c  899s |      16 |   183876 |   175552 |   111414      1 |    39402 |      213
903.36/903.64	c  902s |      16 |   184373 |   176052 |   111414      1 |    39402 |      213
1038.53/1038.86	c 1037s |      16 |   184495 |   176152 |   111414      1 |    39402 |      213
1040.93/1041.20	c 1039s |      16 |   184986 |   176652 |   111414      1 |    39402 |      213
1043.03/1043.39	c 1041s |      16 |   185487 |   177152 |   111414      1 |    39402 |      213
1045.34/1045.64	c 1044s |      16 |   186112 |   177752 |   111414      1 |    39402 |      213
1047.54/1047.81	c 1046s |      16 |   186712 |   178352 |   111414      1 |    39402 |      213
1049.54/1049.83	c 1048s |      16 |   187205 |   178852 |   111414      1 |    39402 |      213
1051.64/1051.96	c 1050s |      16 |   187702 |   179352 |   111414      1 |    39402 |      213
1054.43/1054.71	c 1053s |      16 |   187816 |   179452 |   111414      1 |    39402 |      213
1056.43/1056.73	c 1055s |      16 |   188315 |   179952 |   111414      1 |    39402 |      213
1058.43/1058.78	c 1057s |      16 |   188811 |   180452 |   111414      1 |    39402 |      213
1060.63/1060.91	c 1059s |      16 |   189311 |   180952 |   111414      1 |    39402 |      213
1062.83/1063.10	c 1061s |      16 |   189816 |   181452 |   111414      1 |    39402 |      213
1064.83/1065.13	c 1063s |      16 |   190316 |   181952 |   111414      1 |    39402 |      213
1066.84/1067.16	c 1065s |      16 |   190813 |   182452 |   111414      1 |    39402 |      213
1069.13/1069.41	c 1067s |      16 |   191320 |   182952 |   111414      1 |    39402 |      213
1071.14/1071.48	c 1069s |      16 |   191827 |   183452 |   111414      1 |    39402 |      213
1073.34/1073.69	c 1072s |      16 |   192418 |   184052 |   111414      1 |    39402 |      213
1075.43/1075.70	c 1074s |      16 |   192928 |   184552 |   111414      1 |    39402 |      213
1077.53/1077.81	c 1076s |      16 |   193423 |   185052 |   111414      1 |    39402 |      213
1079.83/1080.15	c 1078s |      16 |   193933 |   185552 |   111414      1 |    39402 |      213
1082.03/1082.31	c 1080s |      16 |   194445 |   186052 |   111414      1 |    39402 |      213
1084.13/1084.41	c 1082s |      16 |   194949 |   186552 |   111414      1 |    39402 |      213
1086.33/1086.60	c 1085s |      16 |   195442 |   187052 |   111414      1 |    39402 |      213
1088.43/1088.76	c 1087s |      16 |   195943 |   187552 |   111414      1 |    39402 |      213
1090.73/1091.05	c 1089s |      16 |   196461 |   188052 |   111414      1 |    39402 |      213
1093.02/1093.36	c 1091s |      16 |   196955 |   188552 |   111414      1 |    39402 |      213
1095.43/1095.73	c 1094s |      16 |   197460 |   189052 |   111414      1 |    39402 |      213
1097.53/1097.87	c 1096s |      16 |   197968 |   189552 |   111414      1 |    39402 |      213
1099.62/1099.91	c 1098s |      16 |   198480 |   190052 |   111414      1 |    39402 |      213
1101.93/1102.25	c 1100s |      16 |   199068 |   190652 |   111414      1 |    39402 |      213
1103.92/1104.29	c 1102s |      16 |   199581 |   191152 |   111414      1 |    39402 |      213
1106.02/1106.32	c 1104s |      16 |   200074 |   191652 |   111414      1 |    39402 |      213
1108.12/1108.41	c 1106s |      16 |   200573 |   192152 |   111414      1 |    39402 |      213
1110.22/1110.53	c 1108s |      16 |   201071 |   192652 |   111414      1 |    39402 |      213
1112.42/1112.71	c 1111s |      16 |   201495 |   193052 |   111414      1 |    39402 |      213
1114.62/1114.99	c 1113s |      16 |   201992 |   193552 |   111414      1 |    39402 |      213
1117.12/1117.48	c 1115s |      16 |   202494 |   194052 |   111414      1 |    39402 |      213
1119.22/1119.59	c 1118s |      16 |   202894 |   194452 |   111414      1 |    39402 |      213
1121.52/1121.89	c 1120s |      16 |   203404 |   194952 |   111414      1 |    39402 |      213
1123.62/1123.96	c 1122s |      16 |   203812 |   195352 |   111414      1 |    39402 |      213
1126.02/1126.40	c 1124s |      16 |   204319 |   195852 |   111414      1 |    39402 |      213
1128.33/1128.65	c 1127s |      16 |   204821 |   196352 |   122556      1 |    39402 |      213
1130.63/1130.92	c 1129s |      16 |   205315 |   196852 |   122556      1 |    39402 |      213
1132.92/1133.20	c 1131s |      16 |   205812 |   197352 |   122556      1 |    39402 |      213
1133.22/1133.58	c 1132s |      17 |   205890 |   197432 |   122556      1 |    39402 |      213
1135.72/1136.08	c 1134s |      17 |   206360 |   197832 |   122556      1 |    39402 |      213
1138.02/1138.38	c 1136s |      17 |   206754 |   198232 |   122556      1 |    39402 |      213
1140.62/1140.91	c 1139s |      17 |   207256 |   198732 |   122556      1 |    39402 |      213
1142.72/1143.00	c 1141s |      17 |   208059 |   199532 |   122556      1 |    39402 |      213
1145.12/1145.47	c 1143s |      17 |   208962 |   200432 |   122556      1 |    39402 |      213
1147.22/1147.59	c 1146s |      17 |   210397 |   201832 |   122556      1 |    39402 |      213
1149.32/1149.62	c 1148s |      17 |   211706 |   203132 |   122556      1 |    39402 |      213
1151.32/1151.68	c 1150s |      17 |   212907 |   204332 |   122556      1 |    39402 |      213
1153.41/1153.74	c 1152s |      17 |   215027 |   206432 |   122556      1 |    39402 |      213
1155.51/1155.84	c 1154s |      17 |   216733 |   208132 |   122556      1 |    39402 |      213
1157.61/1157.92	c 1156s |      17 |   218340 |   209732 |   122556      1 |    39402 |      213
1159.61/1159.93	c 1158s |      17 |   219857 |   211232 |   122556      1 |    39402 |      213
1161.71/1162.05	c 1160s |      17 |   221461 |   212832 |   122556      1 |    39402 |      213
1163.71/1164.07	c 1162s |      17 |   222969 |   214332 |   122556      1 |    39402 |      213
1165.91/1166.21	c 1164s |      17 |   224478 |   215832 |   122556      1 |    39402 |      213
1167.92/1168.27	c 1166s |      17 |   225978 |   217332 |   122556      1 |    39402 |      213
1170.01/1170.34	c 1168s |      17 |   227481 |   218832 |   122556      1 |    39402 |      213
1172.01/1172.36	c 1170s |      17 |   228888 |   220232 |   122556      1 |    39402 |      213
1174.01/1174.37	c 1172s |      17 |   230092 |   221432 |   122556      1 |    39402 |      213
1176.01/1176.39	c 1174s |      17 |   231291 |   222632 |   122556      1 |    39402 |      213
1178.21/1178.55	c 1176s |      17 |   232499 |   223832 |   122556      1 |    39402 |      213
1180.21/1180.59	c 1179s |      17 |   233705 |   225032 |   122556      1 |    39402 |      213
1182.32/1182.68	c 1181s |      17 |   235005 |   226332 |   122556      1 |    39402 |      213
1184.42/1184.79	c 1183s |      17 |   236212 |   227532 |   122556      1 |    39402 |      213
1186.72/1187.01	c 1185s |      17 |   237312 |   228632 |   122556      1 |    39402 |      213
1188.82/1189.14	c 1187s |      17 |   238214 |   229532 |   122556      1 |    39402 |      213
1190.92/1191.23	c 1189s |      17 |   239322 |   230632 |   122556      1 |    39402 |      213
1193.02/1193.40	c 1191s |      17 |   240331 |   231632 |   122556      1 |    39402 |      213
1195.12/1195.43	c 1193s |      17 |   241439 |   232732 |   122556      1 |    39402 |      213
1197.12/1197.46	c 1195s |      17 |   242544 |   233832 |   122556      1 |    39402 |      213
1199.12/1199.49	c 1197s |      17 |   243650 |   234932 |   122556      1 |    39402 |      213
1201.22/1201.59	c 1200s |      17 |   244754 |   236032 |   122556      1 |    39402 |      213
1203.32/1203.61	c 1202s |      17 |   245761 |   237032 |   122556      1 |    39402 |      213
1205.42/1205.75	c 1204s |      17 |   246365 |   237632 |   122556      2 |    39402 |      213
1207.41/1207.75	c 1206s |      17 |   247470 |   238732 |   122556      2 |    39402 |      213
1209.41/1209.77	c 1208s |      17 |   248572 |   239832 |   122556      2 |    39402 |      213
1211.51/1211.87	c 1210s |      17 |   249376 |   240632 |   122556      2 |    39402 |      213
1213.51/1213.89	c 1212s |      17 |   250580 |   241832 |   122556      2 |    39402 |      213
1215.71/1216.04	c 1214s |      17 |   251686 |   242932 |   122556      2 |    39402 |      213
1217.71/1218.08	c 1216s |      17 |   252693 |   243932 |   122556      2 |    39402 |      213
1219.71/1220.09	c 1218s |      17 |   253693 |   244932 |   122556      2 |    39402 |      213
1221.81/1222.12	c 1220s |      17 |   254695 |   245932 |   122556      2 |    39402 |      213
1223.81/1224.19	c 1222s |      17 |   255597 |   246832 |   122556      2 |    39402 |      213
1225.91/1226.24	c 1224s |      17 |   256605 |   247832 |   122556      2 |    39402 |      213
1228.01/1228.31	c 1226s |      17 |   257610 |   248832 |   122556      2 |    39402 |      213
1230.11/1230.42	c 1228s |      17 |   258513 |   249732 |   122556      2 |    39402 |      213
1232.20/1232.59	c 1231s |      17 |   259410 |   250632 |   122556      2 |    39402 |      213
1234.40/1234.74	c 1233s |      17 |   260314 |   251532 |   122556      2 |    39402 |      213
1237.80/1238.14	c 1236s |      17 |   260614 |   251832 |   122556      2 |    39402 |      213
1239.80/1240.18	c 1238s |      17 |   261219 |   252432 |   122556      2 |    39402 |      213
1242.10/1242.43	c 1240s |      17 |   261921 |   253132 |   122556      2 |    39402 |      213
1244.10/1244.44	c 1242s |      17 |   262520 |   253732 |   122556      2 |    39402 |      213
1246.50/1246.82	c 1245s |      17 |   263238 |   254432 |   122556      2 |    39402 |      213
1248.80/1249.11	c 1247s |      17 |   263838 |   255032 |   122556      2 |    39402 |      213
1250.90/1251.26	c 1249s |      17 |   264449 |   255632 |   122556      2 |    39402 |      213
1253.00/1253.32	c 1251s |      17 |   265048 |   256232 |   122556      2 |    39402 |      213
1255.10/1255.47	c 1253s |      17 |   265657 |   256832 |   122556      2 |    39402 |      213
1257.40/1257.76	c 1256s |      17 |   266357 |   257532 |   122556      2 |    39402 |      213
1259.50/1259.88	c 1258s |      17 |   266960 |   258132 |   122556      2 |    39402 |      213
1261.70/1262.08	c 1260s |      17 |   267563 |   258732 |   122556      2 |    39402 |      213
1263.90/1264.22	c 1262s |      17 |   268169 |   259332 |   122556      2 |    39402 |      213
1266.10/1266.46	c 1264s |      17 |   268782 |   259932 |   122556      2 |    39402 |      213
1268.30/1268.65	c 1267s |      17 |   269383 |   260532 |   122556      2 |    39402 |      213
1270.50/1270.88	c 1269s |      17 |   270096 |   261232 |   122556      2 |    39402 |      213
1272.60/1272.96	c 1271s |      17 |   270804 |   261932 |   122556      2 |    39402 |      213
1274.90/1275.25	c 1273s |      17 |   271512 |   262632 |   122556      2 |    39402 |      213
1277.10/1277.45	c 1275s |      17 |   272117 |   263232 |   122556      2 |    39402 |      213
1279.10/1279.47	c 1277s |      17 |   272726 |   263832 |   122556      2 |    39402 |      213
1281.40/1281.71	c 1280s |      17 |   273342 |   264432 |   122556      2 |    39402 |      213
1283.59/1283.99	c 1282s |      17 |   273947 |   265032 |   122556      2 |    39402 |      213
1285.89/1286.24	c 1284s |      17 |   274555 |   265632 |   122556      2 |    39402 |      213
1288.19/1288.58	c 1287s |      17 |   275163 |   266232 |   122556      2 |    39402 |      213
1290.59/1290.90	c 1289s |      17 |   275772 |   266832 |   122556      2 |    39402 |      213
1292.59/1292.98	c 1291s |      17 |   276384 |   267432 |   122556      2 |    39402 |      213
1294.59/1294.99	c 1293s |      17 |   276892 |   267932 |   122556      2 |    39402 |      213
1296.70/1297.08	c 1295s |      17 |   277402 |   268432 |   122556      2 |    39402 |      213
1298.80/1299.19	c 1297s |      17 |   277901 |   268932 |   122556      2 |    39402 |      213
1300.90/1301.28	c 1299s |      17 |   278402 |   269432 |   122556      2 |    39402 |      213
1303.10/1303.40	c 1301s |      17 |   278911 |   269932 |   122556      2 |    39402 |      213
1305.30/1305.68	c 1304s |      17 |   279520 |   270532 |   122556      2 |    39402 |      213
1307.71/1308.04	c 1306s |      17 |   280129 |   271132 |   122556      2 |    39402 |      213
1309.81/1310.17	c 1308s |      17 |   280633 |   271632 |   122556      2 |    39402 |      213
1311.90/1312.28	c 1310s |      17 |   281135 |   272132 |   122556      2 |    39402 |      213
1314.00/1314.31	c 1312s |      17 |   281649 |   272632 |   122556      2 |    39402 |      213
1316.00/1316.39	c 1314s |      17 |   282147 |   273132 |   122556      2 |    39402 |      213
1318.20/1318.55	c 1316s |      17 |   282653 |   273632 |   122556      2 |    39402 |      213
1320.30/1320.62	c 1319s |      17 |   283161 |   274132 |   122556      2 |    39402 |      213
1322.60/1322.94	c 1321s |      17 |   283767 |   274732 |   122556      2 |    39402 |      213
1324.60/1324.94	c 1323s |      17 |   284273 |   275232 |   122556      2 |    39402 |      213
1326.70/1327.05	c 1325s |      17 |   284783 |   275732 |   122556      2 |    39402 |      213
1328.80/1329.15	c 1327s |      17 |   285291 |   276232 |   122556      2 |    39402 |      213
1330.90/1331.25	c 1329s |      17 |   285799 |   276732 |   122556      2 |    39402 |      213
1333.00/1333.37	c 1331s |      17 |   286305 |   277232 |   122556      2 |    39402 |      213
1335.30/1335.66	c 1334s |      17 |   286908 |   277832 |   122556      2 |    39402 |      213
1337.49/1337.82	c 1336s |      17 |   287419 |   278332 |   122556      2 |    39402 |      213
1339.69/1340.02	c 1338s |      17 |   287932 |   278832 |   122556      2 |    39402 |      213
1341.80/1342.11	c 1340s |      17 |   288440 |   279332 |   122556      2 |    39402 |      213
1343.90/1344.24	c 1342s |      17 |   289049 |   279932 |   122556      2 |    39402 |      213
1345.89/1346.24	c 1344s |      17 |   289561 |   280432 |   122556      2 |    39402 |      213
1347.99/1348.34	c 1346s |      17 |   290067 |   280932 |   122556      2 |    39402 |      213
1350.29/1350.68	c 1349s |      17 |   290672 |   281532 |   122556      2 |    39402 |      213
1352.39/1352.75	c 1351s |      17 |   291173 |   282032 |   122556      2 |    39402 |      213
1354.69/1355.02	c 1353s |      17 |   291692 |   282532 |   122556      2 |    39402 |      213
1356.89/1357.22	c 1355s |      17 |   292196 |   283032 |   122556      2 |    39402 |      213
1359.19/1359.52	c 1357s |      17 |   292700 |   283532 |   122556      2 |    39402 |      213
1361.29/1361.65	c 1360s |      17 |   293306 |   284132 |   122556      2 |    39402 |      213
1363.49/1363.89	c 1362s |      17 |   293719 |   284532 |   122556      2 |    39402 |      213
1365.90/1366.21	c 1364s |      17 |   294120 |   284932 |   122556      2 |    39402 |      213
1368.29/1368.64	c 1367s |      17 |   294618 |   285432 |   122556      2 |    39402 |      213
1370.69/1371.00	c 1369s |      17 |   295124 |   285932 |   122556      2 |    39402 |      213
1372.69/1373.00	c 1371s |      17 |   295627 |   286432 |   122556      2 |    39402 |      213
1374.80/1375.18	c 1373s |      17 |   296129 |   286932 |   122556      2 |    39402 |      213
1377.00/1377.32	c 1375s |      17 |   296625 |   287432 |   122556      2 |    39402 |      213
1379.29/1379.63	c 1378s |      17 |   297129 |   287932 |   122556      2 |    39402 |      213
1381.40/1381.71	c 1380s |      17 |   297726 |   288532 |   122556      2 |    39402 |      213
1383.69/1384.01	c 1382s |      17 |   298332 |   289132 |   122556      2 |    39402 |      213
1385.89/1386.24	c 1384s |      17 |   298928 |   289732 |   122556      2 |    39402 |      213
1388.19/1388.55	c 1386s |      17 |   299532 |   290332 |   122556      2 |    39402 |      213
1390.19/1390.56	c 1388s |      17 |   300132 |   290932 |   122556      2 |    39402 |      213
1392.29/1392.67	c 1391s |      17 |   300638 |   291432 |   122556      2 |    39402 |      213
1394.69/1395.02	c 1393s |      17 |   301136 |   291932 |   122556      2 |    39402 |      213
1396.79/1397.14	c 1395s |      17 |   301636 |   292432 |   122556      2 |    39402 |      213
1399.09/1399.49	c 1397s |      17 |   302037 |   292832 |   122556      2 |    39402 |      213
1401.19/1401.52	c 1399s |      17 |   302438 |   293232 |   122556      2 |    39402 |      213
1403.48/1403.87	c 1402s |      17 |   302937 |   293732 |   122556      2 |    39402 |      213
1405.88/1406.26	c 1404s |      17 |   303340 |   294132 |   122556      2 |    39402 |      213
1407.88/1408.27	c 1406s |      17 |   303744 |   294532 |   134812      2 |    39402 |      213
1410.08/1410.40	c 1408s |      17 |   304243 |   295032 |   134812      2 |    39402 |      213
1412.19/1412.54	c 1410s |      17 |   304747 |   295532 |   134812      2 |    39402 |      213
1414.39/1414.77	c 1413s |      17 |   305249 |   296032 |   134812      2 |    39402 |      213
1415.39/1415.71	c 1414s |      18 |   305472 |   296252 |   134812      2 |    39402 |      213
1417.38/1417.75	c 1416s |      18 |   309498 |   297152 |   134812      2 |    39402 |      213
1419.48/1419.80	c 1418s |      18 |   310731 |   298352 |   134812      2 |    39402 |      213
1421.48/1421.81	c 1420s |      18 |   312626 |   299852 |   134812      2 |    39402 |      213
1423.48/1423.86	c 1422s |      18 |   314236 |   301452 |   134812      2 |    39402 |      213
1425.48/1425.86	c 1424s |      18 |   315743 |   302952 |   134812      2 |    39402 |      213
1427.59/1427.97	c 1426s |      18 |   317255 |   304452 |   134812      2 |    39402 |      213
1429.69/1430.07	c 1428s |      18 |   318769 |   305952 |   134812      2 |    39402 |      213
1431.78/1432.17	c 1430s |      18 |   320175 |   307352 |   134812      2 |    39402 |      213
1433.88/1434.23	c 1432s |      18 |   321588 |   308752 |   134812      2 |    39402 |      213
1435.98/1436.35	c 1434s |      18 |   322916 |   310052 |   134812      2 |    39402 |      213
1438.08/1438.48	c 1436s |      18 |   324132 |   311252 |   134812      2 |    39402 |      213
1440.18/1440.58	c 1439s |      18 |   325337 |   312452 |   134812      2 |    39402 |      213
1442.38/1442.74	c 1441s |      18 |   326569 |   313652 |   134812      2 |    39402 |      213
1444.38/1444.79	c 1443s |      18 |   327483 |   314552 |   134812      2 |    39402 |      213
1446.48/1446.81	c 1445s |      18 |   328503 |   315552 |   134812      2 |    39402 |      213
1448.57/1448.95	c 1447s |      18 |   329616 |   316652 |   134812      2 |    39402 |      213
1450.68/1451.01	c 1449s |      18 |   330320 |   317352 |   134812      2 |    39402 |      213
1452.67/1453.05	c 1451s |      18 |   331238 |   318252 |   134812      2 |    39402 |      213
1454.87/1455.29	c 1453s |      18 |   331837 |   318852 |   134812      2 |    39402 |      213
1457.07/1457.49	c 1455s |      18 |   332954 |   319952 |   134812      2 |    39402 |      213
1459.17/1459.57	c 1457s |      18 |   333757 |   320752 |   134812      2 |    39402 |      213
1461.17/1461.57	c 1459s |      18 |   334563 |   321552 |   134812      2 |    39402 |      213
1463.27/1463.63	c 1462s |      18 |   335467 |   322452 |   134812      2 |    39402 |      213
1465.57/1465.92	c 1464s |      18 |   336070 |   323052 |   134812      2 |    39402 |      213
1467.67/1468.06	c 1466s |      18 |   336570 |   323552 |   134812      2 |    39402 |      213
1469.77/1470.10	c 1468s |      18 |   337074 |   324052 |   134812      2 |    39402 |      213
1471.77/1472.13	c 1470s |      18 |   338089 |   325052 |   134812      2 |    39402 |      213
1473.78/1474.15	c 1472s |      18 |   339114 |   326052 |   134812      2 |    39402 |      213
1476.17/1476.53	c 1474s |      18 |   339927 |   326852 |   134812      2 |    39402 |      213
1478.27/1478.63	c 1477s |      18 |   340430 |   327352 |   134812      2 |    39402 |      213
1480.28/1480.70	c 1479s |      18 |   341146 |   328052 |   134812      2 |    39402 |      213
1482.48/1482.87	c 1481s |      18 |   342167 |   329052 |   134812      2 |    39402 |      213
1484.68/1485.10	c 1483s |      18 |   343083 |   329952 |   134812      2 |    39402 |      213
1486.77/1487.18	c 1485s |      18 |   343898 |   330752 |   134812      2 |    39402 |      213
1489.07/1489.42	c 1487s |      18 |   344809 |   331652 |   134812      2 |    39402 |      213
1491.07/1491.49	c 1489s |      18 |   345620 |   332452 |   134812      2 |    39402 |      213
1493.47/1493.84	c 1492s |      18 |   346327 |   333152 |   134812      2 |    39402 |      213
1495.57/1495.98	c 1494s |      18 |   347029 |   333852 |   134812      2 |    39402 |      213
1497.77/1498.11	c 1496s |      18 |   347736 |   334552 |   134812      2 |    39402 |      213
1499.97/1500.35	c 1498s |      18 |   348446 |   335252 |   134812      2 |    39402 |      213
1502.06/1502.45	c 1500s |      18 |   349153 |   335952 |   134812      2 |    39402 |      213
1504.16/1504.57	c 1502s |      18 |   349876 |   336652 |   134812      2 |    39402 |      213
1506.36/1506.78	c 1505s |      18 |   350600 |   337352 |   134812      2 |    39402 |      213
1508.56/1508.97	c 1507s |      18 |   351313 |   338052 |   134812      2 |    39402 |      213
1510.86/1511.27	c 1509s |      18 |   352143 |   338852 |   134812      2 |    39402 |      213
1513.06/1513.41	c 1511s |      18 |   352897 |   339552 |   134812      2 |    39402 |      213
1515.06/1515.42	c 1513s |      18 |   353526 |   340152 |   134812      2 |    39402 |      213
1517.16/1517.58	c 1516s |      18 |   354133 |   340752 |   134812      2 |    39402 |      213
1519.46/1519.82	c 1518s |      18 |   354740 |   341352 |   134812      2 |    39402 |      213
1521.76/1522.17	c 1520s |      18 |   355342 |   341952 |   134812      2 |    39402 |      213
1524.16/1524.52	c 1522s |      18 |   355945 |   342552 |   134812      2 |    39402 |      213
1526.57/1526.93	c 1525s |      18 |   356356 |   342952 |   134812      3 |    39402 |      213
1528.67/1529.02	c 1527s |      18 |   356856 |   343452 |   134812      3 |    39402 |      213
1530.97/1531.31	c 1529s |      18 |   357462 |   344052 |   134812      3 |    39402 |      213
1533.07/1533.46	c 1531s |      18 |   358065 |   344652 |   134812      3 |    39402 |      213
1535.46/1535.81	c 1534s |      18 |   358771 |   345352 |   134812      3 |    39402 |      213
1537.57/1537.98	c 1536s |      18 |   359375 |   345952 |   134812      3 |    39402 |      213
1539.96/1540.39	c 1538s |      18 |   360105 |   346652 |   134812      3 |    39402 |      213
1542.36/1542.73	c 1541s |      18 |   360718 |   347252 |   134812      3 |    39402 |      213
1544.56/1544.92	c 1543s |      18 |   361219 |   347752 |   134812      3 |    39402 |      213
1546.76/1547.13	c 1545s |      18 |   361720 |   348252 |   134812      3 |    39402 |      213
1548.96/1549.33	c 1547s |      18 |   362219 |   348752 |   134812      3 |    39402 |      213
1551.36/1551.74	c 1550s |      18 |   362723 |   349252 |   134812      3 |    39402 |      213
1553.56/1553.99	c 1552s |      18 |   363325 |   349852 |   134812      3 |    39402 |      213
1555.96/1556.34	c 1554s |      18 |   363931 |   350452 |   134812      3 |    39402 |      213
1557.96/1558.39	c 1556s |      18 |   364429 |   350952 |   134812      3 |    39402 |      213
1560.25/1560.68	c 1559s |      18 |   364927 |   351452 |   134812      3 |    39402 |      213
1562.55/1562.95	c 1561s |      18 |   365429 |   351952 |   134812      3 |    39402 |      213
1564.96/1565.31	c 1563s |      18 |   366047 |   352552 |   134812      3 |    39402 |      213
1567.45/1567.80	c 1566s |      18 |   366548 |   353052 |   134812      3 |    39402 |      213
1569.55/1569.93	c 1568s |      18 |   366949 |   353452 |   134812      3 |    39402 |      213
1571.85/1572.28	c 1570s |      18 |   367450 |   353952 |   134812      3 |    39402 |      213
1574.25/1574.64	c 1573s |      18 |   368050 |   354552 |   134812      3 |    39402 |      213
1576.25/1576.67	c 1575s |      18 |   368556 |   355052 |   134812      3 |    39402 |      213
1578.35/1578.74	c 1577s |      18 |   369163 |   355652 |   134812      3 |    39402 |      213
1580.65/1581.06	c 1579s |      18 |   369768 |   356252 |   134812      3 |    39402 |      213
1582.66/1583.07	c 1581s |      18 |   370277 |   356752 |   134812      3 |    39402 |      213
1584.86/1585.25	c 1583s |      18 |   370793 |   357252 |   134812      3 |    39402 |      213
1587.25/1587.64	c 1586s |      18 |   371299 |   357752 |   134812      3 |    39402 |      213
1589.55/1589.98	c 1588s |      18 |   371799 |   358252 |   134812      3 |    39402 |      213
1591.95/1592.32	c 1590s |      18 |   372304 |   358752 |   134812      3 |    39402 |      213
1593.95/1594.36	c 1592s |      18 |   372802 |   359252 |   134812      3 |    39402 |      213
1596.15/1596.57	c 1594s |      18 |   373309 |   359752 |   134812      3 |    39402 |      213
1598.55/1598.93	c 1597s |      18 |   373813 |   360252 |   134812      3 |    39402 |      213
1600.95/1601.30	c 1599s |      18 |   374312 |   360752 |   134812      3 |    39402 |      213
1603.25/1603.69	c 1602s |      18 |   374812 |   361252 |   134812      3 |    39402 |      213
1605.75/1606.13	c 1604s |      18 |   375317 |   361752 |   134812      3 |    39402 |      213
1608.05/1608.44	c 1606s |      18 |   375825 |   362252 |   134812      3 |    39402 |      213
1610.25/1610.65	c 1609s |      18 |   376367 |   362752 |   134812      3 |    39402 |      213
1612.25/1612.65	c 1611s |      18 |   376775 |   363152 |   134812      3 |    39402 |      213
1614.35/1614.78	c 1613s |      18 |   377211 |   363552 |   134812      3 |    39402 |      213
1616.55/1616.94	c 1615s |      18 |   377736 |   364052 |   134812      3 |    39402 |      213
1618.85/1619.25	c 1617s |      18 |   378241 |   364552 |   134812      3 |    39402 |      213
1620.95/1621.37	c 1619s |      18 |   378643 |   364952 |   134812      3 |    39402 |      213
1622.95/1623.39	c 1621s |      18 |   379056 |   365352 |   134812      3 |    39402 |      213
1625.05/1625.45	c 1623s |      18 |   379460 |   365752 |   134812      3 |    39402 |      213
1627.14/1627.55	c 1625s |      18 |   379871 |   366152 |   134812      3 |    39402 |      213
1629.54/1629.95	c 1628s |      18 |   380406 |   366652 |   134812      3 |    39402 |      213
1631.74/1632.11	c 1630s |      18 |   380910 |   367152 |   134812      3 |    39402 |      213
1633.74/1634.16	c 1632s |      18 |   381439 |   367652 |   134812      3 |    39402 |      213
1635.84/1636.27	c 1634s |      18 |   381978 |   368152 |   134812      3 |    39402 |      213
1638.14/1638.60	c 1637s |      18 |   382382 |   368552 |   134812      3 |    39402 |      213
1640.34/1640.71	c 1639s |      18 |   382789 |   368952 |   134812      3 |    39402 |      213
1642.54/1642.93	c 1641s |      18 |   383195 |   369352 |   134812      3 |    39402 |      213
1644.94/1645.32	c 1643s |      18 |   383594 |   369752 |   134812      3 |    39402 |      213
1646.94/1647.38	c 1645s |      18 |   384002 |   370152 |   134812      3 |    39402 |      213
1649.14/1649.50	c 1647s |      18 |   384410 |   370552 |   134812      3 |    39402 |      213
1651.34/1651.79	c 1650s |      18 |   384823 |   370952 |   134812      3 |    39402 |      213
1654.05/1654.44	c 1652s |      18 |   385225 |   371352 |   134812      3 |    39402 |      213
1656.74/1657.15	c 1655s |      18 |   385622 |   371752 |   134812      3 |    39402 |      213
1659.14/1659.50	c 1657s |      18 |   386031 |   372152 |   134812      3 |    39402 |      213
1661.14/1661.53	c 1659s |      18 |   386330 |   372452 |   134812      3 |    39402 |      213
1663.24/1663.68	c 1662s |      18 |   386735 |   372852 |   134812      3 |    39402 |      213
1665.64/1666.04	c 1664s |      18 |   387144 |   373252 |   134812      3 |    39402 |      213
1667.94/1668.39	c 1666s |      18 |   387662 |   373752 |   134812      3 |    39402 |      213
1670.14/1670.58	c 1669s |      18 |   388065 |   374152 |   134812      3 |    39402 |      213
1672.54/1672.94	c 1671s |      18 |   388585 |   374652 |   134812      3 |    39402 |      213
1674.54/1674.99	c 1673s |      18 |   388991 |   375052 |   134812      3 |    39402 |      213
1676.64/1677.03	c 1675s |      18 |   389293 |   375352 |   134812      3 |    39402 |      213
1678.64/1679.06	c 1677s |      18 |   389591 |   375652 |   134812      3 |    39402 |      213
1681.04/1681.42	c 1679s |      18 |   389994 |   376052 |   134812      3 |    39402 |      213
1683.34/1683.79	c 1682s |      18 |   390509 |   376552 |   134812      3 |    39402 |      213
1685.94/1686.34	c 1684s |      18 |   391030 |   377052 |   134812      3 |    39402 |      213
1688.33/1688.76	c 1687s |      18 |   391570 |   377552 |   134812      3 |    39402 |      213
1690.44/1690.84	c 1689s |      18 |   391995 |   377952 |   134812      3 |    39402 |      213
1692.93/1693.30	c 1691s |      18 |   392522 |   378452 |   134812      3 |    39402 |      213
1695.03/1695.48	c 1693s |      18 |   392924 |   378852 |   134812      3 |    39402 |      213
1697.43/1697.84	c 1696s |      18 |   393331 |   379252 |   134812      3 |    39402 |      213
1699.63/1700.04	c 1698s |      18 |   393741 |   379652 |   134812      3 |    39402 |      213
1701.93/1702.38	c 1700s |      18 |   394152 |   380052 |   134812      3 |    39402 |      213
1704.33/1704.74	c 1703s |      18 |   394579 |   380452 |   134812      3 |    39402 |      213
1706.53/1706.90	c 1705s |      18 |   394983 |   380852 |   134812      3 |    39402 |      213
1708.73/1709.15	c 1707s |      18 |   395420 |   381252 |   134812      3 |    39402 |      213
1710.83/1711.25	c 1709s |      18 |   395825 |   381652 |   134812      3 |    39402 |      213
1712.83/1713.27	c 1711s |      18 |   396234 |   382052 |   134812      3 |    39402 |      213
1714.93/1715.30	c 1713s |      18 |   396534 |   382352 |   134812      3 |    39402 |      213
1717.03/1717.41	c 1715s |      18 |   396840 |   382652 |   134812      3 |    39402 |      213
1719.04/1719.44	c 1717s |      18 |   397145 |   382952 |   134812      3 |    39402 |      213
1721.24/1721.67	c 1720s |      18 |   397443 |   383252 |   134812      3 |    39402 |      213
1723.83/1724.23	c 1722s |      18 |   397847 |   383652 |   134812      3 |    39402 |      213
1726.03/1726.48	c 1724s |      18 |   398148 |   383952 |   134812      3 |    39402 |      213
1728.53/1728.99	c 1727s |      18 |   398545 |   384352 |   134812      3 |    39402 |      213
1730.64/1731.05	c 1729s |      18 |   398851 |   384652 |   134812      3 |    39402 |      213
1733.03/1733.48	c 1731s |      18 |   399253 |   385052 |   134812      3 |    39402 |      213
1735.23/1735.63	c 1734s |      18 |   399551 |   385352 |   134812      3 |    39402 |      213
1737.53/1737.96	c 1736s |      18 |   399853 |   385652 |   134812      3 |    39402 |      213
1739.84/1740.24	c 1738s |      18 |   400160 |   385952 |   134812      3 |    39402 |      213
1742.04/1742.48	c 1740s |      18 |   400563 |   386352 |   134812      3 |    39402 |      213
1744.13/1744.55	c 1742s |      18 |   400860 |   386652 |   134812      3 |    39402 |      213
1746.33/1746.70	c 1745s |      18 |   401163 |   386952 |   134812      3 |    39402 |      213
1748.93/1749.33	c 1747s |      18 |   401718 |   387452 |   134812      3 |    39402 |      213
1751.33/1751.73	c 1750s |      18 |   402133 |   387852 |   134812      3 |    39402 |      213
1753.33/1753.76	c 1752s |      18 |   402437 |   388152 |   134812      3 |    39402 |      213
1755.93/1756.37	c 1754s |      18 |   402842 |   388552 |   134812      3 |    39402 |      213
1758.13/1758.50	c 1756s |      18 |   403273 |   388952 |   134812      3 |    39402 |      213
1760.63/1761.01	c 1759s |      18 |   403844 |   389452 |   134812      3 |    39402 |      213
1762.94/1763.32	c 1761s |      18 |   404253 |   389852 |   134812      3 |    39402 |      213
1765.03/1765.41	c 1763s |      18 |   404651 |   390252 |   134812      3 |    39402 |      213
1767.53/1767.90	c 1766s |      18 |   405173 |   390752 |   134812      3 |    39402 |      213
1769.54/1770.00	c 1768s |      18 |   405595 |   391152 |   134812      3 |    39402 |      213
1772.23/1772.61	c 1771s |      18 |   405993 |   391552 |   134812      3 |    39402 |      213
1774.43/1774.83	c 1773s |      18 |   406295 |   391852 |   134812      3 |    39402 |      213
1777.13/1777.55	c 1775s |      18 |   406695 |   392252 |   134812      3 |    39402 |      213
1779.33/1779.71	c 1778s |      18 |   406997 |   392552 |   134812      3 |    39402 |      213
1781.33/1781.73	c 1780s |      18 |   407298 |   392852 |   134812      3 |    39402 |      213
1783.63/1784.01	c 1782s |      18 |   407604 |   393152 |   134812      3 |    39402 |      213
1786.23/1786.69	c 1785s |      18 |   408002 |   393552 |   134812      3 |    39402 |      213
1788.33/1788.74	c 1787s |      18 |   408304 |   393852 |   134812      3 |    39402 |      213
1790.92/1791.31	c 1789s |      18 |   408704 |   394252 |   134812      3 |    39402 |      213
1793.02/1793.42	c 1791s |      18 |   409006 |   394552 |   134812      3 |    39402 |      213
1795.12/1795.53	c 1793s |      18 |   409311 |   394852 |   134812      3 |    39402 |      213
1797.22/1797.61	c 1796s |      18 |   409612 |   395152 |   134812      3 |    39402 |      213
1799.33/1799.76	c 1798s |      18 |   409911 |   395452 |   134812      3 |    39402 |      213

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-4100705-1466216967/watcher-4100705-1466216967 -o /tmp/evaluation-result-4100705-1466216967/solver-4100705-1466216967 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14539 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100705-1466216967.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.17 2.17 2.17 3/179 16824
/proc/meminfo: memFree=29028564/32872528 swapFree=1191052/1305516
[pid=16824] ppid=16821 vsize=716220 CPUtime=0 cores=1,3,5,7
/proc/16824/stat : 16824 (toysat) R 16821 16824 14522 0 -1 4202496 2673 0 0 0 0 0 0 0 20 0 4 0 23743340 733409280 3033 33554432000 4194304 16246674 140733873149280 140733873148704 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16824/statm: 179823 3044 441 2943 0 176717 0
[pid=16824/tid=16825] ppid=16821 vsize=734652 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16825/stat : 16825 (toysat) S 16821 16824 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23743340 752283648 3104 33554432000 4194304 16246674 140733873149280 140603123805424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16824/tid=16826] ppid=16821 vsize=739772 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16826/stat : 16826 (toysat) S 16821 16824 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743340 757526528 3121 33554432000 4194304 16246674 140733873149280 140603113315568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16824/tid=16827] ppid=16821 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16827/stat : 16827 (toysat) S 16821 16824 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23743340 760672256 3136 33554432000 4194304 16246674 140733873149280 140603102842032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.17 2.17 2.17 3/179 16824
/proc/meminfo: memFree=29028564/32872528 swapFree=1191052/1305516
[pid=16824] ppid=16821 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/16824/stat : 16824 (toysat) R 16821 16824 14522 0 -1 4202496 29154 0 0 0 6 3 0 0 20 0 4 0 23743340 1332285440 29452 33554432000 4194304 16246674 140733873149280 140733873148592 7374276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16824/statm: 325265 29469 799 2943 0 322159 0
[pid=16824/tid=16825] ppid=16821 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16825/stat : 16825 (toysat) S 16821 16824 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23743340 1332285440 29481 33554432000 4194304 16246674 140733873149280 140603123805424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16824/tid=16826] ppid=16821 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16826/stat : 16826 (toysat) S 16821 16824 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743340 1332285440 29492 33554432000 4194304 16246674 140733873149280 140603113315568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16824/tid=16827] ppid=16821 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16827/stat : 16827 (toysat) S 16821 16824 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743340 1332285440 29503 33554432000 4194304 16246674 140733873149280 140603102842032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200544 s]
/proc/loadavg: 2.17 2.17 2.17 3/179 16824
/proc/meminfo: memFree=29028564/32872528 swapFree=1191052/1305516
[pid=16824] ppid=16821 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/16824/stat : 16824 (toysat) R 16821 16824 14522 0 -1 4202496 45378 0 0 0 13 6 0 0 20 0 4 0 23743340 1342771200 46187 33554432000 4194304 16246674 140733873149280 140733873148592 13780510 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16824/statm: 327825 46187 801 2943 0 324719 0
[pid=16824/tid=16825] ppid=16821 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16825/stat : 16825 (toysat) S 16821 16824 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23743340 1342771200 46187 33554432000 4194304 16246674 140733873149280 140603123805424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16824/tid=16826] ppid=16821 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16826/stat : 16826 (toysat) S 16821 16824 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743340 1342771200 46187 33554432000 4194304 16246674 140733873149280 140603113315568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16824/tid=16827] ppid=16821 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16827/stat : 16827 (toysat) S 16821 16824 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743340 1342771200 46187 33554432000 4194304 16246674 140733873149280 140603102842032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300454 s]
/proc/loadavg: 2.17 2.17 2.17 3/179 16824
/proc/meminfo: memFree=29028564/32872528 swapFree=1191052/1305516
[pid=16824] ppid=16821 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/16824/stat : 16824 (toysat) R 16821 16824 14522 0 -1 4202496 53463 0 0 0 22 7 0 0 20 0 4 0 23743340 1343819776 54272 33554432000 4194304 16246674 140733873149280 140733873147072 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16824/statm: 328081 54272 801 2943 0 324975 0
[pid=16824/tid=16825] ppid=16821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16825/stat : 16825 (toysat) S 16821 16824 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23743340 1343819776 54272 33554432000 4194304 16246674 140733873149280 140603123805424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16824/tid=16826] ppid=16821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16826/stat : 16826 (toysat) S 16821 16824 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743340 1343819776 54272 33554432000 4194304 16246674 140733873149280 140603113315568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16824/tid=16827] ppid=16821 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16827/stat : 16827 (toysat) S 16821 16824 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743340 1343819776 54272 33554432000 4194304 16246674 140733873149280 140603102842032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700407 s]
/proc/loadavg: 2.17 2.17 2.17 3/179 16824
/proc/meminfo: memFree=29028564/32872528 swapFree=1191052/1305516
[pid=16824] ppid=16821 vsize=1329732 CPUtime=0.69 cores=1,3,5,7
/proc/16824/stat : 16824 (toysat) R 16821 16824 14522 0 -1 4202496 65193 0 0 0 61 8 0 0 20 0 4 0 23743340 1361645568 66002 33554432000 4194304 16246674 140733873149280 140733873148592 4221087 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16824/statm: 332433 66002 834 2943 0 329327 0
[pid=16824/tid=16825] ppid=16821 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16825/stat : 16825 (toysat) S 16821 16824 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23743340 1361645568 66002 33554432000 4194304 16246674 140733873149280 140603123805424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16824/tid=16826] ppid=16821 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16826/stat : 16826 (toysat) S 16821 16824 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743340 1361645568 66002 33554432000 4194304 16246674 140733873149280 140603113315568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16824/tid=16827] ppid=16821 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16827/stat : 16827 (toysat) S 16821 16824 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743340 1361645568 66002 33554432000 4194304 16246674 140733873149280 140603102842032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1329732

[startup+1.50042 s]
/proc/loadavg: 2.17 2.17 2.17 3/183 16828
/proc/meminfo: memFree=28765392/32872528 swapFree=1191052/1305516
[pid=16824] ppid=16821 vsize=1329732 CPUtime=1.49 cores=1,3,5,7
/proc/16824/stat : 16824 (toysat) R 16821 16824 14522 0 -1 4202496 65204 0 0 0 140 9 0 0 20 0 4 0 23743340 1361645568 66013 33554432000 4194304 16246674 140733873149280 140733873147136 12880612 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16824/statm: 332433 66013 844 2943 0 329327 0
[pid=16824/tid=16825] ppid=16821 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16825/stat : 16825 (toysat) S 16821 16824 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23743340 1361645568 66013 33554432000 4194304 16246674 140733873149280 140603123805424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16824/tid=16826] ppid=16821 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16826/stat : 16826 (toysat) S 16821 16824 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743340 1361645568 66013 33554432000 4194304 16246674 140733873149280 140603113315568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16824/tid=16827] ppid=16821 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16827/stat : 16827 (toysat) S 16821 16824 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743340 1361645568 66013 33554432000 4194304 16246674 140733873149280 140603102842032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1329732

[startup+3.10041 s]
/proc/loadavg: 2.17 2.17 2.17 3/183 16828
/proc/meminfo: memFree=28560420/32872528 swapFree=1191052/1305516
[pid=16824] ppid=16821 vsize=1329732 CPUtime=3.09 cores=1,3,5,7
/proc/16824/stat : 16824 (toysat) R 16821 16824 14522 0 -1 4202496 169425 0 0 0 287 22 0 0 20 0 4 0 23743340 1361645568 170234 33554432000 4194304 16246674 140733873149280 140733873131200 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16824/statm: 332433 170234 899 2943 0 329327 0
[pid=16824/tid=16825] ppid=16821 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16825/stat : 16825 (toysat) S 16821 16824 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23743340 1361645568 170234 33554432000 4194304 16246674 140733873149280 140603123805424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16824/tid=16826] ppid=16821 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16826/stat : 16826 (toysat) S 16821 16824 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743340 1361645568 170234 33554432000 4194304 16246674 140733873149280 140603113315568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16824/tid=16827] ppid=16821 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16827/stat : 16827 (toysat) S 16821 16824 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743340 1361645568 170234 33554432000 4194304 16246674 140733873149280 140603102842032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1329732

[startup+6.30036 s]
/proc/loadavg: 2.16 2.16 2.17 3/183 16828
/proc/meminfo: memFree=27983452/32872528 swapFree=1191052/1305516
[pid=16824] ppid=16821 vsize=1329732 CPUtime=6.29 cores=1,3,5,7
/proc/16824/stat : 16824 (toysat) R 16821 16824 14522 0 -1 4202496 260757 0 0 0 595 34 0 0 20 0 4 0 23743340 1361645568 261566 33554432000 4194304 16246674 140733873149280 140733873131200 5712204 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16824/statm: 332433 261566 899 2943 0 329327 0
[pid=16824/tid=16825] ppid=16821 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16825/stat : 16825 (toysat) S 16821 16824 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23743340 1361645568 261566 33554432000 4194304 16246674 140733873149280 140603123805424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16824/tid=16826] ppid=16821 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16826/stat : 16826 (toysat) S 16821 16824 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743340 1361645568 261566 33554432000 4194304 16246674 140733873149280 140603113315568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16824/tid=16827] ppid=16821 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16827/stat : 16827 (toysat) S 16821 16824 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743340 1361645568 261566 33554432000 4194304 16246674 140733873149280 140603102842032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1329732

[startup+12.7004 s]
/proc/loadavg: 2.15 2.16 2.17 4/183 16828
/proc/meminfo: memFree=27955444/32872528 swapFree=1191052/1305516
[pid=16824] ppid=16821 vsize=1329732 CPUtime=12.69 cores=1,3,5,7
/proc/16824/stat : 16824 (toysat) R 16821 16824 14522 0 -1 4202496 267661 0 0 0 1234 35 0 0 20 0 4 0 23743340 1361645568 268470 33554432000 4194304 16246674 140733873149280 140733873131200 5712474 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16824/statm: 332433 268470 899 2943 0 329327 0
[pid=16824/tid=16825] ppid=16821 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16825/stat : 16825 (toysat) S 16821 16824 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23743340 1361645568 268470 33554432000 4194304 16246674 140733873149280 140603123805424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16824/tid=16826] ppid=16821 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16826/stat : 16826 (toysat) S 16821 16824 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743340 1361645568 268470 33554432000 4194304 16246674 140733873149280 140603113315568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16824/tid=16827] ppid=16821 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16827/stat : 16827 (toysat) S 16821 16824 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743340 1361645568 268470 33554432000 4194304 16246674 140733873149280 140603102842032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1329732

[startup+25.5005 s]
/proc/loadavg: 2.18 2.17 2.17 3/183 16828
/proc/meminfo: memFree=27954904/32872528 swapFree=1191052/1305516
[pid=16824] ppid=16821 vsize=1329732 CPUtime=25.49 cores=1,3,5,7
/proc/16824/stat : 16824 (toysat) R 16821 16824 14522 0 -1 4202496 267749 0 0 0 2513 36 0 0 20 0 4 0 23743340 1361645568 268558 33554432000 4194304 16246674 140733873149280 140733873131200 13760208 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16824/statm: 332433 268558 899 2943 0 329327 0
[pid=16824/tid=16825] ppid=16821 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16825/stat : 16825 (toysat) S 16821 16824 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23743340 1361645568 268558 33554432000 4194304 16246674 140733873149280 140603123805424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16824/tid=16826] ppid=16821 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16826/stat : 16826 (toysat) S 16821 16824 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743340 1361645568 268558 33554432000 4194304 16246674 140733873149280 140603113315568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16824/tid=16827] ppid=16821 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16827/stat : 16827 (toysat) S 16821 16824 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743340 1361645568 268558 33554432000 4194304 16246674 140733873149280 140603102842032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1329732

[startup+51.1005 s]
/proc/loadavg: 2.12 2.15 2.16 3/184 16831
/proc/meminfo: memFree=27955212/32872528 swapFree=1191052/1305516
[pid=16824] ppid=16821 vsize=1329732 CPUtime=51.08 cores=1,3,5,7
/proc/16824/stat : 16824 (toysat) R 16821 16824 14522 0 -1 4202496 267831 0 0 0 5072 36 0 0 20 0 4 0 23743340 1361645568 268640 33554432000 4194304 16246674 140733873149280 140733873131200 13780585 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16824/statm: 332433 268640 901 2943 0 329327 0
[pid=16824/tid=16825] ppid=16821 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16825/stat : 16825 (toysat) S 16821 16824 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23743340 1361645568 268640 33554432000 4194304 16246674 140733873149280 140603123805424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16824/tid=16826] ppid=16821 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16826/stat : 16826 (toysat) S 16821 16824 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743340 1361645568 268640 33554432000 4194304 16246674 140733873149280 140603113315568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16824/tid=16827] ppid=16821 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16827/stat : 16827 (toysat) S 16821 16824 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743340 1361645568 268640 33554432000 4194304 16246674 140733873149280 140603102842032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1329732

[startup+102.3 s]
/proc/loadavg: 2.21 2.17 2.17 4/183 16832
/proc/meminfo: memFree=27954544/32872528 swapFree=1191052/1305516
[pid=16824] ppid=16821 vsize=1329732 CPUtime=102.28 cores=1,3,5,7
/proc/16824/stat : 16824 (toysat) R 16821 16824 14522 0 -1 4202496 267831 0 0 0 10192 36 0 0 20 0 4 0 23743340 1361645568 268640 33554432000 4194304 16246674 140733873149280 140733873131200 12483320 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16824/statm: 332433 268640 901 2943 0 329327 0
[pid=16824/tid=16825] ppid=16821 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16825/stat : 16825 (toysat) S 16821 16824 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23743340 1361645568 268640 33554432000 4194304 16246674 140733873149280 140603123805424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16824/tid=16826] ppid=16821 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16826/stat : 16826 (toysat) S 16821 16824 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743340 1361645568 268640 33554432000 4194304 16246674 140733873149280 140603113315568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16824/tid=16827] ppid=16821 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16827/stat : 16827 (toysat) S 16821 16824 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743340 1361645568 268640 33554432000 4194304 16246674 140733873149280 140603102842032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1329732


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

/proc/16824/task/16827/stat : 16827 (toysat) S 16821 16824 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290444 33554432000 4194304 16246674 140733873149280 140603102842032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 1396292

[startup+1302.3 s]
/proc/loadavg: 2.40 2.33 2.23 3/183 16910
/proc/meminfo: memFree=28288244/32872528 swapFree=1191052/1305516
[pid=16824] ppid=16821 vsize=1396292 CPUtime=1302 cores=1,3,5,7
/proc/16824/stat : 16824 (toysat) R 16821 16824 14522 0 -1 4202496 289857 0 0 0 130137 63 0 0 20 0 4 0 23743340 1429803008 290444 33554432000 4194304 16246674 140733873149280 140733873131200 5822964 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16824/statm: 349073 290444 904 2943 0 345967 0
[pid=16824/tid=16825] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16825/stat : 16825 (toysat) S 16821 16824 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290444 33554432000 4194304 16246674 140733873149280 140603123805424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16824/tid=16826] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16826/stat : 16826 (toysat) S 16821 16824 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290444 33554432000 4194304 16246674 140733873149280 140603113315568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16824/tid=16827] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16827/stat : 16827 (toysat) S 16821 16824 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290444 33554432000 4194304 16246674 140733873149280 140603102842032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1396292

[startup+1362.3 s]
/proc/loadavg: 2.41 2.34 2.24 3/183 16911
/proc/meminfo: memFree=28288404/32872528 swapFree=1191052/1305516
[pid=16824] ppid=16821 vsize=1396292 CPUtime=1361.99 cores=1,3,5,7
/proc/16824/stat : 16824 (toysat) R 16821 16824 14522 0 -1 4202496 289857 0 0 0 136136 63 0 0 20 0 4 0 23743340 1429803008 290444 33554432000 4194304 16246674 140733873149280 140733873131200 5673800 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16824/statm: 349073 290444 904 2943 0 345967 0
[pid=16824/tid=16825] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16825/stat : 16825 (toysat) S 16821 16824 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290444 33554432000 4194304 16246674 140733873149280 140603123805424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16824/tid=16826] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16826/stat : 16826 (toysat) S 16821 16824 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290444 33554432000 4194304 16246674 140733873149280 140603113315568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16824/tid=16827] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16827/stat : 16827 (toysat) S 16821 16824 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290444 33554432000 4194304 16246674 140733873149280 140603102842032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1396292

[startup+1422.3 s]
/proc/loadavg: 2.29 2.32 2.24 3/183 16912
/proc/meminfo: memFree=28287828/32872528 swapFree=1191052/1305516
[pid=16824] ppid=16821 vsize=1396292 CPUtime=1421.99 cores=1,3,5,7
/proc/16824/stat : 16824 (toysat) R 16821 16824 14522 0 -1 4202496 289857 0 0 0 142136 63 0 0 20 0 4 0 23743340 1429803008 290444 33554432000 4194304 16246674 140733873149280 140733873131200 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16824/statm: 349073 290444 904 2943 0 345967 0
[pid=16824/tid=16825] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16825/stat : 16825 (toysat) S 16821 16824 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290444 33554432000 4194304 16246674 140733873149280 140603123805424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16824/tid=16826] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16826/stat : 16826 (toysat) S 16821 16824 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290444 33554432000 4194304 16246674 140733873149280 140603113315568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16824/tid=16827] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16827/stat : 16827 (toysat) S 16821 16824 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290444 33554432000 4194304 16246674 140733873149280 140603102842032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 1396292

[startup+1482.3 s]
/proc/loadavg: 2.23 2.29 2.24 3/183 16913
/proc/meminfo: memFree=28287116/32872528 swapFree=1191052/1305516
[pid=16824] ppid=16821 vsize=1396292 CPUtime=1481.97 cores=1,3,5,7
/proc/16824/stat : 16824 (toysat) R 16821 16824 14522 0 -1 4202496 289991 0 0 0 148134 63 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140733873131200 5823408 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16824/statm: 349073 290578 904 2943 0 345967 0
[pid=16824/tid=16825] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16825/stat : 16825 (toysat) S 16821 16824 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140603123805424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16824/tid=16826] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16826/stat : 16826 (toysat) S 16821 16824 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140603113315568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16824/tid=16827] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16827/stat : 16827 (toysat) S 16821 16824 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140603102842032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1396292

[startup+1542.31 s]
/proc/loadavg: 2.28 2.28 2.23 3/183 16915
/proc/meminfo: memFree=28287032/32872528 swapFree=1191052/1305516
[pid=16824] ppid=16821 vsize=1396292 CPUtime=1541.97 cores=1,3,5,7
/proc/16824/stat : 16824 (toysat) R 16821 16824 14522 0 -1 4202496 289991 0 0 0 154134 63 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140733873131200 5711496 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16824/statm: 349073 290578 904 2943 0 345967 0
[pid=16824/tid=16825] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16825/stat : 16825 (toysat) S 16821 16824 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140603123805424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16824/tid=16826] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16826/stat : 16826 (toysat) S 16821 16824 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140603113315568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16824/tid=16827] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16827/stat : 16827 (toysat) S 16821 16824 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140603102842032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 1396292

[startup+1602.3 s]
/proc/loadavg: 2.36 2.29 2.24 3/183 16916
/proc/meminfo: memFree=28287296/32872528 swapFree=1191052/1305516
[pid=16824] ppid=16821 vsize=1396292 CPUtime=1601.95 cores=1,3,5,7
/proc/16824/stat : 16824 (toysat) R 16821 16824 14522 0 -1 4202496 289991 0 0 0 160132 63 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140733873131200 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16824/statm: 349073 290578 904 2943 0 345967 0
[pid=16824/tid=16825] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16825/stat : 16825 (toysat) S 16821 16824 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140603123805424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16824/tid=16826] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16826/stat : 16826 (toysat) S 16821 16824 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140603113315568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16824/tid=16827] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16827/stat : 16827 (toysat) S 16821 16824 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140603102842032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1396292

[startup+1662.3 s]
/proc/loadavg: 2.36 2.30 2.24 4/183 16917
/proc/meminfo: memFree=28288360/32872528 swapFree=1191052/1305516
[pid=16824] ppid=16821 vsize=1396292 CPUtime=1661.94 cores=1,3,5,7
/proc/16824/stat : 16824 (toysat) R 16821 16824 14522 0 -1 4202496 289991 0 0 0 166131 63 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140733873131200 5827969 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16824/statm: 349073 290578 904 2943 0 345967 0
[pid=16824/tid=16825] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16825/stat : 16825 (toysat) S 16821 16824 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140603123805424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16824/tid=16826] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16826/stat : 16826 (toysat) S 16821 16824 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140603113315568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16824/tid=16827] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16827/stat : 16827 (toysat) S 16821 16824 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140603102842032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1396292

[startup+1722.3 s]
/proc/loadavg: 2.24 2.27 2.23 3/183 16918
/proc/meminfo: memFree=28288244/32872528 swapFree=1191052/1305516
[pid=16824] ppid=16821 vsize=1396292 CPUtime=1721.93 cores=1,3,5,7
/proc/16824/stat : 16824 (toysat) R 16821 16824 14522 0 -1 4202496 289991 0 0 0 172130 63 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140733873131200 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16824/statm: 349073 290578 904 2943 0 345967 0
[pid=16824/tid=16825] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16825/stat : 16825 (toysat) S 16821 16824 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140603123805424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16824/tid=16826] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16826/stat : 16826 (toysat) S 16821 16824 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140603113315568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16824/tid=16827] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16827/stat : 16827 (toysat) S 16821 16824 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140603102842032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1396292

[startup+1782.3 s]
/proc/loadavg: 2.42 2.31 2.25 3/183 16919
/proc/meminfo: memFree=28287744/32872528 swapFree=1191052/1305516
[pid=16824] ppid=16821 vsize=1396292 CPUtime=1781.93 cores=1,3,5,7
/proc/16824/stat : 16824 (toysat) R 16821 16824 14522 0 -1 4202496 289991 0 0 0 178129 64 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140733873131200 5823131 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16824/statm: 349073 290578 904 2943 0 345967 0
[pid=16824/tid=16825] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16825/stat : 16825 (toysat) S 16821 16824 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140603123805424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16824/tid=16826] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16826/stat : 16826 (toysat) S 16821 16824 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140603113315568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16824/tid=16827] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16827/stat : 16827 (toysat) S 16821 16824 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140603102842032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 1396292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.30 2.29 2.24 3/183 16920
/proc/meminfo: memFree=28287616/32872528 swapFree=1191052/1305516
[pid=16824] ppid=16821 vsize=1396292 CPUtime=1800.02 cores=1,3,5,7
/proc/16824/stat : 16824 (toysat) R 16821 16824 14522 0 -1 4202496 289991 0 0 0 179938 64 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140733873131200 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16824/statm: 349073 290578 904 2943 0 345967 0
[pid=16824/tid=16825] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16825/stat : 16825 (toysat) S 16821 16824 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140603123805424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16824/tid=16826] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16826/stat : 16826 (toysat) S 16821 16824 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140603113315568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16824/tid=16827] ppid=16821 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/16824/task/16827/stat : 16827 (toysat) S 16821 16824 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743340 1429803008 290578 33554432000 4194304 16246674 140733873149280 140603102842032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1396292

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1799.39
CPU system time (s): 0.642902
CPU usage (%): 99.9791
Max. virtual memory (cumulated for all children) (KiB): 1396292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.642902
maximum resident set size= 1162312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289991
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= 243
involuntary context switches= 1954

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6283 second user time and 6.88295 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 04:29:27
IDJOB=4100705
IDBENCH=1651
IDSOLVER=2542
FILE ID=node127/4100705-1466216967
RUNJOBID= node127-1466206072-14539
PBS_JOBID= 19918150
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship08s.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100705-1466216967/watcher-4100705-1466216967 -o /tmp/evaluation-result-4100705-1466216967/solver-4100705-1466216967 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14539 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100705-1466216967.opb

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

MD5SUM BENCH= 86f5ae05f91cc0663afe4f54ca2c84e2
RANDOM SEED=849558898

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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:        29028844 kB
Buffers:          104168 kB
Cached:           136096 kB
SwapCached:          528 kB
Active:          1664732 kB
Inactive:         134760 kB
Active(anon):    1560640 kB
Inactive(anon):      860 kB
Active(file):     104092 kB
Inactive(file):   133900 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100256 kB
Dirty:             19040 kB
Writeback:             0 kB
AnonPages:       2936340 kB
Mapped:            10928 kB
Shmem:                 0 kB
Slab:             602524 kB
SReclaimable:      46772 kB
SUnreclaim:       555752 kB
KernelStack:        1520 kB
PageTables:         9872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3009096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 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= 71704 MiB
End job on node127 at 2016-06-18 04:59:28