Trace number 4079521

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.08 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-5.opb
MD5SUM0973e03eb27089eff6bc20e630a3ba01
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6352
Total number of constraints13501
Number of constraints which are clauses13501
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 6352
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6352
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6352
Number of bits of the biggest sum of numbers13
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-06T19:08:47+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-4079521-1465232927.opb"]
0.00/0.01	c use --random-gen="3098715429 3058474193 3267414108 3726301767 4289276922 2773679734 318597545 2024151413 3991144838 1265210383 4210884902 244494366 3020469619 1154004309 658208879 3093021558 3723226037 169724223 994980643 2300838574 279731641 3607444318 2287173806 3716237938 540564003 1477688778 750547030 3749046408 1078231690 3272163858 318936257 1785887984 2959811826 2778374515 3574611297 2189307244 4064163724 1126134018 223163459 612370398 3911131416 614611189 635599278 3180268320 2819686796 1572266733 2257240366 528107574 3333392937 2458422729 2609524258 696929160 1531992567 2543066916 4100766367 1327223948 4224957931 2897577540 355649840 505456004 3149837601 2333955968 2808494129 290176691 1071218808 3660987791 3109892262 2583148499 1232050849 3201711796 4226766832 3598052717 1330404447 3714936180 2474773935 247676846 1379155761 2184870220 2614404575 2589452513 183989623 1354919504 1029705426 1744142325 1553712453 679627519 1231549762 2193890779 2651999048 1370765654 3208782860 4271969464 1416251651 390944837 3807151318 2564897825 3851882336 3419116314 1835913533 290270125 3452067758 3273949392 2374551860 2867402953 2360830482 2266977270 2534566290 541956103 3786299336 2766460366 106509819 3661950422 3866360194 1276877728 522086152 887915915 1582398958 78862493 2883635230 3156642374 1718252460 2617632126 3777070550 3247229528 3948934135 3885746890 2051853196 964715953 1121730428 2785269214 217352329 2698983157 2882227529 3484793483 262933173 3796766500 985867685 1524101749 347286008 3314831242 3306815379 352614870 2306678350 3822395481 3699638245 1827518587 472211643 3635263128 1770697716 3638270364 705116415 1621497866 2216436642 3705417829 3412310235 4230757790 2227700933 1948798818 2232353974 2738686947 3479816562 3903014901 3645437974 2124565969 2399103238 2636376629 874235091 2308026813 948553491 2634725406 832994429 431645733 559538316 1968052237 3097372094 1500453961 3737302060 617740481 340302632 119738564 3167831564 3840027639 658113798 2675621966 3377725068 2344740486 3706997423 2191865715 3884065941 2498592370 178315194 272104935 783198698 1494097264 4259840250 3830111341 1560091915 2992647514 1094589460 1307550626 3038660424 3889750687 2519023520 1090379540 3292638325 2726481920 2589927918 1273275560 2684710395 1951545576 56157822 345515237 469914417 2360234011 3028567274 3138101843 398195933 2202943493 1968875009 3920999214 3567147824 2653396816 2484537793 1503469834 209412100 2722312231 3144422416 1438085099 1866139111 2163226665 3305476987 3002270563 2222079660 3394844921 2305112298 1081293823 2171190788 528475117 705023550 177191526 903978999 3972600878 742617126 2122445611 1375582422 3767972196 1376359210 395964796 3141527032 580871678 1248056063 390940015 3210927616 2749647755 2931448960 2497624897 255 362436" option to reproduce the execution
0.09/0.12	c #vars 6352
0.09/0.12	c #constraints 13501
0.18/0.27	c BCD2: Hardening is enabled.
0.18/0.27	c BCD2: BiasedSearch is enabled.
0.18/0.27	c Solving starts ...
0.29/0.55	c ============================[ Search Statistics ]============================
0.29/0.55	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.55	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.55	c =============================================================================
0.29/0.55	c  0.0s |       0 |        0 |        0 |     6450      0 |     1582 |        0
0.29/0.55	c  0.1s |       1 |      307 |      100 |     6450      0 |     1582 |     3173
0.29/0.59	c  0.3s |       2 |      545 |      250 |     7096      0 |     1582 |     3173
0.89/0.95	c  0.7s |       3 |      816 |      475 |     7806      0 |     1582 |     3173
1.87/1.90	c  1.6s |       4 |     1185 |      813 |     8587      0 |     1582 |     3173
3.07/3.18	c  2.9s |       5 |     1737 |     1320 |     9446      0 |     1582 |     3173
5.37/5.47	c  5.2s |       5 |     2275 |     1820 |    10391      0 |     1582 |     3173
6.78/6.82	c  6.5s |       6 |     2536 |     2081 |    11431      0 |     1582 |     3173
8.98/9.02	c  8.8s |       6 |     3062 |     2581 |    11431      0 |     1582 |     3173
11.07/11.19	c 10.9s |       6 |     3565 |     3081 |    11431      0 |     1582 |     3173
11.77/11.82	c 11.6s |       7 |     3709 |     3223 |    12575      0 |     1582 |     3173
13.87/13.98	c 13.7s |       7 |     4241 |     3723 |    12575      0 |     1582 |     3173
16.17/16.26	c 16.0s |       7 |     4745 |     4223 |    12575      0 |     1582 |     3173
18.37/18.48	c 18.2s |       7 |     5243 |     4723 |    12575      0 |     1582 |     3173
19.37/19.40	c 19.1s |       8 |     5459 |     4936 |    13833      0 |     1582 |     3173
21.57/21.65	c 21.4s |       8 |     5994 |     5436 |    13833      0 |     1582 |     3173
23.87/23.90	c 23.6s |       8 |     6504 |     5936 |    13833      0 |     1582 |     3173
26.17/26.21	c 25.9s |       8 |     7000 |     6436 |    13833      0 |     1582 |     3173
28.47/28.55	c 28.3s |       8 |     7500 |     6936 |    13833      0 |     1582 |     3173
30.87/30.95	c 30.7s |       8 |     8008 |     7436 |    13833      0 |     1582 |     3173
31.17/31.29	c 31.0s |       9 |     8079 |     7506 |    15217      0 |     1582 |     3173
33.67/33.75	c 33.5s |       9 |     8605 |     8006 |    15217      0 |     1582 |     3173
36.17/36.22	c 36.0s |       9 |     9107 |     8506 |    15217      0 |     1582 |     3173
38.17/38.26	c 38.0s |       9 |     9505 |     8906 |    15217      0 |     1582 |     3173
40.67/40.75	c 40.5s |       9 |    10011 |     9406 |    15217      0 |     1582 |     3173
42.67/42.79	c 42.5s |       9 |    10415 |     9806 |    15217      0 |     1582 |     3173
44.77/44.80	c 44.5s |       9 |    10817 |    10206 |    15217      0 |     1582 |     3173
46.86/46.91	c 46.6s |       9 |    11221 |    10606 |    15217      0 |     1582 |     3173
48.86/48.98	c 48.7s |       9 |    11627 |    11006 |    15217      0 |     1582 |     3173
50.87/50.97	c 50.7s |      10 |    11981 |    11361 |    16739      0 |     1582 |     3173
53.07/53.16	c 52.9s |      10 |    12408 |    11761 |    16739      0 |     1582 |     3173
55.27/55.34	c 55.1s |      10 |    12805 |    12161 |    16739      0 |     1582 |     3173
57.47/57.53	c 57.3s |      10 |    13210 |    12561 |    16739      0 |     1582 |     3173
59.57/59.68	c 59.4s |      10 |    13607 |    12961 |    16739      0 |     1582 |     3173
61.77/61.86	c 61.6s |      10 |    14010 |    13361 |    16739      0 |     1582 |     3173
63.97/64.07	c 63.8s |      10 |    14416 |    13761 |    16739      0 |     1582 |     3173
66.27/66.35	c 66.1s |      10 |    14816 |    14161 |    16739      0 |     1582 |     3173
68.56/68.60	c 68.3s |      10 |    15216 |    14561 |    16739      0 |     1582 |     3173
70.86/70.90	c 70.6s |      10 |    15622 |    14961 |    16739      0 |     1582 |     3173
73.16/73.27	c 73.0s |      10 |    16023 |    15361 |    16739      0 |     1582 |     3173
75.56/75.69	c 75.4s |      10 |    16423 |    15761 |    16739      0 |     1582 |     3173
78.06/78.10	c 77.8s |      10 |    16822 |    16161 |    16739      0 |     1582 |     3173
80.47/80.51	c 80.2s |      10 |    17227 |    16561 |    16739      0 |     1582 |     3173
82.86/82.96	c 82.7s |      10 |    17632 |    16961 |    16739      0 |     1582 |     3173
83.96/84.07	c 83.8s |      11 |    17815 |    17144 |    18413      0 |     1582 |     3173
86.46/86.58	c 86.3s |      11 |    18243 |    17544 |    18413      0 |     1582 |     3173
88.96/89.02	c 88.8s |      11 |    18644 |    17944 |    18413      0 |     1582 |     3173
91.47/91.54	c 91.3s |      11 |    19045 |    18344 |    18413      0 |     1582 |     3173
93.86/94.00	c 93.7s |      11 |    19443 |    18744 |    18413      0 |     1582 |     3173
96.46/96.52	c 96.3s |      11 |    19851 |    19144 |    18413      0 |     1582 |     3173
98.96/99.00	c 98.7s |      11 |    20250 |    19544 |    18413      0 |     1582 |     3173
101.46/101.57	c  101s |      11 |    20650 |    19944 |    18413      0 |     1582 |     3173
103.96/104.02	c  103s |      11 |    21051 |    20344 |    18413      1 |     1582 |     3173
106.06/106.14	c  105s |      11 |    21451 |    20744 |    18413      1 |     1582 |     3173
108.26/108.39	c  108s |      11 |    21854 |    21144 |    18413      1 |     1582 |     3173
110.56/110.64	c  110s |      11 |    22256 |    21544 |    18413      1 |     1582 |     3173
112.75/112.87	c  112s |      11 |    22655 |    21944 |    18413      1 |     1582 |     3173
115.15/115.20	c  114s |      11 |    23059 |    22344 |    18413      1 |     1582 |     3173
117.45/117.58	c  117s |      11 |    23461 |    22744 |    18413      1 |     1582 |     3173
120.06/120.16	c  119s |      11 |    23864 |    23144 |    18413      1 |     1582 |     3173
122.45/122.52	c  122s |      11 |    24263 |    23544 |    18413      1 |     1582 |     3173
124.85/124.96	c  124s |      11 |    24662 |    23944 |    18413      1 |     1582 |     3173
127.25/127.31	c  127s |      11 |    25068 |    24344 |    18413      1 |     1582 |     3173
129.75/129.80	c  129s |      11 |    25475 |    24744 |    18413      1 |     1582 |     3173
132.16/132.27	c  131s |      11 |    25870 |    25144 |    18413      1 |     1582 |     3173
134.65/134.78	c  134s |      11 |    26275 |    25544 |    18413      1 |     1582 |     3173
136.35/136.43	c  136s |      12 |    26556 |    25819 |    20255      1 |     1582 |     3173
138.35/138.44	c  138s |      12 |    26876 |    26119 |    20255      1 |     1582 |     3173
140.96/141.01	c  140s |      12 |    27284 |    26519 |    20255      1 |     1582 |     3173
143.45/143.55	c  143s |      12 |    27685 |    26919 |    20255      1 |     1582 |     3173
146.05/146.16	c  145s |      12 |    28082 |    27319 |    20255      1 |     1582 |     3173
148.76/148.83	c  148s |      12 |    28481 |    27719 |    20255      1 |     1582 |     3173
151.35/151.46	c  151s |      12 |    28887 |    28119 |    20255      1 |     1582 |     3173
153.35/153.47	c  153s |      12 |    29185 |    28419 |    20255      1 |     1582 |     3173
156.05/156.10	c  155s |      12 |    29583 |    28819 |    20255      1 |     1582 |     3173
158.55/158.68	c  158s |      12 |    29983 |    29219 |    20255      1 |     1582 |     3173
161.15/161.21	c  160s |      12 |    30387 |    29619 |    20255      1 |     1582 |     3173
163.65/163.75	c  163s |      12 |    30784 |    30019 |    20255      1 |     1582 |     3173
166.25/166.39	c  166s |      12 |    31183 |    30419 |    20255      1 |     1582 |     3173
168.55/168.63	c  168s |      12 |    31488 |    30719 |    20255      1 |     1582 |     3173
170.75/170.85	c  170s |      12 |    31789 |    31019 |    20255      1 |     1582 |     3173
173.14/173.22	c  172s |      12 |    32089 |    31319 |    20255      1 |     1582 |     3173
175.44/175.51	c  175s |      12 |    32394 |    31619 |    20255      1 |     1582 |     3173
177.54/177.64	c  177s |      12 |    32692 |    31919 |    20255      1 |     1582 |     3173
179.64/179.77	c  179s |      12 |    32997 |    32219 |    20255      2 |     1582 |     3173
181.94/182.02	c  181s |      12 |    33394 |    32619 |    20255      2 |     1582 |     3173
184.14/184.27	c  184s |      12 |    33794 |    33019 |    20255      2 |     1582 |     3173
186.34/186.48	c  186s |      12 |    34196 |    33419 |    20255      2 |     1582 |     3173
188.44/188.58	c  188s |      12 |    34503 |    33719 |    20255      2 |     1582 |     3173
190.74/190.87	c  190s |      12 |    34906 |    34119 |    20255      2 |     1582 |     3173
193.14/193.25	c  192s |      12 |    35306 |    34519 |    20255      2 |     1582 |     3173
195.54/195.60	c  195s |      12 |    35710 |    34919 |    20255      2 |     1582 |     3173
197.84/197.99	c  197s |      12 |    36108 |    35319 |    20255      2 |     1582 |     3173
200.24/200.40	c  200s |      12 |    36509 |    35719 |    20255      2 |     1582 |     3173
202.74/202.82	c  202s |      12 |    36913 |    36119 |    20255      2 |     1582 |     3173
205.14/205.29	c  205s |      12 |    37314 |    36519 |    20255      2 |     1582 |     3173
207.64/207.77	c  207s |      12 |    37720 |    36919 |    20255      2 |     1582 |     3173
210.14/210.26	c  209s |      12 |    38125 |    37319 |    20255      2 |     1582 |     3173
212.54/212.62	c  212s |      12 |    38530 |    37719 |    20255      2 |     1582 |     3173
215.04/215.11	c  214s |      12 |    38935 |    38119 |    20255      2 |     1582 |     3173
217.54/217.66	c  217s |      12 |    39334 |    38519 |    20255      2 |     1582 |     3173
219.44/219.55	c  219s |      13 |    39645 |    38832 |    22281      2 |     1582 |     3173
221.94/222.05	c  221s |      13 |    40072 |    39232 |    22281      2 |     1582 |     3173
224.54/224.66	c  224s |      13 |    40476 |    39632 |    22281      2 |     1582 |     3173
227.14/227.22	c  226s |      13 |    40880 |    40032 |    22281      2 |     1582 |     3173
229.64/229.73	c  229s |      13 |    41282 |    40432 |    22281      2 |     1582 |     3173
232.24/232.32	c  232s |      13 |    41680 |    40832 |    22281      2 |     1582 |     3173
234.83/234.99	c  234s |      13 |    42086 |    41232 |    22281      2 |     1582 |     3173
236.93/237.00	c  236s |      13 |    42389 |    41532 |    22281      2 |     1582 |     3173
239.63/239.78	c  239s |      13 |    42786 |    41932 |    22281      2 |     1582 |     3173
241.74/241.80	c  241s |      13 |    43089 |    42232 |    22281      2 |     1582 |     3173
244.35/244.41	c  244s |      13 |    43493 |    42632 |    22281      2 |     1582 |     3173
246.84/246.99	c  246s |      13 |    43896 |    43032 |    22281      2 |     1582 |     3173
248.94/249.08	c  248s |      13 |    44199 |    43332 |    22281      2 |     1582 |     3173
251.64/251.71	c  251s |      13 |    44600 |    43732 |    22281      2 |     1582 |     3173
253.64/253.77	c  253s |      13 |    44898 |    44032 |    22281      2 |     1582 |     3173
255.74/255.86	c  255s |      13 |    45203 |    44332 |    22281      2 |     1582 |     3173
257.84/257.94	c  257s |      13 |    45504 |    44632 |    22281      2 |     1582 |     3173
259.85/259.94	c  259s |      13 |    45804 |    44932 |    22281      2 |     1582 |     3173
261.95/262.05	c  261s |      13 |    46108 |    45232 |    22281      3 |     1582 |     3173
264.04/264.20	c  263s |      13 |    46504 |    45632 |    22281      3 |     1582 |     3173
266.35/266.42	c  266s |      13 |    46903 |    46032 |    22281      3 |     1582 |     3173
268.65/268.78	c  268s |      13 |    47309 |    46432 |    22281      3 |     1582 |     3173
271.04/271.13	c  270s |      13 |    47714 |    46832 |    22281      3 |     1582 |     3173
273.34/273.47	c  273s |      13 |    48112 |    47232 |    22281      3 |     1582 |     3173
275.74/275.87	c  275s |      13 |    48520 |    47632 |    22281      3 |     1582 |     3173
278.14/278.25	c  277s |      13 |    48920 |    48032 |    22281      3 |     1582 |     3173
280.64/280.72	c  280s |      13 |    49319 |    48432 |    22281      3 |     1582 |     3173
283.04/283.19	c  282s |      13 |    49720 |    48832 |    22281      3 |     1582 |     3173
285.53/285.62	c  285s |      13 |    50121 |    49232 |    22281      3 |     1582 |     3173
288.03/288.12	c  287s |      13 |    50532 |    49632 |    22281      3 |     1582 |     3173
290.54/290.61	c  290s |      13 |    50929 |    50032 |    22281      3 |     1582 |     3173
293.03/293.17	c  292s |      13 |    51330 |    50432 |    22281      3 |     1582 |     3173
295.73/295.81	c  295s |      13 |    51728 |    50832 |    22281      3 |     1582 |     3173
298.34/298.41	c  298s |      13 |    52130 |    51232 |    22281      3 |     1582 |     3173
300.83/300.96	c  300s |      13 |    52537 |    51632 |    22281      3 |     1582 |     3173
303.43/303.55	c  303s |      13 |    52938 |    52032 |    22281      3 |     1582 |     3173
306.04/306.11	c  305s |      13 |    53340 |    52432 |    22281      3 |     1582 |     3173
308.63/308.73	c  308s |      13 |    53736 |    52832 |    22281      3 |     1582 |     3173
311.23/311.38	c  311s |      13 |    54141 |    53232 |    22281      3 |     1582 |     3173
313.33/313.43	c  313s |      13 |    54440 |    53532 |    22281      3 |     1582 |     3173
315.33/315.47	c  315s |      13 |    54739 |    53832 |    22281      3 |     1582 |     3173
317.33/317.49	c  317s |      13 |    55041 |    54132 |    22281      3 |     1582 |     3173
319.93/320.08	c  319s |      13 |    55444 |    54532 |    22281      3 |     1582 |     3173
321.93/322.08	c  321s |      13 |    55741 |    54832 |    22281      3 |     1582 |     3173
324.13/324.20	c  323s |      13 |    56046 |    55132 |    22281      3 |     1582 |     3173
326.13/326.25	c  325s |      13 |    56354 |    55432 |    22281      3 |     1582 |     3173
328.23/328.32	c  328s |      13 |    56653 |    55732 |    22281      3 |     1582 |     3173
330.23/330.35	c  330s |      13 |    56954 |    56032 |    22281      3 |     1582 |     3173
332.33/332.42	c  332s |      13 |    57256 |    56332 |    22281      3 |     1582 |     3173
334.33/334.43	c  334s |      13 |    57555 |    56632 |    22281      3 |     1582 |     3173
336.33/336.49	c  336s |      13 |    57855 |    56932 |    22281      3 |     1582 |     3173
338.43/338.53	c  338s |      13 |    58154 |    57232 |    22281      4 |     1582 |     3173
340.53/340.63	c  340s |      13 |    58456 |    57532 |    22281      4 |     1582 |     3173
342.82/342.96	c  342s |      13 |    58856 |    57932 |    22281      4 |     1582 |     3173
345.22/345.32	c  345s |      13 |    59258 |    58332 |    24510      4 |     1582 |     3173
345.32/345.44	c  345s |      14 |    59279 |    58352 |    24510      4 |     1582 |     3173
347.73/347.81	c  347s |      14 |    59699 |    58752 |    24510      4 |     1582 |     3173
350.03/350.18	c  349s |      14 |    60103 |    59152 |    24510      4 |     1582 |     3173
352.52/352.64	c  352s |      14 |    60503 |    59552 |    24510      4 |     1582 |     3173
355.02/355.12	c  354s |      14 |    60905 |    59952 |    24510      4 |     1582 |     3173
357.52/357.62	c  357s |      14 |    61303 |    60352 |    24510      4 |     1582 |     3173
360.02/360.13	c  359s |      14 |    61704 |    60752 |    24510      4 |     1582 |     3173
362.52/362.66	c  362s |      14 |    62102 |    61152 |    24510      4 |     1582 |     3173
365.12/365.21	c  364s |      14 |    62509 |    61552 |    24510      4 |     1582 |     3173
367.53/367.63	c  367s |      14 |    62908 |    61952 |    24510      4 |     1582 |     3173
370.02/370.13	c  369s |      14 |    63309 |    62352 |    24510      4 |     1582 |     3173
372.52/372.68	c  372s |      14 |    63707 |    62752 |    24510      4 |     1582 |     3173
375.02/375.19	c  374s |      14 |    64110 |    63152 |    24510      4 |     1582 |     3173
377.32/377.41	c  377s |      14 |    64412 |    63452 |    24510      4 |     1582 |     3173
379.82/379.91	c  379s |      14 |    64813 |    63852 |    24510      4 |     1582 |     3173
382.32/382.49	c  382s |      14 |    65209 |    64252 |    24510      4 |     1582 |     3173
384.92/385.02	c  384s |      14 |    65612 |    64652 |    24510      4 |     1582 |     3173
387.42/387.52	c  387s |      14 |    66012 |    65052 |    24510      4 |     1582 |     3173
389.82/389.99	c  389s |      14 |    66417 |    65452 |    24510      4 |     1582 |     3173
392.42/392.60	c  392s |      14 |    66815 |    65852 |    24510      4 |     1582 |     3173
394.62/394.70	c  394s |      14 |    67115 |    66152 |    24510      4 |     1582 |     3173
397.22/397.35	c  397s |      14 |    67517 |    66552 |    24510      4 |     1582 |     3173
399.92/400.01	c  399s |      14 |    67920 |    66952 |    24510      4 |     1582 |     3173
401.91/402.02	c  401s |      14 |    68220 |    67252 |    24510      4 |     1582 |     3173
403.92/404.03	c  403s |      14 |    68520 |    67552 |    24510      4 |     1582 |     3173
405.91/406.04	c  405s |      14 |    68819 |    67852 |    24510      4 |     1582 |     3173
408.51/408.68	c  408s |      14 |    69219 |    68252 |    24510      4 |     1582 |     3173
410.61/410.72	c  410s |      14 |    69520 |    68552 |    24510      4 |     1582 |     3173
412.62/412.80	c  412s |      14 |    69823 |    68852 |    24510      4 |     1582 |     3173
414.71/414.80	c  414s |      14 |    70126 |    69152 |    24510      4 |     1582 |     3173
416.71/416.84	c  416s |      14 |    70427 |    69452 |    24510      4 |     1582 |     3173
418.81/418.97	c  418s |      14 |    70728 |    69752 |    24510      4 |     1582 |     3173
420.91/421.05	c  420s |      14 |    71029 |    70052 |    24510      4 |     1582 |     3173
423.01/423.20	c  422s |      14 |    71328 |    70352 |    24510      4 |     1582 |     3173
425.11/425.27	c  424s |      14 |    71628 |    70652 |    24510      4 |     1582 |     3173
427.21/427.37	c  427s |      14 |    71923 |    70952 |    24510      4 |     1582 |     3173
429.41/429.50	c  429s |      14 |    72229 |    71252 |    24510      4 |     1582 |     3173
431.61/431.72	c  431s |      14 |    72528 |    71552 |    24510      5 |     1582 |     3173
434.01/434.13	c  433s |      14 |    72931 |    71952 |    24510      5 |     1582 |     3173
436.30/436.43	c  436s |      14 |    73327 |    72352 |    24510      5 |     1582 |     3173
438.60/438.70	c  438s |      14 |    73732 |    72752 |    24510      5 |     1582 |     3173
440.80/440.99	c  440s |      14 |    74131 |    73152 |    24510      5 |     1582 |     3173
443.20/443.34	c  443s |      14 |    74530 |    73552 |    24510      5 |     1582 |     3173
445.50/445.67	c  445s |      14 |    74933 |    73952 |    24510      5 |     1582 |     3173
447.91/448.01	c  447s |      14 |    75330 |    74352 |    24510      5 |     1582 |     3173
450.60/450.76	c  450s |      14 |    75758 |    74752 |    24510      5 |     1586 |     3183
453.00/453.15	c  452s |      14 |    76156 |    75152 |    24510      5 |     1586 |     3183
455.30/455.43	c  455s |      14 |    76557 |    75552 |    24510      5 |     1586 |     3183
457.40/457.54	c  457s |      14 |    76857 |    75852 |    24510      5 |     1586 |     3183
459.80/459.97	c  459s |      14 |    77154 |    76152 |    24510      5 |     1586 |     3183
462.50/462.69	c  462s |      14 |    77557 |    76552 |    24510      5 |     1586 |     3183
466.20/466.38	c  466s |      14 |    77758 |    76752 |    24510      5 |     1586 |     3183
468.71/468.85	c  468s |      14 |    78155 |    77152 |    24510      5 |     1586 |     3183
471.20/471.35	c  471s |      14 |    78556 |    77552 |    24510      5 |     1586 |     3183
473.80/473.95	c  473s |      14 |    78957 |    77952 |    24510      5 |     1586 |     3183
476.41/476.52	c  476s |      14 |    79357 |    78352 |    24510      5 |     1586 |     3183
479.01/479.16	c  478s |      14 |    79763 |    78752 |    24510      5 |     1586 |     3183
481.71/481.82	c  481s |      14 |    80162 |    79152 |    24510      5 |     1586 |     3183
484.31/484.48	c  484s |      14 |    80564 |    79552 |    24510      5 |     1586 |     3183
487.01/487.11	c  486s |      14 |    80963 |    79952 |    24510      5 |     1586 |     3183
489.00/489.12	c  488s |      14 |    81263 |    80252 |    24510      5 |     1586 |     3183
491.00/491.15	c  490s |      14 |    81564 |    80552 |    24510      5 |     1586 |     3183
493.10/493.24	c  492s |      14 |    81865 |    80852 |    24510      5 |     1586 |     3183
495.80/495.90	c  495s |      14 |    82263 |    81252 |    24510      5 |     1586 |     3183
497.80/497.98	c  497s |      14 |    82565 |    81552 |    24510      5 |     1586 |     3183
499.90/500.04	c  499s |      14 |    82862 |    81852 |    24510      5 |     1586 |     3183
502.00/502.12	c  501s |      14 |    83166 |    82152 |    24510      5 |     1586 |     3183
504.10/504.21	c  503s |      14 |    83467 |    82452 |    24510      5 |     1586 |     3183
506.21/506.33	c  506s |      14 |    83765 |    82752 |    24510      5 |     1586 |     3183
508.31/508.45	c  508s |      14 |    84067 |    83052 |    24510      5 |     1586 |     3183
510.40/510.60	c  510s |      14 |    84366 |    83352 |    24510      5 |     1586 |     3183
512.50/512.68	c  512s |      14 |    84668 |    83652 |    24510      5 |     1586 |     3183
514.60/514.80	c  514s |      14 |    84967 |    83952 |    24510      5 |     1586 |     3183
516.80/516.95	c  516s |      14 |    85269 |    84252 |    24510      5 |     1586 |     3183
519.00/519.12	c  518s |      14 |    85568 |    84552 |    24510      6 |     1586 |     3183
521.30/521.45	c  521s |      14 |    85966 |    84952 |    24510      6 |     1586 |     3183
523.60/523.80	c  523s |      14 |    86369 |    85352 |    24510      6 |     1586 |     3183
525.90/526.07	c  525s |      14 |    86768 |    85752 |    24510      6 |     1586 |     3183
528.20/528.36	c  528s |      14 |    87172 |    86152 |    24510      6 |     1586 |     3183
530.50/530.61	c  530s |      14 |    87573 |    86552 |    24510      6 |     1586 |     3183
532.80/532.93	c  532s |      14 |    87973 |    86952 |    24510      6 |     1586 |     3183
535.10/535.26	c  534s |      14 |    88372 |    87352 |    26962      6 |     1586 |     3183
536.70/536.86	c  536s |      15 |    88653 |    87632 |    26962      6 |     1586 |     3183
539.10/539.24	c  538s |      15 |    89075 |    88032 |    26962      6 |     1586 |     3183
541.40/541.59	c  541s |      15 |    89476 |    88432 |    26962      6 |     1586 |     3183
543.79/543.97	c  543s |      15 |    89876 |    88832 |    26962      6 |     1586 |     3183
546.19/546.38	c  546s |      15 |    90278 |    89232 |    26962      6 |     1586 |     3183
548.59/548.78	c  548s |      15 |    90674 |    89632 |    26962      6 |     1586 |     3183
550.69/550.87	c  550s |      15 |    90984 |    89932 |    26962      6 |     1586 |     3183
553.19/553.37	c  553s |      15 |    91383 |    90332 |    26962      6 |     1586 |     3183
555.79/555.91	c  555s |      15 |    91782 |    90732 |    26962      6 |     1586 |     3183
558.39/558.53	c  558s |      15 |    92183 |    91132 |    26962      6 |     1586 |     3183
560.89/561.06	c  560s |      15 |    92586 |    91532 |    26962      6 |     1586 |     3183
563.49/563.66	c  563s |      15 |    92985 |    91932 |    26962      6 |     1586 |     3183
566.09/566.29	c  566s |      15 |    93384 |    92332 |    26962      6 |     1586 |     3183
568.80/568.90	c  568s |      15 |    93784 |    92732 |    26962      6 |     1586 |     3183
571.39/571.50	c  571s |      15 |    94182 |    93132 |    26962      6 |     1586 |     3183
573.39/573.59	c  573s |      15 |    94485 |    93432 |    26962      6 |     1586 |     3183
575.99/576.17	c  575s |      15 |    94886 |    93832 |    26962      6 |     1586 |     3183
578.59/578.79	c  578s |      15 |    95287 |    94232 |    26962      6 |     1586 |     3183
581.29/581.44	c  581s |      15 |    95685 |    94632 |    26962      6 |     1586 |     3183
583.29/583.47	c  583s |      15 |    95984 |    94932 |    26962      6 |     1586 |     3183
585.39/585.50	c  585s |      15 |    96287 |    95232 |    26962      6 |     1586 |     3183
587.39/587.56	c  587s |      15 |    96588 |    95532 |    26962      6 |     1586 |     3183
589.49/589.64	c  589s |      15 |    96884 |    95832 |    26962      6 |     1586 |     3183
591.59/591.70	c  591s |      15 |    97188 |    96132 |    26962      6 |     1586 |     3183
593.58/593.72	c  593s |      15 |    97488 |    96432 |    26962      6 |     1586 |     3183
597.49/597.63	c  597s |      15 |    97792 |    96732 |    26962      6 |     1586 |     3183
600.18/600.31	c  600s |      15 |    98189 |    97132 |    26962      6 |     1586 |     3183
602.18/602.37	c  602s |      15 |    98490 |    97432 |    26962      6 |     1586 |     3183
604.28/604.41	c  604s |      15 |    98791 |    97732 |    26962      6 |     1586 |     3183
606.38/606.51	c  606s |      15 |    99090 |    98032 |    26962      6 |     1586 |     3183
608.49/608.61	c  608s |      15 |    99386 |    98332 |    26962      6 |     1586 |     3183
610.59/610.74	c  610s |      15 |    99692 |    98632 |    26962      6 |     1586 |     3183
612.68/612.85	c  612s |      15 |    99992 |    98932 |    26962      6 |     1586 |     3183
614.78/614.99	c  614s |      15 |   100294 |    99232 |    26962      6 |     1586 |     3183
616.98/617.13	c  616s |      15 |   100594 |    99532 |    26962      6 |     1586 |     3183
619.18/619.32	c  619s |      15 |   100893 |    99832 |    26962      6 |     1586 |     3183
621.48/621.69	c  621s |      15 |   101192 |   100132 |    26962      7 |     1586 |     3183
624.08/624.23	c  623s |      15 |   101594 |   100532 |    26962      7 |     1586 |     3183
626.47/626.65	c  626s |      15 |   101995 |   100932 |    26962      7 |     1586 |     3183
628.97/629.10	c  628s |      15 |   102396 |   101332 |    26962      7 |     1586 |     3183
631.37/631.55	c  631s |      15 |   102797 |   101732 |    26962      7 |     1586 |     3183
633.87/634.01	c  633s |      15 |   103201 |   102132 |    26962      7 |     1586 |     3183
636.17/636.39	c  636s |      15 |   103600 |   102532 |    26962      7 |     1586 |     3183
638.47/638.68	c  638s |      15 |   103999 |   102932 |    26962      7 |     1586 |     3183
640.77/640.93	c  640s |      15 |   104397 |   103332 |    26962      7 |     1586 |     3183
643.07/643.25	c  642s |      15 |   104799 |   103732 |    26962      7 |     1586 |     3183
645.37/645.54	c  645s |      15 |   105197 |   104132 |    26962      7 |     1586 |     3183
647.77/647.90	c  647s |      15 |   105600 |   104532 |    26962      7 |     1586 |     3183
650.07/650.26	c  649s |      15 |   105998 |   104932 |    26962      7 |     1586 |     3183
652.57/652.74	c  652s |      15 |   106405 |   105332 |    26962      7 |     1586 |     3183
654.87/655.06	c  654s |      15 |   106805 |   105732 |    26962      7 |     1586 |     3183
657.17/657.39	c  657s |      15 |   107204 |   106132 |    26962      7 |     1586 |     3183
659.67/659.82	c  659s |      15 |   107607 |   106532 |    26962      7 |     1586 |     3183
662.17/662.32	c  662s |      15 |   108009 |   106932 |    26962      7 |     1586 |     3183
664.58/664.71	c  664s |      15 |   108409 |   107332 |    26962      7 |     1586 |     3183
666.97/667.13	c  666s |      15 |   108809 |   107732 |    26962      7 |     1586 |     3183
669.37/669.53	c  669s |      15 |   109210 |   108132 |    26962      7 |     1586 |     3183
671.87/672.09	c  671s |      15 |   109610 |   108532 |    26962      7 |     1586 |     3183
673.97/674.12	c  673s |      15 |   110030 |   108932 |    26962      7 |     1586 |     3183
676.28/676.44	c  676s |      15 |   110549 |   109432 |    26962      7 |     1586 |     3183
678.58/678.73	c  678s |      15 |   110956 |   109832 |    26962      7 |     1586 |     3183
680.68/680.82	c  680s |      15 |   111363 |   110232 |    26962      7 |     1586 |     3183
682.68/682.85	c  682s |      15 |   111889 |   110732 |    26962      7 |     1586 |     3183
686.67/686.84	c  686s |      15 |   112304 |   111132 |    26962      7 |     1586 |     3183
688.78/688.91	c  688s |      15 |   112818 |   111632 |    26962      7 |     1586 |     3183
690.88/691.06	c  690s |      15 |   113327 |   112132 |    26962      7 |     1586 |     3183
692.87/693.10	c  692s |      15 |   113730 |   112532 |    26962      7 |     1586 |     3183
694.97/695.18	c  694s |      15 |   114246 |   113032 |    26962      7 |     1586 |     3183
697.17/697.33	c  697s |      15 |   114767 |   113532 |    26962      7 |     1586 |     3183
699.68/699.87	c  699s |      15 |   115269 |   114032 |    26962      7 |     1586 |     3183
701.98/702.13	c  701s |      15 |   115566 |   114332 |    26962      7 |     1586 |     3183
704.17/704.30	c  704s |      15 |   115977 |   114732 |    26962      8 |     1586 |     3183
706.37/706.58	c  706s |      15 |   116591 |   115332 |    26962      8 |     1586 |     3183
708.47/708.68	c  708s |      15 |   117102 |   115832 |    26962      8 |     1586 |     3183
710.77/710.99	c  710s |      15 |   117705 |   116432 |    26962      8 |     1586 |     3183
713.16/713.39	c  713s |      15 |   118317 |   117032 |    26962      8 |     1586 |     3183
715.56/715.76	c  715s |      15 |   118935 |   117632 |    26962      8 |     1586 |     3183
717.56/717.79	c  717s |      15 |   119439 |   118132 |    26962      8 |     1586 |     3183
719.66/719.84	c  719s |      15 |   119948 |   118632 |    26962      8 |     1586 |     3183
721.77/721.92	c  721s |      15 |   120454 |   119132 |    26962      8 |     1586 |     3183
723.76/723.98	c  723s |      15 |   120960 |   119632 |    26962      8 |     1586 |     3183
725.86/726.08	c  725s |      15 |   121472 |   120132 |    26962      8 |     1586 |     3183
728.06/728.25	c  727s |      15 |   121980 |   120632 |    26962      8 |     1586 |     3183
730.26/730.41	c  730s |      15 |   122481 |   121132 |    26962      8 |     1586 |     3183
732.36/732.50	c  732s |      15 |   122889 |   121532 |    26962      8 |     1586 |     3183
734.56/734.75	c  734s |      15 |   123391 |   122032 |    26962      8 |     1586 |     3183
736.76/737.00	c  736s |      15 |   123895 |   122532 |    26962      8 |     1586 |     3183
739.06/739.22	c  738s |      15 |   124407 |   123032 |    26962      8 |     1586 |     3183
741.57/741.70	c  741s |      15 |   124913 |   123532 |    26962      8 |     1586 |     3183
743.86/744.09	c  743s |      15 |   125416 |   124032 |    26962      8 |     1586 |     3183
746.25/746.49	c  746s |      15 |   125920 |   124532 |    26962      8 |     1586 |     3183
748.65/748.83	c  748s |      15 |   126427 |   125032 |    26962      8 |     1586 |     3183
750.95/751.19	c  750s |      15 |   126928 |   125532 |    26962      8 |     1586 |     3183
753.45/753.61	c  753s |      15 |   127431 |   126032 |    26962      8 |     1586 |     3183
755.86/756.00	c  755s |      15 |   127930 |   126532 |    26962      8 |     1586 |     3183
758.15/758.38	c  758s |      15 |   128433 |   127032 |    26962      8 |     1586 |     3183
760.65/760.83	c  760s |      15 |   128941 |   127532 |    26962      8 |     1586 |     3183
762.65/762.90	c  762s |      15 |   129344 |   127932 |    26962      8 |     1586 |     3183
764.75/764.94	c  764s |      15 |   129746 |   128332 |    26962      8 |     1586 |     3183
767.05/767.21	c  766s |      15 |   130152 |   128732 |    26962      9 |     1586 |     3183
769.25/769.46	c  769s |      15 |   130657 |   129232 |    26962      9 |     1586 |     3183
771.35/771.53	c  771s |      15 |   131158 |   129732 |    26962      9 |     1586 |     3183
773.35/773.55	c  773s |      15 |   131662 |   130232 |    26962      9 |     1586 |     3183
775.45/775.61	c  775s |      15 |   132166 |   130732 |    29659      9 |     1586 |     3183
777.54/777.71	c  777s |      15 |   132571 |   131132 |    29659      9 |     1586 |     3183
779.44/779.61	c  779s |      16 |   132999 |   131552 |    29659      9 |     1586 |     3183
781.64/781.89	c  781s |      16 |   133539 |   132052 |    29659      9 |     1586 |     3183
783.94/784.12	c  783s |      16 |   134039 |   132552 |    29659      9 |     1586 |     3183
786.24/786.41	c  786s |      16 |   134540 |   133052 |    29659      9 |     1586 |     3183
788.44/788.65	c  788s |      16 |   135046 |   133552 |    29659      9 |     1586 |     3183
790.74/790.98	c  790s |      16 |   135549 |   134052 |    29659      9 |     1586 |     3183
793.14/793.31	c  793s |      16 |   136050 |   134552 |    29659      9 |     1586 |     3183
795.24/795.41	c  795s |      16 |   136354 |   134852 |    29659      9 |     1586 |     3183
797.55/797.72	c  797s |      16 |   136855 |   135352 |    29659      9 |     1586 |     3183
799.75/799.94	c  799s |      16 |   137381 |   135852 |    29659      9 |     1586 |     3183
802.05/802.25	c  801s |      16 |   137883 |   136352 |    29659      9 |     1586 |     3183
804.44/804.67	c  804s |      16 |   138389 |   136852 |    29659      9 |     1586 |     3183
806.64/806.88	c  806s |      16 |   138910 |   137352 |    29659      9 |     1586 |     3183
809.04/809.26	c  808s |      16 |   139413 |   137852 |    29659      9 |     1586 |     3183
811.34/811.56	c  811s |      16 |   139919 |   138352 |    29659      9 |     1586 |     3183
813.74/813.94	c  813s |      16 |   140423 |   138852 |    29659      9 |     1586 |     3183
816.14/816.30	c  816s |      16 |   140922 |   139352 |    29659      9 |     1586 |     3183
818.45/818.61	c  818s |      16 |   141444 |   139852 |    29659      9 |     1586 |     3183
820.84/821.04	c  820s |      16 |   141951 |   140352 |    29659      9 |     1586 |     3183
823.14/823.39	c  823s |      16 |   142483 |   140852 |    29659      9 |     1586 |     3183
825.64/825.86	c  825s |      16 |   142987 |   141352 |    29659      9 |     1586 |     3183
827.64/827.88	c  827s |      16 |   143388 |   141752 |    29659      9 |     1586 |     3183
829.74/829.90	c  829s |      16 |   143790 |   142152 |    29659      9 |     1586 |     3183
831.74/831.95	c  831s |      16 |   144201 |   142552 |    29659      9 |     1586 |     3183
834.23/834.45	c  834s |      16 |   144718 |   143052 |    29659      9 |     1586 |     3183
836.33/836.54	c  836s |      16 |   145123 |   143452 |    29659      9 |     1586 |     3183
838.34/838.59	c  838s |      16 |   145524 |   143852 |    29659      9 |     1586 |     3183
840.44/840.67	c  840s |      16 |   145944 |   144252 |    29659      9 |     1586 |     3183
842.53/842.76	c  842s |      16 |   146345 |   144652 |    29659      9 |     1586 |     3183
844.73/844.90	c  844s |      16 |   146747 |   145052 |    29659      9 |     1586 |     3183
846.93/847.10	c  846s |      16 |   147147 |   145452 |    29659      9 |     1586 |     3183
849.13/849.39	c  849s |      16 |   147729 |   145952 |    29659     10 |     1586 |     3183
851.23/851.43	c  851s |      16 |   148138 |   146352 |    29659     10 |     1586 |     3183
853.53/853.78	c  853s |      16 |   148843 |   146952 |    29659     10 |     1586 |     3183
855.72/855.97	c  855s |      16 |   149358 |   147452 |    29659     10 |     1586 |     3183
857.82/858.04	c  857s |      16 |   149896 |   147952 |    29659     10 |     1586 |     3183
859.92/860.10	c  859s |      16 |   150662 |   148552 |    29659     10 |     1586 |     3183
862.12/862.35	c  862s |      16 |   151575 |   149252 |    29659     10 |     1586 |     3183
864.32/864.58	c  864s |      16 |   152398 |   149952 |    29659     10 |     1586 |     3183
866.62/866.85	c  866s |      16 |   153243 |   150652 |    29659     10 |     1586 |     3183
868.72/868.91	c  868s |      16 |   154010 |   151252 |    29659     10 |     1586 |     3183
870.72/870.94	c  870s |      16 |   154746 |   151852 |    29659     10 |     1586 |     3183
872.82/873.02	c  872s |      16 |   155534 |   152452 |    29659     10 |     1586 |     3183
874.92/875.13	c  874s |      16 |   156232 |   153052 |    29659     10 |     1586 |     3183
877.12/877.34	c  877s |      16 |   156899 |   153652 |    29659     10 |     1586 |     3183
879.42/879.60	c  879s |      16 |   157612 |   154252 |    29659     10 |     1586 |     3183
881.72/881.94	c  881s |      16 |   158282 |   154852 |    29659     10 |     1586 |     3183
883.91/884.14	c  883s |      16 |   158864 |   155352 |    29659     10 |     1586 |     3183
886.11/886.30	c  886s |      16 |   159648 |   155952 |    29659     10 |     1586 |     3183
888.31/888.51	c  888s |      16 |   160381 |   156552 |    29659     10 |     1586 |     3183
890.51/890.71	c  890s |      16 |   161118 |   157152 |    29659     10 |     1586 |     3183
892.61/892.88	c  892s |      16 |   161784 |   157752 |    29659     10 |     1586 |     3183
894.81/895.06	c  894s |      16 |   162469 |   158352 |    29659     10 |     1586 |     3183
897.21/897.40	c  897s |      16 |   163171 |   158952 |    29659     10 |     1586 |     3183
899.41/899.68	c  899s |      16 |   163852 |   159552 |    29659     10 |     1586 |     3183
901.41/901.68	c  901s |      16 |   164400 |   160052 |    29659     10 |     1586 |     3183
903.51/903.78	c  903s |      16 |   165016 |   160552 |    29659     10 |     1586 |     3183
905.81/906.01	c  905s |      16 |   165572 |   161052 |    29659     10 |     1586 |     3183
907.91/908.18	c  907s |      16 |   166008 |   161452 |    29659     11 |     1586 |     3183
910.10/910.37	c  910s |      16 |   166763 |   162052 |    29659     11 |     1586 |     3183
912.20/912.46	c  912s |      16 |   167328 |   162552 |    29659     11 |     1586 |     3183
914.40/914.66	c  914s |      16 |   168023 |   163152 |    29659     11 |     1586 |     3183
916.50/916.79	c  916s |      16 |   168690 |   163752 |    29659     11 |     1586 |     3183
918.80/919.01	c  918s |      16 |   169381 |   164352 |    29659     11 |     1586 |     3183
921.00/921.21	c  920s |      16 |   169949 |   164852 |    29659     11 |     1586 |     3183
923.20/923.45	c  923s |      16 |   170641 |   165452 |    29659     11 |     1586 |     3183
925.40/925.66	c  925s |      16 |   171314 |   166052 |    29659     11 |     1586 |     3183
927.70/927.92	c  927s |      16 |   171981 |   166652 |    29659     11 |     1586 |     3183
930.00/930.26	c  929s |      16 |   172635 |   167252 |    29659     11 |     1586 |     3183
932.00/932.28	c  932s |      16 |   173211 |   167752 |    29659     11 |     1586 |     3183
934.10/934.34	c  934s |      16 |   173742 |   168252 |    29659     11 |     1586 |     3183
936.10/936.35	c  936s |      16 |   174322 |   168752 |    29659     11 |     1586 |     3183
938.20/938.48	c  938s |      16 |   174869 |   169252 |    29659     11 |     1586 |     3183
940.40/940.62	c  940s |      16 |   175439 |   169752 |    29659     11 |     1586 |     3183
942.50/942.74	c  942s |      16 |   176039 |   170252 |    29659     11 |     1586 |     3183
944.60/944.89	c  944s |      16 |   176611 |   170752 |    29659     11 |     1586 |     3183
946.80/947.03	c  946s |      16 |   177196 |   171252 |    29659     11 |     1586 |     3183
948.99/949.25	c  948s |      16 |   177730 |   171752 |    29659     11 |     1586 |     3183
951.19/951.41	c  951s |      16 |   178297 |   172252 |    29659     11 |     1586 |     3183
953.39/953.65	c  953s |      16 |   178862 |   172752 |    29659     11 |     1586 |     3183
955.59/955.85	c  955s |      16 |   179449 |   173252 |    29659     11 |     1586 |     3183
957.89/958.10	c  957s |      16 |   179994 |   173752 |    29659     11 |     1586 |     3183
959.99/960.29	c  960s |      16 |   180550 |   174252 |    29659     11 |     1586 |     3183
962.19/962.44	c  962s |      16 |   181092 |   174752 |    29659     11 |     1586 |     3183
964.39/964.60	c  964s |      16 |   181715 |   175252 |    29659     11 |     1586 |     3183
966.49/966.78	c  966s |      16 |   182271 |   175752 |    29659     11 |     1586 |     3183
968.79/969.02	c  968s |      16 |   182843 |   176252 |    29659     11 |     1586 |     3183
971.09/971.30	c  971s |      16 |   183414 |   176752 |    29659     11 |     1586 |     3183
973.29/973.51	c  973s |      16 |   183902 |   177152 |    29659     12 |     1586 |     3183
976.90/977.19	c  976s |      16 |   184498 |   177652 |    29659     12 |     1586 |     3183
979.10/979.31	c  979s |      16 |   185162 |   178252 |    29659     12 |     1586 |     3183
981.20/981.48	c  981s |      16 |   185893 |   178852 |    29659     12 |     1586 |     3183
983.40/983.69	c  983s |      16 |   186601 |   179452 |    29659     12 |     1586 |     3183
985.70/985.99	c  985s |      16 |   187268 |   180052 |    29659     12 |     1586 |     3183
987.90/988.14	c  987s |      16 |   187960 |   180652 |    29659     12 |     1586 |     3183
990.10/990.31	c  990s |      16 |   188630 |   181252 |    29659     12 |     1586 |     3183
992.39/992.69	c  992s |      16 |   189307 |   181852 |    29659     12 |     1586 |     3183
994.79/995.02	c  994s |      16 |   189973 |   182452 |    29659     12 |     1586 |     3183
996.79/997.04	c  996s |      16 |   190504 |   182952 |    29659     12 |     1586 |     3183
998.89/999.11	c  998s |      16 |   191091 |   183452 |    29659     12 |     1586 |     3183
1001.09/1001.39	c 1001s |      16 |   191808 |   184052 |    29659     12 |     1586 |     3183
1003.49/1003.70	c 1003s |      16 |   192514 |   184652 |    29659     12 |     1586 |     3183
1005.49/1005.74	c 1005s |      16 |   193089 |   185152 |    29659     12 |     1586 |     3183
1007.49/1007.77	c 1007s |      16 |   193677 |   185652 |    29659     12 |     1586 |     3183
1009.59/1009.82	c 1009s |      16 |   194264 |   186152 |    29659     12 |     1586 |     3183
1011.59/1011.88	c 1011s |      16 |   194845 |   186652 |    29659     12 |     1586 |     3183
1013.68/1013.91	c 1013s |      16 |   195393 |   187152 |    29659     12 |     1586 |     3183
1015.68/1015.95	c 1015s |      16 |   195932 |   187652 |    29659     12 |     1586 |     3183
1017.78/1018.05	c 1017s |      16 |   196473 |   188152 |    29659     12 |     1586 |     3183
1019.88/1020.17	c 1019s |      16 |   197066 |   188652 |    29659     12 |     1586 |     3183
1022.08/1022.39	c 1022s |      16 |   197603 |   189152 |    29659     12 |     1586 |     3183
1024.38/1024.69	c 1024s |      16 |   198178 |   189652 |    29659     12 |     1586 |     3183
1026.58/1026.81	c 1026s |      16 |   198737 |   190152 |    29659     12 |     1586 |     3183
1028.88/1029.11	c 1028s |      16 |   199281 |   190652 |    29659     12 |     1586 |     3183
1030.88/1031.19	c 1030s |      16 |   199744 |   191052 |    29659     12 |     1586 |     3183
1033.18/1033.48	c 1033s |      16 |   200280 |   191552 |    29659     12 |     1586 |     3183
1035.67/1035.94	c 1035s |      16 |   200792 |   192052 |    29659     12 |     1586 |     3183
1038.07/1038.30	c 1038s |      16 |   201375 |   192552 |    29659     12 |     1586 |     3183
1040.68/1040.96	c 1040s |      16 |   201926 |   193052 |    29659     13 |     1586 |     3183
1042.88/1043.16	c 1042s |      16 |   202600 |   193652 |    29659     13 |     1586 |     3183
1045.08/1045.30	c 1045s |      16 |   203333 |   194252 |    29659     13 |     1586 |     3183
1047.28/1047.56	c 1047s |      16 |   204054 |   194852 |    29659     13 |     1586 |     3183
1049.27/1049.57	c 1049s |      16 |   204634 |   195352 |    29659     13 |     1586 |     3183
1051.58/1051.88	c 1051s |      16 |   205302 |   195952 |    29659     13 |     1586 |     3183
1053.88/1054.10	c 1053s |      16 |   205981 |   196552 |    32625     13 |     1586 |     3183
1055.87/1056.12	c 1055s |      16 |   206587 |   197052 |    32625     13 |     1586 |     3183
1057.27/1057.59	c 1057s |      17 |   207000 |   197432 |    32625     13 |     1586 |     3183
1059.37/1059.62	c 1059s |      17 |   207463 |   197832 |    32625     13 |     1586 |     3183
1061.37/1061.63	c 1061s |      17 |   208026 |   198332 |    32625     13 |     1586 |     3183
1063.77/1064.03	c 1063s |      17 |   208707 |   198932 |    32625     13 |     1586 |     3183
1065.77/1066.10	c 1065s |      17 |   209337 |   199432 |    32625     13 |     1586 |     3183
1067.86/1068.16	c 1067s |      17 |   209880 |   199932 |    32625     13 |     1586 |     3183
1069.96/1070.21	c 1069s |      17 |   210338 |   200332 |    32625     13 |     1586 |     3183
1071.96/1072.24	c 1071s |      17 |   210865 |   200832 |    32625     13 |     1586 |     3183
1073.96/1074.25	c 1073s |      17 |   211414 |   201332 |    32625     13 |     1586 |     3183
1076.06/1076.31	c 1076s |      17 |   211966 |   201832 |    32625     13 |     1586 |     3183
1078.36/1078.68	c 1078s |      17 |   212650 |   202432 |    32625     13 |     1586 |     3183
1080.46/1080.74	c 1080s |      17 |   213208 |   202932 |    32625     13 |     1586 |     3183
1082.47/1082.75	c 1082s |      17 |   213804 |   203432 |    32625     13 |     1586 |     3183
1084.46/1084.80	c 1084s |      17 |   214393 |   203932 |    32625     13 |     1586 |     3183
1086.66/1086.95	c 1086s |      17 |   214950 |   204432 |    32625     13 |     1586 |     3183
1088.96/1089.30	c 1089s |      17 |   215660 |   205032 |    32625     13 |     1586 |     3183
1091.06/1091.30	c 1091s |      17 |   216226 |   205532 |    32625     13 |     1586 |     3183
1093.15/1093.47	c 1093s |      17 |   216788 |   206032 |    32625     13 |     1586 |     3183
1095.35/1095.62	c 1095s |      17 |   217327 |   206532 |    32625     13 |     1586 |     3183
1097.55/1097.86	c 1097s |      17 |   217922 |   207032 |    32625     13 |     1586 |     3183
1099.85/1100.13	c 1099s |      17 |   218483 |   207532 |    32625     13 |     1586 |     3183
1102.05/1102.33	c 1102s |      17 |   219041 |   208032 |    32625     13 |     1586 |     3183
1104.36/1104.68	c 1104s |      17 |   219601 |   208532 |    32625     13 |     1586 |     3183
1106.66/1106.95	c 1106s |      17 |   220164 |   209032 |    32625     13 |     1586 |     3183
1108.95/1109.29	c 1109s |      17 |   220716 |   209532 |    32625     13 |     1586 |     3183
1111.25/1111.58	c 1111s |      17 |   221282 |   210032 |    32625     13 |     1586 |     3183
1113.45/1113.77	c 1113s |      17 |   221841 |   210532 |    32625     13 |     1586 |     3183
1115.75/1116.08	c 1115s |      17 |   222424 |   211032 |    32625     13 |     1586 |     3183
1118.15/1118.44	c 1118s |      17 |   222983 |   211532 |    32625     14 |     1586 |     3183
1120.44/1120.77	c 1120s |      17 |   223543 |   212032 |    32625     14 |     1586 |     3183
1122.84/1123.11	c 1122s |      17 |   223981 |   212432 |    32625     14 |     1586 |     3183
1125.14/1125.49	c 1125s |      17 |   224669 |   213032 |    32625     14 |     1586 |     3183
1127.14/1127.49	c 1127s |      17 |   225219 |   213532 |    32625     14 |     1586 |     3183
1129.44/1129.76	c 1129s |      17 |   225898 |   214132 |    32625     14 |     1586 |     3183
1131.85/1132.13	c 1131s |      17 |   226616 |   214732 |    32625     14 |     1586 |     3183
1134.24/1134.53	c 1134s |      17 |   227335 |   215332 |    32625     14 |     1586 |     3183
1136.25/1136.56	c 1136s |      17 |   227685 |   215632 |    32625     14 |     1586 |     3183
1138.64/1138.90	c 1138s |      17 |   228371 |   216232 |    32625     14 |     1586 |     3183
1140.65/1140.94	c 1140s |      17 |   228951 |   216732 |    32625     14 |     1586 |     3183
1142.64/1142.96	c 1142s |      17 |   229503 |   217232 |    32625     14 |     1586 |     3183
1144.74/1145.04	c 1144s |      17 |   230060 |   217732 |    32625     14 |     1586 |     3183
1146.84/1147.14	c 1146s |      17 |   230617 |   218232 |    32625     14 |     1586 |     3183
1148.94/1149.29	c 1149s |      17 |   231196 |   218732 |    32625     14 |     1586 |     3183
1151.24/1151.54	c 1151s |      17 |   231735 |   219232 |    32625     14 |     1586 |     3183
1153.44/1153.76	c 1153s |      17 |   232307 |   219732 |    32625     14 |     1586 |     3183
1155.84/1156.12	c 1155s |      17 |   232878 |   220232 |    32625     14 |     1586 |     3183
1157.84/1158.12	c 1157s |      17 |   233329 |   220632 |    32625     14 |     1586 |     3183
1160.33/1160.61	c 1160s |      17 |   233877 |   221132 |    32625     14 |     1586 |     3183
1162.64/1163.00	c 1162s |      17 |   234485 |   221632 |    32625     14 |     1586 |     3183
1164.73/1165.08	c 1164s |      17 |   234938 |   222032 |    32625     14 |     1586 |     3183
1166.83/1167.15	c 1166s |      17 |   235403 |   222432 |    32625     14 |     1586 |     3183
1168.83/1169.18	c 1168s |      17 |   235828 |   222832 |    32625     14 |     1586 |     3183
1171.13/1171.40	c 1171s |      17 |   236296 |   223232 |    32625     14 |     1586 |     3183
1173.23/1173.54	c 1173s |      17 |   236755 |   223632 |    32625     14 |     1586 |     3183
1175.42/1175.79	c 1175s |      17 |   237192 |   224032 |    32625     14 |     1586 |     3183
1177.62/1177.97	c 1177s |      17 |   237652 |   224432 |    32625     14 |     1586 |     3183
1179.92/1180.21	c 1179s |      17 |   238134 |   224832 |    32625     14 |     1586 |     3183
1182.12/1182.40	c 1182s |      17 |   238638 |   225232 |    32625     14 |     1586 |     3183
1184.42/1184.71	c 1184s |      17 |   239085 |   225632 |    32625     14 |     1586 |     3183
1186.62/1186.97	c 1186s |      17 |   239534 |   226032 |    32625     14 |     1586 |     3183
1188.92/1189.26	c 1188s |      17 |   239990 |   226432 |    32625     14 |     1586 |     3183
1191.32/1191.65	c 1191s |      17 |   240415 |   226832 |    32625     14 |     1586 |     3183
1193.61/1193.97	c 1193s |      17 |   240874 |   227232 |    32625     14 |     1586 |     3183
1195.91/1196.26	c 1195s |      17 |   241296 |   227632 |    32625     14 |     1586 |     3183
1198.31/1198.62	c 1198s |      17 |   241803 |   228032 |    32625     14 |     1586 |     3183
1200.61/1200.91	c 1200s |      17 |   242250 |   228432 |    32625     14 |     1586 |     3183
1202.71/1203.07	c 1202s |      17 |   242711 |   228832 |    32625     15 |     1586 |     3183
1205.12/1205.47	c 1205s |      17 |   243312 |   229332 |    32625     15 |     1586 |     3183
1207.61/1207.93	c 1207s |      17 |   244009 |   229932 |    32625     15 |     1586 |     3183
1209.71/1210.07	c 1209s |      17 |   244601 |   230432 |    32625     15 |     1586 |     3183
1211.91/1212.29	c 1212s |      17 |   245141 |   230932 |    32625     15 |     1586 |     3183
1214.21/1214.51	c 1214s |      17 |   245731 |   231432 |    32625     15 |     1586 |     3183
1216.41/1216.72	c 1216s |      17 |   246316 |   231932 |    32625     15 |     1586 |     3183
1218.91/1219.20	c 1218s |      17 |   246776 |   232332 |    32625     15 |     1586 |     3183
1221.21/1221.52	c 1221s |      17 |   247324 |   232832 |    32625     15 |     1586 |     3183
1223.61/1223.97	c 1223s |      17 |   247892 |   233332 |    32625     15 |     1586 |     3183
1226.00/1226.36	c 1226s |      17 |   248416 |   233832 |    32625     15 |     1586 |     3183
1228.40/1228.72	c 1228s |      17 |   249005 |   234332 |    32625     15 |     1586 |     3183
1230.70/1231.08	c 1230s |      17 |   249574 |   234832 |    32625     15 |     1586 |     3183
1233.11/1233.48	c 1233s |      17 |   250179 |   235332 |    32625     15 |     1586 |     3183
1235.60/1235.95	c 1235s |      17 |   250739 |   235832 |    32625     15 |     1586 |     3183
1237.99/1238.35	c 1238s |      17 |   251207 |   236232 |    32625     15 |     1586 |     3183
1239.99/1240.36	c 1240s |      17 |   251692 |   236632 |    32625     15 |     1586 |     3183
1242.49/1242.83	c 1242s |      17 |   252238 |   237132 |    32625     15 |     1586 |     3183
1244.49/1244.84	c 1244s |      17 |   252684 |   237532 |    32625     15 |     1586 |     3183
1246.49/1246.89	c 1246s |      17 |   253105 |   237932 |    32625     15 |     1586 |     3183
1248.59/1248.92	c 1248s |      17 |   253570 |   238332 |    32625     15 |     1586 |     3183
1250.70/1251.07	c 1250s |      17 |   254002 |   238732 |    32625     15 |     1586 |     3183
1252.80/1253.17	c 1252s |      17 |   254440 |   239132 |    32625     15 |     1586 |     3183
1254.99/1255.37	c 1255s |      17 |   254865 |   239532 |    32625     15 |     1586 |     3183
1257.08/1257.49	c 1257s |      17 |   255328 |   239932 |    32625     15 |     1586 |     3183
1259.18/1259.51	c 1259s |      17 |   255788 |   240332 |    32625     15 |     1586 |     3183
1261.28/1261.64	c 1261s |      17 |   256238 |   240732 |    32625     15 |     1586 |     3183
1263.38/1263.78	c 1263s |      17 |   256675 |   241132 |    32625     15 |     1586 |     3183
1265.58/1265.96	c 1265s |      17 |   257152 |   241532 |    32625     15 |     1586 |     3183
1267.88/1268.26	c 1267s |      17 |   257597 |   241932 |    32625     15 |     1586 |     3183
1270.18/1270.50	c 1270s |      17 |   258048 |   242332 |    32625     15 |     1586 |     3183
1272.38/1272.79	c 1272s |      17 |   258496 |   242732 |    32625     15 |     1586 |     3183
1274.68/1275.07	c 1274s |      17 |   258948 |   243132 |    32625     15 |     1586 |     3183
1277.08/1277.46	c 1277s |      17 |   259393 |   243532 |    32625     15 |     1586 |     3183
1279.58/1279.91	c 1279s |      17 |   259826 |   243932 |    32625     15 |     1586 |     3183
1281.87/1282.22	c 1281s |      17 |   260283 |   244332 |    32625     15 |     1586 |     3183
1284.27/1284.62	c 1284s |      17 |   260776 |   244732 |    32625     15 |     1586 |     3183
1286.67/1287.06	c 1286s |      17 |   261235 |   245132 |    32625     15 |     1586 |     3183
1289.08/1289.43	c 1289s |      17 |   261678 |   245532 |    32625     15 |     1586 |     3183
1291.37/1291.78	c 1291s |      17 |   262121 |   245932 |    32625     16 |     1586 |     3183
1293.77/1294.17	c 1293s |      17 |   262654 |   246432 |    32625     16 |     1586 |     3183
1296.17/1296.50	c 1296s |      17 |   263253 |   246932 |    32625     16 |     1586 |     3183
1298.26/1298.64	c 1298s |      17 |   263839 |   247432 |    32625     16 |     1586 |     3183
1300.26/1300.69	c 1300s |      17 |   264411 |   247932 |    32625     16 |     1586 |     3183
1302.37/1302.76	c 1302s |      17 |   264983 |   248432 |    32625     16 |     1586 |     3183
1304.36/1304.79	c 1304s |      17 |   265437 |   248832 |    32625     16 |     1586 |     3183
1306.77/1307.11	c 1306s |      17 |   266008 |   249332 |    32625     16 |     1586 |     3183
1309.06/1309.46	c 1309s |      17 |   266588 |   249832 |    32625     16 |     1586 |     3183
1311.46/1311.86	c 1311s |      17 |   267175 |   250332 |    32625     16 |     1586 |     3183
1313.86/1314.22	c 1313s |      17 |   267731 |   250832 |    32625     16 |     1586 |     3183
1316.36/1316.70	c 1316s |      17 |   268327 |   251332 |    32625     16 |     1586 |     3183
1318.36/1318.75	c 1318s |      17 |   268804 |   251732 |    32625     16 |     1586 |     3183
1320.36/1320.77	c 1320s |      17 |   269260 |   252132 |    32625     16 |     1586 |     3183
1322.36/1322.78	c 1322s |      17 |   269704 |   252532 |    32625     16 |     1586 |     3183
1324.65/1325.04	c 1324s |      17 |   270158 |   252932 |    32625     16 |     1586 |     3183
1326.65/1327.08	c 1326s |      17 |   270651 |   253332 |    32625     16 |     1586 |     3183
1329.15/1329.59	c 1329s |      17 |   271242 |   253832 |    32625     16 |     1586 |     3183
1331.25/1331.63	c 1331s |      17 |   271742 |   254232 |    32625     16 |     1586 |     3183
1333.35/1333.77	c 1333s |      17 |   272227 |   254632 |    32625     16 |     1586 |     3183
1335.44/1335.82	c 1335s |      17 |   272717 |   255032 |    32625     16 |     1586 |     3183
1337.64/1338.04	c 1337s |      17 |   273183 |   255432 |    32625     16 |     1586 |     3183
1339.65/1340.08	c 1339s |      17 |   273646 |   255832 |    32625     16 |     1586 |     3183
1341.85/1342.25	c 1341s |      17 |   274087 |   256232 |    32625     16 |     1586 |     3183
1344.05/1344.45	c 1344s |      17 |   274534 |   256632 |    32625     16 |     1586 |     3183
1346.35/1346.71	c 1346s |      17 |   274966 |   257032 |    32625     16 |     1586 |     3183
1348.55/1348.96	c 1348s |      17 |   275418 |   257432 |    32625     16 |     1586 |     3183
1350.84/1351.23	c 1350s |      17 |   275868 |   257832 |    32625     16 |     1586 |     3183
1353.14/1353.50	c 1353s |      17 |   276336 |   258232 |    32625     16 |     1586 |     3183
1355.34/1355.79	c 1355s |      17 |   276827 |   258632 |    32625     16 |     1586 |     3183
1357.74/1358.18	c 1357s |      17 |   277272 |   259032 |    32625     16 |     1586 |     3183
1360.14/1360.50	c 1360s |      17 |   277726 |   259432 |    32625     16 |     1586 |     3183
1362.54/1362.96	c 1362s |      17 |   278160 |   259832 |    32625     16 |     1586 |     3183
1364.94/1365.34	c 1365s |      17 |   278614 |   260232 |    32625     16 |     1586 |     3183
1367.33/1367.79	c 1367s |      17 |   279120 |   260632 |    32625     16 |     1586 |     3183
1369.63/1370.05	c 1369s |      17 |   279440 |   260932 |    32625     16 |     1586 |     3183
1372.13/1372.51	c 1372s |      17 |   279859 |   261332 |    32625     16 |     1586 |     3183
1375.13/1375.54	c 1375s |      17 |   279972 |   261432 |    32625     16 |     1586 |     3183
1377.63/1378.00	c 1377s |      17 |   280379 |   261832 |    32625     16 |     1586 |     3183
1380.03/1380.49	c 1380s |      17 |   280811 |   262232 |    32625     16 |     1586 |     3183
1382.63/1383.00	c 1382s |      17 |   281219 |   262632 |    32625     16 |     1586 |     3183
1384.92/1385.34	c 1385s |      17 |   281535 |   262932 |    32625     17 |     1586 |     3183
1387.12/1387.51	c 1387s |      17 |   281958 |   263332 |    32625     17 |     1586 |     3183
1389.32/1389.78	c 1389s |      17 |   282529 |   263832 |    32625     17 |     1586 |     3183
1391.72/1392.17	c 1391s |      17 |   283073 |   264332 |    32625     17 |     1586 |     3183
1393.73/1394.18	c 1393s |      17 |   283539 |   264732 |    32625     17 |     1586 |     3183
1396.63/1397.04	c 1396s |      17 |   284092 |   265232 |    32625     17 |     1586 |     3183
1398.73/1399.15	c 1398s |      17 |   284541 |   265632 |    32625     17 |     1586 |     3183
1400.83/1401.27	c 1401s |      17 |   284980 |   266032 |    32625     17 |     1586 |     3183
1402.83/1403.28	c 1403s |      17 |   285455 |   266432 |    32625     17 |     1586 |     3183
1405.33/1405.76	c 1405s |      17 |   285997 |   266932 |    32625     17 |     1586 |     3183
1407.53/1407.91	c 1407s |      17 |   286443 |   267332 |    32625     17 |     1586 |     3183
1409.53/1409.97	c 1409s |      17 |   286903 |   267732 |    32625     17 |     1586 |     3183
1411.73/1412.13	c 1411s |      17 |   287309 |   268132 |    32625     17 |     1586 |     3183
1413.93/1414.32	c 1414s |      17 |   287714 |   268532 |    32625     17 |     1586 |     3183
1416.03/1416.46	c 1416s |      17 |   288149 |   268932 |    32625     17 |     1586 |     3183
1418.33/1418.76	c 1418s |      17 |   288548 |   269332 |    32625     17 |     1586 |     3183
1420.43/1420.80	c 1420s |      17 |   288855 |   269632 |    32625     17 |     1586 |     3183
1422.53/1422.94	c 1422s |      17 |   289324 |   270032 |    32625     17 |     1586 |     3183
1424.83/1425.21	c 1424s |      17 |   289766 |   270432 |    32625     17 |     1586 |     3183
1427.03/1427.49	c 1427s |      17 |   290189 |   270832 |    32625     17 |     1586 |     3183
1429.22/1429.67	c 1429s |      17 |   290613 |   271232 |    32625     17 |     1586 |     3183
1431.62/1432.03	c 1431s |      17 |   291044 |   271632 |    32625     17 |     1586 |     3183
1433.92/1434.38	c 1434s |      17 |   291472 |   272032 |    32625     17 |     1586 |     3183
1436.32/1436.80	c 1436s |      17 |   291927 |   272432 |    32625     17 |     1586 |     3183
1438.63/1439.09	c 1438s |      17 |   292414 |   272832 |    32625     17 |     1586 |     3183
1441.12/1441.50	c 1441s |      17 |   292858 |   273232 |    32625     17 |     1586 |     3183
1443.32/1443.79	c 1443s |      17 |   293275 |   273632 |    32625     17 |     1586 |     3183
1445.62/1446.07	c 1445s |      17 |   293687 |   274032 |    32625     17 |     1586 |     3183
1448.22/1448.61	c 1448s |      17 |   294209 |   274432 |    32625     17 |     1586 |     3183
1450.62/1451.08	c 1450s |      17 |   294619 |   274832 |    32625     17 |     1586 |     3183
1453.12/1453.52	c 1453s |      17 |   295034 |   275232 |    32625     17 |     1586 |     3183
1455.52/1455.97	c 1455s |      17 |   295482 |   275632 |    32625     17 |     1586 |     3183
1458.12/1458.54	c 1458s |      17 |   295924 |   276032 |    32625     17 |     1586 |     3183
1460.73/1461.13	c 1460s |      17 |   296378 |   276432 |    32625     17 |     1586 |     3183
1462.83/1463.23	c 1462s |      17 |   296708 |   276732 |    32625     17 |     1586 |     3183
1465.52/1465.96	c 1465s |      17 |   297136 |   277132 |    32625     17 |     1586 |     3183
1468.12/1468.56	c 1468s |      17 |   297546 |   277532 |    32625     17 |     1586 |     3183
1470.72/1471.14	c 1470s |      17 |   297973 |   277932 |    32625     17 |     1586 |     3183
1473.22/1473.67	c 1473s |      17 |   298422 |   278332 |    32625     17 |     1586 |     3183
1475.82/1476.25	c 1475s |      17 |   298900 |   278732 |    32625     17 |     1586 |     3183
1478.42/1478.87	c 1478s |      17 |   299374 |   279132 |    32625     17 |     1586 |     3183
1481.01/1481.46	c 1481s |      17 |   299801 |   279532 |    32625     17 |     1586 |     3183
1483.61/1484.03	c 1483s |      17 |   300259 |   279932 |    32625     17 |     1586 |     3183
1486.11/1486.55	c 1486s |      17 |   300725 |   280332 |    32625     18 |     1586 |     3183
1488.41/1488.86	c 1488s |      17 |   301299 |   280832 |    32625     18 |     1586 |     3183
1490.61/1491.04	c 1490s |      17 |   301754 |   281232 |    32625     18 |     1586 |     3183
1493.01/1493.49	c 1493s |      17 |   302302 |   281732 |    32625     18 |     1586 |     3183
1495.61/1496.00	c 1495s |      17 |   302883 |   282232 |    32625     18 |     1586 |     3183
1497.61/1498.05	c 1497s |      17 |   303340 |   282632 |    32625     18 |     1586 |     3183
1500.01/1500.46	c 1500s |      17 |   303750 |   283032 |    32625     18 |     1586 |     3183
1502.11/1502.58	c 1502s |      17 |   304169 |   283432 |    32625     18 |     1586 |     3183
1504.21/1504.66	c 1504s |      17 |   304574 |   283832 |    32625     18 |     1586 |     3183
1506.31/1506.70	c 1506s |      17 |   304994 |   284232 |    32625     18 |     1586 |     3183
1508.31/1508.80	c 1508s |      17 |   305412 |   284632 |    32625     18 |     1586 |     3183
1510.41/1510.89	c 1510s |      17 |   305857 |   285032 |    32625     18 |     1586 |     3183
1512.61/1513.05	c 1512s |      17 |   306287 |   285432 |    32625     18 |     1586 |     3183
1514.81/1515.21	c 1514s |      17 |   306692 |   285832 |    32625     18 |     1586 |     3183
1517.01/1517.44	c 1517s |      17 |   307111 |   286232 |    32625     18 |     1586 |     3183
1519.50/1519.96	c 1519s |      17 |   307569 |   286632 |    32625     18 |     1586 |     3183
1521.90/1522.32	c 1522s |      17 |   307990 |   287032 |    32625     18 |     1586 |     3183
1524.00/1524.47	c 1524s |      17 |   308467 |   287432 |    32625     18 |     1586 |     3183
1526.20/1526.65	c 1526s |      17 |   308912 |   287832 |    32625     18 |     1586 |     3183
1528.60/1529.01	c 1528s |      17 |   309334 |   288232 |    32625     18 |     1586 |     3183
1530.80/1531.28	c 1531s |      17 |   309767 |   288632 |    32625     18 |     1586 |     3183
1533.10/1533.53	c 1533s |      17 |   310231 |   289032 |    32625     18 |     1586 |     3183
1535.60/1536.00	c 1535s |      17 |   310670 |   289432 |    32625     18 |     1586 |     3183
1538.00/1538.50	c 1538s |      17 |   311121 |   289832 |    32625     18 |     1586 |     3183
1540.50/1540.90	c 1540s |      17 |   311542 |   290232 |    32625     18 |     1586 |     3183
1543.00/1543.48	c 1543s |      17 |   311954 |   290632 |    32625     18 |     1586 |     3183
1545.60/1546.00	c 1545s |      17 |   312374 |   291032 |    32625     18 |     1586 |     3183
1548.20/1548.60	c 1548s |      17 |   312789 |   291432 |    32625     18 |     1586 |     3183
1550.81/1551.28	c 1551s |      17 |   313245 |   291832 |    32625     18 |     1586 |     3183
1552.80/1553.29	c 1553s |      17 |   313567 |   292132 |    32625     18 |     1586 |     3183
1554.90/1555.32	c 1555s |      17 |   313894 |   292432 |    32625     18 |     1586 |     3183
1557.00/1557.44	c 1557s |      17 |   314203 |   292732 |    32625     18 |     1586 |     3183
1559.00/1559.45	c 1559s |      17 |   314507 |   293032 |    32625     18 |     1586 |     3183
1561.71/1562.11	c 1561s |      17 |   314951 |   293432 |    32625     18 |     1586 |     3183
1563.71/1564.17	c 1563s |      17 |   315271 |   293732 |    32625     18 |     1586 |     3183
1565.71/1566.18	c 1565s |      17 |   315610 |   294032 |    32625     18 |     1586 |     3183
1567.80/1568.26	c 1567s |      17 |   315933 |   294332 |    35888     18 |     1586 |     3183
1570.40/1570.89	c 1570s |      17 |   316427 |   294732 |    35888     18 |     1586 |     3183
1572.91/1573.32	c 1573s |      17 |   316644 |   294932 |    35888     18 |     1586 |     3183
1575.01/1575.42	c 1575s |      17 |   316982 |   295232 |    35888     18 |     1586 |     3183
1577.00/1577.48	c 1577s |      17 |   317322 |   295532 |    35888     18 |     1586 |     3183
1579.00/1579.49	c 1579s |      17 |   317648 |   295832 |    35888     18 |     1586 |     3183
1581.20/1581.61	c 1581s |      17 |   317980 |   296132 |    35888     18 |     1586 |     3183
1581.90/1582.38	c 1582s |      18 |   318129 |   296252 |    35888     18 |     1586 |     3183
1584.50/1584.99	c 1584s |      18 |   318596 |   296652 |    35888     18 |     1586 |     3183
1586.60/1587.02	c 1586s |      18 |   318927 |   296952 |    35888     18 |     1586 |     3183
1588.60/1589.03	c 1588s |      18 |   319273 |   297252 |    35888     18 |     1586 |     3183
1591.10/1591.59	c 1591s |      18 |   319725 |   297652 |    35888     18 |     1586 |     3183
1593.10/1593.59	c 1593s |      18 |   320103 |   297952 |    35888     18 |     1586 |     3183
1595.20/1595.65	c 1595s |      18 |   320422 |   298252 |    35888     18 |     1586 |     3183
1597.20/1597.66	c 1597s |      18 |   320759 |   298552 |    35888     18 |     1586 |     3183
1599.31/1599.75	c 1599s |      18 |   321084 |   298852 |    35888     18 |     1586 |     3183
1601.30/1601.79	c 1601s |      18 |   321427 |   299152 |    35888     18 |     1586 |     3183
1604.00/1604.48	c 1604s |      18 |   321894 |   299552 |    35888     18 |     1586 |     3183
1606.30/1606.75	c 1606s |      18 |   322254 |   299852 |    35888     18 |     1586 |     3183
1608.50/1608.90	c 1608s |      18 |   322588 |   300152 |    35888     18 |     1586 |     3183
1611.00/1611.46	c 1611s |      18 |   322905 |   300452 |    35888     19 |     1586 |     3183
1613.10/1613.53	c 1613s |      18 |   323378 |   300852 |    35888     19 |     1586 |     3183
1615.60/1616.02	c 1615s |      18 |   323934 |   301352 |    35888     19 |     1586 |     3183
1617.70/1618.18	c 1617s |      18 |   324354 |   301752 |    35888     19 |     1586 |     3183
1619.89/1620.33	c 1620s |      18 |   324781 |   302152 |    35888     19 |     1586 |     3183
1622.19/1622.69	c 1622s |      18 |   325378 |   302652 |    35888     19 |     1586 |     3183
1624.79/1625.20	c 1624s |      18 |   325971 |   303152 |    35888     19 |     1586 |     3183
1628.39/1628.85	c 1628s |      18 |   326193 |   303352 |    35888     19 |     1586 |     3183
1630.59/1631.03	c 1630s |      18 |   326651 |   303752 |    35888     19 |     1586 |     3183
1632.99/1633.43	c 1633s |      18 |   327203 |   304252 |    35888     19 |     1586 |     3183
1635.09/1635.50	c 1635s |      18 |   327629 |   304652 |    35888     19 |     1586 |     3183
1637.09/1637.53	c 1637s |      18 |   328069 |   305052 |    35888     19 |     1586 |     3183
1639.18/1639.62	c 1639s |      18 |   328514 |   305452 |    35888     19 |     1586 |     3183
1641.68/1642.11	c 1641s |      18 |   329063 |   305952 |    35888     19 |     1586 |     3183
1643.78/1644.21	c 1643s |      18 |   329358 |   306252 |    35888     19 |     1586 |     3183
1646.08/1646.56	c 1646s |      18 |   329759 |   306652 |    35888     19 |     1586 |     3183
1648.58/1649.01	c 1648s |      18 |   330158 |   307052 |    35888     19 |     1586 |     3183
1651.00/1651.46	c 1651s |      18 |   330561 |   307452 |    35888     19 |     1586 |     3183
1653.20/1653.61	c 1653s |      18 |   331025 |   307852 |    35888     19 |     1586 |     3183
1655.19/1655.64	c 1655s |      18 |   331481 |   308252 |    35888     19 |     1586 |     3183
1657.39/1657.80	c 1657s |      18 |   331950 |   308652 |    35888     19 |     1586 |     3183
1659.39/1659.88	c 1659s |      18 |   332428 |   309052 |    35888     19 |     1586 |     3183
1661.69/1662.11	c 1661s |      18 |   332856 |   309452 |    35888     19 |     1586 |     3183
1663.69/1664.17	c 1663s |      18 |   333326 |   309852 |    35888     19 |     1586 |     3183
1665.79/1666.28	c 1666s |      18 |   333756 |   310252 |    35888     19 |     1586 |     3183
1667.99/1668.49	c 1668s |      18 |   334180 |   310652 |    35888     19 |     1586 |     3183
1670.39/1670.82	c 1670s |      18 |   334596 |   311052 |    35888     19 |     1586 |     3183
1672.59/1673.05	c 1672s |      18 |   335060 |   311452 |    35888     19 |     1586 |     3183
1674.89/1675.32	c 1675s |      18 |   335538 |   311852 |    35888     19 |     1586 |     3183
1677.29/1677.76	c 1677s |      18 |   335998 |   312252 |    35888     19 |     1586 |     3183
1679.49/1679.98	c 1679s |      18 |   336473 |   312652 |    35888     19 |     1586 |     3183
1681.79/1682.22	c 1681s |      18 |   336896 |   313052 |    35888     19 |     1586 |     3183
1684.09/1684.56	c 1684s |      18 |   337329 |   313452 |    35888     19 |     1586 |     3183
1686.59/1687.06	c 1686s |      18 |   337775 |   313852 |    35888     19 |     1586 |     3183
1688.99/1689.42	c 1689s |      18 |   338222 |   314252 |    35888     19 |     1586 |     3183
1691.38/1691.86	c 1691s |      18 |   338722 |   314652 |    35888     19 |     1586 |     3183
1693.79/1694.24	c 1693s |      18 |   339194 |   315052 |    35888     19 |     1586 |     3183
1696.28/1696.70	c 1696s |      18 |   339630 |   315452 |    35888     19 |     1586 |     3183
1698.88/1699.31	c 1699s |      18 |   340102 |   315852 |    35888     19 |     1586 |     3183
1701.38/1701.82	c 1701s |      18 |   340570 |   316252 |    35888     19 |     1586 |     3183
1703.88/1704.31	c 1704s |      18 |   341027 |   316652 |    35888     19 |     1586 |     3183
1706.48/1706.93	c 1706s |      18 |   341482 |   317052 |    35888     19 |     1586 |     3183
1708.98/1709.41	c 1709s |      18 |   341953 |   317452 |    35888     19 |     1586 |     3183
1711.39/1711.89	c 1711s |      18 |   342384 |   317852 |    35888     19 |     1586 |     3183
1713.88/1714.35	c 1714s |      18 |   342832 |   318252 |    35888     19 |     1586 |     3183
1716.38/1716.86	c 1716s |      18 |   343266 |   318652 |    35888     19 |     1586 |     3183
1718.88/1719.39	c 1719s |      18 |   343725 |   319052 |    35888     19 |     1586 |     3183
1721.39/1721.87	c 1721s |      18 |   344190 |   319452 |    35888     20 |     1586 |     3183
1725.57/1726.02	c 1725s |      18 |   344428 |   319652 |    35888     20 |     1586 |     3183
1727.67/1728.14	c 1727s |      18 |   344858 |   320052 |    35888     20 |     1586 |     3183
1729.77/1730.22	c 1729s |      18 |   345304 |   320452 |    35888     20 |     1586 |     3183
1732.98/1733.40	c 1733s |      18 |   345518 |   320652 |    35888     20 |     1586 |     3183
1735.38/1735.86	c 1735s |      18 |   346110 |   321152 |    35888     20 |     1586 |     3183
1737.89/1738.35	c 1738s |      18 |   346664 |   321652 |    35888     20 |     1586 |     3183
1740.38/1740.86	c 1740s |      18 |   347263 |   322152 |    35888     20 |     1586 |     3183
1742.48/1742.95	c 1742s |      18 |   347702 |   322552 |    35888     20 |     1586 |     3183
1744.98/1745.43	c 1745s |      18 |   348269 |   323052 |    35888     20 |     1586 |     3183
1746.98/1747.43	c 1747s |      18 |   348738 |   323452 |    35888     20 |     1586 |     3183
1749.18/1749.68	c 1749s |      18 |   349200 |   323852 |    35888     20 |     1586 |     3183
1751.28/1751.76	c 1751s |      18 |   349650 |   324252 |    35888     20 |     1586 |     3183
1753.38/1753.85	c 1753s |      18 |   350079 |   324652 |    35888     20 |     1586 |     3183
1755.48/1755.97	c 1755s |      18 |   350559 |   325052 |    35888     20 |     1586 |     3183
1757.68/1758.16	c 1757s |      18 |   351004 |   325452 |    35888     20 |     1586 |     3183
1759.97/1760.43	c 1760s |      18 |   351476 |   325852 |    35888     20 |     1586 |     3183
1762.17/1762.60	c 1762s |      18 |   351921 |   326252 |    35888     20 |     1586 |     3183
1764.18/1764.67	c 1764s |      18 |   352368 |   326652 |    35888     20 |     1586 |     3183
1766.38/1766.90	c 1766s |      18 |   352831 |   327052 |    35888     20 |     1586 |     3183
1768.68/1769.11	c 1768s |      18 |   353315 |   327452 |    35888     20 |     1586 |     3183
1770.88/1771.38	c 1771s |      18 |   353797 |   327852 |    35888     20 |     1586 |     3183
1773.37/1773.81	c 1773s |      18 |   354236 |   328252 |    35888     20 |     1586 |     3183
1775.57/1776.07	c 1775s |      18 |   354703 |   328652 |    35888     20 |     1586 |     3183
1777.97/1778.40	c 1778s |      18 |   355152 |   329052 |    35888     20 |     1586 |     3183
1780.27/1780.79	c 1780s |      18 |   355605 |   329452 |    35888     20 |     1586 |     3183
1782.67/1783.10	c 1782s |      18 |   356054 |   329852 |    35888     20 |     1586 |     3183
1785.08/1785.56	c 1785s |      18 |   356472 |   330252 |    35888     20 |     1586 |     3183
1787.57/1788.03	c 1787s |      18 |   356938 |   330652 |    35888     20 |     1586 |     3183
1789.97/1790.41	c 1790s |      18 |   357417 |   331052 |    35888     20 |     1586 |     3183
1792.57/1793.03	c 1792s |      18 |   357875 |   331452 |    35888     20 |     1586 |     3183
1794.67/1795.12	c 1794s |      18 |   358178 |   331752 |    35888     20 |     1586 |     3183
1796.87/1797.30	c 1797s |      18 |   358476 |   332052 |    35888     20 |     1586 |     3183
1799.38/1799.85	c 1799s |      18 |   358909 |   332452 |    35888     20 |     1586 |     3183

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

pid=4790
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: 1.96 2.06 2.06 3/179 4793
/proc/meminfo: memFree=31402392/32872528 swapFree=13600/559348
[pid=4793] ppid=4790 vsize=571836 CPUtime=0 cores=1,3,5,7
/proc/4793/stat : 4793 (toysat) R 4790 4793 1842 0 -1 4202496 2108 0 0 0 0 0 0 0 20 0 4 0 105227661 585560064 2469 33554432000 4194304 16246674 140735626516032 140735626515456 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4793/statm: 143727 2478 441 2943 0 140621 0
[pid=4793/tid=4794] ppid=4790 vsize=590268 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (toysat) S 4790 4793 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105227661 604434432 2539 33554432000 4194304 16246674 140735626516032 140043745209584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4793/tid=4795] ppid=4790 vsize=594364 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (toysat) S 4790 4793 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105227661 608628736 2554 33554432000 4194304 16246674 140735626516032 140043734719728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4793/tid=4796] ppid=4790 vsize=598460 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (toysat) S 4790 4793 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105227661 612823040 2574 33554432000 4194304 16246674 140735626516032 140043649805488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 1.96 2.06 2.06 3/179 4793
/proc/meminfo: memFree=31402392/32872528 swapFree=13600/559348
[pid=4793] ppid=4790 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/4793/stat : 4793 (toysat) R 4790 4793 1842 0 -1 4202496 26338 0 0 0 5 4 0 0 20 0 4 0 105227661 1333334016 26637 33554432000 4194304 16246674 140735626516032 140735626515208 7393558 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4793/statm: 325521 26650 799 2943 0 322415 0
[pid=4793/tid=4794] ppid=4790 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (toysat) S 4790 4793 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105227661 1333334016 26660 33554432000 4194304 16246674 140735626516032 140043745209584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4793/tid=4795] ppid=4790 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (toysat) S 4790 4793 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105227661 1333334016 26671 33554432000 4194304 16246674 140735626516032 140043734719728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4793/tid=4796] ppid=4790 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (toysat) S 4790 4793 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105227661 1333334016 26683 33554432000 4194304 16246674 140735626516032 140043649805488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200532 s]
/proc/loadavg: 1.96 2.06 2.06 3/179 4793
/proc/meminfo: memFree=31402392/32872528 swapFree=13600/559348
[pid=4793] ppid=4790 vsize=1302084 CPUtime=0.18 cores=1,3,5,7
/proc/4793/stat : 4793 (toysat) R 4790 4793 1842 0 -1 4202496 42093 0 0 0 12 6 0 0 20 0 4 0 105227661 1333334016 42391 33554432000 4194304 16246674 140735626516032 140735626515208 5740289 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4793/statm: 325521 42391 832 2943 0 322415 0
[pid=4793/tid=4794] ppid=4790 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (toysat) S 4790 4793 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105227661 1333334016 42391 33554432000 4194304 16246674 140735626516032 140043745209584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4793/tid=4795] ppid=4790 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (toysat) S 4790 4793 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105227661 1333334016 42391 33554432000 4194304 16246674 140735626516032 140043734719728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4793/tid=4796] ppid=4790 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (toysat) S 4790 4793 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105227661 1333334016 42391 33554432000 4194304 16246674 140735626516032 140043649805488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1302084

[startup+0.300387 s]
/proc/loadavg: 1.96 2.06 2.06 3/179 4793
/proc/meminfo: memFree=31402392/32872528 swapFree=13600/559348
[pid=4793] ppid=4790 vsize=1302084 CPUtime=0.29 cores=1,3,5,7
/proc/4793/stat : 4793 (toysat) R 4790 4793 1842 0 -1 4202496 56300 0 0 0 20 9 0 0 20 0 4 0 105227661 1333334016 56598 33554432000 4194304 16246674 140735626516032 140735626497920 5673105 0 0 0 34082818 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4793/statm: 325521 56598 883 2943 0 322415 0
[pid=4793/tid=4794] ppid=4790 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (toysat) S 4790 4793 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105227661 1333334016 56598 33554432000 4194304 16246674 140735626516032 140043745209584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4793/tid=4795] ppid=4790 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (toysat) S 4790 4793 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105227661 1333334016 56598 33554432000 4194304 16246674 140735626516032 140043734719728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4793/tid=4796] ppid=4790 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (toysat) S 4790 4793 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105227661 1333334016 56598 33554432000 4194304 16246674 140735626516032 140043649805488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700298 s]
/proc/loadavg: 1.96 2.06 2.06 3/179 4793
/proc/meminfo: memFree=31402392/32872528 swapFree=13600/559348
[pid=4793] ppid=4790 vsize=1302084 CPUtime=0.68 cores=1,3,5,7
/proc/4793/stat : 4793 (toysat) R 4790 4793 1842 0 -1 4202496 131105 0 0 0 48 20 0 0 20 0 4 0 105227661 1333334016 131403 33554432000 4194304 16246674 140735626516032 140735626497920 5672188 0 0 0 34082818 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4793/statm: 325521 131403 883 2943 0 322415 0
[pid=4793/tid=4794] ppid=4790 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (toysat) S 4790 4793 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105227661 1333334016 131403 33554432000 4194304 16246674 140735626516032 140043745209584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4793/tid=4795] ppid=4790 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (toysat) S 4790 4793 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105227661 1333334016 131403 33554432000 4194304 16246674 140735626516032 140043734719728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4793/tid=4796] ppid=4790 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (toysat) S 4790 4793 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105227661 1333334016 131403 33554432000 4194304 16246674 140735626516032 140043649805488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1302084

[startup+1.5005 s]
/proc/loadavg: 1.96 2.06 2.06 3/183 4797
/proc/meminfo: memFree=30142564/32872528 swapFree=13600/559348
[pid=4793] ppid=4790 vsize=1312324 CPUtime=1.47 cores=1,3,5,7
/proc/4793/stat : 4793 (toysat) R 4790 4793 1842 0 -1 4202496 269152 0 0 0 108 39 0 0 20 0 4 0 105227661 1343819776 269450 33554432000 4194304 16246674 140735626516032 140735626515344 5722912 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4793/statm: 328081 269450 889 2943 0 324975 0
[pid=4793/tid=4794] ppid=4790 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (toysat) S 4790 4793 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105227661 1343819776 269450 33554432000 4194304 16246674 140735626516032 140043745209584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4793/tid=4795] ppid=4790 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (toysat) S 4790 4793 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105227661 1343819776 269450 33554432000 4194304 16246674 140735626516032 140043734719728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4793/tid=4796] ppid=4790 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (toysat) S 4790 4793 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105227661 1343819776 269450 33554432000 4194304 16246674 140735626516032 140043649805488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 1312324

[startup+3.10041 s]
/proc/loadavg: 1.96 2.06 2.06 3/183 4797
/proc/meminfo: memFree=30024276/32872528 swapFree=13600/559348
[pid=4793] ppid=4790 vsize=1312324 CPUtime=3.07 cores=1,3,5,7
/proc/4793/stat : 4793 (toysat) R 4790 4793 1842 0 -1 4202496 269268 0 0 0 268 39 0 0 20 0 4 0 105227661 1343819776 269566 33554432000 4194304 16246674 140735626516032 140735626497920 5672188 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4793/statm: 328081 269566 889 2943 0 324975 0
[pid=4793/tid=4794] ppid=4790 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (toysat) S 4790 4793 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105227661 1343819776 269566 33554432000 4194304 16246674 140735626516032 140043745209584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4793/tid=4795] ppid=4790 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (toysat) S 4790 4793 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105227661 1343819776 269566 33554432000 4194304 16246674 140735626516032 140043734719728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4793/tid=4796] ppid=4790 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (toysat) S 4790 4793 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105227661 1343819776 269566 33554432000 4194304 16246674 140735626516032 140043649805488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 1312324

[startup+6.30047 s]
/proc/loadavg: 1.96 2.06 2.06 3/183 4797
/proc/meminfo: memFree=30023860/32872528 swapFree=13600/559348
[pid=4793] ppid=4790 vsize=1312324 CPUtime=6.27 cores=1,3,5,7
/proc/4793/stat : 4793 (toysat) R 4790 4793 1842 0 -1 4202496 269271 0 0 0 588 39 0 0 20 0 4 0 105227661 1343819776 269569 33554432000 4194304 16246674 140735626516032 140735626497920 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4793/statm: 328081 269569 890 2943 0 324975 0
[pid=4793/tid=4794] ppid=4790 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (toysat) S 4790 4793 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105227661 1343819776 269569 33554432000 4194304 16246674 140735626516032 140043745209584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4793/tid=4795] ppid=4790 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (toysat) S 4790 4793 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105227661 1343819776 269569 33554432000 4194304 16246674 140735626516032 140043734719728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4793/tid=4796] ppid=4790 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (toysat) S 4790 4793 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105227661 1343819776 269569 33554432000 4194304 16246674 140735626516032 140043649805488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 1312324

[startup+12.7005 s]
/proc/loadavg: 2.05 2.07 2.06 3/183 4797
/proc/meminfo: memFree=29295880/32872528 swapFree=13600/559348
[pid=4793] ppid=4790 vsize=1312324 CPUtime=12.67 cores=1,3,5,7
/proc/4793/stat : 4793 (toysat) R 4790 4793 1842 0 -1 4202496 269271 0 0 0 1228 39 0 0 20 0 4 0 105227661 1343819776 269569 33554432000 4194304 16246674 140735626516032 140735626497920 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4793/statm: 328081 269569 890 2943 0 324975 0
[pid=4793/tid=4794] ppid=4790 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (toysat) S 4790 4793 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105227661 1343819776 269569 33554432000 4194304 16246674 140735626516032 140043745209584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4793/tid=4795] ppid=4790 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (toysat) S 4790 4793 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105227661 1343819776 269569 33554432000 4194304 16246674 140735626516032 140043734719728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4793/tid=4796] ppid=4790 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (toysat) S 4790 4793 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105227661 1343819776 269569 33554432000 4194304 16246674 140735626516032 140043649805488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.11 2.08 2.07 3/183 4797
/proc/meminfo: memFree=29288396/32872528 swapFree=13600/559348
[pid=4793] ppid=4790 vsize=1312324 CPUtime=25.48 cores=1,3,5,7
/proc/4793/stat : 4793 (toysat) R 4790 4793 1842 0 -1 4202496 269273 0 0 0 2509 39 0 0 20 0 4 0 105227661 1343819776 269571 33554432000 4194304 16246674 140735626516032 140735626497920 5824045 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4793/statm: 328081 269571 892 2943 0 324975 0
[pid=4793/tid=4794] ppid=4790 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (toysat) S 4790 4793 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105227661 1343819776 269571 33554432000 4194304 16246674 140735626516032 140043745209584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4793/tid=4795] ppid=4790 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (toysat) S 4790 4793 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105227661 1343819776 269571 33554432000 4194304 16246674 140735626516032 140043734719728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4793/tid=4796] ppid=4790 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (toysat) S 4790 4793 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105227661 1343819776 269571 33554432000 4194304 16246674 140735626516032 140043649805488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.07 2.08 2.07 3/183 4797
/proc/meminfo: memFree=29263944/32872528 swapFree=13600/559348
[pid=4793] ppid=4790 vsize=1312324 CPUtime=51.06 cores=1,3,5,7
/proc/4793/stat : 4793 (toysat) R 4790 4793 1842 0 -1 4202496 269273 0 0 0 5067 39 0 0 20 0 4 0 105227661 1343819776 269571 33554432000 4194304 16246674 140735626516032 140735626497920 5828829 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4793/statm: 328081 269571 892 2943 0 324975 0
[pid=4793/tid=4794] ppid=4790 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (toysat) S 4790 4793 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105227661 1343819776 269571 33554432000 4194304 16246674 140735626516032 140043745209584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4793/tid=4795] ppid=4790 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (toysat) S 4790 4793 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105227661 1343819776 269571 33554432000 4194304 16246674 140735626516032 140043734719728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4793/tid=4796] ppid=4790 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (toysat) S 4790 4793 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105227661 1343819776 269571 33554432000 4194304 16246674 140735626516032 140043649805488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.15 2.10 2.07 4/184 4802
/proc/meminfo: memFree=29263804/32872528 swapFree=13600/559348
[pid=4793] ppid=4790 vsize=1312324 CPUtime=102.26 cores=1,3,5,7
/proc/4793/stat : 4793 (toysat) R 4790 4793 1842 0 -1 4202496 269273 0 0 0 10187 39 0 0 20 0 4 0 105227661 1343819776 269571 33554432000 4194304 16246674 140735626516032 140735626497920 5823737 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4793/statm: 328081 269571 892 2943 0 324975 0
[pid=4793/tid=4794] ppid=4790 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (toysat) S 4790 4793 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105227661 1343819776 269571 33554432000 4194304 16246674 140735626516032 140043745209584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4793/tid=4795] ppid=4790 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (toysat) S 4790 4793 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105227661 1343819776 269571 33554432000 4194304 16246674 140735626516032 140043734719728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4793/tid=4796] ppid=4790 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (toysat) S 4790 4793 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105227661 1343819776 269571 33554432000 4194304 16246674 140735626516032 140043649805488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1312324


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

/proc/4793/task/4796/stat : 4796 (toysat) S 4790 4793 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140043649805488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1346116

[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 2.04 3/183 4833
/proc/meminfo: memFree=29214600/32872528 swapFree=13600/559348
[pid=4793] ppid=4790 vsize=1346116 CPUtime=1361.94 cores=1,3,5,7
/proc/4793/stat : 4793 (toysat) R 4790 4793 1842 0 -1 4202496 277931 0 0 0 136149 45 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140735626497920 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4793/statm: 336529 278276 893 2943 0 333423 0
[pid=4793/tid=4794] ppid=4790 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (toysat) S 4790 4793 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140043745209584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4793/tid=4795] ppid=4790 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (toysat) S 4790 4793 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140043734719728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4793/tid=4796] ppid=4790 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (toysat) S 4790 4793 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140043649805488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1346116

[startup+1422.3 s]
/proc/loadavg: 2.29 2.10 2.06 3/183 4834
/proc/meminfo: memFree=29214892/32872528 swapFree=13600/559348
[pid=4793] ppid=4790 vsize=1346116 CPUtime=1421.93 cores=1,3,5,7
/proc/4793/stat : 4793 (toysat) R 4790 4793 1842 0 -1 4202496 277948 0 0 0 142147 46 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140735626497920 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4793/statm: 336529 278276 893 2943 0 333423 0
[pid=4793/tid=4794] ppid=4790 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (toysat) S 4790 4793 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140043745209584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4793/tid=4795] ppid=4790 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (toysat) S 4790 4793 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140043734719728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4793/tid=4796] ppid=4790 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (toysat) S 4790 4793 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140043649805488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1346116

[startup+1482.3 s]
/proc/loadavg: 2.27 2.13 2.07 3/183 4835
/proc/meminfo: memFree=29215328/32872528 swapFree=13600/559348
[pid=4793] ppid=4790 vsize=1346116 CPUtime=1481.91 cores=1,3,5,7
/proc/4793/stat : 4793 (toysat) R 4790 4793 1842 0 -1 4202496 277948 0 0 0 148145 46 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140735626497920 5659322 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4793/statm: 336529 278276 893 2943 0 333423 0
[pid=4793/tid=4794] ppid=4790 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (toysat) S 4790 4793 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140043745209584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4793/tid=4795] ppid=4790 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (toysat) S 4790 4793 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140043734719728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4793/tid=4796] ppid=4790 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (toysat) S 4790 4793 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140043649805488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1346116

[startup+1542.3 s]
/proc/loadavg: 2.21 2.13 2.07 3/183 4836
/proc/meminfo: memFree=29206748/32872528 swapFree=13600/559348
[pid=4793] ppid=4790 vsize=1346116 CPUtime=1541.9 cores=1,3,5,7
/proc/4793/stat : 4793 (toysat) R 4790 4793 1842 0 -1 4202496 277948 0 0 0 154144 46 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140735626497920 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4793/statm: 336529 278276 893 2943 0 333423 0
[pid=4793/tid=4794] ppid=4790 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (toysat) S 4790 4793 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140043745209584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4793/tid=4795] ppid=4790 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (toysat) S 4790 4793 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140043734719728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4793/tid=4796] ppid=4790 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (toysat) S 4790 4793 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140043649805488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1346116

[startup+1602.3 s]
/proc/loadavg: 2.07 2.10 2.07 3/183 4838
/proc/meminfo: memFree=29206608/32872528 swapFree=13600/559348
[pid=4793] ppid=4790 vsize=1346116 CPUtime=1601.9 cores=1,3,5,7
/proc/4793/stat : 4793 (toysat) R 4790 4793 1842 0 -1 4202496 277948 0 0 0 160143 47 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140735626497920 5828996 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4793/statm: 336529 278276 893 2943 0 333423 0
[pid=4793/tid=4794] ppid=4790 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (toysat) S 4790 4793 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140043745209584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4793/tid=4795] ppid=4790 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (toysat) S 4790 4793 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140043734719728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4793/tid=4796] ppid=4790 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (toysat) S 4790 4793 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140043649805488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1346116

[startup+1662.3 s]
/proc/loadavg: 2.08 2.10 2.06 3/183 4839
/proc/meminfo: memFree=29206212/32872528 swapFree=13600/559348
[pid=4793] ppid=4790 vsize=1346116 CPUtime=1661.9 cores=1,3,5,7
/proc/4793/stat : 4793 (toysat) R 4790 4793 1842 0 -1 4202496 277948 0 0 0 166142 48 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140735626497920 5546116 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4793/statm: 336529 278276 893 2943 0 333423 0
[pid=4793/tid=4794] ppid=4790 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (toysat) S 4790 4793 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140043745209584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4793/tid=4795] ppid=4790 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (toysat) S 4790 4793 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140043734719728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4793/tid=4796] ppid=4790 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (toysat) S 4790 4793 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140043649805488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1346116

[startup+1722.3 s]
/proc/loadavg: 2.10 2.09 2.06 3/183 4840
/proc/meminfo: memFree=29205860/32872528 swapFree=13600/559348
[pid=4793] ppid=4790 vsize=1346116 CPUtime=1721.88 cores=1,3,5,7
/proc/4793/stat : 4793 (toysat) R 4790 4793 1842 0 -1 4202496 277948 0 0 0 172140 48 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140735626497920 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4793/statm: 336529 278276 893 2943 0 333423 0
[pid=4793/tid=4794] ppid=4790 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (toysat) S 4790 4793 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140043745209584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4793/tid=4795] ppid=4790 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (toysat) S 4790 4793 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140043734719728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4793/tid=4796] ppid=4790 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (toysat) S 4790 4793 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105227661 1378422784 278276 33554432000 4194304 16246674 140735626516032 140043649805488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1346116

[startup+1782.31 s]
/proc/loadavg: 2.03 2.07 2.06 3/183 4841
/proc/meminfo: memFree=29203328/32872528 swapFree=13600/559348
[pid=4793] ppid=4790 vsize=1347140 CPUtime=1781.88 cores=1,3,5,7
/proc/4793/stat : 4793 (toysat) R 4790 4793 1842 0 -1 4202496 278204 0 0 0 178139 49 0 0 20 0 4 0 105227661 1379471360 278532 33554432000 4194304 16246674 140735626516032 140735626497920 5828829 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4793/statm: 336785 278532 893 2943 0 333679 0
[pid=4793/tid=4794] ppid=4790 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (toysat) S 4790 4793 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105227661 1379471360 278532 33554432000 4194304 16246674 140735626516032 140043745209584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4793/tid=4795] ppid=4790 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (toysat) S 4790 4793 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105227661 1379471360 278532 33554432000 4194304 16246674 140735626516032 140043734719728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4793/tid=4796] ppid=4790 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (toysat) S 4790 4793 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105227661 1379471360 278532 33554432000 4194304 16246674 140735626516032 140043649805488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1347140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.18 2.10 2.07 3/183 4841
/proc/meminfo: memFree=29203708/32872528 swapFree=13600/559348
[pid=4793] ppid=4790 vsize=1347140 CPUtime=1800.07 cores=1,3,5,7
/proc/4793/stat : 4793 (toysat) R 4790 4793 1842 0 -1 4202496 278204 0 0 0 179958 49 0 0 20 0 4 0 105227661 1379471360 278532 33554432000 4194304 16246674 140735626516032 140735626497920 6021544 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4793/statm: 336785 278532 893 2943 0 333679 0
[pid=4793/tid=4794] ppid=4790 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (toysat) S 4790 4793 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105227661 1379471360 278532 33554432000 4194304 16246674 140735626516032 140043745209584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4793/tid=4795] ppid=4790 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (toysat) S 4790 4793 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105227661 1379471360 278532 33554432000 4194304 16246674 140735626516032 140043734719728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4793/tid=4796] ppid=4790 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (toysat) S 4790 4793 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105227661 1379471360 278532 33554432000 4194304 16246674 140735626516032 140043649805488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1347140

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

[startup+1800.5 s]
/proc/loadavg: 2.18 2.10 2.07 3/183 4841
/proc/meminfo: memFree=29203708/32872528 swapFree=13600/559348
[pid=4793] ppid=4790 vsize=1347140 CPUtime=1800.07 cores=1,3,5,7
/proc/4793/stat : 4793 (toysat) R 4790 4793 1842 0 -1 4202496 278204 0 0 0 179958 49 0 0 20 0 4 0 105227661 1379471360 278532 33554432000 4194304 16246674 140735626516032 140735626497920 6021544 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4793/statm: 336785 278532 893 2943 0 333679 0
[pid=4793/tid=4794] ppid=4790 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (toysat) S 4790 4793 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105227661 1379471360 278532 33554432000 4194304 16246674 140735626516032 140043745209584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4793/tid=4795] ppid=4790 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (toysat) S 4790 4793 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105227661 1379471360 278532 33554432000 4194304 16246674 140735626516032 140043734719728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4793/tid=4796] ppid=4790 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (toysat) S 4790 4793 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105227661 1379471360 278532 33554432000 4194304 16246674 140735626516032 140043649805488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1347140

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1799.59
CPU system time (s): 0.491925
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 1347140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.491925
maximum resident set size= 1114128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278204
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= 241
involuntary context switches= 2073

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.76082 second user time and 8.60969 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-06 19:08:47
IDJOB=4079521
IDBENCH=2167
IDSOLVER=2542
FILE ID=node106/4079521-1465232927
RUNJOBID= node106-1465219870-1859
PBS_JOBID= 19843217
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-5.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079521-1465232927/watcher-4079521-1465232927 -o /tmp/evaluation-result-4079521-1465232927/solver-4079521-1465232927 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1859 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079521-1465232927.opb

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

MD5SUM BENCH= 0973e03eb27089eff6bc20e630a3ba01
RANDOM SEED=1796440934

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.775
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:        31430300 kB
Buffers:           28532 kB
Cached:           127592 kB
SwapCached:         1852 kB
Active:           104836 kB
Inactive:          75876 kB
Active(anon):      25588 kB
Inactive(anon):     1280 kB
Active(file):      79248 kB
Inactive(file):    74596 kB
Unevictable:      559348 kB
Mlocked:           13600 kB
SwapTotal:      67108856 kB
SwapFree:       67098528 kB
Dirty:             33476 kB
Writeback:             0 kB
AnonPages:        585920 kB
Mapped:             9872 kB
Shmem:                 0 kB
Slab:             569364 kB
SReclaimable:      12628 kB
SUnreclaim:       556736 kB
KernelStack:        1520 kB
PageTables:         6924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1690052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    550912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node106 at 2016-06-06 19:38:48