Trace number 4078826

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12032_3-unsat.opb
MD5SUM336dbbe12a18bfd6b8d34c583a70b44b
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 variables32186
Total number of constraints107047
Number of constraints which are clauses106519
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints528
Minimum length of a constraint1
Maximum length of a constraint93
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 26
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 561
Number of bits of the biggest sum of numbers10
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-07T06:18:41+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-4078826-1465273121.opb"]
0.00/0.01	c use --random-gen="4246210599 3608282505 1675196882 27438060 680448952 1809283468 3774618412 924629435 1597775382 3521341678 2879643640 3151979406 1174444727 2205911699 810469045 366887147 421678399 1853577451 831680239 591748234 3149417946 814433438 3453436305 2638920383 1015267892 4198037208 2911958455 1758167150 2469910696 3858885924 1146799760 3648934737 2188303931 193595761 2923261813 1111190014 2763660131 218226763 492312843 2650671607 2216700354 1044528322 3259579596 2202173415 3582617533 3016815830 2551433747 1179465914 1636021868 2839965641 2472348650 2179493002 1613137151 2229438448 1117864588 3395250682 2512007201 214943613 401026738 4013552937 3018785600 3029192387 4243241944 4099145187 2797676029 4047536464 3556238399 3559436976 4025463787 443710102 3522777543 110853840 3694827079 2483761902 1395783915 4207542107 2536931394 275273916 2091421155 868072115 3671562192 3100361515 900804159 3014364826 1015590649 533000341 575481832 1774344113 3597227042 3446955462 1507252368 3219965641 655305594 421691107 2890124790 3254099238 2283468884 4092111321 3198091458 758947819 3637078014 311395073 1990584147 538270336 3043927827 1030181132 2460737799 113694553 2715349292 3334380190 939512809 149731352 1841364505 3828379770 772790725 463781240 2654812155 854392479 1233100449 3311277230 2861705175 2133068584 4132483396 779897030 2672063018 1761149084 948432869 3095405981 1467606889 2831514983 903062391 1550175126 3365388946 3669828735 141937599 3111241115 211778285 654827310 3531918957 1986968344 4210879401 1699807321 1890817704 2798326049 1446311406 4011756298 2245849754 415920952 3504379218 1566334289 3526450953 3439773080 2609742698 2972357749 3626785201 1309840461 94598668 1769510574 2346302714 3005445995 3526673749 4251129306 65569740 2545183990 3240887932 56351548 4250833029 3790553157 242406878 2785082342 1880923041 3229646232 1667554335 3071759748 2031973733 4212465425 4070688076 3305619763 1368775022 549574803 1356113888 3335068443 1827387239 258324700 1159906949 2996280752 315808451 2422701061 2664922018 1551551018 750137692 158783427 2423898445 2458673962 4271097829 3179849899 3850564593 544941659 646486966 2315216949 3440437639 1262025734 2097644307 109261197 3498960888 3014116164 1272661264 927410533 2165569503 706962923 315603596 2753632833 380937332 1267317711 1729860077 1940336915 1380181917 2722601890 1601768366 3463458653 1417550535 3168189923 1229647712 2505652521 3567353934 2952354740 994928704 2247074299 749589907 2044921613 1195546415 4108219232 2112291794 875346423 1154261678 3156199889 13221014 2149159288 3987288637 620906783 1993706041 3595338378 2334378997 1238087872 4190851583 4140253676 2274247586 265611521 1993155078 2191532042 4283225727 109628094 2697231358 1679975756 3448586074 680582262 255 362436" option to reproduce the execution
0.59/0.65	c #vars 32186
0.59/0.65	c #constraints 107047
1.59/1.67	c Solving starts ...
1.59/1.67	c ============================[ Search Statistics ]============================
1.59/1.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.59/1.67	c       |         |          |          |    Limit     GC | Var      | Constra 
1.59/1.67	c =============================================================================
1.59/1.67	c  0.0s |       0 |        0 |        0 |    30218      0 |    18946 |        0
1.79/1.89	c  0.2s |       1 |      180 |      100 |    30218      0 |    18946 |    22749
2.20/2.26	c  0.6s |       2 |      400 |      250 |    33240      0 |    18946 |    22749
2.69/2.72	c  1.0s |       3 |      738 |      475 |    36564      0 |    18946 |    22749
3.40/3.47	c  1.8s |       4 |     1234 |      813 |    40221      0 |    18946 |    22749
4.50/4.53	c  2.9s |       5 |     2005 |     1320 |    44244      0 |    18946 |    22749
6.19/6.27	c  4.6s |       6 |     3146 |     2081 |    53536      0 |    18946 |    22749
8.19/8.22	c  6.5s |       7 |     4583 |     3223 |    58890      0 |    18946 |    22749
10.29/10.34	c  8.7s |       7 |     6142 |     4223 |    58890      0 |    18946 |    22749
11.89/11.99	c 10.3s |       8 |     7182 |     4936 |    64780      0 |    18946 |    22749
14.09/14.14	c 12.5s |       8 |     8784 |     6036 |    64780      0 |    18946 |    22749
16.19/16.25	c 14.6s |       8 |    10214 |     7036 |    64780      0 |    18946 |    22749
17.29/17.37	c 15.7s |       9 |    10880 |     7506 |    71258      0 |    18946 |    22749
19.39/19.44	c 17.8s |       9 |    12229 |     8406 |    71258      0 |    18946 |    22749
21.49/21.55	c 19.9s |       9 |    13626 |     9406 |    71258      0 |    18946 |    22749
23.69/23.73	c 22.1s |       9 |    15096 |    10406 |    71258      0 |    18946 |    22749
25.79/25.82	c 24.1s |       9 |    16206 |    11206 |    71258      0 |    18946 |    22749
26.09/26.19	c 24.5s |      10 |    16388 |    11361 |    78384      0 |    18946 |    22749
28.19/28.23	c 26.6s |      10 |    17633 |    12261 |    78384      0 |    18946 |    22749
30.19/30.25	c 28.6s |      10 |    18646 |    13061 |    78384      0 |    18946 |    22749
32.39/32.47	c 30.8s |      10 |    19971 |    13961 |    78384      0 |    18946 |    22749
34.49/34.58	c 32.9s |      10 |    21449 |    14861 |    78384      0 |    18946 |    22749
36.69/36.74	c 35.1s |      10 |    22639 |    15761 |    78384      0 |    18946 |    22749
38.89/38.94	c 37.3s |      10 |    23860 |    16661 |    78384      0 |    18946 |    22749
39.99/40.01	c 38.3s |      11 |    24507 |    17144 |    86223      0 |    18946 |    22749
41.99/42.07	c 40.4s |      11 |    25655 |    17944 |    86223      0 |    18946 |    22749
44.19/44.24	c 42.6s |      11 |    27047 |    18944 |    86223      0 |    18946 |    22749
46.29/46.32	c 44.6s |      11 |    28184 |    19844 |    86223      0 |    18946 |    22749
48.39/48.43	c 46.8s |      11 |    29224 |    20644 |    86223      0 |    18946 |    22749
50.49/50.56	c 48.9s |      11 |    30253 |    21444 |    86223      0 |    18946 |    22749
52.49/52.58	c 50.9s |      11 |    31199 |    22144 |    86223      0 |    18946 |    22749
54.68/54.78	c 53.1s |      11 |    32259 |    22944 |    86223      0 |    18946 |    22749
56.88/56.95	c 55.3s |      11 |    33479 |    23744 |    86223      0 |    18946 |    22749
58.98/59.07	c 57.4s |      11 |    34451 |    24544 |    86223      0 |    18946 |    22749
61.18/61.25	c 59.6s |      11 |    35485 |    25344 |    86223      0 |    18946 |    22749
62.48/62.57	c 60.9s |      12 |    36040 |    25819 |    94846      0 |    18946 |    22749
64.68/64.70	c 63.0s |      12 |    37006 |    26519 |    94846      0 |    18946 |    22749
66.88/66.91	c 65.2s |      12 |    38104 |    27319 |    94846      0 |    18946 |    22749
69.08/69.11	c 67.4s |      12 |    38968 |    28019 |    94846      0 |    18946 |    22749
71.28/71.38	c 69.7s |      12 |    39865 |    28719 |    94846      0 |    18946 |    22749
73.58/73.60	c 71.9s |      12 |    40579 |    29319 |    94846      0 |    18946 |    22749
75.68/75.72	c 74.0s |      12 |    41320 |    29919 |    94846      0 |    18946 |    22749
77.88/77.93	c 76.3s |      12 |    42228 |    30619 |    94846      0 |    18946 |    22749
80.18/80.26	c 78.6s |      12 |    43060 |    31319 |    94846      0 |    18946 |    22749
82.28/82.39	c 80.7s |      12 |    43778 |    31919 |    94846      0 |    18946 |    22749
84.48/84.59	c 82.9s |      12 |    44690 |    32619 |    94846      0 |    18946 |    22749
86.48/86.60	c 84.9s |      12 |    45429 |    33219 |    94846      0 |    18946 |    22749
88.78/88.88	c 87.2s |      12 |    46285 |    33919 |    94846      0 |    18946 |    22749
90.88/90.94	c 89.3s |      12 |    47128 |    34519 |    94846      0 |    18946 |    22749
92.98/93.09	c 91.4s |      12 |    48037 |    35219 |    94846      0 |    18946 |    22749
95.18/95.29	c 93.6s |      12 |    48812 |    35819 |    94846      0 |    18946 |    22749
97.48/97.57	c 95.9s |      12 |    49614 |    36419 |    94846      0 |    18946 |    22749
99.68/99.75	c 98.1s |      12 |    50453 |    37019 |    94846      0 |    18946 |    22749
101.88/101.95	c  100s |      12 |    51266 |    37619 |    94846      0 |    18946 |    22749
104.18/104.21	c  102s |      12 |    52163 |    38319 |    94846      0 |    18946 |    22749
105.58/105.61	c  103s |      13 |    52840 |    38832 |   104331      0 |    18946 |    22749
107.78/107.81	c  106s |      13 |    53759 |    39432 |   104331      0 |    18946 |    22749
109.98/110.10	c  108s |      13 |    54761 |    40132 |   104331      0 |    18946 |    22749
112.18/112.24	c  110s |      13 |    55881 |    41032 |   104331      0 |    18946 |    22749
114.27/114.33	c  112s |      13 |    56800 |    41732 |   104331      0 |    18946 |    22749
116.37/116.45	c  114s |      13 |    57746 |    42532 |   104331      0 |    18946 |    22749
118.57/118.67	c  116s |      13 |    58754 |    43332 |   104331      0 |    18946 |    22749
120.87/120.93	c  119s |      13 |    59765 |    44132 |   104331      0 |    18946 |    22749
123.07/123.17	c  121s |      13 |    60639 |    44732 |   104331      0 |    18946 |    22749
125.07/125.17	c  123s |      13 |    61313 |    45232 |   104331      0 |    18946 |    22749
127.27/127.30	c  125s |      13 |    62139 |    45832 |   104331      0 |    18946 |    22749
129.57/129.60	c  127s |      13 |    62909 |    46432 |   104331      0 |    18946 |    22749
131.77/131.86	c  130s |      13 |    63684 |    47032 |   104331      0 |    18946 |    22749
134.07/134.13	c  132s |      13 |    64505 |    47632 |   104331      0 |    18946 |    22749
136.38/136.43	c  134s |      13 |    65273 |    48232 |   104331      0 |    18946 |    22749
138.37/138.48	c  136s |      13 |    65885 |    48732 |   104331      0 |    18946 |    22749
140.47/140.54	c  138s |      13 |    66544 |    49232 |   104331      0 |    18946 |    22749
142.67/142.78	c  141s |      13 |    67236 |    49732 |   104331      0 |    18946 |    22749
144.77/144.85	c  143s |      13 |    67893 |    50232 |   104331      0 |    18946 |    22749
147.17/147.27	c  145s |      13 |    68550 |    50732 |   104331      0 |    18946 |    22749
149.47/149.59	c  147s |      13 |    69152 |    51232 |   104331      0 |    18946 |    22749
151.57/151.61	c  149s |      13 |    69622 |    51632 |   104331      0 |    18946 |    22749
153.67/153.77	c  152s |      13 |    70235 |    52132 |   104331      0 |    18946 |    22749
155.87/155.90	c  154s |      13 |    71075 |    52732 |   104331      0 |    18946 |    22749
158.07/158.19	c  156s |      13 |    71809 |    53332 |   104331      0 |    18946 |    22749
160.47/160.52	c  158s |      13 |    72537 |    53932 |   104331      0 |    18946 |    22749
162.77/162.86	c  161s |      13 |    73159 |    54432 |   104331      0 |    18946 |    22749
164.97/165.02	c  163s |      13 |    73760 |    54932 |   104331      0 |    18946 |    22749
167.17/167.25	c  165s |      13 |    74359 |    55432 |   104331      0 |    18946 |    22749
169.37/169.42	c  167s |      13 |    75045 |    55932 |   104331      0 |    18946 |    22749
171.67/171.73	c  170s |      13 |    75812 |    56532 |   104331      0 |    18946 |    22749
173.67/173.75	c  172s |      13 |    76461 |    57032 |   104331      0 |    18946 |    22749
175.67/175.76	c  174s |      13 |    77053 |    57532 |   104331      0 |    18946 |    22749
177.87/177.95	c  176s |      13 |    77654 |    58032 |   114765      0 |    18946 |    22749
179.56/179.62	c  177s |      14 |    78057 |    58352 |   114765      0 |    18946 |    22749
181.86/182.00	c  180s |      14 |    78787 |    58852 |   114765      0 |    18946 |    22749
184.06/184.14	c  182s |      14 |    79391 |    59352 |   114765      0 |    18946 |    22749
186.26/186.35	c  184s |      14 |    79995 |    59852 |   114765      0 |    18946 |    22749
188.46/188.58	c  186s |      14 |    80778 |    60452 |   114765      0 |    18946 |    22749
190.86/190.91	c  189s |      14 |    81447 |    60952 |   114765      0 |    18946 |    22749
193.16/193.25	c  191s |      14 |    82049 |    61452 |   114765      0 |    18946 |    22749
195.36/195.47	c  193s |      14 |    82664 |    61952 |   114765      0 |    18946 |    22749
197.76/197.89	c  196s |      14 |    83338 |    62452 |   114765      0 |    18946 |    22749
200.27/200.36	c  198s |      14 |    83943 |    62952 |   114765      0 |    18946 |    22749
202.76/202.86	c  201s |      14 |    84550 |    63452 |   114765      0 |    18946 |    22749
205.06/205.12	c  203s |      14 |    85175 |    63952 |   114765      0 |    18946 |    22749
207.16/207.21	c  205s |      14 |    85793 |    64452 |   114765      0 |    18946 |    22749
209.46/209.56	c  207s |      14 |    86448 |    64952 |   114765      0 |    18946 |    22749
211.86/211.96	c  210s |      14 |    87074 |    65452 |   114765      0 |    18946 |    22749
214.26/214.31	c  212s |      14 |    87705 |    65952 |   114765      0 |    18946 |    22749
216.26/216.35	c  214s |      14 |    88254 |    66352 |   114765      0 |    18946 |    22749
218.26/218.38	c  216s |      14 |    88750 |    66752 |   114765      0 |    18946 |    22749
220.36/220.40	c  218s |      14 |    89252 |    67152 |   114765      0 |    18946 |    22749
222.46/222.57	c  220s |      14 |    90149 |    67752 |   114765      0 |    18946 |    22749
224.56/224.64	c  222s |      14 |    91011 |    68452 |   114765      0 |    18946 |    22749
226.66/226.77	c  225s |      14 |    91917 |    69152 |   114765      0 |    18946 |    22749
228.86/228.99	c  227s |      14 |    92829 |    69852 |   114765      0 |    18946 |    22749
231.06/231.14	c  229s |      14 |    93730 |    70552 |   114765      0 |    18946 |    22749
233.16/233.28	c  231s |      14 |    94610 |    71252 |   114765      0 |    18946 |    22749
235.56/235.61	c  233s |      14 |    95690 |    72052 |   114765      0 |    18946 |    22749
237.56/237.61	c  235s |      14 |    96547 |    72752 |   114765      0 |    18946 |    22749
239.76/239.83	c  238s |      14 |    97460 |    73452 |   114765      0 |    18946 |    22749
241.76/241.89	c  240s |      14 |    98051 |    73952 |   114765      0 |    18946 |    22749
243.85/243.94	c  242s |      14 |    98643 |    74452 |   114765      0 |    18946 |    22749
246.25/246.38	c  244s |      14 |    99424 |    75052 |   114765      0 |    18946 |    22749
248.35/248.43	c  246s |      14 |   100199 |    75652 |   114765      0 |    18946 |    22749
250.55/250.60	c  248s |      14 |   100971 |    76252 |   114765      0 |    18946 |    22749
252.55/252.63	c  250s |      14 |   101584 |    76752 |   114765      0 |    18946 |    22749
254.65/254.78	c  253s |      14 |   102215 |    77252 |   114765      0 |    18946 |    22749
256.85/256.98	c  255s |      14 |   102833 |    77752 |   114765      0 |    18946 |    22749
259.25/259.32	c  257s |      14 |   103447 |    78252 |   114765      0 |    18946 |    22749
261.35/261.48	c  259s |      14 |   104420 |    78952 |   114765      0 |    18946 |    22749
263.55/263.65	c  261s |      14 |   105149 |    79552 |   114765      0 |    18946 |    22749
265.85/265.94	c  264s |      14 |   105871 |    80152 |   114765      0 |    18946 |    22749
268.05/268.13	c  266s |      14 |   106543 |    80652 |   114765      0 |    18946 |    22749
270.05/270.14	c  268s |      14 |   107271 |    81152 |   114765      0 |    18946 |    22749
272.35/272.40	c  270s |      14 |   107897 |    81652 |   114765      0 |    18946 |    22749
274.75/274.86	c  273s |      14 |   108564 |    82152 |   114765      0 |    18946 |    22749
276.85/276.92	c  275s |      14 |   109083 |    82552 |   114765      0 |    18946 |    22749
278.95/279.02	c  277s |      14 |   109596 |    82952 |   114765      0 |    18946 |    22749
281.05/281.16	c  279s |      14 |   110197 |    83452 |   114765      0 |    18946 |    22749
283.15/283.26	c  281s |      14 |   110826 |    83952 |   114765      0 |    18946 |    22749
285.35/285.47	c  283s |      14 |   111627 |    84552 |   114765      0 |    18946 |    22749
287.65/287.70	c  286s |      14 |   112347 |    85152 |   114765      0 |    18946 |    22749
289.65/289.76	c  288s |      14 |   113007 |    85652 |   114765      0 |    18946 |    22749
292.05/292.12	c  290s |      14 |   113625 |    86152 |   114765      0 |    18946 |    22749
294.25/294.35	c  292s |      14 |   114358 |    86752 |   114765      0 |    18946 |    22749
296.45/296.59	c  294s |      14 |   114998 |    87252 |   126242      0 |    18946 |    22749
298.05/298.15	c  296s |      15 |   115542 |    87632 |   126242      0 |    18946 |    22749
300.25/300.31	c  298s |      15 |   116076 |    88032 |   126242      0 |    18946 |    22749
302.25/302.33	c  300s |      15 |   116685 |    88532 |   126242      0 |    18946 |    22749
304.45/304.55	c  302s |      15 |   117446 |    89132 |   126242      0 |    18946 |    22749
306.85/306.99	c  305s |      15 |   118196 |    89732 |   126242      0 |    18946 |    22749
309.05/309.20	c  307s |      15 |   118793 |    90232 |   126242      0 |    18946 |    22749
311.14/311.20	c  309s |      15 |   119452 |    90732 |   126242      0 |    18946 |    22749
313.14/313.21	c  311s |      15 |   120063 |    91232 |   126242      0 |    18946 |    22749
315.44/315.59	c  313s |      15 |   120800 |    91832 |   126242      0 |    18946 |    22749
317.85/317.91	c  316s |      15 |   121376 |    92332 |   126242      0 |    18946 |    22749
320.05/320.11	c  318s |      15 |   121952 |    92832 |   126242      0 |    18946 |    22749
322.35/322.47	c  320s |      15 |   122571 |    93332 |   126242      0 |    18946 |    22749
324.64/324.78	c  323s |      15 |   123268 |    93932 |   126242      0 |    18946 |    22749
326.94/327.00	c  325s |      15 |   123894 |    94432 |   126242      0 |    18946 |    22749
329.34/329.49	c  327s |      15 |   124469 |    94932 |   126242      0 |    18946 |    22749
331.44/331.51	c  329s |      15 |   124937 |    95332 |   126242      0 |    18946 |    22749
333.74/333.82	c  332s |      15 |   125538 |    95832 |   126242      0 |    18946 |    22749
335.84/335.91	c  334s |      15 |   125976 |    96232 |   126242      0 |    18946 |    22749
337.94/338.02	c  336s |      15 |   126457 |    96632 |   126242      0 |    18946 |    22749
340.24/340.34	c  338s |      15 |   126946 |    97032 |   126242      0 |    18946 |    22749
342.54/342.68	c  341s |      15 |   127554 |    97532 |   126242      0 |    18946 |    22749
345.14/345.22	c  343s |      15 |   128196 |    98032 |   126242      0 |    18946 |    22749
347.54/347.67	c  345s |      15 |   128802 |    98532 |   126242      0 |    18946 |    22749
349.54/349.68	c  348s |      15 |   129274 |    98932 |   126242      0 |    18946 |    22749
351.84/351.90	c  350s |      15 |   129897 |    99432 |   126242      0 |    18946 |    22749
354.14/354.22	c  352s |      15 |   130482 |    99932 |   126242      0 |    18946 |    22749
356.63/356.77	c  355s |      15 |   131079 |   100432 |   126242      0 |    18946 |    22749
358.73/358.81	c  357s |      15 |   131587 |   100832 |   126242      0 |    18946 |    22749
360.93/361.00	c  359s |      15 |   132211 |   101332 |   126242      0 |    18946 |    22749
362.94/363.02	c  361s |      15 |   132707 |   101732 |   126242      0 |    18946 |    22749
365.03/365.15	c  363s |      15 |   133177 |   102132 |   126242      0 |    18946 |    22749
367.44/367.55	c  365s |      15 |   133809 |   102632 |   126242      0 |    18946 |    22749
369.54/369.61	c  367s |      15 |   134484 |   103132 |   126242      0 |    18946 |    22749
371.63/371.77	c  370s |      15 |   135116 |   103632 |   126242      0 |    18946 |    22749
374.04/374.17	c  372s |      15 |   135710 |   104132 |   126242      0 |    18946 |    22749
376.03/376.18	c  374s |      15 |   136214 |   104532 |   126242      0 |    18946 |    22749
378.43/378.56	c  376s |      15 |   136789 |   105032 |   126242      0 |    18946 |    22749
380.63/380.74	c  379s |      15 |   137391 |   105532 |   126242      0 |    18946 |    22749
382.62/382.76	c  381s |      15 |   137849 |   105932 |   126242      0 |    18946 |    22749
385.12/385.25	c  383s |      15 |   138453 |   106432 |   126242      0 |    18946 |    22749
387.52/387.65	c  385s |      15 |   139053 |   106932 |   126242      0 |    18946 |    22749
389.62/389.72	c  388s |      15 |   139533 |   107332 |   126242      0 |    18946 |    22749
391.92/392.05	c  390s |      15 |   140117 |   107832 |   126242      0 |    18946 |    22749
394.32/394.45	c  392s |      15 |   140709 |   108332 |   126242      0 |    18946 |    22749
396.82/396.92	c  395s |      15 |   141336 |   108832 |   126242      0 |    18946 |    22749
398.82/398.94	c  397s |      15 |   141860 |   109232 |   126242      0 |    18946 |    22749
400.92/401.00	c  399s |      15 |   142329 |   109632 |   126242      0 |    18946 |    22749
402.92/403.01	c  401s |      15 |   142809 |   110032 |   126242      0 |    18946 |    22749
405.02/405.17	c  403s |      15 |   143247 |   110432 |   126242      0 |    18946 |    22749
407.12/407.24	c  405s |      15 |   143729 |   110832 |   126242      0 |    18946 |    22749
409.51/409.60	c  407s |      15 |   144395 |   111332 |   126242      0 |    18946 |    22749
411.61/411.72	c  410s |      15 |   145056 |   111832 |   126242      0 |    18946 |    22749
413.91/414.01	c  412s |      15 |   145670 |   112332 |   126242      0 |    18946 |    22749
416.11/416.22	c  414s |      15 |   146131 |   112732 |   126242      0 |    18946 |    22749
418.41/418.52	c  416s |      15 |   146699 |   113232 |   126242      0 |    18946 |    22749
420.81/420.99	c  419s |      15 |   147311 |   113732 |   126242      0 |    18946 |    22749
423.11/423.22	c  421s |      15 |   147788 |   114132 |   126242      0 |    18946 |    22749
425.51/425.61	c  423s |      15 |   148388 |   114632 |   126242      0 |    18946 |    22749
427.91/428.05	c  426s |      15 |   148970 |   115132 |   126242      0 |    18946 |    22749
429.90/430.07	c  428s |      15 |   149423 |   115532 |   126242      0 |    18946 |    22749
432.10/432.21	c  430s |      15 |   149872 |   115932 |   126242      0 |    18946 |    22749
434.10/434.23	c  432s |      15 |   150388 |   116332 |   126242      0 |    18946 |    22749
436.71/436.81	c  435s |      15 |   150967 |   116832 |   126242      0 |    18946 |    22749
439.10/439.29	c  437s |      15 |   151547 |   117332 |   126242      0 |    18946 |    22749
441.30/441.47	c  439s |      15 |   151984 |   117732 |   126242      0 |    18946 |    22749
443.60/443.72	c  442s |      15 |   152467 |   118132 |   126242      0 |    18946 |    22749
445.70/445.87	c  444s |      15 |   152941 |   118532 |   126242      0 |    18946 |    22749
447.90/448.04	c  446s |      15 |   153391 |   118932 |   126242      0 |    18946 |    22749
449.99/450.10	c  448s |      15 |   153839 |   119332 |   126242      0 |    18946 |    22749
452.19/452.35	c  450s |      15 |   154290 |   119732 |   126242      0 |    18946 |    22749
454.39/454.51	c  452s |      15 |   154749 |   120132 |   126242      0 |    18946 |    22749
456.59/456.75	c  455s |      15 |   155202 |   120532 |   126242      0 |    18946 |    22749
458.70/458.87	c  457s |      15 |   155662 |   120932 |   126242      0 |    18946 |    22749
460.69/460.88	c  459s |      15 |   156133 |   121332 |   126242      0 |    18946 |    22749
463.00/463.15	c  461s |      15 |   156590 |   121732 |   126242      0 |    18946 |    22749
465.49/465.62	c  463s |      15 |   157029 |   122132 |   126242      0 |    18946 |    22749
467.89/468.03	c  466s |      15 |   157507 |   122532 |   126242      0 |    18946 |    22749
470.28/470.46	c  468s |      15 |   158089 |   123032 |   126242      0 |    18946 |    22749
472.48/472.68	c  471s |      15 |   158550 |   123432 |   126242      0 |    18946 |    22749
474.78/474.93	c  473s |      15 |   158981 |   123832 |   126242      0 |    18946 |    22749
477.39/477.58	c  475s |      15 |   159565 |   124332 |   126242      0 |    18946 |    22749
479.78/479.98	c  478s |      15 |   160078 |   124732 |   126242      0 |    18946 |    22749
481.88/482.02	c  480s |      15 |   160552 |   125132 |   126242      0 |    18946 |    22749
483.99/484.16	c  482s |      15 |   161018 |   125532 |   126242      0 |    18946 |    22749
486.58/486.77	c  485s |      15 |   161489 |   125932 |   126242      0 |    18946 |    22749
489.18/489.35	c  487s |      15 |   161955 |   126332 |   126242      0 |    18946 |    22749
491.59/491.77	c  490s |      15 |   162412 |   126732 |   126242      0 |    18946 |    22749
494.28/494.42	c  492s |      15 |   162897 |   127132 |   126242      0 |    18946 |    22749
496.28/496.48	c  494s |      15 |   163242 |   127432 |   126242      0 |    18946 |    22749
499.08/499.23	c  497s |      15 |   163707 |   127832 |   126242      0 |    18946 |    22749
501.28/501.43	c  499s |      15 |   164063 |   128132 |   126242      0 |    18946 |    22749
503.38/503.57	c  501s |      15 |   164411 |   128432 |   126242      0 |    18946 |    22749
505.58/505.76	c  504s |      15 |   164755 |   128732 |   126242      0 |    18946 |    22749
507.78/507.91	c  506s |      15 |   165102 |   129032 |   126242      0 |    18946 |    22749
510.38/510.58	c  508s |      15 |   165571 |   129432 |   126242      0 |    18946 |    22749
512.48/512.66	c  510s |      15 |   165945 |   129732 |   126242      0 |    18946 |    22749
514.98/515.18	c  513s |      15 |   166432 |   130132 |   126242      0 |    18946 |    22749
517.68/517.89	c  516s |      15 |   166917 |   130532 |   126242      0 |    18946 |    22749
519.77/519.93	c  518s |      15 |   167244 |   130832 |   138867      0 |    18946 |    22749
521.97/522.20	c  520s |      15 |   167743 |   131232 |   138867      0 |    18946 |    22749
523.67/523.88	c  522s |      16 |   168116 |   131552 |   138867      0 |    18946 |    22749
526.17/526.33	c  524s |      16 |   168542 |   131852 |   138867      0 |    18946 |    22749
528.47/528.64	c  526s |      16 |   169206 |   132352 |   138867      0 |    18946 |    22749
530.87/531.06	c  529s |      16 |   169721 |   132752 |   138867      0 |    18946 |    22749
533.27/533.48	c  531s |      16 |   170493 |   133252 |   138867      0 |    18946 |    22749
535.37/535.52	c  533s |      16 |   170889 |   133552 |   138867      0 |    18946 |    22749
537.67/537.82	c  536s |      16 |   171425 |   133952 |   138867      0 |    18946 |    22749
539.67/539.89	c  538s |      16 |   172181 |   134452 |   138867      0 |    18946 |    22749
541.67/541.89	c  540s |      16 |   172730 |   134852 |   138867      0 |    18946 |    22749
543.87/544.02	c  542s |      16 |   173326 |   135252 |   138867      0 |    18946 |    22749
545.97/546.17	c  544s |      16 |   173889 |   135652 |   138867      0 |    18946 |    22749
548.06/548.20	c  546s |      16 |   174440 |   136052 |   138867      0 |    18946 |    22749
550.46/550.63	c  548s |      16 |   175082 |   136552 |   138867      0 |    18946 |    22749
552.56/552.73	c  551s |      16 |   175610 |   136952 |   138867      0 |    18946 |    22749
554.56/554.75	c  553s |      16 |   176106 |   137352 |   138867      0 |    18946 |    22749
557.06/557.20	c  555s |      16 |   176761 |   137852 |   138867      0 |    18946 |    22749
559.06/559.26	c  557s |      16 |   177123 |   138152 |   138867      0 |    18946 |    22749
561.36/561.57	c  559s |      16 |   177615 |   138552 |   138867      0 |    18946 |    22749
563.56/563.74	c  562s |      16 |   178119 |   138952 |   138867      0 |    18946 |    22749
565.66/565.84	c  564s |      16 |   178679 |   139352 |   138867      0 |    18946 |    22749
568.06/568.20	c  566s |      16 |   179240 |   139752 |   138867      0 |    18946 |    22749
570.16/570.38	c  568s |      16 |   179769 |   140152 |   138867      0 |    18946 |    22749
572.16/572.38	c  570s |      16 |   180351 |   140552 |   138867      0 |    18946 |    22749
574.45/574.65	c  572s |      16 |   180922 |   140952 |   138867      0 |    18946 |    22749
576.55/576.77	c  575s |      16 |   181517 |   141352 |   138867      0 |    18946 |    22749
578.95/579.19	c  577s |      16 |   182044 |   141752 |   138867      0 |    18946 |    22749
581.25/581.46	c  579s |      16 |   182568 |   142152 |   138867      0 |    18946 |    22749
583.55/583.70	c  582s |      16 |   183095 |   142552 |   138867      0 |    18946 |    22749
585.75/585.92	c  584s |      16 |   183626 |   142952 |   138867      0 |    18946 |    22749
587.95/588.13	c  586s |      16 |   184182 |   143352 |   138867      0 |    18946 |    22749
590.45/590.65	c  588s |      16 |   184712 |   143752 |   138867      0 |    18946 |    22749
592.75/592.91	c  591s |      16 |   185175 |   144152 |   138867      0 |    18946 |    22749
595.05/595.21	c  593s |      16 |   185719 |   144552 |   138867      0 |    18946 |    22749
597.15/597.32	c  595s |      16 |   186282 |   144952 |   138867      0 |    18946 |    22749
599.35/599.58	c  597s |      16 |   186785 |   145352 |   138867      0 |    18946 |    22749
601.94/602.19	c  600s |      16 |   187286 |   145752 |   138867      0 |    18946 |    22749
604.24/604.46	c  602s |      16 |   187829 |   146152 |   138867      0 |    18946 |    22749
606.64/606.80	c  605s |      16 |   188325 |   146552 |   138867      0 |    18946 |    22749
608.94/609.17	c  607s |      16 |   188813 |   146952 |   138867      0 |    18946 |    22749
611.14/611.33	c  609s |      16 |   189371 |   147352 |   138867      0 |    18946 |    22749
613.34/613.57	c  611s |      16 |   190228 |   147852 |   138867      0 |    18946 |    22749
615.84/616.02	c  614s |      16 |   190733 |   148252 |   138867      0 |    18946 |    22749
617.94/618.10	c  616s |      16 |   191235 |   148652 |   138867      0 |    18946 |    22749
619.93/620.17	c  618s |      16 |   191797 |   149052 |   138867      0 |    18946 |    22749
622.44/622.61	c  620s |      16 |   192509 |   149552 |   138867      0 |    18946 |    22749
624.64/624.81	c  623s |      16 |   193060 |   149952 |   138867      0 |    18946 |    22749
626.84/627.07	c  625s |      16 |   194250 |   150652 |   138867      0 |    18946 |    22749
629.03/629.27	c  627s |      16 |   194741 |   151052 |   138867      0 |    18946 |    22749
631.13/631.39	c  629s |      16 |   195305 |   151452 |   138867      0 |    18946 |    22749
633.73/633.99	c  632s |      16 |   195811 |   151852 |   138867      0 |    18946 |    22749
636.23/636.48	c  634s |      16 |   196303 |   152252 |   138867      0 |    18946 |    22749
638.63/638.84	c  637s |      16 |   196810 |   152652 |   138867      0 |    18946 |    22749
640.72/640.96	c  639s |      16 |   197341 |   153052 |   138867      0 |    18946 |    22749
642.82/643.00	c  641s |      16 |   197739 |   153352 |   138867      0 |    18946 |    22749
645.22/645.45	c  643s |      16 |   198285 |   153752 |   138867      0 |    18946 |    22749
647.32/647.50	c  645s |      16 |   198670 |   154052 |   138867      0 |    18946 |    22749
649.72/649.98	c  648s |      16 |   199250 |   154452 |   138867      0 |    18946 |    22749
651.72/651.99	c  650s |      16 |   199693 |   154752 |   138867      0 |    18946 |    22749
654.42/654.63	c  652s |      16 |   200217 |   155152 |   138867      0 |    18946 |    22749
656.92/657.11	c  655s |      16 |   200770 |   155552 |   138867      0 |    18946 |    22749
659.21/659.49	c  657s |      16 |   201290 |   155952 |   138867      0 |    18946 |    22749
661.71/662.00	c  660s |      16 |   201811 |   156352 |   138867      0 |    18946 |    22749
664.32/664.54	c  662s |      16 |   202292 |   156752 |   138867      0 |    18946 |    22749
666.91/667.11	c  665s |      16 |   202797 |   157152 |   138867      0 |    18946 |    22749
669.61/669.90	c  668s |      16 |   203353 |   157552 |   138867      0 |    18946 |    22749
671.92/672.15	c  670s |      16 |   203893 |   157952 |   138867      0 |    18946 |    22749
674.62/674.81	c  673s |      16 |   204450 |   158352 |   138867      0 |    18946 |    22749
676.72/676.99	c  675s |      16 |   204952 |   158752 |   138867      0 |    18946 |    22749
678.91/679.11	c  677s |      16 |   205477 |   159152 |   138867      0 |    18946 |    22749
681.01/681.29	c  679s |      16 |   206030 |   159552 |   138867      0 |    18946 |    22749
683.31/683.57	c  681s |      16 |   206996 |   160152 |   138867      0 |    18946 |    22749
685.51/685.78	c  684s |      16 |   207486 |   160552 |   138867      0 |    18946 |    22749
687.51/687.79	c  686s |      16 |   208035 |   160952 |   138867      0 |    18946 |    22749
689.91/690.16	c  688s |      16 |   208561 |   161352 |   138867      0 |    18946 |    22749
692.21/692.45	c  690s |      16 |   209100 |   161752 |   138867      0 |    18946 |    22749
694.31/694.53	c  692s |      16 |   209597 |   162152 |   138867      0 |    18946 |    22749
696.71/696.98	c  695s |      16 |   210071 |   162552 |   138867      0 |    18946 |    22749
698.80/699.07	c  697s |      16 |   210317 |   162752 |   138867      1 |    18946 |    22749
701.30/701.51	c  699s |      16 |   210809 |   163152 |   138867      1 |    18946 |    22749
703.60/703.86	c  702s |      16 |   211465 |   163652 |   138867      1 |    18946 |    22749
705.90/706.15	c  704s |      16 |   212110 |   164152 |   138867      1 |    18946 |    22749
708.31/708.51	c  706s |      16 |   212807 |   164652 |   138867      1 |    18946 |    22749
710.59/710.88	c  709s |      16 |   213505 |   165152 |   138867      1 |    18946 |    22749
712.79/713.07	c  711s |      16 |   213996 |   165552 |   138867      1 |    18946 |    22749
715.19/715.45	c  713s |      16 |   214645 |   166052 |   138867      1 |    18946 |    22749
717.49/717.78	c  716s |      16 |   215264 |   166552 |   138867      1 |    18946 |    22749
719.69/719.94	c  718s |      16 |   215943 |   167052 |   138867      1 |    18946 |    22749
721.89/722.10	c  720s |      16 |   216457 |   167452 |   138867      1 |    18946 |    22749
724.19/724.46	c  722s |      16 |   217090 |   167952 |   138867      1 |    18946 |    22749
726.59/726.88	c  725s |      16 |   217848 |   168552 |   138867      1 |    18946 |    22749
728.78/729.03	c  727s |      16 |   218340 |   168952 |   138867      1 |    18946 |    22749
730.88/731.15	c  729s |      16 |   218836 |   169352 |   138867      1 |    18946 |    22749
732.98/733.25	c  731s |      16 |   219349 |   169752 |   138867      1 |    18946 |    22749
735.08/735.33	c  733s |      16 |   220033 |   170252 |   138867      1 |    18946 |    22749
737.08/737.35	c  735s |      16 |   220523 |   170652 |   138867      1 |    18946 |    22749
739.08/739.38	c  737s |      16 |   221007 |   171052 |   138867      1 |    18946 |    22749
741.47/741.73	c  740s |      16 |   221669 |   171552 |   138867      1 |    18946 |    22749
743.67/743.94	c  742s |      16 |   222327 |   172052 |   138867      1 |    18946 |    22749
745.87/746.12	c  744s |      16 |   222932 |   172552 |   138867      1 |    18946 |    22749
747.88/748.17	c  746s |      16 |   223482 |   172952 |   138867      1 |    18946 |    22749
750.08/750.31	c  748s |      16 |   224136 |   173452 |   138867      1 |    18946 |    22749
752.47/752.73	c  751s |      16 |   224797 |   173952 |   138867      1 |    18946 |    22749
754.77/755.06	c  753s |      16 |   225402 |   174452 |   138867      1 |    18946 |    22749
756.97/757.25	c  755s |      16 |   225919 |   174852 |   138867      1 |    18946 |    22749
759.07/759.33	c  757s |      16 |   226389 |   175252 |   138867      1 |    18946 |    22749
761.27/761.52	c  759s |      16 |   226886 |   175652 |   138867      1 |    18946 |    22749
763.47/763.73	c  762s |      16 |   227365 |   176052 |   138867      1 |    18946 |    22749
765.56/765.89	c  764s |      16 |   227852 |   176452 |   138867      1 |    18946 |    22749
768.06/768.38	c  766s |      16 |   228441 |   176952 |   138867      1 |    18946 |    22749
770.56/770.88	c  769s |      16 |   229067 |   177452 |   138867      1 |    18946 |    22749
773.16/773.47	c  771s |      16 |   229642 |   177952 |   138867      1 |    18946 |    22749
775.36/775.63	c  773s |      16 |   230150 |   178352 |   138867      1 |    18946 |    22749
777.56/777.82	c  776s |      16 |   230651 |   178752 |   138867      1 |    18946 |    22749
779.55/779.87	c  778s |      16 |   231165 |   179152 |   138867      1 |    18946 |    22749
781.65/781.95	c  780s |      16 |   231832 |   179652 |   138867      1 |    18946 |    22749
783.95/784.21	c  782s |      16 |   232414 |   180152 |   138867      1 |    18946 |    22749
786.05/786.34	c  784s |      16 |   233026 |   180652 |   138867      1 |    18946 |    22749
788.15/788.48	c  786s |      16 |   233613 |   181152 |   138867      1 |    18946 |    22749
790.25/790.51	c  788s |      16 |   234119 |   181552 |   138867      1 |    18946 |    22749
792.75/793.08	c  791s |      16 |   234850 |   182052 |   138867      1 |    18946 |    22749
795.25/795.55	c  793s |      16 |   235347 |   182452 |   138867      1 |    18946 |    22749
797.55/797.80	c  796s |      16 |   235847 |   182852 |   138867      1 |    18946 |    22749
799.84/800.18	c  798s |      16 |   236522 |   183352 |   138867      1 |    18946 |    22749
802.14/802.41	c  800s |      16 |   237008 |   183752 |   138867      1 |    18946 |    22749
804.54/804.81	c  803s |      16 |   237539 |   184152 |   138867      1 |    18946 |    22749
806.94/807.22	c  805s |      16 |   238017 |   184552 |   138867      1 |    18946 |    22749
809.14/809.48	c  807s |      16 |   238498 |   184952 |   138867      1 |    18946 |    22749
811.64/811.92	c  810s |      16 |   238958 |   185352 |   138867      1 |    18946 |    22749
813.84/814.15	c  812s |      16 |   239430 |   185752 |   138867      1 |    18946 |    22749
815.94/816.30	c  814s |      16 |   239933 |   186152 |   138867      1 |    18946 |    22749
818.14/818.47	c  816s |      16 |   240422 |   186552 |   138867      1 |    18946 |    22749
820.73/821.07	c  819s |      16 |   240909 |   186952 |   138867      1 |    18946 |    22749
823.03/823.36	c  821s |      16 |   241410 |   187352 |   138867      1 |    18946 |    22749
825.33/825.66	c  823s |      16 |   241908 |   187752 |   138867      1 |    18946 |    22749
827.53/827.80	c  826s |      16 |   242403 |   188152 |   138867      1 |    18946 |    22749
829.72/830.03	c  828s |      16 |   242882 |   188552 |   138867      1 |    18946 |    22749
832.02/832.33	c  830s |      16 |   243393 |   188952 |   138867      1 |    18946 |    22749
834.52/834.90	c  833s |      16 |   243861 |   189352 |   138867      1 |    18946 |    22749
836.83/837.12	c  835s |      16 |   244367 |   189752 |   138867      1 |    18946 |    22749
839.42/839.71	c  838s |      16 |   244847 |   190152 |   138867      1 |    18946 |    22749
841.72/842.04	c  840s |      16 |   245342 |   190552 |   138867      1 |    18946 |    22749
843.82/844.18	c  842s |      16 |   245838 |   190952 |   138867      1 |    18946 |    22749
845.92/846.20	c  844s |      16 |   246353 |   191352 |   138867      1 |    18946 |    22749
848.12/848.48	c  846s |      16 |   246841 |   191752 |   138867      1 |    18946 |    22749
850.52/850.88	c  849s |      16 |   247311 |   192152 |   138867      1 |    18946 |    22749
853.02/853.31	c  851s |      16 |   247953 |   192652 |   138867      1 |    18946 |    22749
855.52/855.84	c  854s |      16 |   248383 |   193052 |   138867      1 |    18946 |    22749
857.82/858.13	c  856s |      16 |   248906 |   193452 |   138867      1 |    18946 |    22749
860.21/860.53	c  858s |      16 |   249408 |   193852 |   138867      1 |    18946 |    22749
862.31/862.68	c  861s |      16 |   249772 |   194152 |   138867      1 |    18946 |    22749
864.51/864.89	c  863s |      16 |   250106 |   194452 |   138867      1 |    18946 |    22749
866.71/867.01	c  865s |      16 |   250483 |   194752 |   138867      1 |    18946 |    22749
868.82/869.19	c  867s |      16 |   250852 |   195052 |   138867      1 |    18946 |    22749
871.21/871.51	c  869s |      16 |   251366 |   195452 |   138867      1 |    18946 |    22749
873.21/873.55	c  871s |      16 |   251724 |   195752 |   138867      1 |    18946 |    22749
875.71/876.07	c  874s |      16 |   252274 |   196152 |   152754      1 |    18946 |    22749
878.11/878.47	c  876s |      16 |   252760 |   196552 |   152754      1 |    18946 |    22749
880.60/880.97	c  879s |      16 |   253260 |   196952 |   152754      1 |    18946 |    22749
883.11/883.44	c  881s |      16 |   253772 |   197352 |   152754      1 |    18946 |    22749
883.50/883.82	c  882s |      17 |   253866 |   197432 |   152754      1 |    18946 |    22749
885.60/885.98	c  884s |      17 |   254317 |   197732 |   152754      1 |    18946 |    22749
888.00/888.30	c  886s |      17 |   254790 |   198132 |   152754      1 |    18946 |    22749
890.00/890.37	c  888s |      17 |   255277 |   198532 |   152754      1 |    18946 |    22749
892.00/892.37	c  890s |      17 |   255793 |   198932 |   152754      1 |    18946 |    22749
894.30/894.65	c  892s |      17 |   256258 |   199332 |   152754      1 |    18946 |    22749
896.60/896.91	c  895s |      17 |   256751 |   199732 |   152754      1 |    18946 |    22749
898.79/899.16	c  897s |      17 |   257260 |   200132 |   152754      1 |    18946 |    22749
900.79/901.17	c  899s |      17 |   257753 |   200532 |   152754      1 |    18946 |    22749
902.99/903.31	c  901s |      17 |   258267 |   200932 |   152754      1 |    18946 |    22749
905.10/905.46	c  903s |      17 |   258744 |   201332 |   152754      1 |    18946 |    22749
907.59/907.94	c  906s |      17 |   259368 |   201832 |   152754      1 |    18946 |    22749
910.09/910.44	c  908s |      17 |   259977 |   202332 |   152754      1 |    18946 |    22749
912.80/913.15	c  911s |      17 |   260610 |   202832 |   152754      1 |    18946 |    22749
915.00/915.39	c  913s |      17 |   261079 |   203232 |   152754      1 |    18946 |    22749
917.39/917.76	c  916s |      17 |   261535 |   203632 |   152754      1 |    18946 |    22749
919.79/920.19	c  918s |      17 |   261996 |   204032 |   152754      1 |    18946 |    22749
922.39/922.71	c  921s |      17 |   262473 |   204432 |   152754      1 |    18946 |    22749
924.99/925.31	c  923s |      17 |   263072 |   204932 |   152754      1 |    18946 |    22749
927.29/927.62	c  925s |      17 |   263532 |   205332 |   152754      1 |    18946 |    22749
929.29/929.68	c  928s |      17 |   264022 |   205732 |   152754      1 |    18946 |    22749
931.49/931.83	c  930s |      17 |   264523 |   206132 |   152754      1 |    18946 |    22749
934.08/934.42	c  932s |      17 |   265119 |   206632 |   152754      1 |    18946 |    22749
936.48/936.86	c  935s |      17 |   265584 |   207032 |   152754      1 |    18946 |    22749
938.88/939.23	c  937s |      17 |   266116 |   207432 |   152754      1 |    18946 |    22749
941.58/941.93	c  940s |      17 |   266578 |   207832 |   152754      1 |    18946 |    22749
943.78/944.14	c  942s |      17 |   267160 |   208232 |   152754      1 |    18946 |    22749
946.18/946.52	c  944s |      17 |   267633 |   208632 |   152754      1 |    18946 |    22749
948.28/948.61	c  946s |      17 |   268153 |   209032 |   152754      1 |    18946 |    22749
950.47/950.80	c  949s |      17 |   268656 |   209432 |   152754      1 |    18946 |    22749
952.47/952.86	c  951s |      17 |   269167 |   209832 |   152754      1 |    18946 |    22749
954.77/955.12	c  953s |      17 |   269664 |   210232 |   152754      1 |    18946 |    22749
957.17/957.55	c  955s |      17 |   270180 |   210632 |   152754      1 |    18946 |    22749
959.47/959.89	c  958s |      17 |   270714 |   211032 |   152754      1 |    18946 |    22749
961.56/961.98	c  960s |      17 |   271073 |   211332 |   152754      1 |    18946 |    22749
963.66/964.05	c  962s |      17 |   271428 |   211632 |   152754      1 |    18946 |    22749
965.96/966.38	c  964s |      17 |   271914 |   212032 |   152754      1 |    18946 |    22749
968.46/968.89	c  967s |      17 |   272484 |   212432 |   152754      1 |    18946 |    22749
970.86/971.26	c  969s |      17 |   272996 |   212832 |   152754      1 |    18946 |    22749
973.17/973.57	c  971s |      17 |   273523 |   213232 |   152754      1 |    18946 |    22749
975.36/975.78	c  974s |      17 |   273985 |   213632 |   152754      1 |    18946 |    22749
977.86/978.21	c  976s |      17 |   274492 |   214032 |   152754      1 |    18946 |    22749
979.95/980.38	c  978s |      17 |   275037 |   214432 |   152754      1 |    18946 |    22749
982.15/982.58	c  980s |      17 |   275543 |   214832 |   152754      1 |    18946 |    22749
984.45/984.83	c  983s |      17 |   276029 |   215232 |   152754      1 |    18946 |    22749
986.55/986.90	c  985s |      17 |   276502 |   215632 |   152754      1 |    18946 |    22749
988.66/989.03	c  987s |      17 |   276954 |   216032 |   152754      1 |    18946 |    22749
990.75/991.19	c  989s |      17 |   277433 |   216432 |   152754      1 |    18946 |    22749
993.05/993.45	c  991s |      17 |   277945 |   216832 |   152754      1 |    18946 |    22749
995.45/995.89	c  994s |      17 |   278446 |   217232 |   152754      1 |    18946 |    22749
997.75/998.14	c  996s |      17 |   278914 |   217632 |   152754      1 |    18946 |    22749
1000.05/1000.41	c  998s |      17 |   279434 |   218032 |   152754      1 |    18946 |    22749
1002.14/1002.51	c 1000s |      17 |   279913 |   218432 |   152754      1 |    18946 |    22749
1004.34/1004.78	c 1003s |      17 |   280395 |   218832 |   152754      1 |    18946 |    22749
1006.44/1006.89	c 1005s |      17 |   280863 |   219232 |   152754      1 |    18946 |    22749
1008.84/1009.22	c 1007s |      17 |   281483 |   219632 |   152754      1 |    18946 |    22749
1010.94/1011.35	c 1009s |      17 |   281881 |   219932 |   152754      1 |    18946 |    22749
1012.94/1013.37	c 1011s |      17 |   282246 |   220232 |   152754      1 |    18946 |    22749
1015.44/1015.88	c 1014s |      17 |   282771 |   220632 |   152754      1 |    18946 |    22749
1017.74/1018.19	c 1016s |      17 |   283259 |   221032 |   152754      1 |    18946 |    22749
1020.24/1020.70	c 1019s |      17 |   283774 |   221432 |   152754      1 |    18946 |    22749
1022.65/1023.07	c 1021s |      17 |   284259 |   221832 |   152754      1 |    18946 |    22749
1025.04/1025.42	c 1023s |      17 |   284767 |   222232 |   152754      1 |    18946 |    22749
1027.54/1027.95	c 1026s |      17 |   285228 |   222632 |   152754      1 |    18946 |    22749
1029.74/1030.14	c 1028s |      17 |   285716 |   223032 |   152754      1 |    18946 |    22749
1031.84/1032.26	c 1030s |      17 |   286239 |   223432 |   152754      1 |    18946 |    22749
1034.24/1034.65	c 1032s |      17 |   286700 |   223832 |   152754      1 |    18946 |    22749
1036.44/1036.88	c 1035s |      17 |   287172 |   224232 |   152754      1 |    18946 |    22749
1039.04/1039.44	c 1037s |      17 |   287616 |   224632 |   152754      1 |    18946 |    22749
1041.34/1041.80	c 1040s |      17 |   288092 |   225032 |   152754      1 |    18946 |    22749
1043.84/1044.29	c 1042s |      17 |   288539 |   225432 |   152754      1 |    18946 |    22749
1046.44/1046.85	c 1045s |      17 |   289000 |   225832 |   152754      1 |    18946 |    22749
1048.94/1049.40	c 1047s |      17 |   289482 |   226232 |   152754      1 |    18946 |    22749
1051.44/1051.88	c 1050s |      17 |   289973 |   226632 |   152754      1 |    18946 |    22749
1054.13/1054.52	c 1052s |      17 |   290443 |   227032 |   152754      1 |    18946 |    22749
1056.33/1056.71	c 1055s |      17 |   290899 |   227432 |   152754      1 |    18946 |    22749
1058.83/1059.25	c 1057s |      17 |   291371 |   227832 |   152754      1 |    18946 |    22749
1060.93/1061.37	c 1059s |      17 |   291840 |   228232 |   152754      1 |    18946 |    22749
1063.34/1063.80	c 1062s |      17 |   292330 |   228632 |   152754      1 |    18946 |    22749
1065.73/1066.19	c 1064s |      17 |   292805 |   229032 |   152754      1 |    18946 |    22749
1068.23/1068.69	c 1067s |      17 |   293279 |   229432 |   152754      1 |    18946 |    22749
1070.63/1071.04	c 1069s |      17 |   293747 |   229832 |   152754      1 |    18946 |    22749
1073.34/1073.76	c 1072s |      17 |   294201 |   230232 |   152754      1 |    18946 |    22749
1075.54/1075.94	c 1074s |      17 |   294538 |   230532 |   152754      1 |    18946 |    22749
1078.03/1078.42	c 1076s |      17 |   295006 |   230932 |   152754      1 |    18946 |    22749
1080.13/1080.57	c 1078s |      17 |   295364 |   231232 |   152754      1 |    18946 |    22749
1082.33/1082.78	c 1081s |      17 |   295722 |   231532 |   152754      1 |    18946 |    22749
1084.93/1085.32	c 1083s |      17 |   296201 |   231932 |   152754      1 |    18946 |    22749
1086.93/1087.36	c 1085s |      17 |   296557 |   232232 |   152754      1 |    18946 |    22749
1089.13/1089.54	c 1087s |      17 |   296938 |   232532 |   152754      1 |    18946 |    22749
1091.73/1092.18	c 1090s |      17 |   297407 |   232932 |   152754      1 |    18946 |    22749
1093.93/1094.35	c 1092s |      17 |   297739 |   233232 |   152754      1 |    18946 |    22749
1096.73/1097.13	c 1095s |      17 |   298238 |   233632 |   152754      1 |    18946 |    22749
1098.83/1099.27	c 1097s |      17 |   298603 |   233932 |   152754      1 |    18946 |    22749
1101.13/1101.58	c 1099s |      17 |   298964 |   234232 |   152754      1 |    18946 |    22749
1103.63/1104.04	c 1102s |      17 |   299334 |   234532 |   152754      1 |    18946 |    22749
1106.13/1106.51	c 1104s |      17 |   299655 |   234832 |   152754      1 |    18946 |    22749
1108.13/1108.54	c 1106s |      17 |   300036 |   235132 |   152754      1 |    18946 |    22749
1110.33/1110.79	c 1109s |      17 |   300384 |   235432 |   152754      1 |    18946 |    22749
1112.63/1113.08	c 1111s |      17 |   300849 |   235832 |   152754      1 |    18946 |    22749
1115.03/1115.45	c 1113s |      17 |   301355 |   236232 |   152754      1 |    18946 |    22749
1117.53/1117.99	c 1116s |      17 |   301836 |   236632 |   152754      1 |    18946 |    22749
1119.62/1120.09	c 1118s |      17 |   302192 |   236932 |   152754      1 |    18946 |    22749
1121.92/1122.38	c 1120s |      17 |   302537 |   237232 |   152754      1 |    18946 |    22749
1124.12/1124.52	c 1122s |      17 |   302896 |   237532 |   152754      1 |    18946 |    22749
1126.42/1126.88	c 1125s |      17 |   303270 |   237832 |   152754      1 |    18946 |    22749
1128.82/1129.20	c 1127s |      17 |   303601 |   238132 |   152754      1 |    18946 |    22749
1131.22/1131.66	c 1129s |      17 |   303946 |   238432 |   152754      1 |    18946 |    22749
1133.52/1133.90	c 1132s |      17 |   304300 |   238732 |   152754      1 |    18946 |    22749
1136.03/1136.42	c 1134s |      17 |   304817 |   239132 |   152754      1 |    18946 |    22749
1138.13/1138.51	c 1136s |      17 |   305166 |   239432 |   152754      1 |    18946 |    22749
1140.22/1140.65	c 1138s |      17 |   305518 |   239732 |   152754      1 |    18946 |    22749
1142.22/1142.65	c 1140s |      17 |   305862 |   240032 |   152754      1 |    18946 |    22749
1144.52/1144.97	c 1143s |      17 |   306218 |   240332 |   152754      1 |    18946 |    22749
1147.22/1147.68	c 1146s |      17 |   306696 |   240732 |   152754      1 |    18946 |    22749
1149.92/1150.32	c 1148s |      17 |   307147 |   241132 |   152754      1 |    18946 |    22749
1152.43/1152.82	c 1151s |      17 |   307705 |   241532 |   152754      1 |    18946 |    22749
1154.52/1154.97	c 1153s |      17 |   308098 |   241832 |   152754      1 |    18946 |    22749
1156.62/1157.06	c 1155s |      17 |   308479 |   242132 |   152754      1 |    18946 |    22749
1158.92/1159.34	c 1157s |      17 |   308862 |   242432 |   152754      1 |    18946 |    22749
1161.22/1161.62	c 1159s |      17 |   309204 |   242732 |   152754      1 |    18946 |    22749
1163.52/1163.91	c 1162s |      17 |   309549 |   243032 |   152754      1 |    18946 |    22749
1165.52/1165.99	c 1164s |      17 |   309925 |   243332 |   152754      1 |    18946 |    22749
1167.62/1168.07	c 1166s |      17 |   310347 |   243632 |   152754      1 |    18946 |    22749
1170.22/1170.63	c 1168s |      17 |   310926 |   244032 |   152754      1 |    18946 |    22749
1172.72/1173.15	c 1171s |      17 |   311502 |   244432 |   152754      1 |    18946 |    22749
1175.52/1175.91	c 1174s |      17 |   312021 |   244832 |   152754      1 |    18946 |    22749
1177.62/1178.08	c 1176s |      17 |   312432 |   245132 |   152754      1 |    18946 |    22749
1180.11/1180.50	c 1178s |      17 |   312958 |   245532 |   152754      1 |    18946 |    22749
1182.51/1182.94	c 1181s |      17 |   313306 |   245832 |   152754      1 |    18946 |    22749
1184.91/1185.39	c 1183s |      17 |   313658 |   246132 |   152754      1 |    18946 |    22749
1187.62/1188.01	c 1186s |      17 |   314006 |   246432 |   152754      1 |    18946 |    22749
1190.21/1190.65	c 1188s |      17 |   314526 |   246832 |   152754      1 |    18946 |    22749
1192.81/1193.27	c 1191s |      17 |   315030 |   247232 |   152754      1 |    18946 |    22749
1195.42/1195.81	c 1194s |      17 |   315517 |   247632 |   152754      1 |    18946 |    22749
1197.41/1197.85	c 1196s |      17 |   315882 |   247932 |   152754      1 |    18946 |    22749
1199.51/1199.98	c 1198s |      17 |   316267 |   248232 |   152754      1 |    18946 |    22749
1202.21/1202.61	c 1200s |      17 |   316798 |   248632 |   152754      1 |    18946 |    22749
1204.31/1204.73	c 1203s |      17 |   317190 |   248932 |   152754      1 |    18946 |    22749
1206.81/1207.24	c 1205s |      17 |   317706 |   249332 |   152754      1 |    18946 |    22749
1208.91/1209.31	c 1207s |      17 |   318075 |   249632 |   152754      1 |    18946 |    22749
1211.41/1211.85	c 1210s |      17 |   318612 |   250032 |   152754      1 |    18946 |    22749
1213.61/1214.05	c 1212s |      17 |   318981 |   250332 |   152754      1 |    18946 |    22749
1215.71/1216.17	c 1214s |      17 |   319330 |   250632 |   152754      1 |    18946 |    22749
1217.91/1218.33	c 1216s |      17 |   319728 |   250932 |   152754      1 |    18946 |    22749
1220.11/1220.56	c 1218s |      17 |   320070 |   251232 |   152754      1 |    18946 |    22749
1222.82/1223.22	c 1221s |      17 |   320592 |   251632 |   152754      1 |    18946 |    22749
1225.41/1225.88	c 1224s |      17 |   321091 |   252032 |   152754      1 |    18946 |    22749
1227.61/1228.00	c 1226s |      17 |   321485 |   252332 |   152754      1 |    18946 |    22749
1229.61/1230.05	c 1228s |      17 |   321830 |   252632 |   152754      1 |    18946 |    22749
1231.91/1232.37	c 1230s |      17 |   322345 |   253032 |   152754      1 |    18946 |    22749
1234.01/1234.49	c 1232s |      17 |   322697 |   253332 |   152754      1 |    18946 |    22749
1236.11/1236.58	c 1234s |      17 |   323058 |   253632 |   152754      1 |    18946 |    22749
1238.11/1238.60	c 1236s |      17 |   323410 |   253932 |   152754      1 |    18946 |    22749
1240.21/1240.65	c 1238s |      17 |   323785 |   254232 |   152754      1 |    18946 |    22749
1242.61/1243.08	c 1241s |      17 |   324261 |   254632 |   152754      1 |    18946 |    22749
1245.00/1245.44	c 1243s |      17 |   324738 |   255032 |   152754      1 |    18946 |    22749
1247.70/1248.15	c 1246s |      17 |   325242 |   255432 |   152754      1 |    18946 |    22749
1250.00/1250.41	c 1248s |      17 |   325607 |   255732 |   152754      1 |    18946 |    22749
1252.00/1252.42	c 1250s |      17 |   325961 |   256032 |   152754      1 |    18946 |    22749
1254.10/1254.50	c 1252s |      17 |   326298 |   256332 |   152754      1 |    18946 |    22749
1256.30/1256.72	c 1255s |      17 |   326635 |   256632 |   152754      1 |    18946 |    22749
1258.50/1258.91	c 1257s |      17 |   326978 |   256932 |   152754      1 |    18946 |    22749
1260.60/1261.07	c 1259s |      17 |   327325 |   257232 |   152754      1 |    18946 |    22749
1263.20/1263.66	c 1261s |      17 |   327803 |   257632 |   152754      1 |    18946 |    22749
1265.71/1266.14	c 1264s |      17 |   328257 |   258032 |   152754      1 |    18946 |    22749
1269.01/1269.44	c 1267s |      17 |   328723 |   258432 |   152754      2 |    18946 |    22749
1272.50/1272.99	c 1271s |      17 |   329061 |   258732 |   152754      2 |    18946 |    22749
1274.61/1275.07	c 1273s |      17 |   329415 |   259032 |   152754      2 |    18946 |    22749
1276.81/1277.25	c 1275s |      17 |   329879 |   259432 |   152754      2 |    18946 |    22749
1278.80/1279.27	c 1277s |      17 |   330409 |   259832 |   152754      2 |    18946 |    22749
1281.11/1281.56	c 1279s |      17 |   331066 |   260332 |   152754      2 |    18946 |    22749
1283.10/1283.57	c 1281s |      17 |   331587 |   260732 |   152754      2 |    18946 |    22749
1285.30/1285.70	c 1284s |      17 |   332160 |   261132 |   152754      2 |    18946 |    22749
1287.40/1287.82	c 1286s |      17 |   332705 |   261532 |   152754      2 |    18946 |    22749
1289.70/1290.19	c 1288s |      17 |   333323 |   262032 |   152754      2 |    18946 |    22749
1292.30/1292.76	c 1291s |      17 |   333931 |   262532 |   152754      2 |    18946 |    22749
1294.41/1294.89	c 1293s |      17 |   334401 |   262932 |   152754      2 |    18946 |    22749
1296.90/1297.32	c 1295s |      17 |   335029 |   263432 |   152754      2 |    18946 |    22749
1299.30/1299.79	c 1298s |      17 |   335512 |   263832 |   152754      2 |    18946 |    22749
1301.60/1302.08	c 1300s |      17 |   336039 |   264232 |   152754      2 |    18946 |    22749
1304.00/1304.49	c 1302s |      17 |   336536 |   264632 |   152754      2 |    18946 |    22749
1306.70/1307.16	c 1305s |      17 |   337002 |   265032 |   152754      2 |    18946 |    22749
1309.40/1309.84	c 1308s |      17 |   337496 |   265432 |   152754      2 |    18946 |    22749
1311.80/1312.25	c 1310s |      17 |   338052 |   265832 |   152754      2 |    18946 |    22749
1314.10/1314.57	c 1312s |      17 |   338567 |   266232 |   152754      2 |    18946 |    22749
1316.70/1317.14	c 1315s |      17 |   339026 |   266632 |   152754      2 |    18946 |    22749
1319.10/1319.55	c 1317s |      17 |   339563 |   267032 |   152754      2 |    18946 |    22749
1321.20/1321.61	c 1319s |      17 |   340055 |   267432 |   152754      2 |    18946 |    22749
1323.49/1323.91	c 1322s |      17 |   340571 |   267832 |   152754      2 |    18946 |    22749
1325.99/1326.47	c 1324s |      17 |   341089 |   268232 |   152754      2 |    18946 |    22749
1328.50/1328.91	c 1327s |      17 |   341596 |   268632 |   152754      2 |    18946 |    22749
1330.49/1330.96	c 1329s |      17 |   342073 |   269032 |   152754      2 |    18946 |    22749
1332.90/1333.34	c 1331s |      17 |   342561 |   269432 |   152754      2 |    18946 |    22749
1335.49/1335.97	c 1334s |      17 |   343068 |   269832 |   152754      2 |    18946 |    22749
1337.79/1338.30	c 1336s |      17 |   343559 |   270232 |   152754      2 |    18946 |    22749
1340.29/1340.74	c 1339s |      17 |   344016 |   270632 |   152754      2 |    18946 |    22749
1342.49/1342.95	c 1341s |      17 |   344378 |   270932 |   152754      2 |    18946 |    22749
1344.69/1345.14	c 1343s |      17 |   344856 |   271332 |   152754      2 |    18946 |    22749
1346.89/1347.35	c 1345s |      17 |   345372 |   271732 |   152754      2 |    18946 |    22749
1349.09/1349.58	c 1347s |      17 |   345847 |   272132 |   152754      2 |    18946 |    22749
1351.39/1351.86	c 1350s |      17 |   346234 |   272432 |   152754      2 |    18946 |    22749
1353.80/1354.26	c 1352s |      17 |   346613 |   272732 |   152754      2 |    18946 |    22749
1356.19/1356.62	c 1354s |      17 |   347162 |   273132 |   152754      2 |    18946 |    22749
1358.49/1358.91	c 1357s |      17 |   347668 |   273532 |   152754      2 |    18946 |    22749
1360.89/1361.36	c 1359s |      17 |   348163 |   273932 |   152754      2 |    18946 |    22749
1363.09/1363.59	c 1361s |      17 |   348672 |   274332 |   152754      2 |    18946 |    22749
1365.39/1365.85	c 1364s |      17 |   349159 |   274732 |   152754      2 |    18946 |    22749
1367.39/1367.86	c 1366s |      17 |   349532 |   275032 |   152754      2 |    18946 |    22749
1369.69/1370.11	c 1368s |      17 |   350010 |   275432 |   152754      2 |    18946 |    22749
1372.09/1372.55	c 1370s |      17 |   350510 |   275832 |   152754      2 |    18946 |    22749
1374.29/1374.78	c 1373s |      17 |   350999 |   276232 |   152754      2 |    18946 |    22749
1376.79/1377.25	c 1375s |      17 |   351480 |   276632 |   152754      2 |    18946 |    22749
1378.88/1379.37	c 1377s |      17 |   351959 |   277032 |   152754      2 |    18946 |    22749
1380.98/1381.46	c 1379s |      17 |   352438 |   277432 |   152754      2 |    18946 |    22749
1383.28/1383.78	c 1382s |      17 |   352932 |   277832 |   152754      2 |    18946 |    22749
1385.59/1386.02	c 1384s |      17 |   353522 |   278332 |   152754      2 |    18946 |    22749
1387.68/1388.20	c 1386s |      17 |   354183 |   278832 |   152754      2 |    18946 |    22749
1390.18/1390.61	c 1388s |      17 |   354775 |   279332 |   152754      2 |    18946 |    22749
1392.58/1393.02	c 1391s |      17 |   355391 |   279832 |   152754      2 |    18946 |    22749
1394.98/1395.45	c 1393s |      17 |   355852 |   280232 |   152754      2 |    18946 |    22749
1397.28/1397.72	c 1396s |      17 |   356314 |   280632 |   152754      2 |    18946 |    22749
1399.58/1400.03	c 1398s |      17 |   356774 |   281032 |   152754      2 |    18946 |    22749
1401.78/1402.26	c 1400s |      17 |   357241 |   281432 |   152754      2 |    18946 |    22749
1403.98/1404.44	c 1402s |      17 |   357710 |   281832 |   152754      2 |    18946 |    22749
1405.98/1406.47	c 1404s |      17 |   358066 |   282132 |   152754      2 |    18946 |    22749
1408.48/1408.97	c 1407s |      17 |   358565 |   282532 |   152754      2 |    18946 |    22749
1410.99/1411.47	c 1409s |      17 |   359034 |   282932 |   152754      2 |    18946 |    22749
1413.19/1413.64	c 1411s |      17 |   359499 |   283332 |   152754      2 |    18946 |    22749
1415.58/1416.07	c 1414s |      17 |   360017 |   283732 |   152754      2 |    18946 |    22749
1418.18/1418.66	c 1416s |      17 |   360494 |   284132 |   152754      2 |    18946 |    22749
1420.69/1421.11	c 1419s |      17 |   360993 |   284532 |   152754      2 |    18946 |    22749
1422.99/1423.48	c 1421s |      17 |   361476 |   284932 |   152754      2 |    18946 |    22749
1424.99/1425.48	c 1423s |      17 |   361965 |   285332 |   152754      2 |    18946 |    22749
1427.49/1427.93	c 1426s |      17 |   362577 |   285832 |   152754      2 |    18946 |    22749
1429.49/1429.96	c 1428s |      17 |   363036 |   286232 |   152754      2 |    18946 |    22749
1431.99/1432.48	c 1430s |      17 |   363864 |   286832 |   152754      2 |    18946 |    22749
1434.39/1434.81	c 1433s |      17 |   364328 |   287232 |   152754      2 |    18946 |    22749
1436.38/1436.81	c 1435s |      17 |   364709 |   287532 |   152754      2 |    18946 |    22749
1438.78/1439.28	c 1437s |      17 |   365225 |   287932 |   152754      2 |    18946 |    22749
1440.88/1441.34	c 1439s |      17 |   365593 |   288232 |   152754      2 |    18946 |    22749
1443.18/1443.65	c 1441s |      17 |   366094 |   288632 |   152754      2 |    18946 |    22749
1445.78/1446.20	c 1444s |      17 |   366583 |   289032 |   152754      2 |    18946 |    22749
1448.18/1448.64	c 1446s |      17 |   367034 |   289432 |   152754      2 |    18946 |    22749
1450.38/1450.86	c 1449s |      17 |   367425 |   289732 |   152754      2 |    18946 |    22749
1452.48/1452.91	c 1451s |      17 |   367779 |   290032 |   152754      2 |    18946 |    22749
1454.89/1455.33	c 1453s |      17 |   368243 |   290432 |   152754      2 |    18946 |    22749
1457.38/1457.87	c 1456s |      17 |   368758 |   290832 |   152754      2 |    18946 |    22749
1459.88/1460.34	c 1458s |      17 |   369274 |   291232 |   152754      2 |    18946 |    22749
1462.18/1462.68	c 1461s |      17 |   369804 |   291632 |   152754      2 |    18946 |    22749
1464.28/1464.71	c 1463s |      17 |   370280 |   292032 |   152754      2 |    18946 |    22749
1466.78/1467.22	c 1465s |      17 |   370762 |   292432 |   152754      2 |    18946 |    22749
1469.29/1469.73	c 1468s |      17 |   371253 |   292832 |   152754      2 |    18946 |    22749
1471.58/1472.09	c 1470s |      17 |   371744 |   293232 |   152754      2 |    18946 |    22749
1474.18/1474.64	c 1472s |      17 |   372224 |   293632 |   152754      2 |    18946 |    22749
1476.68/1477.12	c 1475s |      17 |   372784 |   294032 |   152754      2 |    18946 |    22749
1479.19/1479.61	c 1477s |      17 |   373347 |   294432 |   168030      2 |    18946 |    22749
1481.48/1481.94	c 1480s |      17 |   373871 |   294832 |   168030      2 |    18946 |    22749
1483.68/1484.12	c 1482s |      17 |   374349 |   295232 |   168030      2 |    18946 |    22749
1485.98/1486.43	c 1484s |      17 |   374870 |   295632 |   168030      2 |    18946 |    22749
1488.08/1488.58	c 1486s |      17 |   375373 |   296032 |   168030      2 |    18946 |    22749
1489.68/1490.16	c 1488s |      18 |   375657 |   296252 |   168030      2 |    18946 |    22749
1491.88/1492.35	c 1490s |      18 |   375922 |   296452 |   168030      2 |    18946 |    22749
1494.38/1494.88	c 1493s |      18 |   376434 |   296852 |   168030      2 |    18946 |    22749
1496.88/1497.33	c 1495s |      18 |   376908 |   297252 |   168030      2 |    18946 |    22749
1499.48/1499.93	c 1498s |      18 |   377417 |   297652 |   168030      2 |    18946 |    22749
1501.77/1502.25	c 1500s |      18 |   377925 |   298052 |   168030      2 |    18946 |    22749
1504.27/1504.77	c 1503s |      18 |   378404 |   298452 |   168030      2 |    18946 |    22749
1506.77/1507.25	c 1505s |      18 |   378916 |   298852 |   168030      2 |    18946 |    22749
1509.27/1509.73	c 1508s |      18 |   379410 |   299252 |   168030      2 |    18946 |    22749
1511.37/1511.84	c 1510s |      18 |   379916 |   299652 |   168030      2 |    18946 |    22749
1513.57/1514.06	c 1512s |      18 |   380395 |   300052 |   168030      2 |    18946 |    22749
1515.97/1516.43	c 1514s |      18 |   380902 |   300452 |   168030      2 |    18946 |    22749
1518.07/1518.55	c 1516s |      18 |   381267 |   300752 |   168030      2 |    18946 |    22749
1520.37/1520.88	c 1519s |      18 |   381776 |   301152 |   168030      2 |    18946 |    22749
1522.67/1523.18	c 1521s |      18 |   382275 |   301552 |   168030      2 |    18946 |    22749
1525.17/1525.61	c 1523s |      18 |   382758 |   301952 |   168030      2 |    18946 |    22749
1527.48/1527.93	c 1526s |      18 |   383246 |   302352 |   168030      2 |    18946 |    22749
1529.97/1530.48	c 1528s |      18 |   383739 |   302752 |   168030      2 |    18946 |    22749
1532.07/1532.53	c 1530s |      18 |   384091 |   303052 |   168030      2 |    18946 |    22749
1534.18/1534.64	c 1532s |      18 |   384441 |   303352 |   168030      2 |    18946 |    22749
1536.77/1537.23	c 1535s |      18 |   384909 |   303752 |   168030      2 |    18946 |    22749
1538.77/1539.29	c 1537s |      18 |   385233 |   304052 |   168030      2 |    18946 |    22749
1540.78/1541.30	c 1539s |      18 |   385598 |   304352 |   168030      2 |    18946 |    22749
1543.27/1543.72	c 1542s |      18 |   386124 |   304752 |   168030      2 |    18946 |    22749
1545.67/1546.17	c 1544s |      18 |   386624 |   305152 |   168030      2 |    18946 |    22749
1547.87/1548.34	c 1546s |      18 |   387166 |   305552 |   168030      2 |    18946 |    22749
1550.27/1550.73	c 1549s |      18 |   387663 |   305952 |   168030      2 |    18946 |    22749
1552.67/1553.15	c 1551s |      18 |   388112 |   306352 |   168030      2 |    18946 |    22749
1554.97/1555.41	c 1553s |      18 |   388592 |   306752 |   168030      2 |    18946 |    22749
1557.47/1557.90	c 1556s |      18 |   389090 |   307152 |   168030      2 |    18946 |    22749
1559.37/1559.90	c 1558s |      18 |   389427 |   307452 |   168030      2 |    18946 |    22749
1562.07/1562.54	c 1560s |      18 |   389889 |   307852 |   168030      2 |    18946 |    22749
1564.07/1564.59	c 1562s |      18 |   390258 |   308152 |   168030      2 |    18946 |    22749
1566.66/1567.11	c 1565s |      18 |   390757 |   308552 |   168030      2 |    18946 |    22749
1568.86/1569.37	c 1567s |      18 |   391274 |   308952 |   168030      2 |    18946 |    22749
1570.96/1571.49	c 1569s |      18 |   391647 |   309252 |   168030      2 |    18946 |    22749
1573.06/1573.51	c 1571s |      18 |   392011 |   309552 |   168030      2 |    18946 |    22749
1575.66/1576.13	c 1574s |      18 |   392459 |   309952 |   168030      2 |    18946 |    22749
1577.66/1578.14	c 1576s |      18 |   392806 |   310252 |   168030      2 |    18946 |    22749
1580.16/1580.60	c 1578s |      18 |   393252 |   310652 |   168030      2 |    18946 |    22749
1582.66/1583.15	c 1581s |      18 |   393753 |   311052 |   168030      2 |    18946 |    22749
1585.06/1585.52	c 1583s |      18 |   394409 |   311552 |   168030      2 |    18946 |    22749
1587.36/1587.89	c 1586s |      18 |   394925 |   311952 |   168030      2 |    18946 |    22749
1589.86/1590.38	c 1588s |      18 |   395410 |   312352 |   168030      2 |    18946 |    22749
1592.26/1592.73	c 1591s |      18 |   395915 |   312752 |   168030      2 |    18946 |    22749
1594.67/1595.18	c 1593s |      18 |   396402 |   313152 |   168030      2 |    18946 |    22749
1596.77/1597.28	c 1595s |      18 |   396738 |   313452 |   168030      2 |    18946 |    22749
1599.36/1599.82	c 1598s |      18 |   397202 |   313852 |   168030      2 |    18946 |    22749
1602.06/1602.57	c 1600s |      18 |   397670 |   314252 |   168030      2 |    18946 |    22749
1604.66/1605.13	c 1603s |      18 |   398124 |   314652 |   168030      2 |    18946 |    22749
1606.86/1607.32	c 1605s |      18 |   398611 |   315052 |   168030      2 |    18946 |    22749
1609.16/1609.65	c 1607s |      18 |   399109 |   315452 |   168030      2 |    18946 |    22749
1611.36/1611.87	c 1610s |      18 |   399817 |   315952 |   168030      2 |    18946 |    22749
1613.66/1614.11	c 1612s |      18 |   400347 |   316352 |   168030      2 |    18946 |    22749
1616.06/1616.53	c 1614s |      18 |   401005 |   316852 |   168030      2 |    18946 |    22749
1618.26/1618.75	c 1617s |      18 |   401576 |   317252 |   168030      2 |    18946 |    22749
1620.76/1621.27	c 1619s |      18 |   402117 |   317652 |   168030      2 |    18946 |    22749
1622.96/1623.44	c 1621s |      18 |   402613 |   318052 |   168030      2 |    18946 |    22749
1625.36/1625.85	c 1624s |      18 |   403112 |   318452 |   168030      2 |    18946 |    22749
1627.76/1628.26	c 1626s |      18 |   403586 |   318852 |   168030      2 |    18946 |    22749
1630.36/1630.82	c 1629s |      18 |   404051 |   319252 |   168030      2 |    18946 |    22749
1632.75/1633.25	c 1631s |      18 |   404507 |   319652 |   168030      2 |    18946 |    22749
1634.85/1635.39	c 1633s |      18 |   404892 |   319952 |   168030      2 |    18946 |    22749
1636.95/1637.44	c 1635s |      18 |   405249 |   320252 |   168030      2 |    18946 |    22749
1638.95/1639.47	c 1637s |      18 |   405604 |   320552 |   168030      2 |    18946 |    22749
1641.05/1641.53	c 1639s |      18 |   405931 |   320852 |   168030      2 |    18946 |    22749
1643.06/1643.55	c 1641s |      18 |   406316 |   321152 |   168030      2 |    18946 |    22749
1645.55/1646.08	c 1644s |      18 |   406799 |   321552 |   168030      2 |    18946 |    22749
1648.25/1648.74	c 1647s |      18 |   407275 |   321952 |   168030      2 |    18946 |    22749
1650.76/1651.28	c 1649s |      18 |   407738 |   322352 |   168030      2 |    18946 |    22749
1653.35/1653.81	c 1652s |      18 |   408247 |   322752 |   168030      2 |    18946 |    22749
1655.55/1656.04	c 1654s |      18 |   408756 |   323152 |   168030      2 |    18946 |    22749
1658.15/1658.61	c 1656s |      18 |   409234 |   323552 |   168030      2 |    18946 |    22749
1660.56/1661.08	c 1659s |      18 |   409727 |   323952 |   168030      2 |    18946 |    22749
1663.15/1663.64	c 1661s |      18 |   410209 |   324352 |   168030      2 |    18946 |    22749
1665.75/1666.26	c 1664s |      18 |   410710 |   324752 |   168030      2 |    18946 |    22749
1667.85/1668.32	c 1666s |      18 |   411063 |   325052 |   168030      2 |    18946 |    22749
1670.46/1670.94	c 1669s |      18 |   411544 |   325452 |   168030      2 |    18946 |    22749
1673.05/1673.58	c 1671s |      18 |   412015 |   325852 |   168030      2 |    18946 |    22749
1675.25/1675.70	c 1674s |      18 |   412384 |   326152 |   168030      2 |    18946 |    22749
1677.35/1677.84	c 1676s |      18 |   412881 |   326552 |   168030      2 |    18946 |    22749
1679.55/1680.02	c 1678s |      18 |   413414 |   326952 |   168030      2 |    18946 |    22749
1682.05/1682.59	c 1680s |      18 |   413876 |   327352 |   168030      2 |    18946 |    22749
1684.75/1685.26	c 1683s |      18 |   414415 |   327752 |   168030      2 |    18946 |    22749
1687.05/1687.59	c 1685s |      18 |   414833 |   328052 |   168030      2 |    18946 |    22749
1689.65/1690.16	c 1688s |      18 |   415221 |   328352 |   168030      2 |    18946 |    22749
1691.75/1692.27	c 1690s |      18 |   415597 |   328652 |   168030      2 |    18946 |    22749
1694.05/1694.53	c 1692s |      18 |   415976 |   328952 |   168030      2 |    18946 |    22749
1696.45/1696.95	c 1695s |      18 |   416347 |   329252 |   168030      2 |    18946 |    22749
1698.94/1699.48	c 1697s |      18 |   416846 |   329652 |   168030      2 |    18946 |    22749
1701.35/1701.82	c 1700s |      18 |   417167 |   329952 |   168030      2 |    18946 |    22749
1703.45/1703.91	c 1702s |      18 |   417520 |   330252 |   168030      2 |    18946 |    22749
1705.65/1706.11	c 1704s |      18 |   417888 |   330552 |   168030      2 |    18946 |    22749
1707.85/1708.33	c 1706s |      18 |   418241 |   330852 |   168030      2 |    18946 |    22749
1709.84/1710.34	c 1708s |      18 |   418628 |   331152 |   168030      2 |    18946 |    22749
1712.14/1712.69	c 1711s |      18 |   419001 |   331452 |   168030      2 |    18946 |    22749
1714.45/1714.93	c 1713s |      18 |   419377 |   331752 |   168030      2 |    18946 |    22749
1716.65/1717.18	c 1715s |      18 |   419734 |   332052 |   168030      2 |    18946 |    22749
1718.95/1719.48	c 1717s |      18 |   420101 |   332352 |   168030      2 |    18946 |    22749
1721.15/1721.67	c 1719s |      18 |   420504 |   332652 |   168030      2 |    18946 |    22749
1723.25/1723.75	c 1722s |      18 |   420872 |   332952 |   168030      2 |    18946 |    22749
1725.84/1726.32	c 1724s |      18 |   421225 |   333252 |   168030      2 |    18946 |    22749
1727.84/1728.39	c 1726s |      18 |   421713 |   333552 |   168030      2 |    18946 |    22749
1730.84/1731.39	c 1729s |      18 |   422252 |   333952 |   168030      2 |    18946 |    22749
1733.44/1733.93	c 1732s |      18 |   422633 |   334252 |   168030      2 |    18946 |    22749
1735.54/1736.07	c 1734s |      18 |   423030 |   334552 |   168030      2 |    18946 |    22749
1737.74/1738.29	c 1736s |      18 |   423377 |   334852 |   168030      2 |    18946 |    22749
1740.24/1740.75	c 1739s |      18 |   423732 |   335152 |   168030      2 |    18946 |    22749
1742.54/1743.08	c 1741s |      18 |   424093 |   335452 |   168030      2 |    18946 |    22749
1744.94/1745.48	c 1743s |      18 |   424478 |   335752 |   168030      2 |    18946 |    22749
1747.34/1747.89	c 1746s |      18 |   424833 |   336052 |   168030      2 |    18946 |    22749
1749.54/1750.02	c 1748s |      18 |   425196 |   336352 |   168030      2 |    18946 |    22749
1751.64/1752.18	c 1750s |      18 |   425536 |   336652 |   168030      2 |    18946 |    22749
1753.94/1754.48	c 1752s |      18 |   425900 |   336952 |   168030      2 |    18946 |    22749
1756.44/1756.94	c 1755s |      18 |   426280 |   337252 |   168030      2 |    18946 |    22749
1758.64/1759.11	c 1757s |      18 |   426645 |   337552 |   168030      2 |    18946 |    22749
1760.64/1761.12	c 1759s |      18 |   427024 |   337852 |   168030      2 |    18946 |    22749
1762.64/1763.12	c 1761s |      18 |   427385 |   338152 |   168030      2 |    18946 |    22749
1764.73/1765.26	c 1763s |      18 |   427740 |   338452 |   168030      2 |    18946 |    22749
1767.34/1767.81	c 1766s |      18 |   428096 |   338752 |   168030      2 |    18946 |    22749
1769.63/1770.18	c 1768s |      18 |   428460 |   339052 |   168030      2 |    18946 |    22749
1772.13/1772.66	c 1770s |      18 |   428824 |   339352 |   168030      2 |    18946 |    22749
1774.63/1775.14	c 1773s |      18 |   429171 |   339652 |   168030      2 |    18946 |    22749
1776.93/1777.45	c 1775s |      18 |   429524 |   339952 |   168030      2 |    18946 |    22749
1779.34/1779.86	c 1778s |      18 |   429888 |   340252 |   168030      2 |    18946 |    22749
1781.43/1781.95	c 1780s |      18 |   430251 |   340552 |   168030      2 |    18946 |    22749
1784.03/1784.51	c 1782s |      18 |   430610 |   340852 |   168030      2 |    18946 |    22749
1786.43/1786.90	c 1785s |      18 |   430964 |   341152 |   168030      2 |    18946 |    22749
1788.73/1789.20	c 1787s |      18 |   431322 |   341452 |   168030      2 |    18946 |    22749
1791.13/1791.69	c 1790s |      18 |   431733 |   341752 |   168030      2 |    18946 |    22749
1793.53/1794.01	c 1792s |      18 |   432099 |   342052 |   168030      2 |    18946 |    22749
1795.73/1796.28	c 1794s |      18 |   432465 |   342352 |   168030      2 |    18946 |    22749
1798.14/1798.69	c 1797s |      18 |   432822 |   342652 |   168030      2 |    18946 |    22749

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

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

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


[startup+0 s]
/proc/loadavg: 2.24 2.21 2.18 3/179 11494
/proc/meminfo: memFree=28853440/32872528 swapFree=15272/1656604
[pid=11494] ppid=11491 vsize=776772 CPUtime=0 cores=0,2,4,6
/proc/11494/stat : 11494 (toysat) R 11491 11494 9894 0 -1 4202496 2911 0 0 0 0 0 0 0 20 0 4 0 109245464 795414528 3271 33554432000 4194304 16246674 140736772011552 140736772010976 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11494/statm: 194961 3279 442 2943 0 191855 0
[pid=11494/tid=11495] ppid=11491 vsize=795204 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11495/stat : 11495 (toysat) S 11491 11494 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109245465 814288896 3343 33554432000 4194304 16246674 140736772011552 140144520703216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11494/tid=11496] ppid=11491 vsize=800324 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11496/stat : 11496 (toysat) S 11491 11494 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109245465 819531776 3361 33554432000 4194304 16246674 140736772011552 140144510213360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11494/tid=11497] ppid=11491 vsize=804420 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11497/stat : 11497 (toysat) S 11491 11494 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109245465 823726080 3377 33554432000 4194304 16246674 140736772011552 140144499739824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100141 s]
/proc/loadavg: 2.24 2.21 2.18 3/179 11494
/proc/meminfo: memFree=28853440/32872528 swapFree=15272/1656604
[pid=11494] ppid=11491 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/11494/stat : 11494 (toysat) R 11491 11494 9894 0 -1 4202496 27160 0 0 0 5 4 0 0 20 0 4 0 109245464 1333334016 27459 33554432000 4194304 16246674 140736772011552 140736772010864 7368729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11494/statm: 325521 27473 801 2943 0 322415 0
[pid=11494/tid=11495] ppid=11491 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11495/stat : 11495 (toysat) S 11491 11494 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109245465 1333334016 27483 33554432000 4194304 16246674 140736772011552 140144520703216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11494/tid=11496] ppid=11491 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11496/stat : 11496 (toysat) S 11491 11494 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109245465 1333334016 27495 33554432000 4194304 16246674 140736772011552 140144510213360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11494/tid=11497] ppid=11491 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11497/stat : 11497 (toysat) S 11491 11494 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109245465 1333334016 27506 33554432000 4194304 16246674 140736772011552 140144499739824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200507 s]
/proc/loadavg: 2.24 2.21 2.18 3/179 11494
/proc/meminfo: memFree=28853440/32872528 swapFree=15272/1656604
[pid=11494] ppid=11491 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/11494/stat : 11494 (toysat) R 11491 11494 9894 0 -1 4202496 44621 0 0 0 12 7 0 0 20 0 4 0 109245464 1344868352 45430 33554432000 4194304 16246674 140736772011552 140736772010864 8058822 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11494/statm: 328337 45430 802 2943 0 325231 0
[pid=11494/tid=11495] ppid=11491 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11495/stat : 11495 (toysat) S 11491 11494 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109245465 1344868352 45430 33554432000 4194304 16246674 140736772011552 140144520703216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11494/tid=11496] ppid=11491 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11496/stat : 11496 (toysat) S 11491 11494 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109245465 1344868352 45430 33554432000 4194304 16246674 140736772011552 140144510213360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11494/tid=11497] ppid=11491 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11497/stat : 11497 (toysat) S 11491 11494 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109245465 1344868352 45430 33554432000 4194304 16246674 140736772011552 140144499739824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300486 s]
/proc/loadavg: 2.24 2.21 2.18 3/179 11494
/proc/meminfo: memFree=28853440/32872528 swapFree=15272/1656604
[pid=11494] ppid=11491 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/11494/stat : 11494 (toysat) R 11491 11494 9894 0 -1 4202496 56967 0 0 0 20 9 0 0 20 0 4 0 109245464 1344868352 57776 33554432000 4194304 16246674 140736772011552 140736772010864 8057261 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11494/statm: 328337 57776 802 2943 0 325231 0
[pid=11494/tid=11495] ppid=11491 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11495/stat : 11495 (toysat) S 11491 11494 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109245465 1344868352 57776 33554432000 4194304 16246674 140736772011552 140144520703216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11494/tid=11496] ppid=11491 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11496/stat : 11496 (toysat) S 11491 11494 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109245465 1344868352 57776 33554432000 4194304 16246674 140736772011552 140144510213360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11494/tid=11497] ppid=11491 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11497/stat : 11497 (toysat) S 11491 11494 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109245465 1344868352 57776 33554432000 4194304 16246674 140736772011552 140144499739824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700397 s]
/proc/loadavg: 2.24 2.21 2.18 3/179 11494
/proc/meminfo: memFree=28853440/32872528 swapFree=15272/1656604
[pid=11494] ppid=11491 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/11494/stat : 11494 (toysat) R 11491 11494 9894 0 -1 4202496 64163 0 0 0 59 10 0 0 20 0 4 0 109245464 1344868352 64972 33554432000 4194304 16246674 140736772011552 140736772010864 6970507 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11494/statm: 328337 64972 833 2943 0 325231 0
[pid=11494/tid=11495] ppid=11491 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11495/stat : 11495 (toysat) S 11491 11494 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109245465 1344868352 64972 33554432000 4194304 16246674 140736772011552 140144520703216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11494/tid=11496] ppid=11491 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11496/stat : 11496 (toysat) S 11491 11494 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109245465 1344868352 64972 33554432000 4194304 16246674 140736772011552 140144510213360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11494/tid=11497] ppid=11491 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11497/stat : 11497 (toysat) S 11491 11494 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109245465 1344868352 64972 33554432000 4194304 16246674 140736772011552 140144499739824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50039 s]
/proc/loadavg: 2.24 2.21 2.18 3/183 11498
/proc/meminfo: memFree=28486744/32872528 swapFree=15272/1656604
[pid=11494] ppid=11491 vsize=1327684 CPUtime=1.49 cores=0,2,4,6
/proc/11494/stat : 11494 (toysat) R 11491 11494 9894 0 -1 4202496 161176 0 0 0 125 24 0 0 20 0 4 0 109245464 1359548416 161985 33554432000 4194304 16246674 140736772011552 140736771993472 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11494/statm: 331921 161985 839 2943 0 328815 0
[pid=11494/tid=11495] ppid=11491 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11495/stat : 11495 (toysat) S 11491 11494 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109245465 1359548416 161985 33554432000 4194304 16246674 140736772011552 140144520703216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11494/tid=11496] ppid=11491 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11496/stat : 11496 (toysat) S 11491 11494 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109245465 1359548416 161985 33554432000 4194304 16246674 140736772011552 140144510213360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11494/tid=11497] ppid=11491 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11497/stat : 11497 (toysat) S 11491 11494 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109245465 1359548416 161985 33554432000 4194304 16246674 140736772011552 140144499739824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1327684

[startup+3.10039 s]
/proc/loadavg: 2.24 2.21 2.18 3/183 11498
/proc/meminfo: memFree=28205140/32872528 swapFree=15272/1656604
[pid=11494] ppid=11491 vsize=1327684 CPUtime=3.09 cores=0,2,4,6
/proc/11494/stat : 11494 (toysat) R 11491 11494 9894 0 -1 4202496 247867 0 0 0 272 37 0 0 20 0 4 0 109245464 1359548416 248676 33554432000 4194304 16246674 140736772011552 140736771993472 5829366 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11494/statm: 331921 248684 884 2943 0 328815 0
[pid=11494/tid=11495] ppid=11491 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11495/stat : 11495 (toysat) S 11491 11494 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109245465 1359548416 248688 33554432000 4194304 16246674 140736772011552 140144520703216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11494/tid=11496] ppid=11491 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11496/stat : 11496 (toysat) S 11491 11494 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109245465 1359548416 248693 33554432000 4194304 16246674 140736772011552 140144510213360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11494/tid=11497] ppid=11491 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11497/stat : 11497 (toysat) S 11491 11494 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109245465 1359548416 248697 33554432000 4194304 16246674 140736772011552 140144499739824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1327684

[startup+6.3004 s]
/proc/loadavg: 2.22 2.21 2.18 3/183 11498
/proc/meminfo: memFree=27760228/32872528 swapFree=15272/1656604
[pid=11494] ppid=11491 vsize=1327684 CPUtime=6.29 cores=0,2,4,6
/proc/11494/stat : 11494 (toysat) R 11491 11494 9894 0 -1 4202496 272597 0 0 0 588 41 0 0 20 0 4 0 109245464 1359548416 273406 33554432000 4194304 16246674 140736772011552 140736771993472 5828829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11494/statm: 331921 273406 890 2943 0 328815 0
[pid=11494/tid=11495] ppid=11491 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11495/stat : 11495 (toysat) S 11491 11494 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109245465 1359548416 273406 33554432000 4194304 16246674 140736772011552 140144520703216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11494/tid=11496] ppid=11491 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11496/stat : 11496 (toysat) S 11491 11494 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109245465 1359548416 273406 33554432000 4194304 16246674 140736772011552 140144510213360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11494/tid=11497] ppid=11491 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11497/stat : 11497 (toysat) S 11491 11494 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109245465 1359548416 273406 33554432000 4194304 16246674 140736772011552 140144499739824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1327684

[startup+12.7004 s]
/proc/loadavg: 2.21 2.20 2.18 3/183 11498
/proc/meminfo: memFree=27763196/32872528 swapFree=15272/1656604
[pid=11494] ppid=11491 vsize=1327684 CPUtime=12.69 cores=0,2,4,6
/proc/11494/stat : 11494 (toysat) R 11491 11494 9894 0 -1 4202496 272597 0 0 0 1228 41 0 0 20 0 4 0 109245464 1359548416 273406 33554432000 4194304 16246674 140736772011552 140736771993472 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11494/statm: 331921 273406 890 2943 0 328815 0
[pid=11494/tid=11495] ppid=11491 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11495/stat : 11495 (toysat) S 11491 11494 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109245465 1359548416 273406 33554432000 4194304 16246674 140736772011552 140144520703216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11494/tid=11496] ppid=11491 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11496/stat : 11496 (toysat) S 11491 11494 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109245465 1359548416 273406 33554432000 4194304 16246674 140736772011552 140144510213360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11494/tid=11497] ppid=11491 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11497/stat : 11497 (toysat) S 11491 11494 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109245465 1359548416 273406 33554432000 4194304 16246674 140736772011552 140144499739824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1327684

[startup+25.5005 s]
/proc/loadavg: 2.30 2.23 2.19 3/182 11498
/proc/meminfo: memFree=27764724/32872528 swapFree=15272/1656604
[pid=11494] ppid=11491 vsize=1327684 CPUtime=25.49 cores=0,2,4,6
/proc/11494/stat : 11494 (toysat) R 11491 11494 9894 0 -1 4202496 272600 0 0 0 2508 41 0 0 20 0 4 0 109245464 1359548416 273409 33554432000 4194304 16246674 140736772011552 140736771993472 5674764 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11494/statm: 331921 273409 892 2943 0 328815 0
[pid=11494/tid=11495] ppid=11491 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11495/stat : 11495 (toysat) S 11491 11494 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109245465 1359548416 273409 33554432000 4194304 16246674 140736772011552 140144520703216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11494/tid=11496] ppid=11491 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11496/stat : 11496 (toysat) S 11491 11494 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109245465 1359548416 273409 33554432000 4194304 16246674 140736772011552 140144510213360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11494/tid=11497] ppid=11491 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11497/stat : 11497 (toysat) S 11491 11494 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109245465 1359548416 273409 33554432000 4194304 16246674 140736772011552 140144499739824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1327684

[startup+51.1005 s]
/proc/loadavg: 2.35 2.24 2.19 3/182 11498
/proc/meminfo: memFree=27765088/32872528 swapFree=15272/1656604
[pid=11494] ppid=11491 vsize=1327684 CPUtime=51.09 cores=0,2,4,6
/proc/11494/stat : 11494 (toysat) R 11491 11494 9894 0 -1 4202496 272601 0 0 0 5068 41 0 0 20 0 4 0 109245464 1359548416 273410 33554432000 4194304 16246674 140736772011552 140736771993472 5824098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11494/statm: 331921 273410 892 2943 0 328815 0
[pid=11494/tid=11495] ppid=11491 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11495/stat : 11495 (toysat) S 11491 11494 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109245465 1359548416 273410 33554432000 4194304 16246674 140736772011552 140144520703216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11494/tid=11496] ppid=11491 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11496/stat : 11496 (toysat) S 11491 11494 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109245465 1359548416 273410 33554432000 4194304 16246674 140736772011552 140144510213360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11494/tid=11497] ppid=11491 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11497/stat : 11497 (toysat) S 11491 11494 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109245465 1359548416 273410 33554432000 4194304 16246674 140736772011552 140144499739824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1327684

[startup+102.3 s]
/proc/loadavg: 2.24 2.23 2.19 4/184 11503
/proc/meminfo: memFree=27758300/32872528 swapFree=15272/1656604
[pid=11494] ppid=11491 vsize=1327684 CPUtime=102.28 cores=0,2,4,6
/proc/11494/stat : 11494 (toysat) R 11491 11494 9894 0 -1 4202496 272603 0 0 0 10187 41 0 0 20 0 4 0 109245464 1359548416 273412 33554432000 4194304 16246674 140736772011552 140736771993472 13820928 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11494/statm: 331921 273412 893 2943 0 328815 0
[pid=11494/tid=11495] ppid=11491 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11495/stat : 11495 (toysat) S 11491 11494 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109245465 1359548416 273412 33554432000 4194304 16246674 140736772011552 140144520703216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11494/tid=11496] ppid=11491 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11496/stat : 11496 (toysat) S 11491 11494 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109245465 1359548416 273412 33554432000 4194304 16246674 140736772011552 140144510213360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11494/tid=11497] ppid=11491 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11497/stat : 11497 (toysat) S 11491 11494 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109245465 1359548416 273412 33554432000 4194304 16246674 140736772011552 140144499739824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1327684


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

/proc/11494/task/11497/stat : 11497 (toysat) S 11491 11494 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144499739824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1348164

[startup+1362.3 s]
/proc/loadavg: 2.19 2.23 2.19 3/183 12022
/proc/meminfo: memFree=27939328/32872528 swapFree=15272/1656604
[pid=11494] ppid=11491 vsize=1348164 CPUtime=1361.89 cores=0,2,4,6
/proc/11494/stat : 11494 (toysat) R 11491 11494 9894 0 -1 4202496 278088 0 0 0 136145 44 0 0 20 0 4 0 109245464 1380519936 278534 33554432000 4194304 16246674 140736772011552 140736771993472 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11494/statm: 337041 278534 894 2943 0 333935 0
[pid=11494/tid=11495] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11495/stat : 11495 (toysat) S 11491 11494 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144520703216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11494/tid=11496] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11496/stat : 11496 (toysat) S 11491 11494 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144510213360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11494/tid=11497] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11497/stat : 11497 (toysat) S 11491 11494 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144499739824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1348164

[startup+1422.3 s]
/proc/loadavg: 2.33 2.27 2.20 3/183 12023
/proc/meminfo: memFree=27940088/32872528 swapFree=15272/1656604
[pid=11494] ppid=11491 vsize=1348164 CPUtime=1421.89 cores=0,2,4,6
/proc/11494/stat : 11494 (toysat) R 11491 11494 9894 0 -1 4202496 278088 0 0 0 142144 45 0 0 20 0 4 0 109245464 1380519936 278534 33554432000 4194304 16246674 140736772011552 140736771993472 5672818 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11494/statm: 337041 278534 894 2943 0 333935 0
[pid=11494/tid=11495] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11495/stat : 11495 (toysat) S 11491 11494 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144520703216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11494/tid=11496] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11496/stat : 11496 (toysat) S 11491 11494 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144510213360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11494/tid=11497] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11497/stat : 11497 (toysat) S 11491 11494 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144499739824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1348164

[startup+1482.3 s]
/proc/loadavg: 2.18 2.24 2.19 3/183 12024
/proc/meminfo: memFree=27939884/32872528 swapFree=15272/1656604
[pid=11494] ppid=11491 vsize=1348164 CPUtime=1481.88 cores=0,2,4,6
/proc/11494/stat : 11494 (toysat) R 11491 11494 9894 0 -1 4202496 278088 0 0 0 148143 45 0 0 20 0 4 0 109245464 1380519936 278534 33554432000 4194304 16246674 140736772011552 140736771993472 5827682 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11494/statm: 337041 278534 894 2943 0 333935 0
[pid=11494/tid=11495] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11495/stat : 11495 (toysat) S 11491 11494 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144520703216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11494/tid=11496] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11496/stat : 11496 (toysat) S 11491 11494 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144510213360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11494/tid=11497] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11497/stat : 11497 (toysat) S 11491 11494 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144499739824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1348164

[startup+1542.31 s]
/proc/loadavg: 2.26 2.25 2.19 3/183 12026
/proc/meminfo: memFree=27940056/32872528 swapFree=15272/1656604
[pid=11494] ppid=11491 vsize=1348164 CPUtime=1541.88 cores=0,2,4,6
/proc/11494/stat : 11494 (toysat) R 11491 11494 9894 0 -1 4202496 278088 0 0 0 154143 45 0 0 20 0 4 0 109245464 1380519936 278534 33554432000 4194304 16246674 140736772011552 140736771993472 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11494/statm: 337041 278534 894 2943 0 333935 0
[pid=11494/tid=11495] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11495/stat : 11495 (toysat) S 11491 11494 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144520703216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11494/tid=11496] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11496/stat : 11496 (toysat) S 11491 11494 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144510213360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11494/tid=11497] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11497/stat : 11497 (toysat) S 11491 11494 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144499739824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1348164

[startup+1602.3 s]
/proc/loadavg: 2.20 2.23 2.19 3/183 12027
/proc/meminfo: memFree=27939884/32872528 swapFree=15272/1656604
[pid=11494] ppid=11491 vsize=1348164 CPUtime=1601.86 cores=0,2,4,6
/proc/11494/stat : 11494 (toysat) R 11491 11494 9894 0 -1 4202496 278088 0 0 0 160141 45 0 0 20 0 4 0 109245464 1380519936 278534 33554432000 4194304 16246674 140736772011552 140736771993472 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11494/statm: 337041 278534 894 2943 0 333935 0
[pid=11494/tid=11495] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11495/stat : 11495 (toysat) S 11491 11494 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144520703216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11494/tid=11496] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11496/stat : 11496 (toysat) S 11491 11494 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144510213360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11494/tid=11497] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11497/stat : 11497 (toysat) S 11491 11494 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144499739824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1348164

[startup+1662.3 s]
/proc/loadavg: 2.24 2.23 2.19 3/183 12028
/proc/meminfo: memFree=27939984/32872528 swapFree=15272/1656604
[pid=11494] ppid=11491 vsize=1348164 CPUtime=1661.85 cores=0,2,4,6
/proc/11494/stat : 11494 (toysat) R 11491 11494 9894 0 -1 4202496 278088 0 0 0 166140 45 0 0 20 0 4 0 109245464 1380519936 278534 33554432000 4194304 16246674 140736772011552 140736771993472 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11494/statm: 337041 278534 894 2943 0 333935 0
[pid=11494/tid=11495] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11495/stat : 11495 (toysat) S 11491 11494 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144520703216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11494/tid=11496] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11496/stat : 11496 (toysat) S 11491 11494 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144510213360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11494/tid=11497] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11497/stat : 11497 (toysat) S 11491 11494 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144499739824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1348164

[startup+1722.3 s]
/proc/loadavg: 2.17 2.22 2.18 3/183 12029
/proc/meminfo: memFree=27939756/32872528 swapFree=15272/1656604
[pid=11494] ppid=11491 vsize=1348164 CPUtime=1721.84 cores=0,2,4,6
/proc/11494/stat : 11494 (toysat) R 11491 11494 9894 0 -1 4202496 278088 0 0 0 172139 45 0 0 20 0 4 0 109245464 1380519936 278534 33554432000 4194304 16246674 140736772011552 140736771993472 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11494/statm: 337041 278534 894 2943 0 333935 0
[pid=11494/tid=11495] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11495/stat : 11495 (toysat) S 11491 11494 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144520703216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11494/tid=11496] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11496/stat : 11496 (toysat) S 11491 11494 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144510213360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11494/tid=11497] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11497/stat : 11497 (toysat) S 11491 11494 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144499739824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1348164

[startup+1782.3 s]
/proc/loadavg: 2.26 2.24 2.19 3/183 12030
/proc/meminfo: memFree=27940004/32872528 swapFree=15272/1656604
[pid=11494] ppid=11491 vsize=1348164 CPUtime=1781.83 cores=0,2,4,6
/proc/11494/stat : 11494 (toysat) R 11491 11494 9894 0 -1 4202496 278088 0 0 0 178138 45 0 0 20 0 4 0 109245464 1380519936 278534 33554432000 4194304 16246674 140736772011552 140736771993472 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11494/statm: 337041 278534 894 2943 0 333935 0
[pid=11494/tid=11495] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11495/stat : 11495 (toysat) S 11491 11494 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144520703216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11494/tid=11496] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11496/stat : 11496 (toysat) S 11491 11494 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144510213360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11494/tid=11497] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11497/stat : 11497 (toysat) S 11491 11494 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144499739824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1348164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.18 2.22 2.18 3/183 12030
/proc/meminfo: memFree=27940132/32872528 swapFree=15272/1656604
[pid=11494] ppid=11491 vsize=1348164 CPUtime=1800.03 cores=0,2,4,6
/proc/11494/stat : 11494 (toysat) R 11491 11494 9894 0 -1 4202496 278088 0 0 0 179958 45 0 0 20 0 4 0 109245464 1380519936 278534 33554432000 4194304 16246674 140736772011552 140736771993472 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11494/statm: 337041 278534 894 2943 0 333935 0
[pid=11494/tid=11495] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11495/stat : 11495 (toysat) S 11491 11494 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144520703216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11494/tid=11496] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11496/stat : 11496 (toysat) S 11491 11494 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144510213360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11494/tid=11497] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11497/stat : 11497 (toysat) S 11491 11494 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144499739824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1348164

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

[startup+1800.5 s]
/proc/loadavg: 2.18 2.22 2.18 3/183 12030
/proc/meminfo: memFree=27940132/32872528 swapFree=15272/1656604
[pid=11494] ppid=11491 vsize=1348164 CPUtime=1800.03 cores=0,2,4,6
/proc/11494/stat : 11494 (toysat) R 11491 11494 9894 0 -1 4202496 278088 0 0 0 179958 45 0 0 20 0 4 0 109245464 1380519936 278534 33554432000 4194304 16246674 140736772011552 140736771993472 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11494/statm: 337041 278534 894 2943 0 333935 0
[pid=11494/tid=11495] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11495/stat : 11495 (toysat) S 11491 11494 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144520703216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11494/tid=11496] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11496/stat : 11496 (toysat) S 11491 11494 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144510213360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11494/tid=11497] ppid=11491 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11494/task/11497/stat : 11497 (toysat) S 11491 11494 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109245465 1380519936 278534 33554432000 4194304 16246674 140736772011552 140144499739824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1348164

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.59
CPU system time (s): 0.450931
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 1348164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.450931
maximum resident set size= 1114136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278088
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= 378
involuntary context switches= 1956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.71628 second user time and 6.79497 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-07 06:18:41
IDJOB=4078826
IDBENCH=73961
IDSOLVER=2542
FILE ID=node136/4078826-1465273121
RUNJOBID= node136-1465261284-9910
PBS_JOBID= 19843291
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12032_3-unsat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078826-1465273121/watcher-4078826-1465273121 -o /tmp/evaluation-result-4078826-1465273121/solver-4078826-1465273121 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9910 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078826-1465273121.opb

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

MD5SUM BENCH= 336dbbe12a18bfd6b8d34c583a70b44b
RANDOM SEED=507912013

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28854076 kB
Buffers:          106468 kB
Cached:           204528 kB
SwapCached:          812 kB
Active:          1433704 kB
Inactive:         188896 kB
Active(anon):    1312560 kB
Inactive(anon):     1256 kB
Active(file):     121144 kB
Inactive(file):   187640 kB
Unevictable:     1656604 kB
Mlocked:           15272 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:             19416 kB
Writeback:             0 kB
AnonPages:       2979300 kB
Mapped:            10844 kB
Shmem:                 0 kB
Slab:             600204 kB
SReclaimable:      44352 kB
SUnreclaim:       555852 kB
KernelStack:        1520 kB
PageTables:         9836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3111760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1667072 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= 71696 MiB
End job on node136 at 2016-06-07 06:48:42