Trace number 4115885

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.1 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size112-round23-6.opb
MD5SUM216911be387cb053644e0ec26fd3f6f9
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9488
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)400
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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-26T14:14:52+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-4115885-1466943292.opb"]
0.00/0.01	c use --random-gen="576012879 1977970373 15602818 535684929 1428176072 319087308 1939164796 2083330846 2589296916 1734414443 1315665278 3560886815 992434281 3692371526 1435894229 3828502630 1351955002 728907693 3280366885 775641038 1026949136 2139720972 3753855301 285634726 447621559 2492012435 2763188011 2612838869 4079349325 2594163017 2088128584 2785225964 3523526537 1197390760 3004749906 1308289002 507539562 2659490825 2468979705 267002562 4250283815 4201663570 1798097771 3070523998 3837528123 11971856 2575138540 2659646531 806518619 3595932252 2766350102 1026324609 3485601853 1816271962 2255470081 1580148488 2871952864 3626845605 1044583862 2441173461 94252382 1418462077 1515999462 1680247490 2185290901 3683396387 1325200779 1243523632 4073123353 622381538 1253729875 404839829 472156054 705825893 3192895547 416339169 1652730288 4159506144 71666019 1469026077 2671898987 2167472526 65352294 1348919922 4293307222 2050813691 803385873 1662819566 3236958325 275290281 1051922654 738794358 2517433153 996748580 1544525001 43233752 4062015646 2945215451 1356502307 3691234537 3602805176 2867006218 2068598754 4211917191 2400543971 298965915 3504979109 2667077558 3254443251 2120089104 4260301122 11963920 4271755555 2099773903 2359458522 3175451933 2692096734 408634730 3493101032 648723647 3419996083 3959618692 3345530298 4283262673 2388620254 1635682044 3201691717 2966590458 2420561801 4231707092 2708790585 2490620209 2394491679 2856130750 827551904 191782687 27854503 1755160089 2763054300 1350749990 3099599295 1752720952 1364055657 405462629 3574627889 1737538810 1172140099 2368928742 1396078714 1748430818 2650779280 2057714474 686995917 1023075891 2444480344 3135429955 493313906 1805626139 3108543483 3646335547 587786130 441875222 132576545 833431825 1935720709 1174109804 2243702584 3441068750 3346646899 816352089 2208928589 2058622323 2998433208 1293609548 2474413924 4102862576 2513097112 206025496 3542819181 441366345 2233491665 1627668738 1680527073 3288133635 2462696759 2230398473 3172604147 227656294 3652475916 1319526683 276656712 3264598982 3489941996 3215805477 537230525 666872058 2736698767 1378950385 1852226740 3476333840 1057388839 2688106512 2673689246 3791406968 2819760019 110127185 4003776913 2800665089 1269581665 382234666 768649991 136813011 1286242922 631561398 349983398 1306373721 1192216829 4282012211 165255412 3039991477 823888272 2906432075 848499819 6409205 2214855233 3750176824 1391005048 2146746678 3672201532 1042992449 1555947280 1807787282 3429981747 1114971506 1085415883 3571000443 1087011266 1893248060 636868872 2287094628 668147704 2378071142 3087203300 2516249316 1751317838 2786693249 1050702854 2076993532 2336911344 1433754702 4276873683 3352077633 1947721398 2835864612 2003629572 2737438328 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9488
0.18/0.27	c Solving starts ...
0.18/0.27	c ============================[ Search Statistics ]============================
0.18/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.27	c =============================================================================
0.18/0.27	c  0.0s |       0 |        0 |        0 |     4565      0 |      700 |        0
0.29/0.34	c  0.1s |       1 |      607 |      100 |     4565      0 |      700 |      570
0.39/0.46	c  0.2s |       2 |     1529 |      250 |     5022      0 |      700 |      570
0.59/0.68	c  0.4s |       3 |     2809 |      475 |     5525      0 |      700 |      570
0.88/0.92	c  0.6s |       4 |     5774 |      813 |     6078      0 |      700 |      570
1.29/1.38	c  1.1s |       5 |     9895 |     1320 |     6686      0 |      701 |      570
2.30/2.36	c  2.1s |       6 |    11478 |     2081 |     8091      0 |      701 |      570
3.19/3.24	c  3.0s |       7 |    16704 |     3223 |     8901      0 |      702 |      570
4.79/4.81	c  4.5s |       8 |    20920 |     4936 |     9792      0 |      702 |      570
6.49/6.59	c  6.3s |       9 |    30931 |     7506 |    10772      0 |      702 |      570
8.59/8.68	c  8.4s |       9 |    38036 |     9606 |    10772      0 |      702 |      570
10.79/10.84	c 10.6s |       9 |    39588 |    10906 |    10772      0 |      702 |      570
11.39/11.47	c 11.2s |      10 |    41295 |    11361 |    11850      0 |      702 |      570
13.59/13.61	c 13.3s |      10 |    51738 |    13761 |    11850      1 |      702 |      570
15.59/15.68	c 15.4s |      10 |    60170 |    16461 |    11850      1 |      702 |      570
16.49/16.60	c 16.3s |      11 |    61424 |    17144 |    13036      1 |      702 |      570
18.59/18.69	c 18.4s |      11 |    76129 |    20244 |    13036      1 |      702 |      570
20.69/20.78	c 20.5s |      11 |    77866 |    21644 |    13036      1 |      702 |      570
22.79/22.80	c 22.5s |      11 |    79809 |    23244 |    13036      1 |      702 |      570
24.88/24.92	c 24.7s |      11 |    81511 |    24644 |    13036      2 |      702 |      570
26.68/26.78	c 26.5s |      12 |    82819 |    25819 |    14340      2 |      702 |      570
28.78/28.89	c 28.6s |      12 |    87040 |    27719 |    14340      2 |      702 |      570
30.89/30.94	c 30.7s |      12 |    88821 |    29119 |    14340      2 |      702 |      570
32.88/32.98	c 32.7s |      12 |    90399 |    30419 |    14340      2 |      702 |      570
34.88/34.98	c 34.7s |      12 |    91489 |    31319 |    14340      2 |      702 |      570
36.98/37.06	c 36.8s |      12 |    92882 |    32419 |    14340      2 |      702 |      570
39.08/39.13	c 38.9s |      12 |    93995 |    33319 |    14340      3 |      702 |      570
41.18/41.24	c 41.0s |      12 |    95199 |    34319 |    14340      3 |      702 |      570
43.28/43.36	c 43.1s |      12 |    96627 |    35419 |    14340      3 |      702 |      570
45.48/45.53	c 45.3s |      12 |    97864 |    36419 |    14340      3 |      702 |      570
47.68/47.75	c 47.5s |      12 |    98948 |    37319 |    14340      3 |      702 |      570
49.68/49.78	c 49.5s |      12 |   100044 |    38219 |    14340      3 |      702 |      570
51.28/51.33	c 51.1s |      13 |   100749 |    38832 |    15775      3 |      702 |      570
53.28/53.33	c 53.1s |      13 |   105061 |    40532 |    15775      3 |      702 |      570
55.28/55.36	c 55.1s |      13 |   106305 |    41632 |    15775      3 |      702 |      570
57.38/57.42	c 57.2s |      13 |   107611 |    42732 |    15775      3 |      702 |      570
59.58/59.63	c 59.4s |      13 |   108593 |    43632 |    15775      4 |      702 |      570
61.78/61.84	c 61.6s |      13 |   109590 |    44532 |    15775      4 |      702 |      570
63.89/63.94	c 63.7s |      13 |   110465 |    45332 |    15775      4 |      702 |      570
66.17/66.20	c 65.9s |      13 |   111471 |    46232 |    15775      4 |      702 |      570
68.19/68.25	c 68.0s |      13 |   112331 |    47032 |    15775      4 |      702 |      570
70.28/70.31	c 70.0s |      13 |   113065 |    47732 |    15775      4 |      702 |      570
72.28/72.35	c 72.1s |      13 |   113714 |    48332 |    15775      4 |      702 |      570
74.28/74.39	c 74.1s |      13 |   114723 |    49232 |    15775      4 |      702 |      570
76.58/76.67	c 76.4s |      13 |   115582 |    50032 |    15775      4 |      702 |      570
78.78/78.80	c 78.5s |      13 |   116487 |    50832 |    15775      4 |      702 |      570
80.98/81.03	c 80.8s |      13 |   117347 |    51632 |    15775      4 |      702 |      570
83.18/83.28	c 83.0s |      13 |   118342 |    52532 |    15775      4 |      702 |      570
85.58/85.62	c 85.3s |      13 |   119091 |    53232 |    15775      5 |      702 |      570
87.58/87.62	c 87.4s |      13 |   119973 |    54032 |    15775      5 |      702 |      570
89.68/89.73	c 89.5s |      13 |   120876 |    54832 |    15775      5 |      702 |      570
91.78/91.81	c 91.5s |      13 |   121606 |    55532 |    15775      5 |      702 |      570
93.88/94.00	c 93.7s |      13 |   122348 |    56232 |    15775      5 |      702 |      570
96.28/96.31	c 96.0s |      13 |   123190 |    57032 |    15775      5 |      702 |      570
98.38/98.45	c 98.2s |      13 |   123824 |    57632 |    15775      5 |      702 |      570
100.37/100.47	c  100s |      13 |   124344 |    58132 |    17353      5 |      702 |      570
101.28/101.37	c  101s |      14 |   124577 |    58352 |    17353      5 |      702 |      570
103.27/103.39	c  103s |      14 |   137118 |    60852 |    17353      5 |      702 |      570
105.37/105.45	c  105s |      14 |   140395 |    62552 |    17353      5 |      702 |      570
107.37/107.49	c  107s |      14 |   142824 |    64052 |    17353      5 |      702 |      570
109.57/109.61	c  109s |      14 |   144363 |    65152 |    17353      6 |      702 |      570
111.57/111.63	c  111s |      14 |   145448 |    66052 |    17353      6 |      702 |      570
113.67/113.79	c  113s |      14 |   146884 |    67152 |    17353      6 |      702 |      570
115.97/116.08	c  115s |      14 |   147945 |    68052 |    17353      6 |      702 |      570
118.07/118.12	c  117s |      14 |   148947 |    68852 |    17353      6 |      702 |      570
120.27/120.31	c  120s |      14 |   150207 |    69852 |    17353      6 |      702 |      570
122.37/122.47	c  122s |      14 |   151578 |    70852 |    17353      6 |      702 |      570
124.47/124.58	c  124s |      14 |   152576 |    71652 |    17353      6 |      702 |      570
126.66/126.75	c  126s |      14 |   153415 |    72352 |    17353      6 |      702 |      570
128.86/128.95	c  128s |      14 |   154756 |    73352 |    17353      6 |      702 |      570
130.87/131.00	c  130s |      14 |   155918 |    74252 |    17353      6 |      702 |      570
133.17/133.23	c  132s |      14 |   156524 |    74752 |    17353      7 |      702 |      570
135.37/135.45	c  135s |      14 |   157684 |    75652 |    17353      7 |      702 |      570
137.48/137.58	c  137s |      14 |   158663 |    76452 |    17353      7 |      702 |      570
139.57/139.64	c  139s |      14 |   159891 |    77352 |    17353      7 |      702 |      570
141.57/141.66	c  141s |      14 |   161951 |    78352 |    17353      7 |      702 |      570
143.57/143.67	c  143s |      14 |   163582 |    79452 |    17353      7 |      702 |      570
145.77/145.87	c  145s |      14 |   165240 |    80552 |    17353      7 |      702 |      570
147.87/147.94	c  147s |      14 |   166562 |    81552 |    17353      7 |      702 |      570
149.97/150.09	c  149s |      14 |   167697 |    82452 |    17353      7 |      702 |      570
152.17/152.26	c  151s |      14 |   168618 |    83252 |    17353      7 |      702 |      570
154.27/154.36	c  154s |      14 |   169540 |    84052 |    17353      7 |      702 |      570
156.57/156.66	c  156s |      14 |   170513 |    84852 |    17353      7 |      702 |      570
158.87/158.91	c  158s |      14 |   171390 |    85552 |    17353      8 |      702 |      570
160.97/161.04	c  160s |      14 |   172083 |    86152 |    17353      8 |      702 |      570
162.97/163.07	c  162s |      14 |   172625 |    86652 |    17353      8 |      702 |      570
164.97/165.08	c  164s |      14 |   173491 |    87352 |    19089      8 |      702 |      570
165.67/165.78	c  165s |      15 |   173847 |    87632 |    19089      8 |      702 |      570
167.77/167.84	c  167s |      15 |   178192 |    89332 |    19089      8 |      702 |      570
169.77/169.85	c  169s |      15 |   179874 |    90732 |    19089      8 |      702 |      570
171.86/171.92	c  171s |      15 |   181227 |    91932 |    19089      8 |      702 |      570
174.06/174.13	c  173s |      15 |   182433 |    93032 |    19089      8 |      702 |      570
176.26/176.35	c  176s |      15 |   183511 |    94032 |    19089      8 |      702 |      570
178.36/178.47	c  178s |      15 |   184520 |    94932 |    19089      8 |      702 |      570
180.56/180.67	c  180s |      15 |   185406 |    95732 |    19089      8 |      702 |      570
182.67/182.72	c  182s |      15 |   186287 |    96532 |    19089      8 |      702 |      570
184.66/184.73	c  184s |      15 |   186953 |    97132 |    19089      9 |      702 |      570
186.76/186.84	c  186s |      15 |   187912 |    97932 |    19089      9 |      702 |      570
188.86/188.98	c  188s |      15 |   188893 |    98832 |    19089      9 |      702 |      570
191.06/191.17	c  190s |      15 |   190058 |    99832 |    19089      9 |      702 |      570
193.06/193.18	c  192s |      15 |   190955 |   100632 |    19089      9 |      702 |      570
195.36/195.46	c  195s |      15 |   191973 |   101532 |    19089      9 |      702 |      570
197.66/197.72	c  197s |      15 |   192958 |   102432 |    19089      9 |      702 |      570
199.66/199.74	c  199s |      15 |   193761 |   103132 |    19089      9 |      702 |      570
201.66/201.76	c  201s |      15 |   194556 |   103832 |    19089      9 |      702 |      570
203.96/204.03	c  203s |      15 |   195324 |   104532 |    19089      9 |      702 |      570
206.16/206.29	c  206s |      15 |   196108 |   105232 |    19089      9 |      702 |      570
208.46/208.53	c  208s |      15 |   196892 |   105932 |    19089      9 |      702 |      570
210.76/210.80	c  210s |      15 |   197660 |   106632 |    19089      9 |      702 |      570
212.96/213.01	c  212s |      15 |   198466 |   107332 |    19089      9 |      702 |      570
215.06/215.12	c  214s |      15 |   199109 |   107932 |    19089      9 |      702 |      570
217.16/217.22	c  216s |      15 |   199665 |   108432 |    19089     10 |      702 |      570
219.25/219.32	c  219s |      15 |   200482 |   109132 |    19089     10 |      702 |      570
221.25/221.32	c  221s |      15 |   201134 |   109732 |    19089     10 |      702 |      570
223.45/223.51	c  223s |      15 |   201911 |   110432 |    19089     10 |      702 |      570
225.46/225.59	c  225s |      15 |   202577 |   111032 |    19089     10 |      702 |      570
227.85/227.93	c  227s |      15 |   203334 |   111732 |    19089     10 |      702 |      570
230.15/230.24	c  229s |      15 |   204110 |   112432 |    19089     10 |      702 |      570
232.16/232.30	c  232s |      15 |   204779 |   113032 |    19089     10 |      702 |      570
234.45/234.57	c  234s |      15 |   205430 |   113632 |    19089     10 |      702 |      570
236.65/236.77	c  236s |      15 |   206109 |   114232 |    19089     10 |      702 |      570
238.85/238.99	c  238s |      15 |   206782 |   114832 |    19089     10 |      702 |      570
240.96/241.03	c  240s |      15 |   207327 |   115332 |    19089     10 |      702 |      570
242.95/243.05	c  242s |      15 |   207892 |   115832 |    19089     10 |      702 |      570
245.36/245.49	c  245s |      15 |   208572 |   116432 |    19089     10 |      702 |      570
247.46/247.58	c  247s |      15 |   209123 |   116932 |    19089     10 |      702 |      570
249.55/249.67	c  249s |      15 |   209782 |   117532 |    19089     10 |      702 |      570
251.85/251.96	c  251s |      15 |   210467 |   118132 |    19089     10 |      702 |      570
253.95/254.06	c  253s |      15 |   211166 |   118732 |    19089     10 |      702 |      570
255.95/256.06	c  255s |      15 |   211712 |   119232 |    19089     10 |      702 |      570
257.94/258.07	c  257s |      15 |   212152 |   119632 |    19089     11 |      702 |      570
260.04/260.18	c  259s |      15 |   213026 |   120432 |    19089     11 |      702 |      570
262.25/262.33	c  262s |      15 |   213765 |   121132 |    19089     11 |      702 |      570
264.25/264.39	c  264s |      15 |   214406 |   121732 |    19089     11 |      702 |      570
266.35/266.44	c  266s |      15 |   215060 |   122332 |    19089     11 |      702 |      570
268.55/268.65	c  268s |      15 |   215699 |   122932 |    19089     11 |      702 |      570
270.66/270.74	c  270s |      15 |   216357 |   123532 |    19089     11 |      702 |      570
272.76/272.81	c  272s |      15 |   217011 |   124132 |    19089     11 |      702 |      570
275.06/275.14	c  274s |      15 |   217657 |   124732 |    19089     11 |      702 |      570
277.05/277.18	c  276s |      15 |   218186 |   125232 |    19089     11 |      702 |      570
279.25/279.35	c  279s |      15 |   218838 |   125832 |    19089     11 |      702 |      570
281.66/281.71	c  281s |      15 |   219482 |   126432 |    19089     11 |      702 |      570
283.95/284.02	c  283s |      15 |   220127 |   127032 |    19089     11 |      702 |      570
285.96/286.05	c  285s |      15 |   220662 |   127532 |    19089     11 |      702 |      570
288.26/288.37	c  288s |      15 |   221297 |   128132 |    19089     11 |      702 |      570
290.46/290.54	c  290s |      15 |   221960 |   128732 |    19089     11 |      702 |      570
292.66/292.72	c  292s |      15 |   222614 |   129332 |    19089     11 |      702 |      570
294.75/294.81	c  294s |      15 |   223140 |   129832 |    19089     11 |      702 |      570
296.85/296.99	c  296s |      15 |   223835 |   130432 |    19089     11 |      702 |      570
299.05/299.14	c  298s |      15 |   224261 |   130832 |    20998     12 |      702 |      570
301.05/301.17	c  300s |      15 |   224915 |   131432 |    20998     12 |      702 |      570
301.46/301.56	c  301s |      16 |   225046 |   131552 |    20998     12 |      702 |      570
303.45/303.59	c  303s |      16 |   231216 |   133452 |    20998     12 |      702 |      570
305.54/305.64	c  305s |      16 |   234408 |   135152 |    20998     12 |      702 |      570
307.74/307.81	c  307s |      16 |   235984 |   136352 |    20998     12 |      702 |      570
309.84/309.92	c  309s |      16 |   237651 |   137552 |    20998     12 |      702 |      570
311.94/312.08	c  311s |      16 |   239199 |   138752 |    20998     12 |      702 |      570
314.04/314.10	c  313s |      16 |   240550 |   139752 |    20998     12 |      702 |      570
316.04/316.10	c  315s |      16 |   241683 |   140652 |    20998     12 |      702 |      570
318.14/318.20	c  317s |      16 |   242856 |   141552 |    20998     12 |      702 |      570
320.15/320.24	c  319s |      16 |   243814 |   142352 |    20998     12 |      702 |      570
322.25/322.35	c  322s |      16 |   244523 |   142952 |    20998     12 |      702 |      570
324.55/324.66	c  324s |      16 |   245385 |   143652 |    20998     13 |      702 |      570
326.54/326.66	c  326s |      16 |   246361 |   144452 |    20998     13 |      702 |      570
328.74/328.87	c  328s |      16 |   247305 |   145252 |    20998     13 |      702 |      570
330.93/331.01	c  330s |      16 |   248365 |   146052 |    20998     13 |      702 |      570
333.03/333.17	c  332s |      16 |   249492 |   146952 |    20998     13 |      702 |      570
335.13/335.21	c  334s |      16 |   250481 |   147752 |    20998     13 |      702 |      570
337.13/337.25	c  336s |      16 |   251320 |   148452 |    20998     13 |      702 |      570
339.43/339.55	c  339s |      16 |   252301 |   149252 |    20998     13 |      702 |      570
341.63/341.75	c  341s |      16 |   253123 |   149952 |    20998     13 |      702 |      570
343.83/343.98	c  343s |      16 |   253978 |   150652 |    20998     13 |      702 |      570
345.93/346.04	c  345s |      16 |   254668 |   151252 |    20998     13 |      702 |      570
348.13/348.29	c  348s |      16 |   255464 |   151952 |    20998     13 |      702 |      570
350.33/350.46	c  350s |      16 |   256190 |   152552 |    20998     13 |      702 |      570
352.53/352.63	c  352s |      16 |   257009 |   153252 |    20998     13 |      702 |      570
354.73/354.87	c  354s |      16 |   257693 |   153852 |    20998     13 |      702 |      570
357.03/357.10	c  356s |      16 |   258401 |   154452 |    20998     13 |      702 |      570
359.23/359.32	c  359s |      16 |   259100 |   155052 |    20998     13 |      702 |      570
361.53/361.60	c  361s |      16 |   259799 |   155652 |    20998     13 |      702 |      570
363.53/363.67	c  363s |      16 |   260399 |   156152 |    20998     14 |      702 |      570
365.53/365.67	c  365s |      16 |   261232 |   156852 |    20998     14 |      702 |      570
367.83/367.93	c  367s |      16 |   262029 |   157552 |    20998     14 |      702 |      570
369.83/369.99	c  369s |      16 |   262917 |   158252 |    20998     14 |      702 |      570
371.93/372.00	c  371s |      16 |   263771 |   158952 |    20998     14 |      702 |      570
373.93/374.07	c  373s |      16 |   264658 |   159652 |    20998     14 |      702 |      570
376.33/376.40	c  376s |      16 |   265601 |   160452 |    20998     14 |      702 |      570
378.53/378.66	c  378s |      16 |   266461 |   161152 |    20998     14 |      702 |      570
380.83/380.96	c  380s |      16 |   267266 |   161852 |    20998     14 |      702 |      570
383.12/383.26	c  382s |      16 |   267925 |   162452 |    20998     14 |      702 |      570
385.12/385.26	c  384s |      16 |   268589 |   163052 |    20998     14 |      702 |      570
387.23/387.38	c  387s |      16 |   269283 |   163652 |    20998     14 |      702 |      570
389.52/389.67	c  389s |      16 |   269958 |   164252 |    20998     14 |      702 |      570
391.82/391.93	c  391s |      16 |   270652 |   164852 |    20998     14 |      702 |      570
394.12/394.25	c  393s |      16 |   271351 |   165452 |    20998     14 |      702 |      570
396.12/396.28	c  396s |      16 |   271919 |   165952 |    20998     14 |      702 |      570
398.42/398.52	c  398s |      16 |   272471 |   166452 |    20998     14 |      702 |      570
400.82/400.92	c  400s |      16 |   273034 |   166952 |    20998     14 |      702 |      570
403.32/403.47	c  403s |      16 |   273592 |   167452 |    20998     14 |      702 |      570
405.93/406.02	c  405s |      16 |   274382 |   168052 |    20998     15 |      702 |      570
408.03/408.16	c  407s |      16 |   275375 |   168852 |    20998     15 |      702 |      570
410.12/410.24	c  409s |      16 |   276371 |   169652 |    20998     15 |      702 |      570
412.32/412.40	c  412s |      16 |   277174 |   170352 |    20998     15 |      702 |      570
414.62/414.73	c  414s |      16 |   277995 |   171052 |    20998     15 |      702 |      570
416.71/416.82	c  416s |      16 |   278702 |   171652 |    20998     15 |      702 |      570
418.71/418.83	c  418s |      16 |   279408 |   172252 |    20998     15 |      702 |      570
420.81/420.95	c  420s |      16 |   280099 |   172852 |    20998     15 |      702 |      570
422.81/422.96	c  422s |      16 |   280676 |   173352 |    20998     15 |      702 |      570
425.11/425.27	c  424s |      16 |   281348 |   173952 |    20998     15 |      702 |      570
427.21/427.30	c  427s |      16 |   281912 |   174452 |    20998     15 |      702 |      570
429.21/429.32	c  429s |      16 |   282496 |   174952 |    20998     15 |      702 |      570
431.51/431.61	c  431s |      16 |   283186 |   175552 |    20998     15 |      702 |      570
433.61/433.78	c  433s |      16 |   283761 |   176052 |    20998     15 |      702 |      570
435.91/436.09	c  435s |      16 |   284315 |   176552 |    20998     15 |      702 |      570
438.21/438.36	c  438s |      16 |   284869 |   177052 |    20998     15 |      702 |      570
440.31/440.47	c  440s |      16 |   285437 |   177552 |    20998     15 |      702 |      570
442.40/442.58	c  442s |      16 |   286015 |   178052 |    20998     15 |      702 |      570
444.60/444.76	c  444s |      16 |   286586 |   178552 |    20998     15 |      702 |      570
446.61/446.79	c  446s |      16 |   287182 |   179052 |    20998     15 |      702 |      570
448.71/448.87	c  448s |      16 |   287796 |   179552 |    20998     15 |      702 |      570
451.50/451.60	c  451s |      16 |   288502 |   180152 |    20998     16 |      702 |      570
453.50/453.61	c  453s |      16 |   289306 |   180852 |    20998     16 |      702 |      570
455.50/455.69	c  455s |      16 |   290141 |   181552 |    20998     16 |      702 |      570
457.80/457.91	c  457s |      16 |   290976 |   182252 |    20998     16 |      702 |      570
459.81/459.91	c  459s |      16 |   291669 |   182852 |    20998     16 |      702 |      570
462.01/462.18	c  461s |      16 |   292366 |   183452 |    20998     16 |      702 |      570
464.10/464.29	c  464s |      16 |   293263 |   184152 |    20998     16 |      702 |      570
466.20/466.39	c  466s |      16 |   294093 |   184852 |    20998     16 |      702 |      570
468.50/468.71	c  468s |      16 |   294905 |   185552 |    20998     16 |      702 |      570
470.81/470.98	c  470s |      16 |   295742 |   186252 |    20998     16 |      702 |      570
472.90/473.08	c  472s |      16 |   296593 |   186952 |    20998     16 |      702 |      570
475.10/475.21	c  474s |      16 |   297279 |   187552 |    20998     16 |      702 |      570
477.20/477.35	c  477s |      16 |   297961 |   188152 |    20998     16 |      702 |      570
479.30/479.46	c  479s |      16 |   298655 |   188752 |    20998     16 |      702 |      570
481.40/481.56	c  481s |      16 |   299245 |   189252 |    20998     16 |      702 |      570
483.80/483.90	c  483s |      16 |   299946 |   189852 |    20998     16 |      702 |      570
485.80/485.91	c  485s |      16 |   300517 |   190352 |    20998     16 |      702 |      570
487.99/488.11	c  487s |      16 |   301068 |   190852 |    20998     16 |      702 |      570
490.39/490.53	c  490s |      16 |   301611 |   191352 |    20998     16 |      702 |      570
492.49/492.62	c  492s |      16 |   302199 |   191852 |    20998     16 |      702 |      570
494.59/494.75	c  494s |      16 |   302708 |   192252 |    20998     17 |      702 |      570
496.79/496.98	c  496s |      16 |   303385 |   192852 |    20998     17 |      702 |      570
499.19/499.33	c  499s |      16 |   304061 |   193452 |    20998     17 |      702 |      570
501.29/501.44	c  501s |      16 |   304876 |   194152 |    20998     17 |      702 |      570
503.49/503.70	c  503s |      16 |   305678 |   194852 |    20998     17 |      702 |      570
505.69/505.83	c  505s |      16 |   306386 |   195452 |    20998     17 |      702 |      570
507.89/508.01	c  507s |      16 |   307052 |   196052 |    20998     17 |      702 |      570
510.08/510.21	c  509s |      16 |   307717 |   196652 |    23098     17 |      702 |      570
512.28/512.45	c  512s |      16 |   308403 |   197252 |    23098     17 |      702 |      570
513.08/513.26	c  512s |      17 |   308615 |   197432 |    23098     17 |      702 |      570
515.08/515.28	c  515s |      17 |   312061 |   199032 |    23098     17 |      702 |      570
517.18/517.37	c  517s |      17 |   317242 |   200932 |    23098     17 |      702 |      570
519.38/519.56	c  519s |      17 |   318600 |   202032 |    23098     17 |      702 |      570
521.48/521.70	c  521s |      17 |   319856 |   203032 |    23098     17 |      702 |      570
523.78/523.92	c  523s |      17 |   321002 |   204032 |    23098     17 |      702 |      570
525.88/526.06	c  525s |      17 |   323925 |   205432 |    23098     17 |      702 |      570
527.88/528.07	c  527s |      17 |   328068 |   206932 |    23098     18 |      702 |      570
529.98/530.14	c  529s |      17 |   330364 |   208232 |    23098     18 |      702 |      570
532.18/532.33	c  532s |      17 |   332186 |   209432 |    23098     18 |      702 |      570
534.37/534.51	c  534s |      17 |   333562 |   210432 |    23098     18 |      702 |      570
536.47/536.60	c  536s |      17 |   334677 |   211232 |    23098     18 |      702 |      570
538.67/538.86	c  538s |      17 |   335707 |   212032 |    23098     18 |      702 |      570
540.87/541.02	c  540s |      17 |   336613 |   212732 |    23098     18 |      702 |      570
543.07/543.22	c  542s |      17 |   337755 |   213632 |    23098     18 |      702 |      570
545.06/545.26	c  544s |      17 |   338754 |   214432 |    23098     18 |      702 |      570
547.26/547.41	c  547s |      17 |   339748 |   215232 |    23098     18 |      702 |      570
549.46/549.66	c  549s |      17 |   340672 |   216032 |    23098     18 |      702 |      570
551.66/551.89	c  551s |      17 |   341478 |   216732 |    23098     18 |      702 |      570
553.76/553.97	c  553s |      17 |   342278 |   217432 |    23098     18 |      702 |      570
555.96/556.11	c  555s |      17 |   343078 |   218132 |    23098     18 |      702 |      570
557.96/558.14	c  557s |      17 |   344028 |   218932 |    23098     18 |      702 |      570
560.16/560.31	c  560s |      17 |   344710 |   219532 |    23098     19 |      702 |      570
562.27/562.43	c  562s |      17 |   345676 |   220332 |    23098     19 |      702 |      570
564.37/564.53	c  564s |      17 |   346580 |   221132 |    23098     19 |      702 |      570
566.48/566.64	c  566s |      17 |   347371 |   221832 |    23098     19 |      702 |      570
568.57/568.76	c  568s |      17 |   348173 |   222532 |    23098     19 |      702 |      570
570.77/570.96	c  570s |      17 |   348976 |   223232 |    23098     19 |      702 |      570
572.97/573.11	c  572s |      17 |   349624 |   223832 |    23098     19 |      702 |      570
574.96/575.17	c  574s |      17 |   350669 |   224632 |    23098     19 |      702 |      570
577.16/577.38	c  577s |      17 |   351491 |   225332 |    23098     19 |      702 |      570
579.26/579.49	c  579s |      17 |   352175 |   225932 |    23098     19 |      702 |      570
581.46/581.61	c  581s |      17 |   352851 |   226532 |    23098     19 |      702 |      570
583.56/583.79	c  583s |      17 |   353849 |   227232 |    23098     19 |      702 |      570
585.56/585.79	c  585s |      17 |   360402 |   229032 |    23098     19 |      702 |      570
587.76/587.91	c  587s |      17 |   362076 |   230232 |    23098     19 |      702 |      570
589.76/589.95	c  589s |      17 |   363644 |   231332 |    23098     19 |      702 |      570
591.96/592.13	c  591s |      17 |   365414 |   232432 |    23098     19 |      702 |      570
594.06/594.28	c  594s |      17 |   366627 |   233332 |    23098     20 |      702 |      570
596.26/596.49	c  596s |      17 |   367913 |   234432 |    23098     20 |      702 |      570
598.26/598.49	c  598s |      17 |   369315 |   235432 |    23098     20 |      702 |      570
600.36/600.51	c  600s |      17 |   370453 |   236332 |    23098     20 |      702 |      570
602.36/602.54	c  602s |      17 |   371361 |   237132 |    23098     20 |      702 |      570
604.55/604.74	c  604s |      17 |   372358 |   237932 |    23098     20 |      702 |      570
606.85/607.02	c  606s |      17 |   373179 |   238632 |    23098     20 |      702 |      570
608.95/609.13	c  608s |      17 |   374201 |   239432 |    23098     20 |      702 |      570
610.95/611.14	c  610s |      17 |   375434 |   240332 |    23098     20 |      702 |      570
613.15/613.34	c  613s |      17 |   376665 |   241232 |    23098     20 |      702 |      570
615.35/615.58	c  615s |      17 |   378029 |   242232 |    23098     20 |      702 |      570
617.55/617.78	c  617s |      17 |   379354 |   243232 |    23098     20 |      702 |      570
619.84/620.00	c  619s |      17 |   381529 |   244332 |    23098     20 |      702 |      570
622.04/622.20	c  621s |      17 |   382539 |   245132 |    23098     20 |      702 |      570
624.14/624.37	c  624s |      17 |   383269 |   245732 |    23098     21 |      702 |      570
626.44/626.65	c  626s |      17 |   384325 |   246632 |    23098     21 |      702 |      570
628.64/628.81	c  628s |      17 |   385148 |   247332 |    23098     21 |      702 |      570
630.74/630.99	c  630s |      17 |   386173 |   248132 |    23098     21 |      702 |      570
633.04/633.20	c  632s |      17 |   387460 |   249032 |    23098     21 |      702 |      570
635.23/635.42	c  635s |      17 |   388533 |   249832 |    23098     21 |      702 |      570
637.33/637.53	c  637s |      17 |   389730 |   250732 |    23098     21 |      702 |      570
639.53/639.75	c  639s |      17 |   390599 |   251432 |    23098     21 |      702 |      570
641.53/641.79	c  641s |      17 |   391192 |   251932 |    23098     21 |      702 |      570
643.63/643.81	c  643s |      17 |   391760 |   252432 |    23098     21 |      702 |      570
645.73/645.91	c  645s |      17 |   392339 |   252932 |    23098     21 |      702 |      570
647.74/647.98	c  647s |      17 |   393149 |   253632 |    23098     21 |      702 |      570
649.94/650.19	c  649s |      17 |   393870 |   254232 |    23098     21 |      702 |      570
652.53/652.70	c  652s |      17 |   394407 |   254732 |    23098     21 |      702 |      570
654.83/655.09	c  654s |      17 |   394960 |   255232 |    23098     21 |      702 |      570
656.93/657.15	c  656s |      17 |   395516 |   255732 |    23098     21 |      702 |      570
659.23/659.40	c  659s |      17 |   396190 |   256332 |    23098     21 |      702 |      570
661.43/661.65	c  661s |      17 |   396886 |   256932 |    23098     21 |      702 |      570
663.63/663.86	c  663s |      17 |   397585 |   257532 |    23098     21 |      702 |      570
665.72/665.90	c  665s |      17 |   398137 |   258032 |    23098     21 |      702 |      570
667.82/668.04	c  667s |      17 |   398828 |   258632 |    23098     21 |      702 |      570
669.92/670.10	c  669s |      17 |   399472 |   259132 |    23098     22 |      702 |      570
672.42/672.64	c  672s |      17 |   400293 |   259832 |    23098     22 |      702 |      570
674.62/674.89	c  674s |      17 |   400852 |   260332 |    23098     22 |      702 |      570
676.72/676.91	c  676s |      17 |   401691 |   261032 |    23098     22 |      702 |      570
678.82/679.07	c  678s |      17 |   402344 |   261632 |    23098     22 |      702 |      570
680.83/681.09	c  680s |      17 |   403223 |   262332 |    23098     22 |      702 |      570
683.03/683.24	c  682s |      17 |   404257 |   263132 |    23098     22 |      702 |      570
685.02/685.24	c  684s |      17 |   404990 |   263732 |    23098     22 |      702 |      570
687.32/687.59	c  687s |      17 |   405761 |   264332 |    23098     22 |      702 |      570
689.43/689.66	c  689s |      17 |   406328 |   264832 |    23098     22 |      702 |      570
691.62/691.86	c  691s |      17 |   407015 |   265432 |    23098     22 |      702 |      570
693.92/694.12	c  693s |      17 |   407575 |   265932 |    23098     22 |      702 |      570
696.02/696.28	c  696s |      17 |   408162 |   266432 |    23098     22 |      702 |      570
698.12/698.35	c  698s |      17 |   408624 |   266832 |    23098     22 |      702 |      570
700.41/700.69	c  700s |      17 |   409177 |   267332 |    23098     22 |      702 |      570
702.61/702.81	c  702s |      17 |   409624 |   267732 |    23098     22 |      702 |      570
704.61/704.85	c  704s |      17 |   410096 |   268132 |    23098     22 |      702 |      570
706.91/707.16	c  706s |      17 |   410658 |   268632 |    23098     22 |      702 |      570
709.11/709.33	c  709s |      17 |   411108 |   269032 |    23098     22 |      702 |      570
711.41/711.66	c  711s |      17 |   411561 |   269432 |    23098     22 |      702 |      570
713.71/713.91	c  713s |      17 |   412014 |   269832 |    23098     22 |      702 |      570
716.10/716.35	c  716s |      17 |   412493 |   270232 |    23098     22 |      702 |      570
718.30/718.53	c  718s |      17 |   413090 |   270732 |    23098     22 |      702 |      570
720.70/720.94	c  720s |      17 |   413652 |   271232 |    23098     22 |      702 |      570
722.80/723.01	c  722s |      17 |   414093 |   271632 |    23098     22 |      702 |      570
724.89/725.17	c  724s |      17 |   414536 |   272032 |    23098     22 |      702 |      570
727.09/727.37	c  727s |      17 |   414971 |   272432 |    23098     23 |      702 |      570
729.29/729.56	c  729s |      17 |   415641 |   273032 |    23098     23 |      702 |      570
731.69/731.95	c  731s |      17 |   416227 |   273532 |    23098     23 |      702 |      570
733.99/734.25	c  733s |      17 |   416929 |   274132 |    23098     23 |      702 |      570
736.19/736.50	c  736s |      17 |   417508 |   274632 |    23098     23 |      702 |      570
738.29/738.55	c  738s |      17 |   418068 |   275132 |    23098     23 |      702 |      570
740.70/740.94	c  740s |      17 |   418751 |   275732 |    23098     23 |      702 |      570
742.70/742.96	c  742s |      17 |   419197 |   276132 |    23098     23 |      702 |      570
745.09/745.31	c  745s |      17 |   419635 |   276532 |    23098     23 |      702 |      570
747.29/747.51	c  747s |      17 |   420088 |   276932 |    23098     23 |      702 |      570
749.59/749.86	c  749s |      17 |   420523 |   277332 |    23098     23 |      702 |      570
751.69/751.92	c  751s |      17 |   420960 |   277732 |    23098     23 |      702 |      570
754.18/754.40	c  754s |      17 |   421510 |   278232 |    23098     23 |      702 |      570
756.58/756.86	c  756s |      17 |   421942 |   278632 |    23098     23 |      702 |      570
759.07/759.30	c  759s |      17 |   422364 |   279032 |    23098     23 |      702 |      570
761.57/761.83	c  761s |      17 |   422936 |   279532 |    23098     23 |      702 |      570
763.87/764.17	c  763s |      17 |   423516 |   280032 |    23098     23 |      702 |      570
765.87/766.19	c  765s |      17 |   423945 |   280432 |    23098     23 |      702 |      570
767.97/768.29	c  768s |      17 |   424250 |   280732 |    23098     23 |      702 |      570
770.26/770.51	c  770s |      17 |   424691 |   281132 |    23098     23 |      702 |      570
772.66/772.96	c  772s |      17 |   425135 |   281532 |    23098     23 |      702 |      570
775.16/775.44	c  775s |      17 |   425576 |   281932 |    23098     23 |      702 |      570
777.56/777.89	c  777s |      17 |   426006 |   282332 |    23098     23 |      702 |      570
780.05/780.30	c  780s |      17 |   426414 |   282732 |    23098     23 |      702 |      570
782.05/782.36	c  782s |      17 |   426843 |   283132 |    23098     23 |      702 |      570
784.25/784.58	c  784s |      17 |   427565 |   283732 |    23098     23 |      702 |      570
786.55/786.80	c  786s |      17 |   428369 |   284432 |    23098     23 |      702 |      570
788.85/789.17	c  788s |      17 |   429158 |   285132 |    23098     23 |      702 |      570
791.14/791.42	c  791s |      17 |   429708 |   285632 |    23098     24 |      702 |      570
793.34/793.61	c  793s |      17 |   430441 |   286232 |    23098     24 |      702 |      570
795.65/795.99	c  795s |      17 |   431095 |   286732 |    23098     24 |      702 |      570
797.75/798.03	c  797s |      17 |   431544 |   287132 |    23098     24 |      702 |      570
799.95/800.20	c  799s |      17 |   431988 |   287532 |    23098     24 |      702 |      570
801.95/802.22	c  801s |      17 |   432803 |   288032 |    23098     24 |      702 |      570
803.95/804.24	c  803s |      17 |   433592 |   288632 |    23098     24 |      702 |      570
806.15/806.45	c  806s |      17 |   434889 |   289532 |    23098     24 |      702 |      570
808.14/808.45	c  808s |      17 |   436123 |   290332 |    23098     24 |      702 |      570
810.34/810.60	c  810s |      17 |   438603 |   291232 |    23098     24 |      702 |      570
812.44/812.70	c  812s |      17 |   439912 |   292132 |    23098     24 |      702 |      570
814.43/814.77	c  814s |      17 |   441398 |   293032 |    23098     24 |      702 |      570
816.63/816.97	c  816s |      17 |   442741 |   294032 |    23098     24 |      702 |      570
818.83/819.16	c  818s |      17 |   444067 |   295032 |    25408     24 |      702 |      570
820.93/821.29	c  821s |      17 |   445200 |   295932 |    25408     24 |      702 |      570
821.73/822.02	c  821s |      18 |   445573 |   296252 |    25408     24 |      702 |      570
823.73/824.03	c  823s |      18 |   449184 |   297252 |    25408     24 |      702 |      570
825.72/826.07	c  825s |      18 |   450459 |   298352 |    25408     24 |      702 |      570
827.92/828.24	c  827s |      18 |   451977 |   299552 |    25408     24 |      702 |      570
830.72/831.06	c  830s |      18 |   453433 |   300752 |    25408     25 |      702 |      570
832.82/833.13	c  832s |      18 |   454617 |   301752 |    25408     25 |      702 |      570
834.92/835.27	c  835s |      18 |   456219 |   302952 |    25408     25 |      702 |      570
837.11/837.47	c  837s |      18 |   457525 |   304052 |    25408     25 |      702 |      570
839.31/839.62	c  839s |      18 |   458705 |   305052 |    25408     25 |      702 |      570
841.32/841.69	c  841s |      18 |   459911 |   306052 |    25408     25 |      702 |      570
843.42/843.76	c  843s |      18 |   460971 |   306952 |    25408     25 |      702 |      570
845.41/845.78	c  845s |      18 |   461931 |   307752 |    25408     25 |      702 |      570
847.51/847.83	c  847s |      18 |   463056 |   308652 |    25408     25 |      702 |      570
849.71/850.04	c  849s |      18 |   463983 |   309452 |    25408     25 |      702 |      570
852.01/852.34	c  852s |      18 |   465068 |   310352 |    25408     25 |      702 |      570
854.20/854.52	c  854s |      18 |   465982 |   311152 |    25408     25 |      702 |      570
856.40/856.73	c  856s |      18 |   466927 |   311952 |    25408     25 |      702 |      570
858.50/858.82	c  858s |      18 |   467962 |   312752 |    25408     25 |      702 |      570
860.60/860.90	c  860s |      18 |   468818 |   313452 |    25408     25 |      702 |      570
862.80/863.11	c  862s |      18 |   469657 |   314152 |    25408     25 |      702 |      570
864.79/865.13	c  864s |      18 |   470379 |   314752 |    25408     25 |      702 |      570
866.89/867.20	c  866s |      18 |   470984 |   315252 |    25408     26 |      702 |      570
868.89/869.23	c  868s |      18 |   471724 |   315852 |    25408     26 |      702 |      570
871.19/871.53	c  871s |      18 |   472594 |   316552 |    25408     26 |      702 |      570
873.49/873.85	c  873s |      18 |   473287 |   317152 |    25408     26 |      702 |      570
875.58/875.93	c  875s |      18 |   474022 |   317752 |    25408     26 |      702 |      570
877.78/878.17	c  877s |      18 |   474684 |   318352 |    25408     26 |      702 |      570
880.08/880.46	c  880s |      18 |   475502 |   319052 |    25408     26 |      702 |      570
882.38/882.76	c  882s |      18 |   476266 |   319652 |    25408     26 |      702 |      570
884.57/884.98	c  884s |      18 |   477130 |   320352 |    25408     26 |      702 |      570
886.97/887.30	c  887s |      18 |   477903 |   320952 |    25408     26 |      702 |      570
889.27/889.64	c  889s |      18 |   478641 |   321552 |    25408     26 |      702 |      570
891.57/891.91	c  891s |      18 |   479358 |   322152 |    25408     26 |      702 |      570
893.86/894.29	c  894s |      18 |   480052 |   322752 |    25408     26 |      702 |      570
896.06/896.49	c  896s |      18 |   480735 |   323352 |    25408     26 |      702 |      570
898.26/898.70	c  898s |      18 |   481318 |   323852 |    25408     26 |      702 |      570
900.67/901.04	c  900s |      18 |   482048 |   324452 |    25408     26 |      702 |      570
902.96/903.31	c  903s |      18 |   482757 |   325052 |    25408     26 |      702 |      570
905.07/905.42	c  905s |      18 |   483313 |   325552 |    25408     26 |      702 |      570
907.27/907.69	c  907s |      18 |   483904 |   326052 |    25408     26 |      702 |      570
909.66/910.04	c  909s |      18 |   484599 |   326652 |    25408     26 |      702 |      570
911.76/912.13	c  911s |      18 |   485198 |   327152 |    25408     26 |      702 |      570
914.15/914.55	c  914s |      18 |   485762 |   327652 |    25408     26 |      702 |      570
916.25/916.66	c  916s |      18 |   486349 |   328152 |    25408     26 |      702 |      570
918.75/919.11	c  918s |      18 |   487070 |   328752 |    25408     26 |      702 |      570
920.85/921.20	c  920s |      18 |   487656 |   329252 |    25408     26 |      702 |      570
922.95/923.36	c  923s |      18 |   488093 |   329652 |    25408     27 |      702 |      570
925.14/925.52	c  925s |      18 |   488926 |   330352 |    25408     27 |      702 |      570
927.34/927.77	c  927s |      18 |   489618 |   330952 |    25408     27 |      702 |      570
929.64/930.01	c  929s |      18 |   490461 |   331652 |    25408     27 |      702 |      570
931.84/932.23	c  931s |      18 |   491143 |   332252 |    25408     27 |      702 |      570
934.04/934.47	c  934s |      18 |   491994 |   332952 |    25408     27 |      702 |      570
936.24/936.68	c  936s |      18 |   492848 |   333652 |    25408     27 |      702 |      570
938.34/938.79	c  938s |      18 |   493574 |   334252 |    25408     27 |      702 |      570
940.44/940.87	c  940s |      18 |   494291 |   334852 |    25408     27 |      702 |      570
942.63/943.09	c  942s |      18 |   494971 |   335452 |    25408     27 |      702 |      570
944.83/945.29	c  945s |      18 |   495716 |   336052 |    25408     27 |      702 |      570
946.93/947.36	c  947s |      18 |   496287 |   336552 |    25408     27 |      702 |      570
949.23/949.69	c  949s |      18 |   496860 |   337052 |    25408     27 |      702 |      570
951.33/951.71	c  951s |      18 |   497302 |   337452 |    25408     27 |      702 |      570
953.33/953.78	c  953s |      18 |   497887 |   337952 |    25408     27 |      702 |      570
955.63/956.03	c  955s |      18 |   498498 |   338452 |    25408     27 |      702 |      570
958.02/958.46	c  958s |      18 |   499080 |   338952 |    25408     27 |      702 |      570
960.22/960.69	c  960s |      18 |   499682 |   339452 |    25408     27 |      702 |      570
962.42/962.88	c  962s |      18 |   500107 |   339852 |    25408     27 |      702 |      570
964.51/964.90	c  964s |      18 |   500645 |   340352 |    25408     27 |      702 |      570
966.71/967.11	c  966s |      18 |   501239 |   340852 |    25408     27 |      702 |      570
969.01/969.48	c  969s |      18 |   501795 |   341352 |    25408     27 |      702 |      570
971.31/971.77	c  971s |      18 |   502383 |   341852 |    25408     27 |      702 |      570
973.51/973.97	c  973s |      18 |   502976 |   342352 |    25408     27 |      702 |      570
975.81/976.27	c  975s |      18 |   503524 |   342852 |    25408     27 |      702 |      570
978.21/978.67	c  978s |      18 |   504091 |   343352 |    25408     27 |      702 |      570
980.72/981.18	c  980s |      18 |   504546 |   343752 |    25408     28 |      702 |      570
982.82/983.23	c  982s |      18 |   505350 |   344452 |    25408     28 |      702 |      570
985.02/985.41	c  985s |      18 |   506028 |   345052 |    25408     28 |      702 |      570
987.02/987.42	c  987s |      18 |   506721 |   345652 |    25408     28 |      702 |      570
989.32/989.77	c  989s |      18 |   507381 |   346252 |    25408     28 |      702 |      570
991.62/992.04	c  991s |      18 |   508044 |   346852 |    25408     28 |      702 |      570
993.82/994.26	c  993s |      18 |   508740 |   347452 |    25408     28 |      702 |      570
996.02/996.46	c  996s |      18 |   509431 |   348052 |    25408     28 |      702 |      570
998.22/998.65	c  998s |      18 |   510119 |   348652 |    25408     28 |      702 |      570
1000.21/1000.66	c 1000s |      18 |   510737 |   349152 |    25408     28 |      702 |      570
1002.41/1002.80	c 1002s |      18 |   511347 |   349652 |    25408     28 |      702 |      570
1004.61/1005.01	c 1004s |      18 |   512042 |   350252 |    25408     28 |      702 |      570
1006.81/1007.27	c 1006s |      18 |   512742 |   350852 |    25408     28 |      702 |      570
1009.11/1009.57	c 1009s |      18 |   513310 |   351352 |    25408     28 |      702 |      570
1011.31/1011.78	c 1011s |      18 |   513863 |   351852 |    25408     28 |      702 |      570
1013.61/1014.06	c 1013s |      18 |   514413 |   352352 |    25408     28 |      702 |      570
1015.91/1016.34	c 1016s |      18 |   514977 |   352852 |    25408     28 |      702 |      570
1018.32/1018.74	c 1018s |      18 |   515666 |   353452 |    25408     28 |      702 |      570
1020.41/1020.86	c 1020s |      18 |   516235 |   353952 |    25408     28 |      702 |      570
1022.72/1023.20	c 1022s |      18 |   516791 |   354452 |    25408     28 |      702 |      570
1024.92/1025.36	c 1025s |      18 |   517370 |   354952 |    25408     28 |      702 |      570
1027.12/1027.53	c 1027s |      18 |   517969 |   355452 |    25408     28 |      702 |      570
1029.11/1029.56	c 1029s |      18 |   518423 |   355852 |    25408     28 |      702 |      570
1031.21/1031.67	c 1031s |      18 |   518835 |   356252 |    25408     28 |      702 |      570
1033.61/1034.07	c 1033s |      18 |   519397 |   356752 |    25408     28 |      702 |      570
1036.21/1036.62	c 1036s |      18 |   519976 |   357252 |    25408     28 |      702 |      570
1038.31/1038.75	c 1038s |      18 |   520426 |   357652 |    25408     28 |      702 |      570
1041.20/1041.65	c 1041s |      18 |   520991 |   358152 |    25408     29 |      702 |      570
1043.30/1043.74	c 1043s |      18 |   521838 |   358852 |    25408     29 |      702 |      570
1045.40/1045.80	c 1045s |      18 |   522529 |   359452 |    25408     29 |      702 |      570
1047.40/1047.84	c 1047s |      18 |   523247 |   360052 |    25408     29 |      702 |      570
1049.60/1050.09	c 1049s |      18 |   523943 |   360652 |    25408     29 |      702 |      570
1052.00/1052.43	c 1052s |      18 |   524631 |   361252 |    25408     29 |      702 |      570
1054.40/1054.80	c 1054s |      18 |   525307 |   361852 |    25408     29 |      702 |      570
1056.40/1056.86	c 1056s |      18 |   525879 |   362352 |    25408     29 |      702 |      570
1058.50/1058.95	c 1058s |      18 |   526446 |   362852 |    25408     29 |      702 |      570
1061.00/1061.44	c 1061s |      18 |   527116 |   363452 |    25408     29 |      702 |      570
1063.10/1063.50	c 1063s |      18 |   527699 |   363952 |    25408     29 |      702 |      570
1065.20/1065.68	c 1065s |      18 |   528257 |   364452 |    25408     29 |      702 |      570
1067.60/1068.07	c 1067s |      18 |   528792 |   364952 |    25408     29 |      702 |      570
1069.70/1070.14	c 1069s |      18 |   529355 |   365452 |    25408     29 |      702 |      570
1072.00/1072.47	c 1072s |      18 |   529934 |   365952 |    25408     29 |      702 |      570
1074.50/1074.92	c 1074s |      18 |   530472 |   366452 |    25408     29 |      702 |      570
1076.70/1077.13	c 1076s |      18 |   531067 |   366952 |    25408     29 |      702 |      570
1078.81/1079.29	c 1079s |      18 |   531735 |   367452 |    25408     29 |      702 |      570
1080.90/1081.35	c 1081s |      18 |   532401 |   367952 |    25408     29 |      702 |      570
1083.30/1083.72	c 1083s |      18 |   533075 |   368552 |    25408     29 |      702 |      570
1085.30/1085.76	c 1085s |      18 |   533652 |   369052 |    25408     29 |      702 |      570
1087.40/1087.89	c 1087s |      18 |   534222 |   369552 |    25408     29 |      702 |      570
1089.81/1090.26	c 1089s |      18 |   534924 |   370152 |    25408     29 |      702 |      570
1091.80/1092.28	c 1092s |      18 |   535504 |   370652 |    25408     29 |      702 |      570
1093.89/1094.38	c 1094s |      18 |   536116 |   371152 |    25408     29 |      702 |      570
1096.19/1096.64	c 1096s |      18 |   536680 |   371652 |    25408     29 |      702 |      570
1098.39/1098.81	c 1098s |      18 |   537265 |   372152 |    25408     29 |      702 |      570
1100.59/1101.06	c 1100s |      18 |   537741 |   372552 |    25408     30 |      702 |      570
1102.69/1103.16	c 1102s |      18 |   538453 |   373152 |    25408     30 |      702 |      570
1104.99/1105.49	c 1105s |      18 |   539283 |   373852 |    25408     30 |      702 |      570
1107.19/1107.61	c 1107s |      18 |   539973 |   374452 |    25408     30 |      702 |      570
1109.29/1109.73	c 1109s |      18 |   540658 |   375052 |    25408     30 |      702 |      570
1111.29/1111.78	c 1111s |      18 |   541334 |   375652 |    25408     30 |      702 |      570
1113.59/1114.08	c 1113s |      18 |   542027 |   376252 |    25408     30 |      702 |      570
1115.79/1116.26	c 1115s |      18 |   542721 |   376852 |    25408     30 |      702 |      570
1118.09/1118.50	c 1118s |      18 |   543383 |   377452 |    25408     30 |      702 |      570
1120.09/1120.50	c 1120s |      18 |   544009 |   377952 |    25408     30 |      702 |      570
1122.19/1122.60	c 1122s |      18 |   544585 |   378452 |    25408     30 |      702 |      570
1124.40/1124.80	c 1124s |      18 |   545130 |   378952 |    25408     30 |      702 |      570
1126.70/1127.12	c 1126s |      18 |   545850 |   379552 |    25408     30 |      702 |      570
1128.80/1129.29	c 1129s |      18 |   546564 |   380152 |    25408     30 |      702 |      570
1130.90/1131.39	c 1131s |      18 |   547124 |   380652 |    25408     30 |      702 |      570
1133.20/1133.64	c 1133s |      18 |   547687 |   381152 |    25408     30 |      702 |      570
1135.20/1135.69	c 1135s |      18 |   548267 |   381652 |    25408     30 |      702 |      570
1137.40/1137.80	c 1137s |      18 |   548884 |   382152 |    25408     30 |      702 |      570
1139.80/1140.26	c 1139s |      18 |   549606 |   382752 |    25408     30 |      702 |      570
1142.10/1142.58	c 1142s |      18 |   550181 |   383252 |    25408     30 |      702 |      570
1144.30/1144.76	c 1144s |      18 |   550765 |   383752 |    25408     30 |      702 |      570
1146.49/1146.94	c 1146s |      18 |   551354 |   384252 |    25408     30 |      702 |      570
1148.59/1149.08	c 1148s |      18 |   551929 |   384752 |    25408     30 |      702 |      570
1150.89/1151.39	c 1151s |      18 |   552498 |   385252 |    25408     30 |      702 |      570
1153.19/1153.63	c 1153s |      18 |   553097 |   385752 |    25408     30 |      702 |      570
1155.70/1156.13	c 1155s |      18 |   553661 |   386252 |    25408     30 |      702 |      570
1158.59/1159.05	c 1158s |      18 |   554240 |   386752 |    25408     31 |      702 |      570
1160.89/1161.35	c 1161s |      18 |   554910 |   387352 |    25408     31 |      702 |      570
1162.99/1163.40	c 1163s |      18 |   555591 |   387952 |    25408     31 |      702 |      570
1165.19/1165.69	c 1165s |      18 |   556258 |   388552 |    25408     31 |      702 |      570
1167.29/1167.78	c 1167s |      18 |   556821 |   389052 |    25408     31 |      702 |      570
1169.69/1170.12	c 1169s |      18 |   557377 |   389552 |    25408     31 |      702 |      570
1171.89/1172.38	c 1172s |      18 |   557922 |   390052 |    25408     31 |      702 |      570
1174.09/1174.54	c 1174s |      18 |   558491 |   390552 |    25408     31 |      702 |      570
1176.29/1176.74	c 1176s |      18 |   559035 |   391052 |    25408     31 |      702 |      570
1178.39/1178.81	c 1178s |      18 |   559475 |   391452 |    25408     31 |      702 |      570
1180.69/1181.19	c 1180s |      18 |   560170 |   392052 |    25408     31 |      702 |      570
1182.79/1183.27	c 1182s |      18 |   560738 |   392552 |    25408     31 |      702 |      570
1185.29/1185.72	c 1185s |      18 |   561276 |   393052 |    25408     31 |      702 |      570
1187.70/1188.15	c 1187s |      18 |   561820 |   393552 |    25408     31 |      702 |      570
1189.90/1190.39	c 1190s |      18 |   562359 |   394052 |    25408     31 |      702 |      570
1192.18/1192.64	c 1192s |      18 |   562909 |   394552 |    25408     31 |      702 |      570
1194.78/1195.20	c 1194s |      18 |   563475 |   395052 |    25408     31 |      702 |      570
1196.78/1197.22	c 1196s |      18 |   563926 |   395452 |    25408     31 |      702 |      570
1198.98/1199.41	c 1199s |      18 |   564486 |   395952 |    25408     31 |      702 |      570
1201.28/1201.74	c 1201s |      18 |   565084 |   396452 |    25408     31 |      702 |      570
1203.58/1204.04	c 1203s |      18 |   565662 |   396952 |    25408     31 |      702 |      570
1205.98/1206.41	c 1206s |      18 |   566204 |   397452 |    25408     31 |      702 |      570
1208.38/1208.85	c 1208s |      18 |   566765 |   397952 |    25408     31 |      702 |      570
1210.79/1211.26	c 1210s |      18 |   567326 |   398452 |    25408     31 |      702 |      570
1212.99/1213.47	c 1213s |      18 |   567915 |   398952 |    25408     31 |      702 |      570
1215.09/1215.54	c 1215s |      18 |   568368 |   399352 |    25408     31 |      702 |      570
1217.18/1217.61	c 1217s |      18 |   568804 |   399752 |    25408     31 |      702 |      570
1219.38/1219.82	c 1219s |      18 |   569277 |   400152 |    25408     31 |      702 |      570
1221.69/1222.19	c 1221s |      18 |   569703 |   400552 |    25408     31 |      702 |      570
1224.88/1225.32	c 1225s |      18 |   570295 |   401052 |    25408     32 |      702 |      570
1226.98/1227.40	c 1227s |      18 |   570839 |   401552 |    25408     32 |      702 |      570
1229.28/1229.70	c 1229s |      18 |   571399 |   402052 |    25408     32 |      702 |      570
1231.28/1231.78	c 1231s |      18 |   572106 |   402652 |    25408     32 |      702 |      570
1233.28/1233.79	c 1233s |      18 |   572790 |   403252 |    25408     32 |      702 |      570
1235.38/1235.85	c 1235s |      18 |   573485 |   403852 |    25408     32 |      702 |      570
1237.88/1238.31	c 1238s |      18 |   574149 |   404452 |    25408     32 |      702 |      570
1240.08/1240.51	c 1240s |      18 |   574707 |   404952 |    25408     32 |      702 |      570
1242.28/1242.74	c 1242s |      18 |   575242 |   405452 |    25408     32 |      702 |      570
1244.67/1245.16	c 1244s |      18 |   575774 |   405952 |    25408     32 |      702 |      570
1246.98/1247.46	c 1247s |      18 |   576509 |   406552 |    25408     32 |      702 |      570
1249.28/1249.77	c 1249s |      18 |   577195 |   407152 |    25408     32 |      702 |      570
1251.67/1252.14	c 1251s |      18 |   577860 |   407752 |    25408     32 |      702 |      570
1253.77/1254.24	c 1253s |      18 |   578406 |   408252 |    25408     32 |      702 |      570
1255.88/1256.36	c 1256s |      18 |   579097 |   408852 |    25408     32 |      702 |      570
1258.17/1258.66	c 1258s |      18 |   579923 |   409552 |    25408     32 |      702 |      570
1260.37/1260.84	c 1260s |      18 |   580613 |   410152 |    25408     32 |      702 |      570
1262.67/1263.15	c 1262s |      18 |   581335 |   410752 |    25408     32 |      702 |      570
1264.87/1265.39	c 1265s |      18 |   582087 |   411352 |    25408     32 |      702 |      570
1267.17/1267.63	c 1267s |      18 |   582846 |   411952 |    25408     32 |      702 |      570
1269.37/1269.83	c 1269s |      18 |   583539 |   412552 |    25408     32 |      702 |      570
1271.77/1272.22	c 1271s |      18 |   584107 |   413052 |    25408     32 |      702 |      570
1273.77/1274.23	c 1273s |      18 |   584540 |   413452 |    25408     32 |      702 |      570
1275.87/1276.32	c 1276s |      18 |   585109 |   413952 |    25408     32 |      702 |      570
1278.17/1278.61	c 1278s |      18 |   585673 |   414452 |    25408     32 |      702 |      570
1280.17/1280.63	c 1280s |      18 |   586269 |   414952 |    25408     32 |      702 |      570
1282.67/1283.13	c 1282s |      18 |   586852 |   415452 |    25408     33 |      702 |      570
1284.77/1285.24	c 1284s |      18 |   587699 |   416152 |    25408     33 |      702 |      570
1286.97/1287.41	c 1287s |      18 |   588493 |   416852 |    25408     33 |      702 |      570
1288.97/1289.41	c 1289s |      18 |   589230 |   417452 |    25408     33 |      702 |      570
1290.97/1291.42	c 1291s |      18 |   589940 |   418052 |    25408     33 |      702 |      570
1293.17/1293.68	c 1293s |      18 |   590623 |   418652 |    25408     33 |      702 |      570
1295.27/1295.71	c 1295s |      18 |   591325 |   419252 |    25408     33 |      702 |      570
1297.26/1297.73	c 1297s |      18 |   591901 |   419752 |    25408     33 |      702 |      570
1299.56/1300.05	c 1299s |      18 |   592609 |   420352 |    25408     33 |      702 |      570
1301.86/1302.38	c 1302s |      18 |   593302 |   420952 |    25408     33 |      702 |      570
1304.06/1304.54	c 1304s |      18 |   593888 |   421452 |    25408     33 |      702 |      570
1306.26/1306.79	c 1306s |      18 |   594616 |   422052 |    25408     33 |      702 |      570
1308.46/1308.94	c 1308s |      18 |   595172 |   422552 |    25408     33 |      702 |      570
1310.56/1311.07	c 1310s |      18 |   595739 |   423052 |    25408     33 |      702 |      570
1312.97/1313.43	c 1313s |      18 |   596469 |   423652 |    25408     33 |      702 |      570
1314.96/1315.47	c 1315s |      18 |   597075 |   424152 |    25408     33 |      702 |      570
1317.06/1317.52	c 1317s |      18 |   597517 |   424552 |    25408     33 |      702 |      570
1319.06/1319.59	c 1319s |      18 |   597948 |   424952 |    25408     33 |      702 |      570
1321.46/1321.99	c 1321s |      18 |   598508 |   425452 |    25408     33 |      702 |      570
1323.86/1324.40	c 1324s |      18 |   599081 |   425952 |    25408     33 |      702 |      570
1326.27/1326.72	c 1326s |      18 |   599693 |   426452 |    25408     33 |      702 |      570
1328.26/1328.73	c 1328s |      18 |   600292 |   426952 |    25408     33 |      702 |      570
1330.67/1331.13	c 1330s |      18 |   601007 |   427552 |    25408     33 |      702 |      570
1332.76/1333.23	c 1332s |      18 |   601448 |   427952 |    25408     33 |      702 |      570
1335.16/1335.64	c 1335s |      18 |   602022 |   428452 |    25408     33 |      702 |      570
1337.46/1337.98	c 1337s |      18 |   602601 |   428952 |    25408     33 |      702 |      570
1339.86/1340.35	c 1340s |      18 |   603142 |   429452 |    25408     33 |      702 |      570
1341.86/1342.37	c 1342s |      18 |   603471 |   429752 |    25408     34 |      702 |      570
1343.96/1344.49	c 1344s |      18 |   604164 |   430352 |    25408     34 |      702 |      570
1346.26/1346.75	c 1346s |      18 |   604860 |   430952 |    25408     34 |      702 |      570
1348.66/1349.12	c 1348s |      18 |   605673 |   431652 |    25408     34 |      702 |      570
1350.85/1351.35	c 1351s |      18 |   606367 |   432252 |    25408     34 |      702 |      570
1353.05/1353.53	c 1353s |      18 |   607036 |   432852 |    25408     34 |      702 |      570
1355.05/1355.55	c 1355s |      18 |   607599 |   433352 |    25408     34 |      702 |      570
1357.25/1357.72	c 1357s |      18 |   608140 |   433852 |    25408     34 |      702 |      570
1359.36/1359.80	c 1359s |      18 |   608710 |   434352 |    25408     34 |      702 |      570
1361.47/1361.96	c 1361s |      18 |   609397 |   434952 |    25408     34 |      702 |      570
1363.86/1364.31	c 1364s |      18 |   609969 |   435452 |    25408     34 |      702 |      570
1366.26/1366.72	c 1366s |      18 |   610658 |   436052 |    25408     34 |      702 |      570
1368.36/1368.87	c 1368s |      18 |   611221 |   436552 |    25408     34 |      702 |      570
1370.66/1371.11	c 1370s |      18 |   611828 |   437052 |    25408     34 |      702 |      570
1372.86/1373.34	c 1373s |      18 |   612386 |   437552 |    25408     34 |      702 |      570
1375.26/1375.75	c 1375s |      18 |   612963 |   438052 |    25408     34 |      702 |      570
1377.56/1378.07	c 1377s |      18 |   613555 |   438552 |    25408     34 |      702 |      570
1379.66/1380.13	c 1379s |      18 |   614017 |   438952 |    25408     34 |      702 |      570
1382.16/1382.64	c 1382s |      18 |   614574 |   439452 |    25408     34 |      702 |      570
1384.36/1384.89	c 1384s |      18 |   615165 |   439952 |    25408     34 |      702 |      570
1386.86/1387.33	c 1387s |      18 |   615741 |   440452 |    25408     34 |      702 |      570
1388.97/1389.44	c 1389s |      18 |   616313 |   440952 |    25408     34 |      702 |      570
1391.26/1391.73	c 1391s |      18 |   616878 |   441452 |    27949     34 |      702 |      570
1393.56/1394.06	c 1393s |      18 |   617445 |   441952 |    27949     34 |      702 |      570
1395.96/1396.43	c 1396s |      18 |   618008 |   442452 |    27949     34 |      702 |      570
1397.96/1398.43	c 1398s |      18 |   618448 |   442852 |    27949     34 |      702 |      570
1400.26/1400.74	c 1400s |      18 |   619037 |   443352 |    27949     34 |      702 |      570
1402.35/1402.80	c 1402s |      18 |   619480 |   443752 |    27949     34 |      702 |      570
1404.45/1404.97	c 1404s |      18 |   619924 |   444152 |    27949     34 |      702 |      570
1406.25/1406.71	c 1406s |      19 |   620278 |   444482 |    27949     34 |      702 |      570
1408.25/1408.77	c 1408s |      19 |   623676 |   445482 |    27949     35 |      702 |      570
1410.35/1410.82	c 1410s |      19 |   626284 |   447282 |    27949     35 |      702 |      570
1412.45/1412.90	c 1412s |      19 |   628602 |   448782 |    27949     35 |      702 |      570
1414.45/1414.99	c 1414s |      19 |   630086 |   449882 |    27949     35 |      702 |      570
1416.55/1417.01	c 1416s |      19 |   631203 |   450782 |    27949     35 |      702 |      570
1418.66/1419.16	c 1418s |      19 |   632668 |   451882 |    27949     35 |      702 |      570
1420.65/1421.21	c 1420s |      19 |   633880 |   452882 |    27949     35 |      702 |      570
1422.75/1423.27	c 1422s |      19 |   635009 |   453782 |    27949     35 |      702 |      570
1424.95/1425.42	c 1425s |      19 |   636085 |   454682 |    27949     35 |      702 |      570
1426.95/1427.50	c 1427s |      19 |   637136 |   455582 |    27949     35 |      702 |      570
1429.15/1429.68	c 1429s |      19 |   638058 |   456382 |    27949     35 |      702 |      570
1431.35/1431.81	c 1431s |      19 |   638870 |   457082 |    27949     35 |      702 |      570
1433.35/1433.85	c 1433s |      19 |   639531 |   457682 |    27949     35 |      702 |      570
1435.55/1436.01	c 1435s |      19 |   640334 |   458382 |    27949     35 |      702 |      570
1437.85/1438.32	c 1438s |      19 |   641162 |   459082 |    27949     35 |      702 |      570
1440.05/1440.59	c 1440s |      19 |   641957 |   459782 |    27949     35 |      702 |      570
1442.25/1442.76	c 1442s |      19 |   642615 |   460382 |    27949     35 |      702 |      570
1444.55/1445.03	c 1444s |      19 |   643282 |   460982 |    27949     35 |      702 |      570
1446.75/1447.20	c 1446s |      19 |   643730 |   461382 |    27949     36 |      702 |      570
1449.04/1449.51	c 1449s |      19 |   644563 |   462082 |    27949     36 |      702 |      570
1451.14/1451.68	c 1451s |      19 |   645274 |   462682 |    27949     36 |      702 |      570
1453.24/1453.80	c 1453s |      19 |   645991 |   463282 |    27949     36 |      702 |      570
1455.54/1456.06	c 1455s |      19 |   646838 |   463982 |    27949     36 |      702 |      570
1457.54/1458.07	c 1457s |      19 |   647405 |   464482 |    27949     36 |      702 |      570
1459.74/1460.27	c 1459s |      19 |   647972 |   464982 |    27949     36 |      702 |      570
1461.74/1462.28	c 1462s |      19 |   648550 |   465482 |    27949     36 |      702 |      570
1463.94/1464.48	c 1464s |      19 |   649129 |   465982 |    27949     36 |      702 |      570
1466.24/1466.70	c 1466s |      19 |   649689 |   466482 |    27949     36 |      702 |      570
1468.24/1468.75	c 1468s |      19 |   650283 |   466982 |    27949     36 |      702 |      570
1470.25/1470.79	c 1470s |      19 |   650868 |   467482 |    27949     36 |      702 |      570
1472.55/1473.08	c 1472s |      19 |   651444 |   467982 |    27949     36 |      702 |      570
1474.94/1475.48	c 1475s |      19 |   651997 |   468482 |    27949     36 |      702 |      570
1477.14/1477.62	c 1477s |      19 |   652446 |   468882 |    27949     36 |      702 |      570
1479.34/1479.85	c 1479s |      19 |   652999 |   469382 |    27949     36 |      702 |      570
1481.64/1482.11	c 1481s |      19 |   653580 |   469882 |    27949     36 |      702 |      570
1483.84/1484.32	c 1484s |      19 |   654170 |   470382 |    27949     36 |      702 |      570
1486.24/1486.77	c 1486s |      19 |   654754 |   470882 |    27949     36 |      702 |      570
1488.54/1489.09	c 1488s |      19 |   655514 |   471482 |    27949     36 |      702 |      570
1491.14/1491.63	c 1491s |      19 |   656092 |   471982 |    27949     36 |      702 |      570
1493.14/1493.67	c 1493s |      19 |   656677 |   472482 |    27949     36 |      702 |      570
1495.43/1495.90	c 1495s |      19 |   657266 |   472982 |    27949     36 |      702 |      570
1497.84/1498.33	c 1498s |      19 |   657842 |   473482 |    27949     36 |      702 |      570
1500.13/1500.65	c 1500s |      19 |   658434 |   473982 |    27949     36 |      702 |      570
1502.24/1502.77	c 1502s |      19 |   659221 |   474482 |    27949     36 |      702 |      570
1504.44/1504.95	c 1504s |      19 |   659865 |   474982 |    27949     36 |      702 |      570
1506.54/1507.03	c 1506s |      19 |   660333 |   475382 |    27949     36 |      702 |      570
1508.53/1509.09	c 1508s |      19 |   660944 |   475882 |    27949     36 |      702 |      570
1510.73/1511.20	c 1510s |      19 |   661417 |   476282 |    27949     36 |      702 |      570
1512.83/1513.36	c 1513s |      19 |   662042 |   476782 |    27949     36 |      702 |      570
1514.93/1515.47	c 1515s |      19 |   662392 |   477082 |    27949     37 |      702 |      570
1517.23/1517.75	c 1517s |      19 |   663086 |   477682 |    27949     37 |      702 |      570
1519.43/1519.93	c 1519s |      19 |   664374 |   478482 |    27949     37 |      702 |      570
1521.83/1522.36	c 1522s |      19 |   665057 |   479082 |    27949     37 |      702 |      570
1524.03/1524.60	c 1524s |      19 |   665614 |   479582 |    27949     37 |      702 |      570
1526.23/1526.72	c 1526s |      19 |   666165 |   480082 |    27949     37 |      702 |      570
1528.33/1528.85	c 1528s |      19 |   666732 |   480582 |    27949     37 |      702 |      570
1530.33/1530.85	c 1530s |      19 |   667323 |   481082 |    27949     37 |      702 |      570
1532.43/1532.98	c 1532s |      19 |   667867 |   481582 |    27949     37 |      702 |      570
1534.53/1535.02	c 1534s |      19 |   668444 |   482082 |    27949     37 |      702 |      570
1536.93/1537.43	c 1537s |      19 |   669005 |   482582 |    27949     37 |      702 |      570
1539.13/1539.68	c 1539s |      19 |   669588 |   483082 |    27949     37 |      702 |      570
1541.53/1542.04	c 1541s |      19 |   670131 |   483582 |    27949     37 |      702 |      570
1543.73/1544.28	c 1544s |      19 |   670714 |   484082 |    27949     37 |      702 |      570
1546.13/1546.69	c 1546s |      19 |   671285 |   484582 |    27949     37 |      702 |      570
1548.52/1549.01	c 1548s |      19 |   671867 |   485082 |    27949     37 |      702 |      570
1550.72/1551.25	c 1550s |      19 |   672325 |   485482 |    27949     37 |      702 |      570
1553.12/1553.67	c 1553s |      19 |   672779 |   485882 |    27949     37 |      702 |      570
1555.62/1556.16	c 1555s |      19 |   673244 |   486282 |    27949     37 |      702 |      570
1557.82/1558.31	c 1558s |      19 |   673560 |   486582 |    27949     37 |      702 |      570
1560.43/1560.92	c 1560s |      19 |   674022 |   486982 |    27949     37 |      702 |      570
1563.12/1563.66	c 1563s |      19 |   674469 |   487382 |    27949     37 |      702 |      570
1565.32/1565.86	c 1565s |      19 |   674806 |   487682 |    27949     37 |      702 |      570
1567.62/1568.16	c 1567s |      19 |   675270 |   488082 |    27949     37 |      702 |      570
1569.62/1570.17	c 1569s |      19 |   675706 |   488482 |    27949     37 |      702 |      570
1572.12/1572.62	c 1572s |      19 |   676261 |   488982 |    27949     37 |      702 |      570
1574.12/1574.69	c 1574s |      19 |   676717 |   489382 |    27949     37 |      702 |      570
1576.43/1576.91	c 1576s |      19 |   677169 |   489782 |    27949     37 |      702 |      570
1578.73/1579.26	c 1578s |      19 |   677613 |   490182 |    27949     37 |      702 |      570
1581.13/1581.63	c 1581s |      19 |   678037 |   490582 |    27949     37 |      702 |      570
1583.43/1583.91	c 1583s |      19 |   678476 |   490982 |    27949     37 |      702 |      570
1585.73/1586.23	c 1585s |      19 |   678937 |   491382 |    27949     37 |      702 |      570
1587.93/1588.43	c 1588s |      19 |   679365 |   491782 |    27949     37 |      702 |      570
1590.13/1590.64	c 1590s |      19 |   679826 |   492182 |    27949     37 |      702 |      570
1592.72/1593.27	c 1593s |      19 |   680264 |   492582 |    27949     37 |      702 |      570
1594.92/1595.40	c 1595s |      19 |   680481 |   492782 |    27949     38 |      702 |      570
1597.02/1597.56	c 1597s |      19 |   680931 |   493182 |    27949     38 |      702 |      570
1599.32/1599.88	c 1599s |      19 |   681470 |   493682 |    27949     38 |      702 |      570
1601.62/1602.16	c 1601s |      19 |   682011 |   494182 |    27949     38 |      702 |      570
1604.12/1604.61	c 1604s |      19 |   682545 |   494682 |    27949     38 |      702 |      570
1606.42/1606.92	c 1606s |      19 |   683079 |   495182 |    27949     38 |      702 |      570
1608.62/1609.11	c 1608s |      19 |   683648 |   495682 |    27949     38 |      702 |      570
1610.82/1611.36	c 1611s |      19 |   684218 |   496182 |    27949     38 |      702 |      570
1613.22/1613.78	c 1613s |      19 |   684766 |   496682 |    27949     38 |      702 |      570
1615.62/1616.11	c 1615s |      19 |   685337 |   497182 |    27949     38 |      702 |      570
1618.02/1618.51	c 1618s |      19 |   685877 |   497682 |    27949     38 |      702 |      570
1620.21/1620.76	c 1620s |      19 |   686420 |   498182 |    27949     38 |      702 |      570
1622.41/1622.92	c 1622s |      19 |   686860 |   498582 |    27949     38 |      702 |      570
1624.91/1625.41	c 1625s |      19 |   687406 |   499082 |    27949     38 |      702 |      570
1627.31/1627.80	c 1627s |      19 |   687949 |   499582 |    27949     38 |      702 |      570
1629.31/1629.82	c 1629s |      19 |   688386 |   499982 |    27949     38 |      702 |      570
1631.61/1632.12	c 1631s |      19 |   688839 |   500382 |    27949     38 |      702 |      570
1633.71/1634.25	c 1633s |      19 |   689290 |   500782 |    27949     38 |      702 |      570
1635.91/1636.41	c 1636s |      19 |   689729 |   501182 |    27949     38 |      702 |      570
1637.92/1638.42	c 1638s |      19 |   690175 |   501582 |    27949     38 |      702 |      570
1640.12/1640.67	c 1640s |      19 |   690606 |   501982 |    27949     38 |      702 |      570
1642.62/1643.13	c 1642s |      19 |   691058 |   502382 |    27949     38 |      702 |      570
1645.02/1645.54	c 1645s |      19 |   691544 |   502782 |    27949     38 |      702 |      570
1647.12/1647.65	c 1647s |      19 |   692450 |   503382 |    27949     38 |      702 |      570
1649.22/1649.77	c 1649s |      19 |   693314 |   503982 |    27949     38 |      702 |      570
1651.42/1651.93	c 1651s |      19 |   694171 |   504582 |    27949     38 |      702 |      570
1653.82/1654.36	c 1654s |      19 |   694879 |   505182 |    27949     38 |      702 |      570
1655.92/1656.46	c 1656s |      19 |   695489 |   505682 |    27949     38 |      702 |      570
1657.92/1658.47	c 1658s |      19 |   696139 |   506182 |    27949     38 |      702 |      570
1660.21/1660.72	c 1660s |      19 |   696716 |   506682 |    27949     38 |      702 |      570
1662.41/1662.92	c 1662s |      19 |   697296 |   507182 |    27949     38 |      702 |      570
1664.71/1665.29	c 1665s |      19 |   697896 |   507682 |    27949     38 |      702 |      570
1667.01/1667.57	c 1667s |      19 |   698350 |   508082 |    27949     38 |      702 |      570
1669.51/1670.09	c 1669s |      19 |   698812 |   508482 |    27949     39 |      702 |      570
1671.81/1672.34	c 1672s |      19 |   699555 |   509082 |    27949     39 |      702 |      570
1673.82/1674.39	c 1674s |      19 |   700182 |   509582 |    27949     39 |      702 |      570
1676.21/1676.73	c 1676s |      19 |   700892 |   510182 |    27949     39 |      702 |      570
1678.22/1678.79	c 1678s |      19 |   701636 |   510782 |    27949     39 |      702 |      570
1680.31/1680.89	c 1680s |      19 |   702369 |   511382 |    27949     39 |      702 |      570
1682.51/1683.03	c 1682s |      19 |   703274 |   512082 |    27949     39 |      702 |      570
1684.82/1685.32	c 1685s |      19 |   704163 |   512782 |    27949     39 |      702 |      570
1687.11/1687.68	c 1687s |      19 |   704875 |   513382 |    27949     39 |      702 |      570
1689.51/1690.06	c 1689s |      19 |   705594 |   513982 |    27949     39 |      702 |      570
1691.50/1692.07	c 1691s |      19 |   706236 |   514482 |    27949     39 |      702 |      570
1693.70/1694.28	c 1694s |      19 |   706827 |   514982 |    27949     39 |      702 |      570
1696.20/1696.72	c 1696s |      19 |   707417 |   515482 |    27949     39 |      702 |      570
1698.40/1698.93	c 1698s |      19 |   708025 |   515982 |    27949     39 |      702 |      570
1700.70/1701.25	c 1700s |      19 |   708949 |   516682 |    27949     39 |      702 |      570
1703.10/1703.65	c 1703s |      19 |   709678 |   517282 |    27949     39 |      702 |      570
1705.50/1706.02	c 1705s |      19 |   710245 |   517782 |    27949     39 |      702 |      570
1707.60/1708.12	c 1707s |      19 |   710846 |   518282 |    27949     39 |      702 |      570
1709.70/1710.28	c 1710s |      19 |   711476 |   518782 |    27949     39 |      702 |      570
1711.80/1712.35	c 1712s |      19 |   711819 |   519082 |    27949     39 |      702 |      570
1714.01/1714.57	c 1714s |      19 |   712402 |   519582 |    27949     39 |      702 |      570
1716.11/1716.61	c 1716s |      19 |   713000 |   520082 |    27949     39 |      702 |      570
1718.51/1719.01	c 1718s |      19 |   713580 |   520582 |    27949     39 |      702 |      570
1720.81/1721.40	c 1721s |      19 |   714171 |   521082 |    27949     39 |      702 |      570
1723.01/1723.54	c 1723s |      19 |   714786 |   521582 |    27949     39 |      702 |      570
1725.01/1725.55	c 1725s |      19 |   715255 |   521982 |    27949     39 |      702 |      570
1727.21/1727.76	c 1727s |      19 |   715722 |   522382 |    27949     39 |      702 |      570
1729.31/1729.87	c 1729s |      19 |   716195 |   522782 |    27949     39 |      702 |      570
1731.60/1732.13	c 1731s |      19 |   716520 |   523082 |    27949     39 |      702 |      570
1733.90/1734.45	c 1734s |      19 |   716969 |   523482 |    27949     39 |      702 |      570
1736.41/1736.92	c 1736s |      19 |   717411 |   523882 |    27949     39 |      702 |      570
1738.71/1739.25	c 1738s |      19 |   717750 |   524182 |    27949     40 |      702 |      570
1741.00/1741.58	c 1741s |      19 |   718422 |   524782 |    27949     40 |      702 |      570
1743.20/1743.75	c 1743s |      19 |   718974 |   525282 |    27949     40 |      702 |      570
1745.31/1745.84	c 1745s |      19 |   719423 |   525682 |    27949     40 |      702 |      570
1747.70/1748.20	c 1747s |      19 |   719855 |   526082 |    27949     40 |      702 |      570
1749.90/1750.46	c 1750s |      19 |   720293 |   526482 |    27949     40 |      702 |      570
1752.10/1752.61	c 1752s |      19 |   720743 |   526882 |    27949     40 |      702 |      570
1754.11/1754.67	c 1754s |      19 |   721173 |   527282 |    27949     40 |      702 |      570
1756.10/1756.70	c 1756s |      19 |   721616 |   527682 |    27949     40 |      702 |      570
1758.20/1758.79	c 1758s |      19 |   722226 |   528182 |    27949     40 |      702 |      570
1760.71/1761.24	c 1760s |      19 |   722669 |   528582 |    27949     40 |      702 |      570
1762.91/1763.46	c 1763s |      19 |   723107 |   528982 |    27949     40 |      702 |      570
1765.00/1765.60	c 1765s |      19 |   723574 |   529382 |    27949     40 |      702 |      570
1767.40/1767.99	c 1767s |      19 |   724294 |   529982 |    27949     40 |      702 |      570
1769.80/1770.32	c 1770s |      19 |   724856 |   530482 |    27949     40 |      702 |      570
1771.80/1772.39	c 1772s |      19 |   725298 |   530882 |    27949     40 |      702 |      570
1774.30/1774.88	c 1774s |      19 |   725873 |   531382 |    27949     40 |      702 |      570
1776.89/1777.48	c 1777s |      19 |   726314 |   531782 |    27949     40 |      702 |      570
1779.19/1779.80	c 1779s |      19 |   726871 |   532282 |    27949     40 |      702 |      570
1781.39/1782.01	c 1781s |      19 |   727306 |   532682 |    27949     40 |      702 |      570
1783.70/1784.27	c 1783s |      19 |   727911 |   533182 |    27949     40 |      702 |      570
1786.00/1786.58	c 1786s |      19 |   728603 |   533782 |    27949     40 |      702 |      570
1788.39/1788.97	c 1788s |      19 |   729151 |   534282 |    27949     40 |      702 |      570
1790.79/1791.31	c 1791s |      19 |   729699 |   534782 |    27949     40 |      702 |      570
1792.79/1793.33	c 1793s |      19 |   730148 |   535182 |    27949     40 |      702 |      570
1794.80/1795.38	c 1795s |      19 |   730594 |   535582 |    27949     40 |      702 |      570
1797.19/1797.75	c 1797s |      19 |   731150 |   536082 |    27949     40 |      702 |      570
1799.39/1799.94	c 1799s |      19 |   731584 |   536482 |    27949     40 |      702 |      570

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

pid=381
running on 8 cores: 4-7,12-15

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


[startup+0 s]
/proc/loadavg: 2.19 2.09 2.05 3/261 384
/proc/meminfo: memFree=30886932/32872528 swapFree=7556/7556
[pid=384] ppid=381 vsize=738748 CPUtime=0 cores=4-7,12-15
/proc/384/stat : 384 (toysat) R 381 384 32495 0 -1 4202496 2761 0 0 0 0 0 0 0 20 0 4 0 27367419 756477952 3121 33554432000 4194304 16246674 140735781345120 140735781344544 15002730 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/384/statm: 185455 3131 441 2943 0 182349 0
[pid=384/tid=385] ppid=381 vsize=1165756 CPUtime=0 cores=4-7,12-15
/proc/384/task/385/stat : 385 (toysat) S 381 384 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27367419 1193734144 4789 33554432000 4194304 16246674 140735781345120 140618774850800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=384/tid=386] ppid=381 vsize=1170876 CPUtime=0 cores=4-7,12-15
/proc/384/task/386/stat : 386 (toysat) S 381 384 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27367419 1198977024 4809 33554432000 4194304 16246674 140735781345120 140618764360944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=384/tid=387] ppid=381 vsize=1174972 CPUtime=0 cores=4-7,12-15
/proc/384/task/387/stat : 387 (toysat) S 381 384 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27367419 1203171328 4825 33554432000 4194304 16246674 140735781345120 140618753887408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0

[startup+0.100138 s]
/proc/loadavg: 2.19 2.09 2.05 3/261 384
/proc/meminfo: memFree=30886932/32872528 swapFree=7556/7556
[pid=384] ppid=381 vsize=1220164 CPUtime=0.09 cores=4-7,12-15
/proc/384/stat : 384 (toysat) R 381 384 32495 0 -1 4202496 28469 0 0 0 6 3 0 0 20 0 4 0 27367419 1249447936 28767 33554432000 4194304 16246674 140735781345120 140735781344432 4221099 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/384/statm: 305041 28767 801 2943 0 301935 0
[pid=384/tid=385] ppid=381 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/384/task/385/stat : 385 (toysat) S 381 384 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27367419 1249447936 28767 33554432000 4194304 16246674 140735781345120 140618774850800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=384/tid=386] ppid=381 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/384/task/386/stat : 386 (toysat) S 381 384 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27367419 1249447936 28767 33554432000 4194304 16246674 140735781345120 140618764360944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=384/tid=387] ppid=381 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/384/task/387/stat : 387 (toysat) S 381 384 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27367419 1249447936 28767 33554432000 4194304 16246674 140735781345120 140618753887408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200524 s]
/proc/loadavg: 2.19 2.09 2.05 3/261 384
/proc/meminfo: memFree=30886932/32872528 swapFree=7556/7556
[pid=384] ppid=381 vsize=1301060 CPUtime=0.18 cores=4-7,12-15
/proc/384/stat : 384 (toysat) R 381 384 32495 0 -1 4202496 48676 0 0 0 13 5 0 0 20 0 4 0 27367419 1332285440 48974 33554432000 4194304 16246674 140735781345120 140735781344432 5913156 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/384/statm: 325265 48974 842 2943 0 322159 0
[pid=384/tid=385] ppid=381 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/384/task/385/stat : 385 (toysat) S 381 384 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27367419 1332285440 48974 33554432000 4194304 16246674 140735781345120 140618774850800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=384/tid=386] ppid=381 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/384/task/386/stat : 386 (toysat) S 381 384 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27367419 1332285440 48974 33554432000 4194304 16246674 140735781345120 140618764360944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=384/tid=387] ppid=381 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/384/task/387/stat : 387 (toysat) S 381 384 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27367419 1332285440 48974 33554432000 4194304 16246674 140735781345120 140618753887408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1301060

[startup+0.30046 s]
/proc/loadavg: 2.19 2.09 2.05 3/261 384
/proc/meminfo: memFree=30886932/32872528 swapFree=7556/7556
[pid=384] ppid=381 vsize=1301060 CPUtime=0.29 cores=4-7,12-15
/proc/384/stat : 384 (toysat) R 381 384 32495 0 -1 4202496 54791 0 0 0 22 7 0 0 20 0 4 0 27367419 1332285440 55090 33554432000 4194304 16246674 140735781345120 140735781344432 5523634 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/384/statm: 325265 55097 882 2943 0 322159 0
[pid=384/tid=385] ppid=381 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/384/task/385/stat : 385 (toysat) S 381 384 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27367419 1332285440 55102 33554432000 4194304 16246674 140735781345120 140618774850800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=384/tid=386] ppid=381 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/384/task/386/stat : 386 (toysat) S 381 384 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27367419 1332285440 55105 33554432000 4194304 16246674 140735781345120 140618764360944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=384/tid=387] ppid=381 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/384/task/387/stat : 387 (toysat) S 381 384 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27367419 1332285440 55108 33554432000 4194304 16246674 140735781345120 140618753887408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700405 s]
/proc/loadavg: 2.19 2.09 2.05 3/261 384
/proc/meminfo: memFree=30886932/32872528 swapFree=7556/7556
[pid=384] ppid=381 vsize=1301060 CPUtime=0.69 cores=4-7,12-15
/proc/384/stat : 384 (toysat) R 381 384 32495 0 -1 4202496 108954 0 0 0 55 14 0 0 20 0 4 0 27367419 1332285440 109253 33554432000 4194304 16246674 140735781345120 140735781328112 5532492 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/384/statm: 325265 109269 882 2943 0 322159 0
[pid=384/tid=385] ppid=381 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/384/task/385/stat : 385 (toysat) S 381 384 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27367419 1332285440 109278 33554432000 4194304 16246674 140735781345120 140618774850800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=384/tid=386] ppid=381 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/384/task/386/stat : 386 (toysat) S 381 384 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27367419 1332285440 109288 33554432000 4194304 16246674 140735781345120 140618764360944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=384/tid=387] ppid=381 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/384/task/387/stat : 387 (toysat) S 381 384 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27367419 1332285440 109298 33554432000 4194304 16246674 140735781345120 140618753887408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50041 s]
/proc/loadavg: 2.17 2.09 2.05 3/265 388
/proc/meminfo: memFree=30246260/32872528 swapFree=7556/7556
[pid=384] ppid=381 vsize=1301060 CPUtime=1.48 cores=4-7,12-15
/proc/384/stat : 384 (toysat) R 381 384 32495 0 -1 4202496 213515 0 0 0 121 27 0 0 20 0 4 0 27367419 1332285440 213813 33554432000 4194304 16246674 140735781345120 140735781327040 5546098 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/384/statm: 325265 213819 882 2943 0 322159 0
[pid=384/tid=385] ppid=381 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/384/task/385/stat : 385 (toysat) S 381 384 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27367419 1332285440 213822 33554432000 4194304 16246674 140735781345120 140618774850800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=384/tid=386] ppid=381 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/384/task/386/stat : 386 (toysat) S 381 384 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27367419 1332285440 213825 33554432000 4194304 16246674 140735781345120 140618764360944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=384/tid=387] ppid=381 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/384/task/387/stat : 387 (toysat) S 381 384 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27367419 1332285440 213828 33554432000 4194304 16246674 140735781345120 140618753887408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.10039 s]
/proc/loadavg: 2.17 2.09 2.05 3/265 388
/proc/meminfo: memFree=29808788/32872528 swapFree=7556/7556
[pid=384] ppid=381 vsize=1313348 CPUtime=3.09 cores=4-7,12-15
/proc/384/stat : 384 (toysat) R 381 384 32495 0 -1 4202496 269336 0 0 0 274 35 0 0 20 0 4 0 27367419 1344868352 269634 33554432000 4194304 16246674 140735781345120 140735781327040 6837238 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/384/statm: 328337 269634 888 2943 0 325231 0
[pid=384/tid=385] ppid=381 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/384/task/385/stat : 385 (toysat) S 381 384 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27367419 1344868352 269634 33554432000 4194304 16246674 140735781345120 140618774850800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=384/tid=386] ppid=381 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/384/task/386/stat : 386 (toysat) S 381 384 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27367419 1344868352 269634 33554432000 4194304 16246674 140735781345120 140618764360944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=384/tid=387] ppid=381 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/384/task/387/stat : 387 (toysat) S 381 384 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27367419 1344868352 269634 33554432000 4194304 16246674 140735781345120 140618753887408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30043 s]
/proc/loadavg: 2.17 2.09 2.05 3/265 388
/proc/meminfo: memFree=29807956/32872528 swapFree=7556/7556
[pid=384] ppid=381 vsize=1313348 CPUtime=6.29 cores=4-7,12-15
/proc/384/stat : 384 (toysat) R 381 384 32495 0 -1 4202496 269525 0 0 0 594 35 0 0 20 0 4 0 27367419 1344868352 269823 33554432000 4194304 16246674 140735781345120 140735781327040 5711705 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/384/statm: 328337 269823 889 2943 0 325231 0
[pid=384/tid=385] ppid=381 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/384/task/385/stat : 385 (toysat) S 381 384 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27367419 1344868352 269823 33554432000 4194304 16246674 140735781345120 140618774850800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=384/tid=386] ppid=381 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/384/task/386/stat : 386 (toysat) S 381 384 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27367419 1344868352 269823 33554432000 4194304 16246674 140735781345120 140618764360944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=384/tid=387] ppid=381 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/384/task/387/stat : 387 (toysat) S 381 384 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27367419 1344868352 269823 33554432000 4194304 16246674 140735781345120 140618753887408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.31 2.12 2.06 3/265 388
/proc/meminfo: memFree=29807808/32872528 swapFree=7556/7556
[pid=384] ppid=381 vsize=1313348 CPUtime=12.69 cores=4-7,12-15
/proc/384/stat : 384 (toysat) R 381 384 32495 0 -1 4202496 269526 0 0 0 1234 35 0 0 20 0 4 0 27367419 1344868352 269824 33554432000 4194304 16246674 140735781345120 140735781343104 5677720 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/384/statm: 328337 269824 889 2943 0 325231 0
[pid=384/tid=385] ppid=381 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/384/task/385/stat : 385 (toysat) S 381 384 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27367419 1344868352 269824 33554432000 4194304 16246674 140735781345120 140618774850800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=384/tid=386] ppid=381 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/384/task/386/stat : 386 (toysat) S 381 384 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27367419 1344868352 269824 33554432000 4194304 16246674 140735781345120 140618764360944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=384/tid=387] ppid=381 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/384/task/387/stat : 387 (toysat) S 381 384 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27367419 1344868352 269824 33554432000 4194304 16246674 140735781345120 140618753887408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.26 2.12 2.06 3/265 388
/proc/meminfo: memFree=29808440/32872528 swapFree=7556/7556
[pid=384] ppid=381 vsize=1313348 CPUtime=25.48 cores=4-7,12-15
/proc/384/stat : 384 (toysat) R 381 384 32495 0 -1 4202496 269529 0 0 0 2513 35 0 0 20 0 4 0 27367419 1344868352 269827 33554432000 4194304 16246674 140735781345120 140735781327040 5717503 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/384/statm: 328337 269827 892 2943 0 325231 0
[pid=384/tid=385] ppid=381 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/384/task/385/stat : 385 (toysat) S 381 384 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27367419 1344868352 269827 33554432000 4194304 16246674 140735781345120 140618774850800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=384/tid=386] ppid=381 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/384/task/386/stat : 386 (toysat) S 381 384 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27367419 1344868352 269827 33554432000 4194304 16246674 140735781345120 140618764360944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=384/tid=387] ppid=381 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/384/task/387/stat : 387 (toysat) S 381 384 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27367419 1344868352 269827 33554432000 4194304 16246674 140735781345120 140618753887408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.29 2.14 2.07 3/265 388
/proc/meminfo: memFree=29809060/32872528 swapFree=7556/7556
[pid=384] ppid=381 vsize=1313348 CPUtime=51.08 cores=4-7,12-15
/proc/384/stat : 384 (toysat) R 381 384 32495 0 -1 4202496 269529 0 0 0 5073 35 0 0 20 0 4 0 27367419 1344868352 269827 33554432000 4194304 16246674 140735781345120 140735781327040 5722668 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/384/statm: 328337 269827 892 2943 0 325231 0
[pid=384/tid=385] ppid=381 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/384/task/385/stat : 385 (toysat) S 381 384 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27367419 1344868352 269827 33554432000 4194304 16246674 140735781345120 140618774850800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=384/tid=386] ppid=381 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/384/task/386/stat : 386 (toysat) S 381 384 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27367419 1344868352 269827 33554432000 4194304 16246674 140735781345120 140618764360944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=384/tid=387] ppid=381 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/384/task/387/stat : 387 (toysat) S 381 384 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27367419 1344868352 269827 33554432000 4194304 16246674 140735781345120 140618753887408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.301 s]
/proc/loadavg: 2.26 2.16 2.08 3/265 389
/proc/meminfo: memFree=29802276/32872528 swapFree=7556/7556
[pid=384] ppid=381 vsize=1320516 CPUtime=102.28 cores=4-7,12-15
/proc/384/stat : 384 (toysat) R 381 384 32495 0 -1 4202496 271072 0 0 0 10192 36 0 0 20 0 4 0 27367419 1352208384 271370 33554432000 4194304 16246674 140735781345120 140735781327040 5677884 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/384/statm: 330129 271370 892 2943 0 327023 0
[pid=384/tid=385] ppid=381 vsize=1320516 CPUtime=0 cores=4-7,12-15
/proc/384/task/385/stat : 385 (toysat) S 381 384 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27367419 1352208384 271370 33554432000 4194304 16246674 140735781345120 140618774850800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=384/tid=386] ppid=381 vsize=1320516 CPUtime=0 cores=4-7,12-15
/proc/384/task/386/stat : 386 (toysat) S 381 384 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27367419 1352208384 271370 33554432000 4194304 16246674 140735781345120 140618764360944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=384/tid=387] ppid=381 vsize=1320516 CPUtime=0 cores=4-7,12-15
/proc/384/task/387/stat : 387 (toysat) S 381 384 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27367419 1352208384 271370 33554432000 4194304 16246674 140735781345120 140618753887408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1320516


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

/proc/384/task/387/stat : 387 (toysat) S 381 384 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27367419 1355354112 272387 33554432000 4194304 16246674 140735781345120 140618753887408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1323588

[startup+1302.3 s]
/proc/loadavg: 2.16 2.13 2.10 3/265 522
/proc/meminfo: memFree=29786232/32872528 swapFree=7556/7556
[pid=384] ppid=381 vsize=1323588 CPUtime=1301.86 cores=4-7,12-15
/proc/384/stat : 384 (toysat) R 381 384 32495 0 -1 4202496 272397 0 0 0 130141 45 0 0 20 0 4 0 27367419 1355354112 272387 33554432000 4194304 16246674 140735781345120 140735781327040 5712604 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/384/statm: 330897 272387 892 2943 0 327791 0
[pid=384/tid=385] ppid=381 vsize=1323588 CPUtime=0 cores=4-7,12-15
/proc/384/task/385/stat : 385 (toysat) S 381 384 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27367419 1355354112 272387 33554432000 4194304 16246674 140735781345120 140618774850800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=384/tid=386] ppid=381 vsize=1323588 CPUtime=0 cores=4-7,12-15
/proc/384/task/386/stat : 386 (toysat) S 381 384 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27367419 1355354112 272387 33554432000 4194304 16246674 140735781345120 140618764360944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=384/tid=387] ppid=381 vsize=1323588 CPUtime=0 cores=4-7,12-15
/proc/384/task/387/stat : 387 (toysat) S 381 384 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27367419 1355354112 272387 33554432000 4194304 16246674 140735781345120 140618753887408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1323588

[startup+1362.3 s]
/proc/loadavg: 2.13 2.12 2.09 3/265 523
/proc/meminfo: memFree=29785976/32872528 swapFree=7556/7556
[pid=384] ppid=381 vsize=1323588 CPUtime=1361.86 cores=4-7,12-15
/proc/384/stat : 384 (toysat) R 381 384 32495 0 -1 4202496 272397 0 0 0 136140 46 0 0 20 0 4 0 27367419 1355354112 272387 33554432000 4194304 16246674 140735781345120 140735781327040 6021072 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/384/statm: 330897 272387 892 2943 0 327791 0
[pid=384/tid=385] ppid=381 vsize=1323588 CPUtime=0 cores=4-7,12-15
/proc/384/task/385/stat : 385 (toysat) S 381 384 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27367419 1355354112 272387 33554432000 4194304 16246674 140735781345120 140618774850800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=384/tid=386] ppid=381 vsize=1323588 CPUtime=0 cores=4-7,12-15
/proc/384/task/386/stat : 386 (toysat) S 381 384 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27367419 1355354112 272387 33554432000 4194304 16246674 140735781345120 140618764360944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=384/tid=387] ppid=381 vsize=1323588 CPUtime=0 cores=4-7,12-15
/proc/384/task/387/stat : 387 (toysat) S 381 384 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27367419 1355354112 272387 33554432000 4194304 16246674 140735781345120 140618753887408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1323588

[startup+1422.3 s]
/proc/loadavg: 2.04 2.10 2.09 3/265 524
/proc/meminfo: memFree=29771952/32872528 swapFree=7556/7556
[pid=384] ppid=381 vsize=1337924 CPUtime=1421.86 cores=4-7,12-15
/proc/384/stat : 384 (toysat) R 381 384 32495 0 -1 4202496 275870 0 0 0 142139 47 0 0 20 0 4 0 27367419 1370034176 275860 33554432000 4194304 16246674 140735781345120 140735781327040 5600804 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/384/statm: 334481 275860 892 2943 0 331375 0
[pid=384/tid=385] ppid=381 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/384/task/385/stat : 385 (toysat) S 381 384 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27367419 1370034176 275860 33554432000 4194304 16246674 140735781345120 140618774850800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=384/tid=386] ppid=381 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/384/task/386/stat : 386 (toysat) S 381 384 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27367419 1370034176 275860 33554432000 4194304 16246674 140735781345120 140618764360944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=384/tid=387] ppid=381 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/384/task/387/stat : 387 (toysat) S 381 384 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27367419 1370034176 275860 33554432000 4194304 16246674 140735781345120 140618753887408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1337924

[startup+1482.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/265 525
/proc/meminfo: memFree=29771940/32872528 swapFree=7556/7556
[pid=384] ppid=381 vsize=1337924 CPUtime=1481.84 cores=4-7,12-15
/proc/384/stat : 384 (toysat) R 381 384 32495 0 -1 4202496 275870 0 0 0 148137 47 0 0 20 0 4 0 27367419 1370034176 275860 33554432000 4194304 16246674 140735781345120 140735781344296 12415766 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/384/statm: 334481 275860 892 2943 0 331375 0
[pid=384/tid=385] ppid=381 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/384/task/385/stat : 385 (toysat) S 381 384 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27367419 1370034176 275860 33554432000 4194304 16246674 140735781345120 140618774850800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=384/tid=386] ppid=381 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/384/task/386/stat : 386 (toysat) S 381 384 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27367419 1370034176 275860 33554432000 4194304 16246674 140735781345120 140618764360944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=384/tid=387] ppid=381 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/384/task/387/stat : 387 (toysat) S 381 384 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27367419 1370034176 275860 33554432000 4194304 16246674 140735781345120 140618753887408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1337924

[startup+1542.31 s]
/proc/loadavg: 2.09 2.09 2.08 3/266 531
/proc/meminfo: memFree=29770968/32872528 swapFree=7556/7556
[pid=384] ppid=381 vsize=1337924 CPUtime=1541.84 cores=4-7,12-15
/proc/384/stat : 384 (toysat) R 381 384 32495 0 -1 4202496 275870 0 0 0 154137 47 0 0 20 0 4 0 27367419 1370034176 275860 33554432000 4194304 16246674 140735781345120 140735781344296 5600072 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/384/statm: 334481 275860 892 2943 0 331375 0
[pid=384/tid=385] ppid=381 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/384/task/385/stat : 385 (toysat) S 381 384 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27367419 1370034176 275860 33554432000 4194304 16246674 140735781345120 140618774850800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=384/tid=386] ppid=381 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/384/task/386/stat : 386 (toysat) S 381 384 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27367419 1370034176 275860 33554432000 4194304 16246674 140735781345120 140618764360944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=384/tid=387] ppid=381 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/384/task/387/stat : 387 (toysat) S 381 384 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27367419 1370034176 275860 33554432000 4194304 16246674 140735781345120 140618753887408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1337924

[startup+1602.3 s]
/proc/loadavg: 2.15 2.10 2.09 3/265 532
/proc/meminfo: memFree=29771832/32872528 swapFree=7556/7556
[pid=384] ppid=381 vsize=1337924 CPUtime=1601.82 cores=4-7,12-15
/proc/384/stat : 384 (toysat) R 381 384 32495 0 -1 4202496 275870 0 0 0 160134 48 0 0 20 0 4 0 27367419 1370034176 275860 33554432000 4194304 16246674 140735781345120 140735781344296 5824720 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/384/statm: 334481 275860 892 2943 0 331375 0
[pid=384/tid=385] ppid=381 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/384/task/385/stat : 385 (toysat) S 381 384 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27367419 1370034176 275860 33554432000 4194304 16246674 140735781345120 140618774850800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=384/tid=386] ppid=381 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/384/task/386/stat : 386 (toysat) S 381 384 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27367419 1370034176 275860 33554432000 4194304 16246674 140735781345120 140618764360944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=384/tid=387] ppid=381 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/384/task/387/stat : 387 (toysat) S 381 384 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27367419 1370034176 275860 33554432000 4194304 16246674 140735781345120 140618753887408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1337924

[startup+1662.3 s]
/proc/loadavg: 2.13 2.10 2.09 3/266 534
/proc/meminfo: memFree=29771204/32872528 swapFree=7556/7556
[pid=384] ppid=381 vsize=1337924 CPUtime=1661.81 cores=4-7,12-15
/proc/384/stat : 384 (toysat) R 381 384 32495 0 -1 4202496 275870 0 0 0 166132 49 0 0 20 0 4 0 27367419 1370034176 275860 33554432000 4194304 16246674 140735781345120 140735781327040 4220897 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/384/statm: 334481 275860 892 2943 0 331375 0
[pid=384/tid=385] ppid=381 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/384/task/385/stat : 385 (toysat) S 381 384 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27367419 1370034176 275860 33554432000 4194304 16246674 140735781345120 140618774850800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=384/tid=386] ppid=381 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/384/task/386/stat : 386 (toysat) S 381 384 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27367419 1370034176 275860 33554432000 4194304 16246674 140735781345120 140618764360944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=384/tid=387] ppid=381 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/384/task/387/stat : 387 (toysat) S 381 384 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27367419 1370034176 275860 33554432000 4194304 16246674 140735781345120 140618753887408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1337924

[startup+1722.3 s]
/proc/loadavg: 2.04 2.08 2.08 3/265 535
/proc/meminfo: memFree=29770904/32872528 swapFree=7556/7556
[pid=384] ppid=381 vsize=1337924 CPUtime=1721.81 cores=4-7,12-15
/proc/384/stat : 384 (toysat) R 381 384 32495 0 -1 4202496 275871 0 0 0 172131 50 0 0 20 0 4 0 27367419 1370034176 275863 33554432000 4194304 16246674 140735781345120 140735781327040 5677888 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/384/statm: 334481 275863 892 2943 0 331375 0
[pid=384/tid=385] ppid=381 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/384/task/385/stat : 385 (toysat) S 381 384 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27367419 1370034176 275863 33554432000 4194304 16246674 140735781345120 140618774850800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=384/tid=386] ppid=381 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/384/task/386/stat : 386 (toysat) S 381 384 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27367419 1370034176 275863 33554432000 4194304 16246674 140735781345120 140618764360944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=384/tid=387] ppid=381 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/384/task/387/stat : 387 (toysat) S 381 384 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27367419 1370034176 275863 33554432000 4194304 16246674 140735781345120 140618753887408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1337924

[startup+1782.3 s]
/proc/loadavg: 2.09 2.09 2.09 3/265 536
/proc/meminfo: memFree=29770828/32872528 swapFree=7556/7556
[pid=384] ppid=381 vsize=1337924 CPUtime=1781.79 cores=4-7,12-15
/proc/384/stat : 384 (toysat) R 381 384 32495 0 -1 4202496 275871 0 0 0 178129 50 0 0 20 0 4 0 27367419 1370034176 275863 33554432000 4194304 16246674 140735781345120 140735781327040 5712760 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/384/statm: 334481 275863 892 2943 0 331375 0
[pid=384/tid=385] ppid=381 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/384/task/385/stat : 385 (toysat) S 381 384 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27367419 1370034176 275863 33554432000 4194304 16246674 140735781345120 140618774850800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=384/tid=386] ppid=381 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/384/task/386/stat : 386 (toysat) S 381 384 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27367419 1370034176 275863 33554432000 4194304 16246674 140735781345120 140618764360944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=384/tid=387] ppid=381 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/384/task/387/stat : 387 (toysat) S 381 384 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27367419 1370034176 275863 33554432000 4194304 16246674 140735781345120 140618753887408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1337924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.07 2.08 2.09 3/265 536
/proc/meminfo: memFree=29770916/32872528 swapFree=7556/7556
[pid=384] ppid=381 vsize=1337924 CPUtime=1800.09 cores=4-7,12-15
/proc/384/stat : 384 (toysat) R 381 384 32495 0 -1 4202496 275871 0 0 0 179959 50 0 0 20 0 4 0 27367419 1370034176 275863 33554432000 4194304 16246674 140735781345120 140735781327040 5677784 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/384/statm: 334481 275863 892 2943 0 331375 0
[pid=384/tid=385] ppid=381 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/384/task/385/stat : 385 (toysat) S 381 384 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27367419 1370034176 275863 33554432000 4194304 16246674 140735781345120 140618774850800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=384/tid=386] ppid=381 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/384/task/386/stat : 386 (toysat) S 381 384 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27367419 1370034176 275863 33554432000 4194304 16246674 140735781345120 140618764360944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=384/tid=387] ppid=381 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/384/task/387/stat : 387 (toysat) S 381 384 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27367419 1370034176 275863 33554432000 4194304 16246674 140735781345120 140618753887408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1337924

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.6
CPU system time (s): 0.504923
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 1337924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.504923
maximum resident set size= 1103452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275871
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= 324
involuntary context switches= 1838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2474 second user time and 12.846 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 14:14:52
IDJOB=4115885
IDBENCH=109401
IDSOLVER=2542
FILE ID=node132/4115885-1466943292
RUNJOBID= node132-1466939688-32512
PBS_JOBID= 19976333
Free space on /tmp= 71512 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-6.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115885-1466943292/watcher-4115885-1466943292 -o /tmp/evaluation-result-4115885-1466943292/solver-4115885-1466943292 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466939688-32512 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4115885-1466943292.opb

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

MD5SUM BENCH= 216911be387cb053644e0ec26fd3f6f9
RANDOM SEED=1255131344

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        30886972 kB
Buffers:            8360 kB
Cached:           170452 kB
SwapCached:         1788 kB
Active:          1148644 kB
Inactive:         123016 kB
Active(anon):    1091576 kB
Inactive(anon):     3172 kB
Active(file):      57068 kB
Inactive(file):   119844 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098632 kB
Dirty:             16980 kB
Writeback:             0 kB
AnonPages:       1099344 kB
Mapped:            10884 kB
Shmem:                 0 kB
Slab:             569568 kB
SReclaimable:      10036 kB
SUnreclaim:       559532 kB
KernelStack:        2216 kB
PageTables:         5840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1242180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1083392 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= 71496 MiB
End job on node132 at 2016-06-26 14:44:53