Trace number 4078917

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.07 1800.53

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K192.opb
MD5SUM83a21ae30c37a390d06f7aafb55d6d81
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 variables22848
Total number of constraints23234
Number of constraints which are clauses23042
Number of constraints which are cardinality constraints (but not clauses)192
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint192
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 193
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:41:49+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-4078917-1465285308.opb"]
0.00/0.01	c use --random-gen="2453072533 654968738 178962005 3748583957 3320035002 677758310 1847294525 3805983744 2606311368 3965743432 597403469 4270932800 2576746752 4155461898 3801738023 3349307253 3738722252 3327762970 727120275 982470591 1206466395 1180104638 2219337879 2076813219 1824641346 2618848457 4118219401 3018419948 3821120573 4128614349 3045259518 486806008 3347982774 218292648 1327452357 3604826486 2190379794 132103332 2118542808 474587726 3887669655 310851055 1510693925 2760038023 1550411207 1910310617 3709754283 2034039645 966006915 1317758901 4027260975 2924938696 3796040253 100370748 2422664968 3533428670 3958712006 1160129842 2452982714 2235438893 345066273 3079270688 891551991 678573740 1952150789 4219084976 447775973 2992446050 3269690836 4216548821 2913954875 4166072250 3317182188 1746822649 4054054232 2500959702 3684975638 3608235174 2185435873 821909330 1761094069 158294415 1416227256 3077868172 16759985 524517057 4198488105 273123592 3964739258 2155126582 848546002 517789817 4192672743 2207177516 914853680 3087790758 3282748428 3211687732 3247924270 3314465473 1322133496 3628486401 4255178946 1424653595 3127055231 2408842120 2495566815 738889491 2058125289 189232600 3977292677 1368892406 1195434554 2831483764 120383317 1041613921 541305498 1927595981 2716028090 2221232389 1298701974 3834021788 227673774 1838196820 893812895 1767449201 1264924402 4140812398 786756362 2279256849 2969690503 564770435 182626796 26489791 339484749 330977116 3238203378 2613058994 3491272527 2447947279 1689625288 662509746 2610662892 3294046931 3955809117 1552377213 2828344187 2389466629 4174458317 1162212415 2066021837 511694303 1644621431 3863719907 3224694087 1861713064 2552898015 2409455219 1548008033 2393040137 1109716993 1727226645 2851076918 498092094 3059014321 4138290228 337373343 542512865 2583169204 1688818229 257043370 2886859582 3979749933 3782959913 3956751974 2057591015 1639290947 3484865305 4121108726 1980138990 791404307 4277758702 1889806049 1404902691 2911267326 1697866724 1768135444 2932436870 1568355102 1893594229 2165834188 2020113178 1728524653 1682394988 218307580 398485845 2985795136 123549314 1716917701 3018539936 367072883 3747400045 845080657 3646621196 2313977423 201989840 4141898953 3928919712 3149099819 3384455605 1932295380 1654700644 3353986301 2691279765 1297685642 2752961220 608015099 716437187 2815862130 73597483 4096200384 2334107115 2227615664 1083404050 1957478827 1735272772 2267362848 1511443409 2959668348 3491425440 1659335452 3519762924 3354754382 3083494878 400911712 3185219185 980605384 2140445373 3146940706 1195621202 4142465113 4124272775 3841613016 3499707487 1336610442 2301364743 2952486320 4061883298 1568806694 781318576 2102290347 1214985562 596306624 3320244461 3760124922 3689381941 255 362436" option to reproduce the execution
0.29/0.33	c #vars 22848
0.29/0.33	c #constraints 23234
0.79/0.85	c Solving starts ...
0.79/0.85	c ============================[ Search Statistics ]============================
0.79/0.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.79/0.85	c       |         |          |          |    Limit     GC | Var      | Constra 
0.79/0.85	c =============================================================================
0.79/0.85	c  0.0s |       0 |        0 |        0 |    15360      0 |      742 |        0
1.69/1.78	c  0.9s |       1 |    20033 |      100 |    15360      0 |      743 |      634
2.79/2.82	c  2.0s |       2 |    35071 |      250 |    16896      0 |      744 |      635
4.19/4.22	c  3.4s |       3 |    61977 |      475 |    18586      0 |      748 |      639
5.59/5.66	c  4.8s |       4 |    88914 |      813 |    20445      0 |      748 |      639
7.58/7.61	c  6.8s |       5 |   121912 |     1320 |    22490      0 |      748 |      639
9.58/9.67	c  8.8s |       5 |   160292 |     1820 |    24740      0 |      748 |      639
10.58/10.61	c  9.8s |       6 |   174233 |     2081 |    27215      0 |      748 |      639
12.69/12.73	c 11.9s |       6 |   210042 |     2581 |    27215      0 |      748 |      639
14.79/14.88	c 14.0s |       7 |   247790 |     3223 |    29937      0 |      748 |      639
17.19/17.26	c 16.4s |       7 |   282294 |     3923 |    29937      0 |      748 |      639
19.79/19.82	c 19.0s |       7 |   328662 |     4523 |    29937      0 |      750 |      641
21.49/21.57	c 20.7s |       8 |   355840 |     4936 |    32931      0 |      751 |      642
23.78/23.86	c 23.0s |       8 |   378338 |     5636 |    32931      0 |      751 |      642
25.78/25.86	c 25.0s |       8 |   415052 |     6136 |    32931      0 |      752 |      643
28.19/28.26	c 27.4s |       8 |   440516 |     6936 |    32931      0 |      752 |      643
30.39/30.44	c 29.6s |       9 |   471909 |     7506 |    36225      0 |      753 |      644
32.89/32.90	c 32.1s |       9 |   511473 |     8006 |    36225      0 |      755 |      646
34.89/34.97	c 34.1s |       9 |   542825 |     8506 |    36225      0 |      756 |      647
37.09/37.12	c 36.3s |       9 |   568230 |     9106 |    36225      0 |      756 |      647
39.59/39.65	c 38.8s |       9 |   607821 |     9806 |    36225      0 |      756 |      647
41.79/41.87	c 41.0s |       9 |   636714 |    10306 |    36225      0 |      756 |      647
43.89/43.94	c 43.1s |       9 |   661660 |    10906 |    36225      0 |      756 |      647
45.59/45.60	c 44.8s |      10 |   686481 |    11361 |    39848      0 |      756 |      647
47.58/47.69	c 46.8s |      10 |   718509 |    11761 |    39848      0 |      756 |      647
49.68/49.79	c 48.9s |      10 |   744966 |    12361 |    39848      0 |      756 |      647
51.79/51.83	c 51.0s |      10 |   776620 |    12861 |    39848      0 |      756 |      647
53.99/54.01	c 53.2s |      10 |   810205 |    13361 |    39848      0 |      757 |      648
55.98/56.09	c 55.2s |      10 |   837420 |    13761 |    39848      0 |      758 |      649
58.39/58.49	c 57.6s |      10 |   877294 |    14261 |    39848      0 |      758 |      649
60.49/60.54	c 59.7s |      10 |   905807 |    14761 |    39848      0 |      758 |      649
62.79/62.87	c 62.0s |      10 |   934873 |    15461 |    39848      0 |      758 |      649
65.18/65.22	c 64.4s |      10 |   957413 |    16061 |    39848      0 |      758 |      649
67.19/67.24	c 66.4s |      10 |   985709 |    16461 |    39848      0 |      758 |      649
69.18/69.28	c 68.4s |      10 |  1018524 |    17061 |    43833      0 |      758 |      649
69.58/69.60	c 68.7s |      11 |  1022776 |    17144 |    43833      0 |      758 |      649
71.88/71.90	c 71.1s |      11 |  1053397 |    17544 |    43833      0 |      758 |      649
74.18/74.26	c 73.4s |      11 |  1089985 |    18044 |    43833      0 |      758 |      649
76.58/76.66	c 75.8s |      11 |  1124885 |    18544 |    43833      0 |      758 |      649
78.78/78.87	c 78.0s |      11 |  1155787 |    18944 |    43833      0 |      759 |      650
80.88/80.93	c 80.1s |      11 |  1177654 |    19444 |    43833      0 |      759 |      650
82.88/82.95	c 82.1s |      11 |  1203005 |    19944 |    43833      0 |      759 |      650
85.08/85.14	c 84.3s |      11 |  1233726 |    20544 |    43833      0 |      759 |      650
87.38/87.43	c 86.6s |      11 |  1254979 |    21044 |    43833      0 |      760 |      651
89.38/89.50	c 88.6s |      11 |  1270102 |    21644 |    43833      0 |      761 |      652
91.48/91.56	c 90.7s |      11 |  1297982 |    22244 |    43833      0 |      761 |      652
93.98/94.09	c 93.2s |      11 |  1325917 |    22744 |    43833      0 |      762 |      653
96.18/96.21	c 95.4s |      11 |  1352722 |    23244 |    43833      0 |      762 |      653
98.18/98.26	c 97.4s |      11 |  1376732 |    23644 |    43833      0 |      763 |      654
100.28/100.39	c 99.5s |      11 |  1398822 |    24044 |    43833      0 |      764 |      655
102.38/102.43	c  101s |      11 |  1423583 |    24444 |    43833      0 |      764 |      655
104.88/104.92	c  104s |      11 |  1453174 |    24944 |    43833      0 |      764 |      655
106.98/107.05	c  106s |      11 |  1480343 |    25344 |    43833      0 |      764 |      655
109.18/109.25	c  108s |      12 |  1503269 |    25819 |    48217      0 |      764 |      655
111.28/111.40	c  110s |      12 |  1526650 |    26219 |    48217      0 |      764 |      655
113.67/113.76	c  112s |      12 |  1548341 |    26719 |    48217      0 |      764 |      655
116.07/116.11	c  115s |      12 |  1565869 |    27319 |    48217      0 |      764 |      655
118.17/118.26	c  117s |      12 |  1588109 |    27719 |    48217      0 |      764 |      655
120.67/120.74	c  119s |      12 |  1617727 |    28119 |    48217      0 |      765 |      656
122.97/123.08	c  122s |      12 |  1637489 |    28519 |    48217      0 |      766 |      657
125.27/125.39	c  124s |      12 |  1664454 |    29019 |    48217      0 |      766 |      657
127.37/127.44	c  126s |      12 |  1689471 |    29519 |    48217      0 |      766 |      657
129.47/129.50	c  128s |      12 |  1692238 |    30119 |    48217      0 |      766 |      657
131.47/131.55	c  130s |      12 |  1698130 |    30319 |    48217      0 |      766 |      657
133.87/133.91	c  133s |      12 |  1710418 |    30919 |    48217      0 |      766 |      657
135.86/135.99	c  135s |      12 |  1721843 |    31319 |    48217      0 |      766 |      657
138.46/138.53	c  137s |      12 |  1744845 |    31919 |    48217      0 |      766 |      657
140.46/140.56	c  139s |      12 |  1767488 |    32319 |    48217      0 |      766 |      657
142.56/142.64	c  141s |      12 |  1787403 |    32819 |    48217      0 |      766 |      657
145.06/145.10	c  144s |      12 |  1820921 |    33319 |    48217      0 |      766 |      657
147.26/147.39	c  146s |      12 |  1842868 |    33819 |    48217      0 |      766 |      657
149.46/149.52	c  148s |      12 |  1869250 |    34319 |    48217      0 |      766 |      657
151.56/151.63	c  150s |      12 |  1892736 |    34719 |    48217      0 |      766 |      657
153.56/153.65	c  152s |      12 |  1915678 |    35019 |    48217      0 |      766 |      657
155.56/155.69	c  154s |      12 |  1944273 |    35419 |    48217      0 |      766 |      657
157.96/158.08	c  157s |      12 |  1972791 |    36019 |    48217      0 |      766 |      657
160.16/160.29	c  159s |      12 |  1995833 |    36519 |    48217      0 |      766 |      657
162.36/162.44	c  161s |      12 |  2019742 |    37019 |    48217      0 |      766 |      657
164.77/164.80	c  163s |      12 |  2038886 |    37619 |    48217      0 |      766 |      657
166.87/166.96	c  166s |      12 |  2049532 |    38119 |    48217      0 |      766 |      657
169.07/169.15	c  168s |      12 |  2073632 |    38519 |    48217      0 |      766 |      657
170.87/170.91	c  170s |      13 |  2092550 |    38832 |    53039      0 |      766 |      657
173.16/173.29	c  172s |      13 |  2110999 |    39232 |    53039      0 |      766 |      657
175.26/175.33	c  174s |      13 |  2129436 |    39632 |    53039      0 |      766 |      657
177.56/177.68	c  176s |      13 |  2146987 |    40032 |    53039      0 |      766 |      657
179.66/179.76	c  178s |      13 |  2164699 |    40532 |    53039      0 |      766 |      657
181.86/181.94	c  181s |      13 |  2181561 |    40932 |    53039      0 |      766 |      657
183.86/183.97	c  183s |      13 |  2206073 |    41332 |    53039      0 |      766 |      657
186.06/186.19	c  185s |      13 |  2226152 |    41832 |    53039      0 |      766 |      657
188.36/188.45	c  187s |      13 |  2252318 |    42232 |    53039      0 |      766 |      657
190.66/190.79	c  189s |      13 |  2262298 |    42732 |    53039      0 |      766 |      657
192.96/193.00	c  192s |      13 |  2286875 |    43132 |    53039      0 |      766 |      657
195.06/195.11	c  194s |      13 |  2305219 |    43532 |    53039      0 |      766 |      657
197.06/197.18	c  196s |      13 |  2324465 |    43932 |    53039      0 |      766 |      657
199.36/199.42	c  198s |      13 |  2348690 |    44332 |    53039      0 |      766 |      657
201.36/201.46	c  200s |      13 |  2368226 |    44832 |    53039      0 |      766 |      657
203.76/203.86	c  203s |      13 |  2397819 |    45232 |    53039      0 |      766 |      657
205.86/205.92	c  205s |      13 |  2416090 |    45632 |    53039      0 |      766 |      657
208.06/208.13	c  207s |      13 |  2440340 |    45932 |    53039      0 |      766 |      657
210.16/210.25	c  209s |      13 |  2455181 |    46332 |    53039      0 |      766 |      657
212.26/212.34	c  211s |      13 |  2478068 |    46732 |    53039      0 |      766 |      657
214.36/214.50	c  213s |      13 |  2500566 |    47132 |    53039      0 |      766 |      657
216.85/216.91	c  216s |      13 |  2521231 |    47632 |    53039      0 |      766 |      657
218.86/218.97	c  218s |      13 |  2539703 |    48132 |    53039      0 |      766 |      657
221.16/221.24	c  220s |      13 |  2562820 |    48532 |    53039      0 |      766 |      657
223.55/223.63	c  222s |      13 |  2579316 |    49032 |    53039      0 |      766 |      657
225.65/225.76	c  224s |      13 |  2598505 |    49432 |    53039      0 |      766 |      657
227.76/227.81	c  226s |      13 |  2612392 |    49932 |    53039      0 |      766 |      657
230.15/230.24	c  229s |      13 |  2635394 |    50332 |    53039      0 |      766 |      657
232.55/232.65	c  231s |      13 |  2656722 |    50732 |    53039      0 |      766 |      657
235.05/235.15	c  234s |      13 |  2668227 |    51132 |    53039      0 |      766 |      657
237.15/237.26	c  236s |      13 |  2683963 |    51532 |    53039      0 |      766 |      657
239.15/239.26	c  238s |      13 |  2707533 |    51832 |    53039      0 |      766 |      657
241.65/241.78	c  240s |      13 |  2732331 |    52332 |    53039      0 |      766 |      657
243.65/243.79	c  242s |      13 |  2747859 |    52732 |    53039      0 |      766 |      657
245.75/245.86	c  245s |      13 |  2761514 |    53132 |    53039      0 |      766 |      657
248.45/248.51	c  247s |      13 |  2784239 |    53732 |    53039      0 |      766 |      657
250.76/250.84	c  249s |      13 |  2803540 |    54232 |    53039      0 |      766 |      657
252.96/253.00	c  252s |      13 |  2823912 |    54632 |    53039      0 |      766 |      657
255.45/255.55	c  254s |      13 |  2836108 |    55032 |    53039      0 |      766 |      657
257.46/257.56	c  256s |      13 |  2838855 |    55432 |    53039      0 |      766 |      657
259.75/259.88	c  259s |      13 |  2845289 |    55832 |    53039      0 |      766 |      657
261.95/262.04	c  261s |      13 |  2859566 |    56032 |    53039      1 |      766 |      657
264.25/264.31	c  263s |      13 |  2880849 |    56532 |    53039      1 |      766 |      657
266.26/266.32	c  265s |      13 |  2897895 |    56932 |    53039      1 |      766 |      657
268.35/268.50	c  267s |      13 |  2913916 |    57432 |    53039      1 |      766 |      657
270.75/270.82	c  269s |      13 |  2939687 |    57932 |    53039      1 |      766 |      657
272.85/272.96	c  272s |      13 |  2963001 |    58332 |    58343      1 |      766 |      657
272.95/273.09	c  272s |      14 |  2965378 |    58352 |    58343      1 |      766 |      657
275.35/275.42	c  274s |      14 |  2992311 |    58652 |    58343      1 |      766 |      657
277.85/277.97	c  277s |      14 |  3011990 |    59152 |    58343      1 |      766 |      657
280.55/280.61	c  279s |      14 |  3013496 |    59552 |    58343      1 |      766 |      657
283.34/283.49	c  282s |      14 |  3014534 |    59852 |    58343      1 |      766 |      657
285.64/285.73	c  284s |      14 |  3039354 |    60352 |    58343      1 |      766 |      657
287.94/288.04	c  287s |      14 |  3068389 |    60752 |    58343      1 |      766 |      657
290.35/290.46	c  289s |      14 |  3097190 |    61252 |    58343      1 |      766 |      657
292.65/292.70	c  291s |      14 |  3122256 |    61652 |    58343      1 |      766 |      657
294.75/294.82	c  293s |      14 |  3143887 |    62052 |    58343      1 |      766 |      657
296.95/297.10	c  296s |      14 |  3161327 |    62452 |    58343      1 |      766 |      657
299.74/299.89	c  299s |      14 |  3190000 |    62852 |    58343      1 |      767 |      658
301.84/301.90	c  301s |      14 |  3200123 |    63152 |    58343      1 |      768 |      659
303.84/303.94	c  303s |      14 |  3220913 |    63552 |    58343      1 |      768 |      659
305.85/305.95	c  305s |      14 |  3234798 |    63952 |    58343      1 |      768 |      659
308.05/308.16	c  307s |      14 |  3253035 |    64352 |    58343      1 |      768 |      659
310.44/310.57	c  309s |      14 |  3277207 |    64752 |    58343      1 |      768 |      659
313.04/313.18	c  312s |      14 |  3308315 |    65252 |    58343      1 |      768 |      659
315.44/315.50	c  314s |      14 |  3334650 |    65652 |    58343      1 |      768 |      659
317.44/317.51	c  316s |      14 |  3357244 |    66052 |    58343      1 |      768 |      659
319.64/319.74	c  318s |      14 |  3375041 |    66552 |    58343      1 |      768 |      659
321.84/321.99	c  321s |      14 |  3398431 |    66952 |    58343      1 |      768 |      659
323.94/324.04	c  323s |      14 |  3415625 |    67352 |    58343      1 |      768 |      659
326.44/326.52	c  325s |      14 |  3424015 |    67752 |    58343      1 |      768 |      659
329.54/329.67	c  328s |      14 |  3424764 |    68052 |    58343      1 |      768 |      659
331.84/331.99	c  331s |      14 |  3427616 |    68352 |    58343      1 |      768 |      659
334.04/334.17	c  333s |      14 |  3449205 |    68752 |    58343      1 |      768 |      659
336.54/336.66	c  335s |      14 |  3477055 |    69252 |    58343      1 |      768 |      659
338.74/338.86	c  338s |      14 |  3498020 |    69652 |    58343      1 |      768 |      659
341.13/341.24	c  340s |      14 |  3522411 |    70152 |    58343      1 |      768 |      659
343.73/343.82	c  342s |      14 |  3545209 |    70752 |    58343      1 |      768 |      659
345.83/345.98	c  345s |      14 |  3558270 |    71152 |    58343      1 |      768 |      659
348.33/348.47	c  347s |      14 |  3573914 |    71652 |    58343      1 |      768 |      659
350.53/350.63	c  349s |      14 |  3592735 |    72152 |    58343      1 |      768 |      659
352.63/352.76	c  351s |      14 |  3611706 |    72552 |    58343      1 |      768 |      659
355.24/355.32	c  354s |      14 |  3631013 |    73152 |    58343      1 |      768 |      659
357.73/357.82	c  356s |      14 |  3655030 |    73652 |    58343      1 |      768 |      659
360.13/360.21	c  359s |      14 |  3675934 |    74152 |    58343      1 |      768 |      659
362.43/362.51	c  361s |      14 |  3699247 |    74552 |    58343      1 |      768 |      659
364.63/364.79	c  363s |      14 |  3718857 |    75052 |    58343      1 |      768 |      659
367.34/367.50	c  366s |      14 |  3744692 |    75652 |    58343      1 |      768 |      659
369.53/369.70	c  368s |      14 |  3761810 |    76052 |    58343      1 |      768 |      659
371.93/372.10	c  371s |      14 |  3786641 |    76452 |    58343      1 |      768 |      659
374.13/374.22	c  373s |      14 |  3807614 |    76752 |    58343      1 |      768 |      659
376.33/376.47	c  375s |      14 |  3816098 |    77252 |    58343      1 |      768 |      659
378.63/378.75	c  377s |      14 |  3831964 |    77752 |    58343      1 |      768 |      659
380.73/380.85	c  380s |      14 |  3849706 |    78052 |    58343      1 |      768 |      659
382.93/383.02	c  382s |      14 |  3870342 |    78452 |    58343      1 |      768 |      659
385.13/385.25	c  384s |      14 |  3884393 |    78952 |    58343      1 |      768 |      659
387.43/387.50	c  386s |      14 |  3901684 |    79352 |    58343      1 |      768 |      659
389.73/389.81	c  388s |      14 |  3921448 |    79752 |    58343      1 |      768 |      659
391.83/391.95	c  391s |      14 |  3936161 |    80252 |    58343      1 |      768 |      659
393.93/394.05	c  393s |      14 |  3951093 |    80752 |    58343      1 |      768 |      659
396.43/396.54	c  395s |      14 |  3973778 |    81152 |    58343      1 |      768 |      659
398.63/398.75	c  397s |      14 |  3988480 |    81552 |    58343      1 |      768 |      659
401.23/401.31	c  400s |      14 |  4013653 |    81952 |    58343      1 |      768 |      659
403.33/403.41	c  402s |      14 |  4023104 |    82452 |    58343      1 |      768 |      659
405.33/405.49	c  404s |      14 |  4044246 |    82752 |    58343      1 |      768 |      659
407.63/407.70	c  406s |      14 |  4060635 |    83152 |    58343      1 |      768 |      659
409.63/409.70	c  408s |      14 |  4072843 |    83652 |    58343      1 |      768 |      659
411.73/411.81	c  410s |      14 |  4090556 |    84052 |    58343      1 |      768 |      659
414.03/414.16	c  413s |      14 |  4107467 |    84452 |    58343      1 |      768 |      659
416.42/416.58	c  415s |      14 |  4123825 |    84852 |    58343      1 |      768 |      659
418.92/419.00	c  418s |      14 |  4140784 |    85252 |    58343      1 |      768 |      659
421.02/421.12	c  420s |      14 |  4160096 |    85552 |    58343      1 |      768 |      659
423.02/423.14	c  422s |      14 |  4185143 |    85852 |    58343      1 |      768 |      659
425.12/425.28	c  424s |      14 |  4203674 |    86252 |    58343      1 |      768 |      659
427.32/427.43	c  426s |      14 |  4220623 |    86652 |    58343      1 |      768 |      659
429.42/429.50	c  428s |      14 |  4226726 |    87152 |    64178      1 |      768 |      659
431.42/431.57	c  430s |      14 |  4241160 |    87552 |    64178      1 |      768 |      659
431.92/432.04	c  431s |      15 |  4244193 |    87632 |    64178      1 |      768 |      659
434.22/434.37	c  433s |      15 |  4257112 |    87832 |    64178      1 |      768 |      659
436.73/436.89	c  436s |      15 |  4273222 |    88332 |    64178      1 |      768 |      659
439.42/439.55	c  438s |      15 |  4300643 |    88732 |    64178      1 |      768 |      659
441.82/441.94	c  441s |      15 |  4327485 |    89132 |    64178      1 |      768 |      659
444.02/444.14	c  443s |      15 |  4344851 |    89532 |    64178      1 |      768 |      659
446.22/446.38	c  445s |      15 |  4363692 |    89932 |    64178      1 |      768 |      659
448.32/448.49	c  447s |      15 |  4377394 |    90132 |    64178      1 |      769 |      660
451.03/451.12	c  450s |      15 |  4401156 |    90532 |    64178      1 |      769 |      660
453.23/453.36	c  452s |      15 |  4415450 |    90932 |    64178      1 |      769 |      660
455.72/455.86	c  455s |      15 |  4428430 |    91232 |    64178      1 |      770 |      661
458.12/458.27	c  457s |      15 |  4454287 |    91532 |    64178      1 |      770 |      661
460.22/460.31	c  459s |      15 |  4469929 |    91932 |    64178      1 |      770 |      661
462.42/462.55	c  461s |      15 |  4490926 |    92332 |    64178      1 |      770 |      661
464.72/464.87	c  464s |      15 |  4508030 |    92732 |    64178      1 |      770 |      661
467.43/467.59	c  466s |      15 |  4533927 |    93032 |    64178      1 |      770 |      661
469.82/469.98	c  469s |      15 |  4550526 |    93432 |    64178      1 |      770 |      661
472.02/472.13	c  471s |      15 |  4571583 |    93732 |    64178      1 |      770 |      661
474.31/474.42	c  473s |      15 |  4589707 |    94132 |    64178      1 |      770 |      661
476.41/476.54	c  475s |      15 |  4608532 |    94432 |    64178      1 |      770 |      661
479.71/479.85	c  478s |      15 |  4615471 |    94732 |    64178      2 |      770 |      661
482.21/482.38	c  481s |      15 |  4639472 |    95232 |    64178      2 |      770 |      661
484.31/484.47	c  483s |      15 |  4663434 |    95632 |    64178      2 |      770 |      661
486.41/486.55	c  485s |      15 |  4677018 |    96132 |    64178      2 |      770 |      661
488.61/488.73	c  487s |      15 |  4694590 |    96532 |    64178      2 |      771 |      662
490.81/490.97	c  490s |      15 |  4716527 |    97032 |    64178      2 |      771 |      662
492.91/493.03	c  492s |      15 |  4728918 |    97532 |    64178      2 |      771 |      662
495.21/495.33	c  494s |      15 |  4751381 |    98032 |    64178      2 |      771 |      662
497.31/497.45	c  496s |      15 |  4767257 |    98532 |    64178      2 |      771 |      662
499.51/499.67	c  498s |      15 |  4782823 |    99032 |    64178      2 |      771 |      662
501.81/501.90	c  501s |      15 |  4791304 |    99532 |    64178      2 |      771 |      662
503.81/503.93	c  503s |      15 |  4809209 |    99932 |    64178      2 |      771 |      662
506.01/506.14	c  505s |      15 |  4833133 |   100332 |    64178      2 |      771 |      662
508.41/508.59	c  507s |      15 |  4855484 |   100832 |    64178      2 |      771 |      662
510.81/510.93	c  510s |      15 |  4877109 |   101332 |    64178      2 |      771 |      662
513.11/513.20	c  512s |      15 |  4899188 |   101832 |    64178      2 |      771 |      662
515.11/515.24	c  514s |      15 |  4914712 |   102232 |    64178      2 |      771 |      662
517.71/517.83	c  516s |      15 |  4934286 |   102832 |    64178      2 |      771 |      662
519.71/519.85	c  519s |      15 |  4952125 |   103132 |    64178      2 |      771 |      662
522.01/522.14	c  521s |      15 |  4969485 |   103632 |    64178      2 |      771 |      662
524.31/524.46	c  523s |      15 |  4987613 |   104032 |    64178      2 |      771 |      662
526.71/526.84	c  525s |      15 |  5009635 |   104432 |    64178      2 |      771 |      662
528.81/528.91	c  528s |      15 |  5029362 |   104732 |    64178      2 |      771 |      662
530.91/531.01	c  530s |      15 |  5048009 |   105132 |    64178      2 |      771 |      662
533.11/533.20	c  532s |      15 |  5066012 |   105432 |    64178      2 |      772 |      663
535.21/535.32	c  534s |      15 |  5086250 |   105932 |    64178      2 |      772 |      663
537.31/537.43	c  536s |      15 |  5100487 |   106332 |    64178      2 |      772 |      663
539.61/539.76	c  538s |      15 |  5129202 |   106832 |    64178      2 |      772 |      663
541.71/541.81	c  540s |      15 |  5142305 |   107132 |    64178      2 |      773 |      664
544.11/544.28	c  543s |      15 |  5160456 |   107632 |    64178      2 |      773 |      664
546.61/546.73	c  545s |      15 |  5186622 |   108032 |    64178      2 |      773 |      664
548.81/548.98	c  548s |      15 |  5204591 |   108432 |    64178      2 |      773 |      664
551.11/551.20	c  550s |      15 |  5213968 |   108732 |    64178      2 |      773 |      664
553.21/553.34	c  552s |      15 |  5214870 |   109032 |    64178      2 |      773 |      664
555.21/555.36	c  554s |      15 |  5216014 |   109332 |    64178      2 |      773 |      664
557.51/557.68	c  556s |      15 |  5229336 |   109832 |    64178      2 |      773 |      664
559.61/559.71	c  558s |      15 |  5237018 |   110232 |    64178      2 |      773 |      664
561.71/561.85	c  561s |      15 |  5252631 |   110632 |    64178      2 |      773 |      664
564.01/564.16	c  563s |      15 |  5267345 |   111232 |    64178      2 |      773 |      664
566.01/566.17	c  565s |      15 |  5280511 |   111632 |    64178      2 |      773 |      664
568.50/568.66	c  567s |      15 |  5294972 |   112132 |    64178      2 |      773 |      664
570.60/570.72	c  569s |      15 |  5316614 |   112532 |    64178      2 |      773 |      664
572.90/573.10	c  572s |      15 |  5333371 |   113032 |    64178      2 |      773 |      664
575.40/575.51	c  574s |      15 |  5354425 |   113532 |    64178      2 |      773 |      664
577.70/577.80	c  576s |      15 |  5376324 |   113932 |    64178      2 |      773 |      664
579.71/579.88	c  579s |      15 |  5385243 |   114232 |    64178      2 |      773 |      664
582.10/582.20	c  581s |      15 |  5406563 |   114632 |    64178      2 |      773 |      664
584.20/584.32	c  583s |      15 |  5427275 |   114932 |    64178      2 |      773 |      664
586.40/586.55	c  585s |      15 |  5441021 |   115432 |    64178      2 |      773 |      664
588.51/588.60	c  587s |      15 |  5461853 |   115832 |    64178      2 |      773 |      664
591.00/591.16	c  590s |      15 |  5488043 |   116232 |    64178      2 |      773 |      664
593.50/593.69	c  592s |      15 |  5512440 |   116632 |    64178      2 |      773 |      664
596.40/596.54	c  595s |      15 |  5532876 |   117032 |    64178      2 |      774 |      665
598.50/598.60	c  597s |      15 |  5549867 |   117332 |    64178      2 |      774 |      665
600.50/600.64	c  599s |      15 |  5568672 |   117632 |    64178      2 |      774 |      665
602.90/603.09	c  602s |      15 |  5586436 |   118032 |    64178      2 |      774 |      665
605.40/605.56	c  604s |      15 |  5587582 |   118432 |    64178      2 |      774 |      665
607.80/607.96	c  607s |      15 |  5588968 |   118832 |    64178      2 |      774 |      665
610.20/610.31	c  609s |      15 |  5607270 |   119232 |    64178      2 |      774 |      665
612.49/612.61	c  611s |      15 |  5628742 |   119632 |    64178      2 |      774 |      665
614.69/614.90	c  614s |      15 |  5648339 |   120032 |    64178      2 |      774 |      665
616.79/616.98	c  616s |      15 |  5665066 |   120432 |    64178      2 |      774 |      665
618.99/619.12	c  618s |      15 |  5678349 |   120932 |    64178      2 |      774 |      665
621.40/621.58	c  620s |      15 |  5700925 |   121332 |    64178      2 |      774 |      665
623.49/623.64	c  622s |      15 |  5717533 |   121632 |    64178      2 |      774 |      665
625.49/625.68	c  624s |      15 |  5734405 |   122032 |    64178      2 |      774 |      665
627.59/627.71	c  626s |      15 |  5751277 |   122332 |    64178      2 |      774 |      665
629.99/630.12	c  629s |      15 |  5767041 |   122532 |    64178      2 |      775 |      666
632.09/632.20	c  631s |      15 |  5787330 |   122832 |    64178      2 |      775 |      666
634.49/634.62	c  633s |      15 |  5806468 |   123232 |    64178      2 |      775 |      666
636.49/636.68	c  635s |      15 |  5823474 |   123632 |    64178      2 |      775 |      666
638.99/639.17	c  638s |      15 |  5838128 |   124132 |    64178      2 |      775 |      666
641.09/641.27	c  640s |      15 |  5850438 |   124732 |    64178      2 |      775 |      666
643.29/643.44	c  642s |      15 |  5863865 |   125232 |    64178      2 |      775 |      666
645.29/645.48	c  644s |      15 |  5884667 |   125532 |    64178      2 |      775 |      666
647.39/647.58	c  646s |      15 |  5897152 |   125932 |    64178      2 |      775 |      666
650.19/650.37	c  649s |      15 |  5899127 |   126332 |    64178      2 |      775 |      666
652.38/652.54	c  651s |      15 |  5901137 |   126732 |    64178      2 |      775 |      666
654.39/654.55	c  653s |      15 |  5902827 |   127132 |    64178      2 |      775 |      666
656.69/656.89	c  656s |      15 |  5914775 |   127432 |    64178      2 |      775 |      666
658.90/659.08	c  658s |      15 |  5926458 |   127832 |    64178      2 |      775 |      666
661.19/661.31	c  660s |      15 |  5936723 |   128332 |    64178      2 |      775 |      666
663.20/663.40	c  662s |      15 |  5942007 |   128832 |    64178      2 |      775 |      666
665.40/665.54	c  664s |      15 |  5955071 |   128932 |    64178      3 |      775 |      666
667.59/667.73	c  666s |      15 |  5966443 |   129332 |    64178      3 |      775 |      666
669.99/670.11	c  669s |      15 |  5975319 |   129832 |    64178      3 |      775 |      666
672.19/672.32	c  671s |      15 |  5991318 |   130332 |    64178      3 |      775 |      666
674.39/674.51	c  673s |      15 |  6011109 |   130932 |    70596      3 |      775 |      666
676.39/676.54	c  675s |      15 |  6025312 |   131432 |    70596      3 |      775 |      666
676.99/677.10	c  676s |      16 |  6028581 |   131552 |    70596      3 |      775 |      666
679.29/679.47	c  678s |      16 |  6053688 |   131952 |    70596      3 |      775 |      666
681.49/681.62	c  680s |      16 |  6055252 |   132352 |    70596      3 |      775 |      666
684.29/684.44	c  683s |      16 |  6056550 |   132752 |    70596      3 |      775 |      666
686.48/686.60	c  685s |      16 |  6060557 |   133052 |    70596      3 |      775 |      666
688.68/688.89	c  688s |      16 |  6083025 |   133452 |    70596      3 |      775 |      666
691.08/691.28	c  690s |      16 |  6101433 |   133952 |    70596      3 |      775 |      666
693.18/693.30	c  692s |      16 |  6126564 |   134352 |    70596      3 |      775 |      666
695.38/695.60	c  694s |      16 |  6148756 |   134752 |    70596      3 |      775 |      666
697.98/698.17	c  697s |      16 |  6160589 |   135252 |    70596      3 |      775 |      666
700.18/700.31	c  699s |      16 |  6166322 |   135752 |    70596      3 |      775 |      666
702.78/702.92	c  702s |      16 |  6192860 |   136252 |    70596      3 |      775 |      666
704.88/705.04	c  704s |      16 |  6208815 |   136652 |    70596      3 |      775 |      666
706.88/707.05	c  706s |      16 |  6221296 |   137152 |    70596      3 |      775 |      666
709.08/709.22	c  708s |      16 |  6226002 |   137652 |    70596      3 |      775 |      666
711.27/711.48	c  710s |      16 |  6229405 |   138152 |    70596      3 |      775 |      666
713.37/713.54	c  712s |      16 |  6240856 |   138552 |    70596      3 |      775 |      666
715.37/715.56	c  714s |      16 |  6254427 |   138952 |    70596      3 |      775 |      666
717.67/717.83	c  716s |      16 |  6276107 |   139352 |    70596      3 |      775 |      666
719.67/719.84	c  718s |      16 |  6294369 |   139752 |    70596      3 |      775 |      666
722.28/722.44	c  721s |      16 |  6315211 |   140252 |    70596      3 |      775 |      666
724.38/724.50	c  723s |      16 |  6327899 |   140752 |    70596      3 |      775 |      666
726.58/726.77	c  725s |      16 |  6340141 |   141052 |    70596      3 |      775 |      666
728.68/728.88	c  728s |      16 |  6356282 |   141452 |    70596      3 |      775 |      666
731.18/731.36	c  730s |      16 |  6375041 |   141952 |    70596      3 |      775 |      666
733.78/733.93	c  733s |      16 |  6393618 |   142352 |    70596      3 |      775 |      666
736.08/736.28	c  735s |      16 |  6414716 |   142752 |    70596      3 |      775 |      666
738.87/739.04	c  738s |      16 |  6421767 |   143152 |    70596      3 |      775 |      666
740.97/741.17	c  740s |      16 |  6439759 |   143552 |    70596      3 |      775 |      666
743.07/743.27	c  742s |      16 |  6456862 |   143952 |    70596      3 |      775 |      666
745.57/745.71	c  744s |      16 |  6480885 |   144352 |    70596      3 |      775 |      666
747.77/747.94	c  747s |      16 |  6493412 |   144852 |    70596      3 |      775 |      666
749.87/750.00	c  749s |      16 |  6504755 |   145152 |    70596      3 |      775 |      666
751.87/752.04	c  751s |      16 |  6515578 |   145552 |    70596      3 |      775 |      666
754.17/754.37	c  753s |      16 |  6534819 |   145952 |    70596      3 |      775 |      666
756.28/756.45	c  755s |      16 |  6541333 |   146252 |    70596      3 |      775 |      666
758.58/758.70	c  757s |      16 |  6554863 |   146752 |    70596      3 |      775 |      666
760.67/760.81	c  759s |      16 |  6570066 |   147152 |    70596      3 |      775 |      666
762.77/762.92	c  762s |      16 |  6571474 |   147652 |    70596      3 |      775 |      666
765.37/765.53	c  764s |      16 |  6588019 |   148152 |    70596      3 |      775 |      666
767.47/767.60	c  766s |      16 |  6604135 |   148552 |    70596      3 |      775 |      666
769.77/769.98	c  769s |      16 |  6610651 |   148952 |    70596      3 |      775 |      666
772.07/772.27	c  771s |      16 |  6626180 |   149352 |    70596      3 |      775 |      666
774.27/774.50	c  773s |      16 |  6632627 |   149752 |    70596      3 |      775 |      666
776.77/776.93	c  776s |      16 |  6646631 |   150252 |    70596      3 |      775 |      666
779.07/779.25	c  778s |      16 |  6665785 |   150652 |    70596      3 |      775 |      666
781.17/781.33	c  780s |      16 |  6685237 |   151052 |    70596      3 |      775 |      666
783.46/783.67	c  782s |      16 |  6701672 |   151552 |    70596      3 |      775 |      666
785.57/785.74	c  784s |      16 |  6719631 |   151852 |    70596      3 |      775 |      666
787.67/787.89	c  787s |      16 |  6733976 |   152352 |    70596      3 |      775 |      666
790.07/790.23	c  789s |      16 |  6753858 |   152752 |    70596      3 |      775 |      666
792.57/792.72	c  791s |      16 |  6778102 |   153152 |    70596      3 |      775 |      666
794.67/794.80	c  793s |      16 |  6791729 |   153552 |    70596      3 |      775 |      666
797.97/798.19	c  797s |      16 |  6810063 |   153952 |    70596      3 |      776 |      667
800.27/800.41	c  799s |      16 |  6823994 |   154352 |    70596      3 |      776 |      667
802.57/802.79	c  801s |      16 |  6843712 |   154752 |    70596      3 |      776 |      667
804.77/804.91	c  804s |      16 |  6860359 |   155052 |    70596      3 |      776 |      667
806.87/807.10	c  806s |      16 |  6879648 |   155452 |    70596      3 |      776 |      667
809.27/809.42	c  808s |      16 |  6898111 |   155852 |    70596      3 |      776 |      667
811.77/811.97	c  811s |      16 |  6916793 |   156252 |    70596      3 |      776 |      667
813.97/814.12	c  813s |      16 |  6932241 |   156552 |    70596      3 |      776 |      667
816.46/816.64	c  815s |      16 |  6935066 |   156952 |    70596      3 |      776 |      667
818.66/818.81	c  817s |      16 |  6942573 |   157352 |    70596      3 |      776 |      667
820.86/821.03	c  820s |      16 |  6943340 |   157652 |    70596      3 |      776 |      667
823.06/823.28	c  822s |      16 |  6952256 |   158052 |    70596      3 |      776 |      667
825.36/825.51	c  824s |      16 |  6961338 |   158552 |    70596      3 |      776 |      667
827.56/827.79	c  826s |      16 |  6977956 |   158952 |    70596      3 |      776 |      667
830.46/830.61	c  829s |      16 |  6982676 |   159452 |    70596      3 |      776 |      667
832.66/832.80	c  831s |      16 |  6998343 |   159752 |    70596      3 |      776 |      667
834.67/834.81	c  833s |      16 |  7009195 |   160252 |    70596      3 |      776 |      667
837.16/837.30	c  836s |      16 |  7027254 |   160652 |    70596      3 |      776 |      667
839.27/839.48	c  838s |      16 |  7042828 |   161052 |    70596      3 |      776 |      667
841.66/841.87	c  841s |      16 |  7056057 |   161452 |    70596      3 |      776 |      667
844.46/844.64	c  843s |      16 |  7078878 |   161852 |    70596      3 |      776 |      667
846.87/847.08	c  846s |      16 |  7101285 |   162152 |    70596      3 |      776 |      667
848.96/849.13	c  848s |      16 |  7117810 |   162452 |    70596      3 |      776 |      667
851.27/851.49	c  850s |      16 |  7130569 |   162852 |    70596      3 |      776 |      667
853.47/853.62	c  852s |      16 |  7154778 |   163152 |    70596      3 |      776 |      667
855.56/855.78	c  854s |      16 |  7166235 |   163552 |    70596      3 |      776 |      667
858.16/858.38	c  857s |      16 |  7182980 |   164052 |    70596      3 |      776 |      667
860.56/860.73	c  859s |      16 |  7203545 |   164352 |    70596      3 |      776 |      667
862.86/863.01	c  862s |      16 |  7221982 |   164752 |    70596      3 |      776 |      667
865.67/865.83	c  864s |      16 |  7240194 |   165152 |    70596      3 |      776 |      667
867.76/867.95	c  867s |      16 |  7249179 |   165552 |    70596      3 |      776 |      667
869.76/869.96	c  869s |      16 |  7260144 |   165952 |    70596      3 |      776 |      667
872.06/872.20	c  871s |      16 |  7276601 |   166352 |    70596      3 |      776 |      667
874.16/874.31	c  873s |      16 |  7288757 |   166752 |    70596      3 |      776 |      667
876.25/876.40	c  875s |      16 |  7298002 |   167152 |    70596      3 |      776 |      667
878.76/878.97	c  878s |      16 |  7316690 |   167552 |    70596      3 |      776 |      667
880.85/881.10	c  880s |      16 |  7330362 |   168052 |    70596      3 |      776 |      667
882.95/883.13	c  882s |      16 |  7343432 |   168352 |    70596      3 |      776 |      667
885.15/885.39	c  884s |      16 |  7352407 |   168752 |    70596      3 |      776 |      667
887.45/887.64	c  886s |      16 |  7366609 |   169152 |    70596      3 |      776 |      667
889.65/889.81	c  888s |      16 |  7380547 |   169652 |    70596      3 |      776 |      667
894.05/894.22	c  893s |      16 |  7404172 |   170052 |    70596      4 |      776 |      667
896.55/896.74	c  895s |      16 |  7428402 |   170452 |    70596      4 |      776 |      667
898.85/899.08	c  898s |      16 |  7454471 |   170852 |    70596      4 |      776 |      667
900.85/901.08	c  900s |      16 |  7473628 |   171252 |    70596      4 |      776 |      667
902.95/903.20	c  902s |      16 |  7490549 |   171652 |    70596      4 |      776 |      667
905.25/905.41	c  904s |      16 |  7509653 |   172052 |    70596      4 |      776 |      667
907.74/907.99	c  907s |      16 |  7532692 |   172552 |    70596      4 |      776 |      667
910.15/910.30	c  909s |      16 |  7555813 |   172952 |    70596      4 |      776 |      667
912.45/912.66	c  911s |      16 |  7571098 |   173452 |    70596      4 |      776 |      667
914.55/914.74	c  913s |      16 |  7594739 |   173852 |    70596      4 |      776 |      667
916.85/917.02	c  916s |      16 |  7617965 |   174252 |    70596      4 |      776 |      667
919.15/919.33	c  918s |      16 |  7639199 |   174752 |    70596      4 |      776 |      667
921.45/921.68	c  920s |      16 |  7663370 |   175152 |    70596      4 |      776 |      667
923.75/923.96	c  923s |      16 |  7673424 |   175652 |    70596      4 |      776 |      667
926.06/926.25	c  925s |      16 |  7694435 |   176152 |    70596      4 |      776 |      667
928.26/928.41	c  927s |      16 |  7702598 |   176752 |    70596      4 |      776 |      667
930.35/930.58	c  929s |      16 |  7721595 |   177152 |    70596      4 |      776 |      667
932.65/932.84	c  931s |      16 |  7740581 |   177552 |    70596      4 |      776 |      667
935.25/935.42	c  934s |      16 |  7763484 |   178052 |    70596      4 |      776 |      667
937.45/937.64	c  936s |      16 |  7786013 |   178352 |    70596      4 |      776 |      667
939.55/939.75	c  938s |      16 |  7803888 |   178752 |    70596      4 |      776 |      667
941.55/941.75	c  940s |      16 |  7820173 |   179152 |    70596      4 |      776 |      667
943.94/944.10	c  943s |      16 |  7834907 |   179652 |    70596      4 |      776 |      667
946.34/946.54	c  945s |      16 |  7856165 |   180052 |    70596      4 |      776 |      667
948.44/948.60	c  947s |      16 |  7874777 |   180352 |    70596      4 |      776 |      667
950.74/950.93	c  950s |      16 |  7888785 |   180952 |    70596      4 |      776 |      667
952.84/953.05	c  952s |      16 |  7905177 |   181452 |    70596      4 |      776 |      667
955.34/955.55	c  954s |      16 |  7919371 |   182052 |    70596      4 |      776 |      667
957.64/957.85	c  957s |      16 |  7940915 |   182452 |    70596      4 |      776 |      667
959.94/960.14	c  959s |      16 |  7960721 |   182852 |    70596      4 |      776 |      667
961.94/962.20	c  961s |      16 |  7979884 |   183252 |    70596      4 |      776 |      667
964.54/964.72	c  963s |      16 |  8003756 |   183752 |    70596      4 |      776 |      667
966.74/966.93	c  966s |      16 |  8022589 |   184152 |    70596      4 |      776 |      667
968.84/969.04	c  968s |      16 |  8035162 |   184552 |    70596      4 |      776 |      667
970.84/971.08	c  970s |      16 |  8056221 |   184852 |    70596      4 |      776 |      667
973.14/973.38	c  972s |      16 |  8071133 |   185252 |    70596      4 |      776 |      667
975.23/975.47	c  974s |      16 |  8089288 |   185652 |    70596      4 |      776 |      667
977.33/977.58	c  976s |      16 |  8103306 |   186052 |    70596      4 |      776 |      667
980.33/980.57	c  979s |      16 |  8132160 |   186352 |    70596      4 |      777 |      668
982.33/982.57	c  981s |      16 |  8152851 |   186652 |    70596      4 |      777 |      668
984.73/984.95	c  984s |      16 |  8174570 |   186952 |    70596      4 |      777 |      668
987.33/987.53	c  986s |      16 |  8197347 |   187352 |    70596      4 |      777 |      668
989.73/989.99	c  989s |      16 |  8213430 |   187752 |    70596      4 |      777 |      668
992.23/992.48	c  991s |      16 |  8231846 |   188052 |    70596      4 |      778 |      669
994.83/995.00	c  994s |      16 |  8254293 |   188552 |    70596      4 |      778 |      669
997.34/997.59	c  996s |      16 |  8279552 |   188952 |    70596      4 |      778 |      669
999.54/999.78	c  998s |      16 |  8298364 |   189252 |    70596      4 |      778 |      669
1002.24/1002.45	c 1001s |      16 |  8317229 |   189752 |    70596      4 |      778 |      669
1004.64/1004.84	c 1003s |      16 |  8338024 |   190152 |    70596      4 |      778 |      669
1006.84/1007.00	c 1006s |      16 |  8351913 |   190552 |    70596      4 |      778 |      669
1009.13/1009.39	c 1008s |      16 |  8373657 |   191052 |    70596      4 |      778 |      669
1011.53/1011.75	c 1010s |      16 |  8394441 |   191452 |    70596      4 |      778 |      669
1014.43/1014.61	c 1013s |      16 |  8407432 |   191852 |    70596      4 |      778 |      669
1016.63/1016.86	c 1016s |      16 |  8423981 |   192252 |    70596      4 |      778 |      669
1018.83/1019.01	c 1018s |      16 |  8439474 |   192552 |    70596      4 |      778 |      669
1021.03/1021.27	c 1020s |      16 |  8452150 |   192952 |    70596      4 |      778 |      669
1023.43/1023.61	c 1022s |      16 |  8462063 |   193452 |    70596      4 |      778 |      669
1025.73/1025.94	c 1025s |      16 |  8479389 |   193852 |    70596      4 |      778 |      669
1027.83/1028.07	c 1027s |      16 |  8489954 |   194252 |    70596      4 |      778 |      669
1030.13/1030.32	c 1029s |      16 |  8505562 |   194752 |    70596      4 |      778 |      669
1032.43/1032.63	c 1031s |      16 |  8524934 |   195252 |    70596      4 |      778 |      669
1034.83/1035.04	c 1034s |      16 |  8541302 |   195752 |    70596      4 |      778 |      669
1037.53/1037.72	c 1036s |      16 |  8568987 |   196252 |    77656      4 |      778 |      669
1039.83/1040.06	c 1039s |      16 |  8587132 |   196552 |    77656      4 |      778 |      669
1041.83/1042.06	c 1041s |      16 |  8602481 |   196952 |    77656      4 |      778 |      669
1044.03/1044.24	c 1043s |      16 |  8617944 |   197352 |    77656      4 |      778 |      669
1044.43/1044.67	c 1043s |      17 |  8621669 |   197432 |    77656      4 |      778 |      669
1046.73/1046.90	c 1046s |      17 |  8638586 |   197732 |    77656      4 |      778 |      669
1048.73/1048.99	c 1048s |      17 |  8653444 |   198132 |    77656      4 |      778 |      669
1050.92/1051.14	c 1050s |      17 |  8657982 |   198632 |    77656      4 |      778 |      669
1053.52/1053.78	c 1052s |      17 |  8661326 |   199232 |    77656      4 |      778 |      669
1055.93/1056.16	c 1055s |      17 |  8672657 |   199632 |    77656      4 |      778 |      669
1058.42/1058.66	c 1057s |      17 |  8694582 |   200032 |    77656      4 |      778 |      669
1060.72/1060.98	c 1060s |      17 |  8715665 |   200432 |    77656      4 |      778 |      669
1063.12/1063.39	c 1062s |      17 |  8732483 |   200832 |    77656      4 |      778 |      669
1065.32/1065.56	c 1064s |      17 |  8745173 |   201232 |    77656      4 |      778 |      669
1067.62/1067.88	c 1067s |      17 |  8759753 |   201632 |    77656      4 |      778 |      669
1069.72/1069.97	c 1069s |      17 |  8776376 |   201932 |    77656      4 |      778 |      669
1071.92/1072.17	c 1071s |      17 |  8794542 |   202332 |    77656      4 |      778 |      669
1074.02/1074.26	c 1073s |      17 |  8803654 |   202732 |    77656      4 |      778 |      669
1076.02/1076.28	c 1075s |      17 |  8807448 |   203132 |    77656      4 |      778 |      669
1078.43/1078.61	c 1077s |      17 |  8808502 |   203432 |    77656      4 |      778 |      669
1081.13/1081.38	c 1080s |      17 |  8819256 |   203932 |    77656      4 |      778 |      669
1083.23/1083.42	c 1082s |      17 |  8832677 |   204332 |    77656      4 |      778 |      669
1085.32/1085.57	c 1084s |      17 |  8847609 |   204632 |    77656      4 |      778 |      669
1088.22/1088.45	c 1087s |      17 |  8853728 |   205032 |    77656      4 |      778 |      669
1090.52/1090.77	c 1089s |      17 |  8859271 |   205432 |    77656      4 |      778 |      669
1093.12/1093.38	c 1092s |      17 |  8874908 |   205932 |    77656      4 |      778 |      669
1095.72/1095.99	c 1095s |      17 |  8886358 |   206332 |    77656      4 |      778 |      669
1098.02/1098.30	c 1097s |      17 |  8902001 |   206732 |    77656      4 |      778 |      669
1100.32/1100.52	c 1099s |      17 |  8903487 |   207032 |    77656      4 |      778 |      669
1102.82/1103.00	c 1102s |      17 |  8918632 |   207432 |    77656      4 |      778 |      669
1104.92/1105.14	c 1104s |      17 |  8933934 |   207832 |    77656      4 |      778 |      669
1107.62/1107.86	c 1107s |      17 |  8955709 |   208332 |    77656      4 |      778 |      669
1110.32/1110.55	c 1109s |      17 |  8979402 |   208732 |    77656      4 |      778 |      669
1112.42/1112.65	c 1111s |      17 |  8996405 |   209032 |    77656      4 |      778 |      669
1114.81/1115.08	c 1114s |      17 |  9016702 |   209432 |    77656      4 |      778 |      669
1117.31/1117.58	c 1116s |      17 |  9030637 |   209832 |    77656      4 |      778 |      669
1119.81/1120.02	c 1119s |      17 |  9050904 |   210232 |    77656      4 |      778 |      669
1122.21/1122.46	c 1121s |      17 |  9065649 |   210732 |    77656      4 |      778 |      669
1124.31/1124.54	c 1123s |      17 |  9083692 |   211032 |    77656      4 |      778 |      669
1126.71/1126.94	c 1126s |      17 |  9095363 |   211532 |    77656      4 |      778 |      669
1129.01/1129.28	c 1128s |      17 |  9106818 |   211932 |    77656      4 |      778 |      669
1132.82/1133.01	c 1132s |      17 |  9119093 |   212132 |    77656      5 |      779 |      670
1135.32/1135.51	c 1134s |      17 |  9148009 |   212532 |    77656      5 |      779 |      670
1137.33/1137.53	c 1136s |      17 |  9164921 |   213132 |    77656      5 |      779 |      670
1139.52/1139.72	c 1138s |      17 |  9184002 |   213532 |    77656      5 |      779 |      670
1141.62/1141.84	c 1140s |      17 |  9207341 |   213932 |    77656      5 |      779 |      670
1143.72/1143.92	c 1143s |      17 |  9227382 |   214332 |    77656      5 |      779 |      670
1145.92/1146.13	c 1145s |      17 |  9251650 |   214732 |    77656      5 |      779 |      670
1148.42/1148.67	c 1147s |      17 |  9264943 |   215232 |    77656      5 |      779 |      670
1150.52/1150.75	c 1149s |      17 |  9266144 |   215632 |    77656      5 |      779 |      670
1153.11/1153.31	c 1152s |      17 |  9282949 |   216232 |    77656      5 |      779 |      670
1155.11/1155.38	c 1154s |      17 |  9291960 |   216732 |    77656      5 |      779 |      670
1157.71/1157.96	c 1157s |      17 |  9300533 |   217232 |    77656      5 |      779 |      670
1159.91/1160.11	c 1159s |      17 |  9316645 |   217632 |    77656      5 |      779 |      670
1161.91/1162.16	c 1161s |      17 |  9335763 |   217932 |    77656      5 |      779 |      670
1164.31/1164.53	c 1163s |      17 |  9359681 |   218432 |    77656      5 |      779 |      670
1166.81/1167.03	c 1166s |      17 |  9379864 |   218932 |    77656      5 |      779 |      670
1169.22/1169.48	c 1168s |      17 |  9397193 |   219432 |    77656      5 |      779 |      670
1171.91/1172.13	c 1171s |      17 |  9426775 |   219832 |    77656      5 |      779 |      670
1173.91/1174.17	c 1173s |      17 |  9439566 |   220232 |    77656      5 |      779 |      670
1176.21/1176.46	c 1175s |      17 |  9458080 |   220632 |    77656      5 |      779 |      670
1178.71/1178.99	c 1178s |      17 |  9478552 |   221232 |    77656      5 |      779 |      670
1181.01/1181.29	c 1180s |      17 |  9502274 |   221632 |    77656      5 |      779 |      670
1183.31/1183.51	c 1182s |      17 |  9525139 |   222032 |    77656      5 |      779 |      670
1185.31/1185.57	c 1184s |      17 |  9545630 |   222332 |    77656      5 |      779 |      670
1188.01/1188.27	c 1187s |      17 |  9571378 |   222732 |    77656      5 |      779 |      670
1190.51/1190.79	c 1189s |      17 |  9588901 |   223232 |    77656      5 |      779 |      670
1193.01/1193.27	c 1192s |      17 |  9609574 |   223632 |    77656      5 |      779 |      670
1195.61/1195.87	c 1195s |      17 |  9629963 |   224032 |    77656      5 |      779 |      670
1197.90/1198.16	c 1197s |      17 |  9641980 |   224532 |    77656      5 |      779 |      670
1200.20/1200.42	c 1199s |      17 |  9646779 |   224932 |    77656      5 |      779 |      670
1202.30/1202.54	c 1201s |      17 |  9652013 |   225432 |    77656      5 |      779 |      670
1204.50/1204.73	c 1203s |      17 |  9665079 |   226032 |    77656      5 |      779 |      670
1206.61/1206.83	c 1205s |      17 |  9675568 |   226532 |    77656      5 |      779 |      670
1208.71/1208.96	c 1208s |      17 |  9677073 |   226932 |    77656      5 |      779 |      670
1211.90/1212.10	c 1211s |      17 |  9677988 |   227232 |    77656      5 |      779 |      670
1214.01/1214.24	c 1213s |      17 |  9686282 |   227832 |    77656      5 |      779 |      670
1216.10/1216.32	c 1215s |      17 |  9703683 |   228232 |    77656      5 |      779 |      670
1218.80/1219.02	c 1218s |      17 |  9705040 |   228632 |    77656      5 |      779 |      670
1220.80/1221.09	c 1220s |      17 |  9705951 |   228832 |    77656      5 |      779 |      670
1223.50/1223.78	c 1222s |      17 |  9707102 |   229132 |    77656      5 |      779 |      670
1225.79/1226.09	c 1225s |      17 |  9707986 |   229332 |    77656      5 |      779 |      670
1228.20/1228.49	c 1227s |      17 |  9709027 |   229532 |    77656      5 |      779 |      670
1230.71/1230.99	c 1230s |      17 |  9709790 |   229732 |    77656      5 |      779 |      670
1233.10/1233.30	c 1232s |      17 |  9719316 |   230032 |    77656      5 |      779 |      670
1235.11/1235.39	c 1234s |      17 |  9733420 |   230432 |    77656      5 |      779 |      670
1237.40/1237.65	c 1236s |      17 |  9756077 |   230832 |    77656      5 |      779 |      670
1239.70/1239.96	c 1239s |      17 |  9774371 |   231332 |    77656      5 |      779 |      670
1242.30/1242.50	c 1241s |      17 |  9793214 |   231832 |    77656      5 |      779 |      670
1244.50/1244.75	c 1243s |      17 |  9810669 |   232232 |    77656      5 |      779 |      670
1247.00/1247.22	c 1246s |      17 |  9829959 |   232732 |    77656      5 |      779 |      670
1249.09/1249.38	c 1248s |      17 |  9845368 |   233132 |    77656      5 |      779 |      670
1251.19/1251.45	c 1250s |      17 |  9855035 |   233432 |    77656      5 |      779 |      670
1253.49/1253.77	c 1252s |      17 |  9865416 |   233832 |    77656      5 |      779 |      670
1255.79/1256.05	c 1255s |      17 |  9866288 |   234132 |    77656      5 |      779 |      670
1258.59/1258.88	c 1258s |      17 |  9867599 |   234432 |    77656      5 |      779 |      670
1261.50/1261.77	c 1260s |      17 |  9870065 |   234932 |    77656      5 |      779 |      670
1263.60/1263.83	c 1262s |      17 |  9872692 |   235232 |    77656      5 |      779 |      670
1266.60/1266.84	c 1265s |      17 |  9877644 |   235632 |    77656      5 |      779 |      670
1268.80/1269.07	c 1268s |      17 |  9890631 |   235932 |    77656      5 |      779 |      670
1271.50/1271.71	c 1270s |      17 |  9907866 |   236432 |    77656      5 |      779 |      670
1273.70/1273.97	c 1273s |      17 |  9931460 |   236832 |    77656      5 |      779 |      670
1275.90/1276.19	c 1275s |      17 |  9948342 |   237232 |    77656      5 |      779 |      670
1278.10/1278.33	c 1277s |      17 |  9968252 |   237632 |    77656      5 |      779 |      670
1280.09/1280.34	c 1279s |      17 |  9978794 |   238132 |    77656      5 |      779 |      670
1282.19/1282.48	c 1281s |      17 |  9998891 |   238432 |    77656      5 |      779 |      670
1284.39/1284.70	c 1283s |      17 | 10020153 |   238832 |    77656      5 |      779 |      670
1286.49/1286.77	c 1285s |      17 | 10039346 |   239132 |    77656      5 |      779 |      670
1289.10/1289.31	c 1288s |      17 | 10062711 |   239532 |    77656      5 |      779 |      670
1291.09/1291.38	c 1290s |      17 | 10087075 |   239832 |    77656      5 |      779 |      670
1293.29/1293.55	c 1292s |      17 | 10105751 |   240232 |    77656      5 |      779 |      670
1295.39/1295.64	c 1294s |      17 | 10118801 |   240632 |    77656      5 |      779 |      670
1297.59/1297.89	c 1297s |      17 | 10134272 |   241032 |    77656      5 |      779 |      670
1299.99/1300.28	c 1299s |      17 | 10153359 |   241532 |    77656      5 |      779 |      670
1302.39/1302.60	c 1301s |      17 | 10174621 |   241832 |    77656      5 |      779 |      670
1304.39/1304.66	c 1303s |      17 | 10189117 |   242232 |    77656      5 |      779 |      670
1306.49/1306.78	c 1305s |      17 | 10206667 |   242532 |    77656      5 |      779 |      670
1308.49/1308.79	c 1307s |      17 | 10223062 |   242932 |    77656      5 |      779 |      670
1311.09/1311.37	c 1310s |      17 | 10244485 |   243332 |    77656      5 |      779 |      670
1313.38/1313.69	c 1312s |      17 | 10267012 |   243732 |    77656      5 |      779 |      670
1316.38/1316.67	c 1315s |      17 | 10291731 |   244132 |    77656      5 |      779 |      670
1318.79/1319.05	c 1318s |      17 | 10307527 |   244532 |    77656      5 |      779 |      670
1321.38/1321.68	c 1320s |      17 | 10312786 |   245032 |    77656      5 |      779 |      670
1323.78/1324.08	c 1323s |      17 | 10314580 |   245432 |    77656      5 |      779 |      670
1325.98/1326.22	c 1325s |      17 | 10316026 |   245732 |    77656      5 |      779 |      670
1328.39/1328.61	c 1327s |      17 | 10317024 |   246032 |    77656      5 |      779 |      670
1330.79/1331.07	c 1330s |      17 | 10318250 |   246332 |    77656      5 |      779 |      670
1333.48/1333.74	c 1332s |      17 | 10322576 |   246832 |    77656      5 |      779 |      670
1335.48/1335.75	c 1334s |      17 | 10333074 |   247232 |    77656      5 |      779 |      670
1337.78/1338.08	c 1337s |      17 | 10354724 |   247532 |    77656      5 |      779 |      670
1340.18/1340.47	c 1339s |      17 | 10368867 |   247832 |    77656      5 |      779 |      670
1342.38/1342.60	c 1341s |      17 | 10384226 |   248232 |    77656      5 |      779 |      670
1344.58/1344.83	c 1343s |      17 | 10393511 |   248632 |    77656      5 |      779 |      670
1347.18/1347.46	c 1346s |      17 | 10411557 |   249032 |    77656      5 |      779 |      670
1349.17/1349.49	c 1348s |      17 | 10423575 |   249332 |    77656      5 |      779 |      670
1351.27/1351.56	c 1350s |      17 | 10440478 |   249632 |    77656      5 |      779 |      670
1353.37/1353.63	c 1352s |      17 | 10455184 |   250032 |    77656      5 |      779 |      670
1355.47/1355.71	c 1354s |      17 | 10467225 |   250332 |    77656      5 |      779 |      670
1357.77/1358.09	c 1357s |      17 | 10485597 |   250732 |    77656      5 |      779 |      670
1360.27/1360.57	c 1359s |      17 | 10503543 |   251132 |    77656      5 |      779 |      670
1362.77/1363.04	c 1362s |      17 | 10525460 |   251532 |    77656      5 |      779 |      670
1365.37/1365.68	c 1364s |      17 | 10546575 |   251932 |    77656      5 |      779 |      670
1368.88/1369.20	c 1368s |      17 | 10557271 |   252232 |    77656      6 |      779 |      670
1371.88/1372.11	c 1371s |      17 | 10581437 |   252732 |    77656      6 |      780 |      671
1374.27/1374.53	c 1373s |      17 | 10597065 |   253332 |    77656      6 |      780 |      671
1376.57/1376.83	c 1375s |      17 | 10616513 |   253832 |    77656      6 |      780 |      671
1378.67/1378.93	c 1378s |      17 | 10640289 |   254232 |    77656      6 |      780 |      671
1381.07/1381.30	c 1380s |      17 | 10663581 |   254732 |    77656      6 |      780 |      671
1383.47/1383.77	c 1382s |      17 | 10687830 |   255332 |    77656      6 |      780 |      671
1385.87/1386.15	c 1385s |      17 | 10697212 |   255832 |    77656      6 |      780 |      671
1388.96/1389.27	c 1388s |      17 | 10698019 |   256132 |    77656      6 |      780 |      671
1391.16/1391.42	c 1390s |      17 | 10710527 |   256532 |    77656      6 |      780 |      671
1393.57/1393.83	c 1392s |      17 | 10732226 |   257032 |    77656      6 |      780 |      671
1395.86/1396.14	c 1395s |      17 | 10750502 |   257632 |    77656      6 |      780 |      671
1397.96/1398.25	c 1397s |      17 | 10767987 |   258032 |    77656      6 |      780 |      671
1400.16/1400.41	c 1399s |      17 | 10788697 |   258532 |    77656      6 |      780 |      671
1402.55/1402.81	c 1401s |      17 | 10804186 |   259032 |    77656      6 |      780 |      671
1404.65/1404.94	c 1404s |      17 | 10821067 |   259432 |    77656      6 |      780 |      671
1406.95/1407.27	c 1406s |      17 | 10834741 |   259932 |    77656      6 |      780 |      671
1409.35/1409.61	c 1408s |      17 | 10856031 |   260432 |    77656      6 |      780 |      671
1411.55/1411.83	c 1410s |      17 | 10882445 |   260832 |    77656      6 |      780 |      671
1413.95/1414.22	c 1413s |      17 | 10896783 |   261232 |    77656      6 |      780 |      671
1415.95/1416.28	c 1415s |      17 | 10916555 |   261632 |    77656      6 |      780 |      671
1418.04/1418.39	c 1417s |      17 | 10937020 |   262032 |    77656      6 |      780 |      671
1420.44/1420.74	c 1419s |      17 | 10954675 |   262532 |    77656      6 |      780 |      671
1422.54/1422.86	c 1422s |      17 | 10974241 |   263132 |    77656      6 |      780 |      671
1424.64/1424.95	c 1424s |      17 | 10990813 |   263632 |    77656      6 |      780 |      671
1426.74/1427.07	c 1426s |      17 | 11010445 |   264132 |    77656      6 |      780 |      671
1428.93/1429.23	c 1428s |      17 | 11027115 |   264532 |    77656      6 |      780 |      671
1431.03/1431.34	c 1430s |      17 | 11046511 |   264932 |    77656      6 |      780 |      671
1433.04/1433.40	c 1432s |      17 | 11065176 |   265332 |    77656      6 |      780 |      671
1435.43/1435.77	c 1434s |      17 | 11084773 |   265732 |    77656      6 |      780 |      671
1437.55/1437.86	c 1437s |      17 | 11101234 |   266232 |    77656      6 |      780 |      671
1439.54/1439.89	c 1439s |      17 | 11113710 |   266632 |    77656      6 |      780 |      671
1441.54/1441.89	c 1441s |      17 | 11129480 |   267032 |    77656      6 |      780 |      671
1443.74/1444.04	c 1443s |      17 | 11145798 |   267532 |    77656      6 |      780 |      671
1446.04/1446.38	c 1445s |      17 | 11167759 |   268032 |    77656      6 |      780 |      671
1448.33/1448.63	c 1447s |      17 | 11181600 |   268632 |    77656      6 |      780 |      671
1450.43/1450.74	c 1449s |      17 | 11196304 |   268932 |    77656      6 |      781 |      672
1452.94/1453.21	c 1452s |      17 | 11217002 |   269432 |    77656      6 |      781 |      672
1455.73/1456.03	c 1455s |      17 | 11252046 |   269832 |    77656      6 |      781 |      672
1457.92/1458.26	c 1457s |      17 | 11268146 |   270332 |    77656      6 |      781 |      672
1460.22/1460.50	c 1459s |      17 | 11282730 |   270732 |    77656      6 |      781 |      672
1462.62/1463.00	c 1462s |      17 | 11306786 |   271232 |    77656      6 |      781 |      672
1464.72/1465.07	c 1464s |      17 | 11327713 |   271632 |    77656      6 |      781 |      672
1466.82/1467.12	c 1466s |      17 | 11344232 |   272032 |    77656      6 |      781 |      672
1469.62/1469.95	c 1469s |      17 | 11362778 |   272432 |    77656      6 |      782 |      673
1471.72/1472.07	c 1471s |      17 | 11377561 |   272832 |    77656      6 |      782 |      673
1474.12/1474.41	c 1473s |      17 | 11379105 |   273232 |    77656      6 |      782 |      673
1476.12/1476.49	c 1475s |      17 | 11390420 |   273532 |    77656      6 |      782 |      673
1478.52/1478.85	c 1478s |      17 | 11402907 |   273932 |    77656      6 |      782 |      673
1481.01/1481.39	c 1480s |      17 | 11425080 |   274432 |    77656      6 |      782 |      673
1483.31/1483.61	c 1482s |      17 | 11440522 |   274832 |    77656      6 |      782 |      673
1485.51/1485.86	c 1485s |      17 | 11459138 |   275232 |    77656      6 |      782 |      673
1487.61/1487.95	c 1487s |      17 | 11465811 |   275632 |    77656      6 |      782 |      673
1489.71/1490.05	c 1489s |      17 | 11479225 |   276032 |    77656      6 |      782 |      673
1492.01/1492.31	c 1491s |      17 | 11486234 |   276532 |    77656      6 |      782 |      673
1494.51/1494.89	c 1494s |      17 | 11495723 |   276932 |    77656      6 |      782 |      673
1497.11/1497.48	c 1496s |      17 | 11511486 |   277432 |    77656      6 |      782 |      673
1499.21/1499.56	c 1498s |      17 | 11523848 |   277832 |    77656      6 |      782 |      673
1501.71/1502.03	c 1501s |      17 | 11536703 |   278232 |    77656      6 |      783 |      674
1503.71/1504.09	c 1503s |      17 | 11553252 |   278632 |    77656      6 |      783 |      674
1506.21/1506.51	c 1505s |      17 | 11568785 |   279032 |    77656      6 |      783 |      674
1508.30/1508.67	c 1507s |      17 | 11586247 |   279432 |    77656      6 |      783 |      674
1510.70/1511.01	c 1510s |      17 | 11610650 |   279832 |    77656      6 |      783 |      674
1513.00/1513.36	c 1512s |      17 | 11627364 |   280332 |    77656      6 |      783 |      674
1515.20/1515.58	c 1514s |      17 | 11638387 |   280732 |    77656      6 |      783 |      674
1517.61/1517.92	c 1517s |      17 | 11663191 |   281132 |    77656      6 |      783 |      674
1519.92/1520.20	c 1519s |      17 | 11679057 |   281532 |    77656      6 |      783 |      674
1522.01/1522.35	c 1521s |      17 | 11696532 |   281932 |    77656      6 |      783 |      674
1524.11/1524.43	c 1523s |      17 | 11705250 |   282332 |    77656      6 |      783 |      674
1526.31/1526.62	c 1525s |      17 | 11708118 |   282832 |    77656      6 |      783 |      674
1528.91/1529.26	c 1528s |      17 | 11727040 |   283232 |    77656      6 |      783 |      674
1531.01/1531.32	c 1530s |      17 | 11739435 |   283732 |    77656      6 |      783 |      674
1533.31/1533.68	c 1532s |      17 | 11759995 |   284132 |    77656      6 |      783 |      674
1535.41/1535.77	c 1534s |      17 | 11770556 |   284432 |    77656      6 |      784 |      675
1538.00/1538.38	c 1537s |      17 | 11796092 |   284832 |    77656      6 |      784 |      675
1540.10/1540.46	c 1539s |      17 | 11807764 |   285232 |    77656      6 |      784 |      675
1542.30/1542.69	c 1541s |      17 | 11823531 |   285732 |    77656      6 |      784 |      675
1544.40/1544.71	c 1543s |      17 | 11840942 |   286132 |    77656      6 |      784 |      675
1546.41/1546.71	c 1545s |      17 | 11859197 |   286432 |    77656      6 |      784 |      675
1548.70/1549.02	c 1548s |      17 | 11867531 |   286732 |    77656      6 |      784 |      675
1551.20/1551.52	c 1550s |      17 | 11888445 |   287132 |    77656      6 |      784 |      675
1553.30/1553.63	c 1552s |      17 | 11898353 |   287432 |    77656      6 |      784 |      675
1555.70/1556.03	c 1555s |      17 | 11917969 |   287832 |    77656      6 |      784 |      675
1557.89/1558.25	c 1557s |      17 | 11938376 |   288232 |    77656      6 |      784 |      675
1560.70/1561.06	c 1560s |      17 | 11957413 |   288632 |    77656      6 |      784 |      675
1562.80/1563.20	c 1562s |      17 | 11976937 |   288932 |    77656      6 |      784 |      675
1564.90/1565.30	c 1564s |      17 | 11996134 |   289232 |    77656      6 |      784 |      675
1567.50/1567.80	c 1566s |      17 | 12016946 |   289632 |    77656      6 |      784 |      675
1570.20/1570.55	c 1569s |      17 | 12039260 |   290132 |    77656      6 |      784 |      675
1572.50/1572.83	c 1571s |      17 | 12056363 |   290432 |    77656      6 |      784 |      675
1574.59/1574.95	c 1574s |      17 | 12069658 |   290832 |    77656      6 |      784 |      675
1576.79/1577.15	c 1576s |      17 | 12090317 |   291132 |    77656      6 |      784 |      675
1579.59/1579.90	c 1579s |      17 | 12107122 |   291632 |    77656      6 |      784 |      675
1581.79/1582.10	c 1581s |      17 | 12123853 |   291932 |    77656      6 |      784 |      675
1583.80/1584.14	c 1583s |      17 | 12139823 |   292232 |    77656      6 |      784 |      675
1586.19/1586.56	c 1585s |      17 | 12156254 |   292632 |    77656      6 |      784 |      675
1588.69/1589.01	c 1588s |      17 | 12170936 |   293032 |    77656      6 |      784 |      675
1590.69/1591.07	c 1590s |      17 | 12180295 |   293532 |    77656      6 |      784 |      675
1593.89/1594.21	c 1593s |      17 | 12189449 |   293732 |    77656      7 |      784 |      675
1596.19/1596.59	c 1595s |      17 | 12205047 |   294232 |    85422      7 |      784 |      675
1598.38/1598.76	c 1597s |      17 | 12225929 |   294732 |    85422      7 |      784 |      675
1600.78/1601.16	c 1600s |      17 | 12249117 |   295232 |    85422      7 |      784 |      675
1603.18/1603.50	c 1602s |      17 | 12266385 |   295832 |    85422      7 |      784 |      675
1605.18/1605.52	c 1604s |      17 | 12289673 |   296232 |    85422      7 |      784 |      675
1605.18/1605.57	c 1604s |      18 | 12289761 |   296252 |    85422      7 |      784 |      675
1607.28/1607.65	c 1606s |      18 | 12310007 |   296652 |    85422      7 |      784 |      675
1609.47/1609.87	c 1609s |      18 | 12325283 |   297252 |    85422      7 |      784 |      675
1611.47/1611.88	c 1611s |      18 | 12326423 |   297552 |    85422      7 |      784 |      675
1614.07/1614.48	c 1613s |      18 | 12352102 |   298152 |    85422      7 |      784 |      675
1616.18/1616.54	c 1615s |      18 | 12364124 |   298652 |    85422      7 |      784 |      675
1618.47/1618.84	c 1617s |      18 | 12383162 |   299152 |    85422      7 |      784 |      675
1620.67/1621.02	c 1620s |      18 | 12391312 |   299652 |    85422      7 |      784 |      675
1622.67/1623.04	c 1622s |      18 | 12414025 |   300052 |    85422      7 |      784 |      675
1624.87/1625.23	c 1624s |      18 | 12427177 |   300452 |    85422      7 |      784 |      675
1627.26/1627.66	c 1626s |      18 | 12446101 |   300952 |    85422      7 |      784 |      675
1629.26/1629.68	c 1628s |      18 | 12464929 |   301352 |    85422      7 |      784 |      675
1631.36/1631.78	c 1630s |      18 | 12481293 |   301852 |    85422      7 |      784 |      675
1633.86/1634.27	c 1633s |      18 | 12504390 |   302352 |    85422      7 |      784 |      675
1636.56/1636.97	c 1636s |      18 | 12534953 |   302852 |    85422      7 |      784 |      675
1638.65/1639.09	c 1638s |      18 | 12552262 |   303252 |    85422      7 |      784 |      675
1641.15/1641.58	c 1640s |      18 | 12569636 |   303752 |    85422      7 |      784 |      675
1643.25/1643.68	c 1642s |      18 | 12587566 |   304152 |    85422      7 |      784 |      675
1645.65/1646.00	c 1645s |      18 | 12614691 |   304652 |    85422      7 |      784 |      675
1647.94/1648.38	c 1647s |      18 | 12621526 |   305152 |    85422      7 |      784 |      675
1650.05/1650.43	c 1649s |      18 | 12635429 |   305652 |    85422      7 |      784 |      675
1652.05/1652.49	c 1651s |      18 | 12639412 |   306052 |    85422      7 |      784 |      675
1654.65/1655.00	c 1654s |      18 | 12658807 |   306552 |    85422      7 |      784 |      675
1657.15/1657.55	c 1656s |      18 | 12669049 |   306952 |    85422      7 |      784 |      675
1659.44/1659.86	c 1659s |      18 | 12691593 |   307352 |    85422      7 |      784 |      675
1661.85/1662.21	c 1661s |      18 | 12706391 |   307752 |    85422      7 |      784 |      675
1664.05/1664.48	c 1663s |      18 | 12709937 |   308152 |    85422      7 |      784 |      675
1666.15/1666.59	c 1665s |      18 | 12727465 |   308552 |    85422      7 |      784 |      675
1668.74/1669.18	c 1668s |      18 | 12756822 |   308952 |    85422      7 |      784 |      675
1671.24/1671.65	c 1670s |      18 | 12779868 |   309352 |    85422      7 |      784 |      675
1673.43/1673.84	c 1672s |      18 | 12798460 |   309752 |    85422      7 |      784 |      675
1675.63/1676.03	c 1675s |      18 | 12806053 |   310152 |    85422      7 |      784 |      675
1678.13/1678.51	c 1677s |      18 | 12815777 |   310552 |    85422      7 |      784 |      675
1680.54/1680.91	c 1680s |      18 | 12837925 |   310952 |    85422      7 |      784 |      675
1682.74/1683.17	c 1682s |      18 | 12856397 |   311252 |    85422      7 |      784 |      675
1684.73/1685.20	c 1684s |      18 | 12872536 |   311652 |    85422      7 |      784 |      675
1686.83/1687.21	c 1686s |      18 | 12888792 |   312052 |    85422      7 |      784 |      675
1689.23/1689.66	c 1688s |      18 | 12903539 |   312552 |    85422      7 |      784 |      675
1691.62/1692.07	c 1691s |      18 | 12916776 |   313052 |    85422      7 |      784 |      675
1694.22/1694.65	c 1693s |      18 | 12929217 |   313452 |    85422      7 |      784 |      675
1696.72/1697.18	c 1696s |      18 | 12955175 |   313852 |    85422      7 |      784 |      675
1699.01/1699.41	c 1698s |      18 | 12975026 |   314252 |    85422      7 |      784 |      675
1701.51/1701.99	c 1701s |      18 | 12989912 |   314752 |    85422      7 |      784 |      675
1703.71/1704.12	c 1703s |      18 | 13007199 |   315052 |    85422      7 |      784 |      675
1705.91/1706.34	c 1705s |      18 | 13019866 |   315552 |    85422      7 |      784 |      675
1708.01/1708.49	c 1707s |      18 | 13034624 |   315952 |    85422      7 |      784 |      675
1710.12/1710.58	c 1709s |      18 | 13048053 |   316352 |    85422      7 |      784 |      675
1712.51/1712.97	c 1712s |      18 | 13069674 |   316652 |    85422      7 |      784 |      675
1714.71/1715.16	c 1714s |      18 | 13077980 |   317052 |    85422      7 |      784 |      675
1717.21/1717.61	c 1716s |      18 | 13097633 |   317452 |    85422      7 |      784 |      675
1719.60/1720.06	c 1719s |      18 | 13116066 |   317852 |    85422      7 |      784 |      675
1721.80/1722.22	c 1721s |      18 | 13122335 |   318252 |    85422      7 |      784 |      675
1724.00/1724.40	c 1723s |      18 | 13123857 |   318552 |    85422      7 |      784 |      675
1726.50/1726.96	c 1726s |      18 | 13125994 |   319052 |    85422      7 |      784 |      675
1728.80/1729.28	c 1728s |      18 | 13127062 |   319252 |    85422      7 |      784 |      675
1731.69/1732.15	c 1731s |      18 | 13128713 |   319552 |    85422      7 |      784 |      675
1734.89/1735.31	c 1734s |      18 | 13130202 |   319852 |    85422      7 |      784 |      675
1737.70/1738.15	c 1737s |      18 | 13131027 |   320052 |    85422      7 |      784 |      675
1739.79/1740.25	c 1739s |      18 | 13131931 |   320252 |    85422      7 |      784 |      675
1743.39/1743.88	c 1743s |      18 | 13132705 |   320452 |    85422      7 |      784 |      675
1746.58/1747.05	c 1746s |      18 | 13133522 |   320652 |    85422      7 |      784 |      675
1748.58/1749.09	c 1748s |      18 | 13134106 |   320852 |    85422      7 |      784 |      675
1751.19/1751.67	c 1750s |      18 | 13135181 |   321052 |    85422      7 |      784 |      675
1754.38/1754.90	c 1754s |      18 | 13136052 |   321252 |    85422      7 |      784 |      675
1756.68/1757.17	c 1756s |      18 | 13136898 |   321452 |    85422      7 |      784 |      675
1759.08/1759.55	c 1758s |      18 | 13137226 |   321552 |    85422      7 |      784 |      675
1761.28/1761.72	c 1760s |      18 | 13137521 |   321652 |    85422      7 |      784 |      675
1763.98/1764.42	c 1763s |      18 | 13137936 |   321752 |    85422      7 |      784 |      675
1766.18/1766.67	c 1765s |      18 | 13155458 |   322152 |    85422      7 |      784 |      675
1768.27/1768.71	c 1767s |      18 | 13158285 |   322452 |    85422      7 |      784 |      675
1770.47/1770.96	c 1770s |      18 | 13159353 |   322752 |    85422      7 |      784 |      675
1772.57/1773.04	c 1772s |      18 | 13160763 |   323052 |    85422      7 |      784 |      675
1774.97/1775.44	c 1774s |      18 | 13163176 |   323352 |    85422      7 |      784 |      675
1777.36/1777.86	c 1777s |      18 | 13184922 |   323852 |    85422      7 |      784 |      675
1779.75/1780.28	c 1779s |      18 | 13199251 |   324352 |    85422      7 |      784 |      675
1782.15/1782.62	c 1781s |      18 | 13214922 |   324752 |    85422      7 |      784 |      675
1784.35/1784.88	c 1784s |      18 | 13229768 |   325152 |    85422      7 |      784 |      675
1786.45/1786.97	c 1786s |      18 | 13239719 |   325552 |    85422      7 |      784 |      675
1788.95/1789.47	c 1788s |      18 | 13240522 |   325852 |    85422      7 |      784 |      675
1791.66/1792.12	c 1791s |      18 | 13257782 |   326252 |    85422      7 |      784 |      675
1793.76/1794.26	c 1793s |      18 | 13269881 |   326652 |    85422      7 |      784 |      675
1796.16/1796.69	c 1795s |      18 | 13289469 |   327052 |    85422      7 |      784 |      675
1798.75/1799.24	c 1798s |      18 | 13308115 |   327452 |    85422      7 |      784 |      675

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4078917-1465285308/watcher-4078917-1465285308 -o /tmp/evaluation-result-4078917-1465285308/solver-4078917-1465285308 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4332 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078917-1465285308.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.27 2.25 2.24 3/178 8140
/proc/meminfo: memFree=29163144/32872528 swapFree=15644/1722384
[pid=8140] ppid=8137 vsize=669116 CPUtime=0 cores=1,3,5,7
/proc/8140/stat : 8140 (toysat) R 8137 8140 4315 0 -1 4202496 2488 0 0 0 0 0 0 0 20 0 4 0 110464438 685174784 2848 33554432000 4194304 16246674 140733867807264 140733867806688 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8140/statm: 168047 2859 441 2943 0 164941 0
[pid=8140/tid=8141] ppid=8137 vsize=686524 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110464439 703000576 2916 33554432000 4194304 16246674 140733867807264 140317053398256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=690620 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110464439 707194880 2932 33554432000 4194304 16246674 140733867807264 140317042908400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=695740 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110464439 712437760 2949 33554432000 4194304 16246674 140733867807264 140317032434864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.27 2.25 2.24 3/178 8140
/proc/meminfo: memFree=29163144/32872528 swapFree=15644/1722384
[pid=8140] ppid=8137 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/8140/stat : 8140 (toysat) R 8137 8140 4315 0 -1 4202496 27463 0 0 0 5 4 0 0 20 0 4 0 110464438 1333334016 27761 33554432000 4194304 16246674 140733867807264 140733867806576 7853005 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8140/statm: 325521 27776 800 2943 0 322415 0
[pid=8140/tid=8141] ppid=8137 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110464439 1333334016 27788 33554432000 4194304 16246674 140733867807264 140317053398256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110464439 1333334016 27799 33554432000 4194304 16246674 140733867807264 140317042908400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110464439 1333334016 27809 33554432000 4194304 16246674 140733867807264 140317032434864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200584 s]
/proc/loadavg: 2.27 2.25 2.24 3/178 8140
/proc/meminfo: memFree=29163144/32872528 swapFree=15644/1722384
[pid=8140] ppid=8137 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/8140/stat : 8140 (toysat) R 8137 8140 4315 0 -1 4202496 44667 0 0 0 12 7 0 0 20 0 4 0 110464438 1344868352 45476 33554432000 4194304 16246674 140733867807264 140733867806576 14795835 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8140/statm: 328337 45476 801 2943 0 325231 0
[pid=8140/tid=8141] ppid=8137 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110464439 1344868352 45476 33554432000 4194304 16246674 140733867807264 140317053398256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110464439 1344868352 45476 33554432000 4194304 16246674 140733867807264 140317042908400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110464439 1344868352 45476 33554432000 4194304 16246674 140733867807264 140317032434864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300553 s]
/proc/loadavg: 2.27 2.25 2.24 3/178 8140
/proc/meminfo: memFree=29163144/32872528 swapFree=15644/1722384
[pid=8140] ppid=8137 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/8140/stat : 8140 (toysat) R 8137 8140 4315 0 -1 4202496 59227 0 0 0 20 9 0 0 20 0 4 0 110464438 1344868352 60036 33554432000 4194304 16246674 140733867807264 140733867790256 14807008 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8140/statm: 328337 60036 801 2943 0 325231 0
[pid=8140/tid=8141] ppid=8137 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110464439 1344868352 60036 33554432000 4194304 16246674 140733867807264 140317053398256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110464439 1344868352 60036 33554432000 4194304 16246674 140733867807264 140317042908400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110464439 1344868352 60036 33554432000 4194304 16246674 140733867807264 140317032434864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700426 s]
/proc/loadavg: 2.27 2.25 2.24 3/178 8140
/proc/meminfo: memFree=29163144/32872528 swapFree=15644/1722384
[pid=8140] ppid=8137 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/8140/stat : 8140 (toysat) R 8137 8140 4315 0 -1 4202496 102085 0 0 0 53 16 0 0 20 0 4 0 110464438 1344868352 102895 33554432000 4194304 16246674 140733867807264 140733867790256 12481124 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8140/statm: 328337 102905 833 2943 0 325231 0
[pid=8140/tid=8141] ppid=8137 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110464439 1344868352 102911 33554432000 4194304 16246674 140733867807264 140317053398256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110464439 1344868352 102917 33554432000 4194304 16246674 140733867807264 140317042908400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110464439 1344868352 102923 33554432000 4194304 16246674 140733867807264 140317032434864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50037 s]
/proc/loadavg: 2.27 2.25 2.24 3/182 8144
/proc/meminfo: memFree=28448760/32872528 swapFree=15644/1722384
[pid=8140] ppid=8137 vsize=1313348 CPUtime=1.48 cores=1,3,5,7
/proc/8140/stat : 8140 (toysat) R 8137 8140 4315 0 -1 4202496 219365 0 0 0 117 31 0 0 20 0 4 0 110464438 1344868352 220175 33554432000 4194304 16246674 140733867807264 140733867789184 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8140/statm: 328337 220178 876 2943 0 325231 0
[pid=8140/tid=8141] ppid=8137 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110464439 1344868352 220181 33554432000 4194304 16246674 140733867807264 140317053398256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110464439 1344868352 220183 33554432000 4194304 16246674 140733867807264 140317042908400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110464439 1344868352 220186 33554432000 4194304 16246674 140733867807264 140317032434864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1313348

[startup+3.10044 s]
/proc/loadavg: 2.33 2.26 2.24 3/182 8144
/proc/meminfo: memFree=28096600/32872528 swapFree=15644/1722384
[pid=8140] ppid=8137 vsize=1317444 CPUtime=3.09 cores=1,3,5,7
/proc/8140/stat : 8140 (toysat) R 8137 8140 4315 0 -1 4202496 266191 0 0 0 272 37 0 0 20 0 4 0 110464438 1349062656 267000 33554432000 4194304 16246674 140733867807264 140733867789184 5677720 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8140/statm: 329361 267000 879 2943 0 326255 0
[pid=8140/tid=8141] ppid=8137 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110464439 1349062656 267000 33554432000 4194304 16246674 140733867807264 140317053398256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110464439 1349062656 267000 33554432000 4194304 16246674 140733867807264 140317042908400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110464439 1349062656 267000 33554432000 4194304 16246674 140733867807264 140317032434864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1317444

[startup+6.30048 s]
/proc/loadavg: 2.33 2.26 2.24 3/182 8144
/proc/meminfo: memFree=28079720/32872528 swapFree=15644/1722384
[pid=8140] ppid=8137 vsize=1317444 CPUtime=6.28 cores=1,3,5,7
/proc/8140/stat : 8140 (toysat) R 8137 8140 4315 0 -1 4202496 270030 0 0 0 589 39 0 0 20 0 4 0 110464438 1349062656 270839 33554432000 4194304 16246674 140733867807264 140733867789184 5754764 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8140/statm: 329361 270839 882 2943 0 326255 0
[pid=8140/tid=8141] ppid=8137 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110464439 1349062656 270839 33554432000 4194304 16246674 140733867807264 140317053398256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110464439 1349062656 270839 33554432000 4194304 16246674 140733867807264 140317042908400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110464439 1349062656 270839 33554432000 4194304 16246674 140733867807264 140317032434864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1317444

[startup+12.7004 s]
/proc/loadavg: 2.28 2.25 2.24 3/182 8144
/proc/meminfo: memFree=28079748/32872528 swapFree=15644/1722384
[pid=8140] ppid=8137 vsize=1317444 CPUtime=12.69 cores=1,3,5,7
/proc/8140/stat : 8140 (toysat) R 8137 8140 4315 0 -1 4202496 270030 0 0 0 1229 40 0 0 20 0 4 0 110464438 1349062656 270839 33554432000 4194304 16246674 140733867807264 140733867789184 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8140/statm: 329361 270839 882 2943 0 326255 0
[pid=8140/tid=8141] ppid=8137 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110464439 1349062656 270839 33554432000 4194304 16246674 140733867807264 140317053398256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110464439 1349062656 270839 33554432000 4194304 16246674 140733867807264 140317042908400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110464439 1349062656 270839 33554432000 4194304 16246674 140733867807264 140317032434864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1317444

[startup+25.5006 s]
/proc/loadavg: 2.31 2.26 2.24 3/183 8145
/proc/meminfo: memFree=28077904/32872528 swapFree=15644/1722384
[pid=8140] ppid=8137 vsize=1317444 CPUtime=25.48 cores=1,3,5,7
/proc/8140/stat : 8140 (toysat) R 8137 8140 4315 0 -1 4202496 270030 0 0 0 2508 40 0 0 20 0 4 0 110464438 1349062656 270839 33554432000 4194304 16246674 140733867807264 140733867789184 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8140/statm: 329361 270839 882 2943 0 326255 0
[pid=8140/tid=8141] ppid=8137 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110464439 1349062656 270839 33554432000 4194304 16246674 140733867807264 140317053398256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110464439 1349062656 270839 33554432000 4194304 16246674 140733867807264 140317042908400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110464439 1349062656 270839 33554432000 4194304 16246674 140733867807264 140317032434864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1317444

[startup+51.1006 s]
/proc/loadavg: 2.27 2.25 2.24 3/183 8145
/proc/meminfo: memFree=28077804/32872528 swapFree=15644/1722384
[pid=8140] ppid=8137 vsize=1317444 CPUtime=51.08 cores=1,3,5,7
/proc/8140/stat : 8140 (toysat) R 8137 8140 4315 0 -1 4202496 270034 0 0 0 5067 41 0 0 20 0 4 0 110464438 1349062656 270843 33554432000 4194304 16246674 140733867807264 140733867789184 5717604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8140/statm: 329361 270843 885 2943 0 326255 0
[pid=8140/tid=8141] ppid=8137 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110464439 1349062656 270843 33554432000 4194304 16246674 140733867807264 140317053398256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110464439 1349062656 270843 33554432000 4194304 16246674 140733867807264 140317042908400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110464439 1349062656 270843 33554432000 4194304 16246674 140733867807264 140317032434864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1317444

[startup+102.301 s]
/proc/loadavg: 2.11 2.21 2.22 3/183 8146
/proc/meminfo: memFree=28077552/32872528 swapFree=15644/1722384
[pid=8140] ppid=8137 vsize=1317444 CPUtime=102.28 cores=1,3,5,7
/proc/8140/stat : 8140 (toysat) R 8137 8140 4315 0 -1 4202496 270034 0 0 0 10187 41 0 0 20 0 4 0 110464438 1349062656 270843 33554432000 4194304 16246674 140733867807264 140733867789184 5545752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8140/statm: 329361 270843 885 2943 0 326255 0
[pid=8140/tid=8141] ppid=8137 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110464439 1349062656 270843 33554432000 4194304 16246674 140733867807264 140317053398256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110464439 1349062656 270843 33554432000 4194304 16246674 140733867807264 140317042908400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110464439 1349062656 270843 33554432000 4194304 16246674 140733867807264 140317032434864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1317444


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

/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271868 33554432000 4194304 16246674 140733867807264 140317032434864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1321540

[startup+1362.3 s]
/proc/loadavg: 2.19 2.23 2.21 3/183 8201
/proc/meminfo: memFree=28063092/32872528 swapFree=15644/1722384
[pid=8140] ppid=8137 vsize=1321540 CPUtime=1362.07 cores=1,3,5,7
/proc/8140/stat : 8140 (toysat) R 8137 8140 4315 0 -1 4202496 271069 0 0 0 136146 61 0 0 20 0 4 0 110464438 1353256960 271871 33554432000 4194304 16246674 140733867807264 140733867789184 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8140/statm: 330385 271871 886 2943 0 327279 0
[pid=8140/tid=8141] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317053398256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317042908400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317032434864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1321540

[startup+1422.3 s]
/proc/loadavg: 2.18 2.23 2.21 3/183 8202
/proc/meminfo: memFree=28062528/32872528 swapFree=15644/1722384
[pid=8140] ppid=8137 vsize=1321540 CPUtime=1422.05 cores=1,3,5,7
/proc/8140/stat : 8140 (toysat) R 8137 8140 4315 0 -1 4202496 271100 0 0 0 142143 62 0 0 20 0 4 0 110464438 1353256960 271871 33554432000 4194304 16246674 140733867807264 140733867789184 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8140/statm: 330385 271871 886 2943 0 327279 0
[pid=8140/tid=8141] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317053398256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317042908400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317032434864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1321540

[startup+1482.3 s]
/proc/loadavg: 2.26 2.24 2.21 3/183 8203
/proc/meminfo: memFree=28062816/32872528 swapFree=15644/1722384
[pid=8140] ppid=8137 vsize=1321540 CPUtime=1482.02 cores=1,3,5,7
/proc/8140/stat : 8140 (toysat) R 8137 8140 4315 0 -1 4202496 271132 0 0 0 148139 63 0 0 20 0 4 0 110464438 1353256960 271871 33554432000 4194304 16246674 140733867807264 140733867789184 5661428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8140/statm: 330385 271871 886 2943 0 327279 0
[pid=8140/tid=8141] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317053398256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317042908400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317032434864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 1321540

[startup+1542.31 s]
/proc/loadavg: 2.18 2.22 2.20 3/183 8204
/proc/meminfo: memFree=28062840/32872528 swapFree=15644/1722384
[pid=8140] ppid=8137 vsize=1321540 CPUtime=1542.01 cores=1,3,5,7
/proc/8140/stat : 8140 (toysat) R 8137 8140 4315 0 -1 4202496 271143 0 0 0 154137 64 0 0 20 0 4 0 110464438 1353256960 271871 33554432000 4194304 16246674 140733867807264 140733867789184 5823146 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8140/statm: 330385 271871 886 2943 0 327279 0
[pid=8140/tid=8141] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317053398256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317042908400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317032434864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1321540

[startup+1602.3 s]
/proc/loadavg: 2.33 2.25 2.21 4/183 8254
/proc/meminfo: memFree=28060672/32872528 swapFree=15644/1722384
[pid=8140] ppid=8137 vsize=1321540 CPUtime=1601.98 cores=1,3,5,7
/proc/8140/stat : 8140 (toysat) R 8137 8140 4315 0 -1 4202496 271159 0 0 0 160132 66 0 0 20 0 4 0 110464438 1353256960 271871 33554432000 4194304 16246674 140733867807264 140733867789184 5721677 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8140/statm: 330385 271871 886 2943 0 327279 0
[pid=8140/tid=8141] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317053398256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317042908400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317032434864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 1321540

[startup+1662.3 s]
/proc/loadavg: 2.24 2.23 2.20 3/183 8256
/proc/meminfo: memFree=28060900/32872528 swapFree=15644/1722384
[pid=8140] ppid=8137 vsize=1321540 CPUtime=1661.94 cores=1,3,5,7
/proc/8140/stat : 8140 (toysat) R 8137 8140 4315 0 -1 4202496 271205 0 0 0 166126 68 0 0 20 0 4 0 110464438 1353256960 271871 33554432000 4194304 16246674 140733867807264 140733867789184 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8140/statm: 330385 271871 886 2943 0 327279 0
[pid=8140/tid=8141] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317053398256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317042908400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317032434864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1321540

[startup+1722.3 s]
/proc/loadavg: 2.22 2.23 2.20 3/184 8260
/proc/meminfo: memFree=28060736/32872528 swapFree=15644/1722384
[pid=8140] ppid=8137 vsize=1321540 CPUtime=1721.9 cores=1,3,5,7
/proc/8140/stat : 8140 (toysat) R 8137 8140 4315 0 -1 4202496 271253 0 0 0 172121 69 0 0 20 0 4 0 110464438 1353256960 271871 33554432000 4194304 16246674 140733867807264 140733867789184 5717656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8140/statm: 330385 271871 886 2943 0 327279 0
[pid=8140/tid=8141] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317053398256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317042908400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317032434864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1321540

[startup+1782.3 s]
/proc/loadavg: 2.25 2.23 2.20 3/183 8261
/proc/meminfo: memFree=28060648/32872528 swapFree=15644/1722384
[pid=8140] ppid=8137 vsize=1321540 CPUtime=1781.85 cores=1,3,5,7
/proc/8140/stat : 8140 (toysat) R 8137 8140 4315 0 -1 4202496 271297 0 0 0 178114 71 0 0 20 0 4 0 110464438 1353256960 271871 33554432000 4194304 16246674 140733867807264 140733867806440 5667484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8140/statm: 330385 271871 886 2943 0 327279 0
[pid=8140/tid=8141] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317053398256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317042908400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317032434864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1321540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.27 2.24 2.20 3/183 8261
/proc/meminfo: memFree=28060320/32872528 swapFree=15644/1722384
[pid=8140] ppid=8137 vsize=1321540 CPUtime=1800.05 cores=1,3,5,7
/proc/8140/stat : 8140 (toysat) R 8137 8140 4315 0 -1 4202496 271312 0 0 0 179933 72 0 0 20 0 4 0 110464438 1353256960 271871 33554432000 4194304 16246674 140733867807264 140733867789184 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8140/statm: 330385 271871 886 2943 0 327279 0
[pid=8140/tid=8141] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317053398256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317042908400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317032434864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1321540

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

[startup+1800.5 s]
/proc/loadavg: 2.27 2.24 2.20 3/183 8261
/proc/meminfo: memFree=28060320/32872528 swapFree=15644/1722384
[pid=8140] ppid=8137 vsize=1321540 CPUtime=1800.05 cores=1,3,5,7
/proc/8140/stat : 8140 (toysat) R 8137 8140 4315 0 -1 4202496 271312 0 0 0 179933 72 0 0 20 0 4 0 110464438 1353256960 271871 33554432000 4194304 16246674 140733867807264 140733867789184 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8140/statm: 330385 271871 886 2943 0 327279 0
[pid=8140/tid=8141] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317053398256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317042908400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110464439 1353256960 271871 33554432000 4194304 16246674 140733867807264 140317032434864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1321540

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.07
CPU user time (s): 1799.34
CPU system time (s): 0.732888
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 1321540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 0.732888
maximum resident set size= 1087484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271312
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= 268
involuntary context switches= 2314

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.91425 second user time and 11.4533 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-07 09:41:49
IDJOB=4078917
IDBENCH=90163
IDSOLVER=2542
FILE ID=node120/4078917-1465285308
RUNJOBID= node120-1465256721-4332
PBS_JOBID= 19843284
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 83a21ae30c37a390d06f7aafb55d6d81
RANDOM SEED=1374407616

node120.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.425
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:        29163764 kB
Buffers:           59604 kB
Cached:            97256 kB
SwapCached:          820 kB
Active:          1170648 kB
Inactive:          67924 kB
Active(anon):    1080124 kB
Inactive(anon):     4092 kB
Active(file):      90524 kB
Inactive(file):    63832 kB
Unevictable:     1722384 kB
Mlocked:           15644 kB
SwapTotal:      67108856 kB
SwapFree:       67099668 kB
Dirty:             17892 kB
Writeback:             0 kB
AnonPages:       2883804 kB
Mapped:            10944 kB
Shmem:                 0 kB
Slab:             612744 kB
SReclaimable:      56920 kB
SUnreclaim:       555824 kB
KernelStack:        1512 kB
PageTables:         9016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2945820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1796096 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= 71704 MiB
End job on node120 at 2016-06-07 10:11:49