Trace number 4115981

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.1 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size96-round23-4.opb
MD5SUMa97fe7e6bfcb027e3ebdd0fa3cefc7ea
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9472
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)384
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-26T15:06:42+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-4115981-1466946402.opb"]
0.00/0.01	c use --random-gen="3972626483 4045013161 2472267995 162277188 3007671024 2136613618 3727413847 3271939647 3948104716 640560434 50065573 2031741936 607533270 2860145016 186940390 3817185674 3360398904 2707043906 2444954869 153964243 2885271100 2164951675 4180297688 3752228895 56701869 476265105 3358145419 3472503688 435726536 3752057694 1114538872 1889948559 1040234409 3006223910 209897 254259536 4234125930 1088258645 1609742057 2285875958 1185870902 2209737811 3938068450 2496264385 2577741987 1384079691 4121306769 1796628833 575706942 452849660 4249065286 3724431038 3439684613 3354747269 2833727307 1803010599 2664208310 3939843628 3018906341 4177779041 1308504201 3657394855 297897727 1469072122 3884480330 2002568291 1210782052 306817394 4202467585 1820299460 3733279852 615950660 2470461372 269582161 1181637357 4190479989 3798441060 3380663089 3247651368 444699530 201153920 1182022904 314025319 19810715 1753182757 694832364 709485327 3503970144 1664626713 2531932335 3622970217 1104130196 3299708193 3478608596 3100644065 169371289 2284398593 329158382 3193497 1076128617 2511558014 1455317170 4024729514 3539089884 2155880615 2830146785 835551943 1551618988 1306967003 3003705202 3139426620 1134159524 1063066170 1519861874 1122941587 3061355769 3192038834 859071665 4288990563 2697414240 3993885575 1506103308 2846597967 2069119763 2934663509 809612377 1577322256 407722529 483831938 2123556076 1739481263 786869469 2407944727 3587246723 1338429690 986496148 1209778908 1505278929 3483185128 2007956177 1229212520 348850035 223253865 985676887 2593831738 2594147294 2272035587 1547710402 2820422417 2970825888 197820362 2794765755 2244249378 1226003624 1911009540 1934322079 3175694737 2271679639 3334681638 3737154890 3327565831 3323911911 4033410744 393832792 3791042674 3891950532 1365219147 1218959778 2546844653 2852559658 1905805955 811030154 2291532373 2323577237 3699856632 3605760416 3157626765 1612763596 2653011359 1576000412 295272757 1035804165 3902061735 3888270346 447314768 424033684 1748950754 2957344228 1056557351 3516959250 324387136 3542280991 1779537199 4280947118 3226516632 3107672335 1804909395 1338988904 615934025 467706100 1295745448 3835874781 4182434358 3905776138 4183451375 3576372142 3790849986 4024914541 109763417 2180399636 2887756344 2698930266 1015877276 3940774413 4149302960 461572011 112194362 1957329550 778006087 250636537 2334878754 1495582797 559191947 3008104806 4150877651 2728858108 3436288683 3723079566 4013778316 1172064911 1970274977 3686597309 1277165509 3566009942 882073607 329873823 2047206517 3224003887 1365153608 315183332 1975994546 3235771771 3098845216 136400389 2695969641 1378548781 1317911808 1286096405 3927002674 4144919095 2873272986 2046656384 539656776 2724765287 489365115 2379544845 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9472
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      639 |        0
0.29/0.36	c  0.1s |       1 |     1438 |      100 |     4565      0 |      640 |      400
0.39/0.47	c  0.2s |       2 |     3444 |      250 |     5022      0 |      640 |      400
0.59/0.66	c  0.4s |       3 |     5289 |      475 |     5525      0 |      641 |      400
0.78/0.90	c  0.6s |       4 |     8795 |      813 |     6078      0 |      641 |      400
1.38/1.45	c  1.2s |       5 |    11840 |     1320 |     6686      0 |      641 |      400
2.19/2.25	c  2.0s |       6 |    14472 |     2081 |     8091      0 |      641 |      400
2.89/2.95	c  2.7s |       7 |    19892 |     3223 |     8901      0 |      641 |      400
4.79/4.82	c  4.5s |       8 |    23189 |     4936 |     9792      0 |      641 |      400
6.89/6.91	c  6.6s |       8 |    32018 |     7336 |     9792      0 |      641 |      400
6.99/7.06	c  6.8s |       9 |    32410 |     7506 |    10772      0 |      641 |      400
9.09/9.19	c  8.9s |       9 |    35030 |     9106 |    10772      0 |      641 |      400
11.20/11.30	c 11.0s |       9 |    37280 |    10706 |    10772      0 |      641 |      400
11.99/12.08	c 11.8s |      10 |    38568 |    11361 |    11850      0 |      641 |      400
14.09/14.13	c 13.9s |      10 |    43340 |    13361 |    11850      0 |      641 |      400
16.09/16.19	c 15.9s |      10 |    52087 |    16061 |    11850      1 |      641 |      400
17.69/17.73	c 17.5s |      11 |    53472 |    17144 |    13036      1 |      641 |      400
19.69/19.74	c 19.5s |      11 |    69226 |    19744 |    13036      1 |      641 |      400
21.79/21.87	c 21.6s |      11 |    76269 |    21844 |    13036      1 |      641 |      400
24.09/24.16	c 23.9s |      11 |    77391 |    22744 |    13036      1 |      641 |      400
26.39/26.44	c 26.2s |      11 |    78311 |    23544 |    13036      1 |      641 |      400
28.39/28.45	c 28.2s |      11 |    79012 |    24144 |    13036      2 |      641 |      400
30.69/30.71	c 30.4s |      11 |    80088 |    25044 |    13036      2 |      641 |      400
32.69/32.73	c 32.5s |      12 |    80959 |    25819 |    14340      2 |      641 |      400
34.78/34.80	c 34.5s |      12 |    83693 |    27319 |    14340      2 |      641 |      400
36.88/36.94	c 36.7s |      12 |    85067 |    28619 |    14340      2 |      641 |      400
38.88/38.97	c 38.7s |      12 |    86437 |    29819 |    14340      2 |      641 |      400
40.98/41.02	c 40.7s |      12 |    88278 |    31419 |    14340      2 |      641 |      400
43.18/43.23	c 43.0s |      12 |    89418 |    32519 |    14340      2 |      641 |      400
45.29/45.37	c 45.1s |      12 |    90649 |    33619 |    14340      3 |      641 |      400
47.28/47.40	c 47.1s |      12 |    91832 |    34719 |    14340      3 |      641 |      400
49.48/49.56	c 49.3s |      12 |    93016 |    35819 |    14340      3 |      641 |      400
51.58/51.70	c 51.4s |      12 |    94113 |    36819 |    14340      3 |      641 |      400
53.78/53.82	c 53.5s |      12 |    95054 |    37719 |    14340      3 |      641 |      400
55.78/55.89	c 55.6s |      12 |    95910 |    38519 |    14340      3 |      641 |      400
56.68/56.77	c 56.5s |      13 |    96235 |    38832 |    15775      3 |      641 |      400
58.78/58.81	c 58.5s |      13 |   107003 |    41232 |    15775      3 |      641 |      400
60.78/60.82	c 60.5s |      13 |   114212 |    43232 |    15775      4 |      641 |      400
62.89/62.97	c 62.7s |      13 |   116748 |    44732 |    15775      4 |      641 |      400
64.98/65.04	c 64.8s |      13 |   117972 |    45732 |    15775      4 |      641 |      400
66.98/67.05	c 66.8s |      13 |   118905 |    46532 |    15775      4 |      641 |      400
69.18/69.22	c 68.9s |      13 |   119807 |    47332 |    15775      4 |      641 |      400
71.38/71.46	c 71.2s |      13 |   120683 |    48132 |    15775      4 |      641 |      400
73.48/73.54	c 73.3s |      13 |   122274 |    49232 |    15775      4 |      641 |      400
75.68/75.71	c 75.4s |      13 |   124241 |    50432 |    15775      4 |      641 |      400
77.78/77.85	c 77.6s |      13 |   125897 |    51532 |    15775      4 |      641 |      400
80.17/80.22	c 79.9s |      13 |   127105 |    52432 |    15775      5 |      641 |      400
82.27/82.38	c 82.1s |      13 |   128233 |    53332 |    15775      5 |      641 |      400
84.37/84.47	c 84.2s |      13 |   129192 |    54132 |    15775      5 |      641 |      400
86.57/86.63	c 86.4s |      13 |   130024 |    54832 |    15775      5 |      641 |      400
88.67/88.71	c 88.4s |      13 |   130838 |    55532 |    15775      5 |      641 |      400
90.77/90.81	c 90.5s |      13 |   131632 |    56232 |    15775      5 |      641 |      400
92.87/92.91	c 92.6s |      13 |   132458 |    56932 |    15775      5 |      641 |      400
94.97/95.03	c 94.8s |      13 |   133239 |    57632 |    15775      5 |      641 |      400
97.17/97.28	c 97.0s |      13 |   134029 |    58332 |    17353      5 |      641 |      400
97.27/97.36	c 97.1s |      14 |   134050 |    58352 |    17353      5 |      641 |      400
99.38/99.40	c 99.1s |      14 |   137961 |    60252 |    17353      5 |      641 |      400
101.48/101.52	c  101s |      14 |   140051 |    61952 |    17353      5 |      641 |      400
103.48/103.52	c  103s |      14 |   141982 |    63352 |    17353      5 |      641 |      400
105.48/105.52	c  105s |      14 |   145374 |    64952 |    17353      6 |      641 |      400
107.58/107.61	c  107s |      14 |   147109 |    66352 |    17353      6 |      641 |      400
109.58/109.67	c  109s |      14 |   151625 |    67652 |    17353      6 |      641 |      400
111.67/111.71	c  111s |      14 |   155679 |    69352 |    17353      6 |      641 |      400
113.67/113.77	c  113s |      14 |   159099 |    71152 |    17353      6 |      641 |      400
115.77/115.81	c  115s |      14 |   161720 |    72752 |    17353      6 |      641 |      400
117.88/117.96	c  117s |      14 |   162951 |    73852 |    17353      7 |      641 |      400
120.08/120.13	c  119s |      14 |   164247 |    74952 |    17353      7 |      641 |      400
122.07/122.15	c  121s |      14 |   165325 |    75952 |    17353      7 |      641 |      400
124.17/124.25	c  123s |      14 |   166256 |    76852 |    17353      7 |      641 |      400
126.37/126.48	c  126s |      14 |   167198 |    77752 |    17353      7 |      641 |      400
128.57/128.62	c  128s |      14 |   168044 |    78552 |    17353      7 |      641 |      400
130.57/130.63	c  130s |      14 |   168755 |    79252 |    17353      7 |      641 |      400
132.67/132.73	c  132s |      14 |   169483 |    79952 |    17353      7 |      641 |      400
134.87/134.98	c  134s |      14 |   170207 |    80652 |    17353      7 |      641 |      400
137.07/137.11	c  136s |      14 |   170815 |    81252 |    17353      7 |      641 |      400
139.07/139.12	c  138s |      14 |   171325 |    81752 |    17353      7 |      641 |      400
141.27/141.40	c  141s |      14 |   172076 |    82452 |    17353      7 |      641 |      400
143.47/143.55	c  143s |      14 |   172843 |    83152 |    17353      7 |      641 |      400
145.57/145.62	c  145s |      14 |   173469 |    83752 |    17353      7 |      641 |      400
147.57/147.68	c  147s |      14 |   173987 |    84252 |    17353      8 |      641 |      400
149.67/149.77	c  149s |      14 |   174701 |    84952 |    17353      8 |      641 |      400
151.77/151.85	c  151s |      14 |   175328 |    85552 |    17353      8 |      641 |      400
153.87/153.91	c  153s |      14 |   175948 |    86152 |    17353      8 |      641 |      400
155.87/155.92	c  155s |      14 |   176570 |    86752 |    17353      8 |      641 |      400
157.97/158.00	c  157s |      14 |   177186 |    87352 |    19089      8 |      641 |      400
158.87/158.95	c  158s |      15 |   177473 |    87632 |    19089      8 |      641 |      400
160.97/161.01	c  160s |      15 |   190168 |    90232 |    19089      8 |      641 |      400
162.97/163.02	c  162s |      15 |   194139 |    92132 |    19089      8 |      641 |      400
165.07/165.14	c  164s |      15 |   195782 |    93432 |    19089      8 |      641 |      400
167.16/167.28	c  167s |      15 |   197879 |    94932 |    19089      8 |      641 |      400
169.26/169.32	c  169s |      15 |   199240 |    96032 |    19089      8 |      641 |      400
171.36/171.41	c  171s |      15 |   200350 |    96932 |    19089      9 |      641 |      400
173.46/173.58	c  173s |      15 |   201343 |    97832 |    19089      9 |      641 |      400
175.76/175.82	c  175s |      15 |   202502 |    98832 |    19089      9 |      641 |      400
177.96/178.03	c  177s |      15 |   203531 |    99732 |    19089      9 |      641 |      400
179.96/180.05	c  179s |      15 |   204419 |   100532 |    19089      9 |      641 |      400
182.16/182.23	c  181s |      15 |   205317 |   101332 |    19089      9 |      641 |      400
184.26/184.31	c  184s |      15 |   206198 |   102132 |    19089      9 |      641 |      400
186.26/186.37	c  186s |      15 |   206831 |   102732 |    19089      9 |      641 |      400
188.36/188.43	c  188s |      15 |   207612 |   103432 |    19089      9 |      641 |      400
190.66/190.71	c  190s |      15 |   208244 |   104032 |    19089      9 |      641 |      400
192.76/192.84	c  192s |      15 |   208904 |   104632 |    19089      9 |      641 |      400
194.96/195.06	c  194s |      15 |   209546 |   105232 |    19089      9 |      641 |      400
197.16/197.25	c  196s |      15 |   210210 |   105832 |    19089      9 |      641 |      400
199.36/199.40	c  199s |      15 |   210877 |   106432 |    19089      9 |      641 |      400
201.66/201.75	c  201s |      15 |   211641 |   107132 |    19089      9 |      641 |      400
203.76/203.86	c  203s |      15 |   212190 |   107632 |    19089     10 |      641 |      400
206.06/206.16	c  205s |      15 |   212972 |   108332 |    19089     10 |      641 |      400
208.36/208.43	c  208s |      15 |   213646 |   108932 |    19089     10 |      641 |      400
210.46/210.53	c  210s |      15 |   214456 |   109632 |    19089     10 |      641 |      400
212.46/212.53	c  212s |      15 |   215484 |   110432 |    19089     10 |      641 |      400
214.66/214.74	c  214s |      15 |   216562 |   111332 |    19089     10 |      641 |      400
216.86/216.99	c  216s |      15 |   217495 |   112132 |    19089     10 |      641 |      400
219.06/219.18	c  218s |      15 |   218444 |   112932 |    19089     10 |      641 |      400
221.16/221.26	c  220s |      15 |   219251 |   113632 |    19089     10 |      641 |      400
223.46/223.52	c  223s |      15 |   220223 |   114432 |    19089     10 |      641 |      400
225.45/225.58	c  225s |      15 |   221185 |   115232 |    19089     10 |      641 |      400
227.55/227.62	c  227s |      15 |   222040 |   115932 |    19089     10 |      641 |      400
229.75/229.82	c  229s |      15 |   222886 |   116632 |    19089     10 |      641 |      400
232.05/232.11	c  231s |      15 |   223753 |   117332 |    19089     10 |      641 |      400
234.15/234.22	c  233s |      15 |   224431 |   117932 |    19089     10 |      641 |      400
236.35/236.45	c  236s |      15 |   225155 |   118532 |    19089     10 |      641 |      400
238.65/238.74	c  238s |      15 |   225753 |   119032 |    19089     11 |      641 |      400
240.85/240.96	c  240s |      15 |   226542 |   119732 |    19089     11 |      641 |      400
242.85/242.99	c  242s |      15 |   227356 |   120432 |    19089     11 |      641 |      400
244.85/244.99	c  244s |      15 |   228199 |   121132 |    19089     11 |      641 |      400
247.05/247.19	c  246s |      15 |   228961 |   121832 |    19089     11 |      641 |      400
249.16/249.22	c  248s |      15 |   229781 |   122532 |    19089     11 |      641 |      400
251.36/251.46	c  251s |      15 |   230734 |   123332 |    19089     11 |      641 |      400
253.46/253.55	c  253s |      15 |   231504 |   124032 |    19089     11 |      641 |      400
255.66/255.72	c  255s |      15 |   232314 |   124732 |    19089     11 |      641 |      400
257.85/257.93	c  257s |      15 |   233152 |   125432 |    19089     11 |      641 |      400
260.05/260.13	c  259s |      15 |   233980 |   126132 |    19089     11 |      641 |      400
262.05/262.15	c  261s |      15 |   234635 |   126732 |    19089     11 |      641 |      400
264.25/264.39	c  264s |      15 |   235467 |   127432 |    19089     11 |      641 |      400
266.36/266.48	c  266s |      15 |   236151 |   128032 |    19089     11 |      641 |      400
268.75/268.80	c  268s |      15 |   236832 |   128632 |    19089     11 |      641 |      400
270.95/271.03	c  270s |      15 |   237515 |   129232 |    19089     11 |      641 |      400
273.15/273.23	c  272s |      15 |   238207 |   129832 |    19089     11 |      641 |      400
275.25/275.38	c  275s |      15 |   238774 |   130332 |    19089     12 |      641 |      400
277.55/277.67	c  277s |      15 |   239698 |   131132 |    20998     12 |      641 |      400
278.75/278.80	c  278s |      16 |   240182 |   131552 |    20998     12 |      641 |      400
280.75/280.81	c  280s |      16 |   248834 |   133452 |    20998     12 |      641 |      400
282.76/282.85	c  282s |      16 |   257947 |   135952 |    20998     12 |      641 |      400
284.75/284.88	c  284s |      16 |   261351 |   137652 |    20998     12 |      641 |      400
286.85/286.94	c  286s |      16 |   265769 |   139552 |    20998     12 |      641 |      400
288.95/289.03	c  288s |      16 |   268417 |   141052 |    20998     12 |      641 |      400
291.05/291.18	c  290s |      16 |   269982 |   142252 |    20998     12 |      641 |      400
293.25/293.32	c  293s |      16 |   271216 |   143152 |    20998     13 |      641 |      400
295.25/295.35	c  295s |      16 |   272386 |   144052 |    20998     13 |      641 |      400
297.34/297.45	c  297s |      16 |   273317 |   144852 |    20998     13 |      641 |      400
299.54/299.67	c  299s |      16 |   274320 |   145652 |    20998     13 |      641 |      400
301.84/301.92	c  301s |      16 |   275378 |   146452 |    20998     13 |      641 |      400
304.04/304.19	c  303s |      16 |   276215 |   147152 |    20998     13 |      641 |      400
306.34/306.43	c  306s |      16 |   276932 |   147752 |    20998     13 |      641 |      400
308.64/308.72	c  308s |      16 |   277872 |   148552 |    20998     13 |      641 |      400
310.74/310.80	c  310s |      16 |   278732 |   149252 |    20998     13 |      641 |      400
312.84/312.93	c  312s |      16 |   279712 |   150052 |    20998     13 |      641 |      400
314.84/314.98	c  314s |      16 |   281363 |   151052 |    20998     13 |      641 |      400
316.94/317.01	c  316s |      16 |   283609 |   152252 |    20998     13 |      641 |      400
318.94/319.09	c  318s |      16 |   285451 |   153452 |    20998     13 |      641 |      400
321.14/321.25	c  320s |      16 |   287427 |   154652 |    20998     13 |      641 |      400
323.14/323.25	c  322s |      16 |   289196 |   155752 |    20998     14 |      641 |      400
325.14/325.28	c  325s |      16 |   290605 |   156852 |    20998     14 |      641 |      400
327.14/327.29	c  327s |      16 |   291665 |   157752 |    20998     14 |      641 |      400
329.24/329.36	c  329s |      16 |   292762 |   158652 |    20998     14 |      641 |      400
331.34/331.42	c  331s |      16 |   293562 |   159352 |    20998     14 |      641 |      400
333.45/333.58	c  333s |      16 |   294520 |   160152 |    20998     14 |      641 |      400
335.65/335.73	c  335s |      16 |   295642 |   161052 |    20998     14 |      641 |      400
337.85/337.91	c  337s |      16 |   296653 |   161852 |    20998     14 |      641 |      400
339.95/340.09	c  339s |      16 |   297444 |   162552 |    20998     14 |      641 |      400
342.15/342.25	c  341s |      16 |   298391 |   163352 |    20998     14 |      641 |      400
344.35/344.44	c  344s |      16 |   299217 |   164052 |    20998     14 |      641 |      400
346.34/346.47	c  346s |      16 |   299912 |   164652 |    20998     14 |      641 |      400
348.44/348.53	c  348s |      16 |   300620 |   165252 |    20998     14 |      641 |      400
350.64/350.74	c  350s |      16 |   301447 |   165952 |    20998     14 |      641 |      400
352.74/352.82	c  352s |      16 |   302160 |   166552 |    20998     14 |      641 |      400
355.04/355.13	c  354s |      16 |   302899 |   167152 |    20998     15 |      641 |      400
357.04/357.19	c  356s |      16 |   308112 |   168952 |    20998     15 |      641 |      400
359.24/359.36	c  359s |      16 |   309599 |   170152 |    20998     15 |      641 |      400
361.54/361.60	c  361s |      16 |   311225 |   171252 |    20998     15 |      641 |      400
363.64/363.70	c  363s |      16 |   312341 |   172152 |    20998     15 |      641 |      400
365.64/365.71	c  365s |      16 |   313448 |   172952 |    20998     15 |      641 |      400
367.84/367.95	c  367s |      16 |   314352 |   173652 |    20998     15 |      641 |      400
370.03/370.19	c  369s |      16 |   315358 |   174452 |    20998     15 |      641 |      400
372.33/372.40	c  372s |      16 |   316162 |   175152 |    20998     15 |      641 |      400
374.33/374.43	c  374s |      16 |   316819 |   175752 |    20998     15 |      641 |      400
376.53/376.68	c  376s |      16 |   317623 |   176452 |    20998     15 |      641 |      400
378.54/378.68	c  378s |      16 |   318308 |   177052 |    20998     15 |      641 |      400
380.64/380.73	c  380s |      16 |   318982 |   177652 |    20998     15 |      641 |      400
382.63/382.79	c  382s |      16 |   319654 |   178252 |    20998     15 |      641 |      400
384.73/384.84	c  384s |      16 |   320321 |   178852 |    20998     15 |      641 |      400
386.73/386.89	c  386s |      16 |   320897 |   179352 |    20998     16 |      641 |      400
388.93/389.08	c  388s |      16 |   321668 |   180052 |    20998     16 |      641 |      400
391.03/391.13	c  390s |      16 |   322306 |   180652 |    20998     16 |      641 |      400
393.13/393.23	c  392s |      16 |   322976 |   181252 |    20998     16 |      641 |      400
395.43/395.59	c  395s |      16 |   323776 |   181952 |    20998     16 |      641 |      400
397.43/397.59	c  397s |      16 |   324430 |   182552 |    20998     16 |      641 |      400
399.63/399.71	c  399s |      16 |   325093 |   183152 |    20998     16 |      641 |      400
401.73/401.86	c  401s |      16 |   326271 |   184052 |    20998     16 |      641 |      400
403.83/403.95	c  403s |      16 |   327095 |   184752 |    20998     16 |      641 |      400
406.03/406.14	c  405s |      16 |   327782 |   185352 |    20998     16 |      641 |      400
408.23/408.37	c  408s |      16 |   328464 |   185952 |    20998     16 |      641 |      400
410.22/410.38	c  410s |      16 |   329061 |   186452 |    20998     16 |      641 |      400
412.42/412.59	c  412s |      16 |   329761 |   187052 |    20998     16 |      641 |      400
414.73/414.84	c  414s |      16 |   330407 |   187652 |    20998     16 |      641 |      400
417.03/417.12	c  416s |      16 |   331088 |   188252 |    20998     16 |      641 |      400
419.02/419.16	c  418s |      16 |   331622 |   188752 |    20998     16 |      641 |      400
421.33/421.45	c  421s |      16 |   332305 |   189352 |    20998     16 |      641 |      400
423.32/423.46	c  423s |      16 |   333037 |   189952 |    20998     16 |      641 |      400
425.52/425.66	c  425s |      16 |   333716 |   190552 |    20998     16 |      641 |      400
428.33/428.43	c  428s |      16 |   334423 |   191152 |    20998     17 |      641 |      400
430.63/430.71	c  430s |      16 |   335218 |   191852 |    20998     17 |      641 |      400
432.63/432.75	c  432s |      16 |   335906 |   192452 |    20998     17 |      641 |      400
434.93/435.01	c  434s |      16 |   336571 |   193052 |    20998     17 |      641 |      400
436.93/437.09	c  436s |      16 |   337096 |   193552 |    20998     17 |      641 |      400
439.03/439.17	c  438s |      16 |   337924 |   194252 |    20998     17 |      641 |      400
441.23/441.31	c  441s |      16 |   338573 |   194852 |    20998     17 |      641 |      400
443.53/443.67	c  443s |      16 |   339365 |   195552 |    20998     17 |      641 |      400
445.63/445.71	c  445s |      16 |   340109 |   196152 |    23098     17 |      641 |      400
447.83/447.97	c  447s |      16 |   340907 |   196852 |    23098     17 |      641 |      400
449.62/449.78	c  449s |      17 |   341610 |   197432 |    23098     17 |      641 |      400
451.72/451.88	c  451s |      17 |   345389 |   198632 |    23098     17 |      641 |      400
453.82/453.98	c  453s |      17 |   347500 |   200232 |    23098     17 |      641 |      400
455.92/456.07	c  455s |      17 |   348965 |   201432 |    23098     17 |      641 |      400
458.12/458.29	c  458s |      17 |   350192 |   202432 |    23098     17 |      641 |      400
460.32/460.46	c  460s |      17 |   351490 |   203532 |    23098     17 |      641 |      400
462.42/462.57	c  462s |      17 |   352956 |   204732 |    23098     17 |      641 |      400
464.52/464.65	c  464s |      17 |   353921 |   205532 |    23098     18 |      641 |      400
466.62/466.72	c  466s |      17 |   355201 |   206632 |    23098     18 |      641 |      400
468.72/468.83	c  468s |      17 |   356410 |   207632 |    23098     18 |      641 |      400
470.72/470.84	c  470s |      17 |   357317 |   208432 |    23098     18 |      641 |      400
472.82/472.92	c  472s |      17 |   358227 |   209232 |    23098     18 |      641 |      400
475.02/475.17	c  474s |      17 |   359149 |   210032 |    23098     18 |      641 |      400
477.12/477.25	c  476s |      17 |   361115 |   210932 |    23098     18 |      641 |      400
479.12/479.29	c  479s |      17 |   362507 |   212032 |    23098     18 |      641 |      400
481.22/481.36	c  481s |      17 |   363657 |   213032 |    23098     18 |      641 |      400
483.32/483.48	c  483s |      17 |   364858 |   214032 |    23098     18 |      641 |      400
485.51/485.61	c  485s |      17 |   366051 |   215032 |    23098     18 |      641 |      400
487.61/487.77	c  487s |      17 |   366949 |   215832 |    23098     18 |      641 |      400
489.71/489.88	c  489s |      17 |   367833 |   216632 |    23098     18 |      641 |      400
492.01/492.15	c  491s |      17 |   368725 |   217432 |    23098     18 |      641 |      400
494.21/494.32	c  494s |      17 |   369617 |   218232 |    23098     18 |      641 |      400
496.22/496.37	c  496s |      17 |   370286 |   218832 |    23098     19 |      641 |      400
498.42/498.52	c  498s |      17 |   371203 |   219632 |    23098     19 |      641 |      400
500.52/500.60	c  500s |      17 |   371949 |   220332 |    23098     19 |      641 |      400
502.72/502.83	c  502s |      17 |   372719 |   221032 |    23098     19 |      641 |      400
504.81/504.95	c  504s |      17 |   373357 |   221632 |    23098     19 |      641 |      400
507.01/507.19	c  506s |      17 |   374008 |   222232 |    23098     19 |      641 |      400
509.21/509.30	c  509s |      17 |   374768 |   222932 |    23098     19 |      641 |      400
511.31/511.49	c  511s |      17 |   375434 |   223532 |    23098     19 |      641 |      400
513.51/513.69	c  513s |      17 |   376240 |   224232 |    23098     19 |      641 |      400
515.61/515.76	c  515s |      17 |   376918 |   224832 |    23098     19 |      641 |      400
518.01/518.14	c  517s |      17 |   377718 |   225532 |    23098     19 |      641 |      400
520.51/520.61	c  520s |      17 |   378392 |   226132 |    23098     19 |      641 |      400
522.51/522.62	c  522s |      17 |   378942 |   226632 |    23098     19 |      641 |      400
524.81/524.96	c  524s |      17 |   379760 |   227332 |    23098     19 |      641 |      400
527.11/527.25	c  526s |      17 |   380412 |   227932 |    23098     19 |      641 |      400
529.41/529.55	c  529s |      17 |   381061 |   228532 |    23098     19 |      641 |      400
531.51/531.62	c  531s |      17 |   381633 |   229032 |    23098     19 |      641 |      400
533.51/533.70	c  533s |      17 |   382212 |   229532 |    23098     19 |      641 |      400
535.60/535.78	c  535s |      17 |   382778 |   230032 |    23098     19 |      641 |      400
538.01/538.18	c  537s |      17 |   383330 |   230532 |    23098     19 |      641 |      400
540.40/540.51	c  540s |      17 |   383888 |   231032 |    23098     19 |      641 |      400
542.50/542.65	c  542s |      17 |   384444 |   231532 |    23098     19 |      641 |      400
544.61/544.77	c  544s |      17 |   384892 |   231932 |    23098     20 |      641 |      400
546.81/546.99	c  546s |      17 |   385430 |   232432 |    23098     20 |      641 |      400
549.01/549.19	c  548s |      17 |   386144 |   233032 |    23098     20 |      641 |      400
551.21/551.33	c  551s |      17 |   386684 |   233532 |    23098     20 |      641 |      400
553.50/553.61	c  553s |      17 |   387222 |   234032 |    23098     20 |      641 |      400
555.61/555.77	c  555s |      17 |   387761 |   234532 |    23098     20 |      641 |      400
557.90/558.02	c  557s |      17 |   388308 |   235032 |    23098     20 |      641 |      400
560.20/560.30	c  560s |      17 |   389085 |   235732 |    23098     20 |      641 |      400
562.30/562.48	c  562s |      17 |   389787 |   236332 |    23098     20 |      641 |      400
564.41/564.59	c  564s |      17 |   390494 |   236932 |    23098     20 |      641 |      400
566.90/567.03	c  566s |      17 |   391166 |   237532 |    23098     20 |      641 |      400
569.30/569.43	c  569s |      17 |   391832 |   238132 |    23098     20 |      641 |      400
571.40/571.54	c  571s |      17 |   392357 |   238632 |    23098     20 |      641 |      400
573.40/573.58	c  573s |      17 |   392920 |   239132 |    23098     20 |      641 |      400
575.41/575.58	c  575s |      17 |   393495 |   239632 |    23098     20 |      641 |      400
577.71/577.87	c  577s |      17 |   394039 |   240132 |    23098     20 |      641 |      400
580.11/580.27	c  579s |      17 |   394562 |   240632 |    23098     20 |      641 |      400
582.40/582.53	c  582s |      17 |   395115 |   241132 |    23098     20 |      641 |      400
584.70/584.90	c  584s |      17 |   395633 |   241632 |    23098     20 |      641 |      400
587.10/587.28	c  587s |      17 |   396192 |   242132 |    23098     20 |      641 |      400
589.20/589.38	c  589s |      17 |   396632 |   242532 |    23098     20 |      641 |      400
591.70/591.84	c  591s |      17 |   397176 |   243032 |    23098     20 |      641 |      400
593.90/594.05	c  593s |      17 |   397596 |   243432 |    23098     20 |      641 |      400
596.21/596.40	c  596s |      17 |   398021 |   243832 |    23098     20 |      641 |      400
598.60/598.70	c  598s |      17 |   398448 |   244232 |    23098     20 |      641 |      400
600.80/600.94	c  600s |      17 |   398879 |   244632 |    23098     20 |      641 |      400
602.91/603.09	c  602s |      17 |   399304 |   245032 |    23098     20 |      641 |      400
605.30/605.41	c  605s |      17 |   399755 |   245432 |    23098     21 |      641 |      400
607.70/607.83	c  607s |      17 |   400415 |   246032 |    23098     21 |      641 |      400
609.70/609.85	c  609s |      17 |   400940 |   246532 |    23098     21 |      641 |      400
611.90/612.07	c  611s |      17 |   401462 |   247032 |    23098     21 |      641 |      400
614.10/614.26	c  613s |      17 |   402112 |   247632 |    23098     21 |      641 |      400
616.40/616.54	c  616s |      17 |   402644 |   248132 |    23098     21 |      641 |      400
618.70/618.85	c  618s |      17 |   403184 |   248632 |    23098     21 |      641 |      400
621.19/621.36	c  621s |      17 |   403710 |   249132 |    23098     21 |      641 |      400
623.19/623.38	c  623s |      17 |   404134 |   249532 |    23098     21 |      641 |      400
625.69/625.83	c  625s |      17 |   404659 |   250032 |    23098     21 |      641 |      400
627.79/628.00	c  627s |      17 |   405327 |   250632 |    23098     21 |      641 |      400
630.09/630.21	c  629s |      17 |   406000 |   251232 |    23098     21 |      641 |      400
632.50/632.63	c  632s |      17 |   406632 |   251832 |    23098     21 |      641 |      400
634.80/634.98	c  634s |      17 |   407289 |   252432 |    23098     21 |      641 |      400
637.19/637.30	c  637s |      17 |   407840 |   252932 |    23098     21 |      641 |      400
639.49/639.68	c  639s |      17 |   408375 |   253432 |    23098     21 |      641 |      400
641.99/642.16	c  641s |      17 |   408909 |   253932 |    23098     21 |      641 |      400
644.09/644.24	c  643s |      17 |   409325 |   254332 |    23098     21 |      641 |      400
646.29/646.45	c  646s |      17 |   409885 |   254832 |    23098     21 |      641 |      400
648.69/648.84	c  648s |      17 |   410433 |   255332 |    23098     21 |      641 |      400
651.09/651.30	c  651s |      17 |   410976 |   255832 |    23098     21 |      641 |      400
653.59/653.75	c  653s |      17 |   411529 |   256332 |    23098     21 |      641 |      400
656.09/656.24	c  655s |      17 |   412059 |   256832 |    23098     21 |      641 |      400
658.29/658.41	c  658s |      17 |   412492 |   257232 |    23098     21 |      641 |      400
660.59/660.77	c  660s |      17 |   412921 |   257632 |    23098     21 |      641 |      400
662.69/662.80	c  662s |      17 |   413352 |   258032 |    23098     21 |      641 |      400
664.79/664.98	c  664s |      17 |   413674 |   258332 |    23098     22 |      641 |      400
666.98/667.11	c  666s |      17 |   414199 |   258832 |    23098     22 |      641 |      400
668.98/669.12	c  668s |      17 |   414736 |   259332 |    23098     22 |      641 |      400
671.38/671.52	c  671s |      17 |   415410 |   259932 |    23098     22 |      641 |      400
673.49/673.68	c  673s |      17 |   416086 |   260532 |    23098     22 |      641 |      400
675.79/675.96	c  675s |      17 |   416626 |   261032 |    23098     22 |      641 |      400
678.09/678.29	c  678s |      17 |   417153 |   261532 |    23098     22 |      641 |      400
680.29/680.44	c  680s |      17 |   417691 |   262032 |    23098     22 |      641 |      400
682.69/682.81	c  682s |      17 |   418344 |   262632 |    23098     22 |      641 |      400
685.09/685.20	c  684s |      17 |   418991 |   263232 |    23098     22 |      641 |      400
687.19/687.33	c  687s |      17 |   419515 |   263732 |    23098     22 |      641 |      400
689.29/689.45	c  689s |      17 |   420053 |   264232 |    23098     22 |      641 |      400
691.49/691.67	c  691s |      17 |   420585 |   264732 |    23098     22 |      641 |      400
693.79/693.98	c  693s |      17 |   421110 |   265232 |    23098     22 |      641 |      400
695.99/696.17	c  695s |      17 |   421636 |   265732 |    23098     22 |      641 |      400
698.08/698.26	c  697s |      17 |   422063 |   266132 |    23098     22 |      641 |      400
700.48/700.62	c  700s |      17 |   422582 |   266632 |    23098     22 |      641 |      400
702.48/702.67	c  702s |      17 |   422993 |   267032 |    23098     22 |      641 |      400
704.58/704.78	c  704s |      17 |   423422 |   267432 |    23098     22 |      641 |      400
706.68/706.89	c  706s |      17 |   423841 |   267832 |    23098     22 |      641 |      400
708.98/709.13	c  708s |      17 |   424260 |   268232 |    23098     22 |      641 |      400
711.18/711.39	c  711s |      17 |   424678 |   268632 |    23098     22 |      641 |      400
713.58/713.71	c  713s |      17 |   425099 |   269032 |    23098     22 |      641 |      400
715.58/715.74	c  715s |      17 |   425519 |   269432 |    23098     22 |      641 |      400
717.78/717.98	c  717s |      17 |   425952 |   269832 |    23098     22 |      641 |      400
720.18/720.35	c  720s |      17 |   426367 |   270232 |    23098     22 |      641 |      400
722.58/722.73	c  722s |      17 |   426787 |   270632 |    23098     22 |      641 |      400
724.78/724.91	c  724s |      17 |   427222 |   271032 |    23098     22 |      641 |      400
727.68/727.88	c  727s |      17 |   427640 |   271432 |    23098     23 |      641 |      400
729.88/730.00	c  729s |      17 |   428180 |   271932 |    23098     23 |      641 |      400
732.17/732.34	c  732s |      17 |   428689 |   272432 |    23098     23 |      641 |      400
734.27/734.45	c  734s |      17 |   429208 |   272932 |    23098     23 |      641 |      400
736.67/736.82	c  736s |      17 |   429741 |   273432 |    23098     23 |      641 |      400
738.77/738.93	c  738s |      17 |   430269 |   273932 |    23098     23 |      641 |      400
741.07/741.22	c  740s |      17 |   430786 |   274432 |    23098     23 |      641 |      400
743.17/743.35	c  743s |      17 |   431320 |   274932 |    23098     23 |      641 |      400
745.47/745.64	c  745s |      17 |   431848 |   275432 |    23098     23 |      641 |      400
747.48/747.67	c  747s |      17 |   432262 |   275832 |    23098     23 |      641 |      400
749.88/750.03	c  749s |      17 |   432780 |   276332 |    23098     23 |      641 |      400
752.18/752.36	c  752s |      17 |   433300 |   276832 |    23098     23 |      641 |      400
754.69/754.82	c  754s |      17 |   433828 |   277332 |    23098     23 |      641 |      400
757.08/757.26	c  756s |      17 |   434357 |   277832 |    23098     23 |      641 |      400
759.38/759.59	c  759s |      17 |   434891 |   278332 |    23098     23 |      641 |      400
761.58/761.71	c  761s |      17 |   435293 |   278732 |    23098     23 |      641 |      400
763.87/764.05	c  763s |      17 |   435702 |   279132 |    23098     23 |      641 |      400
766.27/766.43	c  766s |      17 |   436111 |   279532 |    23098     23 |      641 |      400
768.67/768.84	c  768s |      17 |   436524 |   279932 |    23098     23 |      641 |      400
771.27/771.42	c  771s |      17 |   437051 |   280432 |    23098     23 |      641 |      400
773.28/773.48	c  773s |      17 |   437465 |   280832 |    23098     23 |      641 |      400
775.48/775.63	c  775s |      17 |   437882 |   281232 |    23098     23 |      641 |      400
777.57/777.71	c  777s |      17 |   438341 |   281632 |    23098     23 |      641 |      400
779.67/779.87	c  779s |      17 |   439010 |   282132 |    23098     23 |      641 |      400
782.08/782.26	c  781s |      17 |   439656 |   282732 |    23098     23 |      641 |      400
784.38/784.54	c  784s |      17 |   440176 |   283232 |    23098     23 |      641 |      400
786.67/786.83	c  786s |      17 |   440698 |   283732 |    23098     23 |      641 |      400
788.87/789.02	c  788s |      17 |   441231 |   284232 |    23098     23 |      641 |      400
791.67/791.89	c  791s |      17 |   441763 |   284732 |    23098     24 |      641 |      400
793.77/793.99	c  793s |      17 |   442390 |   285332 |    23098     24 |      641 |      400
796.07/796.26	c  795s |      17 |   443022 |   285932 |    23098     24 |      641 |      400
798.17/798.32	c  798s |      17 |   443667 |   286532 |    23098     24 |      641 |      400
800.47/800.66	c  800s |      17 |   444417 |   287232 |    23098     24 |      641 |      400
802.87/803.05	c  802s |      17 |   445161 |   287932 |    23098     24 |      641 |      400
805.07/805.30	c  805s |      17 |   445804 |   288532 |    23098     24 |      641 |      400
807.27/807.41	c  807s |      17 |   446488 |   289132 |    23098     24 |      641 |      400
809.57/809.74	c  809s |      17 |   447125 |   289732 |    23098     24 |      641 |      400
811.66/811.80	c  811s |      17 |   447640 |   290232 |    23098     24 |      641 |      400
813.66/813.88	c  813s |      17 |   448177 |   290732 |    23098     24 |      641 |      400
816.06/816.23	c  815s |      17 |   448826 |   291332 |    23098     24 |      641 |      400
818.16/818.34	c  818s |      17 |   449366 |   291832 |    23098     24 |      641 |      400
820.26/820.44	c  820s |      17 |   449907 |   292332 |    23098     24 |      641 |      400
822.26/822.49	c  822s |      17 |   450468 |   292832 |    23098     24 |      641 |      400
824.56/824.74	c  824s |      17 |   451002 |   293332 |    23098     24 |      641 |      400
826.96/827.10	c  826s |      17 |   451523 |   293832 |    23098     24 |      641 |      400
828.96/829.13	c  828s |      17 |   451935 |   294232 |    25408     24 |      641 |      400
831.46/831.64	c  831s |      17 |   452461 |   294732 |    25408     24 |      641 |      400
833.96/834.18	c  833s |      17 |   452996 |   295232 |    25408     24 |      641 |      400
836.26/836.47	c  836s |      17 |   453667 |   295832 |    25408     24 |      641 |      400
837.76/837.92	c  837s |      18 |   454130 |   296252 |    25408     24 |      641 |      400
839.77/839.92	c  839s |      18 |   462056 |   297952 |    25408     24 |      641 |      400
841.77/841.98	c  841s |      18 |   466731 |   300052 |    25408     24 |      641 |      400
843.96/844.12	c  843s |      18 |   468242 |   301152 |    25408     25 |      641 |      400
845.97/846.13	c  845s |      18 |   474718 |   303252 |    25408     25 |      641 |      400
847.96/848.13	c  847s |      18 |   478981 |   305052 |    25408     25 |      641 |      400
850.06/850.22	c  849s |      18 |   481177 |   306452 |    25408     25 |      641 |      400
852.16/852.30	c  852s |      18 |   482646 |   307552 |    25408     25 |      641 |      400
854.26/854.40	c  854s |      18 |   484151 |   308652 |    25408     25 |      641 |      400
856.26/856.49	c  856s |      18 |   485747 |   309752 |    25408     25 |      641 |      400
858.46/858.64	c  858s |      18 |   486866 |   310652 |    25408     25 |      641 |      400
860.56/860.77	c  860s |      18 |   487934 |   311452 |    25408     25 |      641 |      400
862.96/863.10	c  862s |      18 |   488798 |   312152 |    25408     25 |      641 |      400
865.06/865.24	c  864s |      18 |   489676 |   312852 |    25408     25 |      641 |      400
867.36/867.51	c  867s |      18 |   490720 |   313652 |    25408     25 |      641 |      400
869.56/869.77	c  869s |      18 |   491746 |   314452 |    25408     25 |      641 |      400
871.56/871.78	c  871s |      18 |   492255 |   314852 |    25408     26 |      641 |      400
873.66/873.89	c  873s |      18 |   493110 |   315452 |    25408     26 |      641 |      400
875.76/875.95	c  875s |      18 |   494306 |   316352 |    25408     26 |      641 |      400
877.76/877.96	c  877s |      18 |   495299 |   317152 |    25408     26 |      641 |      400
879.86/880.10	c  879s |      18 |   496286 |   317952 |    25408     26 |      641 |      400
881.95/882.19	c  881s |      18 |   497257 |   318752 |    25408     26 |      641 |      400
884.05/884.27	c  883s |      18 |   498242 |   319552 |    25408     26 |      641 |      400
886.25/886.42	c  886s |      18 |   498919 |   320152 |    25408     26 |      641 |      400
888.45/888.65	c  888s |      18 |   499620 |   320752 |    25408     26 |      641 |      400
890.75/890.99	c  890s |      18 |   500411 |   321452 |    25408     26 |      641 |      400
892.95/893.17	c  892s |      18 |   501155 |   322052 |    25408     26 |      641 |      400
895.15/895.30	c  895s |      18 |   502071 |   322752 |    25408     26 |      641 |      400
897.35/897.53	c  897s |      18 |   503018 |   323552 |    25408     26 |      641 |      400
899.55/899.79	c  899s |      18 |   503844 |   324252 |    25408     26 |      641 |      400
901.96/902.19	c  901s |      18 |   505199 |   324952 |    25408     26 |      641 |      400
904.16/904.38	c  904s |      18 |   506679 |   325752 |    25408     26 |      641 |      400
906.46/906.64	c  906s |      18 |   508180 |   326552 |    25408     26 |      641 |      400
908.56/908.80	c  908s |      18 |   509572 |   327352 |    25408     26 |      641 |      400
910.76/910.97	c  910s |      18 |   510931 |   328252 |    25408     26 |      641 |      400
912.85/913.00	c  912s |      18 |   512382 |   329052 |    25408     27 |      641 |      400
914.95/915.19	c  914s |      18 |   513774 |   329952 |    25408     27 |      641 |      400
917.35/917.52	c  917s |      18 |   515142 |   330952 |    25408     27 |      641 |      400
919.35/919.57	c  919s |      18 |   516033 |   331652 |    25408     27 |      641 |      400
921.45/921.69	c  921s |      18 |   516937 |   332352 |    25408     27 |      641 |      400
923.75/923.92	c  923s |      18 |   517977 |   333152 |    25408     27 |      641 |      400
925.75/925.97	c  925s |      18 |   519044 |   333952 |    25408     27 |      641 |      400
927.85/928.02	c  927s |      18 |   520187 |   334752 |    25408     27 |      641 |      400
929.85/930.05	c  929s |      18 |   521316 |   335552 |    25408     27 |      641 |      400
932.05/932.24	c  931s |      18 |   522508 |   336452 |    25408     27 |      641 |      400
934.05/934.25	c  933s |      18 |   523776 |   337252 |    25408     27 |      641 |      400
936.06/936.26	c  935s |      18 |   524705 |   337952 |    25408     27 |      641 |      400
938.15/938.32	c  938s |      18 |   525444 |   338552 |    25408     27 |      641 |      400
940.15/940.39	c  940s |      18 |   526364 |   339252 |    25408     27 |      641 |      400
942.25/942.40	c  942s |      18 |   527729 |   340052 |    25408     27 |      641 |      400
944.35/944.54	c  944s |      18 |   528717 |   340752 |    25408     27 |      641 |      400
946.55/946.72	c  946s |      18 |   529703 |   341452 |    25408     27 |      641 |      400
948.65/948.83	c  948s |      18 |   530702 |   342152 |    25408     27 |      641 |      400
951.46/951.68	c  951s |      18 |   531847 |   342852 |    25408     28 |      641 |      400
953.45/953.69	c  953s |      18 |   532544 |   343352 |    25408     28 |      641 |      400
955.65/955.86	c  955s |      18 |   533557 |   344052 |    25408     28 |      641 |      400
958.25/958.43	c  958s |      18 |   534721 |   344852 |    25408     28 |      641 |      400
960.45/960.61	c  960s |      18 |   535622 |   345552 |    25408     28 |      641 |      400
962.45/962.64	c  962s |      18 |   536536 |   346252 |    25408     28 |      641 |      400
964.54/964.70	c  964s |      18 |   537474 |   346952 |    25408     28 |      641 |      400
966.74/966.94	c  966s |      18 |   538598 |   347852 |    25408     28 |      641 |      400
968.84/969.05	c  968s |      18 |   539583 |   348652 |    25408     28 |      641 |      400
970.94/971.19	c  970s |      18 |   540611 |   349452 |    25408     28 |      641 |      400
973.14/973.39	c  973s |      18 |   541571 |   350252 |    25408     28 |      641 |      400
975.44/975.63	c  975s |      18 |   542340 |   350852 |    25408     28 |      641 |      400
977.44/977.65	c  977s |      18 |   543100 |   351452 |    25408     28 |      641 |      400
979.54/979.77	c  979s |      18 |   543829 |   352052 |    25408     28 |      641 |      400
981.74/981.96	c  981s |      18 |   544541 |   352652 |    25408     28 |      641 |      400
983.94/984.13	c  983s |      18 |   545516 |   353352 |    25408     28 |      641 |      400
985.94/986.18	c  985s |      18 |   546498 |   354052 |    25408     28 |      641 |      400
988.33/988.54	c  988s |      18 |   547219 |   354652 |    25408     28 |      641 |      400
990.33/990.54	c  990s |      18 |   547886 |   355152 |    25408     28 |      641 |      400
992.43/992.63	c  992s |      18 |   548442 |   355552 |    25408     28 |      641 |      400
994.73/994.92	c  994s |      18 |   549195 |   356152 |    25408     28 |      641 |      400
997.03/997.25	c  996s |      18 |   549875 |   356652 |    25408     28 |      641 |      400
999.43/999.60	c  999s |      18 |   550581 |   357252 |    25408     28 |      641 |      400
1001.53/1001.75	c 1001s |      18 |   551204 |   357752 |    25408     29 |      641 |      400
1003.83/1004.08	c 1003s |      18 |   552026 |   358452 |    25408     29 |      641 |      400
1006.03/1006.27	c 1005s |      18 |   552876 |   359152 |    25408     29 |      641 |      400
1008.14/1008.38	c 1008s |      18 |   553700 |   359752 |    25408     29 |      641 |      400
1010.84/1011.08	c 1010s |      18 |   554484 |   360352 |    25408     29 |      641 |      400
1013.34/1013.56	c 1013s |      18 |   555171 |   360852 |    25408     29 |      641 |      400
1015.43/1015.60	c 1015s |      18 |   556340 |   361652 |    25408     29 |      641 |      400
1017.63/1017.89	c 1017s |      18 |   557142 |   362252 |    25408     29 |      641 |      400
1019.93/1020.11	c 1019s |      18 |   557753 |   362752 |    25408     29 |      641 |      400
1022.03/1022.27	c 1021s |      18 |   558453 |   363352 |    25408     29 |      641 |      400
1024.33/1024.59	c 1024s |      18 |   559033 |   363852 |    25408     29 |      641 |      400
1026.43/1026.61	c 1026s |      18 |   559590 |   364352 |    25408     29 |      641 |      400
1028.44/1028.63	c 1028s |      18 |   560242 |   364852 |    25408     29 |      641 |      400
1030.74/1030.91	c 1030s |      18 |   560938 |   365352 |    25408     29 |      641 |      400
1032.84/1033.01	c 1032s |      18 |   561717 |   365952 |    25408     29 |      641 |      400
1035.04/1035.25	c 1034s |      18 |   562456 |   366552 |    25408     29 |      641 |      400
1037.53/1037.70	c 1037s |      18 |   563092 |   367052 |    25408     29 |      641 |      400
1039.63/1039.83	c 1039s |      18 |   563904 |   367652 |    25408     29 |      641 |      400
1042.42/1042.60	c 1042s |      18 |   564812 |   368352 |    25408     29 |      641 |      400
1044.72/1044.95	c 1044s |      18 |   565494 |   368852 |    25408     29 |      641 |      400
1046.72/1046.98	c 1046s |      18 |   565852 |   369152 |    25408     29 |      641 |      400
1049.02/1049.27	c 1048s |      18 |   566697 |   369752 |    25408     29 |      641 |      400
1051.12/1051.32	c 1051s |      18 |   567535 |   370352 |    25408     29 |      641 |      400
1053.33/1053.52	c 1053s |      18 |   568274 |   370952 |    25408     29 |      641 |      400
1056.04/1056.24	c 1055s |      18 |   569100 |   371552 |    25408     30 |      641 |      400
1058.24/1058.43	c 1058s |      18 |   569697 |   372052 |    25408     30 |      641 |      400
1060.33/1060.53	c 1060s |      18 |   570313 |   372552 |    25408     30 |      641 |      400
1062.43/1062.67	c 1062s |      18 |   570808 |   372952 |    25408     30 |      641 |      400
1064.63/1064.81	c 1064s |      18 |   571776 |   373652 |    25408     30 |      641 |      400
1066.73/1066.91	c 1066s |      18 |   577906 |   375252 |    25408     30 |      641 |      400
1068.83/1069.05	c 1068s |      18 |   579810 |   376552 |    25408     30 |      641 |      400
1070.93/1071.10	c 1070s |      18 |   581281 |   377652 |    25408     30 |      641 |      400
1073.02/1073.27	c 1072s |      18 |   582492 |   378652 |    25408     30 |      641 |      400
1075.22/1075.41	c 1075s |      18 |   583520 |   379552 |    25408     30 |      641 |      400
1077.32/1077.57	c 1077s |      18 |   584711 |   380552 |    25408     30 |      641 |      400
1079.42/1079.62	c 1079s |      18 |   586498 |   381552 |    25408     30 |      641 |      400
1081.62/1081.80	c 1081s |      18 |   587791 |   382452 |    25408     30 |      641 |      400
1083.62/1083.84	c 1083s |      18 |   593029 |   383852 |    25408     30 |      641 |      400
1085.63/1085.86	c 1085s |      18 |   594736 |   384852 |    25408     30 |      641 |      400
1087.82/1088.02	c 1087s |      18 |   595827 |   385752 |    25408     30 |      641 |      400
1089.82/1090.03	c 1089s |      18 |   597008 |   386452 |    25408     31 |      641 |      400
1091.82/1092.05	c 1091s |      18 |   598940 |   387652 |    25408     31 |      641 |      400
1093.92/1094.11	c 1093s |      18 |   600027 |   388552 |    25408     31 |      641 |      400
1096.02/1096.28	c 1096s |      18 |   601121 |   389452 |    25408     31 |      641 |      400
1098.12/1098.31	c 1098s |      18 |   602311 |   390352 |    25408     31 |      641 |      400
1100.31/1100.52	c 1100s |      18 |   604337 |   391552 |    25408     31 |      641 |      400
1102.41/1102.66	c 1102s |      18 |   606154 |   392552 |    25408     31 |      641 |      400
1104.42/1104.67	c 1104s |      18 |   607016 |   393252 |    25408     31 |      641 |      400
1106.71/1106.95	c 1106s |      18 |   607832 |   393952 |    25408     31 |      641 |      400
1108.82/1109.05	c 1108s |      18 |   608698 |   394652 |    25408     31 |      641 |      400
1111.02/1111.25	c 1110s |      18 |   609804 |   395452 |    25408     31 |      641 |      400
1113.21/1113.41	c 1113s |      18 |   611101 |   396352 |    25408     31 |      641 |      400
1115.21/1115.42	c 1115s |      18 |   611990 |   397052 |    25408     31 |      641 |      400
1117.31/1117.58	c 1117s |      18 |   612844 |   397752 |    25408     31 |      641 |      400
1119.60/1119.88	c 1119s |      18 |   613694 |   398452 |    25408     31 |      641 |      400
1121.80/1122.01	c 1121s |      18 |   614264 |   398952 |    25408     31 |      641 |      400
1124.11/1124.33	c 1124s |      18 |   614981 |   399552 |    25408     31 |      641 |      400
1126.31/1126.56	c 1126s |      18 |   615854 |   400252 |    25408     31 |      641 |      400
1128.30/1128.59	c 1128s |      18 |   616431 |   400752 |    25408     32 |      641 |      400
1130.60/1130.87	c 1130s |      18 |   617216 |   401452 |    25408     32 |      641 |      400
1133.01/1133.24	c 1132s |      18 |   618020 |   402152 |    25408     32 |      641 |      400
1135.00/1135.28	c 1135s |      18 |   618788 |   402852 |    25408     32 |      641 |      400
1137.10/1137.34	c 1137s |      18 |   619440 |   403452 |    25408     32 |      641 |      400
1139.10/1139.39	c 1139s |      18 |   619983 |   403952 |    25408     32 |      641 |      400
1141.20/1141.46	c 1141s |      18 |   620510 |   404452 |    25408     32 |      641 |      400
1143.40/1143.66	c 1143s |      18 |   621341 |   405152 |    25408     32 |      641 |      400
1145.60/1145.82	c 1145s |      18 |   622039 |   405752 |    25408     32 |      641 |      400
1147.60/1147.87	c 1147s |      18 |   622743 |   406352 |    25408     32 |      641 |      400
1150.00/1150.24	c 1149s |      18 |   623398 |   406952 |    25408     32 |      641 |      400
1152.49/1152.70	c 1152s |      18 |   624049 |   407552 |    25408     32 |      641 |      400
1154.49/1154.79	c 1154s |      18 |   624583 |   408052 |    25408     32 |      641 |      400
1156.59/1156.89	c 1156s |      18 |   625264 |   408652 |    25408     32 |      641 |      400
1158.99/1159.20	c 1158s |      18 |   625918 |   409252 |    25408     32 |      641 |      400
1161.50/1161.78	c 1161s |      18 |   626584 |   409852 |    25408     32 |      641 |      400
1163.80/1164.04	c 1163s |      18 |   627133 |   410352 |    25408     32 |      641 |      400
1166.09/1166.32	c 1166s |      18 |   627679 |   410852 |    25408     32 |      641 |      400
1168.20/1168.44	c 1168s |      18 |   628263 |   411352 |    25408     32 |      641 |      400
1170.19/1170.45	c 1170s |      18 |   628831 |   411852 |    25408     32 |      641 |      400
1172.50/1172.77	c 1172s |      18 |   629521 |   412452 |    25408     32 |      641 |      400
1174.59/1174.83	c 1174s |      18 |   630110 |   412952 |    25408     32 |      641 |      400
1176.70/1176.93	c 1176s |      18 |   630685 |   413452 |    25408     32 |      641 |      400
1178.80/1179.01	c 1178s |      18 |   631297 |   413952 |    25408     32 |      641 |      400
1180.80/1181.06	c 1180s |      18 |   631890 |   414452 |    25408     32 |      641 |      400
1183.79/1184.00	c 1183s |      18 |   632476 |   414952 |    25408     33 |      641 |      400
1185.80/1186.05	c 1185s |      18 |   633157 |   415552 |    25408     33 |      641 |      400
1187.90/1188.19	c 1187s |      18 |   633841 |   416152 |    25408     33 |      641 |      400
1189.99/1190.23	c 1189s |      18 |   634568 |   416752 |    25408     33 |      641 |      400
1192.09/1192.36	c 1192s |      18 |   635236 |   417352 |    25408     33 |      641 |      400
1194.29/1194.50	c 1194s |      18 |   635910 |   417952 |    25408     33 |      641 |      400
1196.59/1196.80	c 1196s |      18 |   636591 |   418552 |    25408     33 |      641 |      400
1198.59/1198.86	c 1198s |      18 |   637157 |   419052 |    25408     33 |      641 |      400
1200.89/1201.19	c 1200s |      18 |   637703 |   419552 |    25408     33 |      641 |      400
1202.99/1203.22	c 1202s |      18 |   638144 |   419952 |    25408     33 |      641 |      400
1204.99/1205.23	c 1204s |      18 |   638743 |   420452 |    25408     33 |      641 |      400
1207.19/1207.47	c 1207s |      18 |   639485 |   421052 |    25408     33 |      641 |      400
1209.49/1209.71	c 1209s |      18 |   640479 |   421752 |    25408     33 |      641 |      400
1211.79/1212.07	c 1211s |      18 |   641317 |   422452 |    25408     33 |      641 |      400
1213.88/1214.13	c 1213s |      18 |   641871 |   422952 |    25408     33 |      641 |      400
1216.18/1216.47	c 1216s |      18 |   642572 |   423552 |    25408     33 |      641 |      400
1218.48/1218.74	c 1218s |      18 |   643121 |   424052 |    25408     33 |      641 |      400
1220.78/1221.08	c 1220s |      18 |   643699 |   424552 |    25408     33 |      641 |      400
1223.09/1223.35	c 1223s |      18 |   644395 |   425152 |    25408     33 |      641 |      400
1225.08/1225.37	c 1225s |      18 |   644945 |   425652 |    25408     33 |      641 |      400
1227.28/1227.59	c 1227s |      18 |   645498 |   426152 |    25408     33 |      641 |      400
1229.48/1229.79	c 1229s |      18 |   646058 |   426652 |    25408     33 |      641 |      400
1231.78/1232.06	c 1231s |      18 |   646617 |   427152 |    25408     33 |      641 |      400
1234.08/1234.32	c 1234s |      18 |   647173 |   427652 |    25408     33 |      641 |      400
1236.28/1236.58	c 1236s |      18 |   647758 |   428152 |    25408     33 |      641 |      400
1238.37/1238.63	c 1238s |      18 |   648219 |   428552 |    25408     33 |      641 |      400
1240.68/1240.99	c 1240s |      18 |   648760 |   429052 |    25408     33 |      641 |      400
1242.88/1243.17	c 1242s |      18 |   649194 |   429452 |    25408     34 |      641 |      400
1245.19/1245.41	c 1245s |      18 |   649877 |   430052 |    25408     34 |      641 |      400
1247.58/1247.82	c 1247s |      18 |   650544 |   430652 |    25408     34 |      641 |      400
1249.88/1250.18	c 1249s |      18 |   651223 |   431252 |    25408     34 |      641 |      400
1252.38/1252.63	c 1252s |      18 |   651914 |   431852 |    25408     34 |      641 |      400
1254.57/1254.88	c 1254s |      18 |   652465 |   432352 |    25408     34 |      641 |      400
1257.07/1257.39	c 1257s |      18 |   652988 |   432852 |    25408     34 |      641 |      400
1259.27/1259.59	c 1259s |      18 |   653555 |   433352 |    25408     34 |      641 |      400
1261.37/1261.63	c 1261s |      18 |   654174 |   433852 |    25408     34 |      641 |      400
1263.46/1263.75	c 1263s |      18 |   654711 |   434352 |    25408     34 |      641 |      400
1265.66/1265.94	c 1265s |      18 |   655283 |   434852 |    25408     34 |      641 |      400
1267.76/1268.06	c 1267s |      18 |   655853 |   435352 |    25408     34 |      641 |      400
1269.96/1270.24	c 1269s |      18 |   656398 |   435852 |    25408     34 |      641 |      400
1272.06/1272.36	c 1272s |      18 |   656975 |   436352 |    25408     34 |      641 |      400
1274.05/1274.37	c 1274s |      18 |   657416 |   436752 |    25408     34 |      641 |      400
1276.05/1276.38	c 1276s |      18 |   657922 |   437152 |    25408     34 |      641 |      400
1278.35/1278.68	c 1278s |      18 |   658562 |   437652 |    25408     34 |      641 |      400
1280.86/1281.16	c 1280s |      18 |   659089 |   438152 |    25408     34 |      641 |      400
1283.35/1283.61	c 1283s |      18 |   659641 |   438652 |    25408     34 |      641 |      400
1285.65/1285.93	c 1285s |      18 |   660061 |   439052 |    25408     34 |      641 |      400
1288.05/1288.38	c 1288s |      18 |   660597 |   439552 |    25408     34 |      641 |      400
1290.25/1290.59	c 1290s |      18 |   661016 |   439952 |    25408     34 |      641 |      400
1292.75/1293.09	c 1292s |      18 |   661585 |   440452 |    25408     34 |      641 |      400
1295.04/1295.38	c 1295s |      18 |   662149 |   440952 |    25408     34 |      641 |      400
1297.54/1297.84	c 1297s |      18 |   662706 |   441452 |    27949     34 |      641 |      400
1299.84/1300.19	c 1299s |      18 |   663287 |   441952 |    27949     34 |      641 |      400
1302.04/1302.30	c 1302s |      18 |   663730 |   442352 |    27949     34 |      641 |      400
1304.03/1304.39	c 1304s |      18 |   664176 |   442752 |    27949     34 |      641 |      400
1306.64/1306.97	c 1306s |      18 |   664730 |   443252 |    27949     34 |      641 |      400
1308.94/1309.21	c 1308s |      18 |   665168 |   443652 |    27949     34 |      641 |      400
1310.93/1311.24	c 1310s |      18 |   665623 |   444052 |    27949     34 |      641 |      400
1313.24/1313.57	c 1313s |      18 |   666063 |   444452 |    27949     34 |      641 |      400
1313.42/1313.74	c 1313s |      19 |   666092 |   444482 |    27949     34 |      641 |      400
1315.53/1315.84	c 1315s |      19 |   667811 |   445182 |    27949     35 |      641 |      400
1317.63/1317.95	c 1317s |      19 |   671167 |   446882 |    27949     35 |      641 |      400
1319.72/1320.08	c 1319s |      19 |   673242 |   448482 |    27949     35 |      641 |      400
1321.82/1322.12	c 1321s |      19 |   675015 |   449782 |    27949     35 |      641 |      400
1323.92/1324.28	c 1324s |      19 |   677355 |   451382 |    27949     35 |      641 |      400
1326.02/1326.31	c 1326s |      19 |   679076 |   452682 |    27949     35 |      641 |      400
1328.12/1328.47	c 1328s |      19 |   680604 |   453882 |    27949     35 |      641 |      400
1330.32/1330.61	c 1330s |      19 |   681800 |   454882 |    27949     35 |      641 |      400
1332.42/1332.74	c 1332s |      19 |   683030 |   455882 |    27949     35 |      641 |      400
1334.51/1334.84	c 1334s |      19 |   683967 |   456682 |    27949     35 |      641 |      400
1336.61/1336.93	c 1336s |      19 |   685178 |   457682 |    27949     35 |      641 |      400
1338.91/1339.20	c 1338s |      19 |   686182 |   458582 |    27949     35 |      641 |      400
1341.11/1341.40	c 1341s |      19 |   687277 |   459482 |    27949     35 |      641 |      400
1343.30/1343.68	c 1343s |      19 |   688332 |   460382 |    27949     35 |      641 |      400
1345.50/1345.88	c 1345s |      19 |   689107 |   461082 |    27949     35 |      641 |      400
1347.70/1348.01	c 1347s |      19 |   689677 |   461582 |    27949     36 |      641 |      400
1349.90/1350.24	c 1349s |      19 |   690604 |   462382 |    27949     36 |      641 |      400
1352.20/1352.50	c 1352s |      19 |   691388 |   463082 |    27949     36 |      641 |      400
1354.39/1354.70	c 1354s |      19 |   692163 |   463782 |    27949     36 |      641 |      400
1356.49/1356.88	c 1356s |      19 |   692952 |   464482 |    27949     36 |      641 |      400
1358.69/1359.01	c 1358s |      19 |   693736 |   465182 |    27949     36 |      641 |      400
1360.89/1361.21	c 1360s |      19 |   694705 |   465982 |    27949     36 |      641 |      400
1362.99/1363.39	c 1363s |      19 |   695497 |   466682 |    27949     36 |      641 |      400
1365.38/1365.72	c 1365s |      19 |   696310 |   467382 |    27949     36 |      641 |      400
1367.78/1368.11	c 1367s |      19 |   697110 |   468082 |    27949     36 |      641 |      400
1370.08/1370.42	c 1370s |      19 |   697915 |   468782 |    27949     36 |      641 |      400
1372.28/1372.66	c 1372s |      19 |   698736 |   469482 |    27949     36 |      641 |      400
1374.28/1374.70	c 1374s |      19 |   699413 |   470082 |    27949     36 |      641 |      400
1376.48/1376.84	c 1376s |      19 |   700239 |   470782 |    27949     36 |      641 |      400
1378.58/1378.96	c 1378s |      19 |   700946 |   471382 |    27949     36 |      641 |      400
1380.88/1381.21	c 1380s |      19 |   701650 |   471982 |    27949     36 |      641 |      400
1382.87/1383.27	c 1382s |      19 |   702183 |   472482 |    27949     36 |      641 |      400
1385.17/1385.50	c 1385s |      19 |   702871 |   473082 |    27949     36 |      641 |      400
1387.17/1387.59	c 1387s |      19 |   703450 |   473582 |    27949     36 |      641 |      400
1389.47/1389.86	c 1389s |      19 |   704139 |   474182 |    27949     36 |      641 |      400
1391.77/1392.12	c 1391s |      19 |   704844 |   474782 |    27949     36 |      641 |      400
1393.86/1394.29	c 1394s |      19 |   705385 |   475282 |    27949     36 |      641 |      400
1396.16/1396.55	c 1396s |      19 |   705946 |   475782 |    27949     36 |      641 |      400
1398.26/1398.65	c 1398s |      19 |   706521 |   476282 |    27949     36 |      641 |      400
1401.07/1401.41	c 1401s |      19 |   707261 |   476882 |    27949     37 |      641 |      400
1403.07/1403.49	c 1403s |      19 |   708106 |   477582 |    27949     37 |      641 |      400
1405.16/1405.58	c 1405s |      19 |   709194 |   478482 |    27949     37 |      641 |      400
1407.36/1407.75	c 1407s |      19 |   710179 |   479282 |    27949     37 |      641 |      400
1409.36/1409.78	c 1409s |      19 |   710985 |   479982 |    27949     37 |      641 |      400
1411.66/1412.09	c 1411s |      19 |   711878 |   480782 |    27949     37 |      641 |      400
1414.06/1414.41	c 1414s |      19 |   712634 |   481482 |    27949     37 |      641 |      400
1416.16/1416.56	c 1416s |      19 |   713323 |   482082 |    27949     37 |      641 |      400
1418.56/1418.97	c 1418s |      19 |   713977 |   482682 |    27949     37 |      641 |      400
1420.66/1421.05	c 1420s |      19 |   714676 |   483282 |    27949     37 |      641 |      400
1422.75/1423.19	c 1422s |      19 |   715340 |   483882 |    27949     37 |      641 |      400
1425.05/1425.41	c 1425s |      19 |   716037 |   484482 |    27949     37 |      641 |      400
1427.25/1427.68	c 1427s |      19 |   716742 |   485082 |    27949     37 |      641 |      400
1429.45/1429.87	c 1429s |      19 |   717427 |   485682 |    27949     37 |      641 |      400
1431.55/1431.91	c 1431s |      19 |   717988 |   486182 |    27949     37 |      641 |      400
1433.84/1434.23	c 1433s |      19 |   718557 |   486682 |    27949     37 |      641 |      400
1435.94/1436.38	c 1436s |      19 |   719274 |   487282 |    27949     37 |      641 |      400
1438.24/1438.60	c 1438s |      19 |   719959 |   487882 |    27949     37 |      641 |      400
1440.64/1441.00	c 1440s |      19 |   720626 |   488482 |    27949     37 |      641 |      400
1442.84/1443.28	c 1443s |      19 |   721160 |   488982 |    27949     37 |      641 |      400
1445.14/1445.59	c 1445s |      19 |   721687 |   489482 |    27949     37 |      641 |      400
1447.34/1447.80	c 1447s |      19 |   722351 |   490082 |    27949     37 |      641 |      400
1449.54/1449.98	c 1449s |      19 |   723068 |   490682 |    27949     37 |      641 |      400
1451.74/1452.20	c 1451s |      19 |   723768 |   491282 |    27949     37 |      641 |      400
1454.23/1454.65	c 1454s |      19 |   724441 |   491882 |    27949     37 |      641 |      400
1456.42/1456.87	c 1456s |      19 |   725021 |   492382 |    27949     37 |      641 |      400
1458.52/1458.99	c 1458s |      19 |   725459 |   492782 |    27949     38 |      641 |      400
1460.72/1461.14	c 1460s |      19 |   726131 |   493382 |    27949     38 |      641 |      400
1463.02/1463.45	c 1463s |      19 |   726814 |   493982 |    27949     38 |      641 |      400
1465.12/1465.51	c 1465s |      19 |   727506 |   494582 |    27949     38 |      641 |      400
1467.42/1467.88	c 1467s |      19 |   728180 |   495182 |    27949     38 |      641 |      400
1469.82/1470.25	c 1469s |      19 |   728847 |   495782 |    27949     38 |      641 |      400
1472.12/1472.58	c 1472s |      19 |   729528 |   496382 |    27949     38 |      641 |      400
1474.11/1474.59	c 1474s |      19 |   730099 |   496882 |    27949     38 |      641 |      400
1476.31/1476.76	c 1476s |      19 |   730649 |   497382 |    27949     38 |      641 |      400
1478.71/1479.11	c 1478s |      19 |   731202 |   497882 |    27949     38 |      641 |      400
1480.91/1481.39	c 1481s |      19 |   731759 |   498382 |    27949     38 |      641 |      400
1483.30/1483.72	c 1483s |      19 |   732309 |   498882 |    27949     38 |      641 |      400
1485.70/1486.15	c 1485s |      19 |   732854 |   499382 |    27949     38 |      641 |      400
1488.11/1488.52	c 1488s |      19 |   733425 |   499882 |    27949     38 |      641 |      400
1490.31/1490.78	c 1490s |      19 |   733972 |   500382 |    27949     38 |      641 |      400
1492.80/1493.21	c 1492s |      19 |   734522 |   500882 |    27949     38 |      641 |      400
1494.79/1495.23	c 1494s |      19 |   734959 |   501282 |    27949     38 |      641 |      400
1496.90/1497.33	c 1497s |      19 |   735388 |   501682 |    27949     38 |      641 |      400
1498.89/1499.33	c 1499s |      19 |   735827 |   502082 |    27949     38 |      641 |      400
1501.30/1501.76	c 1501s |      19 |   736398 |   502582 |    27949     38 |      641 |      400
1503.79/1504.23	c 1503s |      19 |   736969 |   503082 |    27949     38 |      641 |      400
1506.19/1506.60	c 1506s |      19 |   737530 |   503582 |    27949     38 |      641 |      400
1508.19/1508.69	c 1508s |      19 |   738237 |   504182 |    27949     38 |      641 |      400
1510.49/1510.91	c 1510s |      19 |   738918 |   504782 |    27949     38 |      641 |      400
1512.59/1513.00	c 1512s |      19 |   739457 |   505282 |    27949     38 |      641 |      400
1514.58/1515.03	c 1514s |      19 |   740034 |   505782 |    27949     38 |      641 |      400
1516.69/1517.11	c 1516s |      19 |   740646 |   506282 |    27949     38 |      641 |      400
1518.79/1519.20	c 1518s |      19 |   741219 |   506782 |    27949     38 |      641 |      400
1520.98/1521.42	c 1521s |      19 |   741775 |   507282 |    27949     38 |      641 |      400
1522.98/1523.44	c 1523s |      19 |   742332 |   507782 |    27949     38 |      641 |      400
1525.07/1525.54	c 1525s |      19 |   742786 |   508182 |    27949     38 |      641 |      400
1527.37/1527.82	c 1527s |      19 |   743253 |   508582 |    27949     39 |      641 |      400
1529.67/1530.15	c 1529s |      19 |   744082 |   509282 |    27949     39 |      641 |      400
1531.87/1532.31	c 1532s |      19 |   745545 |   510182 |    27949     39 |      641 |      400
1533.86/1534.34	c 1534s |      19 |   746823 |   511082 |    27949     39 |      641 |      400
1535.96/1536.43	c 1536s |      19 |   747816 |   511882 |    27949     39 |      641 |      400
1538.26/1538.73	c 1538s |      19 |   748835 |   512682 |    27949     39 |      641 |      400
1540.36/1540.84	c 1540s |      19 |   749673 |   513382 |    27949     39 |      641 |      400
1542.46/1542.94	c 1542s |      19 |   750558 |   514082 |    27949     39 |      641 |      400
1544.66/1545.10	c 1544s |      19 |   751222 |   514682 |    27949     39 |      641 |      400
1546.66/1547.11	c 1546s |      19 |   751994 |   515282 |    27949     39 |      641 |      400
1548.86/1549.33	c 1549s |      19 |   752716 |   515882 |    27949     39 |      641 |      400
1551.26/1551.73	c 1551s |      19 |   753402 |   516482 |    27949     39 |      641 |      400
1553.55/1554.06	c 1553s |      19 |   754087 |   517082 |    27949     39 |      641 |      400
1555.75/1556.24	c 1555s |      19 |   754650 |   517582 |    27949     39 |      641 |      400
1557.75/1558.25	c 1557s |      19 |   755248 |   518082 |    27949     39 |      641 |      400
1559.95/1560.42	c 1560s |      19 |   755983 |   518682 |    27949     39 |      641 |      400
1561.95/1562.45	c 1562s |      19 |   756565 |   519182 |    27949     39 |      641 |      400
1564.15/1564.63	c 1564s |      19 |   757140 |   519682 |    27949     39 |      641 |      400
1566.65/1567.10	c 1566s |      19 |   757840 |   520282 |    27949     39 |      641 |      400
1568.65/1569.19	c 1568s |      19 |   758439 |   520782 |    27949     39 |      641 |      400
1570.75/1571.26	c 1570s |      19 |   759018 |   521282 |    27949     39 |      641 |      400
1572.75/1573.29	c 1573s |      19 |   759626 |   521782 |    27949     39 |      641 |      400
1575.14/1575.60	c 1575s |      19 |   760387 |   522382 |    27949     39 |      641 |      400
1577.34/1577.89	c 1577s |      19 |   761130 |   522982 |    27949     39 |      641 |      400
1579.44/1579.90	c 1579s |      19 |   761738 |   523482 |    27949     39 |      641 |      400
1581.64/1582.17	c 1581s |      19 |   762215 |   523882 |    27949     40 |      641 |      400
1583.94/1584.43	c 1584s |      19 |   763306 |   524782 |    27949     40 |      641 |      400
1586.14/1586.66	c 1586s |      19 |   764150 |   525482 |    27949     40 |      641 |      400
1588.45/1588.92	c 1588s |      19 |   764862 |   526082 |    27949     40 |      641 |      400
1590.65/1591.13	c 1590s |      19 |   765688 |   526782 |    27949     40 |      641 |      400
1592.85/1593.38	c 1593s |      19 |   766879 |   527682 |    27949     40 |      641 |      400
1595.04/1595.50	c 1595s |      19 |   768039 |   528582 |    27949     40 |      641 |      400
1597.04/1597.51	c 1597s |      19 |   769067 |   529382 |    27949     40 |      641 |      400
1599.15/1599.65	c 1599s |      19 |   770024 |   530182 |    27949     40 |      641 |      400
1601.44/1601.95	c 1601s |      19 |   770859 |   530882 |    27949     40 |      641 |      400
1603.44/1603.97	c 1603s |      19 |   771702 |   531582 |    27949     40 |      641 |      400
1605.64/1606.18	c 1605s |      19 |   772419 |   532182 |    27949     40 |      641 |      400
1607.74/1608.29	c 1608s |      19 |   773211 |   532782 |    27949     40 |      641 |      400
1609.74/1610.29	c 1610s |      19 |   773930 |   533382 |    27949     40 |      641 |      400
1612.14/1612.60	c 1612s |      19 |   774794 |   534082 |    27949     40 |      641 |      400
1614.13/1614.60	c 1614s |      19 |   775535 |   534682 |    27949     40 |      641 |      400
1616.43/1616.99	c 1616s |      19 |   776219 |   535282 |    27949     40 |      641 |      400
1618.73/1619.29	c 1619s |      19 |   776918 |   535882 |    27949     40 |      641 |      400
1620.93/1621.41	c 1621s |      19 |   777650 |   536482 |    27949     40 |      641 |      400
1623.03/1623.59	c 1623s |      19 |   778373 |   537082 |    27949     40 |      641 |      400
1625.13/1625.62	c 1625s |      19 |   778963 |   537582 |    27949     40 |      641 |      400
1627.23/1627.74	c 1627s |      19 |   779711 |   538182 |    27949     40 |      641 |      400
1629.42/1629.94	c 1629s |      19 |   780394 |   538782 |    27949     40 |      641 |      400
1632.03/1632.53	c 1632s |      19 |   781087 |   539382 |    27949     41 |      641 |      400
1634.02/1634.60	c 1634s |      19 |   781777 |   539982 |    27949     41 |      641 |      400
1636.22/1636.77	c 1636s |      19 |   782721 |   540782 |    27949     41 |      641 |      400
1638.42/1638.93	c 1638s |      19 |   783450 |   541382 |    27949     41 |      641 |      400
1640.62/1641.14	c 1640s |      19 |   784233 |   542082 |    27949     41 |      641 |      400
1642.62/1643.19	c 1642s |      19 |   785029 |   542782 |    27949     41 |      641 |      400
1645.01/1645.53	c 1645s |      19 |   785819 |   543482 |    27949     41 |      641 |      400
1647.21/1647.70	c 1647s |      19 |   786508 |   544082 |    27949     41 |      641 |      400
1649.31/1649.81	c 1649s |      19 |   787046 |   544582 |    27949     41 |      641 |      400
1651.61/1652.11	c 1651s |      19 |   787570 |   545082 |    27949     41 |      641 |      400
1653.71/1654.26	c 1653s |      19 |   788085 |   545582 |    27949     41 |      641 |      400
1655.81/1656.35	c 1656s |      19 |   788680 |   546082 |    27949     41 |      641 |      400
1657.91/1658.40	c 1658s |      19 |   789348 |   546682 |    27949     41 |      641 |      400
1660.20/1660.72	c 1660s |      19 |   789899 |   547182 |    27949     41 |      641 |      400
1662.30/1662.85	c 1662s |      19 |   790464 |   547682 |    27949     41 |      641 |      400
1664.60/1665.12	c 1664s |      19 |   791111 |   548282 |    27949     41 |      641 |      400
1666.80/1667.36	c 1667s |      19 |   791533 |   548682 |    27949     41 |      641 |      400
1669.10/1669.70	c 1669s |      19 |   792082 |   549182 |    27949     41 |      641 |      400
1671.30/1671.83	c 1671s |      19 |   792658 |   549682 |    27949     41 |      641 |      400
1673.70/1674.25	c 1673s |      19 |   793196 |   550182 |    27949     41 |      641 |      400
1676.11/1676.63	c 1676s |      19 |   793763 |   550682 |    27949     41 |      641 |      400
1678.31/1678.89	c 1678s |      19 |   794326 |   551182 |    27949     41 |      641 |      400
1680.60/1681.14	c 1680s |      19 |   794893 |   551682 |    27949     41 |      641 |      400
1682.90/1683.47	c 1683s |      19 |   795425 |   552182 |    27949     41 |      641 |      400
1684.91/1685.47	c 1685s |      19 |   795894 |   552582 |    27949     41 |      641 |      400
1687.20/1687.79	c 1687s |      19 |   796485 |   553082 |    27949     41 |      641 |      400
1689.60/1690.10	c 1689s |      19 |   797037 |   553582 |    27949     41 |      641 |      400
1691.70/1692.26	c 1691s |      19 |   797639 |   554082 |    27949     41 |      641 |      400
1694.00/1694.56	c 1694s |      19 |   798392 |   554682 |    27949     41 |      641 |      400
1696.20/1696.76	c 1696s |      19 |   798874 |   555082 |    27949     42 |      641 |      400
1698.40/1698.98	c 1698s |      19 |   799732 |   555782 |    27949     42 |      641 |      400
1700.50/1701.02	c 1700s |      19 |   800428 |   556382 |    27949     42 |      641 |      400
1702.60/1703.11	c 1702s |      19 |   801236 |   557082 |    27949     42 |      641 |      400
1704.79/1705.31	c 1705s |      19 |   802001 |   557782 |    27949     42 |      641 |      400
1706.90/1707.47	c 1707s |      19 |   802753 |   558482 |    27949     42 |      641 |      400
1709.10/1709.62	c 1709s |      19 |   803466 |   559082 |    27949     42 |      641 |      400
1711.20/1711.76	c 1711s |      19 |   804190 |   559682 |    27949     42 |      641 |      400
1713.29/1713.86	c 1713s |      19 |   804917 |   560282 |    27949     42 |      641 |      400
1715.39/1715.92	c 1715s |      19 |   805633 |   560882 |    27949     42 |      641 |      400
1717.49/1718.01	c 1717s |      19 |   806195 |   561382 |    27949     42 |      641 |      400
1719.49/1720.05	c 1719s |      19 |   806919 |   561982 |    27949     42 |      641 |      400
1721.79/1722.35	c 1722s |      19 |   807620 |   562582 |    27949     42 |      641 |      400
1723.89/1724.49	c 1724s |      19 |   808359 |   563182 |    27949     42 |      641 |      400
1726.09/1726.66	c 1726s |      19 |   809042 |   563782 |    27949     42 |      641 |      400
1728.29/1728.83	c 1728s |      19 |   809602 |   564282 |    27949     42 |      641 |      400
1730.39/1730.97	c 1730s |      19 |   810168 |   564782 |    27949     42 |      641 |      400
1732.79/1733.36	c 1733s |      19 |   810728 |   565282 |    27949     42 |      641 |      400
1735.00/1735.52	c 1735s |      19 |   811322 |   565782 |    27949     42 |      641 |      400
1737.10/1737.66	c 1737s |      19 |   811898 |   566282 |    27949     42 |      641 |      400
1739.40/1739.98	c 1739s |      19 |   812484 |   566782 |    27949     42 |      641 |      400
1741.50/1742.09	c 1741s |      19 |   813048 |   567282 |    27949     42 |      641 |      400
1743.70/1744.21	c 1743s |      19 |   813471 |   567682 |    27949     42 |      641 |      400
1745.80/1746.32	c 1746s |      19 |   813919 |   568082 |    27949     42 |      641 |      400
1747.90/1748.42	c 1748s |      19 |   814350 |   568482 |    27949     42 |      641 |      400
1750.10/1750.62	c 1750s |      19 |   814800 |   568882 |    27949     42 |      641 |      400
1752.09/1752.62	c 1752s |      19 |   815232 |   569282 |    27949     42 |      641 |      400
1754.29/1754.89	c 1754s |      19 |   815816 |   569782 |    27949     42 |      641 |      400
1756.30/1756.90	c 1756s |      19 |   816264 |   570182 |    27949     42 |      641 |      400
1758.50/1759.10	c 1758s |      19 |   816765 |   570582 |    27949     43 |      641 |      400
1760.70/1761.23	c 1760s |      19 |   817772 |   571382 |    27949     43 |      641 |      400
1762.69/1763.24	c 1762s |      19 |   818601 |   572082 |    27949     43 |      641 |      400
1764.69/1765.26	c 1764s |      19 |   819518 |   572782 |    27949     43 |      641 |      400
1766.89/1767.44	c 1767s |      19 |   820338 |   573482 |    27949     43 |      641 |      400
1769.19/1769.70	c 1769s |      19 |   821169 |   574182 |    27949     43 |      641 |      400
1771.29/1771.81	c 1771s |      19 |   822008 |   574882 |    27949     43 |      641 |      400
1773.49/1774.01	c 1773s |      19 |   822823 |   575582 |    27949     43 |      641 |      400
1775.69/1776.29	c 1776s |      19 |   823650 |   576282 |    27949     43 |      641 |      400
1777.89/1778.41	c 1778s |      19 |   824364 |   576882 |    27949     43 |      641 |      400
1779.89/1780.46	c 1780s |      19 |   824944 |   577382 |    27949     43 |      641 |      400
1782.19/1782.71	c 1782s |      19 |   825493 |   577882 |    27949     43 |      641 |      400
1784.49/1785.05	c 1784s |      19 |   826184 |   578482 |    27949     43 |      641 |      400
1786.79/1787.38	c 1787s |      19 |   826899 |   579082 |    27949     43 |      641 |      400
1789.09/1789.67	c 1789s |      19 |   827715 |   579782 |    27949     43 |      641 |      400
1791.59/1792.12	c 1791s |      19 |   828416 |   580382 |    27949     43 |      641 |      400
1793.69/1794.28	c 1794s |      19 |   828993 |   580882 |    27949     43 |      641 |      400
1795.99/1796.50	c 1796s |      19 |   829568 |   581382 |    27949     43 |      641 |      400
1798.28/1798.84	c 1798s |      19 |   830126 |   581882 |    27949     43 |      641 |      400

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-4115981-1466946402/watcher-4115981-1466946402 -o /tmp/evaluation-result-4115981-1466946402/solver-4115981-1466946402 -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-4115981-1466946402.opb 

pid=21319
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.22 2.20 2.11 3/179 21322
/proc/meminfo: memFree=29670772/32872528 swapFree=1085692/1157232
[pid=21322] ppid=21319 vsize=757180 CPUtime=0 cores=1,3,5,7
/proc/21322/stat : 21322 (toysat) R 21319 21322 21062 0 -1 4202496 2831 0 0 0 0 0 0 0 20 0 4 0 27679825 775352320 3192 33554432000 4194304 16246674 140736013741936 140736013741360 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21322/statm: 190063 3199 441 2943 0 186957 0
[pid=21322/tid=21323] ppid=21319 vsize=775612 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21323/stat : 21323 (toysat) S 21319 21322 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27679825 794226688 3261 33554432000 4194304 16246674 140736013741936 140079529962736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21322/tid=21324] ppid=21319 vsize=779708 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21324/stat : 21324 (toysat) S 21319 21322 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27679825 798420992 3279 33554432000 4194304 16246674 140736013741936 140079519472880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21322/tid=21325] ppid=21319 vsize=783804 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21325/stat : 21325 (toysat) S 21319 21322 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27679825 802615296 3295 33554432000 4194304 16246674 140736013741936 140079508999344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.22 2.20 2.11 3/179 21322
/proc/meminfo: memFree=29670772/32872528 swapFree=1085692/1157232
[pid=21322] ppid=21319 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/21322/stat : 21322 (toysat) R 21319 21322 21062 0 -1 4202496 28471 0 0 0 5 4 0 0 20 0 4 0 27679825 1249447936 28769 33554432000 4194304 16246674 140736013741936 140736013741248 4206600 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21322/statm: 305041 28769 802 2943 0 301935 0
[pid=21322/tid=21323] ppid=21319 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21323/stat : 21323 (toysat) S 21319 21322 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27679825 1249447936 28769 33554432000 4194304 16246674 140736013741936 140079529962736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21322/tid=21324] ppid=21319 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21324/stat : 21324 (toysat) S 21319 21322 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27679825 1249447936 28769 33554432000 4194304 16246674 140736013741936 140079519472880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21322/tid=21325] ppid=21319 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21325/stat : 21325 (toysat) S 21319 21322 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27679825 1249447936 28769 33554432000 4194304 16246674 140736013741936 140079508999344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200553 s]
/proc/loadavg: 2.22 2.20 2.11 3/179 21322
/proc/meminfo: memFree=29670772/32872528 swapFree=1085692/1157232
[pid=21322] ppid=21319 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/21322/stat : 21322 (toysat) R 21319 21322 21062 0 -1 4202496 48676 0 0 0 13 6 0 0 20 0 4 0 27679825 1332285440 48974 33554432000 4194304 16246674 140736013741936 140736013741248 12657125 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21322/statm: 325265 48974 843 2943 0 322159 0
[pid=21322/tid=21323] ppid=21319 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21323/stat : 21323 (toysat) S 21319 21322 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27679825 1332285440 48974 33554432000 4194304 16246674 140736013741936 140079529962736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21322/tid=21324] ppid=21319 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21324/stat : 21324 (toysat) S 21319 21322 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27679825 1332285440 48974 33554432000 4194304 16246674 140736013741936 140079519472880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21322/tid=21325] ppid=21319 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21325/stat : 21325 (toysat) S 21319 21322 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27679825 1332285440 48974 33554432000 4194304 16246674 140736013741936 140079508999344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300519 s]
/proc/loadavg: 2.22 2.20 2.11 3/179 21322
/proc/meminfo: memFree=29670772/32872528 swapFree=1085692/1157232
[pid=21322] ppid=21319 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/21322/stat : 21322 (toysat) R 21319 21322 21062 0 -1 4202496 54529 0 0 0 22 7 0 0 20 0 4 0 27679825 1332285440 54827 33554432000 4194304 16246674 140736013741936 140736013741248 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21322/statm: 325265 54834 883 2943 0 322159 0
[pid=21322/tid=21323] ppid=21319 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21323/stat : 21323 (toysat) S 21319 21322 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27679825 1332285440 54838 33554432000 4194304 16246674 140736013741936 140079529962736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21322/tid=21324] ppid=21319 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21324/stat : 21324 (toysat) S 21319 21322 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27679825 1332285440 54842 33554432000 4194304 16246674 140736013741936 140079519472880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21322/tid=21325] ppid=21319 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21325/stat : 21325 (toysat) S 21319 21322 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27679825 1332285440 54845 33554432000 4194304 16246674 140736013741936 140079508999344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700408 s]
/proc/loadavg: 2.22 2.20 2.11 3/179 21322
/proc/meminfo: memFree=29670772/32872528 swapFree=1085692/1157232
[pid=21322] ppid=21319 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/21322/stat : 21322 (toysat) R 21319 21322 21062 0 -1 4202496 103186 0 0 0 54 15 0 0 20 0 4 0 27679825 1332285440 103484 33554432000 4194304 16246674 140736013741936 140736013723840 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21322/statm: 325265 103489 883 2943 0 322159 0
[pid=21322/tid=21323] ppid=21319 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21323/stat : 21323 (toysat) S 21319 21322 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27679825 1332285440 103492 33554432000 4194304 16246674 140736013741936 140079529962736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21322/tid=21324] ppid=21319 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21324/stat : 21324 (toysat) S 21319 21322 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27679825 1332285440 103495 33554432000 4194304 16246674 140736013741936 140079519472880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21322/tid=21325] ppid=21319 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21325/stat : 21325 (toysat) S 21319 21322 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27679825 1332285440 103497 33554432000 4194304 16246674 140736013741936 140079508999344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50041 s]
/proc/loadavg: 2.22 2.20 2.11 3/183 21326
/proc/meminfo: memFree=29064556/32872528 swapFree=1085692/1157232
[pid=21322] ppid=21319 vsize=1302084 CPUtime=1.49 cores=1,3,5,7
/proc/21322/stat : 21322 (toysat) R 21319 21322 21062 0 -1 4202496 204313 0 0 0 120 29 0 0 20 0 4 0 27679825 1333334016 204611 33554432000 4194304 16246674 140736013741936 140736013723840 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21322/statm: 325521 204617 883 2943 0 322415 0
[pid=21322/tid=21323] ppid=21319 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21323/stat : 21323 (toysat) S 21319 21322 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27679825 1333334016 204620 33554432000 4194304 16246674 140736013741936 140079529962736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21322/tid=21324] ppid=21319 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21324/stat : 21324 (toysat) S 21319 21322 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27679825 1333334016 204623 33554432000 4194304 16246674 140736013741936 140079519472880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21322/tid=21325] ppid=21319 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21325/stat : 21325 (toysat) S 21319 21322 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27679825 1333334016 204626 33554432000 4194304 16246674 140736013741936 140079508999344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10042 s]
/proc/loadavg: 2.20 2.20 2.11 4/183 21326
/proc/meminfo: memFree=28592736/32872528 swapFree=1085692/1157232
[pid=21322] ppid=21319 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/21322/stat : 21322 (toysat) R 21319 21322 21062 0 -1 4202496 269344 0 0 0 271 38 0 0 20 0 4 0 27679825 1344868352 269642 33554432000 4194304 16246674 140736013741936 140736013723840 5712555 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21322/statm: 328337 269642 890 2943 0 325231 0
[pid=21322/tid=21323] ppid=21319 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21323/stat : 21323 (toysat) S 21319 21322 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27679825 1344868352 269642 33554432000 4194304 16246674 140736013741936 140079529962736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21322/tid=21324] ppid=21319 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21324/stat : 21324 (toysat) S 21319 21322 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27679825 1344868352 269642 33554432000 4194304 16246674 140736013741936 140079519472880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21322/tid=21325] ppid=21319 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21325/stat : 21325 (toysat) S 21319 21322 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27679825 1344868352 269642 33554432000 4194304 16246674 140736013741936 140079508999344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30042 s]
/proc/loadavg: 2.20 2.20 2.11 4/183 21326
/proc/meminfo: memFree=28592204/32872528 swapFree=1085692/1157232
[pid=21322] ppid=21319 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/21322/stat : 21322 (toysat) R 21319 21322 21062 0 -1 4202496 269526 0 0 0 591 38 0 0 20 0 4 0 27679825 1344868352 269824 33554432000 4194304 16246674 140736013741936 140736013723840 5829321 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21322/statm: 328337 269824 890 2943 0 325231 0
[pid=21322/tid=21323] ppid=21319 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21323/stat : 21323 (toysat) S 21319 21322 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27679825 1344868352 269824 33554432000 4194304 16246674 140736013741936 140079529962736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21322/tid=21324] ppid=21319 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21324/stat : 21324 (toysat) S 21319 21322 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27679825 1344868352 269824 33554432000 4194304 16246674 140736013741936 140079519472880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21322/tid=21325] ppid=21319 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21325/stat : 21325 (toysat) S 21319 21322 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27679825 1344868352 269824 33554432000 4194304 16246674 140736013741936 140079508999344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.17 2.19 2.11 3/183 21326
/proc/meminfo: memFree=28591888/32872528 swapFree=1085692/1157232
[pid=21322] ppid=21319 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/21322/stat : 21322 (toysat) R 21319 21322 21062 0 -1 4202496 269526 0 0 0 1231 38 0 0 20 0 4 0 27679825 1344868352 269824 33554432000 4194304 16246674 140736013741936 140736013723840 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21322/statm: 328337 269824 890 2943 0 325231 0
[pid=21322/tid=21323] ppid=21319 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21323/stat : 21323 (toysat) S 21319 21322 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27679825 1344868352 269824 33554432000 4194304 16246674 140736013741936 140079529962736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21322/tid=21324] ppid=21319 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21324/stat : 21324 (toysat) S 21319 21322 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27679825 1344868352 269824 33554432000 4194304 16246674 140736013741936 140079519472880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21322/tid=21325] ppid=21319 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21325/stat : 21325 (toysat) S 21319 21322 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27679825 1344868352 269824 33554432000 4194304 16246674 140736013741936 140079508999344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5075 s]
/proc/loadavg: 2.22 2.20 2.11 3/183 21326
/proc/meminfo: memFree=28591028/32872528 swapFree=1085692/1157232
[pid=21322] ppid=21319 vsize=1313348 CPUtime=25.49 cores=1,3,5,7
/proc/21322/stat : 21322 (toysat) R 21319 21322 21062 0 -1 4202496 269528 0 0 0 2511 38 0 0 20 0 4 0 27679825 1344868352 269826 33554432000 4194304 16246674 140736013741936 140736013723840 5822240 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21322/statm: 328337 269826 892 2943 0 325231 0
[pid=21322/tid=21323] ppid=21319 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21323/stat : 21323 (toysat) S 21319 21322 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27679825 1344868352 269826 33554432000 4194304 16246674 140736013741936 140079529962736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21322/tid=21324] ppid=21319 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21324/stat : 21324 (toysat) S 21319 21322 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27679825 1344868352 269826 33554432000 4194304 16246674 140736013741936 140079519472880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21322/tid=21325] ppid=21319 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21325/stat : 21325 (toysat) S 21319 21322 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27679825 1344868352 269826 33554432000 4194304 16246674 140736013741936 140079508999344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1004 s]
/proc/loadavg: 2.21 2.20 2.11 3/183 21326
/proc/meminfo: memFree=28590916/32872528 swapFree=1085692/1157232
[pid=21322] ppid=21319 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/21322/stat : 21322 (toysat) R 21319 21322 21062 0 -1 4202496 269529 0 0 0 5070 38 0 0 20 0 4 0 27679825 1344868352 269827 33554432000 4194304 16246674 140736013741936 140736013723840 5822298 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21322/statm: 328337 269827 893 2943 0 325231 0
[pid=21322/tid=21323] ppid=21319 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21323/stat : 21323 (toysat) S 21319 21322 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27679825 1344868352 269827 33554432000 4194304 16246674 140736013741936 140079529962736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21322/tid=21324] ppid=21319 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21324/stat : 21324 (toysat) S 21319 21322 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27679825 1344868352 269827 33554432000 4194304 16246674 140736013741936 140079519472880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21322/tid=21325] ppid=21319 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21325/stat : 21325 (toysat) S 21319 21322 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27679825 1344868352 269827 33554432000 4194304 16246674 140736013741936 140079508999344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.18 2.20 2.11 3/183 21327
/proc/meminfo: memFree=28584848/32872528 swapFree=1085692/1157232
[pid=21322] ppid=21319 vsize=1320516 CPUtime=102.28 cores=1,3,5,7
/proc/21322/stat : 21322 (toysat) R 21319 21322 21062 0 -1 4202496 271096 0 0 0 10189 39 0 0 20 0 4 0 27679825 1352208384 271394 33554432000 4194304 16246674 140736013741936 140736013741112 13950222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21322/statm: 330129 271394 893 2943 0 327023 0
[pid=21322/tid=21323] ppid=21319 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21323/stat : 21323 (toysat) S 21319 21322 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27679825 1352208384 271394 33554432000 4194304 16246674 140736013741936 140079529962736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21322/tid=21324] ppid=21319 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21324/stat : 21324 (toysat) S 21319 21322 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27679825 1352208384 271394 33554432000 4194304 16246674 140736013741936 140079519472880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21322/tid=21325] ppid=21319 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21325/stat : 21325 (toysat) S 21319 21322 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27679825 1352208384 271394 33554432000 4194304 16246674 140736013741936 140079508999344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1320516


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

/proc/21322/task/21325/stat : 21325 (toysat) S 21319 21322 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079508999344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 1345092

[startup+1362.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 21359
/proc/meminfo: memFree=28542096/32872528 swapFree=1085692/1157232
[pid=21322] ppid=21319 vsize=1345092 CPUtime=1361.99 cores=1,3,5,7
/proc/21322/stat : 21322 (toysat) R 21319 21322 21062 0 -1 4202496 277596 0 0 0 136146 53 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140736013723840 12478320 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21322/statm: 336273 277766 893 2943 0 333167 0
[pid=21322/tid=21323] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21323/stat : 21323 (toysat) S 21319 21322 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079529962736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21322/tid=21324] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21324/stat : 21324 (toysat) S 21319 21322 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079519472880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21322/tid=21325] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21325/stat : 21325 (toysat) S 21319 21322 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079508999344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1345092

[startup+1422.3 s]
/proc/loadavg: 2.11 2.18 2.17 3/184 21364
/proc/meminfo: memFree=28541996/32872528 swapFree=1085692/1157232
[pid=21322] ppid=21319 vsize=1345092 CPUtime=1421.95 cores=1,3,5,7
/proc/21322/stat : 21322 (toysat) R 21319 21322 21062 0 -1 4202496 277641 0 0 0 142141 54 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140736013723840 6843545 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21322/statm: 336273 277766 893 2943 0 333167 0
[pid=21322/tid=21323] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21323/stat : 21323 (toysat) S 21319 21322 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079529962736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21322/tid=21324] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21324/stat : 21324 (toysat) S 21319 21322 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079519472880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21322/tid=21325] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21325/stat : 21325 (toysat) S 21319 21322 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079508999344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1345092

[startup+1482.3 s]
/proc/loadavg: 2.11 2.17 2.17 4/183 21365
/proc/meminfo: memFree=28542292/32872528 swapFree=1085692/1157232
[pid=21322] ppid=21319 vsize=1345092 CPUtime=1481.91 cores=1,3,5,7
/proc/21322/stat : 21322 (toysat) R 21319 21322 21062 0 -1 4202496 277686 0 0 0 148137 54 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140736013723840 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21322/statm: 336273 277766 893 2943 0 333167 0
[pid=21322/tid=21323] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21323/stat : 21323 (toysat) S 21319 21322 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079529962736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21322/tid=21324] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21324/stat : 21324 (toysat) S 21319 21322 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079519472880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21322/tid=21325] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21325/stat : 21325 (toysat) S 21319 21322 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079508999344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1345092

[startup+1542.3 s]
/proc/loadavg: 2.10 2.15 2.16 3/183 21366
/proc/meminfo: memFree=28541336/32872528 swapFree=1085692/1157232
[pid=21322] ppid=21319 vsize=1345092 CPUtime=1541.87 cores=1,3,5,7
/proc/21322/stat : 21322 (toysat) R 21319 21322 21062 0 -1 4202496 277733 0 0 0 154133 54 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140736013723840 5523188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21322/statm: 336273 277766 893 2943 0 333167 0
[pid=21322/tid=21323] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21323/stat : 21323 (toysat) S 21319 21322 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079529962736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21322/tid=21324] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21324/stat : 21324 (toysat) S 21319 21322 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079519472880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21322/tid=21325] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21325/stat : 21325 (toysat) S 21319 21322 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079508999344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1345092

[startup+1602.3 s]
/proc/loadavg: 2.08 2.14 2.16 3/183 21367
/proc/meminfo: memFree=28542008/32872528 swapFree=1085692/1157232
[pid=21322] ppid=21319 vsize=1345092 CPUtime=1601.84 cores=1,3,5,7
/proc/21322/stat : 21322 (toysat) R 21319 21322 21062 0 -1 4202496 277774 0 0 0 160129 55 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140736013723840 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21322/statm: 336273 277766 893 2943 0 333167 0
[pid=21322/tid=21323] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21323/stat : 21323 (toysat) S 21319 21322 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079529962736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21322/tid=21324] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21324/stat : 21324 (toysat) S 21319 21322 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079519472880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21322/tid=21325] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21325/stat : 21325 (toysat) S 21319 21322 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079508999344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1345092

[startup+1662.31 s]
/proc/loadavg: 2.08 2.14 2.16 4/183 21417
/proc/meminfo: memFree=28563552/32872528 swapFree=1085692/1157232
[pid=21322] ppid=21319 vsize=1345092 CPUtime=1661.81 cores=1,3,5,7
/proc/21322/stat : 21322 (toysat) R 21319 21322 21062 0 -1 4202496 277812 0 0 0 166126 55 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140736013723840 5822488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21322/statm: 336273 277766 893 2943 0 333167 0
[pid=21322/tid=21323] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21323/stat : 21323 (toysat) S 21319 21322 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079529962736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21322/tid=21324] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21324/stat : 21324 (toysat) S 21319 21322 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079519472880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21322/tid=21325] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21325/stat : 21325 (toysat) S 21319 21322 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079508999344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1345092

[startup+1722.3 s]
/proc/loadavg: 2.20 2.16 2.16 3/183 21467
/proc/meminfo: memFree=28559736/32872528 swapFree=1085692/1157232
[pid=21322] ppid=21319 vsize=1345092 CPUtime=1721.79 cores=1,3,5,7
/proc/21322/stat : 21322 (toysat) R 21319 21322 21062 0 -1 4202496 277814 0 0 0 172124 55 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140736013723840 12415785 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21322/statm: 336273 277766 893 2943 0 333167 0
[pid=21322/tid=21323] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21323/stat : 21323 (toysat) S 21319 21322 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079529962736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21322/tid=21324] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21324/stat : 21324 (toysat) S 21319 21322 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079519472880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21322/tid=21325] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21325/stat : 21325 (toysat) S 21319 21322 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079508999344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1345092

[startup+1782.3 s]
/proc/loadavg: 2.31 2.20 2.18 3/183 21517
/proc/meminfo: memFree=28563160/32872528 swapFree=1085692/1157232
[pid=21322] ppid=21319 vsize=1345092 CPUtime=1781.79 cores=1,3,5,7
/proc/21322/stat : 21322 (toysat) R 21319 21322 21062 0 -1 4202496 277814 0 0 0 178123 56 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140736013723840 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21322/statm: 336273 277766 893 2943 0 333167 0
[pid=21322/tid=21323] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21323/stat : 21323 (toysat) S 21319 21322 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079529962736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21322/tid=21324] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21324/stat : 21324 (toysat) S 21319 21322 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079519472880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21322/tid=21325] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21325/stat : 21325 (toysat) S 21319 21322 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079508999344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1345092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.29 2.20 2.18 3/183 21517
/proc/meminfo: memFree=28563892/32872528 swapFree=1085692/1157232
[pid=21322] ppid=21319 vsize=1345092 CPUtime=1800.08 cores=1,3,5,7
/proc/21322/stat : 21322 (toysat) R 21319 21322 21062 0 -1 4202496 277814 0 0 0 179952 56 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140736013723840 12467381 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21322/statm: 336273 277766 893 2943 0 333167 0
[pid=21322/tid=21323] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21323/stat : 21323 (toysat) S 21319 21322 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079529962736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21322/tid=21324] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21324/stat : 21324 (toysat) S 21319 21322 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079519472880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21322/tid=21325] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21325/stat : 21325 (toysat) S 21319 21322 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079508999344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1345092

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

[startup+1800.6 s]
/proc/loadavg: 2.29 2.20 2.18 3/183 21517
/proc/meminfo: memFree=28563892/32872528 swapFree=1085692/1157232
[pid=21322] ppid=21319 vsize=1345092 CPUtime=1800.08 cores=1,3,5,7
/proc/21322/stat : 21322 (toysat) R 21319 21322 21062 0 -1 4202496 277814 0 0 0 179952 56 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140736013723840 12467381 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21322/statm: 336273 277766 893 2943 0 333167 0
[pid=21322/tid=21323] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21323/stat : 21323 (toysat) S 21319 21322 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079529962736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21322/tid=21324] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21324/stat : 21324 (toysat) S 21319 21322 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079519472880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21322/tid=21325] ppid=21319 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21322/task/21325/stat : 21325 (toysat) S 21319 21322 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27679825 1377374208 277766 33554432000 4194304 16246674 140736013741936 140079508999344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1345092

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.53
CPU system time (s): 0.564914
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 1345092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.564914
maximum resident set size= 1111064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277814
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= 364
involuntary context switches= 1869

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.90925 second user time and 7.2369 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 15:06:42
IDJOB=4115981
IDBENCH=109413
IDSOLVER=2542
FILE ID=node114/4115981-1466946402
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-size96-round23-4.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115981-1466946402/watcher-4115981-1466946402 -o /tmp/evaluation-result-4115981-1466946402/solver-4115981-1466946402 -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-4115981-1466946402.opb

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

MD5SUM BENCH= a97fe7e6bfcb027e3ebdd0fa3cefc7ea
RANDOM SEED=1310431872

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:        29671400 kB
Buffers:            7056 kB
Cached:           214404 kB
SwapCached:        38936 kB
Active:          1145200 kB
Inactive:         199512 kB
Active(anon):    1087332 kB
Inactive(anon):    37756 kB
Active(file):      57868 kB
Inactive(file):   161756 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061372 kB
Dirty:             16732 kB
Writeback:             0 kB
AnonPages:       2242476 kB
Mapped:            10656 kB
Shmem:                 0 kB
Slab:             566076 kB
SReclaimable:      10336 kB
SUnreclaim:       555740 kB
KernelStack:        1496 kB
PageTables:         8448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2389492 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 15:36:43