Trace number 4078919

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.11 1800.61

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K199.opb
MD5SUM2cd10947adfbc402d943437a9cfa9f95
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 variables23681
Total number of constraints24081
Number of constraints which are clauses23882
Number of constraints which are cardinality constraints (but not clauses)199
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint199
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
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-07T09:35:56+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-4078919-1465284955.opb"]
0.00/0.01	c use --random-gen="1311575554 1834067916 1775202577 4112124046 439369210 3682585911 422499700 722548520 2236710128 1163176267 2221466216 314124279 716276440 1947023812 192687825 3794808944 2812970580 1749678983 419314665 1803958889 2777039931 146920389 502070439 2374583760 2592886168 508416389 3223929804 2031607391 692861887 2133490839 1198394849 3119179 2084080067 2066927494 668383377 3677758915 2357446001 337344357 1278136192 275788745 396899697 2562203606 1963399982 3768552954 831423470 3129931190 1741912425 3197021069 1554920515 3177894873 1039328724 3348063229 4104542290 931001834 1214051333 3798280476 999894406 3766626363 730151493 2319764089 386276817 2085594051 855250587 2242991756 3476071111 3902979254 4216633334 1016847574 910987413 3407470901 1087323875 1936949140 2212159961 1204937839 3437831072 2875831748 1819715080 1743465506 1228785117 2980489788 2619805989 469579411 3071012709 3457714519 769633360 4058045100 4201114307 3085553146 387351199 159511996 1238998683 4246735124 418892246 4115737941 3472847158 1310340456 4215260686 2050801779 3522610658 3913621555 231937825 2116281549 3802736917 2689480721 675976726 3506561730 1320289538 1986364893 3614766841 941624688 3764393635 1087249864 2819227776 4024915475 3294804479 1584782523 286315078 2983138160 1403499811 1203781067 3719132559 224494547 3634879564 2098605357 3218759208 1807140469 1993336113 3166876269 356985584 3912367251 1493824088 15701582 2096305257 1755086096 3152470315 3959861845 1964012073 2870786534 3457049464 3915276633 4260697053 1490190610 588393259 2783959412 3977768867 1605121919 2979331058 3446485852 3056601165 961869450 4246096370 3978649909 240776983 961412164 2602664614 2272975354 4115262756 2258210541 2305280386 2651972736 1235639203 4072904148 4021301129 161661404 3749958403 2604338963 2659315754 2306209306 3121609386 1880654025 3107609842 59252720 1423214408 75001487 2974518030 676122111 3662726071 2513938420 4216735749 856049087 387612049 4138940802 2966097400 3634695168 3427450340 4013039224 3503650364 620355427 2739341760 1029935611 2186881912 2154900046 3835982715 839261583 4217973011 390398898 3740740796 2847453378 131663472 4051521905 1729321237 3293640977 4290368328 159993355 1914865167 2175070678 2916736199 1143094678 2052872061 703385813 1303679749 1900589386 2287226629 3679012355 1427625552 3806703725 1179471196 3462871801 1873780769 1488490726 1166247150 2078586613 1778480011 2724079791 3667717630 3530600513 773068545 2882212203 645749593 1678972991 3568667908 3027869087 1667062034 449623416 3918555565 4108184456 3166378337 3388990911 2942775424 2210311394 2866089520 699436613 3671452691 493223275 2307408155 214911062 1061122136 1955181821 4044485887 2921470801 1925867829 1384615095 3496469686 70899439 3269612476 373507946 255 362436" option to reproduce the execution
0.29/0.33	c #vars 23681
0.29/0.33	c #constraints 24081
0.79/0.84	c Solving starts ...
0.79/0.84	c ============================[ Search Statistics ]============================
0.79/0.84	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.79/0.84	c       |         |          |          |    Limit     GC | Var      | Constra 
0.79/0.84	c =============================================================================
0.79/0.85	c  0.0s |       0 |        0 |        0 |    15920      0 |      742 |        0
2.49/2.54	c  1.7s |       1 |    13150 |      100 |    15920      0 |      743 |      634
3.99/4.05	c  3.2s |       2 |    35516 |      250 |    17512      0 |      743 |      634
4.69/4.78	c  3.9s |       3 |    45830 |      475 |    19264      0 |      743 |      634
5.99/6.08	c  5.2s |       4 |    63070 |      813 |    21191      0 |      743 |      634
7.39/7.49	c  6.6s |       5 |    87121 |     1320 |    23311      0 |      743 |      634
9.59/9.69	c  8.8s |       5 |   126147 |     1920 |    25643      0 |      743 |      634
10.29/10.31	c  9.5s |       6 |   137397 |     2081 |    28208      0 |      743 |      634
12.39/12.44	c 11.6s |       6 |   176038 |     2581 |    28208      0 |      744 |      635
14.68/14.75	c 13.9s |       6 |   215756 |     3081 |    28208      0 |      745 |      636
15.18/15.22	c 14.4s |       7 |   225516 |     3223 |    31029      0 |      745 |      636
17.48/17.52	c 16.7s |       7 |   261939 |     3823 |    31029      0 |      747 |      638
19.68/19.71	c 18.9s |       7 |   300530 |     4423 |    31029      0 |      747 |      638
21.88/21.91	c 21.1s |       7 |   331854 |     4923 |    34132      0 |      749 |      640
21.88/21.97	c 21.1s |       8 |   331896 |     4936 |    34132      0 |      749 |      640
24.19/24.29	c 23.4s |       8 |   363161 |     5636 |    34132      0 |      750 |      641
26.49/26.56	c 25.7s |       8 |   397638 |     6136 |    34132      0 |      751 |      642
28.59/28.62	c 27.8s |       8 |   427425 |     6636 |    34132      0 |      751 |      642
30.89/30.92	c 30.1s |       8 |   449458 |     7236 |    34132      0 |      751 |      642
31.78/31.86	c 31.0s |       9 |   465013 |     7506 |    37546      0 |      751 |      642
33.98/34.05	c 33.2s |       9 |   500686 |     7906 |    37546      0 |      751 |      642
36.39/36.47	c 35.6s |       9 |   534620 |     8506 |    37546      0 |      751 |      642
38.38/38.49	c 37.6s |       9 |   565277 |     9106 |    37546      0 |      751 |      642
40.48/40.58	c 39.7s |       9 |   598388 |     9506 |    37546      0 |      752 |      643
42.58/42.66	c 41.8s |       9 |   629194 |    10006 |    37546      0 |      752 |      643
44.88/44.93	c 44.1s |       9 |   670676 |    10506 |    37546      0 |      752 |      643
46.99/47.03	c 46.2s |       9 |   700275 |    11006 |    37546      0 |      752 |      643
48.49/48.59	c 47.7s |      10 |   727505 |    11361 |    41301      0 |      752 |      643
50.89/50.95	c 50.1s |      10 |   767789 |    11861 |    41301      0 |      752 |      643
53.09/53.14	c 52.3s |      10 |   802434 |    12361 |    41301      0 |      752 |      643
55.39/55.48	c 54.6s |      10 |   820999 |    13161 |    41301      0 |      752 |      643
57.59/57.61	c 56.8s |      10 |   859691 |    13661 |    41301      0 |      752 |      643
59.79/59.83	c 59.0s |      10 |   889101 |    14261 |    41301      0 |      752 |      643
62.09/62.13	c 61.3s |      10 |   918650 |    14861 |    41301      0 |      752 |      643
64.39/64.45	c 63.6s |      10 |   946790 |    15561 |    41301      0 |      752 |      643
66.48/66.57	c 65.7s |      10 |   966005 |    16261 |    41301      0 |      752 |      643
68.58/68.60	c 67.8s |      10 |   994208 |    16761 |    41301      0 |      752 |      643
70.08/70.17	c 69.3s |      11 |  1013790 |    17144 |    45432      0 |      752 |      643
72.08/72.18	c 71.3s |      11 |  1037037 |    17544 |    45432      0 |      752 |      643
74.18/74.22	c 73.4s |      11 |  1063097 |    17944 |    45432      0 |      752 |      643
76.58/76.68	c 75.8s |      11 |  1099015 |    18544 |    45432      0 |      752 |      643
78.58/78.69	c 77.8s |      11 |  1126684 |    19044 |    45432      0 |      752 |      643
80.78/80.89	c 80.0s |      11 |  1133606 |    19444 |    45432      0 |      752 |      643
82.88/82.92	c 82.1s |      11 |  1153208 |    19944 |    45432      0 |      753 |      644
84.88/84.95	c 84.1s |      11 |  1182779 |    20344 |    45432      0 |      754 |      645
86.89/86.96	c 86.1s |      11 |  1210865 |    20744 |    45432      0 |      754 |      645
88.88/88.99	c 88.2s |      11 |  1238386 |    21144 |    45432      0 |      754 |      645
91.28/91.38	c 90.5s |      11 |  1259788 |    21744 |    45432      0 |      754 |      645
93.38/93.49	c 92.6s |      11 |  1293439 |    22244 |    45432      0 |      754 |      645
95.78/95.85	c 95.0s |      11 |  1325006 |    22644 |    45432      0 |      755 |      646
97.88/97.95	c 97.1s |      11 |  1356527 |    23044 |    45432      0 |      755 |      646
99.97/100.05	c 99.2s |      11 |  1386963 |    23444 |    45432      0 |      755 |      646
102.28/102.39	c  101s |      11 |  1412611 |    23744 |    45432      0 |      756 |      647
104.67/104.78	c  103s |      11 |  1428684 |    24244 |    45432      0 |      756 |      647
106.97/107.06	c  106s |      11 |  1451561 |    24644 |    45432      0 |      757 |      648
109.17/109.26	c  108s |      11 |  1479101 |    25144 |    45432      0 |      757 |      648
111.67/111.77	c  110s |      11 |  1501368 |    25744 |    49976      0 |      757 |      648
111.97/112.01	c  111s |      12 |  1503402 |    25819 |    49976      0 |      757 |      648
113.97/114.01	c  113s |      12 |  1529907 |    26119 |    49976      0 |      757 |      648
116.37/116.40	c  115s |      12 |  1562847 |    26519 |    49976      0 |      757 |      648
118.37/118.49	c  117s |      12 |  1593519 |    26919 |    49976      0 |      757 |      648
120.57/120.65	c  119s |      12 |  1619979 |    27319 |    49976      0 |      757 |      648
122.77/122.89	c  122s |      12 |  1647626 |    27719 |    49976      0 |      757 |      648
124.87/125.00	c  124s |      12 |  1670865 |    28219 |    49976      0 |      757 |      648
126.97/127.00	c  126s |      12 |  1694858 |    28719 |    49976      0 |      757 |      648
128.97/129.01	c  128s |      12 |  1717352 |    29219 |    49976      0 |      757 |      648
131.06/131.19	c  130s |      12 |  1737968 |    29719 |    49976      0 |      757 |      648
133.26/133.33	c  132s |      12 |  1757445 |    30219 |    49976      0 |      757 |      648
135.37/135.45	c  134s |      12 |  1763828 |    30719 |    49976      0 |      757 |      648
137.66/137.78	c  136s |      12 |  1784995 |    31219 |    49976      0 |      757 |      648
139.96/140.03	c  139s |      12 |  1807543 |    31719 |    49976      0 |      757 |      648
142.35/142.45	c  141s |      12 |  1838422 |    32119 |    49976      0 |      757 |      648
144.55/144.61	c  143s |      12 |  1858046 |    32619 |    49976      0 |      757 |      648
146.85/146.95	c  146s |      12 |  1886631 |    33119 |    49976      0 |      757 |      648
148.95/149.08	c  148s |      12 |  1905427 |    33519 |    49976      0 |      758 |      649
151.25/151.34	c  150s |      12 |  1931544 |    33919 |    49976      0 |      758 |      649
153.45/153.51	c  152s |      12 |  1958502 |    34319 |    49976      0 |      758 |      649
155.55/155.65	c  154s |      12 |  1983304 |    34719 |    49976      0 |      758 |      649
157.95/158.01	c  157s |      12 |  2008609 |    35119 |    49976      0 |      758 |      649
160.15/160.26	c  159s |      12 |  2019967 |    35719 |    49976      0 |      758 |      649
162.45/162.58	c  161s |      12 |  2044712 |    36219 |    49976      0 |      758 |      649
164.55/164.62	c  163s |      12 |  2062102 |    36719 |    49976      0 |      758 |      649
166.85/166.91	c  166s |      12 |  2082033 |    37319 |    49976      0 |      758 |      649
169.15/169.27	c  168s |      12 |  2109244 |    37819 |    49976      0 |      758 |      649
171.35/171.40	c  170s |      12 |  2134527 |    38219 |    49976      0 |      758 |      649
173.86/173.99	c  173s |      12 |  2156088 |    38819 |    54974      0 |      758 |      649
174.05/174.10	c  173s |      13 |  2158511 |    38832 |    54974      0 |      758 |      649
176.15/176.20	c  175s |      13 |  2173747 |    39132 |    54974      0 |      758 |      649
178.26/178.32	c  177s |      13 |  2191905 |    39632 |    54974      0 |      758 |      649
180.36/180.48	c  179s |      13 |  2214348 |    40132 |    54974      0 |      758 |      649
183.15/183.23	c  182s |      13 |  2246025 |    40632 |    54974      0 |      758 |      649
186.45/186.50	c  185s |      13 |  2274248 |    41132 |    54974      0 |      759 |      650
188.95/189.09	c  188s |      13 |  2306477 |    41532 |    54974      0 |      759 |      650
191.14/191.29	c  190s |      13 |  2329631 |    41932 |    54974      0 |      759 |      650
193.44/193.54	c  192s |      13 |  2356520 |    42332 |    54974      0 |      759 |      650
195.44/195.55	c  194s |      13 |  2376341 |    42732 |    54974      0 |      759 |      650
197.84/197.97	c  197s |      13 |  2391797 |    42932 |    54974      0 |      761 |      652
200.04/200.20	c  199s |      13 |  2399592 |    43432 |    54974      0 |      761 |      652
202.24/202.35	c  201s |      13 |  2413854 |    43932 |    54974      0 |      761 |      652
204.74/204.87	c  204s |      13 |  2435939 |    44432 |    54974      0 |      761 |      652
206.84/206.91	c  206s |      13 |  2456532 |    44832 |    54974      0 |      761 |      652
209.34/209.48	c  208s |      13 |  2481440 |    45332 |    54974      0 |      761 |      652
211.53/211.69	c  210s |      13 |  2489297 |    45732 |    54974      0 |      761 |      652
213.93/214.09	c  213s |      13 |  2515153 |    46132 |    54974      0 |      761 |      652
216.33/216.47	c  215s |      13 |  2542113 |    46532 |    54974      0 |      761 |      652
218.53/218.69	c  217s |      13 |  2559376 |    47032 |    54974      0 |      761 |      652
221.13/221.21	c  220s |      13 |  2579506 |    47632 |    54974      0 |      761 |      652
223.13/223.29	c  222s |      13 |  2597247 |    48132 |    54974      0 |      761 |      652
225.53/225.61	c  224s |      13 |  2623207 |    48532 |    54974      0 |      761 |      652
227.74/227.85	c  227s |      13 |  2644715 |    48932 |    54974      0 |      761 |      652
229.84/229.91	c  229s |      13 |  2667151 |    49332 |    54974      0 |      761 |      652
231.93/232.08	c  231s |      13 |  2687252 |    49732 |    54974      0 |      761 |      652
234.03/234.16	c  233s |      13 |  2709330 |    50132 |    54974      0 |      761 |      652
236.13/236.26	c  235s |      13 |  2725282 |    50732 |    54974      0 |      761 |      652
238.33/238.43	c  237s |      13 |  2750564 |    51132 |    54974      0 |      761 |      652
240.63/240.76	c  239s |      13 |  2773792 |    51532 |    54974      0 |      761 |      652
243.04/243.18	c  242s |      13 |  2797146 |    51932 |    54974      0 |      761 |      652
245.34/245.43	c  244s |      13 |  2821988 |    52332 |    54974      0 |      761 |      652
247.73/247.86	c  247s |      13 |  2843421 |    52632 |    54974      0 |      762 |      653
249.93/250.02	c  249s |      13 |  2861891 |    53032 |    54974      0 |      762 |      653
252.22/252.34	c  251s |      13 |  2884519 |    53432 |    54974      0 |      762 |      653
254.52/254.66	c  253s |      13 |  2902971 |    53732 |    54974      0 |      763 |      654
257.22/257.32	c  256s |      13 |  2930889 |    54032 |    54974      0 |      763 |      654
259.32/259.41	c  258s |      13 |  2950304 |    54432 |    54974      0 |      763 |      654
262.32/262.49	c  261s |      13 |  2974452 |    54832 |    54974      0 |      764 |      655
265.52/265.63	c  264s |      13 |  2989711 |    55332 |    54974      0 |      765 |      656
267.82/267.97	c  267s |      13 |  3007576 |    55832 |    54974      0 |      765 |      656
269.82/269.98	c  269s |      13 |  3022664 |    56232 |    54974      0 |      765 |      656
272.01/272.17	c  271s |      13 |  3043097 |    56632 |    54974      0 |      765 |      656
274.51/274.63	c  273s |      13 |  3060805 |    57132 |    54974      0 |      765 |      656
276.61/276.75	c  275s |      13 |  3082146 |    57532 |    54974      0 |      765 |      656
279.01/279.13	c  278s |      13 |  3101951 |    58032 |    60472      0 |      765 |      656
280.91/281.02	c  280s |      14 |  3125319 |    58352 |    60472      0 |      765 |      656
283.11/283.20	c  282s |      14 |  3142377 |    58652 |    60472      0 |      765 |      656
285.61/285.77	c  284s |      14 |  3162933 |    59152 |    60472      0 |      765 |      656
288.21/288.31	c  287s |      14 |  3189377 |    59552 |    60472      0 |      765 |      656
290.41/290.55	c  289s |      14 |  3210868 |    59952 |    60472      0 |      765 |      656
292.90/293.04	c  292s |      14 |  3222867 |    60452 |    60472      0 |      765 |      656
294.90/295.06	c  294s |      14 |  3241907 |    60852 |    60472      0 |      765 |      656
297.20/297.38	c  296s |      14 |  3260354 |    61252 |    60472      0 |      765 |      656
299.90/300.09	c  299s |      14 |  3268210 |    61752 |    60472      0 |      765 |      656
302.60/302.78	c  301s |      14 |  3290953 |    62152 |    60472      0 |      765 |      656
304.90/305.08	c  304s |      14 |  3298749 |    62352 |    60472      1 |      765 |      656
307.20/307.39	c  306s |      14 |  3320401 |    62752 |    60472      1 |      765 |      656
309.70/309.86	c  309s |      14 |  3349547 |    63152 |    60472      1 |      765 |      656
312.40/312.52	c  311s |      14 |  3375148 |    63552 |    60472      1 |      765 |      656
314.60/314.74	c  313s |      14 |  3390965 |    63952 |    60472      1 |      765 |      656
316.70/316.83	c  315s |      14 |  3416927 |    64452 |    60472      1 |      765 |      656
318.79/318.98	c  318s |      14 |  3437547 |    64952 |    60472      1 |      765 |      656
321.20/321.34	c  320s |      14 |  3459550 |    65552 |    60472      1 |      765 |      656
323.39/323.51	c  322s |      14 |  3478922 |    65952 |    60472      1 |      765 |      656
325.59/325.71	c  324s |      14 |  3495143 |    66352 |    60472      1 |      765 |      656
327.69/327.86	c  327s |      14 |  3515063 |    66852 |    60472      1 |      765 |      656
329.69/329.87	c  329s |      14 |  3536932 |    67252 |    60472      1 |      765 |      656
332.09/332.26	c  331s |      14 |  3558546 |    67752 |    60472      1 |      765 |      656
334.08/334.28	c  333s |      14 |  3578586 |    68152 |    60472      1 |      765 |      656
336.18/336.32	c  335s |      14 |  3602017 |    68452 |    60472      1 |      765 |      656
338.58/338.71	c  337s |      14 |  3618780 |    68852 |    60472      1 |      766 |      657
340.98/341.12	c  340s |      14 |  3640144 |    69352 |    60472      1 |      766 |      657
343.27/343.49	c  342s |      14 |  3657084 |    69752 |    60472      1 |      766 |      657
345.57/345.75	c  344s |      14 |  3662892 |    70152 |    60472      1 |      766 |      657
347.77/347.94	c  347s |      14 |  3685694 |    70552 |    60472      1 |      766 |      657
350.17/350.33	c  349s |      14 |  3710202 |    71052 |    60472      1 |      766 |      657
352.57/352.75	c  351s |      14 |  3734280 |    71552 |    60472      1 |      766 |      657
354.57/354.78	c  353s |      14 |  3746677 |    71952 |    60472      1 |      766 |      657
356.97/357.12	c  356s |      14 |  3752967 |    72452 |    60472      1 |      766 |      657
359.07/359.26	c  358s |      14 |  3767253 |    72952 |    60472      1 |      766 |      657
361.56/361.73	c  360s |      14 |  3774428 |    73452 |    60472      1 |      766 |      657
363.76/363.93	c  363s |      14 |  3786792 |    73852 |    60472      1 |      766 |      657
366.17/366.30	c  365s |      14 |  3805632 |    74352 |    60472      1 |      766 |      657
368.26/368.45	c  367s |      14 |  3833377 |    74652 |    60472      1 |      766 |      657
370.76/370.99	c  370s |      14 |  3852774 |    75152 |    60472      1 |      766 |      657
372.87/373.09	c  372s |      14 |  3873172 |    75552 |    60472      1 |      766 |      657
374.97/375.17	c  374s |      14 |  3890655 |    75952 |    60472      1 |      766 |      657
377.56/377.77	c  376s |      14 |  3912163 |    76452 |    60472      1 |      766 |      657
380.06/380.28	c  379s |      14 |  3931316 |    76852 |    60472      1 |      766 |      657
382.45/382.65	c  381s |      14 |  3951876 |    77252 |    60472      1 |      766 |      657
384.45/384.65	c  383s |      14 |  3974582 |    77552 |    60472      1 |      766 |      657
386.65/386.88	c  386s |      14 |  3986100 |    78052 |    60472      1 |      766 |      657
388.96/389.13	c  388s |      14 |  4000586 |    78352 |    60472      1 |      766 |      657
391.06/391.27	c  390s |      14 |  4017686 |    78752 |    60472      1 |      766 |      657
393.67/393.81	c  392s |      14 |  4039559 |    79252 |    60472      1 |      766 |      657
396.06/396.25	c  395s |      14 |  4046474 |    79652 |    60472      1 |      766 |      657
398.16/398.32	c  397s |      14 |  4049197 |    80052 |    60472      1 |      766 |      657
400.26/400.42	c  399s |      14 |  4071772 |    80352 |    60472      1 |      766 |      657
402.25/402.46	c  401s |      14 |  4083166 |    80652 |    60472      1 |      766 |      657
404.76/404.99	c  404s |      14 |  4110950 |    81052 |    60472      1 |      766 |      657
406.86/407.02	c  406s |      14 |  4127559 |    81452 |    60472      1 |      766 |      657
409.25/409.45	c  408s |      14 |  4144072 |    81652 |    60472      1 |      767 |      658
411.45/411.60	c  410s |      14 |  4164795 |    81952 |    60472      1 |      767 |      658
413.65/413.85	c  413s |      14 |  4189420 |    82252 |    60472      1 |      767 |      658
416.14/416.30	c  415s |      14 |  4209240 |    82652 |    60472      1 |      767 |      658
418.14/418.38	c  417s |      14 |  4223003 |    83052 |    60472      1 |      767 |      658
420.94/421.11	c  420s |      14 |  4245662 |    83552 |    60472      1 |      767 |      658
423.45/423.68	c  422s |      14 |  4260441 |    84052 |    60472      1 |      767 |      658
425.65/425.87	c  425s |      14 |  4282199 |    84352 |    60472      1 |      767 |      658
428.14/428.30	c  427s |      14 |  4308913 |    84752 |    60472      1 |      767 |      658
430.44/430.64	c  429s |      14 |  4331533 |    85152 |    60472      1 |      767 |      658
432.63/432.82	c  431s |      14 |  4344545 |    85652 |    60472      1 |      767 |      658
435.13/435.30	c  434s |      14 |  4356066 |    86152 |    60472      1 |      767 |      658
437.74/437.98	c  437s |      14 |  4375138 |    86552 |    60472      1 |      767 |      658
440.23/440.41	c  439s |      14 |  4398264 |    86952 |    60472      1 |      767 |      658
442.52/442.75	c  441s |      14 |  4419412 |    87252 |    66520      1 |      767 |      658
444.82/445.08	c  444s |      15 |  4431102 |    87632 |    66520      1 |      767 |      658
447.22/447.47	c  446s |      15 |  4447003 |    87832 |    66520      1 |      767 |      658
449.22/449.47	c  448s |      15 |  4461363 |    88132 |    66520      1 |      767 |      658
451.82/452.03	c  451s |      15 |  4482929 |    88632 |    66520      1 |      767 |      658
454.13/454.35	c  453s |      15 |  4509276 |    89032 |    66520      1 |      767 |      658
456.43/456.66	c  455s |      15 |  4528577 |    89432 |    66520      1 |      767 |      658
459.02/459.23	c  458s |      15 |  4542586 |    89932 |    66520      1 |      767 |      658
461.42/461.66	c  460s |      15 |  4558490 |    90232 |    66520      1 |      768 |      659
463.72/463.95	c  463s |      15 |  4582712 |    90632 |    66520      1 |      768 |      659
466.12/466.34	c  465s |      15 |  4601140 |    91032 |    66520      1 |      768 |      659
468.32/468.52	c  467s |      15 |  4619757 |    91432 |    66520      1 |      768 |      659
470.82/471.05	c  470s |      15 |  4645740 |    91832 |    66520      1 |      768 |      659
473.42/473.64	c  472s |      15 |  4669613 |    92332 |    66520      1 |      768 |      659
475.62/475.81	c  474s |      15 |  4683311 |    92732 |    66520      1 |      768 |      659
478.02/478.23	c  477s |      15 |  4700348 |    93232 |    66520      1 |      768 |      659
480.12/480.38	c  479s |      15 |  4717743 |    93632 |    66520      1 |      768 |      659
482.22/482.46	c  481s |      15 |  4728208 |    94032 |    66520      1 |      768 |      659
484.72/484.96	c  484s |      15 |  4747995 |    94432 |    66520      1 |      768 |      659
486.82/487.00	c  486s |      15 |  4761929 |    94832 |    66520      1 |      768 |      659
489.32/489.56	c  488s |      15 |  4777264 |    95332 |    66520      1 |      768 |      659
491.81/492.02	c  491s |      15 |  4798441 |    95732 |    66520      1 |      768 |      659
494.11/494.34	c  493s |      15 |  4817533 |    96132 |    66520      1 |      768 |      659
496.61/496.84	c  496s |      15 |  4836593 |    96632 |    66520      1 |      768 |      659
499.11/499.33	c  498s |      15 |  4857683 |    96932 |    66520      1 |      768 |      659
501.41/501.61	c  500s |      15 |  4873918 |    97332 |    66520      1 |      768 |      659
503.40/503.62	c  502s |      15 |  4894741 |    97632 |    66520      1 |      768 |      659
505.81/506.08	c  505s |      15 |  4917954 |    97932 |    66520      1 |      768 |      659
508.20/508.46	c  507s |      15 |  4939861 |    98232 |    66520      1 |      768 |      659
510.31/510.53	c  509s |      15 |  4957491 |    98532 |    66520      1 |      768 |      659
512.59/512.83	c  511s |      15 |  4969921 |    98932 |    66520      1 |      768 |      659
514.79/515.00	c  514s |      15 |  4974609 |    99332 |    66520      1 |      768 |      659
517.29/517.59	c  516s |      15 |  4994165 |    99732 |    66520      1 |      768 |      659
521.38/521.63	c  520s |      15 |  5011747 |   100232 |    66520      2 |      768 |      659
523.39/523.65	c  522s |      15 |  5022996 |   100632 |    66520      2 |      768 |      659
525.88/526.17	c  525s |      15 |  5031700 |   101132 |    66520      2 |      768 |      659
528.18/528.45	c  527s |      15 |  5042980 |   101732 |    66520      2 |      768 |      659
530.48/530.70	c  529s |      15 |  5051610 |   102332 |    66520      2 |      768 |      659
532.78/533.04	c  532s |      15 |  5063422 |   102832 |    66520      2 |      768 |      659
535.49/535.76	c  534s |      15 |  5071186 |   103232 |    66520      2 |      768 |      659
537.98/538.27	c  537s |      15 |  5078769 |   103532 |    66520      2 |      768 |      659
540.08/540.32	c  539s |      15 |  5092659 |   104032 |    66520      2 |      768 |      659
542.38/542.61	c  541s |      15 |  5107519 |   104532 |    66520      2 |      768 |      659
544.68/544.91	c  544s |      15 |  5125739 |   105132 |    66520      2 |      768 |      659
546.88/547.14	c  546s |      15 |  5147477 |   105532 |    66520      2 |      768 |      659
548.88/549.17	c  548s |      15 |  5156478 |   106032 |    66520      2 |      768 |      659
551.07/551.35	c  550s |      15 |  5177902 |   106332 |    66520      2 |      768 |      659
553.57/553.87	c  553s |      15 |  5199922 |   106732 |    66520      2 |      768 |      659
555.87/556.15	c  555s |      15 |  5217462 |   107132 |    66520      2 |      768 |      659
558.57/558.86	c  558s |      15 |  5244517 |   107532 |    66520      2 |      768 |      659
560.96/561.23	c  560s |      15 |  5264674 |   107932 |    66520      2 |      768 |      659
563.16/563.43	c  562s |      15 |  5283626 |   108332 |    66520      2 |      768 |      659
565.46/565.74	c  564s |      15 |  5304740 |   108732 |    66520      2 |      768 |      659
567.66/567.92	c  567s |      15 |  5319609 |   109132 |    66520      2 |      768 |      659
569.76/570.08	c  569s |      15 |  5339574 |   109432 |    66520      2 |      768 |      659
571.86/572.17	c  571s |      15 |  5358304 |   109732 |    66520      2 |      768 |      659
574.06/574.31	c  573s |      15 |  5372282 |   110132 |    66520      2 |      768 |      659
576.26/576.56	c  575s |      15 |  5383421 |   110632 |    66520      2 |      768 |      659
578.65/578.93	c  578s |      15 |  5385187 |   111132 |    66520      2 |      768 |      659
580.95/581.27	c  580s |      15 |  5400646 |   111632 |    66520      2 |      768 |      659
583.35/583.61	c  582s |      15 |  5411883 |   112132 |    66520      2 |      768 |      659
585.65/585.91	c  585s |      15 |  5428751 |   112532 |    66520      2 |      768 |      659
588.45/588.76	c  587s |      15 |  5445770 |   112932 |    66520      2 |      769 |      660
590.64/590.99	c  590s |      15 |  5466784 |   113232 |    66520      2 |      769 |      660
593.24/593.51	c  592s |      15 |  5476677 |   113632 |    66520      2 |      769 |      660
595.44/595.77	c  594s |      15 |  5490725 |   114032 |    66520      2 |      769 |      660
597.94/598.27	c  597s |      15 |  5500803 |   114432 |    66520      2 |      769 |      660
600.64/600.92	c  600s |      15 |  5513854 |   114832 |    66520      2 |      769 |      660
603.24/603.50	c  602s |      15 |  5532825 |   115232 |    66520      2 |      769 |      660
605.94/606.21	c  605s |      15 |  5554250 |   115632 |    66520      2 |      769 |      660
608.53/608.81	c  607s |      15 |  5571311 |   115932 |    66520      2 |      770 |      661
611.03/611.31	c  610s |      15 |  5590089 |   116332 |    66520      2 |      770 |      661
613.54/613.85	c  613s |      15 |  5606477 |   116732 |    66520      2 |      770 |      661
615.63/616.00	c  615s |      15 |  5610521 |   117132 |    66520      2 |      770 |      661
617.83/618.12	c  617s |      15 |  5625911 |   117532 |    66520      2 |      770 |      661
620.43/620.79	c  619s |      15 |  5647624 |   117932 |    66520      2 |      770 |      661
622.82/623.16	c  622s |      15 |  5667026 |   118332 |    66520      2 |      770 |      661
624.92/625.27	c  624s |      15 |  5681817 |   118732 |    66520      2 |      770 |      661
627.32/627.66	c  626s |      15 |  5690238 |   119132 |    66520      2 |      770 |      661
629.62/629.90	c  629s |      15 |  5698130 |   119532 |    66520      2 |      771 |      662
631.91/632.28	c  631s |      15 |  5723303 |   119832 |    66520      2 |      771 |      662
634.01/634.30	c  633s |      15 |  5741202 |   120132 |    66520      2 |      771 |      662
636.21/636.58	c  635s |      15 |  5759533 |   120532 |    66520      2 |      771 |      662
638.71/639.00	c  638s |      15 |  5779339 |   120932 |    66520      2 |      771 |      662
640.91/641.21	c  640s |      15 |  5795231 |   121332 |    66520      2 |      771 |      662
643.61/643.92	c  643s |      15 |  5816005 |   121732 |    66520      2 |      771 |      662
645.81/646.10	c  645s |      15 |  5837800 |   122032 |    66520      2 |      771 |      662
647.91/648.27	c  647s |      15 |  5857598 |   122332 |    66520      2 |      771 |      662
650.31/650.61	c  649s |      15 |  5872144 |   122732 |    66520      2 |      771 |      662
652.60/652.98	c  652s |      15 |  5887074 |   123132 |    66520      2 |      771 |      662
654.70/655.02	c  654s |      15 |  5906807 |   123432 |    66520      2 |      771 |      662
657.00/657.31	c  656s |      15 |  5925038 |   123732 |    66520      2 |      771 |      662
659.20/659.50	c  658s |      15 |  5939440 |   124032 |    66520      2 |      771 |      662
661.69/662.00	c  661s |      15 |  5941909 |   124532 |    66520      2 |      771 |      662
663.79/664.18	c  663s |      15 |  5960348 |   124832 |    66520      2 |      771 |      662
665.99/666.38	c  665s |      15 |  5975997 |   125132 |    66520      2 |      771 |      662
668.09/668.45	c  667s |      15 |  5990352 |   125432 |    66520      2 |      771 |      662
670.29/670.60	c  669s |      15 |  6003574 |   125832 |    66520      2 |      771 |      662
672.49/672.84	c  671s |      15 |  6019719 |   126232 |    66520      2 |      771 |      662
675.29/675.63	c  674s |      15 |  6021226 |   126632 |    66520      2 |      771 |      662
677.48/677.82	c  676s |      15 |  6038180 |   126932 |    66520      2 |      771 |      662
680.08/680.45	c  679s |      15 |  6065652 |   127332 |    66520      2 |      771 |      662
682.38/682.75	c  681s |      15 |  6083678 |   127632 |    66520      2 |      771 |      662
684.68/685.10	c  684s |      15 |  6101077 |   128032 |    66520      2 |      771 |      662
687.08/687.41	c  686s |      15 |  6116888 |   128432 |    66520      2 |      771 |      662
689.28/689.66	c  688s |      15 |  6127007 |   128932 |    66520      2 |      771 |      662
691.59/691.95	c  691s |      15 |  6143994 |   129332 |    66520      2 |      771 |      662
694.18/694.54	c  693s |      15 |  6166101 |   129632 |    66520      2 |      771 |      662
696.58/696.92	c  696s |      15 |  6172886 |   130032 |    66520      2 |      771 |      662
699.08/699.50	c  698s |      15 |  6195582 |   130432 |    66520      2 |      771 |      662
701.58/701.99	c  701s |      15 |  6215652 |   130932 |    73172      2 |      771 |      662
703.78/704.11	c  703s |      15 |  6238078 |   131332 |    73172      2 |      771 |      662
705.07/705.42	c  704s |      16 |  6251727 |   131552 |    73172      2 |      771 |      662
707.47/707.86	c  707s |      16 |  6264696 |   131752 |    73172      2 |      771 |      662
709.57/709.93	c  709s |      16 |  6282662 |   132052 |    73172      2 |      771 |      662
712.07/712.46	c  711s |      16 |  6306186 |   132452 |    73172      2 |      771 |      662
714.47/714.87	c  714s |      16 |  6325395 |   132752 |    73172      2 |      771 |      662
717.17/717.57	c  716s |      16 |  6350338 |   133152 |    73172      2 |      771 |      662
719.77/720.17	c  719s |      16 |  6365081 |   133452 |    73172      2 |      771 |      662
721.96/722.37	c  721s |      16 |  6372824 |   133852 |    73172      2 |      771 |      662
724.26/724.63	c  723s |      16 |  6387168 |   134252 |    73172      2 |      771 |      662
726.36/726.78	c  725s |      16 |  6405255 |   134552 |    73172      2 |      771 |      662
728.76/729.14	c  728s |      16 |  6415576 |   134952 |    73172      2 |      771 |      662
731.46/731.87	c  731s |      16 |  6431787 |   135352 |    73172      2 |      771 |      662
733.46/733.89	c  733s |      16 |  6450309 |   135652 |    73172      2 |      771 |      662
735.56/735.92	c  735s |      16 |  6467384 |   135952 |    73172      2 |      771 |      662
737.77/738.16	c  737s |      16 |  6480221 |   136352 |    73172      2 |      771 |      662
740.66/741.02	c  740s |      16 |  6496396 |   136752 |    73172      2 |      771 |      662
742.86/743.28	c  742s |      16 |  6506850 |   137052 |    73172      2 |      771 |      662
745.25/745.67	c  744s |      16 |  6517171 |   137452 |    73172      2 |      771 |      662
747.95/748.39	c  747s |      16 |  6541426 |   137752 |    73172      2 |      771 |      662
750.15/750.59	c  749s |      16 |  6560277 |   138052 |    73172      2 |      771 |      662
752.25/752.64	c  751s |      16 |  6570466 |   138452 |    73172      2 |      771 |      662
754.55/754.96	c  754s |      16 |  6589446 |   138752 |    73172      2 |      771 |      662
757.25/757.63	c  756s |      16 |  6611501 |   139052 |    73172      2 |      771 |      662
759.45/759.82	c  758s |      16 |  6618357 |   139552 |    73172      2 |      771 |      662
761.96/762.33	c  761s |      16 |  6627424 |   139952 |    73172      2 |      771 |      662
764.05/764.41	c  763s |      16 |  6637056 |   140252 |    73172      2 |      771 |      662
766.55/766.94	c  766s |      16 |  6657264 |   140652 |    73172      2 |      771 |      662
768.75/769.19	c  768s |      16 |  6673827 |   140852 |    73172      2 |      771 |      662
771.35/771.76	c  770s |      16 |  6699077 |   141252 |    73172      2 |      771 |      662
773.75/774.11	c  773s |      16 |  6706210 |   141552 |    73172      2 |      771 |      662
776.26/776.64	c  775s |      16 |  6709254 |   141952 |    73172      2 |      771 |      662
780.55/780.93	c  780s |      16 |  6727406 |   142352 |    73172      3 |      771 |      662
782.96/783.33	c  782s |      16 |  6746116 |   142852 |    73172      3 |      771 |      662
785.45/785.83	c  784s |      16 |  6764397 |   143352 |    73172      3 |      771 |      662
787.85/788.25	c  787s |      16 |  6782678 |   143852 |    73172      3 |      771 |      662
790.25/790.60	c  789s |      16 |  6808269 |   144252 |    73172      3 |      771 |      662
792.25/792.62	c  791s |      16 |  6816321 |   144652 |    73172      3 |      771 |      662
794.25/794.62	c  793s |      16 |  6833206 |   145052 |    73172      3 |      771 |      662
796.55/796.92	c  796s |      16 |  6845760 |   145452 |    73172      3 |      771 |      662
799.05/799.49	c  798s |      16 |  6867683 |   145952 |    73172      3 |      771 |      662
801.35/801.72	c  800s |      16 |  6892620 |   146352 |    73172      3 |      771 |      662
803.54/804.00	c  803s |      16 |  6895136 |   146852 |    73172      3 |      771 |      662
805.74/806.13	c  805s |      16 |  6912303 |   147252 |    73172      3 |      771 |      662
807.94/808.32	c  807s |      16 |  6921489 |   147652 |    73172      3 |      771 |      662
809.94/810.37	c  809s |      16 |  6944924 |   147952 |    73172      3 |      771 |      662
812.65/813.05	c  812s |      16 |  6963137 |   148452 |    73172      3 |      771 |      662
814.94/815.33	c  814s |      16 |  6980678 |   148952 |    73172      3 |      771 |      662
817.44/817.87	c  817s |      16 |  6999613 |   149452 |    73172      3 |      771 |      662
820.04/820.43	c  819s |      16 |  7020939 |   149952 |    73172      3 |      771 |      662
822.55/822.97	c  822s |      16 |  7043727 |   150352 |    73172      3 |      771 |      662
824.54/824.99	c  824s |      16 |  7060611 |   150752 |    73172      3 |      771 |      662
826.74/827.13	c  826s |      16 |  7083249 |   151052 |    73172      3 |      771 |      662
828.74/829.18	c  828s |      16 |  7100212 |   151352 |    73172      3 |      771 |      662
831.84/832.21	c  831s |      16 |  7108417 |   151852 |    73172      3 |      771 |      662
834.04/834.40	c  833s |      16 |  7116802 |   152352 |    73172      3 |      771 |      662
836.44/836.84	c  835s |      16 |  7136221 |   152752 |    73172      3 |      771 |      662
838.64/839.05	c  838s |      16 |  7146528 |   153052 |    73172      3 |      771 |      662
841.04/841.41	c  840s |      16 |  7149509 |   153252 |    73172      3 |      771 |      662
843.44/843.83	c  842s |      16 |  7171443 |   153652 |    73172      3 |      771 |      662
845.54/845.91	c  845s |      16 |  7186628 |   154052 |    73172      3 |      771 |      662
847.64/848.07	c  847s |      16 |  7201083 |   154452 |    73172      3 |      771 |      662
850.34/850.74	c  849s |      16 |  7220517 |   154852 |    73172      3 |      771 |      662
853.04/853.47	c  852s |      16 |  7240587 |   155152 |    73172      3 |      771 |      662
855.34/855.80	c  854s |      16 |  7252992 |   155552 |    73172      3 |      771 |      662
857.83/858.29	c  857s |      16 |  7274839 |   155952 |    73172      3 |      771 |      662
860.03/860.41	c  859s |      16 |  7293665 |   156252 |    73172      3 |      771 |      662
862.23/862.63	c  861s |      16 |  7316345 |   156552 |    73172      3 |      771 |      662
864.93/865.31	c  864s |      16 |  7324478 |   156852 |    73172      3 |      771 |      662
867.03/867.47	c  866s |      16 |  7335855 |   157052 |    73172      3 |      771 |      662
869.43/869.85	c  869s |      16 |  7356206 |   157352 |    73172      3 |      771 |      662
871.63/872.08	c  871s |      16 |  7376421 |   157652 |    73172      3 |      771 |      662
873.73/874.17	c  873s |      16 |  7390555 |   157952 |    73172      3 |      771 |      662
876.13/876.56	c  875s |      16 |  7407986 |   158352 |    73172      3 |      771 |      662
878.33/878.74	c  877s |      16 |  7428416 |   158652 |    73172      3 |      771 |      662
880.53/880.95	c  880s |      16 |  7449985 |   158952 |    73172      3 |      771 |      662
882.53/882.96	c  882s |      16 |  7459611 |   159352 |    73172      3 |      771 |      662
885.03/885.42	c  884s |      16 |  7483751 |   159652 |    73172      3 |      771 |      662
887.43/887.90	c  887s |      16 |  7505336 |   159952 |    73172      3 |      771 |      662
889.93/890.31	c  889s |      16 |  7523871 |   160352 |    73172      3 |      771 |      662
892.33/892.70	c  891s |      16 |  7538108 |   160752 |    73172      3 |      771 |      662
894.83/895.21	c  894s |      16 |  7551756 |   161152 |    73172      3 |      771 |      662
897.03/897.49	c  896s |      16 |  7567867 |   161452 |    73172      3 |      771 |      662
899.73/900.11	c  899s |      16 |  7587619 |   161852 |    73172      3 |      771 |      662
901.92/902.35	c  901s |      16 |  7603692 |   162252 |    73172      3 |      771 |      662
904.52/904.95	c  904s |      16 |  7625032 |   162552 |    73172      3 |      771 |      662
907.32/907.74	c  906s |      16 |  7644639 |   162952 |    73172      3 |      771 |      662
909.72/910.10	c  909s |      16 |  7660223 |   163252 |    73172      3 |      771 |      662
911.92/912.38	c  911s |      16 |  7675744 |   163552 |    73172      3 |      771 |      662
914.02/914.45	c  913s |      16 |  7687295 |   163852 |    73172      3 |      771 |      662
917.72/918.10	c  917s |      16 |  7706850 |   164352 |    73172      3 |      772 |      663
919.92/920.37	c  919s |      16 |  7723383 |   164652 |    73172      3 |      772 |      663
922.42/922.84	c  921s |      16 |  7742536 |   165152 |    73172      3 |      772 |      663
924.62/925.08	c  924s |      16 |  7760352 |   165552 |    73172      3 |      772 |      663
927.12/927.52	c  926s |      16 |  7773967 |   166052 |    73172      3 |      772 |      663
929.52/929.93	c  929s |      16 |  7793569 |   166452 |    73172      3 |      772 |      663
932.02/932.41	c  931s |      16 |  7812584 |   166852 |    73172      3 |      772 |      663
934.12/934.53	c  933s |      16 |  7831300 |   167252 |    73172      3 |      772 |      663
936.72/937.14	c  936s |      16 |  7848972 |   167752 |    73172      3 |      772 |      663
939.03/939.47	c  938s |      16 |  7864319 |   168152 |    73172      3 |      772 |      663
941.62/942.08	c  941s |      16 |  7866937 |   168652 |    73172      3 |      772 |      663
944.12/944.52	c  943s |      16 |  7875389 |   169152 |    73172      3 |      772 |      663
946.52/946.91	c  946s |      16 |  7896720 |   169452 |    73172      3 |      772 |      663
948.53/948.94	c  948s |      16 |  7910239 |   169752 |    73172      3 |      772 |      663
950.63/951.04	c  950s |      16 |  7925548 |   170152 |    73172      3 |      772 |      663
953.03/953.44	c  952s |      16 |  7946765 |   170552 |    73172      3 |      772 |      663
955.53/955.96	c  955s |      16 |  7963036 |   170952 |    73172      3 |      772 |      663
957.52/957.99	c  957s |      16 |  7969272 |   171352 |    73172      3 |      772 |      663
960.12/960.52	c  959s |      16 |  7988310 |   171652 |    73172      3 |      772 |      663
962.72/963.16	c  962s |      16 |  8009736 |   172052 |    73172      3 |      772 |      663
965.43/965.80	c  964s |      16 |  8031157 |   172452 |    73172      3 |      772 |      663
967.92/968.35	c  967s |      16 |  8043558 |   172952 |    73172      3 |      772 |      663
969.93/970.40	c  969s |      16 |  8057793 |   173452 |    73172      3 |      772 |      663
972.42/972.81	c  971s |      16 |  8078035 |   173852 |    73172      3 |      772 |      663
975.02/975.42	c  974s |      16 |  8099865 |   174152 |    73172      3 |      772 |      663
977.12/977.56	c  976s |      16 |  8118460 |   174452 |    73172      3 |      772 |      663
979.32/979.75	c  978s |      16 |  8135749 |   174752 |    73172      3 |      772 |      663
982.02/982.43	c  981s |      16 |  8159582 |   175152 |    73172      3 |      772 |      663
984.52/984.91	c  984s |      16 |  8168435 |   175552 |    73172      3 |      772 |      663
987.02/987.45	c  986s |      16 |  8183585 |   175952 |    73172      3 |      772 |      663
989.32/989.76	c  988s |      16 |  8196632 |   176452 |    73172      3 |      772 |      663
991.92/992.38	c  991s |      16 |  8198884 |   176852 |    73172      3 |      772 |      663
994.31/994.79	c  993s |      16 |  8216878 |   177152 |    73172      3 |      772 |      663
996.81/997.28	c  996s |      16 |  8230403 |   177552 |    73172      3 |      772 |      663
998.91/999.33	c  998s |      16 |  8242395 |   177852 |    73172      3 |      772 |      663
1001.21/1001.68	c 1000s |      16 |  8255579 |   178152 |    73172      3 |      772 |      663
1003.31/1003.72	c 1002s |      16 |  8271719 |   178452 |    73172      3 |      772 |      663
1005.61/1006.03	c 1005s |      16 |  8289698 |   178752 |    73172      3 |      772 |      663
1009.42/1009.88	c 1009s |      16 |  8299064 |   179052 |    73172      4 |      772 |      663
1011.62/1012.02	c 1011s |      16 |  8316346 |   179452 |    73172      4 |      772 |      663
1013.71/1014.10	c 1013s |      16 |  8331769 |   179852 |    73172      4 |      772 |      663
1016.02/1016.43	c 1015s |      16 |  8351469 |   180252 |    73172      4 |      772 |      663
1018.41/1018.83	c 1017s |      16 |  8369838 |   180652 |    73172      4 |      772 |      663
1021.11/1021.54	c 1020s |      16 |  8400323 |   181052 |    73172      4 |      772 |      663
1023.31/1023.70	c 1022s |      16 |  8422728 |   181452 |    73172      4 |      772 |      663
1025.71/1026.14	c 1025s |      16 |  8440360 |   182052 |    73172      4 |      772 |      663
1028.21/1028.66	c 1027s |      16 |  8460613 |   182552 |    73172      4 |      772 |      663
1030.91/1031.30	c 1030s |      16 |  8487962 |   182852 |    73172      4 |      772 |      663
1033.51/1033.95	c 1033s |      16 |  8508435 |   183252 |    73172      4 |      772 |      663
1036.11/1036.56	c 1035s |      16 |  8533603 |   183752 |    73172      4 |      772 |      663
1038.21/1038.62	c 1037s |      16 |  8551907 |   184052 |    73172      4 |      772 |      663
1040.31/1040.71	c 1039s |      16 |  8560625 |   184552 |    73172      4 |      772 |      663
1042.80/1043.20	c 1042s |      16 |  8581701 |   184952 |    73172      4 |      772 |      663
1045.00/1045.49	c 1044s |      16 |  8600386 |   185352 |    73172      4 |      772 |      663
1047.30/1047.73	c 1046s |      16 |  8622226 |   185752 |    73172      4 |      772 |      663
1049.70/1050.12	c 1049s |      16 |  8635503 |   186152 |    73172      4 |      772 |      663
1051.70/1052.13	c 1051s |      16 |  8636483 |   186452 |    73172      4 |      772 |      663
1054.00/1054.43	c 1053s |      16 |  8637613 |   186752 |    73172      4 |      772 |      663
1056.20/1056.61	c 1055s |      16 |  8638955 |   187052 |    73172      4 |      772 |      663
1058.21/1058.61	c 1057s |      16 |  8639634 |   187252 |    73172      4 |      772 |      663
1061.12/1061.51	c 1060s |      16 |  8640070 |   187452 |    73172      4 |      772 |      663
1063.61/1064.03	c 1063s |      16 |  8640615 |   187652 |    73172      4 |      772 |      663
1065.61/1066.09	c 1065s |      16 |  8641521 |   187852 |    73172      4 |      772 |      663
1068.01/1068.49	c 1067s |      16 |  8642110 |   188052 |    73172      4 |      772 |      663
1071.20/1071.63	c 1070s |      16 |  8643791 |   188352 |    73172      4 |      772 |      663
1074.10/1074.52	c 1073s |      16 |  8644919 |   188652 |    73172      4 |      772 |      663
1076.40/1076.80	c 1075s |      16 |  8662412 |   188952 |    73172      4 |      772 |      663
1078.40/1078.84	c 1077s |      16 |  8676778 |   189352 |    73172      4 |      772 |      663
1080.80/1081.30	c 1080s |      16 |  8697233 |   189752 |    73172      4 |      772 |      663
1083.60/1084.07	c 1083s |      16 |  8713049 |   190152 |    73172      4 |      772 |      663
1085.70/1086.18	c 1085s |      16 |  8732116 |   190552 |    73172      4 |      772 |      663
1088.20/1088.64	c 1087s |      16 |  8756036 |   190952 |    73172      4 |      772 |      663
1090.30/1090.80	c 1089s |      16 |  8765336 |   191452 |    73172      4 |      772 |      663
1092.50/1092.93	c 1092s |      16 |  8780321 |   191852 |    73172      4 |      772 |      663
1094.60/1095.06	c 1094s |      16 |  8799301 |   192252 |    73172      4 |      772 |      663
1097.00/1097.49	c 1096s |      16 |  8816957 |   192752 |    73172      4 |      772 |      663
1099.71/1100.14	c 1099s |      16 |  8839062 |   193152 |    73172      4 |      772 |      663
1102.10/1102.51	c 1101s |      16 |  8857893 |   193552 |    73172      4 |      772 |      663
1104.11/1104.54	c 1103s |      16 |  8883949 |   193852 |    73172      4 |      772 |      663
1106.60/1107.04	c 1106s |      16 |  8904104 |   194252 |    73172      4 |      772 |      663
1109.10/1109.53	c 1108s |      16 |  8921851 |   194752 |    73172      4 |      772 |      663
1111.81/1112.29	c 1111s |      16 |  8923834 |   195252 |    73172      4 |      772 |      663
1114.59/1115.04	c 1114s |      16 |  8924267 |   195452 |    73172      4 |      772 |      663
1116.99/1117.45	c 1116s |      16 |  8930924 |   195752 |    73172      4 |      773 |      664
1119.50/1119.99	c 1119s |      16 |  8948698 |   196252 |    80490      4 |      773 |      664
1121.89/1122.34	c 1121s |      16 |  8964647 |   196652 |    80490      4 |      773 |      664
1123.99/1124.46	c 1123s |      16 |  8986359 |   197052 |    80490      4 |      773 |      664
1126.00/1126.45	c 1125s |      17 |  9005089 |   197432 |    80490      4 |      773 |      664
1128.49/1128.91	c 1128s |      17 |  9020913 |   197732 |    80490      4 |      773 |      664
1130.69/1131.14	c 1130s |      17 |  9035124 |   198132 |    80490      4 |      773 |      664
1132.99/1133.42	c 1132s |      17 |  9057022 |   198532 |    80490      4 |      773 |      664
1135.09/1135.55	c 1134s |      17 |  9070300 |   198832 |    80490      4 |      773 |      664
1137.69/1138.19	c 1137s |      17 |  9080006 |   199232 |    80490      4 |      773 |      664
1139.90/1140.35	c 1139s |      17 |  9089533 |   199632 |    80490      4 |      773 |      664
1142.10/1142.57	c 1141s |      17 |  9090340 |   199932 |    80490      4 |      773 |      664
1144.50/1144.92	c 1144s |      17 |  9091648 |   200332 |    80490      4 |      773 |      664
1146.90/1147.36	c 1146s |      17 |  9092842 |   200632 |    80490      4 |      773 |      664
1149.30/1149.74	c 1148s |      17 |  9094910 |   201032 |    80490      4 |      773 |      664
1151.69/1152.17	c 1151s |      17 |  9106606 |   201432 |    80490      4 |      773 |      664
1154.09/1154.57	c 1153s |      17 |  9124243 |   201832 |    80490      4 |      773 |      664
1156.19/1156.66	c 1155s |      17 |  9133215 |   202232 |    80490      4 |      773 |      664
1158.89/1159.36	c 1158s |      17 |  9134669 |   202632 |    80490      4 |      773 |      664
1160.89/1161.38	c 1160s |      17 |  9136961 |   203132 |    80490      4 |      773 |      664
1162.99/1163.49	c 1162s |      17 |  9139697 |   203532 |    80490      4 |      773 |      664
1165.60/1166.02	c 1165s |      17 |  9160059 |   203932 |    80490      4 |      773 |      664
1167.80/1168.25	c 1167s |      17 |  9174264 |   204332 |    80490      4 |      773 |      664
1169.79/1170.29	c 1169s |      17 |  9193304 |   204632 |    80490      4 |      773 |      664
1172.09/1172.52	c 1171s |      17 |  9206935 |   205032 |    80490      4 |      773 |      664
1174.19/1174.61	c 1173s |      17 |  9216901 |   205432 |    80490      4 |      773 |      664
1176.59/1177.10	c 1176s |      17 |  9229942 |   205932 |    80490      4 |      773 |      664
1178.79/1179.29	c 1178s |      17 |  9246001 |   206232 |    80490      4 |      773 |      664
1181.39/1181.84	c 1180s |      17 |  9255429 |   206732 |    80490      4 |      773 |      664
1184.09/1184.55	c 1183s |      17 |  9278294 |   207132 |    80490      4 |      773 |      664
1186.49/1186.95	c 1186s |      17 |  9292839 |   207532 |    80490      4 |      773 |      664
1188.69/1189.14	c 1188s |      17 |  9307497 |   207932 |    80490      4 |      773 |      664
1191.28/1191.74	c 1190s |      17 |  9333991 |   208332 |    80490      4 |      773 |      664
1193.98/1194.41	c 1193s |      17 |  9354592 |   208732 |    80490      4 |      773 |      664
1196.28/1196.77	c 1195s |      17 |  9372672 |   209032 |    80490      4 |      773 |      664
1198.38/1198.86	c 1198s |      17 |  9386630 |   209332 |    80490      4 |      773 |      664
1200.58/1201.00	c 1200s |      17 |  9394335 |   209732 |    80490      4 |      773 |      664
1202.78/1203.29	c 1202s |      17 |  9411473 |   210132 |    80490      4 |      773 |      664
1205.08/1205.58	c 1204s |      17 |  9422670 |   210632 |    80490      4 |      773 |      664
1207.49/1207.92	c 1207s |      17 |  9437389 |   211032 |    80490      4 |      773 |      664
1209.98/1210.49	c 1209s |      17 |  9459383 |   211432 |    80490      4 |      773 |      664
1212.58/1213.08	c 1212s |      17 |  9480458 |   211732 |    80490      4 |      773 |      664
1214.78/1215.24	c 1214s |      17 |  9498527 |   212032 |    80490      4 |      773 |      664
1216.98/1217.43	c 1216s |      17 |  9509244 |   212432 |    80490      4 |      773 |      664
1219.08/1219.53	c 1218s |      17 |  9517464 |   212832 |    80490      4 |      773 |      664
1221.58/1222.04	c 1221s |      17 |  9529265 |   213432 |    80490      4 |      773 |      664
1224.28/1224.70	c 1223s |      17 |  9551639 |   213732 |    80490      4 |      773 |      664
1226.78/1227.21	c 1226s |      17 |  9574336 |   214132 |    80490      4 |      773 |      664
1228.78/1229.21	c 1228s |      17 |  9582230 |   214432 |    80490      4 |      773 |      664
1231.08/1231.55	c 1230s |      17 |  9598808 |   214832 |    80490      4 |      773 |      664
1233.48/1233.93	c 1233s |      17 |  9612629 |   215332 |    80490      4 |      773 |      664
1235.98/1236.41	c 1235s |      17 |  9627106 |   215732 |    80490      4 |      773 |      664
1238.08/1238.54	c 1237s |      17 |  9636619 |   216132 |    80490      4 |      773 |      664
1240.57/1241.02	c 1240s |      17 |  9654114 |   216532 |    80490      4 |      773 |      664
1242.68/1243.16	c 1242s |      17 |  9675127 |   216832 |    80490      4 |      773 |      664
1244.67/1245.17	c 1244s |      17 |  9691051 |   217132 |    80490      4 |      773 |      664
1246.87/1247.32	c 1246s |      17 |  9704643 |   217432 |    80490      4 |      773 |      664
1249.57/1250.00	c 1249s |      17 |  9725756 |   217832 |    80490      4 |      773 |      664
1251.57/1252.01	c 1251s |      17 |  9737326 |   218232 |    80490      4 |      773 |      664
1253.68/1254.13	c 1253s |      17 |  9753861 |   218532 |    80490      4 |      773 |      664
1255.78/1256.22	c 1255s |      17 |  9768176 |   218832 |    80490      4 |      773 |      664
1258.08/1258.57	c 1257s |      17 |  9774994 |   219232 |    80490      4 |      773 |      664
1260.67/1261.15	c 1260s |      17 |  9794608 |   219632 |    80490      4 |      773 |      664
1262.77/1263.24	c 1262s |      17 |  9803776 |   220032 |    80490      4 |      773 |      664
1265.57/1266.00	c 1265s |      17 |  9825895 |   220432 |    80490      4 |      773 |      664
1268.07/1268.51	c 1267s |      17 |  9839766 |   220832 |    80490      4 |      773 |      664
1270.18/1270.63	c 1269s |      17 |  9845497 |   221132 |    80490      4 |      773 |      664
1272.17/1272.65	c 1271s |      17 |  9859389 |   221432 |    80490      4 |      773 |      664
1274.77/1275.21	c 1274s |      17 |  9882018 |   221832 |    80490      4 |      773 |      664
1277.27/1277.74	c 1276s |      17 |  9898105 |   222232 |    80490      4 |      773 |      664
1279.67/1280.15	c 1279s |      17 |  9916203 |   222532 |    80490      4 |      773 |      664
1281.77/1282.29	c 1281s |      17 |  9930719 |   222932 |    80490      4 |      773 |      664
1283.87/1284.30	c 1283s |      17 |  9945665 |   223332 |    80490      4 |      773 |      664
1285.97/1286.48	c 1285s |      17 |  9958188 |   223632 |    80490      4 |      773 |      664
1288.17/1288.64	c 1287s |      17 |  9975867 |   223932 |    80490      4 |      773 |      664
1290.97/1291.44	c 1290s |      17 |  9994764 |   224332 |    80490      4 |      773 |      664
1295.38/1295.86	c 1295s |      17 | 10000590 |   224732 |    80490      5 |      773 |      664
1297.87/1298.30	c 1297s |      17 | 10027856 |   225132 |    80490      5 |      773 |      664
1299.88/1300.37	c 1299s |      17 | 10040933 |   225732 |    80490      5 |      773 |      664
1302.37/1302.87	c 1302s |      17 | 10058571 |   226232 |    80490      5 |      773 |      664
1305.28/1305.75	c 1304s |      17 | 10076549 |   226832 |    80490      5 |      773 |      664
1307.27/1307.77	c 1306s |      17 | 10089164 |   227232 |    80490      5 |      773 |      664
1309.68/1310.17	c 1309s |      17 | 10111291 |   227632 |    80490      5 |      773 |      664
1312.07/1312.57	c 1311s |      17 | 10131178 |   228032 |    80490      5 |      773 |      664
1314.57/1315.07	c 1314s |      17 | 10150878 |   228432 |    80490      5 |      773 |      664
1316.87/1317.38	c 1316s |      17 | 10169941 |   228832 |    80490      5 |      773 |      664
1319.37/1319.85	c 1319s |      17 | 10190567 |   229232 |    80490      5 |      773 |      664
1321.67/1322.14	c 1321s |      17 | 10206222 |   229632 |    80490      5 |      773 |      664
1323.77/1324.26	c 1323s |      17 | 10220031 |   230032 |    80490      5 |      773 |      664
1325.97/1326.47	c 1325s |      17 | 10227334 |   230532 |    80490      5 |      773 |      664
1327.97/1328.49	c 1327s |      17 | 10233630 |   231032 |    80490      5 |      773 |      664
1330.16/1330.64	c 1329s |      17 | 10244117 |   231532 |    80490      5 |      773 |      664
1332.56/1333.08	c 1332s |      17 | 10264358 |   231932 |    80490      5 |      773 |      664
1334.97/1335.42	c 1334s |      17 | 10269490 |   232332 |    80490      5 |      773 |      664
1337.06/1337.54	c 1336s |      17 | 10286654 |   232732 |    80490      5 |      773 |      664
1339.47/1339.92	c 1339s |      17 | 10305387 |   233132 |    80490      5 |      773 |      664
1341.57/1342.06	c 1341s |      17 | 10324897 |   233432 |    80490      5 |      773 |      664
1343.96/1344.45	c 1343s |      17 | 10336900 |   233832 |    80490      5 |      773 |      664
1346.36/1346.87	c 1346s |      17 | 10345581 |   234232 |    80490      5 |      773 |      664
1348.46/1348.93	c 1348s |      17 | 10363575 |   234532 |    80490      5 |      773 |      664
1351.06/1351.59	c 1350s |      17 | 10381895 |   234932 |    80490      5 |      773 |      664
1353.26/1353.79	c 1352s |      17 | 10396085 |   235332 |    80490      5 |      773 |      664
1355.56/1356.06	c 1355s |      17 | 10409696 |   235732 |    80490      5 |      773 |      664
1357.66/1358.17	c 1357s |      17 | 10415269 |   236132 |    80490      5 |      773 |      664
1359.86/1360.30	c 1359s |      17 | 10439778 |   236432 |    80490      5 |      773 |      664
1362.06/1362.54	c 1361s |      17 | 10446969 |   236932 |    80490      5 |      773 |      664
1364.36/1364.85	c 1364s |      17 | 10453634 |   237332 |    80490      5 |      773 |      664
1366.46/1366.91	c 1366s |      17 | 10454805 |   237632 |    80490      5 |      773 |      664
1368.76/1369.23	c 1368s |      17 | 10466075 |   237932 |    80490      5 |      773 |      664
1370.85/1371.39	c 1370s |      17 | 10472759 |   238332 |    80490      5 |      773 |      664
1373.05/1373.58	c 1372s |      17 | 10481569 |   238732 |    80490      5 |      773 |      664
1375.85/1376.33	c 1375s |      17 | 10502766 |   239132 |    80490      5 |      773 |      664
1377.96/1378.48	c 1377s |      17 | 10520043 |   239532 |    80490      5 |      773 |      664
1380.35/1380.86	c 1380s |      17 | 10530447 |   240032 |    80490      5 |      773 |      664
1382.55/1383.04	c 1382s |      17 | 10551237 |   240332 |    80490      5 |      773 |      664
1384.85/1385.32	c 1384s |      17 | 10570250 |   240732 |    80490      5 |      773 |      664
1387.15/1387.67	c 1386s |      17 | 10584800 |   241232 |    80490      5 |      773 |      664
1389.45/1389.96	c 1389s |      17 | 10600971 |   241732 |    80490      5 |      773 |      664
1391.95/1392.42	c 1391s |      17 | 10610509 |   242132 |    80490      5 |      773 |      664
1394.15/1394.63	c 1393s |      17 | 10624489 |   242432 |    80490      5 |      773 |      664
1396.15/1396.68	c 1395s |      17 | 10637727 |   242632 |    80490      5 |      774 |      665
1398.95/1399.46	c 1398s |      17 | 10663196 |   243032 |    80490      5 |      774 |      665
1400.96/1401.48	c 1400s |      17 | 10681547 |   243332 |    80490      5 |      774 |      665
1403.45/1403.97	c 1403s |      17 | 10701167 |   243732 |    80490      5 |      774 |      665
1405.85/1406.30	c 1405s |      17 | 10726072 |   244132 |    80490      5 |      774 |      665
1407.85/1408.32	c 1407s |      17 | 10742542 |   244432 |    80490      5 |      774 |      665
1409.86/1410.34	c 1409s |      17 | 10760460 |   244732 |    80490      5 |      774 |      665
1411.85/1412.36	c 1411s |      17 | 10772905 |   245132 |    80490      5 |      774 |      665
1414.16/1414.70	c 1413s |      17 | 10787177 |   245632 |    80490      5 |      774 |      665
1416.35/1416.86	c 1416s |      17 | 10789275 |   246032 |    80490      5 |      774 |      665
1419.25/1419.75	c 1418s |      17 | 10790131 |   246332 |    80490      5 |      774 |      665
1421.35/1421.82	c 1420s |      17 | 10790576 |   246532 |    80490      5 |      774 |      665
1423.55/1424.09	c 1423s |      17 | 10808134 |   246932 |    80490      5 |      774 |      665
1425.95/1426.49	c 1425s |      17 | 10817737 |   247432 |    80490      5 |      774 |      665
1428.35/1428.82	c 1427s |      17 | 10837979 |   247732 |    80490      5 |      774 |      665
1430.45/1430.97	c 1430s |      17 | 10854946 |   248032 |    80490      5 |      774 |      665
1432.96/1433.43	c 1432s |      17 | 10877324 |   248432 |    80490      5 |      774 |      665
1435.25/1435.79	c 1434s |      17 | 10896363 |   248832 |    80490      5 |      774 |      665
1437.65/1438.13	c 1437s |      17 | 10912534 |   249232 |    80490      5 |      774 |      665
1440.45/1440.97	c 1440s |      17 | 10934656 |   249632 |    80490      5 |      774 |      665
1442.75/1443.25	c 1442s |      17 | 10955524 |   250032 |    80490      5 |      774 |      665
1445.25/1445.74	c 1444s |      17 | 10979588 |   250432 |    80490      5 |      774 |      665
1447.75/1448.26	c 1447s |      17 | 10997127 |   250832 |    80490      5 |      774 |      665
1450.35/1450.86	c 1450s |      17 | 11018780 |   251232 |    80490      5 |      774 |      665
1452.55/1453.10	c 1452s |      17 | 11033602 |   251632 |    80490      5 |      774 |      665
1455.25/1455.76	c 1454s |      17 | 11056202 |   252032 |    80490      5 |      774 |      665
1457.45/1457.93	c 1457s |      17 | 11074178 |   252332 |    80490      5 |      774 |      665
1459.95/1460.40	c 1459s |      17 | 11096357 |   252732 |    80490      5 |      774 |      665
1462.14/1462.65	c 1461s |      17 | 11117750 |   253132 |    80490      5 |      774 |      665
1464.44/1464.95	c 1464s |      17 | 11130702 |   253332 |    80490      5 |      775 |      666
1466.84/1467.39	c 1466s |      17 | 11147504 |   253732 |    80490      5 |      775 |      666
1468.94/1469.46	c 1468s |      17 | 11168092 |   254032 |    80490      5 |      775 |      666
1471.04/1471.58	c 1470s |      17 | 11189442 |   254332 |    80490      5 |      775 |      666
1473.55/1474.01	c 1473s |      17 | 11210653 |   254632 |    80490      5 |      775 |      666
1475.75/1476.27	c 1475s |      17 | 11230092 |   255032 |    80490      5 |      775 |      666
1478.05/1478.57	c 1477s |      17 | 11234842 |   255332 |    80490      5 |      776 |      667
1480.25/1480.77	c 1479s |      17 | 11252172 |   255632 |    80490      5 |      776 |      667
1482.45/1482.98	c 1482s |      17 | 11272716 |   255932 |    80490      5 |      776 |      667
1485.14/1485.66	c 1484s |      17 | 11294077 |   256332 |    80490      5 |      776 |      667
1487.64/1488.10	c 1487s |      17 | 11313483 |   256732 |    80490      5 |      776 |      667
1490.05/1490.54	c 1489s |      17 | 11332975 |   257032 |    80490      5 |      776 |      667
1492.54/1493.00	c 1492s |      17 | 11355882 |   257332 |    80490      5 |      776 |      667
1494.64/1495.12	c 1494s |      17 | 11374613 |   257632 |    80490      5 |      776 |      667
1497.14/1497.61	c 1496s |      17 | 11396150 |   258032 |    80490      5 |      776 |      667
1499.24/1499.73	c 1498s |      17 | 11410047 |   258432 |    80490      5 |      776 |      667
1501.84/1502.39	c 1501s |      17 | 11432705 |   258732 |    80490      5 |      776 |      667
1504.54/1505.00	c 1504s |      17 | 11448888 |   259232 |    80490      5 |      776 |      667
1506.74/1507.25	c 1506s |      17 | 11466389 |   259532 |    80490      5 |      776 |      667
1508.94/1509.44	c 1508s |      17 | 11481030 |   259932 |    80490      5 |      776 |      667
1511.54/1512.07	c 1511s |      17 | 11494736 |   260332 |    80490      5 |      776 |      667
1514.14/1514.61	c 1513s |      17 | 11511649 |   260732 |    80490      5 |      776 |      667
1516.84/1517.36	c 1516s |      17 | 11534416 |   261032 |    80490      5 |      776 |      667
1519.14/1519.69	c 1518s |      17 | 11551135 |   261432 |    80490      5 |      776 |      667
1521.43/1521.95	c 1521s |      17 | 11572090 |   261732 |    80490      5 |      776 |      667
1523.63/1524.15	c 1523s |      17 | 11576711 |   262132 |    80490      5 |      776 |      667
1526.34/1526.81	c 1525s |      17 | 11588791 |   262532 |    80490      5 |      776 |      667
1528.54/1529.02	c 1528s |      17 | 11605878 |   262832 |    80490      5 |      776 |      667
1530.93/1531.40	c 1530s |      17 | 11622822 |   263232 |    80490      5 |      776 |      667
1533.13/1533.67	c 1532s |      17 | 11639713 |   263532 |    80490      5 |      776 |      667
1535.83/1536.34	c 1535s |      17 | 11657589 |   263932 |    80490      5 |      776 |      667
1538.44/1538.92	c 1538s |      17 | 11675562 |   264332 |    80490      5 |      776 |      667
1540.74/1541.27	c 1540s |      17 | 11680043 |   264732 |    80490      5 |      776 |      667
1543.43/1543.94	c 1543s |      17 | 11681783 |   265132 |    80490      5 |      776 |      667
1545.73/1546.24	c 1545s |      17 | 11688765 |   265432 |    80490      5 |      776 |      667
1548.23/1548.75	c 1547s |      17 | 11704957 |   265732 |    80490      5 |      776 |      667
1551.74/1552.29	c 1551s |      17 | 11717468 |   266032 |    80490      6 |      776 |      667
1554.33/1554.85	c 1554s |      17 | 11743663 |   266532 |    80490      6 |      776 |      667
1556.43/1556.91	c 1556s |      17 | 11759169 |   266932 |    80490      6 |      776 |      667
1558.73/1559.27	c 1558s |      17 | 11781116 |   267332 |    80490      6 |      776 |      667
1561.23/1561.70	c 1560s |      17 | 11806075 |   267832 |    80490      6 |      776 |      667
1563.43/1563.90	c 1563s |      17 | 11828678 |   268232 |    80490      6 |      776 |      667
1565.83/1566.36	c 1565s |      17 | 11849722 |   268632 |    80490      6 |      776 |      667
1568.23/1568.74	c 1567s |      17 | 11869975 |   269132 |    80490      6 |      776 |      667
1570.43/1570.98	c 1570s |      17 | 11885555 |   269532 |    80490      6 |      776 |      667
1572.72/1573.26	c 1572s |      17 | 11899248 |   269932 |    80490      6 |      776 |      667
1574.73/1575.26	c 1574s |      17 | 11900862 |   270332 |    80490      6 |      776 |      667
1577.03/1577.54	c 1576s |      17 | 11901894 |   270632 |    80490      6 |      776 |      667
1579.42/1579.91	c 1579s |      17 | 11915573 |   271032 |    80490      6 |      776 |      667
1582.32/1582.86	c 1582s |      17 | 11916639 |   271432 |    80490      6 |      776 |      667
1584.52/1585.01	c 1584s |      17 | 11931655 |   271832 |    80490      6 |      776 |      667
1586.72/1587.21	c 1586s |      17 | 11951875 |   272232 |    80490      6 |      776 |      667
1588.83/1589.38	c 1588s |      17 | 11969872 |   272632 |    80490      6 |      776 |      667
1590.83/1591.39	c 1590s |      17 | 11988815 |   273032 |    80490      6 |      776 |      667
1593.03/1593.50	c 1592s |      17 | 12004358 |   273532 |    80490      6 |      776 |      667
1595.33/1595.87	c 1595s |      17 | 12026036 |   273932 |    80490      6 |      776 |      667
1597.63/1598.14	c 1597s |      17 | 12043125 |   274332 |    80490      6 |      776 |      667
1600.13/1600.64	c 1599s |      17 | 12054336 |   274732 |    80490      6 |      776 |      667
1602.23/1602.71	c 1601s |      17 | 12074857 |   275132 |    80490      6 |      776 |      667
1604.33/1604.86	c 1604s |      17 | 12090091 |   275632 |    80490      6 |      776 |      667
1606.82/1607.38	c 1606s |      17 | 12113557 |   276032 |    80490      6 |      776 |      667
1609.22/1609.71	c 1608s |      17 | 12136993 |   276432 |    80490      6 |      776 |      667
1611.52/1612.02	c 1611s |      17 | 12147235 |   277032 |    80490      6 |      776 |      667
1613.72/1614.26	c 1613s |      17 | 12167498 |   277532 |    80490      6 |      776 |      667
1615.72/1616.28	c 1615s |      17 | 12178574 |   278032 |    80490      6 |      776 |      667
1617.82/1618.39	c 1617s |      17 | 12190956 |   278432 |    80490      6 |      776 |      667
1620.42/1620.96	c 1620s |      17 | 12216331 |   278932 |    80490      6 |      776 |      667
1622.82/1623.33	c 1622s |      17 | 12239263 |   279332 |    80490      6 |      776 |      667
1625.12/1625.60	c 1624s |      17 | 12260070 |   279732 |    80490      6 |      776 |      667
1627.12/1627.60	c 1626s |      17 | 12279105 |   280032 |    80490      6 |      776 |      667
1629.22/1629.79	c 1628s |      17 | 12296678 |   280432 |    80490      6 |      776 |      667
1631.72/1632.20	c 1631s |      17 | 12306059 |   280832 |    80490      6 |      776 |      667
1633.92/1634.40	c 1633s |      17 | 12318489 |   281332 |    80490      6 |      776 |      667
1636.22/1636.73	c 1635s |      17 | 12330634 |   281832 |    80490      6 |      776 |      667
1638.42/1638.99	c 1638s |      17 | 12331625 |   282232 |    80490      6 |      776 |      667
1640.62/1641.16	c 1640s |      17 | 12346205 |   282632 |    80490      6 |      776 |      667
1642.82/1643.31	c 1642s |      17 | 12356965 |   283132 |    80490      6 |      776 |      667
1645.01/1645.52	c 1644s |      17 | 12364399 |   283632 |    80490      6 |      776 |      667
1647.11/1647.64	c 1646s |      17 | 12377389 |   284032 |    80490      6 |      776 |      667
1649.21/1649.77	c 1648s |      17 | 12392014 |   284432 |    80490      6 |      776 |      667
1651.41/1651.90	c 1651s |      17 | 12405413 |   284732 |    80490      6 |      776 |      667
1653.51/1654.03	c 1653s |      17 | 12421052 |   285132 |    80490      6 |      776 |      667
1655.61/1656.11	c 1655s |      17 | 12437689 |   285532 |    80490      6 |      776 |      667
1657.81/1658.34	c 1657s |      17 | 12451974 |   285932 |    80490      6 |      776 |      667
1659.91/1660.41	c 1659s |      17 | 12469833 |   286232 |    80490      6 |      776 |      667
1661.91/1662.49	c 1661s |      17 | 12488252 |   286532 |    80490      6 |      776 |      667
1664.01/1664.59	c 1663s |      17 | 12500362 |   286832 |    80490      6 |      776 |      667
1666.31/1666.89	c 1666s |      17 | 12519860 |   287232 |    80490      6 |      776 |      667
1668.81/1669.33	c 1668s |      17 | 12531302 |   287632 |    80490      6 |      776 |      667
1671.71/1672.21	c 1671s |      17 | 12535257 |   288032 |    80490      6 |      776 |      667
1673.71/1674.22	c 1673s |      17 | 12550452 |   288332 |    80490      6 |      776 |      667
1675.91/1676.48	c 1675s |      17 | 12561391 |   288832 |    80490      6 |      776 |      667
1678.01/1678.53	c 1677s |      17 | 12572334 |   289232 |    80490      6 |      776 |      667
1680.21/1680.77	c 1679s |      17 | 12583672 |   289632 |    80490      6 |      776 |      667
1682.21/1682.78	c 1681s |      17 | 12595027 |   290032 |    80490      6 |      776 |      667
1684.31/1684.85	c 1684s |      17 | 12598011 |   290432 |    80490      6 |      776 |      667
1686.61/1687.12	c 1686s |      17 | 12599541 |   290832 |    80490      6 |      776 |      667
1688.61/1689.18	c 1688s |      17 | 12600238 |   291132 |    80490      6 |      776 |      667
1691.01/1691.50	c 1690s |      17 | 12601943 |   291432 |    80490      6 |      776 |      667
1693.20/1693.78	c 1692s |      17 | 12603156 |   291732 |    80490      6 |      776 |      667
1695.30/1695.80	c 1694s |      17 | 12603900 |   291932 |    80490      6 |      776 |      667
1697.70/1698.25	c 1697s |      17 | 12619614 |   292332 |    80490      6 |      776 |      667
1700.11/1700.65	c 1699s |      17 | 12633679 |   292732 |    80490      6 |      776 |      667
1702.20/1702.73	c 1701s |      17 | 12648108 |   293132 |    80490      6 |      776 |      667
1704.71/1705.20	c 1704s |      17 | 12659068 |   293532 |    80490      6 |      776 |      667
1707.01/1707.54	c 1706s |      17 | 12673605 |   293932 |    80490      6 |      776 |      667
1709.02/1709.54	c 1708s |      17 | 12675199 |   294332 |    88539      6 |      776 |      667
1711.22/1711.76	c 1710s |      17 | 12676348 |   294632 |    88539      6 |      776 |      667
1713.61/1714.10	c 1713s |      17 | 12677290 |   294832 |    88539      6 |      776 |      667
1715.71/1716.23	c 1715s |      17 | 12678049 |   295032 |    88539      6 |      776 |      667
1718.91/1719.40	c 1718s |      17 | 12678801 |   295232 |    88539      6 |      776 |      667
1721.30/1721.81	c 1720s |      17 | 12680173 |   295532 |    88539      6 |      776 |      667
1723.61/1724.17	c 1723s |      17 | 12681405 |   295732 |    88539      6 |      776 |      667
1725.61/1726.19	c 1725s |      17 | 12682190 |   295932 |    88539      6 |      776 |      667
1728.51/1729.03	c 1728s |      17 | 12682689 |   296132 |    88539      6 |      776 |      667
1729.81/1730.38	c 1729s |      18 | 12683120 |   296252 |    88539      6 |      776 |      667
1732.50/1733.06	c 1732s |      18 | 12697829 |   296452 |    88539      6 |      776 |      667
1735.50/1736.07	c 1735s |      18 | 12716006 |   296952 |    88539      6 |      776 |      667
1737.61/1738.19	c 1737s |      18 | 12734702 |   297252 |    88539      6 |      776 |      667
1739.71/1740.28	c 1739s |      18 | 12749829 |   297552 |    88539      6 |      776 |      667
1742.10/1742.67	c 1741s |      18 | 12756994 |   297952 |    88539      6 |      776 |      667
1744.50/1745.09	c 1744s |      18 | 12769309 |   298352 |    88539      6 |      776 |      667
1746.80/1747.33	c 1746s |      18 | 12780897 |   298652 |    88539      6 |      776 |      667
1749.20/1749.77	c 1748s |      18 | 12792037 |   299052 |    88539      6 |      776 |      667
1751.60/1752.18	c 1751s |      18 | 12793486 |   299452 |    88539      6 |      776 |      667
1753.90/1754.41	c 1753s |      18 | 12793865 |   299652 |    88539      6 |      776 |      667
1756.50/1757.01	c 1756s |      18 | 12794389 |   299852 |    88539      6 |      776 |      667
1758.79/1759.39	c 1758s |      18 | 12795837 |   300152 |    88539      6 |      776 |      667
1761.09/1761.67	c 1760s |      18 | 12810680 |   300452 |    88539      6 |      776 |      667
1763.29/1763.82	c 1762s |      18 | 12827544 |   300752 |    88539      6 |      776 |      667
1765.39/1765.98	c 1765s |      18 | 12843319 |   301052 |    88539      6 |      776 |      667
1767.79/1768.40	c 1767s |      18 | 12860296 |   301452 |    88539      6 |      776 |      667
1769.89/1770.44	c 1769s |      18 | 12875145 |   301752 |    88539      6 |      776 |      667
1772.19/1772.76	c 1771s |      18 | 12888769 |   301952 |    88539      6 |      777 |      668
1774.19/1774.79	c 1773s |      18 | 12900525 |   302252 |    88539      6 |      777 |      668
1776.29/1776.87	c 1776s |      18 | 12923145 |   302552 |    88539      6 |      777 |      668
1778.39/1778.99	c 1778s |      18 | 12936665 |   302852 |    88539      6 |      777 |      668
1780.79/1781.34	c 1780s |      18 | 12956668 |   303252 |    88539      6 |      777 |      668
1783.19/1783.79	c 1782s |      18 | 12975285 |   303652 |    88539      6 |      777 |      668
1785.39/1785.94	c 1785s |      18 | 12992688 |   303952 |    88539      6 |      777 |      668
1787.99/1788.52	c 1787s |      18 | 13012759 |   304352 |    88539      6 |      777 |      668
1790.59/1791.12	c 1790s |      18 | 13031791 |   304752 |    88539      6 |      777 |      668
1792.89/1793.40	c 1792s |      18 | 13050340 |   305052 |    88539      6 |      777 |      668
1795.59/1796.13	c 1795s |      18 | 13072973 |   305452 |    88539      6 |      777 |      668
1798.19/1798.73	c 1797s |      18 | 13091319 |   305852 |    88539      6 |      777 |      668

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

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

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


[startup+0 s]
/proc/loadavg: 2.26 2.33 2.31 3/179 10334
/proc/meminfo: memFree=29166784/32872528 swapFree=16384/1696552
[pid=10334] ppid=10331 vsize=694716 CPUtime=0 cores=0,2,4,6
/proc/10334/stat : 10334 (toysat) R 10331 10334 5723 0 -1 4202496 2585 0 0 0 0 0 0 0 20 0 4 0 110428625 711389184 3457 33554432000 4194304 16246674 140734002900672 140734002900096 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10334/statm: 174447 3467 441 2943 0 171341 0
[pid=10334/tid=10335] ppid=10331 vsize=712124 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10335/stat : 10335 (toysat) S 10331 10334 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110428625 729214976 3525 33554432000 4194304 16246674 140734002900672 140059317611760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10334/tid=10336] ppid=10331 vsize=716220 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10336/stat : 10336 (toysat) S 10331 10334 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110428625 733409280 3541 33554432000 4194304 16246674 140734002900672 140059307121904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10334/tid=10337] ppid=10331 vsize=720316 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10337/stat : 10337 (toysat) S 10331 10334 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110428626 737603584 3557 33554432000 4194304 16246674 140734002900672 140059219061936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100159 s]
/proc/loadavg: 2.26 2.33 2.31 3/179 10334
/proc/meminfo: memFree=29166784/32872528 swapFree=16384/1696552
[pid=10334] ppid=10331 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/10334/stat : 10334 (toysat) R 10331 10334 5723 0 -1 4202496 27868 0 0 0 6 3 0 0 20 0 4 0 110428625 1333334016 28679 33554432000 4194304 16246674 140734002900672 140734002899984 7369730 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10334/statm: 325521 28694 800 2943 0 322415 0
[pid=10334/tid=10335] ppid=10331 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10335/stat : 10335 (toysat) S 10331 10334 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110428625 1333334016 28702 33554432000 4194304 16246674 140734002900672 140059317611760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10334/tid=10336] ppid=10331 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10336/stat : 10336 (toysat) S 10331 10334 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110428625 1333334016 28709 33554432000 4194304 16246674 140734002900672 140059307121904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10334/tid=10337] ppid=10331 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10337/stat : 10337 (toysat) S 10331 10334 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110428626 1333334016 28720 33554432000 4194304 16246674 140734002900672 140059219061936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200516 s]
/proc/loadavg: 2.26 2.33 2.31 3/179 10334
/proc/meminfo: memFree=29166784/32872528 swapFree=16384/1696552
[pid=10334] ppid=10331 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/10334/stat : 10334 (toysat) R 10331 10334 5723 0 -1 4202496 47619 0 0 0 13 6 0 0 20 0 4 0 110428625 1345916928 48940 33554432000 4194304 16246674 140734002900672 140734002899984 7361304 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10334/statm: 328593 48940 800 2943 0 325487 0
[pid=10334/tid=10335] ppid=10331 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10335/stat : 10335 (toysat) S 10331 10334 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110428625 1345916928 48940 33554432000 4194304 16246674 140734002900672 140059317611760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10334/tid=10336] ppid=10331 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10336/stat : 10336 (toysat) S 10331 10334 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110428625 1345916928 48940 33554432000 4194304 16246674 140734002900672 140059307121904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10334/tid=10337] ppid=10331 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10337/stat : 10337 (toysat) S 10331 10334 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110428626 1345916928 48940 33554432000 4194304 16246674 140734002900672 140059219061936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300498 s]
/proc/loadavg: 2.26 2.33 2.31 3/179 10334
/proc/meminfo: memFree=29166784/32872528 swapFree=16384/1696552
[pid=10334] ppid=10331 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/10334/stat : 10334 (toysat) R 10331 10334 5723 0 -1 4202496 56510 0 0 0 22 7 0 0 20 0 4 0 110428625 1345916928 57831 33554432000 4194304 16246674 140734002900672 140734002899984 4206604 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10334/statm: 328593 57831 800 2943 0 325487 0
[pid=10334/tid=10335] ppid=10331 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10335/stat : 10335 (toysat) S 10331 10334 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110428625 1345916928 57831 33554432000 4194304 16246674 140734002900672 140059317611760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10334/tid=10336] ppid=10331 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10336/stat : 10336 (toysat) S 10331 10334 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110428625 1345916928 57831 33554432000 4194304 16246674 140734002900672 140059307121904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10334/tid=10337] ppid=10331 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10337/stat : 10337 (toysat) S 10331 10334 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110428626 1345916928 57831 33554432000 4194304 16246674 140734002900672 140059219061936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700398 s]
/proc/loadavg: 2.26 2.33 2.31 3/179 10334
/proc/meminfo: memFree=29166784/32872528 swapFree=16384/1696552
[pid=10334] ppid=10331 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/10334/stat : 10334 (toysat) R 10331 10334 5723 0 -1 4202496 102325 0 0 0 54 15 0 0 20 0 4 0 110428625 1345916928 103647 33554432000 4194304 16246674 140734002900672 140734002882560 6972638 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10334/statm: 328593 103656 832 2943 0 325487 0
[pid=10334/tid=10335] ppid=10331 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10335/stat : 10335 (toysat) S 10331 10334 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110428625 1345916928 103662 33554432000 4194304 16246674 140734002900672 140059317611760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10334/tid=10336] ppid=10331 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10336/stat : 10336 (toysat) S 10331 10334 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110428625 1345916928 103668 33554432000 4194304 16246674 140734002900672 140059307121904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10334/tid=10337] ppid=10331 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10337/stat : 10337 (toysat) S 10331 10334 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110428626 1345916928 103674 33554432000 4194304 16246674 140734002900672 140059219061936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.5004 s]
/proc/loadavg: 2.26 2.33 2.31 4/182 10338
/proc/meminfo: memFree=28454256/32872528 swapFree=16384/1696552
[pid=10334] ppid=10331 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/10334/stat : 10334 (toysat) R 10331 10334 5723 0 -1 4202496 223726 0 0 0 119 30 0 0 20 0 4 0 110428625 1345916928 225048 33554432000 4194304 16246674 140734002900672 140734002882560 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10334/statm: 328593 225053 877 2943 0 325487 0
[pid=10334/tid=10335] ppid=10331 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10335/stat : 10335 (toysat) S 10331 10334 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110428625 1345916928 225057 33554432000 4194304 16246674 140734002900672 140059317611760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10334/tid=10336] ppid=10331 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10336/stat : 10336 (toysat) S 10331 10334 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110428625 1345916928 225061 33554432000 4194304 16246674 140734002900672 140059307121904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10334/tid=10337] ppid=10331 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10337/stat : 10337 (toysat) S 10331 10334 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110428626 1345916928 225065 33554432000 4194304 16246674 140734002900672 140059219061936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.1004 s]
/proc/loadavg: 2.26 2.33 2.31 4/182 10338
/proc/meminfo: memFree=28063292/32872528 swapFree=16384/1696552
[pid=10334] ppid=10331 vsize=1336900 CPUtime=3.09 cores=0,2,4,6
/proc/10334/stat : 10334 (toysat) R 10331 10334 5723 0 -1 4202496 274803 0 0 0 272 37 0 0 20 0 4 0 110428625 1368985600 276124 33554432000 4194304 16246674 140734002900672 140734002882560 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10334/statm: 334225 276124 880 2943 0 331119 0
[pid=10334/tid=10335] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10335/stat : 10335 (toysat) S 10331 10334 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276124 33554432000 4194304 16246674 140734002900672 140059317611760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10334/tid=10336] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10336/stat : 10336 (toysat) S 10331 10334 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276124 33554432000 4194304 16246674 140734002900672 140059307121904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10334/tid=10337] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10337/stat : 10337 (toysat) S 10331 10334 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110428626 1368985600 276124 33554432000 4194304 16246674 140734002900672 140059219061936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1336900

[startup+6.30041 s]
/proc/loadavg: 2.24 2.32 2.31 3/182 10338
/proc/meminfo: memFree=28062432/32872528 swapFree=16384/1696552
[pid=10334] ppid=10331 vsize=1336900 CPUtime=6.29 cores=0,2,4,6
/proc/10334/stat : 10334 (toysat) R 10331 10334 5723 0 -1 4202496 274891 0 0 0 592 37 0 0 20 0 4 0 110428625 1368985600 276212 33554432000 4194304 16246674 140734002900672 140734002882560 13962576 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10334/statm: 334225 276212 883 2943 0 331119 0
[pid=10334/tid=10335] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10335/stat : 10335 (toysat) S 10331 10334 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276212 33554432000 4194304 16246674 140734002900672 140059317611760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10334/tid=10336] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10336/stat : 10336 (toysat) S 10331 10334 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276212 33554432000 4194304 16246674 140734002900672 140059307121904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10334/tid=10337] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10337/stat : 10337 (toysat) S 10331 10334 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110428626 1368985600 276212 33554432000 4194304 16246674 140734002900672 140059219061936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1336900

[startup+12.7004 s]
/proc/loadavg: 2.22 2.32 2.31 3/183 10339
/proc/meminfo: memFree=28062300/32872528 swapFree=16384/1696552
[pid=10334] ppid=10331 vsize=1336900 CPUtime=12.69 cores=0,2,4,6
/proc/10334/stat : 10334 (toysat) R 10331 10334 5723 0 -1 4202496 274891 0 0 0 1232 37 0 0 20 0 4 0 110428625 1368985600 276212 33554432000 4194304 16246674 140734002900672 140734002882560 5664072 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10334/statm: 334225 276212 883 2943 0 331119 0
[pid=10334/tid=10335] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10335/stat : 10335 (toysat) S 10331 10334 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276212 33554432000 4194304 16246674 140734002900672 140059317611760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10334/tid=10336] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10336/stat : 10336 (toysat) S 10331 10334 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276212 33554432000 4194304 16246674 140734002900672 140059307121904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10334/tid=10337] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10337/stat : 10337 (toysat) S 10331 10334 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110428626 1368985600 276212 33554432000 4194304 16246674 140734002900672 140059219061936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1336900

[startup+25.5005 s]
/proc/loadavg: 2.24 2.32 2.31 3/183 10339
/proc/meminfo: memFree=28062796/32872528 swapFree=16384/1696552
[pid=10334] ppid=10331 vsize=1336900 CPUtime=25.48 cores=0,2,4,6
/proc/10334/stat : 10334 (toysat) R 10331 10334 5723 0 -1 4202496 274891 0 0 0 2511 37 0 0 20 0 4 0 110428625 1368985600 276212 33554432000 4194304 16246674 140734002900672 140734002882560 5829844 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10334/statm: 334225 276212 883 2943 0 331119 0
[pid=10334/tid=10335] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10335/stat : 10335 (toysat) S 10331 10334 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276212 33554432000 4194304 16246674 140734002900672 140059317611760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10334/tid=10336] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10336/stat : 10336 (toysat) S 10331 10334 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276212 33554432000 4194304 16246674 140734002900672 140059307121904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10334/tid=10337] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10337/stat : 10337 (toysat) S 10331 10334 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110428626 1368985600 276212 33554432000 4194304 16246674 140734002900672 140059219061936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1336900

[startup+51.1005 s]
/proc/loadavg: 2.29 2.32 2.31 3/183 10339
/proc/meminfo: memFree=28062884/32872528 swapFree=16384/1696552
[pid=10334] ppid=10331 vsize=1336900 CPUtime=51.09 cores=0,2,4,6
/proc/10334/stat : 10334 (toysat) R 10331 10334 5723 0 -1 4202496 274893 0 0 0 5071 38 0 0 20 0 4 0 110428625 1368985600 276214 33554432000 4194304 16246674 140734002900672 140734002882560 5723564 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10334/statm: 334225 276214 884 2943 0 331119 0
[pid=10334/tid=10335] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10335/stat : 10335 (toysat) S 10331 10334 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276214 33554432000 4194304 16246674 140734002900672 140059317611760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10334/tid=10336] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10336/stat : 10336 (toysat) S 10331 10334 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276214 33554432000 4194304 16246674 140734002900672 140059307121904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10334/tid=10337] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10337/stat : 10337 (toysat) S 10331 10334 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110428626 1368985600 276214 33554432000 4194304 16246674 140734002900672 140059219061936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1336900

[startup+102.3 s]
/proc/loadavg: 2.36 2.33 2.31 3/183 10340
/proc/meminfo: memFree=28061540/32872528 swapFree=16384/1696552
[pid=10334] ppid=10331 vsize=1336900 CPUtime=102.28 cores=0,2,4,6
/proc/10334/stat : 10334 (toysat) R 10331 10334 5723 0 -1 4202496 274897 0 0 0 10190 38 0 0 20 0 4 0 110428625 1368985600 276217 33554432000 4194304 16246674 140734002900672 140734002882560 5531784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10334/statm: 334225 276217 884 2943 0 331119 0
[pid=10334/tid=10335] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10335/stat : 10335 (toysat) S 10331 10334 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276217 33554432000 4194304 16246674 140734002900672 140059317611760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10334/tid=10336] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10336/stat : 10336 (toysat) S 10331 10334 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276217 33554432000 4194304 16246674 140734002900672 140059307121904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10334/tid=10337] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10337/stat : 10337 (toysat) S 10331 10334 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110428626 1368985600 276217 33554432000 4194304 16246674 140734002900672 140059219061936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1336900


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

/proc/10334/task/10337/stat : 10337 (toysat) S 10331 10334 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110428626 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059219061936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1336900

[startup+1302.3 s]
/proc/loadavg: 2.33 2.28 2.27 4/183 10419
/proc/meminfo: memFree=28057012/32872528 swapFree=16384/1696552
[pid=10334] ppid=10331 vsize=1336900 CPUtime=1301.87 cores=0,2,4,6
/proc/10334/stat : 10334 (toysat) R 10331 10334 5723 0 -1 4202496 275264 0 0 0 130139 48 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140734002882560 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10334/statm: 334225 276218 885 2943 0 331119 0
[pid=10334/tid=10335] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10335/stat : 10335 (toysat) S 10331 10334 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059317611760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10334/tid=10336] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10336/stat : 10336 (toysat) S 10331 10334 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059307121904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10334/tid=10337] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10337/stat : 10337 (toysat) S 10331 10334 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110428626 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059219061936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1336900

[startup+1362.3 s]
/proc/loadavg: 2.33 2.28 2.27 3/183 10420
/proc/meminfo: memFree=28056636/32872528 swapFree=16384/1696552
[pid=10334] ppid=10331 vsize=1336900 CPUtime=1361.86 cores=0,2,4,6
/proc/10334/stat : 10334 (toysat) R 10331 10334 5723 0 -1 4202496 275264 0 0 0 136138 48 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140734002882560 13965456 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10334/statm: 334225 276218 885 2943 0 331119 0
[pid=10334/tid=10335] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10335/stat : 10335 (toysat) S 10331 10334 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059317611760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10334/tid=10336] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10336/stat : 10336 (toysat) S 10331 10334 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059307121904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10334/tid=10337] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10337/stat : 10337 (toysat) S 10331 10334 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110428626 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059219061936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1336900

[startup+1422.3 s]
/proc/loadavg: 2.23 2.26 2.26 3/183 10421
/proc/meminfo: memFree=28057008/32872528 swapFree=16384/1696552
[pid=10334] ppid=10331 vsize=1336900 CPUtime=1421.86 cores=0,2,4,6
/proc/10334/stat : 10334 (toysat) R 10331 10334 5723 0 -1 4202496 275264 0 0 0 142137 49 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140734002899848 6072285 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10334/statm: 334225 276218 885 2943 0 331119 0
[pid=10334/tid=10335] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10335/stat : 10335 (toysat) S 10331 10334 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059317611760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10334/tid=10336] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10336/stat : 10336 (toysat) S 10331 10334 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059307121904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10334/tid=10337] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10337/stat : 10337 (toysat) S 10331 10334 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110428626 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059219061936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1336900

[startup+1482.3 s]
/proc/loadavg: 2.28 2.27 2.26 4/184 10425
/proc/meminfo: memFree=28057004/32872528 swapFree=16384/1696552
[pid=10334] ppid=10331 vsize=1336900 CPUtime=1481.84 cores=0,2,4,6
/proc/10334/stat : 10334 (toysat) R 10331 10334 5723 0 -1 4202496 275264 0 0 0 148135 49 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140734002882560 5676480 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10334/statm: 334225 276218 885 2943 0 331119 0
[pid=10334/tid=10335] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10335/stat : 10335 (toysat) S 10331 10334 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059317611760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10334/tid=10336] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10336/stat : 10336 (toysat) S 10331 10334 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059307121904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10334/tid=10337] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10337/stat : 10337 (toysat) S 10331 10334 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110428626 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059219061936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1336900

[startup+1542.31 s]
/proc/loadavg: 2.30 2.28 2.27 3/184 10450
/proc/meminfo: memFree=28056568/32872528 swapFree=16384/1696552
[pid=10334] ppid=10331 vsize=1336900 CPUtime=1541.84 cores=0,2,4,6
/proc/10334/stat : 10334 (toysat) R 10331 10334 5723 0 -1 4202496 275264 0 0 0 154135 49 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140734002882560 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10334/statm: 334225 276218 885 2943 0 331119 0
[pid=10334/tid=10335] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10335/stat : 10335 (toysat) S 10331 10334 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059317611760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10334/tid=10336] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10336/stat : 10336 (toysat) S 10331 10334 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059307121904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10334/tid=10337] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10337/stat : 10337 (toysat) S 10331 10334 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110428626 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059219061936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1336900

[startup+1602.3 s]
/proc/loadavg: 2.23 2.25 2.26 4/183 10451
/proc/meminfo: memFree=28056328/32872528 swapFree=16384/1696552
[pid=10334] ppid=10331 vsize=1336900 CPUtime=1601.83 cores=0,2,4,6
/proc/10334/stat : 10334 (toysat) R 10331 10334 5723 0 -1 4202496 275264 0 0 0 160133 50 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140734002883672 13927324 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10334/statm: 334225 276218 885 2943 0 331119 0
[pid=10334/tid=10335] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10335/stat : 10335 (toysat) S 10331 10334 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059317611760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10334/tid=10336] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10336/stat : 10336 (toysat) S 10331 10334 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059307121904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10334/tid=10337] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10337/stat : 10337 (toysat) S 10331 10334 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110428626 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059219061936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1336900

[startup+1662.3 s]
/proc/loadavg: 2.35 2.28 2.27 4/183 10452
/proc/meminfo: memFree=28056696/32872528 swapFree=16384/1696552
[pid=10334] ppid=10331 vsize=1336900 CPUtime=1661.81 cores=0,2,4,6
/proc/10334/stat : 10334 (toysat) R 10331 10334 5723 0 -1 4202496 275264 0 0 0 166131 50 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140734002882560 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10334/statm: 334225 276218 885 2943 0 331119 0
[pid=10334/tid=10335] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10335/stat : 10335 (toysat) S 10331 10334 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059317611760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10334/tid=10336] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10336/stat : 10336 (toysat) S 10331 10334 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059307121904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10334/tid=10337] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10337/stat : 10337 (toysat) S 10331 10334 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110428626 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059219061936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1336900

[startup+1722.3 s]
/proc/loadavg: 2.23 2.26 2.26 3/183 10453
/proc/meminfo: memFree=28056448/32872528 swapFree=16384/1696552
[pid=10334] ppid=10331 vsize=1336900 CPUtime=1721.8 cores=0,2,4,6
/proc/10334/stat : 10334 (toysat) R 10331 10334 5723 0 -1 4202496 275264 0 0 0 172129 51 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140734002882560 5721840 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10334/statm: 334225 276218 885 2943 0 331119 0
[pid=10334/tid=10335] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10335/stat : 10335 (toysat) S 10331 10334 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059317611760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10334/tid=10336] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10336/stat : 10336 (toysat) S 10331 10334 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059307121904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10334/tid=10337] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10337/stat : 10337 (toysat) S 10331 10334 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110428626 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059219061936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1336900

[startup+1782.3 s]
/proc/loadavg: 2.17 2.24 2.25 3/183 10454
/proc/meminfo: memFree=28055964/32872528 swapFree=16384/1696552
[pid=10334] ppid=10331 vsize=1336900 CPUtime=1781.79 cores=0,2,4,6
/proc/10334/stat : 10334 (toysat) R 10331 10334 5723 0 -1 4202496 275264 0 0 0 178127 52 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140734002882560 5676564 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10334/statm: 334225 276218 885 2943 0 331119 0
[pid=10334/tid=10335] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10335/stat : 10335 (toysat) S 10331 10334 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059317611760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10334/tid=10336] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10336/stat : 10336 (toysat) S 10331 10334 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059307121904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10334/tid=10337] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10337/stat : 10337 (toysat) S 10331 10334 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110428626 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059219061936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1336900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.28 2.26 2.26 3/183 10454
/proc/meminfo: memFree=28056336/32872528 swapFree=16384/1696552
[pid=10334] ppid=10331 vsize=1336900 CPUtime=1800.09 cores=0,2,4,6
/proc/10334/stat : 10334 (toysat) R 10331 10334 5723 0 -1 4202496 275264 0 0 0 179957 52 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140734002882560 5828829 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10334/statm: 334225 276218 885 2943 0 331119 0
[pid=10334/tid=10335] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10335/stat : 10335 (toysat) S 10331 10334 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059317611760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10334/tid=10336] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10336/stat : 10336 (toysat) S 10331 10334 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110428625 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059307121904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10334/tid=10337] ppid=10331 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/10334/task/10337/stat : 10337 (toysat) S 10331 10334 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110428626 1368985600 276218 33554432000 4194304 16246674 140734002900672 140059219061936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1336900

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1799.58
CPU system time (s): 0.529919
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 1336900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.529919
maximum resident set size= 1104872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275264
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= 385
involuntary context switches= 1892

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6153 second user time and 6.90395 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-07 09:35:56
IDJOB=4078919
IDBENCH=90145
IDSOLVER=2542
FILE ID=node125/4078919-1465284955
RUNJOBID= node125-1465259688-5739
PBS_JOBID= 19843289
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K199.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078919-1465284955/watcher-4078919-1465284955 -o /tmp/evaluation-result-4078919-1465284955/solver-4078919-1465284955 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5739 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078919-1465284955.opb

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

MD5SUM BENCH= 2cd10947adfbc402d943437a9cfa9f95
RANDOM SEED=1919319083

node125.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.456
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	: 5332.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29167056 kB
Buffers:           31368 kB
Cached:           152380 kB
SwapCached:         1700 kB
Active:          1135692 kB
Inactive:         125624 kB
Active(anon):    1075056 kB
Inactive(anon):     4772 kB
Active(file):      60636 kB
Inactive(file):   120852 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098580 kB
Dirty:             17872 kB
Writeback:             0 kB
AnonPages:       2775468 kB
Mapped:            10664 kB
Shmem:                 0 kB
Slab:             609116 kB
SReclaimable:      53064 kB
SUnreclaim:       556052 kB
KernelStack:        1512 kB
PageTables:         9684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2919848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2662400 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= 71708 MiB
End job on node125 at 2016-06-07 10:05:56