Trace number 4119879

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.09 1800.53

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm98p-opt.opb.negationfix.opb
MD5SUM38667ef2116f7ef9cbd0f3417b1a4fa4
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark32
Best CPU time to get the best result obtained on this benchmark101.638
Has Objective Function
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables
Total number of constraints
Number of constraints which are clauses
Number of constraints which are cardinality constraints (but not clauses)
Number of constraints which are nor clauses,nor cardinality constraints
Minimum length of a constraint
Maximum length of a constraint
Number of terms in the objective function
Biggest coefficient in the objective function
Number of bits for the biggest coefficient in the objective function
Sum of the numbers in the objective function
Number of bits of the sum of numbers in the objective function
Biggest number in a constraint
Number of bits of the biggest number in a constraint
Biggest sum of numbers in a constraint
Number of bits of the biggest sum of numbers
Number of products (including duplicates)
Sum of products size (including duplicates)
Number of different products
Sum of products size

Solver Data 

0.00/0.00	c 2016-06-30T11:38:16+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-4119879-1467279495.opb"]
0.00/0.01	c use --random-gen="206577032 1416769263 1091282880 3364727791 1469974091 4127089589 3038938740 4123565922 975130164 3586292457 1472150969 954174095 3346696765 2270423084 3833016717 364039420 1230007474 3191955908 2880935296 537908284 1921923353 1609682945 326518089 2273725230 1689003021 29157148 905253674 3302024057 3043948853 963852125 724823482 3496022943 3858446026 36886577 3832903005 967443141 348699711 3047597337 3541161829 3962010746 2452055586 2493634100 509761170 572303555 2203256499 58429032 693453836 2005819617 2646342220 866980758 3617503104 2409800724 2600685529 2127864326 708374942 4043287577 1050027147 1701985809 3504154717 3072526182 1011367324 1186296792 2673442444 3870806284 3274980677 4099558688 489156396 1337091001 3121742799 842486150 1340175530 591513237 393489497 4029219734 932924297 1705644659 4108915533 1968887413 1978437027 2029992041 1066001024 3528025905 359109830 1764839527 3808642743 387941780 1179088323 2137798960 145977658 4062018674 364347443 1505275472 3229852369 2923703082 850001960 3354614721 75989984 494477308 3526301004 1970873187 3420257358 1721943453 456094388 2668138650 1038499460 1409947547 3987224996 1733586944 210566850 74067688 4250535059 1837502871 279053254 3885119071 178618461 2254980757 2929166966 969608050 697711939 920608257 2390351709 3656192704 2174899481 2265655449 2010496186 2040882625 3921149410 1362071482 3505282023 2901329591 2448233910 3008526609 4271018550 854194696 2004747096 1325034197 2480596288 4193699517 1691237407 3818531303 3827796758 3269954731 3859450093 1525277466 182365746 4160713639 280040754 1338684986 2022663418 1595522830 4201148855 2918851424 106385470 2132343395 4117760265 1438209627 977536388 924520395 2849445203 211818022 3101503536 463763063 3106335978 2696244978 3047044409 2210600695 1535321000 2675351480 2856134404 2839322375 2473700147 3951322560 2334758681 387978549 1648103783 4266132928 1242149883 2633442936 1386530496 2441886896 2092832367 3678302780 3933302561 1190022943 3471353796 83212918 1098440055 4164496441 4006778432 4053944853 2272230210 1488722094 510699233 15158163 2389732740 2032566273 3450093971 4152058592 441657244 1443539439 1056470005 1618407386 4134250471 337153775 1223887077 747096760 1985782114 3014560062 2523301431 3077113729 2322857333 2257387213 1683861179 1003229124 4248879129 2774379060 4136837700 2144094140 516911674 3254290727 3012162773 198723389 3477890985 2747352701 108742480 3204752902 3313726248 2136210540 540571458 2235294386 1694356383 1715162927 3558885966 2502565731 4078208468 4265845688 555633751 850813389 2588079129 1054755311 2594812473 3387167996 3957322114 151501818 2632702178 2301779739 4090612682 1566856500 2932568451 3865893810 2699560326 3791611486 3105264029 1388110438 1177060424 3922831515 255 362436" option to reproduce the execution
0.09/0.12	c #vars 11680
0.09/0.12	c #constraints 794
0.19/0.26	c BCD2: Hardening is enabled.
0.19/0.26	c BCD2: BiasedSearch is enabled.
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     4157      0 |       43 |        0
0.39/0.41	c  0.2s |       1 |      406 |      100 |     4157      0 |       43 |        1
0.69/0.72	c  0.5s |       2 |     1738 |      250 |     4573      0 |       43 |        1
1.20/1.27	c  1.0s |       3 |     3837 |      475 |     5031      0 |       43 |        1
1.99/2.00	c  1.7s |       4 |     6820 |      813 |     5535      0 |       43 |        1
2.89/2.95	c  2.7s |       5 |     9941 |     1320 |     6089      0 |       43 |        1
4.99/5.07	c  4.8s |       6 |    12681 |     2081 |     7368      0 |       43 |        1
7.09/7.12	c  6.9s |       6 |    15576 |     3181 |     7368      0 |       43 |        1
7.09/7.18	c  6.9s |       7 |    15621 |     3223 |     8105      0 |       43 |        1
9.29/9.33	c  9.1s |       7 |    18414 |     4223 |     8105      0 |       43 |        1
11.39/11.40	c 11.1s |       7 |    19204 |     4923 |     8916      0 |       43 |        1
11.39/11.44	c 11.2s |       8 |    19217 |     4936 |     8916      0 |       43 |        1
13.39/13.46	c 13.2s |       8 |    21570 |     6136 |     8916      0 |       43 |        1
15.50/15.52	c 15.3s |       8 |    23063 |     7336 |     8916      0 |       43 |        1
15.79/15.84	c 15.6s |       9 |    23275 |     7506 |     9808      0 |       43 |        1
17.89/17.90	c 17.6s |       9 |    25082 |     8406 |     9808      0 |       43 |        1
20.19/20.27	c 20.0s |       9 |    25835 |     9106 |     9808      0 |       43 |        1
22.39/22.47	c 22.2s |       9 |    26370 |     9606 |     9808      0 |       43 |        1
24.48/24.55	c 24.3s |       9 |    26910 |    10106 |     9808      0 |       43 |        1
26.58/26.62	c 26.4s |       9 |    27721 |    10706 |     9808      0 |       43 |        1
28.88/28.94	c 28.7s |       9 |    28511 |    11306 |    10789      0 |       43 |        1
28.98/29.09	c 28.8s |      10 |    28570 |    11361 |    10789      0 |       43 |        1
31.18/31.27	c 31.0s |      10 |    30943 |    11961 |    10789      1 |       43 |        1
33.48/33.59	c 33.3s |      10 |    31847 |    12761 |    10789      1 |       43 |        1
35.78/35.81	c 35.6s |      10 |    32851 |    13461 |    10789      1 |       43 |        1
38.08/38.11	c 37.9s |      10 |    33746 |    14161 |    10789      1 |       43 |        1
40.18/40.29	c 40.0s |      10 |    34640 |    14861 |    10789      1 |       43 |        1
42.38/42.42	c 42.2s |      10 |    35491 |    15661 |    10789      1 |       43 |        1
44.48/44.56	c 44.3s |      10 |    36239 |    16361 |    10789      1 |       43 |        1
46.78/46.80	c 46.5s |      10 |    36990 |    17061 |    11868      1 |       43 |        1
46.98/47.06	c 46.8s |      11 |    37079 |    17144 |    11868      1 |       43 |        1
49.08/49.11	c 48.8s |      11 |    39511 |    18144 |    11868      1 |       43 |        1
51.08/51.18	c 50.9s |      11 |    40825 |    19244 |    11868      1 |       43 |        1
53.18/53.25	c 53.0s |      11 |    42066 |    20344 |    11868      1 |       43 |        1
55.38/55.44	c 55.2s |      11 |    43191 |    21344 |    11868      1 |       43 |        1
57.58/57.63	c 57.4s |      11 |    44147 |    22244 |    11868      1 |       43 |        1
59.58/59.65	c 59.4s |      11 |    44992 |    23044 |    11868      1 |       43 |        1
61.78/61.88	c 61.6s |      11 |    45998 |    23944 |    11868      1 |       43 |        1
63.98/64.03	c 63.8s |      11 |    47143 |    24844 |    11868      1 |       43 |        1
66.08/66.16	c 65.9s |      11 |    48004 |    25644 |    11868      1 |       43 |        1
66.58/66.63	c 66.4s |      12 |    48190 |    25819 |    13055      1 |       43 |        1
68.58/68.67	c 68.4s |      12 |    50484 |    26619 |    13055      2 |       43 |        1
70.68/70.74	c 70.5s |      12 |    51928 |    27919 |    13055      2 |       43 |        1
72.77/72.83	c 72.6s |      12 |    53255 |    29119 |    13055      2 |       43 |        1
74.78/74.90	c 74.6s |      12 |    54479 |    30219 |    13055      2 |       43 |        1
76.87/76.98	c 76.7s |      12 |    55696 |    31319 |    13055      2 |       43 |        1
78.97/79.02	c 78.8s |      12 |    56767 |    32319 |    13055      2 |       43 |        1
81.07/81.17	c 80.9s |      12 |    57898 |    33319 |    13055      2 |       43 |        1
83.27/83.36	c 83.1s |      12 |    58997 |    34319 |    13055      2 |       43 |        1
85.27/85.36	c 85.1s |      12 |    59966 |    35219 |    13055      2 |       43 |        1
87.47/87.51	c 87.3s |      12 |    60909 |    36119 |    13055      2 |       43 |        1
89.57/89.68	c 89.4s |      12 |    61863 |    37019 |    13055      2 |       43 |        1
91.57/91.68	c 91.4s |      12 |    62952 |    38019 |    13055      2 |       43 |        1
93.37/93.44	c 93.2s |      13 |    63825 |    38832 |    14361      2 |       43 |        1
95.37/95.45	c 95.2s |      13 |    66278 |    39332 |    14361      3 |       43 |        1
97.47/97.50	c 97.2s |      13 |    67534 |    40132 |    14361      3 |       43 |        1
99.47/99.58	c 99.3s |      13 |    68630 |    40932 |    14361      3 |       43 |        1
101.67/101.70	c  101s |      13 |    69394 |    41632 |    14361      3 |       43 |        1
103.77/103.80	c  103s |      13 |    70203 |    42332 |    14361      3 |       43 |        1
105.88/105.92	c  105s |      13 |    71059 |    43032 |    14361      3 |       43 |        1
108.08/108.17	c  107s |      13 |    72028 |    43932 |    14361      3 |       43 |        1
110.18/110.25	c  109s |      13 |    72976 |    44732 |    14361      3 |       43 |        1
112.38/112.44	c  112s |      13 |    73858 |    45432 |    14361      3 |       43 |        1
114.68/114.71	c  114s |      13 |    74924 |    46232 |    14361      3 |       43 |        1
116.88/116.96	c  116s |      13 |    75946 |    47032 |    14361      3 |       43 |        1
118.97/119.05	c  118s |      13 |    76599 |    47632 |    14361      3 |       43 |        1
121.08/121.18	c  120s |      13 |    77208 |    48232 |    14361      3 |       43 |        1
123.47/123.53	c  123s |      13 |    77991 |    48932 |    14361      3 |       43 |        1
125.57/125.66	c  125s |      13 |    78617 |    49532 |    14361      3 |       43 |        1
127.87/127.93	c  127s |      13 |    79233 |    50132 |    14361      3 |       43 |        1
130.07/130.18	c  129s |      13 |    79851 |    50732 |    14361      3 |       43 |        1
132.27/132.36	c  132s |      13 |    80564 |    51332 |    14361      3 |       43 |        1
134.37/134.48	c  134s |      13 |    81321 |    51932 |    14361      3 |       43 |        1
136.67/136.71	c  136s |      13 |    81845 |    52432 |    14361      4 |       43 |        1
138.97/139.05	c  138s |      13 |    82475 |    53032 |    14361      4 |       43 |        1
141.27/141.37	c  141s |      13 |    83070 |    53632 |    14361      4 |       43 |        1
143.27/143.39	c  143s |      13 |    83583 |    54132 |    14361      4 |       43 |        1
145.77/145.80	c  145s |      13 |    84274 |    54732 |    14361      4 |       43 |        1
147.77/147.84	c  147s |      13 |    84781 |    55232 |    14361      4 |       43 |        1
149.87/149.98	c  149s |      13 |    85312 |    55732 |    14361      4 |       43 |        1
151.97/152.06	c  151s |      13 |    85879 |    56232 |    14361      4 |       43 |        1
154.07/154.12	c  153s |      13 |    86426 |    56732 |    14361      4 |       43 |        1
156.07/156.18	c  155s |      13 |    86929 |    57232 |    14361      4 |       43 |        1
158.17/158.29	c  158s |      13 |    87447 |    57732 |    14361      4 |       43 |        1
160.37/160.44	c  160s |      13 |    87992 |    58232 |    15798      4 |       43 |        1
160.87/160.98	c  160s |      14 |    88120 |    58352 |    15798      4 |       43 |        1
162.97/163.00	c  162s |      14 |    91400 |    59152 |    15798      5 |       43 |        1
164.97/165.02	c  164s |      14 |    92993 |    60652 |    15798      5 |       43 |        1
167.06/167.16	c  166s |      14 |    94362 |    61952 |    15798      5 |       43 |        1
169.26/169.30	c  169s |      14 |    95764 |    63252 |    15798      5 |       43 |        1
171.36/171.40	c  171s |      14 |    97094 |    64452 |    15798      5 |       43 |        1
173.46/173.59	c  173s |      14 |    98345 |    65652 |    15798      5 |       43 |        1
175.66/175.72	c  175s |      14 |    99719 |    66752 |    15798      5 |       43 |        1
177.76/177.84	c  177s |      14 |   100851 |    67752 |    15798      5 |       43 |        1
179.96/180.02	c  179s |      14 |   101976 |    68752 |    15798      5 |       43 |        1
182.06/182.12	c  181s |      14 |   103055 |    69652 |    15798      5 |       43 |        1
184.26/184.33	c  184s |      14 |   104534 |    70752 |    15798      5 |       43 |        1
186.36/186.40	c  186s |      14 |   105854 |    71752 |    15798      5 |       43 |        1
188.46/188.55	c  188s |      14 |   107092 |    72752 |    15798      5 |       43 |        1
190.66/190.71	c  190s |      14 |   108187 |    73652 |    15798      5 |       43 |        1
192.76/192.80	c  192s |      14 |   109273 |    74552 |    15798      5 |       43 |        1
194.77/194.83	c  194s |      14 |   110111 |    75252 |    15798      6 |       43 |        1
196.87/196.94	c  196s |      14 |   111190 |    76152 |    15798      6 |       43 |        1
198.96/199.03	c  198s |      14 |   112303 |    77052 |    15798      6 |       43 |        1
200.96/201.04	c  200s |      14 |   113202 |    77852 |    15798      6 |       43 |        1
203.36/203.42	c  203s |      14 |   114231 |    78752 |    15798      6 |       43 |        1
205.36/205.44	c  205s |      14 |   115403 |    79652 |    15798      6 |       43 |        1
207.46/207.54	c  207s |      14 |   116505 |    80552 |    15798      6 |       43 |        1
209.56/209.66	c  209s |      14 |   117663 |    81452 |    15798      6 |       43 |        1
211.86/211.93	c  211s |      14 |   118758 |    82352 |    15798      6 |       43 |        1
214.06/214.11	c  213s |      14 |   119933 |    83252 |    15798      6 |       43 |        1
216.06/216.16	c  215s |      14 |   120767 |    83952 |    15798      6 |       43 |        1
218.26/218.34	c  218s |      14 |   121525 |    84652 |    15798      6 |       43 |        1
220.46/220.51	c  220s |      14 |   122330 |    85352 |    15798      6 |       43 |        1
222.46/222.53	c  222s |      14 |   123236 |    86052 |    15798      6 |       43 |        1
224.75/224.81	c  224s |      14 |   124192 |    86852 |    15798      6 |       43 |        1
226.75/226.86	c  226s |      14 |   125007 |    87552 |    17378      6 |       43 |        1
227.05/227.11	c  226s |      15 |   125097 |    87632 |    17378      6 |       43 |        1
229.25/229.35	c  229s |      15 |   128344 |    88032 |    17378      7 |       43 |        1
231.35/231.46	c  231s |      15 |   128855 |    88432 |    17378      7 |       43 |        1
233.65/233.79	c  233s |      15 |   129368 |    88832 |    17378      7 |       43 |        1
236.25/236.35	c  236s |      15 |   129895 |    89232 |    17378      7 |       43 |        1
239.15/239.21	c  238s |      15 |   130377 |    89632 |    17378      7 |       43 |        1
241.66/241.78	c  241s |      15 |   130766 |    89932 |    17378      7 |       43 |        1
244.56/244.69	c  244s |      15 |   131105 |    90232 |    17378      7 |       43 |        1
247.35/247.41	c  247s |      15 |   131416 |    90532 |    17378      7 |       43 |        1
249.35/249.45	c  249s |      15 |   132080 |    90932 |    17378      7 |       43 |        1
251.65/251.74	c  251s |      15 |   132778 |    91432 |    17378      7 |       43 |        1
253.65/253.75	c  253s |      15 |   133257 |    91832 |    17378      7 |       43 |        1
255.75/255.85	c  255s |      15 |   133707 |    92232 |    17378      7 |       43 |        1
258.15/258.26	c  258s |      15 |   134391 |    92732 |    17378      7 |       43 |        1
260.55/260.62	c  260s |      15 |   134848 |    93132 |    17378      7 |       43 |        1
262.55/262.69	c  262s |      15 |   135196 |    93432 |    17378      7 |       43 |        1
264.94/265.09	c  264s |      15 |   135676 |    93832 |    17378      7 |       43 |        1
267.44/267.51	c  267s |      15 |   136147 |    94232 |    17378      7 |       43 |        1
269.94/270.02	c  269s |      15 |   136757 |    94732 |    17378      7 |       43 |        1
272.34/272.44	c  272s |      15 |   137200 |    95132 |    17378      7 |       43 |        1
275.06/275.13	c  274s |      15 |   137641 |    95532 |    17378      7 |       43 |        1
277.16/277.21	c  276s |      15 |   137986 |    95832 |    17378      7 |       43 |        1
279.55/279.67	c  279s |      15 |   138487 |    96232 |    17378      7 |       43 |        1
281.95/282.06	c  281s |      15 |   138960 |    96632 |    17378      7 |       43 |        1
284.45/284.52	c  284s |      15 |   139458 |    97032 |    17378      7 |       43 |        1
286.65/286.70	c  286s |      15 |   139804 |    97332 |    17378      7 |       43 |        1
288.65/288.78	c  288s |      15 |   140145 |    97632 |    17378      7 |       43 |        1
290.85/290.98	c  290s |      15 |   140501 |    97932 |    17378      7 |       43 |        1
293.25/293.37	c  293s |      15 |   140852 |    98232 |    17378      7 |       43 |        1
295.35/295.46	c  295s |      15 |   141177 |    98532 |    17378      7 |       43 |        1
297.55/297.62	c  297s |      15 |   141540 |    98832 |    17378      7 |       43 |        1
300.05/300.18	c  299s |      15 |   142039 |    99232 |    17378      7 |       43 |        1
302.64/302.79	c  302s |      15 |   142519 |    99632 |    17378      7 |       43 |        1
304.84/304.96	c  304s |      15 |   142858 |    99932 |    17378      7 |       43 |        1
307.24/307.36	c  307s |      15 |   143180 |   100232 |    17378      7 |       43 |        1
309.84/309.94	c  309s |      15 |   143547 |   100532 |    17378      7 |       43 |        1
312.24/312.37	c  312s |      15 |   143894 |   100832 |    17378      7 |       43 |        1
314.55/314.63	c  314s |      15 |   144226 |   101132 |    17378      7 |       43 |        1
317.04/317.12	c  316s |      15 |   144562 |   101432 |    17378      7 |       43 |        1
319.14/319.21	c  318s |      15 |   144929 |   101732 |    17378      7 |       43 |        1
321.64/321.75	c  321s |      15 |   145273 |   102032 |    17378      7 |       43 |        1
323.94/324.08	c  323s |      15 |   145616 |   102332 |    17378      7 |       43 |        1
326.64/326.70	c  326s |      15 |   145991 |   102632 |    17378      7 |       43 |        1
329.24/329.35	c  329s |      15 |   146324 |   102932 |    17378      7 |       43 |        1
331.74/331.84	c  331s |      15 |   146678 |   103232 |    17378      7 |       43 |        1
333.74/333.88	c  333s |      15 |   146898 |   103432 |    17378      8 |       43 |        1
335.84/335.92	c  335s |      15 |   147253 |   103732 |    17378      8 |       43 |        1
338.34/338.48	c  338s |      15 |   147584 |   104032 |    17378      8 |       43 |        1
340.84/340.97	c  340s |      15 |   147910 |   104332 |    17378      8 |       43 |        1
343.25/343.35	c  343s |      15 |   148244 |   104632 |    17378      8 |       43 |        1
345.54/345.68	c  345s |      15 |   148604 |   104932 |    17378      8 |       43 |        1
348.04/348.14	c  347s |      15 |   149058 |   105332 |    17378      8 |       43 |        1
350.44/350.53	c  350s |      15 |   149544 |   105732 |    17378      8 |       43 |        1
352.44/352.57	c  352s |      15 |   149905 |   106032 |    17378      8 |       43 |        1
354.94/355.03	c  354s |      15 |   150435 |   106432 |    17378      8 |       43 |        1
357.03/357.14	c  356s |      15 |   150805 |   106732 |    17378      8 |       43 |        1
359.13/359.20	c  358s |      15 |   151149 |   107032 |    17378      8 |       43 |        1
361.73/361.86	c  361s |      15 |   151487 |   107332 |    17378      8 |       43 |        1
364.23/364.34	c  364s |      15 |   151837 |   107632 |    17378      8 |       43 |        1
366.43/366.53	c  366s |      15 |   152216 |   107932 |    17378      8 |       43 |        1
368.45/368.58	c  368s |      15 |   152557 |   108232 |    17378      8 |       43 |        1
370.54/370.64	c  370s |      15 |   152899 |   108532 |    17378      8 |       43 |        1
373.14/373.22	c  372s |      15 |   153370 |   108932 |    17378      8 |       43 |        1
375.64/375.75	c  375s |      15 |   153868 |   109332 |    17378      8 |       43 |        1
378.24/378.32	c  378s |      15 |   154331 |   109732 |    17378      8 |       43 |        1
380.64/380.79	c  380s |      15 |   154817 |   110132 |    17378      8 |       43 |        1
382.74/382.82	c  382s |      15 |   155178 |   110432 |    17378      8 |       43 |        1
385.04/385.11	c  384s |      15 |   155513 |   110732 |    17378      8 |       43 |        1
387.33/387.45	c  387s |      15 |   155856 |   111032 |    17378      8 |       43 |        1
389.44/389.59	c  389s |      15 |   156206 |   111332 |    17378      8 |       43 |        1
391.83/391.94	c  391s |      15 |   156526 |   111632 |    17378      8 |       43 |        1
394.33/394.46	c  394s |      15 |   156887 |   111932 |    17378      8 |       43 |        1
396.72/396.82	c  396s |      15 |   157213 |   112232 |    17378      8 |       43 |        1
399.13/399.23	c  398s |      15 |   157563 |   112532 |    17378      8 |       43 |        1
401.63/401.73	c  401s |      15 |   157913 |   112832 |    17378      8 |       43 |        1
404.03/404.14	c  403s |      15 |   158249 |   113132 |    17378      8 |       43 |        1
406.43/406.53	c  406s |      15 |   158573 |   113432 |    17378      8 |       43 |        1
408.83/408.92	c  408s |      15 |   158934 |   113732 |    17378      8 |       43 |        1
411.23/411.34	c  411s |      15 |   159290 |   114032 |    17378      8 |       43 |        1
413.73/413.81	c  413s |      15 |   159616 |   114332 |    17378      8 |       43 |        1
416.43/416.53	c  416s |      15 |   159941 |   114632 |    17378      8 |       43 |        1
419.03/419.13	c  418s |      15 |   160277 |   114932 |    17378      8 |       43 |        1
421.23/421.39	c  421s |      15 |   160651 |   115232 |    17378      8 |       43 |        1
423.53/423.70	c  423s |      15 |   161050 |   115532 |    17378      8 |       43 |        1
426.12/426.22	c  425s |      15 |   161387 |   115832 |    17378      8 |       43 |        1
428.62/428.75	c  428s |      15 |   161711 |   116132 |    17378      8 |       43 |        1
431.23/431.38	c  431s |      15 |   162037 |   116432 |    17378      8 |       43 |        1
433.93/434.07	c  433s |      15 |   162360 |   116732 |    17378      8 |       43 |        1
436.83/436.93	c  436s |      15 |   162698 |   117032 |    17378      8 |       43 |        1
439.43/439.55	c  439s |      15 |   163039 |   117332 |    17378      8 |       43 |        1
443.52/443.63	c  443s |      15 |   163361 |   117632 |    17378      9 |       43 |        1
446.02/446.19	c  445s |      15 |   163716 |   117932 |    17378      9 |       43 |        1
448.32/448.41	c  448s |      15 |   164051 |   118232 |    17378      9 |       43 |        1
450.42/450.51	c  450s |      15 |   164434 |   118532 |    17378      9 |       43 |        1
452.42/452.53	c  452s |      15 |   164781 |   118832 |    17378      9 |       43 |        1
454.42/454.56	c  454s |      15 |   165157 |   119132 |    17378      9 |       43 |        1
456.52/456.61	c  456s |      15 |   165494 |   119432 |    17378      9 |       43 |        1
458.72/458.84	c  458s |      15 |   165853 |   119732 |    17378      9 |       43 |        1
460.92/461.08	c  460s |      15 |   166180 |   120032 |    17378      9 |       43 |        1
463.22/463.33	c  463s |      15 |   166489 |   120332 |    17378      9 |       43 |        1
465.32/465.45	c  465s |      15 |   166884 |   120632 |    17378      9 |       43 |        1
467.61/467.70	c  467s |      15 |   167229 |   120932 |    17378      9 |       43 |        1
470.12/470.20	c  469s |      15 |   167568 |   121232 |    17378      9 |       43 |        1
472.42/472.52	c  472s |      15 |   167905 |   121532 |    17378      9 |       43 |        1
474.52/474.64	c  474s |      15 |   168261 |   121832 |    17378      9 |       43 |        1
476.72/476.80	c  476s |      15 |   168623 |   122132 |    17378      9 |       43 |        1
478.92/479.01	c  478s |      15 |   168966 |   122432 |    17378      9 |       43 |        1
481.02/481.17	c  480s |      15 |   169347 |   122732 |    17378      9 |       43 |        1
483.12/483.24	c  482s |      15 |   169686 |   123032 |    17378      9 |       43 |        1
485.82/485.93	c  485s |      15 |   170142 |   123432 |    17378      9 |       43 |        1
488.42/488.52	c  488s |      15 |   170622 |   123832 |    17378      9 |       43 |        1
490.42/490.55	c  490s |      15 |   170966 |   124132 |    17378      9 |       43 |        1
492.52/492.61	c  492s |      15 |   171307 |   124432 |    17378      9 |       43 |        1
494.51/494.68	c  494s |      15 |   171682 |   124732 |    17378      9 |       43 |        1
496.61/496.77	c  496s |      15 |   172036 |   125032 |    17378      9 |       43 |        1
498.61/498.78	c  498s |      15 |   172415 |   125332 |    17378      9 |       43 |        1
500.91/501.06	c  500s |      15 |   172756 |   125632 |    17378      9 |       43 |        1
503.31/503.41	c  503s |      15 |   173097 |   125932 |    17378      9 |       43 |        1
505.71/505.83	c  505s |      15 |   173407 |   126232 |    17378      9 |       43 |        1
508.01/508.18	c  507s |      15 |   173758 |   126532 |    17378      9 |       43 |        1
510.42/510.56	c  510s |      15 |   174099 |   126832 |    17378      9 |       43 |        1
512.91/513.02	c  512s |      15 |   174447 |   127132 |    17378      9 |       43 |        1
515.31/515.45	c  515s |      15 |   174779 |   127432 |    17378      9 |       43 |        1
517.71/517.86	c  517s |      15 |   175125 |   127732 |    17378      9 |       43 |        1
520.21/520.33	c  520s |      15 |   175450 |   128032 |    17378      9 |       43 |        1
522.61/522.77	c  522s |      15 |   175790 |   128332 |    17378      9 |       43 |        1
525.11/525.21	c  524s |      15 |   176124 |   128632 |    17378      9 |       43 |        1
527.31/527.47	c  527s |      15 |   176463 |   128932 |    17378      9 |       43 |        1
529.61/529.75	c  529s |      15 |   176815 |   129232 |    17378      9 |       43 |        1
532.01/532.17	c  531s |      15 |   177144 |   129532 |    17378      9 |       43 |        1
534.41/534.51	c  534s |      15 |   177518 |   129832 |    17378      9 |       43 |        1
536.72/536.89	c  536s |      15 |   177856 |   130132 |    17378      9 |       43 |        1
539.41/539.52	c  539s |      15 |   178192 |   130432 |    17378      9 |       43 |        1
541.91/542.08	c  541s |      15 |   178509 |   130732 |    19116      9 |       43 |        1
544.71/544.84	c  544s |      15 |   178818 |   131032 |    19116      9 |       43 |        1
547.51/547.63	c  547s |      15 |   179157 |   131332 |    19116      9 |       43 |        1
549.41/549.53	c  549s |      16 |   179407 |   131552 |    19116      9 |       43 |        1
552.60/552.77	c  552s |      16 |   181867 |   131652 |    19116     10 |       43 |        1
554.70/554.82	c  554s |      16 |   182649 |   132352 |    19116     10 |       43 |        1
556.90/557.03	c  556s |      16 |   183435 |   133052 |    19116     10 |       43 |        1
558.90/559.09	c  558s |      16 |   184126 |   133652 |    19116     10 |       43 |        1
561.30/561.42	c  561s |      16 |   184791 |   134252 |    19116     10 |       43 |        1
563.50/563.67	c  563s |      16 |   185449 |   134852 |    19116     10 |       43 |        1
565.80/565.90	c  565s |      16 |   186120 |   135452 |    19116     10 |       43 |        1
568.00/568.12	c  567s |      16 |   186795 |   136052 |    19116     10 |       43 |        1
570.00/570.14	c  569s |      16 |   187353 |   136552 |    19116     10 |       43 |        1
572.01/572.15	c  571s |      16 |   187879 |   137052 |    19116     10 |       43 |        1
574.10/574.29	c  574s |      16 |   188431 |   137552 |    19116     10 |       43 |        1
576.30/576.47	c  576s |      16 |   188968 |   138052 |    19116     10 |       43 |        1
578.60/578.71	c  578s |      16 |   189498 |   138552 |    19116     10 |       43 |        1
580.80/580.95	c  580s |      16 |   190059 |   139052 |    19116     10 |       43 |        1
583.11/583.24	c  582s |      16 |   190617 |   139552 |    19116     10 |       43 |        1
585.51/585.65	c  585s |      16 |   191186 |   140052 |    19116     10 |       43 |        1
587.50/587.69	c  587s |      16 |   191621 |   140452 |    19116     10 |       43 |        1
589.61/589.76	c  589s |      16 |   192056 |   140852 |    19116     10 |       43 |        1
591.60/591.77	c  591s |      16 |   192479 |   141252 |    19116     10 |       43 |        1
594.01/594.14	c  593s |      16 |   193043 |   141752 |    19116     10 |       43 |        1
596.50/596.62	c  596s |      16 |   193581 |   142252 |    19116     10 |       43 |        1
598.50/598.70	c  598s |      16 |   194006 |   142652 |    19116     10 |       43 |        1
601.00/601.14	c  600s |      16 |   194529 |   143152 |    19116     10 |       43 |        1
603.20/603.35	c  603s |      16 |   195098 |   143652 |    19116     10 |       43 |        1
605.50/605.64	c  605s |      16 |   195653 |   144152 |    19116     10 |       43 |        1
607.50/607.66	c  607s |      16 |   196068 |   144552 |    19116     10 |       43 |        1
609.90/610.01	c  609s |      16 |   196614 |   145052 |    19116     10 |       43 |        1
612.10/612.21	c  611s |      16 |   197170 |   145552 |    19116     10 |       43 |        1
614.30/614.42	c  614s |      16 |   197600 |   145952 |    19116     10 |       43 |        1
616.40/616.57	c  616s |      16 |   198051 |   146352 |    19116     10 |       43 |        1
618.80/618.91	c  618s |      16 |   198485 |   146752 |    19116     10 |       43 |        1
621.20/621.31	c  621s |      16 |   199079 |   147252 |    19116     10 |       43 |        1
623.40/623.59	c  623s |      16 |   199867 |   147852 |    19116     10 |       43 |        1
625.69/625.80	c  625s |      16 |   200094 |   148052 |    19116     11 |       43 |        1
627.79/627.94	c  627s |      16 |   200688 |   148552 |    19116     11 |       43 |        1
629.89/630.09	c  629s |      16 |   201279 |   149052 |    19116     11 |       43 |        1
632.29/632.48	c  632s |      16 |   201897 |   149552 |    19116     11 |       43 |        1
634.49/634.70	c  634s |      16 |   202329 |   149952 |    19116     11 |       43 |        1
636.90/637.02	c  636s |      16 |   202756 |   150352 |    19116     11 |       43 |        1
639.19/639.34	c  639s |      16 |   203175 |   150752 |    19116     11 |       43 |        1
641.59/641.72	c  641s |      16 |   203591 |   151152 |    19116     11 |       43 |        1
643.79/643.90	c  643s |      16 |   204036 |   151552 |    19116     11 |       43 |        1
645.89/646.07	c  645s |      16 |   204457 |   151952 |    19116     11 |       43 |        1
648.09/648.21	c  647s |      16 |   204891 |   152352 |    19116     11 |       43 |        1
650.29/650.46	c  650s |      16 |   205327 |   152752 |    19116     11 |       43 |        1
652.39/652.52	c  652s |      16 |   205785 |   153152 |    19116     11 |       43 |        1
654.79/654.97	c  654s |      16 |   206390 |   153652 |    19116     11 |       43 |        1
656.89/657.07	c  656s |      16 |   206854 |   154052 |    19116     11 |       43 |        1
659.09/659.25	c  658s |      16 |   207350 |   154452 |    19116     11 |       43 |        1
661.09/661.27	c  661s |      16 |   207809 |   154852 |    19116     11 |       43 |        1
663.49/663.63	c  663s |      16 |   208402 |   155352 |    19116     11 |       43 |        1
665.68/665.88	c  665s |      16 |   209013 |   155852 |    19116     11 |       43 |        1
667.98/668.18	c  667s |      16 |   209622 |   156352 |    19116     11 |       43 |        1
670.38/670.58	c  670s |      16 |   210206 |   156852 |    19116     11 |       43 |        1
672.48/672.60	c  672s |      16 |   210679 |   157252 |    19116     11 |       43 |        1
674.58/674.73	c  674s |      16 |   211123 |   157652 |    19116     11 |       43 |        1
676.79/676.98	c  676s |      16 |   211565 |   158052 |    19116     11 |       43 |        1
679.19/679.33	c  679s |      16 |   212001 |   158452 |    19116     11 |       43 |        1
681.39/681.57	c  681s |      16 |   212459 |   158852 |    19116     11 |       43 |        1
683.59/683.74	c  683s |      16 |   212899 |   159252 |    19116     11 |       43 |        1
685.69/685.86	c  685s |      16 |   213344 |   159652 |    19116     11 |       43 |        1
687.99/688.16	c  687s |      16 |   213808 |   160052 |    19116     11 |       43 |        1
690.39/690.50	c  690s |      16 |   214245 |   160452 |    19116     11 |       43 |        1
692.69/692.80	c  692s |      16 |   214713 |   160852 |    19116     11 |       43 |        1
694.69/694.84	c  694s |      16 |   215034 |   161152 |    19116     11 |       43 |        1
696.89/697.07	c  696s |      16 |   215488 |   161552 |    19116     11 |       43 |        1
699.28/699.48	c  699s |      16 |   215945 |   161952 |    19116     11 |       43 |        1
701.79/701.91	c  701s |      16 |   216369 |   162352 |    19116     11 |       43 |        1
704.18/704.38	c  704s |      16 |   216791 |   162752 |    19116     11 |       43 |        1
706.88/707.00	c  706s |      16 |   217235 |   163152 |    19116     11 |       43 |        1
709.08/709.29	c  709s |      16 |   217460 |   163352 |    19116     12 |       43 |        1
711.38/711.50	c  711s |      16 |   217919 |   163752 |    19116     12 |       43 |        1
713.79/713.95	c  713s |      16 |   218360 |   164152 |    19116     12 |       43 |        1
716.09/716.22	c  715s |      16 |   218820 |   164552 |    19116     12 |       43 |        1
718.58/718.71	c  718s |      16 |   219247 |   164952 |    19116     12 |       43 |        1
720.98/721.10	c  720s |      16 |   219678 |   165352 |    19116     12 |       43 |        1
723.28/723.40	c  723s |      16 |   220148 |   165752 |    19116     12 |       43 |        1
725.78/725.92	c  725s |      16 |   220580 |   166152 |    19116     12 |       43 |        1
728.08/728.21	c  727s |      16 |   221031 |   166552 |    19116     12 |       43 |        1
730.39/730.50	c  730s |      16 |   221493 |   166952 |    19116     12 |       43 |        1
732.68/732.86	c  732s |      16 |   221939 |   167352 |    19116     12 |       43 |        1
735.38/735.51	c  735s |      16 |   222364 |   167752 |    19116     12 |       43 |        1
737.58/737.71	c  737s |      16 |   222688 |   168052 |    19116     12 |       43 |        1
739.87/740.07	c  739s |      16 |   223115 |   168452 |    19116     12 |       43 |        1
741.97/742.15	c  741s |      16 |   223580 |   168852 |    19116     12 |       43 |        1
743.97/744.19	c  743s |      16 |   224044 |   169252 |    19116     12 |       43 |        1
746.47/746.64	c  746s |      16 |   224584 |   169752 |    19116     12 |       43 |        1
748.57/748.79	c  748s |      16 |   225012 |   170152 |    19116     12 |       43 |        1
750.87/751.03	c  750s |      16 |   225451 |   170552 |    19116     12 |       43 |        1
753.27/753.50	c  753s |      16 |   226027 |   171052 |    19116     12 |       43 |        1
755.58/755.72	c  755s |      16 |   226457 |   171452 |    19116     12 |       43 |        1
757.68/757.85	c  757s |      16 |   226891 |   171852 |    19116     12 |       43 |        1
759.98/760.18	c  759s |      16 |   227450 |   172352 |    19116     12 |       43 |        1
762.47/762.65	c  762s |      16 |   228023 |   172852 |    19116     12 |       43 |        1
764.97/765.12	c  764s |      16 |   228575 |   173352 |    19116     12 |       43 |        1
767.07/767.27	c  767s |      16 |   229015 |   173752 |    19116     12 |       43 |        1
769.37/769.55	c  769s |      16 |   229438 |   174152 |    19116     12 |       43 |        1
771.67/771.81	c  771s |      16 |   229889 |   174552 |    19116     12 |       43 |        1
773.87/774.10	c  773s |      16 |   230318 |   174952 |    19116     12 |       43 |        1
776.06/776.23	c  775s |      16 |   230780 |   175352 |    19116     12 |       43 |        1
778.26/778.42	c  778s |      16 |   231220 |   175752 |    19116     12 |       43 |        1
780.46/780.66	c  780s |      16 |   231707 |   176152 |    19116     12 |       43 |        1
782.76/782.97	c  782s |      16 |   232143 |   176552 |    19116     12 |       43 |        1
785.06/785.20	c  784s |      16 |   232606 |   176952 |    19116     12 |       43 |        1
787.46/787.62	c  787s |      16 |   233058 |   177352 |    19116     12 |       43 |        1
789.95/790.13	c  789s |      16 |   233500 |   177752 |    19116     12 |       43 |        1
792.15/792.30	c  792s |      16 |   233952 |   178152 |    19116     12 |       43 |        1
795.06/795.30	c  795s |      16 |   234293 |   178452 |    19116     13 |       43 |        1
797.56/797.74	c  797s |      16 |   234886 |   178952 |    19116     13 |       43 |        1
799.96/800.10	c  799s |      16 |   235466 |   179452 |    19116     13 |       43 |        1
802.06/802.26	c  802s |      16 |   235929 |   179852 |    19116     13 |       43 |        1
804.25/804.40	c  804s |      16 |   236475 |   180352 |    19116     13 |       43 |        1
806.35/806.58	c  806s |      16 |   237022 |   180852 |    19116     13 |       43 |        1
808.65/808.85	c  808s |      16 |   237576 |   181352 |    19116     13 |       43 |        1
810.95/811.16	c  810s |      16 |   238120 |   181852 |    19116     13 |       43 |        1
813.24/813.44	c  813s |      16 |   238650 |   182352 |    19116     13 |       43 |        1
815.44/815.67	c  815s |      16 |   239281 |   182852 |    19116     13 |       43 |        1
817.84/818.06	c  817s |      16 |   239821 |   183352 |    19116     13 |       43 |        1
820.24/820.49	c  820s |      16 |   240376 |   183852 |    19116     13 |       43 |        1
822.34/822.59	c  822s |      16 |   240808 |   184252 |    19116     13 |       43 |        1
824.74/824.94	c  824s |      16 |   241382 |   184752 |    19116     13 |       43 |        1
827.04/827.21	c  826s |      16 |   241946 |   185252 |    19116     13 |       43 |        1
829.24/829.43	c  829s |      16 |   242501 |   185752 |    19116     13 |       43 |        1
831.23/831.45	c  831s |      16 |   242929 |   186152 |    19116     13 |       43 |        1
833.33/833.50	c  833s |      16 |   243355 |   186552 |    19116     13 |       43 |        1
835.43/835.69	c  835s |      16 |   243801 |   186952 |    19116     13 |       43 |        1
837.73/837.97	c  837s |      16 |   244250 |   187352 |    19116     13 |       43 |        1
840.04/840.24	c  839s |      16 |   244684 |   187752 |    19116     13 |       43 |        1
842.03/842.26	c  842s |      16 |   245114 |   188152 |    19116     13 |       43 |        1
844.13/844.38	c  844s |      16 |   245550 |   188552 |    19116     13 |       43 |        1
846.33/846.57	c  846s |      16 |   245977 |   188952 |    19116     13 |       43 |        1
848.43/848.69	c  848s |      16 |   246398 |   189352 |    19116     13 |       43 |        1
850.73/850.95	c  850s |      16 |   246841 |   189752 |    19116     13 |       43 |        1
853.23/853.41	c  853s |      16 |   247262 |   190152 |    19116     13 |       43 |        1
855.53/855.76	c  855s |      16 |   247699 |   190552 |    19116     13 |       43 |        1
858.02/858.29	c  858s |      16 |   248147 |   190952 |    19116     13 |       43 |        1
860.13/860.32	c  860s |      16 |   248585 |   191352 |    19116     13 |       43 |        1
862.23/862.44	c  862s |      16 |   249007 |   191752 |    19116     13 |       43 |        1
864.43/864.65	c  864s |      16 |   249438 |   192152 |    19116     13 |       43 |        1
866.73/866.93	c  866s |      16 |   249901 |   192552 |    19116     13 |       43 |        1
868.83/869.07	c  868s |      16 |   250336 |   192952 |    19116     13 |       43 |        1
871.12/871.39	c  871s |      16 |   250762 |   193352 |    19116     13 |       43 |        1
874.12/874.35	c  874s |      16 |   251080 |   193652 |    19116     14 |       43 |        1
876.21/876.49	c  876s |      16 |   251521 |   194052 |    19116     14 |       43 |        1
879.32/879.57	c  879s |      16 |   251966 |   194452 |    19116     14 |       43 |        1
881.62/881.82	c  881s |      16 |   252507 |   194952 |    19116     14 |       43 |        1
884.12/884.31	c  884s |      16 |   253055 |   195452 |    19116     14 |       43 |        1
886.12/886.33	c  886s |      16 |   253491 |   195852 |    19116     14 |       43 |        1
888.52/888.76	c  888s |      16 |   254050 |   196352 |    21028     14 |       43 |        1
890.71/890.91	c  890s |      16 |   254605 |   196852 |    21028     14 |       43 |        1
893.02/893.26	c  892s |      16 |   255173 |   197352 |    21028     14 |       43 |        1
893.41/893.64	c  893s |      17 |   255250 |   197432 |    21028     14 |       43 |        1
895.41/895.66	c  895s |      17 |   258941 |   198032 |    21028     14 |       43 |        1
897.61/897.88	c  897s |      17 |   259822 |   198832 |    21028     14 |       43 |        1
899.91/900.12	c  899s |      17 |   260717 |   199632 |    21028     14 |       43 |        1
902.01/902.22	c  901s |      17 |   261622 |   200432 |    21028     14 |       43 |        1
904.31/904.58	c  904s |      17 |   262409 |   201132 |    21028     14 |       43 |        1
906.80/907.03	c  906s |      17 |   262959 |   201632 |    21028     14 |       43 |        1
909.00/909.22	c  908s |      17 |   263720 |   202332 |    21028     14 |       43 |        1
911.10/911.32	c  911s |      17 |   264479 |   203032 |    21028     14 |       43 |        1
913.20/913.40	c  913s |      17 |   265254 |   203732 |    21028     14 |       43 |        1
915.20/915.42	c  915s |      17 |   266157 |   204532 |    21028     14 |       43 |        1
917.30/917.57	c  917s |      17 |   267061 |   205332 |    21028     14 |       43 |        1
919.30/919.58	c  919s |      17 |   267853 |   206032 |    21028     14 |       43 |        1
921.60/921.82	c  921s |      17 |   268629 |   206732 |    21028     14 |       43 |        1
923.80/924.03	c  923s |      17 |   269443 |   207432 |    21028     14 |       43 |        1
926.11/926.33	c  926s |      17 |   270222 |   208132 |    21028     14 |       43 |        1
928.40/928.63	c  928s |      17 |   270985 |   208832 |    21028     14 |       43 |        1
930.51/930.76	c  930s |      17 |   271637 |   209432 |    21028     14 |       43 |        1
932.70/932.97	c  932s |      17 |   272401 |   210132 |    21028     14 |       43 |        1
935.59/935.89	c  935s |      17 |   273081 |   210732 |    21028     15 |       43 |        1
937.79/938.06	c  937s |      17 |   273740 |   211332 |    21028     15 |       43 |        1
939.79/940.08	c  939s |      17 |   274411 |   211932 |    21028     15 |       43 |        1
941.99/942.25	c  941s |      17 |   275079 |   212532 |    21028     15 |       43 |        1
944.19/944.49	c  944s |      17 |   275725 |   213132 |    21028     15 |       43 |        1
946.29/946.56	c  946s |      17 |   276246 |   213632 |    21028     15 |       43 |        1
948.58/948.80	c  948s |      17 |   276894 |   214232 |    21028     15 |       43 |        1
950.58/950.87	c  950s |      17 |   277421 |   214732 |    21028     15 |       43 |        1
952.78/953.00	c  952s |      17 |   277944 |   215232 |    21028     15 |       43 |        1
955.18/955.42	c  955s |      17 |   278613 |   215832 |    21028     15 |       43 |        1
957.48/957.76	c  957s |      17 |   279143 |   216332 |    21028     15 |       43 |        1
959.78/960.00	c  959s |      17 |   279804 |   216932 |    21028     15 |       43 |        1
961.88/962.14	c  961s |      17 |   280502 |   217532 |    21028     15 |       43 |        1
964.18/964.45	c  964s |      17 |   281158 |   218132 |    21028     15 |       43 |        1
966.48/966.78	c  966s |      17 |   281808 |   218732 |    21028     15 |       43 |        1
968.78/969.09	c  968s |      17 |   282466 |   219332 |    21028     15 |       43 |        1
970.98/971.20	c  970s |      17 |   283026 |   219832 |    21028     15 |       43 |        1
973.08/973.33	c  973s |      17 |   283583 |   220332 |    21028     15 |       43 |        1
975.17/975.47	c  975s |      17 |   284133 |   220832 |    21028     15 |       43 |        1
977.47/977.72	c  977s |      17 |   284667 |   221332 |    21028     15 |       43 |        1
979.57/979.84	c  979s |      17 |   285208 |   221832 |    21028     15 |       43 |        1
981.67/981.93	c  981s |      17 |   285753 |   222332 |    21028     15 |       43 |        1
983.67/983.96	c  983s |      17 |   286304 |   222832 |    21028     15 |       43 |        1
985.77/986.05	c  985s |      17 |   286854 |   223332 |    21028     15 |       43 |        1
987.87/988.18	c  987s |      17 |   287405 |   223832 |    21028     15 |       43 |        1
990.17/990.47	c  990s |      17 |   287946 |   224332 |    21028     15 |       43 |        1
992.37/992.60	c  992s |      17 |   288512 |   224832 |    21028     15 |       43 |        1
994.77/995.02	c  994s |      17 |   289173 |   225432 |    21028     15 |       43 |        1
997.07/997.39	c  997s |      17 |   289723 |   225932 |    21028     15 |       43 |        1
999.57/999.85	c  999s |      17 |   290262 |   226432 |    21028     15 |       43 |        1
1002.97/1003.22	c 1002s |      17 |   290829 |   226932 |    21028     16 |       43 |        1
1004.96/1005.24	c 1004s |      17 |   291366 |   227432 |    21028     16 |       43 |        1
1007.16/1007.41	c 1007s |      17 |   291825 |   227832 |    21028     16 |       43 |        1
1009.36/1009.68	c 1009s |      17 |   292499 |   228432 |    21028     16 |       43 |        1
1011.56/1011.80	c 1011s |      17 |   293045 |   228932 |    21028     16 |       43 |        1
1013.66/1013.95	c 1013s |      17 |   293601 |   229432 |    21028     16 |       43 |        1
1015.66/1015.96	c 1015s |      17 |   294186 |   229932 |    21028     16 |       43 |        1
1017.76/1018.08	c 1017s |      17 |   294753 |   230432 |    21028     16 |       43 |        1
1020.06/1020.31	c 1020s |      17 |   295305 |   230932 |    21028     16 |       43 |        1
1022.46/1022.72	c 1022s |      17 |   295879 |   231432 |    21028     16 |       43 |        1
1024.45/1024.74	c 1024s |      17 |   296406 |   231932 |    21028     16 |       43 |        1
1026.56/1026.86	c 1026s |      17 |   296956 |   232432 |    21028     16 |       43 |        1
1028.96/1029.25	c 1028s |      17 |   297600 |   233032 |    21028     16 |       43 |        1
1031.25/1031.56	c 1031s |      17 |   298129 |   233532 |    21028     16 |       43 |        1
1033.65/1033.92	c 1033s |      17 |   298665 |   234032 |    21028     16 |       43 |        1
1035.75/1036.06	c 1035s |      17 |   299203 |   234532 |    21028     16 |       43 |        1
1037.95/1038.28	c 1038s |      17 |   299738 |   235032 |    21028     16 |       43 |        1
1040.35/1040.67	c 1040s |      17 |   300287 |   235532 |    21028     16 |       43 |        1
1042.74/1043.00	c 1042s |      17 |   300825 |   236032 |    21028     16 |       43 |        1
1044.94/1045.29	c 1045s |      17 |   301395 |   236532 |    21028     16 |       43 |        1
1047.44/1047.71	c 1047s |      17 |   301935 |   237032 |    21028     16 |       43 |        1
1049.74/1050.05	c 1049s |      17 |   302479 |   237532 |    21028     16 |       43 |        1
1051.84/1052.14	c 1051s |      17 |   302894 |   237932 |    21028     16 |       43 |        1
1054.24/1054.53	c 1054s |      17 |   303446 |   238432 |    21028     16 |       43 |        1
1056.64/1056.95	c 1056s |      17 |   303984 |   238932 |    21028     16 |       43 |        1
1059.65/1059.99	c 1059s |      17 |   304530 |   239432 |    21028     16 |       43 |        1
1061.94/1062.26	c 1062s |      17 |   304979 |   239832 |    21028     16 |       43 |        1
1064.04/1064.37	c 1064s |      17 |   305419 |   240232 |    21028     16 |       43 |        1
1066.75/1067.03	c 1066s |      17 |   305973 |   240732 |    21028     16 |       43 |        1
1068.74/1069.07	c 1068s |      17 |   306409 |   241132 |    21028     16 |       43 |        1
1070.84/1071.19	c 1070s |      17 |   306750 |   241432 |    21028     16 |       43 |        1
1073.24/1073.52	c 1073s |      17 |   307301 |   241932 |    21028     16 |       43 |        1
1075.73/1076.00	c 1075s |      17 |   307967 |   242532 |    21028     16 |       43 |        1
1079.23/1079.57	c 1079s |      17 |   308497 |   243032 |    21028     17 |       43 |        1
1081.43/1081.74	c 1081s |      17 |   309030 |   243532 |    21028     17 |       43 |        1
1083.53/1083.82	c 1083s |      17 |   309242 |   243732 |    21028     17 |       43 |        1
1085.63/1085.99	c 1085s |      17 |   309779 |   244232 |    21028     17 |       43 |        1
1087.93/1088.24	c 1087s |      17 |   310318 |   244732 |    21028     17 |       43 |        1
1090.13/1090.43	c 1090s |      17 |   310860 |   245232 |    21028     17 |       43 |        1
1092.32/1092.69	c 1092s |      17 |   311394 |   245732 |    21028     17 |       43 |        1
1094.52/1094.82	c 1094s |      17 |   312085 |   246332 |    21028     17 |       43 |        1
1096.62/1096.97	c 1096s |      17 |   312751 |   246932 |    21028     17 |       43 |        1
1099.02/1099.32	c 1099s |      17 |   313397 |   247532 |    21028     17 |       43 |        1
1101.32/1101.65	c 1101s |      17 |   314057 |   248132 |    21028     17 |       43 |        1
1103.62/1103.95	c 1103s |      17 |   314725 |   248732 |    21028     17 |       43 |        1
1105.91/1106.26	c 1105s |      17 |   315432 |   249332 |    21028     17 |       43 |        1
1107.91/1108.27	c 1108s |      17 |   315983 |   249832 |    21028     17 |       43 |        1
1110.12/1110.47	c 1110s |      17 |   316527 |   250332 |    21028     17 |       43 |        1
1112.32/1112.67	c 1112s |      17 |   317081 |   250832 |    21028     17 |       43 |        1
1114.51/1114.81	c 1114s |      17 |   317647 |   251332 |    21028     17 |       43 |        1
1116.52/1116.88	c 1116s |      17 |   318199 |   251832 |    21028     17 |       43 |        1
1118.61/1118.97	c 1118s |      17 |   318763 |   252332 |    21028     17 |       43 |        1
1121.11/1121.40	c 1121s |      17 |   319316 |   252832 |    21028     17 |       43 |        1
1123.31/1123.66	c 1123s |      17 |   319864 |   253332 |    21028     17 |       43 |        1
1125.51/1125.84	c 1125s |      17 |   320397 |   253832 |    21028     17 |       43 |        1
1128.02/1128.34	c 1128s |      17 |   320932 |   254332 |    21028     17 |       43 |        1
1130.32/1130.67	c 1130s |      17 |   321466 |   254832 |    21028     17 |       43 |        1
1132.72/1133.04	c 1132s |      17 |   321999 |   255332 |    21028     17 |       43 |        1
1134.71/1135.07	c 1134s |      17 |   322422 |   255732 |    21028     17 |       43 |        1
1136.81/1137.12	c 1136s |      17 |   322851 |   256132 |    21028     17 |       43 |        1
1138.91/1139.25	c 1138s |      17 |   323414 |   256632 |    21028     17 |       43 |        1
1141.21/1141.50	c 1141s |      17 |   324094 |   257232 |    21028     17 |       43 |        1
1143.31/1143.68	c 1143s |      17 |   324638 |   257732 |    21028     17 |       43 |        1
1145.41/1145.78	c 1145s |      17 |   325203 |   258232 |    21028     17 |       43 |        1
1147.60/1147.94	c 1147s |      17 |   325766 |   258732 |    21028     17 |       43 |        1
1150.90/1151.21	c 1150s |      17 |   326309 |   259232 |    21028     18 |       43 |        1
1153.20/1153.53	c 1153s |      17 |   326959 |   259832 |    21028     18 |       43 |        1
1155.30/1155.66	c 1155s |      17 |   327492 |   260332 |    21028     18 |       43 |        1
1157.30/1157.66	c 1157s |      17 |   328039 |   260832 |    21028     18 |       43 |        1
1159.30/1159.67	c 1159s |      17 |   328607 |   261332 |    21028     18 |       43 |        1
1161.49/1161.82	c 1161s |      17 |   329178 |   261832 |    21028     18 |       43 |        1
1163.50/1163.84	c 1163s |      17 |   329725 |   262332 |    21028     18 |       43 |        1
1165.59/1165.90	c 1165s |      17 |   330274 |   262832 |    21028     18 |       43 |        1
1167.69/1168.03	c 1167s |      17 |   330733 |   263232 |    21028     18 |       43 |        1
1169.99/1170.38	c 1170s |      17 |   331417 |   263832 |    21028     18 |       43 |        1
1172.49/1172.82	c 1172s |      17 |   332062 |   264432 |    21028     18 |       43 |        1
1174.79/1175.11	c 1174s |      17 |   332607 |   264932 |    21028     18 |       43 |        1
1176.80/1177.19	c 1176s |      17 |   333168 |   265432 |    21028     18 |       43 |        1
1179.09/1179.41	c 1179s |      17 |   333711 |   265932 |    21028     18 |       43 |        1
1181.10/1181.49	c 1181s |      17 |   334271 |   266432 |    21028     18 |       43 |        1
1183.30/1183.66	c 1183s |      17 |   334812 |   266932 |    21028     18 |       43 |        1
1185.60/1185.98	c 1185s |      17 |   335356 |   267432 |    21028     18 |       43 |        1
1188.09/1188.45	c 1188s |      17 |   335907 |   267932 |    21028     18 |       43 |        1
1190.49/1190.87	c 1190s |      17 |   336466 |   268432 |    21028     18 |       43 |        1
1192.59/1192.94	c 1192s |      17 |   336891 |   268832 |    21028     18 |       43 |        1
1194.69/1195.05	c 1194s |      17 |   337315 |   269232 |    21028     18 |       43 |        1
1196.79/1197.19	c 1196s |      17 |   337734 |   269632 |    21028     18 |       43 |        1
1199.39/1199.73	c 1199s |      17 |   338274 |   270132 |    21028     18 |       43 |        1
1201.89/1202.30	c 1202s |      17 |   338728 |   270532 |    21028     18 |       43 |        1
1204.30/1204.67	c 1204s |      17 |   339279 |   271032 |    21028     18 |       43 |        1
1206.28/1206.68	c 1206s |      17 |   339846 |   271532 |    21028     18 |       43 |        1
1208.49/1208.80	c 1208s |      17 |   340391 |   272032 |    21028     18 |       43 |        1
1210.80/1211.11	c 1210s |      17 |   340950 |   272532 |    21028     18 |       43 |        1
1212.89/1213.23	c 1212s |      17 |   341490 |   273032 |    21028     18 |       43 |        1
1215.09/1215.41	c 1215s |      17 |   342026 |   273532 |    21028     18 |       43 |        1
1217.39/1217.71	c 1217s |      17 |   342676 |   274132 |    21028     18 |       43 |        1
1219.48/1219.83	c 1219s |      17 |   343219 |   274632 |    21028     18 |       43 |        1
1221.79/1222.11	c 1221s |      17 |   343770 |   275132 |    21028     18 |       43 |        1
1224.18/1224.51	c 1224s |      17 |   344086 |   275432 |    21028     19 |       43 |        1
1226.19/1226.53	c 1226s |      17 |   344631 |   275932 |    21028     19 |       43 |        1
1228.49/1228.80	c 1228s |      17 |   345188 |   276432 |    21028     19 |       43 |        1
1230.78/1231.13	c 1230s |      17 |   346001 |   277132 |    21028     19 |       43 |        1
1233.08/1233.44	c 1233s |      17 |   346745 |   277732 |    21028     19 |       43 |        1
1235.48/1235.81	c 1235s |      17 |   347433 |   278332 |    21028     19 |       43 |        1
1237.48/1237.85	c 1237s |      17 |   347996 |   278832 |    21028     19 |       43 |        1
1239.68/1240.07	c 1239s |      17 |   348538 |   279332 |    21028     19 |       43 |        1
1241.98/1242.35	c 1242s |      17 |   349082 |   279832 |    21028     19 |       43 |        1
1244.17/1244.50	c 1244s |      17 |   349664 |   280332 |    21028     19 |       43 |        1
1246.47/1246.86	c 1246s |      17 |   350233 |   280832 |    21028     19 |       43 |        1
1248.78/1249.17	c 1248s |      17 |   350808 |   281332 |    21028     19 |       43 |        1
1251.18/1251.51	c 1251s |      17 |   351354 |   281832 |    21028     19 |       43 |        1
1253.48/1253.89	c 1253s |      17 |   351893 |   282332 |    21028     19 |       43 |        1
1255.58/1255.93	c 1255s |      17 |   352315 |   282732 |    21028     19 |       43 |        1
1257.87/1258.23	c 1257s |      17 |   352871 |   283232 |    21028     19 |       43 |        1
1259.87/1260.24	c 1259s |      17 |   353297 |   283632 |    21028     19 |       43 |        1
1262.07/1262.45	c 1262s |      17 |   353862 |   284132 |    21028     19 |       43 |        1
1264.17/1264.57	c 1264s |      17 |   354444 |   284632 |    21028     19 |       43 |        1
1266.37/1266.74	c 1266s |      17 |   354994 |   285132 |    21028     19 |       43 |        1
1268.67/1269.02	c 1268s |      17 |   355521 |   285632 |    21028     19 |       43 |        1
1270.66/1271.03	c 1270s |      17 |   355958 |   286032 |    21028     19 |       43 |        1
1272.66/1273.09	c 1272s |      17 |   356378 |   286432 |    21028     19 |       43 |        1
1275.07/1275.49	c 1275s |      17 |   356941 |   286932 |    21028     19 |       43 |        1
1277.17/1277.58	c 1277s |      17 |   357366 |   287332 |    21028     19 |       43 |        1
1279.37/1279.70	c 1279s |      17 |   357937 |   287832 |    21028     19 |       43 |        1
1281.67/1282.07	c 1281s |      17 |   358487 |   288332 |    21028     19 |       43 |        1
1284.07/1284.43	c 1284s |      17 |   359052 |   288832 |    21028     19 |       43 |        1
1286.57/1286.94	c 1286s |      17 |   359609 |   289332 |    21028     19 |       43 |        1
1288.97/1289.35	c 1289s |      17 |   360182 |   289832 |    21028     19 |       43 |        1
1290.96/1291.36	c 1291s |      17 |   360526 |   290132 |    21028     19 |       43 |        1
1293.16/1293.58	c 1293s |      17 |   361219 |   290732 |    21028     19 |       43 |        1
1295.26/1295.67	c 1295s |      17 |   361773 |   291232 |    21028     19 |       43 |        1
1297.46/1297.80	c 1297s |      17 |   362102 |   291532 |    21028     20 |       43 |        1
1299.46/1299.83	c 1299s |      17 |   362655 |   292032 |    21028     20 |       43 |        1
1301.76/1302.13	c 1301s |      17 |   363314 |   292632 |    21028     20 |       43 |        1
1304.16/1304.53	c 1304s |      17 |   363985 |   293232 |    21028     20 |       43 |        1
1306.36/1306.80	c 1306s |      17 |   364645 |   293832 |    21028     20 |       43 |        1
1308.77/1309.14	c 1308s |      17 |   365217 |   294332 |    23131     20 |       43 |        1
1310.76/1311.15	c 1310s |      17 |   365806 |   294832 |    23131     20 |       43 |        1
1312.86/1313.27	c 1313s |      17 |   366353 |   295332 |    23131     20 |       43 |        1
1315.26/1315.63	c 1315s |      17 |   367022 |   295932 |    23131     20 |       43 |        1
1316.56/1316.95	c 1316s |      18 |   367385 |   296252 |    23131     20 |       43 |        1
1318.66/1319.07	c 1318s |      18 |   371525 |   296952 |    23131     20 |       43 |        1
1320.76/1321.10	c 1320s |      18 |   372603 |   297952 |    23131     20 |       43 |        1
1322.85/1323.29	c 1323s |      18 |   373469 |   298752 |    23131     20 |       43 |        1
1324.96/1325.32	c 1325s |      18 |   374368 |   299552 |    23131     20 |       43 |        1
1326.96/1327.38	c 1327s |      18 |   375128 |   300252 |    23131     20 |       43 |        1
1329.06/1329.46	c 1329s |      18 |   375883 |   300952 |    23131     20 |       43 |        1
1331.05/1331.46	c 1331s |      18 |   376548 |   301552 |    23131     20 |       43 |        1
1333.05/1333.47	c 1333s |      18 |   377215 |   302152 |    23131     20 |       43 |        1
1335.16/1335.55	c 1335s |      18 |   377846 |   302752 |    23131     20 |       43 |        1
1337.55/1337.94	c 1337s |      18 |   378479 |   303352 |    23131     20 |       43 |        1
1339.56/1339.97	c 1339s |      18 |   378999 |   303852 |    23131     20 |       43 |        1
1341.76/1342.11	c 1341s |      18 |   379667 |   304452 |    23131     20 |       43 |        1
1343.75/1344.20	c 1343s |      18 |   380444 |   305152 |    23131     20 |       43 |        1
1345.85/1346.22	c 1345s |      18 |   381223 |   305852 |    23131     20 |       43 |        1
1347.85/1348.28	c 1348s |      18 |   382025 |   306552 |    23131     20 |       43 |        1
1349.85/1350.29	c 1350s |      18 |   382686 |   307152 |    23131     20 |       43 |        1
1351.95/1352.32	c 1352s |      18 |   383353 |   307752 |    23131     20 |       43 |        1
1354.25/1354.67	c 1354s |      18 |   384051 |   308352 |    23131     20 |       43 |        1
1356.45/1356.81	c 1356s |      18 |   384588 |   308852 |    23131     20 |       43 |        1
1358.55/1358.96	c 1358s |      18 |   385243 |   309452 |    23131     20 |       43 |        1
1360.75/1361.14	c 1360s |      18 |   385565 |   309752 |    23131     21 |       43 |        1
1363.05/1363.48	c 1363s |      18 |   386204 |   310352 |    23131     21 |       43 |        1
1365.15/1365.55	c 1365s |      18 |   386786 |   310852 |    23131     21 |       43 |        1
1367.55/1367.94	c 1367s |      18 |   387464 |   311452 |    23131     21 |       43 |        1
1369.65/1370.06	c 1369s |      18 |   388055 |   311952 |    23131     21 |       43 |        1
1371.85/1372.28	c 1372s |      18 |   388797 |   312552 |    23131     21 |       43 |        1
1374.35/1374.78	c 1374s |      18 |   389469 |   313152 |    23131     21 |       43 |        1
1376.45/1376.83	c 1376s |      18 |   390030 |   313652 |    23131     21 |       43 |        1
1378.75/1379.12	c 1378s |      18 |   390598 |   314152 |    23131     21 |       43 |        1
1380.85/1381.26	c 1380s |      18 |   391170 |   314652 |    23131     21 |       43 |        1
1383.04/1383.43	c 1383s |      18 |   391739 |   315152 |    23131     21 |       43 |        1
1385.34/1385.78	c 1385s |      18 |   392426 |   315752 |    23131     21 |       43 |        1
1387.74/1388.13	c 1387s |      18 |   392959 |   316252 |    23131     21 |       43 |        1
1390.24/1390.60	c 1390s |      18 |   393518 |   316752 |    23131     21 |       43 |        1
1392.54/1392.99	c 1392s |      18 |   394109 |   317252 |    23131     21 |       43 |        1
1394.93/1395.33	c 1395s |      18 |   394676 |   317752 |    23131     21 |       43 |        1
1396.93/1397.36	c 1397s |      18 |   395097 |   318152 |    23131     21 |       43 |        1
1399.04/1399.40	c 1399s |      18 |   395537 |   318552 |    23131     21 |       43 |        1
1401.24/1401.68	c 1401s |      18 |   396098 |   319052 |    23131     21 |       43 |        1
1403.44/1403.84	c 1403s |      18 |   396690 |   319552 |    23131     21 |       43 |        1
1405.54/1405.90	c 1405s |      18 |   397243 |   320052 |    23131     21 |       43 |        1
1407.74/1408.17	c 1407s |      18 |   397807 |   320552 |    23131     21 |       43 |        1
1410.13/1410.52	c 1410s |      18 |   398366 |   321052 |    23131     21 |       43 |        1
1412.43/1412.89	c 1412s |      18 |   398948 |   321552 |    23131     21 |       43 |        1
1414.93/1415.33	c 1415s |      18 |   399512 |   322052 |    23131     21 |       43 |        1
1417.43/1417.82	c 1417s |      18 |   400073 |   322552 |    23131     21 |       43 |        1
1419.43/1419.89	c 1419s |      18 |   400531 |   322952 |    23131     21 |       43 |        1
1421.63/1422.06	c 1421s |      18 |   401088 |   323452 |    23131     21 |       43 |        1
1424.03/1424.43	c 1424s |      18 |   401760 |   324052 |    23131     21 |       43 |        1
1426.13/1426.50	c 1426s |      18 |   402385 |   324552 |    23131     21 |       43 |        1
1428.33/1428.71	c 1428s |      18 |   402951 |   325052 |    23131     21 |       43 |        1
1430.63/1431.09	c 1430s |      18 |   403503 |   325552 |    23131     21 |       43 |        1
1433.03/1433.44	c 1433s |      18 |   404052 |   326052 |    23131     21 |       43 |        1
1435.02/1435.49	c 1435s |      18 |   404496 |   326452 |    23131     21 |       43 |        1
1437.52/1437.93	c 1437s |      18 |   404711 |   326652 |    23131     22 |       43 |        1
1439.64/1440.02	c 1439s |      18 |   405056 |   326952 |    23131     22 |       43 |        1
1441.73/1442.11	c 1441s |      18 |   405604 |   327452 |    23131     22 |       43 |        1
1443.83/1444.21	c 1443s |      18 |   406151 |   327952 |    23131     22 |       43 |        1
1446.93/1447.33	c 1447s |      18 |   406834 |   328452 |    23131     22 |       43 |        1
1449.22/1449.65	c 1449s |      18 |   407530 |   329052 |    23131     22 |       43 |        1
1451.43/1451.80	c 1451s |      18 |   408095 |   329552 |    23131     22 |       43 |        1
1453.42/1453.88	c 1453s |      18 |   408632 |   330052 |    23131     22 |       43 |        1
1455.72/1456.11	c 1455s |      18 |   409209 |   330552 |    23131     22 |       43 |        1
1457.92/1458.32	c 1458s |      18 |   409782 |   331052 |    23131     22 |       43 |        1
1460.12/1460.56	c 1460s |      18 |   410232 |   331452 |    23131     22 |       43 |        1
1462.52/1462.93	c 1462s |      18 |   410794 |   331952 |    23131     22 |       43 |        1
1464.83/1465.29	c 1465s |      18 |   411361 |   332452 |    23131     22 |       43 |        1
1467.32/1467.72	c 1467s |      18 |   411921 |   332952 |    23131     22 |       43 |        1
1469.52/1469.90	c 1469s |      18 |   412347 |   333352 |    23131     22 |       43 |        1
1471.52/1471.97	c 1471s |      18 |   412782 |   333752 |    23131     22 |       43 |        1
1473.63/1474.05	c 1473s |      18 |   413226 |   334152 |    23131     22 |       43 |        1
1476.02/1476.48	c 1476s |      18 |   413803 |   334652 |    23131     22 |       43 |        1
1478.13/1478.52	c 1478s |      18 |   414257 |   335052 |    23131     22 |       43 |        1
1480.12/1480.57	c 1480s |      18 |   414715 |   335452 |    23131     22 |       43 |        1
1482.53/1482.95	c 1482s |      18 |   415391 |   335952 |    23131     22 |       43 |        1
1484.63/1485.03	c 1484s |      18 |   415918 |   336352 |    23131     22 |       43 |        1
1486.72/1487.10	c 1486s |      18 |   416370 |   336752 |    23131     22 |       43 |        1
1488.82/1489.25	c 1488s |      18 |   416805 |   337152 |    23131     22 |       43 |        1
1490.92/1491.36	c 1491s |      18 |   417256 |   337552 |    23131     22 |       43 |        1
1493.22/1493.68	c 1493s |      18 |   417699 |   337952 |    23131     22 |       43 |        1
1495.82/1496.21	c 1495s |      18 |   418267 |   338452 |    23131     22 |       43 |        1
1498.02/1498.43	c 1498s |      18 |   418713 |   338852 |    23131     22 |       43 |        1
1500.12/1500.57	c 1500s |      18 |   419148 |   339252 |    23131     22 |       43 |        1
1502.42/1502.87	c 1502s |      18 |   419573 |   339652 |    23131     22 |       43 |        1
1504.72/1505.12	c 1504s |      18 |   420014 |   340052 |    23131     22 |       43 |        1
1507.02/1507.49	c 1507s |      18 |   420457 |   340452 |    23131     22 |       43 |        1
1509.31/1509.78	c 1509s |      18 |   420906 |   340852 |    23131     22 |       43 |        1
1511.61/1512.08	c 1511s |      18 |   421373 |   341252 |    23131     22 |       43 |        1
1513.71/1514.11	c 1513s |      18 |   421824 |   341652 |    23131     22 |       43 |        1
1515.91/1516.37	c 1516s |      18 |   422303 |   342052 |    23131     22 |       43 |        1
1518.11/1518.52	c 1518s |      18 |   422766 |   342452 |    23131     22 |       43 |        1
1520.41/1520.83	c 1520s |      18 |   423218 |   342852 |    23131     22 |       43 |        1
1522.51/1522.97	c 1522s |      18 |   423661 |   343252 |    23131     22 |       43 |        1
1524.81/1525.23	c 1524s |      18 |   424140 |   343652 |    23131     22 |       43 |        1
1527.42/1527.86	c 1527s |      18 |   424355 |   343852 |    23131     23 |       43 |        1
1529.72/1530.16	c 1529s |      18 |   424914 |   344352 |    23131     23 |       43 |        1
1532.31/1532.73	c 1532s |      18 |   425492 |   344852 |    23131     23 |       43 |        1
1534.52/1534.98	c 1534s |      18 |   425905 |   345252 |    23131     23 |       43 |        1
1536.62/1537.01	c 1536s |      18 |   426357 |   345652 |    23131     23 |       43 |        1
1538.72/1539.13	c 1538s |      18 |   426832 |   346052 |    23131     23 |       43 |        1
1541.01/1541.44	c 1541s |      18 |   427409 |   346552 |    23131     23 |       43 |        1
1543.02/1543.48	c 1543s |      18 |   427889 |   346952 |    23131     23 |       43 |        1
1545.51/1545.93	c 1545s |      18 |   428445 |   347452 |    23131     23 |       43 |        1
1547.71/1548.10	c 1547s |      18 |   428911 |   347852 |    23131     23 |       43 |        1
1549.71/1550.15	c 1549s |      18 |   429224 |   348152 |    23131     23 |       43 |        1
1552.01/1552.41	c 1552s |      18 |   429873 |   348652 |    23131     23 |       43 |        1
1554.01/1554.46	c 1554s |      18 |   430467 |   349152 |    23131     23 |       43 |        1
1556.11/1556.60	c 1556s |      18 |   431043 |   349652 |    23131     23 |       43 |        1
1558.51/1558.95	c 1558s |      18 |   431603 |   350152 |    23131     23 |       43 |        1
1560.70/1561.10	c 1560s |      18 |   432222 |   350652 |    23131     23 |       43 |        1
1562.81/1563.29	c 1563s |      18 |   432842 |   351152 |    23131     23 |       43 |        1
1565.10/1565.54	c 1565s |      18 |   433419 |   351652 |    23131     23 |       43 |        1
1567.40/1567.86	c 1567s |      18 |   433965 |   352152 |    23131     23 |       43 |        1
1569.70/1570.19	c 1569s |      18 |   434556 |   352652 |    23131     23 |       43 |        1
1572.11/1572.51	c 1572s |      18 |   435135 |   353152 |    23131     23 |       43 |        1
1574.50/1574.94	c 1574s |      18 |   435708 |   353652 |    23131     23 |       43 |        1
1576.80/1577.21	c 1576s |      18 |   436153 |   354052 |    23131     23 |       43 |        1
1579.21/1579.66	c 1579s |      18 |   436723 |   354552 |    23131     23 |       43 |        1
1581.70/1582.10	c 1581s |      18 |   437297 |   355052 |    23131     23 |       43 |        1
1584.00/1584.43	c 1584s |      18 |   437880 |   355552 |    23131     23 |       43 |        1
1586.40/1586.89	c 1586s |      18 |   438479 |   356052 |    23131     23 |       43 |        1
1588.70/1589.10	c 1588s |      18 |   438943 |   356452 |    23131     23 |       43 |        1
1590.80/1591.22	c 1590s |      18 |   439405 |   356852 |    23131     23 |       43 |        1
1593.10/1593.50	c 1593s |      18 |   439848 |   357252 |    23131     23 |       43 |        1
1595.50/1595.90	c 1595s |      18 |   440280 |   357652 |    23131     23 |       43 |        1
1597.60/1598.09	c 1597s |      18 |   440735 |   358052 |    23131     23 |       43 |        1
1599.79/1600.24	c 1599s |      18 |   441171 |   358452 |    23131     23 |       43 |        1
1601.79/1602.28	c 1602s |      18 |   441616 |   358852 |    23131     23 |       43 |        1
1603.99/1604.47	c 1604s |      18 |   442053 |   359252 |    23131     23 |       43 |        1
1606.20/1606.66	c 1606s |      18 |   442479 |   359652 |    23131     23 |       43 |        1
1608.50/1608.94	c 1608s |      18 |   442906 |   360052 |    23131     23 |       43 |        1
1610.70/1611.17	c 1610s |      18 |   443331 |   360452 |    23131     23 |       43 |        1
1614.60/1615.02	c 1614s |      18 |   443806 |   360852 |    23131     24 |       43 |        1
1616.79/1617.29	c 1617s |      18 |   444410 |   361352 |    23131     24 |       43 |        1
1619.20/1619.61	c 1619s |      18 |   444748 |   361652 |    23131     24 |       43 |        1
1621.39/1621.89	c 1621s |      18 |   445292 |   362152 |    23131     24 |       43 |        1
1623.79/1624.23	c 1623s |      18 |   445734 |   362552 |    23131     24 |       43 |        1
1625.89/1626.32	c 1626s |      18 |   446187 |   362952 |    23131     24 |       43 |        1
1628.19/1628.60	c 1628s |      18 |   446808 |   363452 |    23131     24 |       43 |        1
1630.19/1630.68	c 1630s |      18 |   447257 |   363852 |    23131     24 |       43 |        1
1632.69/1633.13	c 1632s |      18 |   447810 |   364352 |    23131     24 |       43 |        1
1635.09/1635.52	c 1635s |      18 |   448345 |   364852 |    23131     24 |       43 |        1
1637.09/1637.56	c 1637s |      18 |   448777 |   365252 |    23131     24 |       43 |        1
1639.49/1639.99	c 1639s |      18 |   449372 |   365752 |    23131     24 |       43 |        1
1641.78/1642.24	c 1641s |      18 |   449799 |   366152 |    23131     24 |       43 |        1
1643.99/1644.47	c 1644s |      18 |   450270 |   366552 |    23131     24 |       43 |        1
1646.09/1646.50	c 1646s |      18 |   450715 |   366952 |    23131     24 |       43 |        1
1648.09/1648.53	c 1648s |      18 |   451147 |   367352 |    23131     24 |       43 |        1
1650.09/1650.55	c 1650s |      18 |   451562 |   367752 |    23131     24 |       43 |        1
1652.09/1652.59	c 1652s |      18 |   452017 |   368152 |    23131     24 |       43 |        1
1654.29/1654.75	c 1654s |      18 |   452451 |   368552 |    23131     24 |       43 |        1
1656.39/1656.87	c 1656s |      18 |   452893 |   368952 |    23131     24 |       43 |        1
1658.69/1659.13	c 1658s |      18 |   453328 |   369352 |    23131     24 |       43 |        1
1660.89/1661.37	c 1661s |      18 |   453799 |   369752 |    23131     24 |       43 |        1
1663.38/1663.81	c 1663s |      18 |   454262 |   370152 |    23131     24 |       43 |        1
1665.48/1665.92	c 1665s |      18 |   454768 |   370552 |    23131     24 |       43 |        1
1667.58/1668.07	c 1667s |      18 |   455228 |   370952 |    23131     24 |       43 |        1
1669.88/1670.34	c 1670s |      18 |   455654 |   371352 |    23131     24 |       43 |        1
1672.18/1672.66	c 1672s |      18 |   456109 |   371752 |    23131     24 |       43 |        1
1674.28/1674.76	c 1674s |      18 |   456551 |   372152 |    23131     24 |       43 |        1
1676.67/1677.13	c 1676s |      18 |   457124 |   372652 |    23131     24 |       43 |        1
1678.98/1679.44	c 1679s |      18 |   457686 |   373152 |    23131     24 |       43 |        1
1681.28/1681.75	c 1681s |      18 |   458234 |   373652 |    23131     24 |       43 |        1
1683.37/1683.89	c 1683s |      18 |   458826 |   374152 |    23131     24 |       43 |        1
1685.78/1686.29	c 1686s |      18 |   459420 |   374652 |    23131     24 |       43 |        1
1688.08/1688.54	c 1688s |      18 |   459841 |   375052 |    23131     24 |       43 |        1
1690.57/1691.04	c 1690s |      18 |   460282 |   375452 |    23131     24 |       43 |        1
1692.67/1693.11	c 1692s |      18 |   460729 |   375852 |    23131     24 |       43 |        1
1694.78/1695.29	c 1695s |      18 |   461172 |   376252 |    23131     24 |       43 |        1
1696.98/1697.48	c 1697s |      18 |   461598 |   376652 |    23131     24 |       43 |        1
1699.17/1699.66	c 1699s |      18 |   462048 |   377052 |    23131     24 |       43 |        1
1701.57/1702.01	c 1701s |      18 |   462493 |   377452 |    23131     24 |       43 |        1
1703.67/1704.14	c 1703s |      18 |   462953 |   377852 |    23131     24 |       43 |        1
1705.68/1706.15	c 1705s |      18 |   463065 |   377952 |    23131     25 |       43 |        1
1707.87/1708.32	c 1708s |      18 |   463659 |   378452 |    23131     25 |       43 |        1
1709.97/1710.46	c 1710s |      18 |   463892 |   378652 |    23131     25 |       43 |        1
1712.07/1712.54	c 1712s |      18 |   464352 |   379052 |    23131     25 |       43 |        1
1714.17/1714.65	c 1714s |      18 |   464892 |   379552 |    23131     25 |       43 |        1
1716.57/1717.00	c 1716s |      18 |   465467 |   380052 |    23131     25 |       43 |        1
1718.76/1719.23	c 1718s |      18 |   466015 |   380552 |    23131     25 |       43 |        1
1720.86/1721.38	c 1721s |      18 |   466573 |   381052 |    23131     25 |       43 |        1
1723.16/1723.62	c 1723s |      18 |   467159 |   381552 |    23131     25 |       43 |        1
1725.57/1726.04	c 1725s |      18 |   467775 |   382052 |    23131     25 |       43 |        1
1727.77/1728.28	c 1728s |      18 |   468364 |   382552 |    23131     25 |       43 |        1
1730.26/1730.71	c 1730s |      18 |   469017 |   383052 |    23131     25 |       43 |        1
1732.36/1732.81	c 1732s |      18 |   469460 |   383452 |    23131     25 |       43 |        1
1734.37/1734.86	c 1734s |      18 |   469915 |   383852 |    23131     25 |       43 |        1
1736.76/1737.29	c 1737s |      18 |   470471 |   384352 |    23131     25 |       43 |        1
1738.97/1739.44	c 1739s |      18 |   470906 |   384752 |    23131     25 |       43 |        1
1741.07/1741.56	c 1741s |      18 |   471407 |   385152 |    23131     25 |       43 |        1
1743.36/1743.87	c 1743s |      18 |   471828 |   385452 |    23131     25 |       43 |        1
1745.67/1746.14	c 1745s |      18 |   472402 |   385952 |    23131     25 |       43 |        1
1748.06/1748.57	c 1748s |      18 |   472988 |   386452 |    23131     25 |       43 |        1
1750.46/1750.95	c 1750s |      18 |   473572 |   386952 |    23131     25 |       43 |        1
1752.56/1753.06	c 1752s |      18 |   474047 |   387352 |    23131     25 |       43 |        1
1755.06/1755.52	c 1755s |      18 |   474656 |   387852 |    23131     25 |       43 |        1
1757.06/1757.57	c 1757s |      18 |   475127 |   388252 |    23131     25 |       43 |        1
1759.16/1759.62	c 1759s |      18 |   475583 |   388652 |    23131     25 |       43 |        1
1761.46/1761.96	c 1761s |      18 |   476081 |   389052 |    23131     25 |       43 |        1
1763.86/1764.40	c 1764s |      18 |   476663 |   389552 |    23131     25 |       43 |        1
1765.96/1766.41	c 1766s |      18 |   477142 |   389952 |    23131     25 |       43 |        1
1768.36/1768.85	c 1768s |      18 |   477733 |   390452 |    23131     25 |       43 |        1
1770.76/1771.26	c 1771s |      18 |   478302 |   390952 |    23131     25 |       43 |        1
1772.86/1773.35	c 1773s |      18 |   478763 |   391352 |    23131     25 |       43 |        1
1774.96/1775.43	c 1775s |      18 |   479367 |   391852 |    23131     25 |       43 |        1
1776.96/1777.45	c 1777s |      18 |   480003 |   392352 |    23131     25 |       43 |        1
1779.05/1779.52	c 1779s |      18 |   480604 |   392852 |    23131     25 |       43 |        1
1781.25/1781.79	c 1781s |      18 |   481215 |   393352 |    23131     25 |       43 |        1
1783.65/1784.18	c 1783s |      18 |   481850 |   393852 |    23131     25 |       43 |        1
1785.85/1786.35	c 1786s |      18 |   482386 |   394252 |    23131     25 |       43 |        1
1788.46/1788.94	c 1788s |      18 |   483051 |   394752 |    23131     25 |       43 |        1
1790.76/1791.22	c 1790s |      18 |   483312 |   394952 |    23131     26 |       43 |        1
1792.96/1793.49	c 1793s |      18 |   483869 |   395452 |    23131     26 |       43 |        1
1795.25/1795.77	c 1795s |      18 |   484520 |   395952 |    23131     26 |       43 |        1
1797.45/1797.92	c 1797s |      18 |   485184 |   396452 |    23131     26 |       43 |        1
1799.45/1799.99	c 1799s |      18 |   485707 |   396852 |    23131     26 |       43 |        1

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

pid=11379
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.22 2.23 2.18 4/179 11382
/proc/meminfo: memFree=28423668/32872528 swapFree=1589492/1720308
[pid=11382] ppid=11379 vsize=728644 CPUtime=0 cores=1,3,5,7
/proc/11382/stat : 11382 (toysat) R 11379 11382 10362 0 -1 4202496 2721 0 0 0 0 0 0 0 20 0 4 0 8908062 746131456 3592 33554432000 4194304 16246674 140734830727152 140734830726576 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11382/statm: 182929 3603 442 2943 0 179823 0
[pid=11382/tid=11383] ppid=11379 vsize=749124 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11383/stat : 11383 (toysat) S 11379 11382 10362 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8908062 767102976 3671 33554432000 4194304 16246674 140734830727152 140320836660464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11382/tid=11384] ppid=11379 vsize=754244 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11384/stat : 11384 (toysat) S 11379 11382 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908062 772345856 3689 33554432000 4194304 16246674 140734830727152 140320826170608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11382/tid=11385] ppid=11379 vsize=758340 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11385/stat : 11385 (toysat) S 11379 11382 10362 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8908062 776540160 3706 33554432000 4194304 16246674 140734830727152 140320742304944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100213 s]
/proc/loadavg: 2.22 2.23 2.18 4/179 11382
/proc/meminfo: memFree=28423668/32872528 swapFree=1589492/1720308
[pid=11382] ppid=11379 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/11382/stat : 11382 (toysat) R 11379 11382 10362 0 -1 4202496 29237 0 0 0 5 4 0 0 20 0 4 0 8908062 1333334016 30046 33554432000 4194304 16246674 140734830727152 140734830709056 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11382/statm: 325521 30063 801 2943 0 322415 0
[pid=11382/tid=11383] ppid=11379 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11383/stat : 11383 (toysat) S 11379 11382 10362 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8908062 1333334016 30073 33554432000 4194304 16246674 140734830727152 140320836660464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11382/tid=11384] ppid=11379 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11384/stat : 11384 (toysat) S 11379 11382 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908062 1333334016 30085 33554432000 4194304 16246674 140734830727152 140320826170608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11382/tid=11385] ppid=11379 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11385/stat : 11385 (toysat) S 11379 11382 10362 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8908062 1333334016 30096 33554432000 4194304 16246674 140734830727152 140320742304944 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) 1302084

[startup+0.200518 s]
/proc/loadavg: 2.22 2.23 2.18 4/179 11382
/proc/meminfo: memFree=28423668/32872528 swapFree=1589492/1720308
[pid=11382] ppid=11379 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/11382/stat : 11382 (toysat) R 11379 11382 10362 0 -1 4202496 47376 0 0 0 13 6 0 0 20 0 4 0 8908062 1345916928 48185 33554432000 4194304 16246674 140734830727152 140734830726464 13950691 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11382/statm: 328593 48185 834 2943 0 325487 0
[pid=11382/tid=11383] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11383/stat : 11383 (toysat) S 11379 11382 10362 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 48185 33554432000 4194304 16246674 140734830727152 140320836660464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11382/tid=11384] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11384/stat : 11384 (toysat) S 11379 11382 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 48185 33554432000 4194304 16246674 140734830727152 140320826170608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11382/tid=11385] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11385/stat : 11385 (toysat) S 11379 11382 10362 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 48185 33554432000 4194304 16246674 140734830727152 140320742304944 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) 1314372

[startup+0.300504 s]
/proc/loadavg: 2.22 2.23 2.18 4/179 11382
/proc/meminfo: memFree=28423668/32872528 swapFree=1589492/1720308
[pid=11382] ppid=11379 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/11382/stat : 11382 (toysat) R 11379 11382 10362 0 -1 4202496 52169 0 0 0 23 6 0 0 20 0 4 0 8908062 1345916928 52978 33554432000 4194304 16246674 140734830727152 140734830726464 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11382/statm: 328593 52984 892 2943 0 325487 0
[pid=11382/tid=11383] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11383/stat : 11383 (toysat) S 11379 11382 10362 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 52990 33554432000 4194304 16246674 140734830727152 140320836660464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11382/tid=11384] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11384/stat : 11384 (toysat) S 11379 11382 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 53000 33554432000 4194304 16246674 140734830727152 140320826170608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11382/tid=11385] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11385/stat : 11385 (toysat) S 11379 11382 10362 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 53006 33554432000 4194304 16246674 140734830727152 140320742304944 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) 1314372

[startup+0.700393 s]
/proc/loadavg: 2.22 2.23 2.18 4/179 11382
/proc/meminfo: memFree=28423668/32872528 swapFree=1589492/1720308
[pid=11382] ppid=11379 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/11382/stat : 11382 (toysat) R 11379 11382 10362 0 -1 4202496 87391 0 0 0 58 11 0 0 20 0 4 0 8908062 1345916928 88200 33554432000 4194304 16246674 140734830727152 140734830726464 5600539 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11382/statm: 328593 88206 892 2943 0 325487 0
[pid=11382/tid=11383] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11383/stat : 11383 (toysat) S 11379 11382 10362 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 88210 33554432000 4194304 16246674 140734830727152 140320836660464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11382/tid=11384] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11384/stat : 11384 (toysat) S 11379 11382 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 88220 33554432000 4194304 16246674 140734830727152 140320826170608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11382/tid=11385] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11385/stat : 11385 (toysat) S 11379 11382 10362 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 88225 33554432000 4194304 16246674 140734830727152 140320742304944 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) 1314372

[startup+1.50041 s]
/proc/loadavg: 2.22 2.23 2.18 4/183 11386
/proc/meminfo: memFree=27359448/32872528 swapFree=1589492/1720308
[pid=11382] ppid=11379 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/11382/stat : 11382 (toysat) R 11379 11382 10362 0 -1 4202496 101137 0 0 0 136 13 0 0 20 0 4 0 8908062 1345916928 101946 33554432000 4194304 16246674 140734830727152 140734830709056 5711624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11382/statm: 328593 101946 899 2943 0 325487 0
[pid=11382/tid=11383] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11383/stat : 11383 (toysat) S 11379 11382 10362 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 101946 33554432000 4194304 16246674 140734830727152 140320836660464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11382/tid=11384] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11384/stat : 11384 (toysat) S 11379 11382 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 101946 33554432000 4194304 16246674 140734830727152 140320826170608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11382/tid=11385] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11385/stat : 11385 (toysat) S 11379 11382 10362 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 101946 33554432000 4194304 16246674 140734830727152 140320742304944 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) 1314372

[startup+3.10042 s]
/proc/loadavg: 2.28 2.24 2.19 4/183 11386
/proc/meminfo: memFree=26987076/32872528 swapFree=1589492/1720308
[pid=11382] ppid=11379 vsize=1314372 CPUtime=3.09 cores=1,3,5,7
/proc/11382/stat : 11382 (toysat) R 11379 11382 10362 0 -1 4202496 101137 0 0 0 296 13 0 0 20 0 4 0 8908062 1345916928 101946 33554432000 4194304 16246674 140734830727152 140734830709056 5711624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11382/statm: 328593 101946 899 2943 0 325487 0
[pid=11382/tid=11383] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11383/stat : 11383 (toysat) S 11379 11382 10362 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 101946 33554432000 4194304 16246674 140734830727152 140320836660464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11382/tid=11384] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11384/stat : 11384 (toysat) S 11379 11382 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 101946 33554432000 4194304 16246674 140734830727152 140320826170608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11382/tid=11385] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11385/stat : 11385 (toysat) S 11379 11382 10362 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 101946 33554432000 4194304 16246674 140734830727152 140320742304944 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) 1314372

[startup+6.30041 s]
/proc/loadavg: 2.28 2.24 2.19 3/183 11386
/proc/meminfo: memFree=26732328/32872528 swapFree=1589492/1720308
[pid=11382] ppid=11379 vsize=1314372 CPUtime=6.29 cores=1,3,5,7
/proc/11382/stat : 11382 (toysat) R 11379 11382 10362 0 -1 4202496 255283 0 0 0 594 35 0 0 20 0 4 0 8908062 1345916928 256092 33554432000 4194304 16246674 140734830727152 140734830709056 5711820 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11382/statm: 328593 256093 899 2943 0 325487 0
[pid=11382/tid=11383] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11383/stat : 11383 (toysat) S 11379 11382 10362 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 256094 33554432000 4194304 16246674 140734830727152 140320836660464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11382/tid=11384] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11384/stat : 11384 (toysat) S 11379 11382 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 256095 33554432000 4194304 16246674 140734830727152 140320826170608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11382/tid=11385] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11385/stat : 11385 (toysat) S 11379 11382 10362 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 256096 33554432000 4194304 16246674 140734830727152 140320742304944 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) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.26 2.24 2.18 4/183 11386
/proc/meminfo: memFree=26302836/32872528 swapFree=1589492/1720308
[pid=11382] ppid=11379 vsize=1314372 CPUtime=12.69 cores=1,3,5,7
/proc/11382/stat : 11382 (toysat) R 11379 11382 10362 0 -1 4202496 269791 0 0 0 1232 37 0 0 20 0 4 0 8908062 1345916928 270600 33554432000 4194304 16246674 140734830727152 140734830709056 5515744 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11382/statm: 328593 270600 899 2943 0 325487 0
[pid=11382/tid=11383] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11383/stat : 11383 (toysat) S 11379 11382 10362 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 270600 33554432000 4194304 16246674 140734830727152 140320836660464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11382/tid=11384] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11384/stat : 11384 (toysat) S 11379 11382 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 270600 33554432000 4194304 16246674 140734830727152 140320826170608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11382/tid=11385] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11385/stat : 11385 (toysat) S 11379 11382 10362 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 270600 33554432000 4194304 16246674 140734830727152 140320742304944 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) 1314372

[startup+25.5005 s]
/proc/loadavg: 2.27 2.24 2.19 3/183 11386
/proc/meminfo: memFree=26303524/32872528 swapFree=1589492/1720308
[pid=11382] ppid=11379 vsize=1314372 CPUtime=25.48 cores=1,3,5,7
/proc/11382/stat : 11382 (toysat) R 11379 11382 10362 0 -1 4202496 269792 0 0 0 2511 37 0 0 20 0 4 0 8908062 1345916928 270601 33554432000 4194304 16246674 140734830727152 140734830726328 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11382/statm: 328593 270601 900 2943 0 325487 0
[pid=11382/tid=11383] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11383/stat : 11383 (toysat) S 11379 11382 10362 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 270601 33554432000 4194304 16246674 140734830727152 140320836660464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11382/tid=11384] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11384/stat : 11384 (toysat) S 11379 11382 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 270601 33554432000 4194304 16246674 140734830727152 140320826170608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11382/tid=11385] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11385/stat : 11385 (toysat) S 11379 11382 10362 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 270601 33554432000 4194304 16246674 140734830727152 140320742304944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1314372

[startup+51.1005 s]
/proc/loadavg: 2.18 2.22 2.18 3/183 11386
/proc/meminfo: memFree=26272136/32872528 swapFree=1589492/1720308
[pid=11382] ppid=11379 vsize=1314372 CPUtime=51.08 cores=1,3,5,7
/proc/11382/stat : 11382 (toysat) R 11379 11382 10362 0 -1 4202496 269795 0 0 0 5071 37 0 0 20 0 4 0 8908062 1345916928 270604 33554432000 4194304 16246674 140734830727152 140734830709056 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11382/statm: 328593 270604 903 2943 0 325487 0
[pid=11382/tid=11383] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11383/stat : 11383 (toysat) S 11379 11382 10362 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 270604 33554432000 4194304 16246674 140734830727152 140320836660464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11382/tid=11384] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11384/stat : 11384 (toysat) S 11379 11382 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 270604 33554432000 4194304 16246674 140734830727152 140320826170608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11382/tid=11385] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11385/stat : 11385 (toysat) S 11379 11382 10362 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 270604 33554432000 4194304 16246674 140734830727152 140320742304944 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) 1314372

[startup+102.301 s]
/proc/loadavg: 2.29 2.24 2.19 4/183 11387
/proc/meminfo: memFree=26271692/32872528 swapFree=1589492/1720308
[pid=11382] ppid=11379 vsize=1314372 CPUtime=102.28 cores=1,3,5,7
/proc/11382/stat : 11382 (toysat) R 11379 11382 10362 0 -1 4202496 269795 0 0 0 10191 37 0 0 20 0 4 0 8908062 1345916928 270604 33554432000 4194304 16246674 140734830727152 140734830709056 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11382/statm: 328593 270604 903 2943 0 325487 0
[pid=11382/tid=11383] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11383/stat : 11383 (toysat) S 11379 11382 10362 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 270604 33554432000 4194304 16246674 140734830727152 140320836660464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11382/tid=11384] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11384/stat : 11384 (toysat) S 11379 11382 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 270604 33554432000 4194304 16246674 140734830727152 140320826170608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11382/tid=11385] ppid=11379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11385/stat : 11385 (toysat) S 11379 11382 10362 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8908062 1345916928 270604 33554432000 4194304 16246674 140734830727152 140320742304944 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) 1314372


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

/proc/11382/task/11385/stat : 11385 (toysat) S 11379 11382 10362 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8908062 1843990528 392209 33554432000 4194304 16246674 140734830727152 140320742304944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1800772

[startup+1362.3 s]
/proc/loadavg: 2.29 2.26 2.19 4/184 11422
/proc/meminfo: memFree=25669696/32872528 swapFree=1589492/1720308
[pid=11382] ppid=11379 vsize=1887812 CPUtime=1361.95 cores=1,3,5,7
/proc/11382/stat : 11382 (toysat) R 11379 11382 10362 0 -1 4202496 413254 0 0 0 136105 90 0 0 20 0 4 0 8908062 1933119488 413779 33554432000 4194304 16246674 140734830727152 140734830709056 5711369 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11382/statm: 471953 413779 905 2943 0 468847 0
[pid=11382/tid=11383] ppid=11379 vsize=1887812 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11383/stat : 11383 (toysat) S 11379 11382 10362 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8908062 1933119488 413779 33554432000 4194304 16246674 140734830727152 140320836660464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11382/tid=11384] ppid=11379 vsize=1887812 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11384/stat : 11384 (toysat) S 11379 11382 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908062 1933119488 413779 33554432000 4194304 16246674 140734830727152 140320826170608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11382/tid=11385] ppid=11379 vsize=1887812 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11385/stat : 11385 (toysat) S 11379 11382 10362 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8908062 1933119488 413779 33554432000 4194304 16246674 140734830727152 140320742304944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1887812

[startup+1422.3 s]
/proc/loadavg: 2.27 2.26 2.19 3/184 11446
/proc/meminfo: memFree=25669892/32872528 swapFree=1589492/1720308
[pid=11382] ppid=11379 vsize=1887812 CPUtime=1421.93 cores=1,3,5,7
/proc/11382/stat : 11382 (toysat) R 11379 11382 10362 0 -1 4202496 413273 0 0 0 142102 91 0 0 20 0 4 0 8908062 1933119488 413779 33554432000 4194304 16246674 140734830727152 140734830710144 6021565 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11382/statm: 471953 413779 905 2943 0 468847 0
[pid=11382/tid=11383] ppid=11379 vsize=1887812 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11383/stat : 11383 (toysat) S 11379 11382 10362 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8908062 1933119488 413779 33554432000 4194304 16246674 140734830727152 140320836660464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11382/tid=11384] ppid=11379 vsize=1887812 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11384/stat : 11384 (toysat) S 11379 11382 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908062 1933119488 413779 33554432000 4194304 16246674 140734830727152 140320826170608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11382/tid=11385] ppid=11379 vsize=1887812 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11385/stat : 11385 (toysat) S 11379 11382 10362 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8908062 1933119488 413779 33554432000 4194304 16246674 140734830727152 140320742304944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1887812

[startup+1482.3 s]
/proc/loadavg: 2.15 2.22 2.18 4/183 11448
/proc/meminfo: memFree=25486648/32872528 swapFree=1589492/1720308
[pid=11382] ppid=11379 vsize=2070084 CPUtime=1481.92 cores=1,3,5,7
/proc/11382/stat : 11382 (toysat) R 11379 11382 10362 0 -1 4202496 459011 0 0 0 148090 102 0 0 20 0 4 0 8908062 2119766016 459514 33554432000 4194304 16246674 140734830727152 140734830709056 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11382/statm: 517521 459514 905 2943 0 514415 0
[pid=11382/tid=11383] ppid=11379 vsize=2070084 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11383/stat : 11383 (toysat) S 11379 11382 10362 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8908062 2119766016 459514 33554432000 4194304 16246674 140734830727152 140320836660464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11382/tid=11384] ppid=11379 vsize=2070084 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11384/stat : 11384 (toysat) S 11379 11382 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908062 2119766016 459514 33554432000 4194304 16246674 140734830727152 140320826170608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11382/tid=11385] ppid=11379 vsize=2070084 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11385/stat : 11385 (toysat) S 11379 11382 10362 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8908062 2119766016 459514 33554432000 4194304 16246674 140734830727152 140320742304944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 2070084

[startup+1542.31 s]
/proc/loadavg: 2.20 2.24 2.18 4/183 11449
/proc/meminfo: memFree=25486800/32872528 swapFree=1589492/1720308
[pid=11382] ppid=11379 vsize=2070084 CPUtime=1541.92 cores=1,3,5,7
/proc/11382/stat : 11382 (toysat) R 11379 11382 10362 0 -1 4202496 459039 0 0 0 154088 104 0 0 20 0 4 0 8908062 2119766016 459537 33554432000 4194304 16246674 140734830727152 140734830726328 5711688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11382/statm: 517521 459537 905 2943 0 514415 0
[pid=11382/tid=11383] ppid=11379 vsize=2070084 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11383/stat : 11383 (toysat) S 11379 11382 10362 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8908062 2119766016 459537 33554432000 4194304 16246674 140734830727152 140320836660464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11382/tid=11384] ppid=11379 vsize=2070084 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11384/stat : 11384 (toysat) S 11379 11382 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908062 2119766016 459537 33554432000 4194304 16246674 140734830727152 140320826170608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11382/tid=11385] ppid=11379 vsize=2070084 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11385/stat : 11385 (toysat) S 11379 11382 10362 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8908062 2119766016 459537 33554432000 4194304 16246674 140734830727152 140320742304944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 2070084

[startup+1602.3 s]
/proc/loadavg: 2.17 2.22 2.18 3/183 11450
/proc/meminfo: memFree=25394712/32872528 swapFree=1589492/1720308
[pid=11382] ppid=11379 vsize=2118212 CPUtime=1601.89 cores=1,3,5,7
/proc/11382/stat : 11382 (toysat) R 11379 11382 10362 0 -1 4202496 470995 0 0 0 160080 109 0 0 20 0 4 0 8908062 2169049088 471489 33554432000 4194304 16246674 140734830727152 140734830709056 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11382/statm: 529553 471489 905 2943 0 526447 0
[pid=11382/tid=11383] ppid=11379 vsize=2118212 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11383/stat : 11383 (toysat) S 11379 11382 10362 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8908062 2169049088 471489 33554432000 4194304 16246674 140734830727152 140320836660464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11382/tid=11384] ppid=11379 vsize=2118212 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11384/stat : 11384 (toysat) S 11379 11382 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908062 2169049088 471489 33554432000 4194304 16246674 140734830727152 140320826170608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11382/tid=11385] ppid=11379 vsize=2118212 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11385/stat : 11385 (toysat) S 11379 11382 10362 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8908062 2169049088 471489 33554432000 4194304 16246674 140734830727152 140320742304944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 2118212

[startup+1662.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/183 11451
/proc/meminfo: memFree=25334820/32872528 swapFree=1589492/1720308
[pid=11382] ppid=11379 vsize=2177604 CPUtime=1661.88 cores=1,3,5,7
/proc/11382/stat : 11382 (toysat) R 11379 11382 10362 0 -1 4202496 485829 0 0 0 166074 114 0 0 20 0 4 0 8908062 2229866496 486305 33554432000 4194304 16246674 140734830727152 140734830709056 5523040 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11382/statm: 544401 486305 905 2943 0 541295 0
[pid=11382/tid=11383] ppid=11379 vsize=2177604 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11383/stat : 11383 (toysat) S 11379 11382 10362 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8908062 2229866496 486305 33554432000 4194304 16246674 140734830727152 140320836660464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11382/tid=11384] ppid=11379 vsize=2177604 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11384/stat : 11384 (toysat) S 11379 11382 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908062 2229866496 486305 33554432000 4194304 16246674 140734830727152 140320826170608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11382/tid=11385] ppid=11379 vsize=2177604 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11385/stat : 11385 (toysat) S 11379 11382 10362 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8908062 2229866496 486305 33554432000 4194304 16246674 140734830727152 140320742304944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 2177604

[startup+1722.3 s]
/proc/loadavg: 2.15 2.21 2.18 4/183 11452
/proc/meminfo: memFree=25195004/32872528 swapFree=1589496/1720312
[pid=11382] ppid=11379 vsize=2316868 CPUtime=1721.86 cores=1,3,5,7
/proc/11382/stat : 11382 (toysat) R 11379 11382 10362 0 -1 4202496 520723 0 0 0 172063 123 0 0 20 0 4 0 8908062 2372472832 521179 33554432000 4194304 16246674 140734830727152 140734830709056 5712628 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11382/statm: 579217 521179 905 2943 0 576111 0
[pid=11382/tid=11383] ppid=11379 vsize=2316868 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11383/stat : 11383 (toysat) S 11379 11382 10362 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8908062 2372472832 521179 33554432000 4194304 16246674 140734830727152 140320836660464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11382/tid=11384] ppid=11379 vsize=2316868 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11384/stat : 11384 (toysat) S 11379 11382 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908062 2372472832 521179 33554432000 4194304 16246674 140734830727152 140320826170608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11382/tid=11385] ppid=11379 vsize=2316868 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11385/stat : 11385 (toysat) S 11379 11382 10362 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8908062 2372472832 521179 33554432000 4194304 16246674 140734830727152 140320742304944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 2316868

[startup+1782.3 s]
/proc/loadavg: 2.27 2.23 2.18 3/183 11454
/proc/meminfo: memFree=25193896/32872528 swapFree=1589492/1720308
[pid=11382] ppid=11379 vsize=2316868 CPUtime=1781.85 cores=1,3,5,7
/proc/11382/stat : 11382 (toysat) R 11379 11382 10362 0 -1 4202496 520778 0 0 0 178059 126 0 0 20 0 4 0 8908062 2372472832 521233 33554432000 4194304 16246674 140734830727152 140734830709056 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11382/statm: 579217 521233 905 2943 0 576111 0
[pid=11382/tid=11383] ppid=11379 vsize=2316868 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11383/stat : 11383 (toysat) S 11379 11382 10362 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8908062 2372472832 521233 33554432000 4194304 16246674 140734830727152 140320836660464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11382/tid=11384] ppid=11379 vsize=2316868 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11384/stat : 11384 (toysat) S 11379 11382 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908062 2372472832 521233 33554432000 4194304 16246674 140734830727152 140320826170608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11382/tid=11385] ppid=11379 vsize=2316868 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11385/stat : 11385 (toysat) S 11379 11382 10362 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8908062 2372472832 521233 33554432000 4194304 16246674 140734830727152 140320742304944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 2316868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 11454
/proc/meminfo: memFree=25194376/32872528 swapFree=1589492/1720308
[pid=11382] ppid=11379 vsize=2316868 CPUtime=1800.05 cores=1,3,5,7
/proc/11382/stat : 11382 (toysat) R 11379 11382 10362 0 -1 4202496 520778 0 0 0 179875 130 0 0 20 0 4 0 8908062 2372472832 521233 33554432000 4194304 16246674 140734830727152 140734830726248 13781195 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11382/statm: 579217 521233 905 2943 0 576111 0
[pid=11382/tid=11383] ppid=11379 vsize=2316868 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11383/stat : 11383 (toysat) S 11379 11382 10362 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8908062 2372472832 521233 33554432000 4194304 16246674 140734830727152 140320836660464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11382/tid=11384] ppid=11379 vsize=2316868 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11384/stat : 11384 (toysat) S 11379 11382 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908062 2372472832 521233 33554432000 4194304 16246674 140734830727152 140320826170608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11382/tid=11385] ppid=11379 vsize=2316868 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11385/stat : 11385 (toysat) S 11379 11382 10362 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8908062 2372472832 521233 33554432000 4194304 16246674 140734830727152 140320742304944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2316868

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

[startup+1800.5 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 11454
/proc/meminfo: memFree=25194376/32872528 swapFree=1589492/1720308
[pid=11382] ppid=11379 vsize=2316868 CPUtime=1800.05 cores=1,3,5,7
/proc/11382/stat : 11382 (toysat) R 11379 11382 10362 0 -1 4202496 520778 0 0 0 179875 130 0 0 20 0 4 0 8908062 2372472832 521233 33554432000 4194304 16246674 140734830727152 140734830726248 13781195 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11382/statm: 579217 521233 905 2943 0 576111 0
[pid=11382/tid=11383] ppid=11379 vsize=2316868 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11383/stat : 11383 (toysat) S 11379 11382 10362 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8908062 2372472832 521233 33554432000 4194304 16246674 140734830727152 140320836660464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11382/tid=11384] ppid=11379 vsize=2316868 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11384/stat : 11384 (toysat) S 11379 11382 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908062 2372472832 521233 33554432000 4194304 16246674 140734830727152 140320826170608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11382/tid=11385] ppid=11379 vsize=2316868 CPUtime=0 cores=1,3,5,7
/proc/11382/task/11385/stat : 11385 (toysat) S 11379 11382 10362 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8908062 2372472832 521233 33554432000 4194304 16246674 140734830727152 140320742304944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2316868

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.09
CPU user time (s): 1798.76
CPU system time (s): 1.3258
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 2316868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.76
system time used= 1.3258
maximum resident set size= 2084932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 520778
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 372
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.38233 second user time and 7.12992 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-30 11:38:15
IDJOB=4119879
IDBENCH=111816
IDSOLVER=2542
FILE ID=node120/4119879-1467279495
RUNJOBID= node120-1467279495-11350
PBS_JOBID= 20004495
Free space on /tmp= 71656 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm98p-opt.opb.negationfix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119879-1467279495/watcher-4119879-1467279495 -o /tmp/evaluation-result-4119879-1467279495/solver-4119879-1467279495 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467279495-11350 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119879-1467279495.opb

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

MD5SUM BENCH= 38667ef2116f7ef9cbd0f3417b1a4fa4
RANDOM SEED=383126769

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.669
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:        28451096 kB
Buffers:          151048 kB
Cached:          1779504 kB
SwapCached:            0 kB
Active:           206280 kB
Inactive:        1749132 kB
Active(anon):      26908 kB
Inactive(anon):        0 kB
Active(file):     179372 kB
Inactive(file):  1749132 kB
Unevictable:     1720308 kB
Mlocked:         1589492 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             33432 kB
Writeback:             0 kB
AnonPages:       1757120 kB
Mapped:            15436 kB
Shmem:               204 kB
Slab:             609652 kB
SReclaimable:      53776 kB
SUnreclaim:       555876 kB
KernelStack:        1424 kB
PageTables:         9132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2615176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 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= 71640 MiB
End job on node120 at 2016-06-30 12:08:16