Trace number 4116621

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.07 1800.52

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size144-round22-1.opb
MD5SUM236f8faf1e8f3de6a4b12979ca18f795
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 variables4128
Total number of constraints8720
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)432
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-26T20:48:25+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-4116621-1466966904.opb"]
0.00/0.01	c use --random-gen="3485786072 3849521227 1334075066 613725868 937655845 3940821859 1758413864 3608342294 978570460 441160592 1961688107 4201438599 3171139591 744306782 1306595621 3556690218 58427459 388649887 2972149041 3462892432 586347568 546893961 2452627586 1516254797 169592520 1067595839 2404547396 2174442887 2181388441 1485232097 827611354 1256529936 3680686566 2977560364 1980226649 3043376471 2966376126 2933255413 3750723216 3222108159 1857309598 202359936 1437181660 1126102858 471503437 3567087759 911527589 2617233822 2637666725 3230455633 3199370316 3943530536 526579591 2810051288 1058667125 2301982733 878186317 3442058413 3967515467 3064209085 4249041098 3045624781 2700283892 2549817630 2214313252 3053544693 3818093323 1276755851 3017510909 2440634243 96995061 1400534289 2444851657 1081385605 1128935189 1265976155 3841886517 2362486844 3975786017 785264572 2649075317 3982657001 550889109 3670422975 3693441853 3550096858 3828322004 2187850585 4157923078 567300331 4022999243 1630328713 1151463429 1578864783 1423896830 519688113 3414483163 3107664956 3690321334 1283719909 992027337 3940639901 1474062418 2888775025 2982713458 2801241143 1219100744 2792010981 2664155186 1298814668 166963061 1395952209 3459337381 2996048165 119013175 1617784996 1578367334 103382838 2992735109 1904657387 1735537641 759293755 2820208884 3972379075 4192975907 4165646925 773267416 1174558204 3144683057 2897926159 3066033498 1385559466 4040937064 1029654290 154794630 1932165739 374479523 1210339746 4029369495 4061645582 274151492 2453271214 1269390519 43918258 1983891590 105773197 1521884292 3741624096 1914330800 2176878793 2172692809 3821034063 2288722699 3950612096 70481410 637571450 655910993 1902239811 4179041896 3882534277 2899868363 2793306336 1455518711 4102831816 1447894687 403355574 699564158 359125621 4020092409 2627456584 1959276585 2923670259 1821553453 1150486784 3251997217 2805886529 1950063763 4224907535 3670098458 1543538838 2794758409 947628905 598622670 901808070 943529054 2371589358 1330476908 2051143474 2341036436 628466035 4027951330 3855252516 2146527051 1263140975 4092520808 2413666467 3624406742 2393947267 4161369938 1357665235 1444639199 3850210085 251446732 896238206 1865061906 1607552476 3691859789 3110920530 855391799 3859506102 3920276302 4027188944 3330087452 1938419404 3316452738 668165350 1151799606 2586519354 3560965721 2770244152 293829039 509303033 3510490707 3298962711 1426943414 705190834 675816029 3273243532 326112700 1616657404 3705468318 2539932194 2282772722 772451245 1689199886 165760743 3639369937 1169847149 1025836832 572502525 3097824058 3449913726 200454733 3366772136 1188590046 3796462394 417147391 2707903713 2660076270 1258765999 3263423451 386797139 1261758570 2352073965 3162309222 4034467550 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8720
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     4234      0 |      833 |        0
0.29/0.35	c  0.1s |       1 |     1912 |      100 |     4234      0 |      834 |      750
0.39/0.47	c  0.2s |       2 |     3514 |      250 |     4658      0 |      834 |      750
0.59/0.63	c  0.4s |       3 |     5671 |      475 |     5124      0 |      834 |      750
0.79/0.86	c  0.6s |       4 |     8056 |      813 |     5637      0 |      834 |      750
1.09/1.19	c  0.9s |       5 |    10423 |     1320 |     6201      0 |      834 |      750
1.79/1.88	c  1.6s |       6 |    14522 |     2081 |     7505      0 |      835 |      750
3.09/3.11	c  2.9s |       7 |    17505 |     3223 |     8256      0 |      835 |      750
4.19/4.27	c  4.0s |       8 |    26823 |     4936 |     9082      0 |      835 |      750
6.29/6.31	c  6.1s |       8 |    30723 |     6936 |     9082      0 |      835 |      750
6.99/7.04	c  6.8s |       9 |    31511 |     7506 |     9991      0 |      835 |      750
8.99/9.08	c  8.8s |       9 |    42567 |    10206 |     9991      0 |      835 |      750
9.79/9.81	c  9.6s |      10 |    48766 |    11361 |    10991      0 |      835 |      750
11.79/11.82	c 11.6s |      10 |    60311 |    13961 |    10991      1 |      835 |      750
13.79/13.88	c 13.6s |      10 |    69369 |    16761 |    10991      1 |      835 |      750
14.19/14.24	c 14.0s |      11 |    69825 |    17144 |    12091      1 |      835 |      750
16.19/16.27	c 16.0s |      11 |    73917 |    19144 |    12091      1 |      835 |      750
18.29/18.32	c 18.1s |      11 |    75662 |    20744 |    12091      1 |      835 |      750
20.28/20.33	c 20.1s |      11 |    76948 |    21944 |    12091      2 |      835 |      750
22.28/22.39	c 22.1s |      11 |    78339 |    23244 |    12091      2 |      835 |      750
24.48/24.53	c 24.3s |      11 |    79817 |    24444 |    12091      2 |      835 |      750
26.58/26.64	c 26.4s |      11 |    81054 |    25544 |    12091      2 |      835 |      750
26.98/27.05	c 26.8s |      12 |    81434 |    25819 |    13301      2 |      835 |      750
28.98/29.08	c 28.8s |      12 |    92144 |    28319 |    13301      2 |      835 |      750
31.18/31.25	c 31.0s |      12 |    94230 |    29819 |    13301      2 |      835 |      750
33.28/33.38	c 33.1s |      12 |    96006 |    31119 |    13301      3 |      835 |      750
35.38/35.46	c 35.2s |      12 |    97530 |    32319 |    13301      3 |      835 |      750
37.49/37.57	c 37.3s |      12 |    99255 |    33619 |    13301      3 |      835 |      750
39.49/39.59	c 39.3s |      12 |   101162 |    34919 |    13301      3 |      835 |      750
41.59/41.69	c 41.4s |      12 |   102912 |    36219 |    13301      3 |      835 |      750
43.69/43.70	c 43.4s |      12 |   104716 |    37519 |    13301      3 |      835 |      750
45.69/45.78	c 45.5s |      12 |   106725 |    38819 |    14632      3 |      835 |      750
45.79/45.80	c 45.5s |      13 |   106749 |    38832 |    14632      3 |      835 |      750
47.78/47.81	c 47.6s |      13 |   111184 |    40532 |    14632      4 |      835 |      750
49.78/49.83	c 49.6s |      13 |   116691 |    42832 |    14632      4 |      835 |      750
51.88/51.90	c 51.6s |      13 |   120713 |    44632 |    14632      4 |      835 |      750
53.89/53.92	c 53.7s |      13 |   123088 |    46132 |    14632      4 |      835 |      750
55.88/55.93	c 55.7s |      13 |   124593 |    47332 |    14632      4 |      835 |      750
58.18/58.24	c 58.0s |      13 |   126220 |    48632 |    14632      5 |      835 |      750
60.18/60.28	c 60.0s |      13 |   127739 |    49732 |    14632      5 |      835 |      750
62.28/62.33	c 62.1s |      13 |   128814 |    50632 |    14632      5 |      835 |      750
64.38/64.44	c 64.2s |      13 |   130162 |    51632 |    14632      5 |      835 |      750
66.38/66.47	c 66.2s |      13 |   131474 |    52632 |    14632      5 |      835 |      750
68.48/68.59	c 68.3s |      13 |   132834 |    53632 |    14632      5 |      835 |      750
70.58/70.62	c 70.4s |      13 |   134191 |    54632 |    14632      5 |      835 |      750
72.68/72.78	c 72.5s |      13 |   135132 |    55432 |    14632      5 |      835 |      750
74.88/74.93	c 74.7s |      13 |   136336 |    56332 |    14632      5 |      835 |      750
76.87/76.96	c 76.7s |      13 |   137315 |    57132 |    14632      5 |      835 |      750
78.97/79.07	c 78.8s |      13 |   138065 |    57732 |    14632      6 |      835 |      750
80.57/80.66	c 80.4s |      14 |   138787 |    58352 |    16096      6 |      835 |      750
82.67/82.78	c 82.5s |      14 |   145747 |    60252 |    16096      6 |      835 |      750
84.88/84.91	c 84.7s |      14 |   147107 |    61352 |    16096      6 |      835 |      750
86.89/87.00	c 86.7s |      14 |   149087 |    62852 |    16096      6 |      835 |      750
88.98/89.04	c 88.8s |      14 |   150500 |    64052 |    16096      6 |      835 |      750
91.18/91.21	c 91.0s |      14 |   151881 |    65252 |    16096      6 |      835 |      750
93.18/93.23	c 93.0s |      14 |   152911 |    66152 |    16096      6 |      835 |      750
95.28/95.38	c 95.1s |      14 |   154299 |    67252 |    16096      6 |      835 |      750
97.28/97.39	c 97.1s |      14 |   155331 |    68152 |    16096      7 |      835 |      750
99.48/99.57	c 99.3s |      14 |   156772 |    69252 |    16096      7 |      835 |      750
101.68/101.72	c  101s |      14 |   157821 |    70152 |    16096      7 |      835 |      750
103.78/103.81	c  103s |      14 |   158877 |    71052 |    16096      7 |      835 |      750
105.88/105.95	c  105s |      14 |   159952 |    71952 |    16096      7 |      835 |      750
107.97/108.09	c  107s |      14 |   160701 |    72652 |    16096      7 |      835 |      750
110.27/110.30	c  110s |      14 |   161457 |    73352 |    16096      7 |      835 |      750
112.37/112.48	c  112s |      14 |   162386 |    74152 |    16096      7 |      835 |      750
114.48/114.56	c  114s |      14 |   163210 |    74852 |    16096      7 |      835 |      750
116.58/116.63	c  116s |      14 |   164022 |    75552 |    16096      7 |      835 |      750
118.78/118.89	c  118s |      14 |   164787 |    76252 |    16096      7 |      835 |      750
120.87/120.96	c  120s |      14 |   165441 |    76852 |    16096      7 |      835 |      750
123.28/123.32	c  123s |      14 |   166305 |    77552 |    16096      8 |      835 |      750
125.48/125.55	c  125s |      14 |   167239 |    78352 |    16096      8 |      835 |      750
127.77/127.85	c  127s |      14 |   168325 |    79252 |    16096      8 |      835 |      750
129.87/129.92	c  129s |      14 |   169275 |    80052 |    16096      8 |      835 |      750
131.87/131.94	c  131s |      14 |   170264 |    80852 |    16096      8 |      835 |      750
134.07/134.19	c  133s |      14 |   171253 |    81652 |    16096      8 |      835 |      750
136.27/136.40	c  136s |      14 |   172316 |    82452 |    16096      8 |      835 |      750
138.57/138.63	c  138s |      14 |   173268 |    83252 |    16096      8 |      835 |      750
140.77/140.90	c  140s |      14 |   174129 |    83952 |    16096      8 |      835 |      750
142.97/143.07	c  142s |      14 |   174916 |    84652 |    16096      8 |      835 |      750
145.27/145.35	c  145s |      14 |   175750 |    85352 |    16096      8 |      835 |      750
147.47/147.57	c  147s |      14 |   176614 |    86052 |    16096      8 |      835 |      750
149.57/149.64	c  149s |      14 |   177317 |    86652 |    16096      8 |      835 |      750
151.87/151.96	c  151s |      14 |   178127 |    87352 |    17706      8 |      835 |      750
152.87/152.95	c  152s |      15 |   178464 |    87632 |    17706      8 |      835 |      750
154.96/155.00	c  154s |      15 |   187295 |    89532 |    17706      9 |      835 |      750
156.96/157.05	c  156s |      15 |   193336 |    91632 |    17706      9 |      835 |      750
158.96/159.07	c  158s |      15 |   195462 |    93032 |    17706      9 |      835 |      750
160.96/161.08	c  160s |      15 |   198937 |    94732 |    17706      9 |      835 |      750
163.06/163.13	c  162s |      15 |   201153 |    96232 |    17706      9 |      835 |      750
165.26/165.31	c  165s |      15 |   202875 |    97532 |    17706      9 |      835 |      750
167.46/167.52	c  167s |      15 |   203988 |    98532 |    17706      9 |      835 |      750
169.56/169.64	c  169s |      15 |   205957 |    99732 |    17706     10 |      835 |      750
171.67/171.75	c  171s |      15 |   207746 |   100932 |    17706     10 |      835 |      750
173.77/173.84	c  173s |      15 |   209119 |   102032 |    17706     10 |      835 |      750
175.86/175.98	c  175s |      15 |   210302 |   103032 |    17706     10 |      835 |      750
178.06/178.10	c  177s |      15 |   211640 |   104032 |    17706     10 |      835 |      750
180.06/180.19	c  179s |      15 |   213276 |   105132 |    17706     10 |      835 |      750
182.36/182.42	c  182s |      15 |   214383 |   106032 |    17706     10 |      835 |      750
184.47/184.59	c  184s |      15 |   215333 |   106832 |    17706     10 |      835 |      750
186.66/186.79	c  186s |      15 |   216257 |   107632 |    17706     10 |      835 |      750
188.86/188.92	c  188s |      15 |   217358 |   108432 |    17706     10 |      835 |      750
190.86/190.95	c  190s |      15 |   218267 |   109132 |    17706     11 |      835 |      750
192.96/193.04	c  192s |      15 |   219447 |   110032 |    17706     11 |      835 |      750
194.96/195.07	c  194s |      15 |   220428 |   110832 |    17706     11 |      835 |      750
197.06/197.19	c  196s |      15 |   221409 |   111632 |    17706     11 |      835 |      750
199.26/199.33	c  199s |      15 |   222387 |   112432 |    17706     11 |      835 |      750
201.37/201.43	c  201s |      15 |   223201 |   113132 |    17706     11 |      835 |      750
203.36/203.45	c  203s |      15 |   224059 |   113832 |    17706     11 |      835 |      750
205.56/205.66	c  205s |      15 |   224891 |   114532 |    17706     11 |      835 |      750
207.66/207.77	c  207s |      15 |   225774 |   115232 |    17706     11 |      835 |      750
209.86/209.95	c  209s |      15 |   226777 |   116032 |    17706     11 |      835 |      750
212.15/212.25	c  211s |      15 |   227585 |   116732 |    17706     11 |      835 |      750
214.35/214.47	c  214s |      15 |   228274 |   117332 |    17706     11 |      835 |      750
216.66/216.76	c  216s |      15 |   229072 |   118032 |    17706     11 |      835 |      750
219.05/219.12	c  218s |      15 |   229781 |   118632 |    17706     11 |      835 |      750
221.25/221.39	c  221s |      15 |   230333 |   119132 |    17706     11 |      835 |      750
223.45/223.58	c  223s |      15 |   230778 |   119532 |    17706     12 |      835 |      750
225.46/225.59	c  225s |      15 |   231449 |   120132 |    17706     12 |      835 |      750
227.66/227.70	c  227s |      15 |   232241 |   120832 |    17706     12 |      835 |      750
229.86/229.98	c  229s |      15 |   233064 |   121532 |    17706     12 |      835 |      750
232.06/232.17	c  231s |      15 |   233996 |   122332 |    17706     12 |      835 |      750
234.26/234.35	c  234s |      15 |   234845 |   123032 |    17706     12 |      835 |      750
236.46/236.59	c  236s |      15 |   235533 |   123632 |    17706     12 |      835 |      750
238.55/238.63	c  238s |      15 |   236398 |   124232 |    17706     12 |      835 |      750
240.65/240.76	c  240s |      15 |   237238 |   124932 |    17706     12 |      835 |      750
242.95/243.09	c  242s |      15 |   238047 |   125632 |    17706     12 |      835 |      750
245.15/245.26	c  245s |      15 |   238790 |   126232 |    17706     12 |      835 |      750
247.35/247.48	c  247s |      15 |   239437 |   126832 |    17706     12 |      835 |      750
249.55/249.61	c  249s |      15 |   240118 |   127432 |    17706     12 |      835 |      750
251.75/251.90	c  251s |      15 |   240790 |   128032 |    17706     12 |      835 |      750
253.84/253.95	c  253s |      15 |   241485 |   128632 |    17706     12 |      835 |      750
255.95/256.00	c  255s |      15 |   242031 |   129132 |    17706     12 |      835 |      750
258.15/258.29	c  258s |      15 |   242692 |   129732 |    17706     12 |      835 |      750
260.35/260.47	c  260s |      15 |   243252 |   130232 |    17706     13 |      835 |      750
262.45/262.58	c  262s |      15 |   244095 |   130932 |    19477     13 |      835 |      750
264.55/264.61	c  264s |      15 |   244811 |   131532 |    19477     13 |      835 |      750
264.55/264.67	c  264s |      16 |   244829 |   131552 |    19477     13 |      835 |      750
266.65/266.74	c  266s |      16 |   251340 |   133652 |    19477     13 |      835 |      750
268.75/268.86	c  268s |      16 |   253500 |   135252 |    19477     13 |      835 |      750
270.85/270.97	c  270s |      16 |   255315 |   136652 |    19477     13 |      835 |      750
272.95/273.03	c  272s |      16 |   256647 |   137852 |    19477     13 |      835 |      750
274.96/275.08	c  274s |      16 |   258707 |   139152 |    19477     13 |      835 |      750
277.16/277.21	c  276s |      16 |   260448 |   140552 |    19477     13 |      835 |      750
279.36/279.42	c  279s |      16 |   261454 |   141452 |    19477     13 |      835 |      750
281.45/281.51	c  281s |      16 |   262270 |   142152 |    19477     14 |      835 |      750
283.65/283.71	c  283s |      16 |   263548 |   143152 |    19477     14 |      835 |      750
285.75/285.88	c  285s |      16 |   264674 |   144052 |    19477     14 |      835 |      750
288.05/288.17	c  287s |      16 |   265456 |   144752 |    19477     14 |      835 |      750
290.35/290.44	c  290s |      16 |   266378 |   145552 |    19477     14 |      835 |      750
292.44/292.51	c  292s |      16 |   267174 |   146252 |    19477     14 |      835 |      750
294.64/294.75	c  294s |      16 |   267945 |   146952 |    19477     14 |      835 |      750
296.74/296.86	c  296s |      16 |   268619 |   147552 |    19477     14 |      835 |      750
299.04/299.11	c  298s |      16 |   269414 |   148252 |    19477     14 |      835 |      750
301.14/301.28	c  301s |      16 |   270072 |   148852 |    19477     14 |      835 |      750
303.34/303.40	c  303s |      16 |   270907 |   149552 |    19477     14 |      835 |      750
305.64/305.73	c  305s |      16 |   271667 |   150252 |    19477     14 |      835 |      750
307.74/307.84	c  307s |      16 |   272486 |   150952 |    19477     14 |      835 |      750
309.94/310.00	c  309s |      16 |   273128 |   151552 |    19477     14 |      835 |      750
312.24/312.36	c  312s |      16 |   273894 |   152252 |    19477     14 |      835 |      750
314.34/314.49	c  314s |      16 |   274592 |   152852 |    19477     14 |      835 |      750
316.54/316.60	c  316s |      16 |   275541 |   153652 |    19477     15 |      835 |      750
318.54/318.60	c  318s |      16 |   276544 |   154452 |    19477     15 |      835 |      750
320.64/320.78	c  320s |      16 |   277677 |   155352 |    19477     15 |      835 |      750
322.64/322.78	c  322s |      16 |   278713 |   156152 |    19477     15 |      835 |      750
324.83/324.92	c  324s |      16 |   279771 |   157052 |    19477     15 |      835 |      750
327.03/327.14	c  326s |      16 |   280588 |   157752 |    19477     15 |      835 |      750
329.43/329.51	c  329s |      16 |   281372 |   158452 |    19477     15 |      835 |      750
331.44/331.57	c  331s |      16 |   282086 |   159052 |    19477     15 |      835 |      750
333.64/333.77	c  333s |      16 |   282717 |   159652 |    19477     15 |      835 |      750
335.74/335.82	c  335s |      16 |   283436 |   160252 |    19477     15 |      835 |      750
338.04/338.15	c  337s |      16 |   284127 |   160852 |    19477     15 |      835 |      750
340.24/340.30	c  340s |      16 |   284675 |   161352 |    19477     15 |      835 |      750
342.44/342.59	c  342s |      16 |   285371 |   161952 |    19477     15 |      835 |      750
344.84/344.93	c  344s |      16 |   286209 |   162652 |    19477     15 |      835 |      750
347.04/347.19	c  346s |      16 |   287021 |   163352 |    19477     15 |      835 |      750
349.14/349.24	c  348s |      16 |   287742 |   163952 |    19477     15 |      835 |      750
351.34/351.46	c  351s |      16 |   288345 |   164452 |    19477     16 |      835 |      750
353.43/353.52	c  353s |      16 |   289035 |   165052 |    19477     16 |      835 |      750
355.63/355.73	c  355s |      16 |   289702 |   165652 |    19477     16 |      835 |      750
357.83/357.96	c  357s |      16 |   290350 |   166252 |    19477     16 |      835 |      750
360.13/360.25	c  359s |      16 |   291127 |   166952 |    19477     16 |      835 |      750
362.43/362.59	c  362s |      16 |   291755 |   167552 |    19477     16 |      835 |      750
364.54/364.66	c  364s |      16 |   292496 |   168152 |    19477     16 |      835 |      750
366.84/366.96	c  366s |      16 |   293164 |   168752 |    19477     16 |      835 |      750
368.94/369.00	c  368s |      16 |   293901 |   169352 |    19477     16 |      835 |      750
371.13/371.23	c  370s |      16 |   294569 |   169952 |    19477     16 |      835 |      750
373.13/373.23	c  372s |      16 |   295089 |   170452 |    19477     16 |      835 |      750
375.53/375.66	c  375s |      16 |   295715 |   171052 |    19477     16 |      835 |      750
377.63/377.79	c  377s |      16 |   296251 |   171552 |    19477     16 |      835 |      750
379.73/379.84	c  379s |      16 |   297009 |   172152 |    19477     16 |      835 |      750
381.83/381.97	c  381s |      16 |   297704 |   172752 |    19477     16 |      835 |      750
384.03/384.19	c  383s |      16 |   298427 |   173352 |    19477     16 |      835 |      750
386.14/386.28	c  386s |      16 |   299193 |   173952 |    19477     16 |      835 |      750
388.34/388.46	c  388s |      16 |   299910 |   174552 |    19477     16 |      835 |      750
390.43/390.52	c  390s |      16 |   300630 |   175152 |    19477     16 |      835 |      750
392.63/392.80	c  392s |      16 |   301229 |   175652 |    19477     17 |      835 |      750
394.73/394.85	c  394s |      16 |   302058 |   176352 |    19477     17 |      835 |      750
396.93/397.03	c  396s |      16 |   302828 |   177052 |    19477     17 |      835 |      750
399.12/399.20	c  398s |      16 |   303700 |   177752 |    19477     17 |      835 |      750
401.12/401.23	c  400s |      16 |   304558 |   178452 |    19477     17 |      835 |      750
403.22/403.34	c  403s |      16 |   305429 |   179152 |    19477     17 |      835 |      750
405.22/405.39	c  405s |      16 |   306314 |   179852 |    19477     17 |      835 |      750
407.32/407.42	c  407s |      16 |   307003 |   180452 |    19477     17 |      835 |      750
409.32/409.48	c  409s |      16 |   307848 |   181152 |    19477     17 |      835 |      750
411.72/411.81	c  411s |      16 |   308497 |   181752 |    19477     17 |      835 |      750
414.03/414.11	c  413s |      16 |   309173 |   182352 |    19477     17 |      835 |      750
416.33/416.49	c  416s |      16 |   309828 |   182952 |    19477     17 |      835 |      750
418.43/418.53	c  418s |      16 |   310393 |   183452 |    19477     17 |      835 |      750
420.53/420.69	c  420s |      16 |   310945 |   183952 |    19477     17 |      835 |      750
422.92/423.04	c  422s |      16 |   311467 |   184452 |    19477     17 |      835 |      750
425.02/425.10	c  424s |      16 |   312050 |   184952 |    19477     17 |      835 |      750
427.12/427.27	c  427s |      16 |   312654 |   185452 |    19477     17 |      835 |      750
429.52/429.61	c  429s |      16 |   313190 |   185952 |    19477     17 |      835 |      750
432.42/432.53	c  432s |      16 |   313731 |   186452 |    19477     18 |      835 |      750
434.62/434.79	c  434s |      16 |   314382 |   187052 |    19477     18 |      835 |      750
436.92/437.01	c  436s |      16 |   315085 |   187652 |    19477     18 |      835 |      750
439.02/439.14	c  438s |      16 |   315604 |   188152 |    19477     18 |      835 |      750
441.42/441.51	c  441s |      16 |   316268 |   188752 |    19477     18 |      835 |      750
443.52/443.67	c  443s |      16 |   316800 |   189252 |    19477     18 |      835 |      750
445.92/446.02	c  445s |      16 |   317512 |   189852 |    19477     18 |      835 |      750
447.92/448.09	c  447s |      16 |   318196 |   190452 |    19477     18 |      835 |      750
450.12/450.27	c  450s |      16 |   318846 |   191052 |    19477     18 |      835 |      750
452.42/452.53	c  452s |      16 |   319549 |   191652 |    19477     18 |      835 |      750
454.42/454.60	c  454s |      16 |   320136 |   192152 |    19477     18 |      835 |      750
456.62/456.72	c  456s |      16 |   320683 |   192652 |    19477     18 |      835 |      750
459.02/459.13	c  458s |      16 |   321228 |   193152 |    19477     18 |      835 |      750
461.22/461.35	c  461s |      16 |   321766 |   193652 |    19477     18 |      835 |      750
463.22/463.39	c  463s |      16 |   322326 |   194152 |    19477     18 |      835 |      750
465.72/465.84	c  465s |      16 |   322861 |   194652 |    19477     18 |      835 |      750
467.92/468.05	c  467s |      16 |   323427 |   195152 |    19477     18 |      835 |      750
470.12/470.28	c  470s |      16 |   324009 |   195652 |    19477     18 |      835 |      750
472.62/472.70	c  472s |      16 |   324547 |   196152 |    21425     18 |      835 |      750
474.72/474.84	c  474s |      16 |   325140 |   196652 |    21425     18 |      835 |      750
477.11/477.23	c  476s |      16 |   325672 |   197152 |    21425     18 |      835 |      750
478.31/478.46	c  478s |      17 |   325998 |   197432 |    21425     18 |      835 |      750
480.41/480.51	c  480s |      17 |   329636 |   198232 |    21425     19 |      835 |      750
482.51/482.60	c  482s |      17 |   331148 |   199532 |    21425     19 |      835 |      750
484.61/484.75	c  484s |      17 |   332385 |   200632 |    21425     19 |      835 |      750
486.61/486.78	c  486s |      17 |   333378 |   201532 |    21425     19 |      835 |      750
488.81/488.94	c  488s |      17 |   334574 |   202532 |    21425     19 |      835 |      750
490.91/491.10	c  490s |      17 |   335628 |   203532 |    21425     19 |      835 |      750
493.01/493.17	c  492s |      17 |   336604 |   204432 |    21425     19 |      835 |      750
495.31/495.43	c  495s |      17 |   338072 |   205432 |    21425     19 |      835 |      750
497.41/497.55	c  497s |      17 |   338925 |   206132 |    21425     19 |      835 |      750
499.42/499.57	c  499s |      17 |   339553 |   206732 |    21425     19 |      835 |      750
501.71/501.83	c  501s |      17 |   340299 |   207432 |    21425     19 |      835 |      750
503.82/503.99	c  503s |      17 |   341040 |   208132 |    21425     19 |      835 |      750
506.02/506.17	c  505s |      17 |   341672 |   208732 |    21425     19 |      835 |      750
508.12/508.21	c  507s |      17 |   342204 |   209232 |    21425     19 |      835 |      750
510.21/510.39	c  510s |      17 |   342830 |   209832 |    21425     19 |      835 |      750
512.52/512.65	c  512s |      17 |   343363 |   210332 |    21425     19 |      835 |      750
514.61/514.71	c  514s |      17 |   343692 |   210632 |    21425     20 |      835 |      750
516.61/516.77	c  516s |      17 |   344218 |   211132 |    21425     20 |      835 |      750
518.81/518.95	c  518s |      17 |   344800 |   211632 |    21425     20 |      835 |      750
521.01/521.16	c  520s |      17 |   345251 |   212032 |    21425     20 |      835 |      750
523.41/523.51	c  523s |      17 |   345837 |   212532 |    21425     20 |      835 |      750
525.61/525.73	c  525s |      17 |   346747 |   213232 |    21425     20 |      835 |      750
527.81/527.96	c  527s |      17 |   347578 |   213832 |    21425     20 |      835 |      750
529.81/529.97	c  529s |      17 |   348225 |   214332 |    21425     20 |      835 |      750
532.10/532.26	c  532s |      17 |   348807 |   214832 |    21425     20 |      835 |      750
534.20/534.35	c  534s |      17 |   349412 |   215332 |    21425     20 |      835 |      750
536.50/536.66	c  536s |      17 |   350101 |   215932 |    21425     20 |      835 |      750
538.80/538.95	c  538s |      17 |   350693 |   216432 |    21425     20 |      835 |      750
541.21/541.30	c  541s |      17 |   351108 |   216832 |    21425     20 |      835 |      750
543.20/543.31	c  543s |      17 |   351623 |   217232 |    21425     20 |      835 |      750
545.70/545.80	c  545s |      17 |   352184 |   217732 |    21425     20 |      835 |      750
547.71/547.88	c  547s |      17 |   352625 |   218132 |    21425     20 |      835 |      750
549.80/549.99	c  549s |      17 |   353093 |   218532 |    21425     20 |      835 |      750
551.90/552.05	c  551s |      17 |   353593 |   218932 |    21425     20 |      835 |      750
554.20/554.33	c  554s |      17 |   354495 |   219632 |    21425     20 |      835 |      750
556.40/556.51	c  556s |      17 |   355257 |   220332 |    21425     20 |      835 |      750
558.51/558.69	c  558s |      17 |   355995 |   221032 |    21425     20 |      835 |      750
560.50/560.70	c  560s |      17 |   356622 |   221632 |    21425     20 |      835 |      750
562.70/562.88	c  562s |      17 |   357327 |   222232 |    21425     20 |      835 |      750
565.70/565.81	c  565s |      17 |   358005 |   222832 |    21425     21 |      835 |      750
567.90/568.03	c  567s |      17 |   358863 |   223532 |    21425     21 |      835 |      750
569.90/570.03	c  569s |      17 |   359507 |   224132 |    21425     21 |      835 |      750
572.20/572.34	c  572s |      17 |   360292 |   224832 |    21425     21 |      835 |      750
574.50/574.67	c  574s |      17 |   360983 |   225432 |    21425     21 |      835 |      750
576.60/576.73	c  576s |      17 |   361682 |   226032 |    21425     21 |      835 |      750
578.70/578.87	c  578s |      17 |   362221 |   226532 |    21425     21 |      835 |      750
580.71/580.88	c  580s |      17 |   362810 |   227032 |    21425     21 |      835 |      750
583.10/583.20	c  582s |      17 |   363544 |   227632 |    21425     21 |      835 |      750
585.40/585.60	c  585s |      17 |   364192 |   228232 |    21425     21 |      835 |      750
587.50/587.69	c  587s |      17 |   364609 |   228632 |    21425     21 |      835 |      750
589.70/589.86	c  589s |      17 |   365162 |   229132 |    21425     21 |      835 |      750
592.00/592.16	c  591s |      17 |   365750 |   229632 |    21425     21 |      835 |      750
594.20/594.36	c  594s |      17 |   366328 |   230132 |    21425     21 |      835 |      750
596.50/596.60	c  596s |      17 |   366874 |   230632 |    21425     21 |      835 |      750
598.90/599.03	c  598s |      17 |   367440 |   231132 |    21425     21 |      835 |      750
601.20/601.31	c  601s |      17 |   368032 |   231632 |    21425     21 |      835 |      750
603.40/603.58	c  603s |      17 |   368607 |   232132 |    21425     21 |      835 |      750
605.50/605.63	c  605s |      17 |   369027 |   232532 |    21425     21 |      835 |      750
607.89/608.06	c  607s |      17 |   369577 |   233032 |    21425     21 |      835 |      750
610.19/610.37	c  610s |      17 |   369996 |   233432 |    21425     21 |      835 |      750
612.29/612.45	c  612s |      17 |   370449 |   233832 |    21425     21 |      835 |      750
614.69/614.83	c  614s |      17 |   370877 |   234232 |    21425     21 |      835 |      750
617.00/617.12	c  616s |      17 |   371318 |   234632 |    21425     21 |      835 |      750
619.10/619.27	c  619s |      17 |   371656 |   234932 |    21425     22 |      835 |      750
621.30/621.40	c  621s |      17 |   372235 |   235432 |    21425     22 |      835 |      750
623.40/623.56	c  623s |      17 |   372873 |   236032 |    21425     22 |      835 |      750
625.60/625.75	c  625s |      17 |   373406 |   236532 |    21425     22 |      835 |      750
627.70/627.82	c  627s |      17 |   373833 |   236932 |    21425     22 |      835 |      750
629.80/629.93	c  629s |      17 |   374255 |   237332 |    21425     22 |      835 |      750
631.80/631.93	c  631s |      17 |   375389 |   238032 |    21425     22 |      835 |      750
633.89/634.07	c  633s |      17 |   376350 |   238732 |    21425     22 |      835 |      750
635.99/636.11	c  635s |      17 |   377126 |   239332 |    21425     22 |      835 |      750
638.19/638.32	c  638s |      17 |   378034 |   240032 |    21425     22 |      835 |      750
640.39/640.52	c  640s |      17 |   378745 |   240632 |    21425     22 |      835 |      750
642.59/642.74	c  642s |      17 |   379484 |   241232 |    21425     22 |      835 |      750
644.79/644.96	c  644s |      17 |   380238 |   241832 |    21425     22 |      835 |      750
646.89/647.05	c  646s |      17 |   381001 |   242432 |    21425     22 |      835 |      750
648.90/649.06	c  648s |      17 |   381679 |   243032 |    21425     22 |      835 |      750
651.29/651.42	c  651s |      17 |   382358 |   243632 |    21425     22 |      835 |      750
653.59/653.76	c  653s |      17 |   382934 |   244132 |    21425     22 |      835 |      750
655.59/655.79	c  655s |      17 |   383518 |   244632 |    21425     22 |      835 |      750
657.69/657.85	c  657s |      17 |   384119 |   245132 |    21425     22 |      835 |      750
659.79/659.96	c  659s |      17 |   384824 |   245732 |    21425     22 |      835 |      750
662.09/662.25	c  661s |      17 |   385616 |   246332 |    21425     22 |      835 |      750
664.19/664.35	c  664s |      17 |   386242 |   246832 |    21425     22 |      835 |      750
666.38/666.59	c  666s |      17 |   386757 |   247232 |    21425     23 |      835 |      750
668.79/668.96	c  668s |      17 |   387618 |   247932 |    21425     23 |      835 |      750
670.89/671.07	c  670s |      17 |   388394 |   248632 |    21425     23 |      835 |      750
673.09/673.21	c  672s |      17 |   389111 |   249332 |    21425     23 |      835 |      750
675.29/675.42	c  675s |      17 |   389870 |   250032 |    21425     23 |      835 |      750
677.49/677.63	c  677s |      17 |   390520 |   250632 |    21425     23 |      835 |      750
679.69/679.86	c  679s |      17 |   391043 |   251132 |    21425     23 |      835 |      750
681.89/682.08	c  681s |      17 |   391605 |   251632 |    21425     23 |      835 |      750
684.19/684.33	c  684s |      17 |   392310 |   252232 |    21425     23 |      835 |      750
686.29/686.50	c  686s |      17 |   393061 |   252832 |    21425     23 |      835 |      750
688.68/688.88	c  688s |      17 |   393801 |   253432 |    21425     23 |      835 |      750
690.88/691.06	c  690s |      17 |   394514 |   254032 |    21425     23 |      835 |      750
692.99/693.18	c  692s |      17 |   395234 |   254632 |    21425     23 |      835 |      750
695.28/695.42	c  695s |      17 |   395947 |   255232 |    21425     23 |      835 |      750
697.39/697.53	c  697s |      17 |   396674 |   255832 |    21425     23 |      835 |      750
699.78/699.93	c  699s |      17 |   397478 |   256532 |    21425     23 |      835 |      750
701.79/701.98	c  701s |      17 |   398043 |   257032 |    21425     23 |      835 |      750
703.88/704.08	c  703s |      17 |   398666 |   257532 |    21425     23 |      835 |      750
706.18/706.33	c  706s |      17 |   399278 |   258032 |    21425     23 |      835 |      750
708.48/708.65	c  708s |      17 |   400039 |   258632 |    21425     23 |      835 |      750
711.38/711.59	c  711s |      17 |   400751 |   259232 |    21425     24 |      835 |      750
713.79/713.92	c  713s |      17 |   401608 |   259932 |    21425     24 |      835 |      750
715.78/715.94	c  715s |      17 |   402315 |   260532 |    21425     24 |      835 |      750
717.98/718.11	c  717s |      17 |   402913 |   261032 |    21425     24 |      835 |      750
720.08/720.29	c  720s |      17 |   403666 |   261632 |    21425     24 |      835 |      750
722.48/722.62	c  722s |      17 |   404520 |   262332 |    21425     24 |      835 |      750
724.58/724.72	c  724s |      17 |   405281 |   262932 |    21425     24 |      835 |      750
726.58/726.73	c  726s |      17 |   405861 |   263432 |    21425     24 |      835 |      750
728.88/729.04	c  728s |      17 |   406569 |   264032 |    21425     24 |      835 |      750
731.17/731.39	c  731s |      17 |   407244 |   264632 |    21425     24 |      835 |      750
733.37/733.56	c  733s |      17 |   407829 |   265132 |    21425     24 |      835 |      750
735.67/735.80	c  735s |      17 |   408587 |   265732 |    21425     24 |      835 |      750
737.87/738.04	c  737s |      17 |   409294 |   266332 |    21425     24 |      835 |      750
740.28/740.46	c  740s |      17 |   410014 |   266932 |    21425     24 |      835 |      750
742.38/742.59	c  742s |      17 |   410611 |   267432 |    21425     24 |      835 |      750
744.37/744.59	c  744s |      17 |   411215 |   267932 |    21425     24 |      835 |      750
746.47/746.64	c  746s |      17 |   411857 |   268432 |    21425     24 |      835 |      750
748.47/748.69	c  748s |      17 |   412436 |   268932 |    21425     24 |      835 |      750
750.77/750.95	c  750s |      17 |   413025 |   269432 |    21425     24 |      835 |      750
753.17/753.37	c  753s |      17 |   413631 |   269932 |    21425     24 |      835 |      750
755.57/755.75	c  755s |      17 |   414215 |   270432 |    21425     24 |      835 |      750
757.68/757.85	c  757s |      17 |   414903 |   270932 |    21425     24 |      835 |      750
760.48/760.61	c  760s |      17 |   415492 |   271432 |    21425     25 |      835 |      750
762.68/762.85	c  762s |      17 |   416342 |   272132 |    21425     25 |      835 |      750
764.77/764.91	c  764s |      17 |   417063 |   272732 |    21425     25 |      835 |      750
767.07/767.24	c  766s |      17 |   417881 |   273432 |    21425     25 |      835 |      750
769.07/769.24	c  768s |      17 |   418614 |   274032 |    21425     25 |      835 |      750
771.37/771.56	c  771s |      17 |   419316 |   274632 |    21425     25 |      835 |      750
773.57/773.75	c  773s |      17 |   420028 |   275232 |    21425     25 |      835 |      750
775.77/776.00	c  775s |      17 |   420735 |   275832 |    21425     25 |      835 |      750
778.07/778.26	c  778s |      17 |   421468 |   276432 |    21425     25 |      835 |      750
780.37/780.51	c  780s |      17 |   422208 |   277032 |    21425     25 |      835 |      750
782.67/782.86	c  782s |      17 |   422911 |   277632 |    21425     25 |      835 |      750
784.67/784.86	c  784s |      17 |   423549 |   278132 |    21425     25 |      835 |      750
786.87/787.06	c  786s |      17 |   424095 |   278632 |    21425     25 |      835 |      750
789.17/789.34	c  789s |      17 |   424834 |   279232 |    21425     25 |      835 |      750
791.27/791.47	c  791s |      17 |   425428 |   279732 |    21425     25 |      835 |      750
793.57/793.79	c  793s |      17 |   426203 |   280332 |    21425     25 |      835 |      750
795.67/795.89	c  795s |      17 |   426813 |   280832 |    21425     25 |      835 |      750
797.87/798.01	c  797s |      17 |   427377 |   281332 |    21425     25 |      835 |      750
799.96/800.19	c  799s |      17 |   427791 |   281732 |    21425     25 |      835 |      750
802.46/802.62	c  802s |      17 |   428393 |   282232 |    21425     25 |      835 |      750
804.76/804.99	c  804s |      17 |   429076 |   282832 |    21425     25 |      835 |      750
807.16/807.38	c  807s |      17 |   429719 |   283432 |    21425     25 |      835 |      750
809.57/809.71	c  809s |      17 |   430248 |   283932 |    21425     26 |      835 |      750
811.86/812.01	c  811s |      17 |   431007 |   284632 |    21425     26 |      835 |      750
813.87/814.05	c  813s |      17 |   431544 |   285132 |    21425     26 |      835 |      750
815.96/816.19	c  815s |      17 |   432187 |   285732 |    21425     26 |      835 |      750
818.06/818.22	c  817s |      17 |   432717 |   286232 |    21425     26 |      835 |      750
820.37/820.53	c  820s |      17 |   433455 |   286832 |    21425     26 |      835 |      750
822.67/822.90	c  822s |      17 |   434114 |   287432 |    21425     26 |      835 |      750
825.06/825.24	c  824s |      17 |   434685 |   287932 |    21425     26 |      835 |      750
827.07/827.27	c  827s |      17 |   435127 |   288332 |    21425     26 |      835 |      750
829.37/829.54	c  829s |      17 |   435704 |   288832 |    21425     26 |      835 |      750
831.86/832.00	c  831s |      17 |   436260 |   289332 |    21425     26 |      835 |      750
833.96/834.19	c  833s |      17 |   436858 |   289832 |    21425     26 |      835 |      750
836.36/836.51	c  836s |      17 |   437450 |   290332 |    21425     26 |      835 |      750
838.76/838.95	c  838s |      17 |   438024 |   290832 |    21425     26 |      835 |      750
841.26/841.42	c  841s |      17 |   438604 |   291332 |    21425     26 |      835 |      750
843.67/843.86	c  843s |      17 |   439201 |   291832 |    21425     26 |      835 |      750
845.96/846.19	c  845s |      17 |   439993 |   292332 |    21425     26 |      835 |      750
848.07/848.22	c  847s |      17 |   442471 |   293432 |    21425     26 |      835 |      750
850.16/850.35	c  850s |      17 |   443771 |   294332 |    23568     26 |      835 |      750
852.36/852.57	c  852s |      17 |   444832 |   295232 |    23568     26 |      835 |      750
854.56/854.75	c  854s |      17 |   445789 |   296032 |    23568     26 |      835 |      750
855.26/855.49	c  855s |      18 |   446056 |   296252 |    23568     26 |      835 |      750
857.35/857.58	c  857s |      18 |   450902 |   297552 |    23568     27 |      835 |      750
859.35/859.59	c  859s |      18 |   452512 |   298852 |    23568     27 |      835 |      750
861.45/861.64	c  861s |      18 |   453641 |   299852 |    23568     27 |      835 |      750
863.46/863.68	c  863s |      18 |   454595 |   300752 |    23568     27 |      835 |      750
865.56/865.74	c  865s |      18 |   457375 |   302152 |    23568     27 |      835 |      750
867.65/867.88	c  867s |      18 |   458853 |   303352 |    23568     27 |      835 |      750
869.65/869.89	c  869s |      18 |   460243 |   304452 |    23568     27 |      835 |      750
871.75/871.93	c  871s |      18 |   461640 |   305552 |    23568     27 |      835 |      750
873.85/874.02	c  873s |      18 |   464749 |   306952 |    23568     27 |      835 |      750
875.95/876.12	c  875s |      18 |   470869 |   308852 |    23568     27 |      835 |      750
877.95/878.16	c  877s |      18 |   472804 |   310152 |    23568     27 |      835 |      750
880.05/880.20	c  879s |      18 |   474341 |   311152 |    23568     28 |      835 |      750
882.16/882.33	c  882s |      18 |   476099 |   312452 |    23568     28 |      835 |      750
884.16/884.35	c  884s |      18 |   477319 |   313452 |    23568     28 |      835 |      750
886.36/886.51	c  886s |      18 |   478656 |   314452 |    23568     28 |      835 |      750
888.46/888.61	c  888s |      18 |   479967 |   315452 |    23568     28 |      835 |      750
890.45/890.64	c  890s |      18 |   481224 |   316352 |    23568     28 |      835 |      750
892.55/892.72	c  892s |      18 |   482652 |   317452 |    23568     28 |      835 |      750
894.75/894.92	c  894s |      18 |   483665 |   318252 |    23568     28 |      835 |      750
896.95/897.11	c  896s |      18 |   484509 |   318952 |    23568     28 |      835 |      750
898.95/899.19	c  898s |      18 |   485651 |   319852 |    23568     28 |      835 |      750
901.25/901.48	c  901s |      18 |   486675 |   320652 |    23568     28 |      835 |      750
903.45/903.60	c  903s |      18 |   487530 |   321352 |    23568     28 |      835 |      750
905.55/905.72	c  905s |      18 |   488334 |   322052 |    23568     28 |      835 |      750
907.75/907.97	c  907s |      18 |   489108 |   322752 |    23568     28 |      835 |      750
909.85/910.00	c  909s |      18 |   489909 |   323452 |    23568     28 |      835 |      750
912.45/912.66	c  912s |      18 |   490723 |   324152 |    23568     29 |      835 |      750
914.55/914.75	c  914s |      18 |   491508 |   324852 |    23568     29 |      835 |      750
916.75/916.92	c  916s |      18 |   492331 |   325552 |    23568     29 |      835 |      750
918.75/918.94	c  918s |      18 |   493015 |   326152 |    23568     29 |      835 |      750
920.85/921.08	c  920s |      18 |   493848 |   326852 |    23568     29 |      835 |      750
923.05/923.23	c  922s |      18 |   494511 |   327452 |    23568     29 |      835 |      750
925.14/925.37	c  925s |      18 |   495187 |   328052 |    23568     29 |      835 |      750
927.34/927.59	c  927s |      18 |   495872 |   328652 |    23568     29 |      835 |      750
929.54/929.73	c  929s |      18 |   496696 |   329352 |    23568     29 |      835 |      750
931.74/931.92	c  931s |      18 |   497550 |   330052 |    23568     29 |      835 |      750
933.94/934.11	c  933s |      18 |   498361 |   330752 |    23568     29 |      835 |      750
935.95/936.16	c  935s |      18 |   499088 |   331352 |    23568     29 |      835 |      750
938.34/938.57	c  938s |      18 |   499799 |   331952 |    23568     29 |      835 |      750
940.75/940.91	c  940s |      18 |   500479 |   332552 |    23568     29 |      835 |      750
942.95/943.16	c  942s |      18 |   501175 |   333152 |    23568     29 |      835 |      750
945.35/945.50	c  945s |      18 |   501867 |   333752 |    23568     29 |      835 |      750
947.35/947.57	c  947s |      18 |   502442 |   334252 |    23568     29 |      835 |      750
949.45/949.69	c  949s |      18 |   502985 |   334752 |    23568     29 |      835 |      750
951.65/951.83	c  951s |      18 |   504215 |   335552 |    23568     29 |      835 |      750
953.85/954.06	c  953s |      18 |   505360 |   336352 |    23568     29 |      835 |      750
955.94/956.11	c  955s |      18 |   506152 |   336952 |    23568     29 |      835 |      750
958.64/958.87	c  958s |      18 |   506723 |   337452 |    23568     30 |      835 |      750
960.74/960.97	c  960s |      18 |   507542 |   338152 |    23568     30 |      835 |      750
962.74/962.99	c  962s |      18 |   508248 |   338752 |    23568     30 |      835 |      750
964.94/965.16	c  964s |      18 |   509099 |   339452 |    23568     30 |      835 |      750
967.34/967.51	c  967s |      18 |   510023 |   340252 |    23568     30 |      835 |      750
969.54/969.70	c  969s |      18 |   510891 |   340952 |    23568     30 |      835 |      750
971.54/971.74	c  971s |      18 |   511729 |   341652 |    23568     30 |      835 |      750
973.74/973.96	c  973s |      18 |   512707 |   342452 |    23568     30 |      835 |      750
976.04/976.26	c  975s |      18 |   513599 |   343152 |    23568     30 |      835 |      750
978.24/978.44	c  978s |      18 |   514503 |   343852 |    23568     30 |      835 |      750
980.34/980.57	c  980s |      18 |   515255 |   344452 |    23568     30 |      835 |      750
982.34/982.58	c  982s |      18 |   516002 |   345052 |    23568     30 |      835 |      750
984.74/984.90	c  984s |      18 |   516693 |   345652 |    23568     30 |      835 |      750
986.94/987.13	c  986s |      18 |   517411 |   346252 |    23568     30 |      835 |      750
989.13/989.39	c  989s |      18 |   518125 |   346852 |    23568     30 |      835 |      750
991.23/991.46	c  991s |      18 |   518840 |   347452 |    23568     30 |      835 |      750
993.63/993.89	c  993s |      18 |   519546 |   348052 |    23568     30 |      835 |      750
995.93/996.19	c  995s |      18 |   520138 |   348552 |    23568     30 |      835 |      750
998.03/998.26	c  997s |      18 |   520705 |   349052 |    23568     30 |      835 |      750
1000.33/1000.58	c 1000s |      18 |   521298 |   349552 |    23568     30 |      835 |      750
1002.63/1002.89	c 1002s |      18 |   521888 |   350052 |    23568     30 |      835 |      750
1004.73/1004.91	c 1004s |      18 |   522352 |   350452 |    23568     30 |      835 |      750
1007.13/1007.35	c 1007s |      18 |   522789 |   350852 |    23568     31 |      835 |      750
1009.53/1009.72	c 1009s |      18 |   523579 |   351552 |    23568     31 |      835 |      750
1011.53/1011.77	c 1011s |      18 |   524288 |   352152 |    23568     31 |      835 |      750
1013.63/1013.89	c 1013s |      18 |   524988 |   352752 |    23568     31 |      835 |      750
1016.03/1016.22	c 1015s |      18 |   525652 |   353352 |    23568     31 |      835 |      750
1018.24/1018.40	c 1018s |      18 |   526220 |   353852 |    23568     31 |      835 |      750
1020.44/1020.63	c 1020s |      18 |   526882 |   354452 |    23568     31 |      835 |      750
1022.43/1022.66	c 1022s |      18 |   527437 |   354952 |    23568     31 |      835 |      750
1024.53/1024.76	c 1024s |      18 |   527995 |   355452 |    23568     31 |      835 |      750
1026.63/1026.87	c 1026s |      18 |   528441 |   355852 |    23568     31 |      835 |      750
1028.63/1028.88	c 1028s |      18 |   529062 |   356352 |    23568     31 |      835 |      750
1030.93/1031.19	c 1030s |      18 |   529739 |   356952 |    23568     31 |      835 |      750
1032.93/1033.19	c 1032s |      18 |   530305 |   357452 |    23568     31 |      835 |      750
1035.23/1035.41	c 1035s |      18 |   533100 |   358652 |    23568     31 |      835 |      750
1037.43/1037.60	c 1037s |      18 |   534291 |   359552 |    23568     31 |      835 |      750
1039.53/1039.72	c 1039s |      18 |   537698 |   360652 |    23568     31 |      835 |      750
1041.53/1041.79	c 1041s |      18 |   540956 |   362052 |    23568     31 |      835 |      750
1043.63/1043.90	c 1043s |      18 |   544760 |   363352 |    23568     31 |      835 |      750
1045.93/1046.13	c 1045s |      18 |   546087 |   364152 |    23568     32 |      835 |      750
1048.02/1048.24	c 1047s |      18 |   548059 |   365452 |    23568     32 |      835 |      750
1050.02/1050.27	c 1050s |      18 |   549530 |   366552 |    23568     32 |      835 |      750
1052.22/1052.42	c 1052s |      18 |   552753 |   367952 |    23568     32 |      835 |      750
1054.22/1054.46	c 1054s |      18 |   554894 |   369152 |    23568     32 |      835 |      750
1056.42/1056.66	c 1056s |      18 |   556300 |   370152 |    23568     32 |      835 |      750
1058.62/1058.85	c 1058s |      18 |   557307 |   370952 |    23568     32 |      835 |      750
1060.82/1061.08	c 1060s |      18 |   558277 |   371752 |    23568     32 |      835 |      750
1063.22/1063.40	c 1063s |      18 |   559164 |   372452 |    23568     32 |      835 |      750
1065.42/1065.68	c 1065s |      18 |   560103 |   373252 |    23568     32 |      835 |      750
1067.62/1067.81	c 1067s |      18 |   560875 |   373952 |    23568     32 |      835 |      750
1069.72/1069.93	c 1069s |      18 |   561579 |   374552 |    23568     32 |      835 |      750
1071.72/1071.97	c 1071s |      18 |   562143 |   375052 |    23568     32 |      835 |      750
1074.02/1074.28	c 1074s |      18 |   563153 |   375852 |    23568     32 |      835 |      750
1076.12/1076.39	c 1076s |      18 |   564001 |   376552 |    23568     32 |      835 |      750
1078.32/1078.59	c 1078s |      18 |   564723 |   377152 |    23568     32 |      835 |      750
1080.62/1080.89	c 1080s |      18 |   565279 |   377652 |    23568     33 |      835 |      750
1082.73/1082.98	c 1082s |      18 |   565956 |   378252 |    23568     33 |      835 |      750
1084.93/1085.19	c 1084s |      18 |   567045 |   379052 |    23568     33 |      835 |      750
1087.12/1087.31	c 1087s |      18 |   568133 |   379852 |    23568     33 |      835 |      750
1089.32/1089.54	c 1089s |      18 |   569192 |   380652 |    23568     33 |      835 |      750
1091.32/1091.58	c 1091s |      18 |   570104 |   381352 |    23568     33 |      835 |      750
1093.52/1093.79	c 1093s |      18 |   570959 |   382052 |    23568     33 |      835 |      750
1095.62/1095.87	c 1095s |      18 |   571889 |   382752 |    23568     33 |      835 |      750
1097.82/1098.06	c 1097s |      18 |   572944 |   383552 |    23568     33 |      835 |      750
1100.12/1100.30	c 1100s |      18 |   573798 |   384252 |    23568     33 |      835 |      750
1102.22/1102.40	c 1102s |      18 |   574412 |   384752 |    23568     33 |      835 |      750
1104.23/1104.48	c 1104s |      18 |   575162 |   385352 |    23568     33 |      835 |      750
1106.32/1106.55	c 1106s |      18 |   575975 |   385952 |    23568     33 |      835 |      750
1108.62/1108.83	c 1108s |      18 |   577039 |   386752 |    23568     33 |      835 |      750
1110.82/1111.06	c 1110s |      18 |   577884 |   387452 |    23568     33 |      835 |      750
1112.82/1113.09	c 1112s |      18 |   578807 |   388152 |    23568     33 |      835 |      750
1115.22/1115.44	c 1115s |      18 |   579669 |   388852 |    23568     33 |      835 |      750
1117.42/1117.66	c 1117s |      18 |   580416 |   389452 |    23568     33 |      835 |      750
1119.62/1119.87	c 1119s |      18 |   581151 |   390052 |    23568     33 |      835 |      750
1121.61/1121.88	c 1121s |      18 |   581740 |   390552 |    23568     33 |      835 |      750
1123.91/1124.14	c 1123s |      18 |   582492 |   391152 |    23568     34 |      835 |      750
1125.91/1126.16	c 1125s |      18 |   583363 |   391852 |    23568     34 |      835 |      750
1128.21/1128.42	c 1128s |      18 |   584278 |   392652 |    23568     34 |      835 |      750
1130.62/1130.81	c 1130s |      18 |   585098 |   393352 |    23568     34 |      835 |      750
1132.61/1132.83	c 1132s |      18 |   585805 |   393952 |    23568     34 |      835 |      750
1134.71/1134.94	c 1134s |      18 |   586604 |   394652 |    23568     34 |      835 |      750
1137.01/1137.20	c 1136s |      18 |   587266 |   395252 |    23568     34 |      835 |      750
1139.01/1139.25	c 1138s |      18 |   587949 |   395852 |    23568     34 |      835 |      750
1141.11/1141.36	c 1141s |      18 |   588516 |   396352 |    23568     34 |      835 |      750
1143.41/1143.61	c 1143s |      18 |   589212 |   396952 |    23568     34 |      835 |      750
1145.71/1145.93	c 1145s |      18 |   589921 |   397552 |    23568     34 |      835 |      750
1147.91/1148.15	c 1147s |      18 |   590494 |   398052 |    23568     34 |      835 |      750
1150.12/1150.33	c 1150s |      18 |   591262 |   398652 |    23568     34 |      835 |      750
1152.42/1152.64	c 1152s |      18 |   591963 |   399252 |    23568     34 |      835 |      750
1154.52/1154.74	c 1154s |      18 |   592580 |   399752 |    23568     34 |      835 |      750
1156.92/1157.18	c 1156s |      18 |   593293 |   400352 |    23568     34 |      835 |      750
1159.61/1159.80	c 1159s |      18 |   593885 |   400852 |    23568     34 |      835 |      750
1162.21/1162.45	c 1162s |      18 |   594348 |   401252 |    23568     34 |      835 |      750
1164.31/1164.50	c 1164s |      18 |   594929 |   401752 |    23568     34 |      835 |      750
1166.51/1166.71	c 1166s |      18 |   595501 |   402252 |    23568     34 |      835 |      750
1168.81/1169.03	c 1168s |      18 |   596078 |   402752 |    23568     34 |      835 |      750
1171.01/1171.28	c 1171s |      18 |   596633 |   403252 |    23568     34 |      835 |      750
1173.21/1173.42	c 1173s |      18 |   597235 |   403752 |    23568     34 |      835 |      750
1175.21/1175.45	c 1175s |      18 |   597694 |   404152 |    23568     35 |      835 |      750
1177.41/1177.66	c 1177s |      18 |   598549 |   404852 |    23568     35 |      835 |      750
1179.61/1179.80	c 1179s |      18 |   599385 |   405552 |    23568     35 |      835 |      750
1181.81/1182.04	c 1181s |      18 |   600063 |   406152 |    23568     35 |      835 |      750
1183.91/1184.20	c 1183s |      18 |   600641 |   406652 |    23568     35 |      835 |      750
1186.11/1186.34	c 1186s |      18 |   601342 |   407252 |    23568     35 |      835 |      750
1188.21/1188.46	c 1188s |      18 |   602421 |   408052 |    23568     35 |      835 |      750
1190.21/1190.48	c 1190s |      18 |   603223 |   408752 |    23568     35 |      835 |      750
1192.51/1192.74	c 1192s |      18 |   604051 |   409452 |    23568     35 |      835 |      750
1194.61/1194.88	c 1194s |      18 |   604738 |   410052 |    23568     35 |      835 |      750
1196.81/1197.05	c 1196s |      18 |   605412 |   410652 |    23568     35 |      835 |      750
1199.10/1199.34	c 1199s |      18 |   606105 |   411252 |    23568     35 |      835 |      750
1201.50/1201.71	c 1201s |      18 |   606949 |   411952 |    23568     35 |      835 |      750
1203.50/1203.71	c 1203s |      18 |   607542 |   412452 |    23568     35 |      835 |      750
1205.60/1205.88	c 1205s |      18 |   608123 |   412952 |    23568     35 |      835 |      750
1207.71/1207.92	c 1207s |      18 |   608682 |   413452 |    23568     35 |      835 |      750
1209.81/1210.05	c 1209s |      18 |   609288 |   413952 |    23568     35 |      835 |      750
1212.20/1212.48	c 1212s |      18 |   609978 |   414552 |    23568     35 |      835 |      750
1214.31/1214.56	c 1214s |      18 |   610568 |   415052 |    23568     35 |      835 |      750
1216.60/1216.83	c 1216s |      18 |   611259 |   415652 |    23568     35 |      835 |      750
1219.00/1219.25	c 1218s |      18 |   611803 |   416152 |    23568     35 |      835 |      750
1221.20/1221.41	c 1221s |      18 |   612386 |   416652 |    23568     35 |      835 |      750
1223.80/1224.03	c 1223s |      18 |   612959 |   417152 |    23568     35 |      835 |      750
1226.00/1226.22	c 1225s |      18 |   613280 |   417452 |    23568     36 |      835 |      750
1228.40/1228.62	c 1228s |      18 |   614099 |   418152 |    23568     36 |      835 |      750
1230.40/1230.65	c 1230s |      18 |   614792 |   418752 |    23568     36 |      835 |      750
1232.49/1232.79	c 1232s |      18 |   615452 |   419352 |    23568     36 |      835 |      750
1234.50/1234.79	c 1234s |      18 |   616137 |   419952 |    23568     36 |      835 |      750
1237.00/1237.20	c 1236s |      18 |   616852 |   420552 |    23568     36 |      835 |      750
1239.10/1239.37	c 1239s |      18 |   617928 |   421352 |    23568     36 |      835 |      750
1241.20/1241.41	c 1241s |      18 |   618925 |   422052 |    23568     36 |      835 |      750
1243.20/1243.48	c 1243s |      18 |   619896 |   422752 |    23568     36 |      835 |      750
1245.60/1245.81	c 1245s |      18 |   620841 |   423452 |    23568     36 |      835 |      750
1247.70/1247.90	c 1247s |      18 |   621565 |   424052 |    23568     36 |      835 |      750
1249.80/1250.09	c 1249s |      18 |   622254 |   424652 |    23568     36 |      835 |      750
1252.10/1252.36	c 1252s |      18 |   622984 |   425252 |    23568     36 |      835 |      750
1254.20/1254.44	c 1254s |      18 |   623680 |   425852 |    23568     36 |      835 |      750
1256.50/1256.70	c 1256s |      18 |   624325 |   426452 |    23568     36 |      835 |      750
1258.49/1258.75	c 1258s |      18 |   624982 |   427052 |    23568     36 |      835 |      750
1260.59/1260.85	c 1260s |      18 |   625542 |   427552 |    23568     36 |      835 |      750
1262.79/1263.05	c 1262s |      18 |   626097 |   428052 |    23568     36 |      835 |      750
1264.90/1265.18	c 1264s |      18 |   626634 |   428552 |    23568     36 |      835 |      750
1267.39/1267.61	c 1267s |      18 |   627200 |   429052 |    23568     36 |      835 |      750
1269.39/1269.64	c 1269s |      18 |   627632 |   429452 |    23568     36 |      835 |      750
1271.50/1271.78	c 1271s |      18 |   628244 |   429952 |    23568     36 |      835 |      750
1273.60/1273.88	c 1273s |      18 |   628812 |   430452 |    23568     36 |      835 |      750
1275.69/1275.99	c 1275s |      18 |   629251 |   430852 |    23568     37 |      835 |      750
1277.79/1278.08	c 1277s |      18 |   629899 |   431452 |    23568     37 |      835 |      750
1280.09/1280.33	c 1280s |      18 |   630588 |   432052 |    23568     37 |      835 |      750
1282.39/1282.64	c 1282s |      18 |   631515 |   432752 |    23568     37 |      835 |      750
1284.60/1284.90	c 1284s |      18 |   632243 |   433352 |    23568     37 |      835 |      750
1286.70/1286.91	c 1286s |      18 |   632978 |   433952 |    23568     37 |      835 |      750
1289.00/1289.21	c 1288s |      18 |   633652 |   434552 |    23568     37 |      835 |      750
1291.20/1291.50	c 1291s |      18 |   634371 |   435152 |    23568     37 |      835 |      750
1293.50/1293.78	c 1293s |      18 |   635087 |   435752 |    23568     37 |      835 |      750
1295.89/1296.14	c 1295s |      18 |   635791 |   436352 |    23568     37 |      835 |      750
1298.09/1298.34	c 1298s |      18 |   636354 |   436852 |    23568     37 |      835 |      750
1300.39/1300.60	c 1300s |      18 |   636930 |   437352 |    23568     37 |      835 |      750
1302.39/1302.70	c 1302s |      18 |   637497 |   437852 |    23568     37 |      835 |      750
1304.59/1304.85	c 1304s |      18 |   638052 |   438352 |    23568     37 |      835 |      750
1306.89/1307.16	c 1306s |      18 |   638624 |   438852 |    23568     37 |      835 |      750
1309.08/1309.33	c 1309s |      18 |   639212 |   439352 |    23568     37 |      835 |      750
1311.38/1311.63	c 1311s |      18 |   639746 |   439852 |    23568     37 |      835 |      750
1313.58/1313.86	c 1313s |      18 |   640307 |   440352 |    23568     37 |      835 |      750
1315.78/1316.04	c 1315s |      18 |   640876 |   440852 |    23568     37 |      835 |      750
1317.78/1318.06	c 1317s |      18 |   641344 |   441252 |    23568     37 |      835 |      750
1320.09/1320.30	c 1320s |      18 |   641903 |   441752 |    25925     37 |      835 |      750
1322.38/1322.61	c 1322s |      18 |   642451 |   442252 |    25925     37 |      835 |      750
1324.38/1324.65	c 1324s |      18 |   642885 |   442652 |    25925     37 |      835 |      750
1326.78/1327.02	c 1326s |      18 |   643482 |   443152 |    25925     37 |      835 |      750
1328.78/1329.08	c 1328s |      18 |   644077 |   443652 |    25925     37 |      835 |      750
1331.17/1331.42	c 1331s |      18 |   644656 |   444152 |    25925     37 |      835 |      750
1332.77/1333.02	c 1332s |      19 |   645058 |   444482 |    25925     37 |      835 |      750
1334.77/1335.07	c 1334s |      19 |   647939 |   445282 |    25925     38 |      835 |      750
1336.87/1337.10	c 1336s |      19 |   657467 |   447682 |    25925     38 |      835 |      750
1338.87/1339.15	c 1338s |      19 |   665232 |   450082 |    25925     38 |      835 |      750
1340.87/1341.20	c 1340s |      19 |   667836 |   451682 |    25925     38 |      835 |      750
1343.07/1343.33	c 1343s |      19 |   669067 |   452682 |    25925     38 |      835 |      750
1345.27/1345.53	c 1345s |      19 |   670408 |   453782 |    25925     38 |      835 |      750
1347.38/1347.66	c 1347s |      19 |   671681 |   454782 |    25925     38 |      835 |      750
1349.67/1349.91	c 1349s |      19 |   672769 |   455682 |    25925     38 |      835 |      750
1351.87/1352.16	c 1351s |      19 |   673863 |   456582 |    25925     38 |      835 |      750
1354.07/1354.31	c 1354s |      19 |   674763 |   457382 |    25925     38 |      835 |      750
1356.17/1356.49	c 1356s |      19 |   675700 |   458182 |    25925     38 |      835 |      750
1358.37/1358.65	c 1358s |      19 |   676503 |   458882 |    25925     38 |      835 |      750
1360.66/1360.92	c 1360s |      19 |   677807 |   459782 |    25925     38 |      835 |      750
1362.86/1363.13	c 1362s |      19 |   678519 |   460382 |    25925     39 |      835 |      750
1364.97/1365.20	c 1364s |      19 |   679303 |   461082 |    25925     39 |      835 |      750
1367.07/1367.36	c 1367s |      19 |   679998 |   461682 |    25925     39 |      835 |      750
1369.46/1369.75	c 1369s |      19 |   680531 |   462182 |    25925     39 |      835 |      750
1371.77/1372.06	c 1371s |      19 |   681050 |   462682 |    25925     39 |      835 |      750
1373.87/1374.17	c 1373s |      19 |   681724 |   463282 |    25925     39 |      835 |      750
1376.17/1376.48	c 1376s |      19 |   682521 |   463982 |    25925     39 |      835 |      750
1378.37/1378.64	c 1378s |      19 |   683166 |   464582 |    25925     39 |      835 |      750
1380.37/1380.67	c 1380s |      19 |   683604 |   464982 |    25925     39 |      835 |      750
1382.66/1382.93	c 1382s |      19 |   684245 |   465582 |    25925     39 |      835 |      750
1384.86/1385.11	c 1384s |      19 |   684901 |   466182 |    25925     39 |      835 |      750
1387.06/1387.31	c 1387s |      19 |   685551 |   466782 |    25925     39 |      835 |      750
1389.36/1389.63	c 1389s |      19 |   686225 |   467382 |    25925     39 |      835 |      750
1391.46/1391.73	c 1391s |      19 |   686778 |   467882 |    25925     39 |      835 |      750
1393.47/1393.76	c 1393s |      19 |   687316 |   468382 |    25925     39 |      835 |      750
1395.56/1395.83	c 1395s |      19 |   687848 |   468882 |    25925     39 |      835 |      750
1397.56/1397.87	c 1397s |      19 |   688379 |   469382 |    25925     39 |      835 |      750
1399.66/1399.98	c 1399s |      19 |   688907 |   469882 |    25925     39 |      835 |      750
1402.15/1402.50	c 1402s |      19 |   689449 |   470382 |    25925     39 |      835 |      750
1404.35/1404.68	c 1404s |      19 |   689895 |   470782 |    25925     39 |      835 |      750
1407.05/1407.38	c 1407s |      19 |   690424 |   471282 |    25925     39 |      835 |      750
1409.65/1409.90	c 1409s |      19 |   690840 |   471682 |    25925     39 |      835 |      750
1411.85/1412.10	c 1411s |      19 |   691272 |   472082 |    25925     39 |      835 |      750
1414.45/1414.72	c 1414s |      19 |   691709 |   472482 |    25925     39 |      835 |      750
1417.04/1417.33	c 1417s |      19 |   692141 |   472882 |    25925     39 |      835 |      750
1419.74/1420.00	c 1419s |      19 |   692442 |   473182 |    25925     39 |      835 |      750
1421.74/1422.06	c 1421s |      19 |   692769 |   473482 |    25925     39 |      835 |      750
1424.14/1424.48	c 1424s |      19 |   693310 |   473982 |    25925     39 |      835 |      750
1426.45/1426.78	c 1426s |      19 |   693860 |   474482 |    25925     39 |      835 |      750
1428.94/1429.24	c 1428s |      19 |   694281 |   474882 |    25925     40 |      835 |      750
1431.14/1431.48	c 1431s |      19 |   694932 |   475482 |    25925     40 |      835 |      750
1433.34/1433.67	c 1433s |      19 |   695717 |   475982 |    25925     40 |      835 |      750
1435.44/1435.79	c 1435s |      19 |   696883 |   476782 |    25925     40 |      835 |      750
1437.64/1437.95	c 1437s |      19 |   697774 |   477482 |    25925     40 |      835 |      750
1439.94/1440.21	c 1439s |      19 |   698480 |   478082 |    25925     40 |      835 |      750
1442.14/1442.42	c 1442s |      19 |   699131 |   478682 |    25925     40 |      835 |      750
1444.24/1444.59	c 1444s |      19 |   700833 |   479682 |    25925     40 |      835 |      750
1446.44/1446.72	c 1446s |      19 |   702080 |   480582 |    25925     40 |      835 |      750
1448.63/1448.92	c 1448s |      19 |   703004 |   481382 |    25925     40 |      835 |      750
1450.64/1450.98	c 1450s |      19 |   703827 |   482082 |    25925     40 |      835 |      750
1453.03/1453.33	c 1453s |      19 |   704835 |   482882 |    25925     40 |      835 |      750
1455.33/1455.67	c 1455s |      19 |   705521 |   483482 |    25925     40 |      835 |      750
1457.43/1457.71	c 1457s |      19 |   706238 |   484082 |    25925     40 |      835 |      750
1459.44/1459.73	c 1459s |      19 |   706933 |   484682 |    25925     40 |      835 |      750
1461.53/1461.81	c 1461s |      19 |   707881 |   485482 |    25925     40 |      835 |      750
1463.53/1463.88	c 1463s |      19 |   708735 |   486182 |    25925     40 |      835 |      750
1465.74/1466.01	c 1465s |      19 |   709448 |   486782 |    25925     40 |      835 |      750
1467.74/1468.04	c 1467s |      19 |   709990 |   487282 |    25925     40 |      835 |      750
1469.94/1470.21	c 1469s |      19 |   710559 |   487782 |    25925     40 |      835 |      750
1472.24/1472.51	c 1472s |      19 |   711281 |   488382 |    25925     40 |      835 |      750
1474.34/1474.63	c 1474s |      19 |   711990 |   488982 |    25925     40 |      835 |      750
1476.54/1476.87	c 1476s |      19 |   712442 |   489382 |    25925     41 |      835 |      750
1478.64/1478.93	c 1478s |      19 |   713115 |   489982 |    25925     41 |      835 |      750
1480.63/1480.95	c 1480s |      19 |   713797 |   490582 |    25925     41 |      835 |      750
1482.64/1482.98	c 1482s |      19 |   714622 |   491282 |    25925     41 |      835 |      750
1484.93/1485.24	c 1484s |      19 |   715408 |   491982 |    25925     41 |      835 |      750
1486.93/1487.25	c 1486s |      19 |   716098 |   492582 |    25925     41 |      835 |      750
1489.23/1489.57	c 1489s |      19 |   716863 |   493282 |    25925     41 |      835 |      750
1491.33/1491.63	c 1491s |      19 |   717525 |   493882 |    25925     41 |      835 |      750
1493.42/1493.73	c 1493s |      19 |   718169 |   494482 |    25925     41 |      835 |      750
1495.62/1495.93	c 1495s |      19 |   718829 |   495082 |    25925     41 |      835 |      750
1497.62/1497.98	c 1497s |      19 |   719675 |   495782 |    25925     41 |      835 |      750
1499.72/1500.03	c 1499s |      19 |   720484 |   496482 |    25925     41 |      835 |      750
1502.01/1502.35	c 1502s |      19 |   721166 |   497082 |    25925     41 |      835 |      750
1504.31/1504.65	c 1504s |      19 |   721890 |   497682 |    25925     41 |      835 |      750
1506.51/1506.80	c 1506s |      19 |   722582 |   498282 |    25925     41 |      835 |      750
1508.61/1508.92	c 1508s |      19 |   723279 |   498882 |    25925     41 |      835 |      750
1510.71/1511.06	c 1510s |      19 |   723945 |   499482 |    25925     41 |      835 |      750
1512.81/1513.19	c 1512s |      19 |   724673 |   500082 |    25925     41 |      835 |      750
1515.01/1515.31	c 1515s |      19 |   725400 |   500682 |    25925     41 |      835 |      750
1517.21/1517.55	c 1517s |      19 |   726093 |   501282 |    25925     41 |      835 |      750
1519.51/1519.85	c 1519s |      19 |   726796 |   501882 |    25925     41 |      835 |      750
1521.60/1521.92	c 1521s |      19 |   727352 |   502382 |    25925     41 |      835 |      750
1523.71/1524.07	c 1523s |      19 |   728067 |   502982 |    25925     41 |      835 |      750
1526.01/1526.37	c 1526s |      19 |   728710 |   503582 |    25925     41 |      835 |      750
1528.21/1528.58	c 1528s |      19 |   729150 |   503982 |    25925     42 |      835 |      750
1530.31/1530.64	c 1530s |      19 |   730085 |   504782 |    25925     42 |      835 |      750
1532.40/1532.74	c 1532s |      19 |   730993 |   505582 |    25925     42 |      835 |      750
1534.50/1534.87	c 1534s |      19 |   731773 |   506282 |    25925     42 |      835 |      750
1536.70/1537.10	c 1536s |      19 |   732528 |   506982 |    25925     42 |      835 |      750
1538.90/1539.22	c 1538s |      19 |   733352 |   507682 |    25925     42 |      835 |      750
1541.00/1541.31	c 1541s |      19 |   734128 |   508382 |    25925     42 |      835 |      750
1543.20/1543.54	c 1543s |      19 |   735094 |   509182 |    25925     42 |      835 |      750
1545.21/1545.54	c 1545s |      19 |   735811 |   509782 |    25925     42 |      835 |      750
1547.41/1547.78	c 1547s |      19 |   736473 |   510382 |    25925     42 |      835 |      750
1549.80/1550.13	c 1549s |      19 |   737149 |   510982 |    25925     42 |      835 |      750
1551.80/1552.18	c 1551s |      19 |   737692 |   511482 |    25925     42 |      835 |      750
1553.90/1554.23	c 1553s |      19 |   738242 |   511982 |    25925     42 |      835 |      750
1556.30/1556.64	c 1556s |      19 |   738921 |   512582 |    25925     42 |      835 |      750
1558.50/1558.83	c 1558s |      19 |   739570 |   513182 |    25925     42 |      835 |      750
1560.79/1561.19	c 1560s |      19 |   740213 |   513782 |    25925     42 |      835 |      750
1563.19/1563.54	c 1563s |      19 |   740866 |   514382 |    25925     42 |      835 |      750
1565.39/1565.71	c 1565s |      19 |   741402 |   514882 |    25925     42 |      835 |      750
1567.69/1568.00	c 1567s |      19 |   741952 |   515382 |    25925     42 |      835 |      750
1569.99/1570.36	c 1570s |      19 |   742499 |   515882 |    25925     42 |      835 |      750
1572.28/1572.65	c 1572s |      19 |   743036 |   516382 |    25925     42 |      835 |      750
1574.78/1575.11	c 1574s |      19 |   743588 |   516882 |    25925     42 |      835 |      750
1576.78/1577.19	c 1576s |      19 |   744021 |   517282 |    25925     42 |      835 |      750
1578.98/1579.36	c 1579s |      19 |   744565 |   517782 |    25925     42 |      835 |      750
1581.28/1581.64	c 1581s |      19 |   745117 |   518282 |    25925     42 |      835 |      750
1583.68/1584.05	c 1583s |      19 |   745666 |   518782 |    25925     43 |      835 |      750
1585.98/1586.38	c 1586s |      19 |   746426 |   519482 |    25925     43 |      835 |      750
1588.48/1588.81	c 1588s |      19 |   747086 |   520082 |    25925     43 |      835 |      750
1590.48/1590.84	c 1590s |      19 |   747789 |   520682 |    25925     43 |      835 |      750
1592.67/1593.05	c 1592s |      19 |   748436 |   521282 |    25925     43 |      835 |      750
1594.78/1595.13	c 1594s |      19 |   749100 |   521882 |    25925     43 |      835 |      750
1596.98/1597.35	c 1597s |      19 |   749773 |   522482 |    25925     43 |      835 |      750
1599.27/1599.63	c 1599s |      19 |   750421 |   523082 |    25925     43 |      835 |      750
1601.37/1601.72	c 1601s |      19 |   750965 |   523582 |    25925     43 |      835 |      750
1603.76/1604.12	c 1603s |      19 |   751593 |   524182 |    25925     43 |      835 |      750
1605.86/1606.26	c 1605s |      19 |   752142 |   524682 |    25925     43 |      835 |      750
1607.87/1608.30	c 1608s |      19 |   752707 |   525182 |    25925     43 |      835 |      750
1610.26/1610.67	c 1610s |      19 |   753395 |   525782 |    25925     43 |      835 |      750
1612.46/1612.90	c 1612s |      19 |   753945 |   526282 |    25925     43 |      835 |      750
1614.96/1615.33	c 1615s |      19 |   754484 |   526782 |    25925     43 |      835 |      750
1617.06/1617.43	c 1617s |      19 |   755052 |   527282 |    25925     43 |      835 |      750
1619.25/1619.65	c 1619s |      19 |   755744 |   527882 |    25925     43 |      835 |      750
1621.35/1621.70	c 1621s |      19 |   756179 |   528282 |    25925     43 |      835 |      750
1623.55/1623.93	c 1623s |      19 |   756596 |   528682 |    25925     43 |      835 |      750
1625.95/1626.38	c 1626s |      19 |   757146 |   529182 |    25925     43 |      835 |      750
1628.45/1628.82	c 1628s |      19 |   757676 |   529682 |    25925     43 |      835 |      750
1630.45/1630.89	c 1630s |      19 |   758222 |   530182 |    25925     43 |      835 |      750
1632.64/1633.10	c 1632s |      19 |   758796 |   530682 |    25925     43 |      835 |      750
1634.94/1635.32	c 1635s |      19 |   759370 |   531182 |    25925     43 |      835 |      750
1637.35/1637.74	c 1637s |      19 |   759909 |   531682 |    25925     43 |      835 |      750
1639.76/1640.15	c 1639s |      19 |   760446 |   532182 |    25925     43 |      835 |      750
1641.95/1642.36	c 1642s |      19 |   760869 |   532582 |    25925     43 |      835 |      750
1643.94/1644.39	c 1644s |      19 |   761307 |   532982 |    25925     43 |      835 |      750
1646.04/1646.46	c 1646s |      19 |   761768 |   533382 |    25925     44 |      835 |      750
1648.24/1648.61	c 1648s |      19 |   762552 |   534082 |    25925     44 |      835 |      750
1650.44/1650.80	c 1650s |      19 |   763175 |   534682 |    25925     44 |      835 |      750
1652.64/1653.00	c 1652s |      19 |   763800 |   535282 |    25925     44 |      835 |      750
1654.74/1655.17	c 1654s |      19 |   764579 |   535982 |    25925     44 |      835 |      750
1657.04/1657.42	c 1657s |      19 |   765372 |   536682 |    25925     44 |      835 |      750
1659.33/1659.77	c 1659s |      19 |   766043 |   537282 |    25925     44 |      835 |      750
1661.43/1661.82	c 1661s |      19 |   766726 |   537882 |    25925     44 |      835 |      750
1663.53/1663.91	c 1663s |      19 |   767372 |   538482 |    25925     44 |      835 |      750
1665.63/1666.04	c 1665s |      19 |   767896 |   538982 |    25925     44 |      835 |      750
1667.93/1668.36	c 1668s |      19 |   768529 |   539582 |    25925     44 |      835 |      750
1670.03/1670.42	c 1670s |      19 |   769073 |   540082 |    25925     44 |      835 |      750
1672.33/1672.74	c 1672s |      19 |   769594 |   540582 |    25925     44 |      835 |      750
1674.43/1674.81	c 1674s |      19 |   770137 |   541082 |    25925     44 |      835 |      750
1676.63/1677.04	c 1676s |      19 |   770802 |   541682 |    25925     44 |      835 |      750
1678.73/1679.15	c 1678s |      19 |   771484 |   542282 |    25925     44 |      835 |      750
1680.82/1681.22	c 1680s |      19 |   772013 |   542782 |    25925     44 |      835 |      750
1683.22/1683.65	c 1683s |      19 |   772566 |   543282 |    25925     44 |      835 |      750
1685.32/1685.72	c 1685s |      19 |   773001 |   543682 |    25925     44 |      835 |      750
1687.52/1687.99	c 1687s |      19 |   773539 |   544182 |    25925     44 |      835 |      750
1689.92/1690.30	c 1690s |      19 |   774124 |   544682 |    25925     44 |      835 |      750
1692.11/1692.53	c 1692s |      19 |   775270 |   545482 |    25925     44 |      835 |      750
1694.31/1694.76	c 1694s |      19 |   776112 |   546182 |    25925     44 |      835 |      750
1696.61/1697.01	c 1696s |      19 |   776826 |   546782 |    25925     44 |      835 |      750
1698.71/1699.18	c 1698s |      19 |   777532 |   547382 |    25925     44 |      835 |      750
1700.90/1701.30	c 1701s |      19 |   778117 |   547882 |    25925     45 |      835 |      750
1703.00/1703.49	c 1703s |      19 |   779016 |   548682 |    25925     45 |      835 |      750
1705.20/1705.65	c 1705s |      19 |   779807 |   549382 |    25925     45 |      835 |      750
1707.50/1707.91	c 1707s |      19 |   780606 |   550082 |    25925     45 |      835 |      750
1709.70/1710.19	c 1709s |      19 |   781372 |   550782 |    25925     45 |      835 |      750
1711.79/1712.23	c 1711s |      19 |   782079 |   551382 |    25925     45 |      835 |      750
1713.79/1714.29	c 1714s |      19 |   782790 |   551982 |    25925     45 |      835 |      750
1716.09/1716.58	c 1716s |      19 |   783620 |   552682 |    25925     45 |      835 |      750
1718.19/1718.69	c 1718s |      19 |   784303 |   553282 |    25925     45 |      835 |      750
1720.50/1720.98	c 1720s |      19 |   785128 |   553982 |    25925     45 |      835 |      750
1722.70/1723.12	c 1722s |      19 |   785930 |   554682 |    25925     45 |      835 |      750
1724.69/1725.18	c 1724s |      19 |   786699 |   555282 |    25925     45 |      835 |      750
1726.89/1727.34	c 1727s |      19 |   787814 |   556082 |    25925     45 |      835 |      750
1728.90/1729.38	c 1729s |      19 |   788655 |   556782 |    25925     45 |      835 |      750
1731.19/1731.66	c 1731s |      19 |   789500 |   557482 |    25925     45 |      835 |      750
1733.39/1733.81	c 1733s |      19 |   790196 |   558082 |    25925     45 |      835 |      750
1735.59/1736.03	c 1735s |      19 |   790903 |   558682 |    25925     45 |      835 |      750
1737.69/1738.11	c 1737s |      19 |   791585 |   559282 |    25925     45 |      835 |      750
1739.69/1740.19	c 1739s |      19 |   792270 |   559882 |    25925     45 |      835 |      750
1741.78/1742.20	c 1741s |      19 |   792851 |   560382 |    25925     45 |      835 |      750
1743.88/1744.32	c 1744s |      19 |   793701 |   561082 |    25925     45 |      835 |      750
1745.98/1746.40	c 1746s |      19 |   794387 |   561682 |    25925     45 |      835 |      750
1748.28/1748.72	c 1748s |      19 |   794952 |   562182 |    25925     46 |      835 |      750
1750.28/1750.77	c 1750s |      19 |   795738 |   562882 |    25925     46 |      835 |      750
1752.38/1752.86	c 1752s |      19 |   796536 |   563582 |    25925     46 |      835 |      750
1754.68/1755.17	c 1754s |      19 |   797297 |   564282 |    25925     46 |      835 |      750
1756.98/1757.48	c 1757s |      19 |   798063 |   564982 |    25925     46 |      835 |      750
1759.17/1759.64	c 1759s |      19 |   798861 |   565682 |    25925     46 |      835 |      750
1761.47/1761.91	c 1761s |      19 |   799640 |   566382 |    25925     46 |      835 |      750
1763.47/1763.92	c 1763s |      19 |   800295 |   566982 |    25925     46 |      835 |      750
1765.67/1766.18	c 1765s |      19 |   801204 |   567782 |    25925     46 |      835 |      750
1767.77/1768.25	c 1767s |      19 |   802017 |   568482 |    25925     46 |      835 |      750
1770.07/1770.50	c 1770s |      19 |   802812 |   569182 |    25925     46 |      835 |      750
1772.06/1772.56	c 1772s |      19 |   803470 |   569782 |    25925     46 |      835 |      750
1774.16/1774.64	c 1774s |      19 |   804151 |   570382 |    25925     46 |      835 |      750
1776.36/1776.89	c 1776s |      19 |   804821 |   570982 |    25925     46 |      835 |      750
1778.66/1779.11	c 1778s |      19 |   805471 |   571582 |    25925     46 |      835 |      750
1780.75/1781.22	c 1780s |      19 |   806170 |   572182 |    25925     46 |      835 |      750
1782.85/1783.35	c 1783s |      19 |   806857 |   572782 |    25925     46 |      835 |      750
1785.05/1785.54	c 1785s |      19 |   807534 |   573382 |    25925     46 |      835 |      750
1787.16/1787.68	c 1787s |      19 |   808219 |   573982 |    25925     46 |      835 |      750
1789.45/1789.98	c 1789s |      19 |   808893 |   574582 |    25925     46 |      835 |      750
1791.74/1792.25	c 1791s |      19 |   809435 |   575082 |    25925     46 |      835 |      750
1793.95/1794.42	c 1794s |      19 |   810018 |   575582 |    25925     46 |      835 |      750
1796.15/1796.68	c 1796s |      19 |   810571 |   576082 |    25925     46 |      835 |      750
1799.05/1799.50	c 1799s |      19 |   811276 |   576682 |    25925     47 |      835 |      750

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

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

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


[startup+0 s]
/proc/loadavg: 2.30 2.22 2.18 4/179 24131
/proc/meminfo: memFree=29633896/32872528 swapFree=1085692/1157232
[pid=24131] ppid=24128 vsize=617916 CPUtime=0 cores=1,3,5,7
/proc/24131/stat : 24131 (toysat) R 24128 24131 21062 0 -1 4202496 2288 0 0 0 0 0 0 0 20 0 4 0 29730081 632745984 2138 33554432000 4194304 16246674 140737096656384 140737096655808 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24131/statm: 154991 2147 441 2943 0 151885 0
[pid=24131/tid=24132] ppid=24128 vsize=635324 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24132/stat : 24132 (toysat) S 24128 24131 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29730082 650571776 2207 33554432000 4194304 16246674 140737096656384 139713661873392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=24131/tid=24133] ppid=24128 vsize=639420 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24133/stat : 24133 (toysat) S 24128 24131 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29730082 654766080 2224 33554432000 4194304 16246674 140737096656384 139713651383536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=24131/tid=24134] ppid=24128 vsize=643516 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24134/stat : 24134 (toysat) S 24128 24131 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29730082 658960384 2240 33554432000 4194304 16246674 140737096656384 139713640910000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.30 2.22 2.18 4/179 24131
/proc/meminfo: memFree=29633896/32872528 swapFree=1085692/1157232
[pid=24131] ppid=24128 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/24131/stat : 24131 (toysat) R 24128 24131 21062 0 -1 4202496 28277 0 0 0 5 4 0 0 20 0 4 0 29730081 1249447936 28064 33554432000 4194304 16246674 140737096656384 140737096655696 4220894 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24131/statm: 305041 28064 801 2943 0 301935 0
[pid=24131/tid=24132] ppid=24128 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24132/stat : 24132 (toysat) S 24128 24131 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29730082 1249447936 28064 33554432000 4194304 16246674 140737096656384 139713661873392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=24131/tid=24133] ppid=24128 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24133/stat : 24133 (toysat) S 24128 24131 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29730082 1249447936 28064 33554432000 4194304 16246674 140737096656384 139713651383536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=24131/tid=24134] ppid=24128 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24134/stat : 24134 (toysat) S 24128 24131 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29730082 1249447936 28064 33554432000 4194304 16246674 140737096656384 139713640910000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200558 s]
/proc/loadavg: 2.30 2.22 2.18 4/179 24131
/proc/meminfo: memFree=29633896/32872528 swapFree=1085692/1157232
[pid=24131] ppid=24128 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/24131/stat : 24131 (toysat) R 24128 24131 21062 0 -1 4202496 48488 0 0 0 12 7 0 0 20 0 4 0 29730081 1332285440 48275 33554432000 4194304 16246674 140737096656384 140737096655696 6970208 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24131/statm: 325265 48275 844 2943 0 322159 0
[pid=24131/tid=24132] ppid=24128 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24132/stat : 24132 (toysat) S 24128 24131 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29730082 1332285440 48275 33554432000 4194304 16246674 140737096656384 139713661873392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=24131/tid=24133] ppid=24128 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24133/stat : 24133 (toysat) S 24128 24131 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29730082 1332285440 48275 33554432000 4194304 16246674 140737096656384 139713651383536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=24131/tid=24134] ppid=24128 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24134/stat : 24134 (toysat) S 24128 24131 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29730082 1332285440 48275 33554432000 4194304 16246674 140737096656384 139713640910000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.3005 s]
/proc/loadavg: 2.30 2.22 2.18 4/179 24131
/proc/meminfo: memFree=29633896/32872528 swapFree=1085692/1157232
[pid=24131] ppid=24128 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/24131/stat : 24131 (toysat) R 24128 24131 21062 0 -1 4202496 49899 0 0 0 22 7 0 0 20 0 4 0 29730081 1332285440 49686 33554432000 4194304 16246674 140737096656384 140737096655696 5602147 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24131/statm: 325265 49691 884 2943 0 322159 0
[pid=24131/tid=24132] ppid=24128 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24132/stat : 24132 (toysat) S 24128 24131 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29730082 1332285440 49694 33554432000 4194304 16246674 140737096656384 139713661873392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=24131/tid=24133] ppid=24128 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24133/stat : 24133 (toysat) S 24128 24131 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29730082 1332285440 49696 33554432000 4194304 16246674 140737096656384 139713651383536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=24131/tid=24134] ppid=24128 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24134/stat : 24134 (toysat) S 24128 24131 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29730082 1332285440 49701 33554432000 4194304 16246674 140737096656384 139713640910000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700419 s]
/proc/loadavg: 2.30 2.22 2.18 4/179 24131
/proc/meminfo: memFree=29633896/32872528 swapFree=1085692/1157232
[pid=24131] ppid=24128 vsize=1301060 CPUtime=0.68 cores=1,3,5,7
/proc/24131/stat : 24131 (toysat) R 24128 24131 21062 0 -1 4202496 96670 0 0 0 55 13 0 0 20 0 4 0 29730081 1332285440 96458 33554432000 4194304 16246674 140737096656384 140737096655696 13954518 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24131/statm: 325265 96465 884 2943 0 322159 0
[pid=24131/tid=24132] ppid=24128 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24132/stat : 24132 (toysat) S 24128 24131 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29730082 1332285440 96470 33554432000 4194304 16246674 140737096656384 139713661873392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=24131/tid=24133] ppid=24128 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24133/stat : 24133 (toysat) S 24128 24131 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29730082 1332285440 96474 33554432000 4194304 16246674 140737096656384 139713651383536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=24131/tid=24134] ppid=24128 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24134/stat : 24134 (toysat) S 24128 24131 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29730082 1332285440 96477 33554432000 4194304 16246674 140737096656384 139713640910000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1301060

[startup+1.50043 s]
/proc/loadavg: 2.30 2.22 2.18 3/183 24135
/proc/meminfo: memFree=29035276/32872528 swapFree=1085692/1157232
[pid=24131] ppid=24128 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/24131/stat : 24131 (toysat) R 24128 24131 21062 0 -1 4202496 201468 0 0 0 122 27 0 0 20 0 4 0 29730081 1332285440 201255 33554432000 4194304 16246674 140737096656384 140737096639376 5712452 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24131/statm: 325265 201260 884 2943 0 322159 0
[pid=24131/tid=24132] ppid=24128 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24132/stat : 24132 (toysat) S 24128 24131 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29730082 1332285440 201264 33554432000 4194304 16246674 140737096656384 139713661873392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=24131/tid=24133] ppid=24128 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24133/stat : 24133 (toysat) S 24128 24131 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29730082 1332285440 201266 33554432000 4194304 16246674 140737096656384 139713651383536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=24131/tid=24134] ppid=24128 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24134/stat : 24134 (toysat) S 24128 24131 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29730082 1332285440 201270 33554432000 4194304 16246674 140737096656384 139713640910000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10041 s]
/proc/loadavg: 2.30 2.22 2.18 3/183 24135
/proc/meminfo: memFree=28746852/32872528 swapFree=1085692/1157232
[pid=24131] ppid=24128 vsize=1312324 CPUtime=3.09 cores=1,3,5,7
/proc/24131/stat : 24131 (toysat) R 24128 24131 21062 0 -1 4202496 269238 0 0 0 271 38 0 0 20 0 4 0 29730081 1343819776 269025 33554432000 4194304 16246674 140737096656384 140737096655560 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24131/statm: 328081 269025 890 2943 0 324975 0
[pid=24131/tid=24132] ppid=24128 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24132/stat : 24132 (toysat) S 24128 24131 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29730082 1343819776 269025 33554432000 4194304 16246674 140737096656384 139713661873392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=24131/tid=24133] ppid=24128 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24133/stat : 24133 (toysat) S 24128 24131 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29730082 1343819776 269025 33554432000 4194304 16246674 140737096656384 139713651383536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=24131/tid=24134] ppid=24128 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24134/stat : 24134 (toysat) S 24128 24131 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29730082 1343819776 269025 33554432000 4194304 16246674 140737096656384 139713640910000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.3004 s]
/proc/loadavg: 2.36 2.23 2.18 3/183 24135
/proc/meminfo: memFree=28558376/32872528 swapFree=1085692/1157232
[pid=24131] ppid=24128 vsize=1312324 CPUtime=6.29 cores=1,3,5,7
/proc/24131/stat : 24131 (toysat) R 24128 24131 21062 0 -1 4202496 269272 0 0 0 591 38 0 0 20 0 4 0 29730081 1343819776 269059 33554432000 4194304 16246674 140737096656384 140737096638272 5822286 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24131/statm: 328081 269059 890 2943 0 324975 0
[pid=24131/tid=24132] ppid=24128 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24132/stat : 24132 (toysat) S 24128 24131 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29730082 1343819776 269059 33554432000 4194304 16246674 140737096656384 139713661873392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=24131/tid=24133] ppid=24128 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24133/stat : 24133 (toysat) S 24128 24131 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29730082 1343819776 269059 33554432000 4194304 16246674 140737096656384 139713651383536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=24131/tid=24134] ppid=24128 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24134/stat : 24134 (toysat) S 24128 24131 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29730082 1343819776 269059 33554432000 4194304 16246674 140737096656384 139713640910000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.33 2.22 2.18 3/183 24135
/proc/meminfo: memFree=28558348/32872528 swapFree=1085692/1157232
[pid=24131] ppid=24128 vsize=1312324 CPUtime=12.69 cores=1,3,5,7
/proc/24131/stat : 24131 (toysat) R 24128 24131 21062 0 -1 4202496 269273 0 0 0 1231 38 0 0 20 0 4 0 29730081 1343819776 269060 33554432000 4194304 16246674 140737096656384 140737096638272 5711688 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24131/statm: 328081 269060 890 2943 0 324975 0
[pid=24131/tid=24132] ppid=24128 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24132/stat : 24132 (toysat) S 24128 24131 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29730082 1343819776 269060 33554432000 4194304 16246674 140737096656384 139713661873392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=24131/tid=24133] ppid=24128 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24133/stat : 24133 (toysat) S 24128 24131 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29730082 1343819776 269060 33554432000 4194304 16246674 140737096656384 139713651383536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=24131/tid=24134] ppid=24128 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24134/stat : 24134 (toysat) S 24128 24131 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29730082 1343819776 269060 33554432000 4194304 16246674 140737096656384 139713640910000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.26 2.21 2.18 3/183 24135
/proc/meminfo: memFree=28558988/32872528 swapFree=1085692/1157232
[pid=24131] ppid=24128 vsize=1312324 CPUtime=25.48 cores=1,3,5,7
/proc/24131/stat : 24131 (toysat) R 24128 24131 21062 0 -1 4202496 269274 0 0 0 2510 38 0 0 20 0 4 0 29730081 1343819776 269061 33554432000 4194304 16246674 140737096656384 140737096638272 12483326 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24131/statm: 328081 269061 891 2943 0 324975 0
[pid=24131/tid=24132] ppid=24128 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24132/stat : 24132 (toysat) S 24128 24131 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29730082 1343819776 269061 33554432000 4194304 16246674 140737096656384 139713661873392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=24131/tid=24133] ppid=24128 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24133/stat : 24133 (toysat) S 24128 24131 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29730082 1343819776 269061 33554432000 4194304 16246674 140737096656384 139713651383536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=24131/tid=24134] ppid=24128 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24134/stat : 24134 (toysat) S 24128 24131 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29730082 1343819776 269061 33554432000 4194304 16246674 140737096656384 139713640910000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.38 2.24 2.19 4/183 24135
/proc/meminfo: memFree=28554740/32872528 swapFree=1085692/1157232
[pid=24131] ppid=24128 vsize=1315396 CPUtime=51.08 cores=1,3,5,7
/proc/24131/stat : 24131 (toysat) R 24128 24131 21062 0 -1 4202496 270043 0 0 0 5069 39 0 0 20 0 4 0 29730081 1346965504 269830 33554432000 4194304 16246674 140737096656384 140737096638272 5677884 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24131/statm: 328849 269830 892 2943 0 325743 0
[pid=24131/tid=24132] ppid=24128 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24132/stat : 24132 (toysat) S 24128 24131 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29730082 1346965504 269830 33554432000 4194304 16246674 140737096656384 139713661873392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=24131/tid=24133] ppid=24128 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24133/stat : 24133 (toysat) S 24128 24131 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29730082 1346965504 269830 33554432000 4194304 16246674 140737096656384 139713651383536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=24131/tid=24134] ppid=24128 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24134/stat : 24134 (toysat) S 24128 24131 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29730082 1346965504 269830 33554432000 4194304 16246674 140737096656384 139713640910000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/183 24139
/proc/meminfo: memFree=28552124/32872528 swapFree=1085692/1157232
[pid=24131] ppid=24128 vsize=1317444 CPUtime=102.28 cores=1,3,5,7
/proc/24131/stat : 24131 (toysat) R 24128 24131 21062 0 -1 4202496 270534 0 0 0 10188 40 0 0 20 0 4 0 29730081 1349062656 270321 33554432000 4194304 16246674 140737096656384 140737096638272 4220815 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24131/statm: 329361 270321 892 2943 0 326255 0
[pid=24131/tid=24132] ppid=24128 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24132/stat : 24132 (toysat) S 24128 24131 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29730082 1349062656 270321 33554432000 4194304 16246674 140737096656384 139713661873392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=24131/tid=24133] ppid=24128 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24133/stat : 24133 (toysat) S 24128 24131 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29730082 1349062656 270321 33554432000 4194304 16246674 140737096656384 139713651383536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=24131/tid=24134] ppid=24128 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24134/stat : 24134 (toysat) S 24128 24131 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29730082 1349062656 270321 33554432000 4194304 16246674 140737096656384 139713640910000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1317444


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

/proc/24131/task/24134/stat : 24134 (toysat) S 24128 24131 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713640910000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1339972

[startup+1362.3 s]
/proc/loadavg: 2.42 2.25 2.20 3/183 24194
/proc/meminfo: memFree=28489656/32872528 swapFree=1085692/1157232
[pid=24131] ppid=24128 vsize=1339972 CPUtime=1362.06 cores=1,3,5,7
/proc/24131/stat : 24131 (toysat) R 24128 24131 21062 0 -1 4202496 276215 0 0 0 136144 62 0 0 20 0 4 0 29730081 1372131328 276230 33554432000 4194304 16246674 140737096656384 140737096638272 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24131/statm: 334993 276230 892 2943 0 331887 0
[pid=24131/tid=24132] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24132/stat : 24132 (toysat) S 24128 24131 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713661873392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=24131/tid=24133] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24133/stat : 24133 (toysat) S 24128 24131 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713651383536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=24131/tid=24134] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24134/stat : 24134 (toysat) S 24128 24131 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713640910000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1339972

[startup+1422.3 s]
/proc/loadavg: 2.20 2.22 2.19 3/183 24195
/proc/meminfo: memFree=28489440/32872528 swapFree=1085692/1157232
[pid=24131] ppid=24128 vsize=1339972 CPUtime=1422.05 cores=1,3,5,7
/proc/24131/stat : 24131 (toysat) R 24128 24131 21062 0 -1 4202496 276248 0 0 0 142142 63 0 0 20 0 4 0 29730081 1372131328 276230 33554432000 4194304 16246674 140737096656384 140737096638272 12415827 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24131/statm: 334993 276230 892 2943 0 331887 0
[pid=24131/tid=24132] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24132/stat : 24132 (toysat) S 24128 24131 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713661873392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=24131/tid=24133] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24133/stat : 24133 (toysat) S 24128 24131 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713651383536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=24131/tid=24134] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24134/stat : 24134 (toysat) S 24128 24131 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713640910000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1339972

[startup+1482.3 s]
/proc/loadavg: 2.26 2.22 2.19 3/183 24196
/proc/meminfo: memFree=28489220/32872528 swapFree=1085692/1157232
[pid=24131] ppid=24128 vsize=1339972 CPUtime=1482.03 cores=1,3,5,7
/proc/24131/stat : 24131 (toysat) R 24128 24131 21062 0 -1 4202496 276256 0 0 0 148139 64 0 0 20 0 4 0 29730081 1372131328 276230 33554432000 4194304 16246674 140737096656384 140737096638272 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24131/statm: 334993 276230 892 2943 0 331887 0
[pid=24131/tid=24132] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24132/stat : 24132 (toysat) S 24128 24131 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713661873392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=24131/tid=24133] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24133/stat : 24133 (toysat) S 24128 24131 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713651383536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=24131/tid=24134] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24134/stat : 24134 (toysat) S 24128 24131 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713640910000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1339972

[startup+1542.31 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 24197
/proc/meminfo: memFree=28489504/32872528 swapFree=1085692/1157232
[pid=24131] ppid=24128 vsize=1339972 CPUtime=1542.01 cores=1,3,5,7
/proc/24131/stat : 24131 (toysat) R 24128 24131 21062 0 -1 4202496 276293 0 0 0 154136 65 0 0 20 0 4 0 29730081 1372131328 276230 33554432000 4194304 16246674 140737096656384 140737096638272 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24131/statm: 334993 276230 892 2943 0 331887 0
[pid=24131/tid=24132] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24132/stat : 24132 (toysat) S 24128 24131 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713661873392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=24131/tid=24133] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24133/stat : 24133 (toysat) S 24128 24131 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713651383536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=24131/tid=24134] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24134/stat : 24134 (toysat) S 24128 24131 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713640910000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1339972

[startup+1602.3 s]
/proc/loadavg: 2.25 2.23 2.19 3/183 24198
/proc/meminfo: memFree=28489524/32872528 swapFree=1085692/1157232
[pid=24131] ppid=24128 vsize=1339972 CPUtime=1601.96 cores=1,3,5,7
/proc/24131/stat : 24131 (toysat) R 24128 24131 21062 0 -1 4202496 276334 0 0 0 160131 65 0 0 20 0 4 0 29730081 1372131328 276230 33554432000 4194304 16246674 140737096656384 140737096638272 5675333 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24131/statm: 334993 276230 892 2943 0 331887 0
[pid=24131/tid=24132] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24132/stat : 24132 (toysat) S 24128 24131 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713661873392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=24131/tid=24133] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24133/stat : 24133 (toysat) S 24128 24131 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713651383536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=24131/tid=24134] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24134/stat : 24134 (toysat) S 24128 24131 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713640910000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 1339972

[startup+1662.3 s]
/proc/loadavg: 2.22 2.23 2.18 3/183 24200
/proc/meminfo: memFree=28489428/32872528 swapFree=1085692/1157232
[pid=24131] ppid=24128 vsize=1339972 CPUtime=1661.93 cores=1,3,5,7
/proc/24131/stat : 24131 (toysat) R 24128 24131 21062 0 -1 4202496 276377 0 0 0 166127 66 0 0 20 0 4 0 29730081 1372131328 276230 33554432000 4194304 16246674 140737096656384 140737096638272 5677380 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24131/statm: 334993 276230 892 2943 0 331887 0
[pid=24131/tid=24132] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24132/stat : 24132 (toysat) S 24128 24131 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713661873392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=24131/tid=24133] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24133/stat : 24133 (toysat) S 24128 24131 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713651383536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=24131/tid=24134] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24134/stat : 24134 (toysat) S 24128 24131 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713640910000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 1339972

[startup+1722.3 s]
/proc/loadavg: 2.37 2.26 2.19 3/183 24201
/proc/meminfo: memFree=28489456/32872528 swapFree=1085692/1157232
[pid=24131] ppid=24128 vsize=1339972 CPUtime=1721.9 cores=1,3,5,7
/proc/24131/stat : 24131 (toysat) R 24128 24131 21062 0 -1 4202496 276423 0 0 0 172122 68 0 0 20 0 4 0 29730081 1372131328 276230 33554432000 4194304 16246674 140737096656384 140737096638272 5677380 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24131/statm: 334993 276230 892 2943 0 331887 0
[pid=24131/tid=24132] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24132/stat : 24132 (toysat) S 24128 24131 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713661873392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=24131/tid=24133] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24133/stat : 24133 (toysat) S 24128 24131 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713651383536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=24131/tid=24134] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24134/stat : 24134 (toysat) S 24128 24131 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713640910000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1339972

[startup+1782.3 s]
/proc/loadavg: 2.22 2.24 2.19 3/183 24251
/proc/meminfo: memFree=28523556/32872528 swapFree=1085692/1157232
[pid=24131] ppid=24128 vsize=1339972 CPUtime=1781.85 cores=1,3,5,7
/proc/24131/stat : 24131 (toysat) R 24128 24131 21062 0 -1 4202496 276470 0 0 0 178116 69 0 0 20 0 4 0 29730081 1372131328 276230 33554432000 4194304 16246674 140737096656384 140737096638272 5722908 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24131/statm: 334993 276230 892 2943 0 331887 0
[pid=24131/tid=24132] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24132/stat : 24132 (toysat) S 24128 24131 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713661873392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=24131/tid=24133] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24133/stat : 24133 (toysat) S 24128 24131 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713651383536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=24131/tid=24134] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24134/stat : 24134 (toysat) S 24128 24131 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713640910000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1339972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.24 2.24 2.19 4/183 24251
/proc/meminfo: memFree=28520940/32872528 swapFree=1085692/1157232
[pid=24131] ppid=24128 vsize=1339972 CPUtime=1800.05 cores=1,3,5,7
/proc/24131/stat : 24131 (toysat) R 24128 24131 21062 0 -1 4202496 276478 0 0 0 179935 70 0 0 20 0 4 0 29730081 1372131328 276230 33554432000 4194304 16246674 140737096656384 140737096638272 5711439 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24131/statm: 334993 276230 892 2943 0 331887 0
[pid=24131/tid=24132] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24132/stat : 24132 (toysat) S 24128 24131 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713661873392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=24131/tid=24133] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24133/stat : 24133 (toysat) S 24128 24131 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713651383536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=24131/tid=24134] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24134/stat : 24134 (toysat) S 24128 24131 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713640910000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1339972

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

[startup+1800.5 s]
/proc/loadavg: 2.24 2.24 2.19 4/183 24251
/proc/meminfo: memFree=28520940/32872528 swapFree=1085692/1157232
[pid=24131] ppid=24128 vsize=1339972 CPUtime=1800.05 cores=1,3,5,7
/proc/24131/stat : 24131 (toysat) R 24128 24131 21062 0 -1 4202496 276478 0 0 0 179935 70 0 0 20 0 4 0 29730081 1372131328 276230 33554432000 4194304 16246674 140737096656384 140737096638272 5711439 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24131/statm: 334993 276230 892 2943 0 331887 0
[pid=24131/tid=24132] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24132/stat : 24132 (toysat) S 24128 24131 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713661873392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=24131/tid=24133] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24133/stat : 24133 (toysat) S 24128 24131 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713651383536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=24131/tid=24134] ppid=24128 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24131/task/24134/stat : 24134 (toysat) S 24128 24131 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29730082 1372131328 276230 33554432000 4194304 16246674 140737096656384 139713640910000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1339972

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.07
CPU user time (s): 1799.36
CPU system time (s): 0.710891
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 1339972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.710891
maximum resident set size= 1104920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276478
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= 308
involuntary context switches= 2319

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.39533 second user time and 7.29989 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 20:48:25
IDJOB=4116621
IDBENCH=109493
IDSOLVER=2542
FILE ID=node114/4116621-1466966904
RUNJOBID= node114-1466944456-21079
PBS_JOBID= 19976359
Free space on /tmp= 71640 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116621-1466966904/watcher-4116621-1466966904 -o /tmp/evaluation-result-4116621-1466966904/solver-4116621-1466966904 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466944456-21079 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116621-1466966904.opb

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

MD5SUM BENCH= 236f8faf1e8f3de6a4b12979ca18f795
RANDOM SEED=725593292

node114.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.852
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.70
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.852
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.852
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.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29633896 kB
Buffers:           40692 kB
Cached:           223424 kB
SwapCached:        38928 kB
Active:          1141804 kB
Inactive:         236588 kB
Active(anon):    1078940 kB
Inactive(anon):    37760 kB
Active(file):      62864 kB
Inactive(file):   198828 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061384 kB
Dirty:             16692 kB
Writeback:             0 kB
AnonPages:       2233804 kB
Mapped:            10652 kB
Shmem:                 0 kB
Slab:             567780 kB
SReclaimable:      11780 kB
SUnreclaim:       556000 kB
KernelStack:        1456 kB
PageTables:         8300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2380276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 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= 71624 MiB
End job on node114 at 2016-06-26 21:18:25