Trace number 4078904

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K152.opb
MD5SUM6abb89533e60aa1ed19663db7c40a868
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 variables18088
Total number of constraints18394
Number of constraints which are clauses18242
Number of constraints which are cardinality constraints (but not clauses)152
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint152
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 153
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:55:35+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-4078904-1465286135.opb"]
0.00/0.01	c use --random-gen="1658571218 135632675 1389858089 2339072416 3483294474 2428366813 1601345520 729739569 2052571864 1402951447 1601342667 1056708905 2483860097 2252721350 1039169154 2160699070 4055059872 1272350460 2597396632 951720300 2474418930 1010766907 978056028 3576085302 3228770656 905632392 2939658437 2808980460 1129428062 142088818 1711602278 2438120482 2839433008 3186597790 1158783480 3885698214 1032716872 1862743410 2134747824 2675403705 2873498297 673781711 1982798392 3035021208 131935598 4073403319 2185710548 1656862479 3117366677 4179968482 2251421718 2169636581 695055218 1391412958 3177913355 3603833604 1739024867 1986575747 1342031403 346521545 3351251498 2231235413 2405976908 3736114929 108535935 1601360393 2726778256 660823203 2004376224 3606831678 999347646 2625305379 3997209414 3822612736 368866868 723229592 3141679499 518961123 1842011411 3617604152 1367363259 424286335 3136933196 540113919 3299317469 2393969903 3620066530 2257533780 1685150461 1732379792 3590544380 686480818 414387844 3067877735 623259036 2882107310 1077733955 2479817974 3907536408 31747478 1663694048 1217611948 3680876870 3768329555 2730553179 3444525284 1834817327 848703076 2118615324 1215235304 462283083 3608568484 1475515288 1146800493 3208893018 2105690903 2069930898 423346305 653228498 4168344595 4049723732 714732951 2560802106 3422303720 4116242999 3132657050 3611241962 413180578 1893794853 133216529 3776176524 3569848813 2476580188 2003072278 4069617895 2823583377 544651948 811666721 2472229466 3642064068 2188145634 598940989 1657201635 1270693307 4030274383 2454778314 1926987817 3320667548 2616123785 2024383563 536228267 126125911 2637165835 883093405 25839623 2770803690 3217088254 3514105094 3932769683 1216158377 3818532735 971359649 3277370569 2597372288 170910249 4236555803 1351195174 753406603 2488765829 2740096428 2862653147 3107625844 549828945 4201045557 3231695935 1004537509 2389035357 168463465 647242685 523834736 2799563571 3725709805 1810731073 774784170 1976344025 1308579966 2503357402 460613188 1587420267 1090805856 696383 373697959 3143166982 2906592425 124487093 1563476077 224708652 945245365 1381533210 322374233 943035914 4026350638 1721044736 613562968 4024083639 1476793975 2821097720 1215755380 1845093396 2343669393 1406548783 2992854188 3117244090 899805448 459245128 1795892428 558275755 2727525220 851523103 3768015808 649946450 1133756623 4212221814 2201040305 1592096692 3739687469 657352949 1809685820 3438736858 1676557636 2436971219 2158387087 1757273133 1501423876 3621544781 3839805768 3139323700 1721173955 2525557244 2262467648 2935192189 4289424778 3115559072 957294633 3797121570 957716491 3233166664 1960612980 3939889857 929198132 3391840721 3826338291 2238859800 909927518 1106111138 3148527628 255 362436" option to reproduce the execution
0.19/0.27	c #vars 18088
0.19/0.27	c #constraints 18394
0.59/0.65	c Solving starts ...
0.59/0.65	c ============================[ Search Statistics ]============================
0.59/0.65	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.65	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.65	c =============================================================================
0.68/0.70	c  0.0s |       0 |        0 |        0 |    12160      0 |      742 |        0
1.68/1.72	c  1.0s |       1 |     6404 |      100 |    12160      0 |      743 |      634
2.08/2.16	c  1.5s |       2 |    10305 |      250 |    13377      0 |      743 |      634
2.89/2.97	c  2.3s |       3 |    25931 |      475 |    14715      0 |      744 |      635
3.89/3.94	c  3.2s |       4 |    43289 |      813 |    16187      0 |      744 |      635
5.09/5.10	c  4.4s |       5 |    61694 |     1320 |    17806      0 |      744 |      635
7.09/7.18	c  6.5s |       5 |    90213 |     2020 |    19587      0 |      746 |      637
7.29/7.32	c  6.6s |       6 |    95350 |     2081 |    21546      0 |      746 |      637
9.49/9.58	c  8.9s |       6 |   122930 |     3081 |    21546      0 |      748 |      639
9.79/9.89	c  9.2s |       7 |   125877 |     3223 |    23701      0 |      748 |      639
11.99/12.01	c 11.3s |       7 |   150584 |     4023 |    23701      0 |      748 |      639
13.79/13.80	c 13.1s |       8 |   162316 |     4936 |    26072      0 |      748 |      639
15.79/15.86	c 15.2s |       8 |   166041 |     5536 |    26072      0 |      748 |      639
18.19/18.27	c 17.6s |       8 |   167731 |     6036 |    26072      0 |      748 |      639
20.28/20.33	c 19.6s |       8 |   169768 |     6536 |    26072      0 |      748 |      639
22.28/22.36	c 21.7s |       8 |   171018 |     6936 |    26072      0 |      748 |      639
24.48/24.56	c 23.9s |       8 |   173034 |     7336 |    26072      0 |      748 |      639
25.18/25.30	c 24.6s |       9 |   173459 |     7506 |    28680      0 |      748 |      639
27.38/27.49	c 26.8s |       9 |   201187 |     8106 |    28680      0 |      749 |      640
29.79/29.84	c 29.1s |       9 |   230779 |     8906 |    28680      0 |      751 |      642
31.78/31.90	c 31.2s |       9 |   251969 |     9506 |    28680      0 |      753 |      644
33.88/33.93	c 33.2s |       9 |   276896 |    10006 |    28680      0 |      754 |      645
35.88/35.97	c 35.3s |       9 |   304108 |    10606 |    28680      0 |      755 |      646
38.08/38.14	c 37.4s |      10 |   330479 |    11361 |    31549      0 |      755 |      646
40.48/40.51	c 39.8s |      10 |   361601 |    11961 |    31549      0 |      756 |      647
42.48/42.57	c 41.9s |      10 |   382518 |    12661 |    31549      0 |      757 |      648
44.48/44.58	c 43.9s |      10 |   407498 |    13261 |    31549      0 |      758 |      649
46.58/46.60	c 45.9s |      10 |   421530 |    13761 |    31549      0 |      758 |      649
48.98/49.00	c 48.3s |      10 |   443920 |    14361 |    31549      0 |      759 |      650
51.08/51.11	c 50.4s |      10 |   466588 |    15161 |    31549      0 |      759 |      650
53.18/53.21	c 52.5s |      10 |   489777 |    15761 |    31549      0 |      759 |      650
55.78/55.83	c 55.1s |      10 |   515579 |    16561 |    31549      0 |      760 |      651
57.58/57.64	c 56.9s |      11 |   536005 |    17144 |    34704      0 |      760 |      651
59.88/59.91	c 59.2s |      11 |   564241 |    17744 |    34704      0 |      760 |      651
62.18/62.24	c 61.5s |      11 |   587165 |    18444 |    34704      0 |      761 |      652
64.38/64.45	c 63.7s |      11 |   610057 |    19044 |    34704      0 |      761 |      652
66.67/66.71	c 66.0s |      11 |   623956 |    19644 |    34704      0 |      762 |      653
68.87/68.93	c 68.2s |      11 |   647072 |    20244 |    34704      0 |      762 |      653
70.97/71.08	c 70.4s |      11 |   670419 |    20844 |    34704      0 |      762 |      653
73.07/73.11	c 72.4s |      11 |   688425 |    21444 |    34704      0 |      762 |      653
75.37/75.40	c 74.7s |      11 |   710349 |    22144 |    34704      0 |      762 |      653
77.77/77.85	c 77.1s |      11 |   724843 |    22644 |    34704      0 |      762 |      653
79.97/80.08	c 79.4s |      11 |   729237 |    23344 |    34704      0 |      762 |      653
82.07/82.14	c 81.4s |      11 |   741827 |    23844 |    34704      0 |      763 |      654
84.17/84.25	c 83.5s |      11 |   760644 |    24444 |    34704      0 |      763 |      654
86.27/86.34	c 85.6s |      11 |   779494 |    25044 |    34704      0 |      763 |      654
88.47/88.53	c 87.8s |      11 |   808982 |    25644 |    34704      0 |      763 |      654
89.08/89.14	c 88.4s |      12 |   818583 |    25819 |    38175      0 |      763 |      654
91.17/91.29	c 90.6s |      12 |   834251 |    26219 |    38175      0 |      764 |      655
93.37/93.43	c 92.7s |      12 |   846463 |    26619 |    38175      0 |      766 |      657
95.47/95.52	c 94.8s |      12 |   859532 |    27019 |    38175      0 |      768 |      659
97.67/97.75	c 97.1s |      12 |   879862 |    27719 |    38175      0 |      768 |      659
100.08/100.13	c 99.4s |      12 |   910365 |    28319 |    38175      0 |      768 |      659
102.28/102.36	c  101s |      12 |   930416 |    29019 |    38175      0 |      768 |      659
104.48/104.54	c  103s |      12 |   950802 |    29619 |    38175      0 |      768 |      659
106.68/106.71	c  106s |      12 |   959152 |    30319 |    38175      0 |      768 |      659
108.77/108.86	c  108s |      12 |   973318 |    30919 |    38175      0 |      768 |      659
111.27/111.31	c  110s |      12 |   976057 |    31519 |    38175      0 |      768 |      659
113.37/113.48	c  112s |      12 |   977246 |    31919 |    38175      0 |      768 |      659
115.76/115.87	c  115s |      12 |   978301 |    32319 |    38175      0 |      768 |      659
118.16/118.25	c  117s |      12 |   981528 |    32719 |    38175      0 |      768 |      659
120.26/120.36	c  119s |      12 |   999338 |    33319 |    38175      0 |      768 |      659
122.46/122.59	c  121s |      12 |  1015949 |    34019 |    38175      0 |      768 |      659
124.56/124.67	c  123s |      12 |  1035833 |    34519 |    38175      0 |      768 |      659
126.76/126.88	c  126s |      12 |  1053488 |    35019 |    38175      0 |      768 |      659
129.06/129.17	c  128s |      12 |  1067287 |    35519 |    38175      0 |      769 |      660
131.46/131.54	c  130s |      12 |  1084037 |    36119 |    38175      0 |      769 |      660
133.76/133.88	c  133s |      12 |  1106731 |    36719 |    38175      0 |      769 |      660
136.16/136.28	c  135s |      12 |  1122842 |    37419 |    38175      0 |      769 |      660
138.36/138.43	c  137s |      12 |  1137560 |    38019 |    38175      0 |      769 |      660
140.46/140.52	c  139s |      12 |  1151851 |    38619 |    41993      0 |      769 |      660
141.16/141.22	c  140s |      13 |  1155104 |    38832 |    41993      0 |      769 |      660
143.16/143.28	c  142s |      13 |  1158411 |    39232 |    41993      0 |      769 |      660
145.46/145.57	c  144s |      13 |  1161952 |    39932 |    41993      0 |      769 |      660
147.66/147.79	c  147s |      13 |  1166119 |    40632 |    41993      0 |      769 |      660
149.86/149.96	c  149s |      13 |  1167517 |    41032 |    41993      0 |      769 |      660
152.36/152.42	c  151s |      13 |  1169260 |    41532 |    41993      0 |      769 |      660
154.95/155.01	c  154s |      13 |  1171101 |    41932 |    41993      0 |      769 |      660
157.15/157.25	c  156s |      13 |  1173174 |    42432 |    41993      0 |      769 |      660
159.35/159.48	c  158s |      13 |  1175740 |    42932 |    41993      0 |      769 |      660
161.76/161.87	c  161s |      13 |  1176770 |    43332 |    41993      0 |      769 |      660
164.25/164.33	c  163s |      13 |  1177830 |    43732 |    41993      0 |      769 |      660
166.75/166.87	c  166s |      13 |  1178583 |    44032 |    41993      0 |      769 |      660
169.46/169.56	c  168s |      13 |  1180292 |    44432 |    41993      0 |      769 |      660
171.66/171.74	c  171s |      13 |  1181504 |    44732 |    41993      0 |      769 |      660
173.76/173.89	c  173s |      13 |  1183671 |    45332 |    41993      0 |      769 |      660
176.15/176.29	c  175s |      13 |  1185088 |    45732 |    41993      0 |      769 |      660
178.35/178.49	c  177s |      13 |  1186010 |    46032 |    41993      0 |      769 |      660
181.25/181.35	c  180s |      13 |  1187470 |    46432 |    41993      0 |      769 |      660
183.45/183.58	c  182s |      13 |  1188824 |    46732 |    41993      0 |      769 |      660
185.96/186.07	c  185s |      13 |  1191721 |    47232 |    41993      0 |      769 |      660
188.45/188.53	c  187s |      13 |  1192818 |    47532 |    41993      0 |      769 |      660
191.24/191.34	c  190s |      13 |  1193821 |    47832 |    41993      0 |      769 |      660
193.65/193.77	c  193s |      13 |  1196307 |    48332 |    41993      0 |      769 |      660
195.75/195.85	c  195s |      13 |  1197389 |    48632 |    41993      0 |      769 |      660
198.14/198.26	c  197s |      13 |  1198397 |    48932 |    41993      0 |      769 |      660
201.04/201.14	c  200s |      13 |  1199770 |    49232 |    41993      0 |      769 |      660
203.95/204.09	c  203s |      13 |  1200501 |    49532 |    41993      0 |      769 |      660
206.04/206.12	c  205s |      13 |  1201048 |    49732 |    41993      0 |      769 |      660
208.24/208.32	c  207s |      13 |  1201903 |    49932 |    41993      0 |      769 |      660
210.84/210.97	c  210s |      13 |  1203456 |    50332 |    41993      0 |      769 |      660
213.14/213.25	c  212s |      13 |  1204456 |    50632 |    41993      0 |      769 |      660
215.55/215.61	c  214s |      13 |  1206257 |    51032 |    41993      0 |      769 |      660
218.24/218.30	c  217s |      13 |  1208258 |    51432 |    41993      0 |      769 |      660
220.74/220.87	c  220s |      13 |  1210596 |    51832 |    41993      0 |      769 |      660
222.94/223.06	c  222s |      13 |  1211587 |    52132 |    41993      0 |      769 |      660
225.14/225.20	c  224s |      13 |  1212359 |    52432 |    41993      0 |      769 |      660
227.64/227.77	c  227s |      13 |  1213538 |    52732 |    41993      0 |      769 |      660
230.73/230.83	c  230s |      13 |  1216869 |    53032 |    41993      1 |      769 |      660
232.93/233.02	c  232s |      13 |  1227757 |    53732 |    41993      1 |      769 |      660
235.03/235.18	c  234s |      13 |  1238104 |    54332 |    41993      1 |      769 |      660
237.23/237.34	c  236s |      13 |  1251626 |    55032 |    41993      1 |      769 |      660
239.53/239.60	c  238s |      13 |  1262651 |    55632 |    41993      1 |      769 |      660
241.53/241.63	c  240s |      13 |  1275899 |    56232 |    41993      1 |      769 |      660
243.63/243.75	c  243s |      13 |  1295026 |    56832 |    41993      1 |      769 |      660
245.93/246.08	c  245s |      13 |  1309964 |    57432 |    41993      1 |      769 |      660
248.23/248.31	c  247s |      13 |  1329690 |    58132 |    46193      1 |      769 |      660
249.13/249.27	c  248s |      14 |  1334601 |    58352 |    46193      1 |      769 |      660
251.42/251.53	c  250s |      14 |  1355349 |    58852 |    46193      1 |      769 |      660
253.72/253.83	c  253s |      14 |  1371158 |    59652 |    46193      1 |      769 |      660
256.02/256.18	c  255s |      14 |  1392413 |    60352 |    46193      1 |      769 |      660
258.12/258.25	c  257s |      14 |  1406684 |    60952 |    46193      1 |      769 |      660
260.12/260.27	c  259s |      14 |  1411126 |    61552 |    46193      1 |      769 |      660
262.82/262.91	c  262s |      14 |  1427909 |    62152 |    46193      1 |      770 |      661
265.02/265.17	c  264s |      14 |  1436176 |    62752 |    46193      1 |      770 |      661
267.52/267.60	c  266s |      14 |  1444007 |    63352 |    46193      1 |      770 |      661
270.02/270.16	c  269s |      14 |  1462346 |    64052 |    46193      1 |      770 |      661
272.31/272.45	c  271s |      14 |  1476840 |    64652 |    46193      1 |      770 |      661
274.51/274.65	c  273s |      14 |  1495991 |    65252 |    46193      1 |      770 |      661
276.82/276.90	c  276s |      14 |  1506150 |    65952 |    46193      1 |      770 |      661
278.92/279.05	c  278s |      14 |  1508351 |    66352 |    46193      1 |      770 |      661
281.32/281.50	c  280s |      14 |  1510503 |    66852 |    46193      1 |      770 |      661
283.42/283.53	c  282s |      14 |  1520398 |    67252 |    46193      1 |      770 |      661
285.51/285.61	c  284s |      14 |  1521636 |    67552 |    46193      1 |      770 |      661
287.51/287.62	c  286s |      14 |  1529732 |    67952 |    46193      1 |      770 |      661
289.71/289.83	c  289s |      14 |  1547043 |    68452 |    46193      1 |      770 |      661
292.11/292.23	c  291s |      14 |  1565129 |    69052 |    46193      1 |      770 |      661
294.91/295.02	c  294s |      14 |  1574563 |    69552 |    46193      1 |      770 |      661
297.41/297.50	c  296s |      14 |  1583828 |    69952 |    46193      1 |      770 |      661
299.61/299.77	c  299s |      14 |  1604662 |    70452 |    46193      1 |      770 |      661
302.01/302.19	c  301s |      14 |  1614585 |    71052 |    46193      1 |      770 |      661
304.31/304.40	c  303s |      14 |  1624420 |    71652 |    46193      1 |      770 |      661
306.41/306.56	c  305s |      14 |  1632459 |    72252 |    46193      1 |      770 |      661
308.40/308.59	c  307s |      14 |  1636399 |    72552 |    46193      1 |      770 |      661
310.70/310.89	c  310s |      14 |  1654168 |    73052 |    46193      1 |      770 |      661
312.80/313.00	c  312s |      14 |  1664695 |    73652 |    46193      1 |      770 |      661
315.20/315.37	c  314s |      14 |  1666376 |    74052 |    46193      1 |      770 |      661
317.50/317.67	c  316s |      14 |  1675723 |    74252 |    46193      2 |      770 |      661
319.70/319.86	c  319s |      14 |  1688271 |    74752 |    46193      2 |      770 |      661
322.00/322.15	c  321s |      14 |  1703883 |    75352 |    46193      2 |      770 |      661
324.41/324.51	c  323s |      14 |  1711100 |    75952 |    46193      2 |      770 |      661
326.40/326.56	c  325s |      14 |  1720797 |    76552 |    46193      2 |      770 |      661
329.20/329.33	c  328s |      14 |  1741812 |    77152 |    46193      2 |      771 |      662
331.30/331.41	c  330s |      14 |  1749905 |    77752 |    46193      2 |      771 |      662
333.50/333.60	c  332s |      14 |  1766319 |    78352 |    46193      2 |      771 |      662
335.50/335.68	c  334s |      14 |  1780710 |    78952 |    46193      2 |      771 |      662
338.00/338.12	c  337s |      14 |  1802684 |    79552 |    46193      2 |      771 |      662
340.20/340.32	c  339s |      14 |  1822756 |    80152 |    46193      2 |      771 |      662
342.40/342.59	c  341s |      14 |  1841633 |    80752 |    46193      2 |      771 |      662
344.69/344.86	c  344s |      14 |  1847327 |    81352 |    46193      2 |      771 |      662
346.89/347.04	c  346s |      14 |  1865036 |    81952 |    46193      2 |      771 |      662
349.09/349.24	c  348s |      14 |  1878914 |    82452 |    46193      2 |      771 |      662
351.39/351.53	c  350s |      14 |  1894978 |    83052 |    46193      2 |      771 |      662
353.49/353.60	c  352s |      14 |  1905565 |    83652 |    46193      2 |      771 |      662
355.69/355.89	c  355s |      14 |  1918596 |    84152 |    46193      2 |      771 |      662
357.89/358.09	c  357s |      14 |  1936284 |    84652 |    46193      2 |      771 |      662
360.89/361.06	c  360s |      14 |  1944879 |    85052 |    46193      2 |      771 |      662
363.00/363.16	c  362s |      14 |  1959901 |    85552 |    46193      2 |      771 |      662
365.29/365.47	c  364s |      14 |  1978207 |    86152 |    46193      2 |      771 |      662
367.59/367.79	c  367s |      14 |  1999831 |    86752 |    46193      2 |      771 |      662
369.89/370.05	c  369s |      14 |  2011800 |    87152 |    50813      2 |      772 |      663
371.99/372.18	c  371s |      15 |  2032468 |    87632 |    50813      2 |      772 |      663
374.09/374.25	c  373s |      15 |  2042660 |    88032 |    50813      2 |      772 |      663
376.29/376.46	c  375s |      15 |  2052106 |    88732 |    50813      2 |      772 |      663
378.59/378.74	c  378s |      15 |  2064784 |    89332 |    50813      2 |      772 |      663
380.89/381.02	c  380s |      15 |  2077734 |    89832 |    50813      2 |      772 |      663
383.08/383.24	c  382s |      15 |  2088408 |    90332 |    50813      2 |      772 |      663
385.08/385.28	c  384s |      15 |  2102380 |    90832 |    50813      2 |      772 |      663
387.58/387.73	c  387s |      15 |  2123574 |    91432 |    50813      2 |      772 |      663
389.78/389.90	c  389s |      15 |  2130347 |    91832 |    50813      2 |      772 |      663
392.18/392.32	c  391s |      15 |  2144660 |    92432 |    50813      2 |      772 |      663
394.28/394.47	c  393s |      15 |  2166668 |    92932 |    50813      2 |      772 |      663
396.48/396.65	c  395s |      15 |  2184768 |    93332 |    50813      2 |      772 |      663
398.58/398.76	c  398s |      15 |  2201969 |    93832 |    50813      2 |      772 |      663
400.78/400.93	c  400s |      15 |  2213067 |    94332 |    50813      2 |      772 |      663
403.08/403.20	c  402s |      15 |  2229247 |    94832 |    50813      2 |      772 |      663
405.38/405.50	c  404s |      15 |  2242506 |    95432 |    50813      2 |      772 |      663
407.48/407.65	c  406s |      15 |  2248891 |    95932 |    50813      2 |      772 |      663
409.78/409.90	c  409s |      15 |  2254433 |    96332 |    50813      2 |      772 |      663
411.98/412.11	c  411s |      15 |  2267191 |    96832 |    50813      2 |      772 |      663
414.48/414.62	c  413s |      15 |  2283293 |    97432 |    50813      2 |      772 |      663
416.79/416.98	c  416s |      15 |  2295595 |    97932 |    50813      2 |      772 |      663
419.18/419.34	c  418s |      15 |  2300412 |    98532 |    50813      2 |      772 |      663
421.18/421.38	c  420s |      15 |  2303738 |    98932 |    50813      2 |      772 |      663
423.28/423.42	c  422s |      15 |  2314238 |    99232 |    50813      2 |      773 |      664
425.68/425.83	c  425s |      15 |  2317478 |    99832 |    50813      2 |      773 |      664
427.97/428.18	c  427s |      15 |  2326885 |   100332 |    50813      2 |      773 |      664
430.37/430.58	c  429s |      15 |  2339029 |   100832 |    50813      2 |      773 |      664
432.57/432.80	c  432s |      15 |  2347880 |   101332 |    50813      2 |      773 |      664
434.67/434.89	c  434s |      15 |  2348623 |   101532 |    50813      2 |      773 |      664
437.57/437.70	c  436s |      15 |  2349124 |   101732 |    50813      2 |      773 |      664
440.07/440.23	c  439s |      15 |  2362312 |   102132 |    50813      2 |      773 |      664
442.07/442.28	c  441s |      15 |  2373407 |   102732 |    50813      2 |      773 |      664
444.46/444.66	c  443s |      15 |  2381521 |   103132 |    50813      2 |      773 |      664
446.76/446.91	c  446s |      15 |  2388717 |   103732 |    50813      2 |      773 |      664
449.16/449.33	c  448s |      15 |  2398563 |   104232 |    50813      2 |      773 |      664
451.35/451.58	c  450s |      15 |  2409089 |   104632 |    50813      2 |      773 |      664
454.75/454.99	c  454s |      15 |  2423704 |   105132 |    50813      3 |      773 |      664
456.95/457.15	c  456s |      15 |  2434249 |   105732 |    50813      3 |      773 |      664
458.95/459.17	c  458s |      15 |  2451936 |   106332 |    50813      3 |      773 |      664
460.96/461.19	c  460s |      15 |  2469595 |   106832 |    50813      3 |      773 |      664
463.06/463.29	c  462s |      15 |  2490345 |   107432 |    50813      3 |      773 |      664
465.35/465.57	c  464s |      15 |  2505988 |   108132 |    50813      3 |      773 |      664
467.75/467.97	c  467s |      15 |  2526385 |   108732 |    50813      3 |      773 |      664
470.05/470.26	c  469s |      15 |  2550980 |   109232 |    50813      3 |      773 |      664
472.25/472.46	c  471s |      15 |  2571994 |   109732 |    50813      3 |      773 |      664
474.45/474.68	c  473s |      15 |  2589608 |   110332 |    50813      3 |      773 |      664
476.65/476.81	c  476s |      15 |  2592972 |   111132 |    50813      3 |      773 |      664
478.65/478.81	c  478s |      15 |  2594987 |   111732 |    50813      3 |      773 |      664
480.85/481.08	c  480s |      15 |  2597429 |   112432 |    50813      3 |      773 |      664
483.05/483.26	c  482s |      15 |  2601134 |   112932 |    50813      3 |      773 |      664
485.35/485.58	c  484s |      15 |  2611282 |   113632 |    50813      3 |      773 |      664
487.45/487.60	c  486s |      15 |  2618585 |   114232 |    50813      3 |      773 |      664
489.55/489.78	c  489s |      15 |  2629453 |   114832 |    50813      3 |      773 |      664
491.84/492.08	c  491s |      15 |  2648194 |   115332 |    50813      3 |      773 |      664
493.85/494.09	c  493s |      15 |  2663354 |   115832 |    50813      3 |      773 |      664
496.24/496.47	c  495s |      15 |  2676230 |   116332 |    50813      3 |      773 |      664
498.44/498.62	c  497s |      15 |  2694319 |   116832 |    50813      3 |      773 |      664
500.63/500.87	c  500s |      15 |  2711744 |   117332 |    50813      3 |      773 |      664
502.73/502.96	c  502s |      15 |  2724819 |   117832 |    50813      3 |      773 |      664
505.23/505.40	c  504s |      15 |  2740339 |   118432 |    50813      3 |      773 |      664
507.33/507.57	c  506s |      15 |  2743233 |   118832 |    50813      3 |      773 |      664
509.53/509.73	c  509s |      15 |  2751790 |   119332 |    50813      3 |      773 |      664
512.23/512.48	c  511s |      15 |  2752511 |   119732 |    50813      3 |      773 |      664
514.33/514.59	c  513s |      15 |  2756537 |   120132 |    50813      3 |      773 |      664
516.53/516.71	c  516s |      15 |  2757595 |   120532 |    50813      3 |      773 |      664
518.72/518.97	c  518s |      15 |  2769146 |   121032 |    50813      3 |      773 |      664
520.92/521.11	c  520s |      15 |  2777927 |   121532 |    50813      3 |      773 |      664
523.12/523.39	c  522s |      15 |  2793963 |   122132 |    50813      3 |      773 |      664
525.22/525.47	c  524s |      15 |  2800466 |   122632 |    50813      3 |      773 |      664
527.32/527.53	c  526s |      15 |  2809694 |   123032 |    50813      3 |      773 |      664
529.62/529.82	c  529s |      15 |  2823159 |   123532 |    50813      3 |      773 |      664
531.81/532.10	c  531s |      15 |  2837503 |   124032 |    50813      3 |      773 |      664
534.11/534.33	c  533s |      15 |  2853294 |   124532 |    50813      3 |      773 |      664
536.41/536.61	c  535s |      15 |  2865323 |   125032 |    50813      3 |      773 |      664
538.41/538.68	c  537s |      15 |  2877535 |   125532 |    50813      3 |      773 |      664
540.61/540.85	c  540s |      15 |  2888697 |   126232 |    50813      3 |      773 |      664
542.71/542.99	c  542s |      15 |  2901748 |   126732 |    50813      3 |      773 |      664
545.01/545.23	c  544s |      15 |  2915444 |   127332 |    50813      3 |      773 |      664
547.51/547.72	c  547s |      15 |  2930101 |   128032 |    50813      3 |      773 |      664
549.60/549.82	c  549s |      15 |  2939973 |   128632 |    50813      3 |      773 |      664
551.70/551.94	c  551s |      15 |  2952630 |   129132 |    50813      3 |      773 |      664
553.70/553.99	c  553s |      15 |  2967660 |   129632 |    50813      3 |      773 |      664
556.10/556.37	c  555s |      15 |  2977627 |   130132 |    50813      3 |      773 |      664
558.51/558.72	c  558s |      15 |  2989315 |   130632 |    50813      3 |      773 |      664
560.81/561.04	c  560s |      15 |  2991795 |   131032 |    55895      3 |      773 |      664
562.80/563.05	c  562s |      15 |  2996165 |   131332 |    55895      3 |      773 |      664
563.80/564.07	c  563s |      16 |  3001541 |   131552 |    55895      3 |      773 |      664
566.10/566.36	c  565s |      16 |  3015054 |   131852 |    55895      3 |      773 |      664
568.30/568.59	c  567s |      16 |  3030740 |   132352 |    55895      3 |      773 |      664
570.70/570.96	c  570s |      16 |  3044799 |   132852 |    55895      3 |      773 |      664
572.80/573.06	c  572s |      16 |  3053440 |   133352 |    55895      3 |      773 |      664
575.10/575.33	c  574s |      16 |  3056642 |   133752 |    55895      3 |      773 |      664
577.80/578.02	c  577s |      16 |  3058480 |   134152 |    55895      3 |      773 |      664
579.80/580.04	c  579s |      16 |  3066877 |   134552 |    55895      3 |      773 |      664
582.39/582.64	c  581s |      16 |  3086831 |   135152 |    55895      3 |      773 |      664
584.59/584.84	c  584s |      16 |  3101063 |   135652 |    55895      3 |      773 |      664
586.89/587.12	c  586s |      16 |  3117095 |   136152 |    55895      3 |      773 |      664
589.69/589.99	c  589s |      16 |  3128532 |   136452 |    55895      4 |      773 |      664
591.98/592.27	c  591s |      16 |  3148372 |   137052 |    55895      4 |      773 |      664
594.08/594.38	c  593s |      16 |  3165206 |   137652 |    55895      4 |      773 |      664
596.18/596.41	c  595s |      16 |  3180731 |   138152 |    55895      4 |      773 |      664
598.48/598.79	c  598s |      16 |  3197150 |   138852 |    55895      4 |      773 |      664
600.68/600.98	c  600s |      16 |  3208993 |   139452 |    55895      4 |      773 |      664
603.07/603.33	c  602s |      16 |  3219529 |   140052 |    55895      4 |      773 |      664
605.37/605.60	c  604s |      16 |  3234654 |   140652 |    55895      4 |      773 |      664
607.57/607.89	c  607s |      16 |  3239498 |   141152 |    55895      4 |      773 |      664
609.77/610.07	c  609s |      16 |  3256381 |   141752 |    55895      4 |      773 |      664
611.97/612.22	c  611s |      16 |  3271667 |   142252 |    55895      4 |      773 |      664
614.16/614.44	c  613s |      16 |  3285005 |   142752 |    55895      4 |      773 |      664
616.16/616.44	c  615s |      16 |  3302492 |   143252 |    55895      4 |      773 |      664
618.26/618.58	c  617s |      16 |  3318524 |   143752 |    55895      4 |      773 |      664
620.36/620.63	c  619s |      16 |  3334772 |   144252 |    55895      4 |      773 |      664
622.47/622.75	c  622s |      16 |  3345704 |   144852 |    55895      4 |      773 |      664
624.67/624.93	c  624s |      16 |  3356481 |   145352 |    55895      4 |      773 |      664
626.86/627.15	c  626s |      16 |  3370468 |   145952 |    55895      4 |      773 |      664
628.96/629.22	c  628s |      16 |  3381003 |   146452 |    55895      4 |      773 |      664
631.35/631.69	c  630s |      16 |  3398802 |   147052 |    55895      4 |      773 |      664
633.85/634.13	c  633s |      16 |  3400576 |   147452 |    55895      4 |      773 |      664
636.05/636.32	c  635s |      16 |  3401570 |   147652 |    55895      4 |      773 |      664
638.45/638.73	c  638s |      16 |  3403001 |   147952 |    55895      4 |      773 |      664
640.44/640.74	c  640s |      16 |  3411988 |   148452 |    55895      4 |      773 |      664
642.44/642.74	c  642s |      16 |  3424972 |   149052 |    55895      4 |      773 |      664
644.54/644.83	c  644s |      16 |  3445875 |   149552 |    55895      4 |      773 |      664
646.55/646.85	c  646s |      16 |  3460881 |   150052 |    55895      4 |      773 |      664
648.54/648.85	c  648s |      16 |  3477057 |   150552 |    55895      4 |      773 |      664
650.84/651.11	c  650s |      16 |  3492266 |   151152 |    55895      4 |      773 |      664
653.14/653.47	c  652s |      16 |  3504823 |   151652 |    55895      4 |      773 |      664
655.34/655.66	c  654s |      16 |  3511015 |   152152 |    55895      4 |      773 |      664
657.44/657.74	c  657s |      16 |  3515318 |   152552 |    55895      4 |      773 |      664
659.43/659.76	c  659s |      16 |  3528883 |   153052 |    55895      4 |      773 |      664
661.63/661.95	c  661s |      16 |  3534911 |   153552 |    55895      4 |      773 |      664
664.03/664.31	c  663s |      16 |  3541604 |   154052 |    55895      4 |      773 |      664
666.33/666.62	c  665s |      16 |  3557683 |   154652 |    55895      4 |      773 |      664
668.73/669.05	c  668s |      16 |  3568491 |   155252 |    55895      4 |      773 |      664
671.22/671.57	c  670s |      16 |  3570422 |   155652 |    55895      4 |      773 |      664
673.32/673.68	c  672s |      16 |  3587990 |   156152 |    55895      4 |      773 |      664
675.62/675.99	c  675s |      16 |  3600963 |   156652 |    55895      4 |      773 |      664
677.72/678.08	c  677s |      16 |  3610675 |   157152 |    55895      4 |      773 |      664
680.12/680.43	c  679s |      16 |  3616385 |   157852 |    55895      4 |      773 |      664
682.32/682.67	c  681s |      16 |  3619672 |   158252 |    55895      4 |      773 |      664
684.72/685.00	c  684s |      16 |  3629277 |   158752 |    55895      4 |      773 |      664
686.72/687.05	c  686s |      16 |  3634527 |   159352 |    55895      4 |      773 |      664
688.82/689.14	c  688s |      16 |  3639991 |   159852 |    55895      4 |      773 |      664
691.12/691.46	c  690s |      16 |  3648363 |   160552 |    55895      4 |      773 |      664
693.12/693.47	c  692s |      16 |  3653045 |   161052 |    55895      4 |      773 |      664
695.12/695.48	c  694s |      16 |  3655231 |   161452 |    55895      4 |      773 |      664
697.32/697.66	c  696s |      16 |  3657840 |   161852 |    55895      4 |      773 |      664
699.42/699.74	c  699s |      16 |  3660750 |   162252 |    55895      4 |      773 |      664
702.01/702.39	c  701s |      16 |  3661560 |   162452 |    55895      4 |      773 |      664
704.91/705.26	c  704s |      16 |  3663099 |   162652 |    55895      4 |      773 |      664
707.21/707.55	c  706s |      16 |  3667607 |   163252 |    55895      4 |      773 |      664
709.90/710.24	c  709s |      16 |  3668411 |   163652 |    55895      4 |      773 |      664
713.00/713.34	c  712s |      16 |  3669339 |   163852 |    55895      4 |      773 |      664
715.10/715.42	c  714s |      16 |  3669906 |   163952 |    55895      4 |      773 |      664
718.69/719.09	c  718s |      16 |  3670500 |   164152 |    55895      4 |      773 |      664
721.30/721.67	c  720s |      16 |  3671256 |   164252 |    55895      4 |      773 |      664
723.79/724.11	c  723s |      16 |  3671544 |   164352 |    55895      4 |      773 |      664
726.79/727.11	c  726s |      16 |  3671914 |   164452 |    55895      4 |      773 |      664
730.29/730.67	c  729s |      16 |  3672151 |   164552 |    55895      4 |      773 |      664
733.39/733.71	c  733s |      16 |  3672472 |   164652 |    55895      4 |      773 |      664
736.28/736.66	c  735s |      16 |  3672690 |   164752 |    55895      4 |      773 |      664
739.78/740.13	c  739s |      16 |  3672958 |   164852 |    55895      4 |      773 |      664
741.88/742.24	c  741s |      16 |  3676399 |   165052 |    55895      4 |      773 |      664
744.08/744.44	c  743s |      16 |  3687683 |   165652 |    55895      4 |      773 |      664
746.48/746.81	c  746s |      16 |  3696625 |   166052 |    55895      4 |      773 |      664
749.28/749.62	c  748s |      16 |  3708393 |   166552 |    55895      5 |      773 |      664
751.47/751.86	c  751s |      16 |  3723909 |   167152 |    55895      5 |      773 |      664
753.57/753.93	c  753s |      16 |  3738219 |   167752 |    55895      5 |      773 |      664
755.67/756.09	c  755s |      16 |  3754351 |   168352 |    55895      5 |      773 |      664
758.07/758.44	c  757s |      16 |  3768300 |   169152 |    55895      5 |      773 |      664
760.27/760.62	c  759s |      16 |  3786380 |   169652 |    55895      5 |      773 |      664
762.37/762.73	c  762s |      16 |  3797657 |   170352 |    55895      5 |      773 |      664
764.77/765.12	c  764s |      16 |  3818133 |   170952 |    55895      5 |      773 |      664
766.77/767.13	c  766s |      16 |  3837521 |   171452 |    55895      5 |      773 |      664
768.87/769.26	c  768s |      16 |  3849391 |   172052 |    55895      5 |      773 |      664
771.06/771.45	c  770s |      16 |  3860324 |   172652 |    55895      5 |      773 |      664
773.16/773.56	c  772s |      16 |  3876969 |   173152 |    55895      5 |      773 |      664
775.46/775.86	c  775s |      16 |  3893369 |   173852 |    55895      5 |      773 |      664
777.86/778.26	c  777s |      16 |  3901606 |   174452 |    55895      5 |      773 |      664
779.87/780.29	c  779s |      16 |  3915566 |   174952 |    55895      5 |      773 |      664
782.16/782.54	c  781s |      16 |  3928519 |   175552 |    55895      5 |      773 |      664
784.56/784.97	c  784s |      16 |  3936965 |   176152 |    55895      5 |      773 |      664
786.76/787.15	c  786s |      16 |  3939339 |   176752 |    55895      5 |      773 |      664
789.16/789.55	c  788s |      16 |  3940295 |   177152 |    55895      5 |      773 |      664
791.77/792.11	c  791s |      16 |  3941565 |   177552 |    55895      5 |      773 |      664
793.97/794.32	c  793s |      16 |  3956337 |   178052 |    55895      5 |      773 |      664
796.26/796.68	c  795s |      16 |  3973688 |   178652 |    55895      5 |      773 |      664
798.56/798.91	c  798s |      16 |  3980892 |   179152 |    55895      5 |      773 |      664
800.86/801.29	c  800s |      16 |  4000325 |   179752 |    55895      5 |      773 |      664
803.26/803.61	c  802s |      16 |  4007602 |   180152 |    55895      5 |      773 |      664
805.35/805.71	c  805s |      16 |  4026221 |   180652 |    55895      5 |      773 |      664
807.45/807.85	c  807s |      16 |  4043254 |   181152 |    55895      5 |      773 |      664
809.55/809.97	c  809s |      16 |  4060237 |   181652 |    55895      5 |      773 |      664
811.75/812.14	c  811s |      16 |  4077884 |   182152 |    55895      5 |      773 |      664
813.85/814.25	c  813s |      16 |  4086209 |   182652 |    55895      5 |      773 |      664
815.86/816.30	c  815s |      16 |  4097304 |   183152 |    55895      5 |      773 |      664
818.25/818.69	c  817s |      16 |  4110696 |   183852 |    55895      5 |      773 |      664
820.75/821.15	c  820s |      16 |  4122272 |   184452 |    55895      5 |      773 |      664
822.85/823.29	c  822s |      16 |  4131836 |   185052 |    55895      5 |      773 |      664
824.95/825.37	c  824s |      16 |  4149431 |   185552 |    55895      5 |      773 |      664
827.15/827.57	c  826s |      16 |  4159557 |   186152 |    55895      5 |      773 |      664
829.35/829.73	c  829s |      16 |  4174207 |   186552 |    55895      5 |      773 |      664
831.65/832.00	c  831s |      16 |  4192456 |   187052 |    55895      5 |      773 |      664
833.65/834.03	c  833s |      16 |  4211966 |   187452 |    55895      5 |      773 |      664
835.95/836.34	c  835s |      16 |  4226132 |   188052 |    55895      5 |      773 |      664
838.45/838.81	c  838s |      16 |  4230449 |   188652 |    55895      5 |      773 |      664
840.65/841.09	c  840s |      16 |  4232403 |   189052 |    55895      5 |      773 |      664
843.25/843.64	c  842s |      16 |  4233707 |   189352 |    55895      5 |      773 |      664
845.75/846.16	c  845s |      16 |  4234453 |   189552 |    55895      5 |      773 |      664
847.95/848.30	c  847s |      16 |  4247774 |   190052 |    55895      5 |      773 |      664
849.95/850.34	c  849s |      16 |  4261482 |   190552 |    55895      5 |      773 |      664
852.05/852.44	c  851s |      16 |  4270640 |   191052 |    55895      5 |      773 |      664
854.55/854.96	c  854s |      16 |  4271783 |   191452 |    55895      5 |      773 |      664
856.94/857.33	c  856s |      16 |  4273492 |   191952 |    55895      5 |      773 |      664
859.24/859.60	c  858s |      16 |  4275098 |   192252 |    55895      5 |      773 |      664
861.44/861.89	c  861s |      16 |  4286118 |   192752 |    55895      5 |      773 |      664
863.84/864.29	c  863s |      16 |  4287788 |   193252 |    55895      5 |      773 |      664
866.14/866.54	c  865s |      16 |  4305871 |   193752 |    55895      5 |      773 |      664
868.44/868.90	c  868s |      16 |  4314609 |   194252 |    55895      5 |      773 |      664
870.74/871.18	c  870s |      16 |  4326210 |   194852 |    55895      5 |      773 |      664
873.05/873.46	c  872s |      16 |  4336608 |   195452 |    55895      5 |      773 |      664
877.24/877.68	c  876s |      16 |  4339907 |   195852 |    55895      6 |      773 |      664
879.65/880.02	c  879s |      16 |  4360454 |   196452 |    61485      6 |      773 |      664
881.75/882.16	c  881s |      16 |  4374576 |   197052 |    61485      6 |      773 |      664
882.85/883.21	c  882s |      17 |  4378573 |   197432 |    61485      6 |      773 |      664
884.95/885.39	c  884s |      17 |  4394576 |   198032 |    61485      6 |      773 |      664
887.15/887.55	c  886s |      17 |  4404376 |   198632 |    61485      6 |      773 |      664
889.75/890.10	c  889s |      17 |  4424146 |   199432 |    61485      6 |      773 |      664
891.75/892.15	c  891s |      17 |  4430750 |   200032 |    61485      6 |      773 |      664
893.95/894.34	c  893s |      17 |  4445843 |   200732 |    61485      6 |      773 |      664
896.15/896.51	c  895s |      17 |  4460935 |   201332 |    61485      6 |      773 |      664
898.35/898.72	c  898s |      17 |  4479507 |   202032 |    61485      6 |      773 |      664
900.45/900.86	c  900s |      17 |  4498291 |   202732 |    61485      6 |      773 |      664
902.54/902.92	c  902s |      17 |  4505515 |   203232 |    61485      6 |      773 |      664
904.95/905.32	c  904s |      17 |  4517783 |   203732 |    61485      6 |      773 |      664
907.04/907.44	c  906s |      17 |  4532934 |   204332 |    61485      6 |      773 |      664
909.04/909.46	c  908s |      17 |  4536552 |   204832 |    61485      6 |      773 |      664
911.34/911.76	c  911s |      17 |  4545111 |   205532 |    61485      6 |      773 |      664
913.44/913.80	c  913s |      17 |  4557722 |   206132 |    61485      6 |      773 |      664
915.54/915.96	c  915s |      17 |  4568398 |   206732 |    61485      6 |      773 |      664
917.94/918.37	c  917s |      17 |  4585773 |   207332 |    61485      6 |      773 |      664
920.24/920.69	c  919s |      17 |  4604810 |   207932 |    61485      6 |      773 |      664
922.55/922.95	c  922s |      17 |  4619179 |   208632 |    61485      6 |      773 |      664
924.54/924.99	c  924s |      17 |  4631555 |   209132 |    61485      6 |      773 |      664
926.84/927.28	c  926s |      17 |  4640832 |   209732 |    61485      6 |      773 |      664
929.15/929.60	c  928s |      17 |  4650271 |   210432 |    61485      6 |      773 |      664
931.54/931.97	c  931s |      17 |  4652821 |   210932 |    61485      6 |      773 |      664
934.34/934.72	c  934s |      17 |  4653845 |   211232 |    61485      6 |      773 |      664
936.74/937.16	c  936s |      17 |  4655421 |   211532 |    61485      6 |      773 |      664
939.04/939.41	c  938s |      17 |  4657646 |   211932 |    61485      6 |      773 |      664
941.04/941.44	c  940s |      17 |  4660009 |   212432 |    61485      6 |      773 |      664
943.13/943.55	c  942s |      17 |  4661531 |   212832 |    61485      6 |      773 |      664
945.23/945.66	c  944s |      17 |  4673065 |   213232 |    61485      6 |      773 |      664
947.23/947.67	c  946s |      17 |  4678641 |   213632 |    61485      6 |      773 |      664
949.33/949.72	c  949s |      17 |  4691136 |   214232 |    61485      6 |      773 |      664
951.53/951.97	c  951s |      17 |  4698068 |   214932 |    61485      6 |      773 |      664
953.83/954.29	c  953s |      17 |  4708020 |   215432 |    61485      6 |      773 |      664
956.13/956.57	c  955s |      17 |  4718832 |   215932 |    61485      6 |      773 |      664
958.23/958.67	c  957s |      17 |  4724353 |   216432 |    61485      6 |      773 |      664
960.83/961.25	c  960s |      17 |  4728967 |   216932 |    61485      6 |      773 |      664
963.13/963.50	c  962s |      17 |  4733070 |   217532 |    61485      6 |      773 |      664
965.13/965.57	c  964s |      17 |  4736239 |   217932 |    61485      6 |      773 |      664
967.43/967.89	c  967s |      17 |  4739122 |   218332 |    61485      6 |      773 |      664
969.43/969.89	c  969s |      17 |  4743036 |   218632 |    61485      6 |      773 |      664
971.93/972.38	c  971s |      17 |  4744281 |   218932 |    61485      6 |      773 |      664
975.02/975.42	c  974s |      17 |  4747272 |   219432 |    61485      6 |      773 |      664
977.42/977.85	c  977s |      17 |  4748660 |   219732 |    61485      6 |      773 |      664
979.83/980.29	c  979s |      17 |  4751650 |   220032 |    61485      6 |      773 |      664
982.22/982.66	c  981s |      17 |  4752942 |   220232 |    61485      6 |      773 |      664
985.12/985.53	c  984s |      17 |  4753589 |   220432 |    61485      6 |      773 |      664
987.43/987.83	c  987s |      17 |  4755333 |   220632 |    61485      6 |      773 |      664
989.64/990.01	c  989s |      17 |  4756846 |   220932 |    61485      6 |      773 |      664
991.73/992.12	c  991s |      17 |  4759603 |   221232 |    61485      6 |      773 |      664
993.93/994.33	c  993s |      17 |  4762275 |   221732 |    61485      6 |      773 |      664
996.53/996.92	c  996s |      17 |  4766140 |   222132 |    61485      6 |      773 |      664
998.83/999.29	c  998s |      17 |  4767835 |   222432 |    61485      6 |      773 |      664
1001.93/1002.40	c 1001s |      17 |  4769239 |   222732 |    61485      6 |      773 |      664
1004.33/1004.77	c 1004s |      17 |  4769472 |   222832 |    61485      6 |      773 |      664
1007.23/1007.68	c 1006s |      17 |  4769925 |   222932 |    61485      6 |      773 |      664
1010.12/1010.51	c 1009s |      17 |  4771304 |   223132 |    61485      6 |      773 |      664
1012.32/1012.75	c 1012s |      17 |  4772714 |   223432 |    61485      6 |      773 |      664
1015.32/1015.71	c 1015s |      17 |  4773891 |   223732 |    61485      6 |      773 |      664
1017.42/1017.85	c 1017s |      17 |  4774742 |   223932 |    61485      6 |      773 |      664
1019.92/1020.33	c 1019s |      17 |  4778106 |   224332 |    61485      6 |      773 |      664
1022.33/1022.74	c 1022s |      17 |  4778317 |   224432 |    61485      6 |      773 |      664
1025.33/1025.78	c 1025s |      17 |  4781018 |   224832 |    61485      6 |      773 |      664
1027.62/1028.06	c 1027s |      17 |  4781736 |   225032 |    61485      6 |      773 |      664
1029.72/1030.18	c 1029s |      17 |  4782182 |   225132 |    61485      6 |      773 |      664
1032.82/1033.25	c 1032s |      17 |  4783076 |   225332 |    61485      6 |      773 |      664
1035.22/1035.64	c 1034s |      17 |  4783488 |   225432 |    61485      6 |      773 |      664
1037.92/1038.32	c 1037s |      17 |  4784768 |   225632 |    61485      6 |      773 |      664
1040.62/1041.09	c 1040s |      17 |  4786174 |   225832 |    61485      6 |      773 |      664
1042.92/1043.34	c 1042s |      17 |  4788643 |   226032 |    61485      6 |      773 |      664
1045.21/1045.68	c 1044s |      17 |  4789363 |   226132 |    61485      6 |      773 |      664
1047.62/1048.00	c 1047s |      17 |  4789870 |   226332 |    61485      6 |      773 |      664
1049.82/1050.29	c 1049s |      17 |  4803696 |   226732 |    61485      6 |      773 |      664
1052.22/1052.69	c 1051s |      17 |  4817991 |   227232 |    61485      6 |      773 |      664
1054.42/1054.86	c 1054s |      17 |  4831110 |   227632 |    61485      6 |      773 |      664
1057.22/1057.66	c 1056s |      17 |  4840798 |   228032 |    61485      6 |      774 |      665
1059.32/1059.71	c 1059s |      17 |  4846582 |   228432 |    61485      6 |      774 |      665
1061.42/1061.87	c 1061s |      17 |  4861831 |   228932 |    61485      6 |      774 |      665
1064.02/1064.42	c 1063s |      17 |  4880925 |   229432 |    61485      6 |      774 |      665
1066.22/1066.63	c 1065s |      17 |  4891387 |   229932 |    61485      6 |      774 |      665
1068.93/1069.33	c 1068s |      17 |  4901755 |   230232 |    61485      7 |      774 |      665
1071.13/1071.57	c 1070s |      17 |  4909916 |   230832 |    61485      7 |      774 |      665
1073.52/1073.90	c 1073s |      17 |  4915956 |   231432 |    61485      7 |      774 |      665
1075.62/1076.03	c 1075s |      17 |  4928892 |   231932 |    61485      7 |      774 |      665
1077.92/1078.31	c 1077s |      17 |  4944088 |   232532 |    61485      7 |      774 |      665
1080.01/1080.41	c 1079s |      17 |  4958149 |   233132 |    61485      7 |      774 |      665
1082.02/1082.44	c 1081s |      17 |  4969806 |   233832 |    61485      7 |      774 |      665
1084.22/1084.70	c 1083s |      17 |  4985731 |   234332 |    61485      7 |      774 |      665
1086.42/1086.84	c 1086s |      17 |  4999965 |   234832 |    61485      7 |      774 |      665
1088.51/1088.92	c 1088s |      17 |  5009632 |   235432 |    61485      7 |      774 |      665
1090.61/1091.07	c 1090s |      17 |  5024277 |   236032 |    61485      7 |      774 |      665
1092.81/1093.26	c 1092s |      17 |  5036456 |   236732 |    61485      7 |      774 |      665
1095.11/1095.54	c 1094s |      17 |  5048557 |   237432 |    61485      7 |      774 |      665
1097.42/1097.87	c 1097s |      17 |  5062026 |   238032 |    61485      7 |      774 |      665
1099.51/1099.97	c 1099s |      17 |  5072720 |   238532 |    61485      7 |      774 |      665
1101.71/1102.14	c 1101s |      17 |  5089316 |   239032 |    61485      7 |      774 |      665
1103.91/1104.30	c 1103s |      17 |  5106058 |   239532 |    61485      7 |      774 |      665
1106.01/1106.45	c 1105s |      17 |  5114163 |   240232 |    61485      7 |      774 |      665
1108.11/1108.58	c 1107s |      17 |  5129698 |   240832 |    61485      7 |      774 |      665
1110.41/1110.86	c 1110s |      17 |  5141618 |   241432 |    61485      7 |      774 |      665
1112.61/1113.08	c 1112s |      17 |  5159482 |   242032 |    61485      7 |      774 |      665
1114.91/1115.38	c 1114s |      17 |  5179248 |   242632 |    61485      7 |      774 |      665
1117.11/1117.50	c 1116s |      17 |  5190643 |   243132 |    61485      7 |      774 |      665
1119.31/1119.79	c 1119s |      17 |  5213991 |   243632 |    61485      7 |      774 |      665
1121.61/1122.07	c 1121s |      17 |  5224974 |   244232 |    61485      7 |      774 |      665
1123.91/1124.30	c 1123s |      17 |  5237949 |   244832 |    61485      7 |      774 |      665
1126.01/1126.45	c 1125s |      17 |  5250889 |   245432 |    61485      7 |      774 |      665
1128.10/1128.50	c 1127s |      17 |  5262434 |   246032 |    61485      7 |      774 |      665
1130.30/1130.78	c 1130s |      17 |  5275770 |   246632 |    61485      7 |      774 |      665
1132.40/1132.82	c 1132s |      17 |  5287069 |   247232 |    61485      7 |      774 |      665
1134.50/1134.99	c 1134s |      17 |  5301221 |   247732 |    61485      7 |      774 |      665
1136.70/1137.12	c 1136s |      17 |  5313763 |   248232 |    61485      7 |      774 |      665
1138.90/1139.34	c 1138s |      17 |  5323538 |   248732 |    61485      7 |      774 |      665
1141.10/1141.54	c 1140s |      17 |  5338054 |   249332 |    61485      7 |      774 |      665
1143.50/1143.91	c 1143s |      17 |  5345979 |   250132 |    61485      7 |      774 |      665
1145.91/1146.36	c 1145s |      17 |  5356038 |   250732 |    61485      7 |      774 |      665
1148.11/1148.52	c 1147s |      17 |  5362882 |   251332 |    61485      7 |      774 |      665
1150.21/1150.61	c 1149s |      17 |  5366286 |   251932 |    61485      7 |      774 |      665
1152.40/1152.89	c 1152s |      17 |  5373965 |   252532 |    61485      7 |      774 |      665
1154.80/1155.29	c 1154s |      17 |  5377896 |   252932 |    61485      7 |      774 |      665
1157.00/1157.41	c 1156s |      17 |  5388249 |   253532 |    61485      7 |      774 |      665
1159.30/1159.71	c 1159s |      17 |  5391832 |   254132 |    61485      7 |      774 |      665
1161.90/1162.37	c 1161s |      17 |  5392933 |   254532 |    61485      7 |      774 |      665
1164.10/1164.53	c 1163s |      17 |  5400688 |   254932 |    61485      7 |      774 |      665
1166.20/1166.61	c 1165s |      17 |  5408624 |   255332 |    61485      7 |      774 |      665
1168.40/1168.86	c 1168s |      17 |  5420011 |   255732 |    61485      7 |      774 |      665
1170.60/1171.08	c 1170s |      17 |  5428084 |   256232 |    61485      7 |      774 |      665
1172.80/1173.26	c 1172s |      17 |  5441633 |   256732 |    61485      7 |      774 |      665
1175.40/1175.81	c 1175s |      17 |  5452806 |   257232 |    61485      7 |      774 |      665
1177.50/1177.98	c 1177s |      17 |  5465197 |   257732 |    61485      7 |      774 |      665
1180.20/1180.62	c 1179s |      17 |  5474535 |   258332 |    61485      7 |      774 |      665
1182.60/1183.03	c 1182s |      17 |  5484614 |   258832 |    61485      7 |      774 |      665
1185.10/1185.51	c 1184s |      17 |  5491598 |   259332 |    61485      7 |      774 |      665
1187.40/1187.85	c 1187s |      17 |  5503739 |   259732 |    61485      7 |      775 |      666
1189.80/1190.24	c 1189s |      17 |  5517477 |   260232 |    61485      7 |      775 |      666
1192.10/1192.60	c 1191s |      17 |  5531037 |   260732 |    61485      7 |      775 |      666
1194.79/1195.21	c 1194s |      17 |  5552680 |   261232 |    61485      7 |      775 |      666
1197.09/1197.57	c 1196s |      17 |  5570810 |   261732 |    61485      7 |      775 |      666
1199.80/1200.21	c 1199s |      17 |  5579033 |   262032 |    61485      8 |      775 |      666
1201.79/1202.22	c 1201s |      17 |  5582228 |   262432 |    61485      8 |      775 |      666
1203.99/1204.42	c 1203s |      17 |  5592682 |   263032 |    61485      8 |      775 |      666
1206.30/1206.74	c 1206s |      17 |  5594936 |   263732 |    61485      8 |      775 |      666
1208.50/1208.92	c 1208s |      17 |  5615172 |   264332 |    61485      8 |      775 |      666
1210.49/1210.97	c 1210s |      17 |  5628606 |   265032 |    61485      8 |      775 |      666
1212.69/1213.17	c 1212s |      17 |  5638850 |   265632 |    61485      8 |      775 |      666
1215.20/1215.64	c 1214s |      17 |  5653377 |   266232 |    61485      8 |      775 |      666
1217.49/1217.97	c 1217s |      17 |  5671098 |   266932 |    61485      8 |      775 |      666
1219.79/1220.26	c 1219s |      17 |  5687466 |   267532 |    61485      8 |      775 |      666
1222.09/1222.54	c 1221s |      17 |  5702245 |   268132 |    61485      8 |      775 |      666
1224.09/1224.59	c 1223s |      17 |  5723064 |   268732 |    61485      8 |      775 |      666
1226.49/1226.96	c 1226s |      17 |  5743473 |   269332 |    61485      8 |      775 |      666
1228.59/1229.04	c 1228s |      17 |  5759825 |   269832 |    61485      8 |      775 |      666
1230.69/1231.20	c 1230s |      17 |  5764019 |   270332 |    61485      8 |      775 |      666
1232.89/1233.34	c 1232s |      17 |  5776546 |   270932 |    61485      8 |      775 |      666
1235.29/1235.73	c 1235s |      17 |  5796821 |   271632 |    61485      8 |      775 |      666
1237.38/1237.81	c 1237s |      17 |  5814146 |   272132 |    61485      8 |      775 |      666
1239.69/1240.11	c 1239s |      17 |  5826161 |   272832 |    61485      8 |      775 |      666
1241.79/1242.26	c 1241s |      17 |  5834176 |   273432 |    61485      8 |      775 |      666
1243.99/1244.44	c 1243s |      17 |  5843266 |   273932 |    61485      8 |      775 |      666
1246.09/1246.58	c 1245s |      17 |  5856372 |   274632 |    61485      8 |      775 |      666
1248.29/1248.72	c 1248s |      17 |  5869874 |   275232 |    61485      8 |      775 |      666
1250.30/1250.73	c 1250s |      17 |  5878391 |   275832 |    61485      8 |      775 |      666
1252.69/1253.11	c 1252s |      17 |  5881258 |   276332 |    61485      8 |      775 |      666
1254.89/1255.36	c 1254s |      17 |  5893122 |   276932 |    61485      8 |      775 |      666
1257.09/1257.52	c 1256s |      17 |  5895572 |   277532 |    61485      8 |      775 |      666
1259.29/1259.72	c 1259s |      17 |  5911730 |   278132 |    61485      8 |      775 |      666
1261.49/1261.99	c 1261s |      17 |  5919726 |   278832 |    61485      8 |      775 |      666
1263.79/1264.24	c 1263s |      17 |  5923897 |   279332 |    61485      8 |      775 |      666
1265.89/1266.36	c 1265s |      17 |  5930923 |   279932 |    61485      8 |      775 |      666
1267.99/1268.44	c 1267s |      17 |  5940280 |   280532 |    61485      8 |      775 |      666
1270.19/1270.64	c 1269s |      17 |  5948612 |   281132 |    61485      8 |      775 |      666
1272.29/1272.74	c 1272s |      17 |  5955279 |   281632 |    61485      8 |      775 |      666
1274.38/1274.83	c 1274s |      17 |  5962715 |   282132 |    61485      8 |      775 |      666
1276.58/1277.00	c 1276s |      17 |  5965759 |   282632 |    61485      8 |      775 |      666
1278.78/1279.29	c 1278s |      17 |  5968379 |   283032 |    61485      8 |      775 |      666
1281.19/1281.68	c 1280s |      17 |  5974498 |   283632 |    61485      8 |      775 |      666
1283.29/1283.76	c 1283s |      17 |  5978413 |   284132 |    61485      8 |      775 |      666
1285.78/1286.27	c 1285s |      17 |  5984825 |   284632 |    61485      8 |      775 |      666
1288.18/1288.60	c 1287s |      17 |  5989428 |   285132 |    61485      8 |      775 |      666
1290.28/1290.71	c 1290s |      17 |  6004034 |   285732 |    61485      8 |      775 |      666
1292.58/1293.01	c 1292s |      17 |  6015680 |   286232 |    61485      8 |      775 |      666
1294.58/1295.07	c 1294s |      17 |  6019605 |   286732 |    61485      8 |      775 |      666
1296.98/1297.41	c 1296s |      17 |  6023330 |   287332 |    61485      8 |      775 |      666
1299.08/1299.50	c 1298s |      17 |  6028299 |   287832 |    61485      8 |      775 |      666
1301.18/1301.68	c 1300s |      17 |  6031752 |   288332 |    61485      8 |      775 |      666
1303.48/1303.93	c 1303s |      17 |  6042538 |   288832 |    61485      8 |      775 |      666
1305.48/1305.93	c 1305s |      17 |  6047726 |   289232 |    61485      8 |      775 |      666
1307.48/1307.95	c 1307s |      17 |  6054365 |   289632 |    61485      8 |      775 |      666
1309.78/1310.20	c 1309s |      17 |  6069662 |   290132 |    61485      8 |      775 |      666
1311.88/1312.32	c 1311s |      17 |  6079444 |   290632 |    61485      8 |      775 |      666
1313.98/1314.47	c 1313s |      17 |  6083363 |   291132 |    61485      8 |      775 |      666
1316.18/1316.69	c 1315s |      17 |  6084330 |   291432 |    61485      8 |      775 |      666
1319.17/1319.64	c 1318s |      17 |  6085405 |   291732 |    61485      8 |      775 |      666
1321.37/1321.80	c 1321s |      17 |  6085926 |   291932 |    61485      8 |      775 |      666
1323.67/1324.13	c 1323s |      17 |  6088902 |   292232 |    61485      8 |      775 |      666
1325.97/1326.41	c 1325s |      17 |  6096098 |   292732 |    61485      8 |      775 |      666
1328.17/1328.60	c 1327s |      17 |  6112879 |   293132 |    61485      8 |      775 |      666
1330.47/1330.98	c 1330s |      17 |  6123259 |   293632 |    61485      8 |      775 |      666
1332.88/1333.36	c 1332s |      17 |  6130281 |   294232 |    67634      8 |      775 |      666
1335.38/1335.80	c 1335s |      17 |  6132067 |   294732 |    67634      8 |      775 |      666
1337.48/1337.96	c 1337s |      17 |  6133944 |   295132 |    67634      8 |      775 |      666
1339.58/1340.09	c 1339s |      17 |  6150626 |   295632 |    67634      8 |      775 |      666
1341.78/1342.24	c 1341s |      17 |  6164118 |   296132 |    67634      8 |      775 |      666
1342.28/1342.73	c 1342s |      18 |  6166181 |   296252 |    67634      8 |      775 |      666
1344.68/1345.16	c 1344s |      18 |  6176106 |   296552 |    67634      8 |      775 |      666
1346.98/1347.49	c 1346s |      18 |  6181849 |   297152 |    67634      8 |      775 |      666
1349.38/1349.86	c 1349s |      18 |  6199212 |   297652 |    67634      8 |      775 |      666
1351.78/1352.26	c 1351s |      18 |  6214263 |   298152 |    67634      8 |      775 |      666
1353.78/1354.30	c 1353s |      18 |  6224857 |   298652 |    67634      8 |      775 |      666
1355.98/1356.42	c 1355s |      18 |  6230028 |   299152 |    67634      8 |      775 |      666
1358.47/1358.90	c 1358s |      18 |  6233978 |   299452 |    67634      8 |      775 |      666
1361.48/1361.96	c 1361s |      18 |  6235318 |   299652 |    67634      8 |      775 |      666
1363.68/1364.17	c 1363s |      18 |  6249522 |   300152 |    67634      8 |      775 |      666
1365.88/1366.37	c 1365s |      18 |  6257064 |   300752 |    67634      8 |      775 |      666
1368.27/1368.79	c 1368s |      18 |  6262419 |   301252 |    67634      8 |      775 |      666
1370.37/1370.84	c 1370s |      18 |  6265373 |   301552 |    67634      8 |      775 |      666
1372.67/1373.15	c 1372s |      18 |  6271594 |   302152 |    67634      8 |      775 |      666
1374.97/1375.40	c 1374s |      18 |  6277954 |   302752 |    67634      8 |      775 |      666
1377.07/1377.51	c 1376s |      18 |  6283348 |   303352 |    67634      8 |      775 |      666
1379.27/1379.74	c 1379s |      18 |  6288980 |   303852 |    67634      8 |      775 |      666
1382.07/1382.58	c 1381s |      18 |  6289707 |   304152 |    67634      8 |      775 |      666
1384.27/1384.76	c 1384s |      18 |  6291334 |   304452 |    67634      8 |      775 |      666
1386.57/1387.02	c 1386s |      18 |  6295674 |   305052 |    67634      8 |      775 |      666
1388.67/1389.19	c 1388s |      18 |  6296123 |   305252 |    67634      8 |      775 |      666
1390.87/1391.32	c 1390s |      18 |  6299530 |   305352 |    67634      9 |      775 |      666
1392.87/1393.39	c 1392s |      18 |  6310915 |   305952 |    67634      9 |      775 |      666
1395.06/1395.53	c 1394s |      18 |  6329280 |   306652 |    67634      9 |      775 |      666
1397.36/1397.81	c 1397s |      18 |  6346810 |   307252 |    67634      9 |      775 |      666
1399.36/1399.89	c 1399s |      18 |  6351253 |   307952 |    67634      9 |      775 |      666
1401.46/1401.98	c 1401s |      18 |  6365906 |   308552 |    67634      9 |      775 |      666
1403.66/1404.13	c 1403s |      18 |  6382596 |   309152 |    67634      9 |      775 |      666
1405.76/1406.28	c 1405s |      18 |  6398884 |   309752 |    67634      9 |      775 |      666
1407.96/1408.43	c 1407s |      18 |  6420943 |   310352 |    67634      9 |      775 |      666
1409.96/1410.46	c 1409s |      18 |  6435231 |   310852 |    67634      9 |      775 |      666
1411.97/1412.47	c 1411s |      18 |  6451514 |   311352 |    67634      9 |      775 |      666
1414.17/1414.66	c 1413s |      18 |  6469673 |   311952 |    67634      9 |      775 |      666
1416.26/1416.76	c 1416s |      18 |  6491547 |   312552 |    67634      9 |      775 |      666
1418.36/1418.89	c 1418s |      18 |  6509924 |   313152 |    67634      9 |      775 |      666
1420.77/1421.26	c 1420s |      18 |  6523926 |   313852 |    67634      9 |      775 |      666
1422.86/1423.31	c 1422s |      18 |  6543548 |   314352 |    67634      9 |      775 |      666
1424.96/1425.42	c 1424s |      18 |  6546117 |   314852 |    67634      9 |      775 |      666
1427.26/1427.77	c 1427s |      18 |  6561675 |   315452 |    67634      9 |      775 |      666
1429.46/1429.96	c 1429s |      18 |  6566349 |   316052 |    67634      9 |      775 |      666
1431.66/1432.18	c 1431s |      18 |  6568837 |   316552 |    67634      9 |      775 |      666
1433.96/1434.41	c 1433s |      18 |  6582912 |   317152 |    67634      9 |      775 |      666
1436.06/1436.53	c 1435s |      18 |  6597674 |   317652 |    67634      9 |      775 |      666
1438.16/1438.63	c 1437s |      18 |  6604183 |   318352 |    67634      9 |      775 |      666
1440.36/1440.83	c 1440s |      18 |  6608345 |   318852 |    67634      9 |      775 |      666
1442.66/1443.15	c 1442s |      18 |  6610336 |   319252 |    67634      9 |      775 |      666
1444.65/1445.17	c 1444s |      18 |  6612621 |   319652 |    67634      9 |      775 |      666
1447.75/1448.26	c 1447s |      18 |  6613541 |   319952 |    67634      9 |      775 |      666
1449.96/1450.42	c 1449s |      18 |  6614807 |   320152 |    67634      9 |      775 |      666
1452.06/1452.59	c 1451s |      18 |  6618859 |   320452 |    67634      9 |      775 |      666
1454.36/1454.82	c 1454s |      18 |  6621508 |   320852 |    67634      9 |      775 |      666
1456.46/1456.92	c 1456s |      18 |  6634628 |   321352 |    67634      9 |      775 |      666
1458.76/1459.24	c 1458s |      18 |  6641753 |   321952 |    67634      9 |      775 |      666
1460.95/1461.48	c 1460s |      18 |  6659038 |   322352 |    67634      9 |      775 |      666
1463.35/1463.85	c 1463s |      18 |  6662584 |   322752 |    67634      9 |      775 |      666
1465.45/1465.95	c 1465s |      18 |  6676150 |   323252 |    67634      9 |      775 |      666
1467.85/1468.35	c 1467s |      18 |  6690674 |   323752 |    67634      9 |      775 |      666
1469.85/1470.36	c 1469s |      18 |  6704738 |   324252 |    67634      9 |      775 |      666
1471.95/1472.49	c 1471s |      18 |  6715324 |   324752 |    67634      9 |      775 |      666
1474.35/1474.88	c 1474s |      18 |  6730023 |   325352 |    67634      9 |      775 |      666
1476.45/1476.98	c 1476s |      18 |  6741566 |   325852 |    67634      9 |      775 |      666
1478.55/1479.05	c 1478s |      18 |  6749316 |   326552 |    67634      9 |      775 |      666
1480.75/1481.20	c 1480s |      18 |  6761441 |   327052 |    67634      9 |      775 |      666
1482.75/1483.21	c 1482s |      18 |  6774544 |   327552 |    67634      9 |      775 |      666
1484.85/1485.35	c 1484s |      18 |  6783712 |   327952 |    67634      9 |      775 |      666
1486.95/1487.49	c 1486s |      18 |  6793539 |   328452 |    67634      9 |      775 |      666
1489.25/1489.72	c 1489s |      18 |  6809750 |   329052 |    67634      9 |      775 |      666
1491.26/1491.75	c 1491s |      18 |  6816919 |   329452 |    67634      9 |      775 |      666
1493.65/1494.11	c 1493s |      18 |  6820960 |   329952 |    67634      9 |      775 |      666
1495.95/1496.48	c 1495s |      18 |  6829719 |   330352 |    67634      9 |      775 |      666
1498.15/1498.69	c 1497s |      18 |  6831865 |   330852 |    67634      9 |      775 |      666
1500.35/1500.82	c 1500s |      18 |  6833426 |   331352 |    67634      9 |      775 |      666
1502.35/1502.88	c 1502s |      18 |  6835332 |   331752 |    67634      9 |      775 |      666
1504.65/1505.19	c 1504s |      18 |  6855271 |   332252 |    67634      9 |      775 |      666
1506.95/1507.40	c 1506s |      18 |  6865791 |   332952 |    67634      9 |      775 |      666
1508.95/1509.48	c 1508s |      18 |  6882670 |   333452 |    67634      9 |      775 |      666
1511.25/1511.73	c 1511s |      18 |  6892721 |   333952 |    67634      9 |      775 |      666
1513.35/1513.85	c 1513s |      18 |  6901878 |   334452 |    67634      9 |      775 |      666
1515.55/1516.08	c 1515s |      18 |  6916871 |   334952 |    67634      9 |      775 |      666
1517.66/1518.16	c 1517s |      18 |  6930259 |   335452 |    67634      9 |      775 |      666
1519.65/1520.19	c 1519s |      18 |  6933125 |   335752 |    67634      9 |      775 |      666
1523.25/1523.75	c 1523s |      18 |  6934691 |   336052 |    67634      9 |      775 |      666
1525.35/1525.86	c 1525s |      18 |  6935946 |   336252 |    67634      9 |      775 |      666
1527.65/1528.14	c 1527s |      18 |  6936488 |   336352 |    67634      9 |      775 |      666
1529.95/1530.48	c 1529s |      18 |  6936850 |   336452 |    67634      9 |      775 |      666
1533.74/1534.25	c 1533s |      18 |  6937072 |   336552 |    67634      9 |      775 |      666
1536.14/1536.70	c 1535s |      18 |  6937520 |   336652 |    67634      9 |      775 |      666
1539.65/1540.11	c 1539s |      18 |  6937827 |   336752 |    67634      9 |      775 |      666
1541.64/1542.19	c 1541s |      18 |  6938849 |   336952 |    67634      9 |      775 |      666
1544.24/1544.70	c 1543s |      18 |  6941512 |   337252 |    67634      9 |      775 |      666
1546.44/1546.95	c 1546s |      18 |  6956182 |   337652 |    67634      9 |      775 |      666
1549.45/1549.97	c 1549s |      18 |  6963405 |   337952 |    67634     10 |      775 |      666
1551.54/1552.00	c 1551s |      18 |  6981291 |   338552 |    67634     10 |      775 |      666
1553.74/1554.29	c 1553s |      18 |  6989534 |   339152 |    67634     10 |      775 |      666
1555.84/1556.39	c 1555s |      18 |  7005034 |   339752 |    67634     10 |      775 |      666
1558.25/1558.70	c 1558s |      18 |  7021771 |   340452 |    67634     10 |      775 |      666
1560.34/1560.82	c 1560s |      18 |  7034896 |   340952 |    67634     10 |      775 |      666
1562.64/1563.16	c 1562s |      18 |  7053453 |   341652 |    67634     10 |      775 |      666
1564.84/1565.39	c 1564s |      18 |  7070891 |   342252 |    67634     10 |      775 |      666
1567.04/1567.53	c 1566s |      18 |  7084013 |   342752 |    67634     10 |      775 |      666
1569.14/1569.60	c 1568s |      18 |  7103415 |   343252 |    67634     10 |      775 |      666
1571.14/1571.61	c 1570s |      18 |  7112233 |   343752 |    67634     10 |      775 |      666
1573.23/1573.70	c 1572s |      18 |  7114282 |   344252 |    67634     10 |      775 |      666
1575.53/1576.06	c 1575s |      18 |  7120830 |   344852 |    67634     10 |      775 |      666
1577.73/1578.20	c 1577s |      18 |  7133407 |   345452 |    67634     10 |      775 |      666
1579.93/1580.44	c 1579s |      18 |  7150897 |   346152 |    67634     10 |      775 |      666
1582.33/1582.86	c 1582s |      18 |  7164116 |   346752 |    67634     10 |      775 |      666
1585.23/1585.71	c 1585s |      18 |  7164434 |   346952 |    67634     10 |      775 |      666
1587.23/1587.72	c 1587s |      18 |  7165295 |   347252 |    67634     10 |      775 |      666
1589.44/1589.97	c 1589s |      18 |  7169249 |   347652 |    67634     10 |      775 |      666
1591.54/1592.01	c 1591s |      18 |  7183398 |   348252 |    67634     10 |      775 |      666
1593.64/1594.15	c 1593s |      18 |  7202365 |   348652 |    67634     10 |      775 |      666
1596.04/1596.55	c 1595s |      18 |  7210613 |   349152 |    67634     10 |      776 |      667
1598.14/1598.63	c 1597s |      18 |  7217262 |   349652 |    67634     10 |      776 |      667
1600.34/1600.81	c 1600s |      18 |  7225397 |   350252 |    67634     10 |      776 |      667
1602.64/1603.16	c 1602s |      18 |  7234893 |   350952 |    67634     10 |      776 |      667
1604.94/1605.41	c 1604s |      18 |  7240728 |   351552 |    67634     10 |      776 |      667
1606.94/1607.47	c 1606s |      18 |  7257806 |   352052 |    67634     10 |      776 |      667
1609.24/1609.72	c 1609s |      18 |  7268069 |   352752 |    67634     10 |      776 |      667
1611.34/1611.80	c 1611s |      18 |  7283251 |   353352 |    67634     10 |      776 |      667
1613.54/1614.07	c 1613s |      18 |  7294658 |   354052 |    67634     10 |      776 |      667
1615.74/1616.26	c 1615s |      18 |  7310750 |   354652 |    67634     10 |      776 |      667
1618.04/1618.58	c 1617s |      18 |  7324446 |   355252 |    67634     10 |      776 |      667
1620.44/1620.93	c 1620s |      18 |  7326445 |   355752 |    67634     10 |      776 |      667
1622.64/1623.13	c 1622s |      18 |  7327315 |   356152 |    67634     10 |      776 |      667
1624.74/1625.29	c 1624s |      18 |  7331445 |   356752 |    67634     10 |      776 |      667
1626.93/1627.42	c 1626s |      18 |  7340727 |   357252 |    67634     10 |      776 |      667
1629.03/1629.53	c 1628s |      18 |  7349777 |   357852 |    67634     10 |      776 |      667
1631.33/1631.82	c 1631s |      18 |  7367322 |   358452 |    67634     10 |      776 |      667
1633.43/1633.92	c 1633s |      18 |  7371167 |   359052 |    67634     10 |      776 |      667
1635.53/1636.07	c 1635s |      18 |  7377323 |   359652 |    67634     10 |      776 |      667
1637.83/1638.33	c 1637s |      18 |  7392053 |   360152 |    67634     10 |      776 |      667
1640.03/1640.58	c 1639s |      18 |  7404872 |   360652 |    67634     10 |      776 |      667
1642.53/1643.00	c 1642s |      18 |  7427165 |   361152 |    67634     10 |      776 |      667
1644.63/1645.14	c 1644s |      18 |  7439085 |   361752 |    67634     10 |      776 |      667
1646.73/1647.22	c 1646s |      18 |  7451848 |   362252 |    67634     10 |      776 |      667
1648.93/1649.41	c 1648s |      18 |  7463886 |   362752 |    67634     10 |      776 |      667
1651.23/1651.73	c 1651s |      18 |  7488047 |   363252 |    67634     10 |      776 |      667
1653.23/1653.77	c 1653s |      18 |  7497500 |   363752 |    67634     10 |      776 |      667
1655.53/1656.03	c 1655s |      18 |  7508137 |   364152 |    67634     10 |      776 |      667
1657.72/1658.21	c 1657s |      18 |  7524742 |   364652 |    67634     10 |      776 |      667
1659.92/1660.44	c 1659s |      18 |  7538708 |   365152 |    67634     10 |      776 |      667
1662.02/1662.59	c 1661s |      18 |  7552370 |   365652 |    67634     10 |      776 |      667
1664.32/1664.82	c 1664s |      18 |  7563138 |   366252 |    67634     10 |      776 |      667
1666.42/1666.93	c 1666s |      18 |  7576322 |   366752 |    67634     10 |      776 |      667
1668.72/1669.27	c 1668s |      18 |  7591441 |   367252 |    67634     10 |      776 |      667
1671.02/1671.57	c 1670s |      18 |  7604815 |   367852 |    67634     10 |      776 |      667
1673.22/1673.77	c 1673s |      18 |  7621250 |   368452 |    67634     10 |      776 |      667
1675.52/1676.06	c 1675s |      18 |  7642006 |   368952 |    67634     10 |      776 |      667
1677.82/1678.35	c 1677s |      18 |  7652416 |   369452 |    67634     10 |      776 |      667
1679.92/1680.42	c 1679s |      18 |  7662181 |   370052 |    67634     10 |      776 |      667
1682.52/1683.01	c 1682s |      18 |  7669787 |   370552 |    67634     10 |      776 |      667
1684.82/1685.31	c 1684s |      18 |  7672587 |   370952 |    67634     10 |      776 |      667
1686.92/1687.42	c 1686s |      18 |  7682331 |   371452 |    67634     10 |      776 |      667
1689.12/1689.65	c 1688s |      18 |  7690995 |   371952 |    67634     10 |      776 |      667
1691.42/1691.91	c 1691s |      18 |  7693368 |   372752 |    67634     10 |      776 |      667
1694.52/1695.07	c 1694s |      18 |  7696797 |   373252 |    67634     11 |      776 |      667
1697.12/1697.61	c 1696s |      18 |  7699962 |   373952 |    67634     11 |      776 |      667
1699.22/1699.76	c 1699s |      18 |  7704958 |   374652 |    67634     11 |      776 |      667
1701.33/1701.88	c 1701s |      18 |  7706807 |   375152 |    67634     11 |      776 |      667
1703.53/1704.02	c 1703s |      18 |  7709365 |   375652 |    67634     11 |      776 |      667
1705.82/1706.31	c 1705s |      18 |  7716439 |   376152 |    67634     11 |      776 |      667
1708.12/1708.62	c 1707s |      18 |  7724080 |   376852 |    67634     11 |      776 |      667
1710.13/1710.62	c 1709s |      18 |  7734182 |   377552 |    67634     11 |      776 |      667
1712.12/1712.67	c 1711s |      18 |  7740944 |   378252 |    67634     11 |      776 |      667
1714.12/1714.69	c 1713s |      18 |  7742150 |   378652 |    67634     11 |      776 |      667
1716.92/1717.47	c 1716s |      18 |  7743659 |   378952 |    67634     11 |      776 |      667
1719.12/1719.69	c 1718s |      18 |  7754809 |   379452 |    67634     11 |      776 |      667
1721.62/1722.13	c 1721s |      18 |  7770404 |   380152 |    67634     11 |      776 |      667
1723.72/1724.25	c 1723s |      18 |  7788199 |   380852 |    67634     11 |      776 |      667
1726.12/1726.68	c 1725s |      18 |  7802137 |   381452 |    67634     11 |      776 |      667
1728.42/1728.96	c 1728s |      18 |  7821758 |   382052 |    67634     11 |      776 |      667
1730.52/1731.09	c 1730s |      18 |  7837318 |   382652 |    67634     11 |      776 |      667
1732.82/1733.36	c 1732s |      18 |  7852915 |   383352 |    67634     11 |      776 |      667
1735.12/1735.67	c 1734s |      18 |  7876867 |   383952 |    67634     11 |      776 |      667
1737.62/1738.18	c 1737s |      18 |  7891211 |   384652 |    67634     11 |      776 |      667
1739.72/1740.26	c 1739s |      18 |  7905405 |   385252 |    67634     11 |      776 |      667
1742.02/1742.56	c 1741s |      18 |  7922966 |   385852 |    67634     11 |      776 |      667
1744.01/1744.60	c 1743s |      18 |  7933900 |   386452 |    67634     11 |      776 |      667
1746.11/1746.64	c 1745s |      18 |  7941443 |   386952 |    67634     11 |      776 |      667
1748.11/1748.65	c 1747s |      18 |  7943092 |   387352 |    67634     11 |      776 |      667
1750.42/1750.95	c 1750s |      18 |  7944278 |   387652 |    67634     11 |      776 |      667
1752.52/1753.02	c 1752s |      18 |  7954292 |   388152 |    67634     11 |      776 |      667
1754.61/1755.11	c 1754s |      18 |  7963288 |   388652 |    67634     11 |      776 |      667
1756.61/1757.19	c 1756s |      18 |  7971418 |   389252 |    67634     11 |      776 |      667
1758.81/1759.36	c 1758s |      18 |  7990629 |   389752 |    67634     11 |      776 |      667
1761.01/1761.53	c 1760s |      18 |  8006921 |   390252 |    67634     11 |      776 |      667
1763.41/1763.91	c 1763s |      18 |  8019900 |   390952 |    67634     11 |      776 |      667
1765.71/1766.23	c 1765s |      18 |  8033931 |   391752 |    67634     11 |      776 |      667
1767.71/1768.23	c 1767s |      18 |  8055274 |   392252 |    67634     11 |      776 |      667
1770.01/1770.51	c 1769s |      18 |  8064784 |   392852 |    67634     11 |      776 |      667
1772.51/1773.00	c 1772s |      18 |  8080705 |   393352 |    67634     11 |      776 |      667
1774.71/1775.22	c 1774s |      18 |  8088047 |   393852 |    67634     11 |      776 |      667
1777.11/1777.63	c 1776s |      18 |  8108530 |   394452 |    67634     11 |      776 |      667
1779.11/1779.66	c 1778s |      18 |  8125274 |   394952 |    67634     11 |      776 |      667
1781.52/1782.04	c 1781s |      18 |  8126398 |   395352 |    67634     11 |      776 |      667
1784.21/1784.74	c 1784s |      18 |  8127307 |   395652 |    67634     11 |      776 |      667
1786.21/1786.75	c 1786s |      18 |  8133164 |   395852 |    67634     11 |      776 |      667
1788.51/1789.02	c 1788s |      18 |  8147231 |   396352 |    67634     11 |      776 |      667
1790.70/1791.25	c 1790s |      18 |  8159439 |   396852 |    67634     11 |      776 |      667
1793.10/1793.61	c 1792s |      18 |  8170318 |   397452 |    67634     11 |      776 |      667
1795.10/1795.63	c 1794s |      18 |  8176401 |   398052 |    67634     11 |      776 |      667
1797.40/1797.97	c 1797s |      18 |  8178274 |   398552 |    67634     11 |      776 |      667
1799.70/1800.21	c 1799s |      18 |  8190250 |   399052 |    67634     11 |      776 |      667

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

pid=6720
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.25 2.23 2.19 3/179 6723
/proc/meminfo: memFree=29093956/32872528 swapFree=17892/1720544
[pid=6723] ppid=6720 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/6723/stat : 6723 (toysat) R 6720 6723 3556 0 -1 4202496 448 0 0 0 0 0 0 0 20 0 4 0 110546620 246870016 825 33554432000 4194304 16246674 140737088116608 140737088116032 4260408 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6723/statm: 60271 835 249 2943 0 57165 0
[pid=6723/tid=6724] ppid=6720 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6724/stat : 6724 (toysat) S 6720 6723 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110546620 246870016 889 33554432000 4194304 16246674 140737088116608 140365093907696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6723/tid=6725] ppid=6720 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6725/stat : 6725 (toysat) S 6720 6723 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110546620 246870016 910 33554432000 4194304 16246674 140737088116608 140365083417840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6723/tid=6726] ppid=6720 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6726/stat : 6726 (toysat) S 6720 6723 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110546620 246870016 933 33554432000 4194304 16246674 140737088116608 140364967046320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.25 2.23 2.19 3/179 6723
/proc/meminfo: memFree=29093956/32872528 swapFree=17892/1720544
[pid=6723] ppid=6720 vsize=1220164 CPUtime=0.08 cores=0,2,4,6
/proc/6723/stat : 6723 (toysat) R 6720 6723 3556 0 -1 4202496 27549 0 0 0 5 3 0 0 20 0 4 0 110546620 1249447936 27848 33554432000 4194304 16246674 140737088116608 140737088115920 4220936 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6723/statm: 305041 27848 801 2943 0 301935 0
[pid=6723/tid=6724] ppid=6720 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6724/stat : 6724 (toysat) S 6720 6723 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110546620 1249447936 27848 33554432000 4194304 16246674 140737088116608 140365093907696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6723/tid=6725] ppid=6720 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6725/stat : 6725 (toysat) S 6720 6723 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110546620 1249447936 27848 33554432000 4194304 16246674 140737088116608 140365083417840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6723/tid=6726] ppid=6720 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6726/stat : 6726 (toysat) S 6720 6723 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110546620 1249447936 27848 33554432000 4194304 16246674 140737088116608 140364967046320 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) 1220164

[startup+0.200542 s]
/proc/loadavg: 2.25 2.23 2.19 3/179 6723
/proc/meminfo: memFree=29093956/32872528 swapFree=17892/1720544
[pid=6723] ppid=6720 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/6723/stat : 6723 (toysat) R 6720 6723 3556 0 -1 4202496 50179 0 0 0 13 6 0 0 20 0 4 0 110546620 1344868352 50989 33554432000 4194304 16246674 140737088116608 140737088115920 13752920 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6723/statm: 328337 50989 801 2943 0 325231 0
[pid=6723/tid=6724] ppid=6720 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6724/stat : 6724 (toysat) S 6720 6723 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110546620 1344868352 50989 33554432000 4194304 16246674 140737088116608 140365093907696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6723/tid=6725] ppid=6720 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6725/stat : 6725 (toysat) S 6720 6723 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110546620 1344868352 50989 33554432000 4194304 16246674 140737088116608 140365083417840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6723/tid=6726] ppid=6720 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6726/stat : 6726 (toysat) S 6720 6723 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110546620 1344868352 50989 33554432000 4194304 16246674 140737088116608 140364967046320 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.300508 s]
/proc/loadavg: 2.25 2.23 2.19 3/179 6723
/proc/meminfo: memFree=29093956/32872528 swapFree=17892/1720544
[pid=6723] ppid=6720 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/6723/stat : 6723 (toysat) R 6720 6723 3556 0 -1 4202496 57133 0 0 0 22 7 0 0 20 0 4 0 110546620 1344868352 57943 33554432000 4194304 16246674 140737088116608 140737088115920 12479225 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6723/statm: 328337 57943 831 2943 0 325231 0
[pid=6723/tid=6724] ppid=6720 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6724/stat : 6724 (toysat) S 6720 6723 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110546620 1344868352 57943 33554432000 4194304 16246674 140737088116608 140365093907696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6723/tid=6725] ppid=6720 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6725/stat : 6725 (toysat) S 6720 6723 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110546620 1344868352 57943 33554432000 4194304 16246674 140737088116608 140365083417840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6723/tid=6726] ppid=6720 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6726/stat : 6726 (toysat) S 6720 6723 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110546620 1344868352 57943 33554432000 4194304 16246674 140737088116608 140364967046320 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.700395 s]
/proc/loadavg: 2.25 2.23 2.19 3/179 6723
/proc/meminfo: memFree=29093956/32872528 swapFree=17892/1720544
[pid=6723] ppid=6720 vsize=1313348 CPUtime=0.68 cores=0,2,4,6
/proc/6723/stat : 6723 (toysat) R 6720 6723 3556 0 -1 4202496 113609 0 0 0 54 14 0 0 20 0 4 0 110546620 1344868352 114419 33554432000 4194304 16246674 140737088116608 140737088098496 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6723/statm: 328337 114419 845 2943 0 325231 0
[pid=6723/tid=6724] ppid=6720 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6724/stat : 6724 (toysat) S 6720 6723 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110546620 1344868352 114419 33554432000 4194304 16246674 140737088116608 140365093907696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6723/tid=6725] ppid=6720 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6725/stat : 6725 (toysat) S 6720 6723 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110546620 1344868352 114419 33554432000 4194304 16246674 140737088116608 140365083417840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6723/tid=6726] ppid=6720 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6726/stat : 6726 (toysat) S 6720 6723 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110546620 1344868352 114419 33554432000 4194304 16246674 140737088116608 140364967046320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50034 s]
/proc/loadavg: 2.25 2.23 2.19 3/183 6727
/proc/meminfo: memFree=28636684/32872528 swapFree=17892/1720544
[pid=6723] ppid=6720 vsize=1314372 CPUtime=1.48 cores=0,2,4,6
/proc/6723/stat : 6723 (toysat) R 6720 6723 3556 0 -1 4202496 124477 0 0 0 133 15 0 0 20 0 4 0 110546620 1345916928 125287 33554432000 4194304 16246674 140737088116608 140737088098496 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6723/statm: 328593 125290 877 2943 0 325487 0
[pid=6723/tid=6724] ppid=6720 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6724/stat : 6724 (toysat) S 6720 6723 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110546620 1345916928 125293 33554432000 4194304 16246674 140737088116608 140365093907696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6723/tid=6725] ppid=6720 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6725/stat : 6725 (toysat) S 6720 6723 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110546620 1345916928 125294 33554432000 4194304 16246674 140737088116608 140365083417840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6723/tid=6726] ppid=6720 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6726/stat : 6726 (toysat) S 6720 6723 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110546620 1345916928 125296 33554432000 4194304 16246674 140737088116608 140364967046320 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) 1314372

[startup+3.10036 s]
/proc/loadavg: 2.25 2.23 2.19 3/183 6727
/proc/meminfo: memFree=28138568/32872528 swapFree=17892/1720544
[pid=6723] ppid=6720 vsize=1314372 CPUtime=3.09 cores=0,2,4,6
/proc/6723/stat : 6723 (toysat) R 6720 6723 3556 0 -1 4202496 269260 0 0 0 275 34 0 0 20 0 4 0 110546620 1345916928 270070 33554432000 4194304 16246674 140737088116608 140737088098496 5667556 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6723/statm: 328593 270070 880 2943 0 325487 0
[pid=6723/tid=6724] ppid=6720 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6724/stat : 6724 (toysat) S 6720 6723 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110546620 1345916928 270070 33554432000 4194304 16246674 140737088116608 140365093907696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6723/tid=6725] ppid=6720 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6725/stat : 6725 (toysat) S 6720 6723 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110546620 1345916928 270070 33554432000 4194304 16246674 140737088116608 140365083417840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6723/tid=6726] ppid=6720 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6726/stat : 6726 (toysat) S 6720 6723 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110546620 1345916928 270070 33554432000 4194304 16246674 140737088116608 140364967046320 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) 1314372

[startup+6.30042 s]
/proc/loadavg: 2.23 2.23 2.18 3/183 6727
/proc/meminfo: memFree=28014204/32872528 swapFree=17892/1720544
[pid=6723] ppid=6720 vsize=1314372 CPUtime=6.29 cores=0,2,4,6
/proc/6723/stat : 6723 (toysat) R 6720 6723 3556 0 -1 4202496 269266 0 0 0 595 34 0 0 20 0 4 0 110546620 1345916928 270076 33554432000 4194304 16246674 140737088116608 140737088098496 5677716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6723/statm: 328593 270076 885 2943 0 325487 0
[pid=6723/tid=6724] ppid=6720 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6724/stat : 6724 (toysat) S 6720 6723 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110546620 1345916928 270076 33554432000 4194304 16246674 140737088116608 140365093907696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6723/tid=6725] ppid=6720 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6725/stat : 6725 (toysat) S 6720 6723 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110546620 1345916928 270076 33554432000 4194304 16246674 140737088116608 140365083417840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6723/tid=6726] ppid=6720 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6726/stat : 6726 (toysat) S 6720 6723 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110546620 1345916928 270076 33554432000 4194304 16246674 140737088116608 140364967046320 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) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.29 2.24 2.19 4/183 6727
/proc/meminfo: memFree=28014228/32872528 swapFree=17892/1720544
[pid=6723] ppid=6720 vsize=1314372 CPUtime=12.69 cores=0,2,4,6
/proc/6723/stat : 6723 (toysat) R 6720 6723 3556 0 -1 4202496 269266 0 0 0 1235 34 0 0 20 0 4 0 110546620 1345916928 270076 33554432000 4194304 16246674 140737088116608 140737088098496 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6723/statm: 328593 270076 885 2943 0 325487 0
[pid=6723/tid=6724] ppid=6720 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6724/stat : 6724 (toysat) S 6720 6723 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110546620 1345916928 270076 33554432000 4194304 16246674 140737088116608 140365093907696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6723/tid=6725] ppid=6720 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6725/stat : 6725 (toysat) S 6720 6723 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110546620 1345916928 270076 33554432000 4194304 16246674 140737088116608 140365083417840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6723/tid=6726] ppid=6720 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6726/stat : 6726 (toysat) S 6720 6723 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110546620 1345916928 270076 33554432000 4194304 16246674 140737088116608 140364967046320 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) 1314372

[startup+25.5005 s]
/proc/loadavg: 2.30 2.24 2.19 3/183 6727
/proc/meminfo: memFree=28014652/32872528 swapFree=17892/1720544
[pid=6723] ppid=6720 vsize=1314372 CPUtime=25.48 cores=0,2,4,6
/proc/6723/stat : 6723 (toysat) R 6720 6723 3556 0 -1 4202496 269266 0 0 0 2514 34 0 0 20 0 4 0 110546620 1345916928 270076 33554432000 4194304 16246674 140737088116608 140737088098496 5754796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6723/statm: 328593 270076 885 2943 0 325487 0
[pid=6723/tid=6724] ppid=6720 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6724/stat : 6724 (toysat) S 6720 6723 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110546620 1345916928 270076 33554432000 4194304 16246674 140737088116608 140365093907696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6723/tid=6725] ppid=6720 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6725/stat : 6725 (toysat) S 6720 6723 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110546620 1345916928 270076 33554432000 4194304 16246674 140737088116608 140365083417840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6723/tid=6726] ppid=6720 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6726/stat : 6726 (toysat) S 6720 6723 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110546620 1345916928 270076 33554432000 4194304 16246674 140737088116608 140364967046320 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) 1314372

[startup+51.1005 s]
/proc/loadavg: 2.26 2.24 2.19 3/183 6727
/proc/meminfo: memFree=28014860/32872528 swapFree=17892/1720544
[pid=6723] ppid=6720 vsize=1314372 CPUtime=51.08 cores=0,2,4,6
/proc/6723/stat : 6723 (toysat) R 6720 6723 3556 0 -1 4202496 269266 0 0 0 5074 34 0 0 20 0 4 0 110546620 1345916928 270076 33554432000 4194304 16246674 140737088116608 140737088098496 12483212 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6723/statm: 328593 270076 885 2943 0 325487 0
[pid=6723/tid=6724] ppid=6720 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6724/stat : 6724 (toysat) S 6720 6723 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110546620 1345916928 270076 33554432000 4194304 16246674 140737088116608 140365093907696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6723/tid=6725] ppid=6720 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6725/stat : 6725 (toysat) S 6720 6723 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110546620 1345916928 270076 33554432000 4194304 16246674 140737088116608 140365083417840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6723/tid=6726] ppid=6720 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6726/stat : 6726 (toysat) S 6720 6723 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110546620 1345916928 270076 33554432000 4194304 16246674 140737088116608 140364967046320 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) 1314372

[startup+102.3 s]
/proc/loadavg: 2.20 2.23 2.18 3/183 6729
/proc/meminfo: memFree=28014428/32872528 swapFree=17892/1720544
[pid=6723] ppid=6720 vsize=1314372 CPUtime=102.28 cores=0,2,4,6
/proc/6723/stat : 6723 (toysat) R 6720 6723 3556 0 -1 4202496 269266 0 0 0 10194 34 0 0 20 0 4 0 110546620 1345916928 270076 33554432000 4194304 16246674 140737088116608 140737088098496 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6723/statm: 328593 270076 885 2943 0 325487 0
[pid=6723/tid=6724] ppid=6720 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6724/stat : 6724 (toysat) S 6720 6723 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110546620 1345916928 270076 33554432000 4194304 16246674 140737088116608 140365093907696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6723/tid=6725] ppid=6720 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6725/stat : 6725 (toysat) S 6720 6723 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110546620 1345916928 270076 33554432000 4194304 16246674 140737088116608 140365083417840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6723/tid=6726] ppid=6720 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6726/stat : 6726 (toysat) S 6720 6723 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110546620 1345916928 270076 33554432000 4194304 16246674 140737088116608 140364967046320 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) 1314372


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

/proc/6723/task/6726/stat : 6726 (toysat) S 6720 6723 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110546620 1348014080 270794 33554432000 4194304 16246674 140737088116608 140364967046320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1316420

[startup+1362.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/183 6831
/proc/meminfo: memFree=28012200/32872528 swapFree=17892/1720544
[pid=6723] ppid=6720 vsize=1316420 CPUtime=1361.87 cores=0,2,4,6
/proc/6723/stat : 6723 (toysat) R 6720 6723 3556 0 -1 4202496 270073 0 0 0 136137 50 0 0 20 0 4 0 110546620 1348014080 270794 33554432000 4194304 16246674 140737088116608 140737088098432 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6723/statm: 329105 270794 886 2943 0 325999 0
[pid=6723/tid=6724] ppid=6720 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6724/stat : 6724 (toysat) S 6720 6723 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110546620 1348014080 270794 33554432000 4194304 16246674 140737088116608 140365093907696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6723/tid=6725] ppid=6720 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6725/stat : 6725 (toysat) S 6720 6723 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110546620 1348014080 270794 33554432000 4194304 16246674 140737088116608 140365083417840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6723/tid=6726] ppid=6720 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6726/stat : 6726 (toysat) S 6720 6723 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110546620 1348014080 270794 33554432000 4194304 16246674 140737088116608 140364967046320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1316420

[startup+1422.3 s]
/proc/loadavg: 2.24 2.22 2.18 3/183 6832
/proc/meminfo: memFree=28012572/32872528 swapFree=17892/1720544
[pid=6723] ppid=6720 vsize=1316420 CPUtime=1421.87 cores=0,2,4,6
/proc/6723/stat : 6723 (toysat) R 6720 6723 3556 0 -1 4202496 270073 0 0 0 142137 50 0 0 20 0 4 0 110546620 1348014080 270794 33554432000 4194304 16246674 140737088116608 140737088098496 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6723/statm: 329105 270794 886 2943 0 325999 0
[pid=6723/tid=6724] ppid=6720 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6724/stat : 6724 (toysat) S 6720 6723 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110546620 1348014080 270794 33554432000 4194304 16246674 140737088116608 140365093907696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6723/tid=6725] ppid=6720 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6725/stat : 6725 (toysat) S 6720 6723 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110546620 1348014080 270794 33554432000 4194304 16246674 140737088116608 140365083417840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6723/tid=6726] ppid=6720 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6726/stat : 6726 (toysat) S 6720 6723 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110546620 1348014080 270794 33554432000 4194304 16246674 140737088116608 140364967046320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1316420

[startup+1482.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/184 6836
/proc/meminfo: memFree=28012504/32872528 swapFree=17892/1720544
[pid=6723] ppid=6720 vsize=1316420 CPUtime=1481.85 cores=0,2,4,6
/proc/6723/stat : 6723 (toysat) R 6720 6723 3556 0 -1 4202496 270073 0 0 0 148134 51 0 0 20 0 4 0 110546620 1348014080 270794 33554432000 4194304 16246674 140737088116608 140737088098496 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6723/statm: 329105 270794 886 2943 0 325999 0
[pid=6723/tid=6724] ppid=6720 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6724/stat : 6724 (toysat) S 6720 6723 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110546620 1348014080 270794 33554432000 4194304 16246674 140737088116608 140365093907696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6723/tid=6725] ppid=6720 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6725/stat : 6725 (toysat) S 6720 6723 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110546620 1348014080 270794 33554432000 4194304 16246674 140737088116608 140365083417840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6723/tid=6726] ppid=6720 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6726/stat : 6726 (toysat) S 6720 6723 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110546620 1348014080 270794 33554432000 4194304 16246674 140737088116608 140364967046320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1316420

[startup+1542.31 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 6837
/proc/meminfo: memFree=28012144/32872528 swapFree=17892/1720544
[pid=6723] ppid=6720 vsize=1316420 CPUtime=1541.85 cores=0,2,4,6
/proc/6723/stat : 6723 (toysat) R 6720 6723 3556 0 -1 4202496 270073 0 0 0 154133 52 0 0 20 0 4 0 110546620 1348014080 270794 33554432000 4194304 16246674 140737088116608 140737088114432 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6723/statm: 329105 270794 886 2943 0 325999 0
[pid=6723/tid=6724] ppid=6720 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6724/stat : 6724 (toysat) S 6720 6723 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110546620 1348014080 270794 33554432000 4194304 16246674 140737088116608 140365093907696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6723/tid=6725] ppid=6720 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6725/stat : 6725 (toysat) S 6720 6723 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110546620 1348014080 270794 33554432000 4194304 16246674 140737088116608 140365083417840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6723/tid=6726] ppid=6720 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6726/stat : 6726 (toysat) S 6720 6723 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110546620 1348014080 270794 33554432000 4194304 16246674 140737088116608 140364967046320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1316420

[startup+1602.3 s]
/proc/loadavg: 2.19 2.19 2.18 4/183 6838
/proc/meminfo: memFree=28012140/32872528 swapFree=17892/1720544
[pid=6723] ppid=6720 vsize=1316420 CPUtime=1601.84 cores=0,2,4,6
/proc/6723/stat : 6723 (toysat) R 6720 6723 3556 0 -1 4202496 270073 0 0 0 160131 53 0 0 20 0 4 0 110546620 1348014080 270794 33554432000 4194304 16246674 140737088116608 140737088098496 5823779 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6723/statm: 329105 270794 886 2943 0 325999 0
[pid=6723/tid=6724] ppid=6720 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6724/stat : 6724 (toysat) S 6720 6723 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110546620 1348014080 270794 33554432000 4194304 16246674 140737088116608 140365093907696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6723/tid=6725] ppid=6720 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6725/stat : 6725 (toysat) S 6720 6723 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110546620 1348014080 270794 33554432000 4194304 16246674 140737088116608 140365083417840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6723/tid=6726] ppid=6720 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6726/stat : 6726 (toysat) S 6720 6723 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110546620 1348014080 270794 33554432000 4194304 16246674 140737088116608 140364967046320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1316420

[startup+1662.3 s]
/proc/loadavg: 2.13 2.17 2.17 3/183 6840
/proc/meminfo: memFree=28012140/32872528 swapFree=17892/1720544
[pid=6723] ppid=6720 vsize=1316420 CPUtime=1661.82 cores=0,2,4,6
/proc/6723/stat : 6723 (toysat) R 6720 6723 3556 0 -1 4202496 270073 0 0 0 166129 53 0 0 20 0 4 0 110546620 1348014080 270794 33554432000 4194304 16246674 140737088116608 140737088098496 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6723/statm: 329105 270794 886 2943 0 325999 0
[pid=6723/tid=6724] ppid=6720 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6724/stat : 6724 (toysat) S 6720 6723 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110546620 1348014080 270794 33554432000 4194304 16246674 140737088116608 140365093907696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6723/tid=6725] ppid=6720 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6725/stat : 6725 (toysat) S 6720 6723 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110546620 1348014080 270794 33554432000 4194304 16246674 140737088116608 140365083417840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6723/tid=6726] ppid=6720 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6726/stat : 6726 (toysat) S 6720 6723 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110546620 1348014080 270794 33554432000 4194304 16246674 140737088116608 140364967046320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1316420

[startup+1722.3 s]
/proc/loadavg: 2.13 2.17 2.17 3/183 6841
/proc/meminfo: memFree=28008548/32872528 swapFree=17892/1720544
[pid=6723] ppid=6720 vsize=1320516 CPUtime=1721.82 cores=0,2,4,6
/proc/6723/stat : 6723 (toysat) R 6720 6723 3556 0 -1 4202496 270946 0 0 0 172128 54 0 0 20 0 4 0 110546620 1352208384 271667 33554432000 4194304 16246674 140737088116608 140737088098496 12483572 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6723/statm: 330129 271667 886 2943 0 327023 0
[pid=6723/tid=6724] ppid=6720 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6724/stat : 6724 (toysat) S 6720 6723 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110546620 1352208384 271667 33554432000 4194304 16246674 140737088116608 140365093907696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6723/tid=6725] ppid=6720 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6725/stat : 6725 (toysat) S 6720 6723 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110546620 1352208384 271667 33554432000 4194304 16246674 140737088116608 140365083417840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6723/tid=6726] ppid=6720 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6726/stat : 6726 (toysat) S 6720 6723 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110546620 1352208384 271667 33554432000 4194304 16246674 140737088116608 140364967046320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1320516

[startup+1782.3 s]
/proc/loadavg: 2.31 2.21 2.18 4/183 6842
/proc/meminfo: memFree=28008296/32872528 swapFree=17892/1720544
[pid=6723] ppid=6720 vsize=1320516 CPUtime=1781.81 cores=0,2,4,6
/proc/6723/stat : 6723 (toysat) R 6720 6723 3556 0 -1 4202496 270946 0 0 0 178126 55 0 0 20 0 4 0 110546620 1352208384 271667 33554432000 4194304 16246674 140737088116608 140737088098496 5546005 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6723/statm: 330129 271667 886 2943 0 327023 0
[pid=6723/tid=6724] ppid=6720 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6724/stat : 6724 (toysat) S 6720 6723 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110546620 1352208384 271667 33554432000 4194304 16246674 140737088116608 140365093907696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6723/tid=6725] ppid=6720 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6725/stat : 6725 (toysat) S 6720 6723 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110546620 1352208384 271667 33554432000 4194304 16246674 140737088116608 140365083417840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6723/tid=6726] ppid=6720 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6726/stat : 6726 (toysat) S 6720 6723 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110546620 1352208384 271667 33554432000 4194304 16246674 140737088116608 140364967046320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1320516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.31 2.22 2.19 3/183 6843
/proc/meminfo: memFree=28008076/32872528 swapFree=17892/1720544
[pid=6723] ppid=6720 vsize=1320516 CPUtime=1800 cores=0,2,4,6
/proc/6723/stat : 6723 (toysat) R 6720 6723 3556 0 -1 4202496 270946 0 0 0 179945 55 0 0 20 0 4 0 110546620 1352208384 271667 33554432000 4194304 16246674 140737088116608 140737088098496 5545832 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6723/statm: 330129 271667 886 2943 0 327023 0
[pid=6723/tid=6724] ppid=6720 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6724/stat : 6724 (toysat) S 6720 6723 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110546620 1352208384 271667 33554432000 4194304 16246674 140737088116608 140365093907696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6723/tid=6725] ppid=6720 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6725/stat : 6725 (toysat) S 6720 6723 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110546620 1352208384 271667 33554432000 4194304 16246674 140737088116608 140365083417840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6723/tid=6726] ppid=6720 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6726/stat : 6726 (toysat) S 6720 6723 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110546620 1352208384 271667 33554432000 4194304 16246674 140737088116608 140364967046320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1320516

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

[startup+1800.5 s]
/proc/loadavg: 2.31 2.22 2.19 3/183 6843
/proc/meminfo: memFree=28008076/32872528 swapFree=17892/1720544
[pid=6723] ppid=6720 vsize=1320516 CPUtime=1800 cores=0,2,4,6
/proc/6723/stat : 6723 (toysat) R 6720 6723 3556 0 -1 4202496 270946 0 0 0 179945 55 0 0 20 0 4 0 110546620 1352208384 271667 33554432000 4194304 16246674 140737088116608 140737088098496 5545832 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6723/statm: 330129 271667 886 2943 0 327023 0
[pid=6723/tid=6724] ppid=6720 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6724/stat : 6724 (toysat) S 6720 6723 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110546620 1352208384 271667 33554432000 4194304 16246674 140737088116608 140365093907696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6723/tid=6725] ppid=6720 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6725/stat : 6725 (toysat) S 6720 6723 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110546620 1352208384 271667 33554432000 4194304 16246674 140737088116608 140365083417840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6723/tid=6726] ppid=6720 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/6723/task/6726/stat : 6726 (toysat) S 6720 6723 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110546620 1352208384 271667 33554432000 4194304 16246674 140737088116608 140364967046320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1320516

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.46
CPU system time (s): 0.555915
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 1320516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.555915
maximum resident set size= 1086668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270946
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= 360
involuntary context switches= 1900

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.54231 second user time and 6.98294 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-07 09:55:35
IDJOB=4078904
IDBENCH=90193
IDSOLVER=2542
FILE ID=node117/4078904-1465286135
RUNJOBID= node117-1465262703-3572
PBS_JOBID= 19843298
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 6abb89533e60aa1ed19663db7c40a868
RANDOM SEED=681978038

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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.54
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		: 2667.088
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		: 2667.088
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.53
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		: 2667.088
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:        29094220 kB
Buffers:           88440 kB
Cached:           124860 kB
SwapCached:        29276 kB
Active:          1161860 kB
Inactive:         160944 kB
Active(anon):    1082712 kB
Inactive(anon):    29468 kB
Active(file):      79148 kB
Inactive(file):   131476 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67071196 kB
Dirty:             17492 kB
Writeback:             0 kB
AnonPages:       2908352 kB
Mapped:            10696 kB
Shmem:                 0 kB
Slab:             599248 kB
SReclaimable:      43376 kB
SUnreclaim:       555872 kB
KernelStack:        1520 kB
PageTables:         9584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2945692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2717696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node117 at 2016-06-07 10:25:35