Trace number 4100425

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-roll3000.opb
MD5SUM8bdca001a57a76bf3835c82b9bc6a431
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark261403
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8902
Total number of constraints2864
Number of constraints which are clauses143
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints2690
Minimum length of a constraint2
Maximum length of a constraint2407
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 526135
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T03:31:48+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-4100425-1466213508.opb"]
0.00/0.01	c use --random-gen="2816466994 2855028494 2199972730 2663540314 816917537 3471254702 3728282426 819033383 315087229 4226632346 3320127910 3527784732 1825988538 3291278497 2865479701 3552454409 69635502 752543139 3016946297 1196173242 2450467910 1579252862 2274119323 2514494280 2537648850 3089750944 3556691525 1553330425 4188009978 2869014861 4052247847 3617806960 3035087508 2085234377 2684491793 2494979183 4185841924 1393130215 422196687 4049146135 586339544 981873164 3328817723 3432305959 3793151155 1483783293 3648941106 3610528788 829698611 1016140386 976138450 3538983059 1499520112 876022709 469615415 3308210469 1578730959 2874864553 2653349852 651669786 2304668488 92425620 3752252446 1704726109 3233556934 3099052733 358621230 1420375389 3869208696 137147289 3259529837 3033711892 3098822770 3413886315 3871983002 3224908170 4245835508 3230027418 420796649 2163048713 1300517769 2237617943 1776795032 1217209084 1632999371 2545355037 2593371456 2560187239 2602010900 1243791869 78842259 4274015201 793229763 3018115204 1271768725 575978397 1260507009 2322635343 4153021379 4240452338 1630234429 4200584697 2706041518 3787755170 1052288608 750226790 2803821353 443930348 3588860756 838451524 2491353704 3681866455 1854618294 1917788024 1385308872 3426563387 3914711272 3213098744 378522196 2174783804 2119495198 15747983 2598303060 3647137425 1347934207 2517941125 2025357901 1977227206 2201197621 3535708403 2332698005 3185234755 455891769 580066435 399181764 2416507902 442604228 3202518262 566550078 4104111603 3776410917 2763937264 675609205 863349720 1339243285 109490860 2927319478 820578020 33792420 582068560 2802806540 1153846906 3520628375 2072824444 1835854373 1904403291 2593999991 2657915649 1941178275 3556445659 3167219538 3174302133 1561538060 1233267299 4098099938 1744061916 2728537858 1047620712 2733328937 3886740818 4099726472 2357201701 183846222 2482515639 509382885 1606053095 3854508526 2474049119 2069971635 1761386873 2765571952 2541914615 2136666432 1501693319 562115664 1968089539 1950359686 3583131869 12066155 2181265510 3661660250 589385416 1646959123 3796257511 3408418659 1318663773 3908031573 3811534474 2061978640 2723132543 3940731191 3638651752 1114248775 3022189978 1365613578 2135944652 4107903302 2832642717 2017053620 1378778984 669101287 1471024562 919281804 2094105565 3595451572 1673229969 2383447229 1301958817 2240114140 660832189 3071907719 1834635018 2067001832 2904493263 2627820183 2920120718 3717614385 1086439750 346380856 2654877315 2672341718 2015985656 3318911286 1354880816 2897319949 3170820226 3581264413 3164113938 1600530959 504895899 2860450957 474087666 1849946400 2758150230 2448264269 409798228 1358993864 3073437187 878619527 3177802890 265180108 3952152029 3494616513 3646374574 2207954021 3642768708 255 362436" option to reproduce the execution
0.09/0.18	c #vars 8902
0.09/0.18	c #constraints 2864
3.19/3.27	c BCD2: Hardening is enabled.
3.19/3.27	c BCD2: BiasedSearch is enabled.
3.19/3.27	c Solving starts ...
3.19/3.27	c ============================[ Search Statistics ]============================
3.19/3.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.19/3.27	c       |         |          |          |    Limit     GC | Var      | Constra 
3.19/3.27	c =============================================================================
3.19/3.27	c  0.0s |       0 |        0 |        0 |     3980      0 |     3330 |        0
3.40/3.46	c  0.2s |       1 |      582 |      100 |     3980      0 |     3330 |      764
3.79/3.82	c  0.5s |       2 |      811 |      250 |     4378      0 |     3330 |      764
4.39/4.44	c  1.2s |       3 |     1138 |      475 |     4816      0 |     3330 |      764
5.19/5.27	c  2.0s |       4 |     1559 |      813 |     5298      0 |     3330 |      764
6.39/6.45	c  3.2s |       5 |     2181 |     1320 |     5828      0 |     3330 |      764
8.09/8.16	c  4.9s |       6 |     3068 |     2081 |     7053      0 |     3330 |      764
10.19/10.22	c  6.9s |       6 |     4168 |     2981 |     7053      0 |     3330 |      764
10.79/10.83	c  7.6s |       7 |     4427 |     3223 |     7759      0 |     3330 |      764
12.79/12.86	c  9.6s |       7 |     5393 |     4023 |     7759      0 |     3330 |      764
14.99/15.01	c 11.7s |       7 |     6378 |     4923 |     8535      0 |     3330 |      764
14.99/15.03	c 11.8s |       8 |     6386 |     4936 |     8535      0 |     3330 |      764
17.09/17.10	c 13.8s |       8 |     7389 |     5836 |     8535      0 |     3330 |      764
19.09/19.13	c 15.9s |       8 |     8224 |     6636 |     8535      0 |     3330 |      764
21.29/21.39	c 18.1s |       8 |     9066 |     7436 |     8535      0 |     3330 |      764
21.49/21.59	c 18.3s |       9 |     9135 |     7506 |     9389      0 |     3330 |      764
23.59/23.68	c 20.4s |       9 |    10019 |     8306 |     9389      0 |     3330 |      764
25.79/25.89	c 22.6s |       9 |    10943 |     9206 |     9389      0 |     3330 |      764
27.88/27.97	c 24.7s |       9 |    11769 |    10006 |     9389      0 |     3330 |      764
30.18/30.22	c 26.9s |       9 |    12581 |    10806 |     9389      0 |     3330 |      764
31.78/31.88	c 28.6s |      10 |    13154 |    11361 |    10328      0 |     3330 |      764
33.88/33.99	c 30.7s |      10 |    13944 |    12061 |    10328      0 |     3330 |      764
36.08/36.17	c 32.9s |      10 |    14780 |    12861 |    10328      0 |     3330 |      764
38.28/38.30	c 35.0s |      10 |    15603 |    13661 |    10328      0 |     3330 |      764
40.48/40.53	c 37.3s |      10 |    16306 |    14361 |    10328      1 |     3330 |      764
42.48/42.55	c 39.3s |      10 |    17121 |    15161 |    10328      1 |     3330 |      764
44.48/44.58	c 41.3s |      10 |    17953 |    15961 |    10328      1 |     3330 |      764
46.68/46.79	c 43.5s |      10 |    18814 |    16761 |    10328      1 |     3330 |      764
47.68/47.79	c 44.5s |      11 |    19226 |    17144 |    11361      1 |     3330 |      764
49.98/50.03	c 46.8s |      11 |    20132 |    17944 |    11361      1 |     3330 |      764
52.08/52.19	c 48.9s |      11 |    20909 |    18644 |    11361      1 |     3330 |      764
54.38/54.41	c 51.1s |      11 |    21753 |    19444 |    11361      1 |     3330 |      764
57.08/57.20	c 53.9s |      11 |    22379 |    20044 |    11361      1 |     3330 |      764
59.18/59.20	c 55.9s |      11 |    23010 |    20644 |    11361      1 |     3330 |      764
61.28/61.32	c 58.0s |      11 |    23771 |    21344 |    11361      1 |     3330 |      764
63.38/63.42	c 60.1s |      11 |    24393 |    21944 |    11361      2 |     3330 |      764
65.57/65.62	c 62.3s |      11 |    25119 |    22644 |    11361      2 |     3330 |      764
67.87/67.91	c 64.6s |      11 |    25951 |    23444 |    11361      2 |     3330 |      764
69.97/70.02	c 66.7s |      11 |    26663 |    24144 |    11361      2 |     3330 |      764
72.08/72.10	c 68.8s |      11 |    27426 |    24844 |    11361      2 |     3330 |      764
74.08/74.17	c 70.9s |      11 |    28442 |    25744 |    12498      2 |     3330 |      764
74.28/74.34	c 71.1s |      12 |    28513 |    25819 |    12498      2 |     3330 |      764
76.48/76.51	c 73.2s |      12 |    29519 |    26719 |    12498      2 |     3330 |      764
78.58/78.68	c 75.4s |      12 |    30476 |    27619 |    12498      2 |     3330 |      764
80.78/80.82	c 77.5s |      12 |    31315 |    28419 |    12498      2 |     3330 |      764
82.98/83.06	c 79.8s |      12 |    32271 |    29319 |    12498      2 |     3330 |      764
85.08/85.12	c 81.8s |      12 |    33140 |    30119 |    12498      2 |     3330 |      764
87.08/87.19	c 83.9s |      12 |    33984 |    30919 |    12498      3 |     3330 |      764
89.18/89.27	c 86.0s |      12 |    34818 |    31719 |    12498      3 |     3330 |      764
91.38/91.45	c 88.2s |      12 |    35557 |    32419 |    12498      3 |     3330 |      764
93.48/93.58	c 90.3s |      12 |    36268 |    33119 |    12498      3 |     3330 |      764
95.88/95.98	c 92.7s |      12 |    37187 |    33919 |    12498      3 |     3330 |      764
98.08/98.13	c 94.9s |      12 |    37919 |    34619 |    12498      3 |     3330 |      764
100.08/100.18	c 96.9s |      12 |    38750 |    35419 |    12498      3 |     3330 |      764
102.28/102.37	c 99.1s |      12 |    39590 |    36219 |    12498      3 |     3330 |      764
104.38/104.42	c  101s |      12 |    40325 |    36919 |    12498      3 |     3330 |      764
106.58/106.62	c  103s |      12 |    41157 |    37719 |    12498      3 |     3330 |      764
108.78/108.83	c  105s |      12 |    41890 |    38419 |    12498      3 |     3330 |      764
110.08/110.11	c  106s |      13 |    42308 |    38832 |    13748      3 |     3330 |      764
112.08/112.19	c  108s |      13 |    43072 |    39532 |    13748      3 |     3330 |      764
114.28/114.36	c  111s |      13 |    43797 |    40232 |    13748      4 |     3330 |      764
116.38/116.44	c  113s |      13 |    44639 |    41032 |    13748      4 |     3330 |      764
118.38/118.48	c  115s |      13 |    45466 |    41832 |    13748      4 |     3330 |      764
120.47/120.57	c  117s |      13 |    46184 |    42532 |    13748      4 |     3330 |      764
122.67/122.74	c  119s |      13 |    46889 |    43232 |    13748      4 |     3330 |      764
124.87/124.95	c  121s |      13 |    47614 |    43932 |    13748      4 |     3330 |      764
127.17/127.23	c  123s |      13 |    48437 |    44732 |    13748      4 |     3330 |      764
130.57/130.65	c  127s |      13 |    49172 |    45432 |    13748      4 |     3330 |      764
132.57/132.69	c  129s |      13 |    49922 |    46132 |    13748      4 |     3330 |      764
134.57/134.69	c  131s |      13 |    50631 |    46832 |    13748      4 |     3330 |      764
136.67/136.75	c  133s |      13 |    51362 |    47532 |    13748      4 |     3330 |      764
138.97/139.06	c  135s |      13 |    52069 |    48232 |    13748      4 |     3330 |      764
141.17/141.22	c  137s |      13 |    52675 |    48832 |    13748      5 |     3330 |      764
143.37/143.45	c  140s |      13 |    53505 |    49632 |    13748      5 |     3330 |      764
145.37/145.49	c  142s |      13 |    54220 |    50332 |    13748      5 |     3330 |      764
147.48/147.56	c  144s |      13 |    54948 |    51032 |    13748      5 |     3330 |      764
149.68/149.79	c  146s |      13 |    55760 |    51832 |    13748      5 |     3330 |      764
151.88/151.97	c  148s |      13 |    56477 |    52532 |    13748      5 |     3330 |      764
153.97/154.08	c  150s |      13 |    57204 |    53232 |    13748      5 |     3330 |      764
156.28/156.32	c  153s |      13 |    57931 |    53932 |    13748      5 |     3330 |      764
158.37/158.50	c  155s |      13 |    58643 |    54632 |    13748      5 |     3330 |      764
164.56/164.62	c  161s |      13 |    59170 |    55132 |    13748      5 |     3330 |      764
166.56/166.65	c  163s |      13 |    60115 |    55832 |    13748      5 |     3330 |      764
168.76/168.87	c  165s |      13 |    60944 |    56632 |    13748      5 |     3330 |      764
171.06/171.11	c  167s |      13 |    61656 |    57332 |    13748      6 |     3330 |      764
173.06/173.16	c  169s |      13 |    62401 |    58032 |    15123      6 |     3330 |      764
173.96/174.02	c  170s |      14 |    62726 |    58352 |    15123      6 |     3330 |      764
176.07/176.17	c  172s |      14 |    63623 |    59152 |    15123      6 |     3330 |      764
178.17/178.23	c  174s |      14 |    64342 |    59852 |    15123      6 |     3330 |      764
180.37/180.50	c  177s |      14 |    65163 |    60652 |    15123      6 |     3330 |      764
183.96/184.04	c  180s |      14 |    65894 |    61352 |    15123      6 |     3330 |      764
186.16/186.23	c  182s |      14 |    66631 |    62052 |    15123      6 |     3330 |      764
188.16/188.28	c  185s |      14 |    67362 |    62752 |    15123      6 |     3330 |      764
190.36/190.47	c  187s |      14 |    68069 |    63452 |    15123      6 |     3330 |      764
192.66/192.70	c  189s |      14 |    68922 |    64252 |    15123      6 |     3330 |      764
194.76/194.81	c  191s |      14 |    69635 |    64952 |    15123      6 |     3330 |      764
196.76/196.86	c  193s |      14 |    70480 |    65752 |    15123      6 |     3330 |      764
198.96/199.02	c  195s |      14 |    71214 |    66452 |    15123      6 |     3330 |      764
201.06/201.12	c  197s |      14 |    71823 |    67052 |    15123      6 |     3330 |      764
203.16/203.24	c  199s |      14 |    72430 |    67652 |    15123      7 |     3330 |      764
205.15/205.24	c  201s |      14 |    73036 |    68252 |    15123      7 |     3330 |      764
207.35/207.47	c  204s |      14 |    73859 |    69052 |    15123      7 |     3330 |      764
209.65/209.75	c  206s |      14 |    74704 |    69852 |    15123      7 |     3330 |      764
211.75/211.89	c  208s |      14 |    75524 |    70652 |    15123      7 |     3330 |      764
214.25/214.30	c  211s |      14 |    75729 |    70852 |    15123      7 |     3330 |      764
216.35/216.40	c  213s |      14 |    76651 |    71652 |    15123      7 |     3330 |      764
218.35/218.44	c  215s |      14 |    77667 |    72452 |    15123      7 |     3330 |      764
220.55/220.68	c  217s |      14 |    78671 |    73352 |    15123      7 |     3330 |      764
222.65/222.73	c  219s |      14 |    79387 |    74052 |    15123      7 |     3330 |      764
224.75/224.87	c  221s |      14 |    79999 |    74652 |    15123      7 |     3330 |      764
227.05/227.12	c  223s |      14 |    80707 |    75352 |    15123      7 |     3330 |      764
229.45/229.50	c  226s |      14 |    81414 |    76052 |    15123      7 |     3330 |      764
231.75/231.86	c  228s |      14 |    82030 |    76652 |    15123      8 |     3330 |      764
233.86/233.99	c  230s |      14 |    82745 |    77352 |    15123      8 |     3330 |      764
235.96/236.08	c  232s |      14 |    83657 |    78252 |    15123      8 |     3330 |      764
238.16/238.20	c  234s |      14 |    84272 |    78852 |    15123      8 |     3330 |      764
240.46/240.55	c  237s |      14 |    84871 |    79452 |    15123      8 |     3330 |      764
242.46/242.56	c  239s |      14 |    85597 |    80152 |    15123      8 |     3330 |      764
244.56/244.68	c  241s |      14 |    86448 |    80952 |    15123      8 |     3330 |      764
246.76/246.86	c  243s |      14 |    87285 |    81752 |    15123      8 |     3330 |      764
248.86/248.94	c  245s |      14 |    88007 |    82452 |    15123      8 |     3330 |      764
251.05/251.18	c  247s |      14 |    88834 |    83252 |    15123      8 |     3330 |      764
253.35/253.42	c  250s |      14 |    89570 |    83952 |    15123      8 |     3330 |      764
255.65/255.73	c  252s |      14 |    90407 |    84752 |    15123      8 |     3330 |      764
257.85/257.96	c  254s |      14 |    91257 |    85552 |    15123      8 |     3330 |      764
259.95/260.09	c  256s |      14 |    91979 |    86252 |    15123      9 |     3330 |      764
262.15/262.20	c  258s |      14 |    92822 |    87052 |    16636      9 |     3330 |      764
263.45/263.54	c  260s |      15 |    93421 |    87632 |    16636      9 |     3330 |      764
265.55/265.65	c  262s |      15 |    94249 |    88332 |    16636      9 |     3330 |      764
267.85/267.90	c  264s |      15 |    95028 |    89032 |    16636      9 |     3330 |      764
269.85/269.99	c  266s |      15 |    95643 |    89632 |    16636      9 |     3330 |      764
272.05/272.10	c  268s |      15 |    96430 |    90332 |    16636      9 |     3330 |      764
274.25/274.38	c  271s |      15 |    97305 |    91132 |    16636      9 |     3330 |      764
276.55/276.67	c  273s |      15 |    98060 |    91832 |    16636      9 |     3330 |      764
278.65/278.72	c  275s |      15 |    98825 |    92532 |    16636      9 |     3330 |      764
280.75/280.80	c  277s |      15 |    99563 |    93232 |    16636      9 |     3330 |      764
283.05/283.16	c  279s |      15 |   100279 |    93932 |    16636      9 |     3330 |      764
285.35/285.46	c  282s |      15 |   100995 |    94632 |    16636      9 |     3330 |      764
287.45/287.52	c  284s |      15 |   101713 |    95332 |    16636      9 |     3330 |      764
289.55/289.61	c  286s |      15 |   102451 |    96032 |    16636      9 |     3330 |      764
291.75/291.84	c  288s |      15 |   103200 |    96732 |    16636      9 |     3330 |      764
293.95/294.08	c  290s |      15 |   103940 |    97432 |    16636     10 |     3330 |      764
296.25/296.32	c  293s |      15 |   104771 |    98232 |    16636     10 |     3330 |      764
298.55/298.61	c  295s |      15 |   105613 |    99032 |    16636     10 |     3330 |      764
300.65/300.77	c  297s |      15 |   106357 |    99732 |    16636     10 |     3330 |      764
302.95/303.09	c  299s |      15 |   107071 |   100432 |    16636     10 |     3330 |      764
305.14/305.28	c  302s |      15 |   107806 |   101132 |    16636     10 |     3330 |      764
307.44/307.54	c  304s |      15 |   108636 |   101932 |    16636     10 |     3330 |      764
309.54/309.67	c  306s |      15 |   109364 |   102632 |    16636     10 |     3330 |      764
311.74/311.87	c  308s |      15 |   110088 |   103332 |    16636     10 |     3330 |      764
313.94/314.09	c  310s |      15 |   110808 |   104032 |    16636     10 |     3330 |      764
316.14/316.26	c  312s |      15 |   111526 |   104732 |    16636     10 |     3330 |      764
318.34/318.41	c  315s |      15 |   112245 |   105432 |    16636     10 |     3330 |      764
320.44/320.59	c  317s |      15 |   112970 |   106132 |    16636     10 |     3330 |      764
322.74/322.85	c  319s |      15 |   113578 |   106732 |    16636     10 |     3330 |      764
324.84/324.91	c  321s |      15 |   114320 |   107432 |    16636     11 |     3330 |      764
326.84/326.98	c  323s |      15 |   115041 |   108132 |    16636     11 |     3330 |      764
328.94/329.06	c  325s |      15 |   115571 |   108632 |    16636     11 |     3330 |      764
331.14/331.24	c  327s |      15 |   116443 |   109432 |    16636     11 |     3330 |      764
333.34/333.45	c  330s |      15 |   117393 |   110332 |    16636     11 |     3330 |      764
335.44/335.56	c  332s |      15 |   118132 |   111032 |    16636     11 |     3330 |      764
337.53/337.64	c  334s |      15 |   118843 |   111732 |    16636     11 |     3330 |      764
339.83/339.93	c  336s |      15 |   119157 |   112032 |    16636     11 |     3330 |      764
342.03/342.13	c  338s |      15 |   120138 |   112932 |    16636     11 |     3330 |      764
344.23/344.36	c  341s |      15 |   120991 |   113732 |    16636     11 |     3330 |      764
346.43/346.55	c  343s |      15 |   121723 |   114432 |    16636     11 |     3330 |      764
348.43/348.60	c  345s |      15 |   122546 |   115232 |    16636     11 |     3330 |      764
350.62/350.72	c  347s |      15 |   123388 |   116032 |    16636     11 |     3330 |      764
352.62/352.75	c  349s |      15 |   124116 |   116732 |    16636     11 |     3330 |      764
354.92/355.05	c  351s |      15 |   124831 |   117432 |    16636     12 |     3330 |      764
357.22/357.32	c  354s |      15 |   125539 |   118132 |    16636     12 |     3330 |      764
359.42/359.51	c  356s |      15 |   126257 |   118832 |    16636     12 |     3330 |      764
361.52/361.68	c  358s |      15 |   126973 |   119532 |    16636     12 |     3330 |      764
363.52/363.69	c  360s |      15 |   127786 |   120332 |    16636     12 |     3330 |      764
365.72/365.88	c  362s |      15 |   128634 |   121132 |    16636     12 |     3330 |      764
367.92/368.06	c  364s |      15 |   129240 |   121732 |    16636     12 |     3330 |      764
370.01/370.19	c  366s |      15 |   129843 |   122332 |    16636     12 |     3330 |      764
374.71/374.87	c  371s |      15 |   130458 |   122932 |    16636     12 |     3330 |      764
376.81/376.96	c  373s |      15 |   131120 |   123532 |    16636     12 |     3330 |      764
379.20/379.36	c  376s |      15 |   131734 |   124132 |    16636     12 |     3330 |      764
381.20/381.38	c  378s |      15 |   132342 |   124732 |    16636     12 |     3330 |      764
383.40/383.51	c  380s |      15 |   132950 |   125332 |    16636     12 |     3330 |      764
385.50/385.67	c  382s |      15 |   133550 |   125932 |    16636     12 |     3330 |      764
387.70/387.87	c  384s |      15 |   134156 |   126532 |    16636     12 |     3330 |      764
389.90/390.05	c  386s |      15 |   134877 |   127232 |    16636     12 |     3330 |      764
392.00/392.18	c  388s |      15 |   135716 |   128032 |    16636     13 |     3330 |      764
394.30/394.43	c  391s |      15 |   136570 |   128832 |    16636     13 |     3330 |      764
396.60/396.77	c  393s |      15 |   137288 |   129532 |    16636     13 |     3330 |      764
398.80/398.91	c  395s |      15 |   137887 |   130132 |    16636     13 |     3330 |      764
400.89/401.08	c  397s |      15 |   138595 |   130832 |    18300     13 |     3330 |      764
402.99/403.17	c  399s |      15 |   139201 |   131432 |    18300     13 |     3330 |      764
403.39/403.56	c  400s |      16 |   139319 |   131552 |    18300     13 |     3330 |      764
405.59/405.75	c  402s |      16 |   139964 |   132152 |    18300     13 |     3330 |      764
410.89/411.06	c  407s |      16 |   140525 |   132652 |    18300     13 |     3330 |      764
412.99/413.10	c  409s |      16 |   141863 |   133452 |    18300     13 |     3330 |      764
415.09/415.27	c  411s |      16 |   142647 |   134152 |    18300     13 |     3330 |      764
417.29/417.42	c  414s |      16 |   143391 |   134852 |    18300     13 |     3330 |      764
419.48/419.67	c  416s |      16 |   144010 |   135452 |    18300     13 |     3330 |      764
421.88/422.02	c  418s |      16 |   144606 |   136052 |    18300     13 |     3330 |      764
423.98/424.17	c  420s |      16 |   145221 |   136652 |    18300     13 |     3330 |      764
426.18/426.38	c  423s |      16 |   145834 |   137252 |    18300     13 |     3330 |      764
428.48/428.61	c  425s |      16 |   146566 |   137952 |    18300     13 |     3330 |      764
430.77/430.98	c  427s |      16 |   147281 |   138652 |    18300     13 |     3330 |      764
433.07/433.25	c  429s |      16 |   147898 |   139252 |    18300     14 |     3330 |      764
435.27/435.41	c  432s |      16 |   148619 |   139952 |    18300     14 |     3330 |      764
437.37/437.52	c  434s |      16 |   149581 |   140852 |    18300     14 |     3330 |      764
439.37/439.54	c  436s |      16 |   150305 |   141552 |    18300     14 |     3330 |      764
441.47/441.66	c  438s |      16 |   151023 |   142252 |    18300     14 |     3330 |      764
443.77/443.93	c  440s |      16 |   151848 |   143052 |    18300     14 |     3330 |      764
445.87/446.00	c  442s |      16 |   152569 |   143752 |    18300     14 |     3330 |      764
447.86/448.03	c  444s |      16 |   153293 |   144452 |    18300     14 |     3330 |      764
450.06/450.22	c  446s |      16 |   154018 |   145152 |    18300     14 |     3330 |      764
452.16/452.31	c  449s |      16 |   154741 |   145852 |    18300     14 |     3330 |      764
454.17/454.33	c  451s |      16 |   155657 |   146752 |    18300     14 |     3330 |      764
456.26/456.41	c  453s |      16 |   156376 |   147452 |    18300     14 |     3330 |      764
458.36/458.54	c  455s |      16 |   157101 |   148152 |    18300     14 |     3330 |      764
460.36/460.57	c  457s |      16 |   157706 |   148752 |    18300     14 |     3330 |      764
462.76/462.94	c  459s |      16 |   158415 |   149452 |    18300     14 |     3330 |      764
465.16/465.39	c  462s |      16 |   158933 |   149952 |    18300     15 |     3330 |      764
467.47/467.66	c  464s |      16 |   159660 |   150652 |    18300     15 |     3330 |      764
469.66/469.82	c  466s |      16 |   160412 |   151352 |    18300     15 |     3330 |      764
471.86/472.02	c  468s |      16 |   161120 |   152052 |    18300     15 |     3330 |      764
473.85/474.03	c  470s |      16 |   162201 |   153052 |    18300     15 |     3330 |      764
476.05/476.22	c  472s |      16 |   163259 |   154052 |    18300     15 |     3330 |      764
478.25/478.49	c  475s |      16 |   164176 |   154952 |    18300     15 |     3330 |      764
480.56/480.75	c  477s |      16 |   164983 |   155752 |    18300     15 |     3330 |      764
482.55/482.75	c  479s |      16 |   165693 |   156452 |    18300     15 |     3330 |      764
484.75/484.96	c  481s |      16 |   166508 |   157252 |    18300     15 |     3330 |      764
487.05/487.26	c  483s |      16 |   167330 |   158052 |    18300     15 |     3330 |      764
489.24/489.47	c  486s |      16 |   168036 |   158752 |    18300     15 |     3330 |      764
493.14/493.33	c  490s |      16 |   168539 |   159152 |    18300     15 |     3330 |      764
495.14/495.34	c  492s |      16 |   169556 |   159852 |    18300     15 |     3330 |      764
497.14/497.39	c  494s |      16 |   170334 |   160552 |    18300     15 |     3330 |      764
500.93/501.10	c  497s |      16 |   170952 |   161052 |    18300     16 |     3330 |      764
503.03/503.29	c  500s |      16 |   172028 |   161952 |    18300     16 |     3330 |      764
505.23/505.40	c  502s |      16 |   173030 |   162852 |    18300     16 |     3330 |      764
507.23/507.42	c  504s |      16 |   173892 |   163652 |    18300     16 |     3330 |      764
509.34/509.51	c  506s |      16 |   174816 |   164552 |    18300     16 |     3330 |      764
511.54/511.73	c  508s |      16 |   175722 |   165452 |    18300     16 |     3330 |      764
513.74/513.91	c  510s |      16 |   176671 |   166352 |    18300     16 |     3330 |      764
515.94/516.17	c  512s |      16 |   177383 |   167052 |    18300     16 |     3330 |      764
518.05/518.22	c  514s |      16 |   178388 |   167752 |    18300     16 |     3330 |      764
520.14/520.40	c  517s |      16 |   180132 |   168652 |    18300     16 |     3330 |      764
522.24/522.44	c  519s |      16 |   180897 |   169352 |    18300     16 |     3330 |      764
524.44/524.69	c  521s |      16 |   181723 |   170152 |    18300     16 |     3330 |      764
526.64/526.89	c  523s |      16 |   182690 |   171052 |    18300     16 |     3330 |      764
528.74/528.99	c  525s |      16 |   183606 |   171952 |    18300     16 |     3330 |      764
530.93/531.13	c  527s |      16 |   184530 |   172852 |    18300     17 |     3330 |      764
533.13/533.30	c  530s |      16 |   185447 |   173752 |    18300     17 |     3330 |      764
535.23/535.43	c  532s |      16 |   186378 |   174652 |    18300     17 |     3330 |      764
537.23/537.47	c  534s |      16 |   187220 |   175452 |    18300     17 |     3330 |      764
539.43/539.63	c  536s |      16 |   188077 |   176252 |    18300     17 |     3330 |      764
541.63/541.84	c  538s |      16 |   188937 |   177052 |    18300     17 |     3330 |      764
543.63/543.87	c  540s |      16 |   189898 |   177852 |    18300     17 |     3330 |      764
545.83/546.03	c  542s |      16 |   190730 |   178652 |    18300     17 |     3330 |      764
547.93/548.15	c  544s |      16 |   191467 |   179352 |    18300     17 |     3330 |      764
550.02/550.30	c  547s |      16 |   192203 |   180052 |    18300     17 |     3330 |      764
552.13/552.39	c  549s |      16 |   192952 |   180752 |    18300     17 |     3330 |      764
554.22/554.41	c  551s |      16 |   193553 |   181352 |    18300     17 |     3330 |      764
556.42/556.69	c  553s |      16 |   194287 |   182052 |    18300     17 |     3330 |      764
558.73/558.96	c  555s |      16 |   195001 |   182752 |    18300     17 |     3330 |      764
560.82/561.04	c  557s |      16 |   195741 |   183452 |    18300     18 |     3330 |      764
562.92/563.11	c  559s |      16 |   196563 |   184252 |    18300     18 |     3330 |      764
564.92/565.13	c  561s |      16 |   197282 |   184952 |    18300     18 |     3330 |      764
567.02/567.28	c  564s |      16 |   198090 |   185752 |    18300     18 |     3330 |      764
569.11/569.30	c  566s |      16 |   198922 |   186552 |    18300     18 |     3330 |      764
575.71/575.94	c  572s |      16 |   199664 |   187252 |    18300     18 |     3330 |      764
578.11/578.31	c  575s |      16 |   200289 |   187852 |    18300     18 |     3330 |      764
580.21/580.49	c  577s |      16 |   201465 |   188752 |    18300     18 |     3330 |      764
582.31/582.54	c  579s |      16 |   202319 |   189552 |    18300     18 |     3330 |      764
584.51/584.70	c  581s |      16 |   203178 |   190352 |    18300     18 |     3330 |      764
586.71/586.90	c  583s |      16 |   204111 |   191252 |    18300     18 |     3330 |      764
588.71/588.99	c  585s |      16 |   204952 |   192052 |    18300     18 |     3330 |      764
591.01/591.23	c  587s |      16 |   206022 |   192952 |    18300     18 |     3330 |      764
593.21/593.49	c  590s |      16 |   206987 |   193852 |    18300     18 |     3330 |      764
595.30/595.58	c  592s |      16 |   208004 |   194752 |    18300     19 |     3330 |      764
597.50/597.70	c  594s |      16 |   208955 |   195652 |    18300     19 |     3330 |      764
599.50/599.78	c  596s |      16 |   210031 |   196652 |    20130     19 |     3330 |      764
601.30/601.58	c  598s |      17 |   210865 |   197432 |    20130     19 |     3330 |      764
604.40/604.63	c  601s |      17 |   211255 |   197732 |    20130     19 |     3330 |      764
606.40/606.67	c  603s |      17 |   212351 |   198632 |    20130     19 |     3330 |      764
608.60/608.83	c  605s |      17 |   213466 |   199632 |    20130     19 |     3330 |      764
610.70/610.99	c  607s |      17 |   214301 |   200432 |    20130     19 |     3330 |      764
612.90/613.10	c  609s |      17 |   215242 |   201332 |    20130     19 |     3330 |      764
615.10/615.34	c  612s |      17 |   216289 |   202232 |    20130     19 |     3330 |      764
617.20/617.46	c  614s |      17 |   217261 |   203132 |    20130     19 |     3330 |      764
619.29/619.58	c  616s |      17 |   218523 |   204232 |    20130     19 |     3330 |      764
621.40/621.62	c  618s |      17 |   219776 |   205232 |    20130     19 |     3330 |      764
623.60/623.85	c  620s |      17 |   221083 |   206332 |    20130     19 |     3330 |      764
625.60/625.89	c  622s |      17 |   221816 |   206932 |    20130     20 |     3330 |      764
627.70/627.95	c  624s |      17 |   222977 |   207932 |    20130     20 |     3330 |      764
635.29/635.54	c  632s |      17 |   223921 |   208732 |    20130     20 |     3330 |      764
637.49/637.73	c  634s |      17 |   224969 |   209632 |    20130     20 |     3330 |      764
639.48/639.76	c  636s |      17 |   226113 |   210632 |    20130     20 |     3330 |      764
641.68/641.90	c  638s |      17 |   227416 |   211732 |    20130     20 |     3330 |      764
643.78/644.02	c  640s |      17 |   228611 |   212832 |    20130     20 |     3330 |      764
645.78/646.04	c  642s |      17 |   229872 |   213932 |    20130     20 |     3330 |      764
647.79/648.09	c  644s |      17 |   230948 |   214932 |    20130     20 |     3330 |      764
650.08/650.37	c  647s |      17 |   232180 |   216032 |    20130     20 |     3330 |      764
652.28/652.58	c  649s |      17 |   233080 |   216832 |    20130     20 |     3330 |      764
654.38/654.66	c  651s |      17 |   233962 |   217632 |    20130     20 |     3330 |      764
656.68/656.99	c  653s |      17 |   234939 |   218532 |    20130     21 |     3330 |      764
658.79/659.10	c  655s |      17 |   236249 |   219632 |    20130     21 |     3330 |      764
660.88/661.18	c  657s |      17 |   237746 |   220932 |    20130     21 |     3330 |      764
662.98/663.28	c  660s |      17 |   239175 |   222232 |    20130     21 |     3330 |      764
673.37/673.67	c  670s |      17 |   240011 |   222932 |    20130     21 |     3330 |      764
675.57/675.80	c  672s |      17 |   240878 |   223732 |    20130     21 |     3330 |      764
677.77/678.01	c  674s |      17 |   242315 |   224932 |    20130     21 |     3330 |      764
679.87/680.18	c  676s |      17 |   243594 |   226032 |    20130     21 |     3330 |      764
682.07/682.32	c  679s |      17 |   244674 |   227032 |    20130     21 |     3330 |      764
684.17/684.42	c  681s |      17 |   245533 |   227832 |    20130     21 |     3330 |      764
686.27/686.51	c  683s |      17 |   246654 |   228832 |    20130     21 |     3330 |      764
688.47/688.75	c  685s |      17 |   247839 |   229932 |    20130     21 |     3330 |      764
690.86/691.13	c  687s |      17 |   248539 |   230532 |    20130     22 |     3330 |      764
692.86/693.17	c  689s |      17 |   249858 |   231632 |    20130     22 |     3330 |      764
694.96/695.30	c  692s |      17 |   251014 |   232732 |    20130     22 |     3330 |      764
697.16/697.42	c  694s |      17 |   252244 |   233832 |    20130     22 |     3330 |      764
699.15/699.47	c  696s |      17 |   253793 |   235232 |    20130     22 |     3330 |      764
701.25/701.58	c  698s |      17 |   255012 |   236332 |    20130     22 |     3330 |      764
703.45/703.71	c  700s |      17 |   256042 |   237232 |    20130     22 |     3330 |      764
705.45/705.75	c  702s |      17 |   257114 |   238232 |    20130     22 |     3330 |      764
714.05/714.38	c  711s |      17 |   257567 |   238632 |    20130     22 |     3330 |      764
716.35/716.61	c  713s |      17 |   258569 |   239432 |    20130     22 |     3330 |      764
718.45/718.77	c  715s |      17 |   259484 |   240232 |    20130     22 |     3330 |      764
720.65/720.99	c  717s |      17 |   260439 |   241132 |    20130     22 |     3330 |      764
722.75/723.03	c  719s |      17 |   261370 |   241932 |    20130     22 |     3330 |      764
724.75/725.04	c  721s |      17 |   262060 |   242532 |    20130     23 |     3330 |      764
726.95/727.24	c  723s |      17 |   262953 |   243332 |    20130     23 |     3330 |      764
729.15/729.42	c  726s |      17 |   263915 |   244232 |    20130     23 |     3330 |      764
731.25/731.55	c  728s |      17 |   264883 |   245132 |    20130     23 |     3330 |      764
733.45/733.74	c  730s |      17 |   266120 |   246132 |    20130     23 |     3330 |      764
735.54/735.86	c  732s |      17 |   267200 |   247132 |    20130     23 |     3330 |      764
737.54/737.88	c  734s |      17 |   268614 |   248232 |    20130     23 |     3330 |      764
739.64/739.93	c  736s |      17 |   270009 |   249432 |    20130     23 |     3330 |      764
741.64/741.99	c  738s |      17 |   271105 |   250432 |    20130     23 |     3330 |      764
743.74/744.06	c  740s |      17 |   272229 |   251432 |    20130     23 |     3330 |      764
745.94/746.21	c  742s |      17 |   273096 |   252232 |    20130     23 |     3330 |      764
748.04/748.35	c  745s |      17 |   273987 |   253032 |    20130     23 |     3330 |      764
750.14/750.42	c  747s |      17 |   274791 |   253732 |    20130     23 |     3330 |      764
752.14/752.48	c  749s |      17 |   275851 |   254632 |    20130     24 |     3330 |      764
754.24/754.50	c  751s |      17 |   277021 |   255632 |    20130     24 |     3330 |      764
756.24/756.58	c  753s |      17 |   278165 |   256632 |    20130     24 |     3330 |      764
758.34/758.60	c  755s |      17 |   279449 |   257732 |    20130     24 |     3330 |      764
760.33/760.64	c  757s |      17 |   280687 |   258832 |    20130     24 |     3330 |      764
762.43/762.78	c  759s |      17 |   281845 |   259832 |    20130     24 |     3330 |      764
764.53/764.85	c  761s |      17 |   282700 |   260632 |    20130     24 |     3330 |      764
766.54/766.89	c  763s |      17 |   283549 |   261432 |    20130     24 |     3330 |      764
768.75/769.06	c  765s |      17 |   284193 |   262032 |    20130     24 |     3330 |      764
770.73/771.09	c  767s |      17 |   284882 |   262632 |    20130     24 |     3330 |      764
772.93/773.30	c  770s |      17 |   285831 |   263432 |    20130     24 |     3330 |      764
775.24/775.58	c  772s |      17 |   286901 |   264332 |    20130     24 |     3330 |      764
777.43/777.71	c  774s |      17 |   287793 |   265132 |    20130     24 |     3330 |      764
779.63/779.91	c  776s |      17 |   288540 |   265732 |    20130     24 |     3330 |      764
781.63/781.93	c  778s |      17 |   289342 |   266432 |    20130     25 |     3330 |      764
783.63/783.95	c  780s |      17 |   290481 |   267432 |    20130     25 |     3330 |      764
785.82/786.11	c  782s |      17 |   291467 |   268332 |    20130     25 |     3330 |      764
787.92/788.27	c  784s |      17 |   292438 |   269232 |    20130     25 |     3330 |      764
789.92/790.28	c  787s |      17 |   293485 |   270132 |    20130     25 |     3330 |      764
791.92/792.28	c  789s |      17 |   294606 |   271132 |    20130     25 |     3330 |      764
794.03/794.36	c  791s |      17 |   295964 |   272332 |    20130     25 |     3330 |      764
796.13/796.48	c  793s |      17 |   297102 |   273332 |    20130     25 |     3330 |      764
798.43/798.80	c  795s |      17 |   298136 |   274332 |    20130     25 |     3330 |      764
800.63/800.96	c  797s |      17 |   299175 |   275332 |    20130     25 |     3330 |      764
802.83/803.18	c  799s |      17 |   300122 |   276232 |    20130     25 |     3330 |      764
805.03/805.37	c  802s |      17 |   301396 |   277332 |    20130     25 |     3330 |      764
807.23/807.54	c  804s |      17 |   302374 |   278232 |    20130     26 |     3330 |      764
809.52/809.84	c  806s |      17 |   303336 |   279132 |    20130     26 |     3330 |      764
811.63/811.91	c  808s |      17 |   304194 |   279932 |    20130     26 |     3330 |      764
813.62/813.97	c  810s |      17 |   305437 |   281032 |    20130     26 |     3330 |      764
822.71/823.08	c  819s |      17 |   306021 |   281532 |    20130     26 |     3330 |      764
824.91/825.21	c  821s |      17 |   307075 |   282432 |    20130     26 |     3330 |      764
827.11/827.40	c  824s |      17 |   308368 |   283532 |    20130     26 |     3330 |      764
829.12/829.47	c  826s |      17 |   309390 |   284432 |    20130     26 |     3330 |      764
831.11/831.48	c  828s |      17 |   310418 |   285332 |    20130     26 |     3330 |      764
833.21/833.56	c  830s |      17 |   311187 |   286032 |    20130     26 |     3330 |      764
835.31/835.61	c  832s |      17 |   312064 |   286832 |    20130     26 |     3330 |      764
837.41/837.73	c  834s |      17 |   313051 |   287732 |    20130     26 |     3330 |      764
839.41/839.80	c  836s |      17 |   314020 |   288632 |    20130     26 |     3330 |      764
841.71/842.00	c  838s |      17 |   315027 |   289532 |    20130     26 |     3330 |      764
843.70/844.04	c  840s |      17 |   315668 |   290132 |    20130     27 |     3330 |      764
845.81/846.16	c  842s |      17 |   316804 |   291132 |    20130     27 |     3330 |      764
847.91/848.27	c  844s |      17 |   318003 |   292232 |    20130     27 |     3330 |      764
850.00/850.34	c  847s |      17 |   319122 |   293232 |    20130     27 |     3330 |      764
852.31/852.62	c  849s |      17 |   320343 |   294332 |    22143     27 |     3330 |      764
856.20/856.54	c  853s |      17 |   320910 |   294832 |    22143     27 |     3330 |      764
858.20/858.58	c  855s |      17 |   321918 |   295732 |    22143     27 |     3330 |      764
859.39/859.70	c  856s |      18 |   322500 |   296252 |    22143     27 |     3330 |      764
867.70/868.09	c  864s |      18 |   323327 |   296952 |    22143     27 |     3330 |      764
869.79/870.10	c  866s |      18 |   324101 |   297652 |    22143     27 |     3330 |      764
871.79/872.13	c  868s |      18 |   324898 |   298352 |    22143     27 |     3330 |      764
873.79/874.15	c  870s |      18 |   325785 |   299152 |    22143     27 |     3330 |      764
875.89/876.24	c  872s |      18 |   326690 |   299952 |    22143     27 |     3330 |      764
877.99/878.37	c  875s |      18 |   327627 |   300752 |    22143     27 |     3330 |      764
880.08/880.40	c  877s |      18 |   328477 |   301552 |    22143     27 |     3330 |      764
882.18/882.50	c  879s |      18 |   329446 |   302452 |    22143     27 |     3330 |      764
884.38/884.70	c  881s |      18 |   330349 |   303252 |    22143     27 |     3330 |      764
886.39/886.72	c  883s |      18 |   331302 |   304052 |    22143     28 |     3330 |      764
888.49/888.87	c  885s |      18 |   332366 |   305052 |    22143     28 |     3330 |      764
890.69/891.03	c  887s |      18 |   333433 |   306052 |    22143     28 |     3330 |      764
892.69/893.07	c  889s |      18 |   334276 |   306752 |    22143     28 |     3330 |      764
894.89/895.23	c  891s |      18 |   335555 |   307852 |    22143     28 |     3330 |      764
896.99/897.32	c  894s |      18 |   336693 |   308852 |    22143     28 |     3330 |      764
898.99/899.36	c  896s |      18 |   337786 |   309852 |    22143     28 |     3330 |      764
901.28/901.60	c  898s |      18 |   338740 |   310752 |    22143     28 |     3330 |      764
903.38/903.75	c  900s |      18 |   339894 |   311852 |    22143     28 |     3330 |      764
905.58/905.97	c  902s |      18 |   340989 |   312752 |    22143     28 |     3330 |      764
907.78/908.10	c  904s |      18 |   341919 |   313552 |    22143     28 |     3330 |      764
909.78/910.11	c  906s |      18 |   343000 |   314552 |    22143     28 |     3330 |      764
911.78/912.18	c  908s |      18 |   344178 |   315652 |    22143     28 |     3330 |      764
915.18/915.53	c  912s |      18 |   345124 |   316552 |    22143     29 |     3330 |      764
917.28/917.69	c  914s |      18 |   346453 |   317752 |    22143     29 |     3330 |      764
919.38/919.71	c  916s |      18 |   347678 |   318852 |    22143     29 |     3330 |      764
921.58/921.92	c  918s |      18 |   348735 |   319852 |    22143     29 |     3330 |      764
923.68/924.09	c  920s |      18 |   349897 |   320952 |    22143     29 |     3330 |      764
925.88/926.25	c  922s |      18 |   351045 |   322052 |    22143     29 |     3330 |      764
928.07/928.43	c  925s |      18 |   351497 |   322452 |    22143     29 |     3330 |      764
930.17/930.50	c  927s |      18 |   352385 |   323252 |    22143     29 |     3330 |      764
932.17/932.59	c  929s |      18 |   353390 |   324052 |    22143     29 |     3330 |      764
934.37/934.74	c  931s |      18 |   354321 |   324852 |    22143     29 |     3330 |      764
936.37/936.78	c  933s |      18 |   355194 |   325552 |    22143     29 |     3330 |      764
938.47/938.84	c  935s |      18 |   356125 |   326352 |    22143     29 |     3330 |      764
944.06/944.40	c  941s |      18 |   356598 |   326752 |    22143     29 |     3330 |      764
946.06/946.48	c  943s |      18 |   357513 |   327552 |    22143     29 |     3330 |      764
948.26/948.63	c  945s |      18 |   358453 |   328452 |    22143     29 |     3330 |      764
950.55/950.92	c  947s |      18 |   359543 |   329452 |    22143     30 |     3330 |      764
952.66/953.01	c  949s |      18 |   360176 |   330052 |    22143     30 |     3330 |      764
954.76/955.14	c  951s |      18 |   361405 |   331152 |    22143     30 |     3330 |      764
956.96/957.37	c  954s |      18 |   362594 |   332252 |    22143     30 |     3330 |      764
959.06/959.41	c  956s |      18 |   363473 |   333052 |    22143     30 |     3330 |      764
961.16/961.53	c  958s |      18 |   364342 |   333852 |    22143     30 |     3330 |      764
963.26/963.62	c  960s |      18 |   365329 |   334752 |    22143     30 |     3330 |      764
965.26/965.68	c  962s |      18 |   366325 |   335652 |    22143     30 |     3330 |      764
967.46/967.84	c  964s |      18 |   367232 |   336452 |    22143     30 |     3330 |      764
969.66/970.06	c  966s |      18 |   368200 |   337352 |    22143     30 |     3330 |      764
971.76/972.17	c  968s |      18 |   369049 |   338152 |    22143     30 |     3330 |      764
973.96/974.32	c  971s |      18 |   370003 |   339052 |    22143     30 |     3330 |      764
982.95/983.32	c  980s |      18 |   370963 |   339952 |    22143     30 |     3330 |      764
985.05/985.47	c  982s |      18 |   371815 |   340752 |    22143     30 |     3330 |      764
987.15/987.57	c  984s |      18 |   372784 |   341652 |    22143     30 |     3330 |      764
989.95/990.38	c  987s |      18 |   373539 |   342352 |    22143     31 |     3330 |      764
992.05/992.40	c  989s |      18 |   374374 |   343152 |    22143     31 |     3330 |      764
994.05/994.47	c  991s |      18 |   375522 |   344252 |    22143     31 |     3330 |      764
996.04/996.47	c  993s |      18 |   376581 |   345252 |    22143     31 |     3330 |      764
998.04/998.49	c  995s |      18 |   377636 |   346252 |    22143     31 |     3330 |      764
1000.24/1000.66	c  997s |      18 |   378860 |   347352 |    22143     31 |     3330 |      764
1002.44/1002.81	c  999s |      18 |   380065 |   348452 |    22143     31 |     3330 |      764
1004.54/1004.92	c 1001s |      18 |   380951 |   349252 |    22143     31 |     3330 |      764
1006.64/1007.06	c 1003s |      18 |   381916 |   350152 |    22143     31 |     3330 |      764
1008.64/1009.07	c 1005s |      18 |   383095 |   351252 |    22143     31 |     3330 |      764
1010.65/1011.08	c 1007s |      18 |   383827 |   351952 |    22143     31 |     3330 |      764
1012.94/1013.32	c 1010s |      18 |   384686 |   352752 |    22143     31 |     3330 |      764
1015.14/1015.57	c 1012s |      18 |   385626 |   353652 |    22143     31 |     3330 |      764
1017.25/1017.61	c 1014s |      18 |   386382 |   354352 |    22143     31 |     3330 |      764
1019.45/1019.87	c 1016s |      18 |   387315 |   355152 |    22143     32 |     3330 |      764
1021.55/1021.97	c 1018s |      18 |   388139 |   355952 |    22143     32 |     3330 |      764
1023.64/1024.07	c 1020s |      18 |   389274 |   356952 |    22143     32 |     3330 |      764
1025.74/1026.10	c 1022s |      18 |   390341 |   357952 |    22143     32 |     3330 |      764
1028.04/1028.45	c 1025s |      18 |   391279 |   358752 |    22143     32 |     3330 |      764
1030.04/1030.49	c 1027s |      18 |   392099 |   359452 |    22143     32 |     3330 |      764
1032.24/1032.64	c 1029s |      18 |   393186 |   360352 |    22143     32 |     3330 |      764
1034.34/1034.76	c 1031s |      18 |   394282 |   361252 |    22143     32 |     3330 |      764
1036.44/1036.82	c 1033s |      18 |   394939 |   361852 |    22143     32 |     3330 |      764
1038.64/1039.02	c 1035s |      18 |   395945 |   362752 |    22143     32 |     3330 |      764
1040.64/1041.04	c 1037s |      18 |   396825 |   363452 |    22143     32 |     3330 |      764
1042.84/1043.22	c 1039s |      18 |   397599 |   364152 |    22143     32 |     3330 |      764
1044.84/1045.24	c 1041s |      18 |   398653 |   365052 |    22143     32 |     3330 |      764
1046.94/1047.35	c 1044s |      18 |   399603 |   365852 |    22143     32 |     3330 |      764
1049.14/1049.54	c 1046s |      18 |   400422 |   366552 |    22143     32 |     3330 |      764
1051.14/1051.58	c 1048s |      18 |   401233 |   367252 |    22143     32 |     3330 |      764
1054.74/1055.11	c 1051s |      18 |   402035 |   367952 |    22143     33 |     3330 |      764
1056.75/1057.15	c 1053s |      18 |   403279 |   368952 |    22143     33 |     3330 |      764
1058.74/1059.19	c 1055s |      18 |   404436 |   369952 |    22143     33 |     3330 |      764
1060.84/1061.22	c 1057s |      18 |   405541 |   370952 |    22143     33 |     3330 |      764
1062.84/1063.24	c 1059s |      18 |   406644 |   371952 |    22143     33 |     3330 |      764
1065.04/1065.41	c 1062s |      18 |   408069 |   373152 |    22143     33 |     3330 |      764
1067.14/1067.54	c 1064s |      18 |   409417 |   374352 |    22143     33 |     3330 |      764
1069.34/1069.78	c 1066s |      18 |   410495 |   375352 |    22143     33 |     3330 |      764
1071.54/1071.98	c 1068s |      18 |   411584 |   376352 |    22143     33 |     3330 |      764
1073.74/1074.15	c 1070s |      18 |   412442 |   377152 |    22143     33 |     3330 |      764
1075.94/1076.30	c 1073s |      18 |   413230 |   377852 |    22143     33 |     3330 |      764
1078.04/1078.44	c 1075s |      18 |   414022 |   378552 |    22143     33 |     3330 |      764
1080.04/1080.49	c 1077s |      18 |   414915 |   379352 |    22143     33 |     3330 |      764
1082.14/1082.51	c 1079s |      18 |   415676 |   380052 |    22143     33 |     3330 |      764
1084.34/1084.74	c 1081s |      18 |   416760 |   380952 |    22143     34 |     3330 |      764
1086.44/1086.88	c 1083s |      18 |   418027 |   382052 |    22143     34 |     3330 |      764
1088.54/1088.97	c 1085s |      18 |   419098 |   383052 |    22143     34 |     3330 |      764
1090.74/1091.14	c 1087s |      18 |   420196 |   384052 |    22143     34 |     3330 |      764
1092.83/1093.20	c 1089s |      18 |   421020 |   384752 |    22143     34 |     3330 |      764
1094.83/1095.22	c 1091s |      18 |   421913 |   385552 |    22143     34 |     3330 |      764
1097.03/1097.43	c 1094s |      18 |   422779 |   386352 |    22143     34 |     3330 |      764
1103.44/1103.80	c 1100s |      18 |   423443 |   386952 |    22143     34 |     3330 |      764
1105.54/1105.98	c 1102s |      18 |   424203 |   387652 |    22143     34 |     3330 |      764
1107.73/1108.14	c 1104s |      18 |   424934 |   388352 |    22143     34 |     3330 |      764
1110.03/1110.43	c 1107s |      18 |   425696 |   389052 |    22143     34 |     3330 |      764
1112.03/1112.49	c 1109s |      18 |   426329 |   389652 |    22143     34 |     3330 |      764
1114.23/1114.64	c 1111s |      18 |   427077 |   390352 |    22143     34 |     3330 |      764
1116.24/1116.67	c 1113s |      18 |   428145 |   391352 |    22143     34 |     3330 |      764
1118.34/1118.75	c 1115s |      18 |   428983 |   392152 |    22143     34 |     3330 |      764
1120.33/1120.79	c 1117s |      18 |   429827 |   392952 |    22143     34 |     3330 |      764
1123.13/1123.54	c 1120s |      18 |   430758 |   393852 |    22143     35 |     3330 |      764
1125.33/1125.70	c 1122s |      18 |   431704 |   394752 |    22143     35 |     3330 |      764
1127.33/1127.79	c 1124s |      18 |   432862 |   395852 |    22143     35 |     3330 |      764
1129.43/1129.84	c 1126s |      18 |   433930 |   396852 |    22143     35 |     3330 |      764
1131.53/1131.99	c 1128s |      18 |   434848 |   397752 |    22143     35 |     3330 |      764
1133.63/1134.03	c 1130s |      18 |   435651 |   398552 |    22143     35 |     3330 |      764
1135.63/1136.05	c 1132s |      18 |   436527 |   399352 |    22143     35 |     3330 |      764
1137.83/1138.26	c 1134s |      18 |   437546 |   400252 |    22143     35 |     3330 |      764
1140.02/1140.49	c 1137s |      18 |   438396 |   401052 |    22143     35 |     3330 |      764
1142.32/1142.70	c 1139s |      18 |   439344 |   401952 |    22143     35 |     3330 |      764
1144.32/1144.79	c 1141s |      18 |   440312 |   402852 |    22143     35 |     3330 |      764
1146.52/1146.91	c 1143s |      18 |   441362 |   403852 |    22143     35 |     3330 |      764
1148.72/1149.10	c 1145s |      18 |   442313 |   404752 |    22143     35 |     3330 |      764
1151.02/1151.45	c 1148s |      18 |   443260 |   405652 |    22143     35 |     3330 |      764
1153.22/1153.64	c 1150s |      18 |   444003 |   406352 |    22143     35 |     3330 |      764
1155.32/1155.73	c 1152s |      18 |   444421 |   406752 |    22143     36 |     3330 |      764
1157.32/1157.78	c 1154s |      18 |   445364 |   407652 |    22143     36 |     3330 |      764
1165.42/1165.86	c 1162s |      18 |   445812 |   408052 |    22143     36 |     3330 |      764
1167.52/1167.95	c 1164s |      18 |   446957 |   409052 |    22143     36 |     3330 |      764
1169.52/1169.97	c 1166s |      18 |   448041 |   409952 |    22143     36 |     3330 |      764
1171.62/1172.08	c 1168s |      18 |   449266 |   410952 |    22143     36 |     3330 |      764
1173.82/1174.20	c 1170s |      18 |   450382 |   411952 |    22143     36 |     3330 |      764
1175.82/1176.28	c 1173s |      18 |   451377 |   412852 |    22143     36 |     3330 |      764
1178.02/1178.44	c 1175s |      18 |   452459 |   413852 |    22143     36 |     3330 |      764
1180.12/1180.58	c 1177s |      18 |   453813 |   415052 |    22143     36 |     3330 |      764
1182.23/1182.66	c 1179s |      18 |   455110 |   416152 |    22143     36 |     3330 |      764
1184.43/1184.84	c 1181s |      18 |   456138 |   417052 |    22143     36 |     3330 |      764
1186.72/1187.11	c 1183s |      18 |   457156 |   417952 |    22143     36 |     3330 |      764
1188.72/1189.13	c 1185s |      18 |   457995 |   418652 |    22143     36 |     3330 |      764
1190.82/1191.29	c 1188s |      18 |   459040 |   419552 |    22143     37 |     3330 |      764
1192.92/1193.37	c 1190s |      18 |   460242 |   420652 |    22143     37 |     3330 |      764
1195.12/1195.50	c 1192s |      18 |   461553 |   421852 |    22143     37 |     3330 |      764
1197.12/1197.59	c 1194s |      18 |   462864 |   423052 |    22143     37 |     3330 |      764
1199.32/1199.73	c 1196s |      18 |   463978 |   424052 |    22143     37 |     3330 |      764
1201.52/1201.93	c 1198s |      18 |   464523 |   424552 |    22143     37 |     3330 |      764
1203.62/1204.08	c 1200s |      18 |   465501 |   425452 |    22143     37 |     3330 |      764
1205.82/1206.26	c 1202s |      18 |   466571 |   426352 |    22143     37 |     3330 |      764
1207.92/1208.33	c 1205s |      18 |   467438 |   427152 |    22143     37 |     3330 |      764
1210.02/1210.44	c 1207s |      18 |   468420 |   428052 |    22143     37 |     3330 |      764
1212.11/1212.52	c 1209s |      18 |   469451 |   428952 |    22143     37 |     3330 |      764
1214.12/1214.54	c 1211s |      18 |   470489 |   429852 |    22143     37 |     3330 |      764
1216.11/1216.57	c 1213s |      18 |   471573 |   430852 |    22143     37 |     3330 |      764
1218.42/1218.87	c 1215s |      18 |   472852 |   431952 |    22143     37 |     3330 |      764
1220.51/1220.94	c 1217s |      18 |   473412 |   432452 |    22143     38 |     3330 |      764
1222.71/1223.13	c 1219s |      18 |   474080 |   433052 |    22143     38 |     3330 |      764
1224.71/1225.18	c 1221s |      18 |   475126 |   433952 |    22143     38 |     3330 |      764
1227.01/1227.45	c 1224s |      18 |   476232 |   434952 |    22143     38 |     3330 |      764
1229.21/1229.63	c 1226s |      18 |   477378 |   435952 |    22143     38 |     3330 |      764
1231.21/1231.67	c 1228s |      18 |   478252 |   436752 |    22143     38 |     3330 |      764
1233.21/1233.69	c 1230s |      18 |   479144 |   437552 |    22143     38 |     3330 |      764
1235.31/1235.73	c 1232s |      18 |   480116 |   438452 |    22143     38 |     3330 |      764
1237.51/1237.95	c 1234s |      18 |   480886 |   439152 |    22143     38 |     3330 |      764
1239.51/1239.99	c 1236s |      18 |   481981 |   440052 |    22143     38 |     3330 |      764
1241.61/1242.03	c 1238s |      18 |   483015 |   440952 |    22143     38 |     3330 |      764
1243.61/1244.10	c 1240s |      18 |   483895 |   441752 |    24358     38 |     3330 |      764
1245.71/1246.18	c 1242s |      18 |   484892 |   442652 |    24358     38 |     3330 |      764
1247.91/1248.39	c 1245s |      18 |   486010 |   443652 |    24358     38 |     3330 |      764
1249.91/1250.36	c 1247s |      19 |   486961 |   444482 |    24358     38 |     3330 |      764
1252.41/1252.90	c 1249s |      19 |   487154 |   444582 |    24358     38 |     3330 |      764
1254.61/1255.01	c 1251s |      19 |   488328 |   445182 |    24358     38 |     3330 |      764
1256.71/1257.17	c 1253s |      19 |   488747 |   445482 |    24358     38 |     3330 |      764
1259.01/1259.48	c 1256s |      19 |   489442 |   445982 |    24358     38 |     3330 |      764
1261.01/1261.49	c 1258s |      19 |   490064 |   446482 |    24358     38 |     3330 |      764
1263.21/1263.65	c 1260s |      19 |   490976 |   447082 |    24358     38 |     3330 |      764
1265.61/1266.00	c 1262s |      19 |   491714 |   447582 |    24358     39 |     3330 |      764
1268.61/1269.07	c 1265s |      19 |   491866 |   447682 |    24358     39 |     3330 |      764
1271.21/1271.62	c 1268s |      19 |   492938 |   448482 |    24358     39 |     3330 |      764
1273.31/1273.78	c 1270s |      19 |   494079 |   449382 |    24358     39 |     3330 |      764
1275.41/1275.84	c 1272s |      19 |   495270 |   450382 |    24358     39 |     3330 |      764
1277.41/1277.85	c 1274s |      19 |   496262 |   451182 |    24358     39 |     3330 |      764
1279.61/1280.05	c 1276s |      19 |   497439 |   452082 |    24358     39 |     3330 |      764
1281.61/1282.09	c 1278s |      19 |   498323 |   452782 |    24358     39 |     3330 |      764
1283.71/1284.15	c 1280s |      19 |   499200 |   453482 |    24358     39 |     3330 |      764
1285.91/1286.31	c 1283s |      19 |   499949 |   454082 |    24358     39 |     3330 |      764
1288.01/1288.46	c 1285s |      19 |   500724 |   454682 |    24358     39 |     3330 |      764
1290.01/1290.48	c 1287s |      19 |   501428 |   455282 |    24358     39 |     3330 |      764
1292.31/1292.72	c 1289s |      19 |   502353 |   456082 |    24358     39 |     3330 |      764
1294.41/1294.88	c 1291s |      19 |   503158 |   456782 |    24358     39 |     3330 |      764
1296.70/1297.13	c 1293s |      19 |   503802 |   457382 |    24358     39 |     3330 |      764
1298.90/1299.38	c 1296s |      19 |   504661 |   458082 |    24358     39 |     3330 |      764
1301.30/1301.77	c 1298s |      19 |   505449 |   458782 |    24358     39 |     3330 |      764
1303.50/1303.97	c 1300s |      19 |   506236 |   459382 |    24358     39 |     3330 |      764
1305.70/1306.11	c 1302s |      19 |   507102 |   460182 |    24358     39 |     3330 |      764
1307.70/1308.20	c 1304s |      19 |   508105 |   461082 |    24358     39 |     3330 |      764
1312.50/1312.94	c 1309s |      19 |   508546 |   461482 |    24358     40 |     3330 |      764
1314.50/1314.98	c 1311s |      19 |   509463 |   462382 |    24358     40 |     3330 |      764
1316.60/1317.06	c 1313s |      19 |   510442 |   463282 |    24358     40 |     3330 |      764
1318.60/1319.07	c 1315s |      19 |   511164 |   463982 |    24358     40 |     3330 |      764
1320.80/1321.25	c 1317s |      19 |   511871 |   464682 |    24358     40 |     3330 |      764
1322.90/1323.31	c 1320s |      19 |   512491 |   465282 |    24358     40 |     3330 |      764
1325.00/1325.48	c 1322s |      19 |   513321 |   466082 |    24358     40 |     3330 |      764
1327.10/1327.56	c 1324s |      19 |   514335 |   466982 |    24358     40 |     3330 |      764
1329.20/1329.61	c 1326s |      19 |   515296 |   467882 |    24358     40 |     3330 |      764
1331.30/1331.72	c 1328s |      19 |   516240 |   468782 |    24358     40 |     3330 |      764
1335.89/1336.33	c 1333s |      19 |   516873 |   469382 |    24358     40 |     3330 |      764
1337.90/1338.38	c 1335s |      19 |   517771 |   470182 |    24358     40 |     3330 |      764
1340.20/1340.67	c 1337s |      19 |   518912 |   471082 |    24358     40 |     3330 |      764
1342.40/1342.80	c 1339s |      19 |   519876 |   471882 |    24358     40 |     3330 |      764
1344.60/1345.02	c 1341s |      19 |   520793 |   472682 |    24358     40 |     3330 |      764
1346.60/1347.07	c 1343s |      19 |   521566 |   473382 |    24358     40 |     3330 |      764
1348.80/1349.28	c 1346s |      19 |   522567 |   474282 |    24358     40 |     3330 |      764
1351.10/1351.50	c 1348s |      19 |   523480 |   475082 |    24358     40 |     3330 |      764
1353.10/1353.54	c 1350s |      19 |   524134 |   475682 |    24358     41 |     3330 |      764
1355.10/1355.59	c 1352s |      19 |   525119 |   476582 |    24358     41 |     3330 |      764
1357.30/1357.71	c 1354s |      19 |   526177 |   477482 |    24358     41 |     3330 |      764
1359.30/1359.76	c 1356s |      19 |   527085 |   478282 |    24358     41 |     3330 |      764
1361.40/1361.88	c 1358s |      19 |   528072 |   479182 |    24358     41 |     3330 |      764
1363.60/1364.06	c 1360s |      19 |   529056 |   480082 |    24358     41 |     3330 |      764
1365.80/1366.29	c 1363s |      19 |   530106 |   480982 |    24358     41 |     3330 |      764
1368.00/1368.49	c 1365s |      19 |   530954 |   481782 |    24358     41 |     3330 |      764
1370.09/1370.55	c 1367s |      19 |   531915 |   482682 |    24358     41 |     3330 |      764
1372.19/1372.69	c 1369s |      19 |   532766 |   483482 |    24358     41 |     3330 |      764
1374.29/1374.77	c 1371s |      19 |   533542 |   484182 |    24358     41 |     3330 |      764
1376.29/1376.79	c 1373s |      19 |   534301 |   484882 |    24358     41 |     3330 |      764
1378.49/1378.92	c 1375s |      19 |   535086 |   485582 |    24358     41 |     3330 |      764
1380.49/1380.98	c 1377s |      19 |   535982 |   486382 |    24358     41 |     3330 |      764
1382.69/1383.20	c 1379s |      19 |   536877 |   487182 |    24358     41 |     3330 |      764
1384.79/1385.21	c 1381s |      19 |   537686 |   487882 |    24358     41 |     3330 |      764
1387.39/1387.85	c 1384s |      19 |   538709 |   488782 |    24358     41 |     3330 |      764
1389.49/1389.95	c 1386s |      19 |   539516 |   489382 |    24358     41 |     3330 |      764
1391.79/1392.22	c 1388s |      19 |   540189 |   489982 |    24358     42 |     3330 |      764
1393.89/1394.37	c 1391s |      19 |   541176 |   490782 |    24358     42 |     3330 |      764
1396.09/1396.51	c 1393s |      19 |   542220 |   491682 |    24358     42 |     3330 |      764
1398.19/1398.68	c 1395s |      19 |   543489 |   492782 |    24358     42 |     3330 |      764
1400.19/1400.69	c 1397s |      19 |   544174 |   493382 |    24358     42 |     3330 |      764
1402.39/1402.83	c 1399s |      19 |   545333 |   494382 |    24358     42 |     3330 |      764
1404.49/1404.99	c 1401s |      19 |   546401 |   495282 |    24358     42 |     3330 |      764
1406.59/1407.07	c 1403s |      19 |   547302 |   496082 |    24358     42 |     3330 |      764
1408.69/1409.13	c 1405s |      19 |   548020 |   496682 |    24358     42 |     3330 |      764
1410.89/1411.38	c 1408s |      19 |   548922 |   497482 |    24358     42 |     3330 |      764
1413.09/1413.55	c 1410s |      19 |   549716 |   498182 |    24358     42 |     3330 |      764
1415.08/1415.57	c 1412s |      19 |   550498 |   498882 |    24358     42 |     3330 |      764
1417.28/1417.75	c 1414s |      19 |   551261 |   499582 |    24358     42 |     3330 |      764
1419.58/1420.00	c 1416s |      19 |   552339 |   500582 |    24358     42 |     3330 |      764
1421.58/1422.05	c 1418s |      19 |   553340 |   501482 |    24358     42 |     3330 |      764
1423.68/1424.11	c 1420s |      19 |   554410 |   502482 |    24358     42 |     3330 |      764
1425.78/1426.22	c 1422s |      19 |   555321 |   503282 |    24358     42 |     3330 |      764
1428.98/1429.49	c 1426s |      19 |   556081 |   503982 |    24358     43 |     3330 |      764
1431.18/1431.67	c 1428s |      19 |   557521 |   505082 |    24358     43 |     3330 |      764
1433.28/1433.75	c 1430s |      19 |   558527 |   505982 |    24358     43 |     3330 |      764
1435.38/1435.80	c 1432s |      19 |   559604 |   506982 |    24358     43 |     3330 |      764
1437.58/1438.03	c 1434s |      19 |   560557 |   507782 |    24358     43 |     3330 |      764
1439.59/1440.08	c 1436s |      19 |   561697 |   508782 |    24358     43 |     3330 |      764
1441.78/1442.26	c 1438s |      19 |   563000 |   509882 |    24358     43 |     3330 |      764
1450.88/1451.38	c 1448s |      19 |   563571 |   510382 |    24358     43 |     3330 |      764
1453.08/1453.51	c 1450s |      19 |   564258 |   510982 |    24358     43 |     3330 |      764
1455.38/1455.86	c 1452s |      19 |   565127 |   511682 |    24358     43 |     3330 |      764
1457.48/1457.98	c 1454s |      19 |   565874 |   512282 |    24358     43 |     3330 |      764
1459.78/1460.23	c 1456s |      19 |   566761 |   512982 |    24358     43 |     3330 |      764
1461.78/1462.24	c 1458s |      19 |   567561 |   513682 |    24358     43 |     3330 |      764
1463.98/1464.43	c 1461s |      19 |   568484 |   514482 |    24358     43 |     3330 |      764
1466.08/1466.52	c 1463s |      19 |   569394 |   515182 |    24358     43 |     3330 |      764
1468.08/1468.53	c 1465s |      19 |   570305 |   515982 |    24358     43 |     3330 |      764
1470.28/1470.77	c 1467s |      19 |   571194 |   516782 |    24358     43 |     3330 |      764
1472.97/1473.47	c 1470s |      19 |   572105 |   517582 |    24358     44 |     3330 |      764
1475.07/1475.56	c 1472s |      19 |   572583 |   517982 |    24358     44 |     3330 |      764
1477.17/1477.69	c 1474s |      19 |   573858 |   518982 |    24358     44 |     3330 |      764
1479.47/1479.96	c 1476s |      19 |   574984 |   519882 |    24358     44 |     3330 |      764
1481.57/1482.05	c 1478s |      19 |   576021 |   520782 |    24358     44 |     3330 |      764
1483.58/1484.05	c 1480s |      19 |   577017 |   521582 |    24358     44 |     3330 |      764
1485.78/1486.24	c 1482s |      19 |   578128 |   522482 |    24358     44 |     3330 |      764
1487.87/1488.35	c 1485s |      19 |   579212 |   523382 |    24358     44 |     3330 |      764
1489.97/1490.49	c 1487s |      19 |   580392 |   524382 |    24358     44 |     3330 |      764
1492.07/1492.53	c 1489s |      19 |   581520 |   525282 |    24358     44 |     3330 |      764
1494.37/1494.87	c 1491s |      19 |   582389 |   525982 |    24358     44 |     3330 |      764
1496.57/1497.03	c 1493s |      19 |   583193 |   526682 |    24358     44 |     3330 |      764
1498.57/1499.08	c 1495s |      19 |   583992 |   527382 |    24358     44 |     3330 |      764
1500.77/1501.27	c 1497s |      19 |   584873 |   528182 |    24358     44 |     3330 |      764
1502.97/1503.49	c 1500s |      19 |   585792 |   528982 |    24358     44 |     3330 |      764
1505.27/1505.74	c 1502s |      19 |   586783 |   529782 |    24358     44 |     3330 |      764
1507.47/1507.99	c 1504s |      19 |   587681 |   530582 |    24358     44 |     3330 |      764
1509.67/1510.10	c 1506s |      19 |   588494 |   531282 |    24358     44 |     3330 |      764
1511.67/1512.12	c 1508s |      19 |   589110 |   531782 |    24358     45 |     3330 |      764
1513.67/1514.16	c 1510s |      19 |   590328 |   532782 |    24358     45 |     3330 |      764
1515.87/1516.35	c 1513s |      19 |   591507 |   533782 |    24358     45 |     3330 |      764
1518.07/1518.53	c 1515s |      19 |   592686 |   534782 |    24358     45 |     3330 |      764
1520.16/1520.68	c 1517s |      19 |   593801 |   535782 |    24358     45 |     3330 |      764
1522.46/1522.95	c 1519s |      19 |   594836 |   536682 |    24358     45 |     3330 |      764
1524.46/1524.98	c 1521s |      19 |   595599 |   537282 |    24358     45 |     3330 |      764
1526.56/1527.04	c 1523s |      19 |   596697 |   538182 |    24358     45 |     3330 |      764
1528.67/1529.16	c 1525s |      19 |   597946 |   539182 |    24358     45 |     3330 |      764
1530.66/1531.17	c 1527s |      19 |   599025 |   540082 |    24358     45 |     3330 |      764
1532.76/1533.29	c 1530s |      19 |   600263 |   541182 |    24358     45 |     3330 |      764
1534.96/1535.43	c 1532s |      19 |   601616 |   542382 |    24358     45 |     3330 |      764
1537.06/1537.59	c 1534s |      19 |   602621 |   543282 |    24358     45 |     3330 |      764
1539.16/1539.62	c 1536s |      19 |   603617 |   544182 |    24358     45 |     3330 |      764
1541.16/1541.67	c 1538s |      19 |   604619 |   545082 |    24358     45 |     3330 |      764
1543.26/1543.78	c 1540s |      19 |   605710 |   546082 |    24358     46 |     3330 |      764
1545.46/1545.94	c 1542s |      19 |   606808 |   547082 |    24358     46 |     3330 |      764
1547.56/1548.09	c 1544s |      19 |   607630 |   547882 |    24358     46 |     3330 |      764
1549.57/1550.09	c 1546s |      19 |   608586 |   548782 |    24358     46 |     3330 |      764
1551.86/1552.30	c 1549s |      19 |   609663 |   549782 |    24358     46 |     3330 |      764
1553.86/1554.35	c 1551s |      19 |   610743 |   550782 |    24358     46 |     3330 |      764
1555.86/1556.38	c 1553s |      19 |   611797 |   551782 |    24358     46 |     3330 |      764
1557.86/1558.38	c 1555s |      19 |   612837 |   552682 |    24358     46 |     3330 |      764
1559.96/1560.44	c 1557s |      19 |   613857 |   553582 |    24358     46 |     3330 |      764
1562.06/1562.57	c 1559s |      19 |   614707 |   554382 |    24358     46 |     3330 |      764
1564.16/1564.65	c 1561s |      19 |   615729 |   555282 |    24358     46 |     3330 |      764
1566.26/1566.74	c 1563s |      19 |   616768 |   556182 |    24358     46 |     3330 |      764
1568.46/1568.90	c 1565s |      19 |   617776 |   557082 |    24358     46 |     3330 |      764
1570.46/1570.99	c 1567s |      19 |   618806 |   557982 |    24358     46 |     3330 |      764
1572.56/1573.03	c 1569s |      19 |   619687 |   558782 |    24358     46 |     3330 |      764
1574.66/1575.20	c 1571s |      19 |   620601 |   559582 |    24358     47 |     3330 |      764
1576.76/1577.28	c 1574s |      19 |   621709 |   560582 |    24358     47 |     3330 |      764
1589.85/1590.37	c 1587s |      19 |   621832 |   560682 |    24358     47 |     3330 |      764
1592.05/1592.53	c 1589s |      19 |   623332 |   561882 |    24358     47 |     3330 |      764
1594.15/1594.64	c 1591s |      19 |   624309 |   562782 |    24358     47 |     3330 |      764
1596.35/1596.81	c 1593s |      19 |   625458 |   563782 |    24358     47 |     3330 |      764
1598.35/1598.83	c 1595s |      19 |   626571 |   564782 |    24358     47 |     3330 |      764
1600.45/1600.95	c 1597s |      19 |   627790 |   565882 |    24358     47 |     3330 |      764
1602.55/1603.04	c 1599s |      19 |   628731 |   566782 |    24358     47 |     3330 |      764
1604.65/1605.15	c 1601s |      19 |   629755 |   567682 |    24358     47 |     3330 |      764
1606.66/1607.18	c 1603s |      19 |   630750 |   568582 |    24358     47 |     3330 |      764
1608.86/1609.35	c 1606s |      19 |   631742 |   569482 |    24358     47 |     3330 |      764
1610.95/1611.45	c 1608s |      19 |   632691 |   570282 |    24358     47 |     3330 |      764
1612.95/1613.48	c 1610s |      19 |   633617 |   571082 |    24358     47 |     3330 |      764
1615.25/1615.71	c 1612s |      19 |   634484 |   571882 |    24358     47 |     3330 |      764
1617.25/1617.72	c 1614s |      19 |   635461 |   572782 |    24358     47 |     3330 |      764
1620.05/1620.57	c 1617s |      19 |   636509 |   573682 |    24358     48 |     3330 |      764
1622.75/1623.23	c 1619s |      19 |   637799 |   574782 |    24358     48 |     3330 |      764
1625.15/1625.62	c 1622s |      19 |   638790 |   575682 |    24358     48 |     3330 |      764
1627.35/1627.88	c 1624s |      19 |   639732 |   576482 |    24358     48 |     3330 |      764
1629.65/1630.11	c 1626s |      19 |   640815 |   577482 |    24358     48 |     3330 |      764
1631.75/1632.28	c 1629s |      19 |   641922 |   578482 |    24358     48 |     3330 |      764
1633.85/1634.34	c 1631s |      19 |   642876 |   579382 |    24358     48 |     3330 |      764
1635.95/1636.48	c 1633s |      19 |   643747 |   580182 |    24358     48 |     3330 |      764
1638.05/1638.56	c 1635s |      19 |   644725 |   581082 |    24358     48 |     3330 |      764
1640.05/1640.56	c 1637s |      19 |   645588 |   581882 |    24358     48 |     3330 |      764
1642.35/1642.86	c 1639s |      19 |   646759 |   582882 |    24358     48 |     3330 |      764
1644.55/1645.07	c 1641s |      19 |   647846 |   583882 |    24358     48 |     3330 |      764
1646.75/1647.23	c 1643s |      19 |   648744 |   584682 |    24358     48 |     3330 |      764
1648.95/1649.40	c 1646s |      19 |   649681 |   585482 |    24358     48 |     3330 |      764
1650.95/1651.44	c 1648s |      19 |   650738 |   586382 |    24358     48 |     3330 |      764
1653.05/1653.52	c 1650s |      19 |   651614 |   587182 |    24358     48 |     3330 |      764
1655.24/1655.70	c 1652s |      19 |   652607 |   588082 |    24358     49 |     3330 |      764
1657.25/1657.73	c 1654s |      19 |   653635 |   588982 |    24358     49 |     3330 |      764
1659.34/1659.90	c 1656s |      19 |   654393 |   589682 |    24358     49 |     3330 |      764
1661.54/1662.01	c 1658s |      19 |   655374 |   590582 |    24358     49 |     3330 |      764
1663.74/1664.21	c 1660s |      19 |   656519 |   591582 |    24358     49 |     3330 |      764
1665.94/1666.40	c 1663s |      19 |   657490 |   592482 |    24358     49 |     3330 |      764
1668.04/1668.55	c 1665s |      19 |   658483 |   593382 |    24358     49 |     3330 |      764
1670.24/1670.77	c 1667s |      19 |   659192 |   594082 |    24358     49 |     3330 |      764
1672.34/1672.85	c 1669s |      19 |   660262 |   595082 |    24358     49 |     3330 |      764
1674.44/1674.92	c 1671s |      19 |   661214 |   595982 |    24358     49 |     3330 |      764
1676.64/1677.16	c 1673s |      19 |   662324 |   596982 |    24358     49 |     3330 |      764
1678.94/1679.43	c 1676s |      19 |   663369 |   597982 |    24358     49 |     3330 |      764
1681.04/1681.59	c 1678s |      19 |   664309 |   598782 |    24358     49 |     3330 |      764
1683.34/1683.81	c 1680s |      19 |   665307 |   599682 |    24358     49 |     3330 |      764
1685.44/1685.99	c 1682s |      19 |   665931 |   600282 |    24358     49 |     3330 |      764
1692.55/1693.08	c 1689s |      19 |   666455 |   600782 |    24358     49 |     3330 |      764
1694.65/1695.13	c 1691s |      19 |   667334 |   601582 |    24358     49 |     3330 |      764
1696.74/1697.24	c 1693s |      19 |   667504 |   601682 |    24358     50 |     3330 |      764
1698.74/1699.25	c 1695s |      19 |   668553 |   602582 |    24358     50 |     3330 |      764
1700.84/1701.34	c 1698s |      19 |   669736 |   603582 |    24358     50 |     3330 |      764
1702.84/1703.36	c 1700s |      19 |   670889 |   604582 |    24358     50 |     3330 |      764
1705.04/1705.54	c 1702s |      19 |   672012 |   605582 |    24358     50 |     3330 |      764
1707.14/1707.70	c 1704s |      19 |   673052 |   606482 |    24358     50 |     3330 |      764
1709.44/1709.92	c 1706s |      19 |   674165 |   607482 |    24358     50 |     3330 |      764
1711.64/1712.18	c 1708s |      19 |   675247 |   608482 |    24358     50 |     3330 |      764
1713.84/1714.30	c 1711s |      19 |   676202 |   609382 |    24358     50 |     3330 |      764
1716.04/1716.52	c 1713s |      19 |   677308 |   610382 |    24358     50 |     3330 |      764
1718.14/1718.64	c 1715s |      19 |   678315 |   611282 |    24358     50 |     3330 |      764
1720.24/1720.74	c 1717s |      19 |   679281 |   612182 |    24358     50 |     3330 |      764
1722.44/1722.90	c 1719s |      19 |   680045 |   612882 |    24358     50 |     3330 |      764
1724.64/1725.12	c 1721s |      19 |   681128 |   613782 |    24358     50 |     3330 |      764
1726.74/1727.24	c 1723s |      19 |   682024 |   614582 |    24358     50 |     3330 |      764
1728.94/1729.48	c 1726s |      19 |   682869 |   615382 |    24358     50 |     3330 |      764
1731.04/1731.53	c 1728s |      19 |   683534 |   615982 |    24358     51 |     3330 |      764
1733.34/1733.81	c 1730s |      19 |   684674 |   616982 |    24358     51 |     3330 |      764
1735.44/1735.96	c 1732s |      19 |   685686 |   617882 |    24358     51 |     3330 |      764
1737.54/1738.06	c 1734s |      19 |   686833 |   618882 |    24358     51 |     3330 |      764
1739.63/1740.20	c 1736s |      19 |   687808 |   619782 |    24358     51 |     3330 |      764
1741.73/1742.24	c 1738s |      19 |   688593 |   620482 |    24358     51 |     3330 |      764
1743.83/1744.31	c 1741s |      19 |   689639 |   621382 |    24358     51 |     3330 |      764
1746.03/1746.53	c 1743s |      19 |   690625 |   622282 |    24358     51 |     3330 |      764
1758.13/1758.66	c 1755s |      19 |   691079 |   622682 |    24358     51 |     3330 |      764
1760.43/1760.94	c 1757s |      19 |   691194 |   622782 |    24358     51 |     3330 |      764
1762.83/1763.35	c 1760s |      19 |   692105 |   623482 |    24358     51 |     3330 |      764
1764.93/1765.40	c 1762s |      19 |   693184 |   624282 |    24358     51 |     3330 |      764
1766.93/1767.41	c 1764s |      19 |   694084 |   624982 |    24358     51 |     3330 |      764
1768.93/1769.48	c 1766s |      19 |   694965 |   625682 |    24358     51 |     3330 |      764
1771.13/1771.66	c 1768s |      19 |   696029 |   626482 |    24358     51 |     3330 |      764
1773.23/1773.76	c 1770s |      19 |   696917 |   627182 |    24358     51 |     3330 |      764
1775.23/1775.76	c 1772s |      19 |   697793 |   627882 |    24358     51 |     3330 |      764
1777.43/1777.96	c 1774s |      19 |   698788 |   628682 |    24358     51 |     3330 |      764
1780.33/1780.84	c 1777s |      19 |   700016 |   629582 |    24358     52 |     3330 |      764
1782.53/1783.10	c 1779s |      19 |   701032 |   630482 |    24358     52 |     3330 |      764
1784.72/1785.25	c 1781s |      19 |   701767 |   631082 |    24358     52 |     3330 |      764
1786.72/1787.28	c 1784s |      19 |   702808 |   631882 |    24358     52 |     3330 |      764
1788.82/1789.38	c 1786s |      19 |   704109 |   632782 |    24358     52 |     3330 |      764
1790.92/1791.48	c 1788s |      19 |   705421 |   633782 |    24358     52 |     3330 |      764
1793.12/1793.63	c 1790s |      19 |   706345 |   634582 |    24358     52 |     3330 |      764
1795.22/1795.71	c 1792s |      19 |   707297 |   635382 |    24358     52 |     3330 |      764
1797.32/1797.87	c 1794s |      19 |   708342 |   636182 |    24358     52 |     3330 |      764
1799.42/1799.91	c 1796s |      19 |   709284 |   636882 |    24358     52 |     3330 |      764

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

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

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


[startup+0 s]
/proc/loadavg: 2.27 2.24 2.19 3/179 617
/proc/meminfo: memFree=29470492/32872528 swapFree=1200228/1314692
[pid=617] ppid=614 vsize=402876 CPUtime=0 cores=1,3,5,7
/proc/617/stat : 617 (toysat) R 614 617 31224 0 -1 4202496 1442 0 0 0 0 0 0 0 20 0 4 0 23397306 412545024 1803 33554432000 4194304 16246674 140735451741616 140735451741040 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/617/statm: 101231 1811 441 2943 0 98125 0
[pid=617/tid=618] ppid=614 vsize=719292 CPUtime=0 cores=1,3,5,7
/proc/617/task/618/stat : 618 (toysat) S 614 617 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397307 736555008 3043 33554432000 4194304 16246674 140735451741616 139647546010864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=617/tid=619] ppid=614 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/617/task/619/stat : 619 (toysat) S 614 617 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397307 741797888 3060 33554432000 4194304 16246674 140735451741616 139647535521008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=617/tid=620] ppid=614 vsize=728508 CPUtime=0 cores=1,3,5,7
/proc/617/task/620/stat : 620 (toysat) S 614 617 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23397307 745992192 3077 33554432000 4194304 16246674 140735451741616 139647525047472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.27 2.24 2.19 3/179 617
/proc/meminfo: memFree=29470492/32872528 swapFree=1200228/1314692
[pid=617] ppid=614 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/617/stat : 617 (toysat) R 614 617 31224 0 -1 4202496 28992 0 0 0 5 4 0 0 20 0 4 0 23397306 1333334016 29291 33554432000 4194304 16246674 140735451741616 140735451740928 7440033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/617/statm: 325521 29307 801 2943 0 322415 0
[pid=617/tid=618] ppid=614 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/617/task/618/stat : 618 (toysat) S 614 617 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397307 1333334016 29319 33554432000 4194304 16246674 140735451741616 139647546010864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=617/tid=619] ppid=614 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/617/task/619/stat : 619 (toysat) S 614 617 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397307 1333334016 29330 33554432000 4194304 16246674 140735451741616 139647535521008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=617/tid=620] ppid=614 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/617/task/620/stat : 620 (toysat) S 614 617 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397307 1333334016 29341 33554432000 4194304 16246674 140735451741616 139647525047472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200578 s]
/proc/loadavg: 2.27 2.24 2.19 3/179 617
/proc/meminfo: memFree=29470492/32872528 swapFree=1200228/1314692
[pid=617] ppid=614 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/617/stat : 617 (toysat) R 614 617 31224 0 -1 4202496 45329 0 0 0 12 7 0 0 20 0 4 0 23397306 1343819776 46139 33554432000 4194304 16246674 140735451741616 140735451740928 12371230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/617/statm: 328081 46139 832 2943 0 324975 0
[pid=617/tid=618] ppid=614 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/617/task/618/stat : 618 (toysat) S 614 617 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397307 1343819776 46139 33554432000 4194304 16246674 140735451741616 139647546010864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=617/tid=619] ppid=614 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/617/task/619/stat : 619 (toysat) S 614 617 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397307 1343819776 46139 33554432000 4194304 16246674 140735451741616 139647535521008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=617/tid=620] ppid=614 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/617/task/620/stat : 620 (toysat) S 614 617 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397307 1343819776 46139 33554432000 4194304 16246674 140735451741616 139647525047472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300518 s]
/proc/loadavg: 2.27 2.24 2.19 3/179 617
/proc/meminfo: memFree=29470492/32872528 swapFree=1200228/1314692
[pid=617] ppid=614 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/617/stat : 617 (toysat) R 614 617 31224 0 -1 4202496 59475 0 0 0 20 9 0 0 20 0 4 0 23397306 1343819776 60286 33554432000 4194304 16246674 140735451741616 140735451740928 12653060 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/617/statm: 328081 60298 832 2943 0 324975 0
[pid=617/tid=618] ppid=614 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/617/task/618/stat : 618 (toysat) S 614 617 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397307 1343819776 60304 33554432000 4194304 16246674 140735451741616 139647546010864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=617/tid=619] ppid=614 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/617/task/619/stat : 619 (toysat) S 614 617 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397307 1343819776 60309 33554432000 4194304 16246674 140735451741616 139647535521008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=617/tid=620] ppid=614 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/617/task/620/stat : 620 (toysat) S 614 617 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397307 1343819776 60315 33554432000 4194304 16246674 140735451741616 139647525047472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700422 s]
/proc/loadavg: 2.27 2.24 2.19 3/179 617
/proc/meminfo: memFree=29470492/32872528 swapFree=1200228/1314692
[pid=617] ppid=614 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/617/stat : 617 (toysat) R 614 617 31224 0 -1 4202496 185526 0 0 0 43 26 0 0 20 0 4 0 23397306 1343819776 186337 33554432000 4194304 16246674 140735451741616 140735451723520 12653060 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/617/statm: 328081 186353 832 2943 0 324975 0
[pid=617/tid=618] ppid=614 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/617/task/618/stat : 618 (toysat) S 614 617 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397307 1343819776 186360 33554432000 4194304 16246674 140735451741616 139647546010864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=617/tid=619] ppid=614 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/617/task/619/stat : 619 (toysat) S 614 617 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397307 1343819776 186373 33554432000 4194304 16246674 140735451741616 139647535521008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=617/tid=620] ppid=614 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/617/task/620/stat : 620 (toysat) S 614 617 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397307 1343819776 186384 33554432000 4194304 16246674 140735451741616 139647525047472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50042 s]
/proc/loadavg: 2.27 2.24 2.19 3/183 621
/proc/meminfo: memFree=28387084/32872528 swapFree=1200228/1314692
[pid=617] ppid=614 vsize=1319492 CPUtime=1.49 cores=1,3,5,7
/proc/617/stat : 617 (toysat) R 614 617 31224 0 -1 4202496 270497 0 0 0 112 37 0 0 20 0 4 0 23397306 1351159808 271307 33554432000 4194304 16246674 140735451741616 140735451723520 12414001 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/617/statm: 329873 271307 845 2943 0 326767 0
[pid=617/tid=618] ppid=614 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/617/task/618/stat : 618 (toysat) S 614 617 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397307 1351159808 271307 33554432000 4194304 16246674 140735451741616 139647546010864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=617/tid=619] ppid=614 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/617/task/619/stat : 619 (toysat) S 614 617 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397307 1351159808 271307 33554432000 4194304 16246674 140735451741616 139647535521008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=617/tid=620] ppid=614 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/617/task/620/stat : 620 (toysat) S 614 617 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397307 1351159808 271307 33554432000 4194304 16246674 140735451741616 139647525047472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1319492

[startup+3.10045 s]
/proc/loadavg: 2.27 2.24 2.19 3/183 621
/proc/meminfo: memFree=28386216/32872528 swapFree=1200228/1314692
[pid=617] ppid=614 vsize=1319492 CPUtime=3.09 cores=1,3,5,7
/proc/617/stat : 617 (toysat) R 614 617 31224 0 -1 4202496 270504 0 0 0 272 37 0 0 20 0 4 0 23397306 1351159808 271314 33554432000 4194304 16246674 140735451741616 140735451723520 12371230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/617/statm: 329873 271314 846 2943 0 326767 0
[pid=617/tid=618] ppid=614 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/617/task/618/stat : 618 (toysat) S 614 617 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397307 1351159808 271314 33554432000 4194304 16246674 140735451741616 139647546010864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=617/tid=619] ppid=614 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/617/task/619/stat : 619 (toysat) S 614 617 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397307 1351159808 271314 33554432000 4194304 16246674 140735451741616 139647535521008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=617/tid=620] ppid=614 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/617/task/620/stat : 620 (toysat) S 614 617 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397307 1351159808 271314 33554432000 4194304 16246674 140735451741616 139647525047472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1319492

[startup+6.30044 s]
/proc/loadavg: 2.25 2.24 2.19 3/183 621
/proc/meminfo: memFree=28385992/32872528 swapFree=1200228/1314692
[pid=617] ppid=614 vsize=1319492 CPUtime=6.29 cores=1,3,5,7
/proc/617/stat : 617 (toysat) R 614 617 31224 0 -1 4202496 270556 0 0 0 592 37 0 0 20 0 4 0 23397306 1351159808 271366 33554432000 4194304 16246674 140735451741616 140735451723520 12415777 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/617/statm: 329873 271366 898 2943 0 326767 0
[pid=617/tid=618] ppid=614 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/617/task/618/stat : 618 (toysat) S 614 617 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397307 1351159808 271366 33554432000 4194304 16246674 140735451741616 139647546010864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=617/tid=619] ppid=614 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/617/task/619/stat : 619 (toysat) S 614 617 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397307 1351159808 271366 33554432000 4194304 16246674 140735451741616 139647535521008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=617/tid=620] ppid=614 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/617/task/620/stat : 620 (toysat) S 614 617 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397307 1351159808 271366 33554432000 4194304 16246674 140735451741616 139647525047472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1319492

[startup+12.7004 s]
/proc/loadavg: 2.22 2.23 2.18 4/183 621
/proc/meminfo: memFree=28385900/32872528 swapFree=1200228/1314692
[pid=617] ppid=614 vsize=1319492 CPUtime=12.69 cores=1,3,5,7
/proc/617/stat : 617 (toysat) R 614 617 31224 0 -1 4202496 270556 0 0 0 1232 37 0 0 20 0 4 0 23397306 1351159808 271366 33554432000 4194304 16246674 140735451741616 140735451723520 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/617/statm: 329873 271366 898 2943 0 326767 0
[pid=617/tid=618] ppid=614 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/617/task/618/stat : 618 (toysat) S 614 617 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397307 1351159808 271366 33554432000 4194304 16246674 140735451741616 139647546010864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=617/tid=619] ppid=614 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/617/task/619/stat : 619 (toysat) S 614 617 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397307 1351159808 271366 33554432000 4194304 16246674 140735451741616 139647535521008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=617/tid=620] ppid=614 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/617/task/620/stat : 620 (toysat) S 614 617 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397307 1351159808 271366 33554432000 4194304 16246674 140735451741616 139647525047472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1319492

[startup+25.5005 s]
/proc/loadavg: 2.24 2.24 2.18 3/183 621
/proc/meminfo: memFree=28386380/32872528 swapFree=1200228/1314692
[pid=617] ppid=614 vsize=1319492 CPUtime=25.49 cores=1,3,5,7
/proc/617/stat : 617 (toysat) R 614 617 31224 0 -1 4202496 270563 0 0 0 2512 37 0 0 20 0 4 0 23397306 1351159808 271373 33554432000 4194304 16246674 140735451741616 140735451723520 12415766 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/617/statm: 329873 271373 904 2943 0 326767 0
[pid=617/tid=618] ppid=614 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/617/task/618/stat : 618 (toysat) S 614 617 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397307 1351159808 271373 33554432000 4194304 16246674 140735451741616 139647546010864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=617/tid=619] ppid=614 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/617/task/619/stat : 619 (toysat) S 614 617 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397307 1351159808 271373 33554432000 4194304 16246674 140735451741616 139647535521008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=617/tid=620] ppid=614 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/617/task/620/stat : 620 (toysat) S 614 617 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397307 1351159808 271373 33554432000 4194304 16246674 140735451741616 139647525047472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1319492

[startup+51.1005 s]
/proc/loadavg: 2.16 2.22 2.18 3/183 621
/proc/meminfo: memFree=28386224/32872528 swapFree=1200228/1314692
[pid=617] ppid=614 vsize=1319492 CPUtime=51.08 cores=1,3,5,7
/proc/617/stat : 617 (toysat) R 614 617 31224 0 -1 4202496 270563 0 0 0 5071 37 0 0 20 0 4 0 23397306 1351159808 271373 33554432000 4194304 16246674 140735451741616 140735451723520 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/617/statm: 329873 271373 904 2943 0 326767 0
[pid=617/tid=618] ppid=614 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/617/task/618/stat : 618 (toysat) S 614 617 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397307 1351159808 271373 33554432000 4194304 16246674 140735451741616 139647546010864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=617/tid=619] ppid=614 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/617/task/619/stat : 619 (toysat) S 614 617 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397307 1351159808 271373 33554432000 4194304 16246674 140735451741616 139647535521008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=617/tid=620] ppid=614 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/617/task/620/stat : 620 (toysat) S 614 617 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397307 1351159808 271373 33554432000 4194304 16246674 140735451741616 139647525047472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1319492

[startup+102.3 s]
/proc/loadavg: 2.11 2.20 2.17 4/183 622
/proc/meminfo: memFree=28363336/32872528 swapFree=1200228/1314692
[pid=617] ppid=614 vsize=1343044 CPUtime=102.28 cores=1,3,5,7
/proc/617/stat : 617 (toysat) R 614 617 31224 0 -1 4202496 276238 0 0 0 10189 39 0 0 20 0 4 0 23397306 1375277056 277048 33554432000 4194304 16246674 140735451741616 140735451723520 5822756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/617/statm: 335761 277048 905 2943 0 332655 0
[pid=617/tid=618] ppid=614 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/617/task/618/stat : 618 (toysat) S 614 617 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397307 1375277056 277048 33554432000 4194304 16246674 140735451741616 139647546010864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=617/tid=619] ppid=614 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/617/task/619/stat : 619 (toysat) S 614 617 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397307 1375277056 277048 33554432000 4194304 16246674 140735451741616 139647535521008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=617/tid=620] ppid=614 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/617/task/620/stat : 620 (toysat) S 614 617 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397307 1375277056 277048 33554432000 4194304 16246674 140735451741616 139647525047472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1343044


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

/proc/617/task/620/stat : 620 (toysat) S 614 617 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647525047472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1382980

[startup+1362.3 s]
/proc/loadavg: 2.12 2.17 2.17 3/183 702
/proc/meminfo: memFree=28369416/32872528 swapFree=1200228/1314692
[pid=617] ppid=614 vsize=1382980 CPUtime=1361.9 cores=1,3,5,7
/proc/617/stat : 617 (toysat) R 614 617 31224 0 -1 4202496 286715 0 0 0 136134 56 0 0 20 0 4 0 23397306 1416171520 287249 33554432000 4194304 16246674 140735451741616 140735451723520 5600060 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/617/statm: 345745 287249 905 2943 0 342639 0
[pid=617/tid=618] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/618/stat : 618 (toysat) S 614 617 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647546010864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=617/tid=619] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/619/stat : 619 (toysat) S 614 617 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647535521008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=617/tid=620] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/620/stat : 620 (toysat) S 614 617 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647525047472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1382980

[startup+1422.3 s]
/proc/loadavg: 2.20 2.18 2.18 3/183 704
/proc/meminfo: memFree=28369196/32872528 swapFree=1200228/1314692
[pid=617] ppid=614 vsize=1382980 CPUtime=1421.89 cores=1,3,5,7
/proc/617/stat : 617 (toysat) R 614 617 31224 0 -1 4202496 286715 0 0 0 142133 56 0 0 20 0 4 0 23397306 1416171520 287249 33554432000 4194304 16246674 140735451741616 140735451723520 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/617/statm: 345745 287249 905 2943 0 342639 0
[pid=617/tid=618] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/618/stat : 618 (toysat) S 614 617 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647546010864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=617/tid=619] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/619/stat : 619 (toysat) S 614 617 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647535521008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=617/tid=620] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/620/stat : 620 (toysat) S 614 617 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647525047472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1382980

[startup+1482.3 s]
/proc/loadavg: 2.18 2.18 2.18 3/183 705
/proc/meminfo: memFree=28369156/32872528 swapFree=1200228/1314692
[pid=617] ppid=614 vsize=1382980 CPUtime=1481.87 cores=1,3,5,7
/proc/617/stat : 617 (toysat) R 614 617 31224 0 -1 4202496 286715 0 0 0 148130 57 0 0 20 0 4 0 23397306 1416171520 287249 33554432000 4194304 16246674 140735451741616 140735451724616 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/617/statm: 345745 287249 905 2943 0 342639 0
[pid=617/tid=618] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/618/stat : 618 (toysat) S 614 617 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647546010864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=617/tid=619] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/619/stat : 619 (toysat) S 614 617 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647535521008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=617/tid=620] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/620/stat : 620 (toysat) S 614 617 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647525047472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1382980

[startup+1542.31 s]
/proc/loadavg: 2.11 2.16 2.17 3/183 706
/proc/meminfo: memFree=28368688/32872528 swapFree=1200228/1314692
[pid=617] ppid=614 vsize=1382980 CPUtime=1541.87 cores=1,3,5,7
/proc/617/stat : 617 (toysat) R 614 617 31224 0 -1 4202496 286715 0 0 0 154130 57 0 0 20 0 4 0 23397306 1416171520 287249 33554432000 4194304 16246674 140735451741616 140735451723520 5659576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/617/statm: 345745 287249 905 2943 0 342639 0
[pid=617/tid=618] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/618/stat : 618 (toysat) S 614 617 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647546010864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=617/tid=619] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/619/stat : 619 (toysat) S 614 617 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647535521008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=617/tid=620] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/620/stat : 620 (toysat) S 614 617 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647525047472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1382980

[startup+1602.3 s]
/proc/loadavg: 2.27 2.19 2.18 3/183 707
/proc/meminfo: memFree=28368600/32872528 swapFree=1200228/1314692
[pid=617] ppid=614 vsize=1382980 CPUtime=1601.85 cores=1,3,5,7
/proc/617/stat : 617 (toysat) R 614 617 31224 0 -1 4202496 286715 0 0 0 160127 58 0 0 20 0 4 0 23397306 1416171520 287249 33554432000 4194304 16246674 140735451741616 140735451723520 13780624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/617/statm: 345745 287249 905 2943 0 342639 0
[pid=617/tid=618] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/618/stat : 618 (toysat) S 614 617 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647546010864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=617/tid=619] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/619/stat : 619 (toysat) S 614 617 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647535521008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=617/tid=620] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/620/stat : 620 (toysat) S 614 617 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647525047472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1382980

[startup+1662.3 s]
/proc/loadavg: 2.20 2.18 2.18 3/183 709
/proc/meminfo: memFree=28368680/32872528 swapFree=1200228/1314692
[pid=617] ppid=614 vsize=1382980 CPUtime=1661.84 cores=1,3,5,7
/proc/617/stat : 617 (toysat) R 614 617 31224 0 -1 4202496 286715 0 0 0 166126 58 0 0 20 0 4 0 23397306 1416171520 287249 33554432000 4194304 16246674 140735451741616 140735451723520 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/617/statm: 345745 287249 905 2943 0 342639 0
[pid=617/tid=618] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/618/stat : 618 (toysat) S 614 617 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647546010864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=617/tid=619] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/619/stat : 619 (toysat) S 614 617 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647535521008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=617/tid=620] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/620/stat : 620 (toysat) S 614 617 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647525047472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1382980

[startup+1722.3 s]
/proc/loadavg: 2.12 2.16 2.17 3/184 713
/proc/meminfo: memFree=28369156/32872528 swapFree=1200228/1314692
[pid=617] ppid=614 vsize=1382980 CPUtime=1721.84 cores=1,3,5,7
/proc/617/stat : 617 (toysat) R 614 617 31224 0 -1 4202496 286715 0 0 0 172125 59 0 0 20 0 4 0 23397306 1416171520 287249 33554432000 4194304 16246674 140735451741616 140735451740712 6836120 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/617/statm: 345745 287249 905 2943 0 342639 0
[pid=617/tid=618] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/618/stat : 618 (toysat) S 614 617 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647546010864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=617/tid=619] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/619/stat : 619 (toysat) S 614 617 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647535521008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=617/tid=620] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/620/stat : 620 (toysat) S 614 617 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647525047472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1382980

[startup+1782.3 s]
/proc/loadavg: 2.29 2.20 2.18 3/184 737
/proc/meminfo: memFree=28368776/32872528 swapFree=1200228/1314692
[pid=617] ppid=614 vsize=1382980 CPUtime=1781.83 cores=1,3,5,7
/proc/617/stat : 617 (toysat) R 614 617 31224 0 -1 4202496 286715 0 0 0 178123 60 0 0 20 0 4 0 23397306 1416171520 287249 33554432000 4194304 16246674 140735451741616 140735451723520 12415827 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/617/statm: 345745 287249 905 2943 0 342639 0
[pid=617/tid=618] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/618/stat : 618 (toysat) S 614 617 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647546010864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=617/tid=619] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/619/stat : 619 (toysat) S 614 617 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647535521008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=617/tid=620] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/620/stat : 620 (toysat) S 614 617 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647525047472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1382980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.27 2.20 2.18 3/184 738
/proc/meminfo: memFree=28369020/32872528 swapFree=1200228/1314692
[pid=617] ppid=614 vsize=1382980 CPUtime=1800.02 cores=1,3,5,7
/proc/617/stat : 617 (toysat) R 614 617 31224 0 -1 4202496 286715 0 0 0 179942 60 0 0 20 0 4 0 23397306 1416171520 287249 33554432000 4194304 16246674 140735451741616 140735451723520 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/617/statm: 345745 287249 905 2943 0 342639 0
[pid=617/tid=618] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/618/stat : 618 (toysat) S 614 617 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647546010864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=617/tid=619] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/619/stat : 619 (toysat) S 614 617 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647535521008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=617/tid=620] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/620/stat : 620 (toysat) S 614 617 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647525047472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1382980

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

[startup+1800.5 s]
/proc/loadavg: 2.27 2.20 2.18 3/184 738
/proc/meminfo: memFree=28369020/32872528 swapFree=1200228/1314692
[pid=617] ppid=614 vsize=1382980 CPUtime=1800.02 cores=1,3,5,7
/proc/617/stat : 617 (toysat) R 614 617 31224 0 -1 4202496 286715 0 0 0 179942 60 0 0 20 0 4 0 23397306 1416171520 287249 33554432000 4194304 16246674 140735451741616 140735451723520 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/617/statm: 345745 287249 905 2943 0 342639 0
[pid=617/tid=618] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/618/stat : 618 (toysat) S 614 617 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647546010864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=617/tid=619] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/619/stat : 619 (toysat) S 614 617 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647535521008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=617/tid=620] ppid=614 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/617/task/620/stat : 620 (toysat) S 614 617 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397307 1416171520 287249 33554432000 4194304 16246674 140735451741616 139647525047472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1382980

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.43
CPU system time (s): 0.607907
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 1382980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.607907
maximum resident set size= 1148996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286715
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= 293
involuntary context switches= 1971

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0542 second user time and 13.9049 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-18 03:31:48
IDJOB=4100425
IDBENCH=1615
IDSOLVER=2542
FILE ID=node131/4100425-1466213508
RUNJOBID= node131-1466206062-31241
PBS_JOBID= 19918146
Free space on /tmp= 71680 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-roll3000.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100425-1466213508/watcher-4100425-1466213508 -o /tmp/evaluation-result-4100425-1466213508/solver-4100425-1466213508 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31241 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100425-1466213508.opb

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

MD5SUM BENCH= 8bdca001a57a76bf3835c82b9bc6a431
RANDOM SEED=664391121

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.752
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:        29471416 kB
Buffers:           95576 kB
Cached:           128060 kB
SwapCached:         1508 kB
Active:          1221728 kB
Inactive:         128024 kB
Active(anon):    1125692 kB
Inactive(anon):     2680 kB
Active(file):      96036 kB
Inactive(file):   125344 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099852 kB
Dirty:             17092 kB
Writeback:             0 kB
AnonPages:       2448016 kB
Mapped:            10916 kB
Shmem:                 0 kB
Slab:             600408 kB
SReclaimable:      44508 kB
SUnreclaim:       555900 kB
KernelStack:        1520 kB
PageTables:         9252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2584312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    342016 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 node131 at 2016-06-18 04:01:48