Trace number 4078909

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K167.opb
MD5SUM828e3d173a352fe2cabe4815c21f6f3f
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 variables19873
Total number of constraints20209
Number of constraints which are clauses20042
Number of constraints which are cardinality constraints (but not clauses)167
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint167
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 168
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:22:43+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-4078909-1465284163.opb"]
0.00/0.01	c use --random-gen="648013284 1599515493 422638299 3001291684 1170428457 3448586763 302372056 3676330083 1732218 4132631635 2530844538 4251520191 1836120557 2217423222 995523757 1638965576 1842642186 1425471726 4209694105 4107892935 740668488 1257432987 2113591825 541174094 2520394266 290834186 1440672894 3220913027 3524236875 3642165915 3856825840 3554276239 2968196666 2669420885 3886732352 1878588475 719842924 885261158 4081825208 3044929707 505874457 483010154 4214431221 2788648229 480183217 2009380867 1066469175 3349322832 4067739152 491153258 1063120174 4106470174 2823749933 4131295675 427156273 3968215732 3245632727 4115770039 3118021542 272346256 3907312202 1085845762 2200067512 4068457890 1328749106 3539268161 83032989 2517489940 1623597620 3330443222 2582626036 2341182645 2881167916 2844734739 883177017 2050868503 2522034233 519234054 3593476415 517807764 191796461 4708459 1997048161 2768614847 3427428956 1178389295 1469158213 3666898534 3638419231 3745459024 4145728802 2154863529 1539949435 644749737 1552922574 645787509 3175334158 3757980449 652237170 4179277514 2813622730 2140234090 4134480523 1097063757 3737329423 568121493 762299679 3322102845 1378317070 4204825096 403739504 1571970449 3552183089 1007748177 1133099162 4088859416 2922407794 3155711756 971236036 2021750836 982733275 1674225604 2009549891 3856716706 754749190 4146806143 3607840129 1572013821 516112083 2804928220 3961612945 3620853725 2936992257 557736901 71011760 2236361521 1097140475 4146066583 872074292 1888263539 351203035 156271201 3360929402 3796533748 1363128981 4162168495 384800846 1493332851 2809897066 2223529964 368556014 2445261684 1705088058 607710384 4122078692 842625025 1147471411 823432099 135748750 1384210911 1106641233 1381879545 473163130 2235576914 2302870762 3090288092 157552363 3310905395 1325188509 4043886644 4159943582 3754346319 1574976413 505710313 2639441325 2903844020 3000743222 3243120717 3373698801 2250116811 1064100552 2099050485 1694520288 1153103128 1333099816 2643495388 2904163173 4162200267 649502189 417826311 319962976 1800606962 2801923254 2813471468 2464410835 1847164005 3830103399 3677787975 374226568 161576263 26704422 2576518079 2371269589 291710341 881764224 2249365261 692840652 2527695622 860698238 2120085989 2784933588 1788071700 3670301832 1959863806 2351280868 3167240406 854753983 1572639901 3371533944 2272821630 2279845895 2069848725 3369484857 1759025193 981830838 106281003 1776178295 2641973792 1546645028 1890322831 3667804621 2716249557 2793756893 1423466022 2843808718 987480547 1040395773 2797599231 2971936323 1964057554 3984035251 1141588461 138110090 3756387842 2413728488 4138972727 2958668720 2041701277 2474514797 4085456992 2508819626 3899642552 646356013 3536313281 4059996288 4028243891 255 362436" option to reproduce the execution
0.19/0.29	c #vars 19873
0.19/0.29	c #constraints 20209
0.69/0.74	c Solving starts ...
0.69/0.74	c ============================[ Search Statistics ]============================
0.69/0.74	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.74	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.74	c =============================================================================
0.69/0.74	c  0.0s |       0 |        0 |        0 |    13360      0 |      742 |        0
1.59/1.66	c  0.9s |       1 |    13071 |      100 |    13360      0 |      743 |      634
2.19/2.27	c  1.5s |       2 |    23744 |      250 |    14697      0 |      743 |      634
2.99/3.02	c  2.3s |       3 |    33639 |      475 |    16167      0 |      744 |      635
3.99/4.03	c  3.3s |       4 |    55486 |      813 |    17784      0 |      745 |      636
5.49/5.57	c  4.8s |       5 |    80435 |     1320 |    19563      0 |      746 |      637
7.49/7.57	c  6.8s |       6 |   112691 |     2081 |    23673      0 |      746 |      637
9.59/9.67	c  8.9s |       6 |   145919 |     2681 |    23673      0 |      749 |      640
10.99/11.10	c 10.4s |       7 |   163272 |     3223 |    26041      0 |      750 |      641
13.39/13.48	c 12.7s |       7 |   167192 |     4023 |    26041      0 |      750 |      641
15.49/15.57	c 14.8s |       7 |   189781 |     4623 |    26041      0 |      751 |      642
16.38/16.50	c 15.8s |       8 |   204082 |     4936 |    28646      0 |      752 |      643
18.69/18.75	c 18.0s |       8 |   241062 |     5536 |    28646      0 |      752 |      643
20.89/20.92	c 20.2s |       8 |   275922 |     6236 |    28646      0 |      752 |      643
22.88/22.97	c 22.2s |       8 |   300972 |     6836 |    28646      0 |      753 |      644
25.08/25.14	c 24.4s |       8 |   335291 |     7436 |    28646      0 |      753 |      644
25.39/25.43	c 24.7s |       9 |   340729 |     7506 |    31511      0 |      753 |      644
27.59/27.62	c 26.9s |       9 |   372908 |     8106 |    31511      0 |      753 |      644
29.58/29.64	c 28.9s |       9 |   396515 |     8906 |    31511      0 |      753 |      644
31.89/31.94	c 31.2s |       9 |   426307 |     9606 |    31511      0 |      753 |      644
33.88/33.98	c 33.2s |       9 |   447054 |    10206 |    31511      0 |      753 |      644
36.18/36.22	c 35.5s |       9 |   474532 |    10806 |    31511      0 |      754 |      645
38.08/38.12	c 37.4s |      10 |   501130 |    11361 |    34663      0 |      754 |      645
40.38/40.42	c 39.7s |      10 |   519319 |    11861 |    34663      0 |      756 |      647
42.58/42.65	c 41.9s |      10 |   544631 |    12561 |    34663      0 |      756 |      647
44.88/44.92	c 44.2s |      10 |   566390 |    13261 |    34663      0 |      756 |      647
47.28/47.31	c 46.6s |      10 |   568638 |    13661 |    34663      0 |      756 |      647
49.59/49.62	c 48.9s |      10 |   599069 |    14261 |    34663      0 |      756 |      647
51.79/51.84	c 51.1s |      10 |   623171 |    14961 |    34663      0 |      756 |      647
53.78/53.85	c 53.1s |      10 |   650795 |    15561 |    34663      0 |      756 |      647
55.78/55.85	c 55.1s |      10 |   671435 |    16161 |    34663      0 |      756 |      647
57.98/58.09	c 57.3s |      10 |   690164 |    16961 |    34663      0 |      756 |      647
58.68/58.73	c 58.0s |      11 |   700146 |    17144 |    38130      0 |      756 |      647
60.88/60.90	c 60.2s |      11 |   725669 |    17644 |    38130      0 |      756 |      647
63.18/63.29	c 62.5s |      11 |   750407 |    18244 |    38130      0 |      757 |      648
65.27/65.39	c 64.6s |      11 |   778865 |    18844 |    38130      0 |      757 |      648
67.47/67.59	c 66.9s |      11 |   802365 |    19444 |    38130      0 |      757 |      648
69.67/69.73	c 69.0s |      11 |   830967 |    20044 |    38130      0 |      757 |      648
71.97/72.02	c 71.3s |      11 |   856136 |    20544 |    38130      0 |      758 |      649
74.07/74.18	c 73.4s |      11 |   876410 |    21244 |    38130      0 |      758 |      649
76.17/76.21	c 75.5s |      11 |   884227 |    21844 |    38130      0 |      758 |      649
78.47/78.52	c 77.8s |      11 |   906621 |    22544 |    38130      0 |      758 |      649
80.57/80.62	c 79.9s |      11 |   932299 |    23044 |    38130      0 |      759 |      650
82.67/82.79	c 82.1s |      11 |   946435 |    23644 |    38130      0 |      759 |      650
85.07/85.10	c 84.4s |      11 |   958722 |    24244 |    38130      0 |      759 |      650
87.26/87.38	c 86.6s |      11 |   981621 |    24944 |    38130      0 |      759 |      650
89.77/89.81	c 89.1s |      11 |   999102 |    25744 |    41943      0 |      759 |      650
89.97/90.05	c 89.3s |      12 |  1001792 |    25819 |    41943      0 |      759 |      650
92.38/92.46	c 91.7s |      12 |  1022563 |    26219 |    41943      0 |      760 |      651
94.68/94.74	c 94.0s |      12 |  1046059 |    26819 |    41943      0 |      760 |      651
97.07/97.11	c 96.4s |      12 |  1074796 |    27419 |    41943      0 |      760 |      651
99.17/99.27	c 98.5s |      12 |  1099773 |    27819 |    41943      0 |      761 |      652
101.37/101.44	c  100s |      12 |  1122371 |    28419 |    41943      0 |      761 |      652
103.57/103.64	c  102s |      12 |  1147437 |    29119 |    41943      0 |      761 |      652
105.77/105.86	c  105s |      12 |  1166825 |    29819 |    41943      0 |      761 |      652
107.78/107.89	c  107s |      12 |  1191443 |    30319 |    41943      0 |      761 |      652
110.08/110.14	c  109s |      12 |  1198073 |    30819 |    41943      0 |      761 |      652
112.37/112.46	c  111s |      12 |  1203077 |    31419 |    41943      0 |      761 |      652
115.07/115.10	c  114s |      12 |  1204509 |    31819 |    41943      0 |      761 |      652
117.27/117.31	c  116s |      12 |  1213168 |    32619 |    41943      0 |      761 |      652
119.37/119.49	c  118s |      12 |  1233040 |    33219 |    41943      0 |      761 |      652
121.66/121.77	c  121s |      12 |  1253854 |    33819 |    41943      0 |      761 |      652
123.86/123.97	c  123s |      12 |  1274082 |    34219 |    41943      0 |      762 |      653
125.86/125.99	c  125s |      12 |  1284700 |    34819 |    41943      0 |      762 |      653
128.06/128.10	c  127s |      12 |  1305750 |    35319 |    41943      0 |      762 |      653
130.36/130.46	c  129s |      12 |  1332466 |    35819 |    41943      0 |      762 |      653
132.46/132.51	c  131s |      12 |  1349751 |    36319 |    41943      0 |      762 |      653
134.46/134.54	c  133s |      12 |  1359243 |    37019 |    41943      0 |      762 |      653
136.86/136.90	c  136s |      12 |  1363086 |    37719 |    41943      0 |      762 |      653
138.86/138.96	c  138s |      12 |  1366673 |    38319 |    41943      0 |      762 |      653
140.56/140.67	c  139s |      13 |  1370841 |    38832 |    46138      0 |      762 |      653
142.97/143.01	c  142s |      13 |  1391114 |    39232 |    46138      0 |      762 |      653
145.16/145.27	c  144s |      13 |  1410607 |    39832 |    46138      0 |      762 |      653
147.46/147.57	c  146s |      13 |  1433264 |    40432 |    46138      0 |      762 |      653
149.76/149.86	c  149s |      13 |  1456501 |    40932 |    46138      0 |      762 |      653
152.06/152.16	c  151s |      13 |  1472821 |    41432 |    46138      0 |      762 |      653
154.16/154.27	c  153s |      13 |  1494579 |    41932 |    46138      0 |      762 |      653
156.46/156.56	c  155s |      13 |  1506250 |    42532 |    46138      0 |      762 |      653
158.66/158.74	c  157s |      13 |  1518090 |    43132 |    46138      0 |      762 |      653
160.76/160.80	c  160s |      13 |  1537676 |    43632 |    46138      0 |      762 |      653
162.96/163.06	c  162s |      13 |  1560706 |    44132 |    46138      0 |      762 |      653
165.25/165.34	c  164s |      13 |  1581323 |    44732 |    46138      0 |      762 |      653
167.65/167.71	c  166s |      13 |  1606058 |    45232 |    46138      0 |      762 |      653
169.85/169.99	c  169s |      13 |  1627131 |    45832 |    46138      0 |      762 |      653
171.95/172.05	c  171s |      13 |  1647171 |    46232 |    46138      0 |      762 |      653
174.15/174.29	c  173s |      13 |  1663566 |    46732 |    46138      0 |      762 |      653
176.25/176.37	c  175s |      13 |  1683214 |    47132 |    46138      0 |      762 |      653
178.45/178.56	c  177s |      13 |  1700541 |    47632 |    46138      0 |      762 |      653
180.85/180.95	c  180s |      13 |  1723372 |    48132 |    46138      0 |      762 |      653
182.95/183.07	c  182s |      13 |  1744505 |    48632 |    46138      0 |      762 |      653
185.05/185.10	c  184s |      13 |  1766023 |    49032 |    46138      0 |      762 |      653
187.14/187.20	c  186s |      13 |  1771749 |    49632 |    46138      0 |      762 |      653
189.44/189.50	c  188s |      13 |  1786680 |    49932 |    46138      1 |      762 |      653
191.84/191.93	c  191s |      13 |  1814346 |    50532 |    46138      1 |      762 |      653
194.14/194.20	c  193s |      13 |  1840342 |    51032 |    46138      1 |      762 |      653
196.54/196.63	c  195s |      13 |  1866119 |    51732 |    46138      1 |      762 |      653
198.64/198.76	c  198s |      13 |  1883093 |    52332 |    46138      1 |      762 |      653
200.84/200.96	c  200s |      13 |  1903115 |    52932 |    46138      1 |      762 |      653
203.24/203.35	c  202s |      13 |  1923988 |    53532 |    46138      1 |      762 |      653
205.64/205.80	c  205s |      13 |  1949076 |    54132 |    46138      1 |      762 |      653
207.84/207.98	c  207s |      13 |  1968153 |    54732 |    46138      1 |      762 |      653
210.23/210.32	c  209s |      13 |  1980439 |    55332 |    46138      1 |      762 |      653
212.53/212.62	c  211s |      13 |  2004177 |    55832 |    46138      1 |      762 |      653
214.83/214.98	c  214s |      13 |  2020323 |    56532 |    46138      1 |      762 |      653
217.03/217.11	c  216s |      13 |  2037069 |    57032 |    46138      1 |      762 |      653
219.13/219.26	c  218s |      13 |  2040024 |    57432 |    46138      1 |      762 |      653
221.53/221.68	c  220s |      13 |  2061614 |    58032 |    50752      1 |      762 |      653
222.93/223.06	c  222s |      14 |  2071519 |    58352 |    50752      1 |      762 |      653
225.43/225.52	c  224s |      14 |  2084352 |    58852 |    50752      1 |      762 |      653
227.74/227.87	c  227s |      14 |  2097187 |    59352 |    50752      1 |      762 |      653
230.14/230.29	c  229s |      14 |  2128153 |    59852 |    50752      1 |      762 |      653
232.53/232.60	c  231s |      14 |  2146248 |    60352 |    50752      1 |      762 |      653
234.83/234.96	c  234s |      14 |  2160675 |    60952 |    50752      1 |      762 |      653
237.03/237.14	c  236s |      14 |  2183920 |    61452 |    50752      1 |      762 |      653
239.13/239.20	c  238s |      14 |  2204037 |    61952 |    50752      1 |      762 |      653
241.13/241.27	c  240s |      14 |  2212711 |    62352 |    50752      1 |      762 |      653
243.33/243.49	c  242s |      14 |  2227315 |    62852 |    50752      1 |      762 |      653
245.53/245.68	c  244s |      14 |  2244502 |    63252 |    50752      1 |      763 |      654
247.93/248.05	c  247s |      14 |  2268598 |    63752 |    50752      1 |      763 |      654
250.33/250.46	c  249s |      14 |  2282218 |    64252 |    50752      1 |      764 |      655
252.53/252.65	c  251s |      14 |  2298542 |    64752 |    50752      1 |      764 |      655
254.73/254.83	c  254s |      14 |  2316059 |    65352 |    50752      1 |      764 |      655
256.83/256.94	c  256s |      14 |  2324890 |    65952 |    50752      1 |      764 |      655
259.02/259.12	c  258s |      14 |  2331041 |    66552 |    50752      1 |      764 |      655
261.02/261.18	c  260s |      14 |  2339649 |    67252 |    50752      1 |      764 |      655
263.32/263.42	c  262s |      14 |  2343937 |    67752 |    50752      1 |      764 |      655
265.62/265.72	c  264s |      14 |  2355411 |    68452 |    50752      1 |      764 |      655
267.72/267.86	c  267s |      14 |  2362169 |    69052 |    50752      1 |      764 |      655
269.72/269.88	c  269s |      14 |  2372503 |    69552 |    50752      1 |      764 |      655
271.92/272.06	c  271s |      14 |  2385866 |    70052 |    50752      1 |      764 |      655
274.22/274.37	c  273s |      14 |  2401990 |    70452 |    50752      1 |      765 |      656
276.32/276.40	c  275s |      14 |  2418372 |    70952 |    50752      1 |      765 |      656
278.52/278.68	c  277s |      14 |  2434147 |    71452 |    50752      1 |      765 |      656
280.72/280.84	c  280s |      14 |  2446882 |    71952 |    50752      1 |      765 |      656
282.81/282.91	c  282s |      14 |  2463183 |    72452 |    50752      1 |      765 |      656
284.82/284.91	c  284s |      14 |  2476300 |    72752 |    50752      1 |      766 |      657
286.81/286.99	c  286s |      14 |  2487611 |    73252 |    50752      1 |      766 |      657
289.11/289.26	c  288s |      14 |  2502899 |    73552 |    50752      1 |      767 |      658
291.11/291.28	c  290s |      14 |  2520270 |    74052 |    50752      1 |      767 |      658
293.41/293.52	c  292s |      14 |  2537460 |    74552 |    50752      1 |      767 |      658
295.41/295.58	c  294s |      14 |  2555568 |    75052 |    50752      1 |      767 |      658
297.51/297.62	c  296s |      14 |  2572514 |    75552 |    50752      1 |      767 |      658
299.51/299.69	c  298s |      14 |  2589813 |    75952 |    50752      1 |      767 |      658
302.11/302.29	c  301s |      14 |  2614744 |    76452 |    50752      1 |      767 |      658
304.61/304.77	c  304s |      14 |  2628395 |    77052 |    50752      1 |      767 |      658
307.10/307.28	c  306s |      14 |  2653037 |    77552 |    50752      1 |      767 |      658
309.20/309.30	c  308s |      14 |  2670839 |    78052 |    50752      1 |      767 |      658
311.21/311.37	c  310s |      14 |  2683043 |    78652 |    50752      1 |      767 |      658
313.70/313.81	c  313s |      14 |  2703166 |    79152 |    50752      1 |      767 |      658
316.00/316.18	c  315s |      14 |  2712138 |    79452 |    50752      2 |      767 |      658
318.40/318.55	c  317s |      14 |  2742164 |    79952 |    50752      2 |      767 |      658
320.60/320.76	c  320s |      14 |  2746246 |    80652 |    50752      2 |      767 |      658
322.80/322.93	c  322s |      14 |  2758278 |    81152 |    50752      2 |      767 |      658
324.80/324.93	c  324s |      14 |  2773557 |    81752 |    50752      2 |      767 |      658
327.19/327.37	c  326s |      14 |  2775292 |    82252 |    50752      2 |      767 |      658
329.59/329.78	c  329s |      14 |  2776375 |    82652 |    50752      2 |      767 |      658
332.10/332.21	c  331s |      14 |  2779225 |    83052 |    50752      2 |      767 |      658
334.40/334.54	c  333s |      14 |  2794062 |    83652 |    50752      2 |      767 |      658
336.61/336.71	c  335s |      14 |  2797078 |    84152 |    50752      2 |      767 |      658
339.00/339.16	c  338s |      14 |  2798766 |    84552 |    50752      2 |      767 |      658
341.10/341.21	c  340s |      14 |  2800045 |    84852 |    50752      2 |      767 |      658
343.30/343.40	c  342s |      14 |  2801083 |    85152 |    50752      2 |      767 |      658
345.60/345.79	c  345s |      14 |  2813454 |    85652 |    50752      2 |      767 |      658
347.90/348.06	c  347s |      14 |  2836856 |    86152 |    50752      2 |      767 |      658
350.00/350.13	c  349s |      14 |  2845896 |    86652 |    50752      2 |      767 |      658
352.20/352.37	c  351s |      14 |  2860657 |    87152 |    55828      2 |      767 |      658
354.30/354.40	c  353s |      15 |  2882884 |    87632 |    55828      2 |      767 |      658
356.49/356.67	c  355s |      15 |  2897694 |    88032 |    55828      2 |      767 |      658
358.69/358.84	c  358s |      15 |  2914590 |    88632 |    55828      2 |      767 |      658
361.19/361.34	c  360s |      15 |  2927648 |    89232 |    55828      2 |      767 |      658
363.29/363.47	c  362s |      15 |  2943150 |    89832 |    55828      2 |      767 |      658
365.49/365.62	c  364s |      15 |  2946023 |    90332 |    55828      2 |      767 |      658
367.99/368.19	c  367s |      15 |  2970018 |    91032 |    55828      2 |      767 |      658
370.19/370.35	c  369s |      15 |  2986707 |    91532 |    55828      2 |      767 |      658
372.29/372.46	c  371s |      15 |  2998122 |    92232 |    55828      2 |      767 |      658
374.49/374.67	c  373s |      15 |  3008122 |    92832 |    55828      2 |      767 |      658
376.68/376.87	c  376s |      15 |  3012319 |    93432 |    55828      2 |      767 |      658
378.78/378.96	c  378s |      15 |  3019395 |    93932 |    55828      2 |      767 |      658
380.98/381.15	c  380s |      15 |  3024991 |    94632 |    55828      2 |      767 |      658
382.98/383.15	c  382s |      15 |  3039748 |    95132 |    55828      2 |      767 |      658
385.38/385.55	c  384s |      15 |  3056654 |    95632 |    55828      2 |      767 |      658
387.58/387.75	c  387s |      15 |  3083089 |    96132 |    55828      2 |      767 |      658
389.98/390.17	c  389s |      15 |  3108210 |    96632 |    55828      2 |      767 |      658
392.08/392.29	c  391s |      15 |  3126941 |    97032 |    55828      2 |      767 |      658
394.18/394.39	c  393s |      15 |  3143031 |    97532 |    55828      2 |      767 |      658
396.67/396.82	c  396s |      15 |  3162474 |    98132 |    55828      2 |      767 |      658
398.77/398.92	c  398s |      15 |  3176867 |    98532 |    55828      2 |      767 |      658
400.87/401.04	c  400s |      15 |  3178781 |    98932 |    55828      2 |      767 |      658
402.97/403.14	c  402s |      15 |  3187785 |    99332 |    55828      2 |      767 |      658
405.47/405.62	c  404s |      15 |  3205900 |    99732 |    55828      2 |      768 |      659
407.77/407.91	c  407s |      15 |  3227843 |   100232 |    55828      2 |      768 |      659
409.76/409.95	c  409s |      15 |  3249204 |   100632 |    55828      2 |      768 |      659
411.76/411.99	c  411s |      15 |  3257227 |   101232 |    55828      2 |      768 |      659
413.86/414.05	c  413s |      15 |  3263891 |   101832 |    55828      2 |      768 |      659
416.06/416.21	c  415s |      15 |  3266200 |   102332 |    55828      2 |      768 |      659
418.66/418.81	c  418s |      15 |  3267515 |   102732 |    55828      2 |      768 |      659
420.76/420.93	c  420s |      15 |  3277644 |   103232 |    55828      2 |      768 |      659
422.75/422.97	c  422s |      15 |  3293515 |   103732 |    55828      2 |      768 |      659
425.35/425.51	c  424s |      15 |  3316565 |   104232 |    55828      2 |      768 |      659
427.45/427.61	c  426s |      15 |  3330435 |   104632 |    55828      2 |      768 |      659
429.45/429.63	c  428s |      15 |  3350125 |   105132 |    55828      2 |      768 |      659
431.75/431.98	c  431s |      15 |  3367954 |   105632 |    55828      2 |      768 |      659
434.35/434.57	c  433s |      15 |  3389443 |   106132 |    55828      2 |      768 |      659
436.65/436.84	c  436s |      15 |  3401461 |   106632 |    55828      2 |      768 |      659
438.94/439.18	c  438s |      15 |  3414873 |   107132 |    55828      2 |      768 |      659
441.34/441.60	c  440s |      15 |  3436652 |   107632 |    55828      2 |      768 |      659
443.74/443.96	c  443s |      15 |  3455087 |   108232 |    55828      2 |      768 |      659
445.94/446.15	c  445s |      15 |  3469301 |   108832 |    55828      2 |      768 |      659
448.34/448.55	c  447s |      15 |  3489427 |   109332 |    55828      2 |      768 |      659
450.84/451.08	c  450s |      15 |  3509544 |   109732 |    55828      2 |      768 |      659
453.24/453.42	c  452s |      15 |  3523316 |   110332 |    55828      2 |      768 |      659
455.24/455.43	c  454s |      15 |  3530027 |   110532 |    55828      3 |      768 |      659
457.44/457.69	c  456s |      15 |  3554431 |   111132 |    55828      3 |      768 |      659
459.83/460.06	c  459s |      15 |  3575660 |   111732 |    55828      3 |      768 |      659
462.03/462.27	c  461s |      15 |  3600034 |   112232 |    55828      3 |      768 |      659
464.14/464.32	c  463s |      15 |  3616562 |   112832 |    55828      3 |      768 |      659
466.13/466.39	c  465s |      15 |  3632730 |   113332 |    55828      3 |      768 |      659
468.33/468.56	c  467s |      15 |  3644124 |   113932 |    55828      3 |      768 |      659
470.53/470.77	c  470s |      15 |  3649283 |   114432 |    55828      3 |      768 |      659
472.63/472.89	c  472s |      15 |  3665903 |   114932 |    55828      3 |      768 |      659
475.23/475.46	c  474s |      15 |  3685241 |   115532 |    55828      3 |      768 |      659
477.34/477.51	c  476s |      15 |  3707755 |   116032 |    55828      3 |      768 |      659
479.83/480.05	c  479s |      15 |  3724884 |   116532 |    55828      3 |      768 |      659
481.83/482.08	c  481s |      15 |  3733287 |   117032 |    55828      3 |      768 |      659
484.03/484.20	c  483s |      15 |  3747930 |   117432 |    55828      3 |      768 |      659
486.32/486.59	c  485s |      15 |  3765264 |   118032 |    55828      3 |      768 |      659
488.52/488.72	c  487s |      15 |  3771647 |   118532 |    55828      3 |      768 |      659
490.62/490.80	c  490s |      15 |  3776974 |   119232 |    55828      3 |      768 |      659
492.63/492.86	c  492s |      15 |  3779945 |   119732 |    55828      3 |      768 |      659
494.83/495.10	c  494s |      15 |  3780879 |   120032 |    55828      3 |      768 |      659
497.42/497.69	c  496s |      15 |  3781959 |   120432 |    55828      3 |      768 |      659
500.71/500.93	c  500s |      15 |  3783087 |   120732 |    55828      3 |      768 |      659
503.01/503.23	c  502s |      15 |  3783689 |   120932 |    55828      3 |      768 |      659
505.31/505.54	c  504s |      15 |  3788359 |   121432 |    55828      3 |      768 |      659
507.31/507.57	c  506s |      15 |  3800569 |   121832 |    55828      3 |      768 |      659
509.51/509.71	c  508s |      15 |  3819135 |   122432 |    55828      3 |      768 |      659
511.81/512.09	c  511s |      15 |  3840772 |   122932 |    55828      3 |      768 |      659
513.81/514.10	c  513s |      15 |  3854253 |   123432 |    55828      3 |      768 |      659
516.30/516.52	c  515s |      15 |  3866934 |   124032 |    55828      3 |      768 |      659
518.40/518.69	c  517s |      15 |  3879658 |   124532 |    55828      3 |      768 |      659
521.10/521.36	c  520s |      15 |  3882034 |   125132 |    55828      3 |      768 |      659
523.60/523.83	c  523s |      15 |  3884031 |   125632 |    55828      3 |      768 |      659
526.10/526.32	c  525s |      15 |  3902575 |   126132 |    55828      3 |      768 |      659
528.39/528.62	c  527s |      15 |  3910902 |   126732 |    55828      3 |      768 |      659
530.39/530.67	c  529s |      15 |  3913289 |   127232 |    55828      3 |      768 |      659
532.69/532.94	c  532s |      15 |  3915248 |   127632 |    55828      3 |      768 |      659
535.09/535.34	c  534s |      15 |  3928196 |   128132 |    55828      3 |      768 |      659
537.29/537.53	c  536s |      15 |  3935629 |   128532 |    55828      3 |      768 |      659
539.29/539.58	c  538s |      15 |  3950644 |   128832 |    55828      3 |      769 |      660
541.39/541.64	c  540s |      15 |  3966936 |   129232 |    55828      3 |      769 |      660
543.49/543.78	c  543s |      15 |  3982498 |   129732 |    55828      3 |      769 |      660
545.59/545.88	c  545s |      15 |  3995988 |   130332 |    55828      3 |      769 |      660
547.78/548.06	c  547s |      15 |  4013588 |   130832 |    61411      3 |      769 |      660
550.38/550.60	c  549s |      15 |  4030932 |   131532 |    61411      3 |      769 |      660
550.38/550.68	c  549s |      16 |  4031291 |   131552 |    61411      3 |      769 |      660
553.09/553.31	c  552s |      16 |  4046070 |   131952 |    61411      3 |      769 |      660
555.18/555.47	c  554s |      16 |  4058537 |   132452 |    61411      3 |      769 |      660
557.38/557.65	c  556s |      16 |  4076293 |   132952 |    61411      3 |      769 |      660
559.68/559.97	c  559s |      16 |  4098771 |   133452 |    61411      3 |      769 |      660
561.68/561.99	c  561s |      16 |  4114954 |   133852 |    61411      3 |      769 |      660
563.78/564.00	c  563s |      16 |  4131845 |   134252 |    61411      3 |      769 |      660
565.87/566.19	c  565s |      16 |  4144547 |   134752 |    61411      3 |      769 |      660
568.07/568.30	c  567s |      16 |  4153027 |   135252 |    61411      3 |      769 |      660
570.27/570.60	c  569s |      16 |  4172264 |   135752 |    61411      3 |      769 |      660
572.57/572.87	c  572s |      16 |  4190595 |   136252 |    61411      3 |      769 |      660
574.57/574.88	c  574s |      16 |  4210346 |   136652 |    61411      3 |      769 |      660
577.06/577.32	c  576s |      16 |  4225752 |   137152 |    61411      3 |      769 |      660
579.56/579.86	c  579s |      16 |  4246801 |   137752 |    61411      3 |      769 |      660
581.67/581.93	c  581s |      16 |  4268138 |   138152 |    61411      3 |      769 |      660
584.07/584.30	c  583s |      16 |  4294196 |   138652 |    61411      3 |      769 |      660
586.07/586.33	c  585s |      16 |  4306766 |   139052 |    61411      3 |      769 |      660
588.16/588.48	c  587s |      16 |  4319565 |   139552 |    61411      3 |      769 |      660
590.36/590.61	c  589s |      16 |  4321575 |   139952 |    61411      3 |      769 |      660
592.56/592.84	c  592s |      16 |  4322525 |   140152 |    61411      3 |      769 |      660
596.45/596.72	c  595s |      16 |  4322972 |   140352 |    61411      3 |      769 |      660
599.85/600.11	c  599s |      16 |  4323957 |   140552 |    61411      3 |      769 |      660
602.45/602.74	c  601s |      16 |  4324277 |   140652 |    61411      3 |      769 |      660
606.15/606.45	c  605s |      16 |  4324526 |   140752 |    61411      3 |      769 |      660
612.05/612.36	c  611s |      16 |  4324731 |   140852 |    61411      3 |      769 |      660
615.85/616.12	c  615s |      16 |  4324993 |   140952 |    61411      3 |      769 |      660
618.24/618.56	c  617s |      16 |  4327144 |   141352 |    61411      3 |      769 |      660
620.94/621.22	c  620s |      16 |  4328287 |   141652 |    61411      3 |      769 |      660
623.54/623.83	c  623s |      16 |  4329197 |   141852 |    61411      3 |      769 |      660
629.83/630.17	c  629s |      16 |  4329867 |   142052 |    61411      3 |      769 |      660
632.14/632.41	c  631s |      16 |  4330315 |   142152 |    61411      3 |      769 |      660
640.73/641.02	c  640s |      16 |  4330667 |   142352 |    61411      3 |      769 |      660
643.03/643.36	c  642s |      16 |  4338145 |   142552 |    61411      3 |      769 |      660
645.32/645.61	c  644s |      16 |  4354896 |   143052 |    61411      3 |      769 |      660
647.32/647.66	c  646s |      16 |  4366981 |   143452 |    61411      3 |      769 |      660
649.42/649.74	c  649s |      16 |  4385878 |   143852 |    61411      3 |      769 |      660
651.72/652.00	c  651s |      16 |  4403768 |   144452 |    61411      3 |      769 |      660
654.12/654.44	c  653s |      16 |  4411040 |   144952 |    61411      3 |      769 |      660
657.42/657.78	c  657s |      16 |  4420559 |   145352 |    61411      4 |      769 |      660
659.62/659.90	c  659s |      16 |  4437583 |   145952 |    61411      4 |      769 |      660
662.03/662.35	c  661s |      16 |  4451681 |   146652 |    61411      4 |      769 |      660
664.42/664.70	c  663s |      16 |  4473838 |   147252 |    61411      4 |      769 |      660
666.71/667.09	c  666s |      16 |  4484417 |   147852 |    61411      4 |      769 |      660
669.11/669.44	c  668s |      16 |  4509388 |   148452 |    61411      4 |      769 |      660
671.11/671.44	c  670s |      16 |  4527664 |   148952 |    61411      4 |      769 |      660
673.21/673.51	c  672s |      16 |  4544688 |   149452 |    61411      4 |      769 |      660
675.31/675.65	c  674s |      16 |  4566392 |   149952 |    61411      4 |      769 |      660
677.71/678.06	c  677s |      16 |  4584633 |   150552 |    61411      4 |      769 |      660
680.10/680.40	c  679s |      16 |  4605852 |   151052 |    61411      4 |      769 |      660
682.10/682.41	c  681s |      16 |  4617481 |   151652 |    61411      4 |      769 |      660
684.20/684.51	c  683s |      16 |  4627310 |   152052 |    61411      4 |      769 |      660
686.50/686.86	c  686s |      16 |  4636964 |   152452 |    61411      4 |      769 |      660
688.90/689.23	c  688s |      16 |  4665365 |   152952 |    61411      4 |      769 |      660
691.20/691.51	c  690s |      16 |  4680338 |   153452 |    61411      4 |      769 |      660
693.40/693.70	c  692s |      16 |  4691966 |   154052 |    61411      4 |      769 |      660
695.70/696.03	c  695s |      16 |  4708894 |   154552 |    61411      4 |      769 |      660
698.00/698.39	c  697s |      16 |  4723619 |   155152 |    61411      4 |      769 |      660
700.30/700.68	c  699s |      16 |  4748738 |   155752 |    61411      4 |      769 |      660
702.61/702.91	c  702s |      16 |  4761896 |   156452 |    61411      4 |      769 |      660
704.70/705.10	c  704s |      16 |  4774397 |   157052 |    61411      4 |      769 |      660
706.90/707.27	c  706s |      16 |  4791430 |   157552 |    61411      4 |      769 |      660
709.21/709.53	c  708s |      16 |  4809218 |   158052 |    61411      4 |      769 |      660
711.30/711.68	c  710s |      16 |  4824816 |   158652 |    61411      4 |      769 |      660
713.80/714.15	c  713s |      16 |  4838130 |   159252 |    61411      4 |      769 |      660
715.80/716.20	c  715s |      16 |  4853534 |   159752 |    61411      4 |      769 |      660
717.90/718.28	c  717s |      16 |  4861839 |   160152 |    61411      4 |      769 |      660
720.10/720.47	c  719s |      16 |  4875817 |   160652 |    61411      4 |      769 |      660
722.40/722.79	c  722s |      16 |  4894903 |   161152 |    61411      4 |      769 |      660
724.80/725.14	c  724s |      16 |  4918272 |   161652 |    61411      4 |      769 |      660
727.00/727.36	c  726s |      16 |  4931741 |   162152 |    61411      4 |      769 |      660
729.30/729.62	c  728s |      16 |  4946318 |   162752 |    61411      4 |      769 |      660
731.69/732.06	c  731s |      16 |  4960661 |   163252 |    61411      4 |      769 |      660
733.99/734.34	c  733s |      16 |  4974987 |   163752 |    61411      4 |      769 |      660
736.29/736.63	c  735s |      16 |  4991298 |   164252 |    61411      4 |      769 |      660
738.49/738.84	c  738s |      16 |  4999663 |   164752 |    61411      4 |      769 |      660
741.20/741.54	c  740s |      16 |  5001929 |   165252 |    61411      4 |      769 |      660
743.30/743.69	c  742s |      16 |  5002412 |   165452 |    61411      4 |      769 |      660
745.39/745.71	c  744s |      16 |  5013423 |   165952 |    61411      4 |      769 |      660
747.59/747.99	c  747s |      16 |  5028677 |   166452 |    61411      4 |      769 |      660
749.90/750.20	c  749s |      16 |  5041149 |   166952 |    61411      4 |      769 |      660
751.99/752.33	c  751s |      16 |  5054298 |   167452 |    61411      4 |      769 |      660
754.41/754.71	c  753s |      16 |  5070612 |   168152 |    61411      4 |      769 |      660
756.70/757.04	c  756s |      16 |  5084091 |   168652 |    61411      4 |      769 |      660
759.10/759.41	c  758s |      16 |  5106733 |   169152 |    61411      4 |      769 |      660
761.40/761.73	c  760s |      16 |  5115816 |   169552 |    61411      4 |      769 |      660
763.40/763.73	c  762s |      16 |  5121157 |   169852 |    61411      4 |      770 |      661
765.50/765.82	c  765s |      16 |  5132710 |   170252 |    61411      4 |      770 |      661
767.50/767.87	c  767s |      16 |  5151051 |   170752 |    61411      4 |      770 |      661
769.90/770.23	c  769s |      16 |  5170167 |   171252 |    61411      4 |      770 |      661
771.90/772.26	c  771s |      16 |  5185427 |   171752 |    61411      4 |      770 |      661
774.40/774.78	c  774s |      16 |  5204513 |   172252 |    61411      4 |      770 |      661
776.89/777.23	c  776s |      16 |  5224225 |   172752 |    61411      4 |      770 |      661
778.99/779.35	c  778s |      16 |  5241221 |   173352 |    61411      4 |      770 |      661
781.09/781.45	c  780s |      16 |  5253208 |   173852 |    61411      4 |      770 |      661
783.29/783.64	c  782s |      16 |  5269563 |   174352 |    61411      4 |      770 |      661
785.29/785.67	c  784s |      16 |  5282373 |   174852 |    61411      4 |      770 |      661
789.39/789.80	c  789s |      16 |  5290943 |   175452 |    61411      5 |      771 |      662
791.49/791.83	c  791s |      16 |  5313393 |   176052 |    61411      5 |      771 |      662
793.69/794.02	c  793s |      16 |  5334275 |   176752 |    61411      5 |      771 |      662
795.79/796.14	c  795s |      16 |  5344765 |   177452 |    61411      5 |      771 |      662
798.19/798.51	c  797s |      16 |  5354471 |   178152 |    61411      5 |      771 |      662
800.19/800.53	c  799s |      16 |  5361013 |   178852 |    61411      5 |      771 |      662
802.49/802.83	c  802s |      16 |  5382319 |   179552 |    61411      5 |      771 |      662
804.49/804.90	c  804s |      16 |  5398562 |   180152 |    61411      5 |      771 |      662
806.59/806.93	c  806s |      16 |  5413914 |   180852 |    61411      5 |      771 |      662
808.59/808.96	c  808s |      16 |  5432987 |   181352 |    61411      5 |      771 |      662
810.89/811.24	c  810s |      16 |  5449556 |   181952 |    61411      5 |      771 |      662
812.99/813.32	c  812s |      16 |  5454286 |   182452 |    61411      5 |      771 |      662
814.99/815.36	c  814s |      16 |  5476889 |   183052 |    61411      5 |      771 |      662
817.09/817.49	c  816s |      16 |  5496833 |   183552 |    61411      5 |      771 |      662
819.38/819.78	c  819s |      16 |  5517036 |   184152 |    61411      5 |      771 |      662
821.78/822.17	c  821s |      16 |  5529126 |   184752 |    61411      5 |      771 |      662
823.98/824.37	c  823s |      16 |  5544284 |   185352 |    61411      5 |      771 |      662
826.28/826.61	c  825s |      16 |  5554797 |   186052 |    61411      5 |      771 |      662
828.28/828.69	c  827s |      16 |  5572215 |   186652 |    61411      5 |      771 |      662
830.48/830.81	c  830s |      16 |  5593575 |   187152 |    61411      5 |      771 |      662
832.78/833.13	c  832s |      16 |  5597475 |   187652 |    61411      5 |      771 |      662
834.88/835.22	c  834s |      16 |  5604470 |   188052 |    61411      5 |      772 |      663
836.98/837.36	c  836s |      16 |  5622092 |   188552 |    61411      5 |      772 |      663
839.38/839.70	c  838s |      16 |  5636987 |   189252 |    61411      5 |      772 |      663
841.68/842.04	c  841s |      16 |  5657452 |   189852 |    61411      5 |      772 |      663
843.78/844.11	c  843s |      16 |  5679731 |   190352 |    61411      5 |      772 |      663
845.98/846.32	c  845s |      16 |  5696075 |   190952 |    61411      5 |      772 |      663
848.08/848.42	c  847s |      16 |  5699981 |   191552 |    61411      5 |      772 |      663
850.38/850.70	c  849s |      16 |  5702303 |   192152 |    61411      5 |      772 |      663
852.68/853.08	c  852s |      16 |  5704653 |   192552 |    61411      5 |      772 |      663
854.98/855.38	c  854s |      16 |  5722917 |   193052 |    61411      5 |      772 |      663
857.38/857.75	c  857s |      16 |  5742567 |   193652 |    61411      5 |      772 |      663
859.48/859.85	c  859s |      16 |  5758101 |   194152 |    61411      5 |      772 |      663
861.78/862.14	c  861s |      16 |  5778176 |   194652 |    61411      5 |      772 |      663
864.17/864.52	c  863s |      16 |  5785668 |   195152 |    61411      5 |      772 |      663
866.37/866.79	c  866s |      16 |  5792588 |   195752 |    61411      5 |      772 |      663
868.57/868.90	c  868s |      16 |  5806409 |   196252 |    67553      5 |      772 |      663
870.98/871.33	c  870s |      16 |  5816434 |   196752 |    67553      5 |      772 |      663
872.97/873.39	c  872s |      16 |  5832288 |   197152 |    67553      5 |      772 |      663
874.28/874.67	c  873s |      17 |  5842134 |   197432 |    67553      5 |      772 |      663
877.07/877.46	c  876s |      17 |  5859091 |   197832 |    67553      5 |      773 |      664
879.37/879.70	c  878s |      17 |  5875686 |   198132 |    67553      5 |      774 |      665
881.67/882.01	c  881s |      17 |  5898111 |   198532 |    67553      5 |      774 |      665
883.67/884.06	c  883s |      17 |  5919522 |   198932 |    67553      5 |      774 |      665
885.77/886.10	c  885s |      17 |  5934176 |   199432 |    67553      5 |      774 |      665
887.97/888.31	c  887s |      17 |  5942554 |   200232 |    67553      5 |      774 |      665
890.47/890.88	c  890s |      17 |  5956335 |   200832 |    67553      5 |      774 |      665
892.67/893.01	c  892s |      17 |  5974401 |   201332 |    67553      5 |      774 |      665
894.77/895.17	c  894s |      17 |  5987988 |   201832 |    67553      5 |      774 |      665
896.87/897.21	c  896s |      17 |  6010031 |   202232 |    67553      5 |      774 |      665
898.97/899.38	c  898s |      17 |  6020072 |   202532 |    67553      5 |      775 |      666
901.27/901.60	c  900s |      17 |  6036374 |   203032 |    67553      5 |      775 |      666
903.27/903.60	c  902s |      17 |  6055337 |   203532 |    67553      5 |      775 |      666
905.27/905.67	c  904s |      17 |  6066529 |   204232 |    67553      5 |      775 |      666
907.37/907.72	c  906s |      17 |  6081515 |   204732 |    67553      5 |      775 |      666
909.67/910.02	c  909s |      17 |  6097550 |   205332 |    67553      5 |      775 |      666
911.68/912.02	c  911s |      17 |  6105036 |   205932 |    67553      5 |      775 |      666
913.88/914.25	c  913s |      17 |  6122996 |   206432 |    67553      5 |      775 |      666
915.98/916.31	c  915s |      17 |  6138437 |   206932 |    67553      5 |      775 |      666
917.97/918.33	c  917s |      17 |  6154321 |   207432 |    67553      5 |      775 |      666
920.27/920.62	c  919s |      17 |  6164402 |   207932 |    67553      5 |      775 |      666
922.58/922.93	c  922s |      17 |  6178167 |   208532 |    67553      5 |      775 |      666
924.78/925.13	c  924s |      17 |  6189123 |   209132 |    67553      5 |      775 |      666
926.98/927.38	c  926s |      17 |  6204506 |   209832 |    67553      5 |      775 |      666
929.07/929.49	c  928s |      17 |  6217363 |   210332 |    67553      5 |      775 |      666
931.27/931.62	c  930s |      17 |  6221370 |   210732 |    67553      5 |      775 |      666
933.68/934.07	c  933s |      17 |  6222411 |   210932 |    67553      5 |      775 |      666
936.27/936.60	c  935s |      17 |  6226443 |   211232 |    67553      5 |      775 |      666
938.37/938.79	c  938s |      17 |  6238691 |   211832 |    67553      5 |      775 |      666
940.57/940.94	c  940s |      17 |  6245494 |   212332 |    67553      5 |      775 |      666
942.87/943.20	c  942s |      17 |  6254125 |   212932 |    67553      5 |      775 |      666
944.87/945.23	c  944s |      17 |  6260703 |   213532 |    67553      5 |      775 |      666
947.17/947.52	c  946s |      17 |  6270990 |   214132 |    67553      5 |      775 |      666
949.17/949.55	c  948s |      17 |  6277178 |   214632 |    67553      5 |      775 |      666
951.17/951.58	c  950s |      17 |  6285262 |   215132 |    67553      5 |      775 |      666
953.48/953.89	c  953s |      17 |  6296293 |   215732 |    67553      5 |      775 |      666
955.77/956.19	c  955s |      17 |  6304345 |   216232 |    67553      5 |      775 |      666
957.87/958.26	c  957s |      17 |  6313875 |   216732 |    67553      5 |      775 |      666
960.07/960.47	c  959s |      17 |  6315814 |   217132 |    67553      5 |      775 |      666
962.36/962.73	c  961s |      17 |  6327939 |   217632 |    67553      5 |      775 |      666
966.26/966.63	c  965s |      17 |  6341675 |   218232 |    67553      6 |      775 |      666
968.66/969.01	c  968s |      17 |  6352710 |   219032 |    67553      6 |      775 |      666
971.07/971.41	c  970s |      17 |  6371122 |   219532 |    67553      6 |      775 |      666
973.17/973.60	c  972s |      17 |  6392756 |   220132 |    67553      6 |      775 |      666
975.56/975.90	c  975s |      17 |  6413190 |   220832 |    67553      6 |      775 |      666
977.67/978.01	c  977s |      17 |  6435055 |   221332 |    67553      6 |      776 |      667
979.87/980.24	c  979s |      17 |  6448124 |   221832 |    67553      6 |      776 |      667
981.96/982.33	c  981s |      17 |  6452143 |   222332 |    67553      6 |      776 |      667
983.96/984.33	c  983s |      17 |  6463312 |   222932 |    67553      6 |      776 |      667
986.06/986.43	c  985s |      17 |  6470375 |   223432 |    67553      6 |      776 |      667
988.36/988.72	c  987s |      17 |  6490921 |   224132 |    67553      6 |      776 |      667
990.36/990.79	c  990s |      17 |  6506033 |   224832 |    67553      6 |      776 |      667
992.46/992.85	c  992s |      17 |  6529616 |   225432 |    67553      6 |      776 |      667
994.76/995.17	c  994s |      17 |  6534041 |   225932 |    67553      6 |      776 |      667
996.96/997.31	c  996s |      17 |  6541103 |   226332 |    67553      6 |      776 |      667
999.06/999.41	c  998s |      17 |  6560572 |   226932 |    67553      6 |      776 |      667
1001.36/1001.76	c 1001s |      17 |  6582190 |   227532 |    67553      6 |      776 |      667
1003.76/1004.10	c 1003s |      17 |  6603325 |   228232 |    67553      6 |      776 |      667
1005.96/1006.32	c 1005s |      17 |  6623736 |   228832 |    67553      6 |      776 |      667
1008.15/1008.55	c 1007s |      17 |  6644408 |   229432 |    67553      6 |      776 |      667
1010.15/1010.58	c 1009s |      17 |  6664277 |   229932 |    67553      6 |      776 |      667
1012.35/1012.78	c 1012s |      17 |  6671940 |   230532 |    67553      6 |      776 |      667
1014.45/1014.86	c 1014s |      17 |  6687504 |   231032 |    67553      6 |      776 |      667
1016.55/1016.96	c 1016s |      17 |  6705746 |   231632 |    67553      6 |      776 |      667
1018.55/1018.99	c 1018s |      17 |  6725233 |   232132 |    67553      6 |      776 |      667
1020.75/1021.17	c 1020s |      17 |  6743229 |   232632 |    67553      6 |      776 |      667
1023.05/1023.44	c 1022s |      17 |  6759552 |   233132 |    67553      6 |      776 |      667
1025.05/1025.48	c 1024s |      17 |  6769866 |   233632 |    67553      6 |      776 |      667
1027.25/1027.61	c 1026s |      17 |  6780191 |   233932 |    67553      6 |      778 |      669
1029.45/1029.83	c 1029s |      17 |  6788224 |   234432 |    67553      6 |      778 |      669
1031.65/1032.07	c 1031s |      17 |  6802172 |   234932 |    67553      6 |      778 |      669
1033.95/1034.31	c 1033s |      17 |  6819231 |   235432 |    67553      6 |      778 |      669
1036.05/1036.46	c 1035s |      17 |  6841735 |   235932 |    67553      6 |      778 |      669
1038.25/1038.61	c 1037s |      17 |  6862999 |   236332 |    67553      6 |      778 |      669
1040.45/1040.89	c 1040s |      17 |  6875476 |   236832 |    67553      6 |      778 |      669
1042.55/1042.98	c 1042s |      17 |  6890555 |   237432 |    67553      6 |      778 |      669
1044.55/1045.00	c 1044s |      17 |  6901018 |   238032 |    67553      6 |      778 |      669
1046.95/1047.36	c 1046s |      17 |  6918288 |   238532 |    67553      6 |      778 |      669
1049.35/1049.79	c 1049s |      17 |  6939978 |   239032 |    67553      6 |      778 |      669
1051.55/1051.95	c 1051s |      17 |  6957642 |   239532 |    67553      6 |      778 |      669
1053.85/1054.21	c 1053s |      17 |  6975326 |   240032 |    67553      6 |      778 |      669
1055.94/1056.37	c 1055s |      17 |  6993514 |   240532 |    67553      6 |      778 |      669
1058.34/1058.79	c 1058s |      17 |  7010457 |   241032 |    67553      6 |      778 |      669
1060.54/1060.93	c 1060s |      17 |  7024145 |   241532 |    67553      6 |      778 |      669
1062.64/1063.08	c 1062s |      17 |  7039117 |   242032 |    67553      6 |      778 |      669
1064.64/1065.08	c 1064s |      17 |  7049520 |   242432 |    67553      6 |      778 |      669
1066.84/1067.22	c 1066s |      17 |  7063854 |   242932 |    67553      6 |      778 |      669
1068.95/1069.38	c 1068s |      17 |  7075317 |   243432 |    67553      6 |      778 |      669
1071.15/1071.57	c 1070s |      17 |  7080786 |   243832 |    67553      6 |      778 |      669
1073.55/1073.97	c 1073s |      17 |  7086795 |   244232 |    67553      6 |      778 |      669
1076.25/1076.63	c 1075s |      17 |  7089440 |   244532 |    67553      6 |      778 |      669
1078.86/1079.28	c 1078s |      17 |  7090118 |   244732 |    67553      6 |      778 |      669
1081.44/1081.84	c 1081s |      17 |  7090695 |   244832 |    67553      6 |      778 |      669
1083.64/1084.06	c 1083s |      17 |  7091348 |   244932 |    67553      6 |      778 |      669
1085.94/1086.36	c 1085s |      17 |  7101496 |   245532 |    67553      6 |      778 |      669
1088.45/1088.82	c 1088s |      17 |  7107609 |   246132 |    67553      6 |      778 |      669
1090.45/1090.86	c 1090s |      17 |  7111933 |   246532 |    67553      6 |      778 |      669
1092.55/1092.94	c 1092s |      17 |  7113274 |   246832 |    67553      6 |      778 |      669
1094.85/1095.23	c 1094s |      17 |  7116316 |   247232 |    67553      6 |      778 |      669
1097.14/1097.55	c 1096s |      17 |  7118452 |   247532 |    67553      6 |      778 |      669
1099.65/1100.05	c 1099s |      17 |  7122970 |   248032 |    67553      6 |      778 |      669
1101.95/1102.31	c 1101s |      17 |  7126490 |   248432 |    67553      6 |      778 |      669
1104.24/1104.69	c 1103s |      17 |  7134118 |   248932 |    67553      6 |      778 |      669
1106.35/1106.78	c 1106s |      17 |  7140869 |   249432 |    67553      6 |      778 |      669
1108.44/1108.87	c 1108s |      17 |  7152063 |   249832 |    67553      6 |      778 |      669
1110.54/1110.96	c 1110s |      17 |  7164520 |   250232 |    67553      6 |      778 |      669
1112.84/1113.28	c 1112s |      17 |  7171386 |   250832 |    67553      6 |      778 |      669
1116.64/1117.06	c 1116s |      17 |  7190226 |   251432 |    67553      7 |      778 |      669
1118.64/1119.09	c 1118s |      17 |  7204477 |   251932 |    67553      7 |      778 |      669
1120.94/1121.37	c 1120s |      17 |  7225806 |   252432 |    67553      7 |      778 |      669
1123.14/1123.53	c 1122s |      17 |  7232602 |   252932 |    67553      7 |      778 |      669
1125.43/1125.83	c 1125s |      17 |  7248675 |   253532 |    67553      7 |      778 |      669
1127.43/1127.87	c 1127s |      17 |  7265129 |   254232 |    67553      7 |      778 |      669
1129.93/1130.33	c 1129s |      17 |  7279183 |   254832 |    67553      7 |      778 |      669
1132.33/1132.74	c 1132s |      17 |  7300437 |   255332 |    67553      7 |      778 |      669
1134.73/1135.12	c 1134s |      17 |  7322328 |   255932 |    67553      7 |      778 |      669
1136.93/1137.32	c 1136s |      17 |  7330304 |   256532 |    67553      7 |      778 |      669
1138.93/1139.38	c 1138s |      17 |  7344161 |   257132 |    67553      7 |      778 |      669
1141.33/1141.76	c 1141s |      17 |  7365752 |   257732 |    67553      7 |      778 |      669
1143.53/1143.96	c 1143s |      17 |  7382748 |   258332 |    67553      7 |      778 |      669
1145.63/1146.02	c 1145s |      17 |  7396336 |   258932 |    67553      7 |      778 |      669
1147.83/1148.21	c 1147s |      17 |  7410810 |   259432 |    67553      7 |      778 |      669
1150.13/1150.51	c 1149s |      17 |  7422064 |   260032 |    67553      7 |      778 |      669
1152.13/1152.53	c 1151s |      17 |  7430852 |   260432 |    67553      7 |      778 |      669
1154.43/1154.87	c 1154s |      17 |  7438010 |   261232 |    67553      7 |      778 |      669
1156.54/1156.95	c 1156s |      17 |  7449991 |   261832 |    67553      7 |      778 |      669
1158.94/1159.31	c 1158s |      17 |  7451973 |   262432 |    67553      7 |      778 |      669
1161.24/1161.66	c 1160s |      17 |  7454074 |   262832 |    67553      7 |      778 |      669
1163.44/1163.89	c 1163s |      17 |  7454602 |   263032 |    67553      7 |      778 |      669
1165.64/1166.09	c 1165s |      17 |  7455579 |   263332 |    67553      7 |      778 |      669
1168.03/1168.40	c 1167s |      17 |  7473385 |   263832 |    67553      7 |      778 |      669
1169.93/1170.40	c 1169s |      17 |  7493620 |   264232 |    67553      7 |      778 |      669
1172.13/1172.50	c 1171s |      17 |  7509821 |   264832 |    67553      7 |      778 |      669
1174.23/1174.65	c 1173s |      17 |  7528505 |   265432 |    67553      7 |      778 |      669
1176.43/1176.89	c 1176s |      17 |  7548385 |   265832 |    67553      7 |      778 |      669
1178.63/1179.04	c 1178s |      17 |  7568698 |   266232 |    67553      7 |      778 |      669
1180.63/1181.06	c 1180s |      17 |  7584505 |   266732 |    67553      7 |      778 |      669
1182.93/1183.33	c 1182s |      17 |  7598946 |   267332 |    67553      7 |      778 |      669
1185.03/1185.50	c 1184s |      17 |  7609801 |   267832 |    67553      7 |      778 |      669
1187.43/1187.80	c 1187s |      17 |  7622025 |   268432 |    67553      7 |      778 |      669
1189.73/1190.13	c 1189s |      17 |  7639333 |   268832 |    67553      7 |      778 |      669
1192.03/1192.48	c 1191s |      17 |  7653601 |   269232 |    67553      7 |      779 |      670
1194.13/1194.55	c 1193s |      17 |  7668233 |   269732 |    67553      7 |      779 |      670
1196.43/1196.85	c 1196s |      17 |  7681265 |   270332 |    67553      7 |      779 |      670
1198.83/1199.22	c 1198s |      17 |  7697190 |   270932 |    67553      7 |      779 |      670
1200.83/1201.23	c 1200s |      17 |  7711065 |   271432 |    67553      7 |      779 |      670
1203.13/1203.59	c 1202s |      17 |  7725470 |   272032 |    67553      7 |      779 |      670
1205.23/1205.65	c 1204s |      17 |  7743050 |   272532 |    67553      7 |      779 |      670
1207.32/1207.70	c 1206s |      17 |  7761424 |   273032 |    67553      7 |      779 |      670
1209.52/1209.94	c 1209s |      17 |  7780205 |   273532 |    67553      7 |      779 |      670
1212.12/1212.55	c 1211s |      17 |  7802977 |   274132 |    67553      7 |      779 |      670
1214.42/1214.84	c 1214s |      17 |  7818261 |   274632 |    67553      7 |      779 |      670
1216.62/1217.02	c 1216s |      17 |  7830028 |   275232 |    67553      7 |      779 |      670
1218.72/1219.17	c 1218s |      17 |  7849013 |   275832 |    67553      7 |      779 |      670
1220.73/1221.18	c 1220s |      17 |  7862736 |   276332 |    67553      7 |      779 |      670
1222.83/1223.21	c 1222s |      17 |  7882492 |   276832 |    67553      7 |      779 |      670
1224.82/1225.23	c 1224s |      17 |  7896013 |   277332 |    67553      7 |      779 |      670
1227.02/1227.40	c 1226s |      17 |  7909110 |   277932 |    67553      7 |      779 |      670
1229.12/1229.54	c 1228s |      17 |  7916257 |   278532 |    67553      7 |      779 |      670
1231.32/1231.70	c 1230s |      17 |  7917471 |   278832 |    67553      7 |      779 |      670
1233.32/1233.71	c 1232s |      17 |  7918164 |   279032 |    67553      7 |      779 |      670
1235.82/1236.27	c 1235s |      17 |  7921002 |   279532 |    67553      7 |      779 |      670
1238.32/1238.73	c 1237s |      17 |  7943116 |   280132 |    67553      7 |      779 |      670
1240.82/1241.21	c 1240s |      17 |  7966916 |   280732 |    67553      7 |      779 |      670
1243.12/1243.52	c 1242s |      17 |  7984477 |   281232 |    67553      7 |      779 |      670
1245.32/1245.75	c 1245s |      17 |  7996278 |   281832 |    67553      7 |      779 |      670
1247.62/1248.01	c 1247s |      17 |  8014075 |   282332 |    67553      7 |      779 |      670
1249.62/1250.05	c 1249s |      17 |  8030144 |   282832 |    67553      7 |      779 |      670
1251.71/1252.16	c 1251s |      17 |  8049369 |   283332 |    67553      7 |      779 |      670
1254.21/1254.60	c 1253s |      17 |  8072295 |   283832 |    67553      7 |      779 |      670
1256.51/1256.98	c 1256s |      17 |  8087148 |   284332 |    67553      7 |      779 |      670
1258.71/1259.13	c 1258s |      17 |  8106544 |   284732 |    67553      7 |      779 |      670
1260.91/1261.38	c 1260s |      17 |  8120304 |   285232 |    67553      7 |      779 |      670
1263.21/1263.66	c 1262s |      17 |  8135351 |   285832 |    67553      7 |      779 |      670
1265.41/1265.83	c 1265s |      17 |  8154569 |   286332 |    67553      7 |      779 |      670
1268.31/1268.74	c 1267s |      17 |  8162986 |   286632 |    67553      8 |      779 |      670
1270.41/1270.82	c 1270s |      17 |  8178114 |   287132 |    67553      8 |      779 |      670
1272.51/1272.91	c 1272s |      17 |  8198738 |   287632 |    67553      8 |      779 |      670
1274.53/1274.95	c 1274s |      17 |  8208917 |   288032 |    67553      8 |      780 |      671
1276.92/1277.31	c 1276s |      17 |  8230606 |   288632 |    67553      8 |      780 |      671
1279.12/1279.57	c 1278s |      17 |  8253580 |   289232 |    67553      8 |      780 |      671
1281.22/1281.65	c 1280s |      17 |  8272797 |   289732 |    67553      8 |      781 |      672
1283.52/1283.92	c 1283s |      17 |  8290229 |   290532 |    67553      8 |      781 |      672
1285.52/1285.97	c 1285s |      17 |  8312281 |   291132 |    67553      8 |      781 |      672
1287.72/1288.14	c 1287s |      17 |  8324479 |   291732 |    67553      8 |      781 |      672
1290.02/1290.47	c 1289s |      17 |  8346354 |   292332 |    67553      8 |      781 |      672
1292.12/1292.53	c 1291s |      17 |  8362420 |   292832 |    67553      8 |      781 |      672
1294.32/1294.80	c 1294s |      17 |  8379459 |   293432 |    67553      8 |      781 |      672
1296.62/1297.03	c 1296s |      17 |  8398961 |   294032 |    67553      8 |      781 |      672
1298.91/1299.31	c 1298s |      17 |  8417553 |   294632 |    74309      8 |      781 |      672
1301.11/1301.53	c 1300s |      17 |  8442330 |   295232 |    74309      8 |      781 |      672
1303.22/1303.65	c 1302s |      17 |  8465857 |   295632 |    74309      8 |      781 |      672
1305.51/1305.90	c 1305s |      17 |  8478977 |   296232 |    74309      8 |      781 |      672
1305.51/1305.98	c 1305s |      18 |  8479268 |   296252 |    74309      8 |      781 |      672
1307.71/1308.18	c 1307s |      18 |  8498979 |   296752 |    74309      8 |      781 |      672
1310.11/1310.53	c 1309s |      18 |  8514092 |   297452 |    74309      8 |      781 |      672
1312.21/1312.69	c 1311s |      18 |  8535629 |   298052 |    74309      8 |      781 |      672
1314.22/1314.69	c 1313s |      18 |  8555259 |   298552 |    74309      8 |      781 |      672
1316.42/1316.85	c 1316s |      18 |  8566287 |   299052 |    74309      8 |      781 |      672
1318.41/1318.87	c 1318s |      18 |  8574082 |   299652 |    74309      8 |      781 |      672
1320.51/1320.94	c 1320s |      18 |  8579780 |   300252 |    74309      8 |      781 |      672
1322.81/1323.25	c 1322s |      18 |  8585294 |   300752 |    74309      8 |      781 |      672
1325.11/1325.60	c 1324s |      18 |  8588702 |   301052 |    74309      8 |      782 |      673
1327.20/1327.68	c 1326s |      18 |  8609513 |   301552 |    74309      8 |      782 |      673
1329.51/1330.00	c 1329s |      18 |  8618230 |   302152 |    74309      8 |      782 |      673
1332.00/1332.48	c 1331s |      18 |  8629365 |   302652 |    74309      8 |      782 |      673
1334.20/1334.61	c 1333s |      18 |  8647278 |   303152 |    74309      8 |      782 |      673
1336.40/1336.85	c 1336s |      18 |  8665294 |   303752 |    74309      8 |      782 |      673
1338.80/1339.20	c 1338s |      18 |  8680755 |   304252 |    74309      8 |      782 |      673
1341.01/1341.49	c 1340s |      18 |  8689793 |   304652 |    74309      8 |      783 |      674
1343.41/1343.81	c 1343s |      18 |  8707043 |   305352 |    74309      8 |      783 |      674
1345.61/1346.03	c 1345s |      18 |  8726511 |   305852 |    74309      8 |      783 |      674
1347.81/1348.23	c 1347s |      18 |  8740546 |   306352 |    74309      8 |      783 |      674
1350.51/1350.93	c 1350s |      18 |  8742858 |   306852 |    74309      8 |      783 |      674
1352.71/1353.12	c 1352s |      18 |  8753796 |   307352 |    74309      8 |      783 |      674
1354.71/1355.15	c 1354s |      18 |  8760895 |   307952 |    74309      8 |      783 |      674
1356.71/1357.16	c 1356s |      18 |  8764083 |   308552 |    74309      8 |      783 |      674
1358.81/1359.20	c 1358s |      18 |  8769150 |   309152 |    74309      8 |      783 |      674
1360.81/1361.25	c 1360s |      18 |  8772321 |   309652 |    74309      8 |      783 |      674
1363.21/1363.61	c 1362s |      18 |  8787765 |   310252 |    74309      8 |      783 |      674
1365.41/1365.80	c 1365s |      18 |  8803667 |   310852 |    74309      8 |      783 |      674
1367.71/1368.13	c 1367s |      18 |  8809009 |   311452 |    74309      8 |      783 |      674
1370.10/1370.59	c 1369s |      18 |  8811148 |   311952 |    74309      8 |      783 |      674
1373.20/1373.67	c 1372s |      18 |  8811638 |   312152 |    74309      8 |      783 |      674
1375.40/1375.89	c 1375s |      18 |  8813011 |   312352 |    74309      8 |      783 |      674
1377.50/1377.93	c 1377s |      18 |  8814220 |   312652 |    74309      8 |      783 |      674
1380.00/1380.46	c 1379s |      18 |  8816439 |   313152 |    74309      8 |      783 |      674
1382.31/1382.71	c 1381s |      18 |  8817782 |   313552 |    74309      8 |      783 |      674
1384.70/1385.14	c 1384s |      18 |  8818523 |   313852 |    74309      8 |      783 |      674
1386.71/1387.15	c 1386s |      18 |  8819330 |   314152 |    74309      8 |      783 |      674
1389.01/1389.44	c 1388s |      18 |  8821704 |   314552 |    74309      8 |      783 |      674
1391.50/1391.95	c 1391s |      18 |  8823637 |   314852 |    74309      8 |      783 |      674
1393.80/1394.28	c 1393s |      18 |  8825057 |   315152 |    74309      8 |      783 |      674
1395.90/1396.38	c 1395s |      18 |  8825808 |   315352 |    74309      8 |      783 |      674
1398.40/1398.81	c 1398s |      18 |  8827092 |   315652 |    74309      8 |      783 |      674
1400.89/1401.32	c 1400s |      18 |  8828183 |   315952 |    74309      8 |      783 |      674
1403.59/1404.03	c 1403s |      18 |  8829739 |   316252 |    74309      8 |      783 |      674
1405.89/1406.39	c 1405s |      18 |  8830452 |   316452 |    74309      8 |      783 |      674
1408.59/1409.09	c 1408s |      18 |  8830961 |   316652 |    74309      8 |      783 |      674
1412.59/1413.00	c 1412s |      18 |  8831786 |   316852 |    74309      8 |      783 |      674
1415.30/1415.73	c 1414s |      18 |  8832667 |   317052 |    74309      8 |      783 |      674
1418.49/1418.99	c 1418s |      18 |  8833312 |   317252 |    74309      8 |      783 |      674
1421.10/1421.51	c 1420s |      18 |  8833534 |   317352 |    74309      8 |      783 |      674
1423.19/1423.67	c 1422s |      18 |  8833722 |   317452 |    74309      8 |      783 |      674
1425.39/1425.84	c 1425s |      18 |  8835098 |   317652 |    74309      8 |      783 |      674
1428.29/1428.76	c 1428s |      18 |  8836812 |   317952 |    74309      8 |      783 |      674
1430.39/1430.81	c 1430s |      18 |  8838041 |   318152 |    74309      8 |      783 |      674
1432.69/1433.10	c 1432s |      18 |  8838720 |   318352 |    74309      8 |      783 |      674
1435.09/1435.56	c 1434s |      18 |  8843616 |   318552 |    74309      8 |      783 |      674
1437.39/1437.81	c 1437s |      18 |  8860531 |   319052 |    74309      8 |      783 |      674
1439.50/1439.90	c 1439s |      18 |  8868189 |   319652 |    74309      8 |      783 |      674
1441.49/1441.96	c 1441s |      18 |  8878298 |   320352 |    74309      8 |      783 |      674
1443.90/1444.39	c 1443s |      18 |  8892228 |   320952 |    74309      8 |      783 |      674
1445.99/1446.43	c 1445s |      18 |  8909652 |   321452 |    74309      8 |      783 |      674
1448.19/1448.66	c 1447s |      18 |  8924656 |   321952 |    74309      8 |      783 |      674
1450.29/1450.72	c 1449s |      18 |  8934410 |   322352 |    74309      8 |      783 |      674
1452.39/1452.82	c 1452s |      18 |  8954239 |   322752 |    74309      8 |      783 |      674
1454.39/1454.85	c 1454s |      18 |  8968600 |   323152 |    74309      8 |      783 |      674
1456.59/1457.09	c 1456s |      18 |  8977644 |   323652 |    74309      8 |      783 |      674
1458.89/1459.35	c 1458s |      18 |  8984581 |   324052 |    74309      8 |      783 |      674
1461.29/1461.79	c 1461s |      18 |  8995563 |   324552 |    74309      8 |      783 |      674
1463.70/1464.20	c 1463s |      18 |  9012976 |   325052 |    74309      8 |      783 |      674
1466.09/1466.51	c 1465s |      18 |  9029467 |   325552 |    74309      8 |      783 |      674
1468.09/1468.57	c 1467s |      18 |  9040012 |   326052 |    74309      8 |      783 |      674
1470.69/1471.14	c 1470s |      18 |  9046476 |   326452 |    74309      8 |      783 |      674
1472.89/1473.34	c 1472s |      18 |  9056081 |   326852 |    74309      8 |      783 |      674
1474.88/1475.37	c 1474s |      18 |  9070591 |   327352 |    74309      8 |      783 |      674
1476.99/1477.41	c 1476s |      18 |  9077972 |   327852 |    74309      8 |      783 |      674
1479.28/1479.76	c 1479s |      18 |  9088772 |   328352 |    74309      8 |      783 |      674
1481.48/1481.97	c 1481s |      18 |  9101713 |   328852 |    74309      8 |      783 |      674
1483.59/1484.06	c 1483s |      18 |  9108897 |   329252 |    74309      8 |      783 |      674
1485.80/1486.27	c 1485s |      18 |  9116798 |   329652 |    74309      8 |      783 |      674
1489.09/1489.51	c 1488s |      18 |  9126660 |   329952 |    74309      9 |      783 |      674
1491.09/1491.54	c 1490s |      18 |  9144422 |   330552 |    74309      9 |      783 |      674
1493.49/1493.91	c 1493s |      18 |  9158839 |   331052 |    74309      9 |      783 |      674
1495.69/1496.13	c 1495s |      18 |  9163827 |   331452 |    74309      9 |      783 |      674
1497.89/1498.32	c 1497s |      18 |  9186030 |   332052 |    74309      9 |      783 |      674
1499.99/1500.47	c 1499s |      18 |  9204924 |   332652 |    74309      9 |      783 |      674
1502.08/1502.58	c 1501s |      18 |  9208928 |   333252 |    74309      9 |      783 |      674
1504.39/1504.83	c 1504s |      18 |  9210208 |   333652 |    74309      9 |      783 |      674
1506.48/1506.96	c 1506s |      18 |  9211555 |   334052 |    74309      9 |      783 |      674
1508.58/1509.04	c 1508s |      18 |  9212798 |   334452 |    74309      9 |      783 |      674
1510.88/1511.40	c 1510s |      18 |  9216866 |   334952 |    74309      9 |      783 |      674
1512.98/1513.49	c 1512s |      18 |  9240811 |   335452 |    74309      9 |      783 |      674
1515.18/1515.62	c 1514s |      18 |  9250164 |   335852 |    74309      9 |      783 |      674
1517.48/1517.93	c 1517s |      18 |  9265123 |   336452 |    74309      9 |      783 |      674
1519.98/1520.48	c 1519s |      18 |  9279071 |   337052 |    74309      9 |      783 |      674
1522.08/1522.52	c 1521s |      18 |  9297210 |   337552 |    74309      9 |      783 |      674
1524.38/1524.85	c 1524s |      18 |  9309095 |   338152 |    74309      9 |      783 |      674
1526.78/1527.27	c 1526s |      18 |  9311582 |   338752 |    74309      9 |      783 |      674
1528.77/1529.29	c 1528s |      18 |  9317564 |   339252 |    74309      9 |      783 |      674
1530.88/1531.39	c 1530s |      18 |  9325694 |   339752 |    74309      9 |      783 |      674
1533.37/1533.81	c 1533s |      18 |  9343665 |   340352 |    74309      9 |      783 |      674
1535.57/1536.09	c 1535s |      18 |  9364791 |   341152 |    74309      9 |      783 |      674
1537.77/1538.21	c 1537s |      18 |  9376757 |   341652 |    74309      9 |      783 |      674
1539.97/1540.43	c 1539s |      18 |  9382163 |   342052 |    74309      9 |      783 |      674
1542.27/1542.79	c 1542s |      18 |  9403725 |   342552 |    74309      9 |      783 |      674
1544.58/1545.04	c 1544s |      18 |  9411631 |   343052 |    74309      9 |      783 |      674
1546.88/1547.39	c 1546s |      18 |  9412672 |   343352 |    74309      9 |      783 |      674
1549.38/1549.80	c 1549s |      18 |  9422150 |   343852 |    74309      9 |      783 |      674
1551.37/1551.89	c 1551s |      18 |  9438560 |   344452 |    74309      9 |      783 |      674
1553.88/1554.31	c 1553s |      18 |  9456474 |   345052 |    74309      9 |      783 |      674
1556.08/1556.50	c 1555s |      18 |  9465283 |   345552 |    74309      9 |      783 |      674
1558.07/1558.59	c 1557s |      18 |  9485074 |   346152 |    74309      9 |      783 |      674
1560.37/1560.86	c 1560s |      18 |  9501264 |   346752 |    74309      9 |      783 |      674
1562.57/1563.07	c 1562s |      18 |  9518552 |   347252 |    74309      9 |      783 |      674
1564.88/1565.35	c 1564s |      18 |  9532246 |   347752 |    74309      9 |      783 |      674
1566.97/1567.50	c 1566s |      18 |  9545597 |   348352 |    74309      9 |      783 |      674
1569.28/1569.73	c 1568s |      18 |  9548874 |   348852 |    74309      9 |      783 |      674
1571.87/1572.30	c 1571s |      18 |  9557562 |   349452 |    74309      9 |      783 |      674
1574.17/1574.65	c 1573s |      18 |  9569760 |   349952 |    74309      9 |      783 |      674
1576.17/1576.65	c 1575s |      18 |  9582931 |   350552 |    74309      9 |      783 |      674
1578.37/1578.83	c 1578s |      18 |  9598247 |   351152 |    74309      9 |      783 |      674
1580.67/1581.15	c 1580s |      18 |  9602608 |   351652 |    74309      9 |      783 |      674
1582.77/1583.21	c 1582s |      18 |  9604783 |   352052 |    74309      9 |      783 |      674
1585.57/1586.06	c 1585s |      18 |  9606700 |   352452 |    74309      9 |      783 |      674
1588.47/1588.90	c 1588s |      18 |  9607831 |   352752 |    74309      9 |      783 |      674
1590.87/1591.31	c 1590s |      18 |  9620205 |   353252 |    74309      9 |      783 |      674
1592.87/1593.34	c 1592s |      18 |  9633169 |   353752 |    74309      9 |      783 |      674
1594.97/1595.49	c 1594s |      18 |  9639623 |   354252 |    74309      9 |      783 |      674
1597.07/1597.54	c 1596s |      18 |  9652077 |   354652 |    74309      9 |      783 |      674
1599.17/1599.68	c 1598s |      18 |  9662968 |   355152 |    74309      9 |      783 |      674
1601.37/1601.80	c 1601s |      18 |  9672871 |   355652 |    74309      9 |      783 |      674
1603.37/1603.82	c 1603s |      18 |  9687604 |   356152 |    74309      9 |      783 |      674
1605.87/1606.35	c 1605s |      18 |  9706532 |   356752 |    74309      9 |      783 |      674
1607.87/1608.36	c 1607s |      18 |  9722213 |   357252 |    74309      9 |      783 |      674
1610.67/1611.18	c 1610s |      18 |  9724629 |   357752 |    74309      9 |      783 |      674
1612.97/1613.47	c 1612s |      18 |  9731764 |   358352 |    74309      9 |      783 |      674
1615.27/1615.79	c 1615s |      18 |  9743364 |   358952 |    74309      9 |      783 |      674
1617.57/1618.09	c 1617s |      18 |  9760695 |   359452 |    74309      9 |      783 |      674
1619.87/1620.38	c 1619s |      18 |  9777359 |   359952 |    74309      9 |      783 |      674
1622.46/1622.93	c 1622s |      18 |  9786258 |   360452 |    74309      9 |      783 |      674
1624.96/1625.40	c 1624s |      18 |  9800618 |   360952 |    74309      9 |      783 |      674
1627.16/1627.61	c 1626s |      18 |  9808418 |   361352 |    74309      9 |      783 |      674
1629.36/1629.82	c 1629s |      18 |  9821896 |   361852 |    74309      9 |      783 |      674
1631.76/1632.26	c 1631s |      18 |  9840288 |   362352 |    74309      9 |      783 |      674
1634.06/1634.60	c 1633s |      18 |  9857912 |   362852 |    74309      9 |      783 |      674
1636.47/1636.95	c 1636s |      18 |  9876785 |   363352 |    74309      9 |      783 |      674
1638.46/1638.95	c 1638s |      18 |  9886290 |   363852 |    74309      9 |      783 |      674
1640.96/1641.47	c 1640s |      18 |  9900216 |   364352 |    74309      9 |      783 |      674
1643.07/1643.57	c 1642s |      18 |  9910177 |   364952 |    74309      9 |      783 |      674
1645.66/1646.11	c 1645s |      18 |  9912222 |   365552 |    74309      9 |      783 |      674
1647.76/1648.29	c 1647s |      18 |  9915858 |   366152 |    74309      9 |      783 |      674
1649.86/1650.35	c 1649s |      18 |  9919769 |   366652 |    74309      9 |      783 |      674
1652.46/1652.91	c 1652s |      18 |  9927178 |   367052 |    74309      9 |      783 |      674
1654.56/1655.09	c 1654s |      18 |  9939015 |   367452 |    74309      9 |      783 |      674
1656.86/1657.32	c 1656s |      18 |  9940788 |   367552 |    74309     10 |      783 |      674
1659.36/1659.89	c 1659s |      18 |  9953274 |   368352 |    74309     10 |      783 |      674
1661.36/1661.89	c 1661s |      18 |  9976496 |   368852 |    74309     10 |      783 |      674
1663.46/1663.90	c 1663s |      18 |  9995481 |   369552 |    74309     10 |      783 |      674
1665.46/1665.98	c 1665s |      18 | 10010972 |   370252 |    74309     10 |      783 |      674
1667.66/1668.19	c 1667s |      18 | 10024778 |   370952 |    74309     10 |      783 |      674
1669.86/1670.33	c 1669s |      18 | 10039270 |   371652 |    74309     10 |      783 |      674
1672.16/1672.67	c 1671s |      18 | 10045386 |   372352 |    74309     10 |      783 |      674
1674.45/1674.99	c 1674s |      18 | 10046615 |   372752 |    74309     10 |      783 |      674
1676.55/1677.06	c 1676s |      18 | 10064289 |   373252 |    74309     10 |      783 |      674
1678.65/1679.15	c 1678s |      18 | 10080520 |   373752 |    74309     10 |      783 |      674
1680.75/1681.20	c 1680s |      18 | 10103919 |   374352 |    74309     10 |      783 |      674
1682.85/1683.31	c 1682s |      18 | 10111750 |   374952 |    74309     10 |      783 |      674
1685.45/1685.90	c 1685s |      18 | 10130571 |   375452 |    74309     10 |      784 |      675
1687.65/1688.13	c 1687s |      18 | 10152003 |   376052 |    74309     10 |      784 |      675
1690.26/1690.71	c 1689s |      18 | 10167382 |   376552 |    74309     10 |      784 |      675
1692.46/1692.98	c 1692s |      18 | 10182875 |   377052 |    74309     10 |      784 |      675
1694.76/1695.24	c 1694s |      18 | 10200533 |   377652 |    74309     10 |      784 |      675
1697.05/1697.57	c 1696s |      18 | 10225748 |   378352 |    74309     10 |      784 |      675
1699.25/1699.79	c 1699s |      18 | 10245928 |   378952 |    74309     10 |      784 |      675
1701.36/1701.83	c 1701s |      18 | 10266548 |   379552 |    74309     10 |      784 |      675
1703.45/1703.97	c 1703s |      18 | 10278498 |   380152 |    74309     10 |      784 |      675
1705.75/1706.22	c 1705s |      18 | 10297108 |   380652 |    74309     10 |      784 |      675
1707.75/1708.28	c 1707s |      18 | 10314269 |   381152 |    74309     10 |      784 |      675
1710.05/1710.59	c 1709s |      18 | 10334633 |   381852 |    74309     10 |      784 |      675
1712.35/1712.81	c 1712s |      18 | 10352296 |   382352 |    74309     10 |      784 |      675
1714.45/1714.99	c 1714s |      18 | 10377771 |   382852 |    74309     10 |      784 |      675
1716.55/1717.06	c 1716s |      18 | 10395984 |   383452 |    74309     10 |      784 |      675
1718.65/1719.19	c 1718s |      18 | 10415170 |   383952 |    74309     10 |      784 |      675
1721.24/1721.72	c 1720s |      18 | 10430658 |   384552 |    74309     10 |      784 |      675
1723.25/1723.80	c 1723s |      18 | 10443674 |   385052 |    74309     10 |      784 |      675
1725.45/1725.97	c 1725s |      18 | 10449026 |   385452 |    74309     10 |      784 |      675
1727.65/1728.12	c 1727s |      18 | 10466543 |   385852 |    74309     10 |      784 |      675
1730.04/1730.52	c 1729s |      18 | 10487952 |   386452 |    74309     10 |      784 |      675
1732.15/1732.64	c 1731s |      18 | 10501428 |   387052 |    74309     10 |      784 |      675
1734.35/1734.87	c 1734s |      18 | 10514091 |   387652 |    74309     10 |      784 |      675
1736.84/1737.34	c 1736s |      18 | 10540258 |   388252 |    74309     10 |      784 |      675
1739.14/1739.62	c 1738s |      18 | 10561451 |   388752 |    74309     10 |      784 |      675
1741.55/1742.03	c 1741s |      18 | 10563360 |   389152 |    74309     10 |      784 |      675
1743.55/1744.05	c 1743s |      18 | 10575681 |   389552 |    74309     10 |      784 |      675
1745.65/1746.11	c 1745s |      18 | 10586088 |   389952 |    74309     10 |      784 |      675
1747.75/1748.27	c 1747s |      18 | 10604640 |   390452 |    74309     10 |      784 |      675
1749.95/1750.41	c 1749s |      18 | 10622501 |   390952 |    74309     10 |      784 |      675
1751.95/1752.42	c 1751s |      18 | 10640080 |   391452 |    74309     10 |      784 |      675
1754.05/1754.57	c 1753s |      18 | 10660343 |   391952 |    74309     10 |      784 |      675
1756.15/1756.64	c 1755s |      18 | 10681696 |   392352 |    74309     10 |      784 |      675
1758.25/1758.70	c 1757s |      18 | 10699462 |   392852 |    74309     10 |      784 |      675
1760.55/1761.09	c 1760s |      18 | 10719751 |   393452 |    74309     10 |      784 |      675
1762.65/1763.13	c 1762s |      18 | 10723365 |   393952 |    74309     10 |      784 |      675
1764.64/1765.14	c 1764s |      18 | 10737296 |   394352 |    74309     10 |      784 |      675
1766.74/1767.29	c 1766s |      18 | 10749122 |   394752 |    74309     10 |      784 |      675
1768.84/1769.31	c 1768s |      18 | 10753463 |   395252 |    74309     10 |      784 |      675
1771.24/1771.74	c 1770s |      18 | 10772891 |   395752 |    74309     10 |      784 |      675
1773.44/1773.94	c 1773s |      18 | 10787977 |   396352 |    74309     10 |      784 |      675
1775.64/1776.16	c 1775s |      18 | 10800207 |   396852 |    74309     10 |      784 |      675
1777.74/1778.26	c 1777s |      18 | 10816505 |   397352 |    74309     10 |      784 |      675
1780.14/1780.63	c 1779s |      18 | 10825971 |   397952 |    74309     10 |      784 |      675
1782.24/1782.70	c 1781s |      18 | 10833493 |   398552 |    74309     10 |      784 |      675
1784.74/1785.28	c 1784s |      18 | 10854677 |   399052 |    74309     10 |      784 |      675
1786.94/1787.48	c 1786s |      18 | 10862986 |   399652 |    74309     10 |      784 |      675
1789.34/1789.88	c 1789s |      18 | 10880379 |   400152 |    74309     10 |      784 |      675
1791.44/1792.00	c 1791s |      18 | 10894443 |   400652 |    74309     10 |      784 |      675
1793.64/1794.20	c 1793s |      18 | 10912419 |   401152 |    74309     10 |      784 |      675
1795.73/1796.26	c 1795s |      18 | 10928550 |   401652 |    74309     10 |      784 |      675
1797.93/1798.47	c 1797s |      18 | 10933111 |   402052 |    74309     10 |      784 |      675

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

pid=3916
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.13 2.16 2.11 3/179 3919
/proc/meminfo: memFree=30080496/32872528 swapFree=12328/568296
[pid=3919] ppid=3916 vsize=699836 CPUtime=0 cores=0,2,4,6
/proc/3919/stat : 3919 (toysat) R 3916 3919 3396 0 -1 4202496 2605 0 0 0 0 0 0 0 20 0 4 0 110348877 716632064 2966 33554432000 4194304 16246674 140734144738464 140734144737888 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3919/statm: 175471 2975 441 2943 0 172365 0
[pid=3919/tid=3920] ppid=3916 vsize=717244 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3920/stat : 3920 (toysat) S 3916 3919 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110348877 734457856 3035 33554432000 4194304 16246674 140734144738464 139797639179504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3919/tid=3921] ppid=3916 vsize=721340 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3921/stat : 3921 (toysat) S 3916 3919 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110348877 738652160 3053 33554432000 4194304 16246674 140734144738464 139797628689648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3919/tid=3922] ppid=3916 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3922/stat : 3922 (toysat) S 3916 3919 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110348877 742846464 3069 33554432000 4194304 16246674 140734144738464 139797618216112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.13 2.16 2.11 3/179 3919
/proc/meminfo: memFree=30080496/32872528 swapFree=12328/568296
[pid=3919] ppid=3916 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/3919/stat : 3919 (toysat) R 3916 3919 3396 0 -1 4202496 27428 0 0 0 5 3 0 0 20 0 4 0 110348877 1333334016 27727 33554432000 4194304 16246674 140734144738464 140734144737776 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3919/statm: 325521 27743 800 2943 0 322415 0
[pid=3919/tid=3920] ppid=3916 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3920/stat : 3920 (toysat) S 3916 3919 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110348877 1333334016 27754 33554432000 4194304 16246674 140734144738464 139797639179504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3919/tid=3921] ppid=3916 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3921/stat : 3921 (toysat) S 3916 3919 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110348877 1333334016 27768 33554432000 4194304 16246674 140734144738464 139797628689648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3919/tid=3922] ppid=3916 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3922/stat : 3922 (toysat) S 3916 3919 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110348877 1333334016 27779 33554432000 4194304 16246674 140734144738464 139797618216112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200531 s]
/proc/loadavg: 2.13 2.16 2.11 3/179 3919
/proc/meminfo: memFree=30080496/32872528 swapFree=12328/568296
[pid=3919] ppid=3916 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/3919/stat : 3919 (toysat) R 3916 3919 3396 0 -1 4202496 47339 0 0 0 12 7 0 0 20 0 4 0 110348877 1344868352 48149 33554432000 4194304 16246674 140734144738464 140734144737776 7439608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3919/statm: 328337 48149 801 2943 0 325231 0
[pid=3919/tid=3920] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3920/stat : 3920 (toysat) S 3916 3919 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 48149 33554432000 4194304 16246674 140734144738464 139797639179504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3919/tid=3921] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3921/stat : 3921 (toysat) S 3916 3919 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 48149 33554432000 4194304 16246674 140734144738464 139797628689648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3919/tid=3922] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3922/stat : 3922 (toysat) S 3916 3919 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 48149 33554432000 4194304 16246674 140734144738464 139797618216112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300476 s]
/proc/loadavg: 2.13 2.16 2.11 3/179 3919
/proc/meminfo: memFree=30080496/32872528 swapFree=12328/568296
[pid=3919] ppid=3916 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/3919/stat : 3919 (toysat) R 3916 3919 3396 0 -1 4202496 59910 0 0 0 20 9 0 0 20 0 4 0 110348877 1344868352 60720 33554432000 4194304 16246674 140734144738464 140734144737776 4220936 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3919/statm: 328337 60720 812 2943 0 325231 0
[pid=3919/tid=3920] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3920/stat : 3920 (toysat) S 3916 3919 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 60720 33554432000 4194304 16246674 140734144738464 139797639179504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3919/tid=3921] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3921/stat : 3921 (toysat) S 3916 3919 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 60720 33554432000 4194304 16246674 140734144738464 139797628689648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3919/tid=3922] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3922/stat : 3922 (toysat) S 3916 3919 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 60720 33554432000 4194304 16246674 140734144738464 139797618216112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700442 s]
/proc/loadavg: 2.13 2.16 2.11 3/179 3919
/proc/meminfo: memFree=30080496/32872528 swapFree=12328/568296
[pid=3919] ppid=3916 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/3919/stat : 3919 (toysat) R 3916 3919 3396 0 -1 4202496 111662 0 0 0 53 16 0 0 20 0 4 0 110348877 1344868352 112472 33554432000 4194304 16246674 140734144738464 140734144737776 12874965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3919/statm: 328337 112483 834 2943 0 325231 0
[pid=3919/tid=3920] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3920/stat : 3920 (toysat) S 3916 3919 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 112490 33554432000 4194304 16246674 140734144738464 139797639179504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3919/tid=3921] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3921/stat : 3921 (toysat) S 3916 3919 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 112500 33554432000 4194304 16246674 140734144738464 139797628689648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3919/tid=3922] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3922/stat : 3922 (toysat) S 3916 3919 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 112506 33554432000 4194304 16246674 140734144738464 139797618216112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.13 2.16 2.11 3/183 3923
/proc/meminfo: memFree=29402892/32872528 swapFree=12328/568296
[pid=3919] ppid=3916 vsize=1313348 CPUtime=1.48 cores=0,2,4,6
/proc/3919/stat : 3919 (toysat) R 3916 3919 3396 0 -1 4202496 213818 0 0 0 119 29 0 0 20 0 4 0 110348877 1344868352 214629 33554432000 4194304 16246674 140734144738464 140734144720384 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3919/statm: 328337 214638 876 2943 0 325231 0
[pid=3919/tid=3920] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3920/stat : 3920 (toysat) S 3916 3919 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 214644 33554432000 4194304 16246674 140734144738464 139797639179504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3919/tid=3921] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3921/stat : 3921 (toysat) S 3916 3919 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 214650 33554432000 4194304 16246674 140734144738464 139797628689648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3919/tid=3922] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3922/stat : 3922 (toysat) S 3916 3919 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 214656 33554432000 4194304 16246674 140734144738464 139797618216112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1313348

[startup+3.10045 s]
/proc/loadavg: 2.12 2.16 2.11 3/183 3923
/proc/meminfo: memFree=29001752/32872528 swapFree=12328/568296
[pid=3919] ppid=3916 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/3919/stat : 3919 (toysat) R 3916 3919 3396 0 -1 4202496 269007 0 0 0 271 38 0 0 20 0 4 0 110348877 1344868352 269817 33554432000 4194304 16246674 140734144738464 140734144720384 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3919/statm: 328337 269817 883 2943 0 325231 0
[pid=3919/tid=3920] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3920/stat : 3920 (toysat) S 3916 3919 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 269817 33554432000 4194304 16246674 140734144738464 139797639179504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3919/tid=3921] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3921/stat : 3921 (toysat) S 3916 3919 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 269817 33554432000 4194304 16246674 140734144738464 139797628689648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3919/tid=3922] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3922/stat : 3922 (toysat) S 3916 3919 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 269817 33554432000 4194304 16246674 140734144738464 139797618216112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30037 s]
/proc/loadavg: 2.12 2.16 2.11 3/183 3972
/proc/meminfo: memFree=29013160/32872528 swapFree=12328/568296
[pid=3919] ppid=3916 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/3919/stat : 3919 (toysat) R 3916 3919 3396 0 -1 4202496 269008 0 0 0 591 38 0 0 20 0 4 0 110348877 1344868352 269818 33554432000 4194304 16246674 140734144738464 140734144720384 13898695 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3919/statm: 328337 269818 883 2943 0 325231 0
[pid=3919/tid=3920] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3920/stat : 3920 (toysat) S 3916 3919 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 269818 33554432000 4194304 16246674 140734144738464 139797639179504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3919/tid=3921] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3921/stat : 3921 (toysat) S 3916 3919 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 269818 33554432000 4194304 16246674 140734144738464 139797628689648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3919/tid=3922] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3922/stat : 3922 (toysat) S 3916 3919 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 269818 33554432000 4194304 16246674 140734144738464 139797618216112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.10 2.15 2.10 4/183 3972
/proc/meminfo: memFree=29001360/32872528 swapFree=12328/568296
[pid=3919] ppid=3916 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/3919/stat : 3919 (toysat) R 3916 3919 3396 0 -1 4202496 269010 0 0 0 1231 38 0 0 20 0 4 0 110348877 1344868352 269820 33554432000 4194304 16246674 140734144738464 140734144720320 5677392 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3919/statm: 328337 269820 885 2943 0 325231 0
[pid=3919/tid=3920] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3920/stat : 3920 (toysat) S 3916 3919 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 269820 33554432000 4194304 16246674 140734144738464 139797639179504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3919/tid=3921] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3921/stat : 3921 (toysat) S 3916 3919 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 269820 33554432000 4194304 16246674 140734144738464 139797628689648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3919/tid=3922] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3922/stat : 3922 (toysat) S 3916 3919 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 269820 33554432000 4194304 16246674 140734144738464 139797618216112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.16 2.16 2.11 3/183 3972
/proc/meminfo: memFree=29001704/32872528 swapFree=12328/568296
[pid=3919] ppid=3916 vsize=1313348 CPUtime=25.48 cores=0,2,4,6
/proc/3919/stat : 3919 (toysat) R 3916 3919 3396 0 -1 4202496 269010 0 0 0 2510 38 0 0 20 0 4 0 110348877 1344868352 269820 33554432000 4194304 16246674 140734144738464 140734144720384 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3919/statm: 328337 269820 885 2943 0 325231 0
[pid=3919/tid=3920] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3920/stat : 3920 (toysat) S 3916 3919 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 269820 33554432000 4194304 16246674 140734144738464 139797639179504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3919/tid=3921] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3921/stat : 3921 (toysat) S 3916 3919 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 269820 33554432000 4194304 16246674 140734144738464 139797628689648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3919/tid=3922] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3922/stat : 3922 (toysat) S 3916 3919 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 269820 33554432000 4194304 16246674 140734144738464 139797618216112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.10 2.15 2.10 3/183 3972
/proc/meminfo: memFree=29001800/32872528 swapFree=12328/568296
[pid=3919] ppid=3916 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/3919/stat : 3919 (toysat) R 3916 3919 3396 0 -1 4202496 269010 0 0 0 5070 38 0 0 20 0 4 0 110348877 1344868352 269820 33554432000 4194304 16246674 140734144738464 140734144720384 5667556 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3919/statm: 328337 269820 885 2943 0 325231 0
[pid=3919/tid=3920] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3920/stat : 3920 (toysat) S 3916 3919 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 269820 33554432000 4194304 16246674 140734144738464 139797639179504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3919/tid=3921] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3921/stat : 3921 (toysat) S 3916 3919 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 269820 33554432000 4194304 16246674 140734144738464 139797628689648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3919/tid=3922] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3922/stat : 3922 (toysat) S 3916 3919 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 269820 33554432000 4194304 16246674 140734144738464 139797618216112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.18 2.17 2.11 3/183 3974
/proc/meminfo: memFree=29001540/32872528 swapFree=12328/568296
[pid=3919] ppid=3916 vsize=1313348 CPUtime=102.28 cores=0,2,4,6
/proc/3919/stat : 3919 (toysat) R 3916 3919 3396 0 -1 4202496 269023 0 0 0 10189 39 0 0 20 0 4 0 110348877 1344868352 269820 33554432000 4194304 16246674 140734144738464 140734144720384 5667351 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3919/statm: 328337 269820 885 2943 0 325231 0
[pid=3919/tid=3920] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3920/stat : 3920 (toysat) S 3916 3919 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 269820 33554432000 4194304 16246674 140734144738464 139797639179504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3919/tid=3921] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3921/stat : 3921 (toysat) S 3916 3919 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 269820 33554432000 4194304 16246674 140734144738464 139797628689648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3919/tid=3922] ppid=3916 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3922/stat : 3922 (toysat) S 3916 3919 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110348877 1344868352 269820 33554432000 4194304 16246674 140734144738464 139797618216112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


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

/proc/3919/task/3922/stat : 3922 (toysat) S 3916 3919 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110348877 1345916928 269888 33554432000 4194304 16246674 140734144738464 139797618216112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.12 2.14 2.13 4/183 4005
/proc/meminfo: memFree=28994988/32872528 swapFree=12328/568296
[pid=3919] ppid=3916 vsize=1314372 CPUtime=1361.91 cores=0,2,4,6
/proc/3919/stat : 3919 (toysat) R 3916 3919 3396 0 -1 4202496 269408 0 0 0 136140 51 0 0 20 0 4 0 110348877 1345916928 269888 33554432000 4194304 16246674 140734144738464 140734144720384 6021624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3919/statm: 328593 269888 886 2943 0 325487 0
[pid=3919/tid=3920] ppid=3916 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3920/stat : 3920 (toysat) S 3916 3919 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110348877 1345916928 269888 33554432000 4194304 16246674 140734144738464 139797639179504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3919/tid=3921] ppid=3916 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3921/stat : 3921 (toysat) S 3916 3919 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110348877 1345916928 269888 33554432000 4194304 16246674 140734144738464 139797628689648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3919/tid=3922] ppid=3916 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3922/stat : 3922 (toysat) S 3916 3919 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110348877 1345916928 269888 33554432000 4194304 16246674 140734144738464 139797618216112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.14 2.14 2.12 3/183 4006
/proc/meminfo: memFree=28995424/32872528 swapFree=12328/568296
[pid=3919] ppid=3916 vsize=1314372 CPUtime=1421.9 cores=0,2,4,6
/proc/3919/stat : 3919 (toysat) R 3916 3919 3396 0 -1 4202496 269408 0 0 0 142137 53 0 0 20 0 4 0 110348877 1345916928 269888 33554432000 4194304 16246674 140734144738464 140734144720384 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3919/statm: 328593 269888 886 2943 0 325487 0
[pid=3919/tid=3920] ppid=3916 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3920/stat : 3920 (toysat) S 3916 3919 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110348877 1345916928 269888 33554432000 4194304 16246674 140734144738464 139797639179504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3919/tid=3921] ppid=3916 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3921/stat : 3921 (toysat) S 3916 3919 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110348877 1345916928 269888 33554432000 4194304 16246674 140734144738464 139797628689648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3919/tid=3922] ppid=3916 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3922/stat : 3922 (toysat) S 3916 3919 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110348877 1345916928 269888 33554432000 4194304 16246674 140734144738464 139797618216112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.15 2.15 2.12 3/183 4007
/proc/meminfo: memFree=28995180/32872528 swapFree=12328/568296
[pid=3919] ppid=3916 vsize=1314372 CPUtime=1481.88 cores=0,2,4,6
/proc/3919/stat : 3919 (toysat) R 3916 3919 3396 0 -1 4202496 269408 0 0 0 148134 54 0 0 20 0 4 0 110348877 1345916928 269888 33554432000 4194304 16246674 140734144738464 140734144720384 5717462 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3919/statm: 328593 269888 886 2943 0 325487 0
[pid=3919/tid=3920] ppid=3916 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3920/stat : 3920 (toysat) S 3916 3919 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110348877 1345916928 269888 33554432000 4194304 16246674 140734144738464 139797639179504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3919/tid=3921] ppid=3916 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3921/stat : 3921 (toysat) S 3916 3919 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110348877 1345916928 269888 33554432000 4194304 16246674 140734144738464 139797628689648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3919/tid=3922] ppid=3916 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3922/stat : 3922 (toysat) S 3916 3919 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110348877 1345916928 269888 33554432000 4194304 16246674 140734144738464 139797618216112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1314372

[startup+1542.31 s]
/proc/loadavg: 2.09 2.13 2.12 3/182 4008
/proc/meminfo: memFree=28992536/32872528 swapFree=12328/568296
[pid=3919] ppid=3916 vsize=1317444 CPUtime=1541.88 cores=0,2,4,6
/proc/3919/stat : 3919 (toysat) R 3916 3919 3396 0 -1 4202496 270276 0 0 0 154133 55 0 0 20 0 4 0 110348877 1349062656 270756 33554432000 4194304 16246674 140734144738464 140734144720384 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3919/statm: 329361 270756 886 2943 0 326255 0
[pid=3919/tid=3920] ppid=3916 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3920/stat : 3920 (toysat) S 3916 3919 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110348877 1349062656 270756 33554432000 4194304 16246674 140734144738464 139797639179504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3919/tid=3921] ppid=3916 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3921/stat : 3921 (toysat) S 3916 3919 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110348877 1349062656 270756 33554432000 4194304 16246674 140734144738464 139797628689648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3919/tid=3922] ppid=3916 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3922/stat : 3922 (toysat) S 3916 3919 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110348877 1349062656 270756 33554432000 4194304 16246674 140734144738464 139797618216112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1317444

[startup+1602.3 s]
/proc/loadavg: 2.14 2.14 2.12 3/183 4010
/proc/meminfo: memFree=28992224/32872528 swapFree=12328/568296
[pid=3919] ppid=3916 vsize=1317444 CPUtime=1601.87 cores=0,2,4,6
/proc/3919/stat : 3919 (toysat) R 3916 3919 3396 0 -1 4202496 270276 0 0 0 160130 57 0 0 20 0 4 0 110348877 1349062656 270756 33554432000 4194304 16246674 140734144738464 140734144720384 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3919/statm: 329361 270756 886 2943 0 326255 0
[pid=3919/tid=3920] ppid=3916 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3920/stat : 3920 (toysat) S 3916 3919 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110348877 1349062656 270756 33554432000 4194304 16246674 140734144738464 139797639179504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3919/tid=3921] ppid=3916 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3921/stat : 3921 (toysat) S 3916 3919 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110348877 1349062656 270756 33554432000 4194304 16246674 140734144738464 139797628689648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3919/tid=3922] ppid=3916 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3922/stat : 3922 (toysat) S 3916 3919 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110348877 1349062656 270756 33554432000 4194304 16246674 140734144738464 139797618216112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1317444

[startup+1662.3 s]
/proc/loadavg: 2.16 2.14 2.12 3/184 4015
/proc/meminfo: memFree=28992048/32872528 swapFree=12328/568296
[pid=3919] ppid=3916 vsize=1317444 CPUtime=1661.86 cores=0,2,4,6
/proc/3919/stat : 3919 (toysat) R 3916 3919 3396 0 -1 4202496 270276 0 0 0 166129 57 0 0 20 0 4 0 110348877 1349062656 270756 33554432000 4194304 16246674 140734144738464 140734144720384 13943604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3919/statm: 329361 270756 886 2943 0 326255 0
[pid=3919/tid=3920] ppid=3916 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3920/stat : 3920 (toysat) S 3916 3919 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110348877 1349062656 270756 33554432000 4194304 16246674 140734144738464 139797639179504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3919/tid=3921] ppid=3916 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3921/stat : 3921 (toysat) S 3916 3919 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110348877 1349062656 270756 33554432000 4194304 16246674 140734144738464 139797628689648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3919/tid=3922] ppid=3916 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3922/stat : 3922 (toysat) S 3916 3919 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110348877 1349062656 270756 33554432000 4194304 16246674 140734144738464 139797618216112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1317444

[startup+1722.3 s]
/proc/loadavg: 2.06 2.11 2.10 3/183 4016
/proc/meminfo: memFree=28991804/32872528 swapFree=12328/568296
[pid=3919] ppid=3916 vsize=1317444 CPUtime=1721.84 cores=0,2,4,6
/proc/3919/stat : 3919 (toysat) R 3916 3919 3396 0 -1 4202496 270276 0 0 0 172127 57 0 0 20 0 4 0 110348877 1349062656 270756 33554432000 4194304 16246674 140734144738464 140734144720384 13820945 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3919/statm: 329361 270756 886 2943 0 326255 0
[pid=3919/tid=3920] ppid=3916 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3920/stat : 3920 (toysat) S 3916 3919 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110348877 1349062656 270756 33554432000 4194304 16246674 140734144738464 139797639179504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3919/tid=3921] ppid=3916 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3921/stat : 3921 (toysat) S 3916 3919 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110348877 1349062656 270756 33554432000 4194304 16246674 140734144738464 139797628689648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3919/tid=3922] ppid=3916 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3922/stat : 3922 (toysat) S 3916 3919 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110348877 1349062656 270756 33554432000 4194304 16246674 140734144738464 139797618216112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1317444

[startup+1782.3 s]
/proc/loadavg: 2.18 2.13 2.11 3/183 4017
/proc/meminfo: memFree=28990504/32872528 swapFree=12328/568296
[pid=3919] ppid=3916 vsize=1317444 CPUtime=1781.84 cores=0,2,4,6
/proc/3919/stat : 3919 (toysat) R 3916 3919 3396 0 -1 4202496 270277 0 0 0 178126 58 0 0 20 0 4 0 110348877 1349062656 270759 33554432000 4194304 16246674 140734144738464 140734144720384 13927272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3919/statm: 329361 270759 886 2943 0 326255 0
[pid=3919/tid=3920] ppid=3916 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3920/stat : 3920 (toysat) S 3916 3919 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110348877 1349062656 270759 33554432000 4194304 16246674 140734144738464 139797639179504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3919/tid=3921] ppid=3916 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3921/stat : 3921 (toysat) S 3916 3919 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110348877 1349062656 270759 33554432000 4194304 16246674 140734144738464 139797628689648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3919/tid=3922] ppid=3916 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3922/stat : 3922 (toysat) S 3916 3919 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110348877 1349062656 270759 33554432000 4194304 16246674 140734144738464 139797618216112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.13 2.12 2.11 3/183 4017
/proc/meminfo: memFree=28990136/32872528 swapFree=12328/568296
[pid=3919] ppid=3916 vsize=1317444 CPUtime=1800.03 cores=0,2,4,6
/proc/3919/stat : 3919 (toysat) R 3916 3919 3396 0 -1 4202496 270277 0 0 0 179945 58 0 0 20 0 4 0 110348877 1349062656 270759 33554432000 4194304 16246674 140734144738464 140734144720384 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3919/statm: 329361 270759 886 2943 0 326255 0
[pid=3919/tid=3920] ppid=3916 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3920/stat : 3920 (toysat) S 3916 3919 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110348877 1349062656 270759 33554432000 4194304 16246674 140734144738464 139797639179504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3919/tid=3921] ppid=3916 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3921/stat : 3921 (toysat) S 3916 3919 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110348877 1349062656 270759 33554432000 4194304 16246674 140734144738464 139797628689648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3919/tid=3922] ppid=3916 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3922/stat : 3922 (toysat) S 3916 3919 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110348877 1349062656 270759 33554432000 4194304 16246674 140734144738464 139797618216112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1317444

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

[startup+1800.5 s]
/proc/loadavg: 2.13 2.12 2.11 3/183 4017
/proc/meminfo: memFree=28990136/32872528 swapFree=12328/568296
[pid=3919] ppid=3916 vsize=1317444 CPUtime=1800.03 cores=0,2,4,6
/proc/3919/stat : 3919 (toysat) R 3916 3919 3396 0 -1 4202496 270277 0 0 0 179945 58 0 0 20 0 4 0 110348877 1349062656 270759 33554432000 4194304 16246674 140734144738464 140734144720384 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3919/statm: 329361 270759 886 2943 0 326255 0
[pid=3919/tid=3920] ppid=3916 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3920/stat : 3920 (toysat) S 3916 3919 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110348877 1349062656 270759 33554432000 4194304 16246674 140734144738464 139797639179504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3919/tid=3921] ppid=3916 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3921/stat : 3921 (toysat) S 3916 3919 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110348877 1349062656 270759 33554432000 4194304 16246674 140734144738464 139797628689648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3919/tid=3922] ppid=3916 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3922/stat : 3922 (toysat) S 3916 3919 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110348877 1349062656 270759 33554432000 4194304 16246674 140734144738464 139797618216112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1317444

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.46
CPU system time (s): 0.58991
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.58991
maximum resident set size= 1083036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270277
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= 346
involuntary context switches= 1838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.30319 second user time and 7.79981 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-07 09:22:43
IDJOB=4078909
IDBENCH=90141
IDSOLVER=2542
FILE ID=node138/4078909-1465284163
RUNJOBID= node138-1465278758-3412
PBS_JOBID= 19843315
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 828e3d173a352fe2cabe4815c21f6f3f
RANDOM SEED=169798352

node138.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.807
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
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.807
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.807
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.807
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.807
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.807
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.807
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.807
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:        30080620 kB
Buffers:          106024 kB
Cached:           252228 kB
SwapCached:        46740 kB
Active:          1220864 kB
Inactive:         266392 kB
Active(anon):    1083832 kB
Inactive(anon):    47688 kB
Active(file):     137032 kB
Inactive(file):   218704 kB
Unevictable:      568296 kB
Mlocked:           12328 kB
SwapTotal:      67108856 kB
SwapFree:       67053656 kB
Dirty:             17776 kB
Writeback:             0 kB
AnonPages:       1651976 kB
Mapped:            11824 kB
Shmem:                 0 kB
Slab:             602980 kB
SReclaimable:      46416 kB
SUnreclaim:       556564 kB
KernelStack:        1472 kB
PageTables:         7376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1794156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1634304 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= 71712 MiB
End job on node138 at 2016-06-07 09:52:44