Trace number 4103301

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

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-bienst2.opb
MD5SUM0af97c6a7a59a4d1015a4f591401bda7
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark221115
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables13736
Total number of constraints597
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints592
Minimum length of a constraint7
Maximum length of a constraint390
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 13958659059
Number of bits of the biggest sum of numbers34
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T09:33:50+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-4103301-1466235230.opb"]
0.00/0.01	c use --random-gen="17543937 1022235025 1624673707 2795104383 3409202796 1959642734 388460494 1407839023 2053876236 676745548 1099669680 3786731185 442962758 1411845691 3767493266 1439523473 2282193509 383259296 106734219 3079266635 1460374346 101671356 3323532262 9472293 939615366 3395152791 911822087 4087251635 2351467708 897861400 3134254309 883442224 2818890005 1159688829 2450582458 858814341 2718452431 3423554839 3376171534 539211591 1605975234 1034212577 1175881963 1304675709 2609231182 3853926535 2329847046 2915650270 3765067114 624437658 3782872996 657176741 4044055552 3869811106 802417003 1423250665 115083478 3120341026 294687027 2729264471 1948282898 4194420658 2611481508 3134920700 3817236952 1102878811 2109067660 3289114745 709207248 2907899629 2331712003 2592925488 1347256115 3978706895 4141509568 3247713351 1690989624 2669045376 3319981128 1794960833 2746810278 1140303990 4287002249 3581614184 50916347 4045142785 3155280142 3213789606 1528258773 1538939291 3916854540 3189456647 1982741197 334034077 1241160033 1177800809 1652575297 1457491408 1483227967 2316237815 4207487147 1107987302 2883790873 3289333694 1589978268 3358229094 2913868841 3452857418 1563634174 3284967094 1684059914 3651385704 2490524930 2963506542 47720025 4098644891 3448846576 1722921023 3839078584 1357769204 3486450740 132541891 589078445 2102143214 3374491243 3623472355 1931435635 894138311 4221975423 4114471197 474786049 1400739358 2014353175 2459956749 2336115238 3085178128 1075549558 3013069627 1405074569 4027642941 4159932474 1390275355 2474742385 1588980961 2163682607 3139809845 2931613554 3443695677 2491187302 2790841247 1321915600 1063728147 2180588539 3105844325 3172048460 1187771178 2417916951 3415554532 156514312 3368046158 1167177074 631686246 1945332311 2626971565 790714250 3542078866 3790120091 1683468 2770239636 304999576 2706736923 2825054607 2899156653 79121866 2357273812 2077734084 3522873469 2606317108 2583742009 3255975386 363952923 1756638504 2560889044 3919980031 2212228651 3347697091 3432267588 1356258194 1173168501 809793741 153928458 1493653956 2568782488 1797765362 719734977 3971054634 3958990258 1912904766 3038405816 3888414467 4275314342 2966666618 278459177 3265924196 1788689706 375691130 3492157379 3911459474 3365463381 1949508680 862493907 2994531156 2225186182 2110024344 3162916307 4143547983 1392881126 3133954891 2477993824 1348926285 4200750943 3109566817 3553368966 3680627828 4277017174 3171052550 3905848768 2066317531 3844003975 3012267618 647271728 2134056802 1557220841 1130492619 2294828074 2293008367 4145286863 2063458378 2270864600 418176464 47416804 850099629 1134098144 540202885 3640278398 3870696786 2790001063 888357743 1887396309 424924555 3248076393 3954073954 2127881834 2504426374 1467108229 1601257804 255 362436" option to reproduce the execution
0.09/0.13	c #vars 13736
0.09/0.13	c #constraints 597
2.79/2.85	c BCD2: Hardening is enabled.
2.79/2.85	c BCD2: BiasedSearch is enabled.
2.79/2.85	c Solving starts ...
2.79/2.85	c ============================[ Search Statistics ]============================
2.79/2.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.79/2.85	c       |         |          |          |    Limit     GC | Var      | Constra 
2.79/2.85	c =============================================================================
2.79/2.85	c  0.0s |       0 |        0 |        0 |     4820      0 |     5774 |        0
3.79/3.83	c  1.0s |       1 |     1149 |      100 |     4820      0 |     5777 |        0
4.29/4.33	c  1.5s |       2 |     2062 |      250 |     5302      0 |     5777 |        0
5.19/5.27	c  2.4s |       3 |     4167 |      475 |     5833      0 |     5778 |        0
5.79/5.85	c  3.0s |       4 |     5277 |      813 |     6417      0 |     5778 |        0
6.29/6.35	c  3.5s |       5 |     6071 |     1320 |     7059      0 |     5778 |        0
7.09/7.12	c  4.3s |       6 |     6945 |     2081 |     8542      0 |     5778 |        0
9.19/9.28	c  6.4s |       6 |     8112 |     2581 |     8542      0 |     5778 |        0
11.49/11.51	c  8.7s |       6 |     8924 |     3181 |     8542      0 |     5778 |        0
11.59/11.63	c  8.8s |       7 |     8978 |     3223 |     9397      0 |     5778 |        0
13.79/13.85	c 11.0s |       7 |    10107 |     4023 |     9397      0 |     5778 |        0
16.09/16.13	c 13.3s |       7 |    11005 |     4723 |     9397      0 |     5778 |        0
16.79/16.84	c 14.0s |       8 |    11257 |     4936 |    10337      0 |     5778 |        0
18.89/18.91	c 16.1s |       8 |    12718 |     5836 |    10337      0 |     5778 |        0
20.89/20.95	c 18.1s |       8 |    13545 |     6636 |    10337      0 |     5778 |        0
22.99/23.07	c 20.2s |       8 |    14367 |     7436 |    10337      0 |     5778 |        0
23.19/23.27	c 20.4s |       9 |    14437 |     7506 |    11371      0 |     5778 |        0
25.49/25.56	c 22.7s |       9 |    17250 |     8006 |    11371      0 |     5778 |        0
27.88/27.95	c 25.1s |       9 |    17889 |     8606 |    11371      0 |     5778 |        0
30.18/30.27	c 27.4s |       9 |    18524 |     9206 |    11371      0 |     5778 |        0
32.28/32.34	c 29.5s |       9 |    19033 |     9706 |    11371      0 |     5778 |        0
34.28/34.36	c 31.5s |       9 |    19568 |    10206 |    11371      0 |     5778 |        0
36.39/36.48	c 33.6s |       9 |    20092 |    10706 |    11371      0 |     5778 |        0
38.49/38.52	c 35.7s |       9 |    20634 |    11206 |    11371      0 |     5778 |        0
39.08/39.18	c 36.3s |      10 |    20799 |    11361 |    12509      0 |     5778 |        0
41.18/41.22	c 38.4s |      10 |    24397 |    12161 |    12509      0 |     5778 |        0
43.18/43.24	c 40.4s |      10 |    27571 |    13961 |    12509      0 |     5778 |        0
45.28/45.35	c 42.5s |      10 |    29273 |    15361 |    12509      0 |     5778 |        0
47.68/47.74	c 44.9s |      10 |    29906 |    15961 |    12509      0 |     5778 |        0
49.78/49.84	c 47.0s |      10 |    30460 |    16461 |    12509      0 |     5778 |        0
51.88/51.98	c 49.1s |      10 |    31007 |    16961 |    12509      0 |     5778 |        0
52.68/52.80	c 49.9s |      11 |    31208 |    17144 |    13760      0 |     5778 |        0
54.88/54.96	c 52.1s |      11 |    34972 |    17644 |    13760      0 |     5778 |        0
56.88/56.99	c 54.1s |      11 |    35728 |    18344 |    13760      0 |     5778 |        0
59.08/59.10	c 56.2s |      11 |    36507 |    19044 |    13760      0 |     5778 |        0
61.18/61.29	c 58.4s |      11 |    37299 |    19744 |    13760      0 |     5778 |        0
63.18/63.29	c 60.4s |      11 |    38376 |    20544 |    13760      0 |     5778 |        0
65.28/65.30	c 62.4s |      11 |    39000 |    21044 |    13760      0 |     5778 |        0
67.68/67.77	c 64.9s |      11 |    39565 |    21544 |    13760      0 |     5778 |        0
69.88/69.95	c 67.1s |      11 |    40025 |    21944 |    13760      0 |     5778 |        0
72.17/72.21	c 69.4s |      11 |    40494 |    22344 |    13760      0 |     5778 |        0
74.17/74.29	c 71.4s |      11 |    41439 |    22744 |    13760      0 |     5778 |        0
76.47/76.56	c 73.7s |      11 |    42834 |    23444 |    13760      0 |     5778 |        0
78.67/78.72	c 75.9s |      11 |    43459 |    24044 |    13760      0 |     5778 |        0
80.97/81.05	c 78.2s |      11 |    44194 |    24744 |    13760      0 |     5778 |        0
83.07/83.18	c 80.3s |      11 |    44708 |    25244 |    13760      0 |     5778 |        0
85.17/85.21	c 82.4s |      11 |    45241 |    25744 |    15137      0 |     5778 |        0
85.47/85.51	c 82.7s |      12 |    45324 |    25819 |    15137      0 |     5778 |        0
87.67/87.70	c 84.8s |      12 |    49207 |    26419 |    15137      1 |     5778 |        0
89.87/89.92	c 87.1s |      12 |    50313 |    27519 |    15137      1 |     5778 |        0
92.07/92.11	c 89.3s |      12 |    51417 |    28619 |    15137      1 |     5778 |        0
94.17/94.21	c 91.4s |      12 |    52424 |    29619 |    15137      1 |     5778 |        0
96.37/96.41	c 93.6s |      12 |    53425 |    30619 |    15137      1 |     5778 |        0
98.37/98.46	c 95.6s |      12 |    54329 |    31519 |    15137      1 |     5778 |        0
100.47/100.58	c 97.7s |      12 |    55229 |    32419 |    15137      1 |     5778 |        0
102.67/102.76	c 99.9s |      12 |    56136 |    33319 |    15137      1 |     5778 |        0
104.97/105.01	c  102s |      12 |    57038 |    34219 |    15137      1 |     5778 |        0
107.07/107.11	c  104s |      12 |    57839 |    35019 |    15137      1 |     5778 |        0
109.27/109.30	c  106s |      12 |    58644 |    35819 |    15137      1 |     5778 |        0
111.47/111.57	c  108s |      12 |    59442 |    36619 |    15137      1 |     5778 |        0
113.57/113.62	c  110s |      12 |    60146 |    37319 |    15137      1 |     5778 |        0
115.67/115.71	c  112s |      12 |    60847 |    38019 |    15137      1 |     5778 |        0
117.77/117.83	c  114s |      12 |    61546 |    38719 |    16651      1 |     5778 |        0
118.07/118.19	c  115s |      13 |    61661 |    38832 |    16651      1 |     5778 |        0
120.17/120.23	c  117s |      13 |    65722 |    39132 |    16651      2 |     5780 |        0
122.27/122.33	c  119s |      13 |    66164 |    39532 |    16651      2 |     5780 |        0
124.77/124.83	c  121s |      13 |    66616 |    39932 |    16651      2 |     5780 |        0
126.77/126.85	c  123s |      13 |    66948 |    40232 |    16651      2 |     5780 |        0
128.77/128.88	c  126s |      13 |    67296 |    40532 |    16651      2 |     5780 |        0
131.07/131.11	c  128s |      13 |    67610 |    40832 |    16651      2 |     5780 |        0
133.07/133.12	c  130s |      13 |    67936 |    41132 |    16651      2 |     5780 |        0
135.27/135.33	c  132s |      13 |    68261 |    41432 |    16651      2 |     5780 |        0
137.26/137.38	c  134s |      13 |    68576 |    41732 |    16651      2 |     5780 |        0
139.36/139.45	c  136s |      13 |    68894 |    42032 |    16651      2 |     5780 |        0
141.87/141.99	c  139s |      13 |    69323 |    42432 |    16651      2 |     5780 |        0
144.36/144.45	c  141s |      13 |    69780 |    42832 |    16651      2 |     5780 |        0
146.76/146.87	c  144s |      13 |    70218 |    43232 |    16651      2 |     5780 |        0
149.06/149.12	c  146s |      13 |    70838 |    43732 |    16651      2 |     5780 |        0
151.16/151.25	c  148s |      13 |    71697 |    44432 |    16651      2 |     5780 |        0
153.36/153.49	c  150s |      13 |    72550 |    45232 |    16651      2 |     5780 |        0
155.46/155.59	c  152s |      13 |    73287 |    45932 |    16651      2 |     5780 |        0
157.66/157.77	c  154s |      13 |    74028 |    46632 |    16651      2 |     5780 |        0
159.86/159.93	c  157s |      13 |    74771 |    47332 |    16651      2 |     5780 |        0
162.16/162.22	c  159s |      13 |    75511 |    48032 |    16651      2 |     5780 |        0
164.26/164.36	c  161s |      13 |    76144 |    48632 |    16651      2 |     5780 |        0
166.27/166.38	c  163s |      13 |    76776 |    49232 |    16651      2 |     5780 |        0
168.37/168.47	c  165s |      13 |    77410 |    49832 |    16651      2 |     5780 |        0
170.57/170.67	c  167s |      13 |    78034 |    50432 |    16651      2 |     5780 |        0
172.77/172.86	c  170s |      13 |    78673 |    51032 |    16651      2 |     5780 |        0
175.07/175.19	c  172s |      13 |    79290 |    51632 |    16651      2 |     5780 |        0
177.37/177.43	c  174s |      13 |    79907 |    52232 |    16651      2 |     5780 |        0
179.66/179.79	c  176s |      13 |    80525 |    52832 |    16651      2 |     5780 |        0
181.76/181.82	c  178s |      13 |    81051 |    53332 |    16651      2 |     5780 |        0
184.06/184.13	c  181s |      13 |    81674 |    53932 |    16651      2 |     5780 |        0
186.16/186.22	c  183s |      13 |    82184 |    54432 |    16651      2 |     5780 |        0
188.36/188.42	c  185s |      13 |    82703 |    54932 |    16651      2 |     5780 |        0
190.86/190.91	c  188s |      13 |    83224 |    55432 |    16651      3 |     5780 |        0
193.16/193.22	c  190s |      13 |    83738 |    55932 |    16651      3 |     5780 |        0
195.36/195.41	c  192s |      13 |    84263 |    56432 |    16651      3 |     5780 |        0
197.36/197.47	c  194s |      13 |    84780 |    56932 |    16651      3 |     5780 |        0
199.56/199.63	c  196s |      13 |    85300 |    57432 |    16651      3 |     5780 |        0
201.86/201.93	c  199s |      13 |    85860 |    57932 |    16651      3 |     5780 |        0
203.86/203.95	c  201s |      14 |    86313 |    58352 |    18317      3 |     5780 |        0
205.86/205.96	c  203s |      14 |    87446 |    58752 |    18317      3 |     5780 |        0
208.16/208.24	c  205s |      14 |    87973 |    59252 |    18317      3 |     5780 |        0
210.36/210.42	c  207s |      14 |    88487 |    59752 |    18317      3 |     5780 |        0
212.66/212.70	c  209s |      14 |    89004 |    60252 |    18317      3 |     5780 |        0
214.86/214.97	c  212s |      14 |    89621 |    60852 |    18317      3 |     5780 |        0
217.06/217.15	c  214s |      14 |    90235 |    61452 |    18317      3 |     5780 |        0
219.56/219.66	c  216s |      14 |    92321 |    61852 |    18317      3 |     5782 |        0
221.66/221.70	c  218s |      14 |    94771 |    62552 |    18317      3 |     5782 |        0
223.76/223.87	c  221s |      14 |    95971 |    63652 |    18317      3 |     5782 |        0
225.86/225.95	c  223s |      14 |    97079 |    64652 |    18317      3 |     5782 |        0
227.85/227.99	c  225s |      14 |    98252 |    65652 |    18317      3 |     5782 |        0
230.05/230.17	c  227s |      14 |    99383 |    66652 |    18317      3 |     5782 |        0
232.16/232.21	c  229s |      14 |   100439 |    67552 |    18317      3 |     5782 |        0
234.26/234.39	c  231s |      14 |   101440 |    68452 |    18317      3 |     5782 |        0
236.46/236.52	c  233s |      14 |   102448 |    69352 |    18317      3 |     5782 |        0
238.65/238.72	c  235s |      14 |   103467 |    70252 |    18317      3 |     5782 |        0
240.65/240.74	c  237s |      14 |   104521 |    71152 |    18317      3 |     5782 |        0
242.65/242.76	c  239s |      14 |   105238 |    71752 |    18317      4 |     5782 |        0
244.85/244.95	c  242s |      14 |   106101 |    72552 |    18317      4 |     5782 |        0
246.95/247.02	c  244s |      14 |   107056 |    73352 |    18317      4 |     5782 |        0
249.24/249.31	c  246s |      14 |   107966 |    74152 |    18317      4 |     5782 |        0
251.44/251.60	c  248s |      14 |   108860 |    74952 |    18317      4 |     5782 |        0
253.54/253.64	c  250s |      14 |   109639 |    75652 |    18317      4 |     5782 |        0
255.74/255.84	c  252s |      14 |   110417 |    76352 |    18317      4 |     5782 |        0
257.93/258.02	c  255s |      14 |   111165 |    77052 |    18317      4 |     5782 |        0
259.93/260.05	c  257s |      14 |   111829 |    77652 |    18317      4 |     5782 |        0
262.03/262.19	c  259s |      14 |   112646 |    78352 |    18317      4 |     5782 |        0
264.23/264.37	c  261s |      14 |   113447 |    79052 |    18317      4 |     5782 |        0
266.53/266.64	c  263s |      14 |   114203 |    79752 |    18317      4 |     5782 |        0
268.53/268.67	c  265s |      14 |   114836 |    80352 |    18317      4 |     5782 |        0
270.64/270.76	c  267s |      14 |   115486 |    80952 |    18317      4 |     5782 |        0
272.63/272.77	c  269s |      14 |   116120 |    81552 |    18317      4 |     5782 |        0
274.73/274.88	c  272s |      14 |   116756 |    82152 |    18317      4 |     5782 |        0
276.93/277.03	c  274s |      14 |   117410 |    82752 |    18317      4 |     5782 |        0
279.13/279.22	c  276s |      14 |   118062 |    83352 |    18317      4 |     5782 |        0
281.13/281.29	c  278s |      14 |   118716 |    83952 |    18317      4 |     5782 |        0
283.43/283.52	c  280s |      14 |   119353 |    84552 |    18317      4 |     5782 |        0
285.53/285.67	c  282s |      14 |   120053 |    85152 |    18317      4 |     5782 |        0
287.52/287.69	c  284s |      14 |   120577 |    85652 |    18317      4 |     5782 |        0
289.82/289.96	c  287s |      14 |   121244 |    86252 |    18317      4 |     5782 |        0
292.72/292.87	c  290s |      14 |   121943 |    86852 |    18317      5 |     5782 |        0
295.12/295.21	c  292s |      14 |   122757 |    87552 |    20149      5 |     5782 |        0
295.72/295.83	c  292s |      15 |   122861 |    87632 |    20149      5 |     5782 |        0
297.93/298.07	c  295s |      15 |   124604 |    88032 |    20149      5 |     5782 |        0
300.03/300.18	c  297s |      15 |   125358 |    88732 |    20149      5 |     5782 |        0
302.53/302.63	c  299s |      15 |   126138 |    89332 |    20149      5 |     5782 |        0
304.53/304.69	c  301s |      15 |   129596 |    90132 |    20149      5 |     5782 |        0
306.72/306.82	c  303s |      15 |   130540 |    91032 |    20149      5 |     5782 |        0
308.82/308.94	c  306s |      15 |   131649 |    92032 |    20149      5 |     5782 |        0
310.82/310.98	c  308s |      15 |   132650 |    92932 |    20149      5 |     5782 |        0
313.02/313.15	c  310s |      15 |   133629 |    93832 |    20149      5 |     5782 |        0
315.22/315.31	c  312s |      15 |   134628 |    94732 |    20149      5 |     5782 |        0
317.22/317.37	c  314s |      15 |   135503 |    95532 |    20149      5 |     5782 |        0
319.41/319.50	c  316s |      15 |   136427 |    96332 |    20149      5 |     5782 |        0
321.51/321.65	c  318s |      15 |   137282 |    97132 |    20149      5 |     5782 |        0
323.71/323.84	c  320s |      15 |   138183 |    97932 |    20149      5 |     5782 |        0
325.91/326.08	c  323s |      15 |   139071 |    98732 |    20149      5 |     5782 |        0
328.21/328.35	c  325s |      15 |   139998 |    99532 |    20149      5 |     5782 |        0
330.21/330.39	c  327s |      15 |   140757 |   100232 |    20149      5 |     5782 |        0
332.31/332.46	c  329s |      15 |   141511 |   100932 |    20149      5 |     5782 |        0
334.42/334.52	c  331s |      15 |   142289 |   101632 |    20149      5 |     5782 |        0
336.52/336.64	c  333s |      15 |   143046 |   102332 |    20149      5 |     5782 |        0
339.00/339.19	c  336s |      15 |   143722 |   102932 |    20149      6 |     5782 |        0
341.30/341.46	c  338s |      15 |   144497 |   103632 |    20149      6 |     5782 |        0
343.40/343.58	c  340s |      15 |   147223 |   104332 |    20149      6 |     5782 |        0
345.60/345.74	c  342s |      15 |   148087 |   104932 |    20149      6 |     5782 |        0
347.61/347.76	c  344s |      15 |   148761 |   105532 |    20149      6 |     5782 |        0
349.90/350.01	c  347s |      15 |   149614 |   106232 |    20149      6 |     5782 |        0
352.20/352.33	c  349s |      15 |   150476 |   106932 |    20149      6 |     5782 |        0
354.30/354.44	c  351s |      15 |   151123 |   107532 |    20149      6 |     5782 |        0
356.60/356.76	c  353s |      15 |   151936 |   108232 |    20149      6 |     5782 |        0
358.69/358.85	c  355s |      15 |   152672 |   108932 |    20149      6 |     5782 |        0
360.89/361.00	c  358s |      15 |   153418 |   109632 |    20149      6 |     5782 |        0
363.09/363.29	c  360s |      15 |   154270 |   110332 |    20149      6 |     5782 |        0
365.39/365.52	c  362s |      15 |   154937 |   110932 |    20149      6 |     5782 |        0
367.59/367.71	c  364s |      15 |   155485 |   111432 |    20149      6 |     5782 |        0
369.79/369.96	c  367s |      15 |   156018 |   111932 |    20149      6 |     5782 |        0
372.09/372.25	c  369s |      15 |   156736 |   112532 |    20149      6 |     5782 |        0
374.09/374.28	c  371s |      15 |   157277 |   113032 |    20149      6 |     5782 |        0
376.39/376.53	c  373s |      15 |   157828 |   113532 |    20149      6 |     5782 |        0
378.48/378.66	c  375s |      15 |   158399 |   114032 |    20149      6 |     5782 |        0
380.88/381.09	c  378s |      15 |   159083 |   114632 |    20149      6 |     5782 |        0
383.08/383.23	c  380s |      15 |   159648 |   115132 |    20149      6 |     5782 |        0
385.08/385.30	c  382s |      15 |   160103 |   115532 |    20149      6 |     5782 |        0
387.28/387.41	c  384s |      15 |   160545 |   115932 |    20149      6 |     5782 |        0
389.48/389.60	c  386s |      15 |   161131 |   116432 |    20149      6 |     5782 |        0
391.68/391.83	c  388s |      15 |   161830 |   117032 |    20149      6 |     5782 |        0
393.98/394.19	c  391s |      15 |   162563 |   117632 |    20149      6 |     5782 |        0
396.08/396.27	c  393s |      15 |   163139 |   118132 |    20149      6 |     5782 |        0
398.28/398.41	c  395s |      15 |   163735 |   118632 |    20149      6 |     5782 |        0
400.58/400.73	c  397s |      15 |   164270 |   119132 |    20149      6 |     5782 |        0
402.78/402.90	c  400s |      15 |   164708 |   119532 |    20149      7 |     5782 |        0
404.78/404.91	c  402s |      15 |   165148 |   119932 |    20149      7 |     5782 |        0
407.08/407.23	c  404s |      15 |   165709 |   120432 |    20149      7 |     5782 |        0
409.57/409.74	c  406s |      15 |   166248 |   120932 |    20149      7 |     5782 |        0
411.87/412.06	c  409s |      15 |   166799 |   121432 |    20149      7 |     5782 |        0
414.27/414.41	c  411s |      15 |   167385 |   121932 |    20149      7 |     5782 |        0
416.27/416.42	c  413s |      15 |   167830 |   122332 |    20149      7 |     5782 |        0
418.47/418.69	c  415s |      15 |   168416 |   122832 |    20149      7 |     5782 |        0
420.97/421.19	c  418s |      15 |   168972 |   123332 |    20149      7 |     5782 |        0
423.48/423.63	c  420s |      15 |   169531 |   123832 |    20149      7 |     5782 |        0
425.97/426.12	c  423s |      15 |   170088 |   124332 |    20149      7 |     5782 |        0
428.47/428.63	c  425s |      15 |   170646 |   124832 |    20149      7 |     5782 |        0
430.57/430.73	c  427s |      15 |   171090 |   125232 |    20149      7 |     5782 |        0
433.07/433.26	c  430s |      15 |   171533 |   125632 |    20149      7 |     5782 |        0
435.76/435.90	c  433s |      15 |   171972 |   126032 |    20149      7 |     5782 |        0
438.36/438.59	c  435s |      15 |   172418 |   126432 |    20149      7 |     5782 |        0
440.46/440.61	c  437s |      15 |   172757 |   126732 |    20149      7 |     5782 |        0
442.46/442.68	c  439s |      15 |   173087 |   127032 |    20149      7 |     5782 |        0
444.56/444.75	c  441s |      15 |   173419 |   127332 |    20149      7 |     5782 |        0
446.65/446.85	c  443s |      15 |   173752 |   127632 |    20149      7 |     5782 |        0
448.66/448.87	c  446s |      15 |   174091 |   127932 |    20149      7 |     5782 |        0
451.35/451.56	c  448s |      15 |   174524 |   128332 |    20149      7 |     5782 |        0
453.45/453.65	c  450s |      15 |   174845 |   128632 |    20149      7 |     5782 |        0
455.65/455.80	c  452s |      15 |   175162 |   128932 |    20149      7 |     5782 |        0
457.75/457.90	c  455s |      15 |   175492 |   129232 |    20149      7 |     5782 |        0
459.84/460.02	c  457s |      15 |   175813 |   129532 |    20149      7 |     5782 |        0
462.04/462.22	c  459s |      15 |   176152 |   129832 |    20149      7 |     5782 |        0
464.24/464.43	c  461s |      15 |   176511 |   130132 |    20149      7 |     5782 |        0
466.44/466.65	c  463s |      15 |   176830 |   130432 |    20149      7 |     5782 |        0
468.55/468.79	c  465s |      15 |   177159 |   130732 |    22164      7 |     5782 |        0
470.75/470.99	c  468s |      15 |   177496 |   131032 |    22164      7 |     5782 |        0
472.95/473.18	c  470s |      15 |   177817 |   131332 |    22164      7 |     5782 |        0
474.64/474.80	c  471s |      16 |   178051 |   131552 |    22164      7 |     5782 |        0
476.94/477.19	c  474s |      16 |   178623 |   131652 |    22164      8 |     5782 |        0
479.63/479.82	c  476s |      16 |   181702 |   131952 |    22164      8 |     5782 |        0
481.64/481.86	c  479s |      16 |   182445 |   132052 |    22164      8 |     5785 |        0
483.94/484.15	c  481s |      16 |   183827 |   132952 |    22164      8 |     5785 |        0
486.04/486.24	c  483s |      16 |   186133 |   134652 |    22164      8 |     5785 |        0
488.03/488.28	c  485s |      16 |   187671 |   136152 |    22164      8 |     5785 |        0
490.23/490.43	c  487s |      16 |   189175 |   137652 |    22164      8 |     5785 |        0
492.33/492.52	c  489s |      16 |   190589 |   139052 |    22164      8 |     5785 |        0
494.33/494.55	c  491s |      16 |   191893 |   140352 |    22164      8 |     5785 |        0
496.33/496.59	c  493s |      16 |   193098 |   141552 |    22164      8 |     5785 |        0
498.52/498.77	c  495s |      16 |   194299 |   142752 |    22164      8 |     5785 |        0
500.72/500.90	c  498s |      16 |   195408 |   143852 |    22164      8 |     5785 |        0
502.82/503.01	c  500s |      16 |   196407 |   144852 |    22164      8 |     5785 |        0
504.93/505.17	c  502s |      16 |   197409 |   145852 |    22164      8 |     5785 |        0
506.94/507.20	c  504s |      16 |   198311 |   146752 |    22164      8 |     5785 |        0
509.23/509.45	c  506s |      16 |   199217 |   147652 |    22164      8 |     5785 |        0
511.33/511.53	c  508s |      16 |   200017 |   148452 |    22164      8 |     5785 |        0
513.53/513.74	c  510s |      16 |   200818 |   149252 |    22164      8 |     5785 |        0
515.83/516.01	c  513s |      16 |   201620 |   150052 |    22164      8 |     5785 |        0
518.52/518.70	c  515s |      16 |   202320 |   150752 |    22164      9 |     5785 |        0
520.72/520.91	c  518s |      16 |   203021 |   151452 |    22164      9 |     5785 |        0
522.82/523.04	c  520s |      16 |   203724 |   152152 |    22164      9 |     5785 |        0
524.92/525.14	c  522s |      16 |   204424 |   152852 |    22164      9 |     5785 |        0
527.12/527.36	c  524s |      16 |   205227 |   153652 |    22164      9 |     5785 |        0
529.31/529.59	c  526s |      16 |   205933 |   154352 |    22164      9 |     5785 |        0
531.71/531.97	c  529s |      16 |   206636 |   155052 |    22164      9 |     5785 |        0
533.91/534.15	c  531s |      16 |   207433 |   155852 |    22164      9 |     5785 |        0
536.21/536.45	c  533s |      16 |   208137 |   156552 |    22164      9 |     5785 |        0
538.50/538.75	c  535s |      16 |   208834 |   157252 |    22164      9 |     5785 |        0
540.50/540.75	c  537s |      16 |   209440 |   157852 |    22164      9 |     5785 |        0
542.60/542.87	c  540s |      16 |   210040 |   158452 |    22164      9 |     5785 |        0
544.80/545.04	c  542s |      16 |   210641 |   159052 |    22164      9 |     5785 |        0
546.90/547.18	c  544s |      16 |   211242 |   159652 |    22164      9 |     5785 |        0
549.20/549.44	c  546s |      16 |   211844 |   160252 |    22164      9 |     5785 |        0
551.50/551.78	c  548s |      16 |   212443 |   160852 |    22164      9 |     5785 |        0
553.90/554.11	c  551s |      16 |   213046 |   161452 |    22164      9 |     5785 |        0
555.90/556.12	c  553s |      16 |   213548 |   161952 |    22164      9 |     5785 |        0
557.99/558.21	c  555s |      16 |   214049 |   162452 |    22164      9 |     5785 |        0
560.39/560.63	c  557s |      16 |   214649 |   163052 |    22164      9 |     5785 |        0
562.69/562.95	c  560s |      16 |   215349 |   163752 |    22164      9 |     5785 |        0
564.99/565.24	c  562s |      16 |   215952 |   164352 |    22164      9 |     5785 |        0
567.19/567.41	c  564s |      16 |   216554 |   164952 |    22164      9 |     5785 |        0
569.38/569.64	c  566s |      16 |   217154 |   165552 |    22164      9 |     5785 |        0
571.68/571.94	c  569s |      16 |   217757 |   166152 |    22164      9 |     5785 |        0
573.99/574.22	c  571s |      16 |   218361 |   166752 |    22164      9 |     5785 |        0
576.38/576.60	c  573s |      16 |   218957 |   167352 |    22164      9 |     5785 |        0
578.58/578.81	c  575s |      16 |   219161 |   167552 |    22164     10 |     5785 |        0
580.59/580.84	c  577s |      16 |   219965 |   168352 |    22164     10 |     5785 |        0
582.68/582.95	c  580s |      16 |   220763 |   169152 |    22164     10 |     5785 |        0
584.78/585.05	c  582s |      16 |   221068 |   169452 |    22164     10 |     5785 |        0
586.98/587.23	c  584s |      16 |   221971 |   170352 |    22164     10 |     5785 |        0
590.97/591.29	c  588s |      16 |   222773 |   171152 |    22164     10 |     5785 |        0
593.17/593.41	c  590s |      16 |   223470 |   171852 |    22164     10 |     5785 |        0
595.27/595.54	c  592s |      16 |   224173 |   172552 |    22164     10 |     5785 |        0
597.46/597.71	c  594s |      16 |   224878 |   173252 |    22164     10 |     5785 |        0
599.46/599.73	c  596s |      16 |   225479 |   173852 |    22164     10 |     5785 |        0
601.57/601.82	c  598s |      16 |   226076 |   174452 |    22164     10 |     5785 |        0
603.77/604.08	c  601s |      16 |   226682 |   175052 |    22164     10 |     5785 |        0
605.97/606.29	c  603s |      16 |   227282 |   175652 |    22164     10 |     5785 |        0
608.26/608.53	c  605s |      16 |   227881 |   176252 |    22164     10 |     5785 |        0
610.46/610.72	c  607s |      16 |   228487 |   176852 |    22164     10 |     5785 |        0
612.56/612.89	c  610s |      16 |   229092 |   177452 |    22164     10 |     5785 |        0
614.86/615.14	c  612s |      16 |   229688 |   178052 |    22164     10 |     5785 |        0
617.26/617.51	c  614s |      16 |   230291 |   178652 |    22164     10 |     5785 |        0
619.55/619.86	c  617s |      16 |   230895 |   179252 |    22164     10 |     5785 |        0
621.65/621.91	c  619s |      16 |   231393 |   179752 |    22164     10 |     5785 |        0
623.75/624.00	c  621s |      16 |   231899 |   180252 |    22164     10 |     5785 |        0
625.75/626.08	c  623s |      16 |   232396 |   180752 |    22164     10 |     5785 |        0
628.14/628.49	c  625s |      16 |   232999 |   181352 |    22164     10 |     5785 |        0
630.34/630.68	c  627s |      16 |   233505 |   181852 |    22164     10 |     5785 |        0
632.54/632.86	c  630s |      16 |   234002 |   182352 |    22164     10 |     5785 |        0
634.74/635.05	c  632s |      16 |   234506 |   182852 |    22164     10 |     5785 |        0
636.94/637.22	c  634s |      16 |   235005 |   183352 |    22164     10 |     5785 |        0
639.24/639.57	c  636s |      16 |   235510 |   183852 |    22164     10 |     5785 |        0
641.83/642.19	c  639s |      16 |   235710 |   184052 |    22164     11 |     5785 |        0
644.03/644.31	c  641s |      16 |   236414 |   184752 |    22164     11 |     5785 |        0
646.33/646.60	c  643s |      16 |   237114 |   185452 |    22164     11 |     5785 |        0
648.53/648.86	c  646s |      16 |   237817 |   186152 |    22164     11 |     5785 |        0
650.53/650.89	c  648s |      16 |   238420 |   186752 |    22164     11 |     5785 |        0
652.63/652.99	c  650s |      16 |   239018 |   187352 |    22164     11 |     5785 |        0
654.83/655.14	c  652s |      16 |   239620 |   187952 |    22164     11 |     5785 |        0
657.03/657.36	c  654s |      16 |   240221 |   188552 |    22164     11 |     5785 |        0
659.22/659.59	c  656s |      16 |   240826 |   189152 |    22164     11 |     5785 |        0
661.62/661.90	c  659s |      16 |   241424 |   189752 |    22164     11 |     5785 |        0
663.82/664.18	c  661s |      16 |   242019 |   190352 |    22164     11 |     5785 |        0
665.82/666.18	c  663s |      16 |   242523 |   190852 |    22164     11 |     5785 |        0
668.22/668.58	c  665s |      16 |   243127 |   191452 |    22164     11 |     5785 |        0
670.32/670.60	c  667s |      16 |   243627 |   191952 |    22164     11 |     5785 |        0
672.42/672.75	c  669s |      16 |   244230 |   192552 |    22164     11 |     5785 |        0
674.82/675.11	c  672s |      16 |   244828 |   193152 |    22164     11 |     5785 |        0
677.43/677.71	c  674s |      16 |   245227 |   193552 |    22164     11 |     5785 |        0
679.63/679.91	c  677s |      16 |   245730 |   194052 |    22164     11 |     5785 |        0
681.62/681.99	c  679s |      16 |   246233 |   194552 |    22164     11 |     5785 |        0
683.72/684.06	c  681s |      16 |   246732 |   195052 |    22164     11 |     5785 |        0
685.82/686.16	c  683s |      16 |   247234 |   195552 |    22164     11 |     5785 |        0
688.02/688.37	c  685s |      16 |   247735 |   196052 |    22164     11 |     5785 |        0
690.12/690.48	c  687s |      16 |   248234 |   196552 |    24381     11 |     5785 |        0
693.41/693.79	c  690s |      16 |   248643 |   196952 |    24381     11 |     5785 |        0
695.51/695.85	c  692s |      17 |   249122 |   197432 |    24381     11 |     5785 |        0
697.71/698.00	c  695s |      17 |   251919 |   197932 |    24381     11 |     5785 |        0
699.91/700.22	c  697s |      17 |   252836 |   198832 |    24381     11 |     5785 |        0
702.11/702.45	c  699s |      17 |   253653 |   199632 |    24381     11 |     5785 |        0
704.41/704.73	c  701s |      17 |   254462 |   200432 |    24381     11 |     5785 |        0
706.51/706.81	c  703s |      17 |   255165 |   201132 |    24381     11 |     5785 |        0
708.50/708.88	c  706s |      17 |   255882 |   201832 |    24381     11 |     5785 |        0
710.70/711.08	c  708s |      17 |   256719 |   202632 |    24381     11 |     5785 |        0
713.00/713.39	c  710s |      17 |   257529 |   203432 |    24381     11 |     5785 |        0
715.30/715.65	c  712s |      17 |   258135 |   204032 |    24381     12 |     5785 |        0
717.60/717.97	c  715s |      17 |   258843 |   204732 |    24381     12 |     5785 |        0
719.90/720.26	c  717s |      17 |   259557 |   205432 |    24381     12 |     5785 |        0
722.00/722.32	c  719s |      17 |   260169 |   206032 |    24381     12 |     5785 |        0
723.99/724.39	c  721s |      17 |   260776 |   206632 |    24381     12 |     5785 |        0
726.29/726.60	c  723s |      17 |   261384 |   207232 |    24381     12 |     5785 |        0
728.39/728.77	c  725s |      17 |   262089 |   207932 |    24381     12 |     5785 |        0
730.59/730.98	c  728s |      17 |   262698 |   208532 |    24381     12 |     5785 |        0
732.69/733.00	c  730s |      17 |   263302 |   209132 |    24381     12 |     5785 |        0
734.99/735.32	c  732s |      17 |   263912 |   209732 |    24381     12 |     5785 |        0
736.99/737.35	c  734s |      17 |   264414 |   210232 |    24381     12 |     5785 |        0
739.08/739.42	c  736s |      17 |   265031 |   210832 |    24381     12 |     5785 |        0
741.09/741.48	c  738s |      17 |   265642 |   211432 |    24381     12 |     5785 |        0
743.48/743.80	c  740s |      17 |   266246 |   212032 |    24381     12 |     5785 |        0
745.49/745.85	c  742s |      17 |   266756 |   212532 |    24381     12 |     5785 |        0
747.98/748.34	c  745s |      17 |   267258 |   213032 |    24381     12 |     5785 |        0
750.37/750.71	c  747s |      17 |   267763 |   213532 |    24381     12 |     5785 |        0
752.57/752.92	c  750s |      17 |   268281 |   214032 |    24381     12 |     5785 |        0
754.87/755.25	c  752s |      17 |   268787 |   214532 |    24381     12 |     5785 |        0
757.17/757.58	c  754s |      17 |   269289 |   215032 |    24381     12 |     5785 |        0
759.47/759.81	c  756s |      17 |   269798 |   215532 |    24381     12 |     5785 |        0
761.67/762.05	c  759s |      17 |   270313 |   216032 |    24381     12 |     5785 |        0
763.97/764.33	c  761s |      17 |   270816 |   216532 |    24381     12 |     5785 |        0
766.37/766.73	c  763s |      17 |   271329 |   217032 |    24381     12 |     5785 |        0
768.67/769.09	c  766s |      17 |   271844 |   217532 |    24381     12 |     5785 |        0
770.87/771.28	c  768s |      17 |   272350 |   218032 |    24381     12 |     5785 |        0
773.07/773.41	c  770s |      17 |   272858 |   218532 |    24381     12 |     5785 |        0
775.27/775.63	c  772s |      17 |   273373 |   219032 |    24381     12 |     5785 |        0
777.65/778.04	c  775s |      17 |   273886 |   219532 |    24381     12 |     5785 |        0
780.05/780.45	c  777s |      17 |   274402 |   220032 |    24381     12 |     5785 |        0
782.25/782.64	c  779s |      17 |   274820 |   220432 |    24381     12 |     5785 |        0
784.35/784.78	c  781s |      17 |   275224 |   220832 |    24381     12 |     5785 |        0
786.75/787.12	c  784s |      17 |   275737 |   221332 |    24381     12 |     5785 |        0
788.75/789.18	c  786s |      17 |   276041 |   221632 |    24381     13 |     5785 |        0
791.15/791.54	c  788s |      17 |   276545 |   222132 |    24381     13 |     5785 |        0
793.55/793.91	c  791s |      17 |   276957 |   222532 |    24381     13 |     5785 |        0
795.55/795.92	c  793s |      17 |   277260 |   222832 |    24381     13 |     5785 |        0
798.04/798.41	c  795s |      17 |   277777 |   223332 |    24381     13 |     5785 |        0
800.55/800.91	c  798s |      17 |   278282 |   223832 |    24381     13 |     5785 |        0
802.65/803.04	c  800s |      17 |   278684 |   224232 |    24381     13 |     5785 |        0
804.85/805.27	c  802s |      17 |   279084 |   224632 |    24381     13 |     5785 |        0
807.34/807.73	c  804s |      17 |   279588 |   225132 |    24381     13 |     5785 |        0
809.54/809.95	c  807s |      17 |   279992 |   225532 |    24381     13 |     5785 |        0
811.64/812.08	c  809s |      17 |   280395 |   225932 |    24381     13 |     5785 |        0
813.84/814.20	c  811s |      17 |   280793 |   226332 |    24381     13 |     5785 |        0
815.84/816.22	c  813s |      17 |   281308 |   226832 |    24381     13 |     5785 |        0
817.83/818.26	c  815s |      17 |   281838 |   227332 |    24381     13 |     5785 |        0
819.93/820.39	c  817s |      17 |   282337 |   227832 |    24381     13 |     5785 |        0
822.33/822.70	c  819s |      17 |   282850 |   228332 |    24381     13 |     5785 |        0
824.33/824.71	c  821s |      17 |   283262 |   228732 |    24381     13 |     5785 |        0
826.33/826.76	c  823s |      17 |   283670 |   229132 |    24381     13 |     5785 |        0
828.73/829.13	c  826s |      17 |   284176 |   229632 |    24381     13 |     5785 |        0
831.13/831.57	c  828s |      17 |   284678 |   230132 |    24381     13 |     5785 |        0
833.33/833.80	c  830s |      17 |   285085 |   230532 |    24381     13 |     5785 |        0
835.73/836.15	c  833s |      17 |   285490 |   230932 |    24381     13 |     5785 |        0
837.72/838.16	c  835s |      17 |   285792 |   231232 |    24381     13 |     5785 |        0
840.22/840.62	c  837s |      17 |   286296 |   231732 |    24381     13 |     5785 |        0
842.52/842.91	c  840s |      17 |   286812 |   232232 |    24381     13 |     5785 |        0
844.82/845.20	c  842s |      17 |   287211 |   232632 |    24381     13 |     5785 |        0
847.22/847.64	c  844s |      17 |   287620 |   233032 |    24381     13 |     5785 |        0
849.41/849.81	c  846s |      17 |   288039 |   233432 |    24381     13 |     5785 |        0
851.71/852.10	c  849s |      17 |   288446 |   233832 |    24381     13 |     5785 |        0
853.91/854.35	c  851s |      17 |   288856 |   234232 |    24381     13 |     5785 |        0
856.51/856.95	c  854s |      17 |   289259 |   234632 |    24381     13 |     5785 |        0
859.00/859.44	c  856s |      17 |   289665 |   235032 |    24381     13 |     5785 |        0
861.50/861.90	c  859s |      17 |   290072 |   235432 |    24381     13 |     5785 |        0
864.00/864.41	c  861s |      17 |   290474 |   235832 |    24381     13 |     5785 |        0
866.30/866.75	c  863s |      17 |   290880 |   236232 |    24381     13 |     5785 |        0
868.50/868.93	c  866s |      17 |   291188 |   236532 |    24381     13 |     5785 |        0
870.69/871.13	c  868s |      17 |   291490 |   236832 |    24381     13 |     5785 |        0
872.89/873.40	c  870s |      17 |   291790 |   237132 |    24381     13 |     5785 |        0
875.20/875.66	c  872s |      17 |   292099 |   237432 |    24381     13 |     5785 |        0
877.79/878.24	c  875s |      17 |   292506 |   237832 |    24381     13 |     5785 |        0
880.09/880.55	c  877s |      17 |   292908 |   238232 |    24381     13 |     5785 |        0
882.29/882.76	c  879s |      17 |   293210 |   238532 |    24381     13 |     5785 |        0
884.49/884.94	c  882s |      17 |   293618 |   238932 |    24381     13 |     5785 |        0
886.69/887.16	c  884s |      17 |   294031 |   239332 |    24381     13 |     5785 |        0
889.29/889.79	c  886s |      17 |   294232 |   239532 |    24381     14 |     5785 |        0
893.49/893.91	c  891s |      17 |   294544 |   239832 |    24381     14 |     5785 |        0
895.49/895.93	c  893s |      17 |   294942 |   240232 |    24381     14 |     5785 |        0
897.69/898.13	c  895s |      17 |   295449 |   240732 |    24381     14 |     5785 |        0
899.89/900.35	c  897s |      17 |   295960 |   241232 |    24381     14 |     5785 |        0
901.99/902.43	c  899s |      17 |   296584 |   241832 |    24381     14 |     5785 |        0
904.09/904.59	c  901s |      17 |   296988 |   242232 |    24381     14 |     5785 |        0
906.39/906.89	c  904s |      17 |   297499 |   242732 |    24381     14 |     5785 |        0
908.69/909.19	c  906s |      17 |   298020 |   243232 |    24381     14 |     5785 |        0
910.89/911.37	c  908s |      17 |   298531 |   243732 |    24381     14 |     5785 |        0
913.29/913.76	c  910s |      17 |   299045 |   244232 |    24381     14 |     5785 |        0
915.59/916.06	c  913s |      17 |   299567 |   244732 |    24381     14 |     5785 |        0
917.69/918.14	c  915s |      17 |   299967 |   245132 |    24381     14 |     5785 |        0
920.19/920.60	c  917s |      17 |   300477 |   245632 |    24381     14 |     5785 |        0
922.59/923.06	c  920s |      17 |   300976 |   246132 |    24381     14 |     5785 |        0
924.59/925.07	c  922s |      17 |   301379 |   246532 |    24381     14 |     5785 |        0
926.69/927.13	c  924s |      17 |   301807 |   246932 |    24381     14 |     5785 |        0
928.79/929.20	c  926s |      17 |   302215 |   247332 |    24381     14 |     5785 |        0
930.89/931.32	c  928s |      17 |   302625 |   247732 |    24381     14 |     5785 |        0
933.29/933.75	c  930s |      17 |   303138 |   248232 |    24381     14 |     5785 |        0
935.28/935.79	c  932s |      17 |   303575 |   248632 |    24381     14 |     5785 |        0
937.38/937.84	c  934s |      17 |   303988 |   249032 |    24381     14 |     5785 |        0
939.48/939.96	c  937s |      17 |   304413 |   249432 |    24381     14 |     5785 |        0
941.88/942.38	c  939s |      17 |   304817 |   249832 |    24381     14 |     5785 |        0
944.28/944.77	c  941s |      17 |   305222 |   250232 |    24381     14 |     5785 |        0
946.69/947.11	c  944s |      17 |   305621 |   250632 |    24381     14 |     5785 |        0
949.38/949.83	c  946s |      17 |   306025 |   251032 |    24381     14 |     5785 |        0
951.98/952.40	c  949s |      17 |   306431 |   251432 |    24381     14 |     5785 |        0
953.98/954.44	c  951s |      17 |   306732 |   251732 |    24381     14 |     5785 |        0
956.59/957.09	c  954s |      17 |   307139 |   252132 |    24381     14 |     5785 |        0
959.08/959.55	c  956s |      17 |   307545 |   252532 |    24381     14 |     5785 |        0
961.09/961.59	c  958s |      17 |   307843 |   252832 |    24381     14 |     5785 |        0
963.38/963.87	c  961s |      17 |   308254 |   253232 |    24381     14 |     5785 |        0
965.88/966.35	c  963s |      17 |   308766 |   253732 |    24381     14 |     5785 |        0
968.18/968.64	c  965s |      17 |   309169 |   254132 |    24381     14 |     5785 |        0
970.28/970.70	c  967s |      17 |   309577 |   254532 |    24381     14 |     5785 |        0
972.38/972.83	c  969s |      17 |   309978 |   254932 |    24381     14 |     5785 |        0
974.68/975.19	c  972s |      17 |   310381 |   255332 |    24381     14 |     5785 |        0
977.18/977.63	c  974s |      17 |   310787 |   255732 |    24381     14 |     5785 |        0
979.28/979.78	c  976s |      17 |   311195 |   256132 |    24381     14 |     5785 |        0
981.48/981.92	c  979s |      17 |   311597 |   256532 |    24381     14 |     5785 |        0
983.88/984.33	c  981s |      17 |   312003 |   256932 |    24381     14 |     5785 |        0
986.38/986.84	c  983s |      17 |   312409 |   257332 |    24381     14 |     5785 |        0
990.18/990.63	c  987s |      17 |   312713 |   257632 |    24381     15 |     5785 |        0
992.28/992.73	c  989s |      17 |   313123 |   258032 |    24381     15 |     5785 |        0
994.28/994.79	c  991s |      17 |   313628 |   258532 |    24381     15 |     5785 |        0
996.58/997.08	c  994s |      17 |   314245 |   259132 |    24381     15 |     5785 |        0
998.98/999.40	c  996s |      17 |   314752 |   259632 |    24381     15 |     5785 |        0
1001.08/1001.51	c  998s |      17 |   315259 |   260132 |    24381     15 |     5785 |        0
1003.18/1003.69	c 1000s |      17 |   315762 |   260632 |    24381     15 |     5785 |        0
1005.38/1005.89	c 1003s |      17 |   316264 |   261132 |    24381     15 |     5785 |        0
1007.48/1007.99	c 1005s |      17 |   316570 |   261432 |    24381     15 |     5785 |        0
1009.88/1010.38	c 1007s |      17 |   317172 |   262032 |    24381     15 |     5785 |        0
1012.08/1012.56	c 1009s |      17 |   317378 |   262232 |    24381     15 |     5785 |        0
1014.18/1014.65	c 1011s |      17 |   317882 |   262732 |    24381     15 |     5785 |        0
1016.87/1017.33	c 1014s |      17 |   317991 |   262832 |    24381     15 |     5785 |        0
1019.28/1019.71	c 1016s |      17 |   318485 |   263332 |    24381     15 |     5785 |        0
1021.48/1021.96	c 1019s |      17 |   318999 |   263832 |    24381     15 |     5785 |        0
1023.57/1024.06	c 1021s |      17 |   319511 |   264332 |    24381     15 |     5785 |        0
1025.67/1026.15	c 1023s |      17 |   320013 |   264832 |    24381     15 |     5785 |        0
1027.77/1028.22	c 1025s |      17 |   320520 |   265332 |    24381     15 |     5785 |        0
1030.17/1030.67	c 1027s |      17 |   321040 |   265832 |    24381     15 |     5785 |        0
1032.27/1032.72	c 1029s |      17 |   321552 |   266332 |    24381     15 |     5785 |        0
1034.47/1034.98	c 1032s |      17 |   322066 |   266832 |    24381     15 |     5785 |        0
1036.88/1037.34	c 1034s |      17 |   322570 |   267332 |    24381     15 |     5785 |        0
1039.18/1039.69	c 1036s |      17 |   323081 |   267832 |    24381     15 |     5785 |        0
1041.57/1042.05	c 1039s |      17 |   323586 |   268332 |    24381     15 |     5785 |        0
1043.97/1044.49	c 1041s |      17 |   324097 |   268832 |    24381     15 |     5785 |        0
1046.37/1046.83	c 1043s |      17 |   324607 |   269332 |    24381     15 |     5785 |        0
1048.67/1049.19	c 1046s |      17 |   325108 |   269832 |    24381     15 |     5785 |        0
1050.77/1051.29	c 1048s |      17 |   325507 |   270232 |    24381     15 |     5785 |        0
1053.07/1053.56	c 1050s |      17 |   325911 |   270632 |    24381     15 |     5785 |        0
1055.17/1055.65	c 1052s |      17 |   326324 |   271032 |    24381     15 |     5785 |        0
1057.27/1057.72	c 1054s |      17 |   326737 |   271432 |    24381     15 |     5785 |        0
1059.27/1059.76	c 1056s |      17 |   327172 |   271832 |    24381     15 |     5785 |        0
1061.67/1062.15	c 1059s |      17 |   327691 |   272332 |    24381     15 |     5785 |        0
1063.97/1064.44	c 1061s |      17 |   328101 |   272732 |    24381     15 |     5785 |        0
1066.57/1067.08	c 1064s |      17 |   328502 |   273132 |    24381     15 |     5785 |        0
1068.96/1069.46	c 1066s |      17 |   328903 |   273532 |    24381     15 |     5785 |        0
1071.36/1071.84	c 1068s |      17 |   329306 |   273932 |    24381     15 |     5785 |        0
1074.06/1074.54	c 1071s |      17 |   329711 |   274332 |    24381     15 |     5785 |        0
1076.57/1077.08	c 1074s |      17 |   330110 |   274732 |    24381     15 |     5785 |        0
1079.06/1079.58	c 1076s |      17 |   330521 |   275132 |    24381     15 |     5785 |        0
1081.66/1082.10	c 1079s |      17 |   330919 |   275532 |    24381     15 |     5785 |        0
1084.86/1085.32	c 1082s |      17 |   331119 |   275732 |    24381     16 |     5785 |        0
1087.26/1087.72	c 1084s |      17 |   331424 |   276032 |    24381     16 |     5785 |        0
1089.26/1089.78	c 1086s |      17 |   331731 |   276332 |    24381     16 |     5785 |        0
1091.56/1092.08	c 1089s |      17 |   332346 |   276932 |    24381     16 |     5785 |        0
1093.86/1094.31	c 1091s |      17 |   332985 |   277532 |    24381     16 |     5785 |        0
1095.86/1096.33	c 1093s |      17 |   333510 |   278032 |    24381     16 |     5785 |        0
1098.26/1098.70	c 1095s |      17 |   334018 |   278532 |    24381     16 |     5785 |        0
1100.46/1100.92	c 1098s |      17 |   334524 |   279032 |    24381     16 |     5785 |        0
1102.66/1103.18	c 1100s |      17 |   335033 |   279532 |    24381     16 |     5785 |        0
1104.86/1105.38	c 1102s |      17 |   335544 |   280032 |    24381     16 |     5785 |        0
1107.16/1107.69	c 1104s |      17 |   336048 |   280532 |    24381     16 |     5785 |        0
1109.36/1109.87	c 1107s |      17 |   336565 |   281032 |    24381     16 |     5785 |        0
1111.66/1112.17	c 1109s |      17 |   336971 |   281432 |    24381     16 |     5785 |        0
1113.96/1114.47	c 1111s |      17 |   337374 |   281832 |    24381     16 |     5785 |        0
1116.45/1116.92	c 1114s |      17 |   337885 |   282332 |    24381     16 |     5785 |        0
1118.95/1119.43	c 1116s |      17 |   338393 |   282832 |    24381     16 |     5785 |        0
1121.25/1121.74	c 1118s |      17 |   338797 |   283232 |    24381     16 |     5785 |        0
1123.25/1123.75	c 1120s |      17 |   339207 |   283632 |    24381     16 |     5785 |        0
1125.55/1126.03	c 1123s |      17 |   339715 |   284132 |    24381     16 |     5785 |        0
1127.66/1128.16	c 1125s |      17 |   340119 |   284532 |    24381     16 |     5785 |        0
1129.86/1130.31	c 1127s |      17 |   340522 |   284932 |    24381     16 |     5785 |        0
1131.86/1132.32	c 1129s |      17 |   340935 |   285332 |    24381     16 |     5785 |        0
1134.26/1134.76	c 1131s |      17 |   341453 |   285832 |    24381     16 |     5785 |        0
1136.36/1136.85	c 1134s |      17 |   341862 |   286232 |    24381     16 |     5785 |        0
1138.36/1138.86	c 1136s |      17 |   342258 |   286632 |    24381     16 |     5785 |        0
1140.46/1140.98	c 1138s |      17 |   342669 |   287032 |    24381     16 |     5785 |        0
1142.96/1143.46	c 1140s |      17 |   343068 |   287432 |    24381     16 |     5785 |        0
1145.16/1145.65	c 1142s |      17 |   343478 |   287832 |    24381     16 |     5785 |        0
1147.46/1147.92	c 1145s |      17 |   343880 |   288232 |    24381     16 |     5785 |        0
1149.66/1150.10	c 1147s |      17 |   344295 |   288632 |    24381     16 |     5785 |        0
1152.06/1152.55	c 1149s |      17 |   344703 |   289032 |    24381     16 |     5785 |        0
1154.66/1155.14	c 1152s |      17 |   345111 |   289432 |    24381     16 |     5785 |        0
1157.96/1158.44	c 1155s |      17 |   345525 |   289832 |    24381     16 |     5785 |        0
1160.16/1160.63	c 1157s |      17 |   345940 |   290232 |    24381     16 |     5785 |        0
1162.15/1162.66	c 1159s |      17 |   346347 |   290632 |    24381     16 |     5785 |        0
1164.75/1165.21	c 1162s |      17 |   346755 |   291032 |    24381     16 |     5785 |        0
1167.05/1167.53	c 1164s |      17 |   347160 |   291432 |    24381     16 |     5785 |        0
1169.35/1169.89	c 1167s |      17 |   347566 |   291832 |    24381     16 |     5785 |        0
1171.45/1171.95	c 1169s |      17 |   347974 |   292232 |    24381     16 |     5785 |        0
1173.45/1173.99	c 1171s |      17 |   348374 |   292632 |    24381     16 |     5785 |        0
1175.56/1176.03	c 1173s |      17 |   348785 |   293032 |    24381     16 |     5785 |        0
1177.76/1178.26	c 1175s |      17 |   349191 |   293432 |    24381     16 |     5785 |        0
1180.65/1181.15	c 1178s |      17 |   349492 |   293732 |    24381     17 |     5785 |        0
1182.75/1183.24	c 1180s |      17 |   349806 |   294032 |    24381     17 |     5785 |        0
1185.15/1185.63	c 1182s |      17 |   350422 |   294632 |    26820     17 |     5785 |        0
1190.65/1191.14	c 1188s |      17 |   350634 |   294832 |    26820     17 |     5785 |        0
1192.95/1193.43	c 1190s |      17 |   351143 |   295332 |    26820     17 |     5785 |        0
1195.15/1195.66	c 1192s |      17 |   351652 |   295832 |    26820     17 |     5785 |        0
1197.05/1197.56	c 1194s |      18 |   352084 |   296252 |    26820     17 |     5785 |        0
1201.14/1201.68	c 1198s |      18 |   355700 |   296352 |    26820     17 |     5786 |        0
1203.24/1203.75	c 1200s |      18 |   359933 |   297252 |    26820     17 |     5786 |        0
1205.34/1205.89	c 1203s |      18 |   360802 |   298052 |    26820     17 |     5786 |        0
1207.45/1207.94	c 1205s |      18 |   361752 |   298852 |    26820     17 |     5786 |        0
1209.55/1210.05	c 1207s |      18 |   362750 |   299652 |    26820     17 |     5786 |        0
1211.75/1212.22	c 1209s |      18 |   363712 |   300452 |    26820     17 |     5786 |        0
1213.95/1214.47	c 1211s |      18 |   364701 |   301252 |    26820     17 |     5786 |        0
1216.04/1216.56	c 1213s |      18 |   365648 |   302052 |    26820     17 |     5786 |        0
1218.35/1218.88	c 1216s |      18 |   366549 |   302852 |    26820     17 |     5786 |        0
1220.55/1221.09	c 1218s |      18 |   367365 |   303552 |    26820     17 |     5786 |        0
1222.85/1223.32	c 1220s |      18 |   368133 |   304252 |    26820     17 |     5786 |        0
1225.05/1225.56	c 1222s |      18 |   368936 |   304952 |    26820     17 |     5786 |        0
1227.25/1227.75	c 1224s |      18 |   369618 |   305552 |    26820     17 |     5786 |        0
1229.35/1229.85	c 1226s |      18 |   370309 |   306152 |    26820     17 |     5786 |        0
1231.54/1232.08	c 1229s |      18 |   371127 |   306852 |    26820     17 |     5786 |        0
1233.94/1234.42	c 1231s |      18 |   371966 |   307552 |    26820     17 |     5786 |        0
1236.24/1236.73	c 1233s |      18 |   372608 |   308152 |    26820     17 |     5786 |        0
1238.64/1239.11	c 1236s |      18 |   373255 |   308752 |    26820     17 |     5786 |        0
1240.64/1241.14	c 1238s |      18 |   373822 |   309252 |    26820     17 |     5786 |        0
1242.94/1243.40	c 1240s |      18 |   374528 |   309852 |    26820     17 |     5786 |        0
1244.94/1245.48	c 1242s |      18 |   375119 |   310352 |    26820     17 |     5786 |        0
1247.34/1247.83	c 1244s |      18 |   375864 |   310952 |    26820     17 |     5786 |        0
1249.44/1249.98	c 1247s |      18 |   376711 |   311652 |    26820     17 |     5786 |        0
1251.54/1252.07	c 1249s |      18 |   377331 |   312152 |    26820     17 |     5786 |        0
1253.65/1254.12	c 1251s |      18 |   377921 |   312652 |    26820     17 |     5786 |        0
1255.75/1256.25	c 1253s |      18 |   378485 |   313152 |    26820     17 |     5786 |        0
1258.05/1258.53	c 1255s |      18 |   379218 |   313752 |    26820     17 |     5786 |        0
1260.04/1260.56	c 1257s |      18 |   379796 |   314252 |    26820     17 |     5786 |        0
1263.04/1263.57	c 1260s |      18 |   380335 |   314752 |    26820     18 |     5786 |        0
1265.04/1265.58	c 1262s |      18 |   380918 |   315252 |    26820     18 |     5786 |        0
1267.44/1267.94	c 1265s |      18 |   381694 |   315852 |    26820     18 |     5786 |        0
1269.64/1270.13	c 1267s |      18 |   382269 |   316352 |    26820     18 |     5786 |        0
1271.74/1272.21	c 1269s |      18 |   382866 |   316852 |    26820     18 |     5786 |        0
1274.14/1274.61	c 1271s |      18 |   383590 |   317452 |    26820     18 |     5786 |        0
1276.34/1276.88	c 1274s |      18 |   384320 |   318052 |    26820     18 |     5786 |        0
1278.73/1279.28	c 1276s |      18 |   385051 |   318652 |    26820     18 |     5786 |        0
1280.93/1281.48	c 1278s |      18 |   385602 |   319152 |    26820     18 |     5786 |        0
1282.93/1283.48	c 1280s |      18 |   386038 |   319552 |    26820     18 |     5786 |        0
1285.33/1285.87	c 1283s |      18 |   386588 |   320052 |    26820     18 |     5786 |        0
1287.64/1288.18	c 1285s |      18 |   387233 |   320552 |    26820     18 |     5786 |        0
1289.94/1290.42	c 1287s |      18 |   387841 |   321052 |    26820     18 |     5786 |        0
1292.33/1292.83	c 1289s |      18 |   388445 |   321552 |    26820     18 |     5786 |        0
1294.53/1295.09	c 1292s |      18 |   389012 |   322052 |    26820     18 |     5786 |        0
1297.03/1297.57	c 1294s |      18 |   389624 |   322552 |    26820     18 |     5786 |        0
1299.33/1299.85	c 1297s |      18 |   390205 |   323052 |    26820     18 |     5786 |        0
1301.73/1302.21	c 1299s |      18 |   390785 |   323552 |    26820     18 |     5786 |        0
1304.03/1304.60	c 1301s |      18 |   391362 |   324052 |    26820     18 |     5786 |        0
1306.13/1306.69	c 1303s |      18 |   391831 |   324452 |    26820     18 |     5786 |        0
1308.64/1309.11	c 1306s |      18 |   392487 |   324952 |    26820     18 |     5786 |        0
1310.84/1311.35	c 1308s |      18 |   393066 |   325452 |    26820     18 |     5786 |        0
1313.33/1313.84	c 1310s |      18 |   393677 |   325952 |    26820     18 |     5786 |        0
1315.83/1316.32	c 1313s |      18 |   394259 |   326452 |    26820     18 |     5786 |        0
1318.03/1318.51	c 1315s |      18 |   394694 |   326852 |    26820     18 |     5786 |        0
1320.03/1320.55	c 1317s |      18 |   395143 |   327252 |    26820     18 |     5786 |        0
1322.63/1323.10	c 1320s |      18 |   395726 |   327752 |    26820     18 |     5786 |        0
1324.73/1325.22	c 1322s |      18 |   396175 |   328152 |    26820     18 |     5786 |        0
1327.12/1327.66	c 1324s |      18 |   396748 |   328652 |    26820     18 |     5786 |        0
1329.62/1330.14	c 1327s |      18 |   397292 |   329152 |    26820     18 |     5786 |        0
1331.92/1332.42	c 1329s |      18 |   397815 |   329552 |    26820     18 |     5786 |        0
1334.02/1334.53	c 1331s |      18 |   398292 |   329952 |    26820     18 |     5786 |        0
1336.13/1336.66	c 1333s |      18 |   398760 |   330352 |    26820     18 |     5786 |        0
1338.62/1339.10	c 1336s |      18 |   399223 |   330752 |    26820     18 |     5786 |        0
1340.82/1341.35	c 1338s |      18 |   399694 |   331152 |    26820     18 |     5786 |        0
1343.12/1343.66	c 1340s |      18 |   400241 |   331652 |    26820     18 |     5786 |        0
1345.43/1345.92	c 1343s |      18 |   400709 |   332052 |    26820     18 |     5786 |        0
1347.93/1348.44	c 1345s |      18 |   401154 |   332452 |    26820     18 |     5786 |        0
1350.23/1350.76	c 1347s |      18 |   401627 |   332852 |    26820     18 |     5786 |        0
1352.53/1353.01	c 1350s |      18 |   402052 |   333252 |    26820     18 |     5786 |        0
1354.93/1355.45	c 1352s |      18 |   402470 |   333652 |    26820     18 |     5786 |        0
1357.23/1357.77	c 1354s |      18 |   402943 |   334052 |    26820     18 |     5786 |        0
1360.62/1361.10	c 1358s |      18 |   403268 |   334352 |    26820     19 |     5786 |        0
1363.02/1363.58	c 1360s |      18 |   403504 |   334552 |    26820     19 |     5786 |        0
1365.32/1365.81	c 1362s |      18 |   403955 |   334952 |    26820     19 |     5786 |        0
1367.42/1367.96	c 1365s |      18 |   404490 |   335452 |    26820     19 |     5786 |        0
1369.62/1370.10	c 1367s |      18 |   405036 |   335952 |    26820     19 |     5786 |        0
1371.92/1372.41	c 1369s |      18 |   405584 |   336452 |    26820     19 |     5786 |        0
1374.22/1374.78	c 1371s |      18 |   406125 |   336952 |    26820     19 |     5786 |        0
1376.73/1377.26	c 1374s |      18 |   406674 |   337452 |    26820     19 |     5786 |        0
1378.82/1379.30	c 1376s |      18 |   407094 |   337852 |    26820     19 |     5786 |        0
1380.92/1381.49	c 1378s |      18 |   407529 |   338252 |    26820     19 |     5786 |        0
1383.22/1383.74	c 1380s |      18 |   407957 |   338652 |    26820     19 |     5786 |        0
1385.52/1386.07	c 1383s |      18 |   408607 |   339152 |    26820     19 |     5786 |        0
1387.62/1388.14	c 1385s |      18 |   409091 |   339552 |    26820     19 |     5786 |        0
1389.82/1390.31	c 1387s |      18 |   409541 |   339952 |    26820     19 |     5786 |        0
1391.92/1392.48	c 1389s |      18 |   410025 |   340352 |    26820     19 |     5786 |        0
1394.12/1394.66	c 1391s |      18 |   410522 |   340752 |    26820     19 |     5786 |        0
1396.21/1396.75	c 1393s |      18 |   411031 |   341152 |    26820     19 |     5786 |        0
1398.41/1398.93	c 1396s |      18 |   411637 |   341652 |    26820     19 |     5786 |        0
1400.81/1401.37	c 1398s |      18 |   412235 |   342152 |    26820     19 |     5786 |        0
1403.12/1403.67	c 1400s |      18 |   412871 |   342652 |    26820     19 |     5786 |        0
1405.42/1405.93	c 1403s |      18 |   413359 |   343052 |    26820     19 |     5786 |        0
1407.41/1407.99	c 1405s |      18 |   413808 |   343452 |    26820     19 |     5786 |        0
1409.82/1410.34	c 1407s |      18 |   414357 |   343952 |    26820     19 |     5786 |        0
1412.11/1412.69	c 1409s |      18 |   414929 |   344452 |    26820     19 |     5786 |        0
1414.52/1415.08	c 1412s |      18 |   415395 |   344852 |    26820     19 |     5786 |        0
1416.91/1417.45	c 1414s |      18 |   416006 |   345352 |    26820     19 |     5786 |        0
1419.31/1419.84	c 1416s |      18 |   416602 |   345852 |    26820     19 |     5786 |        0
1421.31/1421.87	c 1419s |      18 |   417071 |   346252 |    26820     19 |     5786 |        0
1423.51/1424.00	c 1421s |      18 |   417553 |   346652 |    26820     19 |     5786 |        0
1425.71/1426.21	c 1423s |      18 |   418013 |   347052 |    26820     19 |     5786 |        0
1427.71/1428.26	c 1425s |      18 |   418514 |   347452 |    26820     19 |     5786 |        0
1430.01/1430.50	c 1427s |      18 |   418981 |   347852 |    26820     19 |     5786 |        0
1432.21/1432.76	c 1429s |      18 |   419497 |   348252 |    26820     19 |     5786 |        0
1434.31/1434.88	c 1432s |      18 |   419997 |   348652 |    26820     19 |     5786 |        0
1436.71/1437.22	c 1434s |      18 |   420441 |   349052 |    26820     19 |     5786 |        0
1438.91/1439.40	c 1436s |      18 |   420878 |   349452 |    26820     19 |     5786 |        0
1441.01/1441.56	c 1438s |      18 |   421310 |   349852 |    26820     19 |     5786 |        0
1443.11/1443.60	c 1440s |      18 |   421728 |   350252 |    26820     19 |     5786 |        0
1445.61/1446.15	c 1443s |      18 |   422356 |   350752 |    26820     19 |     5786 |        0
1447.81/1448.31	c 1445s |      18 |   422827 |   351152 |    26820     19 |     5786 |        0
1450.11/1450.67	c 1447s |      18 |   423247 |   351552 |    26820     19 |     5786 |        0
1452.31/1452.82	c 1449s |      18 |   423734 |   351952 |    26820     19 |     5786 |        0
1454.51/1455.08	c 1452s |      18 |   424183 |   352352 |    26820     19 |     5786 |        0
1456.61/1457.13	c 1454s |      18 |   424708 |   352752 |    26820     19 |     5786 |        0
1458.91/1459.42	c 1456s |      18 |   425196 |   353152 |    26820     19 |     5786 |        0
1461.11/1461.68	c 1458s |      18 |   425660 |   353552 |    26820     19 |     5786 |        0
1464.31/1464.87	c 1462s |      18 |   425990 |   353852 |    26820     20 |     5786 |        0
1466.51/1467.08	c 1464s |      18 |   426579 |   354352 |    26820     20 |     5786 |        0
1468.80/1469.38	c 1466s |      18 |   427254 |   354952 |    26820     20 |     5786 |        0
1471.00/1471.51	c 1468s |      18 |   427834 |   355452 |    26820     20 |     5786 |        0
1473.40/1473.91	c 1471s |      18 |   428446 |   355952 |    26820     20 |     5786 |        0
1475.60/1476.20	c 1473s |      18 |   429027 |   356452 |    26820     20 |     5786 |        0
1477.80/1478.31	c 1475s |      18 |   429528 |   356852 |    26820     20 |     5786 |        0
1480.00/1480.59	c 1477s |      18 |   430124 |   357352 |    26820     20 |     5786 |        0
1482.41/1482.97	c 1480s |      18 |   430722 |   357852 |    26820     20 |     5786 |        0
1484.90/1485.40	c 1482s |      18 |   431298 |   358352 |    26820     20 |     5786 |        0
1486.90/1487.42	c 1484s |      18 |   431751 |   358752 |    26820     20 |     5786 |        0
1489.01/1489.59	c 1486s |      18 |   432217 |   359152 |    26820     20 |     5786 |        0
1491.50/1492.02	c 1489s |      18 |   432803 |   359652 |    26820     20 |     5786 |        0
1493.90/1494.43	c 1491s |      18 |   433375 |   360152 |    26820     20 |     5786 |        0
1495.90/1496.49	c 1493s |      18 |   433819 |   360552 |    26820     20 |     5786 |        0
1498.00/1498.55	c 1495s |      18 |   434259 |   360952 |    26820     20 |     5786 |        0
1500.20/1500.71	c 1497s |      18 |   434713 |   361352 |    26820     20 |     5786 |        0
1502.40/1502.90	c 1500s |      18 |   435170 |   361752 |    26820     20 |     5786 |        0
1504.70/1505.25	c 1502s |      18 |   435804 |   362252 |    26820     20 |     5786 |        0
1506.80/1507.35	c 1504s |      18 |   436255 |   362652 |    26820     20 |     5786 |        0
1508.90/1509.42	c 1506s |      18 |   436744 |   363052 |    26820     20 |     5786 |        0
1511.10/1511.63	c 1508s |      18 |   437220 |   363452 |    26820     20 |     5786 |        0
1513.40/1513.91	c 1511s |      18 |   437655 |   363852 |    26820     20 |     5786 |        0
1515.79/1516.35	c 1513s |      18 |   438112 |   364252 |    26820     20 |     5786 |        0
1518.09/1518.66	c 1515s |      18 |   438615 |   364652 |    26820     20 |     5786 |        0
1520.19/1520.79	c 1517s |      18 |   439131 |   365052 |    26820     20 |     5786 |        0
1522.29/1522.80	c 1519s |      18 |   439646 |   365452 |    26820     20 |     5786 |        0
1524.39/1524.99	c 1522s |      18 |   440097 |   365852 |    26820     20 |     5786 |        0
1526.60/1527.14	c 1524s |      18 |   440558 |   366252 |    26820     20 |     5786 |        0
1529.00/1529.58	c 1526s |      18 |   441014 |   366652 |    26820     20 |     5786 |        0
1531.20/1531.73	c 1528s |      18 |   441489 |   367052 |    26820     20 |     5786 |        0
1533.40/1533.98	c 1531s |      18 |   441948 |   367452 |    26820     20 |     5786 |        0
1535.90/1536.43	c 1533s |      18 |   442422 |   367852 |    26820     20 |     5786 |        0
1538.30/1538.85	c 1535s |      18 |   442904 |   368252 |    26820     20 |     5786 |        0
1540.70/1541.29	c 1538s |      18 |   443341 |   368652 |    26820     20 |     5786 |        0
1543.30/1543.82	c 1540s |      18 |   443794 |   369052 |    26820     20 |     5786 |        0
1545.60/1546.19	c 1543s |      18 |   444245 |   369452 |    26820     20 |     5786 |        0
1547.70/1548.27	c 1545s |      18 |   444564 |   369752 |    26820     20 |     5786 |        0
1550.10/1550.69	c 1547s |      18 |   445085 |   370152 |    26820     20 |     5786 |        0
1552.50/1553.03	c 1550s |      18 |   445624 |   370552 |    26820     20 |     5786 |        0
1555.00/1555.53	c 1552s |      18 |   446060 |   370952 |    26820     20 |     5786 |        0
1556.99/1557.58	c 1554s |      18 |   446422 |   371252 |    26820     20 |     5786 |        0
1559.49/1560.02	c 1557s |      18 |   446916 |   371652 |    26820     20 |     5786 |        0
1561.50/1562.10	c 1559s |      18 |   447256 |   371952 |    26820     20 |     5786 |        0
1564.09/1564.60	c 1561s |      18 |   447745 |   372352 |    26820     20 |     5786 |        0
1566.49/1567.02	c 1564s |      18 |   448190 |   372752 |    26820     20 |     5786 |        0
1568.79/1569.37	c 1566s |      18 |   448668 |   373152 |    26820     20 |     5786 |        0
1571.29/1571.87	c 1569s |      18 |   448903 |   373352 |    26820     21 |     5786 |        0
1574.29/1574.88	c 1572s |      18 |   449389 |   373752 |    26820     21 |     5786 |        0
1576.69/1577.25	c 1574s |      18 |   449872 |   374152 |    26820     21 |     5786 |        0
1578.79/1579.30	c 1576s |      18 |   450305 |   374552 |    26820     21 |     5786 |        0
1581.09/1581.64	c 1578s |      18 |   450900 |   375052 |    26820     21 |     5786 |        0
1583.49/1584.09	c 1581s |      18 |   451499 |   375552 |    26820     21 |     5786 |        0
1585.59/1586.12	c 1583s |      18 |   451956 |   375952 |    26820     21 |     5786 |        0
1587.69/1588.22	c 1585s |      18 |   452411 |   376352 |    26820     21 |     5786 |        0
1589.79/1590.31	c 1587s |      18 |   452863 |   376752 |    26820     21 |     5786 |        0
1592.09/1592.65	c 1589s |      18 |   453328 |   377152 |    26820     21 |     5786 |        0
1594.59/1595.16	c 1592s |      18 |   453807 |   377552 |    26820     21 |     5786 |        0
1597.08/1597.62	c 1594s |      18 |   454241 |   377952 |    26820     21 |     5786 |        0
1599.18/1599.78	c 1596s |      18 |   454667 |   378352 |    26820     21 |     5786 |        0
1601.48/1602.01	c 1599s |      18 |   455114 |   378752 |    26820     21 |     5786 |        0
1603.58/1604.14	c 1601s |      18 |   455551 |   379152 |    26820     21 |     5786 |        0
1606.08/1606.61	c 1603s |      18 |   456011 |   379552 |    26820     21 |     5786 |        0
1608.08/1608.68	c 1605s |      18 |   456497 |   379952 |    26820     21 |     5786 |        0
1610.18/1610.73	c 1607s |      18 |   456976 |   380352 |    26820     21 |     5786 |        0
1612.38/1612.98	c 1610s |      18 |   457447 |   380752 |    26820     21 |     5786 |        0
1614.78/1615.34	c 1612s |      18 |   457895 |   381152 |    26820     21 |     5786 |        0
1616.98/1617.59	c 1614s |      18 |   458365 |   381552 |    26820     21 |     5786 |        0
1619.28/1619.87	c 1617s |      18 |   458824 |   381952 |    26820     21 |     5786 |        0
1621.48/1622.06	c 1619s |      18 |   459320 |   382352 |    26820     21 |     5786 |        0
1624.08/1624.65	c 1621s |      18 |   459760 |   382752 |    26820     21 |     5786 |        0
1626.58/1627.11	c 1624s |      18 |   460224 |   383152 |    26820     21 |     5786 |        0
1628.88/1629.46	c 1626s |      18 |   460673 |   383552 |    26820     21 |     5786 |        0
1631.28/1631.82	c 1628s |      18 |   461259 |   384052 |    26820     21 |     5786 |        0
1633.28/1633.85	c 1630s |      18 |   461729 |   384452 |    26820     21 |     5786 |        0
1635.78/1636.33	c 1633s |      18 |   462220 |   384852 |    26820     21 |     5786 |        0
1638.08/1638.68	c 1635s |      18 |   462679 |   385252 |    26820     21 |     5786 |        0
1640.58/1641.17	c 1638s |      18 |   463122 |   385652 |    26820     21 |     5786 |        0
1643.08/1643.67	c 1640s |      18 |   463588 |   386052 |    26820     21 |     5786 |        0
1645.18/1645.71	c 1642s |      18 |   463932 |   386352 |    26820     21 |     5786 |        0
1647.28/1647.82	c 1644s |      18 |   464247 |   386652 |    26820     21 |     5786 |        0
1649.37/1650.00	c 1647s |      18 |   464573 |   386952 |    26820     21 |     5786 |        0
1651.78/1652.39	c 1649s |      18 |   464997 |   387352 |    26820     21 |     5786 |        0
1654.27/1654.87	c 1652s |      18 |   465439 |   387752 |    26820     21 |     5786 |        0
1656.97/1657.52	c 1654s |      18 |   465874 |   388152 |    26820     21 |     5786 |        0
1659.27/1659.82	c 1656s |      18 |   466215 |   388452 |    26820     21 |     5786 |        0
1661.97/1662.56	c 1659s |      18 |   466669 |   388852 |    26820     21 |     5786 |        0
1664.47/1665.05	c 1662s |      18 |   467134 |   389252 |    26820     21 |     5786 |        0
1666.97/1667.52	c 1664s |      18 |   467575 |   389652 |    26820     21 |     5786 |        0
1669.38/1669.98	c 1667s |      18 |   468059 |   390052 |    26820     21 |     5786 |        0
1671.58/1672.16	c 1669s |      18 |   468383 |   390352 |    26820     21 |     5786 |        0
1673.57/1674.18	c 1671s |      18 |   468709 |   390652 |    26820     21 |     5786 |        0
1675.89/1676.45	c 1673s |      18 |   469054 |   390952 |    26820     21 |     5786 |        0
1678.08/1678.64	c 1675s |      18 |   469390 |   391252 |    26820     21 |     5786 |        0
1680.78/1681.36	c 1678s |      18 |   469829 |   391652 |    26820     21 |     5786 |        0
1683.08/1683.64	c 1680s |      18 |   470136 |   391952 |    26820     21 |     5786 |        0
1685.27/1685.86	c 1683s |      18 |   470455 |   392252 |    26820     21 |     5786 |        0
1687.67/1688.26	c 1685s |      18 |   470937 |   392652 |    26820     21 |     5786 |        0
1691.47/1692.01	c 1689s |      18 |   471259 |   392952 |    26820     22 |     5786 |        0
1693.48/1694.07	c 1691s |      18 |   471573 |   393252 |    26820     22 |     5786 |        0
1695.97/1696.53	c 1693s |      18 |   472133 |   393752 |    26820     22 |     5786 |        0
1698.07/1698.66	c 1695s |      18 |   472582 |   394152 |    26820     22 |     5786 |        0
1700.27/1700.86	c 1698s |      18 |   473012 |   394552 |    26820     22 |     5786 |        0
1702.77/1703.31	c 1700s |      18 |   473261 |   394752 |    26820     22 |     5786 |        0
1704.97/1705.53	c 1702s |      18 |   473877 |   395252 |    26820     22 |     5786 |        0
1707.17/1707.72	c 1704s |      18 |   474563 |   395752 |    26820     22 |     5786 |        0
1709.67/1710.22	c 1707s |      18 |   475149 |   396252 |    26820     22 |     5786 |        0
1711.86/1712.45	c 1709s |      18 |   475699 |   396752 |    26820     22 |     5786 |        0
1714.16/1714.70	c 1711s |      18 |   476288 |   397252 |    26820     22 |     5786 |        0
1716.26/1716.89	c 1714s |      18 |   476942 |   397752 |    26820     22 |     5786 |        0
1718.56/1719.19	c 1716s |      18 |   477607 |   398252 |    26820     22 |     5786 |        0
1720.97/1721.52	c 1718s |      18 |   478195 |   398752 |    26820     22 |     5786 |        0
1723.06/1723.64	c 1720s |      18 |   478745 |   399252 |    26820     22 |     5786 |        0
1725.37/1725.91	c 1723s |      18 |   479274 |   399752 |    26820     22 |     5786 |        0
1727.86/1728.45	c 1725s |      18 |   479845 |   400252 |    26820     22 |     5786 |        0
1730.16/1730.73	c 1727s |      18 |   480267 |   400652 |    26820     22 |     5786 |        0
1732.46/1733.04	c 1730s |      18 |   480703 |   401052 |    26820     22 |     5786 |        0
1734.56/1735.10	c 1732s |      18 |   481181 |   401452 |    26820     22 |     5786 |        0
1736.66/1737.22	c 1734s |      18 |   481804 |   401952 |    26820     22 |     5786 |        0
1738.96/1739.54	c 1736s |      18 |   482405 |   402452 |    26820     22 |     5786 |        0
1741.46/1742.05	c 1739s |      18 |   482954 |   402952 |    26820     22 |     5786 |        0
1743.56/1744.13	c 1741s |      18 |   483382 |   403352 |    26820     22 |     5786 |        0
1745.87/1746.42	c 1743s |      18 |   483939 |   403852 |    26820     22 |     5786 |        0
1748.07/1748.64	c 1745s |      18 |   484537 |   404352 |    26820     22 |     5786 |        0
1750.27/1750.89	c 1748s |      18 |   485168 |   404852 |    26820     22 |     5786 |        0
1752.37/1752.92	c 1750s |      18 |   485642 |   405252 |    26820     22 |     5786 |        0
1754.37/1754.95	c 1752s |      18 |   486145 |   405652 |    26820     22 |     5786 |        0
1756.56/1757.14	c 1754s |      18 |   486580 |   406052 |    26820     22 |     5786 |        0
1758.96/1759.55	c 1756s |      18 |   487130 |   406552 |    26820     22 |     5786 |        0
1760.96/1761.55	c 1758s |      18 |   487632 |   406952 |    26820     22 |     5786 |        0
1763.26/1763.83	c 1760s |      18 |   488475 |   407652 |    26820     22 |     5786 |        0
1765.56/1766.15	c 1763s |      18 |   489080 |   408152 |    26820     22 |     5786 |        0
1767.66/1768.27	c 1765s |      18 |   489548 |   408552 |    26820     22 |     5786 |        0
1769.86/1770.45	c 1767s |      18 |   490011 |   408952 |    26820     22 |     5786 |        0
1772.06/1772.63	c 1769s |      18 |   490497 |   409352 |    26820     22 |     5786 |        0
1774.16/1774.71	c 1771s |      18 |   490980 |   409752 |    26820     22 |     5786 |        0
1776.26/1776.87	c 1774s |      18 |   491506 |   410152 |    26820     22 |     5786 |        0
1778.46/1779.04	c 1776s |      18 |   492002 |   410552 |    26820     22 |     5786 |        0
1780.86/1781.41	c 1778s |      18 |   492529 |   410952 |    26820     22 |     5786 |        0
1782.86/1783.42	c 1780s |      18 |   492893 |   411252 |    26820     22 |     5786 |        0
1785.66/1786.28	c 1783s |      18 |   493357 |   411652 |    26820     22 |     5786 |        0
1787.96/1788.55	c 1785s |      18 |   493807 |   412052 |    26820     22 |     5786 |        0
1792.26/1792.83	c 1789s |      18 |   494266 |   412452 |    26820     23 |     5786 |        0
1794.35/1794.90	c 1792s |      18 |   494631 |   412752 |    26820     23 |     5786 |        0
1796.35/1796.95	c 1794s |      18 |   495413 |   413352 |    26820     23 |     5786 |        0
1798.65/1799.26	c 1796s |      18 |   496279 |   414052 |    26820     23 |     5786 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4103301-1466235230/watcher-4103301-1466235230 -o /tmp/evaluation-result-4103301-1466235230/solver-4103301-1466235230 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16205 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103301-1466235230.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.43 2.34 2.28 4/179 21212
/proc/meminfo: memFree=25020048/32872528 swapFree=1459628/1655852
[pid=21212] ppid=21209 vsize=715196 CPUtime=0 cores=0,2,4,6
/proc/21212/stat : 21212 (toysat) R 21209 21212 16189 0 -1 4202496 2667 0 0 0 0 0 0 0 20 0 4 0 25568519 732360704 3027 33554432000 4194304 16246674 140736342153744 140736342153168 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21212/statm: 179567 3037 441 2943 0 176461 0
[pid=21212/tid=21213] ppid=21209 vsize=733628 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21213/stat : 21213 (toysat) S 21209 21212 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25568519 751235072 3098 33554432000 4194304 16246674 140736342153744 139834220850416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21212/tid=21214] ppid=21209 vsize=737724 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21214/stat : 21214 (toysat) S 21209 21212 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25568519 755429376 3114 33554432000 4194304 16246674 140736342153744 139834135915760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21212/tid=21215] ppid=21209 vsize=741820 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21215/stat : 21215 (toysat) S 21209 21212 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25568519 759623680 3131 33554432000 4194304 16246674 140736342153744 139834125442224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100136 s]
/proc/loadavg: 2.43 2.34 2.28 4/179 21212
/proc/meminfo: memFree=25020048/32872528 swapFree=1459628/1655852
[pid=21212] ppid=21209 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/21212/stat : 21212 (toysat) R 21209 21212 16189 0 -1 4202496 29432 0 0 0 6 3 0 0 20 0 4 0 25568519 1334382592 29730 33554432000 4194304 16246674 140736342153744 140736342152960 7377409 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21212/statm: 325777 29743 801 2943 0 322671 0
[pid=21212/tid=21213] ppid=21209 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21213/stat : 21213 (toysat) S 21209 21212 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25568519 1334382592 29753 33554432000 4194304 16246674 140736342153744 139834220850416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21212/tid=21214] ppid=21209 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21214/stat : 21214 (toysat) S 21209 21212 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25568519 1334382592 29765 33554432000 4194304 16246674 140736342153744 139834135915760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21212/tid=21215] ppid=21209 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21215/stat : 21215 (toysat) S 21209 21212 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568519 1334382592 29776 33554432000 4194304 16246674 140736342153744 139834125442224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.20045 s]
/proc/loadavg: 2.43 2.34 2.28 4/179 21212
/proc/meminfo: memFree=25020048/32872528 swapFree=1459628/1655852
[pid=21212] ppid=21209 vsize=1310276 CPUtime=0.19 cores=0,2,4,6
/proc/21212/stat : 21212 (toysat) R 21209 21212 16189 0 -1 4202496 42164 0 0 0 14 5 0 0 20 0 4 0 25568519 1341722624 42462 33554432000 4194304 16246674 140736342153744 140736342152960 12429162 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21212/statm: 327569 42462 833 2943 0 324463 0
[pid=21212/tid=21213] ppid=21209 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21213/stat : 21213 (toysat) S 21209 21212 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25568519 1341722624 42462 33554432000 4194304 16246674 140736342153744 139834220850416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21212/tid=21214] ppid=21209 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21214/stat : 21214 (toysat) S 21209 21212 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25568519 1341722624 42462 33554432000 4194304 16246674 140736342153744 139834135915760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21212/tid=21215] ppid=21209 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21215/stat : 21215 (toysat) S 21209 21212 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568519 1341722624 42462 33554432000 4194304 16246674 140736342153744 139834125442224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300463 s]
/proc/loadavg: 2.43 2.34 2.28 4/179 21212
/proc/meminfo: memFree=25020048/32872528 swapFree=1459628/1655852
[pid=21212] ppid=21209 vsize=1310276 CPUtime=0.29 cores=0,2,4,6
/proc/21212/stat : 21212 (toysat) R 21209 21212 16189 0 -1 4202496 65895 0 0 0 21 8 0 0 20 0 4 0 25568519 1341722624 66193 33554432000 4194304 16246674 140736342153744 140736342152960 12449399 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21212/statm: 327569 66207 834 2943 0 324463 0
[pid=21212/tid=21213] ppid=21209 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21213/stat : 21213 (toysat) S 21209 21212 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25568519 1341722624 66217 33554432000 4194304 16246674 140736342153744 139834220850416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21212/tid=21214] ppid=21209 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21214/stat : 21214 (toysat) S 21209 21212 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25568519 1341722624 66228 33554432000 4194304 16246674 140736342153744 139834135915760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21212/tid=21215] ppid=21209 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21215/stat : 21215 (toysat) S 21209 21212 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568519 1341722624 66238 33554432000 4194304 16246674 140736342153744 139834125442224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1310276

[startup+0.700381 s]
/proc/loadavg: 2.43 2.34 2.28 4/179 21212
/proc/meminfo: memFree=25020048/32872528 swapFree=1459628/1655852
[pid=21212] ppid=21209 vsize=1310276 CPUtime=0.69 cores=0,2,4,6
/proc/21212/stat : 21212 (toysat) R 21209 21212 16189 0 -1 4202496 189466 0 0 0 46 23 0 0 20 0 4 0 25568519 1341722624 189765 33554432000 4194304 16246674 140736342153744 140736342135616 12449130 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21212/statm: 327569 189780 834 2943 0 324463 0
[pid=21212/tid=21213] ppid=21209 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21213/stat : 21213 (toysat) S 21209 21212 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25568519 1341722624 189792 33554432000 4194304 16246674 140736342153744 139834220850416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21212/tid=21214] ppid=21209 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21214/stat : 21214 (toysat) S 21209 21212 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25568519 1341722624 189804 33554432000 4194304 16246674 140736342153744 139834135915760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21212/tid=21215] ppid=21209 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21215/stat : 21215 (toysat) S 21209 21212 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568519 1341722624 189815 33554432000 4194304 16246674 140736342153744 139834125442224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1310276

[startup+1.50042 s]
/proc/loadavg: 2.40 2.33 2.28 3/183 21216
/proc/meminfo: memFree=23935292/32872528 swapFree=1459628/1655852
[pid=21212] ppid=21209 vsize=1320516 CPUtime=1.49 cores=0,2,4,6
/proc/21212/stat : 21212 (toysat) R 21209 21212 16189 0 -1 4202496 271258 0 0 0 115 34 0 0 20 0 4 0 25568519 1352208384 271556 33554432000 4194304 16246674 140736342153744 140736342152920 12654343 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21212/statm: 330129 271556 834 2943 0 327023 0
[pid=21212/tid=21213] ppid=21209 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21213/stat : 21213 (toysat) S 21209 21212 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25568519 1352208384 271556 33554432000 4194304 16246674 140736342153744 139834220850416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21212/tid=21214] ppid=21209 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21214/stat : 21214 (toysat) S 21209 21212 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25568519 1352208384 271556 33554432000 4194304 16246674 140736342153744 139834135915760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21212/tid=21215] ppid=21209 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21215/stat : 21215 (toysat) S 21209 21212 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568519 1352208384 271556 33554432000 4194304 16246674 140736342153744 139834125442224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1320516

[startup+3.10039 s]
/proc/loadavg: 2.40 2.33 2.28 3/183 21216
/proc/meminfo: memFree=23934548/32872528 swapFree=1459628/1655852
[pid=21212] ppid=21209 vsize=1320516 CPUtime=3.09 cores=0,2,4,6
/proc/21212/stat : 21212 (toysat) R 21209 21212 16189 0 -1 4202496 271312 0 0 0 275 34 0 0 20 0 4 0 25568519 1352208384 271610 33554432000 4194304 16246674 140736342153744 140736342135616 5600804 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21212/statm: 330129 271610 887 2943 0 327023 0
[pid=21212/tid=21213] ppid=21209 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21213/stat : 21213 (toysat) S 21209 21212 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25568519 1352208384 271610 33554432000 4194304 16246674 140736342153744 139834220850416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21212/tid=21214] ppid=21209 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21214/stat : 21214 (toysat) S 21209 21212 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25568519 1352208384 271610 33554432000 4194304 16246674 140736342153744 139834135915760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21212/tid=21215] ppid=21209 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21215/stat : 21215 (toysat) S 21209 21212 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568519 1352208384 271610 33554432000 4194304 16246674 140736342153744 139834125442224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1320516

[startup+6.30039 s]
/proc/loadavg: 2.40 2.33 2.28 3/183 21216
/proc/meminfo: memFree=23934660/32872528 swapFree=1459628/1655852
[pid=21212] ppid=21209 vsize=1320516 CPUtime=6.29 cores=0,2,4,6
/proc/21212/stat : 21212 (toysat) R 21209 21212 16189 0 -1 4202496 271317 0 0 0 595 34 0 0 20 0 4 0 25568519 1352208384 271615 33554432000 4194304 16246674 140736342153744 140736342135616 5599933 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21212/statm: 330129 271615 890 2943 0 327023 0
[pid=21212/tid=21213] ppid=21209 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21213/stat : 21213 (toysat) S 21209 21212 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25568519 1352208384 271615 33554432000 4194304 16246674 140736342153744 139834220850416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21212/tid=21214] ppid=21209 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21214/stat : 21214 (toysat) S 21209 21212 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25568519 1352208384 271615 33554432000 4194304 16246674 140736342153744 139834135915760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21212/tid=21215] ppid=21209 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21215/stat : 21215 (toysat) S 21209 21212 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568519 1352208384 271615 33554432000 4194304 16246674 140736342153744 139834125442224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1320516

[startup+12.7004 s]
/proc/loadavg: 2.41 2.34 2.28 3/183 21216
/proc/meminfo: memFree=25069348/32872528 swapFree=1459628/1655852
[pid=21212] ppid=21209 vsize=1320516 CPUtime=12.69 cores=0,2,4,6
/proc/21212/stat : 21212 (toysat) R 21209 21212 16189 0 -1 4202496 271317 0 0 0 1235 34 0 0 20 0 4 0 25568519 1352208384 271615 33554432000 4194304 16246674 140736342153744 140736342135616 5600804 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21212/statm: 330129 271615 890 2943 0 327023 0
[pid=21212/tid=21213] ppid=21209 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21213/stat : 21213 (toysat) S 21209 21212 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25568519 1352208384 271615 33554432000 4194304 16246674 140736342153744 139834220850416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21212/tid=21214] ppid=21209 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21214/stat : 21214 (toysat) S 21209 21212 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25568519 1352208384 271615 33554432000 4194304 16246674 140736342153744 139834135915760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21212/tid=21215] ppid=21209 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21215/stat : 21215 (toysat) S 21209 21212 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568519 1352208384 271615 33554432000 4194304 16246674 140736342153744 139834125442224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1320516

[startup+25.5005 s]
/proc/loadavg: 2.35 2.33 2.28 4/183 21216
/proc/meminfo: memFree=24234188/32872528 swapFree=1459628/1655852
[pid=21212] ppid=21209 vsize=1320516 CPUtime=25.49 cores=0,2,4,6
/proc/21212/stat : 21212 (toysat) R 21209 21212 16189 0 -1 4202496 271322 0 0 0 2515 34 0 0 20 0 4 0 25568519 1352208384 271620 33554432000 4194304 16246674 140736342153744 140736342135616 5722987 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21212/statm: 330129 271620 895 2943 0 327023 0
[pid=21212/tid=21213] ppid=21209 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21213/stat : 21213 (toysat) S 21209 21212 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25568519 1352208384 271620 33554432000 4194304 16246674 140736342153744 139834220850416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21212/tid=21214] ppid=21209 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21214/stat : 21214 (toysat) S 21209 21212 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25568519 1352208384 271620 33554432000 4194304 16246674 140736342153744 139834135915760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21212/tid=21215] ppid=21209 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21215/stat : 21215 (toysat) S 21209 21212 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568519 1352208384 271620 33554432000 4194304 16246674 140736342153744 139834125442224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1320516

[startup+51.1005 s]
/proc/loadavg: 2.35 2.33 2.28 3/183 21216
/proc/meminfo: memFree=27636600/32872528 swapFree=1459628/1655852
[pid=21212] ppid=21209 vsize=1320516 CPUtime=51.08 cores=0,2,4,6
/proc/21212/stat : 21212 (toysat) R 21209 21212 16189 0 -1 4202496 271323 0 0 0 5074 34 0 0 20 0 4 0 25568519 1352208384 271621 33554432000 4194304 16246674 140736342153744 140736342152920 6020491 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21212/statm: 330129 271621 896 2943 0 327023 0
[pid=21212/tid=21213] ppid=21209 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21213/stat : 21213 (toysat) S 21209 21212 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25568519 1352208384 271621 33554432000 4194304 16246674 140736342153744 139834220850416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21212/tid=21214] ppid=21209 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21214/stat : 21214 (toysat) S 21209 21212 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25568519 1352208384 271621 33554432000 4194304 16246674 140736342153744 139834135915760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21212/tid=21215] ppid=21209 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21215/stat : 21215 (toysat) S 21209 21212 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568519 1352208384 271621 33554432000 4194304 16246674 140736342153744 139834125442224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1320516

[startup+102.3 s]
/proc/loadavg: 2.42 2.35 2.29 4/183 21217
/proc/meminfo: memFree=24387512/32872528 swapFree=1459628/1655852
[pid=21212] ppid=21209 vsize=1320516 CPUtime=102.28 cores=0,2,4,6
/proc/21212/stat : 21212 (toysat) R 21209 21212 16189 0 -1 4202496 271327 0 0 0 10194 34 0 0 20 0 4 0 25568519 1352208384 271625 33554432000 4194304 16246674 140736342153744 140736342135616 5600048 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21212/statm: 330129 271625 900 2943 0 327023 0
[pid=21212/tid=21213] ppid=21209 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21213/stat : 21213 (toysat) S 21209 21212 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25568519 1352208384 271625 33554432000 4194304 16246674 140736342153744 139834220850416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21212/tid=21214] ppid=21209 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21214/stat : 21214 (toysat) S 21209 21212 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25568519 1352208384 271625 33554432000 4194304 16246674 140736342153744 139834135915760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21212/tid=21215] ppid=21209 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21215/stat : 21215 (toysat) S 21209 21212 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568519 1352208384 271625 33554432000 4194304 16246674 140736342153744 139834125442224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1320516


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

/proc/21212/task/21215/stat : 21215 (toysat) S 21209 21212 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568519 1484328960 304138 33554432000 4194304 16246674 140736342153744 139834125442224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1449540

[startup+1302.3 s]
/proc/loadavg: 2.26 2.23 2.23 3/183 21295
/proc/meminfo: memFree=14202192/32872528 swapFree=1459628/1655852
[pid=21212] ppid=21209 vsize=1449540 CPUtime=1301.83 cores=0,2,4,6
/proc/21212/stat : 21212 (toysat) R 21209 21212 16189 0 -1 4202496 304005 0 0 0 130135 48 0 0 20 0 4 0 25568519 1484328960 304138 33554432000 4194304 16246674 140736342153744 140736342135616 5545784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21212/statm: 362385 304138 901 2943 0 359279 0
[pid=21212/tid=21213] ppid=21209 vsize=1449540 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21213/stat : 21213 (toysat) S 21209 21212 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25568519 1484328960 304138 33554432000 4194304 16246674 140736342153744 139834220850416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21212/tid=21214] ppid=21209 vsize=1449540 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21214/stat : 21214 (toysat) S 21209 21212 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25568519 1484328960 304138 33554432000 4194304 16246674 140736342153744 139834135915760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21212/tid=21215] ppid=21209 vsize=1449540 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21215/stat : 21215 (toysat) S 21209 21212 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568519 1484328960 304138 33554432000 4194304 16246674 140736342153744 139834125442224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1449540

[startup+1362.3 s]
/proc/loadavg: 2.23 2.23 2.23 3/183 21296
/proc/meminfo: memFree=15349028/32872528 swapFree=1459628/1655852
[pid=21212] ppid=21209 vsize=1471044 CPUtime=1361.82 cores=0,2,4,6
/proc/21212/stat : 21212 (toysat) R 21209 21212 16189 0 -1 4202496 309370 0 0 0 136132 50 0 0 20 0 4 0 25568519 1506349056 309503 33554432000 4194304 16246674 140736342153744 140736342152920 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21212/statm: 367761 309503 901 2943 0 364655 0
[pid=21212/tid=21213] ppid=21209 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21213/stat : 21213 (toysat) S 21209 21212 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25568519 1506349056 309503 33554432000 4194304 16246674 140736342153744 139834220850416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21212/tid=21214] ppid=21209 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21214/stat : 21214 (toysat) S 21209 21212 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25568519 1506349056 309503 33554432000 4194304 16246674 140736342153744 139834135915760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21212/tid=21215] ppid=21209 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21215/stat : 21215 (toysat) S 21209 21212 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568519 1506349056 309503 33554432000 4194304 16246674 140736342153744 139834125442224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1471044

[startup+1422.3 s]
/proc/loadavg: 2.20 2.23 2.23 3/183 21297
/proc/meminfo: memFree=23900756/32872528 swapFree=1459628/1655852
[pid=21212] ppid=21209 vsize=1567300 CPUtime=1421.82 cores=0,2,4,6
/proc/21212/stat : 21212 (toysat) R 21209 21212 16189 0 -1 4202496 333388 0 0 0 142128 54 0 0 20 0 4 0 25568519 1604915200 333521 33554432000 4194304 16246674 140736342153744 140736342152920 5673957 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21212/statm: 391825 333521 902 2943 0 388719 0
[pid=21212/tid=21213] ppid=21209 vsize=1567300 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21213/stat : 21213 (toysat) S 21209 21212 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25568519 1604915200 333521 33554432000 4194304 16246674 140736342153744 139834220850416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21212/tid=21214] ppid=21209 vsize=1567300 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21214/stat : 21214 (toysat) S 21209 21212 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25568519 1604915200 333521 33554432000 4194304 16246674 140736342153744 139834135915760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21212/tid=21215] ppid=21209 vsize=1567300 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21215/stat : 21215 (toysat) S 21209 21212 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568519 1604915200 333521 33554432000 4194304 16246674 140736342153744 139834125442224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1567300

[startup+1482.3 s]
/proc/loadavg: 2.26 2.24 2.23 3/183 21298
/proc/meminfo: memFree=14070048/32872528 swapFree=1459628/1655852
[pid=21212] ppid=21209 vsize=1567300 CPUtime=1481.8 cores=0,2,4,6
/proc/21212/stat : 21212 (toysat) R 21209 21212 16189 0 -1 4202496 333447 0 0 0 148126 54 0 0 20 0 4 0 25568519 1604915200 333580 33554432000 4194304 16246674 140736342153744 140736342152920 5712536 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21212/statm: 391825 333580 902 2943 0 388719 0
[pid=21212/tid=21213] ppid=21209 vsize=1567300 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21213/stat : 21213 (toysat) S 21209 21212 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25568519 1604915200 333580 33554432000 4194304 16246674 140736342153744 139834220850416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21212/tid=21214] ppid=21209 vsize=1567300 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21214/stat : 21214 (toysat) S 21209 21212 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25568519 1604915200 333580 33554432000 4194304 16246674 140736342153744 139834135915760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21212/tid=21215] ppid=21209 vsize=1567300 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21215/stat : 21215 (toysat) S 21209 21212 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568519 1604915200 333580 33554432000 4194304 16246674 140736342153744 139834125442224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1567300

[startup+1542.31 s]
/proc/loadavg: 2.31 2.26 2.23 3/183 21300
/proc/meminfo: memFree=21556068/32872528 swapFree=1459628/1655852
[pid=21212] ppid=21209 vsize=1567300 CPUtime=1541.8 cores=0,2,4,6
/proc/21212/stat : 21212 (toysat) R 21209 21212 16189 0 -1 4202496 333447 0 0 0 154125 55 0 0 20 0 4 0 25568519 1604915200 333580 33554432000 4194304 16246674 140736342153744 140736342135616 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21212/statm: 391825 333580 902 2943 0 388719 0
[pid=21212/tid=21213] ppid=21209 vsize=1567300 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21213/stat : 21213 (toysat) S 21209 21212 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25568519 1604915200 333580 33554432000 4194304 16246674 140736342153744 139834220850416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21212/tid=21214] ppid=21209 vsize=1567300 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21214/stat : 21214 (toysat) S 21209 21212 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25568519 1604915200 333580 33554432000 4194304 16246674 140736342153744 139834135915760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21212/tid=21215] ppid=21209 vsize=1567300 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21215/stat : 21215 (toysat) S 21209 21212 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568519 1604915200 333580 33554432000 4194304 16246674 140736342153744 139834125442224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1567300

[startup+1602.3 s]
/proc/loadavg: 2.19 2.24 2.23 3/184 21304
/proc/meminfo: memFree=15823936/32872528 swapFree=1459628/1655852
[pid=21212] ppid=21209 vsize=1629764 CPUtime=1601.78 cores=0,2,4,6
/proc/21212/stat : 21212 (toysat) R 21209 21212 16189 0 -1 4202496 348823 0 0 0 160121 57 0 0 20 0 4 0 25568519 1668878336 348956 33554432000 4194304 16246674 140736342153744 140736342135616 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21212/statm: 407441 348956 902 2943 0 404335 0
[pid=21212/tid=21213] ppid=21209 vsize=1629764 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21213/stat : 21213 (toysat) S 21209 21212 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25568519 1668878336 348956 33554432000 4194304 16246674 140736342153744 139834220850416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21212/tid=21214] ppid=21209 vsize=1629764 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21214/stat : 21214 (toysat) S 21209 21212 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25568519 1668878336 348956 33554432000 4194304 16246674 140736342153744 139834135915760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21212/tid=21215] ppid=21209 vsize=1629764 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21215/stat : 21215 (toysat) S 21209 21212 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568519 1668878336 348956 33554432000 4194304 16246674 140736342153744 139834125442224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1629764

[startup+1662.3 s]
/proc/loadavg: 2.35 2.27 2.24 3/184 21328
/proc/meminfo: memFree=14794216/32872528 swapFree=1459628/1655852
[pid=21212] ppid=21209 vsize=1629764 CPUtime=1661.77 cores=0,2,4,6
/proc/21212/stat : 21212 (toysat) R 21209 21212 16189 0 -1 4202496 348823 0 0 0 166120 57 0 0 20 0 4 0 25568519 1668878336 348956 33554432000 4194304 16246674 140736342153744 140736342152840 5673957 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21212/statm: 407441 348956 902 2943 0 404335 0
[pid=21212/tid=21213] ppid=21209 vsize=1629764 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21213/stat : 21213 (toysat) S 21209 21212 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25568519 1668878336 348956 33554432000 4194304 16246674 140736342153744 139834220850416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21212/tid=21214] ppid=21209 vsize=1629764 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21214/stat : 21214 (toysat) S 21209 21212 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25568519 1668878336 348956 33554432000 4194304 16246674 140736342153744 139834135915760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21212/tid=21215] ppid=21209 vsize=1629764 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21215/stat : 21215 (toysat) S 21209 21212 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568519 1668878336 348956 33554432000 4194304 16246674 140736342153744 139834125442224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1629764

[startup+1722.3 s]
/proc/loadavg: 2.24 2.25 2.23 3/183 21329
/proc/meminfo: memFree=13932704/32872528 swapFree=1459628/1655852
[pid=21212] ppid=21209 vsize=1692228 CPUtime=1721.76 cores=0,2,4,6
/proc/21212/stat : 21212 (toysat) R 21209 21212 16189 0 -1 4202496 364551 0 0 0 172116 60 0 0 20 0 4 0 25568519 1732841472 364684 33554432000 4194304 16246674 140736342153744 140736342135616 12483212 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21212/statm: 423057 364684 902 2943 0 419951 0
[pid=21212/tid=21213] ppid=21209 vsize=1692228 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21213/stat : 21213 (toysat) S 21209 21212 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25568519 1732841472 364684 33554432000 4194304 16246674 140736342153744 139834220850416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21212/tid=21214] ppid=21209 vsize=1692228 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21214/stat : 21214 (toysat) S 21209 21212 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25568519 1732841472 364684 33554432000 4194304 16246674 140736342153744 139834135915760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21212/tid=21215] ppid=21209 vsize=1692228 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21215/stat : 21215 (toysat) S 21209 21212 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568519 1732841472 364684 33554432000 4194304 16246674 140736342153744 139834125442224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1692228

[startup+1782.3 s]
/proc/loadavg: 2.17 2.23 2.22 3/183 21330
/proc/meminfo: memFree=19971724/32872528 swapFree=1459628/1655852
[pid=21212] ppid=21209 vsize=1692228 CPUtime=1781.76 cores=0,2,4,6
/proc/21212/stat : 21212 (toysat) R 21209 21212 16189 0 -1 4202496 364551 0 0 0 178115 61 0 0 20 0 4 0 25568519 1732841472 364684 33554432000 4194304 16246674 140736342153744 140736342135616 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21212/statm: 423057 364684 902 2943 0 419951 0
[pid=21212/tid=21213] ppid=21209 vsize=1692228 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21213/stat : 21213 (toysat) S 21209 21212 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25568519 1732841472 364684 33554432000 4194304 16246674 140736342153744 139834220850416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21212/tid=21214] ppid=21209 vsize=1692228 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21214/stat : 21214 (toysat) S 21209 21212 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25568519 1732841472 364684 33554432000 4194304 16246674 140736342153744 139834135915760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21212/tid=21215] ppid=21209 vsize=1692228 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21215/stat : 21215 (toysat) S 21209 21212 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568519 1732841472 364684 33554432000 4194304 16246674 140736342153744 139834125442224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1692228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.35 2.26 2.23 3/183 21330
/proc/meminfo: memFree=17205128/32872528 swapFree=1459628/1655852
[pid=21212] ppid=21209 vsize=1692228 CPUtime=1800.05 cores=0,2,4,6
/proc/21212/stat : 21212 (toysat) R 21209 21212 16189 0 -1 4202496 364679 0 0 0 179944 61 0 0 20 0 4 0 25568519 1732841472 364812 33554432000 4194304 16246674 140736342153744 140736342135616 13781188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21212/statm: 423057 364812 902 2943 0 419951 0
[pid=21212/tid=21213] ppid=21209 vsize=1692228 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21213/stat : 21213 (toysat) S 21209 21212 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25568519 1732841472 364812 33554432000 4194304 16246674 140736342153744 139834220850416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21212/tid=21214] ppid=21209 vsize=1692228 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21214/stat : 21214 (toysat) S 21209 21212 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25568519 1732841472 364812 33554432000 4194304 16246674 140736342153744 139834135915760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21212/tid=21215] ppid=21209 vsize=1692228 CPUtime=0 cores=0,2,4,6
/proc/21212/task/21215/stat : 21215 (toysat) S 21209 21212 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568519 1732841472 364812 33554432000 4194304 16246674 140736342153744 139834125442224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1692228

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.63
CPU time (s): 1800.09
CPU user time (s): 1799.45
CPU system time (s): 0.637903
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 1692228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.637903
maximum resident set size= 1459248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 364679
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= 439
involuntary context switches= 1927

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.41333 second user time and 7.09492 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-18 09:33:50
IDJOB=4103301
IDBENCH=2322
IDSOLVER=2542
FILE ID=node136/4103301-1466235230
RUNJOBID= node136-1466206055-16205
PBS_JOBID= 19918141
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bienst2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103301-1466235230/watcher-4103301-1466235230 -o /tmp/evaluation-result-4103301-1466235230/solver-4103301-1466235230 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16205 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103301-1466235230.opb

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

MD5SUM BENCH= 0af97c6a7a59a4d1015a4f591401bda7
RANDOM SEED=367965835

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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:        25020624 kB
Buffers:          108656 kB
Cached:           161040 kB
SwapCached:            0 kB
Active:          5261056 kB
Inactive:         180892 kB
Active(anon):    5159784 kB
Inactive(anon):    14876 kB
Active(file):     101272 kB
Inactive(file):   166016 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             17128 kB
Writeback:             0 kB
AnonPages:       6844196 kB
Mapped:            16472 kB
Shmem:               204 kB
Slab:             608456 kB
SReclaimable:      52492 kB
SUnreclaim:       555964 kB
KernelStack:        1520 kB
PageTables:        18064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6963420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 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= 71672 MiB
End job on node136 at 2016-06-18 10:03:51